?
True
Let g be 2 + -4 + (2 - 2). Let z = 28 - g. Does 7 divide z/(-2 - -3) + -3?
False
Let v be (3/15*51 - 0)*5. Let b = -33 + v. Is b a multiple of 6?
True
Let v(a) = -a**3 - 8*a**2 - 7*a - 11. Let m(z) = -z**3 + 5*z**2 + 8*z - 9. Let h be m(6). Suppose 0 = h*j + 5*b - 1, 5*b - 10 = -2*j - 1. Does 15 divide v(j)?
True
Suppose 26 + 64 = 2*t. Let a be t/6*(-2)/3. Does 12 divide 0 + (-1 - a) + 44?
True
Let j be 10/15 + 15/(-9). Let z be (-5 + j)*(-5)/(-15). Does 2 divide -3 + z/2 + 17?
False
Let y(j) = -j**3 + j**2 + j + 3. Let b = -13 - -13. Let v be y(b). Let u = 18 + v. Is 21 a factor of u?
True
Let u = -16 - -20. Suppose -16 = -t - 2*l, 0*t + u*l = -5*t + 80. Is t a multiple of 10?
False
Let f(y) = y**2 + 17*y - 5. Let w be f(-17). Let b(j) = j**3 + 9*j**2 + 7*j - 10. Let s be b(-7). Is 4 a factor of 6/30 - s/w?
True
Let g = 432 - 56. Is g a multiple of 12?
False
Let h = -257 - -1067. Is 30 a factor of h?
True
Let h = -106 - -25. Let i = h + 270. Is i a multiple of 10?
False
Let a = 150 + -127. Does 19 divide a?
False
Let f(c) = c**3 - 2*c**2 - c + 1. Let w be f(0). Is w/(495/(-125) + 4) a multiple of 25?
True
Let i(j) = 2*j**2 - 6. Let s be i(2). Suppose -2*t + 43 = -p, s*t = -2*p + 23 + 5. Is 12 a factor of t?
False
Let l be (6 - (-1)/1)/1. Let x(m) = -2*m - 4. Let s(n) = -2*n - 4. Let y(u) = l*s(u) - 6*x(u). Does 14 divide y(-16)?
True
Let m be (7 + -1 - 3) + -3. Let z be (m - -1)/(9/135). Suppose -3*k + 141 = z. Is 14 a factor of k?
True
Suppose -2*d - 18 = k - 6*k, -k - 4*d - 14 = 0. Let c(z) = z**2 + z - 2*z + 2*z + 0*z**k + 1. Does 21 divide c(4)?
True
Let m(c) = -c**2 + 12*c - 13. Let a be m(11). Let y be ((-3)/(-9))/(a/(-18)). Suppose r + 68 = y*r. Does 22 divide r?
False
Suppose -20*u = -6*u - 5432. Let v = -223 + u. Does 33 divide v?
True
Let f = 2367 + -1656. Is f a multiple of 10?
False
Suppose -328 = -42*l + 44*l. Does 15 divide 3/9 - l/3?
False
Let l(g) = g**3 + 17*g**2 - 18*g + 3. Let d be l(-18). Let f(r) = 2*r**2 + 2. Let x be f(d). Let m = 0 + x. Is m a multiple of 5?
True
Let k(n) = -55*n - 110. Does 10 divide k(-20)?
True
Let f(q) = -38*q**2 + 34*q**2 + 34*q**2. Suppose 0 = 4*w - 0*w + 4. Does 10 divide f(w)?
True
Suppose w = -5*v + 2760, 3*v + 3258 = w + 506. Is w a multiple of 29?
True
Suppose 2*a + 11*q - 15*q = 884, 0 = 2*q + 6. Is 4 a factor of a?
True
Suppose 963*l = 985*l - 48708. Is 27 a factor of l?
True
Let f be (52 - -1 - -4) + -3. Let s be f/(-14) - (-5)/(-35). Is ((-10)/(-6))/(s/(-12)) a multiple of 5?
True
Suppose j + 40 = -68. Suppose 28 + 35 = -h. Let v = h - j. Does 15 divide v?
True
Suppose 2523 = 45*u - 1527. Is 9 a factor of u?
True
Let a(v) = -v**3 - 9*v**2 + 15*v + 17. Let h be a(-10). Let l = -22 - h. Does 11 divide l?
True
Suppose -3*w - 12 = 2*r, -3*r - 3*w - 12 = -6*r. Suppose -9*f + 24*f - 2280 = r. Does 8 divide f?
True
Let m be (0 - -3)*21 - -1. Let y = -93 + m. Let g = 23 - y. Is g a multiple of 9?
False
Suppose 0 = 4*v - k - 3451, 5*v + 5*k - 5639 = -1294. Is 27 a factor of v?
True
Let c be 4*7 - 12/(-3). Suppose -4*z - 3*b = -7*b - c, z - 3*b = -2. Is z a multiple of 13?
True
Let c = 41 + -59. Let l = c + 22. Does 21 divide l - (-4)/((-12)/(-219))?
False
Let u(p) be the third derivative of 1/3*p**3 + 0*p - 1/6*p**4 - 4*p**2 + 0. Is 10 a factor of u(-4)?
False
Let j = 3 + -3. Suppose 80 = -2*a + 4*r - 42, 4*a + 2*r + 224 = j. Let p = a - -116. Is p a multiple of 26?
False
Suppose 192 = -0*s + s - 3*d, 5*s + 4*d - 922 = 0. Does 33 divide s?
False
Let r(f) = -2*f - 1. Let l be r(-7). Suppose -4*i = -j + 3*j - 2, 2*i - l = -5*j. Is -3*6*-1 - i a multiple of 5?
False
Suppose -4*y = 4*d - 496, -18*y = -2*d - 15*y + 233. Is 3 a factor of d?
False
Suppose 6*c + 2028 = 11*c - n, 0 = n - 2. Is c a multiple of 14?
True
Let s(d) = 13*d + 7 - 21 - 2*d**2 + 3*d**2 - 1. Does 11 divide s(-15)?
False
Let p be (-26)/(-5)*(-1 + -4). Let d = p - -14. Does 4 divide 9*16/d*-1?
True
Let p = 4 - 4. Let o(u) = 3*u**2. Let n be o(-1). Suppose -4*c + 360 = h, -n*h - h = p. Is c a multiple of 18?
True
Is 16 a factor of (12540/24 - 3)*(0 + 2)?
False
Suppose -20*d + 5390 + 4790 = 0. Is d a multiple of 9?
False
Let c(t) = 7*t**3 + 2*t. Let h(d) = d**2 - 6*d + 6. Let g be h(4). Let m be c(g). Let u = 115 + m. Does 8 divide u?
False
Suppose -13*j + 4*j = -2727. Let q = -46 + j. Is q a multiple of 16?
False
Does 2 divide 805/105*1*6?
True
Suppose 6*n + 6 = 18. Does 6 divide n/(-9) - 955/(-45)?
False
Suppose 12*l - 7*l = -20. Is 11 a factor of l/(2 + -3)*(-35)/(-2)?
False
Suppose -w + 0*w = 4, 2*w + 13 = q. Suppose q*s - 5*k = 260, 0 = k + 5 - 3. Is s a multiple of 16?
False
Let o(j) = 4*j**2 + 2*j - 1. Let b(q) = 11*q**2 + 5*q - 3. Let h(m) = 3*b(m) - 8*o(m). Let n be h(1). Let a = n - -12. Does 3 divide a?
False
Let c(z) = 199*z - 57. Is c(3) a multiple of 15?
True
Let n = -1755 + 3033. Is n a multiple of 38?
False
Suppose 4*c - 6 = 2*o, 5 = c + 1. Suppose -4*u + o*a = 37, 2*a - 3*a + 5 = 0. Let p = u + 62. Does 15 divide p?
False
Let j(k) = 8*k**2 - 38*k + 221. Is 23 a factor of j(9)?
False
Let g(o) = 98*o - 7. Does 11 divide g(4)?
True
Let o = -693 - -1063. Is 37 a factor of o?
True
Let n(b) = b**3 - 16*b**2 - 14*b - 7. Suppose m + 2*m + 12 = 0, -5*k + 81 = m. Is n(k) a multiple of 11?
True
Suppose -3*l = -18 + 3. Suppose 3*a - 6 = l*a. Does 15 divide (50 + a)/1 + -2?
True
Is 8/(-52) - 4200/(-91) a multiple of 19?
False
Let x(u) = -u + 10. Let z(a) = -a - 1. Let v(o) = x(o) - 2*z(o). Is v(10) a multiple of 11?
True
Suppose 4*v - 5*s = 109, 2*s + 68 = 2*v + 16. Does 7 divide v?
True
Let q(v) = -8*v**2 + 1. Let j be q(-1). Let m = 12 + j. Suppose -3*t + 5*t - 79 = 3*x, 0 = -m*t + 2*x + 181. Is 13 a factor of t?
False
Let y = 1676 - -405. Is y a multiple of 62?
False
Let r be 3*(-2 - 152/(-6)). Suppose 5*t - 15 - r = 0. Does 6 divide t?
False
Suppose d - 3*j - 268 = -j, -1333 = -5*d + 3*j. Is 19 a factor of d?
True
Let u = 1004 + -770. Is 26 a factor of u?
True
Suppose 2*z + 4*u = 0, 2*z + 0*u = 5*u + 18. Let v be z + 4/(-4) + 3. Suppose 6 = 2*a + 4, -d - 4*a = -v. Is d even?
True
Suppose -z + 5 = -3. Let d be ((-140)/z)/(-7)*-6. Is 5 a factor of ((-6)/(-1))/((-6)/d)?
True
Let n = -24 - -29. Suppose 0*l + l - 588 = -3*a, 2*l + 980 = n*a. Suppose 5*h - a = h. Does 18 divide h?
False
Let h be (2/3)/(2/12). Suppose 0 = -173*p + 166*p. Suppose p = -5*j - 3*q + 8, 7*q = h*j + 2*q - 36. Is j even?
True
Let w(p) = 3*p**2 + 4*p. Let m be w(-6). Let x = 5 - 2. Suppose -7*y + m = -x*y. Does 21 divide y?
True
Let r(g) = -6*g**2 + 13*g - 2. Let i(f) = -f**2 + f - 1. Let w(o) = 5*i(o) - r(o). Let z be w(8). Is 595/21 - (-1)/z a multiple of 14?
True
Let f(n) = 7*n**2 + 3*n - 3. Let j be f(-3). Suppose -11*h + 499 + j = 0. Does 10 divide h?
True
Let d(g) be the first derivative of g**3/3 + 3*g**2/2 - 10*g + 11. Let t be d(-5). Suppose 0 = -y + 57 - t. Does 19 divide y?
True
Suppose -2*t + 45 = t. Let v(a) = a + 35. Let j be v(17). Suppose 0 = -3*m + m - 4*r + j, t = -5*r. Does 13 divide m?
False
Let a = -1884 - -3492. Does 109 divide a?
False
Let b(w) = -w**3 - 8*w**2 + 25*w - 23. Is b(-14) a multiple of 6?
False
Let z = -93 + 113. Is 4 a factor of z?
True
Let j(m) = 13*m**2 - 9*m + 15. Let d(f) = -4*f**2 + 3*f - 5. Let t(r) = -7*d(r) - 2*j(r). Does 11 divide t(4)?
False
Let x(k) = 37*k**3 + 7*k**2 - 15*k. Is 9 a factor of x(3)?
True
Suppose 0 = -11*f - 0*f + 440. Does 4 divide f?
True
Let o(g) = -9*g + 5. Let b(n) = -n - 1. Let z(w) = -4*b(w) - 2*o(w). Does 10 divide z(3)?
True
Is ((-5)/(35/(-16534)))/7*7 a multiple of 99?
False
Let u = -673 - -1180. Does 23 divide u?
False
Suppose 6*p - 9135 = -513. Is p a multiple of 7?
False
Let k = 49 - 49. Suppose k = -q - 6*q + 1701. Is q a multiple of 27?
True
Let g(w) = -w**3 + 4*w**2 + 3*w - 3. Let x(q) = 5*q**2 + q**3 + 6*q - 2*q + 6*q**2 - 4*q**2 - 9. Let m be x(-6). Is 10 a factor of g(m)?
False
Let o(p) be the second derivative of 2/3*p**3 + 5*p - 1/2*p**2 + 0*p**4 + 0 + 1/10*p**5. Is o(3) a multiple of 16?
False
Suppose u + u = -16. Let k = u + 14. Does 4 divide k?
False
Let x be 3/2 - (2 - (-4042)/(-4)). Suppose -3*r + a + 18 = -x, 0 = -r + 2*a + 346. Is 20 a factor of r?
False
Suppose -466 = -t - 2*u, -675 = -t + 4*u - 179. Is t a multiple of 17?
True
Let w be (15/105)/((-1)/(-7)).