f) = 19*f + 1. Let l(j) = 10*j + 1. Let z(m) = 11*l(m) - 6*u(m). Let b be z(-5). Suppose 9*c - b = 4*c. Does 3 divide c?
False
Let t(d) = 2*d**2 - 2*d + 1. Let h = -5 + 8. Suppose u + 0 = h. Does 12 divide t(u)?
False
Let f(n) = n**2 - 8*n + 10. Is 5 a factor of f(8)?
True
Let b = 299 - 107. Does 32 divide b?
True
Let u be (12/10)/((-8)/(-100)). Is 15 a factor of u + 1/(1/2)?
False
Suppose s + 5*k = -0*s - 14, -2*k = s + 2. Let q(p) = -p**3 + 7*p**2 + 5. Let b be q(s). Suppose 2*i + 13 - b = 0. Is 14 a factor of i?
True
Suppose 0 = 5*g + n + n - 787, -4*n - 467 = -3*g. Does 6 divide g?
False
Let b(v) = v - 2. Let n be b(3). Suppose -l = -n - 11. Does 4 divide l?
True
Let v(n) = -6*n. Is 12 a factor of v(-6)?
True
Let n = -73 + 421. Does 18 divide n?
False
Let u = -32 + 63. Let q = -2 + u. Is q a multiple of 8?
False
Suppose -3*m + 2*m - 3*y = -9, -3*m + 2*y - 6 = 0. Suppose m = 3*v + 4*n - 8, -2*v + 0*n + 2*n = 4. Suppose v = 2*w + w - 9. Is w a multiple of 3?
True
Suppose 3*s + 4*t = 21, 0*s + 27 = 3*s + 2*t. Suppose -2*p + p + s = 0. Does 8 divide p?
False
Let y = 54 - 33. Is y a multiple of 3?
True
Suppose -3*b = b - 376. Suppose -5*x = 3*s - 162, 3*x - 2*s - b = -3*s. Is 18 a factor of x?
False
Let w be (-24)/(-9) - (-4)/(-6). Let d = w + -2. Let c = 3 - d. Is c even?
False
Let f = 2 + -4. Is f - (-4 + (-234)/3) a multiple of 17?
False
Let y(t) = t**3 + 6*t**2 + 5. Suppose -l + 4*x - 10 = 0, x - 5 = -4. Let v be y(l). Let g(i) = i**3 - 4*i**2 - i - 2. Is g(v) a multiple of 11?
False
Suppose -h = h. Suppose h = 2*u + u - 126. Is 21 a factor of u?
True
Suppose -c + 135 = 15. Suppose 0 = k + 2*k - c. Is k a multiple of 10?
True
Suppose 4*i + r = -3, r - 3*r + 6 = 2*i. Let q be (4/10)/(i/30). Is (-3)/q*(9 - -1) a multiple of 5?
True
Suppose -7 = -2*f + 1, -3*a + 102 = -3*f. Is a a multiple of 3?
False
Suppose -5*l + 5*a - 120 = 0, -l - 2*a + 94 = -5*l. Let t = l - -50. Is 15 a factor of t?
False
Suppose 0 = -c - c + 30. Suppose -u + c + 16 = 0. Suppose 0 = r - u + 9. Is r a multiple of 12?
False
Let b(w) = -5*w**3 + w + 5*w - 7 + 5*w**2 + 0*w. Let u(r) = -4*r**3 + 5*r**2 + 5*r - 7. Let c(s) = -3*b(s) + 4*u(s). Is c(5) a multiple of 2?
False
Let a(c) be the second derivative of c**5/20 + 5*c**4/12 + c**2 + 2*c. Let h be a(-5). Suppose 0*g - h*g = -24. Is 6 a factor of g?
True
Is 10 a factor of 1*(-1)/2*(-944)/8?
False
Let o(q) be the first derivative of q**6/360 + 5*q**4/24 + 2*q**3/3 - 3. Let u(h) be the third derivative of o(h). Is 21 a factor of u(4)?
True
Let x(g) = 43*g**2. Let y be x(1). Suppose -74 = 3*b + y. Let k = 77 + b. Is 19 a factor of k?
True
Suppose 3*p - 320 = p. Suppose -4*v + p = v. Let y = -14 + v. Is y a multiple of 9?
True
Let s be ((-5)/(-3))/(1/3). Let q be ((-2)/5)/((-1)/s). Let p(w) = 3*w**3 - 3*w**2 + w + 1. Is 5 a factor of p(q)?
True
Let k(t) = 74*t**2 + 3*t + 2. Does 19 divide k(2)?
True
Suppose 0 = -0*h + 4*h. Let f = 2 + h. Suppose f*u = 4*y - 3*u - 11, -21 = -4*y + 3*u. Does 6 divide y?
False
Suppose 0 = 5*f, 3*p - 2*f + 67 = 217. Does 10 divide (-8)/5*p/(-4)?
True
Let k(o) = -10*o. Suppose 2*q + 0*q = -2. Let l be k(q). Is (-12)/l*(-330)/9 a multiple of 18?
False
Let w(v) = v**2 + 4*v. Let l be w(-4). Suppose l*z = z - 57. Is 19 a factor of z?
True
Let j = 34 + -19. Let w be ((-6)/(-15))/((-3)/j). Is 4 a factor of 5 + w*(-2)/(-4)?
True
Let m(b) = -14*b. Let s be m(-1). Does 6 divide (s/(-6) + 3)*33?
False
Let a(h) = -2 - 1 + 2*h**2 - 3*h**2 + 6*h. Let c be a(2). Suppose 4*u = -c*s + s + 140, 0 = -4*u. Is 15 a factor of s?
False
Suppose -c + 16 = c. Suppose x = -x - c, -x = g. Suppose 45 = g*s + s. Is s a multiple of 9?
True
Suppose -2*h - 36 = -4*h. Is h a multiple of 18?
True
Suppose 0*x = k - 4*x - 21, -k - 3*x = 7. Does 5 divide k?
True
Let h = -4 - -10. Is 6 a factor of h?
True
Let f(d) = 4*d**2 + 10*d - 27. Is 21 a factor of f(-10)?
True
Does 10 divide 81/4 + 1/(-4)?
True
Let p(g) = 2*g - 3*g**2 + 1 + 4*g**2 + 11*g**3 - 28*g**3. Let m be p(-1). Suppose 5*c = -3*s + 35, c - m = -2*c - s. Is 2 a factor of c?
True
Suppose -f - 1 + 5 = 0, 0 = 2*b + f. Let z be b + 2 + 3 + -3. Suppose z = -4*v - v + 140. Is v a multiple of 14?
True
Suppose 3*u + 8*v = 3*v + 15, 0 = 4*u - 5*v + 15. Suppose u = z + 5*x - x - 3, -3 = 2*z - x. Is 11 a factor of z/(-2) + (-86)/(-4)?
True
Suppose 10 = 5*c, -2*j - 3*j - 5*c + 175 = 0. Is 33 a factor of j?
True
Let x = -4 + 16. Is x a multiple of 4?
True
Let d(n) = n**2 + 8*n. Does 17 divide d(-11)?
False
Let m = 32 - 30. Suppose -4*c + 44 = -0*c. Is 7 a factor of c*(-2)/(-4)*m?
False
Suppose -5*g + 25 = 10. Suppose -3*s + 38 = 4*b, -5*s - g*b = -2*b - 69. Is s a multiple of 4?
False
Suppose 4*u + 1 = 3*l, 4*u = -0*l - 2*l + 14. Does 14 divide (-3)/(-6) + 95/u?
False
Let i be ((-16)/6)/(1/(-9)). Let m = -9 + i. Is m a multiple of 5?
True
Does 16 divide 978/12 - 6/4?
True
Let m be 0 + 0 + 30*-1. Let h be -15*2/(m/9). Is 8 a factor of 6/(-4)*(-138)/h?
False
Let m be 5/(-1) - 5/(-5). Let g = m - -9. Is g a multiple of 4?
False
Suppose 0 = -j - h + 56, 2*j - 84 = 5*h - 0*h. Is j a multiple of 13?
True
Suppose -7*d + 2*d = -105. Is 7 a factor of d?
True
Let y(i) = -i**3 + 4*i**2 + 12*i + 1. Does 32 divide y(-5)?
False
Let m(p) = -p + 5. Let c be m(6). Let z = c - 14. Let s = 28 + z. Does 12 divide s?
False
Suppose -10 = 3*c + 140. Does 20 divide c/(-4)*24/15?
True
Let i = -11 + 13. Suppose -z = -i*z. Is 23 a factor of 3 - (z + (-3 - 33))?
False
Let r = 45 - 6. Suppose -r = -4*h + 213. Is 21 a factor of h?
True
Is (-9)/2*(35/(-15) - -1) a multiple of 2?
True
Let g be 36*(-1 + 3/2). Let d = g + -14. Is d even?
True
Let j(f) = -8*f + 5. Does 12 divide j(-5)?
False
Let r = -7 + 9. Let j be 1*-658 - (-4)/r. Is j/(-36) + 4/(-18) a multiple of 9?
True
Let w be 10 - (1 + -2 + 2). Suppose 2*b + b = w. Suppose b*n + 5*u - 57 = 37, -4*n = 2*u - 144. Does 20 divide n?
False
Let b be 1*(-1)/((-1)/84). Suppose -3*d = -5*v + 2*d - 345, 0 = v + 4*d + b. Let h = -48 - v. Is h a multiple of 12?
True
Let n be -7 + (-5 - -2)/3. Let g be (n/(-10))/((-1)/(-5)). Suppose -50 = g*c - 9*c. Is 4 a factor of c?
False
Let p = -23 - -35. Let c = p + -8. Suppose c*b + 132 = 5*t - 0*b, 5*t = 3*b + 129. Does 10 divide t?
False
Let w(f) = f**2 + 4*f + 19. Is 12 a factor of w(-5)?
True
Let m(h) = 3*h - 4. Let g be m(4). Suppose -3*s = -13 - g. Is 4 a factor of s?
False
Let o = 2 + 0. Suppose -d = -2*u + 4*u - 11, -o*d + 2*u = 2. Is d even?
False
Let f be 1 + 10/(-6)*-3. Suppose q - f*q = -270. Suppose -6 = 2*s - q. Is 12 a factor of s?
True
Let x = 93 + 171. Is 18 a factor of ((-3)/(-2))/(9/x)?
False
Suppose -j = -3*j. Suppose g + j*g = 30. Does 10 divide g?
True
Let h = 0 + 1. Let c be h/(-2) + (-66)/4. Let l = 59 + c. Is 17 a factor of l?
False
Suppose -15 = -3*k + l + 2, 0 = -3*k - 4*l + 7. Suppose k*o = -4*d + 96, o - d - 3*d = 24. Is o a multiple of 10?
True
Let g be (-1 - -2)*(0 - 0). Suppose 4*h - 356 + 76 = g. Does 10 divide h?
True
Suppose 0 = -4*v + 4, -3*j + v + 8 = -39. Does 9 divide j?
False
Let d be ((-1)/3)/(3/(-18)). Let h(y) = d*y**2 + 2*y - 4 - y + 2. Is h(-2) a multiple of 4?
True
Let s be ((-5)/3)/(2/6). Let j(x) = -2*x + 1. Does 11 divide j(s)?
True
Let r = -15 - -17. Suppose 3*l + r*l - 115 = 0. Is 9 a factor of l?
False
Suppose -2*u = -71 - 25. Suppose 0 = 4*h - g + 5*g - 144, h - u = 5*g. Suppose h = 3*r - 10. Is r a multiple of 8?
True
Is 9/45 - 189/(-5) a multiple of 19?
True
Let f(z) = 10*z - 4. Let v(a) = -7*a + 3. Let l(q) = 5*f(q) + 7*v(q). Let s(x) = 3*x + 10. Let y(d) = 6*l(d) - s(d). Is y(4) a multiple of 3?
False
Let z be ((-5)/4 - -2)*192. Suppose 10*r - 13*r = -z. Is 29 a factor of r?
False
Suppose 231 = 3*l - 0*l. Does 11 divide l?
True
Suppose b - 16 = -3*b. Does 22 divide 595/10 - 2/b?
False
Suppose 6*j - 292 - 134 = 0. Is 13 a factor of j?
False
Let f = 2 + 1. Suppose 0*i = -f*i - 2*l + 70, -3*i + 3*l + 90 = 0. Suppose 0 = -2*g + i + 48. Is g a multiple of 14?
False
Let r = 6 - 3. Suppose -p + 3 = 5*b + 3*p, 0 = -4*b - r*p + 3. Suppose -n = -4*x + 51, x + 3 = 4*n - b. Is 14 a factor of x?
True
Let d(s) = s**2 + 5*s + 6. Let g be d(-8). Let p be (1 - (-2 - -2))*4. Suppose -p*h + g = h. Does 6 divide h?
True
Let w(m) = -6*m. Is 5 a factor of w(-4)?
False
Let k(i) = i**2 + 11*i - 16.