. Is 4 a factor of l?
True
Let v be ((-2)/(-4))/((-1)/66). Suppose -158 = -6*f + 4*f - g, 5*g + 20 = 0. Let j = v + f. Does 13 divide j?
False
Let z be (-20)/15 + (-2)/(-6). Let r be 48/15*(-4 + z). Is ((-33)/(-22))/((-6)/r) a multiple of 4?
True
Suppose 0 = -4*j + h + h + 4620, 0 = 3*h. Suppose 3*b + 4*b - j = 0. Is (2/5)/(11/b) a multiple of 6?
True
Let p = -691 + 1158. Is p a multiple of 13?
False
Let s be 610/6 + (-5)/(-15). Let g be -55 + 2/1*-1. Let v = s + g. Is v a multiple of 13?
False
Let p(y) = -y**3 - 3*y**2 - y + 1. Let c be p(-2). Does 9 divide (-2)/c*(52/8 + -2)?
True
Suppose -36*l + 6572 = -5*l. Does 21 divide l?
False
Suppose 0 = -28*a + 21*a + 16380. Is 26 a factor of a?
True
Let d = 86 - 57. Suppose d*r = 27*r + 708. Is 13 a factor of r?
False
Is 25632/34 + (-192)/(-1632) a multiple of 7?
False
Let c = -68 + 68. Suppose 8*r - 145 - 223 = c. Is r a multiple of 16?
False
Let l(f) = 13*f + 165. Is 6 a factor of l(-7)?
False
Suppose 0 = 46*j - 34*j - 504. Is 21 a factor of j?
True
Let a be (12/18 - 11/(-6))*-2. Let d(i) = i**3 + 8*i**2 + i + 7. Does 11 divide d(a)?
True
Suppose -2817 + 759 = -7*f. Does 25 divide f?
False
Does 24 divide 10 + (-10588)/(-16) + (-1)/(-4)?
True
Is 32 a factor of (0/(-3) + -265)*-1?
False
Let b be 246 - -5 - (-2)/(-1). Suppose 2*z + 50 = 3*z + c, 4*c - b = -5*z. Is 29 a factor of z?
False
Let n = 1387 - 1248. Is n even?
False
Suppose 3*k - 15 = -0*k. Suppose 8*v = 6*v - 4*o + 32, k*v + o - 80 = 0. Is 2 a factor of v?
True
Let h(k) be the third derivative of -1/60*k**5 + 4/3*k**3 - 8*k**2 - 1/2*k**4 + 0 + 0*k. Does 19 divide h(-11)?
True
Let k = -35 + -22. Let a = k + 81. Is 24 a factor of a?
True
Let d(q) = q**3 + 3*q**2 - 2*q + 1. Let m be d(-3). Let x = 11 - m. Is x a multiple of 4?
True
Suppose h = -2*h + 27. Does 13 divide h/6*-2 - -97?
False
Let d(c) = -c**3 - 2*c - 16. Does 58 divide d(-7)?
False
Let x be 186/(-10) - (-14)/(-35). Let a be -250*(36/8 - 4). Let v = x - a. Does 20 divide v?
False
Let z(s) = 7*s + 9. Let f be z(-6). Let q = f + 71. Suppose 0 = -5*t + 2 + q. Is t a multiple of 8?
True
Let h = -949 + 1411. Is 11 a factor of h?
True
Let v(s) = -4*s**2 - 13*s + 29. Let k(g) = g**2 + 4*g - 10. Let r(w) = -14*k(w) - 4*v(w). Let j be r(-6). Suppose c - j = -c. Does 14 divide c?
False
Suppose 36 = -w - 2*w. Let m = w - -20. Let j(x) = 2*x**2 - 9*x - 7. Does 26 divide j(m)?
False
Let t be 3/(-9)*3 + 1. Suppose -5*u + 4*x + 567 = t, 3*x - 207 = -2*u + 29. Is u a multiple of 17?
False
Let t(c) = -15*c. Let l be t(-3). Let a = 5 - 31. Let h = l + a. Does 19 divide h?
True
Let h be 8/(-36) + (-14)/18 + 1. Suppose 9*k + k - 1150 = h. Does 23 divide k?
True
Suppose 2 = -2*f + 5*d, -3*d - 6 + 1 = 5*f. Is f/((0 - 3)/132) a multiple of 22?
True
Let t(i) = 45*i**2 + 5*i - 8. Let k(o) = 23*o**2 + 2*o - 4. Let b(a) = 5*k(a) - 2*t(a). Is b(2) a multiple of 12?
True
Let l be (-1 + 8)*(-11)/(-77). Does 51 divide (-1588)/(-7) + l/7?
False
Let f = -150 - -445. Let u = f + -43. Is 39 a factor of u?
False
Is (80/56)/10 + (-559)/(-7) a multiple of 16?
True
Let i = 36 + -30. Does 16 divide (8/i)/(34/3723)?
False
Suppose -5*g = -10, 28*l = 23*l - g + 3302. Is l a multiple of 60?
True
Let m(b) = b + 7. Let z be m(-3). Suppose -25 + z = -u + 2*q, 3*u = 3*q + 66. Is u a multiple of 6?
False
Suppose -3*a + a = -450. Let m = a - 17. Is 30 a factor of m?
False
Let k be (17/(-3))/(6/(-18)). Let w = k + 0. Is 5 a factor of w?
False
Suppose -215*v + 5720 = -207*v. Does 55 divide v?
True
Suppose 0 = 4*l - 4*v + 3 + 1, 5 = -3*l + 2*v. Let u be (-6)/(l + 1)*111. Is (-1)/(-4) - u/(-12) a multiple of 12?
False
Let r(f) = 3*f**3 - 3*f**2 - 5*f + 3. Let p(q) = 4*q**2 + 3*q + 2. Let b be p(-1). Is 21 a factor of r(b)?
True
Let v(z) = z + 20. Let i be v(0). Suppose 26 = o - i. Suppose 0 = -2*l + 2*b + 34, o = 5*l - 3*l + 4*b. Is l a multiple of 7?
False
Let o(z) = 18*z**3 - 10*z**2 + 5*z - 12. Does 28 divide o(4)?
False
Let w be 6/60*5*(-1 + 1). Suppose 4*z - 8*z + 336 = w. Is 8 a factor of z?
False
Let v(d) be the second derivative of -d**4/12 + 4*d**3 + 49*d**2/2 + 7*d. Is 21 a factor of v(23)?
False
Suppose 0 = 2*n + 3*u + 40 - 403, u = 4*n - 719. Suppose -n = 6*q - q. Let w = q + 85. Is w a multiple of 15?
False
Let l(u) be the second derivative of -3*u**4/8 + u**3/6 + u**2 + 2*u. Let g(j) be the first derivative of l(j). Is g(-1) a multiple of 10?
True
Suppose 90*c - 82*c - 23920 = 0. Is 13 a factor of c?
True
Let d(a) = 7*a**2 + 2*a - 1. Let r = 10 + -13. Let z be d(r). Let o = z + -28. Is o a multiple of 14?
True
Let b(j) = -7 + 3*j + j - 3*j. Let x be b(7). Suppose -48 = -x*s - 2*s. Is s a multiple of 12?
True
Suppose -4*h = 5*j - 1709, -2*h - 3*j + 2*j + 847 = 0. Is 12 a factor of h?
False
Is 114*24/9 + 2 a multiple of 51?
True
Let o(b) = 27*b**2 - 25*b - 4. Is o(3) a multiple of 4?
True
Let i(l) = 9*l**2 - 8*l - 4. Let w be i(3). Suppose -3*j = -194 + w. Is j a multiple of 28?
False
Let h(p) be the second derivative of 29*p**2 - 6*p + 0 - 1/6*p**3. Is 27 a factor of h(0)?
False
Let d = 1 + 4. Suppose 0 = 4*w - 2*y + 35 - 123, -d*y - 13 = -w. Does 3 divide w?
False
Suppose -20 = 2*o + 2*o, -2*v + 3*o = -259. Suppose -190 - v = -4*h. Does 13 divide h?
True
Let u = 19 + -7. Let v = u - 7. Suppose 4*p = v*l + 106, 4*p - 2*p = -2*l + 62. Is p a multiple of 15?
False
Suppose -14 = -5*f + 46. Let l = f - 15. Is 0 + (-379 - l)/(-4) a multiple of 25?
False
Suppose n = v - 44, -4*n = 5*v - 13 - 171. Does 2 divide v?
True
Suppose -3360 = -5*x + 3*i, 5*x + 4*i - 3395 = -0*x. Does 60 divide x?
False
Let o(a) = -a + 19. Let c be o(17). Suppose -3*v = -2*k + k + 16, 3*k - c*v = 27. Is k even?
False
Let l(z) = 51*z + 5. Let u be l(-1). Let q = 106 + u. Does 4 divide q?
True
Let u(h) = h**2 - 7*h - 5. Let w be u(7). Let r = 119 - 294. Is (6/7)/(w/r) a multiple of 15?
True
Is 16 a factor of ((-1)/(-1))/(-2 + (-6312)/(-3152))?
False
Let q = -9 + -5. Is 14 a factor of 17 + (-7)/(q/(-6))?
True
Let z = -21 - -24. Suppose 2*i - 4*i + 4*f = 98, -z*i - 5*f = 191. Let b = i - -85. Does 7 divide b?
True
Let a = -14 - -18. Let u be -6 + (-2)/4*a. Does 16 divide (-6)/(-4) + (-756)/u?
True
Let m(j) be the second derivative of 3*j**4/8 - 2*j**3 + 4*j**2 + 4*j. Let x(b) be the first derivative of m(b). Is x(6) a multiple of 8?
False
Let n(g) = 11 - 16 - g**2 + 13 + 6*g. Is n(4) a multiple of 16?
True
Let n(g) = 44*g**2 + 1. Let w(c) = c**3 - 6*c**2 + 4*c + 6. Let v be w(5). Let j be n(v). Suppose 5*i - j = 130. Is i a multiple of 7?
True
Suppose 4*f - 3 + 35 = 0. Let x be (-1)/1*0/f. Suppose x*g + 6*g = 54. Does 6 divide g?
False
Suppose 26*g - 8966 = -2466. Does 7 divide g?
False
Let p be (2/(-5)*-5)/(-1). Does 21 divide p/(-9) + 3396/27?
True
Suppose -3*v - 2*a + 5322 = 0, 7*a + 8874 = 5*v + 9*a. Is v a multiple of 12?
True
Let s(l) = -l - 14. Let t be s(-14). Suppose i + 3*i = t. Suppose a + 19 - 69 = i. Is 28 a factor of a?
False
Let k = 58 - 7. Suppose 3*c - 5*m - 90 = 0, -3*c - 3*m + 63 + k = 0. Is c a multiple of 6?
False
Let o be (5*(-1)/(-3))/(13/156). Does 44 divide (-3)/15 + 3804/o?
False
Is ((-2)/6)/((-2)/1674) a multiple of 9?
True
Suppose 134 + 2242 = 8*i. Suppose i = -6*j + 9*j. Is j a multiple of 9?
True
Let a = 4482 + -2729. Is a a multiple of 83?
False
Let r = 282 - 150. Is 3 a factor of r?
True
Suppose 25*x + 5950 = 35*x. Is x a multiple of 23?
False
Let d(s) = -3*s**3 + 5*s**2 - s - 7. Let v(m) = -4*m**3 + 5*m**2 - 2*m - 7. Let p(x) = -5*d(x) + 4*v(x). Is 4 a factor of p(-5)?
False
Does 8 divide ((-380)/(-7) - 0)/(171/1197)?
False
Let j(s) be the second derivative of -3*s**3/2 + 19*s**2/2 + s. Let t be j(6). Let h = 5 - t. Is 7 a factor of h?
False
Suppose -o = 5*q + 26, o - 3*o = 2*q + 44. Let t = -28 + 26. Is 14 a factor of ((-51)/t)/(o/(-28))?
False
Suppose 95*s - 91*s = 1176. Is 14 a factor of s?
True
Suppose -2*n - h = -1019, -n - 5*h + 1525 = 2*n. Suppose 3*x - n = -3*v, -1190 = -5*x - 3*v - 348. Is x a multiple of 31?
False
Suppose -325 = -373*h + 368*h. Is 13 a factor of h?
True
Let s(b) = -7*b + 11. Let y(l) = 1. Let g(v) = s(v) - 3*y(v). Is 9 a factor of g(-10)?
False
Let j be (8/(-10))/(1/(15/(-6))). Suppose 3*p = -6*n + j*n + 515, 0 = 4*p + 2*n - 670. Does 33 divide p?
True
Let b be (-5 + -1)*2/(-4). Suppose -b*m = 