5*i + 50 = 0. Is 5 a factor of y?
True
Suppose -4*h = -3*p + 4, 3*p - 2*h + 1 = 3. Suppose -2*n = -3*n - 2*a + 42, n + 3*a - 37 = p. Is 31 a factor of n?
False
Let m(d) = -16*d**2 + d + 1. Let k be m(-1). Let g = 28 + k. Is g a multiple of 5?
False
Suppose 163 = 5*u + 38. Does 8 divide u?
False
Suppose -d - 5 = 33. Let y = d + 56. Is 9 a factor of y?
True
Let j(o) = 2*o**2 - 12*o - 24. Let m be j(-10). Suppose 5*x + 2*c + 2*c = m, c - 59 = -x. Is 12 a factor of x?
True
Suppose 6*b - 2*b = -o + 54, -3*o - 3*b + 144 = 0. Suppose o = 2*m - 0*m. Suppose -5*w + 33 = -3*r, -w - 3*w = r - m. Is w a multiple of 3?
True
Let h(g) = 2*g - 1 - 4*g - 1. Let y be h(-2). Suppose -57 = -i - y*i. Does 19 divide i?
True
Suppose 0 = -3*b - 3*x + 99, 108 = 3*b - 3*x - 15. Suppose 0 = 5*a + 3*w - b, 4*a - 3*a - w - 9 = 0. Is 7 a factor of a?
False
Let j be 264/(-40) - 2/5. Let y = j - -25. Does 6 divide y?
True
Let c(a) = 2*a**3 - 6. Is 24 a factor of c(3)?
True
Suppose 2*m = 2*j - 606, -4*j - m = -j - 917. Suppose d = 3*d - 12. Suppose p + j = d*p. Is p a multiple of 22?
False
Let h(s) = s**3 - 10*s**2 - 5*s - 6. Is 6 a factor of h(11)?
True
Suppose 0 = 4*o - 32 + 12. Suppose -2*d + 42 + 30 = 0. Suppose -o*a = 25, 2*b = 4*b - 4*a - d. Does 7 divide b?
False
Let u = -105 - -50. Let q = -39 - u. Is q a multiple of 16?
True
Let y be 4*(2 - (-14)/(-4)). Let x be y/24 - (-13)/4. Suppose x = 2*v - 5, g - v = 15. Does 19 divide g?
True
Let x(v) = -4*v**3 - 4*v**2 + 4*v - 2. Let f be x(2). Let p be (f/(-15))/((-1)/(-10)). Suppose 3*h - 41 = p. Is 9 a factor of h?
False
Suppose 5*z + 274 + 151 = 0. Let p = z - -149. Let t = p - 37. Is t a multiple of 11?
False
Let s be 3/(-8 - 1)*6. Let x = s + 7. Is 5 a factor of x?
True
Suppose 4*c + 0*y = -4*y + 20, 4*c - 38 = 2*y. Suppose -40 = -2*m - c. Is m a multiple of 4?
True
Suppose 2*t + 2*t = -2*y + 24, -5*t = y - 24. Let o(u) = u**3 - 2*u**2 + u - 1. Let s be o(2). Is 19 a factor of s - 10/y*-10?
False
Let f(q) = 3*q - 19. Let p be f(8). Suppose i + p*x - 2 = 8, i - 14 = -x. Does 15 divide i?
True
Suppose -5 = -4*g + 15. Let r(z) = 3 - 5*z**2 + g + 5*z - 2 - z**3. Does 12 divide r(-6)?
True
Let s(h) = 7*h + 8. Is 26 a factor of s(10)?
True
Let u = -17 + 65. Is 12 a factor of u?
True
Suppose 28 = 4*j - 8. Let r(h) = h**3 - 8*h**2 - 9*h + 5. Is r(j) a multiple of 5?
True
Let g(h) = h**2 - 8*h - 15. Let q be g(11). Let b be 4/3*q/12. Suppose b*u = -4*r + 50, -r - 2*r + 3*u = -60. Is 15 a factor of r?
True
Let h = 10 - 8. Suppose j - 14 = -5*v + 4, -h*j = 4*v - 48. Does 14 divide j?
True
Let x(c) = -3*c**2 + 2*c**2 + 2*c**2 - 5 - 5*c. Let l(p) = -3*p**2 + 14*p + 14. Let k(m) = -6*l(m) - 17*x(m). Is 13 a factor of k(3)?
True
Let q(l) = 5*l**2 - 4*l - 1. Suppose 3*a + 3*m + 16 + 2 = 0, a - 4*m - 9 = 0. Let c(n) = n**2 + 3*n - 3. Let f be c(a). Is 20 a factor of q(f)?
False
Let y(l) = l**2 + 5*l + 8. Let h be y(-6). Suppose -3*t + 2*t + h = 0. Suppose o - t = -o. Does 3 divide o?
False
Let f be (1/2)/((-3)/(-534)). Suppose 3 = -c + 8, 2*c + f = u. Suppose -2*h = -5*v + u, -4*v - h - 25 = -99. Does 10 divide v?
False
Let l(g) = -2*g + 34. Does 9 divide l(-18)?
False
Let j be 0/(-2) - 720/(-10). Suppose 5*k - 90 = -5*f, 0*k + 4*k - f - j = 0. Is 9 a factor of k?
True
Suppose f - 80 = -2*v, v + 118 = 4*v + f. Let o = 60 - v. Does 11 divide o?
True
Let u(p) = -p**2 - 2*p - 1. Let x be u(-1). Let l = x + 4. Does 2 divide -3 + (2 - -1*l)?
False
Let a be (-2)/(-5) - (-1848)/30. Suppose 0 = -d + 1 + a. Is d a multiple of 13?
False
Suppose -5*s + 53 - 3 = 0. Let a = -3 + 6. Does 25 divide s*a/(-12)*-26?
False
Suppose -4*r = -2*s + 374, -8*r = -3*r - s + 466. Does 14 divide -2*1/(6/r)?
False
Let m(d) = d + 7. Let f(n) = -2*n**2 - 6*n. Let r be f(-4). Let h be m(r). Does 25 divide 26 - 3*h/(-3)?
True
Let i(g) = -g**2 - 10*g - 9. Let y(u) = u + 2. Let v be y(4). Suppose -v*s = -s + 30. Is i(s) a multiple of 8?
False
Let s(n) = 6*n + 8. Does 15 divide s(8)?
False
Let h = 12 + -8. Suppose -h*v = -7*v + 96. Is 14 a factor of v?
False
Let y = 4 - 4. Suppose y*l = 2*l - 16. Does 8 divide l?
True
Suppose -5*g = -0*g. Let j be -2 - (-11 + g + 2). Suppose 2*b + f - j = -1, -5*f - 2 = 2*b. Does 2 divide b?
True
Let z be (-2)/(-3) - (-8)/(-12). Suppose -4*g - 20 = -z*g. Is (-8)/g - 2/(-5) a multiple of 2?
True
Let h be ((-42)/(-9))/(3/(-27)). Is (-216)/h*14/3 a multiple of 12?
True
Let n = 1 + 3. Let y = 15 - n. Is y - (1 + (-2 - -2)) a multiple of 5?
True
Suppose 4*y - 54 = 3*y. Is y a multiple of 13?
False
Let l(d) = d**3 + d**2 - 2*d + 4. Let u be l(-3). Let g(y) = 0*y - 3*y + 5 + 2*y. Is g(u) a multiple of 11?
False
Let w(b) be the second derivative of b**4/6 - b**3/2 + 3*b. Let k be w(2). Let r = 3 + k. Is 5 a factor of r?
True
Let o(v) = -v**3 + 6*v**2 + 6*v + 9. Let u be o(7). Suppose -2*p + 6 = 0, w = -u*w + p + 33. Is 12 a factor of w?
True
Let f(d) = 2*d**2 + 4*d + 2. Suppose 0 = s - 4 - 6. Let q be (-12)/s*(-30)/(-12). Is 8 a factor of f(q)?
True
Let a(p) = p**3 - 3*p**2 + 7*p + 5. Does 7 divide a(4)?
True
Let k(h) = -h**2 + 4. Let z(a) = a**2 + a. Let t(l) = -k(l) + 4*z(l). Is 23 a factor of t(3)?
False
Let n(v) = 3*v**3 - 3*v**2 - 2*v - 2. Let c be n(3). Suppose -2*g + 54 = -c. Does 10 divide g?
True
Let h(f) = -f - 8. Let j(a) = a. Let v(u) = h(u) + 2*j(u). Let d be v(4). Let m(g) = g**2 + g + 2. Does 8 divide m(d)?
False
Suppose 5*v - 5*y = 0, y = -v - 0*v + 2. Suppose -29 + v = -h. Suppose -2*z - h = -4*z. Does 7 divide z?
True
Let q = 28 + -16. Let j = -6 + q. Suppose -5*b + 9 + j = 0. Does 2 divide b?
False
Let n be (-6)/27 - 2/(-9). Suppose n = 3*j + 6 - 30. Is 8 a factor of j?
True
Let g(z) = -2*z. Let u be g(3). Let v(k) = -k**2 - 7*k + 6. Does 12 divide v(u)?
True
Let j(x) = -284*x**3 + 3*x**2 - 2. Does 19 divide j(-1)?
True
Let m be 8/(-6)*(-21)/14. Suppose -2*c + j + 12 = -4*c, -3*j = -m*c - 4. Let h(s) = -s**2 - 7*s + 2. Is 12 a factor of h(c)?
True
Let z(l) = -l**3 + 8*l**2 - 8*l + 6. Let k be z(7). Let h be 1 + k + -1 + 64. Let i = -43 + h. Is i a multiple of 7?
False
Let i(u) = 10*u**2 + u**3 + 0 + 5 - 7*u + 10 - 3*u. Is i(-11) even?
True
Let s be -18*(0 - (-1)/(-2)). Let w(i) = -i**2 + 8*i - 13. Let m be w(s). Does 11 divide (1 + (-9)/6)*m?
True
Let v(j) = -10*j**3 - 2*j**2 + 1. Let n be (4 + -3)*(-1)/1. Let k be v(n). Suppose -k = -3*b - 0*b. Does 3 divide b?
True
Let q(i) = -3*i**3 - 8*i**2 + i - 9. Does 15 divide q(-6)?
True
Suppose -3*i - 2 = -8. Suppose -i*w = -6*w + 28. Is 7 a factor of w?
True
Suppose -j + 0*j = 5*y - 381, 5*y - 389 = j. Does 11 divide y?
True
Is (8/20)/((-3)/(-105)) a multiple of 6?
False
Let w(h) = 11*h - 8. Let l be w(13). Suppose 7 = -2*t + l. Is 32 a factor of t?
True
Suppose -150 = -5*x + 2*y, 2*y + 120 = 4*x - 2*y. Let q be 54/10 - 12/x. Suppose -4*m = -5*w + w + 40, 2*m + 38 = q*w. Does 6 divide w?
True
Is 15 a factor of (-3 - -2)/((12/(-620))/3)?
False
Suppose -6*z = -z - 215. Does 6 divide z?
False
Suppose -2*o - 2 = 2*b + 2*o, -2*b + 10 = -2*o. Suppose -b*i - 12 = -3*c - 3, 2*c = i + 10. Does 5 divide c?
False
Let z(n) = -3 + 6*n**2 - 1 + 1 - 2*n + n**3 + 0*n. Does 3 divide z(-6)?
True
Let i = 114 - 64. Suppose 4*q - i = 2*c, -2*c = 5*q - 97 + 21. Does 2 divide q?
True
Let a(h) = -2*h - 11. Let c be a(-11). Suppose j = -3*r + c, 5*j + 4*r - 17 = 82. Does 10 divide j?
False
Let t(v) = -2*v - 6. Let q = -15 - -8. Is t(q) a multiple of 4?
True
Suppose 2*u + 3*t = 6, -4 - 2 = -2*u - 4*t. Suppose -u*n = -0*n - 42. Does 5 divide n?
False
Let r = -69 - -201. Suppose -3*g + r = g. Does 15 divide g?
False
Let r(a) = a**3 + 6*a**2 - 3*a - 6. Let y be r(-6). Let x(g) = -3*g**3 - 6*g**2 + y*g**2 + g + 4*g**3 - 4*g**2. Does 6 divide x(2)?
True
Suppose -3*z + 48 = 3*d, -3*d - z = d - 79. Does 21 divide d?
True
Let c(j) = -2*j**3 + 2*j**2 - j. Let k be c(1). Let m = 3 - k. Is -3 + (17 - (m - 1)) a multiple of 9?
False
Let u = 45 - 33. Does 3 divide u?
True
Is 6 a factor of 4 - 5/(25/(-130))?
True
Let z = 35 - 26. Is z a multiple of 2?
False
Suppose 5*l = 534 + 16. Let p be (-66)/(0/(3 - -1) + 1). Let z = p + l. Is 14 a factor of z?
False
Suppose -15 = -3*y, 0*y - 60 = -5*h + y. Is 13 a factor of h?
True
Let u = -48 - -2. Let b be u/(-2) - (0 - -2). Let k = -5 + b. Is k a multiple of 9?
False
Is 129/(5