 multiple of 21?
False
Suppose 0 = -c + 3*q + 14, 2*c + 0*c - 63 = -q. Suppose c = -3*z + 4*z + 5*t, z + 11 = 3*t. Suppose -z*m + 8*m - 48 = 0. Does 4 divide m?
True
Let f(h) = -296*h**3 + h + 3. Is 10 a factor of f(-1)?
False
Let z be -260*(-3)/(-14) + (-22)/77. Suppose -3*k - 2*f = -2*k + 22, 0 = 4*k + 2*f + 70. Does 12 divide (210/z)/(1/k)?
True
Let k be 2248/6*((-35)/(-14) + -1). Suppose 103 = x - 3*v - 20, 4*x = -2*v + k. Does 23 divide x?
True
Is 7/(245/(-10)) + 39704/49 a multiple of 27?
True
Let d(c) = c**3 - 10*c**2 + 4*c - 1. Let y be d(10). Let u = y + -35. Is u a multiple of 4?
True
Let c(i) be the second derivative of i**6/180 - i**5/24 - 7*i**4/24 - i**3/3 + 9*i. Let u(t) be the second derivative of c(t). Is u(6) a multiple of 35?
True
Let y(o) = o**3 + o**2 + 3. Let i be y(0). Suppose -36 = -i*k + 21. Is 19 a factor of k?
True
Let l = 30 - 0. Suppose 2*d = 7*d + l. Is 6 a factor of d/12 + 49/2?
True
Suppose -3152 = -2*u + 2*z, 3*z - 15 = -3. Does 20 divide u?
True
Let v = -37 + 117. Let f(r) = -2*r**3 - 4*r**2 - 5*r. Let d be f(-2). Suppose -5*j + d = -v. Does 4 divide j?
False
Let i(r) be the second derivative of 4*r**3/3 + 25*r**2 + 41*r. Is 10 a factor of i(0)?
True
Let c = 39 - 47. Is (-42)/(-56) + (-234)/c a multiple of 3?
True
Suppose -2*x - 16 = -20. Suppose -x*w - 5 = -5*t + 10, 4*w = 4*t. Suppose -w*h + 164 = 49. Is 23 a factor of h?
True
Suppose -4*j + j + 63 = 0. Let t = 11 + j. Suppose 4*o - 180 - t = 0. Does 9 divide o?
False
Let w(f) = -10*f - f**3 + 5*f + 237*f**2 - 229*f**2 + 44. Is 7 a factor of w(6)?
False
Let v(c) = 6*c**2 - c + 10. Does 12 divide v(7)?
False
Suppose -3*a = -4*a - 13. Let s = a + 35. Is s a multiple of 5?
False
Suppose -6*z = -z + 5. Is 273/26 - z/2 a multiple of 9?
False
Suppose -2*c + 3*s = -s + 114, 5*s = -c - 85. Let p = -44 - c. Is 5 a factor of p?
False
Suppose -5*f + 3*f - 570 = 0. Let c be 6/(-33) - f/55. Suppose -4*x + 20 = n - 9, 3*n - 73 = -c*x. Is n a multiple of 8?
False
Does 36 divide 9/15 - (-86770)/50?
False
Let x(a) = a**3 + 11*a**2 - a - 8. Let d be x(-11). Suppose 2*g = -d*g + 145. Does 3 divide g?
False
Let x = 75 - 30. Suppose -4*k - x = -k. Let v = 112 + k. Does 28 divide v?
False
Suppose 2*k + u = 10 - 0, 4*k = -u + 20. Suppose k*h - 75 - 226 = 2*x, 5*x - 132 = -2*h. Is 8 a factor of h?
False
Suppose -3*d + u = 306, -3*d = 2*u + 2*u + 321. Let j = -78 - d. Is j a multiple of 2?
False
Let j be (-128)/22 - (4 - (-42)/(-11)). Is 18 a factor of (3 + j)/(10/11 + -1)?
False
Let l(p) = 8*p + 9. Let b be l(-4). Let s = 20 - b. Let a = 72 - s. Is a a multiple of 10?
False
Suppose -5*g + 8 + 7 = 0. Let t be 2 + (3/2)/(15/20). Suppose 23 = 2*w + 3*i, -g*w = -t*i - 51 + 8. Is w a multiple of 4?
False
Is 11580/21 + 12/21*1 a multiple of 4?
True
Let u(k) = 9*k - 89. Is u(14) a multiple of 7?
False
Let u(i) = 6*i - 3. Let f(q) = -3*q - 5. Let d be f(-2). Let p(a) = a. Let l(x) = d*p(x) + u(x). Does 4 divide l(2)?
False
Let z = 34 + -52. Let o = 11 - z. Is 2 a factor of o?
False
Let f(h) be the first derivative of -h**4/4 - 8*h**3/3 + 4*h**2 + h + 7. Suppose 0 = -3*d - 8 - 19. Is 5 a factor of f(d)?
True
Let a(d) = -d**2 + 6*d + 5. Let q be a(6). Is 5 a factor of 3 + -5 + q - -12?
True
Suppose -6*q = -5*q + 39. Let o = -16 - q. Is 6 a factor of 2/4 + o/2?
True
Suppose 0 = c - 174 - 29. Let z = -105 + c. Is z a multiple of 11?
False
Let m(l) be the first derivative of -l**4/6 - l**3/6 + 5*l**2/2 + 4. Let t(h) be the second derivative of m(h). Is t(-15) a multiple of 24?
False
Let m = -5 - -11. Suppose -15 = g - m*g. Suppose g*b - 48 = -v, -4*v + 3*b + 128 = -b. Is 12 a factor of v?
True
Suppose -4*r = -4*l - 20, 3*r + 3*l = -l - 13. Is ((-585)/(-10) - 3/2) + r a multiple of 6?
False
Suppose -10*j = 2*y - 1308, -4*j - 644 = -y - 7*j. Is 17 a factor of y?
True
Suppose -59 = -3*k + 4. Suppose -k = -4*o - 1. Is 5 a factor of (2 + o/(-2))*-12?
False
Let u be (-27)/(-15) - (-2)/10. Suppose 2 = -2*l, -2*l = w + 3*l + u. Suppose -w*c + 37 = 2*x, 0*x + x + 3*c = 11. Is x a multiple of 7?
False
Suppose -6 = -2*y - 22. Let q(p) = -5*p - 6 + 1 + 3 - 8. Is q(y) a multiple of 10?
True
Suppose 5*x = -26 + 86. Suppose -4*s - x = -236. Is s a multiple of 8?
True
Suppose -3*j + 171 = -2*v, -5*v = 2*j - 104 + 9. Suppose 4*n + j - 167 = 0. Let u = 64 - n. Is 6 a factor of u?
True
Let v(g) = -6124*g + 2*g**2 + 6112*g - 10 - g**2. Is 19 a factor of v(21)?
False
Suppose -44*s - 6 = -46*s. Let t(v) = 2*v**2 - 4*v + 15. Is t(s) a multiple of 5?
False
Does 13 divide 40390/315 + 2/(-9)?
False
Suppose 7*a - 200 = 6*a. Is a a multiple of 11?
False
Let j = -786 + 806. Let u = 65 - 46. Suppose 3*f = u + j. Does 12 divide f?
False
Is 3 a factor of -6*(-9)/(-648) + 9291/36?
True
Let n = 100 - 95. Is 15 a factor of 4/6 - n/((-15)/133)?
True
Suppose t - 16 = r, 1 = -2*t - 4*r + 15. Is 6 a factor of t?
False
Let h be (2/(-3))/(13/(-351)). Suppose -h = -5*v + 117. Is v a multiple of 9?
True
Let p(v) be the second derivative of 5*v**4 - v**3/3 + v**2/2 + 8*v. Is p(1) a multiple of 12?
False
Let l(i) = 2*i**2 - 17*i - 64. Is l(-16) a multiple of 20?
True
Suppose 5*u - 436 = -2*v + 520, 4*v - 1892 = -5*u. Suppose -4*b = -4*j - v, 5*j - 486 = -4*b - 0*j. Does 7 divide b?
True
Let y = -611 - -899. Is 16 a factor of y?
True
Suppose -1 - 3 = 4*m + w, -5*m = 4*w + 5. Let a be ((-4)/(-2) - m) + 0. Suppose 0*d - 4*d + 3*u = -33, -3*d = a*u - 51. Is d a multiple of 6?
True
Suppose -98 = 2*p - 9*p. Is ((-28)/(-4) - p)*(1 + -15) a multiple of 42?
False
Suppose 2*x = 0, -3*b + x + 0*x + 9 = 0. Let l = b - 9. Is 12 a factor of l + 2 + 2*35?
False
Suppose 2*p + 2*h + 2 = 0, 0 = -5*p - 0*h - 2*h + 10. Suppose -p*c = 249 - 681. Is c a multiple of 20?
False
Does 11 divide 254 - -71 - (1 + 5)?
True
Suppose w + 3*w = -16. Let a be (-47)/(-6) - w/24. Suppose 3 + a = i. Does 10 divide i?
False
Suppose -2*u + 2*f + 5908 = 0, -3*u + 53*f - 56*f = -8874. Is 16 a factor of u?
False
Let k(w) = 6*w**2 - 3*w - 1. Let u be k(-1). Let a = 20 - u. Is 7 a factor of a?
False
Suppose -102 = -2*j + 5*o, 3*j + o - 194 = -41. Is j a multiple of 13?
False
Suppose -151*h + o = -146*h - 19128, 2*h = -5*o + 7635. Does 17 divide h?
True
Let h(c) be the third derivative of -c**5/60 - c**4/2 + c**3/2 - 2*c**2. Let d be h(-12). Suppose 4*p = -p + d*a + 5, 5*a - 25 = 0. Is p a multiple of 4?
True
Suppose -35*p = -36*p - 121. Let b = p + 193. Is 18 a factor of b?
True
Suppose -5*b + 7581 = 16*b. Does 29 divide b?
False
Let p be (2/(-6))/(1/39). Let u(x) = -6*x + 17. Let j be u(p). Suppose k - 115 = -4*q, -4*q - 2*k = 3*k - j. Is q a multiple of 6?
True
Let u = -827 + 6315. Is u a multiple of 112?
True
Let j = -91 + 39. Is (-2)/((-12)/27)*j/(-6) a multiple of 25?
False
Suppose -u + 5*l = 4 - 8, 0 = u - 3*l - 2. Let o be 2223/27 - u/(-3). Suppose -5*t - g = -112, -4*t + o = g - 4*g. Does 11 divide t?
True
Let a = -1151 - -1331. Is 12 a factor of a?
True
Is 10 a factor of 23511/(-102)*(2 + -6)?
False
Suppose 1128 = 8*c - 464. Suppose -4*v + c + 205 = 0. Is v a multiple of 13?
False
Suppose 2*t = 5*t - 12. Let o(z) = -z**3 + 4*z**2 + z + 1. Let c be o(t). Suppose c*v - 60 = -i, i + 2*v = 73 - 25. Is 10 a factor of i?
True
Let v be ((-2)/4)/((-6)/(-96)). Let d = v - -12. Suppose -d*g + 209 = -0*g + 3*w, 193 = 3*g - 5*w. Is g a multiple of 21?
False
Is 4 a factor of 1921/5 - (528/(-60) + 9)?
True
Suppose 5*o - 67 = -2*n, -o + 2*n = 2*o - 53. Suppose -g = -2*g + 2. Suppose o = -g*k + 83. Is 13 a factor of k?
False
Let d be -1*6*(-20)/30. Suppose -t = -5*t - 5*p + 256, -d*p = 0. Is 11 a factor of t?
False
Suppose 15*h = 10*h + 3*y + 571, -h = -2*y - 110. Is h a multiple of 10?
False
Suppose 8*j - r - 663 = 7*j, 0 = 2*j - 5*r - 1311. Is 8 a factor of j?
False
Suppose -2*k - 4*i + 606 = 0, -2*k + 3*i = -5*k + 900. Does 9 divide k?
True
Let w = -37 + 68. Let c = w - 27. Let g = 28 - c. Is g a multiple of 7?
False
Let p = 27 - 12. Suppose -5*v + 5 + p = 0. Is 4 a factor of v?
True
Let p be (-12)/10*980/42. Let o = 1 - p. Does 5 divide o?
False
Suppose -4*f - 5*o + 251 = 0, 4*f - o - 259 = 2*o. Suppose 3*d + 9 = 0, -3*d - 2 - f = -3*x. Does 13 divide x?
False
Let t = 32 - 10. Let k(o) = o**3 - 22*o**2 + 3. Is k(t) a multiple of 2?
False
Let v = 4531 - 2911. Is v a multiple of 36?