2 + h + 1. Let n(c) = -5*o(c) + w(c). Let v be n(0). Suppose 2*t - 3*t + v = 0. Is t a multiple of 21?
False
Let i(r) = -2*r**2 + 4*r + 472. Is 8 a factor of i(0)?
True
Does 6 divide 9830/39 - (-10)/(-195)?
True
Suppose -634*y + 639*y - 360 = 0. Is y a multiple of 4?
True
Let a(f) = -25*f - 425. Does 25 divide a(-45)?
True
Let h(g) be the third derivative of g**5/120 + 5*g**4/12 - 5*g**3/6 + g**2. Let n(r) be the first derivative of h(r). Is 4 a factor of n(8)?
False
Suppose -6*j = -263 - 1897. Is j a multiple of 20?
True
Let s be (49 + (4 - 1))*3/6. Suppose 9*g - 649 = s. Is g a multiple of 15?
True
Let d = -594 - -698. Does 11 divide d?
False
Let f = -5134 - -8622. Is 32 a factor of f?
True
Let t = -29 - -36. Let b = 20 - t. Is b a multiple of 4?
False
Let x = 7 + 9. Suppose 3*p + 5*u + 14 = 0, 2*p - x = 3*u - 0*u. Suppose 0 = 4*n - 5*k - 135, 0 = -2*n + p*k + 86 - 20. Does 10 divide n?
True
Let s = 2123 - 233. Does 90 divide s?
True
Does 39 divide (222/(-3) - 4)/((-22)/517)?
True
Let h(o) = -o**3 - 3*o**2 + 3*o - 4. Let s = -9 + 5. Let w be h(s). Suppose -4*u + 49 + 47 = w. Is u a multiple of 8?
True
Let r(m) = m + 10. Let a be r(-6). Suppose 9*p - a*p + 120 = 0. Let c = 81 + p. Does 19 divide c?
True
Suppose -4*z = -5*n - 0*z - 56, 5*n = z - 44. Let p = 10 + n. Suppose -4*v + 3*q = q - 212, -2*v - p*q = -100. Is v a multiple of 13?
True
Let u be (2 - 1)*6*(-1)/(-3). Suppose -3*v + 4*v - 126 = -3*r, -2*v - u*r = -252. Is v a multiple of 18?
True
Let r(p) = -p**3 - 12*p**2 + 10*p + 2. Let q be r(-13). Let z = q + -19. Suppose 12 + z = 2*h. Is h a multiple of 9?
False
Suppose 0 = 25*x - 4676 - 249. Is 2 a factor of x?
False
Does 62 divide ((-28)/3 + 0)*(-38 - 55)?
True
Let v = 105 + -63. Is 3 a factor of v?
True
Let w(h) be the third derivative of h**4/24 + 9*h**3/2 + h**2. Suppose -2*q = -2*u + 44 - 74, -5*u - 63 = -2*q. Does 6 divide w(u)?
False
Suppose -4*u - 298 = -6*u. Let n = -89 + u. Is n a multiple of 34?
False
Suppose 680*b - 677*b = 363. Is b a multiple of 11?
True
Let h be 6/(-4)*(-104)/(-78). Is 9 a factor of (-2486)/(-55) + h/10?
True
Let q(y) = -7 - 1 + 9*y - 7. Does 21 divide q(4)?
True
Suppose 49*i = 57*i - 488. Let g(f) = f**3 + 6*f**2 - 3*f - 9. Let q be g(-6). Suppose q + i = 2*x. Is 5 a factor of x?
True
Let k = -374 + 699. Is k a multiple of 80?
False
Let j = -154 - -350. Suppose 0 = 4*m + n - 21, 0*m - 4*n - 11 = -3*m. Suppose -m*p + 454 = -j. Does 34 divide p?
False
Let i = 9 + -6. Suppose i*f - 29 = 19. Suppose -v - 2*q + f = -15, 2*v - 4*q = 94. Does 19 divide v?
False
Suppose 26*q + 8 = 30*q. Suppose s = -4*d + 131, -q*d + 0*d - 2*s + 64 = 0. Is d a multiple of 16?
False
Suppose 6*z - 172 = 32. Does 34 divide z?
True
Let i(o) = -6*o - 27. Let u be i(-17). Suppose 5*w + 3*v - 125 = w, -u = -3*w + 4*v. Does 7 divide w?
False
Let l(x) = 4*x**2 + 2*x**2 - 5 - 2*x**2 + 2*x - x. Is 21 a factor of l(4)?
True
Is 49 a factor of -980*(-2 - -5)/(-6)?
True
Let z(f) = -f**2 - 4*f + 113. Does 18 divide z(-11)?
True
Let w = 68 + -124. Is 3 a factor of 5/(-10)*1/1*w?
False
Is 28 a factor of 2*1/2 + (268 - -42)?
False
Let g(o) = 69*o - 57. Does 18 divide g(5)?
True
Let i(u) = -2*u**2 - 5*u + 5. Let z be i(-3). Suppose 0 = 3*n + 6, 2*h - 4*n = -z*n + 244. Is h a multiple of 24?
True
Let l(x) be the third derivative of -x**6/120 + 7*x**5/60 - x**4/6 - 4*x**3/3 + 2*x**2. Let z be l(6). Suppose g = z*g - 102. Does 7 divide g?
False
Suppose 4 = 3*x - 8. Suppose -6*t + x*t + 156 = 0. Does 13 divide t?
True
Suppose 0 = 9*h - 3184 - 7382. Is h a multiple of 49?
False
Let h be (-77)/(-33) + (-2)/6 - -49. Let n = 0 - 0. Is (n + 66)*34/h a multiple of 9?
False
Let u = 43 + -37. Suppose u*p - 2*p = -2*h + 184, -2*h + 4*p = -184. Does 23 divide h?
True
Suppose -504 = -5*q - n, 2*q - 192 = -0*n + 2*n. Is 3/(-2 + q/48) a multiple of 9?
True
Let y = -260 + 488. Is y a multiple of 19?
True
Suppose 4*t = h - 42 - 49, t - 111 = -h. Does 3 divide h?
False
Let k = 72 - 15. Suppose 0 = -2*f + 8, 0*r + 3*f = -r + k. Does 7 divide r?
False
Suppose -51 = 2*r - 9. Is 4 a factor of 5/5*r*-1*3?
False
Let u be -9*2/3*-15. Suppose 5*v + u = 410. Suppose v = 5*k + 19. Does 9 divide k?
True
Let d = 882 + -818. Does 43 divide d?
False
Let d be 2 - 0 - (-66 - 1). Let n = 29 + d. Is n a multiple of 14?
True
Suppose i = -2*i + 9. Suppose -561 = -i*n + 2*o - 181, 0 = 2*n + 4*o - 264. Does 32 divide n?
True
Let c = -890 - -2026. Is 16 a factor of c?
True
Let g(r) = r**3 + 20*r**2 + 40*r + 43. Is 46 a factor of g(-17)?
True
Let b = 197 - 17. Does 9 divide b?
True
Let j be (363/(-44))/((-3)/(-8)). Let x = 17 - j. Is x a multiple of 15?
False
Suppose 0 = 4*w + 9 + 3, 0 = -5*s + 4*w + 32. Suppose -328 = -8*q + s*q. Is q a multiple of 34?
False
Suppose -3*k + 4 = 16. Let a(y) = y + 6. Let q be a(0). Is 3/q*k + 12 a multiple of 8?
False
Let g be -28 + 6/(12/(-4)). Does 15 divide ((-54)/(-90) - 292/g)*3?
False
Let h = 83 - 4. Does 9 divide h?
False
Let b(h) = h**2 - 7*h + 2. Let a be b(7). Let u(x) be the first derivative of 5*x**4/4 + x**3/3 - x**2/2 - 5. Is u(a) a multiple of 17?
False
Let p(f) = -f**3 + f**2 + f + 1. Let c(u) = 2*u**3 + 6*u**2 - 5*u - 2. Let g = -6 - -5. Let v(j) = g*c(j) - p(j). Is 11 a factor of v(-8)?
True
Let x be (1 - 4) + -5 + 15. Suppose 0 = -3*j + x*j - 192. Is j a multiple of 21?
False
Suppose -2*u - 9 = -5*u. Suppose u*n - 61 = -p, p + 347 = 6*p + n. Is p a multiple of 14?
True
Suppose 0 = -a + 5*q + 63, 3*q = -2*q - 10. Suppose f - a = 343. Suppose -o + 62 = -2*h, -3*h - 73 = 5*o - f. Is 18 a factor of o?
False
Suppose -2*f = 10*x - 15*x + 925, 4*f - 768 = -4*x. Is x a multiple of 11?
True
Let b(w) = -2761*w - 5. Is 13 a factor of b(-1)?
True
Suppose 5 = -q + 7. Let u = 15 + -11. Suppose 4*s + 237 = u*t + s, 0 = -t - q*s + 51. Is 15 a factor of t?
False
Let f(z) = -3*z**3 - 9*z**2 + 7*z - 11. Is f(-7) a multiple of 48?
True
Let j = -9 - -12. Suppose -4*t + 8 = 0, -5*t + 1261 = 4*c - 69. Suppose -3*r - c = -4*l, 176 + 82 = j*l + 3*r. Is 28 a factor of l?
True
Let h = -13 - -19. Is (28/h)/(-7*2/(-336)) a multiple of 16?
True
Is 5/(10/8) - (-139 + 10) a multiple of 92?
False
Suppose -9*b = -4*b - 50. Suppose 3*k - 2*y + b = 3*y, -5 = k - 2*y. Suppose -525 = -k*r - 3*i, -4*r + 3*i = -168 - 252. Does 35 divide r?
True
Suppose 53*q - 56*q = -2340. Does 15 divide q?
True
Let d be (1/(-3))/(6/36). Let h(p) = -p**3 + p**2 - p + 1. Let w be h(d). Suppose 7*r - w = 2*r. Does 3 divide r?
True
Let k be 3/(1 - 3/12). Suppose -5*s - 5 = 0, -2*s - 9 = -k*o + 13. Does 3 divide o?
False
Suppose z - 65 = -3*z - 5*y, 2*y = 5*z - 40. Suppose 13*d - z*d - 177 = 0. Is d a multiple of 9?
False
Suppose 5*p + 2*t - 62 = 3*t, 3*t = 5*p - 56. Let z = p - 13. Suppose -5*w + 2*b + 73 = -0*b, -3*w - 2*b + 47 = z. Is w a multiple of 4?
False
Suppose -r + 2*q = -10, 9 = 3*r - 2*q - 5. Suppose 63 = 3*b - r*b. Suppose -p - 2*p = -b. Is 5 a factor of p?
False
Let l = -60 + 106. Let m = l - 4. Is m a multiple of 5?
False
Let p(d) = -3*d**3 + 8*d**2 + 12*d + 20. Is p(-11) a multiple of 67?
False
Suppose 3*z - 1802 = 4*q + 1325, 3*z + 3*q - 3141 = 0. Does 55 divide z?
True
Let c(x) be the third derivative of x**5/60 - x**4/24 + x**3 + 5*x**2. Is 9 a factor of c(-7)?
False
Let l be 696/44 + (-2)/(-11). Let k(w) = l - 4*w + 0 + 2*w + w. Does 3 divide k(9)?
False
Is 4254/24 - 3/(-4) a multiple of 23?
False
Let i(n) = 11*n - 22. Let h(b) = 10*b - 23. Let k(r) = 4*h(r) - 3*i(r). Let g be 2/(-4)*(-12)/1. Does 7 divide k(g)?
False
Let u be 212/(-6) - 2/3. Let n = u - -22. Let k(q) = -q + 15. Is k(n) a multiple of 13?
False
Let v = 21 + -21. Suppose -2*y - 4*c + 42 = v, 0 = -0*y - 2*y + 3*c + 21. Is y a multiple of 11?
False
Suppose -858 = -2*x + 5*s + 3154, 0 = 5*x + 2*s - 10088. Is x a multiple of 72?
True
Suppose -43 = -5*f + j, -3*j - j - 19 = -3*f. Let l be -3 - (-62 + f/3). Does 12 divide (42/l)/(1/32)?
True
Suppose 0 = -0*i + 8*i - 48. Suppose -2*s = -5*m - i*s + 39, 0 = -5*m + 4*s + 71. Is m a multiple of 4?
False
Let j(x) = -x**3 + 2*x**2 + 6*x - 2. Let p be j(-4). Suppose 210 = -5*w + 730. Let s = w - p. Does 34 divide s?
True
Suppose 8*u - 4*u = 36. Let l be ((-2)/(-6))/(u/(-27)). Is 7 a factor of (4/l)/((-4)/14)?
True
Let v(y) = -y**2 - 4*y + 11. Let h be v(5). Let m = 106 + h