))/((-1)/(-115))?
False
Suppose 20*c - 12378 = -3258. Is 19 a factor of c?
True
Let l(n) = 17*n**2 - 5*n + 23. Is l(-6) a multiple of 19?
True
Let r = -79 + -316. Let b = r + 559. Suppose -44 = 3*f - b. Does 20 divide f?
True
Suppose -441 = 6*s - 1845. Does 6 divide s?
True
Let p(n) = 88*n + 92. Is 14 a factor of p(24)?
False
Let u = -22 - -18. Let w be 87768/42 + u/(-14). Does 23 divide w/90 + 2/(-9)?
True
Let b = 249 - 189. Does 6 divide b?
True
Suppose 0 = -4*x + 2*a - 6*a + 20, -5*x - 2*a + 40 = 0. Let m(t) = 2*t**2 - 13*t + 7. Is m(x) a multiple of 11?
True
Suppose -12 = 4*o, -3*v - 1479 = -6*v - 5*o. Is 13 a factor of v?
False
Is (-24)/(-60) - (-5640)/25 a multiple of 27?
False
Let o(y) = 4*y**3 - 21*y**2 - 11*y - 15. Let g(m) = -9*m**3 + 42*m**2 + 23*m + 30. Let u(j) = -6*g(j) - 13*o(j). Is 13 a factor of u(-10)?
True
Let y(r) = 5*r**2 - 21*r + 21. Is y(10) a multiple of 4?
False
Suppose -19 - 61 = -5*r. Let g = r - 24. Is (-2)/(g/4) - -52 a multiple of 17?
False
Suppose 6 = 3*x, g = 3*x + x - 9. Does 24 divide g*(3 - (0 - -1)*143)?
False
Let v(d) = 4*d**2 - d - 44. Does 16 divide v(7)?
False
Let r(d) = -2*d - 26. Let c be r(-14). Suppose -4*n = -3*i + 96, c*i + 3*n - 39 - 25 = 0. Is i a multiple of 16?
True
Let l = -31 + 33. Suppose 5*w - 327 = -l*m, 3*w - 828 = -5*m + w. Does 21 divide m?
False
Suppose -5*u - 5*a = 5, -2*u + 4*a = -3*u + 8. Is ((-124)/8 - -2)*u a multiple of 13?
False
Is 15 a factor of (-606)/(-2) - 24/(-40)*-5?
True
Let j(v) = v**2 - 8*v - 10. Suppose -2*n - n = 3*i - 18, -i = -3. Let g be n/6*18 - -2. Is j(g) a multiple of 4?
False
Let t(y) be the second derivative of y**4/6 + y**3/6 - 7*y**2/2 + 5*y. Let a be t(-3). Let q(j) = -j**3 + 9*j**2 - 3*j - 4. Does 12 divide q(a)?
True
Let d = 2613 - 1787. Is 26 a factor of d?
False
Let o(t) be the second derivative of t**5/20 + 5*t**4/6 - 3*t**3/2 + 5*t**2/2 + 5*t. Does 22 divide o(-10)?
False
Let c(d) = d**3 + 6*d**2 + 5*d. Let w be c(-5). Suppose -3*u + 17 + 1 = w. Does 10 divide (12/(-5))/(u/(-120))?
False
Suppose 7*f = 5*f + 320. Let m = f + -96. Is 16 a factor of m?
True
Let b be (-1 - (-712)/14) + 5/35. Let m = 110 - b. Is m a multiple of 30?
True
Suppose -27*g - 360 = -33*g. Does 4 divide g?
True
Let i(q) = -8*q**3 - q + 2. Let j(f) = 9*f**3 + f - 2. Let k(c) = -6*i(c) - 5*j(c). Let s be k(1). Does 28 divide 36 - ((-8)/s - -3)?
False
Let f(l) = -215*l + 125. Is f(-3) a multiple of 5?
True
Let r = 130 - 73. Let a be -2*2/4 - r. Is 14 a factor of -3 - (0 + a)/2?
False
Let w = -58 - -82. Suppose 0 = 5*o - 3*t - 130, w = -5*o + t + 154. Does 6 divide o?
False
Let d = 130 - 127. Suppose -257 = -d*y - 32. Is y a multiple of 25?
True
Suppose -110 = -8*w - 1462. Let v = -159 - w. Does 5 divide v?
True
Let v(d) = 122*d**3 + 2*d - 2. Does 11 divide v(1)?
False
Suppose d = 41 - 72. Let c = 39 - d. Does 5 divide c?
True
Suppose -l - 2*f - 3*f = -13, 2*l + 22 = 2*f. Let u be ((-14)/(-49))/((-1)/l). Is u - 5/(5/(-32)) a multiple of 9?
False
Suppose 2*i - 4*q + 409 = 3*i, 3*q + 1152 = 3*i. Suppose 3*d + 3*v - 279 - 303 = 0, -2*d - v + i = 0. Is d a multiple of 15?
True
Let m(n) = -5*n + n + 11*n - 5*n - 4. Let v be m(4). Suppose -v*g + 2*o = -62, -3*o = -2*o - 1. Is g a multiple of 16?
True
Let f = 4214 - 1230. Does 18 divide f?
False
Let x = -26 + 716. Is 10 a factor of x?
True
Let n = 770 - 440. Is 22 a factor of n?
True
Suppose 4*x = -16 + 48. Suppose -3*b - 11 = -4*y - 4*b, y - 5*b - x = 0. Suppose 5*w + 2*j = 298, 2*w + y - 122 = -j. Is 10 a factor of w?
True
Let y = -133 - -592. Is y a multiple of 27?
True
Let i be (-1)/(38/(-18) - -2). Suppose -i + 1 = -2*z. Suppose -2*k = -z*a + 110, 0*a + 5*a - 2*k - 137 = 0. Is a a multiple of 9?
True
Let p(l) be the first derivative of -l**3/3 - l**2/2 + 2*l - 5. Let y be p(0). Is y/3*135/2 a multiple of 15?
True
Let o(s) = 12*s**2 - 7*s + 8. Let g be o(6). Suppose -3*z = 5*v + 2707, 2*z = -v - g - 149. Is (-1)/2 - v/14 a multiple of 29?
False
Let y be (2/3)/((-4)/(-54)). Suppose 0 = -y*q + 4*q + 45. Suppose -70 = -q*u + 4*u. Is 3 a factor of u?
False
Let b = 1338 + -1132. Is b a multiple of 55?
False
Suppose 13597 = 24*v - 6659. Does 12 divide v?
False
Suppose -y + c = -293, 4*c = 5*y - 331 - 1137. Does 11 divide y?
False
Suppose 2*a + o - 1459 + 523 = 0, o = 2*a - 932. Is a a multiple of 24?
False
Suppose 3068 = 4*h - 4*y, -3*h + 4*y = -0*h - 2304. Does 62 divide h?
False
Let m be 2/11 - 40/(-22). Suppose -2*y + 19 = 3*g + 2*y, -2*g = m*y - 10. Does 5 divide -1 + -1 - -13 - g?
True
Suppose 0 = -3*h - 254 + 926. Does 14 divide h?
True
Let a(b) = -8*b**2 - 1. Let c be 4/6 + 1/3. Let q be a(c). Let g = 36 - q. Is 9 a factor of g?
True
Let r = -18 - -8. Let h(f) = f**2 + 2*f - 67. Is 13 a factor of h(r)?
True
Let q(j) = -j - 11. Let o be q(6). Let w = 54 + o. Suppose 19 + w = y. Is 18 a factor of y?
False
Suppose 17*f - 18717 - 2924 = 0. Is f a multiple of 54?
False
Let j be 230/5*(-3)/6. Let c = 29 + j. Is 2 a factor of c?
True
Let n be 49 - (-4)/(-6)*3. Suppose -4*i = n + 45. Let q = -12 - i. Does 9 divide q?
False
Suppose -15644 = -12*p - 2732. Does 35 divide p?
False
Let c = 6 - 15. Let o be ((-66)/(-12))/((-3)/54). Let t = c - o. Is t a multiple of 18?
True
Let p be (-21)/((-6)/(-9) + -1). Suppose 0 = -2*i + 5*g + p, -3*i + 78 = -3*g + g. Is 12 a factor of i?
True
Suppose -5*h - 15 = 0, -3*n - 54 = -h + 3*h. Let z = n + 22. Suppose -94 = z*r - 7*r. Is 26 a factor of r?
False
Let i(n) = 6*n - 29. Is 13 a factor of i(7)?
True
Suppose 935 = -87*g + 32255. Does 18 divide g?
True
Suppose 85 = -6*n + n. Let z(p) = -p**2 - 20*p + 12. Does 12 divide z(n)?
False
Suppose -17*s = -4*s - 15639. Does 17 divide s?
False
Suppose 2 + 6 = 4*z. Suppose 5*a = -3*i + 6, 0 + 10 = 5*i + z*a. Is 6 a factor of (-2 - 0)/(i/(-12))?
True
Suppose 150*i - 162*i + 2664 = 0. Is 37 a factor of i?
True
Suppose -6 = -4*x + 2. Let s(d) = 4*d**2 + 4 - 5*d**2 - 5*d + x*d**2. Does 5 divide s(6)?
True
Let t = -63 - -813. Suppose 246 = -9*a + t. Does 8 divide a?
True
Let c = 1051 - 421. Does 7 divide c?
True
Let j(o) = -o**3 + 23*o**2 + 3*o + 22. Let y(u) = -4*u**3 - u**2 + 4*u + 3. Let n be y(-2). Does 24 divide j(n)?
False
Let o(k) = -2*k - 1. Let j be o(-2). Suppose 935 = j*d + 2*d. Suppose -27 + d = 4*m. Is 8 a factor of m?
True
Let v(g) be the second derivative of 0 + 7/6*g**3 + 2*g**2 + 2*g. Is v(4) a multiple of 12?
False
Suppose -3*a + 23 = -46. Let l = a + -53. Let u = 74 + l. Does 7 divide u?
False
Suppose 2*a - 24000 = -23*a. Does 64 divide a?
True
Let b(p) = 2*p**2 + 2*p - 2. Let z be b(-2). Suppose 6*t - 68 = z*t. Suppose w - 65 = j - t, -2*w + 87 = j. Is w a multiple of 15?
True
Let r be 9/((-54)/12)*(-1 + 2). Does 10 divide -28*(r/(-3) + (-95)/30)?
True
Let n be (-2*1)/((-22)/(-825)*-5). Let a = 118 - 38. Suppose n*s - 10*s - a = 0. Does 16 divide s?
True
Suppose 419*y - 600 = 407*y. Is y a multiple of 50?
True
Let q(r) = r + 6. Let t be q(-3). Suppose -b + 6 = -t*b, 2*u + 2*b - 34 = 0. Let n = u - 10. Is 2 a factor of n?
True
Does 29 divide -7 - -68*(-11 + 12)?
False
Let v be (-7 - -11) + (-2 - -1). Let s be v/(-6)*(33 - -1). Let i = 27 + s. Is 9 a factor of i?
False
Suppose -4*b + 43 = -29. Is 2 a factor of b/6 - (-8)/2?
False
Let b(r) be the second derivative of r**4/12 - r**3/6 - 13*r**2/2 - 14*r. Is b(-5) a multiple of 5?
False
Suppose -3*g = -2*g + 64. Let h be 12/8*(-268)/3. Let s = g - h. Is s a multiple of 14?
True
Let x(w) = -3*w**2 - 3*w + 2. Let s be 3 + 1/(2/(-12)). Let c be x(s). Let l = 20 + c. Does 2 divide l?
True
Is 6 a factor of (51/(-5))/((-12)/240)?
True
Let n(b) = b**2 - 11*b - 58. Let c be n(15). Suppose 4*x - 134 = c*l, -115 = -3*x + l - 16. Does 2 divide x?
True
Let b(l) = 2*l**2 - 6*l + 13. Suppose -2*p + 3 = -3. Suppose 0*t + p*t + 4*s = 22, 10 = t + 4*s. Is 26 a factor of b(t)?
False
Suppose 2*y = -l + 4 - 0, 3*y - 2*l = -8. Suppose 5*p - r - 65 + 21 = y, 0 = p - 3*r - 6. Does 3 divide p?
True
Suppose 4*z = j + 554, -j = -2*z - 3*j + 272. Let d = -100 + z. Is 4 a factor of d?
False
Let x = 15 + -10. Let t = x - 9. Let u(j) = j**3 + 7*j**2 + 6*j + 6. Does 7 divide u(t)?
False
Let i(l) = -83*l + 181. Does 35 divide i(-13)?
True
Let c(f) = f**3 - 8*f**2 + 3*f - 10. Let y be c(8). Let n = 24 - y. Is -45*((-34)/n + 3) a multiple 