2 divide l?
False
Let q be (-48)/(-21) + (-4)/14. Suppose q*g + 240 = 7*g. Does 24 divide g?
True
Let z be (-8)/24*(1 - 7). Suppose z*b = -5*f + 72, -5*b = -2*f - 3*f - 180. Is b a multiple of 9?
True
Let t(z) be the third derivative of z**5/60 - 11*z**4/24 + 13*z**3/6 - 5*z**2. Is 3 a factor of t(11)?
False
Suppose 3*t - 2*h = 8, t = 3*t - 3*h - 12. Suppose t = -0*y + y. Is 10*(54/15 - y) a multiple of 18?
True
Let d(y) = 5*y**2 - 7*y + 6. Is d(5) a multiple of 14?
False
Let m(w) = 6 + w**2 - 2*w + 0*w + 3*w. Suppose 4*g = g - 3, -4*q + 1 = -g. Does 6 divide m(q)?
True
Let z(v) = -9*v**3 - v**2 + v + 1. Let h be z(-1). Let m be 4/16 - (-366)/h. Let g = m + -28. Is g a multiple of 18?
True
Suppose -30 = 33*l - 35*l. Does 4 divide l?
False
Suppose o = 5*o + 8, -5*j = -3*o - 931. Suppose -4*c = c - j. Is c a multiple of 16?
False
Suppose -11*z + 817 = -514. Is 27 a factor of z?
False
Let a(l) = -7*l + 10. Let g be a(4). Let n = 47 + g. Does 6 divide n?
False
Suppose 0*b - b + 84 = 2*u, 5*u - b = 217. Suppose 3*f + 5*o + 25 = 0, -8 = -5*f + 2*o + 2. Suppose -m = -f*m - u. Is m a multiple of 15?
False
Let w be (-33)/6 + 3/2. Let g(u) = -u**3 - 2*u**2 + 5*u + 4. Does 8 divide g(w)?
True
Suppose -2*f = -0*f + 6. Let x be f*((-16)/6 + 2). Is 4 a factor of 1*x + 35/5?
False
Suppose -30 = -9*q + 8*q. Let t = -16 + q. Is 7 a factor of t?
True
Let n(k) = -k**2 + 2*k + 3. Let y be n(3). Suppose -h + 6*h - 175 = y. Suppose 2*j = 1 + h. Is j a multiple of 9?
True
Suppose 3*o - 4*o - 16 = 4*p, -3*p + 2*o = 23. Is 40/6*(-6)/p a multiple of 7?
False
Let x(u) = 7*u + 1. Let o be x(1). Let v = -3 + o. Is v/(2/(-4)*-2) a multiple of 2?
False
Let b(u) = 3*u - 1. Let w be b(1). Suppose -w*f + 23 + 23 = 0. Does 17 divide f?
False
Suppose 3*z + 140 = 2*y + 2*y, 0 = -4*y - 5*z + 172. Let o = -27 + y. Does 7 divide o?
False
Let k = -3 - 1. Let f(c) = -c**2 - 6*c - 6. Let w be f(k). Suppose 0 = -w*t + 52 + 20. Is t a multiple of 12?
True
Let y be (-15)/10*(-20)/6. Let d be 1/y - 478/(-10). Suppose c - d = -c. Does 12 divide c?
True
Let k(c) = -c - 4. Let u(r) = r - 2. Let n be u(-9). Is k(n) a multiple of 3?
False
Let w = -16 - -51. Does 7 divide w?
True
Suppose -3*z = 0, 50 - 150 = -2*o + 4*z. Is 3 a factor of 2/(-6) - o/(-6)?
False
Let b(l) = 2*l + 6. Let u be b(-4). Let q = u + 9. Is 2 a factor of q?
False
Suppose -200 = -f - f. Suppose 0 = 8*t - 3*t - f. Is t a multiple of 20?
True
Let p = -28 - -11. Let d = p + 25. Does 4 divide d?
True
Suppose 4*s - 3*x = -0*s - 52, s + 2*x = -2. Let w = 55 - 29. Let p = w + s. Does 7 divide p?
False
Suppose -4*p - 5 = 23. Let c(a) = a**3 - a**2 - 4*a - 2. Let b(f) = -3*f**3 + 4*f**2 + 13*f + 7. Let y(r) = p*c(r) - 2*b(r). Is 8 a factor of y(-3)?
False
Let q = 18 - -15. Is 8 a factor of q?
False
Let a(z) = -3*z**3 + z**2 - 6*z + 5. Let c(s) = 2*s**3 + 3*s - 3. Let m(d) = 3*a(d) + 5*c(d). Is m(-3) a multiple of 9?
True
Let t(m) be the first derivative of 9*m**2/2 + 9*m - 2. Let o be t(-6). Is 7 a factor of ((-16)/(-10) + -2)*o?
False
Suppose j + 18 + 30 = 0. Suppose -2*r + 4*r = -156. Let x = j - r. Is x a multiple of 14?
False
Is 40 a factor of (-2394)/(-15) - (-4)/10?
True
Suppose 0*m - 5*m + 10 = 0. Suppose 4*v - 18 = 3*r, -2*v + 0*v - m*r = -2. Is v a multiple of 3?
True
Suppose 0 = 4*r - 5*u - 270, 4*r + r = -2*u + 354. Does 14 divide r?
True
Suppose a + 3 = -3*b - 1, 0 = 3*a - 5*b - 30. Suppose -r - 228 = -a*u - 32, -3*u + 121 = -4*r. Is u a multiple of 13?
True
Suppose 5*r + 3*w - 24 = -9, -5*w = r + 19. Let x be ((-22)/3)/((-2)/3). Let a = x - r. Is a a multiple of 4?
False
Suppose 8*t - 112 = 7*t. Is 28 a factor of t?
True
Let u be (-1074)/15 - (-6)/(-15). Is (u/10)/3*-15 a multiple of 12?
True
Suppose -2*l = -5*y - l + 450, 5*y = 4*l + 435. Suppose q - 5*u - 1 = 6, 3*u - y = -5*q. Does 9 divide -3 + q - (-1 - -1)?
False
Let j(k) = 9*k + 7. Does 8 divide j(3)?
False
Let t be 137/(-9) + 4/18. Let i be 5*((-81)/t + 1). Suppose 0 = 2*d - d - i. Is 10 a factor of d?
False
Suppose 0 = -2*m, w - 3*w + m = -16. Let n(p) = -p**3 + 9*p**2 - 8*p + 11. Let x be n(w). Let z = 12 + x. Is z a multiple of 11?
False
Let k(g) = -22*g**3 + g**2 + g - 1. Let z be k(1). Let o = -3 - z. Is 9 a factor of o?
True
Suppose 5 = -j + v - 5, -2*j = -4*v + 26. Let z = -5 - j. Suppose z*b = -2*b + 40. Is 5 a factor of b?
True
Is 10 a factor of 3 - 4 - (-13 - 1)?
False
Let r(x) = 2*x - 4. Let s be r(-2). Let w = s + 32. Does 8 divide w?
True
Suppose 3*x = 22 + 38. Is 20 a factor of x?
True
Suppose -3*x + 2*x = 3*g - 21, -5*g - x + 33 = 0. Suppose -g*n + 3*n + 45 = 0. Is n a multiple of 5?
True
Suppose 2*f - 32 = -2. Suppose 40 = 3*b + 4*n, -4*n = 2*b + n - f. Does 8 divide b?
False
Is 14*(-4)/(-4)*1 a multiple of 9?
False
Is (-140)/(1 + -3) + 1 a multiple of 21?
False
Let x be ((-5)/20)/((-2)/40). Suppose n - 12 = x*n. Is 20 a factor of ((-111)/6)/(n/6)?
False
Suppose m + 2*m = 15. Suppose -v - 3 + 15 = 0. Let k = m + v. Is 17 a factor of k?
True
Let k be (0/4 - 0)/(-1). Suppose -5*z - 4*w + 2*w + 142 = k, 3*w = -z + 18. Does 10 divide z?
True
Let l(k) = k - 2. Let a be l(3). Let t be (2 - a)/(1/23). Let j = t - 11. Is 12 a factor of j?
True
Let g = -2 - -23. Is (g/(-9) - -3)*27 a multiple of 5?
False
Let h = 58 + -14. Is 22 a factor of h?
True
Let c be 2/(1 - -1) - -86. Let u = 29 + -26. Suppose -j - u*a = -35, -2*j + c = a + 7. Is j a multiple of 16?
False
Let w = -3 - 0. Let n be (-3)/3*-5 + w. Suppose 4*l + 72 = 2*f - 14, n*l = 5*f - 223. Does 12 divide f?
False
Suppose 287 = 5*v - 188. Does 19 divide v?
True
Let z(y) = 13*y - 42. Is 13 a factor of z(9)?
False
Suppose -57 = -b + 5*o, -o = -6*o. Let l = -31 + b. Is 13 a factor of l?
True
Suppose 3*d - 6 = 0, -3*z + 4*z + 4*d - 100 = 0. Suppose o + z = 2*j, 76 = 4*j - o - 104. Does 11 divide j?
True
Let f(u) = u + 16. Is f(12) a multiple of 12?
False
Let a(i) = i**3 - 10*i**2 - 9*i + 5. Let r be a(11). Let t be (-2)/((-2)/4 + 0). Is 15 a factor of r*(t + -2)/2?
False
Suppose -3*s - 1214 = 4*h, 4*s + 2*h + 404 = 3*s. Let w = s - -290. Is 5 a factor of 12/(-42) + w/(-14)?
False
Let a = -10 + 0. Is 3 a factor of (12/a)/((-4)/10)?
True
Let a(o) = -o**2 - 4*o - 1. Let q be (-10)/(-35) - (-32)/(-14). Let g be a(q). Suppose g*m = 7 + 5. Is 2 a factor of m?
True
Suppose m - 10 = -11. Is m - (26 + -1)*-2 a multiple of 11?
False
Is (-228)/(-15) + 1/(-5) a multiple of 5?
True
Suppose 0 = 4*q - 4*l + 116, -4*q - l = -3*q + 21. Let v = 43 + q. Does 10 divide v?
False
Let q(i) = -7*i**3 + 2*i**2 + 4*i + 3. Let r(v) = -20*v**3 + 5*v**2 + 12*v + 9. Let c(o) = -8*q(o) + 3*r(o). Is c(-3) a multiple of 30?
True
Suppose q - 5*t = -0*q - 16, -5*t - 46 = q. Let m = -14 - q. Suppose f - 21 = m. Is f a multiple of 12?
False
Let k be 9/(-1 + 6/5). Suppose r - 2*y = k, 2*r - 57 = y + 33. Is 16 a factor of r?
False
Let h(p) = p**2 - 7*p + 10. Does 3 divide h(11)?
True
Let f = 6 - -5. Suppose -f = -j + 11. Is j a multiple of 12?
False
Is 23 a factor of 24838/88 - 1/4?
False
Let r be 0/(-3) + 3 + -10. Let x = 5 + r. Let f(k) = -10*k - 1. Is 12 a factor of f(x)?
False
Is (-120)/(-25)*80/6 a multiple of 32?
True
Let b(w) = w - 11 + w**2 + 11 + 0*w**2. Is 2 a factor of b(1)?
True
Let l be (-1 - 0)*3 + 128. Suppose l = -0*q + 5*q. Does 23 divide q?
False
Let q = -10 - 1. Let z = q + 29. Is 6 a factor of z?
True
Let o(g) = 5*g**2 + 8*g - 31. Is 50 a factor of o(-10)?
False
Let r = 4 - 3. Let b = 2 - 13. Let x = r - b. Does 6 divide x?
True
Let q = 185 - 74. Is 17 a factor of q?
False
Let n be (-1)/((-2)/1)*2. Let a(f) = n - 4 + 4*f**2 + 4 - f. Does 2 divide a(1)?
True
Suppose -5 = 5*b + 4*f + 12, 0 = 3*f + 9. Let p(g) = 220*g**2. Let d be p(b). Suppose u + 4*u = d. Does 16 divide u?
False
Let q(o) = 4 - 2 - 5 + 2*o + 4. Let x be q(5). Let p = 45 - x. Does 19 divide p?
False
Let s = 63 + -40. Is s a multiple of 19?
False
Suppose 4*u = -2*w + 10, -2*w - u + 2*u = -10. Suppose -5*r = -3*m + 2*m + 51, 25 = -w*r. Does 13 divide m?
True
Let w(l) = l**3 + 6*l**2 - 2*l + 4. Let b be w(-6). Let j = b + -14. Is j a multiple of 2?
True
Let r(d) = -6*d**3 + 6*d**2 - d + 1. Let n(m) = -5*m**3 + 5*m**2 - m + 1. Let p(a) = -3*n(a) + 2*r(a). Is 3 a factor of p(2)?
False
Let z(g) = -g**3 - 2*g**2 + 2*g + 44. Is z(0) a multiple of 11?
True
Suppose