le of 18?
False
Let s be 1/(3 - 780/261). Let l(g) = 3*g - 14. Let h be l(6). Suppose 0 = -h*n, -s = -5*c - n + 453. Is 27 a factor of c?
True
Does 7 divide 3696/(-32)*4/(-3)?
True
Let l = -48 - -44. Does 18 divide l - (-935)/10 - (-1)/2?
True
Suppose -4*w - 105 = -161. Let n = 48 + w. Does 10 divide n?
False
Let a = 23 + -15. Let z(c) = -c**3 + 10*c**2 - 4*c - 3. Let o be z(a). Let v = -46 + o. Does 17 divide v?
False
Let v = -17 + 17. Suppose 0*s + 5*s = v. Suppose 8*q - 3*q - 285 = s. Is q a multiple of 20?
False
Suppose -439 = -5*j + 306. Let r = 309 - j. Is r a multiple of 20?
True
Let a(l) = l**3 - 6*l**2 + 3*l + 8. Let s(k) = 8*k**2 + 2*k**3 - 2*k - 3*k - 3*k**3 - 8 + 0. Let t be s(7). Is a(t) a multiple of 20?
False
Let q(m) = -6*m + 0*m + 10 + 0*m - 3*m + 3*m**2. Is q(5) a multiple of 40?
True
Let w = -226 + 261. Is w a multiple of 14?
False
Suppose 0 = -4*o + 20 - 124. Let s = 19 - o. Suppose -v = i - 51, -i + s = v + 2*i. Is 18 a factor of v?
True
Let i be -6*(-2)/(-16)*-20. Suppose 0 = g - i - 1. Does 4 divide g?
True
Let m(c) = -c**2 + 22*c - 18. Let f be m(21). Suppose 933 = 3*w - 3*z, w + 4*z - 110 = 221. Suppose 2*g - w = -f*g. Is 21 a factor of g?
True
Let s be (-2)/(-6) + (-880)/(-24). Let f = 5 - s. Does 20 divide ((-47)/(-4))/((-4)/f)?
False
Suppose 2*b + 19 + 11 = 0. Does 15 divide ((-24)/10)/(b/200)?
False
Let l(b) = 2*b + 8. Let m be l(-8). Does 23 divide 666/4 - 1*4/m?
False
Suppose 12*p = 18*p - 648. Is 11 a factor of p?
False
Suppose -k + 2*i + 8 = -2*i, k + 3*i = 43. Let f = k - -94. Is f a multiple of 6?
False
Let b(h) = -71*h - 3. Let c be b(-4). Let w = c - 173. Does 18 divide w?
True
Let f(r) = -r + 7. Let b be f(3). Let n = 301 - 164. Suppose -b*m + n = 45. Is 9 a factor of m?
False
Let n(p) = 28*p - 2. Let z be n(-1). Does 5 divide (4 + -7)/(9/z)?
True
Let u(f) = 37*f + 7. Let y be u(5). Is 26 a factor of (10/(-15))/((-1)/y)?
False
Suppose -5*o = -o. Suppose o = -3*n + 76 + 404. Suppose 0 = 3*v - 5*d - n, 0*v - 190 = -4*v + 2*d. Does 15 divide v?
True
Let k = 468 - 449. Does 2 divide k?
False
Let q = 2 + 8. Let d = q + -11. Does 20 divide (d + 0 - -3)*10?
True
Let t(i) = -5*i + 110. Is t(5) a multiple of 5?
True
Let r = -5 + 9. Let u(d) = -d**2 + 5*d - 3. Let t be u(r). Is 9 a factor of -2*(t + 1 + -20)?
True
Let j be (-4)/(-6) - 26/(-6). Let l = -1134 - -1137. Suppose -l*h - 40 = -j*h. Does 8 divide h?
False
Suppose 0 = 3*m - j - 46, 3*m + 6*j - 3*j = 30. Does 5 divide 6/m - 3630/(-105)?
True
Let n be (3 + (-2 - -1))/(8/12). Let w be -15*((-9)/15)/1. Suppose -4*p + n*l = -w, 0*l = -l + 1. Is p a multiple of 3?
True
Suppose -5*k = -1123 - 4772. Is k a multiple of 16?
False
Let d(z) = -2*z + 6. Let v be d(4). Let i = v + 38. Suppose p + i = 3*p. Does 9 divide p?
True
Suppose -2*j = -4*l - 4 - 0, 5*l + j - 9 = 0. Let n(a) = 4*a. Let k be n(l). Suppose 0 = -3*q - 3*s, 2*s = k*q - q - 25. Is 5 a factor of q?
True
Does 32 divide (-1 - -10 - 7)/((-4)/(-974))?
False
Let g = -8064 - -13948. Does 107 divide g?
False
Suppose 0 = -5*r - 2*h - 12, -2*r - 3*r = -5*h + 40. Does 5 divide (-34*r/32)/(3/72)?
False
Suppose 3*s - 1683 - 252 = 0. Is 5 a factor of s?
True
Suppose -4352 - 3924 = -4*r. Is 22 a factor of r?
False
Let b(p) = p**3 - 8*p**2 + 7*p + 2. Let o be b(7). Let v(m) = 10*m**3 + 3*m**2 + 3*m - 2. Is v(o) a multiple of 29?
False
Let a = -3691 + 5391. Does 41 divide a?
False
Suppose 514*r - 519*r - 199 = -m, 4*m - 871 = 5*r. Is 4 a factor of m?
True
Let n(z) = -2*z - 47. Let h(u) = -2*u - 46. Let d(v) = -3*h(v) + 2*n(v). Is d(18) a multiple of 10?
True
Let g(w) = 2*w**2 + 9*w + 1. Let l = -1 - 5. Is 7 a factor of g(l)?
False
Let k be 2/(-2 + 3) - (-5 - 145). Suppose 0 = 4*d - k. Is d a multiple of 19?
True
Suppose -u + 4 = -0. Suppose u*i = 3*f + 497, 2*i = 7*i - f - 635. Does 33 divide i?
False
Let b(i) = 7*i - 12. Let f(y) = -13*y + 24. Let t(k) = -5*b(k) - 2*f(k). Let a(w) = w**3 - 9*w**2 - 15*w + 43. Let z be a(10). Is 25 a factor of t(z)?
True
Suppose 2*r = -2*r + 12, -3*l + 3*r + 120 = 0. Suppose 29 = u - m - l, -2*u + 109 = 5*m. Does 15 divide u?
False
Suppose 3*l - 5 = -5. Let m(i) = -9*i + 237. Is m(l) a multiple of 13?
False
Let a = -134 - -138. Suppose c - a*c + 5*h = -180, c + 4*h = 60. Is c a multiple of 20?
True
Suppose 270*u = 267*u + 1848. Does 22 divide u?
True
Let v be ((-5)/3 + 1)/((-13)/624). Suppose -3*l - v + 704 = 0. Is l a multiple of 12?
False
Let x = 291 + -110. Let a = 2 + x. Is a a multiple of 42?
False
Let v be (28/42)/((-2)/12*1). Let h(y) = -2*y**3 + 5*y**2 + 7*y + 8. Is 47 a factor of h(v)?
True
Let y(h) be the second derivative of h**4/12 + 4*h**3/3 - h**2/2 - h. Is 19 a factor of y(4)?
False
Suppose 0 = 2*x - 5*p + 5 + 15, p = 4*x + 4. Let b(v) = -v**2 - 30. Let t be b(x). Is 5 a factor of (t/12)/((-2)/4)?
True
Let l(f) = -4*f - 15. Suppose 0 = 2*n - 1 + 15. Let o be l(n). Suppose w - 7 - o = 0. Is 5 a factor of w?
True
Suppose 0 = -5*i - 5*n + 270, -i + 4*n = -0*n - 29. Let h = 87 - i. Is 10 a factor of h?
False
Suppose 0 = -5*i + 2*n - 13, -5*i + 3*n - 9 = 2*n. Let k be -1*(-44 + (i - 2)). Suppose -y + 9 = -k. Is 14 a factor of y?
True
Let j = 2617 + -1351. Is j a multiple of 3?
True
Let y = 1370 - 1150. Does 26 divide y?
False
Let n(g) = 54*g**2 - 7*g - 1. Let y be n(5). Is 10 a factor of (-4)/10 + y/10?
False
Let n(s) be the first derivative of s**4/8 + 4*s**3 - 6*s**2 - 2. Let c(p) be the second derivative of n(p). Is c(16) a multiple of 18?
True
Suppose 0 = 2*f - 5 - 101. Suppose m + c - f = -m, 3*m - 75 = -3*c. Is m a multiple of 28?
True
Let t be (-23)/(-7) + -3 + 4/(-14). Suppose -n - 4*i + 110 = 2*n, 3*i - 15 = t. Is n a multiple of 7?
False
Let h = 598 - 562. Is h a multiple of 8?
False
Let t = 51 + -88. Let r = t + 42. Let g = 29 - r. Is g a multiple of 6?
True
Let z(v) = -7*v**2 - 31*v + 18. Let t(i) = 4*i**2 + 16*i - 9. Let n(o) = 5*t(o) + 3*z(o). Let a be n(-12). Let y = a - -33. Does 9 divide y?
True
Let h(f) be the third derivative of f**6/60 - 2*f**5/15 + f**4/3 - 7*f**3/3 - f**2 - 34*f. Does 4 divide h(5)?
True
Let x = -3 + 5. Suppose 0 = 7*u - u - 30. Suppose 201 = u*l - x*l. Does 28 divide l?
False
Let w be ((-4)/6)/((-4)/18). Suppose u = w*j + 4*u - 69, 2*j - 41 = -u. Suppose -3*m + 96 = -j. Is 15 a factor of m?
False
Suppose -3*a - 2*g + 5170 = 0, 1355 = -5*a + 2*g + 9945. Is a a multiple of 8?
True
Suppose 5394 = -17*x + 15594. Is 16 a factor of x?
False
Suppose 58*n = 74*n - 6080. Is n a multiple of 38?
True
Let i(q) = 4*q**3 + 3*q**2 - 2*q + 2. Suppose -5*m - u - 100 = -6*u, 4*u - 40 = 2*m. Let k be (m/(-15))/((-2)/(-3)). Is 12 a factor of i(k)?
False
Suppose 2*v = -5*g + 3*v + 379, 2*g + v = 153. Is 3 a factor of g?
False
Let q be (-2 - (-47 + 0)) + 0. Let t = q + -19. Does 11 divide t?
False
Suppose i = 16 - 51. Let d = i - -59. Let f = d + -17. Is f a multiple of 7?
True
Let p(r) = -r**3 - 11*r**2. Let j(l) = l**2 + 1. Let g(y) = -2*j(y) - p(y). Is g(-7) a multiple of 12?
True
Suppose -3*y = -3*l - l - 17, -2*y + 3*l + 12 = 0. Suppose -540 = -9*w + y*w. Is w a multiple of 18?
True
Suppose -2*l + 3*l = -3*k, 2*l - 9 = 3*k. Let b be (-2)/l + (-2200)/(-33). Let t = -42 + b. Is 8 a factor of t?
True
Let l = -26 - -25. Let n be (-11)/5*(l - 4). Let q = 34 - n. Is 10 a factor of q?
False
Let d be -45 + 2/4*-6. Let s = 165 + d. Is s a multiple of 12?
False
Let c(v) = 7*v**2 + 10*v - 18. Let z(d) = -8*d**2 - 9*d + 17. Let t(w) = 3*c(w) + 2*z(w). Is t(8) a multiple of 44?
True
Let i(a) = 6. Let r(l) = -l - 1. Let q(x) = -i(x) + 6*r(x). Does 4 divide q(-3)?
False
Suppose -17*g = n - 15*g - 402, -g = -5*n + 1955. Is n a multiple of 14?
True
Let n be (3 - (-42)/(-18))/(3/9). Suppose -k = -5*u - 56, -78 = -n*k - 2*u + 22. Does 24 divide k?
False
Let v be (0 - (-6)/3) + (-56)/(-8). Let d be -18*(-2)/(-4)*-1. Let t = d + v. Is t a multiple of 18?
True
Let r(s) = 44*s - 284. Is r(11) a multiple of 6?
False
Suppose -o = 4, -2*v + 2*o + 5 + 111 = 0. Is v a multiple of 18?
True
Let d = 47 - 3. Suppose 0 = -2*m + d + 6. Does 25 divide m?
True
Let u = 2463 - 1785. Is u a multiple of 5?
False
Let h be (-9 - 1)*1/2. Let s(v) = 33*v**2 - 8*v + 6. Let q(g) = -22*g**2 + 5*g - 4. Let p(l) = h*s(l) - 8*q(l). Is p(2) a multiple of 16?
False
Suppose 7*a - 4*a = 15. Suppose -g -