m(c)?
True
Suppose 0*h - h - d = -1, 0 = -3*h - 4*d + 4. Let y(p) = -17*p + 1. Let g be y(-7). Suppose h = q - 5*q + g. Is q a multiple of 10?
True
Suppose 68 = 225*m - 221*m. Is 17 a factor of m?
True
Suppose -s = -0*s + 3, -3*w + 816 = -4*s. Is w a multiple of 23?
False
Let v(j) = 8*j**2 - 4*j - 43. Is 29 a factor of v(-7)?
True
Let m(j) = j - 1. Let h(d) = d + 3 - 3*d - 3 + 3. Let k(u) = h(u) + 6*m(u). Is 7 a factor of k(6)?
True
Suppose 5*n = -5*r + 16225, 2*n - 5*r = 3639 + 2816. Is 20 a factor of n?
True
Let c(k) = k**3 - 8*k**2 - 9*k + 8. Let z(b) = -3*b - 2. Let y be z(-3). Suppose 2*p = y + 11. Is 4 a factor of c(p)?
True
Let s = -70 + 91. Is 7 a factor of (25 - s)*(-1 - 15/(-2))?
False
Suppose 3*m = 22 + 116. Suppose -l = -m - 4. Is (4/(-10))/((-2)/l) a multiple of 10?
True
Let x be 5*(2 + 2 + -5). Let l = 139 + x. Is 41 a factor of l?
False
Let u = 37 + -5. Suppose 0 = a - u - 58. Does 30 divide a?
True
Let v(g) = g**3 + 6*g**2 - 8*g - 4. Let a(x) = x - 2. Let n be a(-5). Let y be v(n). Suppose -3*z + 2*p = -101, -4*z + y*z - 5*p = -45. Is 10 a factor of z?
False
Suppose -j = -5*l + 10, 0*l + 4*l - 8 = -5*j. Suppose j = -2*m + 8 + 8. Suppose -4*w = -m*w + 72. Is w a multiple of 17?
False
Let f be 7 + 1 + 0 + -4. Suppose 3*h + 1 - 2 = -p, f*p = 3*h + 4. Let d(i) = 40*i**3 + i**2 - 2*i. Is d(p) a multiple of 13?
True
Suppose 10*c - 17325 = 13815. Is 18 a factor of c?
True
Let n(d) = 4*d**2 + d + 21. Let u(v) = 3*v**2 + 4*v + 1. Let m be u(-2). Does 21 divide n(m)?
True
Suppose 10*t = 1340 + 1000. Does 6 divide t?
True
Let d(h) = -304*h - 44. Is d(-4) a multiple of 13?
False
Suppose -5*v + 433 = 4*y, -5*y + 180 = -v + 3*v. Suppose 2*w - 10 = 0, -2*w - w + v = i. Does 13 divide i?
False
Suppose 7*i - 1006 - 79 = 0. Is i a multiple of 56?
False
Let p be ((-4)/6)/((-2)/231). Let i = -53 + p. Let m = 20 + i. Is m a multiple of 11?
True
Let f(v) = -v**3 - 6*v**2 - 6*v + 15. Does 7 divide f(-11)?
True
Let k(f) = -2*f - 12. Let l be k(-8). Suppose 0 = -3*y + l*h + 305, 0 = 3*h - 0 + 6. Does 22 divide y?
False
Let w = 91 + -92. Is 9 a factor of w + 57 + 1 + -3?
True
Let h(o) = -o - 4. Let v = -8 + 19. Let n be h(v). Let z = 35 + n. Does 8 divide z?
False
Let p = 1403 - 1265. Does 9 divide p?
False
Suppose -r + 15 = -5*n - 3, 2*r - 4*n - 18 = 0. Suppose r*q - 6*q - x = -259, -3*x = -2*q + 180. Does 29 divide q?
True
Suppose 1033*b - 2749 = 1032*b. Is b a multiple of 52?
False
Suppose u = -5*s + 3914, s + 7*u = 3*u + 779. Does 31 divide s?
False
Let p(z) = 132*z**2. Let y be p(1). Suppose -4*t + y = -180. Suppose -5*h + t = -242. Does 16 divide h?
True
Let f(v) be the first derivative of 2*v**2 - 1. Suppose 0 = r + 5 - 9. Is 5 a factor of f(r)?
False
Suppose 3*p + 5 = -22. Is (-1145)/p - 5/(135/6) a multiple of 16?
False
Let j(s) = 18*s + 17. Let f be j(5). Let r = f + -12. Is r a multiple of 19?
True
Let u(q) = 5*q + 7. Let b(i) = -i. Let n(z) = 4*b(z) - u(z). Let v be (-1)/(-5) + 84/(-20). Is n(v) a multiple of 9?
False
Let g(s) = 2*s**2 + 17*s + 15. Let i = -36 + 26. Does 15 divide g(i)?
True
Let o be 32/6*(23 + 4). Let n = o - 57. Let g = n + -48. Does 23 divide g?
False
Let k = -16 - -16. Suppose 5*a - 65 = -5*t, -2*t + 6 = -k*t - 2*a. Is t a multiple of 8?
True
Suppose 0 = 2*n - 3*z - 2169, -z + 2154 = 2*n + z. Is 49 a factor of n?
False
Let h(d) be the second derivative of -5*d**2 - d + 0 + 2/3*d**3 + 1/12*d**4. Does 9 divide h(-9)?
False
Suppose -f + 8 + 0 = 4*w, w + 15 = 4*f. Let t = -3 + f. Is 29 a factor of t*3 + (-480)/(-6)?
False
Suppose -n + 13 = -0*n + 5*v, -2*v - 2 = -2*n. Let f(j) = 7*j - 164. Let r be f(24). Suppose g = -2*g - r*k - 11, k - 4 = -n*g. Does 3 divide g?
True
Let v(p) = -3*p - 1. Let l be v(3). Let q(i) = -2*i + 4. Let d be q(l). Suppose -2*r - u + 13 + d = 0, r + 2*u - 11 = 0. Is r a multiple of 11?
False
Let u(j) = -490*j + 290. Is 125 a factor of u(-4)?
True
Suppose 0 = x - 1 - 3. Suppose 4*z - 39 = -3*n, x*z - 1 - 8 = 3*n. Suppose 3*c - z*c + 249 = 0. Does 21 divide c?
False
Let l(y) be the first derivative of y**3 - 3*y**2/2 - 29. Is 10 a factor of l(-2)?
False
Suppose 0 = -b + 3, z - 3*b = 2*z - 14. Suppose -f - z*f = -276. Suppose -h - 3 = 0, f = 3*q - h - 2. Is q a multiple of 4?
False
Suppose -15*n - 17522 = -45227. Is n a multiple of 21?
False
Suppose -2508*b + 1590 = -2506*b. Is 45 a factor of b?
False
Let u = -26 - -28. Suppose t - r = -1 + 3, -u*r + 2 = t. Does 11 divide (-66)/12*-2*t?
True
Suppose -19648 - 4328 = -24*g. Is g a multiple of 39?
False
Let r(u) = -2*u + 27. Let s be r(0). Suppose 3*p - 528 = -s. Does 25 divide p?
False
Suppose -2120 = -7*u + 190. Does 7 divide u?
False
Let l be (-3768)/(-30) - (-2)/5. Suppose l = 3*o - 2*k - 21, 0 = 3*o + k - 138. Is o a multiple of 28?
False
Let b = 440 + -329. Does 8 divide b?
False
Suppose -3*t = -8*t + 325. Let o be 689/t + (-6)/10. Does 6 divide (o/30)/((-2)/(-114))?
False
Suppose -2*n + 15 = n, 2*a - 28 = -4*n. Suppose -r + 45 + 15 = 0. Suppose 7*v = a*v + r. Is 6 a factor of v?
False
Is 11 a factor of (3/1)/1 + 367 + -60?
False
Let n(c) = -c**2 - 18*c + 13. Let h be n(-15). Let o = 97 - h. Is 16 a factor of o?
False
Suppose 0 = -2*u + 5*x + 4286, 2*u + 10649 = 7*u + 4*x. Is 98 a factor of u?
False
Let c be ((-6)/(-5))/((-196)/3430). Suppose 3*o = -5*l - 2*o - 185, 4*l + 156 = 4*o. Let y = c - l. Is y a multiple of 3?
False
Let f(p) = p**2 - p - 6. Suppose 4*w = 2*l + 25 - 5, 14 = -2*l + w. Let n be 2/6 - (-26)/l. Does 3 divide f(n)?
False
Let l(j) = -j**2 + 10*j + 4. Let h = 8 + 2. Let p be l(h). Suppose -4*y + 55 = -5*v, -v - 17 = -p*y + 26. Is y even?
True
Is 13 a factor of (105 - 1)/((-14)/(-28))?
True
Suppose 0 = -5*b + 2*b - b. Suppose -4*n - 63 + 227 = b. Is n a multiple of 3?
False
Let y(d) = -80*d - 18. Does 22 divide y(-6)?
True
Suppose 0 = -4*x - 5*i + 55, -3*x - i + 62 = 7. Let a = x + -30. Let g = a - -41. Is g a multiple of 5?
False
Suppose -2*o + 24 = -0*o - a, -o - 3*a + 12 = 0. Is 6 a factor of o?
True
Suppose b - 105 = -5*z, -z + 2*b + 70 = 3*z. Suppose 2*d - d + z = 0. Let f = d - -56. Is f a multiple of 12?
True
Does 19 divide -2 - 2 - 1 - (50 - 321)?
True
Let p be (-1*(-20)/(-6) + 3)*-27. Suppose -r + 77 = 4*c, r = -2*r - p. Is c a multiple of 4?
True
Suppose 1806 = 6*p + 8*p. Is 44 a factor of p?
False
Let t = 19 - 29. Let h(j) = -j - 8. Let d be h(-4). Is 7 a factor of (d - 0)*(3 + t)?
True
Let x(n) be the second derivative of 9*n**4/2 + n**3/6 + 3*n. Suppose -2*p + 5*f - 8 = 0, -p - 4*p - 5*f = -15. Is x(p) a multiple of 11?
True
Let f = 931 - 897. Does 11 divide f?
False
Let v be 6 + -2 + 3 + -4. Let z(d) = 61*d**2 - 14*d. Let a(q) = -20*q**2 + 5*q. Let w(s) = v*z(s) + 8*a(s). Is 32 a factor of w(-2)?
True
Let v be (-11)/9 + 2/9. Let a be 0 + v + 3 - -168. Suppose 2*c = 4*j - 72 - a, c - 184 = -3*j. Is 14 a factor of j?
False
Let s(c) = 2*c**2 - 6*c + 6. Suppose 4 = 4*i - 12. Does 7 divide s(i)?
True
Let x(j) = j**2 + 4*j - 16. Let p be x(-7). Suppose -p*k - 10 = -85. Does 15 divide k?
True
Suppose h + 9 = 5*o - 4, 3*o + 3*h + 3 = 0. Suppose 4*f - 18 = -o*u, -u - 3*u = -3*f - 25. Is u a multiple of 2?
False
Let l(v) = v + 80. Does 3 divide l(9)?
False
Let d = 3208 - 816. Is 23 a factor of d?
True
Let w = -348 - -454. Is 23 a factor of w?
False
Let q(l) = l**3 - 4*l**2 + l - 10. Let z be q(-5). Is 4 a factor of z/(-42) + -6 + 65/7?
False
Let i(t) = 2*t + 18. Let z be i(-8). Suppose z*w + w = 216. Is 32 a factor of w?
False
Let t(z) = -z**3 - 12*z**2 - 9*z + 52. Does 10 divide t(-11)?
True
Suppose 137 = -3*p + 227. Does 6 divide p?
True
Let n = -13 + 25. Let b be (-2)/(-9) - 544/(-144). Does 13 divide 26/(b/n*2)?
True
Let t = -370 + 616. Suppose -2*a - t = -5*q, 5*q = 2*a + 2*a + 242. Is 9 a factor of q?
False
Let m = 20 + -40. Let b = m + 28. Is 8 a factor of b?
True
Suppose -2 = -u, 0*g - g = -2*u + 4. Suppose g = 2*z - 0*z - 38. Suppose 4*l - 305 = z. Does 27 divide l?
True
Let u = 9 - 8. Suppose s - u = -0. Let r(g) = 17*g + 1. Is r(s) a multiple of 6?
True
Let o be (-6)/(-21) + (-231)/(-49). Suppose -n - 5*t + 5 = 0, -o*n - 5*t + 64 = -21. Is 12 a factor of n?
False
Let m(l) = l**2 + 7*l - 30. Let i be m(-10). Suppose -2*n - 2*b + 478 = i, 4 = -0*b - b. Is n a multiple of 49?
False
Suppose 4*a + 5*n - 1205 = 6*n, a -