 i - 171 = s. Is 7 a factor of a?
True
Let x = 241 - 32. Let o = 328 - x. Does 15 divide o?
False
Let h(l) = -2*l**2 - 33*l - 23. Let b(u) = -3*u**2 - 50*u - 34. Let y(p) = -5*b(p) + 8*h(p). Is y(-10) a multiple of 13?
True
Let y be -1 + (8/(-2) - 13). Is (-363)/y - (-1)/(-6) a multiple of 20?
True
Suppose 706 - 130 = -6*z. Let r = -47 - z. Let q = -21 + r. Is q a multiple of 28?
True
Suppose -11*o + 16*o - 80 = 0. Let i be (-2)/(-8) - 164/o. Is 11 a factor of (-819)/(-35) + 4/i?
False
Let n = 35 - 4. Suppose 5*a + 6 = n. Suppose -96 = -a*w + 94. Is 17 a factor of w?
False
Let t = 378 - -64. Does 26 divide t?
True
Let n(y) = -52*y + 39. Let u(q) = -26*q + 20. Let w(k) = 2*n(k) - 5*u(k). Is w(5) a multiple of 25?
False
Let o(v) = 37*v**2 + 9*v + 17. Is o(-4) a multiple of 4?
False
Let p be (0/(-5))/((-3)/(-1)). Suppose p = -0*c + 2*c - 44. Suppose c - 2 = -4*u, -127 = -4*i - 5*u. Is i a multiple of 19?
True
Suppose 0 = 2*g - 5*g - 18. Let v be -30 + (g/2)/(-3). Let s = v - -43. Does 14 divide s?
True
Let o(k) = -k**2 - 7*k + 840. Is 84 a factor of o(0)?
True
Let t = 31 - 31. Suppose 0 = 5*x + 4*s - 197, t*s - 4*s - 25 = -x. Is 6 a factor of x?
False
Suppose -3*q + 3*n = 0, -4*n + 25 = -0*q + q. Suppose 33 = o - 3. Suppose -2*h - o = -q*h. Is 12 a factor of h?
True
Let s(z) = 4*z**2 - 51*z + 8. Is s(-4) a multiple of 6?
True
Let l = -887 - -1265. Is l a multiple of 27?
True
Suppose 3*s - 14 = -8. Is s + -3 - 3 - -50 a multiple of 14?
False
Suppose 0 = -2*z + 2*v + 206 + 204, -z + 211 = v. Is z a multiple of 16?
True
Suppose -3*s + s - 5 = -i, -2*s = 2. Does 27 divide i + 14/(-6) + 158/6?
True
Let o be -246*((-6)/(-9) + -1). Let f = o - 39. Does 30 divide f?
False
Let j = -25 - -25. Is 13*(4 + (-3 - j)) a multiple of 13?
True
Suppose 24*s = 1940 - 500. Is 20 a factor of s?
True
Let w = -4 + 13. Let t(o) = 9*o - 17. Does 20 divide t(w)?
False
Let v(n) = 43*n - 27. Is 34 a factor of v(3)?
True
Let w(s) = s**3 + 16*s**2 + 2*s - 15. Is w(-14) a multiple of 64?
False
Suppose l + 883 = -4*m, 0 = -l - 5*m + 3*m - 889. Does 14 divide 4/(-6) - l/15?
False
Does 12 divide (25/3)/((-8)/(-360))?
False
Let l(n) = 6*n**2 + 7*n + 16. Does 4 divide l(-4)?
True
Let y = 579 + -349. Is y a multiple of 11?
False
Suppose 0 = -3*h + 15, -c = 3*c - 4*h + 12. Suppose x = -f + 14, -c*f = -x - x + 48. Is x a multiple of 9?
False
Suppose n - 4 = 2*p, -4*p - 7*n + 3*n = -4. Let g(v) = 59*v**2 + 5*v + 6. Is g(p) a multiple of 30?
True
Let y(s) = -s**3 - 6*s**2 + 8*s + 8. Let m be y(-7). Is 5 + 1 + 3 + m a multiple of 4?
False
Suppose p = d - 0*d - 59, -4*d = 5*p - 281. Let y be 46 - (-2 - -3 - 1). Let v = d - y. Is v a multiple of 6?
True
Suppose 0 = 2*n + 4*k - 3765 - 1365, -n - 4*k + 2557 = 0. Is 58 a factor of n?
False
Let z(d) be the third derivative of d**6/120 + 3*d**5/20 + 11*d**4/24 - 17*d**3/6 - 8*d**2. Does 2 divide z(-7)?
True
Let n(k) = 57*k + 4. Is 22 a factor of n(10)?
False
Let p(t) = t**3 - t**2 - 2*t - 3. Let l be (0 + -1)*(-60)/12. Let f be p(l). Suppose -119 = -3*n + 4*d, -3*d = -2*n - 8*d + f. Does 15 divide n?
False
Let p be (6/(-4))/(511/(-256) - -2). Is (3/(-2))/(16/p) a multiple of 9?
True
Suppose 199 = v + 2*f, -6*f + 4*f - 935 = -5*v. Is v a multiple of 24?
False
Let j = 39 + -18. Suppose 4*w - j = 79. Suppose o - 6*o = -w. Is 3 a factor of o?
False
Let g = -58 + 72. Suppose -3*u + g = -7. Is 5 a factor of u?
False
Suppose -3*k + 0*k - 63 = -3*h, 4*h - 2*k - 80 = 0. Let t = h - 14. Suppose -t - 19 = -4*j. Is j a multiple of 3?
True
Suppose -15660 = 13*c - 23*c. Is 21 a factor of c?
False
Suppose 0 = -6*i + 9*i + 9. Let d be ((-4)/12)/(i/45). Suppose -d*k + 3*l + 143 = 0, -2*k - 4*l + 80 = k. Is 7 a factor of k?
True
Let r(o) = 2*o**2 + 11*o - 7. Suppose -6 = h - 4*p, -h = h - 2*p + 12. Let n be r(h). Let m(q) = 53*q**2 + 2*q + 1. Is 8 a factor of m(n)?
False
Let s = -1632 + 2337. Is s a multiple of 17?
False
Is 14 a factor of (-104665)/(-33) + (-8)/(-6) + 1?
False
Suppose -2*a - 4*r - 22 = 0, 4*a + a + r + 19 = 0. Is 24 a factor of 3 + (-352)/(-4) + a?
False
Let f(o) = -10*o**2 + 2 + 7*o**2 + 3*o**2 - 80*o**3 + 2*o. Does 18 divide f(-1)?
False
Let j(b) = -5*b**3 + b**2 + 4*b**3 - 3*b**2 + 9 + 6*b - 6*b**2. Is j(-9) a multiple of 18?
True
Suppose -11 = 4*v + 1. Suppose 10 = t + t - 5*z, -5*t - 2*z = -25. Let a = t + v. Does 2 divide a?
True
Suppose 9*j - 5*j + 132 = 0. Let l = 51 + j. Is 3 a factor of l?
True
Does 25 divide (38 + -42)*134/(-4)?
False
Let z(b) = b**2 + b - 9. Let j be (0 + -2)/((-24)/60). Does 7 divide z(j)?
True
Suppose 3*q = 11*w - 6*w + 3697, -4*w - 8 = 0. Does 37 divide q?
False
Suppose 4*p = -4*d - 20, -5*p - 3*d = 18 - 1. Suppose 7*x = -44*x - 765. Is 8 a factor of p/(x/(-6))*-115?
False
Let i be 1*(5 - (3 + 0)). Suppose -p + 774 = 3*n, -2*n + 1045 = i*n - 3*p. Is 13 a factor of n?
False
Suppose 576 = 14*g - 10*g. Suppose 3*y = 6*y - g. Is y a multiple of 8?
True
Suppose u - 3*u = 4*m - 96, 5*u + 96 = 4*m. Suppose -4*q + m - 68 = 0. Let v = q + 47. Is 9 a factor of v?
True
Let v(h) = 168*h - 280. Does 56 divide v(6)?
True
Let d = -1556 - -1624. Is d a multiple of 17?
True
Suppose -2*h - 2*o = -4, -3*h + o + 6 = 2*o. Suppose -h*r = 3*r - 2*v - 424, 4*v - 160 = -2*r. Is r a multiple of 27?
False
Is 2 a factor of (-29 + 1)/(-1)*2?
True
Let n = 177 + -28. Is 18 a factor of n?
False
Suppose 47 = 4*k + 15. Suppose t - 127 = 2*w, -k*t + 482 = -4*t + 5*w. Does 10 divide t?
False
Let u(p) = p - 19. Let r be u(13). Let z be (-146)/4*(-12)/r. Let o = -41 - z. Does 13 divide o?
False
Let a(b) be the first derivative of 77*b**3/3 - b**2/2 - b - 29. Is 42 a factor of a(2)?
False
Let q(x) = 45*x + 17. Let k(t) = 721*t + 273. Let g(m) = -3*k(m) + 49*q(m). Does 7 divide g(2)?
True
Suppose -2*o + 6 = -0*o. Suppose -3*i + o*f + 192 = 0, 2*i - 5*f = 4*i - 156. Is 6 a factor of i?
False
Let b(x) = 10*x**2 - 7*x - 12. Is b(-2) a multiple of 14?
True
Let v(w) = w**3 + 7*w**2 + 4*w + 2. Let f be v(-6). Suppose -f*o = -12*o - 36. Is o a multiple of 9?
True
Let n(h) = 329*h**2 - 58*h - 2. Does 55 divide n(-2)?
True
Is 8 a factor of (-2)/(-15) - (2765/(-75) + -2)?
False
Let y = 15 + -17. Does 19 divide 4 - (1 + 0)/(y/258)?
True
Let w(k) = 8*k**2 + 11*k - 4. Let z be w(-7). Let o = -166 + z. Let y = o + -97. Does 8 divide y?
True
Suppose b = 3*c - 19, -4*b - 36 = -4*c - 0*b. Suppose c*s - 105 = 80. Is 37 a factor of s?
True
Let s(w) = 2*w**3 - 6*w**2 + 2*w + 20. Is 29 a factor of s(7)?
False
Suppose 2*x + 6 - 4 = 0, -4*x = p - 346. Is p a multiple of 35?
True
Let y be (5 - 3 - -1)/((-1)/(-123)). Suppose y + 27 = 3*m. Is m a multiple of 22?
True
Let c = 656 - 400. Is c a multiple of 8?
True
Let z = -20 - -20. Suppose 4*l + 3*d - 123 = z, 4*l - 2*l + 4*d = 74. Let p = l - 5. Is 11 a factor of p?
True
Let m(a) = -a**2 + 13*a - 22. Let n be 5*-5*10/(-25). Is 4 a factor of m(n)?
True
Is 857 + 12/(-16)*-12 a multiple of 125?
False
Suppose 7*y + q - 12 = 3*y, 0 = 5*q. Let r be (-63)/(-27) + (-1)/y. Suppose r*c + 2 = 58. Does 28 divide c?
True
Let v be 29 + (-1 - (-1 - -4)). Let t = 50 - v. Does 20 divide t?
False
Let t(y) = 5*y + 3. Let v be t(5). Let u = v - 19. Does 3 divide u?
True
Does 12 divide ((-201)/8)/(27/(-36))*2?
False
Let b be (-216)/99 - (-3 + (-155)/(-55)). Suppose 4*m - 3*m = 51. Is (m/(-2) + 3)*b a multiple of 15?
True
Let s = -11 + 19. Let k(g) = g + 10. Let y be k(0). Let d = y + s. Is d a multiple of 6?
True
Let r = -92 + -52. Suppose -14 = 9*m + 4. Is 29 a factor of m/5*(-1 + r)?
True
Let a = -176 - -446. Is 27 a factor of a?
True
Let h = -18 - -22. Let w be 9 - (2 - 0) - h. Suppose 2*u = -0*u + 10, 2*u - 160 = -w*s. Is 11 a factor of s?
False
Suppose 12 = -3*m - 6. Let x be (24/(-9))/((-2)/m). Let t(b) = -3*b + 9. Is 25 a factor of t(x)?
False
Suppose -5*j = -103 - 607. Is 11 a factor of j?
False
Suppose -5*b = -12*b + 1848. Is b a multiple of 12?
True
Suppose -4*w = 0, 2*m + 2305 = 7*m + 4*w. Suppose -m = -6*u + 379. Is u a multiple of 13?
False
Let q = 245 - 9. Does 3 divide q?
False
Let o(u) = 20*u + 4. Let v be o(1). Is 15 a factor of 146/4*6/(v/8)?
False
Suppose 6*i = 2*i + 572. Does 78 divide i?
False
Suppose -16694 + 3374 = -15*u. Does 66 divide u?
False
Let n = 102 - 76. Suppose 0 = 27*x - n*x - 52. Is 16 a factor of x?
False
Supp