 + 39*o**2 + 97*o - 23. Is h(41) a multiple of 31?
False
Suppose 4*p + i - 213 = -p, -2*p + 72 = -4*i. Suppose -2*h = 4*w + p, 4*h - 23 - 23 = 5*w. Let k(s) = -2*s - 13. Is k(w) a multiple of 3?
False
Let u(t) be the first derivative of t**4/4 + 11*t**3/3 + 2*t**2 + 3*t + 3. Let n be (-8)/10 + 322/(-35). Does 9 divide u(n)?
True
Suppose 0 = -3*m + 230 + 94. Does 9 divide m?
True
Let a(d) = d + 73. Let f be a(24). Suppose 7*h = 218 + f. Is 5 a factor of h?
True
Suppose 0 = 39*z - 43*z + 5768. Does 21 divide z?
False
Suppose 6*n - 10 = -22. Let p = n + 44. Is p a multiple of 21?
True
Let i = -4 + 6. Suppose 0*u = 3*f + i*u - 3, -4*f = -2*u + 10. Does 9 divide ((-22)/(-2))/(f/(-1))?
False
Let t(l) = 3*l - 21. Let u be t(8). Let h(a) = -3*a + 5*a**2 - 2*a + 1 + 5*a - 4*a - a**3. Is 7 a factor of h(u)?
True
Let f(s) = 4*s + 12. Let i be f(-10). Let c be (-8)/i + (-290)/(-14). Is ((-3)/2)/(c/(-896)) a multiple of 21?
False
Let t(r) be the third derivative of -r**6/40 - r**5/60 - r**4/4 - 5*r**3/6 - 4*r**2. Let c be t(-4). Suppose i = -4*i + c. Does 14 divide i?
False
Is 18*(72/9 - -65) a multiple of 20?
False
Suppose 28*b + 16*b - 46816 = 0. Is 92 a factor of b?
False
Let n(m) = -7*m**2 - 158*m - 38. Is 18 a factor of n(-20)?
False
Let f(o) = 23*o - 22. Let c be f(14). Let g(d) = d**2 + 2*d - 4. Let u be g(-4). Suppose -c = -u*j - j. Does 17 divide j?
False
Let u = -160 + 226. Is 22 a factor of u?
True
Suppose 0 = 10*z - 5*z + 135. Suppose 10 = -r - c, -r - 2*c = -5*r - 34. Let o = r - z. Is 9 a factor of o?
True
Let c(j) = -j - 18. Let h be c(-10). Let o = h + 12. Suppose -o*t + 8*t = 244. Does 18 divide t?
False
Let h be (-2)/(-8) - 95/(-20). Suppose 10*c - h*c - 20 = 0, 5*c = 4*i - 228. Is 53 a factor of i?
False
Suppose 3*i + 3 = 0, 16*j + 5085 = 21*j - 5*i. Does 27 divide j?
False
Suppose 4*j = -r + 12 + 3, -2*r = -4*j + 6. Suppose f - z = 12, -5*f - 5*z = -f - r. Suppose f*d - 13 = 4*d - 2*h, 3 = -3*h. Is 2 a factor of d?
False
Suppose 0 = -2*y - 0*y - 46. Let t = y - 45. Is 12 a factor of ((-6)/(-4))/((-3)/t)?
False
Let c = -2 - 3. Let w(k) = 2*k**2 - 6*k - 1. Is 16 a factor of w(c)?
False
Let v(i) = 10*i**3 + 4*i**2 + 5*i - 4. Is v(4) a multiple of 45?
True
Suppose -8*a - 1893 = -4*w - 3*a, -3*a - 1416 = -3*w. Does 3 divide w?
False
Let h(s) = 5*s**3 - 18*s**2 + 10*s + 9. Is 19 a factor of h(7)?
True
Let n = 11 - 20. Let l = -4 - n. Does 2 divide l?
False
Suppose 4*g - 73 = -3*a + 44, -4*g + 4*a + 124 = 0. Is 15 a factor of g?
True
Suppose -6*g + 32 = -8*g. Let l be 15*(3 + (0 - 2)). Let p = l - g. Is p a multiple of 20?
False
Let f(c) = 7*c**3 - 7*c**2 + 4*c + 3. Let d be f(4). Suppose d = -r + 4*r + 5*n, -4*r - 4*n = -476. Does 6 divide r?
True
Let v = -71 + 197. Suppose -v = -155*y + 152*y. Does 14 divide y?
True
Let f be 26/(-6) - 1/(-3). Let i(t) = t**3 + 3*t**2 - 6*t - 3. Let d be i(f). Suppose 4*y - 32 = -5*a, d*a + y - 36 = -y. Does 3 divide a?
False
Let r(t) = -t - 4. Let w be r(-10). Suppose -w*g - g + 2800 = 0. Is 15 a factor of g?
False
Suppose -5*h + 5*r = -5, -r - 3 = -6*h + 3*h. Let y(n) = 2 + n + n - h. Is 15 a factor of y(7)?
True
Suppose -3*a = -31 - 14. Let m = a + -5. Suppose 6*d - 7*d = -m. Is d a multiple of 9?
False
Suppose 0*o + 5*o + 316 = -3*r, r = -2*o - 107. Let q = -63 - r. Is 3 a factor of q?
False
Let b = -1251 - -2971. Is 10 a factor of b?
True
Suppose 0 = -10*r + 4751 + 11449. Is 90 a factor of r?
True
Let u(i) = i + 3. Let z be u(9). Is (-3840)/(-17) - z/(-102) a multiple of 35?
False
Is 5 - (4/(-4) - 19) even?
False
Suppose 3*o = 2*t - 1122, -5*o + 2*o = 4*t - 2208. Let k = t - 375. Is k a multiple of 18?
True
Suppose 3 = 5*i + 4*v + 6, 9 = 3*v. Suppose 5*k - 64 = 6. Let z = i + k. Does 11 divide z?
True
Let b(r) be the first derivative of 25*r**4/4 - 2*r**3/3 + r - 5. Let v be b(1). Let l = 72 - v. Does 16 divide l?
True
Does 21 divide 29920/100 - (-2)/(-10)?
False
Suppose z - 5*x = 29, -3*z + 7*z - 3*x - 82 = 0. Let k = -8 + z. Suppose -4*v - 3*y + 123 = 0, -k = 5*v - 2*y - 159. Is 10 a factor of v?
True
Let l = 38 - 39. Let s(v) = -108*v + 2. Does 11 divide s(l)?
True
Let v be 5/(3/(15/5)). Suppose 0 = v*c - 17 - 113. Is 13 a factor of c?
True
Is (-5165)/15*-3 + 3 a multiple of 74?
True
Let y(p) = 18*p**2 - 5*p - 2. Is y(-4) a multiple of 9?
True
Let l be 0 - (-2 - -4 - 4). Let b = l - 2. Suppose 4*s - 2*a = 15 + 7, 2*a - 2 = b. Does 2 divide s?
True
Suppose -r - 4*y = 19, r + 4*r - 3*y = -95. Let p = 65 + r. Is 8 a factor of p?
False
Let q = 141 - 146. Let f(i) = i**2 - 5*i - 4. Does 9 divide f(q)?
False
Let r(o) = -2*o + 12. Let a be r(6). Suppose -11*i + 6*i + 565 = a. Suppose -p - i = -5*p - 3*f, 0 = p + f - 29. Is 13 a factor of p?
True
Suppose -12*j - 8*j + 21300 = 0. Suppose -5*u + 3*t + 1113 = 0, 4*u = t + j - 176. Is 37 a factor of u?
True
Suppose 4*v + 23 = -37. Let i be (-40)/25*v/(-6). Is (-3040)/(-28) + i/7 a multiple of 27?
True
Let d(o) = -4 + 2*o**2 + 0 - 7*o - 3 + 2*o**2. Does 37 divide d(-6)?
False
Let m(g) = -7*g**2 - 13*g - 6. Let o(u) = -6*u**2 - 13*u - 6. Let n(d) = -5*m(d) + 6*o(d). Let r be n(-9). Suppose 2*h - 38 - r = 0. Does 10 divide h?
False
Let d(t) = t**3 + 7*t**2 - 8. Let r be d(-5). Is (-3 - r/(-15)) + (-1005)/(-25) a multiple of 10?
True
Let p = -20 + 212. Let t = 4 + -1. Suppose 4*g - 2*i - 244 = 0, -p = -g - 2*g - t*i. Does 18 divide g?
False
Let c(m) = -m**3 - m**2 + 2*m + 2. Let s be c(-1). Suppose s = -4*r - 0*r + 3*t + 172, 5*t - 204 = -4*r. Does 7 divide r?
False
Let f(s) = s**3 + 2*s**2 - 6*s + 4. Let o be f(-4). Let z be ((-3)/o)/(2/(-16)). Let c(y) = 2*y**2 + 5*y - 8. Does 34 divide c(z)?
True
Let z be 130/14 + 2/(-7). Let u(v) be the third derivative of v**4/4 - 8*v**3/3 + 123*v**2. Does 7 divide u(z)?
False
Let u(t) = -t - 34. Let a be u(-21). Let h(c) = -6*c - 1. Is 11 a factor of h(a)?
True
Suppose b - 5*c + 145 = 570, -2*c = -b + 410. Let f = b + -262. Is 23 a factor of f?
True
Let d = -1802 - -2762. Does 12 divide d?
True
Is 34 a factor of 2 + (-60)/((-2)/(-18)*-2)?
True
Let s(q) = -q**2 + 8*q - 10. Let h be s(6). Suppose r = -h + 12. Is r a multiple of 5?
True
Suppose -2*b = -24 - 0. Let c(f) = -f**3 + 15*f**2 - 27*f + 9. Does 39 divide c(b)?
True
Let h = 663 - 285. Is 20 a factor of h?
False
Suppose 9117 = 5*c - w - 10495, 3*c + 3*w = 11760. Does 78 divide c?
False
Suppose 440 = 2*l + 2*l. Suppose 0*y - l = -g + 3*y, -2*y - 10 = 0. Is g a multiple of 5?
True
Let o be 0/(-1 - 9/(-3)). Suppose -5*h + 70 = 5*m, o = -3*h + 2*h + 5*m + 32. Let l = h - 8. Does 9 divide l?
True
Let s = 9 - 6. Let m(v) = -v**2 - 12*v + 17. Let q be m(-13). Suppose t + s*l - 34 = l, -q*l - 156 = -5*t. Is 12 a factor of t?
False
Let d be (3/9)/((-5)/(-75)). Suppose d*m - 17 = 8. Is 10 a factor of 53/5 + (-3)/m?
True
Suppose -2*a - 2*p + 33 = -49, 0 = -3*a - 4*p + 118. Is 2 a factor of a?
True
Suppose -11*c + 81498 = 22582. Is c a multiple of 13?
True
Suppose 5*z - f - 13 = 0, 0*f - 21 = -3*z + 5*f. Suppose -2*u + 78 = 2*j, -z*u = -0*j + j - 80. Let s = -24 + u. Is 11 a factor of s?
False
Let r = -39 + 41. Suppose 4*m = 4*h - 4, -2*h - 2 = -3*m - 0. Suppose 0 = h*u + r*w - 96, u + 6*w = 2*w + 30. Is 5 a factor of u?
False
Suppose 2*z - z = 29. Suppose -2*k = -k + 3*j - 13, -3*j = 5*k - z. Is 191/k - 8/(-32) a multiple of 11?
False
Let h = -19 - -22. Suppose h*a + a = 544. Does 35 divide a?
False
Suppose 0 = -3*m + 5*a + 242, -5*m + 285 = -3*a - 97. Is m a multiple of 5?
False
Let s(z) = z**2 - z + 1. Let f(m) = -18*m**2 - 5*m + 7. Let x(n) = -f(n) + 5*s(n). Is 18 a factor of x(-2)?
True
Let f(d) = -d + 10. Let i be f(7). Suppose 0 = -i*n - 33 + 105. Suppose -2*k + 48 + n = 0. Is 6 a factor of k?
True
Let v = -542 - -818. Does 9 divide v?
False
Let s(w) = 3*w**2 + 5*w + 2. Let b be 2*(21/(-6) + 2). Let c be s(b). Suppose d + 29 = y, -d + 3*d = -y + c. Is 14 a factor of y?
False
Let n(x) = x**2 - 3*x - 8. Let d be n(4). Is d/(-1) - (2 - 25) a multiple of 9?
True
Let c = -13 + 22. Suppose -3*d = -0*d. Suppose d = -4*a - 0*a - 4*q + 12, 0 = -a + 5*q + c. Is 2 a factor of a?
True
Suppose 7*r - 8*r + 238 = 2*g, -490 = -4*g + 5*r. Is 12 a factor of g?
True
Suppose -5*v - 2*h + 539 = -h, v + 3*h - 105 = 0. Is 27 a factor of v?
True
Is -54*(1120/(-128) + (-1)/(-4)) a multiple of 27?
T