of t?
True
Let d(k) = -7*k - 9 + 3 + 3*k. Does 3 divide d(-4)?
False
Let w = -812 - -948. Is w a multiple of 81?
False
Let k(f) = f**2 - 6*f - 2. Let g = 7 - 11. Let w be k(g). Suppose 0 = -x + 4*l + w, -5*x + x = l - 237. Is x a multiple of 19?
False
Let c(h) = h + 11. Let q be c(-7). Suppose 0 = -j - 2*d - 7 + 22, d - 46 = -q*j. Does 2 divide j?
False
Let c(u) = -7*u**3 - u**2 - 5*u + 1. Let n(z) = 15*z**3 + 3*z**2 + 11*z - 2. Let f(k) = -13*c(k) - 6*n(k). Let g be f(5). Let h = 20 + g. Is 11 a factor of h?
False
Suppose -5*q - 986 = -34*q. Does 6 divide q?
False
Let d(q) = -q**2 + 27*q - 77. Is 15 a factor of d(23)?
True
Let i(v) = 3*v**2 + 12*v - 18. Let x be (80/28)/((-10)/35). Does 18 divide i(x)?
True
Suppose -27 = -0*h + 2*h + 5*p, -4*p = 20. Does 11 divide 195 + h/(-2)*-2?
False
Let x(r) = -r**2 + 86*r - 88. Is 20 a factor of x(52)?
True
Suppose 0 = -12*m + 4805 + 9787. Does 19 divide m?
True
Let d = -705 + 820. Is 7 a factor of d?
False
Suppose m = -4*m - 12550. Let p = 1298 + m. Does 6 divide 2/(-9) + p/(-108)?
False
Is (-218)/(-4) + 11*(-5)/(-110) a multiple of 11?
True
Let h = -18 - -20. Suppose -3*a + h*a = -61. Is 18 a factor of a?
False
Let b = -797 + 1367. Is b a multiple of 38?
True
Suppose -265*i = -267*i + 358. Is i a multiple of 20?
False
Suppose -105 = -4*d + 79. Suppose 50*s - d*s = 132. Does 11 divide s?
True
Let b = -6 + 6. Suppose b = -m - 6 + 8. Suppose k + m*k = 150. Does 10 divide k?
True
Suppose 0 = -3*q + 17 + 19. Let j be (-3)/((-9)/q*2). Suppose -j*y - 45 = -5*y + u, -3*y - 2*u = -36. Does 3 divide y?
False
Suppose b + 229 = -152. Let j = b - -558. Is 15 a factor of j?
False
Let n = -7 + 10. Suppose -n*q + 97 = 2*v, -2*v + v - 100 = -3*q. Let f = 99 - q. Is 22 a factor of f?
True
Let c = -82 + 84. Suppose -c*r = 82 - 552. Is r a multiple of 21?
False
Let x(l) = l**3 - 16*l**2 + 57*l - 32. Is x(12) a multiple of 38?
True
Suppose 2*t + 2 = -4*z, 5 = -2*z - 3*z - 3*t. Suppose 5*a - 607 = -4*j - 112, z*j - 245 = -3*a. Let q = j - 68. Is q a multiple of 32?
False
Let q(x) = 2*x - 12. Let n be q(-5). Let a = 20 + n. Is (-240)/18*3/a a multiple of 15?
False
Let s be ((-21)/126)/((-1)/6). Does 8 divide (s - 5)/(12/(-426))?
False
Let i = -16 - -21. Suppose -19 = -5*s + 2*j, i*s = s + 3*j + 18. Suppose -4*t = -f + 20, f + s*t - 34 = -0*t. Is 27 a factor of f?
False
Let w(j) = -11*j + 15*j + 2675 - 2642 + 18*j. Is 32 a factor of w(3)?
False
Let h be (-1)/4 + (-790)/40. Let y = 19 - h. Does 13 divide y?
True
Suppose 4*k - 2952 = 2*u, -760 = -k - 4*u - 22. Is k a multiple of 37?
False
Suppose j + a + 31 = -3*j, -j - 2*a = 6. Let g be (-94)/(-4) - (-12)/j. Suppose 0 = -l + 2 + g. Is 8 a factor of l?
True
Does 32 divide (-3*(-8)/15)/(58/1160)?
True
Suppose 5*y = -3*w + 30, -4*w - 5*y + 4 + 31 = 0. Let o(a) = -a**2 + 7*a - 7. Let z be o(w). Does 18 divide ((-162)/30)/(z/(-10))?
True
Let j be 6/(-15) - (-58)/(-5). Let p be ((-4)/(-6))/(j/(-90)). Suppose -3*g + p*g = 38. Is 6 a factor of g?
False
Let o(x) = x - 2. Let f be o(2). Suppose f = -4*i + 1 + 19. Suppose 4 + 3 = 3*c + i*b, 0 = -4*c + b + 17. Is c a multiple of 3?
False
Let h = -280 + 300. Does 5 divide h?
True
Suppose 4*g = 5*d - 22, -3*d - 4*g + 2*g + 22 = 0. Suppose d*c - 103 = -1. Is 5 a factor of c?
False
Suppose 1559 = 5*q - 1141. Is 36 a factor of q?
True
Let p be (-1 + -3)/4 + 3. Suppose 0*q - 13 = 5*f - 4*q, 4 = p*q. Let r = f + 13. Is 6 a factor of r?
True
Suppose 0*a = -4*a - 8. Let w be 60/16 + a/(-8). Suppose 6 = -t + w*b + 76, 0 = 5*t + b - 287. Is 32 a factor of t?
False
Suppose -4*f = -5*b + 10, 2*f + 4 = -b + 6. Suppose f = 3*v - v. Suppose v = 2*r - 9 - 13. Does 3 divide r?
False
Let o = -52 + 104. Is o a multiple of 8?
False
Let q(p) = 2*p**2 - 10*p - 2. Let v be q(5). Is 19 a factor of ((-2225)/50)/(v/4)?
False
Let y be (-1090)/(-8) - 2/8. Suppose y + 59 = 5*b. Is b a multiple of 7?
False
Let j(a) = 2*a**2 + a. Let r(q) = -3*q**2 + q + 4. Let l(y) = 2*j(y) + r(y). Let g(n) = 4*n - 1. Let x be g(-1). Is 3 a factor of l(x)?
False
Let s = 56 + 141. Is 23 a factor of s?
False
Suppose -4*p = 2*h + 188, 3*h + 2*h + 176 = -4*p. Let b be 2/8 - 542/(-8). Let v = b - p. Is 13 a factor of v?
True
Let w = 20 - 10. Let g(h) = -h**3 - 2*h**2 - h + 12. Let q be g(0). Suppose -q = -w*a + 9*a. Is a a multiple of 4?
True
Suppose 102 + 730 = 2*d. Suppose 5*g = -d - 214. Does 7 divide ((-8)/12)/(4/g)?
True
Let k(h) = h**2 - h - 25. Let j be k(0). Let d = j + 47. Does 11 divide d?
True
Suppose 7*p + 6 = 8*p. Suppose -3*j + 1044 = p*j. Is j a multiple of 4?
True
Is 3 a factor of 1147 - ((-1)/3*3)/(-1)?
True
Let b = 1862 - 328. Is 26 a factor of b?
True
Suppose -22*p + 18*p - 3600 = -5*f, 4*f + 5*p - 2880 = 0. Is 16 a factor of f?
True
Let n(o) = o. Let h(v) = 13*v - 4. Let y(a) = -32*a + 10. Let p(r) = 12*h(r) + 5*y(r). Let m(i) = 6*n(i) - p(i). Does 5 divide m(2)?
False
Suppose -2*p + 15 = 1. Let y(k) = k - 3. Let i be y(p). Suppose -g + 4*u = -19, 0*u = 2*g + i*u - 98. Is g a multiple of 13?
True
Is 1619 - ((-5)/(25/(-45)) - 2) a multiple of 31?
True
Suppose 0 = -4*k - 14*l + 19*l + 6412, -5*k = l - 8044. Does 24 divide k?
True
Does 70 divide 13/(-182) - (-70566)/84?
True
Let l = -672 + 1280. Does 16 divide l?
True
Let h = 1 + -4. Let g = h - -8. Let r = 44 - g. Does 13 divide r?
True
Let u(i) = -i**3 - 2*i**2 - 3*i - 5. Let z be u(-4). Does 11 divide ((-33)/(-2))/(z/(-8) - -5)?
True
Let s(j) = -55*j - 9. Let q(u) = 37*u + 6. Let a(g) = 8*q(g) + 5*s(g). Let z = -10 - -13. Does 24 divide a(z)?
False
Let d = 168 - -90. Is (d/(-4))/(-2 - 15/(-10)) a multiple of 6?
False
Suppose -h + 5*c + 600 = 0, -4*c = 5*h - 6*c - 3092. Suppose h = 4*f + 2*j, -2*f = -5*j - 65 - 245. Does 11 divide f?
False
Let i(s) = 3*s**2 - 20*s + 4. Is i(14) a multiple of 26?
True
Let u(h) = -5*h**3 + 18*h**2 + 28*h - 21. Let a(m) = 14*m**3 - 55*m**2 - 84*m + 62. Let w(f) = -4*a(f) - 11*u(f). Is w(23) a multiple of 9?
False
Suppose -3*s - 2*s = a - 88, -5*a - 2*s = -394. Is 7 a factor of a?
False
Let i = 703 + -163. Is i a multiple of 13?
False
Let v = 16 + 29. Suppose 0 = n - v + 14. Is 17 a factor of n?
False
Let j be 92 + 6 + (0 - 0). Let w be (j/70)/((-1)/(-5)). Suppose -3*r - 124 = -w*r. Is 16 a factor of r?
False
Suppose 0*c - 108 = -4*c + 4*w, w = 3*c - 77. Is (9 + -3)/(10/c) a multiple of 15?
True
Let d = 202 + -60. Suppose 4*r - d = -2*h, -5*h + 385 = -r - 4*r. Is 4 a factor of h?
False
Let v(h) = 15*h - 3 - h**2 - 6*h + 5. Let y be v(9). Suppose -5*n + 4*b = -175, -2*n = y*b - 143 + 55. Is n a multiple of 29?
False
Is 23 a factor of 2/(-3) + (-4 - 2170/(-6))?
False
Suppose 5*s - 168 = 5*i - i, -3*i = 4*s + 157. Let a = i + 60. Is a a multiple of 10?
False
Suppose -z + f = -f - 14, -2*f = 0. Suppose 5*i + 163 = 4*d - z, d + 5*i = 13. Does 34 divide d?
False
Let j(x) be the first derivative of 7*x**3/3 - 3*x**2/2 - 4*x + 4. Let r be j(-2). Suppose -2*l + 60 = -r. Is 13 a factor of l?
False
Suppose 2*q - 5*p = -2*q + 1105, -5*q = p - 1403. Is q a multiple of 4?
True
Let r = -11 + 87. Suppose 215 = i - 4*j - 49, 4*i + 4*j - 1156 = 0. Suppose 5*v - i - r = 0. Does 12 divide v?
True
Suppose y + 5*m = 486 - 205, 0 = 2*y + 4*m - 586. Let c = y + -199. Is c a multiple of 15?
False
Let r be 36/3 - (-1 - -4). Let p be (2 - -1)*(-12)/r. Is 24 - 1*12/p a multiple of 12?
False
Suppose 21*l - 6 = 18*l. Suppose -v - 6 = v, l*x - 117 = -3*v. Suppose -n + 5*t + x = 0, 0*t + 5*t = 3*n - 239. Is n a multiple of 22?
True
Let n = 126 - -3. Suppose -4*l + l + n = 0. Let a = -19 + l. Does 12 divide a?
True
Suppose -18141 = -13*i - 1397. Is 14 a factor of i?
True
Does 46 divide (54/(-8))/((-2)/432)?
False
Is 69 a factor of (-33712)/(-60) - 10 - (-4)/30?
True
Let b(j) = j**3 + 12*j**2 - 6*j - 65. Is 18 a factor of b(-9)?
False
Suppose -3*v - 3 = -3*h, 2*v = 4*h - 2 + 8. Suppose -3*y = -5*a - 4 + 9, -3*y = -4*a + 7. Is 15 a factor of ((-5)/h)/(a/(-24))?
True
Suppose 49*c - 7271 - 2529 = 0. Is 50 a factor of c?
True
Let u(w) = 76*w - 12. Let g(v) = -26*v + 4. Let z(j) = 10*g(j) + 3*u(j). Is z(-3) a multiple of 10?
True
Let d = 47 + -41. Suppose -540 = -11*y + d*y. Does 27 divide y?
True
Let h = 494 + -261. Is h a multiple of 11?
False
Suppose 52 = 11*z - 58. Is (-8)/z + (-6384)/(-105) a multiple of 20?
True
Let n(a