= 2*k**3 - 5*k**2 + 3*k + 3. Suppose q - 24 = -5*x, -4*q = -6*q + x + 4. Is 4 a factor of z(q)?
False
Suppose -2*n = -5*n. Suppose n*x + x = 5. Suppose 0*d - 42 = -x*d - g, 5*d - 50 = -5*g. Is d a multiple of 5?
False
Let r = 197 - 143. Is 6 a factor of r?
True
Suppose -7*j + 1639 - 141 = 0. Let b = -20 + j. Suppose -2*o - 4*t + b = 0, 0 = 4*o - 2*t - 3*t - 362. Does 31 divide o?
True
Let n(h) = -h**2 + 4*h - 2. Let x be n(2). Suppose w = -x*w + 303. Is w a multiple of 27?
False
Suppose 504 = 6*j - 96. Suppose 2*k = -c + 2*c - j, 3*c = 3*k + 303. Does 34 divide c?
True
Suppose 192 = 2*q - 144. Is q a multiple of 2?
True
Let m(w) be the first derivative of w**4/24 + w**3 + w**2/2 - 1. Let p(l) be the second derivative of m(l). Does 8 divide p(12)?
False
Suppose 157 = 4*u - 91. Suppose 8*y - 6*y - u = 0. Suppose -o + 5 = -y. Is o a multiple of 36?
True
Let r = 48 - 77. Let n be (-42)/8 - (-18)/72. Let h = n - r. Is 12 a factor of h?
True
Suppose 3664 - 1226 = 4*n - 2*r, -2*n = 4*r - 1214. Does 21 divide n?
True
Let w be 6/(-15) - 512/20. Let k = 24 + w. Is (5/k)/(23/(-46)) even?
False
Let k = 868 + -422. Is 44 a factor of k?
False
Suppose 5*v - 15 = 3*k, 3*k - 38 = -3*v - k. Let l = 25 + -20. Suppose l = m - v. Does 11 divide m?
True
Suppose -2*f - 5*d - 5 = -3*f, f + d = 23. Is 22 a factor of (19 - 10)*2/4*f?
False
Let y be 1753 + -3 + (-1 - 1). Is (36/10)/(y/(-880) - -2) a multiple of 33?
True
Let t(g) = 5*g**2 - 6*g - 2. Is t(-7) a multiple of 19?
True
Suppose 4*w = 2*a - 40, 5*w = -3*a + 8*a - 100. Let v(p) = p**3 - p**2 + p - 130. Let m be v(0). Is m/(-8) - 5/a a multiple of 11?
False
Let y(c) = 2*c**2 - 10*c - 14. Does 34 divide y(-9)?
True
Suppose 49 = -11*r + 12*r. Let j = r - 14. Is j a multiple of 7?
True
Let b(m) = -4*m + 5. Let z be b(-6). Let p = z - 17. Let w = 32 - p. Is 20 a factor of w?
True
Suppose 3*c - 3*v + 11 - 140 = 0, -2*v - 126 = -3*c. Is 5 a factor of c?
True
Suppose -7*p + 4*p = -18. Suppose 0 = p*s - 4*s - 132. Is s a multiple of 11?
True
Suppose -5*v + 5331 = 2*b, 5*b = v + 3*v + 13344. Does 26 divide 4/(-14) - b/(-28)?
False
Let w(b) = 4*b - 7*b - 1 - 19*b - 1. Let d be w(-2). Suppose -4*v - 3*f = -36, 3*v + 3*f = -2*v + d. Is v a multiple of 6?
True
Let b(c) = 15*c**2 - 12*c. Is 31 a factor of b(7)?
True
Is 2 a factor of (-16 + -46)*((-1)/(-2) - 1)?
False
Suppose 69*i = 73*i - 264. Is 3 a factor of i?
True
Let o be -5*-6*4/(-30). Let m = 6 + o. Suppose -m*n + 6*n = 36. Is n even?
False
Suppose 35 = 5*d - 4*j, -6 = d + j - 4. Suppose 5*x - 5 = 3*g + 30, -1 = -4*x - 3*g. Suppose m = -d*m + 3*h + 89, -x*m + 71 = 3*h. Does 5 divide m?
True
Let v(h) = -h**3 - 5*h + 1 + 3 - h**2 - 4*h**2. Let n = 55 - 59. Does 8 divide v(n)?
True
Let p be -3 + 0/(-3) + -2. Does 4 divide p/10*-10*3?
False
Suppose 0 = -3*l + 2*a - 12, l - 3*l - 9 = -a. Let p be (3 + 15/l)*4. Suppose -3*q + p*o + 158 = 0, 0 = -0*q + 5*q + 5*o - 230. Is q a multiple of 15?
False
Let x = -1145 - -1665. Does 22 divide x?
False
Let u(r) = 3*r - 7. Let v(t) = -6*t + 14. Let a(h) = -5*u(h) - 3*v(h). Let m be (66/55)/((-2)/(-10)). Is a(m) a multiple of 5?
False
Suppose -142 = -5*t - 2*l, 0 = -t + 2*t - 2*l - 26. Does 4 divide t?
True
Let k be 4/(-6)*(-8 + 11). Let v be 0 + -3 + 16 - k. Let j = 5 + v. Does 10 divide j?
True
Let a(l) be the third derivative of l**6/120 + l**5/4 + 7*l**4/24 - 10*l**2. Is a(-14) a multiple of 14?
True
Suppose -5*w = 2*u - 13, 2*u + 16 = 5*w - 21. Let v(p) be the first derivative of -p**4/4 - 5*p**3/3 + p**2 - 4*p - 16. Is v(u) a multiple of 4?
True
Let y be -1*(-2)/(-3) + 16588/87. Let c = y - 143. Does 4 divide c?
False
Let k(p) = 0*p**3 - 21*p**2 - 6*p - 3 + 16*p**2 - p**3 - 1. Is k(-4) even?
True
Let v(c) be the third derivative of -c**6/30 - c**4/8 - c**3/6 - 6*c**2. Does 7 divide v(-2)?
False
Suppose b = r - 2*b - 60, 0 = 5*r + b - 236. Suppose g + r = 5*g. Does 3 divide g?
True
Suppose 5*p - 77 = 103. Let h = p + -22. Is 7 a factor of h?
True
Let r(a) = 822*a + 30. Is 12 a factor of r(3)?
True
Suppose -94*z = -99*z + 2*w + 7096, 5*z - 7092 = 4*w. Is 34 a factor of z?
False
Let y be (133/(-14))/((-3)/(-6)). Let f = y + 37. Is 18 a factor of f?
True
Let y(t) = t**3 - 7*t**2 - 11*t + 12. Let p be y(8). Let i = 12 + p. Suppose 3*h - 34 + 13 = i. Does 3 divide h?
False
Let u be -159*(5 - 46/6). Suppose -5*v = 3*v - u. Is 9 a factor of v?
False
Let t = 290 + -253. Is t a multiple of 3?
False
Suppose 0 = q - o - 4*o - 479, 5*q - 2*o - 2349 = 0. Does 72 divide q?
False
Let z(n) = n + 7. Let m be z(-7). Suppose m = -y - 3*y + 248. Suppose 0 = -4*w - v - 43 + 157, 0 = -2*w - 3*v + y. Does 6 divide w?
False
Suppose 9*o - 1044 = 6*o. Does 30 divide o?
False
Suppose 17*v - 27*v + 520 = 0. Is v a multiple of 13?
True
Let h = -157 + 321. Suppose h = 69*w - 65*w. Does 10 divide w?
False
Let i(r) = -4629*r + 2 + 4655*r + 0 + 13*r**2. Is 12 a factor of i(-5)?
False
Suppose 46*n + 1905 = 51*n. Is n a multiple of 25?
False
Let p be 2*-3*1/3. Is (-5 + -2)*2/p a multiple of 7?
True
Suppose -x + 3*m = 15, 5*x - 3*m + 7 = -5*m. Let v be ((-150)/(x - 0))/2. Let j = v + -16. Is 8 a factor of j?
False
Let c = -49 - -54. Suppose -552 = -c*y + y. Is y a multiple of 52?
False
Let l(f) = -2*f + 9. Let s(i) = -i + 4. Let k(p) = 3*l(p) - 7*s(p). Let j(w) = 9*w + 4. Let u(v) = -j(v) + 3*k(v). Is 9 a factor of u(-6)?
False
Suppose 4*u + 3*t - 1014 = 0, u = -3*u - t + 1010. Does 42 divide u?
True
Suppose 27 = 3*f - 0*f. Let y = 11 - f. Suppose y*i - 3*i + 60 = 0. Does 15 divide i?
True
Suppose -3*c + 4 = -0*t + 2*t, 28 = 3*c - 4*t. Let r be 1/(c/(-6) - -1). Suppose 2*u + z - 18 = -r*u, -2*u - 5*z = 2. Is 2 a factor of u?
True
Let q(j) = j**2 - j. Is q(5) a multiple of 10?
True
Let v(c) = 9*c + 4. Let x = -1 + 4. Let i be v(x). Suppose 0 = -m + 2*m - i. Does 18 divide m?
False
Does 10 divide ((-34)/(-3))/(6/90)?
True
Is 40/(-3)*66/(-5) a multiple of 10?
False
Let i(x) = -x**3 - x + 52. Let m = 22 - 22. Let v be i(m). Suppose 2*b = 22 + v. Does 13 divide b?
False
Suppose -5*l + 29 = 4. Suppose -c + 2*x = -15, x + l = 2*c + 2*x. Suppose -5*n = -3*z - 82 + 16, -c*z - 58 = -4*n. Does 9 divide n?
False
Suppose 0 = -2*d + 5*m - 2, -3*m + 5*m = 3*d - 8. Let w = 4 + d. Is w even?
True
Let i(d) = 3*d**3 - 8*d**2 + 12*d - 16. Is 28 a factor of i(9)?
False
Let d(w) = w**3 + 5*w**2 + 3*w - 1. Let l be d(-3). Is 4/l - (3 - 771/6) a multiple of 15?
False
Suppose -3*o + 15 = 3*t, 0 = t - o + 3 - 8. Suppose 2*c + 5*w - 230 = 0, -t + 13 = -4*w. Is c a multiple of 15?
True
Let b(p) = -p**3 - 23*p**2 + 50*p + 21. Is 69 a factor of b(-27)?
True
Let b(m) = m**3 - m. Let u be 4/14 - 24/(-14). Let k be b(u). Is 16/24 + 200/k a multiple of 12?
False
Let n(z) be the third derivative of -z**5/60 + z**4 - 29*z**3/6 - 9*z**2. Does 3 divide n(22)?
True
Let w be (32 + -1)/(5/(-125)*-5). Let h = w - 128. Is h a multiple of 9?
True
Suppose -s + 20 = -4*a, -5*a - 10 = -s + 15. Let t = s + 21. Is (-6)/(-4)*196/t a multiple of 14?
True
Let y = -12 - 0. Let i be (y/36)/((-2)/12). Suppose -4*m - i*s - 3*s = -102, 2*m + 5*s = 46. Does 8 divide m?
False
Let w(t) = -3*t**3 - 19*t**2 - 4*t - 18. Is w(-8) a multiple of 72?
False
Let h(x) = x**2 + 10*x + 4. Let a be h(-9). Let w(t) = 5*t**2 - 14*t - 29. Does 53 divide w(a)?
False
Let g = -47 - -135. Is 23 a factor of g?
False
Suppose -51383 = -44*j + 11977. Is 9 a factor of j?
True
Suppose -10*r = -26419 + 8569. Is r a multiple of 21?
True
Suppose 264*m - 262*m = 1926. Is m a multiple of 35?
False
Let f(d) = -d**3 + 11*d**2 + 3*d - 34. Let b(s) = -s**3 - 7*s**2 + 8*s + 10. Let x be b(-8). Does 24 divide f(x)?
True
Is 17 a factor of (-1 + -2)/(63/(-4200))?
False
Let f = 13 - 16. Is 2 a factor of (-13 - (-3)/f)/(-1)?
True
Suppose -2*p + 1828 = 4*i, 0 = -i + 4*p + 323 + 152. Is 51 a factor of i?
True
Let b = 26 + -15. Let m = 9 - b. Does 8 divide (-21)/(-2) + (-1)/m?
False
Suppose -2 = t - 4*y - 1, 4*t = y + 11. Suppose 0 = 2*v + t*v - 20. Suppose 7*j - 57 = -2*p + v*j, 3*p + 2*j = 78. Is p a multiple of 8?
True
Suppose -2*m + 150 = m. Let a = m + -42. Is a a multiple of 3?
False
Suppose 0*d - 2*d = 3*i - 32, -i - d = -9. Let m = i + -11. Suppose -4*r + 50 = -2*q, 2*r - 2*q = -m*q + 19. Is 11 a factor of r?
True
Suppose -9*p + 3*p = -18. Let b(u) = u**3 -