*t + 7, z - 6*t + t = 1. Let v be (-2)/z + (-7)/(-3). Suppose -2*h - y + 2 = 0, h + 2*y + 13 = -v*y. Is h a multiple of 3?
True
Suppose 0 = 2*n + n - 279. Is 31 a factor of n?
True
Let a be (-17)/(-2) - 1/2. Suppose -y - 3*y + a = 0. Suppose -h + 11 = y*d, h = -5*d - 2*h + 30. Is d a multiple of 3?
True
Is 0 + (-5 - -116)/3 a multiple of 25?
False
Let p(x) = 2*x**2 + 3*x + 1. Let n be p(-2). Let m = n - -23. Suppose 0*f = 2*f - m. Is f a multiple of 13?
True
Suppose i + 3*i = 2*d + 114, 0 = -3*i + 4*d + 98. Does 14 divide i?
False
Let v(p) = 2*p**2 + 11*p + 10. Is v(-8) a multiple of 10?
True
Let d be -1 + (2 + -79)*3. Let b = -153 - d. Is b a multiple of 22?
False
Suppose k + 5*q - 13 = 0, 3*k + 2*k - 38 = 2*q. Let n(b) = b**3 - 9*b**2 + 7*b - 10. Let c be n(k). Is 4 a factor of (-6)/(-27) + (-140)/c?
True
Suppose -4*m + 36 = -0*m. Is m a multiple of 3?
True
Let b(p) = p**3 + 9*p**2 + 5*p - 10. Let g(k) = -k + 5. Let a be g(0). Suppose a*q + 40 = -0*q. Does 8 divide b(q)?
False
Let q(t) = t**3 - 9*t**2 + 12*t - 8. Does 25 divide q(9)?
True
Is 13 a factor of (-129)/(-3*(-3)/(-6))?
False
Let i(g) = -25*g**2 + 3*g - 8. Let x(k) = 8*k**2 - k + 3. Let d(n) = -3*i(n) - 8*x(n). Does 10 divide d(1)?
True
Let n = 10 + -11. Does 6 divide (3 - n/(-1)) + 16?
True
Let g(n) = -4*n + 83. Is 22 a factor of g(0)?
False
Suppose -o + 1 + 1 = 0. Suppose -2*u + o = -238. Is 8 a factor of u/50*(5 - 0)?
False
Let n = -80 - -183. Does 12 divide n?
False
Suppose 0 = -5*g - 5*p, 2*g = 2*p + 18 - 6. Suppose -g*t = -38 + 14. Is t a multiple of 4?
True
Let x = 1 - -62. Is x a multiple of 17?
False
Suppose 2*z - 26 = -2*j, 3*z - 2*j - 44 = -4*j. Does 4 divide z?
False
Suppose 10 = 5*a - 3*a. Let m(w) = -w**3 + 4*w**2 + 6*w - 6. Let o be m(a). Let r(v) = -3*v**3 + 2*v**2 + 2*v + 1. Is r(o) a multiple of 4?
True
Is ((-10)/(-4) - 1) + 52/8 a multiple of 4?
True
Let k be (10/(-15))/(4/(-54)). Suppose 3*m - 57 = k. Is 22 a factor of m?
True
Let g = 20 - 14. Suppose -u - g - 5 = 3*z, 0 = 4*u + 8. Is 5 a factor of 17/3 - (-2)/z?
True
Suppose 3*y - 5*w = -2*y - 380, -3*w = -3. Let j = y - -127. Let g = -32 + j. Is 10 a factor of g?
True
Let c = 18 - 21. Does 6 divide c/5 + 318/30?
False
Let g = 0 - 0. Let f = 61 + -19. Suppose -y + 4*q + 60 = g, -f = -3*y - q + 86. Is 22 a factor of y?
True
Let c be (-8)/(-2 + 1 - 1). Suppose 3*b = -c*x + 118, -5*x - 41 = b - 183. Is x a multiple of 7?
True
Let o(q) = q**3 - 3*q**2 + 4. Let b be o(7). Let z = b - 137. Is z a multiple of 21?
True
Suppose 5*p + 1 = -19. Is 26 a factor of 55 + (p - -2) + -1?
True
Let t = 67 + -36. Suppose 0 = 2*r - u - 5 - t, 4*u + 44 = 3*r. Is 15 a factor of r?
False
Let v(m) = m**3 - 5*m**2 - 9*m - 5. Suppose -3*i - 5 = u + 8, 0 = 2*i - 4*u - 10. Let q = i - -10. Is 15 a factor of v(q)?
True
Suppose 0*q + q + 3 = 0. Let x(p) be the third derivative of -p**4/8 - p**2. Is 9 a factor of x(q)?
True
Let p = 6 + -4. Let u(m) = m + 4. Let t be u(0). Suppose 3*k = 4*c + 34, p*k - 10 = -t*c + 6. Is 9 a factor of k?
False
Let z = 91 + -55. Is z a multiple of 36?
True
Let g be (-3)/6 - 123/(-6). Suppose k - 2*k + g = 0. Does 9 divide k?
False
Let p be (-21 - 0)*7/21. Suppose 2*x - 30 = 5*x. Let i = p - x. Is i even?
False
Suppose 61 = 5*h + 1. Does 4 divide h?
True
Suppose -2*r = -5*r + 192. Does 8 divide r?
True
Suppose 5*n = -0*n - 25. Let u = -2 - n. Let l(s) = 2*s**2 + 2*s - 2. Does 11 divide l(u)?
True
Suppose -2 - 23 = -5*t. Does 4 divide t?
False
Suppose 106 + 110 = 6*l. Does 11 divide l?
False
Let r(x) = x - 5. Let w be r(7). Suppose -w*q + 4 + 2 = 0. Suppose 0 = 4*c - q*c - 13. Is c a multiple of 5?
False
Let n(f) = -f**2 + 4*f + 5. Let x be n(5). Let l(w) = -w**3 - w**2 - w - 2. Let r be l(x). Is 14 a factor of 1*-2 - 74/r?
False
Let x(f) = f**3 + 4 + 10*f - 7*f - 3 - 4*f**2. Is x(5) a multiple of 12?
False
Let w(x) = -x**3 + 11*x**2 - 21*x + 24. Does 4 divide w(8)?
True
Suppose -2*d + j - 19 = -47, d - 3*j - 9 = 0. Suppose 6 + 4 = 2*p. Suppose -p + d = 2*b. Is 5 a factor of b?
True
Let h = -18 - -9. Let v(d) = -2*d + 8. Let r be v(h). Suppose -2*l + 5 - 3 = 3*q, 2*l - 3*q = r. Does 5 divide l?
False
Suppose -2*g = -2*n - 24, -2*g + 5*n - 2 = -29. Suppose 2*f + g = 143. Suppose i + 52 = 4*j, 2*i = -5*j + 3*i + f. Is j a multiple of 10?
False
Suppose -162 = 4*x + 2*s - 1292, -3*x + 849 = 3*s. Does 47 divide x?
True
Let r = -5 + 8. Suppose 8 = r*n - 2*n. Is n a multiple of 4?
True
Let i(u) = 15*u**2 + 2*u - 1. Suppose -t - 5 - 3 = 2*w, 3*t = w - 3. Let r be t/11 + (-26)/(-22). Is 8 a factor of i(r)?
True
Suppose 4*d + 4*h - 20 = 0, 5*h = 4*d + h + 20. Let s = d - -11. Is s a multiple of 11?
True
Let m be (-101)/(-9) + (-4)/18. Suppose -5*a + 9 = -21. Let y = m - a. Is 2 a factor of y?
False
Let t(m) = 2*m**2 + 9*m - 7. Does 4 divide t(-7)?
True
Is 2 + -4 - -4 - -38 a multiple of 8?
True
Suppose -4*w = -2*l - 158, -2*l = -3*w + 4*w - 37. Is w a multiple of 13?
True
Suppose 2*m = 2*a + 4, a - 2*a - 4 = -2*m. Is 9 a factor of (m - 1) + 22*1?
False
Let q = -5 + 7. Suppose -q*v + 6 = -h - 12, 4*h - 27 = -3*v. Does 9 divide v?
True
Suppose 0*y + 4 = 2*y. Suppose m = -y - 1. Is 13 a factor of m/(-2)*88/6?
False
Suppose 5*f = -0*j + 4*j + 145, 0 = -j. Does 29 divide f?
True
Let c(j) = j + 44. Is c(-19) a multiple of 5?
True
Suppose 2*l = f + 102, 2*f + 3 = -1. Let v = l - 19. Is 11 a factor of v?
False
Let f(y) = -y**2 - 16*y. Is f(-14) a multiple of 14?
True
Let p = -13 + 18. Let w = 3 + -1. Suppose -w*m - 4*k = -6*m + 36, 5*m = -p*k + 5. Is m a multiple of 5?
True
Suppose -2*n + f - 3*f + 14 = 0, -3*f + 9 = 2*n. Let d be (-2)/(-3) + n/9. Is 8 a factor of (96/(-28))/(d/(-14))?
True
Suppose -4*w + 11 = -2*v - 5, 2*v = -2*w - 4. Suppose -7*p + w*p = -145. Does 12 divide p?
False
Suppose 2*f - f - 14 = -m, 0 = 5*m + 15. Is 17 a factor of f?
True
Let w = 6 + -6. Suppose w = -i - 0*i + 32. Does 11 divide i?
False
Let b(h) = h**3 - 7*h**2 + 4*h + 13. Is b(7) a multiple of 5?
False
Let w = -6 - -9. Let z be 10/w + 1/(-3). Suppose -a + q + 7 = -24, z*a + 4*q - 79 = 0. Does 12 divide a?
False
Suppose -6 + 3 = -f. Suppose -12 = -f*v - v. Suppose 12 = v*p - 24. Does 6 divide p?
True
Suppose -2*w - 5*a + 7*a + 4 = 0, 0 = 2*w + 5*a + 3. Suppose -1 = -k + w. Is k a multiple of 2?
True
Suppose 4*k = 5*b + 547, 3*b - 293 = -3*k + 151. Does 11 divide k?
True
Suppose 3*h = j - 66, -3*h + 8*h = 3*j - 206. Let n = -35 + j. Does 8 divide n?
False
Let v(x) be the second derivative of x**4/12 - 2*x**3/3 - x**2/2 - x. Let t be v(4). Is 13 a factor of (2*t)/((-2)/33)?
False
Suppose 253*u = 247*u + 96. Is u a multiple of 3?
False
Let i(t) be the second derivative of t**4/6 - 5*t**3/3 - 13*t**2/2 - t. Is 7 a factor of i(8)?
True
Is 48 a factor of (-2)/11 + 794/11?
False
Let s be (1 - (0 - -2)) + -2. Does 17 divide s/18 - 422/(-12)?
False
Suppose 0 = 2*m + 45 + 95. Suppose 3*l + 12 = 5*l. Does 18 divide 3/l + m/(-4)?
True
Let u be (-2*8)/((-8)/20). Suppose 0 = -2*i - 4*z + u, 0 = 3*i - 0*i - 3*z - 87. Let k = 50 - i. Is k a multiple of 12?
True
Does 3 divide 12/(-16)*-4 - -7?
False
Let u(k) = 7*k - 19. Let g(b) = -8*b + 19. Let z(i) = -6*g(i) - 7*u(i). Is z(9) a multiple of 3?
False
Suppose 8 = n + n. Let b = n - 2. Suppose b*q + q = 72. Is 12 a factor of q?
True
Suppose -4*l + 7*l = 153. Is 10 a factor of l?
False
Let d be ((-18)/7)/(9/42). Is 12 a factor of -6*-26*(-2)/d?
False
Suppose -u + 6*u = 210. Is u a multiple of 25?
False
Let p = 34 - 21. Is p a multiple of 9?
False
Is 3 a factor of -11 + 10 + 11 + 0?
False
Suppose 2*i = 8*i - 684. Does 19 divide i?
True
Let q(b) = -b**3 - 11*b**2 - 10*b + 2. Let y be q(-10). Is 20 a factor of (-5)/((y + -3)/8)?
True
Let g = 152 - 71. Suppose 0 = 5*n - 3*j - 124, n - 4*n + 4*j + g = 0. Is 23 a factor of n?
True
Suppose -i + 8 = -19. Does 9 divide i?
True
Let c(p) = -p**2 + p + 2. Let s be c(-2). Is s/6*66/(-4) a multiple of 11?
True
Suppose -2*k = -0 + 6. Let v = k - -6. Is v a multiple of 2?
False
Suppose 3*y - 2*u - 67 = 0, -y + 2*y = -3*u + 15. Suppose -y = -3*s + 24. Is 7 a factor of s?
False
Let d be (-2)/(2*(-3 + 2)). Let l be (6/6)/(d/(-6)). Does 12 divide ((-44)/l + -2)*6?
False
Is 32 a factor of -4*1 + 72 + 0?
False
Suppose -4*v - 3*b + b + 26 = 0, 0 = -5*v - 4*b + 25. Let s = v + 0. Does 5 div