5*b + 129. Is b a multiple of 16?
False
Let o be -1*-1*117 - -2. Suppose 5*m + o - 34 = 0. Let a = m + 100. Is 30 a factor of a?
False
Does 29 divide 195/(-10)*12/(-9)*116?
True
Let z be (-25526)/12 - (-2)/12. Let r be (-4)/18 + z/27. Let v = 0 - r. Does 17 divide v?
False
Suppose 0*b = 12*b - 204. Suppose b*r = 5*r + 1152. Is 13 a factor of r?
False
Let f be (-2 + (-6)/(-4))*-2. Suppose 3*j - 4*j + f = 0. Suppose -9 = -2*z + j. Does 3 divide z?
False
Suppose -5*d = -4*j + 34 - 9, 0 = -3*j + 5*d + 25. Let a(n) = -6 + 2 + 5*n + j. Is 9 a factor of a(8)?
True
Suppose 4*b = 2*b + 10. Suppose -4*o - 32 + 80 = 4*y, -b*o - 2*y + 45 = 0. Suppose -o*c + 125 = -2*c. Is 25 a factor of c?
True
Let m = -25 - -32. Suppose 0*u = -4*j - u + m, 4*j - 22 = 2*u. Suppose 3*s + 106 = 4*z + s, 5*z + j*s - 160 = 0. Is z a multiple of 5?
False
Suppose -v - 7 = 17. Let a(j) = -3*j - 10. Let h be a(12). Let b = v - h. Is 7 a factor of b?
False
Let y = -8 - -12. Suppose -62 = -y*z + 30. Is 23 a factor of z?
True
Let h(j) = -j**2 + 4*j + 1. Let b = 9 - 6. Let k be h(b). Suppose 102 = 2*o - 4*z, -k*o + 4*z + 16 = -180. Does 9 divide o?
False
Suppose -2*m = k + 38, 5*k = -3*m + 25 - 243. Let s = 109 + k. Is s a multiple of 20?
False
Is 79 a factor of 18/6 + (-723 + 5)*-1?
False
Let z(f) = -44*f + 19. Does 7 divide z(-1)?
True
Let z be (2 - -1) + (-388)/(-4). Let q be (3 + z/(-2))*-2. Let d = q - 61. Is 11 a factor of d?
True
Let o(k) = 11*k**2 + 115*k + 8. Is o(-20) a multiple of 31?
True
Let f(b) = -2*b**2 + 4*b - 14*b + 6*b**2. Let x be f(-7). Does 4 divide x/18 - (-2)/9?
False
Let d = -1908 + 2376. Does 36 divide d?
True
Suppose -5*b = 3*i - 350, 0 = -4*b - 5*i + 2*i + 277. Is b a multiple of 10?
False
Let c(y) be the third derivative of 0*y - 2*y**2 + 0 + 1/30*y**5 + 1/2*y**3 - 1/24*y**4. Does 23 divide c(-3)?
False
Let y(k) = k**2 - 18*k + 25. Is 22 a factor of y(26)?
False
Let i = -8 - -11. Suppose x - 6 = -i*u - u, -3*x + u + 57 = 0. Does 2 divide 6/(-3 - x/(-4))?
True
Let s(w) = -w**2 + 5*w + 16. Let f be s(7). Let o(b) = 4*b**3 + b**2 - b + 4. Does 15 divide o(f)?
False
Let w(l) be the third derivative of l**5/30 + l**4/8 - l**3/3 + 5*l**2. Let a be w(-7). Suppose 4*o - d - 41 - 6 = 0, -5*o - 2*d + a = 0. Is 5 a factor of o?
False
Is 8 a factor of 6/(-14) - (-9734)/434?
False
Let t(q) = q**3 - 6*q**2 + 5*q + 8. Let v be t(6). Let c be (-16)/72 - v/(-9). Suppose 4 = -j, -c*y = -3*j - 14 - 70. Does 6 divide y?
True
Suppose -2238 - 3432 = -3*w. Is 63 a factor of w?
True
Suppose -74*g + 71*g + 459 = 0. Is g a multiple of 18?
False
Let o = 676 - 532. Does 12 divide o?
True
Suppose -17*b + 24*b - 9758 = 0. Does 15 divide b?
False
Is -48*(-1 - (-72)/(-6)) a multiple of 52?
True
Suppose 4*r - 10 = -r - 4*a, -3*r + 2*a + 6 = 0. Suppose 2*s = -2*p - 88, -r*p - 2*s = -p + 46. Let n = p + 89. Does 13 divide n?
False
Suppose 0 = -3*t + 4*t + 8. Let x = -18 - t. Let s(v) = v**3 + 12*v**2 + 15*v + 4. Is s(x) a multiple of 13?
False
Suppose 2*v = -2 + 26. Is v a multiple of 4?
True
Is (-125)/(-100)*(-204)/(-1) a multiple of 21?
False
Suppose 0*z + 2*z - 18 = 0. Suppose -x + 56 = -z. Is x a multiple of 13?
True
Suppose -3*d = 2*q - 5*d - 332, 2*q + d = 341. Is q a multiple of 4?
False
Is 16 a factor of (-87)/(-2) + (-363)/(-242)?
False
Let u be (-2)/2*(-12 + 3). Let h(f) be the first derivative of 3*f**2 - 4*f + 2. Does 18 divide h(u)?
False
Let d(w) be the second derivative of 58*w**3/3 + 3*w**2/2 - w. Let o be d(2). Suppose -n = -4*k + o, n = -3*k + 4*k - 55. Does 17 divide k?
False
Let g = -76 + 33. Suppose -3*c + 8*c - 65 = 0. Let a = c - g. Is 14 a factor of a?
True
Suppose -24*a = 23*a - 73414. Is a a multiple of 51?
False
Let q be 8/6*18/12. Suppose -j = 4*j - 5, 0 = -m + q*j + 193. Is m a multiple of 23?
False
Let d = 48 - -86. Let l(x) = -8*x**3 + 2*x**2 - 2*x - 2. Let k be l(2). Let i = d + k. Does 24 divide i?
True
Suppose -8*x = 3*p - 3*x - 19, -4 = -2*x. Suppose -q = c - 2, p*c + 2*c = 0. Suppose q*u + 104 = 4*u. Does 26 divide u?
True
Does 12 divide -1 + 2038 - (12 + -15)?
True
Let w = 98 + -53. Is w a multiple of 6?
False
Let k = -548 + 946. Is k even?
True
Let m(k) = -k**2 - 31*k + 81. Is m(-25) a multiple of 11?
True
Let s = 4 - 2. Suppose -25*k + 126 = -4*k. Suppose s*q - 42 = k. Is q a multiple of 12?
True
Let h(y) = 10*y**3 + 3*y**2 - 2. Let c be h(2). Suppose 3*f - c = -516. Let m = -100 - f. Is m a multiple of 14?
True
Let x(n) = 57*n**2 - 1. Let f be x(-1). Suppose -5*h = -5*m - h + 198, 2*m = 5*h + 86. Let b = f - m. Is b a multiple of 10?
False
Let v(h) = -h + 7. Suppose -3*r + 10 = -8. Let k be v(r). Is (0 - k) + (-145)/(-5) a multiple of 8?
False
Let g(o) = -o**3 + 6*o**2 - 9*o + 10. Let c be g(5). Is 26 a factor of (-9)/(45/c) - -86?
False
Let p(h) = -311*h - 122. Is 51 a factor of p(-4)?
True
Let a = 2260 + -1612. Does 54 divide a?
True
Suppose q - 26640 = 6*q. Is q/(-81) + 4/18 a multiple of 22?
True
Let v be (0 - -12)*(-10)/(-30). Suppose 0 = v*s - f + 2*f - 7, 4*f = -20. Is 12 a factor of (-3)/(-3 - s)*82?
False
Let a = 3927 + -2663. Is 79 a factor of a?
True
Let n(m) = -2*m - 31*m**3 + 4 - 8*m**2 + 21*m**3 - 56*m**3. Let h(x) = 67*x**3 + 9*x**2 + 2*x - 5. Let l(q) = 5*h(q) + 6*n(q). Is l(-1) a multiple of 15?
False
Suppose 4*w = -h + 3, 4*h + 20 = 3*w - 6. Suppose w + 2 = -l, 3*t - l = -299. Is (-12)/18 + t/(-3) a multiple of 11?
True
Suppose 0 = 4*t - 72 - 8. Let j(r) = -r**2 + 17*r - 18. Let g be j(16). Let z = t + g. Is z a multiple of 9?
True
Let b(p) = 23*p**2 - 58*p - 12. Is 64 a factor of b(10)?
False
Suppose -j - 22 = 53. Does 14 divide 6*(9/(-15) + (-2495)/j)?
True
Let p(u) = -u**3 + 15*u**2 - 11*u - 13. Let v be p(14). Let g = 89 - v. Is 10 a factor of g?
True
Let v = -10 - -14. Let y(j) = -31*j + 10. Let r be y(v). Does 4 divide ((-6)/12)/(3/r)?
False
Let v(z) = 180*z - 24. Does 12 divide v(3)?
True
Suppose -17*v = 4*v - 1512. Is v a multiple of 20?
False
Suppose -z + 11*r - 10*r = -51, -5*z = 4*r - 228. Does 48 divide z?
True
Let k = -3 - -9. Let b = k - 9. Is 14 a factor of (-125)/b - (-5)/15?
True
Let n = 360 - 256. Suppose -56*r + n = -52*r. Suppose 2*z = -r + 88. Does 6 divide z?
False
Let f(w) = -w**2 - 25*w + 33. Suppose 0*a + 3*a = -72. Is 15 a factor of f(a)?
False
Suppose -4*o + 6740 = -5*c, -2*c - 8380 = -5*o - 7*c. Is o a multiple of 14?
True
Suppose 0 = 2*n - y - 175, 16*n - 15*n + 5*y - 82 = 0. Is 29 a factor of n?
True
Let c = 62 - 127. Let z = c - -94. Is z a multiple of 14?
False
Suppose -5*s - 4*r + 1045 = 0, 2*s + 836 = 6*s - 2*r. Let b = s + -153. Does 4 divide b?
True
Let q = -5 - 0. Let m be 0/(-1)*5/q. Suppose m*b + 3*b = 132. Is b a multiple of 17?
False
Suppose 77*b - 13*b - 167168 = 0. Does 29 divide b?
False
Let j = -3614 + 7021. Is 23 a factor of j?
False
Let p(k) be the third derivative of k**5/60 + k**4/8 + k**3/3 + 9*k**2. Let w(j) = -2*j + 13. Let h be w(10). Does 6 divide p(h)?
True
Suppose 3147 = 3*b + 4*t, 2*b - t - 1747 = 362. Is 9 a factor of b?
True
Suppose -3*s - 2*c + 191 = -2*s, 5*s = -2*c + 923. Let x = s - 64. Does 12 divide x?
False
Suppose -b = b - 320. Suppose -4*c = -6*c + b. Suppose j - 20 = x, -2*j - c = -7*j + x. Does 5 divide j?
True
Suppose -3*j + 1289 = 4*s, -4*s + 4*j + 1277 = 3*j. Is s a multiple of 19?
False
Suppose -k - 3*x = -28, k + 2*x = -4 + 35. Is 9 a factor of k?
False
Let a = 304 + -209. Suppose 0 = -3*c + 290 - a. Does 10 divide c?
False
Let m be (-1)/4 + 124/(-16). Let r = m + 13. Suppose r*w + 135 = 390. Does 13 divide w?
False
Suppose 3*m - 674 = -4*u, u + 0 = -1. Let k = m - 46. Suppose 4*j - k = -j. Is j a multiple of 9?
True
Let c = -28 + 59. Let v = -18 + c. Is (4 - v)/(-3) + 48 a multiple of 17?
True
Suppose 4*z = z + 1305. Suppose 4*b - 460 = -m, -2*b - 50 = 5*m - 280. Suppose -2*w - 5*q = -76 - b, 5*w + 4*q = z. Is w a multiple of 27?
False
Let w = 22 + -13. Let k = 210 + -190. Let z = k - w. Is z a multiple of 11?
True
Let u = 34 - 43. Let q(i) = -4*i - 17. Is q(u) a multiple of 10?
False
Suppose -p - 17 - 2 = 0. Let j = 26 + p. Does 2 divide j?
False
Let k(i) = 48*i - 307. Is k(30) a multiple of 74?
False
Let s be (-564)/72 - (-3)/(-18). Is 4 a factor of (0 - -1)/(4/(-128)*s)?
True
Let w = -20 + 23. Let i(g) = 45*g + 11. Let r be i(w). Suppose 2*a + q + 43