*a + 2*i - 132 = 0, -2*i - 216 - 30 = -4*a. Does 9 divide a?
True
Let w(l) = -l**2 + 12*l - 22. Let m be w(9). Let a(i) = 13*i + 18. Is a(m) a multiple of 19?
False
Suppose 28*m - 43345 - 34299 = 0. Is 57 a factor of m?
False
Suppose 3 = 14*d - 13*d. Suppose 4*f + 3*x + 2*x = 670, -334 = -2*f - d*x. Is f a multiple of 17?
True
Suppose 12*z - 68*z + 92904 = 0. Is z a multiple of 55?
False
Is 14 a factor of (10 + (-315)/9)*28/(-10)?
True
Let v(g) be the third derivative of -g**5/30 - 5*g**4/24 - g**3/6 + 3*g**2. Let h be v(-5). Is 13 a factor of 3/6*h/(-1)?
True
Let n(c) = c**2 + 19*c + 64. Does 19 divide n(-28)?
False
Suppose 0 = 7*m - 29 - 55. Is ((-258)/(-9))/(4/m) a multiple of 43?
True
Let r(b) = -b**3 - b**2 - 2*b + 28. Let a be 5/((-20)/12) + 3. Let q be r(a). Suppose -2*i + q = -10. Does 4 divide i?
False
Suppose 0 = 2*k - 2*d - 3548, -2*d = 3*k + d - 5298. Is k a multiple of 30?
True
Suppose -3*q + 8 = -4*n, 3*q = -4*n + 3*n + 13. Suppose 65 + 23 = q*j. Let p = j - -29. Does 12 divide p?
False
Suppose 12 = 2*r + 4. Suppose 3*i - r = 11, -2*o + i + 427 = 0. Is o a multiple of 36?
True
Let c(b) = b**3 - 9*b**2 + 10*b - 14. Let o be c(8). Suppose 296 = o*m - 84. Is m a multiple of 37?
False
Suppose -10*u + 20 = -6*u, 5*v = -u + 345. Suppose 4*a + v = 4*q, 4 - 55 = -3*q + a. Is 17 a factor of q?
True
Let h = -82 - -72. Is 3 a factor of (14 - h)/(6/4)?
False
Suppose -5*x = -x + 16, -q = -4*x - 17. Let w = q - -4. Does 2 divide w?
False
Let t = 42 + 33. Does 25 divide t?
True
Let u = 189 - 101. Suppose 29 = 5*q + 9. Suppose -q*n = -16 - u. Is n a multiple of 13?
True
Let d = -16 - -10. Let u be (6/4)/(d/(-112)). Suppose h - u = 4*q + 12, -75 = -3*h - 3*q. Does 22 divide h?
False
Suppose m + 135 = 191. Is m a multiple of 4?
True
Suppose k = -5*x + 5, 0 = 2*k - 0*k + 3*x - 3. Let d = 240 + -80. Suppose k = -q + c + 31, -4*q - 5*c + d = -0*q. Does 7 divide q?
True
Let p(d) = -19*d**3 - d. Suppose 0 = 4*w + 4. Let n be p(w). Suppose m - 6*m + 4*t = -134, n = 5*t. Is m a multiple of 9?
False
Suppose -a + 3547 = a - o, -2*o + 8863 = 5*a. Does 55 divide a?
False
Let w(k) = 14*k - 18. Is 30 a factor of w(12)?
True
Let y = -23 + 42. Let x = y - 22. Is 2 a factor of (-8)/x*(-12)/(-16)?
True
Let u be (0 - -1) + (-57 - -24). Let y = -24 + 71. Let h = u + y. Does 15 divide h?
True
Let m = 231 - 8. Let g be ((-160)/25 - -6)/(2/(-340)). Suppose -5*z - g = -m. Does 20 divide z?
False
Let y(w) = 4*w + 88. Is 7 a factor of y(43)?
False
Suppose -z = z - 66. Suppose -3*x = -2*x + 5*q - 11, 3*q + z = 3*x. Suppose -x + 51 = d. Is d a multiple of 18?
False
Let h(u) = 6*u**2 + 6*u - 16. Is h(10) a multiple of 28?
True
Let m be (-1 - 2)*(-6)/(-9). Let i(v) = -12*v**3 - 2*v**2 + 5. Does 8 divide i(m)?
False
Let q = -1476 + 6828. Does 13 divide q?
False
Let k be (10/45 + 104/18)/(-1). Let x(s) be the first derivative of -s**2 - 1. Does 4 divide x(k)?
True
Let h(i) = i**3 - 3*i**2 - i. Suppose -5*y = 2*s - 6, -4*y + 2 = 5*s + 4. Let t be h(y). Let p = t + 31. Does 25 divide p?
True
Suppose 0 = 9*w - 6*w + 5*d - 407, -3*w + 412 = 4*d. Is w a multiple of 6?
True
Suppose -2*d + d - 3 = 0, -4*a = 3*d - 1523. Is 51 a factor of a?
False
Suppose 4*c + t = 1012, 4*t - 520 = -22*c + 20*c. Is 84 a factor of c?
True
Suppose 5*n = 5*o, 5*o = n + o. Let m(i) = i + 8. Let r be m(n). Suppose 9*c = r*c + 7. Is c even?
False
Let a be 0/(-3) - 1*-4. Suppose -a*q = -177 - 655. Suppose 0 = -2*h + 6*h - q. Is h a multiple of 15?
False
Suppose 5*b = -w + 6*b + 923, 3*w - 2775 = 5*b. Does 20 divide w?
True
Let i = -421 - -642. Is 17 a factor of i?
True
Let y = -11 + 14. Let c be 7/(y/(-6)*2). Let b = c + 12. Is b a multiple of 3?
False
Let q be (-3)/(9/15) + 2. Let l(d) = -5*d**3 + 3*d**2 - 6*d + 1. Let n(b) = -14*b**3 + 8*b**2 - 17*b + 2. Let u(s) = -11*l(s) + 4*n(s). Is u(q) a multiple of 9?
False
Let v(q) = 2*q - 4. Let t be (-4 - -8) + (3 - 0). Is 6 a factor of v(t)?
False
Let n = 1176 - 1059. Does 9 divide n?
True
Is 4 a factor of (-20)/(-25)*(-7120)/(-32)?
False
Let t = 3 + 0. Let n(h) = 20*h + 0 - 1 + 0*h. Does 23 divide n(t)?
False
Suppose -2*s + 335 = -5*m + 4*m, 2*m = 2*s - 338. Is 5 a factor of s?
False
Suppose -3*t - u = 2*u - 1152, 0 = -3*t + 2*u + 1132. Is 19 a factor of t?
True
Let f be 4/(-30) - (-97566)/45. Let c be f/60 - 8/60. Suppose -2*h = -72 - c. Is 18 a factor of h?
True
Let n = 21 - -378. Does 57 divide n?
True
Let o(c) = c**3 - 28*c**2 - 20*c - 56. Suppose 5*w = 2*k - 5 - 48, 3*w = 3. Is 12 a factor of o(k)?
False
Let f be (-2 - -1) + -3 + 80. Let i = f + -40. Suppose -4*l = -8*l + i. Is l a multiple of 9?
True
Is 6 a factor of 3676*(-50)/40*1/(-5)?
False
Let h = 16 + -20. Let l(d) = -d**3 - 5*d**2 - 6*d - 6. Let c be l(h). Suppose -141 = -c*v + 19. Is v a multiple of 20?
True
Let o(d) = -80*d - 260. Does 10 divide o(-8)?
True
Suppose 0 = -d - 93 - 18. Let s = d + 161. Is s a multiple of 10?
True
Let o be 5/(-1*4/(-956)). Suppose 10*q - o = 135. Is q a multiple of 16?
False
Suppose 4*z - 1 - 3 = 0, -o + 2*z = -378. Does 10 divide o?
True
Let h(z) = 0*z + 5*z - 4 + 3*z - 14*z. Let l be h(-1). Suppose 31 = y - 3*q, y - l*y - 4*q - 4 = 0. Does 10 divide y?
False
Let q be 3 + 8 - (-6)/(-2). Does 21 divide (126/q)/(36/192)?
True
Suppose 2 + 4 = 3*h. Let j(p) = 28 + h - 7 + 2*p + 14. Does 11 divide j(0)?
False
Suppose 0 = 2*d + 4*s - 1652, -4*d - 3*s + 3284 = -0*s. Does 13 divide d?
False
Let n = -91 - -100. Suppose 0 = -n*t - 17 + 431. Is t a multiple of 28?
False
Let m = -141 + 243. Does 4 divide m?
False
Let c(h) = -h**2 - 4*h. Let s be c(-4). Suppose -4*t - 5*p + 497 = s, -5*p = -3*t - t + 527. Suppose -2*q - t = -4*v + 60, -10 = -5*q. Does 16 divide v?
True
Let r be 1/((6/(-10))/(-3)). Suppose -r = 2*a - 9. Suppose -4*k - a*h + 152 = h, 0 = 3*k - 4*h - 114. Is k a multiple of 19?
True
Let l(w) = 0 + 10*w + w + 20*w + 5. Is l(3) a multiple of 14?
True
Let h = -3 - 2. Let c(u) = u**2 + 4*u + 7. Let j be c(h). Suppose -4*i - m - 6 + 16 = 0, i = -5*m + j. Is 2 a factor of i?
True
Let t = -8 + 12. Let m(i) = 17*i - 1. Is 9 a factor of m(t)?
False
Let c be 0 + -2 - -4 - 47. Let h be -65 + (1 - (-6)/(-3)). Let b = c - h. Is 5 a factor of b?
False
Let y = 575 - 194. Is y a multiple of 9?
False
Suppose 5*p = 5*s + 65, 5*p + 5*s - 105 = -0*p. Let v = 65 - p. Is v a multiple of 12?
True
Suppose 12*p = 5*p + 35. Suppose -p*g = -3*t - 255 - 544, 4*g + 2*t - 626 = 0. Is g a multiple of 21?
False
Let u = -1281 + 2596. Is 13 a factor of u?
False
Let z(s) be the first derivative of 25*s**4/4 + 2*s**3/3 - s + 22. Let g be (-2)/9 - (-22)/18. Does 7 divide z(g)?
False
Let k be ((-2)/6)/((-2)/12). Let x be (k - -3)*20/25. Suppose 2*y + 48 = x*l, -5*l - 4*y - y + 60 = 0. Is l a multiple of 4?
True
Let u = -339 + 716. Suppose 43 = 10*g - u. Does 21 divide g?
True
Suppose 6*r + 1302 = 2*t, -3*t - r - 530 = -2493. Is t a multiple of 92?
False
Let o = 1 - 1. Suppose 5*d - m - 2*m = 16, -3*d + 3*m + 12 = o. Does 25 divide (-75)/(d + (-6)/2)?
True
Let m(o) = -16*o**2 - o**3 - 11*o + o - 13 - 6*o. Let s be m(-15). Suppose -l = s*l - 60. Does 10 divide l?
True
Does 38 divide 3 + (231 - (-3 - 0))?
False
Suppose 1094 = -b + 1394. Is 30 a factor of b?
True
Let d(o) = o**3 + 8*o**2 + 9*o + 1. Suppose -4*x - 3*n + 35 = -9*x, -3*x - 3*n = -3. Does 12 divide d(x)?
False
Let l(j) be the first derivative of 7/3*j**3 + j - 5*j**2 - 6. Is l(4) a multiple of 21?
False
Suppose 3*q = o - 1647, -2*q + 3326 = 15*o - 13*o. Is o a multiple of 16?
False
Suppose 4*i - 4*w - 424 = 0, 2*i + 4*w - 238 + 2 = 0. Is 9 a factor of i?
False
Let q be (-12)/(-3) + (-23)/(-1). Let r = q + -23. Is 11 a factor of 25 + (-5 - (2 - r))?
True
Suppose 945 = 4*f + 5*f. Is f/((3/(-21))/((-2)/7)) a multiple of 16?
False
Suppose 5 = 4*w - u - 7, 20 = w + 4*u. Suppose -x + w*x = -36. Let q = x - -36. Is q a multiple of 8?
True
Let c(f) = 2*f**2 + 12*f - 46. Is c(5) a multiple of 16?
True
Suppose 5*b - 23 = -8. Suppose -b*a = 5*g - 111, 2*g - 8 = -3*a + 40. Is g a multiple of 7?
True
Is 24 a factor of 49869/63 + 18/42?
True
Suppose -n = -3*n. Let p be (-18)/(n - (-4 - -3)). Is p/2*(2 - 3) a multiple of 9?
True
Suppose 2*o - 6 = 0, -11 = -3*q - 2*o + 4. Let b(r) = 2 + r**3 + 3*r - 5*r**2 + q*r + 12*r**2. Is 19 a factor of b(-5)?
False
L