b = 128 + 411. Is 49 a factor of b?
True
Let c = 157 + 403. Does 36 divide c?
False
Let v be (0*5/(-20))/(-1). Suppose v = -p + 5*w + 154, -4*p - 343 = -4*w - 1023. Is p a multiple of 18?
False
Suppose -233 = 3*z - 4*h + 1074, -5*h - 5 = 0. Let b = -294 - z. Is 24 a factor of b?
False
Does 5 divide (0 + (-656)/12)/(16/(-240))?
True
Let l(g) = -2*g - 2. Let a be l(2). Let y be (-302)/a + (-5)/15. Suppose n - y = 18. Is n a multiple of 14?
False
Is 39 a factor of 35/(-14) + 5/(50/18745)?
True
Let p(w) = -636*w - 59. Is p(-3) a multiple of 17?
False
Suppose 2 = 2*o, 5*z - 2*o = -2 - 75. Let h be 3/z + (-436)/(-5). Does 20 divide (3 + h/(-9))*-15?
True
Let i(n) = -8*n**2 + 13*n + 4. Let a be i(-11). Let s = -765 - a. Is 41 a factor of s?
False
Suppose 8 = 8*u - 4*u. Suppose u*x + 34 = 258. Is 27 a factor of x?
False
Let u(r) = 3*r**3 - 9*r**2 + 9*r - 5. Let z(x) = -7*x**3 + 17*x**2 - 17*x + 10. Let j(a) = -5*u(a) - 2*z(a). Is j(7) a multiple of 31?
True
Let l = 25 - 21. Suppose 5*w - 1 = 3*b - b, l*w + 4 = b. Is 5 a factor of (17 - b)*(-1 - -2)?
True
Suppose 0 = -4*x, -2*y + 130 = 3*y - 3*x. Let n = y - 23. Suppose -2*l + 30 = 5*h, n*h = -l - 4*l + 37. Does 2 divide h?
True
Let s(v) = -v**3 - 5*v**2 - 3. Let q(f) = f**3 + 6*f**2 + 2. Let l(k) = -4*q(k) - 3*s(k). Let n be l(-9). Is 5 a factor of 4/(-4) - (-36 + n)?
False
Suppose 4*u - 9 = 7. Suppose 17 = -i + u*v, -i - 9 = -v - v. Is 10 a factor of 273/12 - i/4?
False
Let k = 10 + -6. Suppose -k*p + 91 = 19. Suppose 62 = 2*s - p. Does 7 divide s?
False
Suppose 0 = -2*f - 8 - 2, s + 5*f = -1820. Does 24 divide -2*s/50 + 1/5?
True
Let i(p) = -14*p**2 + 6*p + 12. Let f(h) = -9*h**2 + 4*h + 8. Let b(d) = -8*f(d) + 5*i(d). Is 11 a factor of b(7)?
False
Let o be ((-1)/2)/(4/(-40)). Suppose 4*d + 12 = -2*b, o*d + 2*b - 8 = -23. Does 4 divide 84/18 + (-1)/d?
False
Is 10 a factor of 35*((-32)/28)/(-4)?
True
Suppose 3*v = -t + 3951, -3933 = -3*v - 4*t + 9*t. Is 21 a factor of v?
False
Let l = 28 - 9. Suppose l = x + 13. Suppose -x*w - 27 + 93 = 0. Is w a multiple of 8?
False
Let r(o) = -o**3 - o**2 - o - 2. Let j be r(-2). Suppose k + 471 = 5*b, -4*k + 9*k = -j*b + 371. Suppose 0 = 5*m - 21 - b. Is m a multiple of 13?
False
Let j(z) = z**2 - 6*z + 2. Let c(x) = x**2 - 6*x - 12. Let b be c(7). Does 6 divide j(b)?
False
Suppose -8 = 2*x, 5261 = 4*m - 3*x + 657. Does 15 divide m?
False
Let w = 708 + -572. Does 4 divide w?
True
Let y(l) = 6 + 2 - 11 - 11 + 22*l. Does 24 divide y(5)?
True
Suppose 2*d = 4, -3 = 4*y + y - 4*d. Suppose i - 12 = -2*i. Is 12 a factor of y/((i - 1)/108)?
True
Suppose 9*h - 1229 - 769 = 0. Is 4 a factor of h?
False
Suppose 20 = 3*x - x. Let f = -7 + x. Suppose -3*w + 3*p + 57 = w, p = -f*w + 33. Is w a multiple of 12?
True
Does 12 divide ((-7224)/215)/(3/(-105))?
True
Let w(r) = 3 + 1 - 3 + 9*r. Let o be w(2). Suppose -2*m = -o - 29. Is 7 a factor of m?
False
Let j = 236 - 155. Does 4 divide j?
False
Let l = -6 + 8. Suppose -10*o + 260 = -9*o. Suppose -3*h + o = l*h. Is h a multiple of 16?
False
Let j(n) = 236*n**3 - 2*n**2 - 2*n. Let x(y) = -473*y**3 + 5*y**2 + 4*y - 1. Let w(h) = -7*j(h) - 3*x(h). Does 15 divide w(-1)?
False
Let h = -36 + 225. Let x = h - 69. Is 20 a factor of x?
True
Suppose 21 = 5*q + 2*v, 30 = 4*q + 4*v - 9*v. Suppose 2*h = -10, 3*h = q*z + 4*h - 10. Suppose -4*c - 20 = 0, 94 = z*d - 3*c + c. Does 19 divide d?
False
Suppose 5*j = -4*y + 1883, 3*j + 17 = 14. Is 37 a factor of y?
False
Let d(i) = 33*i**2 - 9*i - 56. Is 15 a factor of d(7)?
False
Let s(o) = o**2 + o - 20. Let i be s(-12). Does 11 divide -3 + (-28)/(-10) + i/10?
True
Let x = 16 - 19. Let d(a) = 4*a**2 - 2. Does 12 divide d(x)?
False
Let g(c) = -439*c**2 - c. Let q be g(1). Let b = q - -665. Suppose -m = 4*m - b. Is 15 a factor of m?
True
Suppose 0 = -2*p - 4*d + 2024, -3*p - 2*d + 3845 = 817. Is p a multiple of 18?
True
Suppose 0 = -5*o + g + 433, 4*o - 11*g - 338 = -13*g. Does 5 divide o?
False
Suppose 0 = 5*i - 10, -12*k - 325 = -15*k + i. Does 5 divide k?
False
Suppose 16*l - 819 = 7*l. Suppose -5*b + 112 = 2*c, -4*c = 5*b - 335 + l. Does 6 divide c?
True
Let j be (-3 - (-1 - 0)) + 72. Let h(b) = -12*b - 259. Let l be h(-21). Is 31 a factor of (-20)/j + (-324)/l?
False
Let y(g) = -74*g - 10. Let t be y(-6). Suppose t = 6*j + 50. Suppose -5*z - 9 = 3*a - 25, -5*a + z + j = 0. Is a a multiple of 4?
True
Let h(k) = -20*k**3 - 6*k**2 + 10*k + 5. Is h(-3) a multiple of 14?
False
Let h(p) = -p**3 - 6*p**2 - p - 11. Let k be h(-4). Let u = 67 + k. Is u a multiple of 8?
False
Let y(q) = 35*q + 147. Is y(5) a multiple of 7?
True
Suppose 4*j - m - 1323 = 0, 406 - 61 = j - 5*m. Suppose -2*v + 7*v - j = 0. Does 24 divide v?
False
Suppose -56*f + 72 = -60*f. Does 11 divide 693/f*(-12)/7?
True
Let k(x) = x**2 - 5*x + 20. Does 17 divide k(7)?
True
Let h(s) = -s**3 + 13*s**2 - 39*s - 15. Is 3 a factor of h(7)?
True
Let a(g) = g - 6. Let r be a(8). Suppose 0 = 6*u - r*u + 2*p - 100, -128 = -5*u - 4*p. Is 6 a factor of u?
True
Suppose 51597 = 34*j - 38571. Does 78 divide j?
True
Let k = 305 - -778. Is 15 a factor of k?
False
Let q = -815 + 2195. Does 23 divide q?
True
Let l(b) = b**3 + 6*b**2 + 5. Let s be l(-5). Let v = 62 + s. Is 12 a factor of v?
False
Let k(s) = s + 4. Let j be k(-2). Suppose j*g - x = 259, 4*x = -2*g - 2*g + 548. Is 33 a factor of g?
True
Suppose -5*v = 12 + 8. Let d be 0/(v*4/(-8)). Suppose -3*s + 3*t - 2*t + 76 = 0, d = 4*s - t - 100. Is s a multiple of 21?
False
Let h(n) = -n**2 + 20*n - 16. Let x be h(19). Suppose 3*j = 2*t - 559, -2*j - 311 - 515 = -x*t. Is 34 a factor of t?
True
Let j = 30 + -3. Suppose 3*a = -2*t + 70, -t + j = a - 10. Let f = t - 11. Is f a multiple of 30?
True
Let f(v) be the first derivative of v**3/3 + 5*v**2 + 14*v + 10. Let h be f(-11). Let m = -13 + h. Is m a multiple of 6?
True
Suppose 24 = 24*m - 20*m. Suppose m*u = 9*u - 69. Suppose u = 3*t - 13. Is t a multiple of 7?
False
Suppose -17*y + 16 = -15*y. Let a(z) = z**2 - 9*z + 11. Let w be a(y). Is (w - 1)/((-2)/(-27)) a multiple of 27?
True
Let m be (-8)/20 + 42/5. Suppose -s - 7 = m. Is 714/15 - 6/s a multiple of 12?
True
Let r = 455 + -160. Is r a multiple of 2?
False
Let a = -144 - -94. Is 165/20*(-2 - a) a multiple of 59?
False
Let w(z) = -z**2 - 5*z + 6. Suppose 4*l + 4 = -5*k - 21, 5*l + 21 = 4*k. Let i be w(l). Let n(s) = 11*s - 9. Does 22 divide n(i)?
False
Let c(j) = j + 1. Let k(u) = 6*u. Let a(t) = 2*c(t) - k(t). Does 9 divide a(-22)?
True
Let c(d) = d**2 + 33*d + 29. Does 33 divide c(-35)?
True
Is (13 + -7)/(2*(-2)/(-40)) a multiple of 20?
True
Suppose 13 = s - 211. Is 10 a factor of s/24*3*1?
False
Let a(n) = 40*n - 120. Does 5 divide a(12)?
True
Suppose -5*q - 4 = -3*u + 6, 3*u + q = 16. Suppose 6*i - 5*i + 3*v = 14, -u*i = 4*v - 70. Is 8 a factor of i?
False
Let n = 30 - 47. Let o(t) = -t**2 - 16*t + 41. Is 4 a factor of o(n)?
True
Let d = 4 - -13. Let t = d - 17. Suppose 0 = -t*p - p + 16. Does 4 divide p?
True
Let q(g) be the first derivative of 5*g**3/3 - 2*g**2 + 2*g - 5. Let c be q(3). Let d = c + -21. Does 12 divide d?
False
Suppose 4*q - 3 = -2*d + 1, 1 = -4*d + q. Suppose 4*p + 4*p - 288 = d. Is 12 a factor of p?
True
Suppose -5*z - h = -470, 115 = 4*z - 3*z - 4*h. Let t = -125 - -128. Suppose -2*g - t*b + 49 + 76 = 0, -3*b - z = -2*g. Is g a multiple of 22?
False
Suppose 0 = 5*x - 3*w - 54, 0 = -5*w + 2*w - 9. Suppose -25 + x = -y + l, -48 = -5*y - 3*l. Let s = -5 + y. Is s a multiple of 3?
False
Let g = -561 - -785. Is 32 a factor of g?
True
Suppose 0 = 8*k - 3*k + 35. Let i(p) = -14*p - 6. Let w be i(k). Does 15 divide -4 + (-3 - -3) + w?
False
Let j(y) = 35*y - 752. Is j(58) a multiple of 10?
False
Let m = 2 - -22. Is (2/m - (-6)/(-18))*-116 a multiple of 29?
True
Let p = 16 + 15. Suppose -3*l + 1 - p = 0. Let r = l + 41. Does 9 divide r?
False
Let p = -11 + 16. Suppose t + p + 90 = 4*j, 30 = j + t. Does 25 divide j?
True
Let a(u) = 5*u**3 + 11*u**2 - 24*u + 29. Suppose -2 = -2*s + s. Let m(j) = j**3 + 3*j**2 - 6*j + 7. Let n(x) = s*a(x) - 9*m(x). Is n(5) a multiple of 15?
False
Let l(g) = -g**3 - 5*g**2 + 7. Let o be l(-3). Let d = o - -4. Let v(x) = -8*x - 6. Is v(d) a multiple of 25?
True
Let r(z) = 270*z - 72. Is 8 a factor of r(4)?
True
Suppose -y + 8 = y. Suppose 8*w - 3*w = 