). Let t = s - 61. Suppose 0 = r - 3*x - 87, 3*r - 2*x = t + 146. Is r a multiple of 28?
False
Suppose 3*k - 212 = -0*k + t, 4*k - 281 = 3*t. Suppose l = 5*n + 50, 3*l = -3*n + k + 97. Does 11 divide l?
True
Let u be ((-2)/(-6))/(1/(-33)). Let b = 25 - u. Does 18 divide b?
True
Let j = 90 - 93. Is 263 + (18/j)/(-2) a multiple of 38?
True
Is (0 + 331)/((1 - -6) + -6) a multiple of 15?
False
Let s(d) = -4 + 3*d + 2 + 2*d. Let t be s(2). Suppose 44 = 3*i + t. Is i a multiple of 6?
True
Let c(y) be the second derivative of -11*y**5/20 + y**4/6 + y**3/3 - y**2/2 - y. Is 13 a factor of c(-2)?
True
Suppose 13*t - 429 = 871. Does 5 divide t?
True
Let m be -1 + (5 - 0) + -4. Suppose -2*t - 5*d + m*d = 1, 0 = 3*t - 4*d - 56. Is 3 a factor of t?
True
Suppose 8 = 5*k - 3*k. Suppose 0*x = k*x - 96. Does 9 divide x/14*(-84)/(-8)?
True
Let r = 59 - 55. Suppose 85 = -r*m + 305. Is 13 a factor of m?
False
Suppose 0 = 10*u - 910 + 220. Is 3 a factor of u?
True
Suppose -d + 5*o + 13 = -4, 0 = -3*d - 3*o - 39. Does 15 divide 330/4*d/(-12)?
False
Let p(k) = -3*k**3 - 4*k**2 + 16*k - 3. Is p(-8) a multiple of 16?
False
Let f(z) be the first derivative of z**3/3 - 2*z**2 - z + 9. Let o be f(-5). Let u = -17 + o. Is 11 a factor of u?
False
Suppose -9*t - 45 - 36 = 0. Let q = 19 - -2. Let b = t + q. Is b a multiple of 6?
True
Let u = 536 + -195. Is 14 a factor of u?
False
Let j(h) = -5*h + 4. Let u be j(4). Let y = 33 - u. Does 10 divide y?
False
Suppose 29*s - 468 = 23*s. Let x = 0 + 4. Suppose s = x*n + 10. Does 17 divide n?
True
Let o(d) = 184*d - 5. Let j be o(-12). Let n = j - -3253. Is (-4)/(-10) - n/(-25) a multiple of 14?
True
Let v(x) = 7*x**2 + 2*x - 2. Let c(u) = 8*u**2 + 3*u - 2. Let q(g) = -6*c(g) + 7*v(g). Is 19 a factor of q(-3)?
True
Let r(n) = -18*n + 528. Does 20 divide r(-4)?
True
Let x be 1/3 - (-896)/3. Let u be ((-3)/1)/(13/x). Let k = u - -170. Is k a multiple of 31?
False
Let n = -118 - -1045. Does 16 divide n?
False
Suppose -4*f = f - 25. Suppose 2*d - 5*t - 23 = -d, f*t + 25 = 5*d. Suppose 3*k = 4*p - 29, k = p - k - d. Is 11 a factor of p?
True
Suppose 210 = -2*c - 50. Let g be (9 - 11)/(1/c). Suppose g = 5*f - 105. Is f a multiple of 21?
False
Let w(z) = z**3 - 9*z**2 + 8*z - 1. Let h be w(8). Let n be (3 + h)*6/4. Suppose 305 = 5*j + 5*u, n*j - u - 119 = j. Is j a multiple of 12?
True
Does 67 divide 70/21*-134*(-21)/28?
True
Let k(c) = -3*c**3 - 16*c**2 + 9*c - 10. Let x be k(-7). Suppose -68 = -2*p - 5*b, 0 = -2*p + 6*p + b - x. Is 22 a factor of p?
True
Does 40 divide 8798/5 - 54/(-135)?
True
Let u(p) = 4*p**3 + 17*p**2 + 2*p. Let h be u(-4). Suppose -h*m + 465 = -3*m. Does 5 divide m?
False
Let a be ((-24)/(-30))/(2/35). Suppose a*o = 12*o + 216. Is o a multiple of 25?
False
Suppose 3*j = -4*l - 22 + 134, -l - j = -27. Let s = l - -1. Is s a multiple of 5?
False
Suppose 0 = -11*y + y + 110. Let u(w) = 9*w - 11. Is u(y) a multiple of 11?
True
Let v(p) be the second derivative of p**3 - 6*p**2 + 9*p. Does 14 divide v(9)?
True
Let n(d) = d**2 - 12*d - 43. Is 33 a factor of n(22)?
False
Suppose -34 - 290 = -2*y. Suppose y = 2*z + 62. Does 7 divide z?
False
Suppose -2*l = -3*u + 88, -4*u - 7*l + 3*l = -144. Does 32 divide u?
True
Suppose 2734 = 4*t - b, -t + 2*b = -2*t + 679. Does 5 divide t?
False
Suppose 2*l + 24 + 10 = 4*n, 2*n - 5*l - 5 = 0. Suppose n = 2*d - 0. Is d a multiple of 5?
True
Let f = 90 + -80. Let d(v) = 6*v**2 + v - 2. Let y be d(3). Suppose x - f = y. Is x a multiple of 22?
False
Let f be -2 + 1 - 473/(-1). Suppose 4*j - f = 140. Is j a multiple of 9?
True
Suppose 4*c + 0*c + 3*b = 468, c - 2*b - 117 = 0. Let o = c - 42. Suppose g = -4*g + o. Is 15 a factor of g?
True
Let b(i) = -i**2 - 3*i + 14. Let h be b(-6). Let m = -7 - h. Is 73 + (1 - (5 + m)) a multiple of 24?
True
Is 4212/3 + (23 - 19) a multiple of 64?
True
Let h(c) = 2*c + 7 - 5 + 15 + 18. Does 18 divide h(16)?
False
Suppose 4*p - 16 = 8*p. Is 7 a factor of (-1 - 1/(p/8)) + 118?
True
Let y be (-2)/(-5*(-10)/525). Is 6 a factor of (y/7)/((-9)/93)?
False
Suppose n + 5*x = 330, 4*n + n - 5*x = 1680. Suppose g = -4*g + 5*i + 475, 4*g - n = -5*i. Is 17 a factor of g?
False
Let p(a) = 41*a**2 + 19*a - 39. Does 9 divide p(3)?
True
Let d = -101 - -1091. Suppose 3*g - d = -6*g. Is g a multiple of 22?
True
Let z(a) = -3*a**3 - 20*a**2 - 41*a - 10. Is 4 a factor of z(-9)?
False
Suppose 2*u - 3*l = -23, 3*l = 3*u + 10 + 17. Is 2 a factor of 4*(75/10 + u)?
True
Let t be 5/(15/(-279))*-1. Suppose t = 5*m - 2. Is 16 a factor of 2*m - (-12)/(-3)?
False
Let q(n) = 7*n + 196. Is 3 a factor of q(-25)?
True
Suppose 10 = -3*y + 5*y. Suppose -2*t - y*t + 126 = 0. Suppose -28*j = -26*j - t. Is j a multiple of 6?
False
Let x(k) = -9*k + 5*k - 5*k - 7. Let m be x(-6). Suppose -15 = 4*f - m. Is f a multiple of 5?
False
Let o(k) = -k**3 + 4*k**2 + 5*k + 12. Let c be o(5). Suppose 0 = -w + 3*t + 15, -4*w + 9 = t - c. Is w even?
True
Is 22/55*25*16 a multiple of 20?
True
Suppose 9*w + 2750 = 10706. Is 24 a factor of w?
False
Suppose -3*k = -126 - 666. Does 12 divide k?
True
Let a be (33/(-9) - -1)/((-6)/9). Suppose -5*j = -25, -a*f + 150 = f - j. Is f a multiple of 3?
False
Suppose -2*u - 5*f = -1020, 7*f = 4*u + 10*f - 2068. Is 65 a factor of u?
True
Let i = -27 + 27. Suppose -152*m + 156*m - 720 = i. Does 45 divide m?
True
Suppose -2*r = h - 11, h - 2*r + 5 = -0. Suppose -5*t + 10 = -3*s, -h*s + 0 = -4*t + 5. Suppose -81 = -4*a - t. Is a a multiple of 7?
False
Let d(c) = -85*c + 5. Is d(-1) a multiple of 50?
False
Suppose 14 = w + 2*g, 2*g - 7*g = -3*w + 20. Suppose -b - x = -23, 3*b + 2*x - 12 = 54. Suppose 2*j - b - w = 0. Does 15 divide j?
True
Suppose -10 = a + 114. Does 3 divide (-44)/110 - a/10?
True
Let g be ((-20)/(-25))/((-4)/50). Does 15 divide g*-12*1*114/152?
True
Suppose 101*t - 103*t + 9360 = 0. Is t a multiple of 45?
True
Suppose 987 = -5*j + 12*j. Let v = -72 + j. Is 18 a factor of v?
False
Let z be (1240/(-30))/((20/(-6))/5). Suppose 0 = 2*q - q + 2, -3*i - 5*q = -z. Does 3 divide i?
True
Suppose -p + 5*w + 1261 = 0, -4*p + p = -5*w - 3753. Does 16 divide p?
False
Let n be 3 + 0 - 0/9. Suppose 67 = n*p - 83. Suppose 0 = 2*a - 124 - p. Does 29 divide a?
True
Let h = -18 - -18. Suppose h = 5*u + 3*z - 1585, 0*z - 5 = z. Is u a multiple of 14?
False
Suppose -2*f + 2*d + 7120 = 3*f, -3*f + 4293 = 3*d. Does 29 divide f?
False
Suppose -3*v + 43*v - 1040 = 0. Let b = -8 + 23. Let q = b + v. Does 7 divide q?
False
Let x(s) = s - 1. Let r be x(2). Let l(m) = -m + 23*m**2 - 6 + 5 + 2. Is 11 a factor of l(r)?
False
Let h(w) = 21*w**2 + 2*w + 2. Let z(f) = -f**3 - 3*f**2 - f + 1. Let u be z(-3). Let x = u + -6. Does 26 divide h(x)?
False
Suppose -r + 236 = -q, 10*r - 11*r + 5*q = -240. Is r a multiple of 2?
False
Suppose -5*h - 1325 = -5*i, -h - 2*h + 1365 = 5*i. Is 27 a factor of i?
True
Let l(r) be the second derivative of -3*r**3/2 + r**2 + 9*r. Is 29 a factor of l(-3)?
True
Does 74 divide ((-1176)/9)/(1/(-3))?
False
Suppose 5*i - 63 = -23. Suppose -i*r + 261 = -4*r + 3*y, 2*r + y - 133 = 0. Is r a multiple of 3?
True
Let f(a) = 128*a + 10. Is f(3) a multiple of 43?
False
Suppose -o - 4*l - 3 = 0, 3*o + 8*l - 3*l = -37. Let p = 27 + o. Suppose -16 = -p*n + 7*n. Is 8 a factor of n?
True
Let l(h) = 4*h**2 + 57*h - 96. Is l(-28) a multiple of 76?
True
Suppose 5*g - 2*c = 29, -11 = -3*g - 4*c + 2*c. Suppose 56 = 4*i - f - 8, -4*f - 91 = -g*i. Does 2 divide i?
False
Let b(s) = -20*s**2 + 239 - 14*s**2 + s + 35*s**2. Let z be b(0). Suppose n = -l + 65, 0 = 4*n - 2*l - z - 9. Is n a multiple of 17?
False
Suppose 2 = 2*x + 4. Let y(o) = -5*o + 1. Let g be y(x). Suppose -a = 2*u - 37, g*a + 14 = u + 2*a. Is 5 a factor of u?
False
Let g(m) = m**2 + m + 3. Let h be g(-7). Suppose h = 2*d - 19. Is d a multiple of 7?
False
Let x(k) = -k**2 - 3*k + 9. Let b be x(-4). Suppose -3*q - 31 = -2*a, -5*q - 6 - 59 = -b*a. Is 4 a factor of a?
True
Suppose -262 = 6*d + 236. Let a = d + 126. Is a a multiple of 11?
False
Let v(a) = -a**3 - 9*a**2 + 5*a - 18. Let u(f) = f**2 + 9*f - 10. Let m be u(-9). Does 8 divide v(m)?
True
Let f be (-5)/1 + 2 + 2. Suppose -5*c = 5, -k - 9 = 3*c - 2*c. Is 22 a factor of (-47)/f + (k - -5)?
True
Let w = 11 + -11. Suppose w = -4*c - 2*o + 118 + 56, 5*o + 195 = 4*c. Sup