/(-10)*(-10)/(-2). Suppose o*f - 5 - 5 = k. Is f a multiple of 2?
False
Let v = 46 + -43. Suppose q + 264 = v*q. Is q a multiple of 11?
True
Suppose -3*b + 5*i = 4, -4*i = -9*i + 10. Let v(l) be the first derivative of 11*l**2 + l + 6. Does 15 divide v(b)?
True
Let k(s) = -s**3 - 39*s**2 - 117*s - 5. Is k(-37) a multiple of 98?
False
Let i = -597 + 716. Does 72 divide i?
False
Suppose -41*g + 13857 = 1680. Is g a multiple of 3?
True
Suppose 53*p - 44*p = 684. Does 4 divide p?
True
Let t be (4 + -6)*-1 - 2 - -3. Suppose -t*b - 550 = -5*w - 8*b, 2*w - 4*b - 190 = 0. Is 35 a factor of w?
True
Let h(j) = -j - 1. Let c(m) = 22*m - 4. Let o(p) = -c(p) - 3*h(p). Let a be o(-17). Suppose -5*t - 5*v = -a, -4*t + 264 = -2*v - 0*v. Is 11 a factor of t?
True
Let y be 16/7 + 2/(-7). Suppose 0*s = 5*s - 2*t - 23, -2*t - 14 = -2*s. Is (9/y)/(s/4) a multiple of 2?
True
Does 56 divide -7*(-898)/(10/(70/49))?
False
Let g(u) = 4*u**2 + 9*u - 2. Let i(q) = q**3 - 10*q**2 - 11*q - 6. Let m be i(11). Is g(m) a multiple of 36?
False
Let k(v) be the third derivative of 2*v**5/15 - v**4/24 - 4*v**2. Let l(b) = -b**3 - b**2 - b + 1. Let q(x) = k(x) + l(x). Is q(3) a multiple of 25?
False
Let q = -36 - -188. Let z be 0 + -1 - 0 - 8. Is 6/z - q/(-12) a multiple of 6?
True
Let x(z) = z**2 + 3*z - 13. Let n(o) = o**3 - 4*o**2 - 3*o + 6. Let r be n(5). Let m be (-8 - 0)*12/r. Is x(m) a multiple of 5?
True
Suppose -8*y = -13*y + 10, -4*g + 394 = 5*y. Is 8 a factor of g?
True
Suppose 5*c + 934 = 3*v + c, -6 = -3*c. Let g = v + -180. Does 38 divide g?
False
Let c = -1145 - -1685. Suppose 12*s - 21*s + c = 0. Is s a multiple of 9?
False
Let y(i) be the second derivative of i**3 - i**2 + 4*i. Let l be y(-3). Let v = l + 41. Is v a multiple of 7?
True
Suppose -2*b + 0*b + 190 = -5*l, 0 = b - 3*l - 95. Let v = b - 40. Is 4 a factor of v?
False
Let p = 126 + -71. Suppose 3*f - p = -m, 7 - 2 = f. Does 10 divide m?
True
Suppose -4*b + 222 = -2*y, -3*b + b = -2*y - 106. Suppose -b*r - 40 = -53*r. Is 4 - (-4 - r/(-4)) a multiple of 3?
False
Suppose -5*o = -4*b - 1122, -2*o - 3*o = 5*b - 1095. Let s = o + -126. Does 32 divide s?
True
Let s = -286 + 33. Let m = s + 355. Suppose 0*y = 2*y + 3*d - m, -y - d + 50 = 0. Is y a multiple of 12?
True
Suppose w + 3*w = 2096. Suppose -w = -5*q - a + 17, -3*q = -5*a - 319. Suppose -g - 249 = -5*v - 4*g, 3*g = 2*v - q. Does 16 divide v?
False
Let o(l) = 2*l**2 + 16*l - 4. Let w(b) = b - 7. Let d be w(10). Let c(f) = 3*f**2 + 32*f - 7. Let z(s) = d*c(s) - 5*o(s). Is z(15) a multiple of 14?
True
Let j be ((-15)/(-9)*-5)/((-3)/18). Let t = j - 36. Is 4 a factor of t?
False
Let o = 66 + -63. Suppose -x = o*x - 24. Is x a multiple of 6?
True
Is 11 a factor of (-4 + (-42)/(-9))/((-12)/(-2304))?
False
Suppose -9*y + 10*y = 44. Let m = -16 + y. Is m a multiple of 9?
False
Let v be -10*(4 - (-48)/(-20)). Let z = -13 - v. Suppose -3*w + 4*w - 18 = z*b, -5*b = -5*w + 50. Is w a multiple of 3?
True
Let g be (-8)/(-10)*5/2. Suppose 3*x + 10 = -g. Does 30 divide (0 + 4)*(-65)/x?
False
Let p = -625 + 1338. Is p a multiple of 43?
False
Let z = -5 - -5. Suppose z*p = -5*p + 700. Suppose 16 = 4*v, p - 16 = 4*t + v. Is 19 a factor of t?
False
Let y(g) = g**2. Let u be y(-1). Let p(o) = o**3 - 2*o**2 + o. Let l be p(u). Let f(c) = c + 11. Does 6 divide f(l)?
False
Suppose 5*d - 5*v + 0*v - 4925 = 0, 4*v + 2952 = 3*d. Is d a multiple of 19?
True
Suppose -5*o + 14311 = -969. Does 10 divide o?
False
Suppose -22*h + 1182 = 3*s - 20*h, 9 = 3*h. Is 28 a factor of s?
True
Suppose -4*p + 165 + 247 = u, -3*p = -3. Is u a multiple of 22?
False
Let s = -117 + 159. Let a = 35 + s. Does 11 divide a?
True
Suppose -6 = -a + 12. Does 6 divide a/(-1)*(-36)/27?
True
Suppose 0*f = -f. Does 13 divide f + 0 - (-56 - 9)?
True
Let d = 728 - 392. Is 21 a factor of d?
True
Suppose 915 - 942 = -9*b. Let i(r) = -r**2 + 5*r + 5. Let u be i(5). Suppose -b*j = u*j - 424. Does 11 divide j?
False
Let u = -8 + 66. Let k = 66 - u. Is k a multiple of 2?
True
Suppose 0 = 2*r + 143 - 63. Let p = r + 60. Does 20 divide p?
True
Is 21 a factor of ((-98)/(-42))/(2/468)?
True
Let p be (-2)/6 - (-23)/(-3). Let o(z) = z**2 + 3*z + 2. Is o(p) a multiple of 21?
True
Let w = 938 - 815. Is w a multiple of 41?
True
Let h = -7 - -12. Suppose -t = -h*t + 24. Does 6 divide t?
True
Suppose -5*w - 50 + 470 = 0. Suppose -3*g + 4*l + w = l, -2*l = 2*g - 36. Does 6 divide g?
False
Let o = 549 + 166. Is 9 a factor of o?
False
Let d(r) = 2*r**2. Let m be d(1). Suppose -72 = -m*s + s. Is s a multiple of 9?
True
Suppose 2*v = 3*z - 0 - 1, 5*z + 7 = -v. Is (15 - 8)*8*(v + 3) a multiple of 7?
True
Does 28 divide -835*7/(-35) + (-2)/(-2)?
True
Suppose 135 = 21*r - 16*r. Suppose r*u + 476 = 31*u. Is 17 a factor of u?
True
Let v = 31 + -27. Suppose -4*s - 4*i = s - 404, v*i = s - 76. Is s a multiple of 7?
False
Suppose 0 = -7*k + 12*k - p - 1444, -k = 2*p - 280. Does 36 divide k?
True
Let r(w) = -w**3 + 11*w - 2. Let l be r(3). Suppose -587 = -3*k - 5*n + 4*n, 0 = -l*n + 20. Is k a multiple of 24?
False
Let h(d) = -2*d**2 - 11*d - 2. Let n be h(-9). Let f(l) = -l**2 - 10*l - 118. Let w be f(-9). Let z = n - w. Is 13 a factor of z?
False
Let d = -20 - -24. Let q = d + 1. Suppose 0 = 5*k + s - 55, 0*s = s - q. Is k a multiple of 4?
False
Suppose -24*p - 168 = -28*p. Suppose 17*b = 19*b - p. Is 5 a factor of b?
False
Suppose 0 = 4*j - 25*i + 28*i - 14237, -5*j + 17794 = 6*i. Does 47 divide j?
False
Let a = 1051 - 588. Is 15 a factor of a?
False
Let k = 2 + 0. Let r be (-1)/(3*k/(-114)). Is 10 a factor of 2/4 + r/2?
True
Let s(n) = -13*n**2 - 3*n - 2. Let r be s(-1). Let l be (-23)/(-5) + r/(-30). Suppose 4*p + 76 = 2*t, 6*t + 2*p - 42 = l*t. Is t a multiple of 37?
False
Let m(i) = i**2 + i - 3. Suppose -f - 4 = -5*f. Suppose -b - f = -5. Does 10 divide m(b)?
False
Suppose -5*u + 32 = -u. Let o be (u/10)/(4/(-70)). Is 8 a factor of 234/14 - 4/o?
False
Let s(j) = -j**3 + 9*j**2 + 11*j - 5. Let c be s(10). Suppose -5*w + 215 = -c*b, -2*b - 3*b - 167 = -4*w. Is 8 a factor of w?
True
Let j = -10 - -16. Suppose -20 = 5*c, j = -0*y - 3*y - 3*c. Suppose -2*h = -y - 0, f = 5*h. Does 5 divide f?
True
Let f = -24 - -18. Let b(q) = -q**2 - 6*q + 6. Is b(f) a multiple of 5?
False
Let n = 2279 - 1479. Is n a multiple of 20?
True
Let y(g) = g**3 - 22*g**2 - 23*g + 16. Let c(j) = j**2 - 3*j + 5. Let h be c(6). Is 4 a factor of y(h)?
True
Let z = -128 - -23. Let y be (z/(-14))/((-6)/(-8)). Suppose y*s - 678 = 4*s. Is s a multiple of 24?
False
Suppose -3*i + 240 = 3*w, w - 400 = -0*i - 5*i. Does 40 divide i?
True
Is 1/((2/28)/((-23760)/(-154))) a multiple of 40?
True
Let t(v) = -6*v - 16. Does 26 divide t(-20)?
True
Let y(x) = 5*x + 56. Let i be y(-7). Let u = 69 - i. Does 12 divide u?
True
Let t be (96/18 - 6)*-48*1. Suppose -t = -g - 19. Is g even?
False
Let h = 68 + 15. Let q = h - 35. Is 21 a factor of q?
False
Let a = -1987 - -2806. Does 9 divide a?
True
Let y(u) = -5*u. Let o(i) = -1. Let h(m) = 10*o(m) - 2*y(m). Is 9 a factor of h(4)?
False
Let k(t) = 4*t**2 + 4*t - 15. Is 6 a factor of k(3)?
False
Let s = -546 - -697. Is 2 a factor of s?
False
Suppose -11 = -2*w - y, -2*w - 3*w + 30 = 5*y. Suppose -5*t = -5*h + 2*h - 8, 28 = 2*t + w*h. Suppose 0 = -t*v + 72 + 196. Does 19 divide v?
False
Let g(a) be the second derivative of a**5/20 + a**4/2 - 7*a**3/3 + 11*a**2/2 - 4*a. Is g(-7) a multiple of 18?
False
Suppose 0 = 5*q + 17*y - 19*y - 6367, q - 2*y = 1275. Is q a multiple of 19?
True
Let r = 43 + -29. Let c = r - 12. Suppose 0 = -z - c*u + 39, -4*z = -z + 3*u - 108. Is 11 a factor of z?
True
Suppose 0 = 2*v, -5*c + 1060 = 2*v + v. Is 4 a factor of c?
True
Suppose -9 - 3 = -4*z - 4*y, z + 4*y = 0. Suppose 0 = n - 11 + z. Let i = 26 - n. Does 5 divide i?
False
Suppose k - 20 + 5 = 0. Suppose y + 6*c - k = 2*c, 0 = 3*y - 3*c - 15. Is 3 a factor of y?
False
Suppose 0 = -0*t + t + 4*a + 3, -t - 48 = -5*a. Let j = -20 - t. Suppose 3*u + j*r - 69 = -0*r, -3*r = -5*u + 83. Is u a multiple of 5?
False
Suppose 5*w - 29 = -2*a + 3*a, 0 = -5*a + 3*w - 57. Let z be a + 3 + (1 - -1). Does 3 divide (-84)/8*z/6?
False
Suppose -3*c - 5*y = -0*c - 1455, y - 1467 = -3*c. Is 49 a factor of c?
True
Suppose -c - 12 = -3*c - f, 3*f - 24 = -3*c. Suppose 6*r = -2 - 2