 = 2*d**3 - 4*d**2 + 13*d. Let i(a) = -a**3 + 2*a**2 - 7*a. Let k(n) = 4*c(n) + 7*i(n). Is k(3) a multiple of 3?
True
Let n(b) = 40*b - 2. Suppose 0 = 4*x - 10 + 90. Let l be 22/(-99) - x/9. Does 17 divide n(l)?
False
Suppose j + 204 = -3*r, 2*r - 1088 = -2*j + 7*j. Let v(g) = 6*g**3 + g**2 - g - 4. Let s be v(-3). Let n = s - j. Is n a multiple of 13?
False
Suppose 0 = h + 2*y - 10 - 2, 2*y = 4. Suppose -d - d = -h. Suppose -100 = -4*q + d. Does 26 divide q?
True
Let x(b) = -5*b + 42. Suppose 177 = -11*f - 54. Does 37 divide x(f)?
False
Let s(k) = 14*k + 8*k**2 - 18*k + 9*k. Let v be s(-3). Suppose v = 6*h - 15. Does 4 divide h?
True
Suppose -16 = -4*o - u + 12, -2*o - u + 16 = 0. Let g(c) = -c**3 + 16*c**2 - 5*c + 1. Let r(v) = -v**2 - v - 1. Let y(q) = o*r(q) + g(q). Is 9 a factor of y(8)?
False
Let x = -35 - -132. Let c = x + -64. Does 13 divide c?
False
Let j = 139 - -241. Is 30 a factor of j?
False
Let n = 109 + 8. Let s be 5/15*-1*219. Let x = n + s. Does 13 divide x?
False
Let s(p) = -2*p**2 + 5*p + 6. Let h be s(3). Suppose -h*l - 184 = -5*y, -106 = -3*y + 2*l + 2*l. Does 38 divide y?
True
Suppose h + 33 = 5*s + 10, -4*s = 4*h - 4. Suppose 8*b - 3*c - 5 = 3*b, 4*c = 4*b + s. Is -2*(-5)/8*b a multiple of 5?
True
Let i = 1 - -3. Suppose 0 = 15*o - 363 + 18. Let t = i + o. Does 9 divide t?
True
Let j = 81 - 13. Does 13 divide j?
False
Let p(g) be the first derivative of -7*g**2/2 - 6*g - 35. Let v = 1 + -5. Is 8 a factor of p(v)?
False
Suppose -9*p = 2*p. Suppose -4*h + 16 = -0*h, 5*d + 4*h - 361 = p. Is d a multiple of 8?
False
Suppose -2*x = -3042 + 128. Is x a multiple of 47?
True
Let a(h) = -h**2 - 5*h + 2*h - 1 + 2 + 5. Let d be a(4). Let i = d - -56. Is i a multiple of 8?
False
Suppose -2027 = -15*j - 407. Is j a multiple of 3?
True
Let h be (-4)/((-8)/14) - 0. Does 2 divide 308/49 + (-2)/h?
True
Let c(h) be the first derivative of h**3/3 + 5*h + 5. Let t be c(0). Suppose -t*j - 16 = -6*j. Does 16 divide j?
True
Let i be (-3 - (91 + 0))*-7. Let u = i + -405. Does 22 divide u?
False
Suppose -12*d = 207 + 765. Is 2 a factor of ((-2)/9)/(9/d)?
True
Let l be -1 + (-3 + 10 - 3). Suppose 2*s - x = -0*s + 12, -6 = -s + l*x. Suppose 2*z + 60 = s*z. Is 15 a factor of z?
True
Let x = 1187 - 466. Is 13 a factor of x/49 + 4/14?
False
Suppose 3*i + 7 = w - i, 2*w - 5*i - 17 = 0. Suppose 17 = k + w. Does 3 divide k?
True
Let f(q) = 27*q**3 - q. Let i be f(1). Suppose -5*u + 5*p + 69 = -i, -5*u = 5*p - 95. Is u a multiple of 7?
False
Let z be ((-60)/(-9))/((-1)/(-135)). Suppose 7*d - z = 4*d. Suppose 2*g - d = -3*g. Does 23 divide g?
False
Suppose -4*o - 4*f - 8 = 0, 24 = o + 2*o - 3*f. Does 4 divide 3 + -9*(-4 + o)?
True
Let d = 28 - 20. Let n be (d + 4)*(-3)/(-2). Suppose 3*h + n = 156. Is 18 a factor of h?
False
Suppose -3*c = -t - 0*t + 27, -2*c + 52 = 4*t. Suppose r - 5*k = -2*r - 6, 0 = -r - 4*k + t. Suppose 9*z = r*z + 90. Is 5 a factor of z?
True
Is 36 a factor of (-18)/(-33) - (-582060)/110?
True
Let b(d) = 2*d**3 + 10*d**2 - 10*d + 6. Let f(w) = 10*w**2 + w. Let h be f(-1). Let j = -14 + h. Is 8 a factor of b(j)?
True
Suppose -9*p + 733 = -356. Is 11 a factor of p?
True
Suppose 0*s - 5*s + 3*d - 14 = 0, -3*d + 5 = 4*s. Is 1*s - 4/((-16)/316) a multiple of 13?
True
Let o = -12 + 17. Suppose 2*y - y = 0, -o*y - 132 = -3*f. Let p = f + -17. Is 7 a factor of p?
False
Suppose 89*o + 1812 = 101*o. Is 7 a factor of o?
False
Let i(z) = -16*z + 15. Is 29 a factor of i(-19)?
True
Let q = -14 + 15. Let u = 3 + q. Suppose -360 = -5*z - 2*m, u*z + 4*m - 291 = 3*m. Is z a multiple of 20?
False
Let x = 301 - 179. Let p = x + -11. Does 37 divide p?
True
Suppose -3*y = -17*d + 18*d - 938, 0 = -5*d - 2*y + 4729. Does 50 divide d?
False
Let c(j) = -3*j + 2. Let w be c(5). Let h = 22 + w. Does 4 divide 3/h*9 + 13?
True
Let n be (6/4)/(18/36). Is -5 + -2 + n - -52 a multiple of 45?
False
Let z = 1442 - 844. Suppose 17*d - 4*d - z = 0. Is d a multiple of 12?
False
Let v(i) = -2*i + 147. Is v(27) a multiple of 14?
False
Let u(z) = 9*z**2 - 83*z - 16. Is 12 a factor of u(19)?
True
Let n(d) = -d**3 - 10*d**2 - 11*d - 6. Let q be n(-9). Does 2 divide q/16 + 37/4?
True
Let p be (-2)/(-9) - (-3680)/45. Suppose -5*l - 5*a + 19 = -4*l, -2*l = -a - p. Does 13 divide l?
True
Let r(a) = 2*a**2 - 26. Does 9 divide r(-7)?
True
Let q(b) = 4*b**2 + 18*b + 55. Is q(-5) even?
False
Let l(o) be the first derivative of 4*o**2 - 1. Does 3 divide l(1)?
False
Suppose -5*a = -2*j + 3*j - 51, -140 = -3*j - 2*a. Suppose j = -5*l - 3*o + 244, 4*l - 160 = -4*o. Is 13 a factor of l?
True
Suppose 3*q = 5*w - 113 + 383, 5*q = 3*w + 146. Let k = w + 102. Suppose k = -n + 6*n. Is n a multiple of 2?
False
Let y(h) = 20*h - 52. Does 22 divide y(7)?
True
Let u = -3629 + 5208. Suppose -14*w + 311 + u = 0. Is w a multiple of 16?
False
Let n(s) = 9*s**2 + 17*s + 25. Let p(d) be the second derivative of -d**4/12 - d**3/3 - 3*d**2/2 + d. Let f(k) = 6*n(k) + 51*p(k). Is 18 a factor of f(-5)?
True
Is 10 a factor of 28000/150*(-9)/(-4)?
True
Let v(z) = 314*z**2 + 17*z - 32. Is 59 a factor of v(2)?
False
Let m = -71 - -183. Let g(o) = -o**2 + 5*o - 2. Let v be g(5). Is 12 a factor of (m/42)/(v/(-9))?
True
Suppose 2278 = -2*o + 2*w, 9*o + 2*w = 4*o - 5723. Let h be o/(-45) - (-4)/(-10). Suppose -57 - h = -2*q. Is q a multiple of 14?
False
Let c be 2 + -2 - -3 - -9. Let q = c + -10. Suppose -98 = -q*d - 0*d. Is 9 a factor of d?
False
Let b(d) = -2*d + 60. Let w be b(11). Suppose -i - j = -w, -106 = -0*i - 3*i + j. Is 9 a factor of i?
True
Suppose -5*s + 36 = -4*o, -s = -0*o - o - 8. Is 0/(6 + o) - -19 a multiple of 12?
False
Let m = -1014 + 1219. Does 20 divide m?
False
Let g be 2/(-7) + (-312)/(-14). Let w = 24 - g. Suppose -w*h + 31 = 9. Is 9 a factor of h?
False
Suppose 0 = 18*t - 6314 - 5962. Is t a multiple of 22?
True
Suppose 2*n - 15 = -3*n. Suppose 68 = n*m - 19. Does 6 divide m?
False
Suppose 3*x - 44 = 19. Suppose -5*r = 4*b - 104 - x, -5*b - 112 = -3*r. Let u = -16 + r. Is u a multiple of 9?
False
Let f = -514 - -1342. Is f a multiple of 29?
False
Suppose -5*k = -15*k + 6580. Suppose -7*b + 770 = -k. Is 12 a factor of b?
True
Suppose 11*f + 1725 - 9865 = 0. Is 23 a factor of f?
False
Suppose -5*v + 5 = -3*w, 0*v + 2 = -2*w + 2*v. Suppose -z + 6*z = w. Suppose -o + n + 17 = z, n - 2*n + 4 = 0. Is 8 a factor of o?
False
Is 80 a factor of (-2560)/(-96)*-6*31/(-2)?
True
Suppose -244 = 20*y - 22*y. Let z = 189 - y. Is z a multiple of 63?
False
Let d = 55 - 51. Does 13 divide ((-2)/d)/(2/(-664))?
False
Let y(u) = u**3 + 12*u**2 - 37*u - 25. Is y(-13) a multiple of 41?
True
Suppose 240 = -3*s + 5*m, -4*s - 5*m = 438 - 118. Does 11 divide -7 - s - (0 - 4)?
True
Suppose -h = 11 + 14. Does 16 divide 15/(h/5) - (2 - 67)?
False
Let z = 331 + -148. Does 13 divide z?
False
Let q(x) = 19*x + 25. Let f = 0 - -5. Let d(y) = -13*y - 17. Let v(j) = f*q(j) + 7*d(j). Is 24 a factor of v(7)?
False
Suppose 0*g + 3*h + 4 = -g, -4*h = -2*g + 22. Suppose 0 = 8*o - g*o - 108. Suppose -6*m + o = -18. Is 3 a factor of m?
True
Suppose -16*r + 6780 = -4*r. Is r a multiple of 62?
False
Let m(f) = 3*f - 3 + 6 + 8 - 2*f. Let t be m(-7). Suppose -t*i + 94 = -150. Is i a multiple of 9?
False
Let d be -10*(-24)/30*3/(-4). Does 12 divide (((-16)/d)/2)/(5/315)?
True
Let h(b) = -138*b - b**2 + 138*b. Let r be h(0). Suppose r*v - 110 = -5*v. Is v a multiple of 13?
False
Let m = 95 - 93. Is (m/(-2))/((-2)/(-1 + 261)) a multiple of 12?
False
Let v(y) = -y**2 + 43. Suppose 4*h = -f + 9, -4*f = -4*h - 0*f + 24. Suppose g + h*m + 3 = 0, 3 - 1 = -5*g - 2*m. Does 10 divide v(g)?
False
Let v(t) = 2 + 7*t**2 - 9*t + 13 - 2*t**2 - 2*t**2. Does 9 divide v(7)?
True
Is 26 a factor of (-2)/3 - ((-3417)/9 - 11)?
True
Suppose -c - c - x + 4 = 0, c - 2 = 3*x. Suppose 3*b + 141 = -2*v, -v - 4*b - 73 = -10. Is (0 - v)*c/5 a multiple of 9?
False
Let s(i) = -10*i**3 - 15*i**2 - 5*i - 1. Is s(-4) a multiple of 15?
False
Let h = 1533 + -1170. Is h a multiple of 11?
True
Suppose b - 2*b - 5*n = 26, 3*n + 12 = 0. Let a(g) = -19*g - 7. Let k(f) = f. Let m(t) = b*k(t) - a(t). Is 24 a factor of m(6)?
False
Suppose -4*n = 5*x - 29, x + 4*n = -3*x + 20. Suppose -49 - x = -m. Is 14 a factor of m?
False
Let k(w) = w**2 - 16*w + 22. Let v = 13 + -8. Let o(p) =