vide f(-2)?
True
Let i(a) = 4*a**2 - a - 2 + 1 + 2. Let u be i(-4). Let w = u + -17. Is w a multiple of 18?
False
Let y = -185 - -353. Is y a multiple of 24?
True
Suppose -2*w - 4 = 0, 5*g = 2*w + 34 + 180. Let c be ((-2)/(-5))/(1/5). Suppose -c*x + g = -22. Is 24 a factor of x?
False
Let r = 27 + -20. Let a(v) = v**2 - 8*v + 10. Is 2 a factor of a(r)?
False
Suppose 5*x - 10 = 2*g, -8 = -4*g - 2*x - 2*x. Suppose 2*h = -t + 7, 4*h = 4 - g. Is 5 a factor of t?
True
Let f = 22 + -20. Let o(n) = 3 - 4 + 2 + 5*n. Is o(f) a multiple of 3?
False
Suppose -4*h = -3*t - 11 - 4, -2*t - 12 = -3*h. Suppose 0 = 3*u - h*u + 18. Is 3 a factor of u?
True
Suppose -4*v - 8 = 2*n - 4, 2*v = 3*n + 14. Does 21 divide 1 + 0 - (-61 - v)?
True
Let g(m) = m**3 + 5*m**2 - 3*m - 7. Let x be g(-5). Let l = -3 + x. Suppose 0*b + 3*r + 79 = l*b, 2*b = -5*r + 13. Is 5 a factor of b?
False
Suppose -3*p - 5 = o, o - 5*o - p = 9. Let c = o + 4. Does 11 divide c/(-7) - 912/(-56)?
False
Suppose 0 = l - 5*i + 26, 3*i + i + 2 = -3*l. Let z(v) = 4*v**2 + 11*v + 4. Let r(q) = 5*q**2 + 12*q + 5. Let w(j) = l*z(j) + 5*r(j). Is 3 a factor of w(7)?
False
Let n(z) = -z**3 - 4*z**2 - 6*z - 1. Is 9 a factor of n(-5)?
True
Suppose 5*o = 2*i + i + 2, -5*o + 20 = 0. Suppose 71 = 4*b - 5*k, -k - i - 25 = -2*b. Suppose b = -s + 2*s. Does 14 divide s?
True
Let h be (-5)/(15/9) + 36. Let g = h + -14. Does 11 divide g?
False
Let z be ((-4)/(-6))/(6/18). Let x(u) = u**2 - 5*u - 17. Let y be x(8). Suppose -z*r + y*g = 2*g - 26, -r + 4*g + 13 = 0. Does 9 divide r?
False
Suppose 0*g = 2*g. Suppose 5*l - l = g. Suppose l = 4*a + a - 80. Does 8 divide a?
True
Let a(i) = 2*i - 8*i**2 - i - i**3 + i - 4*i + 11. Is a(-8) a multiple of 9?
True
Suppose -g + 4*v - 2 = 0, 5*g - 4*v + 3*v - 28 = 0. Let n = -6 + g. Suppose -4*z - 16 = n, 2*w + z = 6*w - 64. Is w a multiple of 5?
True
Suppose 8*r - 25 = 3*r. Suppose -5*z = r*s - 170, -s + 5*z + 14 = z. Is 7 a factor of s?
False
Suppose g + 4 = -4*z + 3*g, 0 = z + 2*g + 1. Let j = z + 6. Suppose -j*w = -0*w - 130. Is w a multiple of 10?
False
Suppose -116 = c - 3*o, -2*o - 90 - 51 = c. Let n = -90 - c. Is 12 a factor of n?
False
Let h be (-4)/2*(-3)/6. Let x = 14 + h. Does 7 divide x?
False
Let l(k) = -7*k - 2. Is 10 a factor of l(-5)?
False
Suppose -4*n + 5 = -r, 0 = -4*r + r + 4*n - 55. Let d = r + 50. Is d a multiple of 10?
False
Suppose -y + 4*y + 111 = 0. Let d = -24 - y. Is 13 a factor of d?
True
Let j(x) = x**3 + 8*x**2 + 8*x + 10. Let w be j(-7). Suppose 3*g = 18 - w. Is ((-2)/g)/(1/(-35)) a multiple of 8?
False
Suppose 4*q - 14 = 18. Let u be -15 - (0 - (2 - -1)). Is 10 a factor of 114/q - (-3)/u?
False
Let i(s) = -s**3 - s**2 - s + 1. Let w be i(0). Suppose -5*p - w = -21. Suppose 55 = r + p*r. Is 5 a factor of r?
False
Is 10*6*(-4)/(-12) a multiple of 3?
False
Let v = 2 - -9. Is v a multiple of 10?
False
Suppose s - 63 = 3*n - 6, -5*s - n = -253. Suppose -q + s + 5 = 0. Is q a multiple of 14?
True
Suppose 0*i - 2*i = 0. Suppose 5*f = -5*m + 50, -52 = -4*f - m - i*m. Is 13 a factor of f?
False
Let u = 196 - 104. Suppose -4*q - 6*z + 67 = -z, -5*q + u = -2*z. Does 11 divide q?
False
Let o = 138 - 68. Suppose 4*a - 2*a = -88. Let s = o + a. Is 9 a factor of s?
False
Let x = 138 + -23. Does 41 divide x?
False
Let p(b) = b**2 + 3*b - 6. Let f be p(-8). Suppose 2*s = -6, -5*d - s + 113 + f = 0. Is d a multiple of 10?
True
Let p = 17 - 125. Let o be (-2)/4*0 - p. Suppose -3*v - v = -o. Is v a multiple of 15?
False
Suppose -95 = -2*f - 3*f. Suppose -o + 3 = 4*m, m = 4*m + 5*o + f. Suppose -9 - m = -i. Does 11 divide i?
True
Suppose -4*n - 31 = -l, 19 = 3*l - 2*l + 2*n. Suppose 3*m = 4*t + 5, -3*m + 13 - 1 = 3*t. Let h = l - t. Is 10 a factor of h?
False
Suppose -6*m + 594 + 222 = 0. Is m a multiple of 25?
False
Let b(c) = c**3 - 5*c**2 + c - 6. Is 18 a factor of b(6)?
True
Let y(r) = 2*r**2 + 5*r - 1. Suppose q = 7 + 1. Let u(z) = -2*z + 12. Let b be u(q). Does 8 divide y(b)?
False
Let c(s) = 2*s**2 - 5*s - 7. Is c(-4) a multiple of 5?
True
Let s = 0 - -2. Suppose -m + 0*m = -s. Does 2 divide m?
True
Let d(t) = 9*t**2 + 10*t + 2. Is 16 a factor of d(-4)?
False
Let p(v) = -6 - 2*v + v + 4*v. Is p(11) a multiple of 19?
False
Let n(m) = -m**3 - m**2 + 4*m + 3. Let j be n(-3). Let d = j - -69. Does 24 divide d?
False
Suppose 0 = -3*g - 60 + 327. Does 10 divide g?
False
Let c be 2/(-6) + (-75)/(-9). Let p be 4/c - 18/4. Let m(d) = d**2 - 2*d + 1. Is 9 a factor of m(p)?
False
Let o(v) = v**2 + 2*v - 5. Is o(-8) a multiple of 12?
False
Let w = -51 - -65. Is w a multiple of 13?
False
Let b(c) = -10*c + 9. Let m be b(-7). Suppose 5*v = 3*k - m, 8*v = -4*k + 3*v + 152. Does 11 divide k?
True
Let h(v) = -139*v**2. Let c be h(-3). Let r be c/6 + (-3)/(-6). Does 6 divide (-4)/(-18) + r/(-36)?
True
Let i(h) be the first derivative of h**2/2 + h + 3. Does 2 divide i(4)?
False
Let n(s) = -s**3 + 14*s**2 + 2*s - 8. Is n(14) a multiple of 10?
True
Let w(k) = k**2 + 7. Let v be w(6). Suppose -4*g = 3 - v. Does 5 divide g?
True
Let m(a) be the third derivative of a**4/24 + 4*a**3/3 - a**2. Let y be m(-6). Is 5 a factor of y*3*(-20)/(-8)?
True
Suppose -3*j + 12 = 2*b, -4*j + 5*b - 4*b + 16 = 0. Let k = j - -3. Does 6 divide k?
False
Let v(w) = -w**3 + 8*w**2 + 9. Let s be v(8). Let b(f) = 2*f + 6. Is b(s) a multiple of 12?
True
Suppose 5*a + 2 = -13. Suppose -124 = m - 3*m. Is a/9 + m/6 a multiple of 10?
True
Let w(c) be the second derivative of -c**5/10 + c**4/12 - c**3/6 - c**2/2 + 7*c. Is w(-3) a multiple of 14?
False
Is 34 a factor of 95 + 2/8 + (-171)/76?
False
Let l be 8/(-20) - 44/(-10). Let t = 8 - l. Let a = 14 - t. Does 5 divide a?
True
Let i(t) = -t**3 - 2*t**2 - 4*t - 2. Let a(z) = -z + 4. Let x be a(6). Let b be i(x). Let g = b - -9. Does 7 divide g?
False
Suppose i - 126 = 5*s, -3*s + 280 = 2*i + s. Is i a multiple of 8?
True
Suppose 0*x = 4*x + 612. Let m = x - -224. Is m a multiple of 18?
False
Does 9 divide ((-100)/(-35))/((-2)/(-7))?
False
Let o(m) = m. Let y be o(4). Suppose -n + 3 = y. Is 10 a factor of (0 - n) + (30 - 2)?
False
Let i be (-1)/(0 - 2/18). Suppose t = i + 21. Is t a multiple of 10?
True
Let f(d) = -2*d + 60. Does 24 divide f(6)?
True
Let o be 4 + 0/3*1. Suppose -o = v - 46. Is 17 a factor of v?
False
Suppose 0 = 3*g + 5*h - 2, 4*h + 0*h = 4*g - 24. Is 2 a factor of g?
True
Let w = 0 - -3. Let j = w - -8. Is 8 a factor of j?
False
Suppose 4*i = -a + 16, 2*a + 6 = 4*i - 10. Suppose -i*w = x - 83, x + 0*w = 4*w + 75. Suppose -5*g - f = -5*f - 186, -2*g + x = 3*f. Is g a multiple of 19?
True
Suppose h = -2*z + 19, 0*h = -2*z - 2*h + 24. Let p(s) = -s + 10. Let a be p(z). Let g(b) = -b**2 + 3*b + 4. Is 3 a factor of g(a)?
False
Is 40 a factor of 1/2*(3 - -369)?
False
Suppose 2*u = -4*k + 18, k + 27 = 3*u - 0*u. Let f(x) = u*x + 0*x**2 + 11*x**2 + 14 + 0*x**3 + x**3. Is 12 a factor of f(-10)?
True
Suppose 78 = 4*z + x, 2*z + 32 = 4*z + 4*x. Does 5 divide z?
True
Let j = 116 - 29. Is j a multiple of 24?
False
Suppose 3*o - 8*o + 10 = 0. Suppose o*j + 33 = 9. Is (56/(-6))/(j/18) a multiple of 5?
False
Let p(f) = -2*f + 4. Let o be p(6). Let n(u) = 8*u**2 + 6*u**3 - u**3 - 4*u**3 - 3*u. Is 16 a factor of n(o)?
False
Suppose -6 = -3*i - 0, -z + 24 = -i. Is z a multiple of 26?
True
Suppose -z + 5*z - 164 = 0. Is z a multiple of 4?
False
Suppose -6*c - 120 = -7*c. Does 24 divide c?
True
Let a = -17 + 9. Let z(r) be the second derivative of -r**5/20 - 2*r**4/3 - r**3/6 + 4*r**2 + r. Is 11 a factor of z(a)?
False
Let b = 10 - 5. Is b a multiple of 5?
True
Let g(x) be the third derivative of -x**6/120 - 11*x**5/60 + 5*x**4/12 - 2*x**3 - 4*x**2. Does 12 divide g(-12)?
True
Let w(i) = 3*i**2 + 3*i + 6. Suppose 5*d + 12 = n, 2*d + 3 = -2*d + 3*n. Let o be ((-5)/d - 1)*-6. Is w(o) a multiple of 15?
False
Let r = 82 - 54. Let z be (1 + 41)*120/r. Suppose -6*o + z = -o. Is 12 a factor of o?
True
Is (62/2)/(-2*4/(-24)) a multiple of 31?
True
Let f = 11 - -198. Is 9 a factor of f?
False
Suppose 7*z - 27 = 4*z. Let k(w) = w**2 - 9*w + 10. Is 7 a factor of k(z)?
False
Does 4 divide 54 - -9*(-5)/15?
False
Suppose 2*s + 4*u = 3*s - 4, -4*u + 20 = 5*s. Suppose 0*b - 40 = -2*b + s*v, 2*v = -6. Is b a multiple of 3?
False
Suppose -148 = -2*z + 52. Does 20 divide z?
True
Su