a multiple of 4?
True
Suppose 12 = -m + 5*m. Let w(g) = -2*g**3 + 4*g**2 + 3. Let r be w(m). Let b = r - -20. Does 5 divide b?
True
Suppose -2 = -18*x + 16*x. Let h = -1 - x. Is (287/14)/((-1)/h) a multiple of 16?
False
Suppose 4*d + 9 + 11 = 0. Let j = d - 2. Let n(q) = -q**3 - 6*q**2 + 4*q - 10. Does 2 divide n(j)?
False
Let g = -16 - -26. Let o(u) = u**2 - 10*u + 3. Let f be o(g). Suppose -f = -2*z + 5. Is 3 a factor of z?
False
Suppose r - 892 = 3*w, 8*r - 4*r - 3512 = -2*w. Is r a multiple of 94?
False
Let r(m) = 4*m**2 + 2*m - 3. Let z be r(5). Suppose 3*o - 5*x = -o + 122, -3*o - 4*x + z = 0. Does 13 divide o?
False
Let p(i) = 3*i**2 + 46*i - 29. Let n be p(-21). Suppose 5*u - n = -3*q, 0*u = -4*u - 2*q + 264. Does 29 divide u?
False
Let i = -41 + 43. Suppose -i*k - 7 + 23 = 0. Is k a multiple of 4?
True
Suppose 5*m = -33 + 148. Let j = m - 28. Is 11 a factor of 336/15 + 2/j?
True
Let d(h) = 1225*h - 66. Does 20 divide d(1)?
False
Suppose -5*v - 427 = -5*w - 6*v, 2*w = -3*v + 163. Is w + ((-8)/(-5))/(8/20) a multiple of 6?
True
Let h be (-2)/(-13) + 1351/91. Does 6 divide h/12*280/7?
False
Does 8 divide (-15)/20 + 4636/16 - 1?
True
Let s = 12 - 10. Suppose s*x = r + 4*r - 31, -2*x = -4*r + 26. Is r*(-1 + 2)*5 a multiple of 8?
False
Let u(a) = 11*a + 11. Let h be u(-6). Let m = h - -65. Is m even?
True
Suppose 0 = -22*f + 5*f + 9639. Is 23 a factor of f?
False
Let t = 30 - 27. Suppose -4*n + 113 = -i, 5*n - t*i - 207 = -71. Is 14 a factor of n?
False
Is 51 a factor of (561/6)/11*60?
True
Suppose -2*u + 0*u + 5*n = -33, -u - 2*n = 6. Suppose 6*d - 5*d - 52 = 0. Suppose 3*j = u*j - d. Is 13 a factor of j?
True
Let u(l) = 397*l**2 + 3*l. Is 20 a factor of u(1)?
True
Suppose 6*a - 8*a = -2, -4*h + 3*a + 781 = 0. Is 19 a factor of h?
False
Let f = -6 - -8. Suppose -8 = -k - l, -3*k = -0*k - l - 12. Suppose 4*y - 10 = -k*h + 100, -h = -4*y + f. Is 9 a factor of h?
True
Let p(y) = -y**3 - 9*y**2 + 26*y + 17. Is 37 a factor of p(-17)?
True
Suppose 2*b = -3*f - 24, -2*f - 16 = 4*b - 9*b. Let o = f + 35. Does 27 divide o?
True
Let q = 61 + -57. Suppose 82 = q*l - 2*x - 28, -5*l + 145 = -x. Is l a multiple of 6?
True
Suppose 6*j + 31*j - 168424 = 0. Is j a multiple of 18?
False
Let u(b) = -17*b - 158. Is 10 a factor of u(-34)?
True
Let l(w) be the second derivative of w**4/6 - 5*w**3/2 + 12*w**2 + 11*w. Does 10 divide l(11)?
False
Let o(x) = -5*x. Let p be o(2). Let g(t) = -t**3 - 4*t**2 - 5*t - 1. Let h(b) = -b**2 + b. Let z(j) = -g(j) - 6*h(j). Does 10 divide z(p)?
False
Let f(t) = -t - 3. Let u be f(-5). Let z be (4 - u)*-1 + 6. Suppose 3*a = a + z. Is 2 a factor of a?
True
Let f = -287 + 503. Suppose 47 = -o + f. Is o a multiple of 30?
False
Let p(q) = -6*q**3 - q**2 + 2*q + 11. Let n(j) = -5*j**3 + j + 10. Let t(k) = 7*n(k) - 6*p(k). Is t(-5) a multiple of 4?
False
Let p(s) = s**3 + 5*s**2 - 5*s + 8. Let o be p(-6). Suppose 5*z - 39 = -2*d + 11, 0 = 3*d - o*z - 37. Is 20 a factor of d/12*(-48)/(-3)?
True
Suppose -2*a + 2*k = -378, -a - 5*k = -0*a - 189. Is 25 a factor of a?
False
Let h = -24 - -3. Let i = h + 13. Let u = 45 + i. Does 18 divide u?
False
Let v(r) = -r. Let l be v(-1). Let m(w) = 8*w - 3. Is 2 a factor of m(l)?
False
Let x(u) = u**3 - 9*u**2 - u + 12. Let t be x(9). Suppose t*y + 208 - 694 = 0. Suppose -5*z + 3*a = 49 - y, 4*a + 70 = 3*z. Is 15 a factor of z?
False
Let f be 46*-3*(-55)/30. Let q = -174 + f. Is q a multiple of 10?
False
Let r be (-1 + 0/(-1))*-8. Suppose r*x - 8 = 4*x. Suppose c - 20 = -x. Is c a multiple of 6?
True
Let y be 0 - 0*1/(-2). Suppose -j + 116 = -y*j. Suppose 3*v = -t + j, 0*v - 80 = -2*v + 2*t. Is 13 a factor of v?
True
Let j(z) = 35*z + 33. Is 24 a factor of j(9)?
False
Let l = -75 - -719. Does 14 divide l?
True
Let l(g) = g + 16. Let k be l(-12). Suppose 0 = -4*q, -k*h + 5*q - 490 = -9*h. Does 20 divide h?
False
Let i = 558 - 408. Is i a multiple of 25?
True
Suppose 8*r = 30 + 2778. Is 27 a factor of r?
True
Let b be 5/(10/8) + -3. Let q be -1 - (b/1 + -287). Suppose 4*c - q = -c. Does 19 divide c?
True
Suppose 5*f - 2*r - 5257 - 4122 = 0, r - 3 = 0. Does 11 divide f?
False
Let q = 430 - 230. Does 6 divide q?
False
Let c(t) = -8*t - 7. Let m(k) = 8*k + 8. Let z(d) = -4*c(d) - 3*m(d). Let f(s) = -s**3 + 5*s**2 - 4*s - 1. Let y be f(3). Is 22 a factor of z(y)?
True
Let m be (-24)/(2 + 7/(-2)). Suppose 11*p = m*p - 745. Is p a multiple of 17?
False
Let k(q) = -q**2 - 11*q + 1. Let j be k(-11). Let s be j/((-3)/(-1) - 2). Let l(n) = 52*n**3 - 2*n**2 + 2*n - 1. Is 14 a factor of l(s)?
False
Is (348/(-30) + 6)/(4/(-1050)) a multiple of 30?
True
Let x(j) = 8*j - 21. Let k be x(12). Let g = k + -34. Is 41 a factor of g?
True
Let c = 20 - -45. Is 4 a factor of c?
False
Suppose 5*o = 7*o - 352. Is (o/40)/(1/10) a multiple of 5?
False
Suppose 0 = 4*h - 2*h + 40. Does 20 divide (3 - 1)*7*h/(-2)?
True
Does 16 divide (-26 + 31)*(-186)/(-5)?
False
Let q(k) = 36*k + 2. Let i be q(1). Let w = -32 + i. Does 3 divide w?
True
Let v = 8 + -11. Let l be 7 + -4 + 0 + v. Suppose -3*h - 4*s + 37 + 174 = l, -3*h = 5*s - 212. Is h a multiple of 15?
False
Let g = 724 - -1770. Is g a multiple of 24?
False
Let r(x) be the second derivative of -2*x**3 + x**2/2 - 36*x. Does 23 divide r(-15)?
False
Suppose 0 = 2*h - 4*h. Suppose 3*g - 6 = -3*c, h*c - 3*g = -2*c - 16. Does 8 divide 1*c/6*-24?
True
Let a(s) = s**2 - 13*s - 48. Let t be a(16). Suppose -x - 3*f + 22 = t, f - 82 = -6*x + 3*x. Is x a multiple of 2?
True
Let x(j) = -j + 2. Let n be x(-5). Suppose 4*k = 45 - 17. Suppose k*r = 6*r + n. Is r even?
False
Let p(a) = 2*a**2 + 24. Is 15 a factor of p(17)?
False
Let h be 1/(-3) - (-4)/(-6). Suppose 0 = -6*l + 7*l - n + 6, 3*l + 4*n = -39. Does 21 divide l + 8 - h*22?
True
Suppose 5*r + 3*c = 231, 0*r + c - 45 = -r. Suppose 3*f + 4*y - r = f, 5*y = 3*f - 50. Is f a multiple of 5?
True
Let x(q) be the second derivative of -q**5/20 - 2*q**4/3 - 7*q**3/6 - 7*q**2/2 - 5*q. Is x(-8) a multiple of 14?
False
Let u(p) = -p**2 - 8*p - 17. Let b be u(-6). Does 35 divide (1 - -200) + b + 3?
False
Suppose 3*o - 43 = -3*j + 8*j, -2*o = 5*j - 12. Suppose -5*y = -4 - o, -5*c + 232 = -y. Does 34 divide c?
False
Suppose -53*c + 81324 = 28*c. Is c a multiple of 25?
False
Let v(c) = -3 + 21*c**2 + 21*c - 13*c**2 + 12*c**2. Does 42 divide v(4)?
False
Suppose -11*r = -13*r + 312. Suppose 5*f - 172 = -4*g, -3*g + 0*f = -3*f - r. Is 8 a factor of g?
True
Let z(l) = 13*l + 3. Let f be z(-3). Let i = f + 55. Is 19 a factor of i?
True
Let f = 14 + -12. Suppose f*v + 30 = -3*v. Does 10 divide (-27)/v*(-20)/(-3)?
True
Let b be 3*(2 - 21/9)*-96. Suppose -80 = -2*t + w + b, w - 91 = -t. Is t a multiple of 15?
False
Let r be -2 - (8/(-4) + 2). Is ((-1)/r)/(4/432) a multiple of 9?
True
Let p = 488 + 214. Does 18 divide p?
True
Let k be ((-15)/(-4))/(15/40). Suppose 5*o = k*o - 255. Is o a multiple of 23?
False
Let n = 769 + -712. Does 30 divide n?
False
Let m = 10 + -4. Suppose -m*w + 125 = -w. Is w a multiple of 9?
False
Suppose 12*f - 379 - 101 = 0. Is 40 a factor of f?
True
Suppose 0*v - 245 = -3*c + v, -5*c + 4*v + 420 = 0. Let i = 34 + c. Is i a multiple of 9?
False
Let m be (-3 - 4/(-2)) + (-28)/(-7). Suppose m*a - 315 = 165. Is 33 a factor of a?
False
Does 9 divide 135 - ((-4 - -1) + 7)?
False
Let o(v) = -v**3 - 5*v**2 + 5*v + 2. Let y = 14 + -21. Is o(y) a multiple of 15?
False
Let r(d) be the third derivative of d**5/15 - 7*d**4/24 + d**3/2 + 17*d**2. Does 13 divide r(-7)?
False
Let h = 33 - 44. Let m = h + 22. Is m a multiple of 3?
False
Let w be (2/(-3))/(-2) - 70/3. Let d = 55 - w. Is d a multiple of 6?
True
Let m be 2343/7 - (-6)/21. Suppose -5*w + 4*w + 95 = -3*c, -c = 3*w - m. Suppose -4*f + 5*s + w = 0, -2*f = 3*s - s - 46. Is 18 a factor of f?
False
Let w = 14 - 21. Let z(l) = l**2 + 8*l + 3. Let x be z(w). Is 13 a factor of 207/4 + (-1)/x?
True
Suppose -3*b - 3*f = -2880, -5*b + 2*f = -2911 - 1868. Is 27 a factor of b?
False
Suppose -7*l + 1148 + 504 = 0. Suppose 4*s = -2*m + 416, l = 5*m - 4*s - 818. Does 14 divide m?
True
Let b(i) = 2*i - 1. Let h be b(1). Let w(c) = 73*c - 1. Does 8 divide w(h)?
True
Let r = -174 - -79. Does 11 divide ((-8)/(-10))/((-1)/r)?
False
Let b(x) = 39*x - 21. Let t(j) = -8*j + 4. Let z(y) = -4*b(y) - 22*t(y). D