0)) a multiple of 39?
False
Let o = -36 - -41. Suppose 2*z - i - 548 = 0, -4*i - 1357 = -o*z - 8*i. Does 13 divide z?
True
Let h(a) be the second derivative of -7*a**5/20 - 7*a**4/12 - 5*a**3/3 - 6*a**2 + 59*a + 2. Does 52 divide h(-4)?
True
Let l(z) be the first derivative of z**2/2 + 4*z + 16. Let h be l(1). Suppose j - 1158 = -h*j. Is 28 a factor of j?
False
Let k = -18 - -20. Suppose 4*p - 9 = -3*h, 2*p - 3*h + 5 = 14. Suppose p*z - 29 = -k. Does 2 divide z?
False
Let y(l) be the third derivative of 7*l**5/4 + l**4/3 + l**3/6 + l**2 + 52. Is y(-2) a multiple of 6?
False
Let z(n) be the third derivative of 17*n**4/24 - 14*n**3/3 + 2*n**2. Let p be 106/689 + (-134)/26 + 9. Does 19 divide z(p)?
False
Suppose 6*a - 3 = 9. Let i be -1 + 5*(7 - a). Is (-3 + i/20)*-25 a multiple of 18?
False
Suppose 13*r - 65810 = -11*r + 14*r. Is r a multiple of 10?
False
Suppose -5*s - 46805 = -5*x, -3*x - 15628 = -4*s - 43711. Is 27 a factor of x?
False
Let v = 3906 + 4074. Does 15 divide v?
True
Suppose 2002 = 16*z - 2*z. Let a = 246 - z. Is 5 a factor of a?
False
Is (-1320)/7*(-5 - 16) a multiple of 15?
True
Let x be 24/(-45)*12/16*-20. Is 9 a factor of (26/x)/(2/168)?
False
Let j(n) = -5*n**2 - 5*n**2 + n**3 - 2*n + 4*n**2 - 8. Let y(d) = d**3 - 23*d**2 - 50*d + 7. Let u be y(25). Does 27 divide j(u)?
True
Let s = -718 - -487. Let q = s + 316. Does 17 divide q?
True
Suppose 6*k = 2*k + 5*w + 780, -5*k - 2*w + 942 = 0. Suppose 30*r = 35*r - k. Suppose 41*b - r*b - 144 = 0. Does 16 divide b?
True
Suppose 0 = 4*o + 2*y, 5*o + 6 = 2*o - 3*y. Suppose 0 = 2*m + 5*v + 8, 0 = -2*m + 3*m + 4*v + 7. Is 9 a factor of o - ((4 - 36) + m)?
False
Let a be (-2)/(-1*6 + 4). Suppose -3*m = -16 + a. Let o(i) = i**3 - 5*i**2 + 7*i - 7. Is o(m) a multiple of 9?
False
Let t = -10870 - -13566. Is t a multiple of 8?
True
Let v = 98 - 112. Is (-2184)/v*(-76)/(-12) a multiple of 38?
True
Let m = 154 - -104. Suppose 5*l - 612 = -j + 16, 3*j + m = 2*l. Is 14 a factor of l?
True
Suppose s + g = 1217, -s - 2*g = 2*g - 1226. Suppose -3*j - 2533 - 1121 = -3*i, i = -j + s. Does 51 divide i?
False
Suppose -90*n + 85*n + 75785 = 0. Does 30 divide n?
False
Is -1 + 3 + (5715 - 5) a multiple of 14?
True
Let h = 937 + 1622. Does 11 divide h?
False
Suppose o + 5*d = 12997, -9*o = -7*o - 4*d - 25980. Is o a multiple of 112?
True
Suppose -2*u - 5*k = -40, -9 - 9 = -3*u + 3*k. Suppose 0 = -0*q - u*q - 510. Let n = q + 88. Is n a multiple of 14?
False
Let q(w) = -w**3 + 4*w**2 + 6*w - 4. Let u be q(-5). Suppose 3*d - 5*j = 490, u = d + 4*j + 56. Is 8 a factor of d?
False
Let x = 338 - 208. Does 14 divide x - (6 - (-12)/(-6))?
True
Suppose -3*x + 4*m = 24 + 5, -3*x - 38 = 5*m. Let o be (-14 + 16)*(-1 - x). Suppose 2*w - o = -3*w, 4*f - 204 = 2*w. Is f a multiple of 16?
False
Let k be (2 - -4)/(-2)*1. Suppose -4*x + 16 = -5*j, -4*x + 18 - 6 = -4*j. Is (46 - k - 0) + j a multiple of 15?
True
Is 14 a factor of 4/16*-5 + (-64634)/(-8)?
True
Let v(g) be the third derivative of g**6/180 + g**5/60 - 5*g**4/12 + 7*g**3/6 + 5*g**2. Let k(q) be the first derivative of v(q). Is 18 a factor of k(-8)?
False
Let x = -52 + 31. Let d be (x/(-6) - 4)*6. Let a(r) = -5*r - 12. Does 3 divide a(d)?
True
Let m(d) = d - 6. Let w be m(6). Suppose -2*v = -4*q - w - 2, 4*q + 37 = -5*v. Let b(o) = -4*o**3 + 4*o**2 + 2*o + 8. Is 13 a factor of b(q)?
False
Is 23 a factor of (2/(-9))/(8/(-12)) - 26084/(-12)?
False
Suppose -5*a - 54*k = -59*k - 8585, -5*k + 3448 = 2*a. Is a a multiple of 8?
False
Let b(i) = 4*i**2 + 6*i + 872. Is b(-44) a multiple of 92?
False
Let u(a) = 62*a + 160. Let x be u(4). Suppose -5*c + x = -3*b, -2*c - 2*c = -4*b - 328. Does 9 divide c?
True
Suppose p + 4*n = 4001, 0 = -30*p + 35*p - n - 20005. Is 71 a factor of p?
False
Let t = 3219 + -1622. Is t a multiple of 51?
False
Let y be (75/10)/((-9)/(-6)). Suppose 0 = 10*l - 51 + 11. Suppose -l*r - 29 = -y*r. Does 13 divide r?
False
Let f(y) = -221*y + 2808. Is 13 a factor of f(-5)?
True
Suppose -1140 = 5*c + 7*c. Let o be (-4)/(-1)*c/(-10). Is (1/(-2))/(-2 - (-75)/o) a multiple of 3?
False
Let p(g) = 292*g**2 - 24*g - 144. Is 17 a factor of p(-4)?
True
Suppose 3*m - 899 - 18514 = -5*p, -2*m = -5*p + 19433. Is p a multiple of 105?
True
Suppose -8 = 2*p, 6*c - 7*c + 5*p + 4359 = 0. Is 77 a factor of c?
False
Let l(i) = 17*i**2 + 49*i - 247. Is 2 a factor of l(-7)?
False
Let f(y) = -y**3 + 7*y**2 + 10*y - 11. Let k be f(8). Suppose 3754 = k*r - 4796. Suppose 5*g + 4*g - r = 0. Does 38 divide g?
True
Let a(c) = -220*c**3 - 2*c**2 - 3*c - 1. Suppose -10*b = -12*b - 2. Is 11 a factor of a(b)?
True
Let k(b) = 36*b**2 + 47*b - 236. Is 7 a factor of k(5)?
False
Suppose -2*l - 18*q = -16*q + 4, 0 = 5*q - 20. Does 46 divide (-18)/15*(1557/l + 2)?
False
Suppose -r - n - 8 = 0, -37 = 5*r + 4*n + 1. Is 24 a factor of r/(-8)*(256 - -64)?
True
Let p = 278 - -337. Let l = p - 516. Is 3 a factor of l?
True
Let f(b) = -152*b + 349. Let j be f(2). Let h(d) = 10*d**2 - d. Let a be h(1). Does 17 divide a/j + 678/10?
True
Let v = -216 + 542. Let f = v - 266. Is 6 a factor of f?
True
Let a(l) = 90*l**2 + 3*l - 3. Let m be a(1). Suppose 2 = -11*q + m. Suppose -3*h + q + 52 = 0. Does 3 divide h?
False
Suppose -130*g - 3*j + 59 = -129*g, 0 = 4*g - 3*j - 206. Suppose -5*z - 3*p - 45 = -151, z - 14 = -3*p. Let i = z + g. Is i a multiple of 19?
True
Is 26/6 - (-1221770)/66 a multiple of 8?
False
Let q be 4/8 + (-153)/(-6). Suppose -22*p + q*p = 0. Is 4 a factor of (p - (-42)/8)*32/6?
True
Let d = 152 - 150. Suppose -11*f - d*f + 3614 = 0. Does 37 divide f?
False
Let t be (-1 - (-7 - 0)) + -1. Suppose -4*c + 4*j = -1636, -2*c = -t*c - j + 1223. Suppose f + 2*f = 2*l + 244, 5*f - 2*l - c = 0. Is f a multiple of 9?
False
Let i = -21 + 20. Let d be -219*i*4/12*1. Let s = d - 50. Is 7 a factor of s?
False
Let v be 24/10*3510/36 + 4. Does 2 divide ((-232)/v + (-6)/(-51))*-70?
True
Let l be 897/27 + (-4)/18. Let t = -29 + l. Suppose -3*p = 2*i - 102, p + t*i - i - 34 = 0. Is 11 a factor of p?
False
Suppose 5*u = c + 39102, 5*u - 24340 - 14758 = -c. Does 20 divide u?
True
Suppose 2*q + 23 - 21 = 0. Let x(o) = 6*o + 2. Let m be x(q). Is (14/m)/((-11)/66) a multiple of 7?
True
Suppose -2*r + 10*j - 12*j + 3924 = 0, 3*r + j = 5874. Is r a multiple of 14?
False
Let a be (12 - 13)/(1/(-2)). Suppose 993 = 5*l - a*p - 1767, -2*p + 1656 = 3*l. Suppose w + l = 5*w. Is 23 a factor of w?
True
Let j(w) = 2*w + 6. Let o be j(-7). Let l(u) = -53 + 16 - 19*u + 2. Is l(o) a multiple of 19?
False
Let q = -27 - -29. Suppose -1 = -q*f + 5. Suppose 0 = f*h + 3*s - 138, 3 = -2*h - 5*s + 110. Is 5 a factor of h?
False
Let r(g) = 6*g - 8. Let k(m) = m**3 + 5*m**2 + 6*m + 2. Let i be k(-2). Let s be r(i). Suppose -2*l - s*b + 55 = -43, -98 = -2*l + 4*b. Is l a multiple of 49?
True
Let c be (-1160)/(-50) - 2/10. Let s = 27 - c. Suppose 4*t + 52 = 2*k + k, -84 = -s*k - 2*t. Is k a multiple of 20?
True
Let o(f) = f**2 + 2*f - 20. Let y = 55 + -38. Let m be 4 + (0/(-1) - y). Is o(m) a multiple of 18?
False
Let c = 24797 - 24498. Is c a multiple of 13?
True
Let p(n) be the third derivative of -11*n**4/24 - n**3/2 - 2*n**2 - 20. Let d(c) = 3*c + 2. Let y be d(-3). Is 15 a factor of p(y)?
False
Let r = -25683 - -57365. Does 127 divide r?
False
Suppose 3 = 4*t - 21. Let n be (t/1)/(2 - 0). Suppose -199 = -n*m + 4*z, 2*m - 41 = m - 5*z. Is 18 a factor of m?
False
Let q be 4/(-16)*(-2 + -6). Suppose q*c - 23 = 115. Suppose m = o + 18, 4*o - 30 = -5*m + c. Is m a multiple of 7?
False
Let c = 4619 + -3874. Is 10 a factor of c?
False
Suppose -l - 4*l + 2*q = 17, -3*l = -q + 10. Let p be 505/5 + (-1 - l/3). Let k = p - 40. Does 25 divide k?
False
Let n(r) be the first derivative of 181*r**2/2 - 75*r - 328. Is n(4) a multiple of 4?
False
Let z = -37 - -52. Let x be (294/8)/(57/152). Suppose -c + z = -x. Does 19 divide c?
False
Suppose 3*t - 3*g + 32 = 2*t, 24 = -t - 5*g. Let a(b) = b**2 + 22*b - 98. Does 35 divide a(t)?
True
Suppose -8*x + 5*x + 3 = 0. Let c be (x + 1/3)*-78. Let w = -73 - c. Does 21 divide w?
False
Suppose -4*n + 14580 = -2*a, -431 - 3196 = -n + 5*a. Is 9 a factor of n?
False
Is ((-8)/14)/(12/42) - 846/(-3) a multiple of 8?
True
Let q(r) = 969*r + 2195. Is q(8) a multiple of 14?
False
Let d = 157 + 220. Suppose 2