ue
Let p(v) = -16*v + 48. Let a be 2 + -9 + (4 - 9). Does 30 divide p(a)?
True
Let w be 2/4 + (-14)/(-4). Suppose -136 = 5*p - 161. Suppose -4*b = -3*y + 44 + 63, -w*y = -p*b - 144. Is y a multiple of 13?
False
Let q(x) be the third derivative of x**6/60 + x**5/20 - x**4/8 - x**3/3 - 8*x**2. Is q(3) a multiple of 14?
True
Let c(j) = 2*j**2 + 62*j - 3*j**2 + 24 - 79*j. Is c(-13) a multiple of 6?
False
Let j(k) = -2*k**2 + 10*k + 4. Let a be j(5). Suppose a*l = 8, 3*u - 109 = -0*l - 5*l. Is u a multiple of 33?
True
Let y = 137 + -15. Suppose 0*z + 2*z - y = u, -5*z = -5*u - 300. Is 7 a factor of z?
False
Suppose -284*q = -285*q + 1621. Is q a multiple of 31?
False
Let x = -689 - -806. Does 2 divide x?
False
Let w(l) = l**3 + l**2. Let x be w(1). Suppose -5*r = x*b - 309, -7*r + 4*r - 4*b = -177. Suppose 5*g + 18 = r. Does 9 divide g?
True
Let c(p) be the second derivative of -3/2*p**3 + 5*p + 0*p**2 + 0. Does 9 divide c(-3)?
True
Suppose -2*u - 40 + 20 = 0. Let i(m) = -3*m**3 - 8*m**2 + 4*m + 13. Let s(b) = -b**3 + b**2 + b - 1. Let o(n) = -i(n) + 2*s(n). Is 3 a factor of o(u)?
False
Let q(l) = -3*l + 33. Let m be q(12). Let o(h) = 9*h**2 + 4*h + 3. Is 6 a factor of o(m)?
True
Let h(a) be the third derivative of -a**6/120 + 31*a**5/60 - 23*a**4/24 + 10*a**3/3 + 48*a**2. Is 46 a factor of h(30)?
True
Let y be 5 + 7/(-1) + (-1 - -8). Suppose 0 = -5*z + 5*l + 280, 175 = 3*z - y*l + 15. Is 10 a factor of z?
True
Suppose -4706 + 14303 = 7*u. Is u a multiple of 13?
False
Suppose 39 = 3*b + 627. Let w = b + 283. Is 29 a factor of w?
True
Let m(s) = 9*s**2 - 2*s + 2. Let w(h) = -h**2 - 6*h - 1. Let r be w(-4). Suppose 5*o - r = -2. Is m(o) a multiple of 6?
False
Let b(h) = -h**3 - 3*h**2 + 6*h + 7. Let r = -47 - -42. Is 7 a factor of b(r)?
False
Suppose -4*w + 16 = -0*w. Suppose 3*y - 4*i + 23 = 0, -w*y = -0*y + 4*i - 16. Let a = 7 + y. Is 3 a factor of a?
True
Let c = -12 + 21. Let p be (-2)/(-38)*-2 - (-144)/(-76). Does 25 divide ((-30)/c)/(p/36)?
False
Let n(z) = 3*z + 2*z - 5 - 8*z**2 + z**3 + 2*z**2 - 1. Suppose 2*i - 5*y - 12 = 0, 12 + 12 = 4*i - 5*y. Does 12 divide n(i)?
True
Suppose 9*d = 13*d + 80. Let p = 40 + d. Does 10 divide p?
True
Let p(z) = -z**3 - 3*z**2 + 4*z + 9. Let y be p(-4). Let v(s) = -s**2 + 12*s - 21. Is v(y) a multiple of 3?
True
Let a be (3 + 1 + -4)/1. Suppose -3*u - 8 + 20 = a. Suppose 0 = i + u*i - 15. Is 3 a factor of i?
True
Let p(x) = -5*x**3 - 13*x**2 - 6*x + 3. Let o(a) = 4*a**3 + 12*a**2 + 7*a - 4. Let g(t) = 6*o(t) + 5*p(t). Let h be 3/(-1)*(-8)/3. Does 7 divide g(h)?
False
Does 15 divide 6/16 + (-127674)/(-656)?
True
Suppose 5*m = 4*k - 497, -3*k + 3*m + m = -372. Is k - (-4 - 6/(-3)) a multiple of 45?
False
Let l(q) = -18*q**2 + 2*q - 2. Let o be l(1). Let f = 25 + o. Is f even?
False
Let s = 1126 - -375. Is 78 a factor of s?
False
Let z = 747 + -527. Is z a multiple of 20?
True
Let g(d) be the third derivative of d**5/60 + d**4/24 + 2*d**3/3 - 2*d**2. Let q be g(0). Is (q/(-6))/((-7)/672) a multiple of 16?
True
Suppose -21*v + 11692 = -1034. Is v a multiple of 52?
False
Let s = 344 - 152. Is s a multiple of 60?
False
Suppose -4*o = -w + 209 + 60, 5*w + 5*o = 1295. Is (-6)/(-6) - (-1)/(3/w) a multiple of 22?
True
Let p = 18 - 10. Suppose -r = 4*b - 36, -4*b = -3*r - r + 244. Suppose 4*f - r + p = 0. Does 12 divide f?
True
Let r = 217 + -203. Is r a multiple of 3?
False
Suppose 2*f - 15 + 0 = 5*g, 2*g = 5*f - 90. Suppose -6*z = -4*o - 2*z + f, -4*z = 0. Does 4 divide o?
False
Let t(r) = -r**3 - 7*r**2 + 9*r + 22. Let d be t(-8). Suppose d*o - 1309 = 7*o. Is 33 a factor of o?
False
Let p be (-28)/(-182) + (-74)/(-26). Suppose -p*k + 5*i + 95 + 18 = 0, 20 = -5*i. Is k a multiple of 9?
False
Suppose 5 = k - 2. Let b(n) = n**2 - 6*n - 6. Let g be b(k). Is 18 a factor of 6 + -3 - -33*g?
True
Let b = 1714 - 1210. Does 8 divide b?
True
Let g(z) = -z**2 - 3*z + 3 + 3*z + 11*z + 0*z. Is 21 a factor of g(9)?
True
Suppose 5*h + h = 24. Suppose 0 = -h*z + 8*z - 316. Does 32 divide z?
False
Let p be 8/(-14) - 3628/(-28). Let o = p + -108. Is 10 a factor of o?
False
Let q(x) = 17 - 33*x + 8 - 18. Let k be q(-5). Is (k*(-1)/(-2))/2 a multiple of 23?
False
Let h(v) = -v**2 + 13*v + 33. Let p be h(15). Is 3*p - 15/(90/12) even?
False
Suppose -z = 4 - 18. Does 6 divide 232/13 + z/91?
True
Let k = 1065 + -635. Is 5 a factor of k?
True
Let t = 857 + -542. Is t a multiple of 45?
True
Is 4 a factor of (89 + -83)*((-147)/(-2))/3?
False
Let i(c) = 2*c**2 - 5*c**2 + 2*c**2 + 2*c**2 + 3*c - 2. Let p be i(-4). Does 7 divide (-3)/(6/(-52)*p)?
False
Let c(u) = -2*u - 1. Let m(z) = -z**3 + z**2 - z. Let t be m(2). Let k = -11 - t. Does 3 divide c(k)?
True
Is 38 a factor of (13 - 8)/((-1)/(-237))?
False
Suppose 32*q - 42*q + 10310 = 0. Suppose 4*w = -h + q - 248, 2*w = 5*h + 397. Is 14 a factor of w?
True
Let t be (-9)/3*-7 - -2. Suppose -5*z = -u - 25, 2 = 4*u + 5*z - t. Is 6 a factor of -15 + 15 - (-18 + u)?
True
Does 13 divide (29/(-87))/((-2)/4248)?
False
Let p be (3/(-2))/(3/(-4)). Suppose -4*b + p*v + 24 = 0, 2*b - 2*v = v + 20. Suppose -87 = -b*h + 149. Does 16 divide h?
False
Does 12 divide (-7 + 5)*2 + 928?
True
Suppose -20*g + 21*g - 24 = 0. Is g a multiple of 8?
True
Let p(q) = -5*q + 49 + 2*q - 3 - 13*q. Does 6 divide p(-5)?
True
Let m(x) = 6*x**3 + 8*x**2 + 7*x - 42. Is 36 a factor of m(6)?
True
Let f be -3*(2 - (-5)/((-60)/44)). Suppose 5*a = -5*k + 180, -f*a - 9 = -8*a. Does 23 divide k?
False
Suppose -60860 = -27*q + 26188. Does 62 divide q?
True
Suppose -285 = s - 0*s. Let i = s - -474. Does 20 divide i?
False
Suppose 13*u - 7*u = 720. Is u a multiple of 15?
True
Let v(a) = a + 24. Let x be v(-19). Suppose n + 4*m = 106, 5*m - 103 = -x*n + 4*n. Is n a multiple of 59?
True
Suppose 0 = -3*w - s - 2, -12 = 2*w + 5*s - 2. Suppose -3*c - 60 = -5*c + 2*f, w = -f + 4. Is c a multiple of 5?
False
Let w be 6/(-1)*(-24)/16. Let n = w + -5. Suppose 8 = -n*y + 40. Is y a multiple of 8?
True
Suppose n + 2 = -1. Let d be 6/n + 4 + 1. Suppose y = d*u - 172, u - y - 58 = -0*y. Is 13 a factor of u?
False
Let j(h) = h**2 - h + 1. Let f be j(2). Suppose -g + 16 - 13 = 0. Suppose i + g*x + 72 = f*i, 4*i - x = 144. Is i a multiple of 12?
True
Is 10 a factor of ((-446)/(-6))/(9 - 156/18)?
False
Does 10 divide (-1)/(-2)*394 - 5/1?
False
Let n = -1002 - -560. Is 9 a factor of n/(-7) + 11/(-77)?
True
Let m = 24 - -16. Suppose -5 + m = v. Suppose h - v = -3*h - 3*k, -5*k = -5. Does 4 divide h?
True
Let j = 5 + -9. Let q(b) = -b + 6. Is q(j) a multiple of 2?
True
Let v(z) = z**2 - 4*z - 9. Suppose -5*w + w - 31 = y, -y + 18 = -3*w. Let d be v(w). Suppose -5*q - i + d = 0, -q - 3*i + 3 = -19. Is q a multiple of 13?
True
Suppose -98 = 107*z - 108*z. Does 7 divide z?
True
Let x(f) = 5*f - 25. Let s be x(7). Is ((-9)/2)/((55/s)/(-11)) a multiple of 2?
False
Let t be (-2)/((-1)/((-88)/4)). Let s = 78 + t. Is s a multiple of 14?
False
Let u(q) = -q**3 - 4*q**2 + 4*q + 7. Let r be u(-5). Let j = -3 + r. Is j + (1 - (-1)/1) a multiple of 11?
True
Let l be (1 - (-3 - -2))*56. Does 3 divide ((-768)/l)/(2/(-14))?
True
Suppose -6*m + 15*m = 5337. Is m a multiple of 9?
False
Let i(d) = d + 2. Let z be i(-2). Suppose z = -g + 3*g - 160. Is g a multiple of 20?
True
Suppose 811 + 472 = 5*f - 4*r, 4*f + 2*r = 1016. Suppose 4*j + 2*u = 182, -5*j + u = -2*u - f. Suppose -2*b = -j + 2. Does 7 divide b?
False
Suppose 15 = 2*m + 9. Suppose -4*t + 175 = 5*i, -2*i - m*t = 2*i - 139. Is 13 a factor of i?
False
Suppose 3*y - 4*x - 12 = 0, 0 = y - 3*y + x + 13. Suppose w - 2 = -3*v - y, v - 40 = -5*w. Is w a multiple of 2?
False
Let y(g) = -2*g**2 - 26*g + 2. Let d be y(-13). Suppose -218 = -2*o - d*o + 2*t, -o + 55 = -t. Is 38 a factor of o?
False
Let m be 1*-1 + (-1 - 12/(-6)). Suppose -4*q + 5*q + 4*u - 154 = m, 2*q - u = 344. Does 7 divide q?
False
Suppose -5*k + 4*y = -0*k - 28, -4*y = 8. Suppose -212 = v - 2*v + k*j, -4*v + 4*j + 812 = 0. Is 25 a factor of v?
True
Suppose -2*w + 19 = w + 4*j, 0 = -4*w - 4*j + 28. Suppose 3*o - 3*m + w = 0, -5*o - 15 = -3*m + 2*m. Does 10 divide (o/1)/((-6)/20)?
True
Does 16 divide 7906/19 + (-68)/(-76) + -1?
True
Let g = -32 + -16. Let p = 114 + g. Let c = p + -1. Does 13 divide c?
True
Let y be 4/(-14) - 236/7. Let u = 52 + y. Is u a mu