w. Is w a multiple of 4?
True
Let b(s) = -s**2 - 6*s + 2. Let f be b(-6). Is (13/4)/(f/8) a multiple of 13?
True
Is 3 + -7 - (0 + 1 + -10) a multiple of 5?
True
Let b be (0*(-2)/4)/2. Suppose 24*h - 22*h - 22 = b. Does 9 divide h?
False
Is (8 - 5) + 72/2 a multiple of 7?
False
Let b(c) = c**2 - 15*c + 26. Does 6 divide b(17)?
True
Suppose 406 = -0*m + 7*m. Is m a multiple of 13?
False
Is 157 + 0 + 5 + -6 a multiple of 12?
True
Suppose 0 = -5*c + 2*r + 4, 0 = c - 4*r + 3*r + 1. Suppose 24 = 2*d + p, -2*p + 24 = 2*d + c*p. Let g = d + -7. Is 3 a factor of g?
False
Let x(z) = 5*z**3 - 2*z**2 + 1. Let g be x(1). Suppose 0 = 3*v + 5*l + 2 - 35, -6 = -3*v + g*l. Is (-8)/3*(-99)/v a multiple of 19?
False
Suppose -1 = -2*p + 1. Let d(w) = -w + 1. Let k(h) = 11*h**2 + 4*h - 5. Let v(m) = 5*d(m) + k(m). Is v(p) a multiple of 5?
True
Let t(g) = -g**2 + 8*g - 8. Is 2 a factor of t(6)?
True
Suppose 3*q - 3 = -3*i + 12, -4*i + 2 = -5*q. Suppose 2*a + q*u + 50 = 0, 7*a + 105 = 3*a - 3*u. Let s = a - -42. Does 8 divide s?
False
Let d be ((-5)/15)/(1/(-111)). Let c = d - 26. Is 6 a factor of c?
False
Let c(l) = -2*l**3 - 5*l**2 - l - 7. Let j(h) = h**3 + 2*h**2 + h + 3. Let k(m) = 3*c(m) + 5*j(m). Is 4 a factor of k(-6)?
False
Let s(n) = n**2 + 0*n**2 - 5 + 4 + 5*n**2 - n. Is s(2) a multiple of 8?
False
Suppose -4*l - 3*o = -0*o - 2, 4*l = o - 6. Let k be (-4 - -3) + 32 + l. Suppose -k = -2*p - 3*p. Is 3 a factor of p?
True
Suppose -112 = -4*p + 164. Is 30 a factor of p?
False
Let h(a) be the second derivative of -a**5/20 + a**4/6 - a**3/2 - 2*a**2 - a. Let q be h(3). Let o = -2 - q. Does 10 divide o?
True
Suppose -9*l = -4*l - 215. Is l a multiple of 19?
False
Let h = 125 + -61. Does 16 divide h?
True
Suppose 0 = o + 4*m + 2, -o - o + 7 = -3*m. Let r be 19/(o/(-12)*-2). Let t = r + -4. Is t a multiple of 20?
False
Let s = 17 + -12. Let z = 19 - s. Is z a multiple of 11?
False
Is (-390)/(-2) + (16 - 16) a multiple of 39?
True
Is 18 a factor of ((-16)/4)/(2/(-43))?
False
Suppose -12 - 118 = -5*x. Let o = x + -36. Does 11 divide (-294)/o + (-4)/10?
False
Let c be ((-3)/(-2) - 2)*-40. Suppose -5*p - 96 = s + 3*s, 5*p = -c. Let m = 32 + s. Is 13 a factor of m?
True
Suppose -2*d + m = -36, 7*d - 3*d + 3*m - 52 = 0. Is d a multiple of 8?
True
Does 4 divide (-20)/((-3 - -4*1)/(-1))?
True
Let j = -36 + 18. Does 9 divide (-3 - -2)*1*j?
True
Let p(m) = 259*m + 2. Let a be p(-2). Does 19 divide 2/(-5) + a/(-15)?
False
Let x be 432/56 - (-2)/7. Let n = 37 + x. Does 15 divide n?
True
Let h = 129 - 42. Is h a multiple of 20?
False
Let v(m) = 75*m**2 + m + 1. Suppose 0*y = y + 1. Is 32 a factor of v(y)?
False
Suppose -3*d = -n + 5 + 2, 4*d + 22 = -5*n. Let g = n + 6. Suppose -g*a + 2*l + 112 = 0, 6*l - 2*l = -3*a + 106. Is a a multiple of 15?
True
Let o(x) = -x**2 + 12*x + 17. Is 2 a factor of o(13)?
True
Let k(j) = j**2 - j + 23. Let i be 1/1 - (-3 - -4). Let t be k(i). Suppose -5*r + 49 = 2*q + q, -3*q - t = -4*r. Does 5 divide r?
False
Let o = -1 - -31. Is o a multiple of 28?
False
Suppose -2*q = 4*i + 102, -4*i = -q + i - 72. Is -2*(0 - q/(-6)) a multiple of 11?
False
Let a be (308/(-8))/((-1)/2). Let j = a - 38. Is 21 a factor of j?
False
Suppose -2*x - 5*p - 18 = 0, -33 = 5*p - 13. Let m = 10 - x. Does 7 divide m?
False
Suppose 0 = i - 5*i - 2*k + 92, -2*i - 5*k = -30. Suppose 70 = 5*d - i. Does 19 divide d?
True
Suppose 0 = 4*q - 40 - 72. Is q a multiple of 14?
True
Suppose -3*z - 5*s = -53, 0*s + 5*s - 85 = -5*z. Suppose 4 = a - z. Is a a multiple of 7?
False
Let t(p) = -p**3 + 11*p**2 - 4*p + 3. Is 21 a factor of t(10)?
True
Let r = 50 - 33. Does 5 divide r?
False
Let t = 5 - 6. Let p = t - -14. Does 9 divide p?
False
Suppose 4*c + 8 = -36. Let j = 27 - c. Is j a multiple of 19?
True
Let z = 215 + -127. Is 22 a factor of z?
True
Suppose -3*h + 84 = 5*v, -5*h + 3*h - 69 = -5*v. Let w be v/(-4) - 2/8. Let u(k) = -8*k - 4. Is 10 a factor of u(w)?
False
Let k(n) = n - 3. Let l = -5 - -8. Let v be k(l). Suppose v*t = -t + 2. Does 2 divide t?
True
Let x(j) = 2*j - 7. Let t be x(5). Is (19 - 0) + -4 + t a multiple of 4?
False
Let t = 169 + -97. Does 18 divide t?
True
Is ((-3)/4)/((-32)/6656) a multiple of 16?
False
Let z(w) = -5*w. Let c = -3 - 1. Is z(c) a multiple of 6?
False
Let q be 0 + (4 - 3 - -2). Suppose -63 = -3*g + 3*a, 0 = -5*g - q*a + a + 119. Let w = g - 6. Is 8 a factor of w?
False
Suppose -z + 192 = 5*g, -5*z + 3*g - 2*g + 1090 = 0. Suppose -o = y - 41, -5*y + z = 4*o + 51. Does 13 divide o?
True
Let n(t) = -2*t - 2. Let s be n(-8). Suppose -o + s = 3. Is 11 a factor of o?
True
Let y = 121 + -69. Let b = 0 - -3. Suppose b*h - y = -h. Is h a multiple of 6?
False
Let o(h) = 5*h - 1. Let d be o(1). Suppose d*u - 4*y - 144 = 0, -3*u = 4*y - 68 - 68. Suppose u = -v + 3*v. Is v a multiple of 8?
False
Let p = 3 + -7. Let a = p + 2. Is 18 a factor of (25 - a)/(6/8)?
True
Let g(o) be the first derivative of o**3/3 - 3*o**2/2 + 7*o - 3. Is g(-7) a multiple of 11?
True
Suppose 3*p = -c + 18, 3*c + 2*p - 13 = 2*c. Suppose -2*i - 10 = -c*i. Does 5 divide i?
True
Suppose -3 = 5*z - 48. Is 5 a factor of z?
False
Let r(a) = -a + 1. Does 2 divide r(-7)?
True
Let s be -15 + 3 - 3/1. Does 11 divide 5/s + 34/3?
True
Let g = 6 - 5. Suppose h + 3 = q, 0 = q - 0*q - 2*h - g. Suppose q*f - 41 = 24. Is f a multiple of 5?
False
Let g(y) be the first derivative of -y**4/4 + 3*y**2/2 + 4*y - 2. Does 8 divide g(-3)?
False
Suppose -3*h + u = 6 + 5, -5*u = -10. Let w(d) = 4*d**2 + 3*d - 2. Is w(h) a multiple of 12?
False
Let s = 9 - -25. Suppose -s = -3*r + 2*p, -p - 32 = -4*r + r. Does 4 divide r?
False
Let n(h) = -4*h**3 + 2*h**2 - 5*h + 7. Let k(c) = 5*c**3 - 2*c**2 + 5*c - 8. Let z(a) = -3*k(a) - 4*n(a). Is 5 a factor of z(3)?
True
Let b(z) = 8*z**2 + 3*z + 20. Does 34 divide b(-4)?
True
Suppose 5*y = -v + 8, 0 = -2*v - 4*y + y + 2. Suppose -21 = -4*x + 91. Let t = v + x. Does 13 divide t?
True
Suppose -m + 40 = 5*s, 5*s - 2*m = -4*m + 35. Does 2 divide s?
False
Let r = 6 + -1. Suppose r*k - 43 = 17. Does 12 divide k?
True
Let o(k) = -13*k + 3. Let x be (-3 - (-4 - -3))*1. Does 18 divide o(x)?
False
Let r be 3/((-12)/4) - 2. Let g = 4 - r. Is g a multiple of 3?
False
Let l = 37 - 33. Is 4 a factor of l?
True
Let a(j) = 3*j - 20. Let f be a(8). Does 3 divide 6/24 - (-39)/f?
False
Let m(j) be the third derivative of -j**4/24 - 3*j**3/2 + 3*j**2. Let q be m(-9). Suppose q = -4*i + 29 + 107. Is 17 a factor of i?
True
Let y = 158 + -19. Is 24 a factor of y?
False
Let v(q) = 10*q - 19. Is v(22) a multiple of 11?
False
Let b = -5 - -8. Let h(a) = a**2 - 4. Let f be h(-3). Suppose b*l - 10 = f. Is l a multiple of 3?
False
Let b be 6/(4 + -1) - 2. Suppose -o - 3*o - 24 = s, b = 3*o - 2*s + 18. Let n = o + 9. Is n even?
False
Let j(n) = n**2 - n - 9. Let b be j(-12). Suppose -5*o + b = 2*i, i + 3*o - 80 = 7*o. Does 38 divide i?
True
Let v = 27 + -16. Let h = v + -8. Suppose -3*p + 5*p = h*f + 81, -p = -4*f - 28. Is p a multiple of 17?
False
Suppose -3*d = -g - 235, 0*d - 2*g - 150 = -2*d. Let c = d + -56. Suppose 5*q = -p + 6, 6*p = 2*q + p - c. Is q a multiple of 2?
True
Let k = -69 + 106. Is k a multiple of 5?
False
Suppose -3*o + 82 = u - 6*o, 2*u - 2*o - 172 = 0. Is u a multiple of 11?
True
Suppose 0 = 4*x + 4*b, -20 = 5*b - 0. Let c be ((-42)/9)/(x/(-6)). Suppose c = z - 4. Is 7 a factor of z?
False
Let n(h) = h**2 + 5*h + 2. Let u be n(-5). Let q(v) = -5 + 6*v**2 + u*v - 2 + 4. Does 10 divide q(2)?
False
Let d(k) = -2*k. Let g be d(-1). Suppose 0 = g*c - 2*w - 104, -5*c - 5*w = -246 - 64. Suppose 4*a = c + 131. Does 16 divide a?
False
Let x = 198 + -135. Is x a multiple of 24?
False
Let m(d) be the first derivative of 4*d + 1/4*d**4 - 3*d**2 + 1 + 5/3*d**3. Does 4 divide m(-6)?
True
Let n(l) = -l - 1. Let y be n(-5). Suppose -y*p = u + 2 - 8, 3*u = p + 57. Does 6 divide u?
True
Let p(a) = a**2 + 75. Is 9 a factor of p(0)?
False
Let b = -10 - -37. Suppose 0 = -4*d + 3*x - 8*x + b, -6 = -3*d + x. Is d a multiple of 3?
True
Let s(d) = -d**3 - d**2 + d + 2. Let v be s(0). Suppose v*c - 64 = 4*z, 5*c + 2*z - 124 = -0*z. Is c a multiple of 13?
True
Let k be 827/5 - (-8)/(-20). Suppose k + 255 = 5*x. Does 28 divide x?
True
Let r(s) = s**3 + 6*s**2 - 3*s - 6. Does 4 divide r(-6)?
True
Let z(