 2. Let r be c(-4). Let m(u) = u**3 - 4*u + 3. Is 2 a factor of m(r)?
False
Let k be (-480)/12 - 0/1. Let x = -6 - k. Is x a multiple of 18?
False
Suppose 4*c - 68 = -0*c + 4*j, -3*c - j = -39. Is 4 a factor of c?
False
Suppose p - 6 = -p. Suppose 2*c = 4*o + 4, -2*c = p*o - c + 13. Let g = 7 + o. Does 4 divide g?
True
Suppose 6*x = -2*a + x + 20, 3*x = -2*a + 16. Suppose 2*g - 6*k = -k - 8, -a*g - 4*k + 13 = 0. Suppose 5*y - 46 = -g. Is y a multiple of 3?
True
Let h = 45 + -25. Is h a multiple of 5?
True
Suppose 285 = 3*t + d, 5*d - 125 = -2*t + 52. Does 24 divide t?
True
Suppose 3*g = 3, 5*l + g + g - 1102 = 0. Is l a multiple of 20?
True
Let c = -40 - -64. Does 24 divide c?
True
Suppose -w + 7 = -0*w. Suppose 3*z - 5*s = -3 + 17, -w = z - 4*s. Is 13 a factor of z?
True
Let j(s) = 3*s - 2. Let n be j(-3). Let q(y) = -2*y - 3. Let f be q(1). Let m = f - n. Is m a multiple of 4?
False
Suppose 0 = -4*f - 4, -5*q - 108 + 293 = -5*f. Is q a multiple of 12?
True
Let h(r) = -r**2 + 19*r - 5. Let w be h(11). Let s = w - 57. Is s a multiple of 26?
True
Let l(r) be the second derivative of r**6/360 - r**5/24 + r**4/12 + r**3/3 - r. Let s(v) be the second derivative of l(v). Is s(6) a multiple of 8?
True
Let n be 1 + (-11)/(-2)*-4. Let l = n + 45. Is 9 a factor of l?
False
Let t = -33 + 66. Is t a multiple of 17?
False
Let n(d) = d**2 + 6*d - 9. Is n(-15) a multiple of 42?
True
Is 8 a factor of (-31 - 1)/(6 + -4 - 4)?
True
Suppose 3 = y, 5*y - 11 = 3*f - f. Suppose -f*w + 9 = -11. Is 10 a factor of w?
True
Suppose 0 = 3*q - 5*y - 26, 13 = 3*q - y + 3. Suppose -2*w - 56 = -q*t, 2*t + 3*t = 2*w + 140. Is t a multiple of 14?
True
Let b be 2*(-1)/2*-1. Let h(m) = -2*m. Let a be h(-1). Suppose 2*x - 4*p - 12 = 0, -x = a*p + 3 - b. Is x a multiple of 2?
True
Suppose -4*j + 10 = -2*w + 58, -3*w + 3*j = -60. Is 5 a factor of w?
False
Suppose k = -5*y + 41, -8*y + 3*y + 2*k + 53 = 0. Does 6 divide y?
False
Let v(l) = 39*l**2 + l. Let r be 5 + (-9)/3 - 1. Is 20 a factor of v(r)?
True
Let t(d) = -d + 10. Let n be t(9). Suppose -o + 4*y = -6*o + 4, -n = -o - y. Suppose o = -h - 5*m + 4, -5*m + m = 4*h - 16. Is h a multiple of 4?
True
Let t(b) = b - 1. Let j(q) = -q + 6. Let g(c) = j(c) + 2*t(c). Let r be g(0). Suppose -r*a + 16 + 76 = 0. Is a a multiple of 14?
False
Let r(u) = 5*u + 1. Is 21 a factor of r(4)?
True
Let f be 1*(-2 + 2)/(-1). Suppose 3*g + 31 - 7 = f. Is 9 a factor of (-2)/8 + (-202)/g?
False
Let a = 3 - 1. Let c(d) = a + 11 + d + 1. Is 3 a factor of c(-8)?
True
Suppose -59 = -3*x + 2*f, -x + 6 = -3*f - 2. Does 23 divide x?
True
Suppose 0 = 5*q - f - 1515, 2*q - 4*f + 6*f - 618 = 0. Is q a multiple of 29?
False
Suppose 3*a + 144 = 3*q, 79 + 167 = 5*q - 2*a. Suppose q = 4*v - 14. Is 8 a factor of v?
True
Let r = -57 - -145. Is 8 a factor of r?
True
Let h = 10 + -8. Suppose -3*x = -2*b + 38, -x - 2 = h. Is 8 a factor of b?
False
Let n(o) = 2*o**2 + 4*o + 2. Suppose -2*v - 4*k = -v + 22, -3*v - 1 = -k. Let d be n(v). Suppose u = -4*z + d*z + 21, 3*u = 9. Is 9 a factor of z?
True
Let s = -2 - -27. Is s a multiple of 7?
False
Suppose 9 - 1 = 4*y. Suppose 51 = y*q - 29. Let j = q - 16. Does 12 divide j?
True
Let j(y) = 8*y + 25. Let c(l) = -3*l - 8. Let p(s) = 11*c(s) + 4*j(s). Let r be p(11). Does 7 divide 0 + (0 - r)*-12?
False
Let l(v) = v**3 - 10*v**2 - 10*v - 11. Let u be l(11). Let d = u + 6. Is d a multiple of 6?
True
Does 7 divide ((-5)/(-15))/(2/156)?
False
Let d(s) = 4*s**2 + 2*s + 5. Does 3 divide d(-2)?
False
Let h = -551 - -823. Is 17 a factor of h?
True
Let d(x) = 18*x + 26. Is 14 a factor of d(11)?
True
Let w(l) be the first derivative of -l**3/3 + 3*l**2 - 3*l - 1. Let b be w(5). Suppose b*h + 100 = 6*h. Is h a multiple of 13?
False
Suppose -25 = j + 5*g, 3*g - 8*g = 4*j + 115. Let o = 62 + j. Is 16 a factor of o?
True
Suppose 1178 = 6*v - v + g, -5*v = 3*g - 1174. Does 59 divide v?
True
Let d(a) be the third derivative of a**7/5040 + a**6/180 - a**5/20 - 4*a**2. Let j(b) be the third derivative of d(b). Is j(0) a multiple of 4?
True
Let g be 592/14 - 6/21. Let f = -14 + g. Does 8 divide f?
False
Suppose -11 - 38 = -7*j. Does 7 divide j?
True
Is 10 a factor of (-106)/((-3)/((-12)/(-8)))?
False
Let w = -37 + 52. Suppose 0 = z - 2*z + 2*o + w, o = -1. Does 13 divide z?
True
Suppose -2*o + 3*s + 1022 = s, s + 1027 = 2*o. Let k(h) = h**3 + 6*h**2 + 3*h - 2. Let x be k(-5). Does 12 divide (-2)/x - o/(-16)?
False
Let k = -94 - -202. Is k a multiple of 17?
False
Let q(p) = -p**3 + 16*p**2 + 4*p + 8. Is q(16) a multiple of 18?
True
Suppose 4*s - 5*r + 10 = 0, -5*s + 8 = -2*s + 4*r. Let p be (s*2/(-4))/2. Is 0 - p - (-3 - 7) a multiple of 5?
True
Suppose 3*l + 3*j = 6*j - 3, 3*l = 2*j + 1. Suppose 8*q = l*q + 60. Is q a multiple of 11?
False
Let j(o) = 8*o**2 - 4*o + 3. Is 18 a factor of j(3)?
False
Let b(z) = -z**2 + 5*z + 5. Let y be b(5). Suppose -3*i + 5*i = -y*c + 68, 4*c = 2*i + 58. Suppose -c - 8 = -w. Is 9 a factor of w?
False
Suppose k - 46 = -4*r, 3*r + r - k = 42. Is 4 a factor of r?
False
Let p(v) = -4 + 7*v + 7 + 0*v. Let r be p(6). Let b = 87 - r. Is 21 a factor of b?
True
Let g(a) = -5*a + 1. Let x be g(-1). Does 18 divide 34 + (-5)/((-15)/x)?
True
Let d = 16 - -12. Is (-1 - 0) + d/2 a multiple of 13?
True
Let k(a) = -a**3 - 6*a**2 + 3*a + 5. Let m be k(-6). Let s = 19 + m. Is s a multiple of 3?
True
Let i(b) = -33*b - 22. Is i(-6) a multiple of 11?
True
Let f(y) = 9*y**2 + y. Does 3 divide f(1)?
False
Let y = 7 - -41. Is y a multiple of 12?
True
Let k(o) be the second derivative of o**4/6 + 4*o**3/3 + 7*o**2/2 - 2*o. Is 7 a factor of k(-5)?
False
Let z(f) = 5*f - 6. Is 19 a factor of z(5)?
True
Let y be (-1)/(-1) + (-60)/(-4). Let x be (-15)/(-4) - (-4)/y. Is -4 + x/2 - -33 a multiple of 12?
False
Let v = 26 - 11. Let h = -7 + v. Is h a multiple of 4?
True
Does 10 divide (20/35)/2 - (-138)/7?
True
Let x be 316/26 - (-6)/(-39). Let u = -5 + x. Suppose -q = -u + 1. Is q a multiple of 6?
True
Suppose -3*x + 0*c - c + 11 = 0, 3*x + 2*c - 10 = 0. Does 3 divide x?
False
Let i(j) = -j**3 + 3*j**2 + j. Does 3 divide i(2)?
True
Suppose -51 = -4*s + 21. Is s a multiple of 18?
True
Suppose -87*q = -92*q + 1265. Is 22 a factor of q?
False
Let m(s) = -s - 1. Let z(v) = 2*v. Let x(k) = -3*m(k) - z(k). Let t be x(-9). Let w(d) = -5*d - 3. Is w(t) a multiple of 13?
False
Let f = -13 + 7. Is 10 a factor of (4/f)/((-4)/300)?
True
Let r be 6/(-4)*-110 - -3. Is r/5 - 6/(-15) a multiple of 16?
False
Let v(o) = -2*o - 36. Let u be v(0). Does 12 divide 160/24*u/(-5)?
True
Let c be (-2)/(-4) - (-10)/(-4). Let t be 4/(c/(-3 + 4)). Does 2 divide (-2 + 4)*(-5)/t?
False
Suppose -4 - 36 = -4*z. Is z a multiple of 2?
True
Let a be 5*(25 + 4)/1. Suppose 0 = 5*u + 6*h - 4*h - a, 135 = 5*u + 4*h. Does 10 divide u?
False
Let f(k) = -k**3 + 2*k**2 + 5*k - 4. Let l be f(3). Let p be l/6 - (-472)/6. Suppose 54 = 3*x - 3*b, -5*x + b = -p + 5. Is x a multiple of 14?
True
Let q = 3 + 10. Is q a multiple of 3?
False
Let s = -13 + 19. Let i(c) = -c**2 + 12*c - 4. Does 14 divide i(s)?
False
Let z = 5 - 7. Let w = -2 - z. Suppose -3*v + 75 = 5*x - x, 2*v - x - 39 = w. Does 16 divide v?
False
Suppose 2*h + 2*h = 16. Is 3 a factor of 9/((-6)/h*-1)?
True
Let p(l) = 3*l**2 - 12*l + 12. Is p(-6) a multiple of 30?
False
Suppose 5*p = 5*h - 60, 3*h = 2*h - 3*p + 12. Suppose -u = -5*j + 15, -j - 3*j + h = -3*u. Is j a multiple of 2?
False
Suppose 5*r + 84 = 7*r. Is r a multiple of 13?
False
Let f(y) = 4*y**2 - 13*y + 34. Is 62 a factor of f(8)?
True
Suppose -15 = 2*m + 3*m, -2*h + 2*m = -22. Is h a multiple of 3?
False
Suppose 3*u + 0*u = 207. Suppose -2*q + 19 = 5*a - 4*a, 4*a + q = u. Is 17 a factor of a?
True
Suppose -5 - 2 = -t + 4*r, 2*r = 2*t - 14. Suppose 4*s = z + t, 3*s + 4*z - 23 = 2*s. Does 3 divide s?
True
Let j be 1 - -3 - (0 + -1). Suppose -21 + 1 = -4*l. Suppose 0 = -9*v + 4*v - 5*n + 35, 5 = -j*v + l*n. Is v a multiple of 2?
False
Let d(n) = 3*n**2 + n + 2. Is 5 a factor of d(-2)?
False
Let o(g) = -g**3 - 8*g**2 - 9*g + 4. Let p be 2 - (8 + 4 + -3). Does 9 divide o(p)?
True
Suppose -4*d + 32 = -2*u, 5*d + u - 2 = 52. Suppose r + 0 = d. Does 10 divide r?
True
Suppose 5*f = -0*f - 20. Let o = -2 - f. Suppose -3*i + 205 = o*i. Is i a multiple of 14?
False
Let z be 36