(-9)/6)/((-2)/4). Suppose 4*o - 5*i - 17 = 3*o, -3*i + z = 0. Is o a multiple of 14?
False
Let v(d) = d**3 + 10*d**2 + 4*d + 18. Is 34 a factor of v(-8)?
False
Suppose -4*u - 5*b = -59 - 38, 4*u - 77 = -b. Does 10 divide u?
False
Let c = 161 - 115. Is 28 a factor of c?
False
Suppose -7*i + 543 - 179 = 0. Is i a multiple of 13?
True
Let x = 130 + -30. Does 25 divide x?
True
Suppose 2*d - 124 = 60. Is d a multiple of 23?
True
Suppose i + 151 = 15*a - 11*a, -4*a + 5*i = -147. Does 19 divide a?
True
Let g = 2 - -18. Does 10 divide g?
True
Suppose 3*h = 6*h. Suppose h = -6*t + 3*t - 21. Let o(n) = n**3 + 7*n**2 - 7*n - 3. Does 17 divide o(t)?
False
Suppose x - 3 = 1. Let d(l) = l**2 - 11*l + 3. Let n(o) = -o + 1. Let i(s) = -d(s) + 3*n(s). Is i(x) a multiple of 8?
True
Let s(m) be the second derivative of 0*m**2 + 0*m**2 - m**2 - m**3 - m. Does 11 divide s(-3)?
False
Let f(o) be the second derivative of -o**3/3 + 5*o**2 - 2*o. Suppose 2*i + 7 = i. Is f(i) a multiple of 12?
True
Let x be 4/14 - 136/(-14). Let p be 4/x + (-6)/15. Suppose 2*w - 8 = -2*a - p, -a = 2*w - 9. Does 5 divide w?
True
Let y(g) = -9*g + 9. Is 18 a factor of y(-5)?
True
Suppose 0 = -5*u - 235 + 780. Is u a multiple of 33?
False
Let g be (-3)/6 + (-2)/(-4). Suppose -r + g*r = -36. Is 18 a factor of r?
True
Let n(a) = -a**2 + 4*a + 10. Let w be n(10). Let m = w + 96. Does 22 divide m?
False
Does 15 divide 3 - (-29 + 3 + -1)?
True
Let f be 12/8*(-136)/(-6). Let w = f - 65. Let y = 49 + w. Is y a multiple of 9?
True
Let i = -6 - -3. Let c(f) = 17*f**2 - f. Let n be c(i). Suppose n = 4*a - 4. Is a a multiple of 20?
True
Suppose -5*v + 358 = 98. Is v a multiple of 52?
True
Let t(a) = -a + 22. Suppose 4*s - x - 39 = 0, -5*s = -0*s + 3*x - 53. Is 12 a factor of t(s)?
True
Suppose -z + 43 = 4. Does 8 divide z?
False
Let k(p) = -4*p - 2 + 14*p - 7. Is k(6) a multiple of 13?
False
Let b(z) = z**3 + 9*z**2 + 6*z + 2. Let g be (14/4)/(6/(-12)). Does 21 divide b(g)?
False
Let l(h) = 2*h**3 - 5*h**2 - 3*h + 6. Let n = 10 + -7. Suppose 0 = k - n - 1. Is 14 a factor of l(k)?
True
Let u be (-4)/2 - (-2 - -2). Let q = u + 1. Does 4 divide (-3)/((3/9)/q)?
False
Suppose -3*q = 2*q - 20. Suppose 0 = -5*p + 3*x + 42, -2*x - 4 - q = 0. Let w(d) = 5*d - 4. Is 18 a factor of w(p)?
False
Suppose 0 = -3*o + 2*o + 26. Suppose -4*v - 8 = 0, -5*z - 4*v + o = -7*v. Is 2 a factor of z?
True
Suppose -2*z = -z + 60. Let j = -19 - z. Does 25 divide j?
False
Let f(o) = -2*o - 1. Suppose 0 = -3*k + k - 8. Is f(k) a multiple of 7?
True
Let r(w) = -w**3 + 3*w**2 + 3*w + 4. Does 18 divide r(-2)?
True
Let d(p) = p**2 - 3*p. Suppose 5*m + 6 = -0*r + r, 5*r - 30 = -3*m. Does 18 divide d(r)?
True
Let z(p) = -2*p + 7. Let c be z(-9). Suppose -3*f + c = 2*v, -2*v + 3*f + 9 + 10 = 0. Is v a multiple of 5?
False
Let w(f) = -f + 5. Let a be w(-6). Suppose -o + a = -9. Is o a multiple of 10?
True
Let z(a) = -8*a + 15. Is z(-5) a multiple of 34?
False
Let x(w) = 2*w**2 + 2*w - 2. Does 5 divide x(-3)?
True
Is 19 a factor of (71 - -1) + 6 + -2?
True
Let a(d) = -d**3 + 6*d**2 + 8*d + 1. Let q = 23 - 16. Is a(q) a multiple of 4?
True
Let j(w) = w**2 - 2*w + 3. Let r be j(2). Suppose 69 = r*k + 24. Is k a multiple of 8?
False
Suppose 5*h + 27 - 102 = 0. Let q(t) = t**3 - 14*t**2 - 14*t - 9. Is 3 a factor of q(h)?
True
Suppose 2*y + 3*w = 9, -y - 2*y + 4 = -5*w. Suppose -c - 9 = y*p, -7 = 3*c - p + 6*p. Suppose 0 = -a - c*q + 3*q + 37, -2*a + 2*q = -98. Does 13 divide a?
False
Does 13 divide (-2 - 1) + -32*24/(-16)?
False
Let w(p) = -3*p**3 - 4*p**2 + p - 1. Let h be w(-4). Suppose k = -5*m - 60 + 361, 2*m = -3*k + h. Does 12 divide m?
True
Suppose -4*s + 4*r + 188 = 0, 0 = -3*s + 6*r - 2*r + 136. Is s a multiple of 3?
False
Suppose -5*o + 3*g + 12 = 0, 10 = -o + 4*o + g. Is 11 a factor of 22 + o/12*0?
True
Let o = -4 + 6. Suppose o*r = -16 + 40. Is 9 a factor of r?
False
Let f(v) = -v**3 + 10*v**2 + 13. Let g be f(10). Let j = 42 - 4. Suppose -5*z = g - j. Does 2 divide z?
False
Suppose 0 = -4*z - 4*a + 24, 0 = 5*z - 3*a - 0*a + 2. Suppose -3*l + z*d = -0*l - 24, 2*l = 2*d + 16. Is 4 a factor of l?
True
Let q(i) = -i. Let v(x) = 11*x - 2. Let z(w) = -5*w - 1. Let c be z(1). Let u(a) = c*q(a) - v(a). Does 12 divide u(-2)?
True
Suppose -4*g + 15*g - 792 = 0. Is 8 a factor of g?
True
Let o(z) be the third derivative of z**6/120 + 7*z**5/60 + z**4/4 + 5*z**3/6 + 4*z**2. Let g be o(-6). Let r(b) = 7*b - 2. Does 10 divide r(g)?
False
Suppose 0 = -b - 5*s + 8 - 24, 0 = -5*b - 4*s - 17. Let o = b + 16. Does 5 divide o?
True
Is (-280)/(-7) + (-4)/(-1) a multiple of 11?
True
Let b = 29 - 14. Suppose 0 = -5*c + 75 + b. Is 6 a factor of c?
True
Let n = -20 + 40. Is 20 a factor of n?
True
Let v = 1 + 4. Suppose 0 = v*p - 4*p - 16. Is p a multiple of 4?
True
Let h = 0 - -42. Is h a multiple of 9?
False
Let x(s) = 4*s**2 - 7*s + 5. Suppose 5*a - 5 = -0. Let i be a/(-3) - 39/(-9). Does 14 divide x(i)?
False
Is 12 a factor of -27*((-9)/(-6))/((-9)/12)?
False
Let o(d) = -d**3 + 11*d**2 + 6*d + 5. Is 15 a factor of o(10)?
True
Let y(d) = -d**2 - d. Let t be y(-1). Let r = -11 + 15. Suppose r*b - 199 + 51 = 3*i, t = 4*b - i - 140. Is 17 a factor of b?
True
Let z be ((-2)/(-1))/(3/6). Is z/(-2) + 23 + -3 a multiple of 9?
True
Suppose -230 + 690 = 2*d - 4*v, 0 = -5*d + 5*v + 1130. Let q be (-6)/(-15) - 18/(-5). Is 19 a factor of (4/6)/(q/d)?
False
Does 12 divide ((-12)/(-12))/(1/21)?
False
Let l = 62 - 24. Is 19 a factor of l?
True
Suppose -2*g + 7 - 21 = -2*h, -3*h = 3*g + 3. Is 2 a factor of h?
False
Does 17 divide 13/(234/(-4)) + (-400)/(-18)?
False
Let j(d) be the first derivative of -d**5/20 - d**4/4 - d**3/2 + d - 1. Let v(k) be the first derivative of j(k). Does 14 divide v(-4)?
True
Suppose 2*g = 5*r + 12, 0 = -0*g + g + 4*r - 32. Is (10*-1)/(g/(-40)) a multiple of 25?
True
Let n be (-52)/(-5) - 2/5. Suppose -4*p - 2*b = -n, -5*b + 4 + 21 = -3*p. Suppose p = u - 5*u + 64. Is u a multiple of 16?
True
Suppose -2*a + 14 = 4*o - 2, 2*a - 17 = -5*o. Let l = 18 + a. Suppose -l = -2*f + 4. Does 6 divide f?
False
Suppose 2*o + 2*o = 40. Let f be (1 - -3)*(3 + -4). Let d = f + o. Is 6 a factor of d?
True
Suppose -2*c + 252 = 3*n - 81, 0 = 5*c - 15. Does 22 divide n?
False
Suppose -54 = 2*f - 0*f. Let i be (-6)/f + 34/9. Suppose -i*k = -3*s - 79, 4*k - 100 = -k + 4*s. Is 8 a factor of k?
True
Suppose -z - 4*z = -3*d + 115, -2*d - 2*z + 82 = 0. Is 4 a factor of d?
True
Suppose 4*x - 16 = 4. Suppose -3*u + 37 - 1 = -2*p, -x*p + 48 = 4*u. Is u a multiple of 9?
False
Suppose 0 = t - 3*t - 62. Let i = t - -57. Is i a multiple of 20?
False
Let j(f) = -34*f. Let l be ((-4)/(-2))/((-4)/6). Let i be j(l). Let b = -68 + i. Does 17 divide b?
True
Let s(z) = 3*z + 32. Is 13 a factor of s(18)?
False
Let a(t) = -t + 3. Let h be a(3). Let p(i) = i**2 - i + 10. Let n be p(h). Suppose s - 3*s + n = 0. Is s a multiple of 2?
False
Let p(a) be the second derivative of a**4/12 - a**3/3 + 5*a**2/2 + 3*a. Let g(y) = 2*y**3 - 2*y**2 - 3*y + 3. Let s be g(2). Does 10 divide p(s)?
True
Let g = 143 - 26. Does 28 divide g?
False
Suppose 0 = -4*d + 4*y - 196, -82 = 3*d + 3*y + 59. Suppose 0 = 2*q + 100 + 58. Let h = d - q. Is h a multiple of 12?
False
Let w = -43 - -25. Let m = -4 - w. Does 14 divide m?
True
Let h = -1 + 0. Let d = h - -20. Does 10 divide d?
False
Let g be ((28*1)/2)/2. Suppose -h - 3*q = -7, 3*h + 5*q - 12 = h. Does 3 divide g + -3 + 2*h?
True
Suppose -2*d + 140 - 14 = 4*x, 96 = 3*x + d. Let s = x + -22. Is 11 a factor of s?
True
Let k(x) = -x + 7. Let m be k(-5). Suppose -4*s = -m - 28. Is s a multiple of 8?
False
Let l(k) be the second derivative of 5/6*k**3 + 0 - 1/20*k**5 + 3*k + 3*k**2 - 1/3*k**4. Does 6 divide l(-5)?
True
Suppose 204 = a + 3*a. Suppose 0 = 4*v - v - a. Is 9 a factor of v?
False
Suppose -3*z - 3 = 0, 0 = -4*c - 2*z + 5*z + 83. Suppose -x + 0 = 4, 0 = -4*w + x + c. Suppose 63 = 2*f + 2*g - g, w*f - 3*g = 101. Is f a multiple of 12?
False
Suppose k - 228 = -57. Does 22 divide k?
False
Suppose 0 = 4*l + 56 + 40. Does 14 divide 516/10 + l/(-60)?
False
Let m = 33 + -22. Is m a multiple of 2?
False
Suppose -2*i + 5*u - 136 = -3*i, -4*i = 5*u - 499. Is i a multiple of 13?
False
Suppose a = 4*z - 102, -a + 85 + 47 = 5*z. Let y = z - -10. Is y a mult