 = -w - 2. Let v be a(x). Suppose -4*y - 2*p + 50 = 0, v*y - 19 = 2*p + 19. Is 10 a factor of y?
False
Suppose -3*w = -9 - 0. Let a = w + 12. Does 15 divide a?
True
Suppose -10*u + 9*u = -12. Is u a multiple of 12?
True
Let u = 36 - -14. Let h = u - 30. Is 9 a factor of h?
False
Suppose 3*z - u + 120 = 0, z - 5*u = -z - 93. Let t = 124 + z. Is t a multiple of 19?
False
Let u(s) = s**2 - 8*s - 4. Is u(-7) a multiple of 24?
False
Suppose 13*u = 10*u + 192. Is 16 a factor of u?
True
Suppose 4*w + 19 = -c + 6*c, 2*w + 6 = 2*c. Does 12 divide (62/4)/(c/14)?
False
Let k(v) = 6*v + 7. Is k(11) a multiple of 16?
False
Suppose 8 = -4*c - 0*c - 2*p, -5*c + 3*p = 32. Let o be (-312)/(-18) - c/6. Suppose 0 = 5*l - 7*l + o. Is 4 a factor of l?
False
Let i(y) = 13 + 8*y**2 + y**2 + 2*y**3 - y**3. Suppose -16 = 3*s + 11. Is 13 a factor of i(s)?
True
Let z(i) = -9*i - 2. Let o be z(-2). Suppose -2*r + 4 = y, -o = -y - 3*y - 3*r. Is y*(-2)/(-4) + 6 a multiple of 3?
False
Suppose -20*h + 19*h + 27 = 0. Suppose -4*w + 5 + h = 0. Is w a multiple of 3?
False
Let x be -2 - (-6 - (-3)/3). Suppose 0 = 2*k - u + 3, 4*k - u = -2*u + x. Let d(v) = v**2 + v + 20. Does 11 divide d(k)?
False
Suppose z - 3*w - 50 = 0, 6*z = 2*z - 2*w + 200. Let o be z/18 - (-4)/18. Suppose -o*j + 10 = -5. Is 5 a factor of j?
True
Let b be 2/6 - (-28)/(-3). Does 8 divide (2 + (-14)/3)*b?
True
Suppose 0 = 4*i + 2*m + 4, -i + 0*i + 4 = -2*m. Suppose 0 = 2*g + 2*y - 3*y + 12, g + 2*y + 6 = i. Let b = 33 + g. Is b a multiple of 9?
True
Let r be (-4)/(-2)*(-4 + 5). Suppose 3*t - r*t + 3 = 2*l, 2*l = 3*t + 1. Suppose 0 = i - l*i - 3*c + 17, -10 = -2*c. Is 2 a factor of i?
True
Let k = 197 - 138. Suppose -3*q + k + 58 = 0. Is 14 a factor of q?
False
Let o = 0 - 1. Let z = 3 + o. Is ((-16)/6)/(z/(-6)) a multiple of 5?
False
Let v be -68*((-13)/4 + 3). Suppose 0 = -3*g - 4*o + 145 - v, 5*g - 185 = -o. Is g a multiple of 16?
False
Let l be (1 + 2)/(-3)*11. Let y = 3 - l. Is 12 a factor of y?
False
Does 5 divide ((-20)/(-5) + -3 + 6)*10?
True
Suppose -5*u + 12 + 8 = 0. Suppose 0 = -2*r - 9 + 3, u*l - 3*r - 105 = 0. Does 9 divide l?
False
Is ((-44)/(-4 - -2))/2 a multiple of 3?
False
Let p be 0/(2 + (-2 - -1)). Let u be 2 - (-4 + p)*1. Suppose 2*j + 24 = u*j. Is j a multiple of 3?
True
Is (-3 + (-4)/(-4))/(2/(-48)) a multiple of 9?
False
Let i(c) = c**2 + 2*c - 4. Let y be -1*2*(-2)/(-1). Let v be i(y). Is (2 - 2) + -2 + v a multiple of 2?
True
Is ((-8)/(-10))/((-5)/(-50)) a multiple of 8?
True
Let a(m) = m + 14. Suppose -y - 5 = 4. Let i be a(y). Suppose -i*w - 50 = -5*u + 5, 3*w + 5 = u. Is u a multiple of 14?
True
Let h = -8 - -24. Is h a multiple of 10?
False
Suppose -3*s - 4*u + 4 - 9 = 0, 0 = -4*s - 4*u. Suppose -4*d = -s*d + 20. Is d a multiple of 10?
True
Let b(v) = 17*v. Let y be b(3). Suppose -3*m = -5*w + 127, -5*m + y = 4*w - 58. Is w a multiple of 13?
True
Suppose 4 = -2*s - 6*g + g, -3*s + 5*g + 19 = 0. Suppose -s*x - 1 = -127. Is 18 a factor of x?
False
Suppose -3*i = -2*a + 4*a - 4, -3*i - 8 = -4*a. Suppose -60 = a*f - 4*f. Is 19 a factor of f?
False
Suppose -j + 1120 = 4*j. Suppose -3*y - j = -4*g + y, 2*g + 3*y = 92. Does 15 divide g?
False
Suppose 3*w - 5 = h + 9, h - 10 = -3*w. Suppose -3*j = -2*p + 22, w*p + 2*j = 33 - 5. Suppose -3*m + 10 = -p. Is m a multiple of 6?
True
Let q(s) = 70*s**3 - s**2 + 1. Is q(1) a multiple of 8?
False
Suppose 26 = 5*f + 3*o - 5*o, -4*f + 28 = 2*o. Let n be (-4)/f + (-322)/(-6). Suppose -207 = -5*w + n. Does 20 divide w?
False
Let r(v) = v**3 - 5*v**2 + 4*v + 2. Let s be r(4). Suppose -s*j - j + 1 = x, -4*j - 3*x = -8. Does 8 divide 12*(14/6 + j)?
True
Suppose -p - 175 = -840. Let i = p + -987. Is 9 a factor of 4/6 - i/21?
False
Let t(u) = -12*u**3 - u**2 + 1. Let z be t(-1). Suppose -3*w = -7*w + z. Does 12 divide (-515)/(-25) + w/(-5)?
False
Does 3 divide 3/(6*(-3)/(-414))?
True
Let s be 1 - (2 + 0) - -1. Suppose -2*c + c - 7 = s. Let b(j) = j**3 + 7*j**2 - 4*j - 5. Does 12 divide b(c)?
False
Let z(l) = -6*l + 3. Let f be z(-5). Suppose -4*b + 2*b + 3*x = -f, 0 = -5*b - 3*x + 135. Is 8 a factor of b?
True
Let y(o) = o**3 + 3*o**2 + o + 1. Let b be y(-3). Let m be b*1/(-2) - 14. Let k = m + 31. Is k a multiple of 9?
True
Let u = 0 - 0. Suppose u = -0*s - s + 7. Is s a multiple of 7?
True
Suppose -4*r = -r - 54. Does 6 divide r?
True
Let c(i) = 2*i**2 - 10*i - 10. Let d(h) = h**2 - 1. Let x(b) = c(b) - d(b). Let s be x(10). Does 17 divide (-4)/18 - 308/s?
True
Let v(r) = -r**3 + r**2 + 5*r + 4. Does 8 divide v(-4)?
True
Suppose -4*d + 5 + 5 = 2*y, 0 = -d + 2*y + 15. Let b(r) = 12*r - 5. Is b(d) a multiple of 15?
False
Let g = -92 + 267. Is 35 a factor of g?
True
Let s = -12 + 28. Is 5 a factor of s?
False
Suppose 0 = t + 4*d - 6, -4*t + 8*t = -3*d + 11. Suppose 0 = t*h + 5 - 21. Does 4 divide h?
True
Let m(l) = l**2 + 11*l + 64. Is m(-8) a multiple of 3?
False
Let k be -2*((-3)/2 - 0). Suppose -64 = -k*h + 44. Does 18 divide h?
True
Suppose -18 = -2*i - l - l, -3*l + 36 = 4*i. Is i a multiple of 5?
False
Suppose -2*y = 4*u + 22, 5*u + 14 = -4*y + 3*y. Let z be 0 + (2 + 6)*2. Is 12 a factor of (-5)/(30/y)*z?
True
Suppose 3*x - 159 = -5*v - 9, 2*x - 100 = 3*v. Let m = x + -19. Suppose -27 = -2*r + m. Is 18 a factor of r?
False
Suppose 0*p = -p. Suppose 2*d - 52 = -p*d. Is 13 a factor of d?
True
Let d = 23 - 7. Does 4 divide d?
True
Let z be 2/13 - (-2)/(-13). Suppose z*g = -3*g + 84. Is 14 a factor of g?
True
Let w(o) = -9 - 4*o + 3*o - 3*o + o. Does 15 divide w(-8)?
True
Let d(w) be the first derivative of -w**4/4 - w**3/3 + w**2/2 + 6*w + 5. Let u = 1 - 1. Is 6 a factor of d(u)?
True
Let d be 4/((-8)/(-6)) + 1. Suppose 0*z = -2*z - d*x - 44, 65 = -2*z + 3*x. Let i = 66 + z. Is i a multiple of 15?
False
Let f = -6 + -15. Is 2/7 - 582/f a multiple of 14?
True
Does 4 divide 10/14 + (-10)/(-35) + 79?
True
Let j(o) = -2*o + 3. Let y be j(5). Let x(v) = v**2 + 6*v - 9. Let h be x(y). Let n = h - -5. Is 3 a factor of n?
True
Let i be 3/6 + 3/(-6). Let r = 4 - i. Suppose 14 = r*y - 66. Does 11 divide y?
False
Suppose -4*q - 2 = 22. Let o(l) = -l**2 - 9*l - 9. Is 4 a factor of o(q)?
False
Let w = -2 + 7. Suppose -2*g + 15 = -w. Suppose 0 = 5*m - 25 - g. Is m a multiple of 7?
True
Suppose -2*y - 26 + 98 = 0. Is y a multiple of 4?
True
Let w = 8 + -16. Let j(k) = 6*k**3 + 8*k**2 - k - 4. Let l(m) = 7*m**3 + 8*m**2 - m - 4. Let s(z) = 6*j(z) - 5*l(z). Is 4 a factor of s(w)?
True
Let m be (-51)/3 - (0 + -2). Let v = 13 - m. Does 10 divide v?
False
Let q = 377 - 128. Is q a multiple of 18?
False
Suppose -12 = -4*k + 32. Suppose -2*x + 4*t = -t - 25, x - t - k = 0. Is 7 a factor of x?
False
Suppose 4*q + q = -185. Let w = q + 23. Let h = 18 - w. Is h a multiple of 10?
False
Suppose -21 = 3*w + 6. Is (-128)/(-6) - (-3)/w a multiple of 11?
False
Suppose 13*n - 240 = 9*n. Is 5 a factor of n?
True
Let i(z) = z**2 - 12*z - 3. Let u be i(14). Suppose -s + u = j, -3*s - 25 = -5*s + 3*j. Is 10 a factor of s?
True
Is (-3)/1*((-1400)/(-6))/(-5) a multiple of 28?
True
Let i(f) = -1 - f + 3*f - 4*f - 4*f**2 + 10*f**2. Does 9 divide i(-2)?
True
Suppose 4*w - 3*w - 8 = l, 0 = -w - 4*l + 28. Is w a multiple of 3?
True
Let x = 19 - 13. Suppose 2*r = -2*o - 8, -r + x*r + 20 = -o. Suppose 0 = -o*n - 3*n + 63. Is n a multiple of 13?
False
Suppose -2*h + 9 = 3*b, 0*h + b = 2*h - 13. Is 3 a factor of h?
True
Suppose 0*o - o + 8 = 0. Is 4 a factor of o?
True
Let g = -329 - -486. Is 33 a factor of g?
False
Let i = 9 + -4. Let d(r) = -3*r - i + 7*r + 3. Does 13 divide d(7)?
True
Let h = 59 + -16. Is h a multiple of 15?
False
Suppose 2*j + g - 239 = 0, -j + 4*j + g = 357. Is 13 a factor of j?
False
Suppose 15*w + 666 = 1746. Does 9 divide w?
True
Let x = 17 - 15. Suppose x*i = -5*b + 59, -2*b + 58 = 4*i - 52. Is 9 a factor of i?
True
Suppose -f = -2*f + 26. Suppose -4*c + 5*c - f = 0. Is 13 a factor of c?
True
Suppose 2*c - 3*l - 14 - 5 = 0, 0 = -l - 1. Is 20 a factor of (-10)/((-28)/c + 3)?
True
Let f = -6 - -14. Let p = f - -10. Suppose 0*m + m - p = 0. Is 13 a factor of m?
False
Let x(u) = 19*u - 5. Let j = 5 + -12. Let f(s) = -29*s + 7. Let w(q) = j*x(q) - 5*f(q). Is w(1) a multiple of 6?
True
Let i(l) = -l**2 - 11*l + 11. Does 11 divide i(-11)?
True
Suppose -3*s + 0*m + 304 = m, 92