c?
False
Let k(g) = 4*g**2 - 6 + 0*g**2 + 5*g + 0*g**3 - g**3. Let p be k(5). Does 12 divide (16/p)/((-4)/18)?
True
Let n = 550 + -342. Suppose 38 - n = -5*w + 4*q, 5*w - 140 = -2*q. Is 15 a factor of w?
True
Let b be 1*(-2 - -3) + -27. Let k = 11 - -32. Let s = k + b. Is s a multiple of 9?
False
Let p = -37 + 56. Suppose 2*y = 11 + p. Is 16 a factor of (12/y)/(1/20)?
True
Let y be (2 + -2)/(-4 + 3). Suppose 0 = 2*d - c - 13, y = -5*d + 3*c + 35. Is 4 a factor of d?
True
Suppose 0 = -7*x + 188 + 64. Let m be 8 + ((-1)/(-1) - 0). Is 1664/x + (-2)/m a multiple of 17?
False
Let i(x) = 51*x. Let l be i(-1). Let u = -90 - -183. Let a = u + l. Is 11 a factor of a?
False
Let a(z) = -2*z**2 + 1. Suppose -u - u = -6. Let y be a(u). Let i = y - -31. Is i a multiple of 7?
True
Let s = -33 - -107. Is s a multiple of 21?
False
Let z = 278 - 39. Is 23 a factor of z?
False
Let d(p) = -44*p + 2. Let k be d(-2). Let s be (1 + 1)/(2/3). Suppose -4*v - g + k = 0, -v - g + 21 = -s. Does 8 divide v?
False
Let g be -1 - -8 - (5 + -2). Suppose -2*b - g = -12. Does 2 divide b?
True
Suppose -4*x - 16 = -224. Is x a multiple of 13?
True
Let g(f) = f**3 + 5*f**2 + 5*f + 1. Let r(x) = -x**3 + 8*x**2 - 9*x + 9. Let s be r(7). Let a be g(s). Let p = -11 - a. Does 11 divide p?
False
Suppose 10 = 5*y - 0*y. Suppose -5*r = -y*o + 354 + 83, -r - 3*o = 84. Let p = r + 123. Is 18 a factor of p?
True
Suppose 1 = -3*b - 5. Is (-2)/((b/(-1))/(-16)) a multiple of 4?
True
Suppose -4*a + 140 = -32. Is 5 a factor of a?
False
Let o = 8 + -10. Let c = o + 18. Is c a multiple of 8?
True
Suppose 5*w = 2*l + 14, -5*l = -4*w + 51 - 16. Let k = -1 + l. Let n = 13 + k. Does 2 divide n?
False
Suppose 4 = 3*s - 20. Is s a multiple of 3?
False
Suppose -s = -3 - 63. Suppose -s = -b - b. Is 11 a factor of (b/(-2))/(6/(-8))?
True
Suppose -v + 0*l + 3*l = -22, -3*v + 26 = -l. Does 2 divide v?
False
Suppose u - 5*u - 104 = 0. Let m be 0 + -1 + u/(-2). Suppose 2*p + p + 9 = 0, p + m = b. Is b a multiple of 9?
True
Let a(q) = 6*q - 4*q - 2 + q. Let i be a(4). Suppose 0*m + m = i. Does 5 divide m?
True
Let q = 31 - 44. Let k = -21 + q. Is k*-1*(-1 - -2) a multiple of 17?
True
Suppose 25*o - 588 = 18*o. Is 21 a factor of o?
True
Let v = 89 + -14. Let g = -33 + v. Suppose -2*n - n = -g. Is n a multiple of 7?
True
Suppose 519 = 5*g - 2*g. Is g a multiple of 35?
False
Let j(t) = 3*t**2 - 6*t + 7. Suppose 0 = -2*m + o + 9, 13 = 4*m - 3*o - 4. Does 13 divide j(m)?
True
Is 16 a factor of (-2)/(-8) - 1016/(-32)?
True
Let v(x) be the third derivative of -19*x**4/12 + x**3/6 + 4*x**2. Does 21 divide v(-2)?
False
Let d = -1 - -2. Suppose d = -j + 30. Suppose -j = -3*v + 13. Is v a multiple of 9?
False
Let y(r) = -3*r - 2. Let u be y(2). Is 22 a factor of 132/(-8)*u/6?
True
Let v(o) = o - 3. Let f = -4 + 6. Let m be 38/4 + (-3)/f. Is v(m) a multiple of 3?
False
Suppose 2*l + l + 22 = 5*g, -3*l = 12. Suppose 2*c = -3*o - g*c + 66, -o - 2*c + 22 = 0. Is 6 a factor of o?
False
Let q(v) = 0*v + 7*v**2 + 8*v - 72*v**3 + 71*v**3 - 9. Is 23 a factor of q(6)?
False
Let j = -4 + 2. Suppose -4*x - 3 = -55. Does 4 divide j + 0 - (3 - x)?
True
Let y(s) = 10*s - 3*s - 2*s**2 + 10 + s**2 + 8*s. Let g be y(11). Suppose 5*r - g = 176. Does 12 divide r?
False
Let u be 2 - 2/((-4)/(-22)). Does 13 divide 2/u + 119/9?
True
Suppose 0 = -3*x + 6*x + 3, -x = 2*p - 853. Does 61 divide p?
True
Let y be ((-8)/(-3))/((-6)/(-108)). Let k be ((-48)/14)/(3/21). Let w = k + y. Is 7 a factor of w?
False
Let y(r) = r**2 + 2*r + 1. Let i be y(-2). Let c be i + (10 - -1) - 2. Let d = 14 - c. Is d a multiple of 3?
False
Suppose 0 = 5*f - 79 - 86. Suppose 5*j - 4*w = f, 3*w - 5 = -3*j + 31. Is j a multiple of 9?
True
Let a = 5 - 19. Let n = -22 - a. Let o(f) = -8*f - 10. Does 27 divide o(n)?
True
Suppose s = 3*j + 335, 3*j - j = -5*s + 1590. Suppose -u + s = u. Suppose 4*x = d + u - 32, d - 58 = -2*x. Is 12 a factor of x?
False
Suppose -11*o + 111 = -10*o. Does 37 divide o?
True
Suppose 3*c = 5*p, -5*c - 4*p = -6*p - 19. Suppose c*z - 111 - 9 = 0. Does 8 divide z?
True
Is 30 a factor of (-1614)/(-9) - 1/3?
False
Suppose -v + 2*x + 11 = 0, 0*v + 5*x - 22 = -2*v. Let b = v + -6. Suppose b = -2*w + 17. Is 3 a factor of w?
True
Suppose -2*b + 1 = -3*o, 4*b - 7*o = -3*o + 8. Suppose b*x + 0*x - 10 = 0. Suppose x*n = 2*g - 104, g - n = 4*n + 40. Is 15 a factor of g?
False
Suppose -3*l + 15 + 6 = 0. Let c(t) = -2*t**3 + 10*t**2 - 8. Let o be c(l). Is 10 a factor of o/(-10) - 4/10?
True
Let z(a) = 3*a**2 - 11*a - 6. Is z(6) a multiple of 9?
True
Let j(p) = p**2 - 6*p + 8. Let z be j(6). Let l = z - 4. Suppose 0 = 4*h + l*w - 3*w - 105, 40 = h + 3*w. Does 25 divide h?
True
Suppose -d = -3*w + d + 308, -w + 104 = -2*d. Is w a multiple of 28?
False
Suppose 0 = 3*d, 2*m - 19 = 2*d + 5. Let v be (-2)/8 + 831/m. Suppose -5*k + v = -2*k. Is 9 a factor of k?
False
Let y(d) = -d**3 - 7*d**2 + 4. Let u be y(-7). Suppose u*b - 84 = 12. Is 7 a factor of b?
False
Suppose -m = -2*m + 19. Suppose 5*p - 38 = -4*j + 15, 0 = p + 5*j - m. Let a = 2 + p. Is a a multiple of 3?
False
Suppose 80 = 2*m + 5*o, m - 6*m = -2*o - 142. Let f be (-1)/(((-3)/(-6))/(-1)). Suppose f = 4*h - m. Is 4 a factor of h?
True
Let x be 2/(-3) + (-70)/(-15). Suppose x*h = -y + 60, y = 2*h - 31 - 5. Is h a multiple of 16?
True
Let d = -2 + 2. Suppose -t = -d - 3. Suppose -24 = -t*j + 2*j. Is 9 a factor of j?
False
Let r be ((-146)/(-6))/(8/24). Let c = r + -40. Does 7 divide c?
False
Let x(q) = 9*q - 2. Let t(d) = -279*d + 63. Let r(a) = -2*t(a) - 63*x(a). Is r(-2) a multiple of 9?
True
Let d = 6 - 1. Suppose -q - 8 = -d*q. Suppose 2*n = q*s - 3*s + 40, -37 = -s - 5*n. Is 14 a factor of s?
True
Suppose -1136 = -3*y - 5*y. Is y a multiple of 39?
False
Is 17 a factor of 136/((-4)/(-1))*1?
True
Let g = -2 - -1. Let a = 2 - g. Suppose -9 = -6*f + a*f. Is f even?
False
Let u(w) = -5*w**3 - w**2 - w + 1. Does 3 divide u(-1)?
True
Let x(z) = z**2 + 9*z + 1. Let c be x(-9). Let s(q) = c + q + 0*q + q**2 + q**2. Does 2 divide s(-1)?
True
Let d(v) = v**2 - v - 3. Let p be d(3). Suppose -19 = 5*t + 4*z, 2*t - 13 = p*z - 39. Let l = t - -17. Does 5 divide l?
True
Let b(i) = i**3 + 10*i**2 - 2*i + 9. Let g be -43*(-3)/3 + -3. Let j be (6/(-12))/(2/g). Does 10 divide b(j)?
False
Suppose 439 = 2*b + 3*j, 12*b - 16*b - 3*j + 887 = 0. Is 7 a factor of b?
True
Suppose -o = -5*s + 2*o + 27, o = -4. Is 3 a factor of -1*s/1 - -10?
False
Let b be 212/6 - (-2)/(-6). Suppose 0*y = -y + b. Suppose -2*x + y + 30 = -5*g, 4*x + 3*g - 65 = 0. Does 10 divide x?
True
Suppose 0 = 6*i + 1 - 13. Suppose i*v - 75 = -0*o - o, -3*v = 4*o - 100. Does 20 divide v?
True
Does 8 divide (-123 + 125)*(230/4 + 1)?
False
Let l = -19 + -68. Let i = 261 + l. Suppose 5*w - i = -0*s + 3*s, 4*s - 188 = -5*w. Is 11 a factor of w?
False
Let u(p) = -p**2 + 7*p. Let s(f) = -2*f + 1. Let c be s(-3). Let h = -2 + c. Does 5 divide u(h)?
True
Suppose 6282 = 10*u + 2482. Does 13 divide u?
False
Let x(c) = 6*c - 20. Is x(15) a multiple of 17?
False
Suppose 426 = 4*c - 174. Does 10 divide c?
True
Let y(i) be the first derivative of -2*i**3/3 - 2*i - 3. Let u be y(-2). Is 4 a factor of (-51)/(-5) - (-2)/u?
False
Suppose -4*s + 327 = -5*z - 349, -4*s = -4*z - 676. Is 36 a factor of s?
False
Suppose -c = 4*f + 33 + 27, -2*f - 12 = 5*c. Let o = f + 39. Does 11 divide o?
False
Let a = 108 + -55. Is 35 a factor of a?
False
Suppose -5*t + 3*b = -6 + 4, -5*b - 12 = -4*t. Let v = 30 - 17. Let h = v + t. Is 4 a factor of h?
False
Let r(v) = 7 - v**2 - 9*v + 0*v**2 + 1. Does 13 divide r(-6)?
True
Let z(u) = -20*u**3 - 2*u**2 - u. Let m be z(2). Let a = m + 115. Does 13 divide (-277)/(-11) - (-10)/a?
False
Let j be (-1)/3 - 35/(-15). Suppose -2*b + 144 = j*b. Does 18 divide b?
True
Suppose -3*g = 5*n - 19, 2*n + 0*g = 3*g - 5. Suppose x - 6 = -4*t + 28, x - 2*t = 22. Suppose 0*y = n*y - x. Is y a multiple of 7?
False
Suppose 5*h - 2*d = -0*d + 41, 2*d + 14 = 2*h. Does 3 divide h?
True
Let r be 17/2 + 4/8. Let c(g) = -2*g + 12. Let z(n) = 1. Let k(l) = -c(l) + 5*z(l). Does 11 divide k(r)?
True
Let c(t) = t**3 - 4*t**2 + 7. Is c(5) a multiple of 11?
False
Let h = 32 - 23. Let g = -21 + h. Let c = 24 + g. Is c a multiple of 12?
True
Let r = 65 + -10. Does 9 divide r?
False
