s 28 a factor of b?
True
Let i(n) = 2*n**3 - 15*n**2 + 7*n + 5. Let b be i(7). Suppose b*x = 191 - 16. Does 27 divide x?
False
Suppose 0 = l - 6*l + 70. Let c be 2/(-3 - l/(-4)). Let s(w) = 2*w**2 - 7*w + 4. Is 8 a factor of s(c)?
True
Suppose 49*h - 54*h + 2280 = 0. Is 6 a factor of h?
True
Let u be (12 + -4)*(-3)/(-4). Let l(s) be the first derivative of 5*s**2/2 - 13*s + 28. Is 5 a factor of l(u)?
False
Let p = 0 + 4. Suppose -p*i = -0*i. Suppose i*z = -4*z - 2*q + 138, z - 39 = 4*q. Does 9 divide z?
False
Let f be 2 + (-4)/2 - 12. Let u be ((-9)/6)/(f/16). Suppose 6*h = u*h - 8, -3*h = -3*p + 21. Is 2 a factor of p?
False
Let l(z) = z**3 + 18*z**2 - z - 12. Let r be l(-18). Does 21 divide (-162)/4*(-12)/r?
False
Suppose o + l + 33 = 0, 3*l - 132 = 3*o + o. Let u = 146 + o. Is 15 a factor of u?
False
Let r(s) = -6*s - 3. Let t be r(-6). Suppose -4*i + 5*i - t = 0. Does 10 divide i?
False
Suppose -4288 = -8*g + 3400. Is 46 a factor of g?
False
Let f = -160 - -121. Does 6 divide 2*-78*26/f?
False
Let s(f) = f**3 + 4*f**2 + 4. Let i be s(-4). Suppose 0 = -i*w + 3*w + 1. Is 2 + -1 - (w + -9) even?
False
Let c be (3*1)/(1 + 40/(-44)). Suppose 2*q - n = 7, -4*q = n - c + 4. Does 6 divide q?
True
Let b = -5925 + 10324. Is 53 a factor of b?
True
Suppose -5*j = -1315 - 1700. Suppose 2153 = 13*m - j. Is m a multiple of 53?
True
Let t = 687 - 64. Is 44 a factor of t?
False
Suppose -236 + 0 = -4*x. Suppose -5 = 3*v - x. Suppose -m - m = -v. Does 9 divide m?
True
Does 14 divide 1 - -2314 - (-35 - -40)?
True
Let z(t) = t**3 + 12*t**2 + 6*t - 13. Let w be z(-11). Suppose -30 = o - w. Is 6 a factor of o?
True
Suppose -131 = -5*s + 4*q, -s + 5*q - q = -23. Does 20 divide s?
False
Let j(l) = -l**3 + 3*l**2 + l - 4. Let o = 1 + 0. Let b = -3 + o. Is j(b) a multiple of 12?
False
Suppose 11040 = 5*h + 2*l, -3*l - l + 2208 = h. Does 32 divide h?
True
Suppose -4*h + 0*h = -2*w - 28, -2*h + 4*w + 8 = 0. Suppose -5*z - h = -18. Suppose -5*r = 5*x - 80, -16 = -5*r + 3*r + z*x. Is r a multiple of 6?
True
Suppose -46*p + 5072 = -43*p - 2*z, -5066 = -3*p - 4*z. Is 36 a factor of p?
False
Let m = 41 - 59. Is 30 a factor of (m*(-6)/(-4))/(24/(-32))?
False
Let n be (-3 - 0)/(-2*(-1)/58). Let u = -59 - n. Is u a multiple of 5?
False
Suppose 2*n - 782 = -5*k + 3*k, 0 = -5*n - 3*k + 1951. Let b = n - 275. Is b a multiple of 30?
False
Let n = 3003 - 1914. Is 11 a factor of n?
True
Let f = 15 + -47. Let r = -53 - f. Let a = r + 39. Is a a multiple of 6?
True
Suppose -3*x = -9*x + 42. Does 13 divide x/((2 - -1) + (-11)/4)?
False
Suppose 0 = -l - 0 + 8. Suppose -l*s = -6*s. Is 37/(-1 + 2 + s) a multiple of 18?
False
Does 3 divide (6/(-11))/(2/(-11))?
True
Let b = 4293 - 2304. Is b a multiple of 15?
False
Let t be ((-12)/9)/((-4)/6). Suppose 5*j + 3*s - 16 = 8, 4*j + 2*s = 20. Let a = j - t. Does 2 divide a?
True
Suppose -89 - 968 = -3*d + 5*p, 0 = 4*d + 4*p - 1420. Let h = -228 + d. Is 24 a factor of h?
False
Suppose 5*b - 865 = -5*j, 2*b = -3*j + 79 + 270. Suppose v + b = 6*v - w, -3*v = -w - 102. Suppose 0 = 4*u - 3*i - 47, -3*u + v = 2*i - 4*i. Is 2 a factor of u?
True
Let d(q) = q**2 + 5*q + 5. Let v be d(-5). Suppose g = v*r + 5*g + 6, 2*r - 2*g = 12. Suppose o - 5 = 3*u + 10, r*o - 31 = 5*u. Is o a multiple of 18?
True
Let s(b) = 2*b**2 + 121*b - 164. Is 11 a factor of s(-62)?
True
Suppose 9*h - 4*h - 4*a - 5524 = 0, -4*h - a + 4415 = 0. Is h a multiple of 6?
True
Let n(x) = x**3 - 22*x**2 + 35*x - 97. Is n(21) a multiple of 22?
False
Suppose 8*x - 556 = 1228. Is 30 a factor of x?
False
Let n(m) = -m**3 + m**2 + m + 14. Let u be n(0). Let w = 18 - u. Suppose -w*t + 103 = o - 82, -2*o = -2*t + 90. Is t a multiple of 23?
True
Let q(j) = 31*j - 20. Is q(4) a multiple of 52?
True
Let m(a) = a**2 - 2*a - 5. Let k = -3 + -1. Let o be m(k). Suppose 4*b = -c - b + o, -2*c + b = -27. Is 11 a factor of c?
False
Let c(b) = b + 5. Let r be c(0). Suppose 0 = -2*t + r*a + 150, 4*a = -0*t + t - 72. Let s = -54 + t. Does 26 divide s?
True
Let z be -2 + 4 + 486 - 5. Suppose 0 = -5*h - 4*l + 792, -4*l = 3*h + l - z. Does 34 divide h?
False
Suppose 10 = a - 0. Suppose -10 - a = -5*m. Is (m + 1 + -4)*47 a multiple of 33?
False
Suppose 47*y = 36*y + 17578. Is 47 a factor of y?
True
Suppose 5*c + 4 = 9. Suppose -2*r + 1 = -1, -3*r = -v + c. Does 7 divide v*-7*(-1)/4?
True
Suppose 6649 = 3*q + 4*h, 1 + 3 = h. Does 4 divide q?
False
Let c = -14 - -15. Let z = 3 - c. Is 20 a factor of (126/(-15))/(z/(-10))?
False
Suppose 2*c + 5*a - 1524 = -c, -a = 0. Is 46 a factor of c?
False
Let n be (23/(-1))/(5/5). Let f = 73 + n. Is f a multiple of 12?
False
Let v = 127 - 133. Let j(l) = 2*l**2 - 3*l + 17. Does 8 divide j(v)?
False
Let v = -44 - -63. Suppose -5*z - 9 = -3*x, -2*z - z - 5*x = v. Is ((-2)/z)/((-7)/(-147)) a multiple of 4?
False
Suppose -2*z = -8*z + 480. Let h = z + -65. Does 5 divide h?
True
Is 13 a factor of (-1144)/66*(-1 - (-3 + 38))?
True
Suppose 50*f = 62*f - 9348. Is 58 a factor of f?
False
Let i(g) = g**2 + 2*g - 2. Suppose 3 = -4*c - 9. Let q = -8 - c. Is i(q) a multiple of 4?
False
Suppose -z = 3*z - 3792. Does 13 divide 4/8 + z/8?
False
Suppose 6420 - 39689 = -17*q. Is 4 a factor of q?
False
Let f be 4 - (-3 - (-4)/(-4)). Suppose -g - f = 3*g. Let a(k) = -5*k + 1. Is a(g) a multiple of 11?
True
Suppose -z + 4*b + 2584 = 0, 13*z - 15*z = 2*b - 5148. Is 14 a factor of z?
True
Let m(z) = z**3 - z**2 - 4*z - 3. Let k be m(3). Suppose 0 = -4*h + k*h + 51. Is h a multiple of 17?
True
Let t = -291 - -343. Is 15 a factor of t?
False
Suppose 0 = -3*a + u + 404, 5*u + 670 = 2*a + 3*a. Is 9 a factor of a?
True
Let c(y) = 49*y**2 - 56*y + 42. Is 42 a factor of c(-10)?
True
Suppose -2*g + 5*g = 9. Suppose -r + 46 = -j, 97 = 5*r + g*j - 125. Does 9 divide r?
True
Let w(j) = -j**3 + 7*j**2 - 3*j - 5. Let l be w(7). Let m be 136/14 + l/(-91). Suppose -68 = -2*f + 2*q - 0*q, 5*q - m = -f. Is 11 a factor of f?
False
Let u = -109 + 630. Is u a multiple of 12?
False
Does 18 divide 4/(-3)*239787/(-214)?
True
Let f(p) = 427*p**2 - 105*p - 201. Is f(-2) a multiple of 9?
False
Does 7 divide (-20)/(-45) + (-3445)/(-45)?
True
Let s be 2*1 + (1 - -5). Let m be 2/s + 1130/(-40). Let u = 16 - m. Is 15 a factor of u?
False
Suppose -8*i = -110 - 1330. Is i a multiple of 36?
True
Does 11 divide 0 + 0 + (-2 + 73 - -9)?
False
Let k(y) = 3*y**2 - 21*y - 126. Is 18 a factor of k(28)?
True
Suppose -106*b + 80*b + 8970 = 0. Is b a multiple of 65?
False
Let u(l) = -17*l - 18. Does 11 divide u(-3)?
True
Let b(a) = -a**2 + 18*a - 53. Does 8 divide b(11)?
True
Let f be 4/(-4) - (1 + 0). Let x be ((-7)/f)/7*-134. Let p = x - -118. Is 9 a factor of p?
False
Let r(l) = -34*l + 66. Is 21 a factor of r(-4)?
False
Let y = -972 + 3544. Is 44 a factor of y?
False
Let i = 59 + -68. Does 18 divide (-2 - 88)*9/i?
True
Suppose 6*c - 2 = 58. Let n(w) = -w**3 + 10*w**2 + w + 2. Let a be n(c). Suppose -a*p + 114 = -9*p. Does 19 divide p?
True
Let o be (-2174)/(-22) + (-4)/(-22). Is ((-2)/1 - -3)*o a multiple of 33?
True
Let y be -298*15/10 + -3. Is ((y/5)/(-3))/2 a multiple of 2?
False
Let h = 9 + -6. Let j(l) = -3*l - 2 + 4*l - l**h + 11*l. Is 9 a factor of j(-5)?
True
Suppose -2 = -l, -2*j = 5*l - 959 - 575. Is 10 a factor of j?
False
Let w(j) = 9*j**2 + 2*j - 2. Let i be w(3). Let r = i + -53. Is 32 a factor of r?
True
Let n be -2 + (-1)/(-1) + -2. Let x = n + 6. Suppose -x*w = 5*j - 1, j - 3*w = -3*j + 17. Is j a multiple of 2?
True
Let y(q) = 6 + 5 - 5 - 4*q. Let l(s) = -8*s**3 + s**2. Let c be l(1). Is 17 a factor of y(c)?
True
Let q(b) = -b**3 + 23*b**2 - 39*b + 18. Does 78 divide q(18)?
True
Let b = -4586 - 13040. Is 14 a factor of b/(-84) + (-2)/(-12)?
True
Let t(k) be the third derivative of k**5/60 - 7*k**4/12 + k**3 - k**2. Is 19 a factor of t(16)?
True
Suppose 4 = -2*k + k. Let s be k + 0 + 0 + -11. Is (-8)/20 + (-216)/s a multiple of 14?
True
Is 23 a factor of ((-7437)/(-15) - 6) + 30/25?
False
Let i(t) be the third derivative of t**5/60 - 3*t**4/4 + 17*t**3/6 - 8*t**2. Does 19 divide i(20)?
True
Let w = 26 - -171. Suppose -3*v - l + 67 = -124, -w = -3*v + 5*l. Is 3 a factor of v?
False
Let p = 1015 + -656. Does 39 divide p?
False
Suppose 2*t = -f + 3, 3*f + 3*t - 11 + 2 = 0. Let h be (-5)/((-10)/12) - f. Suppose -s - 3