of 17?
False
Suppose -3*g + 3057 = 2*w, -2411 = -4*w + 5*g + 3736. Is 73 a factor of w?
True
Let y(v) be the second derivative of -v**5/20 - 5*v**4/12 + 13*v**3/6 + 11*v**2/2 + 22*v. Is y(-8) a multiple of 14?
False
Let r = 105 + -91. Suppose r*l - 12*l = 180. Is l a multiple of 19?
False
Let h be 4 - 5 - -64 - -1. Suppose 2*w + 3*w = -25, -4*q - 4*w + h = 0. Is q a multiple of 3?
True
Let s(f) = 38*f**2 - 23*f + 125. Is 11 a factor of s(4)?
False
Let x(a) = 25*a + 6. Let f(d) = 26*d + 7. Let g(h) = -4*f(h) + 3*x(h). Does 6 divide g(-2)?
True
Suppose 0 = -4*f + 4*b + 88, 25 = 2*f + 2*b - 7. Suppose 5*m = 2*d + 54, 3*d - f = -2*m + 14. Is 12 a factor of m?
True
Let s(i) = 396*i**2. Let t be s(-1). Let r = 394 - 390. Suppose 0 = -0*x - r*x + t. Is 25 a factor of x?
False
Suppose -5*m - 15*n + 12*n = -909, m + 3*n = 189. Does 15 divide m?
True
Is ((-44)/(-9))/(4/18) a multiple of 4?
False
Suppose 3*l - 5 = 4*m, -3*m + 5 - 21 = -4*l. Suppose h + 2 = l. Suppose -y + 5 = 0, 2*w - w - 27 = -h*y. Is w a multiple of 2?
True
Let x = 45 + -43. Suppose -114 = -x*k - 10. Is k a multiple of 26?
True
Suppose -10 = 5*t, -2*b + 38 = -5*t - 44. Suppose -5*s + b = 201. Let h = s + 52. Is h a multiple of 10?
False
Does 24 divide 116 - 10/(40/12)?
False
Let x = 285 + -192. Let q = 162 - x. Is q a multiple of 16?
False
Let u(a) = -2*a**2 - 21*a + 27. Let h be (-9)/12 - (-123)/(-12). Does 13 divide u(h)?
False
Let t(d) = -2*d**2 + 4*d + 7. Let m be t(9). Let g = m + 303. Does 12 divide g?
False
Let f(b) = b**3 + 11*b**2 + 6*b - 32. Let j be f(-10). Suppose -3*p + j*p = 1130. Is 10 a factor of p?
False
Suppose -5*s = 89 + 56. Let y = s - -189. Is y a multiple of 8?
True
Let u(v) = -7*v + 12. Let n(p) = p**3 + 9*p**2 - 9*p + 4. Suppose -21 = 3*q + 3*m, -q = 3*q - 3*m + 49. Let a be n(q). Is 18 a factor of u(a)?
True
Suppose -2*t = -4*n + 110, 2*t + 4*n = -n - 110. Let y = 3 - t. Is 11 a factor of y?
False
Let u be 6 + (3 - 5 - -1). Suppose 0 = 5*z + 5*o - 50, -4*z - 6 = -7*z + u*o. Suppose j - 25 = -z. Is 18 a factor of j?
True
Suppose 0 = 5*y - 2*y - 5*m - 361, 0 = -5*y - m + 555. Suppose -142 = -2*q + y. Is q a multiple of 30?
False
Is 56065/35 + -3*(-2)/42 a multiple of 9?
True
Let h = 85 + -12. Does 6 divide h?
False
Suppose 7*w - 546 = 1148. Is w a multiple of 121?
True
Let z be ((-8)/6)/(12/(-2934)). Let f = z + -173. Is f a multiple of 14?
False
Let d be (-1)/4 + (-147)/4. Let m = -197 + 296. Let i = d + m. Does 22 divide i?
False
Let f(x) = -8*x + 7. Let g(y) = -y**2 + 2*y - 3. Let p be g(3). Let i be f(p). Is i*(16/(-10))/(-4) a multiple of 22?
True
Let o(t) = 2*t**3 + 45*t**2 + 20*t - 110. Does 13 divide o(-21)?
True
Suppose 3*u = -u + 5*v + 287, 3*u - 254 = -4*v. Does 68 divide u?
False
Does 28 divide 163 + -4*(-10)/8?
True
Suppose 13*f - 472 = 633. Is f a multiple of 27?
False
Suppose 50 - 15 = 7*f. Suppose -f*d + 40 = b - 127, d - 3*b - 27 = 0. Is 20 a factor of d?
False
Let k = -640 + 803. Is k a multiple of 3?
False
Let a(x) = 2*x**3 - 5*x**2 + 6*x. Let h be a(4). Suppose -5*n + h = -n. Is (59/(-2))/((-9)/n) a multiple of 17?
False
Suppose b = 5*d - 14 - 2, 5*d + 17 = -2*b. Let w = 14 + b. Let k(g) = 15*g - 4. Does 12 divide k(w)?
False
Let i(a) = -22*a**2 - 10*a - 5. Let t(f) = 44*f**2 + 20*f + 9. Let b(p) = -5*i(p) - 2*t(p). Is 25 a factor of b(-3)?
True
Let x(l) = -l**2 + 2*l + 8. Suppose -14 = -2*s - 8. Let r be x(s). Suppose 0 = -r*i - 2*i + 616. Does 24 divide i?
False
Suppose 4*j + 4*u = 1304, -3*j - 5*u + 263 = -721. Is j a multiple of 6?
False
Let j(m) = m + 2. Let w = 29 + -17. Suppose 2*t - 32 = -w. Is j(t) a multiple of 4?
True
Suppose -4*u + 18 = -46. Let s = 5 + u. Does 5 divide s?
False
Is (-1)/3 + 228271/219 a multiple of 15?
False
Let h be ((-8)/10)/((-32)/80). Let g be ((-22)/(-5) + -2)*5. Is ((-88)/g + h)*-6 a multiple of 8?
True
Suppose -2*b - 15 - 20 = -5*l, -3*b - l = 44. Is 33 a factor of 0 + 349 - (-4)/((-20)/b)?
False
Let i = -881 + 1248. Does 28 divide i?
False
Suppose -3*b = -a + 77 + 213, 4*a + 5*b = 1177. Is a even?
False
Let d(i) = -i**3 - 5*i**2 + 3*i - 6. Let r be d(-8). Suppose -94 = -2*l + r. Is l a multiple of 20?
False
Let r be ((-16)/12)/(-4)*0. Suppose 8 = -3*d - 2*q, 5*d + 0*q + 5*q + 15 = r. Let z(t) = -2*t**3 + t**2 - 3*t - 2. Does 8 divide z(d)?
True
Suppose 0 = 3*x - 5*y - 1108, x - 3*y + 3 - 379 = 0. Does 10 divide x?
False
Let u(r) = 2*r**3 + 21*r**2 - 9*r + 12. Let x be u(-11). Let d be (2*3/(-6))/1. Does 21 divide 75 + d - x/(-10)?
False
Suppose 0 = 2*v - 5*w - 135, -4*w = 2*v - 2*w - 142. Does 7 divide v?
True
Suppose 23*w - 3350 = -1257. Does 7 divide w?
True
Suppose -3*j + 5*q = 1 - 0, -j + 3*q - 3 = 0. Suppose -j*y = -6*y + 12. Is 2 a factor of y?
True
Let f(o) = -2*o + 2. Let b be f(-3). Does 13 divide b/((-40)/(-345)) + -4?
True
Suppose -6*g = -3*g - 1254. Is g a multiple of 22?
True
Is (-5 + 4 + 3)/(1/54) a multiple of 9?
True
Suppose -s - 92 = -0*q - 3*q, 0 = q + 4*s - 48. Is 10 a factor of q + 3*(-4)/6?
True
Let z be ((-23)/(-3))/(10/30). Let q be -3 + -4 + 5 + z. Suppose 4*y - 130 + q = 5*o, -y + 5*o + 31 = 0. Is 13 a factor of y?
True
Suppose 5*q = 4*n - 1083, 5*q + 302 = n + 10*q. Is n a multiple of 10?
False
Suppose 6*w = 5*w. Let i be 14/7 + w + 0. Suppose 32 = -i*s + 3*s. Is 19 a factor of s?
False
Let w(c) = 101*c**2 - 16*c. Does 58 divide w(-1)?
False
Suppose 0 = 1449*h - 1427*h - 43208. Is h a multiple of 8?
False
Suppose 3*g + 2891 = 5*x, x + 0*g - g - 577 = 0. Suppose 7*i = 12*i - x. Does 8 divide i?
False
Does 57 divide 0 - -347 - (8 - (0 - -3))?
True
Let m(v) = v**2 - v + 152. Let b be 22 + -21 - (-1)/(-1). Is 23 a factor of m(b)?
False
Let f(i) be the first derivative of -9*i**2/2 - 18*i - 17. Is 36 a factor of f(-6)?
True
Let v = 374 - 242. Does 11 divide v?
True
Let v = 1613 - 1141. Suppose v = 9*f - f. Does 17 divide f?
False
Suppose 20 = -2*q - 72. Let y = q + 119. Does 6 divide y?
False
Suppose n - 3*q = 212, -2*n + 349 = -4*q - 65. Does 2 divide n?
False
Let q = -230 - -534. Suppose 0*x - q = -x. Does 26 divide x?
False
Let n(x) = x**2 - 3*x + 2. Let o be n(3). Let u(g) = 2*g**o - g**3 + 0*g**2 + 9*g + 2*g + 7*g**2 + 6. Is 10 a factor of u(10)?
False
Let k be ((-42)/(-4) + -2)*-2. Let w be (11 - 12)*(-1 + k). Let r = w - 10. Is r a multiple of 4?
True
Let f = 529 - 147. Is 10 a factor of f?
False
Let n = 269 - 478. Let p = -118 - n. Let f = -65 + p. Is 16 a factor of f?
False
Let a be (-6 - -4) + 5 + 24. Suppose -5*d - 123 = a. Let i = -8 - d. Is 16 a factor of i?
False
Suppose 1220 = 4*x - 136. Suppose x = 4*g - 181. Suppose 4*i - 2*j - 104 = 0, 9*j = -5*i + 4*j + g. Does 4 divide i?
False
Let j be ((-360)/63)/(8/(-28)). Suppose -t - j + 51 = 0. Does 31 divide t?
True
Suppose g - 4*m = -9*m + 50, -5*g = -5*m - 310. Suppose -5*x + 0 = -g. Suppose 0 = -0*v - v - 2*k + x, -5 = k. Is 8 a factor of v?
False
Let a = -37 - -19. Let j = 33 + a. Is j a multiple of 3?
True
Let w be ((-63)/(-42))/(6/8). Let d(v) = 2*v - 3. Let f be d(3). Suppose 5*u = f*n + 377, w*n + 53 = 5*u - 325. Is 11 a factor of u?
False
Let u(d) = -11*d + 0*d - d**2 - 10 + 14 + 2*d. Is 7 a factor of u(-8)?
False
Suppose 3*d + 4*i - 80 = 0, -4*d + 2*i - 3*i + 124 = 0. Let j be d*(-4)/(10 + -2). Is 15 a factor of 8/(-64) - 770/j?
False
Suppose d = 5*o + 111, -4*d - 2*o + 275 = -125. Is 14 a factor of d?
False
Let u be (-5)/(-2)*54/(-45). Let h be u + 0 + 1 + 11. Does 3 divide (-3 - (-33)/h)*6?
False
Suppose -t - 2*s + 5 = 0, 2*s + 42 = 3*t - s. Let j(y) = 9*y - 22. Let a be j(5). Let r = a + t. Is r a multiple of 15?
False
Let k be (-27)/(-5) + -6 + 13/5. Suppose k*n - 126 = 218. Is n a multiple of 15?
False
Let t(r) = 208*r - 496. Is t(7) a multiple of 15?
True
Suppose -5*q + 5 + 5 = 0. Let g = 21 + 147. Suppose d + 5*b = -2*d + 168, q*b + g = 3*d. Is d a multiple of 28?
True
Let s = -59 + 80. Is s a multiple of 7?
True
Let q(o) be the second derivative of -o**6/180 - o**5/12 - o**4/3 - 9*o. Let g(h) be the third derivative of q(h). Is g(-7) a multiple of 4?
False
Suppose -507 + 167 = 4*i. Is 5 - 2/1 - (i - 2) a multiple of 22?
False
Let l(d) be the third derivative of -1/60*d**5 + 1/2*d**3 - 5/12*d**4 + d**2 + 0 + 0*d. Is l(-7) a multiple of 8?
True
Let u = 18 - 13. Suppose 0 = -2*f + 3*w + 13, 0 = u*w - 14 - 