 (-324)/(-5) a multiple of 7?
False
Suppose 8543 = 5*h - a, -792 = -h + a + 915. Does 51 divide h?
False
Let d(a) be the first derivative of a**4/2 - 7*a**3/3 + 5*a**2/2 - 10*a + 19. Does 10 divide d(5)?
True
Let i = -35 + 20. Let q = -1 - 9. Is 18 a factor of (108/i)/(2/q)?
True
Let s(t) = 7*t**2 + 2*t - 8. Is s(8) a multiple of 27?
False
Let i = 810 - 401. Is 68 a factor of i?
False
Suppose t - 5*t + 2164 = 0. Suppose -3*g + 214 = -g - 2*d, 5*g + d - t = 0. Is 25 a factor of g?
False
Suppose y + 2*x = 3*y - 574, -2*y + 564 = -4*x. Is y a multiple of 73?
True
Let y(m) be the first derivative of -m**4/4 + 10*m**3/3 - 5*m**2/2 - 9*m - 23. Does 26 divide y(6)?
False
Let u be (21 + -1)*9/(-12). Let v = 40 + u. Is 4 a factor of v?
False
Suppose -4*k + 3*v = 336, -v = -5*k - 2*v - 420. Let i = k - -112. Does 2 divide i?
True
Suppose -8 = -6*o + 8*o + 3*q, 20 = -5*q. Suppose 19 = -3*m + 2*j, -4*m - 4*j - 5 = -13. Does 8 divide (-10)/(m/(o*6))?
True
Suppose 4*w - 54 = -5*v - 14, -3*v + 7 = -w. Let c = 0 + v. Suppose 2*f - 44 - 3 = -5*o, 109 = c*f - 5*o. Is f a multiple of 8?
False
Suppose 0 = 3*v - 9. Suppose -4*j + 3*b - b + 230 = 0, 0 = 2*b - 2. Suppose 0 = v*a - 14 - j. Does 6 divide a?
True
Suppose 67*m + 116 = 69*m - 4*t, 5*t + 117 = 2*m. Does 3 divide m?
False
Let d(w) = -34*w - 1. Let s be d(-4). Let i be (190/(-8))/(2/(-8)). Let k = s - i. Does 13 divide k?
False
Suppose -38 = -5*u + 82. Let c = u - 35. Is 4/3 - c/3 a multiple of 2?
False
Suppose 0 = -0*v + 2*v. Suppose v = -4*i - 2*k + 20, -i - k - 1 = -8. Is i even?
False
Suppose -4*y + 102 = 54. Is y even?
True
Suppose -35*h - 19074 = -101*h. Is 2 a factor of h?
False
Let c(z) = 5*z**3 - z**2 + 1. Let s be c(1). Suppose 0*b = -6*b + 24. Suppose s*w + 55 = 5*r, 0 = -3*r - b*w + 6 - 1. Is r a multiple of 2?
False
Let a(i) = -i**2 - 11*i - 5. Let f = 0 + -7. Let l be a(f). Suppose -18*v - 90 = -l*v. Is 16 a factor of v?
False
Let a(h) = -h**2 - 27. Let r be a(0). Let v be r/12 + 1/4. Is (64 + 2)*v/(-4) a multiple of 15?
False
Suppose -4*y + 14 = 3*u - 0*u, -5*y + 25 = 5*u. Does 10 divide (1/2)/(u/492)?
False
Let z(g) = g**2 - 2*g + 210. Does 92 divide z(40)?
False
Let l(r) = -6 - 52*r + 7 - 4. Does 16 divide l(-2)?
False
Let j = -16 - -2. Let c = j - -34. Does 4 divide c?
True
Let u(a) = -a**3 + 6*a**2 + 8*a + 15. Let d be u(8). Is 15 a factor of (-1 + d)*-4*(-9)/(-24)?
True
Let g(a) = -a**3 - 34*a**2 - 43*a + 33. Is g(-33) a multiple of 40?
False
Suppose -5*q - 6*n = -4374, -4*q + 3*q - n = -874. Does 11 divide q?
False
Suppose 2*j - 2248 = -2*f, 16*j - 2*f - 3362 = 13*j. Is 66 a factor of j?
True
Let u be (-2 + 3)*1*-14 - 0. Let q(j) = j + 24. Does 2 divide q(u)?
True
Suppose 3*b = 5*z + 646, -8*b + 3*z = -10*b + 399. Is b a multiple of 23?
True
Suppose r + 2*r - 33 = 0. Let a = 12 + 9. Does 24 divide (r - a)*72/(-10)?
True
Suppose -2*z - 4 = -2*u - 2*u, u + 1 = z. Is 21 a factor of -232*(z/8)/(-1)?
False
Let f(p) = -p - 3. Let i be f(-6). Suppose 5*l = -5, 2*z - 2*l = -i*l + 91. Is 9 a factor of z?
False
Suppose 4*z - 4*n = -32, n = 4*z + 2*n + 27. Let o(l) = -l**3 - 5*l**2 - 4*l - 9. Does 18 divide o(z)?
False
Let m(j) = 4*j**2 - 67*j - 1. Let h be m(17). Suppose 0 = 2*i - 4*i + 18. Let x = h - i. Does 4 divide x?
False
Let b(p) = p**3 - p**2 + 2*p + 4. Let i be b(0). Suppose i*c = 8*c - 776. Does 34 divide c?
False
Let h = 168 - 126. Suppose 4*s - 110 = -h. Does 4 divide s?
False
Let c(o) = -2*o**3 - 4*o**2 + 10*o + 9. Let n be c(-7). Let j = n + -660. Let t = j - -339. Is t a multiple of 18?
True
Does 20 divide 1/(-5 + 8) + (-13764)/(-18)?
False
Let u(v) = -119*v**3 - 2*v**2 + 1. Let g be u(1). Is 29 a factor of 4354/30 - (-16)/g?
True
Let j(q) = 3 - 13*q**3 - 5*q**3 - 4. Let i(z) = 2*z**3 + 5*z**2 - 14*z - 9. Let m be i(-4). Is 17 a factor of j(m)?
True
Let d(j) = 3*j**3 - 10*j**2 + 8*j + 10. Let y(s) = -s**3 - 10*s**2 + 9*s - 16. Let u be y(-11). Is d(u) a multiple of 48?
False
Let d(h) be the first derivative of -37*h**2/2 + 3*h - 4. Let z be d(-2). Suppose -k = -13 - z. Is k a multiple of 30?
True
Suppose -28 = 2*y + 6. Let z be y - 0*(-3)/(-9). Let l = z - -40. Does 7 divide l?
False
Suppose 5*g - 10 = 5*z, 2*g - 24 = -7*z + 4*z. Let i be (-1)/3*0/g. Suppose 0*w - w = 2*y - 98, i = -4*y - 3*w + 192. Is 41 a factor of y?
False
Suppose 0 = 2*r - 6*r + 32. Suppose -2*k + 4*k + r = 0. Does 8 divide (64/(-20))/(k/10)?
True
Let i = -42 - -36. Let g(u) = 3*u**2 + 10*u - 5. Is g(i) a multiple of 23?
False
Let v = 206 + -176. Is 10 a factor of v?
True
Let w = 81 - 77. Suppose w*m = 4*z + 140, 29 = 3*m + z - 92. Is 17 a factor of m?
False
Let i(o) = 168*o - 564. Does 10 divide i(9)?
False
Let a(r) = 2*r**3 - 4*r**2 - 13*r - 3. Is 22 a factor of a(5)?
False
Suppose -5*i + 8 = -2. Suppose i*g + 218 = 7*g - 4*y, y - 3 = 0. Does 5 divide g?
False
Let x(i) = -25*i**3 + 4*i**2 + 25*i + 72. Does 92 divide x(-5)?
False
Let k be (-59 + -3)*15/(-10). Suppose -2*m = -135 - k. Is m a multiple of 37?
False
Suppose -12 - 4 = 4*w. Is 10 a factor of 8408/60 - w/(-30)?
True
Let v(b) = -b**3 - 8*b**2 - 16*b - 15. Is 10 a factor of v(-9)?
True
Suppose -6*r + 932 = -100. Is r a multiple of 43?
True
Suppose 0 = -y + 2 - 10. Is 28 a factor of y/4*-1 - -106?
False
Let x be -2 - (6*-1 + 2). Suppose -x*i - d + 0 = -24, -3*i = 5*d - 29. Does 4 divide i?
False
Let c(g) = -4*g**3 - g**2 - g + 1. Let i be c(-1). Suppose -i*o + 245 = -285. Is o a multiple of 9?
False
Let m be 3/6 - (-99)/2. Suppose m = 2*i - 0*i. Is i a multiple of 14?
False
Suppose 0 = k + k - 10. Let m be -3 + k + -2 + 5. Suppose -3*v = -c - 121, -m*v - 7*c + 235 = -2*c. Does 14 divide v?
True
Let a = -2 - -8. Suppose -2*n + a = n. Suppose -n*y = 2*g + 2*g - 46, g = 3. Does 5 divide y?
False
Let x = 436 + -920. Let u be 3/(-15) + x/(-20). Does 9 divide 0 + (-5)/((-10)/u)?
False
Let f = 297 + -171. Is f a multiple of 7?
True
Let l = -608 - -904. Does 8 divide l?
True
Let a(o) = o**3 - 4*o**2 - o - 8. Let r be a(5). Is 15 a factor of (-612)/(-8) + -2*r/16?
True
Suppose 3*x - 187 = 5*a, 4*x - 137 - 131 = 2*a. Let q = 97 - x. Is 14 a factor of q?
True
Let g(m) = 5*m + 3. Let l be g(-2). Let u(n) = n**2 + 3*n - 13. Let o be u(l). Suppose v - 13 = 3*x + o, 3*v + 3*x - 60 = 0. Is 22 a factor of v?
True
Suppose 2*v - 5*r = -148, -3*v = -0*v + 4*r + 268. Let g = 98 + v. Is g a multiple of 4?
False
Let v(s) = -s**2 + 14*s + 13. Suppose p + 2*c - 13 = -2*c, 5*p + c = 65. Is 8 a factor of v(p)?
False
Let j be 2*3/(-12)*10. Let p(i) = -i**2 - 2*i + 6. Let m(k) = 2*k - 5. Let u(g) = j*p(g) - 6*m(g). Does 14 divide u(2)?
False
Let r = 234 - 42. Is r a multiple of 48?
True
Let y(u) = 4*u**2 - 34*u - 8. Let i be y(11). Let m = -92 + i. Does 3 divide m?
False
Suppose 159*i = 166*i - 1078. Is i a multiple of 14?
True
Suppose 0*a = -4*a. Suppose -s + 4*x - 3 = a, -s - 11 = -4*s + 2*x. Suppose -2*j + f = -64, 0*f - 130 = -s*j - 5*f. Is j a multiple of 11?
False
Let l = 399 - 157. Is 22 a factor of l?
True
Suppose -3*q + 4*g + 672 = 0, 0*q + 224 = q - 4*g. Is 32 a factor of q?
True
Let x be 5*34 - (0 + -1). Suppose 0 = -16*w + 18*w - 4*m - 16, 0 = -2*w + 2*m + 12. Suppose 51 = -w*t + x. Does 5 divide t?
True
Let w = 2037 + -1341. Is w a multiple of 27?
False
Let u(h) = -h**2 + 18*h + 18. Let s = -80 - -93. Is u(s) a multiple of 17?
False
Suppose -3*j - 36 = -6*j. Let i(o) = -o**3 + 13*o**2 - 10*o - 6. Let c be i(j). Let n = -9 + c. Is 3 a factor of n?
True
Let q(t) = -7 + 2*t**2 + t**3 - 4*t - 5*t**2 + 4*t**2 + 7*t**2. Does 17 divide q(-6)?
False
Suppose 4*o = -y + 16, 2*y - 14 = -2*o - 0*y. Suppose -5*g - 232 = -2*s, 2*s + o*g - 18 = 182. Is 30 a factor of s?
False
Let g(l) = 3*l - l**2 + 4 - 2*l - 2*l**2 - 5*l**3 + 0*l**3. Let w(u) = -3*u**3 - 2*u**2 + u + 2. Let c(y) = 4*g(y) - 7*w(y). Is c(-3) even?
True
Suppose 0 = -5*d - 3 - 7, 0 = -3*c - 3*d + 6. Suppose -82 = -3*q - 2*i, 0 = c*q - 2*i - 2*i - 76. Does 12 divide q?
True
Let p(m) = 5*m**3 - m**2 + 5*m + 5. Let a be p(-2). Let w = a + 63. Is w a multiple of 7?
True
Suppose 44*p - 558 = 43*p. Does 29 divide p?
False
Let y(i) = i + 3. Let h be y(8). Suppose -2*q + h = -1. Does 18 divide q + -9 + 1*59?
False
Let u(k) be the first derivative of k**4/4 + k**3/3 + k**2/2 + 58*k + 31. Let q be 1/(-1)*2 - -2. Does 14 divi