?
True
Let q be (3/(-2))/((-42)/56). Suppose -t - 2011 = -2*h, -q*h + 571 + 1420 = -5*t. Does 18 divide h?
True
Let m be ((-23)/46)/((3/4)/3). Does 31 divide (-2)/(-1) + (m - -4)*123?
True
Suppose 0 = -3*d - 4*i + 15104, -5*i - 20072 = -4*d - 2*i. Does 32 divide d?
True
Let m be ((-32)/4)/(-2 - (1 + -1)). Suppose 2*j + 2*q - 789 = 7*q, 1596 = 4*j - m*q. Does 11 divide j?
False
Let o = -607 - -647. Suppose 592 + o = 2*u. Does 15 divide u?
False
Let l(r) = -469*r - 635. Is l(-11) a multiple of 58?
True
Suppose j = 3*b - 46 + 2, 0 = j - 2*b + 42. Let u = j - -230. Is 23 a factor of u?
False
Suppose -12*w = 17*w - 58. Is 23 a factor of 2051/w + (-9)/6?
False
Let l be (5308 - 12/(12/(-2)))*4. Suppose 22*h + 274 = l. Is h a multiple of 15?
False
Suppose -5*m + 185 = -3840. Let x = 1287 - m. Is x a multiple of 66?
False
Let i(w) = 5*w - 8. Let u(g) = g**3 - 3*g**2 - 6*g + 10. Let f be u(4). Let b be i(f). Suppose -5*y = -b*l - 105, -4*l = -4*y - 17 + 89. Is 4 a factor of y?
False
Suppose 2*h + 4*b - 56 = -282, 3*b = h + 98. Let p = -68 - h. Let x = p + -10. Is 3 a factor of x?
False
Suppose 5*x + 8 = 3*x. Let a(u) = -57*u + 10. Let j be a(x). Suppose -8*q = -q - j. Is q a multiple of 21?
False
Let s(o) = 206*o - 49. Let f be s(4). Let t = f + -554. Is 11 a factor of t?
False
Suppose i - 3*u - 6346 = 0, 909*u = -5*i + 906*u + 31604. Is 13 a factor of i?
False
Suppose -19 = -2*g - 59. Is 15 a factor of (-3586)/(-99) - (g/(-9) + -2)?
False
Let k(i) = 68*i**2 + 27*i + 70. Does 10 divide k(-3)?
False
Suppose -129*h - 247915 = -20*h - 1020616. Does 8 divide h?
False
Let r = 982 + -1721. Let i = 1247 + r. Suppose 0 = -5*d + d - 4*s + i, 0 = -5*s. Does 32 divide d?
False
Let u be 3492/162 - (-8)/18. Suppose -5*l + 18*w - u*w = -2365, 0 = 4*l + 5*w - 1892. Is 25 a factor of l?
False
Let v be 5/((-5)/22) - 0. Let k = -19 - v. Is (6/15)/(k/(-30)) - -31 a multiple of 16?
False
Let j = -6 - 15. Let m(l) = -38 + 121 - l**2 - 37 - 21*l - 29. Is m(j) a multiple of 12?
False
Let d(i) = -1 - 3 - 86*i + 87*i. Let f be d(9). Let c(v) = v**2 - v + 4. Is c(f) a multiple of 5?
False
Suppose 2*h = 3*x + 14, -h - 8 = x - 0*x. Is 3*(45/x)/((-1)/2) a multiple of 22?
False
Suppose 0 = -23*l - 2*h + 197486, -2*l - h + 13120 = -4056. Is l a multiple of 7?
False
Let t = 11550 - 120. Is 7 a factor of t?
False
Suppose 8*i = 3*i - 9*i + 129990. Is 141 a factor of i?
False
Let h(k) = -k**2 - 13*k - 22. Let n be h(-4). Suppose n*v - 17*v = -1620. Is v a multiple of 20?
True
Let z(g) = -12*g - 39. Let r be z(-17). Let o = r - 99. Suppose o = 4*p - 2*p. Does 30 divide p?
False
Is (30/(-3) - (-12024)/(-2))*(-2)/1 a multiple of 80?
False
Suppose -b + 4*g = -4, -18 = -5*b + 5*g + 2. Suppose 0 = b*x - 4*q - 156, 0 = -x + 3*x - 4*q - 72. Suppose 4*j - x = -0*z - 5*z, -5*j + 34 = -3*z. Is j even?
True
Let x = 24 + -9. Let i be 2*295 - x/(30/4). Suppose 3*v + 2*u = -2*v + i, -3*v + 3*u = -336. Is v a multiple of 29?
True
Let b(s) = 5*s. Let w be b(4). Let a = -2817 + 2833. Let g = w + a. Is 6 a factor of g?
True
Let r(h) = -h**2 - 3*h + 1. Let s be r(-2). Suppose 0 = -4*a - 3*j + 3, -25*a = -24*a - 3*j + 3. Suppose -111 = -a*w - s*w. Does 11 divide w?
False
Let m(n) = n**3 + 23*n**2 + 22*n - 4. Let w be m(-22). Does 9 divide 1668/8 + -1 + 2/w?
True
Let w = 11730 - 130. Is w a multiple of 100?
True
Let o(d) be the third derivative of -d**6/120 - d**3/2 + 1674*d**2. Suppose 0 = 4*h + 2*g + 16, 4*g + g - 50 = 5*h. Does 26 divide o(h)?
False
Let j = -63 + 93. Let x be 2454/j + (0 - (-8)/(-10)). Let k = x + -5. Is k a multiple of 9?
False
Let d be (21 - 6)*3*(-1)/9. Is 5 - (-2 + 2) - (-230 + d) a multiple of 35?
False
Suppose -244*v = -480*v + 231*v + 65380. Is 82 a factor of v?
False
Let o be 12/66 - (-207)/11. Let t(v) = -v**2 - o - 20 + 8*v + 54 - 5. Does 9 divide t(7)?
False
Is (-12)/(-27) + (1106209/65)/((-18)/(-20)) a multiple of 15?
False
Suppose 914 = -4*u + 2322. Suppose -9*s = -5*m - 12*s + u, 88 = m + 5*s. Is 34 a factor of m?
True
Suppose 4*n + 5*k - 5708 = 0, 101*n - 104*n + 2*k = -4281. Is n a multiple of 3?
False
Let q(k) = k**2 - 53*k + 35392. Is q(0) a multiple of 16?
True
Is 99 a factor of 9 + (-300)/36 - (-15020)/6?
False
Let a be (-5)/5 + 5 + 9. Suppose -3*j + a = -530. Is 17 a factor of j?
False
Let l = 101364 + -57822. Suppose 10*n - 51*n + l = 0. Does 18 divide n?
True
Suppose 2*b + 2239 = m - 1729, -4*b = 4*m - 15932. Is m a multiple of 34?
True
Let a(s) = s**3 + 14*s**2 - 17*s - 1. Let h be a(-15). Let z = h - 62. Let o = z - -129. Is o a multiple of 16?
True
Let k = 83603 + -57537. Is 175 a factor of k?
False
Suppose 32*h + 3 = 31*h. Let b be (6 + -6)/(-1 - 1 - h). Is 6 a factor of (-34)/(-51)*(b - (-1 - 29))?
False
Let v be ((-1180)/(-15) - 2)*2*6. Suppose -4*x - 6*x = v. Let f = -51 - x. Is f a multiple of 6?
False
Suppose 0 = 2*i - 8, 0 = -0*z - 2*z + i. Suppose 3087 = -z*q + 9*q. Is q a multiple of 49?
True
Let o(h) be the first derivative of -4*h**5/5 - h**4/4 - h**3/3 - h**2/2 + 2*h + 3. Let j(l) be the first derivative of o(l). Does 5 divide j(-1)?
False
Let o be 2/(((-4)/6)/(2/(-3))). Let b(k) = -2*k**3 - 7*k**o - 6*k**2 - 14*k - 11 + k**3. Is b(-12) a multiple of 5?
False
Suppose 3*z = 28*a - 33*a + 151104, 3*z - 4*a = 151131. Is z a multiple of 193?
True
Suppose 7*c + 250 = 8*c - 3*c. Let j = -512 - -717. Let s = c + j. Is s a multiple of 11?
False
Let b(d) = -d**3 + 19*d**2 + 1109*d + 43. Is b(39) a multiple of 157?
True
Let o = -13125 - -18501. Is 56 a factor of o?
True
Suppose 30*o - 319 = 28*o + 5*c, 5*o = c + 763. Is o a multiple of 2?
True
Let p(v) be the first derivative of -23*v**4/4 + 5*v**3/3 - 4*v**2 - 30*v + 12. Is 19 a factor of p(-3)?
False
Suppose 0 = 11*c + 2356 + 130. Let n = -120 - c. Is n a multiple of 17?
False
Let n = 5633 - 4837. Does 8 divide n?
False
Let f(h) be the third derivative of -h**6/30 + h**5/60 - h**4/8 - 3*h**2. Let t = 25 + -27. Is 14 a factor of f(t)?
True
Let g be (-163549)/(-246) - 1/(-6). Let o = g - 354. Does 14 divide o?
False
Let b be 6*((-165)/18)/(-11). Suppose p + 21 = b*h, -p = -2*h - 0*p + 9. Suppose -i = 1, -h*i = -3*c + 90 + 94. Is c a multiple of 12?
True
Let v(q) = q**3 + 25*q + 8304. Does 12 divide v(0)?
True
Let f be 7/(28/16) - -2. Suppose -f*u - 4 = -2*u. Is ((-17 - -3) + 5)/u a multiple of 3?
True
Let w = 394 + -227. Let s = 416 + w. Is s a multiple of 13?
False
Let t(c) be the second derivative of -7*c**6/180 + c**5/30 - 5*c**4/6 + 10*c. Let b(a) be the third derivative of t(a). Is 12 a factor of b(-2)?
True
Is 2 a factor of (-25)/(4125/(-33090))*11?
True
Let r = 558 - 648. Does 10 divide r/((-4)/(0 - -4))?
True
Let s = 17 - 12. Suppose -s*n = -3*n - 24. Suppose -2*z + 91 = 5*y, -2*z + 3*y + 111 = n. Does 9 divide z?
False
Let p(u) = u**2 - 46*u + 1966. Does 27 divide p(0)?
False
Let x = -210 + 275. Suppose -5*z + x + 405 = 0. Is z a multiple of 6?
False
Let y = -52 - -50. Let q(w) = 59*w**2 + 9*w + 14. Is q(y) a multiple of 14?
False
Let p = 23396 + 11776. Does 82 divide p?
False
Let a(b) = -8*b**2 - 16*b + 34. Let x(v) = -17*v**2 - 33*v + 69. Let o(y) = 9*a(y) - 4*x(y). Let i be o(7). Let k = i + 352. Does 18 divide k?
False
Let u = 39 - 30. Suppose -h + u*h = 40. Suppose 3*x - 90 = -3*c, -94 - 68 = -h*x + c. Is x a multiple of 10?
False
Let x(l) = -98*l + 953. Is x(7) a multiple of 267?
True
Let c = 6177 - 2397. Does 54 divide c?
True
Let x be (-1)/(((9/15)/(-3))/1). Suppose -x*r + 17 = -3*t, 46 = -3*t - t - 5*r. Let m(n) = -26*n - 48. Does 31 divide m(t)?
True
Suppose 17*j - 25*j + 22*j - 368760 = 0. Is j a multiple of 14?
False
Let t = -246 + 261. Suppose -t*f = -17*f + 66. Is f a multiple of 3?
True
Does 8 divide ((-2 - 70/(-25)) + 2/10)*975?
False
Let d(m) = m**3 + 2*m**2 + 9*m + 1. Let g(v) = v - 2. Suppose -7*i + 32 = 2*l - 3*i, -4*l - i + 29 = 0. Let k be g(l). Does 17 divide d(k)?
False
Suppose -55749 + 30726 = -23*u + 74061. Is u a multiple of 6?
True
Suppose -3*q - 2*h = -54, 2*q - 4*q - 2*h + 34 = 0. Does 3 divide (-1 - 6) + (309 - q)?
True
Let d be (7 + -3 + -4)/(-2). Let a(i) = -i + 16. Let h be a(d). Suppose 3*k + k = -4*p + h, -6 = 2*k. Is 5 a factor of p?
False
Let j = -38195 - -73125. Does 220 divide j?
False
Let l = -12478 - -21228. Is l a multiple of 70?
True
Let d = 148 - 274. Do