-5)). Suppose -2*o = 3*g - 27, t*g + 3*g - 39 = -3*o. Is o a multiple of 6?
True
Let q = -14 - -23. Is q a multiple of 9?
True
Suppose 257 = 2*b + 5*l - 63, -4*b = l - 640. Suppose 2*c - 7*c = -b. Is 12 a factor of c?
False
Let t = 13 - 7. Let v(f) = -f**3 + f**2 + 4*f - 1. Let w(h) = -h**2 - h + 1. Let d(q) = v(q) - 4*w(q). Does 3 divide d(t)?
False
Suppose -1 = 5*p - 6. Suppose 0 = m + p - 12. Is m a multiple of 3?
False
Let p(b) = -b**2 - 12*b - 2. Let j be p(-11). Let f = j - 4. Suppose 4 + 31 = f*l. Is 3 a factor of l?
False
Suppose 4*m - 3*m - 80 = 3*u, m = -5*u + 56. Is m a multiple of 4?
False
Let p = 126 - 55. Is 20 a factor of p?
False
Let c(d) be the second derivative of d**4 + 2*d**3/3 + 3*d**2/2 + 6*d. Is 33 a factor of c(-3)?
True
Let x(i) = 15*i**2 - i - 2. Let d be ((-8)/10)/((-12)/(-30)). Let u be x(d). Suppose 4*l = l + u. Is 10 a factor of l?
True
Let n be (-2 + (-1 - -5))*4. Let u = n - 2. Suppose -2*f + 3*v = u*v - 30, -4*v + 10 = f. Is 18 a factor of f?
True
Suppose 4*r + 5*q + 4 = 0, 5*r + 3*q - 1 - 7 = 0. Suppose -r*o = -u - 3, 0 = -u + 6*o - o - 3. Let s(v) = -v**3 - 2*v**2 - 2*v. Is 5 a factor of s(u)?
True
Suppose 14*n - 250 = 9*n. Is n a multiple of 14?
False
Let a(h) be the second derivative of h**4/12 + h**3/6 - 3*h**2/2 + h. Suppose 0 = v + v - 10. Is a(v) a multiple of 14?
False
Suppose -2*j = -3*j - 4. Let r be j/6 + 26/(-6). Let c(h) = -4*h. Does 10 divide c(r)?
True
Let t = -9 - -27. Suppose -t = -5*o + 4*q, -3*o - o + 30 = 2*q. Is 18 a factor of ((-4)/o)/(5/(-270))?
True
Let t(v) = v**3 - 5*v**2 - 4. Let r = 11 - 7. Let u be t(r). Is 13 a factor of (-1)/(-4) + (-695)/u?
False
Suppose 0 = 3*q + q - 96. Suppose -5*p = 2*m - q + 4, m = -5. Does 15 divide 4/p + (-248)/(-6)?
False
Let h(m) = -m**3 - m**2 + 5*m - 17. Is 22 a factor of h(-7)?
True
Let y = 837 - 477. Is 36 a factor of y?
True
Is 376/14 - (-3)/21 a multiple of 9?
True
Let j = -7 - -15. Is 3 a factor of j?
False
Suppose 0*y - 4*l + 121 = y, y - 136 = l. Suppose y = 3*x - 5*u, 2*x + 3*u + 39 = 3*x. Does 20 divide x?
False
Let l be (27/12)/((-3)/12). Let y = -3 - l. Does 2 divide y?
True
Let i(v) = -26*v - 35. Is i(-6) a multiple of 19?
False
Let a(j) = -9*j**3 - j**2 - j. Let v be a(-2). Suppose -o = -2, -5*r = 3*o - v - 36. Is r a multiple of 5?
True
Let k(n) = n**3 + 2*n**2 + 3*n - 3. Is 19 a factor of k(2)?
True
Let w(x) = x**2 + 5*x + 6. Let s be w(-4). Suppose 0 = -s*k + 4*k - 8, b = -5*k + 25. Suppose b*o - 158 = -4*a, -4*a = 3*o - 21 - 141. Is a a multiple of 15?
False
Suppose 0 = -2*a - 2*r + 6, -3*a - 4*r - 2 = -a. Suppose u - 13 = a. Does 10 divide u?
True
Let f(j) = j - 1. Let m be f(1). Suppose -w - 3*w + 135 = n, m = 4*w - 3*n - 155. Does 13 divide w?
False
Suppose -4*s + 24 = -72. Let k = 36 - s. Does 8 divide k?
False
Let n(m) = m**3 - m**2 - m + 1. Let d be n(2). Suppose -114 = -5*c + k, -5*c + 0*k = -d*k - 112. Is 11 a factor of c?
False
Let b be 26/4*6 - 0. Suppose -4*k - 3*a - 2*a = -b, 3*a = 9. Is 5 a factor of k?
False
Let s(m) = -2*m**3 + m**2 - 3*m - 1. Let d(f) = f**2 + 4*f + 2. Let w be d(-5). Let h = 5 - w. Is s(h) a multiple of 11?
False
Suppose -12*n = 4*n - 3872. Does 22 divide n?
True
Let r(x) be the first derivative of -x**4/4 - 5*x**3/3 - 5*x**2/2 + 5*x + 1. Is r(-5) a multiple of 15?
True
Let d = 365 + -37. Does 36 divide d?
False
Let s be 0*2*(-1)/4. Suppose s*o - 22 = o. Is 4 a factor of (o*1)/(2/(-1))?
False
Let o(p) = -p**2 - 5*p - 2. Let x be o(-4). Suppose w - x*w = 5, -5*w = -2*k + 91. Does 13 divide k?
False
Let j = -57 + 113. Does 14 divide j?
True
Suppose 19 = 5*s + 4. Let c(h) = 8*h - 2. Is c(s) a multiple of 22?
True
Let u(z) = -z**3 - 6*z**2 + 7*z - 1. Let q be u(-7). Let f be 1/(2/(-6))*q. Suppose 0 = -5*j - f + 53. Does 6 divide j?
False
Let i = -71 - -126. Suppose i + 90 = 5*v. Does 29 divide v?
True
Let u = -6 - -8. Suppose u*z - 3 - 25 = 0. Does 7 divide z?
True
Suppose 0*v - 17 = -2*r - v, 2*v - 40 = -5*r. Is -5*3/(-6)*r a multiple of 15?
True
Suppose 2*m + 4*o + 2 = -0*o, 3*m - 24 = 3*o. Suppose w + 3*v = -0 + m, -5*w = 4*v - 25. Is w even?
False
Let d = 79 + -46. Let m = 9 + d. Is 20 a factor of m?
False
Let w(s) = -s**3 - 2*s**2. Let g be w(-2). Suppose g = 5*y + 5, -3*y + 4*y - 14 = -b. Let i = 25 - b. Does 9 divide i?
False
Let d(y) = 144*y + 81. Let n(o) = 9*o + 5. Let h(x) = x - 10. Let r be h(12). Let t(a) = r*d(a) - 33*n(a). Is 15 a factor of t(-2)?
True
Is 1*13/(1 - 0) a multiple of 13?
True
Let p(v) = v**3 + 9*v**2 + 5*v - 6. Is 24 a factor of p(-6)?
True
Suppose 3*p + 79 = 2*y, -4 - 6 = 2*p. Is y a multiple of 16?
True
Let j = 3 - 2. Suppose -7 = -k + 2*r, -2*k - 4*r = 11 - j. Is 12 a factor of (5 + k)/((-2)/(-5))?
False
Let a(t) = t**3 - 10*t**2 + 11*t - 12. Let n be a(9). Suppose -5*g + 4*f = -255, -4*g + n*f = 3*f - 204. Does 17 divide g?
True
Let v(u) = 7*u - 3. Let o be v(3). Let m be 12/o*-1*9. Does 4 divide 12/((-15)/m - 1)?
True
Is 14/3*(-36)/(-7) a multiple of 12?
True
Let g(c) = 1 + 3*c + 8*c**2 - 2 - c. Let r be g(1). Suppose r + 11 = s. Is 20 a factor of s?
True
Let j(v) be the second derivative of -v**5/20 + 5*v**4/6 - v**3/2 - v**2/2 + v. Let t be 0 + (1 - (-2 + -6)). Is 18 a factor of j(t)?
False
Let k(d) be the third derivative of -d**4/12 + 2*d**3/3 + 4*d**2. Let y be k(3). Does 21 divide 5*y*(-99)/30?
False
Suppose 5 = 4*d - 3*d. Suppose -4*s = -23 - 13. Suppose -4*c = 3*z - 25, 5*c - s*z - 70 = -d*z. Is c a multiple of 4?
False
Let t(g) = 2*g**2 + 5*g - 5 + 2*g**2 - 2*g**2. Suppose i = -2*j - 1, -5*i + 3*j = 22 + 9. Is t(i) a multiple of 10?
True
Suppose 2*z - 6 = -z. Suppose -3*c + 7*b = z*b - 9, 6 = 2*c - 2*b. Does 2 divide c?
False
Let c(j) = 8*j - 1. Let y(h) = -23*h + 2. Let n(s) = 17*c(s) + 6*y(s). Let l be n(-5). Suppose l*w + 0*w = 65. Is w a multiple of 13?
True
Let m(b) = -b + 13. Let v be 2/2 - (-3 - 4). Does 3 divide m(v)?
False
Suppose -22 = -7*l + 139. Does 5 divide l?
False
Let q = -8 - -3. Let a(t) = -t - 3. Let y be a(q). Suppose y*n = -5*k + 55, 0*k = 2*n - 2*k - 34. Is 10 a factor of n?
True
Suppose 7 = 3*j - 8. Suppose -j*s + 7*s - 102 = 0. Does 17 divide s?
True
Let v = -2 - -2. Let h(l) be the first derivative of l**4/4 + l**3/3 + l**2/2 + 26*l - 4. Is h(v) a multiple of 17?
False
Is 5 a factor of (2/6)/(8/480)?
True
Let u = -46 + 306. Is 52 a factor of u?
True
Let x be (-8*(-2 + 1))/1. Suppose 3*r = -5*z - x, -2 = z + 2. Suppose 10 = r*f - 2*f. Is 5 a factor of f?
True
Let r be -3*4/(-3) + 0. Suppose 35 = r*f - 33. Suppose f = q - 13. Does 10 divide q?
True
Let h(u) = -u**3 + 3*u**2 + 5*u - 2. Let f be h(4). Let d be (-4 + 6)*(f + -1). Suppose 0 = -3*z - 4*m + 62, 0*z = d*z - m - 56. Is 13 a factor of z?
True
Does 23 divide -2 - 1 - (-17)/((-68)/(-456))?
False
Let w be (-3)/(1*(0 + -1)). Let t be -4*1*w/(-6). Is 9 a factor of (t/(-6))/((-3)/171)?
False
Let v(f) = 11*f - 8. Is v(5) a multiple of 20?
False
Let d be (-135)/20*16/(-6). Suppose 0 = 3*f - 2*f - d. Is f a multiple of 13?
False
Let t = 16 - 7. Let m = t - 5. Does 2 divide m?
True
Let n = -18 - -17. Does 10 divide -8 + 12 + 24 + n?
False
Suppose -2*y + 3*h - 15 + 38 = 0, y - 5*h - 29 = 0. Suppose -3*m = -w - w - 45, 0 = -2*m + y*w + 38. Does 4 divide m?
False
Let p(s) = s**2 + 3*s + 3. Suppose m = -2*m - y - 7, -3*m = -5*y + 19. Let v be p(m). Suppose -2*c + 6*a - 3*a = -46, v*c + 3*a - 84 = 0. Is 13 a factor of c?
True
Let d = 5 + -3. Does 7 divide d + -1*2 + 8?
False
Let l(i) = 12*i**2 + i - 1. Let q be 6/4*16/6. Let a = 2 - q. Is 18 a factor of l(a)?
False
Let c = 59 - -26. Does 17 divide c?
True
Let n = 32 - 29. Is 2 a factor of n?
False
Let p = 23 + 4. Does 9 divide p?
True
Let w = -8 - -9. Suppose 1 = n - w, -l = -5*n + 7. Is l a multiple of 3?
True
Is 1/(-5) - -1*2505/25 a multiple of 10?
True
Let q(s) = -s**3 + 4*s**2 - 2*s + 1. Let b be q(3). Suppose -b*y = -135 - 9. Does 9 divide y?
True
Let l(i) = i**2 + 17 - i**2 - i + i**3 + 5. Does 15 divide l(0)?
False
Let b(y) = y**3 - 4*y**2 - 3*y - 11. Is 15 a factor of b(6)?
False
Let u = 33 + -6. Suppose 4*q - q + 3*k - u = 0, q - 25 = -5*k. Is q a multiple of 5?
True
Suppose 0 = -5*d + 3 - 8. Let m = -8 - -21. Let v = d + m. Does 12 divide v?
True
Let y(u) be the third derivative of 7/24*u**4 + 3/2*u**3 - 7/60*u**5 - u**2 + 0 - 1/1