o(l) = -3*l + 15 + l**2 + 7*l - w*l + 19. Is 17 a factor of o(0)?
True
Suppose -49 = 2*i - 9*i. Suppose 229 = i*c - 338. Is c a multiple of 16?
False
Let u(y) = -11*y + 271. Let w(d) = -5*d + 136. Let s(o) = -2*u(o) + 5*w(o). Is 56 a factor of s(0)?
False
Let g(h) = 103*h + 2. Let b be g(-1). Let p = -61 - b. Does 10 divide p?
True
Let r(o) = o**2 - o + 32. Let y be r(0). Suppose y = j + 4*b, 3*b + 75 = -2*j + 4*j. Is j a multiple of 4?
True
Let q(r) = 0*r**2 - 15*r**2 + 10*r**2 + 14*r**2 - 2 + r**3 + 10*r. Is q(-7) a multiple of 12?
False
Let q be -2 + 5/5*-19. Suppose -b - 38 = -1. Let m = q - b. Is 16 a factor of m?
True
Let a = 45 - 43. Is (-1)/a + 21/6*3 a multiple of 5?
True
Let k be (-2441)/(-1 + 0 + 0). Suppose -1264 = 3*c + k. Does 19 divide ((-8)/10)/(26/c)?
True
Suppose -4*b + 124 = -2*b. Let z = 48 + b. Is z/20 - 2/4 a multiple of 5?
True
Let b(v) = -12*v - 10. Let k be b(-5). Let h = k + -20. Is h a multiple of 2?
True
Suppose -631 = -4*n + 969. Does 23 divide n?
False
Let n = -1599 + 2570. Is n a multiple of 9?
False
Suppose -62*o - 155 = -67*o. Is o a multiple of 15?
False
Suppose -m = -5*f + 137 + 83, -3*f = -m - 130. Let d be 20/f*27/6. Suppose d*b + 304 = 7*b - q, 5*b - 280 = -5*q. Does 15 divide b?
True
Let b be 22/(-7)*35/(-15)*24. Does 17 divide (b/(-32))/((-1)/26)?
False
Let c(h) = -h**3 + h + 16. Let w be c(0). Suppose -2*f - w + 270 = 0. Is f a multiple of 28?
False
Suppose 2*c + 2*c - 11 = k, 5*c - 11 = 4*k. Is 3 a factor of (c*-2)/(3/66*-4)?
True
Let v = -346 - -516. Let j = 419 - v. Is 21 a factor of j?
False
Let h be 1/1 - 3/(-3). Suppose 3*w + 3*f - 160 = h*f, -3*w = -f - 164. Does 9 divide w?
True
Let a(s) = 13*s**2 - 25*s + 108. Is 10 a factor of a(7)?
True
Suppose 2*c - 12 = 4*f, -4*c + 25 = -4*f + 5. Suppose 4*s + z = -72, 0*z = -c*s + 4*z - 72. Let r = s - -32. Is r a multiple of 14?
True
Let u = 22 + -17. Let t(o) be the first derivative of -o**3/3 + 7*o**2/2 + 9*o - 9. Is 18 a factor of t(u)?
False
Suppose 5*d + 458 = -742. Let i = -156 - d. Does 26 divide i?
False
Let s = -6659 - -11846. Is s a multiple of 13?
True
Let s = 4 - 2. Suppose -s*q + d = -6 - 4, 0 = q + 2*d. Suppose 2*u = -5*p + 7 + 47, -q*p + 67 = 3*u. Does 8 divide u?
False
Let l(c) = -5*c**3 + 47 + c**3 - 2*c + 3*c**3 - 46 - 2*c**2. Is l(-2) a multiple of 2?
False
Does 21 divide 112/(((-2)/(-15))/((-3)/(-15)))?
True
Let o(q) = 518*q**2. Let b be o(-1). Suppose 257 = 5*p - b. Suppose -3*f + p - 41 = 0. Is 16 a factor of f?
False
Suppose 198*j - 4*f - 705 = 193*j, 5*f + 555 = 4*j. Is j a multiple of 10?
False
Let x be ((-6)/(-4))/(1/6). Let g be (-220)/495 - (-62)/18. Suppose -g*n = -0*n + 12, -s + x = -n. Does 3 divide s?
False
Let s(k) = -k - 4. Let p be s(-7). Let r be (1/p)/((-8)/(-840)). Is 6 a factor of (24/14)/(5/r)?
True
Suppose -5*h + 10 = 0, j + 5*h - 7 - 9 = 0. Suppose 3*y - j = 9. Suppose 0 = -y*o + 5*m + 245, -3*o + 152 = 5*m - 11. Is 17 a factor of o?
True
Let v = -114 + 200. Suppose -v - 186 = -4*o. Is 17 a factor of o?
True
Let c be 2/(-7) - 1290/(-105). Suppose -k - 2*k + c = -2*f, 5*k - 20 = -3*f. Does 15 divide (-1 - -18)*(k - 3)?
False
Let o be ((-8)/(-20))/((-1)/(-45)). Suppose 16*l = o*l. Does 25 divide -129*(-4)/6 + l?
False
Suppose 4*r = -5*o + 112, -5*r - 2*o + 127 = o. Let w = r - 15. Is w a multiple of 2?
True
Suppose -l - 9 = -14. Suppose 11 = 2*k - 5*g - 23, -k - l*g = -2. Does 2 divide k?
True
Let i be (5 + -4 + 8)/1. Suppose i*t = 10*t - 142. Is t a multiple of 11?
False
Suppose v - 2*u + 34 = 0, -6*u + 96 = -3*v - 3*u. Let h = -10 - v. Suppose -16 = -2*c + h. Does 9 divide c?
True
Let d be (-5)/(4 + 39/(-9)). Suppose -27 = 3*x - 3*h, -36 + d = 3*x - 5*h. Does 3 divide 8 - (-4)/x*6?
True
Suppose -9*o - 55 = -5*w - 4*o, -47 = -4*w + o. Does 12 divide w?
True
Suppose -6*g + 1 = -17. Suppose 0 = 2*q + 2*d - 106, g*q - 7*q - d + 224 = 0. Does 53 divide q?
False
Is 480/(-14)*14/(-4) a multiple of 37?
False
Suppose 3*c = 4*z - 3920, 4*z + 2*c - 2940 = z. Is 14 a factor of z?
True
Suppose 6*t - 6 = 9*t. Let k(p) = -3*p - 1. Let r be k(t). Suppose 6*w = r*w + 36. Is 12 a factor of w?
True
Suppose -3*d + 28 = -c, 5*d - 4*c - 52 = -c. Suppose -93 = -5*u + 7. Is 6 a factor of 2/d - (-115)/u?
True
Let i(f) = f + 5. Suppose 5*l + 40 = 5. Let b(x) = 2*x + 9. Let y(t) = l*i(t) + 4*b(t). Is 3 a factor of y(7)?
False
Suppose -7 + 4 = -y. Let u = -6 + y. Let a(k) = -14*k - 3. Does 12 divide a(u)?
False
Let q(p) = -11 - 31*p**3 + 32*p**3 - 8*p**2 + 6*p + 17*p**2. Does 5 divide q(-8)?
True
Suppose -4*j + 13 = -11. Let a = -104 + 110. Suppose -a*i + 4*i + j = 0. Does 2 divide i?
False
Suppose 534 - 2199 = -3*o. Is 21 a factor of o?
False
Let a = 35 + -49. Let x = 14 + a. Suppose -4*p + 20 = -x*p. Is p a multiple of 3?
False
Suppose 19149 - 6605 = 14*b. Is 32 a factor of b?
True
Let z(j) = 14*j + 60. Is 6 a factor of z(-3)?
True
Suppose -4*f = 2 - 22. Does 6 divide 0 - -14 - (f - 3)?
True
Let s(r) = r**3 - 13*r**2 + 12*r + 2. Let c be s(12). Suppose c*f = -8 + 16. Suppose -f*l + 54 = 2*l. Is 2 a factor of l?
False
Suppose 2*o = 4 - 12. Let m be (-7 + -2)*o/(-6). Is 16/24 - 56/m a multiple of 5?
True
Let u be (-426)/4*(-1 + 3). Let d = u + 318. Let p = d - 49. Is 28 a factor of p?
True
Let b = 727 - 353. Is 10 a factor of b?
False
Suppose 3*m + 2 = 5. Let f(v) = 57*v. Let y be f(m). Let z = y + -7. Does 25 divide z?
True
Let i = 41 + -50. Let d = 36 - i. Does 12 divide d?
False
Let p = 13 + -19. Let u(s) = -14*s - 100. Let c be u(-8). Let x = p + c. Is x a multiple of 2?
True
Let v = -37 + 27. Let t be v/(2 - (-26)/(-12)). Suppose -2*m + 7*m = t. Is m a multiple of 3?
True
Suppose -b + 5*s + 32 = 0, -b + 8 + 12 = -s. Let i = b + 54. Is 18 a factor of i?
False
Let g = -218 + 368. Suppose v - g = -40. Suppose -148 = -5*p + o, -3*p - p + v = -5*o. Is p a multiple of 6?
True
Let v(p) = -2*p**3 - 14*p**2 - 31*p - 18. Let m(i) = -i**3 + i**2 + i + 1. Let f(j) = -3*m(j) + v(j). Does 10 divide f(19)?
False
Let p(a) = -a**2 - 2*a + 80. Let o(n) = 2*n**2 + 2*n - 81. Let z(b) = 2*o(b) + 3*p(b). Is 26 a factor of z(0)?
True
Is (-10)/1*(-15)/3 a multiple of 10?
True
Let y = -173 - -533. Is 15 a factor of y?
True
Suppose 0 = -2*s - 2*v + 686, -s - 331 = -2*s + 2*v. Is s a multiple of 33?
False
Let z(t) = -t**3 + 6*t**2 + 6*t + 2. Is z(5) a multiple of 23?
False
Let p = 20 + -18. Suppose -5*s + 351 - 96 = i, -p*i - 40 = -s. Does 10 divide s?
True
Let q(g) = 20*g - 2 - 3*g - 18. Let c be q(5). Suppose -u + 15 + c = 0. Is 20 a factor of u?
True
Let g = 847 - 564. Is 6 a factor of g?
False
Let n(v) = v**3 + v**2 - 21. Let l be n(0). Let p = 4 - l. Is p a multiple of 21?
False
Let k be 10/(-15) + (-14)/6. Let n(j) = 11*j**2 + 4*j - 7. Is 18 a factor of n(k)?
False
Let l = 1721 + 370. Is 17 a factor of l?
True
Suppose -5*g = -2*n + 12, 2*g = 3*n + 3*g - 1. Is 15 a factor of (-9)/2*(-19 + -2 + n)?
True
Suppose -3*u = u + 5*x - 48, 0 = -2*x. Let y = u + -10. Suppose -10 = -2*a, -y*a + 70 = 4*i - 0*i. Does 15 divide i?
True
Suppose -4*z - 9118 + 23922 = 0. Is z a multiple of 36?
False
Let n = -1 + -3. Let c(o) be the third derivative of o**5/10 - o**4/6 - o**3/2 - o**2 - 229*o. Does 28 divide c(n)?
False
Suppose -o + 77 + 20 = 0. Is 20 a factor of o?
False
Let o(n) = 10*n**2 - n + 1. Suppose 15*y = 11*y + 16. Suppose y*h - 2 = 2*j, 5*j - 17 = -4*h + 6. Is o(h) a multiple of 8?
False
Let j be (1 + 2/6)*15. Let o be -10*(-28)/j*2. Suppose 3*p = 5*p - o. Is p a multiple of 7?
True
Let s(p) = 2*p + 4. Let j be s(-8). Let w = -24 - j. Is 3 a factor of 4/3*w/(-2)?
False
Let o(j) = 4*j**3 - 43*j**2 + 7*j + 18. Does 18 divide o(11)?
True
Suppose -5*g + 1173 = 4*x, 22*x = 26*x + g - 1185. Is 5 a factor of x?
False
Let b be (-10725)/(-27) + (-2)/9. Suppose -655 = -5*i + 2*x - 4*x, 3*i = -2*x + b. Is 43 a factor of i?
True
Let a(n) = n**2 + 12*n + 4609. Is a(0) a multiple of 35?
False
Let k(y) = y**2 - 10*y - 7. Let j be k(11). Suppose 0*v + j = -4*v. Let c = 35 - v. Is c a multiple of 11?
False
Let s(y) = 9*y**3 - 4*y**2 - 20*y + 160. Is s(6) a multiple of 20?
True
Is (-9)/(-9 - 20403/(-2268)) a multiple of 18?
True
Let s(x) = 3*x**2 + 2*x - 7. Let k be s(-3). Let y be (1/((-2)/64))/(-1). Let r = y - k. Is 12 a factor of r?
False
Let d = -13 - -22. Let j(o) = -o. L