 b = 1206 + -891. Is 27 a factor of b?
False
Let r = 582 + -334. Does 8 divide r?
True
Let q = 1219 + -695. Does 4 divide q?
True
Let t = -2360 - -3975. Is t a multiple of 95?
True
Let j be ((-4)/8 - 0)*-6. Let w(y) = -y**2 + 6*y - 4. Let g be w(j). Suppose 249 = g*d - 2*d. Is 22 a factor of d?
False
Let v = -92 + 93. Is 10 a factor of 67 + 2/(-2 + v)?
False
Suppose -649 = 4*h - 1513. Does 8 divide h?
True
Suppose 30 = i - 4*b, b = -5*i - 4*b + 25. Let l(t) = 3*t - t - 14 + 0*t. Does 3 divide l(i)?
True
Let t be 96/(-4)*(-2)/4. Suppose 0 = -2*g - 3*w - 3, 7*w - 4*w + t = g. Suppose g*c = c + 196. Does 14 divide c?
True
Let l(y) = y**2 + 16. Let j be l(10). Let b be j/(-12) + (-4)/(-6). Let z = 15 + b. Does 6 divide z?
True
Let y(t) = t**2 + 6*t + 6. Suppose -2*l = -5*m - 30, l - 5 = 3*m + 12. Let a be y(m). Let k = 6 - a. Does 5 divide k?
False
Suppose 0 = -3*v + 6*v + 27. Let g(u) = u**2 + 7*u - 13. Let i be g(v). Suppose 4 = -i*n + 99. Is 19 a factor of n?
True
Let w(l) = 5*l**2 - 9*l + 3. Let m(o) = -6*o**2 + 10*o - 3. Let a(g) = 4*m(g) + 5*w(g). Let z be a(7). Suppose -12*i - 340 = -z*i. Is 12 a factor of i?
False
Let y(b) = 22*b**3 + 5*b - 2. Suppose -2*k + 9 = -t, -2*t = -2*k + 7 + 7. Is y(k) a multiple of 15?
False
Suppose -2*s - 2 = 4. Let t(q) be the second derivative of q**5/20 + q**4/6 - 5*q**3/6 - q**2 + 2*q. Is 4 a factor of t(s)?
True
Suppose -2*t + 5*o = 2*o - 23, -2*t = 3*o - 53. Let n = 31 - t. Is n a multiple of 6?
True
Suppose -2*o + 5*d - 205 = 3*o, 0 = -5*d + 15. Let k = o + 54. Does 4 divide k?
True
Let r(t) = 12*t - 166. Is 4 a factor of r(18)?
False
Let m(x) be the first derivative of -x**2 - 10*x + 3. Is m(-8) even?
True
Suppose 0 = -4*c + 8*c - 12. Suppose -c*r + 4 = -2. Suppose -s + 2*a = 2, 1 = r*s - 5*a + 9. Is s a multiple of 6?
True
Let d = 71 - 42. Let b = -25 + d. Suppose -f = -4, 5*f = -b*u + 2*f + 548. Is u a multiple of 25?
False
Suppose 22*s - 28*s + 7920 = 0. Is 44 a factor of s?
True
Let t = 367 + 241. Does 19 divide t?
True
Suppose 70 = 2*j + 54. Is j a multiple of 3?
False
Suppose 53*v - 44*v = -900. Let a = v + 350. Is a a multiple of 10?
True
Let b(h) = 3*h**2 + 3*h - 9. Let k be (20/16)/(2/(-8)). Is 17 a factor of b(k)?
True
Suppose 0 = -4*u - 4*f + 24, 4 = 12*u - 11*u + 3*f. Suppose -5*t + 102 = 2*o, -3*o - 108 = -4*t + 2*o. Let p = t - u. Is p a multiple of 5?
True
Suppose -12727*l = -12733*l + 18762. Does 59 divide l?
True
Suppose -s + 0*h = -3*h - 3, -3*h - 6 = 0. Is 11/(-33) - 949/s a multiple of 27?
False
Let a be 9 + -2*(-2)/(-4). Suppose -2*r + 10 = -a. Suppose -u = -r + 1. Does 8 divide u?
True
Let v be 120/25*(1 - 171/6). Let r = 203 + v. Does 13 divide r?
False
Let w(k) = 2*k**2 + 40*k + 106. Is 82 a factor of w(-31)?
False
Let b be 3*(-8)/(-12)*9. Is 11 a factor of 57/(-2)*(-60)/b?
False
Suppose 0 = -3*i + 2*j - 581 + 1903, 5*j = 2*i - 885. Is 44 a factor of i?
True
Suppose 4*m = -4*t - 44, -5*m + 5*t + 13 = 48. Let h = m + 2. Is (-235)/h - (-21)/49 a multiple of 22?
False
Suppose 58*h - 50*h = 1008. Is h a multiple of 7?
True
Suppose 4*t + 0*t - 56 = 0. Suppose 0 = 11*a - t*a + 45. Suppose a = v - 5*d - 9, 3*v - 162 = -3*d. Is 16 a factor of v?
False
Suppose -2*d + 15 = -3*z + 3, 0 = -4*d - 5*z - 20. Is 30 a factor of (61 + d - 3) + 2?
True
Let g(t) = -t - 5. Let l be g(-8). Suppose 35 = 5*k - 2*o, 0 = -k - o - l*o - 15. Suppose 0*j = k*j + 5*r - 335, 0 = r - 4. Does 21 divide j?
True
Let g(u) = 3*u**2 + 16*u + 48. Is 60 a factor of g(-6)?
True
Let i = -264 + 612. Is i a multiple of 29?
True
Suppose -b - g = 3*g - 99, 4*b - 336 = -g. Suppose -4*q + 77 = -b. Suppose 6*o - q = 5*o. Does 20 divide o?
True
Does 3 divide (-450)/(-675) + (722/3)/2?
False
Let r = 334 - -58. Is 28 a factor of r?
True
Suppose 22*h = 24097 - 73. Is 91 a factor of h?
True
Suppose -12*z = -22169 + 3041. Is 15 a factor of z?
False
Suppose b - 4 = -3*v, 4*b - 8*b = 3*v - 34. Let q(k) = k**2 - 10*k + 24. Does 12 divide q(b)?
True
Let g = 7 + 258. Does 10 divide g?
False
Let m(g) = g**3 + 17*g**2 - 5*g - 22. Is m(-17) a multiple of 9?
True
Let c = -4749 + 8475. Does 23 divide c?
True
Suppose 0 = 8*b - 7*b + 41. Let n be (-58 - -2) + (-2 - -1). Let w = b - n. Is w a multiple of 8?
True
Let a(y) = 97*y**2 - 8*y + 12. Does 16 divide a(2)?
True
Suppose 7*x = 3270 + 2008. Is 15 a factor of x?
False
Suppose 0 = 2*v - d - 11, v + d - 1 = 12. Does 10 divide (1 + 7)*(180/v)/9?
True
Let q = -11 - -12. Let u = 2 + q. Suppose k + 2*d - 1 - 10 = 0, 0 = 2*k + u*d - 22. Is k a multiple of 3?
False
Let a(v) = -v + 1. Let o(l) = 7*l + 9. Let g(r) = -4*a(r) - o(r). Does 17 divide g(-10)?
True
Let m(h) = -2*h - 1. Let r be m(1). Is (-5)/15 + (-145)/r a multiple of 16?
True
Does 23 divide (23 + -22)*(-2 - (-2 + -46))?
True
Suppose 265 = 2*m - 3*r, 0 = 5*m - 5*r - 212 - 453. Does 13 divide m?
False
Let n be 3 - (1 + 0 - -6). Let w = n - -8. Let v(z) = z**3 - 4*z**2 + 3*z + 4. Does 16 divide v(w)?
True
Let b = -21 + 10. Let i = b - -46. Does 22 divide i?
False
Let t = 2254 + -812. Is t a multiple of 36?
False
Let r = -183 - -289. Does 53 divide r?
True
Suppose -4*g + c + 485 = 0, -4*g - 32*c + 27*c + 455 = 0. Is g a multiple of 15?
True
Let o(a) = -a**2 - a + 13. Let m be o(0). Let i be (-24)/(-32) - m/(-4). Suppose 0 = -i*q - q + 195. Is 13 a factor of q?
True
Let t(r) = 3*r - 12. Let a be t(5). Suppose -43 = -a*b + 35. Is b a multiple of 5?
False
Let u be 5*(1 - -3)/4. Suppose -2*l = 3*t - 56, -u*t + 12 = 2*l - 76. Is t a multiple of 5?
False
Is (8/(-6))/(54/(-891)) a multiple of 22?
True
Let a be 69/(-12)*4/(-1). Let c = -1 + a. Suppose -2*h - 33 = -g + c, 3*h = 4*g - 205. Is g a multiple of 12?
False
Suppose -11 = -2*y + 5*k, -2*y + 4*k = -0*k - 14. Let b(x) = -x + 22. Does 6 divide b(y)?
False
Let r(c) = c**2 - c - 16. Let v be r(5). Suppose 0 = -v*a, -8*o = -3*o - 3*a - 365. Does 7 divide o?
False
Suppose 42*d - 720 = 37*d. Is d a multiple of 7?
False
Suppose r + r = 6. Suppose 3*v = -2*f + 118, -2 = r*v - 8. Does 17 divide f?
False
Let u(b) = b**2 - 9*b + 4. Let y be u(5). Let p = y + 25. Does 40 divide p*17 + 0/(-3)?
False
Suppose -3*i = 12, n = -5*i - 18 + 3. Suppose -s + 59 + 47 = 3*p, -3*s = n*p - 170. Is p a multiple of 9?
False
Let w be ((-3 - 2) + 7)/(-2). Let f(g) = -335*g + 1. Is 16 a factor of f(w)?
True
Suppose 4*t = -16 + 120. Suppose -6 = -5*d - t. Let x(a) = -2*a + 8. Does 10 divide x(d)?
False
Let i = 2599 + -1811. Does 19 divide i?
False
Let u(w) = 13*w**2 + 89*w - 13. Let f be u(-7). Let d(i) = -4 + 70*i + 4. Is d(f) a multiple of 19?
False
Suppose -2*u - 427 = -i, 0 = 2*i + 4*u - 418 - 468. Is 23 a factor of i?
False
Is 65 a factor of (6/(-3))/(((-12)/(-6339))/(-2))?
False
Suppose -2*m + 4*h + 24 = 0, -3*m - 2*h + 33 = -11. Is 7 a factor of m?
True
Let h(d) = 41*d + 274. Is 33 a factor of h(7)?
True
Let c(m) = -11*m - 19. Let f be c(11). Suppose 3*v = b + 9, 2 = -2*v + 12. Is 35 a factor of f*(15/b + -3)?
True
Suppose 6 = 3*i + 18. Let n be (-420)/(-98) + i/14. Suppose 4*s - 32 = -n*c + 12, -s - 4*c = -11. Is 8 a factor of s?
False
Let u(q) = -28*q + 520. Is u(-16) a multiple of 8?
True
Suppose -3*w = -w - 10. Suppose 2*h - w*h + 252 = 0. Does 21 divide h?
True
Let s(v) = 4*v - 6*v - v**3 - 1 - 4*v + 10*v**2. Let r be s(7). Let z = r - 70. Does 9 divide z?
False
Let i(m) be the second derivative of -m**3/6 - 7*m**2/2 - 5*m. Let s be i(-6). Is 2 a factor of (2 + -1)/(s/(-3))?
False
Suppose 5*v = 3*q - 284, 0*q = -3*q + v + 280. Suppose -3*s + q = -0*s + 3*h, -2*h = s - 29. Is s a multiple of 5?
False
Suppose 4*h + 12 = 4*d, 0 = -3*h + 5*d - 7 - 8. Let f(w) = -w**3 + w**2 - w + 2. Let k be f(h). Suppose 2*s + k*x = 91 - 3, 0 = -x + 2. Is s a multiple of 29?
False
Suppose -2*c + 451 = o + c, 4*o - 1795 = -3*c. Suppose -488 = -6*g + o. Does 26 divide g?
True
Suppose -3*x + 4*t = -243, t = 5*x + 4*t - 376. Suppose 6 = -f - 21. Let s = x + f. Is s a multiple of 25?
True
Let y be (-2)/4*(774 - 2). Let h = -260 - y. Suppose 22 = -4*c + h. Is c a multiple of 10?
False
Suppose 180 = 36*a - 30*a. Is a a multiple of 6?
True
Suppose 0 = -2*f - 5*l - 10, 5*l + 8 + 2 = -f. Suppose x + f*x = 50. Let j = -26 + x. Is j a multiple of 24?
True
Suppose -40 = -7*d + 674. Let x = d - 87. Is 13 a factor of x?
False
Let x = -216 - -485.