 - 15/2. Is 27 a factor of c(p)?
False
Let m = -116 + 134. Is m a multiple of 18?
True
Suppose -d + 4*y = 9*y + 11, -2*d - 3*y - 8 = 0. Let t(m) = 44*m**2 + m. Is 33 a factor of t(d)?
False
Let x be (-1 - 6*19)*(-21)/35. Suppose 2*o = 5*t + x, 72 = 2*o - o + 5*t. Is o a multiple of 6?
False
Let u(w) = 3 - 5*w - 3*w**2 + w - 2*w**3 + 0*w + 3*w. Let b be u(-2). Let p(o) = -o**3 + 10*o**2 - o - 14. Is p(b) a multiple of 16?
False
Let a = -6 + 9. Suppose -34 = -2*k - l, -a*k - 2*l + 5*l + 51 = 0. Does 5 divide k?
False
Suppose 0 = -5*b + b + 368. Suppose 0*n = 4*n - b. Let v = n + 34. Does 18 divide v?
False
Let g(h) = -30*h + 40. Is g(-10) a multiple of 85?
True
Suppose -4*y + 194 - 22 = 0. Let v = 27 + -15. Let d = y - v. Does 17 divide d?
False
Let c(p) = p**3 + 7*p**2 - 8*p + 4. Let r(n) = 2*n**3 + 15*n**2 - 17*n + 8. Let z(m) = -13*c(m) + 6*r(m). Let u be z(-3). Is 14 a factor of (-2)/(-4)*u*7?
True
Suppose 8*s = 4*s + 1120. Suppose -553 = -4*w - j, -3*w - 4*j = -w - s. Does 29 divide w?
False
Suppose 0*l + 4*a = 5*l - 423, 5*a + 10 = 0. Suppose -6*b + l = -b - 4*w, -2*b = 3*w - 24. Let t(x) = x - 1. Is t(b) a multiple of 14?
True
Suppose 2*u = 244 - 194. Is u even?
False
Let o(r) = -8*r**3 - 23*r**2 - 14*r + 11. Let z(l) = 3*l**3 + 8*l**2 + 5*l - 4. Let b(y) = -4*o(y) - 11*z(y). Is 2 a factor of b(3)?
True
Let h = 33 - -177. Is h a multiple of 7?
True
Let w be 4/(10/(-175)*-5). Suppose -24 = -w*b + 13*b. Does 24 divide b?
True
Does 14 divide (-5)/(150/(-24336)) + (-40)/(-50)?
True
Let o = -18 + 20. Suppose -o*m + 2*c = -524, -4*m - 682 = 5*c - 1757. Does 35 divide m?
False
Suppose 5*n - 1923 = 5*q + 1717, 5*q = 4*n - 2914. Is n a multiple of 33?
True
Suppose 4*u + 12 = 116. Let q = u + 14. Is q a multiple of 4?
True
Let m(z) = 7*z**2 - 21*z - 1. Suppose 2*f - 4*f + 8 = 0. Let l(r) = 3*r**2 - 10*r - 1. Let t(v) = f*m(v) - 9*l(v). Does 12 divide t(5)?
True
Let q(s) be the first derivative of 19*s**5/20 + s**4/12 + s**3/6 - s**2/2 - 7*s + 4. Let k(o) be the first derivative of q(o). Is 5 a factor of k(1)?
True
Let j = 1483 + -748. Does 24 divide j?
False
Suppose 5*a + 21 - 41 = 0. Let d be (-2 - 2)*-13 - -2. Suppose a*h = 7*h - d. Does 9 divide h?
True
Let p be 4/(-42)*-3 + 16436/98. Let y = -103 + p. Is y a multiple of 5?
True
Suppose 2*t - 55 = 3*t. Does 20 divide (-25)/2*88/t?
True
Suppose -3454 = -n - 10*n. Is n a multiple of 7?
False
Let t(a) = -295*a**3 + 4*a**2 + 4*a + 2. Is t(-1) a multiple of 11?
True
Let h(v) be the third derivative of v**7/2520 - v**6/180 - v**5/15 - v**4/8 + 5*v**2. Let k(m) be the second derivative of h(m). Is k(7) a multiple of 13?
True
Let h(x) = 4*x + 54. Let b be h(-15). Is 12 a factor of 51*(-10)/b + 1 + -2?
True
Let h = 383 - 135. Does 8 divide h?
True
Suppose 11*x - 7921 = -1057. Is x a multiple of 10?
False
Let l be 60/(158/(-76) + 2). Does 21 divide (l/(-15))/(-8)*-9?
False
Let x = 221 - 128. Let j = x - 51. Is j a multiple of 5?
False
Let g(i) = -16*i**3 - 8*i**2 + 6*i - 4. Let m(c) = 17*c**3 + 9*c**2 - 7*c + 5. Let v(j) = -6*g(j) - 5*m(j). Let k be v(1). Let n = 16 - k. Is 4 a factor of n?
True
Is 831 + (-6 - (-21)/(-7)) a multiple of 9?
False
Suppose 14 = 2*g - 5*b, b = -3*g + 5*b + 14. Let t be 8/12*9 + g. Let o = 47 + t. Does 14 divide o?
False
Is (-18)/(-60)*1816/(-12)*-5 a multiple of 7?
False
Suppose 0 = 102*o - 9996 - 348534. Is o a multiple of 25?
False
Let a = 1817 + -1675. Does 6 divide a?
False
Suppose 3514 = 2*w - 3*h, -4*w + 7036 = -19*h + 17*h. Is w a multiple of 5?
True
Suppose -40*q + 75 = -39*q. Is q a multiple of 8?
False
Let h be 2/15 - 336/(-180). Suppose h*z = -2*z + 472. Is 33 a factor of z?
False
Let g(n) = -n**2 - 6*n - 15. Let f be g(9). Let m = -31 - f. Does 16 divide m?
False
Let q(x) = 15 - 12 - 12*x + 34*x. Is 19 a factor of q(4)?
False
Let n(c) = 15*c**2 - 55*c + 55. Let z(f) = 3*f**2 - 11*f + 11. Let i(s) = -2*n(s) + 11*z(s). Is 15 a factor of i(6)?
False
Let z(w) = -w**3 - 3*w**2 + w - 2. Suppose -3 = -s - 7. Let x be z(s). Does 14 divide 4/x + 699/15?
False
Suppose -2220 - 330 = -3*t. Does 17 divide t?
True
Is 1/(915/(-229) - (19 - 23)) a multiple of 13?
False
Suppose -15*v + 14*v + 4*d = -159, 0 = 2*v - 4*d - 314. Is v a multiple of 8?
False
Suppose -2 = 2*x - 8. Suppose d - 179 = -5*y, -x*d + 2*d - 3*y = -177. Let s = -98 + d. Is s a multiple of 20?
False
Suppose 2*u - 10 = k, -5*u + 12 = -4*k - 19. Suppose u*l = 2*l + 160. Let v = l - 89. Does 25 divide v?
False
Let x(p) = p**2 + 13*p + 24. Let n(u) = -u**2 - 12*u - 23. Let i be 6/18 - (-30)/(-9). Let g(a) = i*x(a) - 4*n(a). Is g(-9) a multiple of 4?
True
Suppose 6*w + 15*x = 13*x + 7540, 0 = 3*w - 3*x - 3786. Is w a multiple of 37?
True
Suppose 1389 = 10*z - 931. Does 15 divide z?
False
Let s = 294 - 196. Let w(m) = -2*m**2 - 28*m - 24. Let c be w(-11). Let q = s - c. Is 14 a factor of q?
True
Suppose 2*m = -3*t - 2 - 0, -40 = -4*m + 5*t. Suppose -m*d = 6*d - 1078. Does 14 divide d?
True
Suppose -z + 3*p = z - 2942, 2*z + 3*p - 2966 = 0. Is 58 a factor of z?
False
Let r(d) = d**2 + 12*d + 13. Let w be 7*(-4 + (-48)/(-21)). Does 13 divide r(w)?
True
Let f = 166 + -86. Does 24 divide f?
False
Let l(d) = -d**3 - 17*d**2 - 27*d - 33. Is 20 a factor of l(-16)?
False
Let v = 502 + -313. Does 21 divide v?
True
Let q = 229 + -78. Is 22 a factor of q?
False
Let b(x) = 2*x**2 - x**2 - 7 + 9*x - 13*x. Does 19 divide b(9)?
True
Let a(z) = 4*z**2 - 2*z + 1. Let h be 12/5 - (-6)/(-15). Does 5 divide a(h)?
False
Suppose -v + 85 = -0*v. Suppose -4*k + v = -k + 4*g, 2*k + g = 55. Is 9 a factor of k?
True
Suppose -4*b + v = -2, -5*b + 2*v + 3 = v. Is 4 a factor of b/10 - (-99)/10?
False
Let i(d) = 3*d**2 - 7*d. Let g be i(3). Suppose g*z - 22 - 2 = 0. Does 4 divide z?
True
Suppose -3*k + 4*p = -1697, 5*k + 43*p - 44*p - 2834 = 0. Does 27 divide k?
True
Let s = -6 - -6. Let q be (s - (1 - 3))*1. Suppose -q*a + 0*a = 3*u - 29, -49 = -2*a + u. Does 13 divide a?
False
Is (1198 - 6 - 7) + -5 a multiple of 57?
False
Suppose 30*d - 552 = 28*d. Is 26 a factor of d?
False
Suppose 5*d + 15 = 3*i, 2*i - i = 5. Suppose -5*h + 57 + 108 = d. Is 9 a factor of h?
False
Suppose -4*g = -3*g + 9*g. Suppose 15*h - 21*h + 300 = g. Is h a multiple of 50?
True
Let w(m) = m**2 + 16*m - 39. Let i be w(-18). Is (18 + 2)*(4 + i) a multiple of 5?
True
Let m(w) = -7*w - 1. Suppose 5*x - 20 = -5*v, 3*v = 3*x - 19 + 1. Is m(v) a multiple of 3?
True
Let y(a) = -a**3 + 14*a**2 + 8*a - 37. Let n be y(13). Let x = n - -10. Is x a multiple of 30?
False
Let o(p) = -p - 1. Let w(l) = 14*l + 8. Suppose 0 = -2*g - u + 5, 3 = -2*g + 3*u - 4. Let v(n) = g*w(n) + 6*o(n). Is v(11) a multiple of 30?
True
Suppose -95 = -4*g + 41. Let x be -3 + 0 + (-35)/(-5). Suppose -3*m = -y - 109, -x*y + 20 = 2*m - g. Does 9 divide m?
False
Is 11 a factor of 80/(-920) + 4004/23 + 2?
True
Suppose 948 = -7*x + 1221. Is 3 a factor of x?
True
Suppose 0 = -26*f + 42*f - 6384. Does 57 divide f?
True
Let n = -24 - -150. Let o = -84 + n. Is 3 a factor of o?
True
Suppose 19*g = 4*g + 2895. Is 7 a factor of g?
False
Let f be 118*4/(-16)*-2. Suppose -5*j = 2*o - 4*o - 349, -j = -4*o - f. Suppose 2*k = 59 + j. Is 17 a factor of k?
False
Suppose 2*n - 7*n = 3*z + 1000, 3*z + n = -980. Let b = -149 - z. Is b a multiple of 16?
True
Let g(c) = 73*c - c**2 + 2 - c**3 - 29*c - 20*c - 25*c. Let v(h) = h - 4. Let i be v(2). Is 8 a factor of g(i)?
True
Let x(y) = y**3 + 2*y**2 + 2*y - 8. Let i be x(0). Let n(d) = -23*d - 16. Is n(i) a multiple of 24?
True
Let h = -187 + 637. Suppose a - 3*a = 0, -a - h = -5*p. Is 30 a factor of p?
True
Let u(g) = g**3 - 21*g**2 - 10*g + 68. Is 28 a factor of u(23)?
True
Let a = 1236 + -690. Is 14 a factor of a?
True
Does 30 divide 469 + (-126)/(-28)*(-4)/(-3)?
False
Let n(w) = -w**3 + w**2 - 3*w - 5. Suppose -26*l + 22*l = 12. Does 19 divide n(l)?
False
Let f be -15 + (-1 + 5 - 3). Let h = -3 - f. Let k(x) = x**2 - 10*x + 5. Is k(h) a multiple of 16?
True
Let v be 2*((-20)/8 - -4) + -12. Is 8 a factor of (1 - (-12)/v) + 866/6?
True
Suppose 15016 = 5*v + 4381. Suppose 697 = -10*y + v. Is 13 a factor of y?
True
Let j be ((-44)/3)/((-8)/12). Suppose -4*c + 122 = j. Is 25 a factor of c?
True
Let w(v) = 4*v**2 + 19*v - 2. Let c be w(-10). Suppose -6*r + c = -50. Is r a multiple of 