. Is b a multiple of 17?
True
Is (-5 + 17/1)*1585/15 a multiple of 72?
False
Let f = 28 - 17. Let b = 11 - f. Suppose 4*w + 0*w - 5*r = 274, 4*w + 3*r - 290 = b. Does 31 divide w?
False
Let s(w) = 7*w - 17. Let j(z) = z**3 + 5*z**2 + 2*z - 7. Let n be j(-3). Is 5 a factor of s(n)?
False
Let r be 8 - (0/(-2))/(-3). Suppose r = 2*n, 3*x + 3*n = 6*n - 39. Let w(i) = -i - 5. Is w(x) a multiple of 2?
True
Let x = 36 - -46. Is 4 a factor of x?
False
Suppose 929 + 111 = 4*w. Does 4 divide w?
True
Is (-11)/((-220)/710)*30 a multiple of 15?
True
Let p = 15 + -11. Suppose m + 2*g - 217 = -2*m, -227 = -3*m - p*g. Is 5 a factor of m/184 + (-293)/(-8)?
False
Let n be (4 + 4)/(2 + 20/(-8)). Is 7 a factor of (-3)/(2/2) - 944/n?
True
Let y = 93 - -259. Does 32 divide y?
True
Let s(f) = -f - 10. Let v be s(-12). Suppose -4*u = -3*k + 49, 0 = v*k - 4*u + 3*u - 26. Is k a multiple of 4?
False
Suppose -13 = -2*p - 19. Is -3 + 66 - 0/p a multiple of 8?
False
Let l = 460 - 298. Is 20 a factor of l?
False
Let f(z) = 142*z**3 - z**2 - 3*z + 5. Does 13 divide f(1)?
True
Let b(z) = z**2 + 3*z + 7. Let w be b(-5). Suppose f + 3*y - 66 = 0, -5*y + w = f - 45. Is f a multiple of 24?
True
Let n(b) = b**2 - b. Let d be n(0). Suppose d = -j - 1 + 4. Suppose 12 = 3*a - j*o, 3*a - 13 = -o + 5*o. Does 2 divide a?
False
Suppose m + 5*d - 231 = 0, -5*m + 1083 = -4*d + 5*d. Let q = m + -121. Is 15 a factor of q?
False
Let r be (-6)/15 - (-2)/5. Suppose r*i + 3*i - 21 = 3*o, 3 = 3*i + 3*o. Suppose -5*f - 28 = i*l - 540, -106 = -f - 2*l. Does 30 divide f?
False
Let z(h) = -3*h - 6. Let o be z(-4). Let x be (2/o)/((-7)/(-147)). Let v = x - -10. Does 5 divide v?
False
Suppose 10 = -5*s + 40. Suppose s*g + 364 = 8*g. Does 13 divide g?
True
Let p(i) = 134*i - 1. Let t be p(1). Suppose -f = -5*r + t + 114, 0 = 4*r - 3*f - 191. Does 25 divide r?
True
Let y = -208 + 328. Is y a multiple of 20?
True
Let u(q) = 20 - 19 - 3*q - 19*q**2 + 4*q. Let v be u(-1). Let l = 6 - v. Does 4 divide l?
False
Let h(k) = -k**2 + k + 17. Let s be h(-3). Suppose 2*a - 444 = 3*c, -s*a = -a - 5*c - 892. Does 37 divide a?
False
Let w(v) = -5*v**3 + 12*v**2 - 9*v - 4. Let p(y) = y**3 - y**2 + 1. Let s(x) = -4*p(x) - w(x). Let m be s(6). Does 22 divide (-206)/(-4) - (-9)/m?
False
Let t = 1941 - 1107. Does 24 divide t?
False
Let d(f) = 42*f - 49. Does 66 divide d(11)?
False
Suppose n = -2*f + 5*n + 8, -4*f = -5*n - 10. Suppose f = 4*o - 6 - 94. Does 5 divide o?
True
Suppose 4*f = 1 - 5. Let z be 2 - -1 - (f + 4). Suppose z*r - 5*r + 310 = 0. Is 31 a factor of r?
True
Let w(q) = q**2 + 8*q + 6. Let t be -2 - 1 - (-3)/(-1). Let j be w(t). Let d(m) = m**2 - m + 6. Does 7 divide d(j)?
False
Let q be 147 + 1 + (1 - -2). Suppose 3*g + 5*h - q = 0, -2*h = 2*g - h - 103. Does 13 divide g?
True
Let y = -1 + 4. Suppose 8 = 5*r - y*r. Suppose p + 18 = r*p. Is p even?
True
Suppose -3*b - 4*m + 5407 = -5*m, 0 = 3*b - 3*m - 5409. Is 53 a factor of b?
True
Let y be (-3)/(-9) + 228/(-9). Let h = 57 + y. Does 8 divide h?
True
Suppose -3*b = 6, q - 5*b - 71 = -6*b. Is 3 a factor of q?
False
Let o(d) = -20*d**3 - d**2 - 6*d - 1. Let a be o(-2). Suppose -8*x + a + 137 = 0. Does 3 divide x?
False
Suppose 3*h + 10 = -3*b - 8, -3*b = 2*h + 18. Let f = b + 10. Suppose f*k = -k + 345. Is k a multiple of 23?
True
Let m be 2 - (1 + -4 + -2). Suppose -2*h + 4*l + 28 = 0, -m*h = -3*h - 5*l - 56. Is h a multiple of 8?
False
Does 46 divide 153 - (1 - (0/(-3) - -2))?
False
Let i be (-15)/(-8 + 10 + -5). Suppose -2*b = -2*q, 2*q - 5*q = 2*b - 10. Suppose -4*n = i*y - 126, -q*n - 20 - 16 = -2*y. Is 11 a factor of y?
True
Let h(m) be the first derivative of m**4/4 + 7*m**3/3 + 3*m**2/2 + m + 11. Does 9 divide h(-5)?
True
Let b(c) = -c. Let x(s) = 8*s + 7. Let j(o) = 5*b(o) + x(o). Let q be ((-9)/(-12))/((-3)/(-48)). Is j(q) a multiple of 20?
False
Let a be -3 + (-9)/(-12)*4. Suppose a = -3*q + 8*q - 540. Does 41 divide q?
False
Let p be (11 + -11)/(-1*1). Does 2 divide (-3)/(-9)*(p + 0 - -78)?
True
Let g(o) = -o**3 - 9*o**2 - 4*o - 7. Let r = 35 + -44. Does 23 divide g(r)?
False
Let p(r) = r**2 - 7*r - 8. Let i be p(8). Let g = 1 - -3. Is 2 a factor of 2 + g*(1 - i)?
True
Let t(o) = -o**3 + 3*o**2 - 2. Let l be t(2). Let x be 0/(0 + -1 + l). Is 2*(x - (-75)/6) a multiple of 10?
False
Suppose 0 = 1147*r - 1139*r - 2976. Does 16 divide r?
False
Suppose -2 = -3*l - 41. Let s(m) be the first derivative of m**3/3 + 7*m**2 + 27*m - 57. Is 5 a factor of s(l)?
False
Suppose 0 = f - 2*f - 2*a, -a - 27 = -4*f. Suppose 3*k + 6 = 2*l - 0*l, -4*k - 2*l = -f. Suppose k*p = -p + 27. Does 19 divide p?
False
Suppose 0 = 5*y - 3*m - 21, 2*m + 18 = -y + 5*y. Suppose y - 42 = -v. Does 12 divide v?
True
Suppose d - 1521 + 183 = -2*h, 0 = h - 1. Is d a multiple of 27?
False
Suppose -4084 = -13*s + 1116. Does 20 divide s?
True
Suppose -14*k + 19684 + 69972 = 0. Is 22 a factor of k?
False
Suppose -171 = -5*o + 49. Let w = -62 + o. Let f = w - -24. Is 2 a factor of f?
True
Let o = -185 + 329. Let p be 2/(-10) - 748/10. Let h = o + p. Is 23 a factor of h?
True
Does 18 divide (-918)/7*2030/(-435)?
True
Let s = 181 + 73. Is 27 a factor of s?
False
Let s = -25 - -20. Is 51 a factor of 3*(205/3 + s/15)?
True
Let q(n) = -n + 3. Let m be q(0). Suppose -m*v - 3 = 9. Let s(l) = l**2 - l - 3. Does 6 divide s(v)?
False
Suppose -3*n = 2*n - 3*h - 40, 0 = -4*n + 4*h + 40. Suppose n*p - 378 - 372 = 0. Let z = p - 83. Is z a multiple of 20?
False
Let g(l) be the third derivative of l**4/8 - 25*l**3/6 + 8*l**2. Let u be g(10). Let t(y) = y + 9. Is t(u) a multiple of 4?
False
Let l(k) = k**2 + 9*k - 4. Let u be (-7 + 4)/3 - -7. Is l(u) a multiple of 9?
False
Suppose r - 7*r + 990 = 0. Is 33 a factor of r?
True
Suppose -8*d - 152 = -7*d. Let p = d - -245. Is p a multiple of 23?
False
Let j(y) = -y**2 - 9*y - 14. Let c be j(-5). Suppose -i = -12 - c. Suppose -i = -5*a + 197. Is 20 a factor of a?
False
Let s(g) = 23*g**2 + 4*g. Let j be s(-2). Suppose 0*t = 3*t - j. Does 14 divide t?
True
Let c be 2*((-360)/(-4) + -8 + 4). Let r = 323 - c. Is 15 a factor of r?
False
Let h = -29 + 33. Suppose -280 = -h*m - 7*v + 3*v, -2*m - v + 142 = 0. Does 10 divide m?
False
Suppose -2*k - 238 = 92. Let r = 308 + k. Is 13 a factor of r?
True
Let a = 62 - 60. Suppose -5*j + 3*k + 405 = 0, -a*j + 2*k + 141 = 5*k. Is 14 a factor of j?
False
Let m(r) = -51*r**3 + 9*r**2 + r - 2. Is m(-2) a multiple of 44?
True
Does 75 divide (-10)/(-6)*(132 - (1 - 4))?
True
Let a be 15 + -2 + (2 - 0). Let u = a - -40. Is u a multiple of 8?
False
Let l(t) = 34*t - 50. Let i(d) = -d**2 - 7*d + 5. Let g be i(-7). Is l(g) a multiple of 12?
True
Let x(f) = -2*f**2 - 28*f - 23. Let o be x(-13). Does 5 divide (o/(-1) + 9)*10/4?
True
Suppose 4*h = -j + 27, j + h - 27 = -2*h. Suppose 2*n + 69 = j. Let m = 85 + n. Is 16 a factor of m?
True
Let g be (15/9)/5*-195. Let u = g + 158. Is u a multiple of 31?
True
Suppose -4*g + 5*o + 71 = 0, -2*g + 4*o + 72 = 2*g. Let r = g + -19. Suppose r = 2*u + 5*m - 35, -53 = -2*u + m - 0*m. Does 5 divide u?
True
Let w = 725 + -527. Is w a multiple of 10?
False
Let p = 16 - -17. Suppose 0 = 31*g - p*g + 176. Is g a multiple of 44?
True
Let m be 0*5/(-7 - 3). Let r(j) = j**3 + j**2 + j + 111. Is r(m) a multiple of 17?
False
Is 20 a factor of (-276)/(-460) + (-1424)/(-10)?
False
Let g be (-2)/(-8) - 95/(-20). Suppose g*d = -0*d + 3*m + 342, 3*m + 273 = 4*d. Does 8 divide d?
False
Suppose 5*j + 29 = 3*q, 0 = -4*q + 15 - 3. Let i(v) = -v**2 - 8*v - 10. Is 4 a factor of i(j)?
False
Let m be (-4)/(-16) + (1 - (-14)/8). Suppose 0 = -m*d + 335 + 124. Does 12 divide d?
False
Let j(r) = r**2 - 2*r. Let c be j(3). Let u(x) = 117*x + 1. Let v be u(1). Suppose 0 = 5*b + m - v, b + c*m + 2*m - 14 = 0. Is 8 a factor of b?
True
Let g = 331 + -265. Is g a multiple of 22?
True
Does 88 divide (-18)/(-81) + (-2316)/(-27) + 2?
True
Let m(a) = -a**2 + 7*a. Suppose 2*j - 6*j = -4*s + 24, -2 = 2*j. Is m(s) a multiple of 5?
True
Let g = 53 - 19. Suppose 2*w - 118 = -g. Suppose -y - 14 + w = 0. Is y a multiple of 14?
True
Let c(q) = -q**2 - 8*q - 7. Let x be c(-2). Suppose -4*w - 2*u + 44 = -6*u, x*u + 10 = 0. Is 3 a factor of w?
True
Let t = -122 + 137. Let a(v) = -v**3 + 17*v**2 - 15*v - 19. Is a(t) a multiple of 17?
False
Su