
Let n(a) = -a**3 + 10*a**2 - a + 13. Let m(k) = -k**3 - 4*k**2 + 3*k. Let x be m(-5). Let t be n(x). Suppose t*g = -g + 28. Does 6 divide g?
False
Suppose -2*i - i - 12 = 0, -3*i + 3 = -5*g. Is 23 a factor of (-1)/(g/138)*1?
True
Suppose 30 = 5*n - 3*r, n = -5*r - 8 - 14. Let x(k) = 7*k - n + 3 + 2. Does 15 divide x(4)?
True
Is 20 a factor of 239/4 - (-17)/68?
True
Suppose w + 4 = -3*j, 31 = -2*w - 2*w + 3*j. Let l(g) = -2*g - 8. Is 2 a factor of l(w)?
True
Let s be ((-1)/(-1))/((-4)/(-20)). Let x be 1/(-4) + (-13)/(-4). Suppose -52 = -s*r + x*r. Is 13 a factor of r?
True
Suppose -6*r = -r. Suppose r = -3*s + s. Let b(w) = -w + 5. Does 5 divide b(s)?
True
Suppose w - 5*w + 1986 = 5*t, -4*w = -2*t + 772. Does 35 divide t?
False
Let l be 3 + (3 - 2) - 0. Is 1/(l + (-187)/47) a multiple of 22?
False
Suppose -w - 5*s = -15 - 12, -4*w = 3*s - 23. Let h(c) = c + 3*c**3 + 3 + 4*c + 9*c**w - 2*c**3. Does 10 divide h(-8)?
False
Let y = 12 - 14. Is 13 a factor of (-1 - -3) + (18 - y)?
False
Let g(n) = -6*n**2 - n - 3. Let a be g(-7). Let o be ((-2)/(-5))/(1/a). Let z = -68 - o. Is 17 a factor of z?
False
Let x(q) = q**3 + 4*q**2 - 6*q + 3. Let n be x(-5). Suppose -12 = 3*y, 2*y + 28 = b - n. Let i = b + -3. Is 14 a factor of i?
False
Suppose 2*w = -2, -w + 194 = 5*z - 15. Suppose 14 = g + 2*h - h, 3*g = -2*h + z. Does 7 divide g?
True
Suppose 4*f - 22 = -10. Suppose -f*v + 5*j = -36, -17 = 5*j - 2. Suppose -2*y - 5*n - 195 = -v*y, -159 = -4*y + 3*n. Does 21 divide y?
True
Let k(v) = 8*v**2 - 8*v + 13. Does 17 divide k(4)?
False
Let t = 172 + -110. Is t a multiple of 30?
False
Suppose -74*n + 68*n + 114 = 0. Is n even?
False
Let m be 5 + (2 - (-1 - -2)). Suppose 0 = m*b - b - 5. Is (-8)/20*(b + -71) a multiple of 14?
True
Suppose -c + 5*p = -44, -5*p = 3*c - 106 - 26. Does 11 divide c?
True
Let x(q) = 8*q**2 - q + 2. Is x(3) a multiple of 8?
False
Suppose -4*f + p + 259 = 0, -f - 3*f + 3*p + 257 = 0. Is f a multiple of 13?
True
Let s(h) = -h**2 + 5*h + 5. Let a(q) = -2*q**2 + 11*q + 11. Let r(z) = -4*a(z) + 9*s(z). Let n(c) be the first derivative of r(c). Is n(-6) a multiple of 13?
True
Suppose -x - 98 = 4*q - 267, 2*x + 221 = 5*q. Is 14 a factor of q?
False
Let h(l) = 7*l**3 - 3*l**2 + 3*l - 3. Let g be h(3). Suppose -g = -3*p - 0. Suppose -p = -0*t - 2*t. Is 13 a factor of t?
False
Suppose k - 16 = -k. Suppose r = 7 - 0. Let l = k + r. Is l a multiple of 9?
False
Suppose -t + 2 = t. Suppose 2*d + 3*d = -4*s + 13, -5*s = 15. Suppose w - d = -t. Is w even?
True
Let s = -63 - -26. Let t = s + 52. Is 15 a factor of t?
True
Suppose -4 = -2*j + 4. Suppose -4*b + 162 = -5*v, 5*v - 2*v + 166 = j*b. Is 13 a factor of b?
False
Suppose -3*c = 2*c + 35. Does 9 divide 7/2*(-36)/c?
True
Let z = 97 + -16. Does 27 divide z?
True
Let y(u) = 2*u - 16. Suppose 14 = 3*o - 22. Is y(o) a multiple of 5?
False
Suppose -5*n - 3*p + 193 = 0, n - 2*p - 3*p - 61 = 0. Suppose -3*s + 4*s = -4*f + n, 5*s - 109 = 4*f. Does 7 divide s?
False
Let o = 12 + -6. Let j = 1 + o. Is j a multiple of 2?
False
Suppose 5*f - 60 = 105. Let r = f + -56. Let v = 15 - r. Is v a multiple of 11?
False
Let z(u) = u - 1. Let j be z(0). Let x be (18/15)/(j/5). Let l = -1 - x. Is 5 a factor of l?
True
Let n = 45 + 11. Is n a multiple of 14?
True
Suppose 1749 = 5*z + 6*z. Is z a multiple of 21?
False
Suppose -5*f - 2*v + 24 = 0, -2*v = 3*f - 5*v - 27. Suppose 0 = -3*g + f*g - 9. Suppose 0 = -b - g*q + 54, -b + 2*b - q - 38 = 0. Does 14 divide b?
True
Let l(p) = 13*p - 2. Let f be ((-8)/(-3))/((-2)/(-3)). Let w be l(f). Suppose -6*c + 56 = -3*c - 4*z, 0 = 5*c + 2*z - w. Is c a multiple of 12?
True
Let r be -2*(2 - 3/6). Let t = 6 - r. Suppose -t = -i - 0. Is i a multiple of 9?
True
Let h = -3 + 7. Suppose -h*l - 2 = 2*d - 10, -d + 10 = 4*l. Is 12 a factor of d/(-2 - (-19)/10)?
False
Suppose -x - 41 = -0*x. Let a = x + 81. Does 10 divide a?
True
Let m(r) = 56*r - 2. Let w be m(3). Let p = w + -88. Suppose p = 2*k + k. Does 13 divide k?
True
Let y be (1 - -1) + 0 - 9. Let a(g) = -g**3 - 8*g**2 - 9*g - 10. Let v be a(y). Suppose z + 2 = v. Is 2 a factor of z?
True
Let u(j) = -48*j + 2. Is u(-2) a multiple of 34?
False
Let f(k) = -10*k**3 + 5*k**2 + 5*k + 11. Let h(j) = 5*j**3 - 2*j**2 - 3*j - 5. Let v(y) = 2*f(y) + 5*h(y). Let m be v(4). Is (1/3)/(3/m) a multiple of 14?
False
Let u = -92 - -239. Does 21 divide u?
True
Is 3*((-400)/(-12))/5 a multiple of 20?
True
Let i(u) = 7*u - 3. Let y be i(5). Suppose -4*o + 92 = -2*h, 2*h - 3 + y = o. Does 21 divide o?
True
Suppose -2*q + 2*h + 136 = 0, -4*h - 53 = -q + 18. Is q a multiple of 27?
False
Let w(j) = j**2 - 11*j + 10. Let k be w(10). Suppose d = -k*d + 43. Is d a multiple of 12?
False
Let b(g) be the second derivative of -g - 1/20*g**5 + 19*g**2 - 1/12*g**4 + 0*g**3 + 0. Does 19 divide b(0)?
True
Let l(u) = 3*u**2 + 14*u - 11. Is l(-9) a multiple of 9?
False
Let r(b) = 11*b**3 + b**2 - b. Let t be r(1). Let d = t + -8. Suppose -40 = -d*q - 2*q. Does 4 divide q?
True
Let u be ((-36)/42)/(1/(-28)). Let q = u - -14. Does 11 divide q?
False
Suppose 5*h - 126 = 159. Suppose -3*c + 4*c + h = 0. Let n = -41 - c. Is n a multiple of 8?
True
Suppose -50 = -0*i - i + 4*p, 3*i = -3*p + 150. Let v = 36 - i. Is 10 a factor of 4/(-14) - 172/v?
False
Let v(h) = -h**2 - 31*h - 4. Is v(-11) a multiple of 36?
True
Let l = 8 + -4. Let g = 7 - l. Suppose w + 4*m = -9, 4*w - 7*m = -g*m + 44. Is 7 a factor of w?
True
Let a(k) = -47*k - 13. Let t(g) be the third derivative of 23*g**4/24 + g**3 + g**2. Let o(n) = -4*a(n) - 9*t(n). Is 21 a factor of o(-3)?
False
Suppose -6 + 0 = -2*h. Let g(r) = 4*r**3 - 3*r**2 - r + 3. Is g(h) a multiple of 27?
True
Let n(h) = -3*h**3 + 4*h + 7. Does 4 divide n(-2)?
False
Suppose 5*l + 18 = -r, 2*l = -5*r + 6*l + 26. Let h be r/(-10) - (-1)/5. Suppose 4*y + 2*b = 180, -b = -h*y - y + 39. Is 17 a factor of y?
False
Let i be (1/3)/((-1)/(-9)). Is 8 a factor of 7/(14/32) - i?
False
Let y(d) = -d**3 + 6*d**2 + 2. Let a = -10 - -16. Let n be y(a). Suppose n = 3*b - 28. Is 10 a factor of b?
True
Let b be (2 - 2)/(0 - -1). Suppose 24 = -3*w - 3*u, 0*w - 2*w - u - 11 = b. Is 4 a factor of (-16)/w - (-6)/9?
False
Suppose 4*k - 4*v + 4 = 0, 4*k + v = -0*k + 16. Does 16 divide k + (-6)/1 - -35?
True
Suppose -4*k + 689 = 53. Is 12 a factor of k?
False
Let u = 40 - -135. Is 18 a factor of u?
False
Let b be (-3)/2*(-8)/6. Suppose 5*m - 116 - 99 = 5*d, b*m + 3*d - 81 = 0. Does 14 divide m?
True
Suppose -6*a - 48 = -2*a. Suppose -4*d + k - 205 = 4*k, -2*k - 251 = 5*d. Let n = a - d. Is n a multiple of 20?
False
Let h(q) = 16*q**2 - 2*q + 2. Let a be h(2). Suppose 5*o - 28 - a = 0. Is o a multiple of 9?
True
Does 26 divide 5 + -1 + (87 - 13)?
True
Let n be 1/4 - 612/16. Let f = 68 + n. Suppose 2*s + s = f. Is 10 a factor of s?
True
Let u(o) = -o**2 - 4*o. Suppose -3*r = 2*g, -3*g + g - 2*r - 2 = 0. Let z be u(g). Suppose 0 = z*f - 3, t - 5*t - 3*f = -139. Is 17 a factor of t?
True
Suppose -d = -0*z + z + 17, d = z - 19. Let p = d - -36. Does 9 divide p?
True
Let g = 20 - 16. Is 4 a factor of g?
True
Let n be (6 + -6)/(0 - 2). Suppose 5*t - t = n. Suppose t = -3*a + 2*a + 18. Is a a multiple of 18?
True
Let w(y) = y**3 - 8*y**2 + y - 4. Let j be w(8). Let a = j - 4. Suppose a = -2*o + 3 + 7. Is 5 a factor of o?
True
Let t = -2 - -3. Let o be (4*t)/(6 + -4). Suppose -x + o = -16. Does 9 divide x?
True
Let x(c) = 17*c**2 + c + 10. Is 16 a factor of x(-3)?
True
Let n(b) = b**3 + 5*b**2 + 4*b + 5. Let l = -12 - -8. Is n(l) a multiple of 5?
True
Let m = -7 - 2. Let i = -6 - m. Suppose i*o - 35 = 94. Does 18 divide o?
False
Suppose 146 + 46 = 4*o. Does 24 divide o?
True
Suppose -s + 2*s = 0. Suppose s = m - 5 + 4. Suppose j + 2*l = -2, -2*j + 2*l + 19 = -m. Is 6 a factor of j?
True
Suppose 5*p - 3*w = 144, w = -2*p + 44 + 18. Let h = p + -15. Is h a multiple of 11?
False
Let f = 85 - 51. Suppose -2 = 4*x + f. Does 10 divide (12/x)/(8/(-60))?
True
Is 2 a factor of ((-3)/3)/(5/(-45))?
False
Suppose -3*z = -z - 70. Let u = z + 6. Is 12 a factor of u?
False
Let c(q) = 7*q**3 + q**2 + q - 2. Is c(1) even?
False
Suppose -19*t + 14*t = -130. Does 13 divide t?
True
Let g(r) = r + 10. Let c be g(-6). Suppose 0 = c*i - 244 - 76. Suppose 0*y = -5*y + i. Is y a multiple of 7?
Fal