t q(i) = -3*i**2 + 3*i + 2. Let x(p) = 2*b(p) + 9*q(p). Let j be x(4). Suppose -j*a - 30 = -6*a. Does 2 divide a?
False
Let l(s) be the second derivative of s**3/6 + s**2 + 20*s. Let o be l(0). Suppose 0*d = o*d - 20. Does 6 divide d?
False
Let w(s) = 5*s - 5. Suppose 6*h + 0 = -354. Let d = 74 + h. Is 9 a factor of w(d)?
False
Suppose -19959 - 841 = -10*y. Is y a multiple of 8?
True
Let z(i) = 60*i + 109. Let r be z(-6). Let y = 444 + r. Is 53 a factor of y?
False
Let f(m) = 3*m**2 + 48*m + 1327. Is f(-26) a multiple of 140?
False
Let j(y) = -y**3 - 11*y**2 + 27*y - 11. Let a be j(-11). Let m = 658 + a. Suppose -2*o = -m + 94. Does 32 divide o?
True
Suppose -4*b + 171420 = w, 0 = 3*b - 3*w + 39047 - 167627. Does 44 divide b?
True
Suppose 12*s = 201 - 129. Let v(h) be the third derivative of 13*h**4/24 - 6*h**3 + h**2. Does 14 divide v(s)?
True
Suppose 4*f + 24 = 2*u, -u + 4*f - 6 = -28. Suppose -4*j - j = -4*w - 903, u*j + w = 356. Is 21 a factor of j?
False
Let g(d) = 5*d**2 - 4*d + 1. Let b be g(1). Suppose b*p = -s + 1030, 3*p + 4*s + 30 = 1565. Does 11 divide p?
True
Let z(k) = k**2 - 3*k**2 - 1 - 5*k**3 - k**2 + 4*k**2 - k. Let m be z(-2). Suppose -6*f - 3*f = -m. Is f a multiple of 2?
False
Suppose -24*a + 16*a - 4304 = 0. Let r = a - -754. Is r a multiple of 9?
True
Let m = -4 + 6. Suppose n = m*y + 6*n + 14, 0 = y + n + 7. Is (582/y)/(-2) - (-24)/56 a multiple of 6?
True
Let w(d) be the second derivative of d**5/20 - 3*d**4 - 19*d**3/3 + 119*d**2/2 + 17*d + 6. Is w(37) even?
True
Let r be (-2)/(-17) + 41384/238. Let z = 251 - r. Does 20 divide z?
False
Let k(i) = -8*i + 1. Let h(p) = 4*p - 1. Let f(d) = -9*h(d) - 4*k(d). Let t = 20 + -23. Does 2 divide f(t)?
False
Suppose 3*r - 17 = 2*o, 3*r + 5*o + 11 = -0. Suppose 2*j - 18 = -r*p - j, 4*j = -2*p + 16. Suppose -2*x = -4*t - t - 333, p*x + 3*t = 705. Does 29 divide x?
True
Let z = -76 + 80. Suppose -z*c = -c - 2283. Does 27 divide c?
False
Suppose 240102 + 76511 + 173226 = 19*y. Is 14 a factor of y?
False
Let k = -20 + 9. Let u(w) = -21*w - 95. Is u(k) a multiple of 14?
False
Suppose 4*b + 2*r - 46 = 0, 4*b = 2*b - 4*r + 32. Suppose 4*d - 6*t + b*t = 2588, -4*d + 3*t = -2616. Is 45 a factor of d?
False
Let o(d) = 8*d - 15. Let s be o(0). Is 17 a factor of s/3 + 86 + 4?
True
Let g = -33 - -37. Suppose -5*z + 22 + 78 = 5*n, -g*z + 58 = 3*n. Let y = n - -18. Is y a multiple of 8?
True
Let u(j) = 29*j**2 + 12*j - 60. Is u(8) a multiple of 86?
True
Suppose k + 2 = -0. Let g be 1/k - 38/4. Does 18 divide (-1092)/(-60) - (-2)/g?
True
Let q be 1/(-6) + (-95)/(-30). Suppose -1014 = -q*u - 0*u + 3*p, u - 334 = -p. Does 28 divide u?
True
Let a be (-11 - 2)*(5 + 22 - 4). Let r = -204 - a. Is r a multiple of 34?
False
Let h(f) = -72*f**3 + f**2 - f. Let i be h(-1). Let y = i - 70. Suppose 83 = y*s - 157. Is s a multiple of 15?
True
Let s(d) = 3*d**3 + d - 2. Suppose -4 = -2*h, -2*o + 4 = 3*h - 4. Let g be s(o). Suppose -g*u + p = -5*u + 16, -u - p + 8 = 0. Is u a multiple of 2?
True
Suppose 3*q = -5*n + 43, 4*n = 4*q - 9*q + 50. Does 16 divide (-4*25)/(3 - 24/q)?
False
Let m = -2 - -5. Suppose 0*d - 12 = -6*d. Suppose 398 = 3*t + 5*g, -d*t + 196 = -m*g - 44. Is t a multiple of 18?
True
Let w = -921 + 933. Is (-86135)/(-138) - 2/w a multiple of 26?
True
Let g(t) be the third derivative of -t**4/6 - 13*t**3/3 - 37*t**2. Let z be g(-11). Suppose y - z = 23. Does 11 divide y?
False
Let f be (3140/(-6))/(2/(-18)). Suppose 9*z = 14*z - f. Suppose 0 = -9*v + 6*v + z. Is 45 a factor of v?
False
Let j(h) be the third derivative of -7*h**5/30 + 5*h**4/12 + 3*h**3/2 - 3*h**2. Let s be j(-1). Let z(t) = t + 29. Is z(s) a multiple of 4?
False
Suppose -21*l = -13*l - 85712. Is 22 a factor of l?
True
Let p = -722 + 1025. Suppose 10*h - p - 677 = 0. Is h a multiple of 2?
True
Let m = -1952 - -13236. Is 52 a factor of m?
True
Let s = -84 + 129. Let r = s + -43. Suppose 0 = -2*b - 2, 2*h - 4*h + 252 = r*b. Is 16 a factor of h?
False
Suppose -2*o + 4*c + 32 = 20, -3*c = 15. Is (9/(-9))/(o/20) + 315 a multiple of 20?
True
Let z(s) be the second derivative of -19*s**3/3 + 12*s**2 - 134*s. Is z(-5) a multiple of 8?
False
Let m = -32762 + 57201. Does 61 divide m?
False
Let t(b) = -b**2 + 13*b - 6. Let d be t(12). Suppose 129 = 3*o - d*o. Is 18 a factor of 1 - ((-2 + 0)*-2 + o)?
False
Let r = 359 + -357. Suppose v - 6*v + 525 = 2*b, -v = -r*b - 93. Is 10 a factor of v?
False
Let y(b) = -b**2 - 21*b + 29. Let t be y(-22). Suppose 2*z - 19 = k, 3*z - t*k - 41 = -3*k. Suppose -216 = -x - z*x. Is 24 a factor of x?
False
Suppose 0 = -z - 3*g + 35 - 7, -4*g + 56 = 2*z. Suppose 24*t - 17*t = z. Suppose t*r = 108 - 44. Does 5 divide r?
False
Suppose 3*q + 3*a = 13410, 5*q = 2*a - 4*a + 22362. Does 44 divide q?
False
Let g be (5 + -2)/(6/4). Suppose 4004*c = 3996*c. Suppose 4*n - 2*p = 444, -4*n + c*p + 436 = g*p. Is 10 a factor of n?
True
Is 47 a factor of 45/75 + (-1 - 66744/(-10))?
True
Is 507536/22 - 4*36/(-792) a multiple of 43?
False
Let z(u) = 8*u**2 - 48*u - 406. Is 12 a factor of z(18)?
False
Suppose -137 = 4*r - 145. Suppose -683 - 667 = -r*s. Is 25 a factor of s?
True
Let b = -36 + 235. Let r = -131 + b. Is 4 a factor of r?
True
Let j = -1032 + 10790. Does 7 divide j?
True
Suppose -3*f = 9, 4*n + 3*f = 8*n - 11969. Does 23 divide n?
True
Is -1 - (1065/(-2))/((-38)/(-76)) a multiple of 38?
True
Suppose 0 = -4*g + 3*y + 5803, -5*g + 5797 = -g - 5*y. Suppose -3*u + 266 = -3*t - g, -1718 = -3*u + 2*t. Is 14 a factor of u?
False
Let n(i) = -1326*i**3 + 5*i**2 + 42*i + 57. Does 24 divide n(-2)?
False
Suppose -16 - 14 = -10*s. Suppose 185 = -s*p + 230. Does 3 divide p?
True
Let t(d) = 247*d + 287. Let c(w) = -122*w - 143. Let m(o) = 5*c(o) + 2*t(o). Is 44 a factor of m(-6)?
False
Let h = -186 - -196. Does 2 divide (29/(145/62))/(4/h)?
False
Suppose -49*r - 267*r + 229416 = 0. Is r a multiple of 11?
True
Suppose 0 = 5*q + 1655 - 2325. Suppose 826 + q = 2*k. Is 30 a factor of k?
True
Suppose -22*h + 24*h - 786 = 0. Does 9 divide (0 - -1)/((-1176)/h - -3)?
False
Suppose -2*y - 2*y = -2*r - 20, 0 = 5*y + r - 11. Suppose 3*x + y*b - 780 = 0, -2*x + 0*b + 512 = 4*b. Does 25 divide x?
False
Let a(n) = n**2 - 9*n. Let y be 5 + -4 + -1 - -12. Let k be a(y). Suppose 8*q + k = 10*q. Is q a multiple of 14?
False
Suppose 0 = 4*d + z - 150, -4*z - 115 = -3*d - 6*z. Suppose 25 = f - d. Suppose f + 114 = 2*y. Is y a multiple of 8?
True
Suppose 0 = 24*o - 151858 - 253786 - 9940. Does 26 divide o?
True
Let m be -3*5*1*(-25594)/(-335). Let b = -401 - m. Does 47 divide b?
False
Let v(p) = 52*p + 22. Let a be v(18). Suppose n + n = -4*w + a, 4*n = 5*w - 1204. Suppose -2*y = -6*y + w. Does 20 divide y?
True
Let r = 2672 + -2541. Is r a multiple of 2?
False
Suppose 12*b + 21 + 3 = 0. Let k(f) = -64*f - 23. Is 10 a factor of k(b)?
False
Let n be ((4 + -3)/1*0)/(-1). Does 6 divide 1/((-2)/500)*(-1 - n)?
False
Let x(j) = 3*j**2 - 88*j + 1000. Is 3 a factor of x(31)?
True
Suppose -4*k - 24 = -4*j, 4*j = 5*j + 1. Let y be 8/(-2) + k + 26. Let d = y - -30. Is 9 a factor of d?
True
Suppose -27 = -5*p - 3*y - 32, 4*y = -20. Suppose 0 = p*u - a - 72, -4*a - 33 = -u - 5*a. Is 2 a factor of u?
False
Let u(s) = -s**3 + 9*s**2 + 10*s. Let q be u(10). Suppose -3*m + 269 + 16 = q. Suppose 2*y + 125 = 6*y + 3*t, -2*t = 3*y - m. Does 21 divide y?
False
Let y(a) = -6*a**3 - 15*a**2 + 18*a - 2. Let c(s) = -17*s + 9 + 5*s**3 - 19 + 14*s**2 + 12. Let n(w) = 5*c(w) + 4*y(w). Does 15 divide n(-9)?
False
Let i(v) be the first derivative of -14*v**2 + 60*v - 142. Is 4 a factor of i(2)?
True
Let v(f) = -1129*f + 1129*f - 2 + 14*f**2. Let g be v(-2). Let b = g + -24. Is 10 a factor of b?
True
Suppose -3*m - 4*n = -17898, 4*m = -32*n + 34*n + 23886. Is m a multiple of 15?
True
Let f be -6*6/126 + 90/21. Suppose y = -5*z - 4*y + 2945, -574 = -z + f*y. Is z a multiple of 15?
False
Is (4 + 393)/((-11 + 0)/(-253)) a multiple of 14?
False
Suppose 2*b + 4*h = 6*b, 4*h = -4*b. Suppose b = -q - 0 + 33. Suppose -31*z - 46 = -q*z. Is z a multiple of 3?
False
Suppose 3087 = 4*x - 433. Suppose -62*n = -73*n + x. Is 16 a factor of n?
True
Let p(n) = -n + 14. Let s be p(7). Let q(j) = -4*j**2 + 1528*j + j**3 + 1 - 3*j**2 + 3*j**2 - 1545*j. Does 6 divide q(s)?
False
Let m(g) be the fir