3*c, 0 = f - 0*f + 5. Suppose -c = -5*o + 37. Is 7 a factor of o?
True
Let x(p) = 4 + p + p - 3*p + 5*p**2. Suppose -45*d + 131 = 41. Is 3 a factor of x(d)?
False
Let s be 216 - (0 + 7 + -5). Let u = s + 49. Is u a multiple of 14?
False
Suppose -26 = -5*f - y + 5*y, -f + 2 = -4*y. Is 56 a factor of ((-261)/f)/(2 - (-25)/(-10))?
False
Suppose 27 = 3*k + 15. Suppose -2*q - 2*c = -k*q + 1526, 0 = 2*c + 2. Is q a multiple of 62?
False
Suppose -2*b + 40 = 3*b. Suppose -b*n - 34 = -714. Does 5 divide n?
True
Let q = 4344 - 2202. Is q a multiple of 9?
True
Suppose -28 = -10*t - 4*t. Let z(l) = 55*l**3 - 4*l**2 + 7*l + 1. Does 17 divide z(t)?
False
Let a be 3/(-5) + 2080/50. Let k = 45 - a. Suppose 147 = k*d - d. Does 2 divide d?
False
Let g(m) = -2*m**3 + 57*m**2 - 24*m - 77. Is g(28) a multiple of 5?
True
Let l(s) be the second derivative of 29*s**4/12 - 16*s**3/3 + 25*s**2 - 232*s. Is l(8) a multiple of 66?
True
Suppose -30*b = -35*b + 4*s + 34560, 34560 = 5*b - s. Is 24 a factor of b?
True
Let p(f) = 97*f**3 + 2*f**2 - 2*f + 6. Let c be p(2). Let s be (2 - (5 - 5)) + -1 + c. Let j = s - 561. Does 39 divide j?
False
Let p(g) = 1 - 12 + 9*g + 2. Let u be (-1)/(4/(-22)) + 15/30. Is p(u) a multiple of 15?
True
Let j be 2/((-5)/4760*-4). Let p = j - 168. Does 28 divide p?
True
Suppose 0 = -v - 2*m + 12, 0*m = -3*m + 12. Suppose -v*t = 5*r - 2261 + 832, 2*r - 569 = t. Is r a multiple of 15?
True
Let h be 2/((2/(-8))/(-1)). Let b(a) = 9 + 7*a**3 + a**2 - h*a**3 + 47. Is b(0) a multiple of 18?
False
Suppose 2*m - 3*v = 29859, 27*m - 28*m + 14932 = v. Is 6 a factor of m?
False
Let c(p) = 2883*p - 15771. Is 43 a factor of c(15)?
False
Let f(b) be the third derivative of 0*b - 17*b**2 + 0*b**4 + 0*b**3 + 0 + 17/60*b**5. Is 17 a factor of f(-1)?
True
Suppose 0 = -2*y - 2*v + 8, -4*y + 8 + 11 = v. Let o be (366/4)/(45/60). Suppose -2*p + 3*p + o = 4*d, d = y*p + 40. Is d a multiple of 6?
True
Let f(c) = 6*c - 18. Let o be f(3). Suppose d + 1014 = 3*d - 5*p, o = 4*d - 3*p - 2042. Is d a multiple of 16?
True
Let l(g) be the third derivative of -g**5/60 + 13*g**4/12 - 41*g**3/6 + 8*g**2. Let f(z) = z**3 - 22*z**2 - 21*z - 28. Let y be f(23). Does 12 divide l(y)?
False
Let l = 512 + -509. Suppose 0 = -l*d + 364 - 103. Does 10 divide d?
False
Let u(q) = 16*q**2 - 550*q + 71. Is 6 a factor of u(-30)?
False
Suppose -17*h + 20 = -13*h. Suppose 0 = h*r - 8*r + 969. Does 33 divide r?
False
Suppose -5*z + 9426 = -35194. Is z a multiple of 7?
False
Let w(d) = -12922*d - 178. Does 216 divide w(-1)?
True
Let r = -7921 - -8009. Does 11 divide r?
True
Let d(y) = y**3 + 4*y**2 - 2*y + 11. Let o be d(-5). Let s be 1/(-2) + -3 + 22/o. Let t(f) = f**2 + 3*f + 26. Is 19 a factor of t(s)?
False
Suppose 3*p + n + 4*n = 61, 0 = 2*p + 4*n - 40. Let a = -18 + p. Suppose 7*d + a*d = 462. Is d a multiple of 14?
True
Let t(b) = 2*b**2 - 19*b + 120. Let j be 2/(-16) + (-5874)/(-528). Is 8 a factor of t(j)?
False
Let d = -73 + 78. Suppose d*j - m = 57, -3*j - 2*m - 22 = -64. Does 2 divide j?
True
Let d(g) = -g**2 - 16*g - 16. Let y(a) = -a - 1. Let i(q) = -d(q) + 3*y(q). Suppose 2*j = -5*v + 2*v - 26, -13 = j - v. Does 5 divide i(j)?
False
Let b = -203 + 25. Let z be b/(-15) - (-12)/90. Is 21 + (-4)/(z/(-9)) a multiple of 4?
True
Suppose 0 = -3*r - 5*l + 8620, 5*l - 5750 = 48*r - 50*r. Is r a multiple of 70?
True
Let i be (1 + -3 - -601) + -2. Let b(q) = -22*q + 536. Let m be b(24). Suppose m*j = i - 157. Is j a multiple of 6?
False
Let c(v) = v**3 - 8*v**2 - 11*v + 8. Let z be c(9). Let b be 25/z*(0 + -40 + 2). Suppose -96*i = -b*i - 59. Is i a multiple of 14?
False
Let a(i) = -79*i**2 - 11*i + 13. Let b be a(6). Does 32 divide b/(-15) + (-26)/195?
False
Let f = 0 - -2. Let c(m) = 13*m - 41. Let k be c(3). Is 7 a factor of (f + 0)/k*-70?
True
Let x(l) = -l**2 - 9*l - 8. Let c be x(-7). Suppose -c*w = -2627 + 365. Is w a multiple of 29?
True
Let h = 1379 + -815. Suppose -b - 3*a = -h, -6 = 2*a + 2. Is b a multiple of 45?
False
Let u = 297 + 40. Let m be ((-15)/5 - 0) + 1*u. Let r = -202 + m. Is r a multiple of 33?
True
Suppose -l + 566*b - 563*b = -1499, 4521 = 3*l - 5*b. Does 12 divide l?
False
Let j = 17191 - 12137. Is j a multiple of 13?
False
Let s = 170 - 90. Let u be (s/(-14))/5 - 2/(-14). Is (1 - u) + 113 + 0 a multiple of 19?
False
Let q(h) = 31*h + 99. Let a be q(6). Suppose r - 5*x = a, 0*r - 3*x + 505 = 2*r. Is 26 a factor of r?
True
Suppose -4*m - 5*o = -25 + 8, -4*m - 33 = -5*o. Let a be m/7 + (-185)/(-70)*2. Suppose 8*t - a*t = 180. Is t a multiple of 15?
True
Let a(k) = -k**3 + 6*k**2 + 12*k + 4. Let t = -16 - -21. Does 18 divide a(t)?
False
Let u(s) = -333*s - 48. Let l be u(-4). Suppose 0 = -8*o + l + 2300. Does 4 divide o?
True
Suppose 12 = 7*s - 4*s. Suppose -s*l + 362 = 4*k - 2*k, -4*l + 533 = 3*k. Let w = k - 83. Is 18 a factor of w?
False
Suppose 18 = -3*f + 4*m + 8, -3*m + 13 = -5*f. Let d(b) = 8*b**2 - 8*b + 1. Let p(a) = 8*a**2 - 9*a + 1. Let r(g) = 3*d(g) - 2*p(g). Does 9 divide r(f)?
True
Let a(t) = 2*t**2 + 7*t - 12. Let f be a(-5). Suppose f*p = -p + 8, 4*h = -2*p + 1080. Suppose 13*g - 1257 = -h. Is 10 a factor of g?
False
Let x(s) = -s**3 + 7*s**2 + 21*s + 37. Suppose -3*w = -2*o + 15, 9*o + 16 = -w + 6*o. Is 9 a factor of x(w)?
True
Suppose -14*k - 21*k + 1116475 = 36*k. Is k a multiple of 37?
True
Suppose 4*z - 608 = -0*z. Let w = 556 - 581. Let t = w + z. Is 23 a factor of t?
False
Let p(b) = b**3 + 6*b**2 + b - 2. Let d(g) = 3*g**3 + 3*g + 2. Let x be (-5)/1 + (5 - 1). Let j be d(x). Does 10 divide p(j)?
False
Let l be 2 + -2 - (7 + -595). Suppose 4*w = -v + l, v - 1164 = -v - 5*w. Let n = v + -407. Is n a multiple of 29?
False
Is (-1 - 9418)/((-36)/(-7 - -43)) a multiple of 23?
False
Suppose -2*l - 4*t + 9090 = -13866, -2*l = t - 22950. Is l a multiple of 240?
False
Suppose 4*h - 24524 = -4*u, -4*h - u = -4*u - 24531. Is 12 a factor of h?
True
Let r = -576 + 584. Let g be 4/3*(-3)/(-2). Suppose 210 = 4*t - g*t + 5*x, 2*x - r = 0. Is t a multiple of 16?
False
Let f(i) be the third derivative of 43*i**5/30 + i**4/24 + i**3/3 - 2*i**2 + 23. Does 8 divide f(-2)?
True
Let h = -238 + 466. Suppose n + h = 2*p, -3*p - n + 319 = -13. Does 8 divide p?
True
Suppose 2*h + 6*k - 3*k = -1, -3*k = 4*h - 7. Suppose l = h*a - 79, -3*l - a = -97 + 269. Let r = l - -65. Is r a multiple of 2?
True
Let s(b) = 4173*b**2 + 5*b - 8. Does 130 divide s(-1)?
True
Suppose 0 = 2*f + 2*c - 66, 9*c + 107 = 3*f + 14*c. Suppose f*t - 19838 = 3*t. Is t a multiple of 74?
False
Let x(b) = -56*b - 190. Let i(k) = 19*k + 64. Let o(g) = 16*i(g) + 5*x(g). Is 14 a factor of o(0)?
False
Let h = 2148 + 2136. Does 17 divide h?
True
Let j(k) = 18*k + 4. Suppose t = -4, r + 2*t - 10 = 5*t. Let b be j(r). Let o = b - -126. Does 51 divide o?
False
Suppose -451 = 8*n - 1763. Suppose -5*r + 832 = 7*t - 8*t, -t = r - n. Suppose -4 = 3*w - 13, -4*w + r = 2*q. Does 11 divide q?
True
Suppose -113*s = -120*s. Suppose s = v - 10*v + 405. Is v a multiple of 8?
False
Suppose 2*w = 2*q - 134054, -71*q + 76*q - 335137 = 3*w. Is q a multiple of 11?
False
Let s(i) = 348*i - 1084. Does 22 divide s(48)?
True
Let w(q) = -6*q**3 + 8*q**2 + 4*q + 5. Let t(z) = 5*z**3 - 7*z**2 - 5*z - 6. Let a(b) = -5*t(b) - 4*w(b). Let i be a(7). Let p = 35 - i. Does 36 divide p?
False
Let y(r) = 777*r**2 - 146*r - 459. Does 42 divide y(-3)?
True
Let j = -7009 - -8679. Is j a multiple of 5?
True
Let c be ((-108)/4)/(-9) + 1 + 10. Let l(g) = 23*g + 70. Is 32 a factor of l(c)?
False
Let z be 10/(-3)*(-204)/170. Suppose -2*p + 62 = -4*d, -6*p + z*p + 56 = -d. Does 3 divide p?
True
Let w = 29521 - 19763. Is w a multiple of 7?
True
Let c be 1/3 + (-2)/6. Suppose c = -6*d + 4*d + 2, -5*s = -3*d - 187. Suppose -s = -5*h - 8. Is 2 a factor of h?
True
Suppose u = 3*u - y - 3393, 3*y = 3*u - 5097. Is 779548/u + (0 - 2/11) a multiple of 29?
False
Let v = 38 - 16. Let h be (-16)/88 - 2592/v. Let d = h - -234. Is 36 a factor of d?
False
Let t = -9787 - -41532. Does 35 divide t?
True
Let v(l) = l + 1. Let j(p) = -p**3 + 8*p**2 - 9*p + 10. Suppose 0*d - 13 = -5*b - 4*d, -3*b - 5 = -4*d. Let r(s) = b*j(s) + 2*v(s). Is 13 a factor of r(5)?
True
Does 6 divide ((-7290)/189)/((-2)/42)?
True
Let c(d) = d**3 - 19*d**2 + 2*d + 20. Let y be c(18). Let a = 