3*b - 131 - 141. Is 8 a factor of b?
False
Let u = -51 + 54. Suppose u*s - 4*s = -0*s. Suppose w - 40 = 4*m, s = -3*w - w + 2*m + 104. Is 24 a factor of w?
True
Suppose 5*s = -2*b + 48, 6*s - 5*s + 4*b = 24. Suppose -s*y + 849 = -2103. Does 31 divide y?
False
Let z = -375 + 427. Suppose z*p - 47*p = 450. Is p a multiple of 6?
True
Suppose 82*s + 25*s - 3865181 = -30*s. Is 100 a factor of s?
False
Suppose -4*z + 17 = 4*m - 19, -z = -3*m - 1. Let i(n) = -n**3 + 14*n**2 - 16*n + 15. Is 27 a factor of i(z)?
False
Let s(v) = -6*v - 13. Suppose 0 = h + 2*x + 2 + 2, -2*h = 2*x + 4. Let w be (-1)/(-1) + -14 + h. Is s(w) a multiple of 11?
False
Let w(m) = 3 - 4*m - 5*m**2 + 13*m**2 + 7*m**2. Does 16 divide w(-2)?
False
Let z(c) = -c**3 + 6*c**2 + 3*c + 3. Let m be z(6). Suppose j + m = -8. Let u = j + 98. Is u a multiple of 31?
False
Suppose 5*p - 1 - 134 = 0. Suppose -840 = p*h - 32*h. Suppose -3*u - h = -2*c - 5*u, 5*c = 5*u + 390. Is 17 a factor of c?
False
Does 73 divide (7 - (-18809)/14)/((-6)/(-144)*4)?
True
Suppose 449*g - 17502079 + 1006717 = 0. Is g a multiple of 20?
False
Let p be (4/(-16))/((-4)/688). Let c = p - 23. Is c a multiple of 10?
True
Let w be 21/84 + 245*(-11)/(-4). Suppose -10*b + w = -6. Is 17 a factor of b?
True
Suppose -462 = 9*x + 1194. Let l = x - -190. Is 6 a factor of l?
True
Let x(b) = b**2 - 7*b - 120. Let r be x(15). Suppose -3*c + 59 + 155 = 4*j, j + 3*c - 58 = r. Is j a multiple of 26?
True
Suppose 5*l - 25723 = 4*s, -15263 = -3*l + 16*s - 38*s. Is l a multiple of 13?
False
Let n = -21140 - -44028. Is n a multiple of 33?
False
Let k(t) = 735*t**2 - 37*t - 7. Does 43 divide k(-2)?
False
Let v be 0 + 2 + 3 + (-26)/(-2). Suppose -v*h + 3663 = -657. Is 12 a factor of h?
True
Suppose 0 = 9*o - 22 - 86. Let q(x) = -o*x - 3 - 2*x**3 - 10*x**2 - 30 + x**3 + 3*x**2. Is 3 a factor of q(-6)?
True
Suppose -o = -3*k + 10, 2*o + 30 = 5*o + 3*k. Let d be o/15*(2 + -2). Suppose d = 5*b - 4*b - 17. Does 17 divide b?
True
Suppose u + m - 15 + 5 = 0, -4*u = -m - 30. Suppose u*k - 11*k + 3 = 0. Let l(x) = 55*x**3 + 2*x**2 - 1. Is l(k) a multiple of 7?
True
Let r(c) = -c**3 - 4*c**2 + 6*c. Let h be r(-10). Suppose -2*y - 2*y + 8 = 0, j - 13 = -5*y. Suppose -j*v + h = 2*v. Does 27 divide v?
True
Let y(p) = 3528*p + 2945. Does 12 divide y(6)?
False
Suppose -2*y - 70 = 2*t - 4*t, t - 35 = 3*y. Suppose 5*w - t = 5*g, 0 = -2*w + 2*g + 2*g + 14. Let k(x) = x**3 - 5*x**2 - 4*x + 3. Does 18 divide k(w)?
False
Let p(s) = -13*s**3 - 2*s**2 - 4*s + 2. Let l(u) = u**3 + u**2 + u. Let r(j) = -2*l(j) - p(j). Let d be r(-2). Let t = d + 166. Does 9 divide t?
True
Let w(p) = p**3 + p**2 - p + 4. Let g be w(0). Let v = -17 - -20. Suppose -g*u + v*f + 79 = 0, 0 = 5*u - 2*u - f - 63. Does 5 divide u?
False
Suppose -4*h = -3*d + 2*d - 8614, 0 = 4*h - 7*d - 8626. Does 22 divide h?
False
Let o be ((-1479)/34)/(2/20*1). Does 31 divide o/(-3) - (3 + 0/2)?
False
Let v = 10369 - 4664. Does 5 divide v?
True
Let l be 3/12*16/4 - 51. Let a = l + 57. Suppose 5*p + 4 = a*p. Is p a multiple of 2?
True
Let k = 22 - 17. Suppose 0 = -k*l - 54 + 169. Suppose 6*w - l = 37. Does 2 divide w?
True
Let j = 2975 + -1829. Let l = -830 + j. Does 4 divide l?
True
Let u be (-21)/(-12) - (-1)/4. Suppose 0*l = u*l. Let i(r) = -r**2 - 2*r + 185. Is 37 a factor of i(l)?
True
Suppose -20*k + 44 = -18*k. Suppose k*p - 27*p + 455 = 0. Does 13 divide p?
True
Let w(z) = 893*z - 17. Is w(3) a multiple of 3?
False
Let j be (-2)/(-14) + 796/14. Suppose 4*w + j = s + 9*w, -3*w + 93 = 2*s. Is 42 a factor of s?
True
Suppose 690 = 286*f - 281*f. Suppose 759 = 3*x + 3*k, f = x - 2*k - 106. Does 37 divide x?
False
Let q(d) = -407*d**3 - 10*d**2 + d + 38. Let m be q(10). Is m/(-576) + -1 + 6/8 a multiple of 16?
False
Let g be -2 + (2 - 8) + (-3 - -5). Let l(h) = h**3 + 7*h**2 + 4*h - 7. Let d be l(g). Let f(c) = c**3 - 3*c**2 - c + 3. Is f(d) a multiple of 24?
True
Let z be (6 - 1) + -1 + -2. Let p be (10/(-6) - 2/6) + z. Suppose -4*t + 345 + 323 = p. Is 12 a factor of t?
False
Suppose 4872952 = -85*h + 390*h - 8890173. Does 25 divide h?
True
Let y(q) be the first derivative of 2*q**4 + 3*q**2 - 8*q + 67. Is 8 a factor of y(4)?
True
Does 119 divide 10113 + 9 + (-33)/(-11) - 10?
True
Let u = -267 - 483. Let s = 1230 + u. Does 12 divide s?
True
Let v(m) = 7 + 1 - 3*m - 2*m**2 + 11*m**2 + 0*m**2. Let j = -243 - -245. Does 25 divide v(j)?
False
Suppose -2*w - 2 = -3*w, -n + 3*w = -236. Suppose v - l = l + n, -v - l = -233. Is v a multiple of 22?
False
Let l(h) = -h**3 + 20*h**2 - 20*h - 44. Let r be l(19). Is 8 a factor of (-14991)/(-27) + -4 - (-14)/r?
False
Let b(w) = 80*w**2 - 2*w - 2. Let i(s) = s**2 - 7*s - 29. Let q be i(10). Let f = q - 2. Does 8 divide b(f)?
True
Does 39 divide (4 - 3 - -40202)/((-180)/(-120))?
False
Let f(z) be the second derivative of z**5/60 - z**4/8 - 10*z**3/3 - 14*z**2 - 25*z. Let j(d) be the first derivative of f(d). Is 17 a factor of j(-11)?
False
Suppose s = 5*r - 188, -2*r = -2*s - 2*s - 86. Suppose r*q = 41*q - 828. Does 8 divide q?
False
Let y(j) = -2*j - 26. Let m be y(-9). Let c(a) = -2*a**3 - 12*a**2 + 7*a - 8. Is c(m) a multiple of 12?
True
Let x(r) = -740*r**2 - 739*r**2 - 2 - 13*r + 1488*r**2 + 31. Is 11 a factor of x(4)?
True
Let r(c) = 2*c**2 + 6*c + 4. Let q(n) = n**2 - 11*n + 15. Let j be q(10). Let l be r(j). Suppose 7*x - x - l = 0. Does 3 divide x?
False
Let h be 3196/38 - (-1 + 21/19). Does 5 divide h/126 - (-466)/3?
False
Does 14 divide 3294 + 0 - (-28)/(-49)*7?
True
Suppose -2*y = 2*w - 110, 269 = -2*w + 7*w + 2*y. Suppose -w*l + 50*l = -2598. Does 55 divide l?
False
Suppose 0 = 2*s - 13741 - 56275. Does 64 divide s?
True
Suppose 3*s - 3*z + 4362 = 6*s, -2*s = 3*z - 2917. Does 5 divide s?
True
Let a(m) = m**3 + 20*m**2 - 6*m + 36. Let p(s) = 7*s**3 + 123*s**2 - 35*s + 217. Let y(g) = 13*a(g) - 2*p(g). Does 5 divide y(10)?
False
Suppose -a - 2621 = -5*l + 7875, -3*l + 2*a + 6292 = 0. Is l a multiple of 10?
True
Suppose -4*p - 3 = 9. Let l be (-142)/(-5) + 4/(-10). Is 18 a factor of (-25)/(-10)*p*l/(-5)?
False
Is 4714 + (-16 + 6 - -14) a multiple of 14?
True
Let u(h) = 13*h**2 - 25*h + 479. Does 6 divide u(13)?
False
Let q = -70015 - -133988. Does 13 divide q?
True
Let l(n) = 904*n**2 + 45*n - 23. Does 10 divide l(2)?
False
Suppose 0 = -92*x + 106*x - 47964. Does 6 divide x?
True
Let z = 6196 - 2283. Does 43 divide z?
True
Let y(m) = m**2 + 4*m - 7. Let t be 3*(2 - -2) - 3. Suppose -t = -j + u, 3*j - u - 22 = u. Does 5 divide y(j)?
True
Let c be (-5270)/(-187) + 2/(-11). Let r = c + 5. Is 3*(-16)/(-18)*r a multiple of 25?
False
Let a(r) = r**3 + 2*r**2 - 6*r - 5. Let w be a(-3). Suppose 996 = 2*o - 4*k, 9*o = w*o - 4*k + 2532. Is o a multiple of 12?
True
Let h(q) = 2*q**2 + 5*q - 6. Let f be h(-4). Suppose 2*u = -4, 8*l - 540 = f*l + 5*u. Is 19 a factor of l?
False
Let o = -1985 + 10114. Is 11 a factor of o?
True
Suppose -6 = -u - 12. Is 3 + 0/1 - (-86 + u) a multiple of 5?
True
Let n(c) = c**3 - 6*c**2 + 8*c - 5. Let u be n(5). Let x be 0/(-3*u/15). Does 16 divide (-1)/(x - -1)*(-41 - 2)?
False
Suppose 4*u - 118 = -3*o, 2*o - 114 = -o - 3*u. Suppose -3*l + l = 5*h - o, -20 = -h + 4*l. Suppose h*p - 101 + 21 = 0. Does 10 divide p?
True
Suppose 735 = p - 4*t, 3*p - 7*p - 4*t = -3040. Let h = 1350 - p. Is h a multiple of 38?
False
Let m(g) be the first derivative of 23*g + 26 + 8*g**2 - 11*g**2 + 2*g**2. Is m(-20) a multiple of 21?
True
Suppose -29*u - 5*u - 67*u = -386224. Is 31 a factor of u?
False
Let q = -1401 + 2249. Let v = 187 + q. Is v a multiple of 15?
True
Does 93 divide (-2376)/(-144)*868/2?
True
Suppose 87904 = 72*l + 81*l - 300257. Is l a multiple of 19?
False
Let i = 182 + -44. Suppose y - 4*j = -5*j - 82, -4*y - 328 = 5*j. Let u = y + i. Does 14 divide u?
True
Let w(o) = 296*o**2 + 480*o + 1437. Is 101 a factor of w(-3)?
False
Suppose 33*c - 30*c - 5*x = 3229, c + 4*x = 1082. Is c a multiple of 30?
False
Let u(g) = g**2 + 37*g + 135. Let y be u(-33). Suppose -4*r = -2*r - 8, y*p - 3*r = 468. Does 10 divide p?
True
Let x(u) = 123*u**2 - 10*u - 5. Let n be x(-2). Suppose 3*b + 93 = 4*p + n, -2*b + 2*p = -276. Does 23 divide b?
True
Suppose 10438 = 2*w - 13*q + 17*q, -3*w = -q - 15650. Does 37 divide w?
True
Suppose 5*r = -4*a + 145, a - 10 