 245 = 0. Suppose 2*j - i = -2*j. Is j a multiple of 33?
True
Let w(k) = 411*k - 545. Does 53 divide w(7)?
True
Let l(d) be the first derivative of -d**3/3 - 8*d**2 - 2*d + 10. Is l(-4) a multiple of 20?
False
Let r(t) be the first derivative of -7*t**2 + 5*t - 6. Let q be r(4). Let w = 79 + q. Does 14 divide w?
True
Suppose -388 = 5*a - 98. Let h = a + 91. Is h a multiple of 18?
False
Suppose 0 = -2*s + 2*i + 194, 3*s + 2*i = -0*i + 286. Does 6 divide s?
True
Let x(v) be the third derivative of v**4/24 + 11*v**3/6 + v**2. Let j = 233 + -229. Is x(j) a multiple of 15?
True
Is (177/(-4))/(-3 - 987/(-336)) a multiple of 9?
False
Let p = 826 + -782. Does 22 divide p?
True
Is (16/(-6))/((198/(-243))/11) a multiple of 36?
True
Let f(t) = t**3 + 28*t**2 + 24*t - 36. Let o be f(-27). Suppose -o = 2*m - 487. Does 43 divide m?
False
Let t = 20 + -17. Suppose -t*l = -2*l - 20. Suppose -2*q = -l - 2. Does 6 divide q?
False
Let d(s) be the third derivative of -s**6/144 + s**5/24 - 5*s**4/12 + 14*s**2. Let n(i) be the second derivative of d(i). Is 6 a factor of n(-9)?
False
Let k(o) = 3*o - 28. Let c be k(13). Let n = c + 14. Let s = -12 + n. Is s a multiple of 3?
False
Let c = -149 + 106. Let b = c + 49. Is 6 a factor of b?
True
Suppose 6*b - 2*g - 1272 = 2*b, -2*g + 961 = 3*b. Is 20 a factor of b?
False
Let y(i) = i**3 - 14*i - 5. Let r be y(4). Let b(k) = 96*k. Does 12 divide b(r)?
True
Suppose 4*o + 18 = 5*x, -x + 3*o = -4 - 4. Suppose -5*g - 2*p = -10 - 130, -3*p + 67 = x*g. Is 5 a factor of g?
False
Suppose -c + 230 + 7 = 3*s, -2*c + 474 = 3*s. Does 16 divide c?
False
Suppose 10*u - 12*u - 4 = 0. Does 11 divide 4*(u - (-185)/10)?
True
Suppose 4*l - 11*s + 8*s = 5396, 4*l - 5420 = -3*s. Does 26 divide l?
True
Let a(f) = 3*f**2 - 4*f - 5. Suppose g = 4*g - 3*r - 21, 4*r = 0. Let q be -6 + 3 + g + 0. Is a(q) a multiple of 9?
True
Let z(q) = 11*q**2 + 17*q**2 + 20*q**2 - 2*q - 2. Let l be (1 - 20/4) + 3. Is 10 a factor of z(l)?
False
Suppose -3*w + 12 = 0, -w = -4*i + 15 + 221. Is 3 a factor of i?
True
Let c = -25 - -39. Suppose c*b = 13*b + 59. Is b a multiple of 27?
False
Let b = -153 - -231. Let y = 12 + b. Does 10 divide y?
True
Suppose a = -76 + 31. Is (486/a)/(9/(-150)) a multiple of 36?
True
Let s(v) = -v**3 + 9*v**2 + 27*v + 2. Does 14 divide s(9)?
False
Suppose 0*s = 2*s. Suppose 0*t - 4*t + 204 = s. Let z = t - 15. Is 18 a factor of z?
True
Suppose -235 - 242 = -9*i. Is 3 a factor of i?
False
Let o = 2019 - 64. Does 85 divide o?
True
Let v(w) = -w + 249. Is 15 a factor of v(24)?
True
Let r(n) = -n**3 + 9*n**2. Let u be r(9). Let l be 56 + u + (-2)/(-2). Is 1*(-2)/((-2)/l) a multiple of 16?
False
Let z = -61 - -143. Suppose 4*g - z = -2*h - 0*h, -4*g - h = -87. Is 4 a factor of g?
False
Suppose 4*w + y + 60 = 0, 2*y = -y - 12. Let d be (-4)/w + (-195)/21. Let h = d + 26. Is 4 a factor of h?
False
Let t = 19 - 24. Let o be (-157)/t - 10/25. Let n = -11 + o. Does 20 divide n?
True
Let x(i) be the third derivative of 5*i**4/24 - 4*i**3 - 5*i**2. Let b(m) = 4*m - 23. Let w(k) = -7*b(k) + 6*x(k). Is 29 a factor of w(14)?
False
Suppose -84 + 192 = 6*p. Is p even?
True
Let t = 1669 + -1534. Is 5 a factor of t?
True
Let i(c) = c**3 + 4*c**2 - 3*c - 5. Let s be i(-5). Let t = -17 - s. Is ((-52)/(-5))/(t/(-5)) a multiple of 13?
True
Let y(k) = -k**3 - 15*k**2 + 19*k + 24. Let t be y(-16). Let l = t - -66. Suppose 52 + l = z. Is 31 a factor of z?
False
Let t(i) = 43*i**3 + i**2 - i - 1. Suppose 4*a + 17 = 21. Is 14 a factor of t(a)?
True
Suppose 3*v = 3*r + 4578, 2*v - 3076 = -r - 3*r. Is 45 a factor of v?
True
Suppose 3*v = -5*b + 432 + 783, 0 = -3*b - v + 733. Does 11 divide b?
False
Suppose -3*v + 314 = 5*y - 3*y, y = -5. Suppose v = -4*c + 10*c. Is c a multiple of 5?
False
Suppose 0 = -14*o + 5426 - 1352. Is 6 a factor of o?
False
Let y(k) = 10*k**3 - k**2 + k - 1. Let p be y(1). Suppose -2*c = -3*c - 5*n - p, 11 = c + n. Does 6 divide c?
False
Let x(v) = -v**3 - 7*v**2 - 6*v + 5. Suppose 0 = -4*l - a - 12 - 10, -4*l + 2*a = 28. Let q be x(l). Suppose -q*w = -0*w - 75. Does 15 divide w?
True
Suppose -29 = 2*d - 9. Let x(y) = 6*y + 73. Does 4 divide x(d)?
False
Let m be -3 + 3 + -1 + 2. Let l be (3/m)/(4 - 3). Let k(v) = 3*v**2 - 2*v + 3. Is 24 a factor of k(l)?
True
Let b = 368 - -658. Is 9 a factor of b?
True
Let c(q) = -q**3 - 13*q**2 - 13*q - 9. Let t be c(-12). Suppose -192 = t*y - 5*y. Let n = 155 - y. Is 12 a factor of n?
False
Let m = 65 - -115. Does 30 divide m?
True
Suppose -7*f = -2 + 2. Is (f - 31)/(7 - 8) a multiple of 6?
False
Let n be -3 - (0/2 + -3). Suppose n = -s + 2*s - 5. Suppose 4*w + s*m - 158 + 55 = 0, 2*m = -5*w + 150. Is w a multiple of 7?
False
Let z = 524 + -517. Is 4 a factor of z?
False
Is (0 + 860/6)/(2/6) a multiple of 10?
True
Let c be -1*((-2)/1 + 1). Suppose q - 2*y + c = -4, 3*y = 4*q + 5. Suppose 6 = z - q. Is z a multiple of 7?
True
Let a(l) = l**2 - 12*l - 3. Let y be a(-7). Let d be (-50)/(-6) + (-6)/(-9). Is (d/(-6))/((-5)/y) a multiple of 13?
True
Suppose -30*o + 8*o + 3762 = 0. Is 19 a factor of o?
True
Let t = 1553 + -923. Is t a multiple of 10?
True
Let b(r) = -3 + r**2 + 5 + 2*r**2 + 2*r. Let w be b(-1). Suppose -w*x - 6 = -27. Does 4 divide x?
False
Let q be (-51)/(-9) + 2/(-3). Suppose -2*j = -j - q, -2*n = -j - 101. Let d = n + 11. Does 17 divide d?
False
Suppose -3*h + 0*h - 76 = -5*k, h + 48 = 3*k. Suppose k*c = -124 + 3150. Is c a multiple of 33?
False
Let z(d) = 2*d**3 - 63*d**2 + 16*d - 9. Is z(32) a multiple of 27?
False
Let x = -644 - -1484. Does 28 divide x?
True
Let b(s) = -s**2 + 8*s - 12. Let u be b(2). Suppose -m = m - 282. Suppose 2*h + m = 2*o + 3*h, 3*o + 4*h - 204 = u. Is 18 a factor of o?
True
Let u be 1/((-4)/(-6))*20. Suppose 3*h + 2*h - 40 = -5*g, 5*h = 5*g + u. Suppose -5*x + 52 = 4*z, -4*z + 3*x + h = -13. Is 4 a factor of z?
True
Is (8/(48/1470))/1 a multiple of 47?
False
Let p be (-12)/(-36) + (-1)/3. Suppose p = -8*f + 12*f - 8. Suppose -f*g - 4*w = -0*w - 8, -5*g + 3*w + 72 = 0. Does 4 divide g?
True
Let o = -262 + 441. Does 28 divide o?
False
Suppose -t - 3*t - 24 = 0. Let f be (10/t)/(2/6). Does 14 divide 0 - (-23 + 3 + f)?
False
Let n(c) = 2 + 0 + 11 + 2*c + 4. Is n(12) a multiple of 12?
False
Let i(h) = 8*h**2 - 11*h + 52. Is 54 a factor of i(10)?
False
Let a(g) = -g**3 + 13*g**2 + 25*g - 34. Is a(9) a multiple of 35?
False
Suppose 4*a = 924 - 136. Does 62 divide a?
False
Let y = 50 + -48. Suppose 4*t - 3*u = -t + 1115, y*t - 3*u = 437. Does 39 divide t?
False
Suppose -2*c - 5*l + 2263 + 2 = 0, 0 = -4*c + l + 4475. Is c a multiple of 10?
True
Let n(u) = 4*u**3 + u**2 - 5*u + 2. Let d(o) = -2*o + 60. Let y be d(29). Does 12 divide n(y)?
False
Suppose -3*g + 9 = j - 13, 4*g - 4*j - 8 = 0. Let t be -2*(3129/g)/(-7). Is (-3)/(-4) - t/(-4) a multiple of 7?
False
Suppose -453 = 5*m + 2*i, -m - i - 54 = 36. Let j = 130 + m. Does 13 divide j?
True
Let p(q) = -322*q + 37. Is 23 a factor of p(-5)?
False
Suppose 0 = 4*j - 754 - 38. Does 66 divide j?
True
Let u = -59 - -55. Is 12 a factor of (-1665)/(-10)*u*(-3)/18?
False
Does 17 divide (2268/30)/((-28)/(-70))?
False
Suppose -6*q - 3*z = -8*q + 272, 2*q - 5*z - 264 = 0. Suppose -i - 5*n = -46, -5*i + n = -i - q. Is 30 a factor of i?
False
Suppose 5 + 0 = i. Suppose -9 - 11 = -i*c, 3*c - 63 = -o. Suppose 104 + o = 5*h. Is h a multiple of 16?
False
Is 6 - (3 + -2)*-699 a multiple of 49?
False
Let x(k) be the third derivative of 5*k**4/24 - k**3/3 - 8*k**2. Let p be x(1). Suppose 2*n + n = -5*g + p, 2*n + 20 = 4*g. Is 2 a factor of g?
False
Let j(d) = 6*d + 50. Let m be j(-8). Suppose 282 = m*u - 86. Is u a multiple of 23?
True
Suppose 0 = 6*y - 8 - 10. Suppose -2*o = y*o - 505. Is o a multiple of 28?
False
Let c(w) = w - 13. Let x be c(-8). Let a = 41 + x. Is a a multiple of 20?
True
Let c(q) = -q**3 + 10*q**2 - 8*q - 8. Let x(s) = s**3 - 9*s**2 + 9*s + 8. Let m(r) = 7*c(r) + 6*x(r). Is 28 a factor of m(15)?
False
Let t = -975 - -1411. Suppose i - t = 5*i. Let o = -68 - i. Does 15 divide o?
False
Suppose -6*a = -3*a - 6. Suppose -20 = -a*m + 40. Is m a multiple of 5?
True
Let l(m) be the first derivative of -4 + 2*m - 1/2*m**2 + 1/3*m**3. Is l(2) even?
True
Let s(b) = -b**2 - 44*b - 63. Is s(-42) a multiple of 7?
True
Let b(a) = 6*a + 