t h be t(-2). Suppose -h*z + 5*d = -120, -180 = -2*z - z + 5*d. Is 12 a factor of z?
True
Let o(t) = t**2 - 17*t - 60. Let j be o(21). Suppose -3*i = b - 24, -3*i - j = -0*b - 3*b. Does 3 divide b?
True
Let t(c) = 4*c**2 + 6*c. Let z(m) = -7*m**2 - 11*m. Let p(w) = -11*t(w) - 6*z(w). Let v be p(1). Does 10 divide (-41)/v + (-3)/6?
True
Let b = -22 - -23. Suppose 0 = 6*h + b - 31. Suppose h*u = 159 + 66. Does 9 divide u?
True
Let f(l) = -3*l**3 + 87*l**2 - 44*l + 146. Does 100 divide f(27)?
False
Suppose 14*k - 905 = -9. Is k a multiple of 8?
True
Let d(c) = 6*c**2 - 8*c + 7. Let a be d(2). Let q be -6*2*(-3)/9. Suppose -q*o + a + 25 = 0. Is o even?
True
Is 97 a factor of (-31 + 29)*(-1358)/4?
True
Let b(s) = 2*s**3 + 72*s**2 - 9. Let z be b(-36). Suppose 0*g + 2*g - 10 = 0, 34 = 3*c - 4*g. Let r = c + z. Does 9 divide r?
True
Let r be 0/(4 + (-3)/1). Suppose 2*l - 2*c - 10 = r, 0 = -l + 6*l + 5*c - 45. Suppose -l*t + t + 420 = 0. Is t a multiple of 35?
True
Is 14 a factor of 1/((-12)/(-3807)) + 3/(-12)?
False
Let l = 10 + 0. Suppose 2*p = -l - 4. Let m = p - -11. Does 3 divide m?
False
Suppose 3*o - 22 = -2*u, -u + 9 = 4*u - 4*o. Suppose 4*s + u*b - 6*b = 15, 0 = 3*s - 3*b. Does 5 divide s?
True
Let q be ((-12)/(-8))/(1/26). Suppose 0 = r - q - 6. Is 15 a factor of r?
True
Let k(s) = -s**3 - 8*s**2 - s + 7. Let x be k(-8). Let d(y) = -y - 2*y**2 - 4 + 6 + 2 + x. Is d(0) a multiple of 9?
False
Let g(u) = -4*u**3 + 4*u**2 - 4*u - 6. Let d(q) = q**3 + q**2 + q + 1. Let v(s) = s + 2. Let c be v(-3). Let k(m) = c*g(m) - 3*d(m). Is 3 a factor of k(7)?
False
Let q(t) = 3 + 2*t**2 + 2 + 0 - 3 - 3*t. Let j be q(-4). Suppose -8 = -2*b + j. Does 9 divide b?
True
Let r = 7 + -5. Let u(p) = 11*p - 4. Is 18 a factor of u(r)?
True
Let k = -37 - -6. Let g = 143 - 230. Let o = k - g. Does 20 divide o?
False
Let q(r) = -3*r - 12. Let a be q(-8). Suppose -5*n = -3*y - a, 6*n + 2*y + 8 = n. Suppose -c - c + 8 = n. Is 4 a factor of c?
True
Suppose 0 = -4*z + z + 24. Suppose -4*k = 4*p + 30 - 870, -4 = -2*k. Suppose 5*j - p = -z. Does 16 divide j?
False
Let i(c) = c**2 + 5*c + 5. Let u(h) = h**3 - h**2. Let j be u(2). Suppose -2*k + j*k + 10 = 0. Does 4 divide i(k)?
False
Let s(f) = -463*f**3 + 2*f**2 - 1. Let x be s(1). Let a be ((-2)/6)/(14/x). Let l = a - -17. Is l a multiple of 14?
True
Let c(f) = -f. Let g(s) = 80*s + 1. Let o(a) = c(a) - g(a). Let t be o(-1). Suppose 2*i = -3*i + t. Does 16 divide i?
True
Let o = -722 - -1658. Is 72 a factor of o?
True
Suppose -86 = -5*c + 3064. Does 15 divide c?
True
Let p(i) = 132*i + 5. Let d be p(2). Let q = d + -161. Is q a multiple of 9?
True
Suppose 0 = -20*r - 5*r + 25050. Is r a multiple of 8?
False
Suppose -41 = 3*j + 4*p, -3*j + 0*j - 5*p - 40 = 0. Is 45 a factor of (696/15)/((-6)/j)?
False
Let p(q) = -6*q**3 - q**2 - 2*q. Let z be 252/(-168)*(-1)/(6/(-8)). Is 8 a factor of p(z)?
True
Let y = 423 - -197. Suppose 3*o - 396 = 3*l, -l = 5*o + 4*l - y. Is o a multiple of 41?
False
Suppose 21*b - 6751 = -22*b. Is b a multiple of 2?
False
Suppose -3*d + c = -3*c - 69, 23 = d - 5*c. Suppose 4 = u - d. Is 27 a factor of u?
True
Let n be -2 + 5 + -7 - (1 + -2). Is (140/6)/(n/(-18)) a multiple of 28?
True
Let m(q) = q**3 + 20*q**2 - 10*q + 122. Is m(-13) a multiple of 7?
True
Let f(j) = 5*j + 11. Let g be f(-3). Let i = 33 - g. Is i a multiple of 36?
False
Let y(k) = k**3 - 11*k**2 + 3*k + 11. Let c(j) = -j + 8. Let r be c(-3). Let v be y(r). Let d = v + 25. Is 32 a factor of d?
False
Let m(k) = 3*k + 10. Let l be m(-4). Let p = 8 + l. Suppose v - p*f - 56 = -f, -3*v + 149 = 4*f. Is 17 a factor of v?
True
Let y be 5*(-1 + 28/20). Is 16 a factor of 0 + y + (79 - -2)?
False
Let w(l) = -l**3 + l**2 + l + 58. Does 8 divide w(-6)?
True
Let h(z) = -z**2 - 62*z - 47. Does 14 divide h(-15)?
True
Suppose 6*c = 8*c - 8. Suppose -n - 6 = -3*n. Suppose -c*j = 2*k - 90, n*k = 3*j - j + 103. Does 14 divide k?
False
Is 17 a factor of (4/(-6))/(22/(-8415))?
True
Let s(a) = -2*a. Let d be s(-2). Let j be 241/9 + d/18. Suppose -n + p + j = 0, -n = -3*n + p + 52. Is n a multiple of 17?
False
Suppose 41*j + 882 = 50*j. Does 7 divide j?
True
Let q(p) be the third derivative of 7*p**5/60 + p**4/12 + 5*p**3/3 - 7*p**2. Is 22 a factor of q(-3)?
False
Suppose 9*j = 8*j + 4. Suppose -6 = 2*p + 4*x + 30, j*p - 3*x = -39. Let d = 1 - p. Is d a multiple of 3?
False
Suppose -5*y + v + 5990 = 0, 2624 = 4*y - 2*v - 2162. Is y a multiple of 80?
False
Suppose n - 237 = -5*b + 2*n, -42 = -b + 2*n. Suppose -2*w = -2*z, 5*z - 2 - 2 = 4*w. Suppose o + w*d = b, o = 2*o + 2*d - 44. Is o a multiple of 20?
True
Suppose 0 = 3*v - 670 - 488. Is v a multiple of 18?
False
Suppose 2*x - 4 = -2*x. Suppose 4*z = i + z - x, -i + z = -11. Is i a multiple of 5?
False
Suppose -v - 28 = -5*v. Let r be 1 - 2 - (6 - v). Suppose x - 30 = -r*x. Is x a multiple of 10?
True
Let r(v) = 747*v**2 + v. Is r(-1) a multiple of 59?
False
Let s(d) = 3*d**3 + 13*d**2 + 5*d + 10. Let h(t) = 4*t**3 + 13*t**2 + 6*t + 9. Let b(k) = -4*h(k) + 5*s(k). Is b(13) a multiple of 8?
False
Suppose 5*f - 78 = 4*b, 0*b = 3*f + 5*b - 32. Does 8 divide (-1 - 9)*f/(-4)?
False
Let v = 137 + -194. Is v*(-2 - -4)*4/(-8) a multiple of 5?
False
Does 20 divide 3/((-6)/(-244))*(-171)/(-38)?
False
Suppose 39 = -4*y - 57. Let j = y - -48. Does 6 divide j?
True
Let n(s) = -s**2 + 6*s + 1. Let q(p) = -6*p**2 + 29*p + 5. Let w(r) = -11*n(r) + 2*q(r). Let g be w(-8). Does 14 divide g + -2 + 225/5?
True
Let k = -4 + 1. Let u(d) = 5*d**2 - 11*d - 21. Is 6 a factor of u(k)?
False
Let x(c) = -24*c**3 - 26*c**2 - 30. Is x(-5) a multiple of 20?
True
Suppose -4*s + 3*s - 5 = 0. Is 8 a factor of (0 - 1 - s) + 4?
True
Let s = 1077 - 573. Is 21 a factor of s?
True
Let f = -62 - -152. Does 45 divide f?
True
Let c = -28 - -90. Suppose 2*n - 172 = 92. Let l = n - c. Is 14 a factor of l?
True
Suppose -5*w = -4*c - 4817, 3*w - 3607 = -3*c - 706. Does 36 divide w?
False
Let l(s) = -3*s**2 - 6*s - 7. Let g be l(-1). Does 10 divide ((-164)/(-8) + g + -2)*2?
False
Let s = -20 - -44. Suppose 4*a + s = -0*h + 3*h, 5*h = 3*a + 40. Does 4 divide (-12)/h - (-33)/6?
True
Let u(o) = 50*o**3 + o**2 + 10*o - 13. Does 32 divide u(3)?
True
Is 13 a factor of 6/(-54) - 3/(27/(-14743))?
True
Suppose 14*v - 15*v - q = -2900, 0 = -3*v + 2*q + 8715. Does 17 divide v?
False
Let f be 236/(((-2)/7)/(12/(-21))). Suppose -3*i + z = -f, -z + 720 - 93 = 4*i. Is 31 a factor of i?
False
Suppose 0 = 3*p - o - 286, -24 = 2*p + 3*o - 211. Suppose 35*c = 40*c - p. Does 3 divide c?
False
Suppose -4*a - 31 = -7. Let d = a + 11. Suppose -d*b - 37 = -2*r, 7 = -4*b - 5. Does 10 divide r?
False
Suppose -z - n + 7 = 0, -1 = -z - 2*z + n. Suppose -s - l = -66, 87 = z*s + 4*l - 51. Does 4 divide s?
False
Suppose -142 = -3*o + i, 2*o - 50 = -5*i + 22. Let g = -21 + o. Let h = g - -13. Does 13 divide h?
False
Let l(w) be the third derivative of -w**5/60 - 3*w**4/8 - w**3 + w**2. Suppose 3*k + 12 = -c, -2*k - 14 = -c - 16. Is 3 a factor of l(c)?
True
Let a(g) = 3*g**3 + 14*g**2 - 24*g - 5. Let s(d) = 2*d**3 + 16*d**2 - 24*d - 6. Let k(m) = 3*a(m) - 4*s(m). Is 12 a factor of k(21)?
True
Suppose 19 = 5*w + 129. Let v = -19 - w. Does 4 divide -3 + (v - -18 - -2)?
True
Let a be ((-4)/(-10))/((-1)/(-10)). Suppose a = -r - 3*r. Let o = r + 12. Is 3 a factor of o?
False
Let j = 8 - -3. Suppose -42 = -5*t + y, -3*t + j + 5 = 4*y. Let s(g) = g**2 - 5*g + 1. Is 25 a factor of s(t)?
True
Suppose -144*m + 139*m + 205 = 0. Does 21 divide m?
False
Suppose 16 = 8*d - 0*d. Suppose -h + 4*x + 100 = 0, -4*h + 713 = d*x + 295. Does 13 divide h?
True
Let i(l) = -2*l - 1. Let m be i(-3). Suppose 610 + 760 = m*g. Let v = g + -196. Does 13 divide v?
True
Let c = 70 - -196. Does 20 divide c?
False
Does 13 divide (15/(30/(-32)))/((-2)/13)?
True
Let g = 1887 + -571. Suppose 9*m = 727 + g. Is m a multiple of 12?
False
Suppose -44*t = -45*t + 456. Is t a multiple of 38?
True
Suppose -5*o - 4 = 11. Let d(x) = -8*x**3 - 2*x**2 - 6*x. Is d(o) a multiple of 27?
True
Let y(t) = t**3 - 38*t**2 + 85*t - 88. Is 9 a factor of y(36)?
False
Suppose -7*p + 550 = -18*p. Does 6 divide -9*(p/15 + -3)?
False
Let k(n) = 117*n - 73. Is 18 a factor of k(9)?
False
Suppose 0 = z - 1 - 2, -z + 3 = -3*t. Suppose k + 2*k - 15 = 