43. Suppose -3*b + a = b. Does 8 divide b?
False
Let o be -2 + 2/2 + 5. Is 5 a factor of (o/(-5))/((-4)/50)?
True
Let y(a) = -40*a**3 + a + 1. Does 5 divide y(-1)?
True
Let m(z) = z**3 - 4*z**2 - 3*z - 6. Let x be m(5). Suppose 5*t - x = 4*t. Does 2 divide t?
True
Let g be 5/(5/(-3)) - -12. Let c = -8 + g. Is (15/9 - c)*24 a multiple of 8?
True
Suppose 14 = 2*q + 8. Suppose 0 = b - 4*t - 12, 3*b + q*t - 60 - 51 = 0. Is b a multiple of 16?
True
Let q = 138 - 79. Let h be (814/(-33))/(2/3). Let j = q + h. Is 11 a factor of j?
True
Let h = -88 + 220. Is 22 a factor of h?
True
Let f be (0 - -1)/(6/6). Let w(p) = 135*p. Let h be w(f). Suppose -3*c = -h + 45. Is 11 a factor of c?
False
Let b = 3 - 8. Suppose 3 = -5*g + 88. Let w = g + b. Is w a multiple of 6?
True
Let g = 53 + -8. Is 7 a factor of g?
False
Suppose -203 + 51 = -4*h - 4*g, -5*h + 2*g = -183. Is 6 a factor of h?
False
Let x = -84 + 132. Does 13 divide x?
False
Suppose 4*v = 10 - 2. Does 9 divide 17/v - (-2)/4?
True
Suppose -t + 5 = 3*r - 2*t, 0 = -t + 4. Suppose 2*q - 7 = -i, -5*q + r*q + 2*i - 2 = 0. Suppose -65 = -5*p - 2*y, 4*p - q*y - 3*y = 19. Does 6 divide p?
False
Let u(h) = -h**3 - 8*h**2 - 5*h - 4. Suppose w + 44 = -7*s + 2*s, 2*s - 4*w = 0. Is u(s) a multiple of 12?
True
Let j = 498 - 822. Let l = 459 + j. Suppose -3*h + 65 = -5*o, 4*o = 5*h + o - l. Is h a multiple of 15?
True
Let z(n) = -n**2 + 10*n - 4. Let p = -1 - -7. Is z(p) a multiple of 6?
False
Is (-1998)/(-14) + 1 - (-2)/7 a multiple of 12?
True
Let v = 156 - 111. Is v a multiple of 9?
True
Suppose 5*j - 4*y + 39 = 0, -8*y - 16 = 3*j - 3*y. Let a(w) = -w**3 - 7*w**2 + w + 9. Let i be a(j). Is (i + 3/(-2))*52 a multiple of 16?
False
Suppose -o - 163 + 17 = 0. Let k = o - -234. Does 27 divide k?
False
Suppose 3*i + 14 = 5*k, 2*i - 14 = -2*k - i. Suppose -u + 10 + 21 = -3*s, k = -4*s. Is u a multiple of 10?
False
Let i(k) be the second derivative of -5*k**3/6 + 2*k**2 - k. Does 16 divide i(-3)?
False
Suppose -u = -y + 32, 2*y - 4*u - 68 = -0. Is 15 a factor of y?
True
Suppose -4*u + 5*s + 21 = 2*s, -u + 9 = 3*s. Suppose 2*y - 3*o + 195 = u*y, -2*y + o = -105. Is y a multiple of 13?
False
Is ((-42)/(-10) - -1)*5 a multiple of 6?
False
Let i = 57 + -31. Does 13 divide i?
True
Suppose 20 = 5*i - 5*w - 10, 5*w = -i + 30. Let y(f) = -f**2 + 13*f + 13. Is y(i) a multiple of 15?
False
Let k(b) = -b**2 - 12*b + 2. Let p be -5*(-1 - 22/(-10)). Is 19 a factor of k(p)?
True
Suppose 2*i - 5*u = -0*u + 14, 0 = -5*i - 5*u. Suppose -5*q + 39 = -i*q. Is q a multiple of 11?
False
Let w be -24*(-1 + (-3)/12). Suppose 96 - w = 2*z. Let m = -3 + z. Is 15 a factor of m?
True
Let d be 4/10 - (-54)/15. Suppose 10 = 5*p, 5*g - d*p = -6*p - 126. Let k = g + 36. Is 5 a factor of k?
True
Let q = 4 - -1. Let y(w) = 7*w**3 + w**2 - w - 1. Let f be y(1). Suppose -3*s + 12 = u, -2*s + 2 = -q*u - f. Is s a multiple of 3?
False
Let q(r) be the third derivative of -11*r**6/60 + r**5/60 + r**4/24 + 4*r**2. Is q(-1) a multiple of 22?
True
Let i(h) = -h - 1. Let l(s) = -s**2 + 9*s - 15. Let m(x) = 2*i(x) - l(x). Is 3 a factor of m(10)?
True
Let t(m) be the first derivative of m**4/12 + m**3/6 - 2*m**2 - 3*m - 1. Let h(q) be the first derivative of t(q). Is 24 a factor of h(6)?
False
Let w be (-4)/8 + 111/2. Is 27 a factor of w - 1 - 0/1?
True
Let q(z) = 3*z**2 - 46*z + 30. Is 26 a factor of q(18)?
False
Let h = -38 - 97. Let d = h + 235. Suppose 2*z = -3*z + d. Is z a multiple of 10?
True
Suppose 2*x = -0*x + 8. Suppose -8*d = 4*v - x*d - 12, v + 5*d - 15 = 0. Suppose -21 = -3*j - v*j. Is 7 a factor of j?
True
Suppose p = h - 4*h + 7, -2*p - 4 = -3*h. Let r be (-4)/(-10) - 4/10. Suppose 3*o = r, h*o + 1 = 5*j - 69. Does 14 divide j?
True
Let t be (-109)/4 - (-3)/12. Is (-6)/t + 104/18 a multiple of 6?
True
Let k = 10 + -5. Let f(w) = -w**3 + 4*w**2 + 9*w - 11. Is 7 a factor of f(k)?
False
Let f(p) = p**2 - 2*p - 7. Let y be f(5). Let o = 12 - y. Does 3 divide o?
False
Let v = 529 + -343. Is 22 a factor of v?
False
Let v be ((-560)/(-25))/(2/80). Is v/24*6/4 a multiple of 14?
True
Suppose 5*z = -47 - 53. Let b = 39 + z. Is 8 a factor of b?
False
Let w = 163 - 115. Suppose 0*a + w = 4*a. Is a a multiple of 6?
True
Suppose -4*s + 4*x = -304, -3*x = -2*s - 0*x + 154. Is 14 a factor of s?
False
Let m(r) = 6*r**2 - 5*r - 13. Is m(-6) a multiple of 21?
False
Let n(c) = 2*c**2 - 5*c + 11. Is 12 a factor of n(4)?
False
Let p = -414 - -656. Suppose 0 = 3*s + 5*m - 184, -4*s - 8*m + 3*m = -p. Is s a multiple of 20?
False
Let b(y) = -y**2 - 3*y. Let o be b(-2). Suppose 4*n - 119 = -5*t - 20, 0 = -3*n - o*t + 76. Does 14 divide n?
False
Suppose 0 = -4*j + 1 - 17. Let k = 0 - j. Does 4 divide k?
True
Let l(b) = 3*b + 1 - 1 - 2. Let h(r) = r**2 + 10*r + 13. Let a be h(-9). Is l(a) a multiple of 9?
False
Let j = 10 + 1. Does 3 divide j?
False
Let a = 318 + -224. Does 18 divide a?
False
Let y(z) = 19 + z**2 - z + 2*z - z**3 + 2. Does 7 divide y(0)?
True
Let s be 3*(-5)/((-30)/28). Suppose -4 = -m + s. Is (4/3 - 1)*m a multiple of 4?
False
Is (0 + 2)*14/4 a multiple of 3?
False
Let d = 2 - 2. Let m(l) = l**3 - l**2 - l + 2. Let s be m(d). Suppose 0 = 4*j - s*j - 100. Is 18 a factor of j?
False
Let p = 44 - 23. Is 7 a factor of p?
True
Let r = -16 - -11. Is 6 a factor of 52/5*r/(-2)?
False
Suppose -4*d = -2*d - 64. Is 32 a factor of d?
True
Let r(a) be the second derivative of 7*a**3/6 + 11*a**2/2 - 5*a. Is r(8) a multiple of 20?
False
Suppose 0 = 15*j - 13*j - 290. Does 20 divide j?
False
Suppose 0 = -4*i + 2*i - 14. Let j(q) be the first derivative of -q**2 + 2*q - 2. Does 9 divide j(i)?
False
Suppose 5*h - 2 = 58. Suppose -h - 2 = -a. Does 14 divide a?
True
Let s(q) = -17*q + 2. Let j be s(-3). Suppose 3*f - j - 43 = 0. Let m = f - 17. Does 15 divide m?
True
Let r = -3 + 5. Suppose 4*a - 5*a = -r. Does 2 divide a?
True
Let q(g) = g**2 + 16. Let c be ((-6)/(-3) - -2)/(-1). Let b(m) = m**2 + 3*m - 4. Let u be b(c). Does 8 divide q(u)?
True
Let r(s) = 3*s**3 + s**2 - 2*s. Let p be r(3). Suppose -5*k = 4*m - p, 8 = 4*m + k - 60. Does 8 divide m?
True
Is 27 a factor of (-99 - -1)/(2/(-8 - -4))?
False
Let z(w) = w**2 + w + 5. Let k be z(0). Suppose k*y - 4 = 4*y. Is y a multiple of 4?
True
Let u(c) be the third derivative of -c**6/120 + c**5/12 + 5*c**4/24 - 5*c**3/6 - c**2. Let f be u(6). Let a = f + 15. Does 3 divide a?
False
Suppose 15*i - 16*i + 97 = 0. Is i a multiple of 22?
False
Let a(m) = -m**2 + 9*m - 3. Let x be a(10). Let n = 9 + -29. Let p = x - n. Is p a multiple of 7?
True
Suppose -2 - 1 = -3*i. Let s(m) = 54*m - 2. Is 13 a factor of s(i)?
True
Let h(i) = i + 8. Let v be h(-4). Suppose 0 = -2*c - v*f + 110, -3*c + 0*f = -4*f - 155. Is c a multiple of 10?
False
Let p = 11 - 8. Suppose -31 + 4 = -p*h. Does 9 divide h?
True
Let g = -7 + 6. Does 8 divide g/(-2*3/48)?
True
Suppose -c - 601 = -3*a, 0 = 9*a - 7*a - 2*c - 406. Does 41 divide a?
False
Suppose 2*s + 4*p - 6*p = -2, 3*s - 12 = -2*p. Let a(n) be the third derivative of n**5/20 - n**4/6 + n**3/2 + 20*n**2. Does 4 divide a(s)?
False
Suppose v - 1 = 2*u - u, 4*u = 5*v - 7. Suppose -2*y - v*k = -63 - 66, -2*y = -4*k - 122. Is y a multiple of 25?
False
Let u(a) = 2*a**2 - 2*a - 2. Let v be u(2). Suppose v*f + 18 = 4*f. Does 4 divide f?
False
Let i = 2 + -6. Let f = i + 4. Is 9 a factor of f + 8 - (-1 - 0)?
True
Let v be (-6)/(4/(24/(-9))). Suppose -h + 2*h + 3*s = 47, -132 = -4*h + 2*s. Suppose v*k = -11 + h. Is 3 a factor of k?
True
Let v(z) be the second derivative of z**4/12 - z**3/2 + 9*z**2/2 + 4*z. Let d be 1 + (-5)/((-10)/12). Is 13 a factor of v(d)?
False
Suppose 0 = -m - 2*w - 2*w + 27, m - 6 = 3*w. Suppose 0 = -5*i - 10 - m. Let s(n) = 2*n**2 + 5*n + 4. Does 14 divide s(i)?
False
Let s(z) = -z**3 + z**2 + z + 10. Is s(0) a multiple of 8?
False
Let p(w) = -3 - 1 - 10*w - 7*w. Let i be p(3). Let g = 102 + i. Does 16 divide g?
False
Let u = 33 + -23. Does 10 divide u?
True
Suppose -3*q = -0*q - 6. Suppose -q*b - 23 = 41. Let i = -11 - b. Is i a multiple of 13?
False
Suppose -5*m = -2*w - 14, 4*m - 12 = 2*w - 2. Suppose m*g - 26 = 3*g. Does 13 divide g?
True
Is 11 a factor of 101 + -2 + 0/1?
True
Let t(n) = 3*n - 4. Suppose -c + 1 = 4, 0 = -2*g - 4*c - 6. Let h be t(g). Suppose -h*m + 50 = -25. Does 7 