3) + 65?
True
Let n(d) = d**2 - 3*d + 10. Suppose -16 = -5*c + 9. Is 5 a factor of n(c)?
True
Let b = 2066 - 1444. Is 29 a factor of b?
False
Let i be (12/27)/((-4)/(-18)). Suppose -4*u + i*u = -174. Does 29 divide u?
True
Let y be (12/(-14))/((-2)/14). Let q be y/8 - (-19)/(-4). Is 5 a factor of 6/(-2) + (-32)/q?
True
Suppose -u = u - 4. Let i(k) = -3*k**2 + 5*k + 15. Let r be i(3). Suppose 29 = 5*s + u*d, r*d - 13 = -2*s + 3. Is 5 a factor of s?
True
Let s be 14/56 + (-57)/(-12). Suppose -5*b + 14 = -5*j - 441, -b - 3*j = -107. Suppose 5*c + 25 = z - 2, -5*c = -s*z + b. Is 7 a factor of z?
False
Let k = 8 + 3. Suppose 30 = 5*v + 2*w, 0 = 4*w - k - 9. Suppose -l + 6 = d + 3*l, 5*l = -v*d + 68. Is d a multiple of 22?
True
Let y(a) = 2*a**2 + 5*a - 3. Let h be y(3). Suppose -75 = -3*s + i, 0 = 5*s - 4*i - 102 - h. Is 12 a factor of s?
True
Let f(q) = q**3 + 10*q**2 + 8*q - 6. Suppose -2*p = 3*s + 30, s - 2*s + 14 = -2*p. Does 2 divide f(p)?
False
Let f = 352 + 113. Is 16 a factor of f?
False
Let m be (-2 - (-65)/25) + (-12954)/(-10). Suppose -m = -3*d - 3*d. Does 54 divide d?
True
Let o(n) = 15 + 2*n - 11 + 12. Suppose 3*p - 47 - 4 = -3*j, -5*p = 3*j - 79. Does 22 divide o(p)?
True
Let k(u) = -61*u**3 - u**2. Does 22 divide k(-2)?
True
Let k = 107 - 59. Let f = 58 - k. Is 3 a factor of f?
False
Let c = -51 + 68. Is (-1 + (-43)/(-3))*(-2 + c) a multiple of 25?
True
Let b(d) = -2*d - 10. Let m be b(-5). Let z(n) = n - 1376. Let w be z(m). Is w/(-176) + (-4)/(-22) a multiple of 6?
False
Let l(r) be the second derivative of r**4/12 + r**3/2 + 5*r**2 + 4*r. Let b be l(-8). Let u = -18 + b. Is u a multiple of 12?
False
Suppose -7*l = -6*l + 3*y - 2, -y = -l + 2. Suppose h - l*h + 25 = 0. Is h a multiple of 25?
True
Let n(z) = 4*z**2 - 8*z - 4. Let t be 6 + -4 + 1*7. Let k be n(t). Suppose -x = 3*x - k. Is x a multiple of 13?
False
Suppose 53*p + 3*v = 57*p - 1201, -v = 4*p - 1205. Is 11 a factor of p?
False
Suppose -r = -4*q - 74, -q + 0 - 3 = 0. Let o be (7 - 8) + -3 - -9. Suppose -o*z + 247 = r. Does 9 divide z?
False
Suppose 2*s - 7 - 1 = 0. Suppose -s*g + 136 = -3*g. Suppose -j = 2*t - 54 - 30, -3*t - 4*j + g = 0. Does 20 divide t?
True
Let z = 93 - 2. Is z a multiple of 17?
False
Let j be (-192)/(-14) - (-4)/14. Is 10 a factor of 162/4 + (35/j - 3)?
True
Suppose -l = -4, 643 + 7 = 3*c + 2*l. Is c a multiple of 13?
False
Let h = 62 - 60. Suppose -163 = -h*a - a + g, -5*a + 271 = -2*g. Is 11 a factor of a?
True
Suppose -3*a + 779 = -100. Is a a multiple of 12?
False
Suppose 24*p - 22*p - 36 = 0. Does 11 divide p?
False
Let x = -74 + 80. Suppose -x*n + 5*n = -91. Is 13 a factor of n?
True
Suppose 0*m + m - 18 = 0. Suppose -2*f + 4*l - m = 0, 2*f - 5*l = -3*l - 10. Does 6 divide f + 0 + 1 + 15?
False
Let j = 28 + -33. Does 11 divide 549/3 + (-3 - j)?
False
Let u(n) = n**2 + 10*n - 5. Let h be u(-11). Let s(w) = 3*w**3 + w**2 - w - 8. Let r be s(h). Does 28 divide 2/8 - r/(-8)?
True
Suppose 144 = 5*b - 2*s, -b - s + 54 = b. Let z(o) = o**3 + 4*o**2 + 2*o + 4. Let u be z(-3). Is 19 a factor of (-225)/(-12) + u/b?
True
Let g = 2 + 3. Suppose 4*o = -5*y + 216, 0 = 4*y + 5*o - 85 - 95. Suppose -g*u + y = -u. Does 4 divide u?
False
Let s be 6*-1*(-11)/11. Is 33 a factor of 102 + s/10 + (-49)/(-35)?
False
Let b(s) = 1163*s - 31. Does 9 divide b(2)?
True
Let u be (-234)/(-54)*(-1)/(1/(-3)). Let j(c) = c**3 + 7*c**2 + 9*c + 7. Let n be j(-6). Let y = u - n. Is 16 a factor of y?
False
Let v = 85 - 86. Let f = -14 - -10. Let j = v - f. Is 2 a factor of j?
False
Let m = 85 + -74. Let u = m - 7. Is 4 a factor of u?
True
Suppose 3*t = 518 - 185. Suppose -t + 13 = -2*q. Does 9 divide q?
False
Let c(q) be the first derivative of -2*q - 7 + 4*q - 8*q + 3*q**2 + 3*q. Is c(4) a multiple of 6?
False
Let y(h) = -3*h + 19. Let a be y(8). Let d = a - -18. Let b = 7 + d. Is b a multiple of 15?
False
Let b(m) = 12*m**2 + 16*m + 9. Let x(c) = 4*c**2 + 5*c + 3. Let z(q) = 3*b(q) - 8*x(q). Suppose g - 15 = 4*g. Is z(g) a multiple of 21?
True
Let d(n) = -n**3 - 5*n**2 + 6. Let t be d(-5). Suppose t*m + 60 = 10*m. Does 15 divide m?
True
Suppose 5*g - 15 = 0, s + 3*g - 52 = 438. Is s a multiple of 48?
False
Suppose 0 = -16*t + 19*t + v - 2136, 2136 = 3*t - 3*v. Is 57 a factor of t?
False
Let r = 783 + -746. Does 23 divide r?
False
Suppose 2*k - 2*m + 0*m = 8, 2*k + 5*m + 20 = 0. Let q(w) = 7 - 5*w + k*w + w + 8*w. Is 10 a factor of q(6)?
False
Let a = 82 - -792. Suppose -a = -12*v + 374. Does 13 divide v?
True
Let u be (-3)/(-12) - -1 - (-2)/(-8). Is (1 - (u - 2))/(12/1158) a multiple of 54?
False
Suppose 37*c - 14050 = 8224. Is 100 a factor of c?
False
Let z(r) = -r**2 - 16*r - 15. Suppose 0 = 4*f - 12, -2*w = 5*f + 22 - 7. Let q be z(w). Suppose q = 3*j - 5*c - 29, -j + c = -3 - 4. Is j a multiple of 2?
False
Suppose 0 = 3*j + 5*m - 44, 2*m - 155 + 50 = -5*j. Suppose 0 = -j*a + 27*a - 144. Does 9 divide a?
True
Let j = -76 + 113. Suppose j = 4*m - 31. Is m even?
False
Suppose -59 = 6*k + 133. Let s = k + 50. Is s a multiple of 2?
True
Let i(x) = -x**2 + 14*x - 23. Does 12 divide i(5)?
False
Let h(p) = 15*p + 271. Is h(-5) a multiple of 4?
True
Suppose -12*x - 88 = -14*x. Suppose 3*t - x = -4*f, -5*f + 10 = -4*t - 76. Is 14 a factor of f?
True
Let y(f) = -f + 5. Let t be y(13). Let k(i) = -4*i - 28. Let l be k(t). Suppose 0 = -w - 4*w + 2*m + 576, 456 = 4*w - l*m. Does 24 divide w?
False
Suppose 1417 = 5*d - 1803. Does 63 divide d?
False
Suppose q - 30 = -5*m, 6*q + 18 = 3*m + 5*q. Suppose -2*x + 225 = -3*y, m*y - 4*y - 534 = -5*x. Does 54 divide x?
True
Let i(y) = -4*y**3 + 4*y - 2. Let c(g) = 7*g**3 - 8*g + 3. Let r(b) = 3*c(b) + 5*i(b). Suppose 3*s + 5*x + 1 = -0*s, -s + 11 = -4*x. Is r(s) a multiple of 7?
True
Suppose 2*u = 30 - 36. Let r(c) = c**2 - 7*c - 18. Is r(u) a multiple of 8?
False
Let n(m) = -m**2 - 7*m - 8. Let s be n(-5). Suppose -116 = -g + 2*o + o, s*g - o = 247. Does 14 divide g?
False
Suppose -3*y - 4*z + 1892 = -0*z, 3*z + 609 = y. Is y a multiple of 13?
True
Let s be (18/(-4))/((-21)/868). Suppose 10 = 5*f, 0 = p - f + 4*f - s. Does 30 divide p?
True
Let w = 9 + 2. Suppose 3*s - 2*d = 17, 5*s - w = d + 8. Suppose 5*g - 60 = -5*t, g + 3*t - 19 = s. Is g a multiple of 2?
False
Let q = -1 + 358. Does 21 divide q?
True
Let n = 531 - 364. Does 11 divide n?
False
Let h(s) = -s**2 + 2*s + 31. Let c be h(0). Suppose r + 16 = 2*q, -2*q + 5*r = 7 - c. Does 4 divide q?
False
Suppose 3*n - 4*o + 28 = 0, n + 2*o = -0*o + 4. Is 8 a factor of (n - (1 - 27)) + 2?
True
Let v = -216 - -229. Is v a multiple of 13?
True
Let h(b) = 4*b**2 - 16*b - 7. Let l be h(7). Let c = l + -48. Is c a multiple of 29?
True
Suppose -3*x = -6 - 0. Suppose x*n + n - 9 = 0. Suppose 3*s - 4 = -s, 5*s = -n*w + 86. Does 8 divide w?
False
Suppose 293 = 3*o + 5*j, 545 = 7*o - 2*o - 3*j. Suppose 0 = -5*k + 512 + 618. Let q = k - o. Is 31 a factor of q?
False
Suppose 300 = 5*c - 0. Let s = c - 19. Is 12 a factor of s?
False
Suppose -7*c - 534 + 1458 = 0. Is c a multiple of 22?
True
Let m(l) = -l**3 + 2*l**2 + l + 3. Let k be m(3). Let q(x) = -6*x**3 + x**2 - 3*x - 1. Does 35 divide q(k)?
False
Let t(r) = -3*r**2 - 18*r - 6. Let o be t(-9). Let a = o - -119. Does 2 divide a?
True
Is 1262 + -11 + 3*(-7)/(-3) a multiple of 37?
True
Let p(v) be the first derivative of -v**6/360 - 7*v**5/60 - v**4/12 + 3*v**3 - 8. Let n(i) be the third derivative of p(i). Is n(-12) a multiple of 5?
False
Suppose g - 102 = -2*j + 4*g, 4*j - 5*g - 200 = 0. Let n = j - 26. Is n even?
False
Let a = 124 - -13. Is 15 a factor of a?
False
Let p(j) = 6*j**2 + 17*j + 39. Is p(-21) a multiple of 54?
False
Let y be (12/(-9))/(1/3)*-12. Suppose r = f + 19, 5*r - y - 45 = 3*f. Does 9 divide r?
True
Let u be (-56)/(-10) + 3/(-5). Let c = 112 + u. Is 19 a factor of c?
False
Suppose -3*t = 3*c - c - 41, 2*t - c = 39. Let m(y) = y**2 - 16*y + 8. Does 5 divide m(t)?
True
Let c(r) = -r + 2. Let s be c(3). Let y be s*-2*(-249)/2. Is 19 a factor of 4/(-26) + y/(-13)?
True
Suppose 0 = 15*x + 108 + 12. Let s = -25 + 43. Let t = x + s. Is 9 a factor of t?
False
Let n(t) = -5*t + 7. Suppose 4*c = -c + 10. Suppose -5*s + 5*g - 70 = 0, 3*s + 56 = c*g + 16. Is n(s) a multiple of 18?
False
Let b = -2240 - -3858. Is 71 a factor of b?
False
Suppose 