et r be v(5). Let j = r - -44. Is 3 a factor of j?
False
Suppose 3*m - 4*v - 6 = -v, 0 = 4*m + 3*v - 15. Let z(g) = 20*g + 10. Is 35 a factor of z(m)?
True
Suppose 5*n = 3*o + 10, 0*n + 25 = o + 4*n. Suppose 0 = -l + 4*y + 10, -2*l + o*y + 5 + 30 = 0. Suppose 3*u = -2*u + l. Is 4 a factor of u?
False
Suppose 0 = -v + 2*v - 4. Let b be 2/v + 8/(-16). Suppose -2*k = 4*f - 12, -5*k + 30 = -b*k + 5*f. Is 3 a factor of k?
True
Let t(c) = c**3 - 20*c**2 + 24*c + 26. Is t(20) a multiple of 22?
True
Let h(g) = 6*g**2 + 2*g. Let m be h(-4). Let x = m + -46. Is x a multiple of 25?
False
Suppose p + w - 131 = 0, 0*w = w - 1. Suppose 4*n = -n + p. Is 13 a factor of n?
True
Let t(w) = 522*w**3 + 3*w**2 - 3*w. Is t(1) a multiple of 18?
True
Suppose 2*f = -10*z + 14*z - 1348, 5*z + 2*f - 1694 = 0. Is 15 a factor of z?
False
Let a(z) = 2*z**3 + z**2 + z - 1. Let b be a(1). Let m(h) = -4*h**2 - 13*h + 11*h + 1 - h**b - 6. Is m(-5) a multiple of 6?
True
Let v(w) be the first derivative of 5*w**2/2 + 10*w + 5. Let g(j) = -14*j - 30. Let s(m) = -4*g(m) - 11*v(m). Does 10 divide s(10)?
True
Is 700/14 + -1 + 2 a multiple of 13?
False
Let n = -55 - -58. Suppose 251 = 2*j - o, n*o - 84 + 585 = 4*j. Is 11 a factor of j?
False
Let d(g) = 4*g**2 + 7*g - 5. Is d(4) a multiple of 3?
True
Let d(s) = -s**3 + 9*s**2 + 14*s - 12. Let q be d(10). Let l = 34 - q. Is 6 a factor of l?
True
Let m(t) = 3*t - 6. Let s(p) = 8*p - 18. Let b(x) = -11*m(x) + 4*s(x). Let q be b(-8). Is 11 a factor of q*1/((-8)/(-148))?
False
Suppose -5*b = u - 39, -3*b + 4 - 3 = -u. Suppose -4*m + 61 = 21. Suppose -u*d + 132 = -m*d. Is 33 a factor of d?
True
Suppose 0 = 54*p - 61*p + 546. Does 3 divide p?
True
Suppose 0*l + l - 6 = 0. Let y = 24 + l. Is 6 a factor of y?
True
Let j = 19 + -16. Let c = 8 + -17. Let k = j - c. Is 4 a factor of k?
True
Let d be (1 - (-2 - -6))*-3. Suppose -3*s = -d*s + 246. Does 29 divide s?
False
Suppose 5*t + 15 = -4*j, -13 = j + 3*t - 4. Let c be -4 + (j - -3) - 7. Let m = c - -19. Is m a multiple of 2?
False
Suppose 4*d - 1200 = -564. Is 13 a factor of d?
False
Let v(i) = i**3 + 8*i**2 + 5*i - 10. Let u be v(-7). Suppose -4*j + 5*f + 15 = -18, j - u*f = 22. Suppose -46 = -j*d - 0*d. Is d a multiple of 6?
False
Let g be -96*-1*2/4. Suppose 0 = -4*p - 4*k + 212, -g = -3*p - 2*k + 106. Suppose -7*d + 4*d = -p. Does 8 divide d?
True
Let u be (10/(-6))/((-10)/750). Suppose -16 = 4*v, 4*v + u = -3*y - v. Let b = -19 - y. Is b a multiple of 8?
True
Suppose -m + 999 = -o - 75, -o = m - 1076. Does 43 divide m?
True
Let t(n) be the first derivative of n**4/2 + n**2 - 7. Is t(3) a multiple of 12?
True
Let w = 40 + -41. Does 2 divide -26*w*5/10?
False
Suppose 5*n + 2*b - 1076 = 0, 2*b = -3*n - 0*b + 644. Is n a multiple of 6?
True
Let u = 15 + -10. Suppose l - u*q - 8 = 19, -4*l + 3 = q. Suppose 4*g - l*g = 54. Is g a multiple of 9?
True
Let z = -40 + 46. Suppose 0 = -6*f + 3*f + z, 0 = -v + 4*f + 18. Is 13 a factor of v?
True
Let i = 20 - 22. Is 25/i*-11 + 3/(-2) a multiple of 34?
True
Let y be 812/3 - (-2)/(-3). Suppose 6*o = o + y. Suppose 18 = 4*c - o. Is 18 a factor of c?
True
Let l = -210 + 255. Does 2 divide l?
False
Suppose -3*w + 431 + 367 = -i, 0 = -2*w - 3*i + 543. Is 18 a factor of w?
False
Suppose c + a - 20 = -4*c, 3*c - 4*a = -11. Suppose -336 = c*l - 6*l. Suppose -i - 16 = -l. Is i a multiple of 16?
True
Suppose 5*u + 12 = -3*p, 4*p + 27 - 11 = 0. Suppose u = m, 3*g + 2*m + 52 = 7*g. Suppose g*c - 60 = 10*c. Is c a multiple of 4?
True
Let q(x) = -x**3 - x + 2. Let i be q(2). Let a = i + 38. Suppose a = 5*y - 20. Is 7 a factor of y?
False
Suppose -17*d + 11*d + 5520 = 0. Does 10 divide d?
True
Let g(c) = -2*c + 279. Let z = 13 - 13. Let x be g(z). Suppose -2*u - u = -x. Does 31 divide u?
True
Let f(n) = 8*n**2 + 7*n + 30. Does 15 divide f(10)?
True
Suppose -j - 12 = -3*j. Suppose 10*w - 60 = j*w. Suppose -9 = -i + w. Is 8 a factor of i?
True
Let r = 37 + -35. Suppose 0 = -q + 28 + r. Is q a multiple of 6?
True
Let h = -904 + 1586. Does 11 divide h?
True
Suppose -34457 - 4435 = -21*q. Is 14 a factor of q?
False
Let k(m) = -m**3 - 18*m**2 + 10*m - 19. Is k(-19) a multiple of 19?
True
Suppose 5*m - 5*n = 15, -m + 4*n - 1 = 2. Suppose 5*l + m*p - 153 - 257 = 0, 2*l + 5*p - 161 = 0. Is l a multiple of 18?
False
Let s be 3*(4/(-1) - -5). Suppose -5*w + p = -2*p - 470, -282 = -s*w - 3*p. Does 19 divide w?
False
Suppose -2*a - 116 = -3*r, 3*a - 115 = -3*r + 4*a. Let y = r - 26. Suppose 4*l = h + 47 + y, -3*l = 3*h - 33. Is 7 a factor of l?
True
Suppose w - 256 = 2*o - 843, -3*w = -3*o + 873. Is o a multiple of 37?
True
Let v(b) = -b**3 - 7*b**2 + 3*b + 13. Let a be v(-9). Let p = -43 + a. Is 21 a factor of p?
True
Let a(w) = 194*w + 56. Is a(5) a multiple of 57?
True
Let v(s) = s**3 - 7*s**2 - 5*s - 18. Let f be v(8). Suppose 182 = f*u + u. Suppose -u*g + 22*g = -240. Does 26 divide g?
False
Suppose -6*b - 2*b + 5760 = 0. Is 40 a factor of b?
True
Suppose -5*g = -2*d - 684, 8*d - 696 = -5*g + 6*d. Is 10 a factor of g?
False
Let n = 1419 - 1258. Does 3 divide n?
False
Let g be (-5)/(-2)*((57 - 3) + 0). Let a = -45 + g. Does 11 divide a?
False
Let w(x) = -13*x**2 - 6*x + 4. Let r(y) = 38*y**2 + 17*y - 11. Let g(d) = 4*r(d) + 11*w(d). Let j be g(-2). Let p = 53 + j. Is p a multiple of 25?
False
Is (-9)/(-6)*2 + -2 + 8 a multiple of 2?
False
Let c = -186 - -387. Is (10/30)/(1/c) a multiple of 41?
False
Let m be (0 - -1)*(-4 - -9)/5. Suppose -3*q + 322 - m = 0. Is 5 a factor of q?
False
Suppose -3*v + 15 = -0*v, -4*n = -2*v - 50. Let f(s) = -s + 35. Is 4 a factor of f(n)?
True
Let x(m) be the first derivative of 5*m**3 + m**2 - 2*m - 11. Is x(1) a multiple of 15?
True
Let r(z) = -98*z - 58. Is 68 a factor of r(-11)?
True
Let l = 98 + 318. Does 16 divide l?
True
Let q(u) = -2*u + 2*u + 0*u + 2*u - 14. Let f be q(8). Suppose 0 = t - f*t + 43. Is 27 a factor of t?
False
Let b = -1040 - -1535. Is 11 a factor of b?
True
Suppose -5*x + 5*w - 2*w + 16000 = 0, -w = 0. Suppose 3*u = -13*u + x. Is u a multiple of 22?
False
Let p(u) = 8*u - 20. Let o be p(3). Suppose 0 = 2*q + o*q - 384. Is 4 a factor of q?
True
Let b(k) = 17*k + 945. Is b(0) a multiple of 9?
True
Let h(j) be the second derivative of j**5/20 + 7*j**4/12 + 7*j**2/2 - 11*j. Let w be h(-7). Let f = 66 + w. Does 16 divide f?
False
Let i(d) = d**3 - 10*d**2 + 5*d + 11. Let n be i(10). Suppose -2*y - n = -3. Let u = 49 + y. Is u a multiple of 5?
True
Suppose 12*c - c = 2596. Does 25 divide c?
False
Let p = -6 + 1. Let s(o) = -o**3 - o**2 + 7*o + 3. Does 15 divide s(p)?
False
Let q(j) = -j**3 + 7*j**2 - 3*j + 19. Let i be q(9). Is 18 a factor of (96/(-60))/(2/i)?
False
Let d = 25 - 46. Let l = 21 + d. Does 4 divide 17 - (l - (-2 + 5))?
True
Let a(j) = -2*j - 11*j + 3*j + 7*j**2 - 13*j**2 - 5 - j**3. Is a(-5) a multiple of 7?
False
Suppose -5*n + 95 = -5*w, n + 2*w = -n + 46. Suppose 24*s = n*s + 9. Suppose -154 = -5*u + 2*o, -s*o + 5*o - 70 = -2*u. Is u a multiple of 6?
False
Let g = 6767 - 4427. Is 52 a factor of g?
True
Suppose 0*p - 4*p = 0, 5*p - 406 = -2*l. Let n = l - 105. Is n a multiple of 14?
True
Let f(k) = -k - 10. Suppose -h = h + 2*a + 6, -h + 3*a = 23. Let d be f(h). Is 2 a factor of (d - 1)/(6/(-4))?
True
Let p = -60 - -70. Let x be (3 - 1)/((-1)/8). Let z = p - x. Is 8 a factor of z?
False
Suppose -6 = -2*s + 4*s. Let l(w) = w**3 + 3*w**2 + w + 3. Let a be l(s). Let c = 23 - a. Does 9 divide c?
False
Suppose 0 = 5*p - 36 + 11. Suppose -4*l - p*y + 78 = 0, -18 = -l - 4*y + 2*y. Does 11 divide l?
True
Let n = -112 + 147. Suppose -32*g = -n*g + 180. Does 20 divide g?
True
Suppose -5*p + 2*r = -p - 72, 0 = p - 3*r - 13. Let x = p + -13. Suppose -3*l = -x*l + 93. Is 9 a factor of l?
False
Suppose 4*d = -3*x - 323, -3*d - 433 = x + 3*x. Let h = -4 - x. Is h a multiple of 15?
True
Let p(w) = -w**3 - 33*w**2 + 34*w + 79. Is p(-34) a multiple of 17?
False
Let u = 2176 - 1688. Is 61 a factor of u?
True
Let j = -94 - -164. Suppose -2*f - 4*v + 64 = 0, -j = -f + 5*v - 3. Is 6 a factor of f?
True
Let c(d) = -d**2 - 12*d - 14. Let o(z) = 5*z - 9. Let n be o(0). Is 3 a factor of c(n)?
False
Let k(a) = 11*a**3 - a. Let r be k(1). Let w = r - -11. Let j = -16 + w. Is j a multiple of 5?
True
Let c(n) = 197*n**2 + 9*n + 1. Is 27 