?
False
Let o = -4 - -40. Is o a multiple of 8?
False
Let u(y) = -y**2 + 7*y + 6. Does 4 divide u(7)?
False
Let u(k) = k**3 + 9*k**2 + 8*k - 3. Does 19 divide u(-6)?
True
Let l be ((-2)/(-4))/(6/132). Let r be 6/(-33) - 31/l. Does 9 divide r*22/(0 + -2)?
False
Let h(m) = 28*m - 21. Is 34 a factor of h(4)?
False
Let r(b) be the second derivative of -b**3/3 - 11*b**2/2 - 3*b. Is r(-9) a multiple of 2?
False
Let z(b) = b**3 + 6*b**2 - 2*b - 9. Suppose 24 = -3*h + 2*c, -4*h - 33 = -3*c - 0*c. Is z(h) a multiple of 3?
True
Suppose 0 = -4*s - 12, -3*j - 5*s + 0*s - 18 = 0. Let f = 2 - j. Is 3 a factor of f?
True
Let f(o) = -2*o + 14. Is 5 a factor of f(0)?
False
Let a(h) = 10*h**2 + 2*h - 5. Let t be a(-5). Suppose -6*g = -g - t. Is g a multiple of 17?
False
Suppose 0 = -6*k + 3*k + 15. Suppose 0 = -4*h + 4*g + k - 1, -g = h - 9. Suppose 107 = h*b - 73. Is b a multiple of 15?
False
Suppose -34*y + 37*y - 249 = 0. Does 25 divide y?
False
Let s(h) = 1. Let v be 1/((-1)/(0 + 1)). Let t(f) = f - 21. Let o(i) = v*t(i) - 3*s(i). Is 18 a factor of o(0)?
True
Let p = 5 - 2. Let l = -4 + 6. Suppose l*d + d = -p*k + 159, k + 4*d = 53. Is 16 a factor of k?
False
Suppose -162 = 6*x - 12*x. Does 9 divide x?
True
Let q(u) = -u**2 - 8*u. Let b(y) = 2*y**2 + 16*y - 1. Let o(j) = -6*b(j) - 13*q(j). Let z be o(-5). Let n = 19 + z. Is n a multiple of 8?
False
Let u = 0 + 7. Let i = u + -15. Let c = 3 - i. Does 3 divide c?
False
Suppose -44*u + 43*u = -36. Does 9 divide u?
True
Suppose 4*v = -0*v - 3*o + 213, 0 = -v - 2*o + 57. Is v a multiple of 17?
True
Suppose -2*q = 3*o - o + 4, q + 1 = 0. Let m be (3 - o)*22/(-8). Is 6 a factor of 2 + (-2)/(2/m)?
False
Suppose -4*m + 30 = -d - 5, 250 = -5*d - 5*m. Let t = 80 + d. Is t a multiple of 10?
False
Let r be (-1 + (-1 - 0))*-2. Suppose 0 = 2*s - r. Suppose s*j = -3*w + 58, -2*w - 4*j + 44 = -0*w. Is w a multiple of 9?
True
Suppose -3*l + 0*l = -18. Suppose d = 3*m + l*d - 177, -4*m + 268 = -4*d. Is m a multiple of 16?
True
Let q(i) = 2*i**2 - 2*i - 6. Is q(-5) a multiple of 26?
False
Is 23 a factor of (-13958)/(-126) - 4/(-18)?
False
Let d(i) = i. Does 12 divide d(17)?
False
Suppose 4*i - 16 = 8. Let r = -6 + i. Suppose r*a = a - 3. Is a even?
False
Let w(i) = i**2 + i + 36. Let r be w(0). Suppose r = 3*u + u. Let h = -6 + u. Is h a multiple of 3?
True
Let i(r) = r**2 + 9*r - 5. Let d be i(-10). Suppose -3*w = -d*g - 125, 2*w + 165 = 6*w - 5*g. Is w a multiple of 20?
True
Let k be ((-2)/5)/((-4)/(-60)). Is k/(99/(-30) + 3) a multiple of 10?
True
Let v be (-4 + 0)*(-2)/4. Suppose v*d - 3*p - 58 = 0, -3*d - 2*p = -26 - 61. Is 5 a factor of d?
False
Suppose 2*j = -3 - 3. Is (-5 + j)*19/(-4) a multiple of 10?
False
Let y(j) = -j. Let l(o) = o**3 + 5*o**2 - 6. Let q be l(-5). Is y(q) a multiple of 3?
True
Suppose 13*k = 8*k + 25. Suppose 134 = 2*c + 2*f, -3*f = k*c - 2*f - 343. Does 18 divide c?
False
Let k be (-18)/(-15) - 1/5. Suppose k = w - 0. Does 8 divide 39/w*2/3?
False
Let a(i) = -39*i**2 - 1. Let l be a(1). Let b = l - -73. Is 17 a factor of b?
False
Suppose -3*o + 155 + 290 = 2*z, 2*o + 2 = 0. Is 16 a factor of z?
True
Let y(f) be the second derivative of 11*f**4/12 - f**3/6 + f**2/2 + f. Is y(2) a multiple of 14?
False
Suppose 80 = -0*u + 5*u - 5*x, 5*u - 4*x - 75 = 0. Is 2 a factor of u?
False
Does 28 divide 3 - -41 - 6*4/8?
False
Suppose u = -5*w + 295, w = 3*w - 4*u - 140. Is 12 a factor of w?
True
Suppose -4*p + 576 = -6*d + 10*d, 720 = 5*d - 5*p. Does 12 divide d?
True
Suppose -20 = 7*t - 2*t, -4*o + 108 = -t. Suppose -4*l + 106 = -o. Does 11 divide l?
True
Let l(d) = -7*d**3 - 2*d**2 - 2*d - 1. Let q be l(-2). Let x = 91 - q. Is 12 a factor of x?
False
Let h(g) = 7*g**2 - 5*g - 8. Let b(w) = -13*w**2 + 9*w + 15. Let f(y) = -6*b(y) - 11*h(y). Let x(l) be the first derivative of f(l). Is x(1) a multiple of 2?
False
Let d = -11 + 5. Let m be 3/d - (-6)/(-4). Is 16 a factor of m/6 - 560/(-15)?
False
Let a = 53 - 31. Suppose -92 = -5*n - a. Suppose 0 = -3*d - 0*d - 2*j + n, 4*d + 4*j = 12. Is d a multiple of 8?
True
Suppose -5*i = -2*i - 54. Is i a multiple of 9?
True
Suppose 3*o = 163 + 269. Is o a multiple of 26?
False
Suppose 0 = 5*r - 1 - 9. Suppose r = -s + 6. Suppose 2*j + s = 72. Is j a multiple of 17?
True
Suppose 0 = 9*t - 380 - 700. Is t a multiple of 15?
True
Suppose 5*g = 2*w - 278, 4*w + 2*g - 107 = 473. Is 28 a factor of w?
False
Let n = -22 + 12. Suppose -3*i - 27 = -3*d, -2*d + 0*i = -i - 13. Let y = d - n. Is 8 a factor of y?
False
Suppose 10*t = 29 + 11. Is t even?
True
Let r(x) = -x**2 - 6*x - 5. Let f be r(-5). Suppose f = 3*t + 3*b - 18, 9 = 2*b + 1. Suppose -2 = y + 4*d, -2*y + 28 = -y - t*d. Is 18 a factor of y?
True
Does 31 divide 50 + 0/1 - -3?
False
Let x be 21/(-6)*-2 + 0. Let o = 77 + x. Suppose o = 2*m + 8. Is 19 a factor of m?
True
Let x(i) = -i**3 + 2*i**2 + 4. Let m be x(3). Let t(k) = 2*k**2 + 7*k - 2. Is t(m) a multiple of 7?
False
Let d be (-108)/(-4) + -5 + 3. Let h = d - 11. Does 14 divide h?
True
Suppose -5*x + 36 = 6. Let b(g) = g**3 - 5*g**2 + g. Does 14 divide b(x)?
True
Let n(y) = 34*y - 2. Let a be n(2). Let s be a/4*(-50)/15. Let w = s + 80. Does 10 divide w?
False
Let k(f) = f**3 - 8*f**2 + 7*f + 6. Let b be k(7). Suppose b*y = -3*r + y + 71, -2*r - 2*y = -54. Is 8 a factor of r?
True
Suppose 4 - 3 = z. Let c be (2 + 1)/(z/(-67)). Does 16 divide (-6)/8 - c/12?
True
Let x = -4 - 3. Suppose -c + 43 - 8 = -5*w, 3*w + 29 = c. Let z = c + x. Is 9 a factor of z?
False
Does 23 divide (2 + 21)*(-2)/(-2)?
True
Let r(c) = c**2 - c - 9. Does 15 divide r(-16)?
False
Suppose -s + 4*i = -25, 4*s - 4*i - i = 155. Does 10 divide s?
False
Suppose 5*s + 20 = 0, 3*s + 0*s + 272 = c. Is c a multiple of 26?
True
Suppose 0 = o - 129 - 149. Does 14 divide o?
False
Suppose 0 = -w - 2*j - 18, 0 = -5*w + w + 3*j - 116. Let c = 44 + w. Is 7 a factor of c?
False
Let i be (-2)/8 + (-1463)/(-44). Suppose 65 = 3*u + j, -2*u - 3*j + i = -15. Is 11 a factor of u?
False
Let h = -23 + 51. Is h a multiple of 28?
True
Suppose 0 = 5*l - l - 104. Does 11 divide l?
False
Let f = 1 + 2. Does 5 divide (-66)/(-9) - 1/f?
False
Suppose 4*i + i - 305 = 0. Does 9 divide i?
False
Let v = 13 - 8. Suppose -1 = -4*m + v*m. Let t = m + 9. Is t a multiple of 8?
True
Suppose -12 = 3*m + 5*j + 4, -4*j - 11 = 3*m. Let g(v) = -v**2 - v**3 - m*v**2 - 2 - 3 + 4*v. Is g(-6) a multiple of 16?
False
Suppose 2*h + 6*t - 7*t - 220 = 0, 5*t - 550 = -5*h. Is h a multiple of 11?
True
Let j be 4 + -1 - 1 - 6. Let c(z) = -z**2 - 5*z - 2. Let o be c(j). Suppose 10 = -y - 5*x + 60, o*y + 5*x - 85 = 0. Does 9 divide y?
False
Let w = -155 - -181. Is w even?
True
Is 3 a factor of 1*(-1 + 0)/1 - -23?
False
Let b(n) = -3*n**3 + 2*n**2 + 2*n + 2. Does 9 divide b(-2)?
False
Suppose -3*m + 9 + 33 = 0. Does 14 divide m?
True
Let y(v) = -v**3 - v**2 - 3*v + 1. Let k be (4/6)/(4/(-18)). Is 11 a factor of y(k)?
False
Let x be 12/8*(-318)/(-9). Suppose x + 3 = n. Is n a multiple of 12?
False
Suppose -3*n - 4 + 1 = 0. Let h be 2/(n*6/(-45)). Suppose 3*s - 102 = -h. Is s a multiple of 19?
False
Suppose -2*d = g + 86 - 290, 0 = -g + 2*d + 192. Is g a multiple of 22?
True
Suppose 0 = -0*m + 3*m + 3. Let u(a) = -4*a**3 - a - 1. Is 3 a factor of u(m)?
False
Suppose 0 = 5*u - u - 64. Suppose 4*g - a + 19 - 55 = 0, -3*g - 2*a = -u. Is 3 a factor of g?
False
Let l = 1207 + -810. Is 14 a factor of l?
False
Let g = -3 - -4. Let p be ((-21)/6)/(g/(-12)). Suppose 3*m - 21 = p. Is 21 a factor of m?
True
Suppose -4*h + 25 = -9*h. Let y(v) = v**3 + 8*v**2 - 6*v - 5. Let d be y(h). Suppose 2*f - 104 = -4*c, 0*f - d = -3*c + 4*f. Is 14 a factor of c?
True
Suppose -3*s + 5*k = -33 - 232, -2*k + 336 = 4*s. Is 25 a factor of s?
False
Let s(r) = 5*r**2 + 3*r - 4. Let i be 64/(-12) + 1/3. Let f = -2 - i. Is 25 a factor of s(f)?
True
Suppose -3*q - 7 + 43 = 0. Suppose 0 = -2*z + q + 30. Is z a multiple of 7?
True
Let l(f) be the third derivative of f**4/6 - 5*f**3/3 + 8*f**2. Is 2 a factor of l(4)?
True
Suppose 5*j + 2*a + 179 = -0*a, j - 2*a = -31. Let x = j + 52. Is x a multiple of 8?
False
Suppose -4*u = 2*h - 72, 3*h + h = -u + 123. Is h a multiple of 5?
True
Suppose 0 = 3*m - 9, -3*a + 7 = -a - m. Suppose -h = -a*h + 20. Suppose h*g + 5 - 25 = 0. Is g a multiple of 4