s c(-1) a multiple of 96?
False
Suppose 0 = 4*n - 5*i - 3765, -182 + 3020 = 3*n + i. Is n a multiple of 27?
True
Let x(h) = 1814*h**2 - 70*h - 71. Is x(-1) a multiple of 50?
False
Let g = 0 + 2. Suppose g*z - 6*z = -8. Suppose -5*d + z*d = -162. Is d a multiple of 18?
True
Let v = 23 - 19. Suppose v*b + 5*s - 229 = 0, 5*b - 3*s = 93 + 184. Does 33 divide b?
False
Suppose 2*b - 2148 = 5*w, -4270 = -4*b + 19*w - 22*w. Is b a multiple of 33?
False
Suppose 7*t - 15*t + 1384 = 0. Suppose -4*i + 695 = -3*b, 0*i = -i + b + t. Is 56 a factor of i?
False
Let g(p) = 50*p + 770. Is 10 a factor of g(31)?
True
Let a = -57 - -7. Let n = 116 + a. Is n a multiple of 11?
True
Let l = 9 + -7. Suppose l*i = 10 + 60. Does 12 divide ((-20)/(-25))/(1/i)?
False
Let s be ((-33)/5)/((-3)/15). Suppose 30*r = s*r - 360. Does 60 divide r?
True
Let p be (-1 - 0)*(0 + -5). Let n be (p/(-3))/(1/(-3)). Is 28 a factor of 63/n*20/3?
True
Let p be (-15 - -3)*2/2. Let o(d) = -d**2 - 12*d + 25. Is o(p) a multiple of 5?
True
Let z = -12 + 12. Let q = z + 2. Let g = 5 + q. Does 2 divide g?
False
Let z be -15*((-8)/6)/(-1). Let h be (-2 - 0)*z/8. Suppose 3*j + 4*r = 97, 2*r = -h*j + 189 - 4. Does 6 divide j?
False
Let v(l) = -17*l + 7. Let i(p) = -9*p + 3. Let f(c) = 11*i(c) - 6*v(c). Let d be f(-6). Let z = -24 - d. Is 3 a factor of z?
True
Suppose -1322 = -6*w + 148. Is 35 a factor of w?
True
Let o(u) = 11*u**2 + 54*u - 4. Is 18 a factor of o(-8)?
False
Let q = 29 + -15. Let m be (-24)/(-18) + -1 + 50/(-6). Let r = q - m. Does 8 divide r?
False
Suppose -s + 5*x = -71, s + s - 5*x - 167 = 0. Let l = 168 - s. Suppose -3*d = -d - l. Does 12 divide d?
True
Let h(o) = 3*o + 14. Let k be h(2). Suppose 2*g + 900 = k*g. Is 15 a factor of g?
False
Let l(f) = -17*f + 6. Suppose -9*k + 3 = -10*k. Does 19 divide l(k)?
True
Let j(t) = -3*t**3 - t**2 - 3*t - 2. Let o be j(-1). Let r be -10*o/(-6)*1. Suppose -r*z = -z - 140. Is z a multiple of 12?
False
Let b(f) = -f**2 + 4*f - 6. Let u be b(-5). Let k = u - -80. Let g = k + -24. Does 4 divide g?
False
Let i = 87 + -78. Suppose -i*p = -4*p - 520. Is p a multiple of 10?
False
Let z(q) = q**3 + 10*q**2 + 2*q - 28. Let l = 40 + -48. Does 14 divide z(l)?
True
Suppose 0 = 5*i - 3*a - 931 - 336, 0 = 2*i - 5*a - 503. Does 12 divide i?
False
Suppose 0 = 48*p - 41744 - 25024. Is p a multiple of 64?
False
Let p be -2 - 1 - -4 - 0. Let r(j) = 67*j**3 + j**2 - 2*j. Does 11 divide r(p)?
True
Let z(g) = -g - 3. Let j be z(-5). Let b(a) = -4*a - 4 + 9*a - 9 + j. Does 22 divide b(9)?
False
Let a = 219 + -157. Let o = a + 250. Is o a multiple of 45?
False
Does 42 divide (9 - (-101608)/91) + 8/(-14)?
False
Let d be (-21)/14*(-4)/6*5. Suppose -2*s - 154 = -n, 0 = d*n + 2*s - 0*s - 710. Is 24 a factor of n?
True
Suppose -t - 4*t - 250 = 0. Let q be ((-60)/t)/(1/(-10)). Does 14 divide -56*(-3 - 27/q)?
True
Let i(q) = q + 5. Let u be i(0). Suppose -g + 80 = 4*j, g - 4*j = -u*j + 80. Does 16 divide g?
True
Suppose 44*q - 36*q - 18808 = 0. Does 123 divide q?
False
Suppose -7*m + 210 = 3*m. Is 3 a factor of m?
True
Let f be 1 + (-11 + 2)/(-3). Suppose -3*a + i + 10 = -4*i, 3*i + 6 = 0. Suppose 64 = f*k - a*k. Is k a multiple of 7?
False
Let h = 867 - -2914. Is h a multiple of 15?
False
Suppose 5*j + 61 = 5*r + 181, -4*r = 8. Suppose -5*p + j = -4*p + 2*i, 3*p - i = 45. Is p a multiple of 6?
False
Let l(w) be the first derivative of -w**2 + 17*w + 8. Is 9 a factor of l(-9)?
False
Let q = -930 - -600. Let v = -198 - q. Is v a multiple of 17?
False
Suppose 1794 + 382 = 4*w - 2*f, 3*f + 539 = w. Is 136 a factor of w?
False
Let v be (-2)/((-2)/(-118)*-1). Let i = v + -71. Is 6 a factor of i?
False
Suppose 4*u + 149 = -3*g - 38, 2*u + 81 = g. Let d = -5 - u. Is d a multiple of 6?
False
Suppose 4*c + 3*f - 2054 = 0, -c + 128 = -f - 389. Is c a multiple of 9?
False
Let w(o) = -o**3 + 14*o**2 + o - 6. Let k(b) = -b**3 + 15*b**2 + b - 5. Let y(x) = -4*k(x) + 5*w(x). Is y(8) a multiple of 21?
True
Let s(z) = z**3 + 7*z**2 - 15*z - 32. Is s(-8) a multiple of 4?
True
Suppose -7*g = -2*q - 5*g + 2610, 0 = 4*q + 5*g - 5220. Is q a multiple of 15?
True
Let n = 1413 + -274. Does 62 divide n?
False
Suppose p + 15 = 5*x, -p = -3*x + 2*p + 21. Suppose 4 = -i - 2*k + 2, 4*i + 2 = -x*k. Suppose -b - 3*b + 20 = i. Is 3 a factor of b?
False
Let j = -596 - -1408. Does 4 divide j?
True
Suppose 12*q - 15*q - 5*b = -2510, 2*b = -2*q + 1680. Does 3 divide q?
False
Let g(k) be the third derivative of k**4/4 - k**3/3 - 16*k**2 - 5. Let x(d) = -4*d - 3. Let q be x(-2). Is g(q) a multiple of 14?
True
Let h(i) = -3*i**2 + 2. Let c be h(-3). Does 4 divide (5/(c/370))/(2*-1)?
False
Let x = 27 - 28. Let a be -1 - (2 + -1 - 10). Let t = a + x. Is t a multiple of 5?
False
Suppose y = 5*q + 469, 2*q + 1534 - 153 = 3*y. Does 61 divide y?
False
Suppose p - 44 = 37*z - 33*z, 3*z - 119 = -4*p. Is 16 a factor of p?
True
Is 13 a factor of (273/(-14))/((-9)/192)?
True
Suppose 24*q - 7905 = -7*q. Is 17 a factor of q?
True
Let c = -37 + 42. Suppose 4*u + 30 = c*u. Let g = u + -17. Is 13 a factor of g?
True
Let l = 66 + -75. Does 3 divide (-2 + 42/l)*-6?
False
Suppose 0 = -18*s + 15*s + 3. Is 128/(((-2)/(-8))/s*2) a multiple of 54?
False
Let c = -511 - -1311. Does 40 divide c?
True
Let u(o) = -o**3 - 6*o**2 - 5*o. Let j be u(-5). Suppose 0 = -3*c - 0*c, j = -d + 3*c + 6. Is 16 a factor of (2 - d)/((-1)/4)?
True
Let g(t) = t**3 - t - 1. Let x(r) = -5*r**3 - 2*r**2 + 4*r + 3. Let h(f) = 3*g(f) + x(f). Let j be h(1). Is (120/18)/((-1)/j) a multiple of 5?
True
Let s = 55 - 43. Suppose -s*l + 180 = -10*l. Is l a multiple of 21?
False
Suppose -12*h + 16*h = 576. Let o = -67 + h. Suppose -3*i - 72 = -3*r, 3*r = 4*i - 6*i + o. Is 25 a factor of r?
True
Suppose 9*y - 183 = 6*y. Suppose -y*g - 54 = -64*g. Is g a multiple of 13?
False
Let s = 10 + -14. Let n = 1 + s. Does 14 divide n - 2/((-2)/73)?
True
Let r(z) = -12*z**2 - 3*z + 3. Let b be r(2). Let t = 120 + b. Is 14 a factor of t?
False
Let p(c) = -111*c**3 + c**2 + c + 1. Let g be p(-1). Suppose f = 8*f - g. Is f even?
True
Let b = 799 - -645. Is b a multiple of 38?
True
Let v = 5786 + -4026. Is v a multiple of 8?
True
Suppose -11*x = -15*x + 8. Let y(k) = 40*k - 2. Is 11 a factor of y(x)?
False
Let q = -23 + 39. Let b = q - 11. Suppose 2*v + 2*v - j - 51 = 0, 63 = b*v - 2*j. Does 7 divide v?
False
Suppose 18 = -u + 6. Let h = u + 12. Suppose 2*p + h = 36. Is 9 a factor of p?
True
Suppose -y + 1411 = 4*d, -609 = -2*d - 5*y + 110. Does 22 divide d?
True
Let i(v) = 67*v**2 + 3*v + 3. Let d = 3 + -4. Does 14 divide i(d)?
False
Let p(r) = -r**3 - 5*r**2 + 3*r - 5. Let f be p(-7). Suppose 4*n = -f - 28. Does 19 divide 1137/15 - 5/n?
True
Let t = 70 + -66. Suppose -5*y + t*p = -175, 2*y - 166 = -2*y - 2*p. Is 13 a factor of y?
True
Is 10 a factor of 12/78 - -734*17/13?
True
Let b(h) be the first derivative of 0*h**2 + 4 - 1/3*h**3 + 24*h. Is 12 a factor of b(0)?
True
Suppose -79*y = -55*y - 2952. Is y a multiple of 8?
False
Suppose -4 = -3*k + 8. Let o(q) = -3 + 7 + q**2 + 2*q - 5*q + k*q. Does 4 divide o(0)?
True
Let k(q) = 3*q + 4. Suppose 2 = -u - 2. Let w be k(u). Is 13/((-4)/w*2) a multiple of 8?
False
Let y(j) = -6*j - 1. Let n be y(-1). Suppose -4*b + 4*q = -32, 5*b + n*q - 11 = 19. Suppose -5*i + b = -4*i. Does 5 divide i?
False
Suppose 5*v = 4*v - 2. Let x(h) = -3*h - 1. Let l be x(v). Suppose l*a = 12 + 18. Is a a multiple of 3?
True
Let w = 8 - 11. Let p be w/((-3)/(-84)*-3). Let v = p + -24. Does 3 divide v?
False
Let y(n) = n + 7. Let q be y(4). Suppose 5*o = 2*x - 12, -2*x = -4*o - q + 1. Is o/((-148)/(-38) + -4) a multiple of 16?
False
Let j(a) = -3*a**3 - 2*a**2 + 20*a + 9. Does 46 divide j(-7)?
False
Suppose 18 = -5*s - 2*n - 18, -9 = 3*s - 3*n. Let l = 7 - s. Let g = 18 - l. Is 3 a factor of g?
False
Let t(x) = -x**2 + 111 - x**2 + x**2 + 3*x**2 + x. Is 27 a factor of t(0)?
False
Let t = 431 - 3020. Let q = t - -4335. Is q/26 + (-4)/26 a multiple of 11?
False
Suppose 0 = 9*g - 10*g + 385. Does 55 divide g?
True
Suppose -3*k + 3 = -6*k. Is 38*4/(-8)*k a multiple of 4?
False
Does 6 divide 1176 - 11/(99/(-54))?
True
Let x be ((0/1)/2)/((-14)/(-7)). Suppose -2*i = 2*i - 16, -2*h = 3*i - 14. Suppose x = w - 17 + h. Does 16 divide w?
True
Suppose r = -2*d - 20, 3