2). Suppose 53 = 5*o + 2*j, -o - j + 18 = d. Does 3 divide o/(-4)*8/(-3)?
True
Let s(w) = 61*w**2 - 8*w + 6. Is s(2) a multiple of 13?
True
Is (-4)/(-32) - 1854/(-16) a multiple of 6?
False
Let y(a) = 2*a - 16. Does 13 divide y(17)?
False
Let y be (-15)/(-2)*20/30. Suppose 60 + 55 = y*a. Is a a multiple of 8?
False
Let v(s) = 18*s**2 + 2*s + 4. Is v(-2) a multiple of 11?
False
Let l(d) be the second derivative of -d**3 + d**2 - 3*d. Let b be l(-5). Suppose -b = -2*q + q. Does 13 divide q?
False
Let p(r) = 3*r + 2 - 5*r - 3*r. Is p(-2) a multiple of 6?
True
Is 7 a factor of (((-392)/(-20))/7)/((-1)/(-5))?
True
Let l be 250/(-6) - (-3)/(-9). Let o(b) = 8*b + 8. Let r be o(7). Let y = r + l. Is 11 a factor of y?
True
Let j be 1 - (-1)/(1/422). Let l = j + -280. Let d = l + -102. Is d a multiple of 15?
False
Let u be 1/((-54)/51 + 1). Let l = 12 + u. Let g(a) = a**3 + 5*a**2 - 7*a - 7. Is g(l) a multiple of 14?
True
Let q(z) be the second derivative of -4*z**3/3 + 9*z**2/2 - 2*z. Let f be q(6). Let l = f - -57. Is l a multiple of 11?
False
Does 14 divide ((-66)/14 - -3)*-63?
False
Let b be (0 + -3)*110/(-3). Suppose 4*z = -z + b. Is z a multiple of 11?
True
Suppose 368 = -4*u + 892. Is u a multiple of 36?
False
Let s(w) = w**3 - 5*w**2 - 4*w + 3. Let v be s(5). Let i = v - -32. Is i a multiple of 11?
False
Let i = -9 + 13. Does 3 divide (1 - i)/(3 - 4)?
True
Let i(n) = n**2 - 2*n + 5. Let x be i(0). Suppose 109 = 5*p - 3*d, -3*d = x*p - 0*p - 91. Is p a multiple of 12?
False
Let a(v) be the third derivative of -v**8/3360 - v**7/630 - v**5/120 - v**4/24 - v**2. Let b(x) be the second derivative of a(x). Is b(-3) a multiple of 6?
False
Suppose 4*a - 3*g - 1 = 0, 3*g + 4 = 5*a - 1. Suppose -2*c - x + 8 = -1, -5*x + 9 = 4*c. Suppose c - 98 = -a*r. Is 10 a factor of r?
False
Let y be ((-15)/2)/(3/4). Let h = -1 - y. Is 4 a factor of h?
False
Let b(l) = -l**2 + 16*l + 2. Does 10 divide b(12)?
True
Let n(p) = p**3 + 10*p**2 + 8*p + 2. Let s(w) = w**2 - w + 1. Let d(x) = -n(x) + s(x). Suppose 12 - 4 = -b. Is 6 a factor of d(b)?
False
Let r(f) = -f**3 + f**2 + 2*f - 1. Let m be r(1). Let d be (-1 - 0) + 117/m. Suppose 2*c + 2*c - d = 0. Does 15 divide c?
False
Suppose -3*p = 5*v - 346, -4*p + 0*v + 443 = 3*v. Is p a multiple of 10?
False
Suppose -5*l + 127 = 4*x - 17, -3*l = 3*x - 108. Does 12 divide x?
True
Suppose -3*n + 0 = -177. Is 13 a factor of n?
False
Let k = 21 - 8. Let q = 15 - k. Is q a multiple of 2?
True
Let i(j) = 18*j**2 + 4*j + 3. Let d be 4/(0 + -2 + 0). Is i(d) a multiple of 10?
False
Let u(o) = -9*o + 7. Let q(p) = 18*p - 15. Let v(n) = 6*q(n) + 13*u(n). Is v(-1) a multiple of 10?
True
Suppose -3*p - 5 + 1 = 4*s, -6 = s + 2*p. Is s*2 - 5/(-1) a multiple of 2?
False
Let x = -73 - -216. Is x a multiple of 11?
True
Suppose 4*k + 3*i = -3087, 2*k - 8*i = -4*i - 1538. Is k/(-12) - (-2)/(-8) a multiple of 23?
False
Let l = -2 - -1. Let d(s) = -s + 10. Let q be d(5). Is (-1)/(l/q*1) even?
False
Let j(m) = -m + 4. Let r be j(6). Let l = r - -6. Suppose 111 - 23 = l*z. Is z a multiple of 9?
False
Suppose -2*u - 4*s = -166, 5*u = -s + 232 + 147. Does 25 divide u?
True
Let w = 9 - -21. Is 132/w - 2/5 a multiple of 4?
True
Let g be 14/105 + (-2)/15. Suppose -q + 16 + 29 = 2*t, g = -3*q + t + 163. Is 22 a factor of q?
False
Let a = -109 + 153. Suppose -25 = 2*k - k. Let z = k + a. Does 19 divide z?
True
Is 3/7 - (-76095)/315 a multiple of 12?
False
Let f = 49 + 11. Does 20 divide f?
True
Let g(m) = m**3 + 2*m**2 - 3*m - 3. Let i be g(-2). Suppose 0 = -i*p + 4*f + 9 + 17, -5*f = 2*p - 48. Does 11 divide 35*(1 + (-2)/p)?
False
Suppose -2*k + 5 + 35 = 0. Suppose -12 = 3*f + 3*s, -2*f = -s - 4*s - k. Does 3 divide f/2 + 1 + 2?
True
Let s(k) = 26*k**2 - k. Is s(3) a multiple of 11?
True
Let c be (0 - 1)*(-15)/5. Let o(p) = 3*p + 4 - p**3 + c*p**2 + p**2 - p. Does 12 divide o(4)?
True
Is 39 a factor of (-2)/(5 - 1955/390)?
True
Let y = -51 - -98. Is y a multiple of 6?
False
Let a(z) = 19*z + 2 - 12*z + 9*z. Is a(2) a multiple of 18?
False
Let h = 58 + -21. Is 16 a factor of h?
False
Let c be (-159)/(-18) + 2/12. Does 5 divide 2/(-9) + 56/c?
False
Let y(l) = l**2 - 6*l + 7. Let v be y(5). Suppose -v*k + 4 + 8 = -3*p, p = 4*k - 24. Does 5 divide (-2 - -8)*k/4?
False
Let s = 157 - 37. Is s a multiple of 26?
False
Let z(q) = 15*q**2 - 2*q - 9*q**2 - 5*q**2 + 4*q. Is z(2) a multiple of 5?
False
Let u(g) = 6*g**2 + 15*g**2 - 3*g**2 - g. Let l(w) = w**3 - 5*w**2 + w - 4. Let q be l(5). Does 8 divide u(q)?
False
Is 12*152/12 - (-1 + 3) a multiple of 25?
True
Let h = -1 + 3. Suppose -y - 10 = h. Is 7 a factor of (-2)/y*38*3?
False
Suppose -4*h + r + 372 = 0, 1 - 165 = -2*h - 5*r. Let z = h - 57. Is 15 a factor of z?
False
Let f(k) be the first derivative of -k**2/2 - 12*k + 1. Let a be f(0). Let l = a + 27. Is l a multiple of 10?
False
Suppose 5*i + 2*i = 392. Is 28 a factor of i?
True
Suppose 4*f + 0*f - 84 = 0. Let b = f - -13. Does 17 divide b?
True
Suppose 2*q - 54 = -2*c, -6*q = -2*c - 4*q + 50. Is 21 a factor of c?
False
Let k be (-5)/(-1) - (4 + -2). Suppose -4*b - 4*d + 20 = 0, k*d = -4*b + d + 20. Suppose 0 = -4*c + 2*x + 12, b*c - 3*x = c + 12. Is c a multiple of 2?
False
Let i be (8/(-12))/((-2)/9). Suppose i*h - 31 - 23 = 0. Is h a multiple of 12?
False
Let d = -4 - -4. Let c(q) = -3 + 17*q + 4 + d. Does 18 divide c(1)?
True
Let x(l) = -l**3 - 11*l**2 - 9*l + 14. Let f = 11 - 21. Is x(f) a multiple of 2?
True
Suppose 0 = 2*p + 57 + 35. Let q = -20 + 0. Let x = q - p. Is x a multiple of 13?
True
Suppose -3*r + 517 = -35. Does 46 divide r?
True
Let w(r) = 2*r**2 - 5*r + 5. Suppose -3*q + 14 = 4*f - q, -3*f + 9 = 3*q. Is 11 a factor of w(f)?
False
Suppose 0 = 2*c - 3*c + 68. Does 17 divide c?
True
Let p(a) = a - 2. Let k be p(2). Suppose -f + 90 = 2*f - 5*l, -f + 2*l + 30 = k. Is f a multiple of 15?
True
Does 50 divide (1044/36)/(2/6)?
False
Let f be 2/(-6) - (-116)/6. Suppose -2*i = -5*a - f, -3*a - 2 = -2*i + 7. Let k = 5 + i. Does 2 divide k?
True
Let p be -3 - (2/(-2) + -4). Suppose s - 4*o = -1 - 21, 3*s - p*o = -16. Is 3 a factor of 10*(-1)/s*2?
False
Suppose -4*w + 84 = -4*p, -4*p - p + 4*w - 108 = 0. Let q = p + 55. Is 11 a factor of q?
False
Suppose 3*m - 5*m - 2*a + 14 = 0, 5*a - 29 = -2*m. Let t be (-2 + 9/2)*m. Let c = 11 - t. Is 5 a factor of c?
False
Suppose -2*y = -4*f - 20, -5*y + f = 2*f - 72. Is 4 a factor of (12/(-4) - y)*-1?
False
Let d(o) = o**3 - 3*o**2 - 7*o + 2. Let s = 0 + 2. Let f be 6/2 - -4 - s. Does 17 divide d(f)?
True
Suppose -19 = -i - 2*f, -i - f = -0*f - 16. Is i a multiple of 10?
False
Let i = 5 + -23. Let x be (2/(-2))/(3/i). Suppose j - 3 = x. Is j a multiple of 9?
True
Suppose -2*k - q = 2*q - 2, -q = -4*k - 10. Does 16 divide k/(-1)*76/8?
False
Let x be -1*(-11 + 1) + 2. Let f = -7 + x. Suppose -f*t + 67 + 83 = 0. Is t a multiple of 15?
True
Let p = -17 - -19. Does 7 divide (-87)/p*(-10)/15?
False
Suppose -h + 6 = 5*j, 14 + 4 = 3*h + 5*j. Suppose -3*a + h*a = 81. Is a a multiple of 10?
False
Suppose -3*t + 99 = -5*a, -t + 7 + 40 = 3*a. Suppose o - t = h - 2*h, 2*h = -8. Suppose -3*b = -o + 6. Does 12 divide b?
True
Let c = 82 + -55. Does 12 divide c?
False
Suppose 5*b = 2*b + 81. Suppose b = -0*p + 3*p. Is 3 a factor of p?
True
Let t(z) = 3*z**2 + 22*z + 8. Let f be t(-10). Suppose 34 = 5*d + 9. Suppose d*w = f + 32. Is w a multiple of 12?
True
Let o(j) = j**3 + 2*j**2 + j. Let f be o(-1). Suppose -n - 56 = -y, y + f*n - 44 = 5*n. Let i = y - 14. Does 15 divide i?
True
Let i(c) = c**3 - 8*c**2 + 5*c - 11. Does 32 divide i(9)?
False
Suppose 2*r + 140 = 7*r. Let g = 60 - r. Is 15 a factor of g?
False
Let k(n) = -n**2 + 12*n - 8. Let d be k(9). Is (d/2)/(2/4) a multiple of 4?
False
Suppose 0 = -5*m - 4*g + 194, 2*m - 4*m + 4*g + 100 = 0. Let c = -30 + m. Is c a multiple of 6?
True
Suppose 0 = -8*y + 4*y + 216. Is y a multiple of 9?
True
Let a be ((-28)/(-2))/((-1)/(-1)). Suppose 4*d = -1 + 9. Suppose 2*n - d = a. Is 8 a factor of n?
True
Let d = -49 - -191. Suppose -2*i + 2*y = -d, -2*i - 3*y + 6*y + 141 = 0. Is 22 a factor of i?
False
Suppose 0*m + 5*n + 370 = 5*m, 3*n + 294 = 4*m. Is m a multiple of 8?
True
Let p(a) be the second derivative of -a**4/12 + 11*a**3/6 - 2*a**2 - 3*a. Is 8 a factor of p(7)?
True
Suppos