0 = -4*b - s + 4. Let w(i) = -14*i + 18. Is 17 a factor of w(b)?
True
Let x = 1762 - -1324. Is x a multiple of 29?
False
Is 87 a factor of ((-3 - -8) + 1 + 20736)*6/12?
False
Let c(k) = k**3 + 2*k**2 - 4*k - 6. Let t be c(-2). Is (0 - t/6)*-54 a multiple of 2?
True
Let i(x) be the third derivative of -35*x**4/3 + x**3/2 - 25*x**2. Let l be i(1). Let z = -156 - l. Does 34 divide z?
False
Suppose -2*h = -22*m + 18*m - 6914, 13756 = 4*h + 4*m. Is 16 a factor of h?
False
Let n = -157 + 161. Is 3 a factor of ((-2046)/(-30) - 4) + n/(-20)?
False
Let o(l) = l**3 + 6*l**2 - 9*l - 14. Let f be (-3)/((-12)/4) - 8. Let z be o(f). Suppose z = 4*j - 5 - 47. Is j a multiple of 13?
True
Suppose 0 = 2*a - 5*q + 43, 0 = 5*q - 25. Let u = a - -13. Suppose -4*f = -u, s - 2*f = f + 10. Is s even?
False
Let d(y) = -5*y - 13. Let a be d(-5). Suppose 0*o + o = 2*k + a, 46 = 5*o - 3*k. Is 8 a factor of (1 + -13)/((-12)/o)?
True
Suppose 0 = -52*n + 46*n + 276. Is (-8)/(-92) + 5378/n a multiple of 42?
False
Let q(j) = j + 9. Let y be q(-4). Suppose -2*p = 4*i + 2*p - 28, y*p - 25 = 0. Suppose i*h + c = 43, 2*h - 7 - 16 = 3*c. Is h a multiple of 13?
False
Let z(x) = x**3 - 29*x**2 - 70*x + 248. Let i be z(31). Let m = 3 + 0. Suppose 2*a = -4*c + 136, i = 2*a - 5*a - m*c + 216. Is a a multiple of 38?
True
Let n(o) = o**2 - 25*o - 17. Let k be n(28). Let f = k + -73. Let p(z) = -z**3 - 6*z**2 - 9*z - 7. Is 11 a factor of p(f)?
False
Let a(v) = v - 2. Let m(x) = x**3 + 15*x**2 - 15*x + 22. Let p be m(-16). Let d be a(p). Suppose -o + s = 2*o - 46, -d*s = -3*o + 49. Is 5 a factor of o?
True
Let z = 162 + -161. Let y = 219 + z. Is 39 a factor of y?
False
Let v(l) = -6*l + 4. Let g be v(-10). Let f = g - 55. Suppose f*n - 2592 = -0*n. Does 39 divide n?
False
Suppose 43*w = 38*w + 10. Suppose 5*x - 5*a = -w*a + 561, -x + 101 = 5*a. Does 6 divide x?
False
Suppose -5*g - 2827 = -5*m + 5968, 5*g = -20. Is 123 a factor of m?
False
Let r be 21/14 - (-9)/(-2). Does 26 divide 2*(1925/10 + r) - 3?
False
Let x(y) = 2*y**2 + 2*y - 3. Let i(p) = -p**3 + 2*p**2 + 8*p + 4. Suppose -c + 38 = 34. Let a be i(c). Is x(a) a multiple of 27?
False
Suppose -150*g = -147*g + 99. Is (g/(-4))/((-29)/(-116)) a multiple of 13?
False
Let d = -3492 + 5060. Does 112 divide d?
True
Suppose 4*o + 66 = 3*c, -4*c + 6*o - 7*o = -88. Let n = c + 44. Suppose y = n + 44. Is 9 a factor of y?
False
Let d(v) = -15*v**3 - 2*v**2 - v + 6. Let w be -6*(3/9 + 2/12). Is d(w) a multiple of 22?
True
Suppose 3*t = -4*o + 10015, 11*t = 5*o + 15*t - 12520. Is o a multiple of 100?
True
Let u be (15 - 12) + 5*-2. Let q(c) = 12*c**2 + 42*c - 14. Is q(u) a multiple of 28?
True
Let t = 18438 + -9513. Is t a multiple of 17?
True
Let o = 141 - 139. Let x(i) = 74*i - 28. Is 8 a factor of x(o)?
True
Suppose -8*k = -2*k - 438. Suppose -5*h - 5*y = -385, -3*y = -0*h + h - k. Let o = h - 51. Is o a multiple of 6?
False
Suppose 2*d - 7 - 1 = -2*b, -2*b + 8 = d. Suppose -5*p - 6 = -3*n + 1, -b*p + 52 = 4*n. Let y = 16 - n. Does 3 divide y?
False
Let p(x) = -262*x - 3064. Is p(-30) a multiple of 4?
True
Let p = -268 + 587. Let s = 718 - p. Does 31 divide s?
False
Let x = 19265 + 10919. Is 44 a factor of x?
True
Is 970323/48 + (-3 - 235/(-80)) a multiple of 13?
True
Let z = 2823 + -2815. Is 3 a factor of z?
False
Suppose -a = 2*h - 742, -933*h = -928*h + 3*a - 1856. Is h a multiple of 5?
True
Does 4 divide (-223416)/36*(-21)/14?
False
Let s = -111 + 117. Suppose s*d = -1650 + 4980. Is d a multiple of 58?
False
Suppose -4*y + 2 = 2*t - 36, y = -4*t + 13. Does 11 divide 76 + y/3 - 4*-1?
False
Let l(q) = -15*q + 2*q + 4*q. Let v be l(12). Does 12 divide (v/10)/((-24)/160)?
True
Let w(c) be the third derivative of c**5/60 + c**4/4 + 35*c**3/6 - 18*c**2. Is 7 a factor of w(-6)?
True
Let u = -36 + 42. Let f be (-69)/(-1 - -2 - (u - 4)). Suppose 3*k + 4*c = 194, 0 = k + 3*c - 6*c - f. Is k a multiple of 36?
False
Let d be (-2)/(7/21 + (-283)/843). Suppose 3*r - d = -o, 2*r - 6*r - 4196 = -5*o. Does 15 divide o?
True
Let c = 2613 + 1335. Does 21 divide c?
True
Suppose -80*y - 133*y = -20521 - 25061. Does 3 divide y?
False
Let t(k) = k + 24. Let r(a) = -11*a + 1. Let z = -30 - -31. Let p be r(z). Does 2 divide t(p)?
True
Suppose -5*f + 4*l = -64, -3*f - 5*l + 33 = -2*l. Let w(b) = 3*b**2 - 11*b - 3. Is 57 a factor of w(f)?
False
Suppose 5*r = -3*z + 200227, 200211 = 221*r - 216*r - z. Is r a multiple of 26?
False
Let a = -179 + 22. Let c = -61 - a. Is c a multiple of 8?
True
Suppose 0 = 19*z - 23*z. Suppose 3*k = 2*s + 64 - 7, z = -3*s - 9. Suppose k*i - 252 = 14*i. Is 14 a factor of i?
True
Suppose 82*o - 25 = 77*o. Let z(y) = y**2 + 7*y - 1. Let u(s) = -s**2 - 8*s. Let t(m) = 4*u(m) + 5*z(m). Is 7 a factor of t(o)?
True
Let v(i) = 205*i - 1140. Is v(9) a multiple of 121?
False
Suppose -r - 2*r = -18. Let x = 46 + -24. Suppose x - r = 2*f. Does 2 divide f?
True
Let y(v) = 12*v**2 - 12*v + 7. Let q be y(7). Suppose 4*f + o - q = 0, -3*f + o - 4*o + 390 = 0. Is f a multiple of 9?
False
Let x = -632 - -635. Suppose -14*i + 4972 = -x*i. Does 20 divide i?
False
Let z(w) = -234*w + 290. Is 142 a factor of z(-20)?
True
Let w(o) = 2*o**2 + 94*o - 546. Is w(6) a multiple of 71?
False
Let s be (5 - -1) + -10 + 1096. Let k = s - 612. Is k a multiple of 20?
True
Let j be ((-3 - 2) + -333)*(-6 - 2). Suppose 0 = -20*x + 18*x + 5*u + j, 2*x - 2*u = 2692. Is x a multiple of 28?
False
Let s = -31 - 11. Suppose -3*v = 2*l + 742, -v + 23 = -l + 277. Does 35 divide s/5*v/10?
True
Let g = -6023 + 8069. Is g a multiple of 33?
True
Suppose -332648 = -10*p - 96328. Is p a multiple of 87?
False
Let d(g) = g - 6. Let w be d(8). Suppose w*i = 5*i. Suppose 10*x - 8*x - 24 = i. Is x a multiple of 6?
True
Let q = -149 + 164. Suppose 5*f - q = 0, 0 = 7*c - 9*c + 5*f + 15. Is c a multiple of 5?
True
Let a = 180 - 121. Let n = a + -52. Suppose -k + 178 = u, 3*k + 721 = n*k - 5*u. Is 53 a factor of k?
False
Let i(n) = -n**3 - 3*n**2 - n. Let z be i(-3). Suppose -r = -18 + 14. Suppose r*d - 4*g - 288 = 0, z*d + 3*g - 202 = -g. Is d a multiple of 14?
True
Does 21 divide -174*84/(-36)*12?
True
Let p(w) = -27*w + 1095. Is 17 a factor of p(37)?
False
Let f(h) = 18*h**3 + h**2 - 3*h - 2. Let d(z) = z**2 + 26*z + 50. Let k be d(-24). Is 12 a factor of f(k)?
False
Suppose 0 = y + 4, -y = 3*k - 11 - 0. Suppose 0*d - k*d = -730. Does 44 divide d?
False
Let q(v) = v**3 - 18*v**2 + 12*v + 39. Let j be q(15). Let g = -105 - j. Does 39 divide g?
True
Suppose -18*o + 2*y + 3268 = -17*o, o = -2*y + 3288. Is 19 a factor of o?
False
Is (-12)/(-8) + ((-30055)/(-10) - -6) a multiple of 18?
False
Let x(q) = 85*q**2 + 5*q + 6. Suppose 3*d = o + o - 1, 3*o = d - 2. Is x(d) a multiple of 50?
False
Let m be (-1194)/5 + 2 + (-8)/(-10). Let a = m + 555. Does 15 divide a?
False
Suppose 5*f + 2*o = 39630, f - 168*o = -166*o + 7938. Is f a multiple of 55?
False
Let h = 38954 + 6241. Is 15 a factor of h?
True
Let f = -1637 + 118. Let s = f - -2212. Is 21 a factor of s?
True
Let q(r) = 1495*r**2 - 60*r - 60. Is q(-1) a multiple of 65?
True
Let d(t) = 22*t - 7 - 77*t + 26*t + 28*t - t**3 - 16*t**2. Is d(-18) a multiple of 18?
False
Suppose 178*i - 1745962 = 1065127 + 416407. Does 133 divide i?
False
Let f = 5512 + -4134. Does 30 divide f?
False
Let q(r) = -r**2 - 3*r + 2. Let j(a) = a - 2. Let k be j(2). Let p be q(k). Suppose -34 = -w - p*i, w + 84 = 5*w - 5*i. Does 13 divide w?
True
Let m(o) = -35*o + 106. Let k = 306 + -315. Is m(k) a multiple of 15?
False
Let t(x) = -137*x - 1062. Does 22 divide t(-85)?
False
Suppose -5*w + 214 = -2*i, -5*i + 158 = 3*w + w. Let j = w + -33. Suppose -j*p + 70 = -4*p. Is 14 a factor of p?
True
Let b = 21 + -17. Suppose 3*t + 3*f - b = 86, f = -4*t + 135. Suppose -j = -t - 54. Is j a multiple of 16?
False
Suppose -5*k + 0*k - 1652 = 3*z, z - 1636 = 5*k. Let w = -308 - k. Is 4 a factor of w?
True
Suppose -316509 = -41*m - 28812. Is 24 a factor of m?
False
Let v be 184/(-6)*(-24)/(-16). Let r = v + 122. Suppose 3*m - r = -l, 3*l + 21 = 4*m + 197. Does 8 divide l?
True
Let u(o) = 1660*o + 2. Let v be u(1). Suppose v = 11*n - 450. Does 8 divide n?
True
Let i(b) = -2*b**3 + 11*b**2 - 24*b + 18. Let d(p) = -2*p**3 + 10*p**2 - 23*p + 18. Let z(q) = 4*d(q) - 5*i(q). Is z(8) a multipl