e 396/15 - (-12)/(-30)?
False
Let k = 179 - -181. Is 37 a factor of k?
False
Suppose -4*n = -2*n + 4. Is -2*(13/n)/1 a multiple of 10?
False
Let x(s) = 3*s**2 - 8*s + 4. Let m be x(5). Let t = 73 - m. Does 24 divide t?
False
Let t(k) = -k**3 + k**2 - 1. Let q be t(0). Let n(g) = -77*g**3 + g**2 - g - 2. Does 29 divide n(q)?
False
Let y(g) = 2*g - 2. Let p be y(-4). Let n(h) = -8*h + 4. Let z be n(p). Suppose -z = -5*x - i, -2*x - 2*x - 3*i = -65. Is x a multiple of 17?
True
Suppose -23*n - 215 = -28*n. Is 7 a factor of n?
False
Let g(x) be the third derivative of x**5/60 + 5*x**4/24 - 2*x**2. Does 7 divide g(-7)?
True
Let m = 242 - 134. Is m a multiple of 12?
True
Let x = -3 + 7. Suppose -x*o + 5*o = k - 29, 3*k + o = 83. Does 14 divide k?
True
Suppose 7*o - 2*o = 0. Suppose 0 = 3*b + 4*z, -5*z + o*z = 2*b + 7. Does 4 divide b?
True
Suppose 2*b - 7 = 3, -2*b + 20 = 5*a. Suppose -a*w = -w. Suppose -c - 2*i + 50 = 0, -5*c - i + 154 + 87 = w. Is 19 a factor of c?
False
Let t = 5 + -2. Suppose t*r - 66 = 48. Is 10 a factor of r?
False
Let i = -1 + -3. Is ((-2)/6)/(i/72) a multiple of 3?
True
Let w(c) be the second derivative of c**4/12 - 5*c**3/3 - 3*c**2/2 - 3*c. Let f be w(10). Is (-1)/f - 107/(-3) a multiple of 18?
True
Let v = -1 - 2. Let f = 39 - v. Suppose f = g + 6*w - 2*w, 2*g + 5*w - 69 = 0. Is g a multiple of 19?
False
Let x(c) = c**3 - 4*c**2 - 3*c - 1. Let w be x(5). Suppose 4*p + 380 = w*p. Does 19 divide p?
True
Let i(u) = u**3 - 6*u**2 + u - 1. Is i(6) even?
False
Let j(c) = c**3 - 8*c**2 + 7*c + 5. Let r be j(7). Suppose 0 = 2*d - 3*a - 60, a = -r*d - 4*a + 100. Is 7 a factor of d?
False
Suppose 5 - 41 = -4*b. Suppose 0 = 2*o - o - b. Is o a multiple of 7?
False
Suppose 4*y = 5*y. Suppose y = -4*k - 0*k + 280. Let q = k + -41. Does 10 divide q?
False
Let m = 31 - 26. Is m a multiple of 4?
False
Let d = 2 + 14. Does 4 divide d?
True
Let y = -2 + 5. Suppose y*g - 105 = -2*g - 5*j, -3*g + 71 = j. Is 10 a factor of g?
False
Let j(o) = 2*o**2 - 6*o - 3. Let w be j(6). Suppose -w = -5*n + 2*n. Is n a multiple of 9?
False
Let s be ((-3)/6 + 2)*2. Does 8 divide s/(-2)*68/(-6)?
False
Does 8 divide 93/9*3 + 1?
True
Suppose 4*y - 38 = 2*d, -2*y + 43 = 3*y + 2*d. Does 2 divide y?
False
Suppose -483 = -5*o + 72. Is 30 a factor of o?
False
Let g be 2/11 - (-3230)/22. Is (-2)/3*g/(-14) a multiple of 7?
True
Let z be (1 - (3 + 1))*-5. Is 12/(-18)*z/(-2) a multiple of 4?
False
Suppose w - 2*o + 6 = 0, -w + 4*w + o = 3. Let d = -30 - -70. Suppose 0 = -2*l - w*l + d. Does 10 divide l?
True
Let m(x) = 3*x + 1. Let f(g) = -g**2 + 11*g - 6. Let j be f(10). Suppose 3*p - j*o = -2, 4*o - 15 = -2*p - 3. Is 3 a factor of m(p)?
False
Let q(h) = 4*h**3 + 5*h**2 - 3*h - 6. Suppose 3*o - 3 = 4*o. Let m(i) = 3*i**3 + 4*i**2 - 4*i - 6. Let d(w) = o*m(w) + 2*q(w). Is 10 a factor of d(-4)?
False
Suppose -14*o = -15*o + 306. Is o a multiple of 34?
True
Does 34 divide (-4)/(-18) - (-13312)/117?
False
Suppose 0*s + s = 47. Let z = s + -14. Is 11 a factor of z?
True
Let s(v) = 5*v**2 - 7*v - 19. Is 14 a factor of s(-9)?
False
Suppose 5*c - 31 = -p, 58 = 5*p + 4*c - 202. Does 28 divide p?
True
Suppose 4*c = -0*c + 68. Is c a multiple of 14?
False
Let s(m) = -2*m**3 + 17*m**2 - 7*m - 3. Does 18 divide s(7)?
False
Let l = 5 - 12. Let s = l - -40. Is s a multiple of 33?
True
Suppose -3 + 1 = -2*l. Let f be 13 - -2 - (l + 0). Suppose 0 = x - f - 9. Is x a multiple of 8?
False
Let t = 35 + -15. Suppose t + 160 = 5*o. Does 15 divide o?
False
Suppose -27 = 2*q - p + 2, -5*p - 42 = q. Let w = -14 - q. Does 3 divide w?
True
Let k(c) be the first derivative of c**4/4 - 7*c**3/3 + 7*c**2/2 - 2*c - 3. Let y be k(6). Let x(d) = 6*d - 4. Is x(y) a multiple of 17?
False
Suppose -3*k = 37 - 226. Is k a multiple of 10?
False
Let f(h) = -4*h - 1. Let w = -8 - -4. Let y be f(w). Does 4 divide 4/10 - (-69)/y?
False
Let w = -3 + 5. Suppose 6 - 74 = -w*n. Suppose -2*s - n = -122. Is 22 a factor of s?
True
Suppose -g + 0 = -3. Suppose g*c + 2 = 2*j, 3*j = 2*c - 0*c + 3. Suppose -4*p = w - 17, 3*w - 4*p + 23 - 74 = c. Does 7 divide w?
False
Suppose -43 = -5*m - 4*t - 0, -t - 19 = -3*m. Is 3 a factor of m?
False
Suppose -6*p + 9*p = 180. Is p a multiple of 20?
True
Let a = -68 + 96. Is a a multiple of 13?
False
Let x(t) = 8*t**2 + 3*t + 7. Does 7 divide x(-3)?
True
Let p = 4 + 70. Is 37 a factor of p?
True
Let t be 6 - 4 - 5*2. Is (-185)/(-20) - (-2)/t a multiple of 8?
False
Let b(y) = -y**3 - 2*y + 1. Let s be b(2). Let k = 6 - s. Does 7 divide k?
False
Let s be 24/(-16)*238/(-3). Suppose 0*r = -2*q - 2*r + 74, s = 3*q + 5*r. Does 7 divide q?
False
Let c be -1*3/6*-42. Does 6 divide ((-108)/c)/3*-7?
True
Let j = -14 - -6. Let o be 15/20 + (-2)/j. Is 4 a factor of -3 + o - 8/(-1)?
False
Suppose -10 = 4*z - 3*z - l, -4*z - 50 = l. Let h = 42 + z. Is 21 a factor of h?
False
Suppose 0 = 3*t + 1 - 7. Let n be 9/(-12)*-4 + 9. Suppose t*f = 2, 5*f - 65 + n = -l. Does 18 divide l?
False
Suppose 8*t - 3*t = 155. Is t a multiple of 6?
False
Let w be -3*((-40)/12 + 2). Suppose -w*l = -5*q - 0*q - 285, -5*l + q = -372. Does 25 divide l?
True
Let w be ((-5)/4)/(3/(-12)). Suppose q - 2*q + w = 0. Suppose 5*p + 5*b = 30, -b = q*p - 0*b - 26. Is p even?
False
Does 14 divide (-2 + 1)*-3 - 1736/(-31)?
False
Let l(s) = 3*s - 11. Let x be l(12). Suppose 2*w = 7*w - x. Does 5 divide w?
True
Let c = 10 + -8. Suppose -81 = -c*w - w. Is w a multiple of 11?
False
Suppose 0 = 3*f - 7*f + 396. Is 22 a factor of f?
False
Let c = -2 + -2. Does 2 divide c/(-8) - 10/(-4)?
False
Let t be ((-2)/3)/(-1)*90. Let k be ((-20)/35)/((-2)/7). Is (3/k)/(9/t) a multiple of 10?
True
Suppose 5*g - 401 = -76. Is 12 a factor of g?
False
Suppose 8 = 2*o + 4*i - 8, 5*o = -i - 5. Let d be -7*o*3/(-6). Let p = 25 + d. Is p a multiple of 9?
True
Let y(t) = -t**2 + 1. Let c(w) = 24*w**2 + 2. Let l(p) = c(p) - 3*y(p). Suppose 5*k - 5 + 0 = 0. Is l(k) a multiple of 13?
True
Suppose 16 = -2*m - 6. Suppose 3*d - 2*d = 16. Let w = d + m. Is 5 a factor of w?
True
Let c(f) = 2*f**3 - 8*f**2 - 3*f - 14. Does 14 divide c(6)?
True
Let a(b) = b**3 - 23*b**2 + 3*b + 12. Does 27 divide a(23)?
True
Suppose -z + 9 = -5. Let c = z - -5. Is c a multiple of 17?
False
Let f(z) = z**3 + 10*z**2 + 9*z - 4. Let o(n) = n**2 + n - 1. Let i(t) = f(t) - 6*o(t). Let c be i(-3). Is 3 a factor of 6 - (c + -2)/(-1)?
True
Suppose -2*s + 117 = -c, 3*s - 5*s + 4*c + 114 = 0. Suppose s = 3*q - 2*q. Is 17 a factor of q?
False
Let u be (-2943)/(-45) - 4/10. Suppose -l = 4*l - 5*g - u, -3*g - 30 = -2*l. Is l even?
False
Suppose x - 12 = -2*b + 8, 0 = -3*b + 3*x + 48. Is 3 a factor of b?
True
Let i = 47 + -19. Is 7 a factor of i?
True
Let v = -5 - -16. Suppose -a = 3*q - v, 5*q - 3 = a + 2. Suppose p - 25 = 3*i, a*p - 71 = -4*i + i. Is 8 a factor of p?
True
Suppose -y = -5*a - 45, -y + 0*y = -3*a - 51. Suppose -2*x + 7*x - y = 0. Suppose -5*s + 3*s = -x. Is s a multiple of 6?
True
Suppose w = -w + 6. Suppose u + 94 = w*u. Does 13 divide u?
False
Suppose -3*u = -8*u. Let s(a) = a**3 + a + 34. Is s(u) a multiple of 13?
False
Let w(r) = -9*r**2 - 5*r + 17. Let k(i) = 5*i**2 + 2*i - 9. Suppose -3*b - 22 = -b. Let h(d) = b*k(d) - 6*w(d). Is h(7) a multiple of 4?
True
Suppose 0 = h + 2 - 8. Does 6 divide h?
True
Suppose -25*o + 24*o = -34. Does 28 divide o?
False
Suppose 2*h - 52 = 2*b, -4*h = -b - 2*b - 109. Does 7 divide h?
False
Suppose -i = 3*s - 1, 4*i - 2 = -5*s + 2. Let h be -1 - (i*-2 + 0). Is 4 a factor of (6 - 8)*-4*h?
True
Does 15 divide 420 + (4 - 2 - 0/(-1))?
False
Let z(f) = 0 - f**2 - 8 - 4 + 10*f. Let o(g) = -g**2 - 6*g. Let m be o(-4). Is z(m) a multiple of 4?
True
Let a = 8 + 3. Let d = 7 - a. Is d/(-20) + (-18)/(-10) even?
True
Suppose -3*i = 2*z - 4*i - 107, -3*z + 174 = 3*i. Does 11 divide z?
True
Let j(m) be the third derivative of -m**6/120 - m**5/20 + m**4/6 - m**3/3 + 3*m**2. Does 15 divide j(-5)?
False
Suppose 46 = 4*b - 30. Is 11 a factor of b?
False
Let g(l) be the second derivative of l**6/120 - l**5/15 + 7*l**4/24 - l**3/6 - l. Let t(y) be the second derivative of g(y). Does 16 divide t(5)?
False
Suppose 0 = -0*t + 2*t - 8. Let q(m) = -3 + 35*m + 8 - 12*m - 14*m. Is q(t) a multiple of 15?
False
Does 26 divide (-195)/(-10)*56/6?
True
Let c(r) = 2*r**2 - 