e w?
False
Let h(p) = -p**2 - 12*p - 4. Let g be h(-12). Let w be g*((-13)/4 + 2). Does 7 divide w/(-15) + (-170)/(-6)?
True
Suppose 5*i - z + 0*z = -77, -5*i - 73 = z. Let p = i - -10. Is p/15 - (-196)/3 a multiple of 17?
False
Let y = 11 - 6. Suppose 20 = 3*m - 2*m - 4*a, 2*m = y*a + 28. Suppose 2*j + m*f = 92, 5*j + 3*f = 2*f + 221. Does 22 divide j?
True
Suppose 4*v + 3*g - 115 = 6*v, 10 = 2*g. Is (-2336)/(-30) - v/375 a multiple of 26?
True
Is (12077/(-65) - 1)*(-15)/6 even?
False
Let y(j) = 13*j + 40. Does 16 divide y(8)?
True
Is (-4)/26 - 3024/(-728) - -80 a multiple of 12?
True
Is (-65)/195*(-1 + 0 - 74) even?
False
Does 9 divide 52 + 4394 - -1*9?
True
Let h = -905 + 2471. Does 54 divide h?
True
Let z = -8 + 19. Let o = z - -38. Suppose o = -0*y + y - 5*u, -4*u + 90 = 3*y. Does 17 divide y?
True
Let q be 2*(5/(-2) - -1). Let h = q + 7. Suppose h*b + 12 = 124. Does 18 divide b?
False
Let f(i) = 16*i**3 + 15*i**3 + 21*i - 22*i. Is 6 a factor of f(1)?
True
Let h = -28 - -30. Let r be ((-42)/(-24))/(2/168). Suppose -5*j = 2*c - r, j - h*c - c = 26. Is 8 a factor of j?
False
Let m(v) = v**2 + 2*v + 36. Is m(0) a multiple of 3?
True
Let c be (0 + -1)/(5/60). Does 5 divide (-183)/(-9) + 4/c?
True
Is -3 - (-1 + 3 - 559) a multiple of 24?
False
Does 30 divide (-1)/6 + 0 + 31328/192?
False
Suppose -2*n = -2*h + 116, -4*h = -h - 5*n - 164. Let b = h + -43. Suppose 0 = 5*i - 4*i - b. Does 20 divide i?
True
Is (6 - (11 + -5 + -2542)) + -1 a multiple of 143?
False
Let t = -75 - -132. Suppose 53*n - t*n = -48. Is n a multiple of 3?
True
Suppose -3*b + 95 = 2*b. Suppose 5*y - 2*v = v + 55, -3*y - v + b = 0. Suppose -250 = k - 6*k - 5*u, 4*u - y = 0. Is k a multiple of 16?
True
Let q(c) = -c**2 - 15*c + 14. Is q(-10) a multiple of 8?
True
Let g(r) = 960*r + 48. Is 123 a factor of g(2)?
True
Suppose -2*d = 2, 2*c + 2*c + 4*d = 1724. Does 24 divide c?
True
Let f(m) = 3*m**2 - 8*m - 2. Suppose 11 - 43 = 4*p. Does 51 divide f(p)?
False
Does 17 divide 2 + 1734/10 + (-8)/20?
False
Let g(y) = y**3 - 2*y**2 - y + 1. Let c be g(2). Let q = c + -42. Let b = q - -61. Is b a multiple of 4?
False
Let k(a) be the third derivative of -a**5/60 - 19*a**4/12 - 11*a**3/2 - a**2 + 35. Does 13 divide k(-23)?
True
Let b(q) = 18*q**2 + 13*q + 4. Does 12 divide b(-2)?
False
Let i = 223 - 228. Let x(o) = -o**2 - 4*o - 5. Let n(b) = -b**2 - 4*b - 6. Let l(h) = -6*n(h) + 5*x(h). Does 14 divide l(i)?
False
Let w = 249 + -81. Suppose w = 14*u - 2*u. Does 2 divide u?
True
Let s(o) = o**3 - 14*o**2 + o - 9. Let j be s(14). Suppose -j*k - 4*q = -190, q + 2*q = k - 57. Suppose -79 = -4*b - 3*x - 23, -4*x = 3*b - k. Does 4 divide b?
False
Let n(v) = v**2 - 4*v + 3. Let q be n(4). Suppose -c - c + q*k = -54, -2*c + 4*k = -56. Suppose 2*g - 84 = c. Is 11 a factor of g?
False
Suppose 0 = -m - 3*m + 60. Let q(w) = -w**3 - 4*w**2 - 3*w - 2. Let c be q(-4). Suppose c*i + 275 = m*i. Does 8 divide i?
False
Let l = -17 + 9. Is l*(-2 + -6)/2 a multiple of 13?
False
Let n = 13 - 3. Let g be 141/2 + (-5)/n. Suppose 0 = 4*v, -v - 10 = 2*k - g. Is 15 a factor of k?
True
Let y = 525 - 345. Does 20 divide y?
True
Suppose q + 0*q = -3*r + 16, -2*r = -4*q + 8. Suppose 3*j = 3*l + 12, -4*j - l + 16 = -q*l. Suppose 2*w + 50 = j*w. Is 19 a factor of w?
False
Let i(n) = -2*n**2 + 30*n**3 + 27*n - 28*n + 3 - 5. Does 12 divide i(2)?
True
Let n = 90 - -378. Does 21 divide n?
False
Let m = -35 + 68. Let u = m + -29. Does 6 divide 58/u - (-10)/(-20)?
False
Is (-18)/(-9)*2 + 137 a multiple of 126?
False
Let h(w) = -2*w**2 + 33*w - 39. Let n(r) = -r**2 + 17*r - 20. Let j(b) = -3*h(b) + 5*n(b). Does 17 divide j(14)?
True
Let j(s) = -14*s + 27*s + 19*s - 9. Is j(3) a multiple of 35?
False
Suppose -j - 5*x + 107 + 185 = 0, -4*j + x = -1105. Is 7 a factor of j?
False
Suppose x - 37753 = -18*x. Is 11 a factor of x?
False
Let a(w) = -2 + 3 - w**2 + 1 - w - 5. Let b be a(5). Let v = b + 62. Does 6 divide v?
False
Suppose 1444 = 2*m - 2*p, 5*m + 2*p - 2627 = 983. Is 40 a factor of m?
False
Let o(u) = 21. Let y(f) = f + 1. Let j(g) = 2*o(g) - 22*y(g). Is 10 a factor of j(-7)?
False
Let s(n) = 0 - n**3 - 3 - 2*n**2 + 0*n**3 + 2*n**3. Is s(5) a multiple of 12?
True
Let i(p) = -p**2 - p + 2. Let s be i(0). Let d(x) = 0 + 0 - 5 - 7*x + s. Is 10 a factor of d(-9)?
True
Suppose -4*u = 3 - 7. Let s be ((-12)/9)/(u/42). Is 14 a factor of ((-3)/(-6))/((-2)/s)?
True
Let s(o) be the third derivative of o**5/5 + 17*o**4/24 + o**3/3 - 17*o**2. Is 41 a factor of s(-4)?
False
Suppose v + 5*n - 17 = 0, 5*n - 13 = v - 0*v. Suppose v = -2*c + 12. Suppose -5*p = -c, -r + 22 = -4*p + p. Is 5 a factor of r?
True
Suppose 1328 = 23*r + 270. Does 46 divide r?
True
Suppose -4*d + 3*t + 1853 = 0, d = 2*t - 7*t + 492. Let l = -239 + d. Let g = l - 158. Is g a multiple of 10?
True
Does 5 divide 24/(-10) + 3 + 527/5?
False
Let x = 3531 + -1269. Is x a multiple of 13?
True
Is ((-2)/(-4))/(49/58800) a multiple of 12?
True
Is (-32566)/(-24) - (-28)/336 a multiple of 59?
True
Let k be 1*5*-1*42/(-42). Suppose 0 = -k*a - 5*w + 960, 2*a + 3*w - 260 - 120 = 0. Does 49 divide a?
True
Let g = 103 - -1886. Is g a multiple of 117?
True
Is (6 + 610/3)/((-4)/(-6)) a multiple of 39?
False
Suppose -d - 9 + 13 = 0. Suppose 0*n - 5*q = -d*n + 258, -312 = -5*n + q. Is 11 a factor of n?
False
Let t(d) = 19*d + 39. Does 20 divide t(19)?
True
Does 7 divide (7/(-8 + -13))/(1/(-651))?
True
Suppose -o = -3*y + 155, -5*o - 41 = -16. Does 17 divide y?
False
Let p = -183 + 315. Suppose q + 55 = p. Is q a multiple of 12?
False
Suppose 0 = -5*d + 10, 43*r - d - 499 = 40*r. Does 60 divide r?
False
Let b be (-2854)/30 - (-20)/150. Let y = b + 161. Is y a multiple of 7?
False
Suppose -2*q + 847 = -953. Is q a multiple of 5?
True
Let g be (-611760)/(-100) - 2/(-5). Is 5 a factor of g/95 - (-4)/(-10)?
False
Suppose 4*l - 2*v - 70 = 0, -10*l + 3*v = -7*l - 60. Suppose -2*w = -l*w + 3172. Is 10 a factor of w?
False
Suppose 2*c - 5*c + 4*r = -4, 0 = 3*r - 15. Suppose -4*i + 5 = -11, -5*i + c = -k. Is 2 a factor of k?
True
Let l = -73 + 84. Is l a multiple of 3?
False
Suppose -2*d + 26 = -4*o, -2*o = -4*d - 12 + 16. Let g(k) = 3*k**2 + 9*k + 20. Does 38 divide g(o)?
False
Is 30 a factor of 0 + (-53980)/(-150) + 4/30?
True
Let d be 0 - 5/(10/(-6)). Suppose 0 = -l - d*l + 608. Suppose -6*q + 2*q + l = 0. Does 15 divide q?
False
Suppose 9*g + 12 = 13*g. Suppose 2*o + 2 = 2*z + 16, -13 = -2*o + g*z. Let k = 0 + o. Is 4 a factor of k?
True
Suppose 0*f - 69 = 3*f. Let u = 58 + f. Suppose 6*m - 5*m = u. Does 13 divide m?
False
Let a be ((-4)/5)/((-6)/(-10))*-138. Suppose -2*p + a = -224. Is p a multiple of 33?
False
Let o(u) = -u**2 + 3*u + 1. Let b be o(3). Suppose -5*y - b = -6, -5*i - 5*y = -20. Suppose 3*p = -3*g + 99, g + 103 = 3*p + i*g. Is p a multiple of 15?
False
Is 13 a factor of (-9)/(-12) - 1845/(-36)?
True
Does 30 divide (263 - 0) + -8 - 3?
False
Suppose -175 - 887 = -6*v. Suppose p - 93 = -i, -v = -5*i + 3*i - 5*p. Is i a multiple of 16?
True
Suppose -5*i - 3*c = -45 - 1527, 0 = -i + 2*c + 317. Does 3 divide i?
True
Let v(h) be the first derivative of h**7/840 - h**6/60 - h**5/24 + h**4/3 - 5*h**3/3 - 5. Let b(x) be the third derivative of v(x). Is 9 a factor of b(7)?
False
Let c(p) = p**3 - 5*p**2 - 8*p - 7. Let f = -10 - -15. Suppose l = 2 + f. Is c(l) a multiple of 13?
False
Let q = 94 - 94. Suppose q = 11*n - 5*n - 396. Is n a multiple of 11?
True
Suppose -3*m + 3*k + 0*k + 1395 = 0, 0 = 4*m - 2*k - 1858. Is 16 a factor of m?
True
Let w(b) = -b**3 - 9*b**2 + b + 7. Let h be w(-9). Let c be 3*4/(-6 - h). Let r(s) = 9*s**2 + s + 5. Does 18 divide r(c)?
False
Suppose 58 = 3*c - 2*c. Suppose -5*y = -4*x + x - c, 4*y = -2*x + 42. Let z = y + -7. Does 2 divide z?
True
Suppose -51 - 87 = 2*p. Let b = p + 110. Is b a multiple of 10?
False
Suppose -3*y = -2*k - y + 3276, -5*k - 5*y + 8180 = 0. Does 24 divide k?
False
Suppose 3*f + y - 13157 = -2*f, -3*f - 5*y = -7903. Is f a multiple of 41?
False
Let n be (-1 - -107)*3/(-6). Let v = 74 + n. Does 21 divide v?
True
Let y(u) = -u**2 + 43*u + 26. Does 17 divide y(35)?
True
Suppose 14 = -9*i - 4. Is 6 a factor of 42/3 - (11 + -3)/i?
True
Let m = -341 + 152. Let i = m + 334. Is i a multiple of 29?
True
Let s(l) = 4*l**2 + 3*l + 3. Let g 