1224 = -30*h + 4885. Is 2 a factor of h?
False
Let m be 2/(-10) + (-5)/(-25). Let r(t) = -4*t + 10. Let p be r(2). Suppose -114 = -p*n - m*n. Is n a multiple of 10?
False
Let n = -190 - -193. Suppose 0*h - 2*u - 202 = -3*h, -n*u + 82 = h. Is h a multiple of 10?
True
Let w(q) = -4*q - 42. Let h be w(-10). Let r be ((-4695)/6 + 1)/(1/h). Suppose -14*a = -r - 1181. Is a a multiple of 55?
False
Suppose x = -17 + 22. Suppose a + 12 = -x*a. Let m(w) = -38*w + 3. Is m(a) a multiple of 13?
False
Is 307 a factor of ((-228)/20)/(96/(-398720))?
False
Let q(h) = -h**2 - 14*h - 41. Let t be q(-5). Let p = 959 + -370. Suppose 0 = -t*n + 59 + p. Does 27 divide n?
True
Let z = 60503 + -37392. Does 11 divide z?
True
Let c be (-1323)/(12/(-4)) + 2. Suppose -21 = -2*y - 7. Suppose y*l - 152 = c. Does 20 divide l?
False
Suppose 4*b + 1 = 5, 2*m - 44 = -2*b. Suppose -m*n = -30*n + 5346. Does 66 divide n?
True
Let p be 14/((-18)/459*3). Let f = 164 - p. Is f a multiple of 19?
False
Suppose -5*s + 1331 = 4*f, -2*f + 5*s + 510 + 163 = 0. Let a(c) = -36*c - 18. Let g be a(6). Let k = f + g. Is 20 a factor of k?
True
Let r = 11 - 9. Let c be (16 - 6)/(-1 + r). Is 23 a factor of 3 + 1635/25 - (-6)/c?
True
Let i = 21287 - 13486. Is i a multiple of 29?
True
Let g(w) = 532*w**2 + 72*w - 496. Is g(10) a multiple of 106?
True
Suppose 0 = -w - c + 2, 5*c + 5 = -4*w + 15. Suppose -18*j + 6*j + 17280 = w. Does 47 divide j?
False
Let r = 2374 + -1992. Does 20 divide r?
False
Let t(r) = 3*r + 18. Let h be t(-7). Let g be 8/(12/h) + 6. Suppose g*w + w = 220. Does 5 divide w?
False
Does 5 divide -1488*((-2)/6 + -1)?
False
Let o = -106 + 107. Let d(s) = -40*s**2 + 5*s + 6. Let g(x) = -x**2 + x + 1. Let j(f) = -d(f) + 6*g(f). Is j(o) a multiple of 8?
False
Let o be ((-44)/10)/(3*(-12)/990). Let x = 151 - o. Does 5 divide x?
True
Let m = -3961 - -4137. Is m a multiple of 22?
True
Let m(u) = -21*u**3 + 10*u**2 - 21*u - 167. Is 41 a factor of m(-7)?
False
Let k = -20 - -20. Suppose k = -2*a + 12*a - 1400. Does 26 divide a?
False
Let b(z) be the second derivative of 11*z**4/12 + z**2/2 + 84*z + 1. Is b(3) a multiple of 5?
True
Let q = 6 + -9. Let x(i) = -14*i**3 + 4*i**2 + i + 5. Is x(q) a multiple of 26?
True
Let l = -5010 + 18145. Is 20 a factor of l?
False
Let l = 719 + -179. Suppose -4*h = 2*g - 222, 0 = -3*g - 2*h - 187 + l. Is 13 a factor of g?
False
Is -12 + -868*195/(-26) a multiple of 9?
True
Let y = 5681 + 3608. Is y a multiple of 7?
True
Let l be 8 + 2*(-8 + 6). Let t(g) = 37*g**2 - 13*g + 9. Does 12 divide t(l)?
False
Let b be 5/2*((-5)/5 + 7). Suppose 3*i = -15, -4*i + b = g - 83. Is g a multiple of 59?
True
Suppose 2158*l = 2165*l - 32004. Is 36 a factor of l?
True
Let b(r) = -2*r**3 + 4*r**2 + 5*r - 2. Let w be b(-5). Let x(y) = -y**3 - 11*y**2 - 23*y - 32. Let z be x(-11). Let v = w - z. Is 17 a factor of v?
True
Suppose -9 = -r + 2*l, 7 + 13 = -5*r - 3*l. Let k(b) = -690*b + 8. Does 24 divide k(r)?
False
Suppose 305604 + 14325 = 47*k. Does 59 divide k?
False
Suppose 8*v - 10*v + 2*d + 70 = 0, 2*d - 58 = -2*v. Suppose -25*j + 12 = -24*j. Let h = v - j. Is h a multiple of 4?
True
Suppose 22 + 222 = -4*l. Let h = 90 + l. Let w = 31 + h. Is 20 a factor of w?
True
Suppose -60*a + 170*a + 244*a = 10438398. Is 353 a factor of a?
False
Suppose 2*y - 6393 = 5105. Is 55 a factor of y?
False
Suppose -3*x + 10 + 35 = 0. Does 18 divide ((-3)/6)/(x/(-26460))?
True
Let r(p) = p**3 - p**2 - p + 6. Let m be r(0). Suppose -6*l - m*l = -1296. Let i = -58 + l. Is 6 a factor of i?
False
Let m be 18/(3 - 2)*(-360)/(-16). Suppose h - d = 315 + m, 3*h + 3*d = 2190. Does 25 divide h?
True
Let c = -6 - -94. Suppose -50 = -d - 5*g, 2*d - g = -5*g + c. Let h = d - 31. Is h a multiple of 5?
False
Let s(g) = 21 + 27*g + 20*g + 8*g**2 + 11*g**2 - 10*g**2 + 38*g. Is s(-14) a multiple of 14?
False
Let j = 31812 + 7619. Is 43 a factor of j?
True
Let d = -39 - -58. Let x(h) = -h**3 + 14*h**2 + 15*h - 12. Let b be x(15). Let z = d + b. Is 7 a factor of z?
True
Suppose 0*x - 6*x = 2*x. Let w be (3 + -4)*(1 + x). Let k = 15 + w. Does 12 divide k?
False
Let z = -16634 - -40684. Is 5 a factor of z?
True
Suppose -33381 - 77227 = -2*f + 16*g, -f + 55272 = -4*g. Does 10 divide f?
True
Let c(y) = 6*y**2 - 7*y + 79. Is c(8) a multiple of 12?
False
Let q be 3*(-6)/(-18) + 1/(-1). Suppose y - 5*h + 1 = q, -2*y = -3*h - 5 - 0. Suppose 2*x = -g + 30, 104 = g + 3*g + y*x. Is g a multiple of 7?
False
Let h(a) = 5*a + 262 - 158 - 140. Does 12 divide h(34)?
False
Let y = -101 + 113. Let u(q) = -6 + 66*q**2 - 2*q + 43 - y*q - 61*q**2. Does 7 divide u(4)?
False
Suppose 3*o - 1404 = 4*d - 0*d, -5*o = 4*d + 1404. Let m = d + 674. Does 30 divide m?
False
Let r(q) = q**3 + 10*q**2 + 4. Let k be r(-10). Suppose -13 + 61 = k*w. Suppose n + 114 = 6*n + 3*h, -w = -4*h. Is n a multiple of 7?
True
Suppose 0 = -46*y + 43*y - 12. Does 4 divide 2/(-4)*y*1122/51?
True
Let h = -11241 + 16610. Is h a multiple of 31?
False
Let w(r) = -4*r - 11. Let o be w(-4). Let x(c) be the second derivative of 4*c**3/3 - 13*c**2/2 - 5*c. Does 5 divide x(o)?
False
Let u be (-42 + 38)*67/(-4). Let z = u - -23. Is 15 a factor of z?
True
Let n = 123 + 30. Let g be 24/138*23/2. Suppose -5*r + n = 2*i, 2*i + g*i - 45 = -r. Does 29 divide r?
True
Let i(t) = 4*t + 19. Let w = 39 - 27. Let s be i(w). Let f = s - -13. Does 16 divide f?
True
Suppose -32*a + 340146 - 76818 = 0. Is 39 a factor of a?
True
Suppose -3*k + 5*p + 39992 = 0, 3*k + 3*p - 39936 = -0*p. Is 98 a factor of k?
False
Suppose t = 2*u - 22142, 44320 = 4*u - 2*t + 6*t. Does 113 divide u?
True
Let h(n) = -47074*n - 72. Let r be h(-4). Does 8 divide r/224 - 1/(-14)*-4?
True
Let f(n) be the first derivative of n**4/4 + 38*n**3/3 - 20*n**2 - 22*n - 76. Does 2 divide f(-39)?
False
Let u(w) = 462*w**3 - 37*w + 16. Is u(4) a multiple of 11?
True
Let w = -28665 - -56147. Is w a multiple of 91?
True
Suppose i - 20*k = -24*k - 3, -k + 33 = 4*i. Suppose -862 - 4169 = -i*m. Is 13 a factor of m?
True
Suppose -4*u + 4*k = 2*k - 10, -u = 3*k - 13. Suppose u*v = w + v + 6, 4*v = -5*w + 8. Suppose h - 4*n - 109 = w, -5*h + 10*h = -3*n + 614. Is 6 a factor of h?
False
Let p(g) = 4*g + 94. Let k be p(-26). Let f(x) = -x**3 - 8*x**2 + 14*x + 8. Is 23 a factor of f(k)?
False
Does 2 divide ((-26)/(-26))/((12/(-723))/(-4))?
False
Does 80 divide 4474 - (-6)/9*9?
True
Let q = -9020 + 13194. Suppose -1396 = -5*u + q. Suppose 14*c = u + 90. Is c a multiple of 20?
False
Let v(m) = -m - 2. Suppose 8 = -125*z + 124*z. Let k be v(z). Suppose c + 180 = k*c. Is 20 a factor of c?
False
Suppose -154*i = -146*i - 84544. Is i a multiple of 4?
True
Suppose g + g = -2, f + 3*g + 4 = 0. Let q(z) = -44*z + 3. Let u be q(f). Let n = u - -19. Is 22 a factor of n?
True
Suppose -360*p + 11463647 - 1920767 = 0. Is p a multiple of 87?
False
Suppose -2*b - 3*n + 44065 = 0, 2*n - 81826 = -5*b + 28320. Is b a multiple of 122?
False
Let f = -74 + 78. Suppose 0 = 2*x + f, -3*x = 2*y + 3*y - 174. Suppose 5*h = n - 44, h - y = -n - 2*h. Does 3 divide n?
True
Let f = 59 - 89. Is (f/(-20))/((-38)/(-32) + -1) a multiple of 4?
True
Suppose -5*j + 3215 = 5*x, -11*x - 1292 = -2*j - 16*x. Is j a multiple of 4?
False
Suppose -5*q + 2871 + 1977 = -4*y, -2904 = -3*q + 4*y. Suppose -7*d = -d + q. Let n = 316 + d. Is n a multiple of 22?
True
Suppose -24*n + 155 = 35. Suppose m + n = 46. Is 41 a factor of m?
True
Let t = 650 - 611. Suppose 2872 = -35*k + t*k. Does 9 divide k?
False
Let x(t) = -t**3 - t**2 + 35*t - 9. Let a(h) = -34*h + 18 + 9*h + 3*h + 3*h**2 - 49*h + 2*h**3. Let n(p) = -4*a(p) - 9*x(p). Does 27 divide n(9)?
True
Let f(o) = -16*o**2 - 8*o - 9. Let u = 118 + -122. Let x be f(u). Let k = -121 - x. Is k a multiple of 16?
True
Let a be 0/(8/(-2) + 3). Suppose a = -j + 12*j + 44. Does 22 divide j/10 - (-23)/((-575)/(-6810))?
False
Suppose 2*y + 75606 = 3*r, -3*r - 4*y + 48809 = -26779. Is r a multiple of 70?
True
Let y = 5711 - 5711. Suppose -2*q - 6 + 0 = 0. Does 22 divide (4 + (q - y))/(2/54)?
False
Suppose -3*c + 2046 = -2*p, -8*p + 9*p = 5*c - 3417. Suppose 7*z = 3*z + c. Is 78 a factor of z?
False
Let b be 404/2*40/(-16). Let k = 692 + b. Does 23 divide k?
False
Suppose 4*z - 116 = -40. Suppose -1720 = -z*l + 1738. Does 13 divide l?
True
Suppos