b*r + 417 = 0, 706 = 5*d + 3*r. Does 13 divide d?
True
Suppose -2*k + 456 = 2*k - 2*w, -4*w + 114 = k. Let x = -2 + k. Is 14 a factor of x?
True
Let h be 1078/21 + 2/(-6). Suppose -j = -2*a + 20 - 2, 3*a = -5*j - h. Let c(m) = -m**3 - 11*m**2 + 7*m + 12. Is c(j) a multiple of 24?
True
Let d be (2 - 0/(-2)) + -5. Let s(p) = p**2 + 3*p - 4. Let j(h) = h**2. Let n(v) = 2*j(v) + s(v). Is 7 a factor of n(d)?
True
Let m be 132/16*24/9. Let x = m + 4. Is x a multiple of 4?
False
Is (-5)/20*-846 - 9/6 a multiple of 17?
False
Suppose -2*a + 5*f + 58 = 0, f + 58 = 4*a - 2*a. Suppose -8*b - a = 19. Let m = 10 + b. Is m even?
True
Let p(j) = -j**3 - 25*j**2 - 17*j + 16. Is 54 a factor of p(-26)?
True
Suppose 21*v - 39*v = -7704. Is 22 a factor of v?
False
Let y(c) = 6*c + 6. Suppose -2*x + 3*x = 7. Let z be x/5*(9 - 4). Is 16 a factor of y(z)?
True
Suppose 2*b - 5*b + 1052 = -5*w, -w - 1380 = -4*b. Is b a multiple of 24?
False
Let k = 6 - 4. Is (-2)/k + -1 + 72 a multiple of 14?
True
Suppose 19*q - 143 = -4*o + 16*q, -5*o = 2*q - 170. Does 9 divide o?
False
Let m be 3 + ((-2)/2 - 6). Let i = m - -5. Let j = 2 + i. Does 2 divide j?
False
Let g(y) = 3*y**2 - 4*y - 5. Let f be g(-3). Let s = 19 - f. Let z = 4 - s. Is 9 a factor of z?
False
Let i = 17 + 21. Suppose i = 3*w - 5*w. Let b = w + 35. Does 6 divide b?
False
Let p = 4 - 5. Let m be 4 - 8 - 3*p. Is 10 a factor of 9/m*100/(-30)?
True
Is ((-228)/(-9) - -4)*54/4 a multiple of 22?
True
Suppose -17*x = -21*x + 732. Is x a multiple of 26?
False
Let u = -94 - -70. Is 11 a factor of 4 + 0 - (-3 + u)?
False
Suppose 0 = j - 3*j + 38. Let p(d) = 4*d - 45. Is p(j) a multiple of 6?
False
Let k(p) = 58*p + 1545. Is k(-20) a multiple of 55?
True
Let r(s) = s**2 - 27*s + 7. Is 30 a factor of r(-12)?
False
Suppose -1 - 29 = 3*o. Is 16 a factor of o/20 + 170/4?
False
Suppose -4*o = -9*o + 25. Suppose 2*r = -2, 4 = -o*z - 4*r + 15. Is 12 a factor of ((-384)/36)/((-2)/z)?
False
Suppose -4*y = -508 - 92. Let z = -68 + y. Is z a multiple of 41?
True
Suppose 2*w - 7 = -2*q + 7, 5*q + 1 = 4*w. Let c(i) = 12*i**2 - 6*i - 15. Is c(w) a multiple of 9?
True
Let j(y) = y**2 + 6*y. Let q be j(-6). Let n = q - -79. Is 23 a factor of n?
False
Suppose -31*a = -11276 - 6921. Is 34 a factor of a?
False
Let m be 122/(-4)*2 + -2. Let n = -32 - m. Is 13 a factor of n?
False
Let g = 839 - 642. Is g a multiple of 3?
False
Suppose 4*y = -4*x + 788, 4*x + 193 - 21 = y. Is 16 a factor of y?
True
Let y(u) = u - 2. Let r be y(14). Suppose 4*k - m + 26 = -6*m, 4*k - 2*m + r = 0. Let i(g) = g**3 + 6*g**2 + 2*g + 2. Is 11 a factor of i(k)?
False
Let p = 239 + 245. Is 22 a factor of p?
True
Suppose -8*d = 291 - 1155. Let s = d + -61. Suppose -2*q + q + h = -9, 5*q - 4*h - s = 0. Is 8 a factor of q?
False
Suppose -7 = g - q, 2*q = g + 2*g + 16. Let z be 24/16 - 9/g. Suppose -2*u - 268 = -z*u. Is u a multiple of 14?
False
Let f = 4 + 12. Does 30 divide f/(-4) + 7 - -68?
False
Let r(n) = n + 26. Let a be r(6). Suppose -a - 148 = -3*i + 5*z, 0 = 5*i + 2*z - 331. Is i a multiple of 13?
True
Let z(q) = -17. Let k = 1 - -3. Let y(p) = -p + 17. Let n(l) = k*y(l) + 5*z(l). Is n(-14) a multiple of 9?
False
Let b = -14 + 19. Suppose -b - 85 = -2*j + 5*s, -j - 3*s = -45. Is j a multiple of 20?
False
Is -4 - (4 + 2*18)*-2 a multiple of 16?
False
Does 58 divide (25/20 - (-2)/(-8))*290?
True
Let h = 666 + -579. Does 29 divide h?
True
Let r be 6/(-4)*6/(-3). Let s be 1/((-16)/6 + r). Suppose -s*p - 27 + 135 = 0. Is 9 a factor of p?
True
Let b(o) = o - 1. Let k be b(7). Let z = -79 + 83. Suppose l + 45 = -5*y + k*y, -y = -z*l - 45. Does 15 divide y?
True
Suppose -6*r + 0 + 24 = 0. Suppose 4*t + 8 + 0 = -r*w, 0 = w + 4. Is 2 a factor of t?
True
Suppose z + 1 - 4 = 0. Let c be 10/(-15) - (-20)/z. Is 21 a factor of (-1 + 171)*3/c?
False
Suppose 0 = 4*m + 5*p + 247, 0 = 4*m - 3*p + 56 + 199. Let d = 35 + m. Does 4 divide (-3)/(6/d) - -2?
True
Does 19 divide (-12)/20 + 1428/5?
True
Let z = 94 - 144. Let l = 58 + z. Is l even?
True
Let r = 18 + -2. Suppose 20 = 3*x - r. Is x a multiple of 4?
True
Let m = -631 + 1222. Is 31 a factor of m?
False
Suppose 1567 = 8*c - 553. Is c a multiple of 4?
False
Suppose -3*r + 2*n + 8 = -10, -4*n - 12 = -2*r. Let m(z) be the second derivative of z**4/6 - z**3/6 - 20*z. Is 23 a factor of m(r)?
False
Let s(o) = 13*o - 15. Let y(i) = 12*i - 14. Let g(l) = -5*s(l) + 6*y(l). Suppose 7*f = -f + 32. Is 5 a factor of g(f)?
False
Let o = -690 + 755. Does 13 divide o?
True
Suppose 0 = -608*r + 600*r + 4560. Is r a multiple of 65?
False
Let a = 13 - 130. Let h = -188 - a. Let r = -40 - h. Is r a multiple of 27?
False
Let z be ((-9)/(-4))/((-24)/(-64)). Let p = 1 + z. Let j = 16 - p. Does 5 divide j?
False
Let t(m) = -m + 11. Let n be t(6). Suppose -i = -2*s + 305, -n*s + 3*i = i - 761. Does 27 divide s?
False
Let i = -516 + 824. Is i a multiple of 44?
True
Suppose 0 = -x + u + 291 + 33, 0 = 3*x + 4*u - 958. Let b = x + -220. Does 17 divide b?
True
Let q(m) = 106*m - 239. Does 43 divide q(5)?
False
Suppose -2*m - 2*m = -5*l + 20, 3*m + 1 = 2*l. Suppose 2*i + l = 0, -i - 4*i + 25 = 3*w. Let k = -12 + w. Is k a multiple of 3?
True
Let h = 270 + -43. Does 11 divide h?
False
Let y(c) = 2*c + 13. Let v be y(11). Let b = -15 + v. Is 4 a factor of b?
True
Let q = 130 - 126. Suppose 5*n = -2*b + 144, -2*n = -q*n + 4*b + 72. Is n a multiple of 17?
False
Let r = 15 + -27. Is ((-16)/r + -3)*-6 a multiple of 4?
False
Suppose -r - 3*u = 2*r + 135, 4*r = -5*u - 175. Suppose m = -3*o + 209, -4*o = -3*o + 3*m - 59. Let s = o + r. Is 9 a factor of s?
False
Let a(m) = -m**2 - 118*m + 28. Let b(f) = 39*f - 9. Let n(w) = 3*a(w) + 8*b(w). Is 5 a factor of n(-14)?
False
Let n(h) = h**3 - 2*h**2 + 3*h - 6. Let i be n(3). Let s = -4 + i. Is s a multiple of 2?
True
Suppose 90 - 1854 = -21*m. Is 4 a factor of m?
True
Let n(f) = -f**3 - 2*f**2 - f + 104. Let h be n(0). Let q = h - 60. Is q a multiple of 10?
False
Let f(a) = -5*a - 14. Let t be f(-7). Does 25 divide 1 - t/((-147)/(-78) + -2)?
False
Suppose 0 = -3*d - 3, 6*o = 4*o - 5*d - 1. Suppose -o*p - 34 = -v, 0 = v - 3*p + 7*p - 22. Is 4 a factor of v?
False
Let a = -19 + 49. Is ((-560)/a)/(2/(-9)) a multiple of 16?
False
Let s(c) = -c**3 + 2*c**2 + 4*c - 5. Let x be s(2). Suppose -7*h + 160 = -x*h. Is h a multiple of 10?
True
Suppose x - 2*x - 4*w = -5, -4*x + 5*w = -20. Suppose -x*y = -c + 33, 0*y + 44 = 2*c + y. Is c a multiple of 23?
True
Suppose -2*w = 4*c - 3054, c + 0*w = -3*w + 761. Is c/6 - 2/(-3) a multiple of 32?
True
Let d = -166 + 233. Let q = d + -38. Is q a multiple of 29?
True
Let w(n) = 3 - 7*n**2 + 4*n**2 - 3*n + 3*n**2 + n**2. Suppose 15*m - 17*m - 6 = 0. Does 21 divide w(m)?
True
Let t(p) = -2*p**3 - 3*p**2 - p. Let i be t(-2). Let u be 4/i + 716/6. Suppose 4*b + 0*b - u = 0. Is 30 a factor of b?
True
Suppose 4 = 4*s - 8, 3*w + s = 9. Suppose -15 = -y - 4*k + 5*k, w*y + 5*k = 9. Is 6 a factor of y?
True
Suppose 0 = -4*c - 16, -152 = -p - 3*p - 2*c. Let f = p + -24. Is 4 a factor of f?
True
Let q(i) = -i**3 - 6*i**2 - 5*i + 6. Let f be 28/10*(-30)/12. Does 10 divide q(f)?
True
Let p be (-170)/(-16) + (-6)/(-16). Is 4 a factor of 8/44 + p/(363/522)?
True
Let u = 41 - 27. Suppose -u = l + 4*r, -l - 2*r - 3*r - 18 = 0. Suppose -52 = 2*t - 7*t - l*i, -4 = i. Does 4 divide t?
True
Suppose 0 = -59*f + 78*f - 40128. Is f a multiple of 44?
True
Suppose 5*s - 2*z = 13531 - 3729, 2*s - 3917 = -3*z. Is s a multiple of 98?
True
Let i(h) = 1083*h**3 - h**2 - 3*h + 3. Is 15 a factor of i(1)?
False
Let j(u) = 113*u**2 - 17*u + 49. Is j(3) a multiple of 29?
True
Suppose 13 = 4*b - j, -j - 10 = j. Suppose -b*t = -6*t + 68. Is t a multiple of 13?
False
Suppose -1 = -v - 0*v. Is 76 + (-5 - -5)*v a multiple of 19?
True
Is 29 a factor of (-72)/54*(-87)/(-12)*-30?
True
Suppose -45*v = -48*v + 2658. Is 5 a factor of v?
False
Suppose -8 = -4*u + 2*a, 2*u + 13 = -4*a + 37. Let c be ((-96)/(-14))/(u/42). Let k = -51 + c. Is 7 a factor of k?
True
Let u = -6 + 6. Suppose u = 5*y - y - 8. Suppose 2*j = -2*x + 26, -j - y*j = -x - 7. Is 4 a factor of x?
True
Suppose -238 = 8*n - 9*n + 3*b, 2*b = -4*n + 1008. Is n a multiple of 7?
False
Suppose -25 = 6*d - 7*d. Let j = d - 23. Suppose 3*t - 240 = j*q, 3*q - 80 = -t + q. Is t a m