 10 divide o?
True
Let s(i) be the first derivative of 13/2*i**2 - 3*i - 1. Is s(2) a multiple of 13?
False
Suppose 5*v = 2*x + 28, -3*v - 27 = -8*v + 3*x. Suppose -c - 33 = -30. Is 68/((-4)/v*c) a multiple of 18?
False
Let l be 48/9 + 4/6. Suppose -3*u + 0 = -l. Suppose -i + u*t + 10 = 0, -3*t = -5*i + 2*t + 70. Is i a multiple of 9?
True
Is (2 - (-2 - 2)) + 2 a multiple of 7?
False
Let i(b) = -2*b**3 + b**2 - 4*b - 3. Is i(-2) a multiple of 7?
False
Let z(j) = j + 8. Is z(8) a multiple of 8?
True
Let m(w) = -w**3 - 8*w**2 - 25. Is 28 a factor of m(-9)?
True
Let q(d) = 7*d + 40. Is q(20) a multiple of 12?
True
Let y = -131 + 88. Let x = 23 + y. Let a = 36 + x. Does 8 divide a?
True
Let c(l) = -3*l**3 - 9*l**2 - 12*l - 8. Does 36 divide c(-6)?
False
Let c be 400/22 + 10/(-55). Let i be 12/c + (-58)/(-3). Suppose -m + 0*m + i = 0. Is 10 a factor of m?
True
Suppose 0*g + 72 = 4*g. Does 9 divide g?
True
Let z(u) = 4*u**3 - 2*u**2 + 4*u + 1. Let f(j) = -5*j**3 + j**2 - 4*j. Let i(k) = 3*f(k) + 4*z(k). Let a be i(6). Does 4 divide a/6 + 3/9?
False
Let w = -8 - -11. Suppose -y = w*j - 0*j - 7, -2*y - 2*j = -14. Is y a multiple of 7?
True
Suppose -h + 26 + 5 = 0. Suppose 4*m - h = 3*m. Is m a multiple of 17?
False
Suppose -162 = -2*k - 0*h - 3*h, 3*h = 2*k - 162. Is k a multiple of 13?
False
Let u(h) = -4*h + 0*h**2 + 3*h + 14*h**3 + h**2. Is 7 a factor of u(1)?
True
Let w = 21 - 16. Let r = -3 + 8. Suppose 77 = r*u + w*l - 2*l, u + l - 17 = 0. Is 7 a factor of u?
False
Let q(f) = 2*f**2 + 6*f - 3. Does 11 divide q(-5)?
False
Let u(p) = 11*p + 9. Let f(n) = -n - 1. Let j(s) = 6*f(s) + u(s). Is 8 a factor of j(5)?
False
Let j = 0 - -5. Suppose j*b = -5*k - 15, 2*b - 3 = -k - 4. Suppose -3*h = 5*l - 111, 4*l - h = -b*h + 86. Does 7 divide l?
True
Let z(y) = -y**3 + 8*y**2 - 6*y - 7. Let m be z(7). Does 17 divide 2 - (m + -1*39)?
False
Suppose z - 12 = 34. Is 17 a factor of z?
False
Let m = 11 + -8. Suppose m*t + 5*o - 154 = -0*t, 3*t - 136 = 4*o. Suppose 2*r - 11 = r + q, 3*r = -2*q + t. Is 7 a factor of r?
True
Let a be (-1)/(-2) - (-297)/2. Let d(v) = v - 8. Let l be d(10). Suppose 5*y = l*i - 47, -4*y - a = -4*i - 5*y. Is i a multiple of 18?
True
Suppose -2*b + b = -2*m - 116, 5*m = -20. Is 36 a factor of b?
True
Is (2/3)/(-4 - (-7270)/1815) a multiple of 11?
True
Let k(c) be the second derivative of -5*c**3/3 - 2*c**2 + 3*c. Is k(-4) a multiple of 19?
False
Let y be 1/4 + 88/32. Let k be -4*(-1)/(-2 + y). Is 8 a factor of (0 - -27) + (k - 7)?
True
Let l = 1 - -8. Does 9 divide l?
True
Let i = 28 - 24. Is i a multiple of 4?
True
Let o(w) = -w - 4 + 3*w + 1. Let q be o(2). Let m(f) = 8*f**3 - f**2 + f - 1. Does 7 divide m(q)?
True
Let a = -7 - -8. Is -2*a/3*-51 a multiple of 10?
False
Let a(o) = -o**3 - 18*o**2 - 4*o - 13. Is a(-18) a multiple of 18?
False
Let j = 4 + -2. Suppose -3*s + 180 = j*s. Is s a multiple of 12?
True
Suppose -222 = -2*f + 306. Does 66 divide f?
True
Let s be (10/(-4))/((-5)/10). Does 15 divide (2/(-6))/(s/(-435))?
False
Let z be 14 - (-2)/6*0. Let l = -9 + z. Suppose g - l = 3. Is 8 a factor of g?
True
Let m(r) = -r**3 + 6*r**2 - 5*r + 2. Let y be m(5). Suppose 0 = 5*t - y*f - 14, 3*t - 6*f + 3*f - 3 = 0. Does 2 divide t?
True
Let i be 4 - (-2 + -16 + -4). Suppose 0 = 4*y + 1 + 7. Let m = i - y. Does 10 divide m?
False
Let j(q) be the third derivative of 0 + 0*q + 1/6*q**3 + q**2 - 23/24*q**4. Is 15 a factor of j(-1)?
False
Suppose -5*a + 5 + 10 = 0. Suppose -a*l + 30 = -51. Is 9 a factor of l?
True
Suppose 6 = -5*s + 21. Is s even?
False
Is (51 - 4)*(6 - 5) even?
False
Let g = 5 + -1. Suppose 0 = -p + g*a + 26, -3*a + 52 = 3*p + 4. Is p a multiple of 11?
False
Suppose -9 = -t - 2*a + 27, 2*t = -2*a + 64. Let q = 4 - 1. Suppose 4*o - t = 5*n + 18, q*o - 44 = -n. Is 10 a factor of o?
False
Let j be (-1)/2 + (-105)/(-14). Suppose -2*q + j*q = 105. Is q a multiple of 13?
False
Let u(y) = 12*y - 5. Let w be (12/(-2))/(-2) + 1. Suppose w*i - 14 = 2. Is u(i) a multiple of 19?
False
Suppose 72 = 4*v - 4*s, 4*s = v + 4*v - 90. Let n = v + -10. Is (1 - -4)*n/2 a multiple of 20?
True
Let s = 10 - 31. Let y = 79 + s. Does 13 divide y?
False
Suppose 2*q = 2*u + 16, 7*u = -5*q + 3*u + 4. Does 12 divide (-2 - -6) + q*5?
True
Is (-1*3)/((-15)/340) a multiple of 17?
True
Let p(q) = q**3 + 12*q**2 - 18*q - 13. Let c be p(-13). Suppose 59 = 3*x - c. Does 9 divide x?
False
Let c = 1 + -3. Let i be ((-3)/2)/(c/12). Suppose i*h - 5*b = 4*h + 75, -5*b = 4*h - 42. Is 5 a factor of h?
False
Let s be 2 - (4/4 - -57). Let i = 86 + s. Does 10 divide i?
True
Is (7/4)/(-7) - (-74)/8 even?
False
Let k = 11 - 1. Suppose 0 = -2*g + 2 + k. Does 5 divide (g/3 - -11) + -3?
True
Suppose 3*o = 4*o - 4. Suppose 65 = o*g - 3*b, -2*g - 5*b = -0*b - 65. Suppose 0 = y - 0 - g. Is y a multiple of 10?
True
Suppose 0 = -3*p + d + 3*d + 129, 2*d + 182 = 4*p. Is p a multiple of 11?
False
Let a(v) = -3*v - 2 + 1 - 3. Let y(p) = p**2 + 12*p + 10. Let x be y(-10). Does 13 divide a(x)?
True
Suppose 330 = 11*x - 8*x. Is 22 a factor of x?
True
Let a be (-3 - 1)*9/(-4). Suppose -a = -2*s + 11. Is 8 a factor of (6/s)/((-1)/(-15))?
False
Suppose 0*h + 3*v = -h + 349, -2*v - 324 = -h. Is 14 a factor of h?
False
Suppose -4*p = 1 - 197. Is p a multiple of 21?
False
Let c(i) = 20*i**3 - 2*i**2 - 12. Let j(s) = -7*s**3 + s**2 + 4. Let a(z) = -6*c(z) - 17*j(z). Let o be a(-5). Suppose 0*n - o*n + 44 = 0. Does 11 divide n?
True
Let n(c) = 2*c + 13. Is n(9) a multiple of 8?
False
Let s(b) = -170*b**3 + b**2 + 2*b. Is 43 a factor of s(-1)?
False
Let m = -13 - -19. Let a = m + 25. Let o = a - 1. Does 15 divide o?
True
Let y = 8 + 22. Let l = y + 0. Is l a multiple of 10?
True
Let h(j) = 14*j**2 + 2*j. Let v be h(3). Suppose 22 = -5*u + v. Does 11 divide u?
True
Is 4 a factor of (-6)/27 - ((-92)/9 + 3)?
False
Suppose -23 = -r - 3*g - 8, r + 13 = 4*g. Suppose -r*p = -25 + 4. Let u = 19 - p. Is 9 a factor of u?
False
Let a(b) = b**3 - 7*b**2 + 10*b. Is a(7) a multiple of 14?
True
Let r be 45/10 - 2/(-4). Suppose b = -5*h - 7 - 8, 5*b = -4*h - 12. Suppose -r*w + 2*w + 87 = b. Does 16 divide w?
False
Suppose 4*d + 42 = 4*b + 2, 0 = 4*d + 12. Is b even?
False
Suppose -24 = -6*d + 2*d. Does 5 divide (3 - d) + 3 + 20?
True
Let b = 15 + -10. Suppose -4*x + b*i = -7 + 2, 0 = 5*x + i - 28. Suppose 0 = -4*a + 7 + x. Is a a multiple of 2?
False
Suppose 2*g = -0*g - 62. Let h = g + 61. Is h a multiple of 10?
True
Suppose 0 = -5*y + 53 + 287. Is 17 a factor of y?
True
Let h be 4/(-10) + 12/5. Let u(o) = -2*o**2 + 2*o**2 - 2*o + 3*o**2 - o**h. Is 6 a factor of u(3)?
True
Suppose 0 - 10 = 5*j. Let w be (3/j - -2)*2. Let a = w - -9. Is a a multiple of 5?
True
Let t = 205 - 106. Does 11 divide t?
True
Let l = 19 + -16. Suppose -3*t + 3*g = -8*t + 105, 3*t - 63 = -l*g. Is t a multiple of 21?
True
Suppose 2*l - 2*m = -3*l - 5, 2*l - m + 3 = 0. Suppose -4*h + 4*t = l + 11, 15 = 3*h + 5*t. Let j = 8 + h. Does 8 divide j?
True
Let f be 390/(-25) - (-3)/5. Let c = f - -30. Suppose -c = 2*h - 47. Is 8 a factor of h?
True
Suppose -3*o - 3*a = -27, -4*a + 31 = 5*o - 6*a. Let n(c) = c**3 - 6*c**2 - 6*c - 10. Let k be n(o). Does 10 divide (22/5)/(k/(-15))?
False
Suppose 2*v - 89 - 9 = 0. Is v a multiple of 12?
False
Suppose 5*a + 0*a = 4*d - 260, -5*d - 71 = 2*a. Let y = a + 67. Is 5 a factor of y?
False
Let c(z) = -2*z**3 + 3*z**2 + 2*z + 4. Let f be c(-3). Let q = 125 - f. Is q a multiple of 23?
True
Let u = -44 - -74. Is u a multiple of 19?
False
Is (0 - (2 + -2)) + 58 a multiple of 22?
False
Let i be (-22)/(-5) + (-6)/(-10). Let g = 13 - i. Let h = g + 2. Is 5 a factor of h?
True
Suppose 3*j + 8 + 4 = 0. Let q(o) = o**3 + 5*o**2 - 2*o. Does 12 divide q(j)?
True
Suppose 4*y + 108 = 2*d, 5*y + 0 = 20. Is d a multiple of 9?
False
Suppose v = 2*t + 5*v - 194, 101 = t + 3*v. Is 11 a factor of t?
False
Suppose -4 = 2*c, -10 - 10 = -3*p + 4*c. Let f = -10 - -20. Does 6 divide p + 5/(f/4)?
True
Suppose 5*l = -0*s + 3*s - 49, 3*l = s - 23. Is s a multiple of 4?
True
Is 18 a factor of (2 - 1)/(681/(-171) - -4)?
False
Suppose y - 4*y = -9. Suppose 0 = -5*z - 2*u - 16, 3*z = y*u + 4 - 22. Let v(r) = -4*r + 4. Is 10 a factor of v(z)?
True
Suppose 11 = -b - 3. Let v be (-1)/3 - b/6. Suppose -q - v*q + 2*y = -84, -5*y = -q + 