5*b, 0*b - 58 = v - 5*b. Let s be v/4*1*2. Let j = s + 66. Is j a multiple of 9?
True
Let b(r) be the second derivative of -r**3 + 43*r**2/2 + 14*r. Is b(6) a multiple of 4?
False
Let p = -3 - -65. Suppose -4*d = 2*r - p, 3*d = -0*d + 5*r + 79. Is 18 a factor of d?
True
Let d be (-40)/6 - 1*(-3)/(-9). Let g(s) = -s**2 - 13*s - 27. Is g(d) a multiple of 5?
True
Let f(z) be the first derivative of -z**2 - 4 + 10*z + 3*z**2 + 0*z**2. Does 22 divide f(6)?
False
Is 2 a factor of ((-6)/8)/((-23)/(57224/6))?
False
Does 2 divide ((-286165)/30)/(-43) - (-2)/12?
True
Suppose 150 = 4*i + 2*p, -p - 73 = -0*i - 2*i. Suppose -126 = -39*x + i*x. Does 14 divide x?
False
Suppose -3*g = -2*i - 0*i + 290, -2*i = -4*g - 292. Let q = -35 + i. Does 17 divide q?
False
Let x(c) = 2*c - 38. Does 2 divide x(23)?
True
Let s be (16/8)/((-2)/(-119)). Suppose -4*t + 3*m = -s, -2*t + 4*m = m - 67. Is t a multiple of 14?
False
Suppose -4*c + 3*q + 2*q - 4 = 0, -8 = 2*c - 4*q. Does 21 divide 145 - ((-10)/c - (-5)/10)?
True
Let g(q) = 216*q**3 - 7*q + 13. Does 9 divide g(2)?
False
Let k = -400 + 1554. Does 41 divide k?
False
Let h(r) = 3*r**3 + 91*r**2 + r + 12. Is h(-30) a multiple of 25?
False
Let r(b) = b**2 - 7*b + 11. Let p be r(6). Suppose -p*i + 88 = -332. Is i a multiple of 15?
False
Let q(y) = -9*y. Let m be q(-1). Let u(b) = -b**3 + 8*b**2 + 11*b - 13. Let t be u(m). Suppose 25 = t*c, -o + 37 = -3*c + 7. Is o a multiple of 15?
True
Suppose -9*m + 46 + 8 = 0. Suppose m*i - 111 = 249. Does 15 divide i?
True
Let d = 4900 - 3116. Does 23 divide d?
False
Let a(w) = -w**3 + 34*w**2 + 9*w - 8. Is 27 a factor of a(8)?
True
Suppose 0 = -3*n + 2*q + 14 - 4, -n + 10 = -2*q. Suppose 4*x = -b + 3*b - 514, n = 4*b + 5*x - 1067. Is 39 a factor of b?
False
Suppose 4*i + 10*v - 1092 = 14*v, -v = 0. Is i a multiple of 21?
True
Let y be (8/2)/((-20)/(-15)). Suppose 0 = -y*l - 0*l + 54. Is l a multiple of 18?
True
Suppose -3*u - 5*x = -28, -x = -5*u - 4*x + 20. Is 21 a factor of (-117)/3*(-1 - (0 + u))?
False
Let m(z) = -z**3 + 8*z**2 + 45*z - 8. Is m(11) a multiple of 4?
True
Let v(d) = 7*d**2 + 17*d + 48. Is 14 a factor of v(-5)?
False
Let z = 178 - 126. Does 3 divide z?
False
Let h = -9 - -13. Let t = h - -13. Let s = t - -11. Does 6 divide s?
False
Let m(s) = 1918*s**2 - 11*s - 1. Does 99 divide m(-1)?
False
Let y(u) = -1 - 8*u - 7 - u**3 + 11*u**2 - 7 + 11. Does 26 divide y(9)?
False
Let t(z) = z**3 + 4*z**2 - 6*z - 13. Is t(-4) a multiple of 4?
False
Let s(r) = -r**2 + 19*r - 28. Let h(y) = -y - 1. Let f(g) = -6*h(g) - s(g). Is f(19) a multiple of 7?
False
Let y = 175 + -65. Suppose -3*h = -85 - y. Is 13 a factor of h?
True
Let s(d) = d**3 - d**2 - d + 3. Let m = 10 + -10. Let q be s(m). Suppose -3*t = b - 10, -4*b = -b + q*t - 42. Is 8 a factor of b?
True
Suppose -4 = -w - 0*w. Suppose -w*o - 5*k + 178 - 41 = 0, -4*o = 3*k - 127. Is o a multiple of 14?
True
Suppose -39 = 4*m - 1775. Is m a multiple of 14?
True
Suppose 0 = -186*n + 184*n + 3252. Is n a multiple of 60?
False
Suppose -1808 = -3*x + v, 5*x + 5*v - 2014 - 986 = 0. Is 14 a factor of x?
True
Let u = -48 - -27. Let q = -39 - u. Let s = 26 + q. Is 8 a factor of s?
True
Let h be 4/8 + (-2004)/(-8). Let k = -175 + h. Does 19 divide k?
True
Let y(n) = 17*n**2 + 4*n - 12. Is 12 a factor of y(4)?
True
Let h be (-56)/(-35)*(-45)/(-6). Is 8 a factor of 6/36 - (-790)/h?
False
Suppose -4*h - 8 = 8, 0 = -2*w + 4*h + 26. Suppose 0 = w*c, -x + 2*x - 14 = 3*c. Suppose -x = -j - 0. Does 7 divide j?
True
Let u be (102/(-8))/((-13)/(-52)). Let c be (9/18)/((-2)/(-360)). Let p = u + c. Is 13 a factor of p?
True
Let i(t) = 2*t**2 - 70*t + 38. Does 36 divide i(37)?
False
Let p = 28 + -24. Is 21 a factor of (-3)/1 - (-180)/p?
True
Suppose d + 22 = 2*d. Suppose -5*c + 195 = -3*b, 0 = -c + 2*c - 4*b - d. Is c a multiple of 6?
True
Suppose -5*b = -97 - 113. Let t = 122 - b. Does 16 divide t?
True
Let s(c) = c**3 - 2*c**2 - 7*c + 3. Let n be s(5). Let i = n + -13. Is i a multiple of 12?
False
Suppose 174 = 4*g - 22. Is g a multiple of 3?
False
Let l(y) = 5*y + 4. Let o be l(2). Let r be 1*8 + (-14)/o. Suppose 5*q - 130 = 4*v, r*q - 3*q = -2*v + 104. Does 16 divide q?
False
Suppose 5*z + 3*n - 1 = 8, -2*z - 3 = -n. Suppose z = -5*s - 233 - 22. Let o = 81 + s. Is o a multiple of 11?
False
Let m = -272 - 44. Let n be (-1)/2 + m/(-8). Suppose -6 = -2*l - 3*j + 13, -3*l = j - n. Is l a multiple of 14?
True
Let f(d) = 6*d**2 + d. Let l = 3 + -2. Let p be f(l). Suppose 11 = 2*c + p. Is 2 a factor of c?
True
Let u = 145 - 33. Suppose i + 2*w - 21 = 0, 5*i - 5*w = u + 23. Is 3 a factor of i?
False
Let b(p) = p**2 + 7*p. Let k be b(-7). Suppose 2*z + 2 = -k. Does 31 divide (35 - 4)*z*-1?
True
Let p be (-4)/(-1) - (5 - 101). Let g = p + 44. Is 24 a factor of g?
True
Let m(b) = -2*b - 10. Let g(u) = -2*u - 9. Let f(w) = 3*g(w) - 4*m(w). Is f(13) a multiple of 6?
False
Let d be 4/(-12)*1*-3. Let f(h) = 3*h**2 - 2*h + 1. Let z be f(d). Is 5 - (-1 - -2 - z) a multiple of 6?
True
Suppose l = 2*q - 15, 3*l = 2*q + 2*q - 27. Let v(g) = -9*g - q - g**3 - 2*g**3 + 2*g**3 + 8*g**2 + 2*g**2. Is v(7) a multiple of 25?
True
Let m = 1799 + -1223. Does 72 divide m?
True
Let m(l) = l**3 - 3*l**2 - 2*l + 7. Let y(o) = -2*o**3 + 5*o**2 + 5*o - 13. Let p(d) = -5*m(d) - 2*y(d). Is p(4) a multiple of 5?
False
Suppose 14*s - 15*s + 4 = 0. Is 19 a factor of (-2 + 1)*186/(-4)*s?
False
Let v(u) = 63*u**2 - 8*u + 1. Is v(2) a multiple of 6?
False
Suppose 2*a = r + 318, 2*a - 3*r - 411 = -93. Is 23 a factor of a?
False
Let w(k) = k - 55. Let x be w(-6). Let f(u) = -5*u - 5. Let l be f(5). Let y = l - x. Does 11 divide y?
False
Let v(i) = 2*i**2 + 28*i - 8. Let x(z) = -3*z**3 + z**2 + 2*z + 1. Let b be x(2). Is v(b) a multiple of 7?
False
Suppose 84 = 2*m - 680. Let y = m - 267. Suppose 11*p = 16*p - y. Is p a multiple of 9?
False
Let m(o) = -o**3 + 16*o**2 - 2*o + 23. Is m(13) a multiple of 24?
True
Is 11 a factor of 239 + (-10)/4*66/(-55)?
True
Suppose 5*i = 2*d + 105, -5 = -i - 4*d - 6. Suppose -5*a - i = 26. Let n(s) = s**3 + 8*s**2 - 11*s - 4. Is 9 a factor of n(a)?
False
Let o(b) = 2*b - 46. Let f be o(23). Suppose f*i - 4*i = -1096. Is 43 a factor of i?
False
Is 66 a factor of -5*((-660)/35)/((-10)/(-28))?
True
Let c = 66 + -61. Suppose -4*o = -c*k + 855, 3*k - 159 = 5*o + 341. Does 14 divide k?
False
Let p(u) = u**3 + u + 1. Let t(b) = 5*b**3 + 18*b**2 + 22*b + 16. Let w(f) = 4*p(f) - t(f). Is w(-17) a multiple of 4?
False
Let f(t) = -t**2 + 8*t + 11. Let p(d) = -7*d - 5. Let u be p(-2). Let l be f(u). Is 10 a factor of 41/l - (-6)/(-12)?
True
Let t = 3 + 0. Suppose -t*d + 1 + 398 = 0. Is d a multiple of 19?
True
Suppose -5*o = -34 + 9. Suppose -o*n - 5*h = -153 - 47, 9 = -3*h. Is 8 a factor of n?
False
Let d be 7/(-14) - (-5)/2. Suppose -17 + 49 = d*l. Is l a multiple of 8?
True
Let r be 6/(-5) + 219/(-5). Let m be 1 - (-104 - 0/(-2)). Let w = r + m. Is w a multiple of 12?
True
Let w be (-46)/(-8) - (-1)/4. Let x(q) = 4 - 2*q**2 - q**3 + 86*q + 8*q**2 - 80*q. Is x(w) a multiple of 8?
True
Let t(r) = r**2 + 5*r + 10. Let s be -4 - -3 - -3*1. Suppose s = -2*y - 16. Is 12 a factor of t(y)?
False
Let n = 21 - 17. Suppose n*t + 0*t - 24 = 0. Is 2 a factor of t?
True
Suppose 218 = j + p, 4*p + 640 = -2*j + 5*j. Suppose -g + 73 = -n, 3*n - j = -3*g + 5*n. Does 14 divide g?
True
Suppose 375 = -0*y + 3*y. Let v = y + -70. Does 11 divide v?
True
Let g = 3760 - 2115. Is g a multiple of 24?
False
Does 8 divide 0 - 2 - 1 - -260?
False
Let h(v) = 3*v**3 + 10*v**2 + 14*v + 6. Let p(o) = 10*o**3 + 31*o**2 + 43*o + 18. Let s(j) = -7*h(j) + 2*p(j). Is s(-8) a multiple of 34?
False
Suppose 4*p + 328 = n + n, 4*p + 338 = -3*n. Let j = 105 + p. Does 22 divide j?
True
Suppose 12*y + 7056 = 19*y. Does 56 divide y?
True
Suppose r = 0, 423 = 3*l + 31*r - 28*r. Is 47 a factor of l?
True
Is (-224793)/(-243) + (-2)/27 a multiple of 25?
True
Suppose -4*j + 20 = -0. Suppose -j*i + 766 = -3*r, 3*i - 171 = -3*r + 279. Is 19 a factor of i?
True
Suppose 4*v = 2*g + 272, 3*g + g - 366 = -5*v. Suppose 0 = 2*q + 4*n - v, 4*q = -2*n + 6*n + 140. Is 10 a factor of q?
False
Let l(h) = 6*h + 4. Suppose 10 = 9*v - 7*v, t = v + 6. Is 5 a factor of l(t)?
True
Let k(i) = 7*i + 19. Let x(u) = 14*u + 38. Let a(t) = 