 + 0 + 0*k + 1/6*k**3. Is h(-1) a multiple of 14?
True
Is (-4 - (-2 - 0))*-282 a multiple of 47?
True
Let m(d) = d**2 - 6*d + 42. Let b(z) = z**3 - 13*z**2 - 31*z + 6. Let h be b(15). Does 59 divide m(h)?
True
Let u = -244 + 2247. Does 72 divide u?
False
Let v = 3 - 0. Suppose -4*g + 0*g = 3*g. Suppose g = -4*x + b + 55, 0 = x + v*b + 2*b - 40. Is 15 a factor of x?
True
Let t = 12 + 2. Is 7 a factor of 6/t + 3288/168?
False
Let m(i) = i - 1. Let a(l) = -4*l - 10. Let t(o) = -a(o) - m(o). Let h = -7 + 13. Is t(h) a multiple of 29?
True
Let m be (-2)/2 + 119 + 2. Let o(q) = q**2 + 16*q - 15. Let h be o(-17). Suppose h*w - 5*c - m = 0, -2*c - c - 59 = -w. Is w a multiple of 34?
False
Does 25 divide (5 - (-2294)/10) + (-2)/5?
False
Let t(d) = -d + 5. Let b(w) = 4*w**2 + w + 6. Let c be b(-2). Suppose -44 = 4*f + c. Does 7 divide t(f)?
True
Let o = 291 - -177. Does 12 divide o?
True
Suppose 0 = t - 5*t. Suppose t*b = 3*b - 621. Suppose -5*a + b = -2*a. Is a a multiple of 23?
True
Let g = -9 - -8. Let f be g - 1 - (-119)/17. Suppose 0 = f*x + 5*l - 385, 0 = 3*x - l + 3*l - 232. Is x a multiple of 15?
False
Does 16 divide (-32382)/(-81) + (3 - 50/18)?
True
Suppose -3*p - p + 13 = -i, -p - i - 3 = 0. Let u = 4 + p. Is u a multiple of 3?
True
Suppose 12 = -5*t - 3, -4*q + 21 = t. Suppose z = 4*w - 125 - 58, 2*z + q = 0. Is 15 a factor of w?
True
Let n(c) = 3*c**2 - 4*c. Let o be n(4). Suppose -4*g - g = 65. Let h = g + o. Does 14 divide h?
False
Let c be (-140)/(-8) + (-1)/(-2). Let g = c + -18. Suppose 7*y + g*y - 392 = 0. Is y a multiple of 14?
True
Let p = -38 - -33. Is 25 a factor of 246/10 + (-2)/p?
True
Let r be ((-18)/(-21))/(1/14). Suppose -r*z = -14*z + 184. Suppose s = -5, 3*d + s = -s + z. Is 17 a factor of d?
True
Let z be (3 - 4) + 0 + 1. Suppose z = 4*x - 20, 0*x - 3*x - 5 = -o. Does 5 divide o?
True
Let h(t) = -t**3 + 7*t**2 + 7*t - 5. Let v be h(4). Suppose 42 = f - 0*u + 5*u, v = 3*f + 4*u. Suppose -5 = -2*i + f. Does 5 divide i?
False
Let r(m) = -m**3 - 30*m**2 + 58*m + 36. Is 31 a factor of r(-32)?
False
Let i be 25/2 + (-12)/8. Let w be -3*i*(4 - 5). Let z = 39 - w. Is 3 a factor of z?
True
Is 15 a factor of (8/(-6))/((-6)/(-2025)*-3)?
True
Suppose -p - 36 = 2*p. Is 12/(p/(-4)) - -62 a multiple of 9?
False
Suppose 0*a - 744 = -3*a. Is 13 a factor of a?
False
Let n = 141 - -81. Is n a multiple of 37?
True
Suppose 0*u + 4*u = 24. Suppose 4*d - 114 = u*d. Let j = 96 + d. Is 13 a factor of j?
True
Let g(d) = 2*d + 20. Let k be g(-9). Suppose s = -2*s - 3*j + 66, -k*j - 64 = -2*s. Is s a multiple of 8?
False
Let d be (2 + 1)/(6/8). Suppose -29 = -d*i + 7. Is i even?
False
Let r be (1 + 0 - -4)*7. Suppose 0*q - r = -5*q. Suppose -q*d + 84 = -d. Is d a multiple of 14?
True
Suppose -100836 = -28*c + 10100. Is 83 a factor of c?
False
Let b be -5 - -4 - 70/2. Does 6 divide b/18 - (0 + 1 - 45)?
True
Let w(j) = -j**2 + j. Let n(x) = -389*x**2 - 5*x + 1. Let t(f) = -n(f) - 5*w(f). Let r be t(1). Is r/12 - (-1)/4 a multiple of 11?
True
Let s(c) = 3*c - 1 - 3*c + 7*c + c**2 - 6*c. Let v be s(-4). Let q(k) = -k**3 + 12*k**2 - 11*k + 8. Is q(v) a multiple of 4?
True
Let u = -22 - -52. Let s = 41 - u. Is s a multiple of 11?
True
Suppose 490 = 7*d - 2*d. Let y = -63 + d. Let a = y + 20. Does 9 divide a?
False
Let u = 22 + -17. Suppose c - u = 4*k, -4*c + 3*k + 100 = 28. Is 5 a factor of c?
False
Suppose 2*m - 1 = 9. Let h be 1/(((-15)/(-9))/m). Suppose 4*z + 2*s - 136 = 0, 4*z + h*s + 0*s - 134 = 0. Does 16 divide z?
False
Suppose 0 = -3*l + 4*l - 5*i - 6, 5*i = -2*l + 42. Suppose -l*v = -14*v - 36. Does 8 divide v?
False
Suppose l - 2*l + 111 = 0. Suppose -l = -9*w + 546. Let n = 118 - w. Is n a multiple of 11?
False
Let h be 4*2*(4 + 0). Suppose 0 = -g + 36 - h. Suppose 0 = g*f + 3*f - 259. Does 37 divide f?
True
Suppose 4*i - 20 = -4*q, -4*i + 0*q = -2*q + 4. Let w(t) = 139*t + 5. Is w(i) a multiple of 18?
True
Let t be (-16)/(-10) + 4/10. Suppose -7*i = -t*i - 130. Let p = i - 12. Is p a multiple of 7?
True
Suppose 9 = w - 135. Let r = 171 - w. Is r a multiple of 27?
True
Let s(z) = z**3 - 7*z**2 - 2*z + 17. Let a be s(7). Is 4 a factor of -4 - (a/12 + (-154)/8)?
False
Let r = 361 + -74. Is r a multiple of 6?
False
Suppose -3848 = -5*i - 2*q, -14*q - 3849 = -5*i - 15*q. Is i a multiple of 35?
True
Let w = -41 + 88. Suppose 0*n - w = -s + 3*n, -5*s + n = -165. Is s a multiple of 11?
False
Let g = 1234 - 1074. Is g a multiple of 44?
False
Let s = -41 + 71. Let g = 3 + s. Is g a multiple of 11?
True
Suppose 0 = -3*n + 208 + 668. Is 12 a factor of (-1)/(n/(-144) + 2)?
True
Let z(c) = -2*c**2 - 54*c - 31. Let y(k) = -20*k - 5. Let f be y(1). Is z(f) a multiple of 12?
False
Let n(m) = m**3 + m**2 + 1. Let o(t) = 3*t**3 + 8*t**2 + 3*t + 7. Let s(y) = n(y) - o(y). Is 24 a factor of s(-6)?
True
Let d = 23 - 15. Let h(j) = 12*j - 14. Is 21 a factor of h(d)?
False
Suppose -3*i - 3*g + 550 + 23 = 0, -4*g - 973 = -5*i. Is 33 a factor of i?
False
Let y be (0 + (-2 - 2))/(-1). Suppose 52 = y*b - 0*b. Is 3 a factor of b?
False
Let v = 3326 + -1992. Is 70 a factor of v?
False
Let m(g) = 0*g**2 + g**3 + 11*g**2 - 15*g + 218 - 233. Does 7 divide m(-12)?
True
Let v be (-6)/(-21) - 306/(-7). Let o = -34 + v. Does 3 divide o?
False
Suppose 0 = -2*o + 3*t - 8*t - 5, 4*o - 5*t - 35 = 0. Suppose o*w + 5 = 0, 0 = 2*q - 3*q - w + 4. Suppose -q*h + 3*h + 128 = 0. Does 16 divide h?
True
Suppose -15231 = -32*x - 1663. Does 8 divide x?
True
Suppose 0 = -2*q - 2*q - 4*v - 164, 0 = 4*q + 5*v + 167. Let i = q - -8. Let t = i - -42. Is 7 a factor of t?
False
Let q(h) = 143*h + 232. Is q(8) a multiple of 27?
False
Suppose -g = 0, -h + 5*g = h - 464. Suppose k - 3*k - 5*l = -h, -260 = -2*k + 2*l. Does 20 divide k?
False
Let g(s) = -3*s**2 - 49*s - 8. Does 6 divide g(-11)?
True
Suppose 5 + 15 = 5*n. Suppose 3*b - 12 = -z, 3*z = -n*b + 3*b + 4. Let q(i) = 2*i**3 - 6*i**2 + i - 2. Is q(b) a multiple of 10?
False
Let t(r) = r**2 + 9*r - 30. Let i(s) = 3*s - 3. Let h be i(-3). Is 2 a factor of t(h)?
True
Suppose -4*b = -3*w - 1788, -2*b + 617 = 5*w - 251. Is 14 a factor of b?
False
Let p(s) = 10*s**2 + 7*s + 27. Let c be p(-6). Suppose -30*t = -35*t + c. Is t a multiple of 18?
False
Suppose p + 4*b + 36 = 0, p + 53 = -5*b + 13. Is (88/(-10))/(8/p) even?
True
Let c = 50 - 34. Let v = 19 - c. Suppose 4*b + v*w = -b + 156, 93 = 3*b + 2*w. Is b a multiple of 28?
False
Let c(k) = 11*k**2 + 12*k - 1. Let r = -15 - -11. Does 12 divide c(r)?
False
Suppose 60 = 6*z - 48. Is 3 a factor of z?
True
Let t be 85/10*(-4)/2. Is 18 a factor of t*15/(-6)*2?
False
Suppose -4*p = -6*p + 6. Suppose 5*y = p*s - 215, -415 = 4*s - 9*s - 3*y. Is 13 a factor of s?
False
Let i(z) be the third derivative of z**6/120 + 11*z**5/60 - 13*z**4/24 + 3*z**3/2 + z**2. Is 4 a factor of i(-12)?
False
Let d(l) = -98*l + 2. Is d(-2) a multiple of 9?
True
Let n(t) = -t**2 - 5*t + 16. Let w be n(-4). Suppose z - w = 35. Is 27 a factor of z?
False
Let v be (8/6)/(14/399). Suppose 2*x = -h - h - v, -h = 5*x + 31. Let s(z) = z**2 + 13*z. Is 8 a factor of s(h)?
True
Let j(w) = 3*w**2 - 3*w + 6. Let i = -70 + 77. Is 5 a factor of j(i)?
False
Suppose 61*r = 8*r + 12402. Is 10 a factor of r?
False
Suppose f - 255 = -5*d + 422, 2*d - 278 = -4*f. Is 38 a factor of d?
False
Suppose -x - 2*u = 6, 0 = -4*x + u - 0*u - 24. Let h(p) = -p**3 + 9*p**2 + 29*p - 47. Let d be h(11). Let a = d - x. Is a a multiple of 12?
True
Let f(h) = 7*h - 5*h - 3*h + h**3 + 2*h**2. Let a be f(1). Suppose -a*t = -36 - 42. Is 13 a factor of t?
True
Let t(q) = 4*q**2 - 26*q + 20. Does 16 divide t(10)?
True
Suppose -14 - 14 = -7*j. Suppose -d = -j*p - 88, 5*d + 2*p = -0*p + 330. Is d a multiple of 15?
False
Suppose 5082 = -19*s + 25*s. Suppose -4*i + 15*i = s. Is 11 a factor of i?
True
Let w = 17 + 26. Let x = 71 - w. Suppose -24*f = -x*f + 264. Does 22 divide f?
True
Let p(j) = -j**3 + 8*j**2 - 13. Let v be p(7). Suppose 3*q - 6 = v. Does 9 divide q?
False
Suppose 17*n - 20*n = -447. Let h = 6 + -3. Suppose m - 45 = -3*i, 5*m - h*i - n = 40. Does 12 divide m?
False
Let v(m) = 3*m**2 + 7*m - 56. Is 9 a factor of v(-25)?
False
Let h = -15 - -31. Suppose -2*x = -h - 44. Is 15 a factor of x?
True
Let f(i) = 117*i - 407. Is f(6) a multiple of 8?
False
Suppose -3*k 