*c = -0*c + 128. Does 2 divide c?
True
Let h = 1 + 2. Suppose 2*b - 4*b + z = 15, 0 = -5*b - h*z - 43. Let o = b - -14. Does 5 divide o?
False
Let y be 1 - 2/2 - -3. Let q(h) = -3*h + y*h - 1 - h + h**3 + 7. Is 6 a factor of q(0)?
True
Suppose 0 = -m + 56 - 16. Suppose -53 - m = -3*x. Suppose o - 2*a = x, 2*o + a - 32 = -a. Is o a multiple of 18?
False
Let k = -7 - -10. Is 11 a factor of (11 - k)*(-22)/(-8)?
True
Is 1628/33 + (-2)/6 a multiple of 10?
False
Let q(a) = -2*a**2 - 3*a - a**3 + a**2 - 3*a**2 - 2. Does 25 divide q(-5)?
False
Is (-16)/(-40) + (-336)/(-10) a multiple of 17?
True
Let h = 147 + -105. Is 8 a factor of (-172)/(-7) + (-24)/h?
True
Let c(p) = 28*p**2 + p + 1. Let o be c(-2). Suppose 2*f - o = -f. Is f a multiple of 11?
False
Suppose -5*v + 10*v - 190 = 0. Is 15 a factor of v?
False
Suppose 7 = -3*f + 22. Suppose f = u + 2. Suppose u*k + 3*h - 6 = 0, -5*k - 3*h + 8*h + 40 = 0. Is 3 a factor of k?
False
Let h be (-4)/(-6) - 193/(-3). Suppose 0 = l + 1, 2*i + 4*l - 19 - h = 0. Is i/2 + (3 - 3) a multiple of 11?
True
Let f(r) = -4*r. Let b(y) be the first derivative of -y**3 - 1. Let v be b(-1). Is f(v) a multiple of 5?
False
Let o(c) = 4*c - 6. Let f be o(6). Is 2/((f/(-28))/(-9)) a multiple of 14?
True
Suppose -3*p - 128 = -2*i, -5*i = p - 2*p - 60. Let j = 68 + p. Is j a multiple of 7?
True
Suppose -q - 24 = 2*t, -3*t - 70 = 3*q - 10. Let m be (-1)/4 + 76/q. Let y = m - -27. Does 10 divide y?
False
Suppose 74 = 4*g - 50. Is 31 a factor of g?
True
Let r = 1 + 14. Suppose r = -3*u + 6*u. Suppose 68 = 4*t - 5*z, -u*t + 38 = z - 18. Does 11 divide t?
False
Let i(r) = -3 + 0*r + 6 - r + 10. Is i(0) a multiple of 4?
False
Let r = 47 - 29. Suppose 6 = -2*s + r. Is 6 a factor of s?
True
Suppose -2*i + p = -227, -4*i + 77 = -p - 372. Does 6 divide i?
False
Let o = 6 + 14. Suppose 0 = 2*i - o - 12. Does 16 divide i?
True
Is (-24)/(-2) - 0 - -1 a multiple of 13?
True
Let t = 3 - -2. Let q be ((-4)/t)/(2/(-10)). Suppose 2*w - 5*b = -w + 24, 2*w - q*b = 18. Does 2 divide w?
False
Suppose -4*i = -8*i - 48. Let d(z) = 7*z - 3. Let p(q) = 6*q - 2. Let g(s) = 5*d(s) - 6*p(s). Is 9 a factor of g(i)?
True
Let b(n) = -n**3 - 3*n**2 - 4*n - 3. Let w be b(-3). Suppose s = -i + 3*i - w, -3 = 3*i + 4*s. Is 6 + (2 - i) - 0 a multiple of 2?
False
Let s(n) be the second derivative of -n**5/20 + 7*n**4/12 - n**3/3 - 4*n**2 + 3*n. Is 6 a factor of s(6)?
False
Let h(u) = -u**2 + 11*u - 5. Suppose j = 2*j - 8. Is 12 a factor of h(j)?
False
Let g = 11 + -9. Suppose 0 = g*n - 8 - 6. Is n even?
False
Suppose -5*y + 300 = -0*y. Is 18 a factor of y?
False
Let a(b) = -b**3 - 5*b**2 + 4*b - 8. Let w be a(-6). Suppose -w*l + 33 + 127 = 0. Does 17 divide l?
False
Suppose 2*g + 3*g - 70 = -5*a, -3*g + 46 = 5*a. Does 4 divide g?
True
Let z(y) = 5*y**2 + 3*y - 2. Is 19 a factor of z(2)?
False
Suppose 3*r - 7*r = -5*k + 25, 0 = -5*r + 4*k - 20. Suppose -l + 4 + 1 = r. Let j = 21 - l. Does 16 divide j?
True
Let a(h) = -8*h + 2 - 3*h - 7 - 10*h. Does 25 divide a(-5)?
True
Suppose 8*g - 9*g + 8 = 0. Does 19 divide -30*((-20)/g)/1?
False
Let t(j) be the first derivative of j**2/2 + 2*j - 2. Let s be t(-4). Is 21 a factor of (s/1)/((-1)/26)?
False
Let s = 162 + 14. Suppose -4*k + t + s = 55, -5*t - 5 = 0. Is 10 a factor of k?
True
Suppose 4*x + 59 - 179 = 0. Does 4 divide x?
False
Let c(j) = -j**2 + 7*j - 2. Suppose 0*f + f + 2*b = 0, 5*f + 4*b = 18. Let v be c(f). Suppose v*k - 105 = -k. Does 21 divide k?
True
Let x be 47 - (-4 + 3)*-1. Suppose -3*s = -s - 4. Suppose -x = -s*z + 10. Is 12 a factor of z?
False
Suppose u - 9 = 2*p, -u - 2*u + 4*p = -21. Suppose y + 28 = 4*t - u*y, 3*y - 15 = -t. Let v = t - -29. Is 19 a factor of v?
True
Suppose 7*y - 480 = 2*y. Suppose -2*a = 0, 3*a + 9 = p - y. Does 20 divide p?
False
Suppose -2*j + 71 = -23. Is 3 a factor of j?
False
Let y = 109 + -28. Is 6 a factor of y?
False
Let l be (-4)/10 + (-1842)/(-30). Suppose 5*r - l - 44 = 0. Is r a multiple of 18?
False
Let b = 1 + 6. Suppose -6*r - 72 = -b*r. Is r a multiple of 18?
True
Let f(m) = 2*m + 27. Does 13 divide f(-7)?
True
Let l = 10 - 7. Suppose -l*j + 24 = j. Suppose 5*d = j + 39. Is 9 a factor of d?
True
Let n(b) = -b**3 + 8*b + 4. Let v be n(-6). Suppose r - v = -3*r. Does 14 divide r?
False
Let w = 36 + 20. Does 7 divide w?
True
Does 3 divide 15 + -19 + (23 - -1)?
False
Suppose 0 = c + z - 9 - 4, 3*z + 15 = 3*c. Let i = 16 + -21. Let n = c + i. Is 3 a factor of n?
False
Let q(a) = 10*a - 4. Is q(7) a multiple of 10?
False
Suppose -v - 120 = 4*v. Let n = 36 + v. Is n a multiple of 12?
True
Let q(g) = -g + 7. Let v(t) = 2*t**3 + 2*t**2 - 2*t - 3. Suppose 0*s = 5*l + 5*s - 15, 3*s = 4*l + 23. Let k be v(l). Does 8 divide q(k)?
False
Suppose 4*j = -4*y + 112, -3*j + 137 = 4*y + 27. Is y a multiple of 9?
False
Suppose 9*n + 5 = 4*n. Let w be (42/18)/(n/(-9)). Is 18 a factor of 6/w + (-496)/(-28)?
True
Let t be -2 - -2*1/2. Is (0 - -7) + t + -1 a multiple of 2?
False
Suppose 0*q - 96 = -4*q. Is 4 a factor of q?
True
Suppose 0 = z + 3*z - 16. Suppose 5*t = 3*w - 86, 0 = -4*w - w + z*t + 126. Is w a multiple of 6?
False
Let q = -78 + 38. Let h = -15 - q. Is 14 a factor of h?
False
Let p(a) = -a**3 + 7*a**2 - 6*a + 6. Is p(6) a multiple of 4?
False
Suppose a - 4*a + 12 = 0. Let i(x) = x**2 - 3*x. Let z be i(a). Suppose -z*m + 0*g = -3*g - 20, 0 = 4*m + 5*g + 12. Does 2 divide m?
True
Let j = -17 + 8. Suppose b + 4*b - 125 = 0. Let m = j + b. Is m a multiple of 16?
True
Let x(v) = v**2 + v + 8. Let d be x(0). Does 20 divide d/(-52) + 1174/26?
False
Suppose -5*f - 2*j = -j + 24, -2*f - 20 = 3*j. Is 1192/56 + f/14 a multiple of 7?
True
Let q = 53 - 24. Does 7 divide q?
False
Let u(i) = 1 + 3*i + 3*i**2 + 39*i**2 - i. Let n be u(-1). Suppose -4*q - d + n = -24, d = -5*q + 82. Is q a multiple of 6?
False
Suppose 3*k - 2*d = 5*k - 16, 4*k + 2*d - 34 = 0. Is k a multiple of 9?
True
Suppose -3*o = j - 6*o - 6, -4*o + 32 = 2*j. Suppose 0*b - 3*b = -j. Suppose -b*l + 3*l = -14. Is 7 a factor of l?
True
Suppose 5*w - 25 = 0, -4*w + 5 - 15 = -5*i. Let p(m) be the third derivative of -m**6/120 + 7*m**5/60 - m**4/12 - m**3/3 - m**2. Is 8 a factor of p(i)?
False
Let r be (1/(-3) - -2)*3. Suppose -2*i + 12 = -0*i + u, -u - 23 = -r*i. Suppose -70 = -5*q + i. Is q a multiple of 8?
False
Let g = -14 - -10. Let b = 4 + 24. Let h = b + g. Is h a multiple of 12?
True
Suppose -14*v = -1137 - 683. Does 33 divide v?
False
Let t be -24*-2*(-2)/(-3). Let n(u) = -u**3 + 3*u**2 + 2*u + 2. Let z be n(-2). Let b = t - z. Is b a multiple of 7?
True
Let r = 0 + 4. Suppose 0*a + 48 = -r*a. Is 16 a factor of (8/a)/(4/(-246))?
False
Let w(l) = 3*l**3 + 2*l. Let m be w(2). Suppose -2*p = -3*p + m. Is 10 a factor of p?
False
Suppose 2*x - 174 = 4*m, 5*m = 2 + 18. Is 6 a factor of x?
False
Let p(t) = t - 1. Let i be p(1). Let j(w) = 5*w**2 - 4*w**2 + i*w + 1 - 5 + 2*w. Is 4 a factor of j(-5)?
False
Let c = -9 - -12. Suppose z = -3*b + 61, 85 + 68 = c*z + 3*b. Is 17 a factor of z?
False
Let a = -6 + 20. Is a a multiple of 7?
True
Let b(c) = c**2 + c + 3. Let a be b(0). Suppose -2*k = k + 12, -a*k - 10 = z. Suppose -v = -m - 3*v + 14, z*m = 5*v + 19. Is 9 a factor of m?
False
Let z = 34 - -23. Does 12 divide z?
False
Let b = -5 + 8. Suppose -7*c - 2*r = -3*c - 112, b*r + 72 = 2*c. Is c a multiple of 15?
True
Suppose 2*o + 4*t + 24 = 0, 3*o - t + 16 = -3*t. Let j(r) = 5*r**2 + 2*r - 2. Is j(o) a multiple of 8?
False
Let r(m) = m**3 + 4*m**2 - 5. Does 29 divide r(3)?
True
Let b(l) = -6*l**2 + l. Let n be b(-1). Let o = n - -43. Let v = o - 24. Does 9 divide v?
False
Is -4 + (2 - (2 - 23)) a multiple of 7?
False
Let p = 20 - 11. Let q(i) = -i**2 + 46 + p*i - 9*i. Is q(0) a multiple of 23?
True
Let d = -31 - -65. Does 6 divide d?
False
Let q = 30 + 30. Does 22 divide q?
False
Suppose b = -4*g + 48, 0 = -3*g + 7*g + 16. Let h = -8 + b. Is 14 a factor of h?
True
Suppose -4*s + 20 = 0, 0*f - 4*s = f - 37. Is 17 a factor of f?
True
Suppose 2*z - 8 = -2*z. Suppose -z*o + 3*d = -7*o + 78, 2*o - 5*d = 25. Does 14 divide o?
False
Suppose 3*t = t + 2. Suppose 3*r - 50 = t. Is 12 a factor of r?
False
Let m = -22 - -44. Suppose -2*o + m = -3*p - 14, -54 = -3*o + 3*p. Is o a multiple of 5?
False
Suppose 4*l - l = 90. Is l a multiple of