 2 = -g + 5*r. Let k(w) = 15*w**2 + 4*w - 3. Does 12 divide k(g)?
False
Let z = 132 + 498. Does 7 divide z?
True
Let a = -1225 - -633. Is (-4)/14 + (3 - a/14) a multiple of 9?
True
Let g(f) be the third derivative of f**5/60 + f**3/3 - f**2. Let w be 0*(-5)/(-160)*8. Does 2 divide g(w)?
True
Suppose 1522 = 8*d + 18. Does 15 divide d?
False
Suppose 3*i = 10*d - 6*d - 2649, -3*d = 5*i - 2023. Does 18 divide d?
True
Suppose -3*y = -21 - 21. Is 2 a factor of y?
True
Is 0 - 4005/(-9) - -4 a multiple of 5?
False
Let k = -109 + 88. Let j(l) = -l**3 + 9*l**2 + 2. Let u be j(9). Is 24 a factor of (112/k)/(u/(-9))?
True
Let w be (-4)/(-6) - (-4)/(-6). Suppose 3*h + h + 4*y - 60 = 0, -5*h - 4*y + 70 = 0. Suppose w = h*g - 4*g - 204. Does 17 divide g?
True
Let v(p) = 23*p**3 - 6*p**2 + 3*p - 1. Let u be v(2). Suppose -4*y - 37 = -u. Does 16 divide y?
True
Let o(d) = -d**3 + 36*d**2 - 53*d + 138. Is o(34) a multiple of 27?
True
Suppose -4*s + 315 = -s. Suppose 4*f + s = 9*f. Is 7 a factor of f?
True
Suppose -11*z = -13*z + 8. Does 7 divide (-1)/z + 985/(-60)*-3?
True
Suppose 9*s + s + 2040 = 0. Let m = s + 354. Is 15 a factor of m?
True
Suppose -5*f - 6*y = -2*y + 14, 0 = 4*f + 2*y + 10. Let n(t) = -t**3 - 7*t**2 - 11*t + 1. Let l be n(-5). Does 14 divide l/f*(-124)/12?
False
Suppose 13*i = 8*i - 3*p + 1073, 0 = -5*i - 4*p + 1074. Is 107 a factor of i?
True
Suppose 22*k - 7476 = 17010. Does 7 divide k?
True
Let q(d) = d**2 - 6*d - 5. Let i be q(8). Let s = i - -19. Does 6 divide s?
True
Let d(v) = v + 1 + 0 - 2 + 0. Let k be d(5). Does 4 divide (k/(-3))/(3/(-9))?
True
Let w(p) = p**2 - 10*p + 6. Let z be w(9). Let v(a) = 2*a + 8. Let q be v(z). Suppose 0 = -x - q*x + 108. Does 9 divide x?
True
Let m = 7 + -4. Suppose 2*w + 4*s = 6*w - 332, -m*w - s + 253 = 0. Does 12 divide w?
True
Suppose -4*t - 4 - 2 = 2*y, y = -4*t - 1. Does 18 divide (4 - -82*t) + 4?
True
Suppose -r - 70*r = -111186. Is r a multiple of 54?
True
Suppose 4*t = 2*a - 12, -5*a + 9 = 3*t + 44. Let z(v) = -31*v - 6. Let u be z(t). Let m = u - 101. Is m a multiple of 12?
True
Suppose -3*p = 3*c + 6, -2*c - 4 + 0 = -3*p. Suppose p = 2*m + 2*m - 584. Suppose -5*x + m = 4*t, -3*x = -2*t + 11 - 103. Does 10 divide x?
True
Suppose 4*f - 2 - 2 = 0. Suppose 0 = 3*k + f + 8. Does 21 divide (k/6)/(1/(-82))?
False
Let s = -111 + 194. Does 34 divide s?
False
Let w(p) = 5*p - 5. Let o(x) = 11*x - 5. Let h be o(2). Let s = -13 + h. Is w(s) a multiple of 5?
True
Suppose 3*j + 20 = 20. Suppose -4*s - 4*c + 396 = j, 0 = -4*s + 3*s + 2*c + 84. Is 13 a factor of s?
False
Suppose -3*w = o - 35 - 4, w = 3*o - 67. Let r = 26 - o. Suppose 31 = r*l - 15. Does 6 divide l?
False
Suppose u = -b - 2*u + 12, 0 = 3*b - u - 76. Suppose 4*o + 0*g = -g + 17, 3*g = 3*o - b. Let p(c) = c**3 - 2*c**2 - 7*c + 5. Does 26 divide p(o)?
False
Suppose -2*h - 131 + 2291 = 0. Is (2/5)/(9/h) a multiple of 12?
True
Does 17 divide 5410*((-2)/10)/((-22)/44)?
False
Let n = 10 - 5. Suppose -n*v + 5 = 3*a, -5*a + v - 3*v = -21. Suppose 0 = -a*p + 3*p + 284. Is p a multiple of 37?
False
Let y(c) be the second derivative of 27*c**4/4 + 4*c + 1. Let x be 3*-1*1/3. Is y(x) a multiple of 27?
True
Let h be (-3 + 795)/3 + -2. Suppose -9 = -2*k - 1. Suppose -k*b = 2*m - h, -3*b = -m + 4*m - 195. Does 33 divide b?
True
Suppose -5 = -j + 36. Suppose 2 = -3*y + 5. Suppose 2*u - y - j = 0. Does 7 divide u?
True
Let h(z) = z**3 + 7*z**2 - 3*z - 9. Is h(-4) a multiple of 17?
True
Let z(r) = 2*r**2 + 58*r + 60. Is z(-30) a multiple of 20?
True
Let g(a) = -a - 16. Let x be g(-10). Let d = x + 9. Suppose -2*i = -6, d*i = 4*n + i - 150. Is n a multiple of 6?
False
Is 16 a factor of (-5 + 5442/(-18))/(1/(-3))?
False
Let t = 183 + -191. Let v(q) = -3*q**2 + 5*q - 4. Let r be v(4). Is t/r + (-15)/(-4) a multiple of 2?
True
Let h = 442 - 386. Is h a multiple of 4?
True
Let i(o) = o**2 + 4*o + 16. Suppose 0 = -y - 8. Is 8 a factor of i(y)?
True
Let r(a) = 161*a + 443. Is r(11) a multiple of 23?
False
Let w be ((-18)/12)/(-3 + 4769/1590). Suppose 15*o = -0*o + w. Is o a multiple of 53?
True
Let w = 2803 + -1379. Is w a multiple of 22?
False
Let z(n) = 8*n**2 + 3*n - 6. Let u be z(-5). Let o = -97 + u. Suppose 2*t - o = -0*t. Does 11 divide t?
False
Suppose 5*u - 2 + 1 = -4*m, 0 = 2*u + 6. Suppose -3*c + 109 = v, 162 = m*c + 3*v - 5*v. Suppose y + 3*q - c = 5*q, 4*q - 50 = -y. Is y a multiple of 14?
True
Let q be (-1)/(-3) - (-2)/3. Suppose 0 = 3*t + q + 5. Is 19 + t + 1 + -2 a multiple of 6?
False
Suppose 3*o = -5*k - 17, 3*o = 3*k + 11 + 4. Let w = 6 + k. Suppose 210 = w*v + 3*v. Is v a multiple of 23?
False
Suppose 3*m - 2*h + 78 = h, 4*m - 2*h = -104. Let q = m + 38. Is 6 a factor of q?
True
Let m(h) = h**3 + 6*h**2 + 5*h + 1. Let c be m(-5). Does 8 divide (-3 - -19)*15/6*c?
True
Suppose -27*z = 7*z - 6902. Does 9 divide z?
False
Let s(i) = -i**3 + 28*i**2 - 11*i - 86. Does 5 divide s(27)?
False
Let m be (-360)/(-48)*(1 + -3). Let v = m + 27. Is v a multiple of 3?
True
Suppose 29 = 5*u - k, -4*k = u + 17 - 6. Suppose 5*w = 3*m - 4*m + 23, -2*m + 21 = u*w. Is w even?
False
Suppose -3*c - 2*c - 2*j = -76, 3*c + 4*j = 40. Let s(u) = -u + 21. Let v be s(c). Suppose -3*r + 162 = 5*x, -r + 32 = v*x - 12. Is r a multiple of 15?
False
Let i = -4 - -8. Let b be 6/2 - (-33 - (-10 + 6)). Suppose i*w = -z + 12, -z - w + b = -2*w. Is 11 a factor of z?
False
Let o = -8 - 10. Let w be (-4)/o + 331/9. Let s = w - 6. Is 8 a factor of s?
False
Let s = 4 - 7. Is (-46*s/(-2))/(11/(-55)) a multiple of 15?
True
Is -1*(-93945)/180 - (-2)/24 a multiple of 6?
True
Let l = 7 + -3. Suppose 3*s + 11 = -l. Is 12 a factor of (-124)/(-10) - (-2)/s?
True
Suppose 0 = -z - 1, -4*z - z + 15 = 5*u. Suppose -u*d = 0, 2*g + 0*g - d = 6. Suppose 2*m + 52 = 3*x + 2*x, -13 = -x + g*m. Is 6 a factor of x?
False
Let m(l) be the third derivative of 7*l**6/120 + l**5/60 + l**4/12 + l**3/3 - 25*l**2. Let c = 0 - -2. Is m(c) a multiple of 33?
True
Suppose 292*a - 293*a + 56 = 0. Does 14 divide a?
True
Suppose -5*f - 3*b + 195 = 0, 0 = -4*f + 2*b - 0*b + 134. Suppose v + f = 138. Is 17 a factor of v?
True
Let w(u) = 97*u - 9. Is 12 a factor of w(3)?
False
Let j(k) = -10*k + 65. Let y be j(-13). Let b(m) = m + 5. Let x be b(4). Suppose 4*v = x*v - y. Is v a multiple of 13?
True
Let r(d) = -11*d**2 + d. Let t be r(-1). Let o = 22 + t. Let q(a) = a**2 - 8*a + 7. Is q(o) a multiple of 9?
True
Is 96 a factor of 339/(((-40)/15)/(-8))?
False
Let r(m) be the third derivative of -m**6/120 - 7*m**5/60 + 7*m**4/24 + m**3/6 + 2*m**2 - 6*m. Is r(-9) a multiple of 10?
True
Let w(a) = 27*a**3 - 3*a**2 + a - 4. Is w(4) a multiple of 80?
True
Let n = 2005 - 1347. Does 47 divide n?
True
Suppose 5*i = 2*i + 15. Suppose -14*a + 24 + 32 = 0. Suppose 0 = -m + a*o + 133, m - i*o = 2*m - 160. Is m a multiple of 38?
False
Let f(m) = -2*m**3 + 42*m**2 - 27*m - 54. Does 9 divide f(18)?
True
Let b be 12/(-3) + (-5 - -9). Suppose b = 4*u - 8, f + 3*f - 350 = u. Is 16 a factor of f?
False
Suppose 5*t - 2*y - 59 = 2*t, 2 = -2*y. Let l = 222 - t. Is 21 a factor of l?
False
Suppose 3 = -3*r + 9. Suppose -m + 366 = 2*m - 3*i, 2*m + r*i - 236 = 0. Is 30 a factor of m?
True
Suppose -m + 25 = 4*m, -5*w = 5*m - 35. Is 3 a factor of 21 + ((-2)/4*2 - w)?
True
Suppose -5*f + z = -179, 183 = 5*f - 0*z + 3*z. Is 10 a factor of f?
False
Suppose -55*h = -75*h + 20060. Is 11 a factor of h?
False
Suppose 234 - 1164 = 62*m. Let s = 9 - -3. Does 12 divide s/m*(-2 - 73)?
True
Let v(t) = 13*t - 94. Is 6 a factor of v(10)?
True
Suppose k - 43 = -0*k. Suppose -7*w - k = -8*w. Is w a multiple of 10?
False
Let u = 240 + -51. Is 2 a factor of u?
False
Suppose 5*f + 2*j = 4, f + 0*f = 2*j + 8. Suppose -8 - f = -5*w. Suppose -216 = -w*v - v. Does 17 divide v?
False
Let u be (2*-2)/4*0. Suppose u = w - 2*w - 14. Is 18 a factor of 2/w + 954/14?
False
Let u = 21 + -28. Let b = u - -55. Suppose 0 = 4*f - b - 136. Is 23 a factor of f?
True
Suppose 2*b = 102 + 22. Let t = -27 - -56. Let v = b - t. Does 33 divide v?
True
Suppose -4*o + 2*v + 5058 = 0, -4*o + 3*v + 6324 = o. Is o a multiple of 28?
False
Let k(s) = 112*s - 8. Suppose -3*q - 3*b - 7 + 1 = 0, -3*q + 4*b + 22 = 0. Does 36 divide k(q)?
True
Let g(s) = 1407*s**2 + 14*s + 2. Does 15 divide g(-1)?
True
Let i(v