uppose 3*m + 4 = 2*y, -7*y + 2*m = -3*y. Is z(y) a multiple of 11?
True
Suppose j - 1 = 1. Suppose 2*z = 3*z + j. Is (z - -1)*(3 + -26) a multiple of 23?
True
Let v(z) be the second derivative of -2*z**3 - z**2/2 + 2*z. Does 3 divide v(-1)?
False
Suppose 3*h + 23 = 2*q, -q + 5*h = -4*q - 13. Does 3 divide q?
False
Let u = 146 + 134. Is u a multiple of 40?
True
Let i(w) = -w**3 - 9*w**2 - 9*w - 9. Let b be i(-8). Let f(q) = q - 2. Let x be f(2). Does 13 divide (15 - x) + 3 + b?
False
Does 3 divide (-79)/(-9) + 16/72?
True
Let d(o) = 152*o**2 + o - 2. Is 13 a factor of d(-1)?
False
Suppose 3*l + 145 = 2*q, q - 4*l + 226 = 4*q. Suppose q + 106 = 4*r. Is r a multiple of 24?
False
Let n = 22 - 17. Suppose y - n = 15. Is 6 a factor of y?
False
Let l(g) = 11*g - 1. Let d be l(1). Is (-1)/2 + 995/d a multiple of 33?
True
Let s(a) = -8*a - 11. Is 3 a factor of s(-4)?
True
Suppose i - 9 = 26. Let o = 91 - i. Suppose -o = -m - 0*m. Is m a multiple of 16?
False
Let g(h) = -h + 16. Let v be g(7). Let r = v - 6. Suppose r*b - 6*b = -48. Does 10 divide b?
False
Let a(x) = x**2 + x + 11. Does 24 divide a(-5)?
False
Does 10 divide 5/((3/(-66))/(1/(-2)))?
False
Suppose -2*o = 2*o. Let r = 4 + o. Does 3 divide r?
False
Suppose -5 = -4*x - 4*f - 1, -5*x + 5 = f. Let w be 10/x*(-39)/(-6). Suppose 5*j + w = 5*y, y + 1 + 6 = 5*j. Does 6 divide y?
True
Is ((-4)/3)/(1371/1377 + -1) a multiple of 49?
False
Let h(d) = d**3 + 11*d**2 - 2*d - 6. Is h(-11) a multiple of 16?
True
Let h(y) = -y**2 - 7*y - 5. Let o be h(-6). Is 3 + 38 - 1 - o a multiple of 13?
True
Let n be 2/(-8) + (-34)/(-8). Suppose u - 109 = -n*g, 0 = -g - g - u + 53. Does 16 divide g?
False
Suppose -3*o = -2*o. Let i(g) = o*g + g**3 - 2*g**2 - 2*g + 0*g - 3 - g. Is i(4) a multiple of 17?
True
Let i(q) = -2*q**2 - 2*q - 2. Let a be i(-2). Let s(l) = -l**3 + 4*l**2 + 6*l + 4. Let u be s(5). Let c = u + a. Does 3 divide c?
True
Let a = 131 + -71. Suppose 0 = -5*v + 2*v + a. Does 13 divide v?
False
Let k(b) = 15*b - 6. Is 14 a factor of k(3)?
False
Let f(q) = -q**2 + 19*q - 24. Does 15 divide f(7)?
True
Suppose -k + 7 = 3*j - 11, -4*j - 12 = 0. Does 19 divide k?
False
Let j(t) = t**2 + 13*t - 9. Let a be j(-14). Let h = a + 1. Does 2 divide h?
True
Let h(w) = -4*w + 6. Let l be h(4). Let v(g) be the first derivative of -g**4/4 - 11*g**3/3 - 11*g**2/2 - 6*g - 2. Is 4 a factor of v(l)?
True
Let r = 41 - 61. Suppose 0 = d + 2, 5*a + 46 = -4*d + d. Let p = a - r. Is 12 a factor of p?
True
Is 1/2*4 - (-76 + 2) a multiple of 10?
False
Suppose -5*z = -h + 10, -h = -5*h - 2*z - 26. Let o(r) = r**3 + 6*r**2 + r - 1. Does 19 divide o(h)?
True
Suppose 135 = 5*w + 5*o, 3*w - 2*o = -4*o + 78. Does 6 divide w?
True
Suppose -5*j + 20 = 0, 3*z = 5*z + 5*j - 24. Suppose y = -4*r + 215, 0 = -z*y - 1 - 1. Is r a multiple of 21?
False
Suppose 0 = -5*b + 4*y - 202 - 39, -b - 2*y = 51. Let i = -29 - b. Is i a multiple of 10?
True
Let o(d) = 7*d**3 + d**2 - 2*d. Suppose k = 4*u + 21, -5*k + u - 2*u = 0. Is 6 a factor of o(k)?
True
Is 9 a factor of (-2)/8 - (-438)/24?
True
Suppose 4*w = 8*w - 152. Let n = -21 + w. Is n a multiple of 12?
False
Let t(r) = -r**3 + 5*r**2 + 5*r - 6. Let w be t(6). Let u(x) = -37*x + 1. Let o be u(1). Let j = w - o. Is 8 a factor of j?
True
Let m = -147 - -209. Is (-6)/(-4)*m/3 a multiple of 15?
False
Suppose -5*a + 168 = -102. Is a a multiple of 7?
False
Let s(l) = -l + 2. Let q be s(-5). Suppose -3*h + 164 = -q*h. Let b = 94 + h. Does 21 divide b?
False
Let l(n) = -n + 3*n**3 - n**3 - n**2 - 3*n**3 + 36. Is l(0) a multiple of 18?
True
Suppose 0 = b - 3 + 9. Let i = b + 19. Does 12 divide i?
False
Suppose -1537 - 103 = -10*c. Is c a multiple of 41?
True
Is 2/(-10) + 1344/20 a multiple of 11?
False
Let h = 32 + -8. Is h a multiple of 4?
True
Suppose 4*p - 14 = -2. Does 7 divide 43/p + (-14)/42?
True
Let t = 48 + -31. Let o = t - 11. Is o a multiple of 6?
True
Let m(n) = -7*n - 1. Let p be m(-1). Let t be ((-8)/p)/(2/(-24)). Suppose 4 - t = -c. Does 6 divide c?
True
Let o(t) = 2*t + 1. Let h be o(-1). Let n be (h/(-1))/(3/15). Does 17 divide (-2)/n*(-2 + -113)?
False
Let o = -9 + 38. Does 4 divide o?
False
Let y be -1 + 48 - (1 - 0). Is 22 a factor of (-3 + 2)/((-2)/y)?
False
Let g(d) = -2*d**2. Let t be g(-2). Let v be 1/(-2) - 516/t. Let m = v + -36. Is m a multiple of 10?
False
Let x = 23 + 235. Suppose -2*a + x = a. Is 19 a factor of a?
False
Suppose -164 = -k + 3*j, -5*k + 871 - 99 = -3*j. Does 45 divide k?
False
Suppose 5 + 0 = -n, 0 = 5*s + 4*n - 760. Is s a multiple of 13?
True
Let d = -70 - -108. Does 10 divide d?
False
Let m = -13 - -21. Suppose -m*d = -3*d - 15. Is d a multiple of 3?
True
Suppose -p + 0*p = -22. Is p a multiple of 8?
False
Let m(u) = u**3 - 6*u**2 + 5*u + 7. Is 2 a factor of m(5)?
False
Suppose 0*q = q. Suppose 88 = k - q*k. Is 22 a factor of k?
True
Let i(l) = l**3 - 3*l**2 - 2*l - 4. Let r be i(4). Let g = r + 7. Is g a multiple of 7?
False
Suppose -c - 1 = -0*c. Is 4 - -67 - (0 - c) a multiple of 22?
False
Let y(s) = 6*s - 9. Let j(v) = -13*v + 18. Let z(u) = 4*j(u) + 9*y(u). Let h be z(6). Is (-3)/(h/7*-1) a multiple of 4?
False
Suppose 2*h + s - 89 = 0, -3*h + 72 = 3*s - 69. Suppose -r + 56 = 4*v, -r - 2*v + 198 = 2*r. Let y = r - h. Is 13 a factor of y?
True
Suppose -35 = -4*o + 29. Is o a multiple of 13?
False
Let t(b) be the second derivative of b**5/20 + 7*b**4/12 - b**3/2 + b**2 - b. Is t(-7) a multiple of 10?
False
Suppose 3*s + 2*s = 15. Suppose -s*w + 380 = w + 2*f, -w - 3*f + 105 = 0. Is w a multiple of 31?
True
Suppose -3*a - 5*s + 196 = 0, -s + 5*s + 54 = a. Suppose -4*l + 86 = -a. Suppose -3*w + f + l = 0, -6*f + 3*f + 45 = 3*w. Is w a multiple of 13?
True
Suppose l + 16 = 4*r, -l + 4 = 3*r - 1. Suppose -r*t - 10 = 71. Let x = -11 - t. Does 8 divide x?
True
Is 2 a factor of (8/1 + -2)/2?
False
Let j = 1 + -3. Let v(y) = 5*y**2 + y + 1. Is 11 a factor of v(j)?
False
Suppose 447 = -2*i + 5*i. Does 11 divide i?
False
Let f(q) be the second derivative of -19*q**3/3 + 3*q. Is 19 a factor of f(-1)?
True
Suppose 0 = -0*c + 5*c. Suppose r - i - 68 = c, 0 = 5*r + 3*i - 0*i - 356. Is r a multiple of 16?
False
Is 63/6*16/12 a multiple of 14?
True
Suppose -2*q - 2*q = -28. Let w = q - 2. Suppose -j + w*k + 1 + 4 = 0, 0 = j + 4*k - 5. Is 5 a factor of j?
True
Suppose o + 18 = 3*u, -5*o - 5*u - 150 = -0*u. Let r = 4 - 10. Let p = r - o. Does 21 divide p?
True
Let t be (-2)/(-3)*(-1749)/22. Let a = t + 89. Is 8 a factor of a?
False
Let c(z) be the third derivative of z**4/12 - 5*z**3/2 + 2*z**2. Let m be c(10). Suppose 0*k - 25 = -m*k. Is k a multiple of 5?
True
Suppose 9 = f - 10. Let q = 1 - f. Let c = q - -35. Does 6 divide c?
False
Suppose -5*y + 5*h + 95 = 0, 2*h + 69 = 4*y - 15. Does 23 divide y?
True
Let u = -1 + 3. Suppose 7 = -u*j + 5*y, -4*j + 12 + 1 = -y. Does 3 divide j?
False
Let b(c) = 11*c - 3. Let f be 92/20 - (-6)/15. Is 13 a factor of b(f)?
True
Let p(z) = 4*z**2 + 5*z. Let f be p(-4). Suppose 3*s + y - 39 - f = 0, 0 = 5*s - 2*y - 153. Is 8 a factor of s?
False
Suppose -3*j + 5*j - 10 = 0, 4*l + 15 = 3*j. Suppose 0 = t - 2*k + 6, l*t + 2*t = k - 27. Is 16 a factor of (-1 - -1) + 0 - t?
True
Let u(a) = a**2 - 8*a + 6. Let w be u(7). Does 11 divide (4 - 3)/w*-11?
True
Suppose -7*y - 4 = -3*y. Let w = 8 + y. Is w a multiple of 7?
True
Let f(v) = 5*v - 8 - 4*v - 4*v. Let d(m) = 2*m**3 + 2*m**2 - m. Let x be d(-2). Is 4 a factor of f(x)?
False
Suppose -2*h + 39 = -3*h - 4*z, -78 = 2*h - 4*z. Let v = 79 + h. Is 15 a factor of v?
False
Suppose 0 = -2*u - 5*p + 179, -2*p = 3*p - 15. Let v = -54 + u. Does 14 divide v?
True
Let z(k) = -k**3 + k + 15. Let b be 1 - (3 - (5 - 3)). Is z(b) a multiple of 7?
False
Let p = 131 + -72. Is p a multiple of 22?
False
Let a be (-6)/(-9) - 8/3. Let m = 3 - a. Suppose m*j = 82 + 58. Is 14 a factor of j?
True
Suppose 0 = 2*q - 4*q + 20. Does 16 divide (-2)/5 - (-164)/q?
True
Let l(k) = -25*k - 9. Does 29 divide l(-5)?
True
Is 13 a factor of 5/(62/30 - 2)?
False
Let d(u) = 6*u**2 - 4. Let v = -28 - -26. Is 10 a factor of d(v)?
True
Let m = -2 + 6. Suppose 0 = h + 4*r - m - 2, 5*h + r = 49. Is h a multiple of 4?
False
Does 10 divide -1*7/((-7)/100)?
True
Let l(c) = 4*c + 1. Let y(o) = 4*o. Let g(r) = -3*l(r) + 2*y(r). Suppose 3*j