-16. Suppose -2*d - 2*z + 302 = 0, 4*z + 752 = 5*d + 6*z. Let l = d - c. Is 13 a factor of l?
False
Let b = 113 - -849. Let r = b - 659. Is 31 a factor of r?
False
Let r be 2*(-2)/(-3)*(-606)/(-8). Suppose -z - 32 = 4*b + 11, 4*z + 193 = 5*b. Let k = r + z. Does 18 divide k?
True
Suppose -71 = -4*i - o, -78 = -4*i - 4*o - 10. Suppose -5*a = i*a - 43700. Does 29 divide a?
False
Suppose 3*v = 5*t - 34635, 3650 + 24090 = 4*t + 4*v. Suppose -53*c + 20*c = -t. Does 5 divide c?
True
Let w(g) be the first derivative of -3*g**4/2 + g**3/3 - 2*g**2 - 7*g - 38. Let i be w(5). Let x = i - -1064. Does 52 divide x?
True
Let j be (28/(-8) - -4)*(-1 - 1). Does 88 divide (8 - j)/(27/2619)?
False
Suppose 0 = -4*j - 5*k + 3406, -2*k = -j - 4 + 862. Does 61 divide j?
True
Let r = -2274 - -3333. Does 62 divide r + (-45)/((-72)/(-8))?
True
Let m(h) = -5*h + 18. Let i(u) = u. Let x(v) = 4*i(v) + m(v). Let q be x(11). Is 4 a factor of ((-17)/q)/(4/(-28))?
False
Suppose -12*y = -0*y + 24. Let o(k) = k**3 + 4*k**2 + 2*k - 4. Let l be o(y). Suppose 4*v - 397 = -5*z, -2*v + l*v + 3*z = -193. Does 27 divide v?
False
Let w = -31 - -20. Let f(c) = 39*c + 3. Let o be f(-2). Let s = w - o. Does 14 divide s?
False
Suppose 1097*n = 1071*n. Let r(w) = -w**3 - w + 4. Let o be r(0). Suppose -2*t + 0*c = -o*c - 12, n = -2*c + 8. Is 14 a factor of t?
True
Suppose -2*k - 207 = 605. Let n = k + 771. Is n a multiple of 54?
False
Let y(u) = u**3 + 3*u**2 + 3*u + 5. Let n be y(-2). Suppose -3*g = -6*g + 6. Suppose g*c = -0*c + 5*s + 351, c = n*s + 177. Is 26 a factor of c?
False
Suppose -4*g + 17 = -19. Let d(r) = -r**3 + 10*r**2 - 6*r - 24. Let b be d(g). Suppose 3*i - 4*u = 269, -6*i - b*u + 458 = -i. Is i a multiple of 7?
True
Let j = -48337 - -88265. Does 28 divide j?
True
Let z(w) = -w**3 - 12*w**2 - 3*w - 2. Let i be z(-9). Let l = 268 + i. Is 5 a factor of l?
True
Let o = -3657 + 4161. Is 9 a factor of o?
True
Let v(d) = 1428*d + 133. Let b be v(7). Suppose 38*w - b = 16471. Is w a multiple of 28?
True
Let u = -35 + 40. Suppose u*d + 5 = 15. Does 27 divide (5 - 4)*(27 + -2 + d)?
True
Suppose 3*d + 21 = 4*d - 2*z, 0 = 4*d + 3*z - 106. Let j = d + -99. Let o = j + 130. Is 28 a factor of o?
True
Let w = 210 + -207. Suppose 0 = -3*o - 5*q + 990, 4*q - 1002 = -w*o + 3*q. Does 54 divide o?
False
Let i(m) = 6498*m**3 + m**2 + 62*m - 128. Does 144 divide i(2)?
True
Is -2 - 2/4*(-11 + -2191) a multiple of 10?
False
Let u be 44/(-6) + (-1 - 5)/(-18). Is 41 a factor of 30/(-35)*u - -281?
True
Let g(a) = 3*a - 16. Let b = -5 - -12. Let i be g(b). Suppose 3*m - m - 42 = -2*q, -25 = -i*m. Does 8 divide q?
True
Let n(h) = -h**3 - 9*h**2 - 14*h - 19. Suppose 5*m - 4*s = -65, -3*s + 5 - 17 = 3*m. Does 18 divide n(m)?
False
Suppose 0 = -5*y + 9*y - 28. Let i be ((-102)/3*y)/(2*-1). Suppose -3*q = -i - 7. Does 15 divide q?
False
Let x(v) = 5*v**2 + 15*v - 18. Let m be x(-13). Suppose -6*n - 2448 = -10*n. Suppose -n = -5*t + u + u, 3*u = -5*t + m. Does 12 divide t?
False
Does 231 divide 5310 - (2/(-2) - 2)?
True
Let g = -373 - -381. Is 25 a factor of (47 - 3) + 2/(g - 6)?
False
Suppose -7*n + 111384 = 5*c, -44*c - n = -48*c + 89160. Is c a multiple of 16?
True
Let m = 16497 - 11367. Is 19 a factor of m?
True
Is 8083 - ((-1 - 1) + 0)/((-2)/3) a multiple of 40?
True
Suppose 4*d - 2*d - 423 = y, -849 = -4*d + 3*y. Is 14 a factor of d?
True
Let u(x) = 2*x**2 + 9*x - 4. Suppose 3*i - 2*i - 7 = 0. Let q be ((-90)/(-21))/5*i. Does 25 divide u(q)?
False
Let h be (2/(-10) + 0)/(63/(-315)). Is (h - (1 - 1))*599 + -4 a multiple of 85?
True
Let b(u) = 50*u**2 - 5*u + 17. Let x(h) = -24*h**2 + 2*h - 8. Let y(v) = 4*b(v) + 9*x(v). Let o be y(2). Let p = 89 + o. Is 5 a factor of p?
False
Suppose -23*l = 671 + 134. Let w(z) = 2*z**2 + 72*z + 106. Is 4 a factor of w(l)?
True
Let r(a) = 11*a**2 + 6*a + 6. Let d = 147 + -85. Let m = d - 65. Is r(m) a multiple of 29?
True
Let t be 10/7*7*4/(-10). Let s be 961 - (5 - 8 - t). Suppose 0 = 11*n + 4*n - s. Is 16 a factor of n?
True
Let b be 0 + (-4)/(-2) + 0. Let f = -971 - -719. Is ((-21)/(-6))/(b/f*-3) a multiple of 14?
False
Suppose 2 = 2*i + 5*p - 0*p, 4*p = -i + 1. Suppose -2*b + 3*v - i = 0, -5*b + 5*v + 8 = -2. Suppose -b*d = d - 144. Is 6 a factor of d?
True
Suppose 5*m - 11 = 14. Suppose -2*p = 11*k - 6*k - 1980, m*k + 5*p - 1980 = 0. Is k a multiple of 23?
False
Let r(u) be the third derivative of u**5/12 + 8*u**2. Let x be r(1). Let m = 8 - x. Is m even?
False
Let v(q) = -q**2 - 5*q. Let w be v(-5). Let d(o) = o**3 + w*o + 3*o - 9*o**2 + 0 - 1. Does 13 divide d(9)?
True
Suppose 15173 + 159892 = 33*o. Is 19 a factor of o?
False
Suppose -18*i - 92 + 308 = 0. Suppose -x - i*x = -3445. Does 15 divide x?
False
Let a be (-8)/20 + 81/15. Suppose 5*z - 2*z - 163 = 2*b, -179 = -4*z - a*b. Let s = 89 - z. Is 9 a factor of s?
False
Suppose -81*f - 5*f = -74906. Does 7 divide f?
False
Let v be (-12)/(-8)*-2*-1*7. Let r(t) = 2*t - 38. Let b be r(v). Is 4 a factor of 3 + (4 + 18 - b)?
False
Suppose 3*m + 784 = 59*m. Let y(n) = -6*n - 2*n**2 + 33 + 3*n**2 - 9*n. Does 17 divide y(m)?
False
Suppose -26 = 2*l - 32, 0 = -5*f - 5*l + 80. Let v(b) = 2*b**2 + 13*b + 15. Let d(z) = -z**2 - 14*z - 15. Let y(h) = 4*d(h) + 3*v(h). Is 17 a factor of y(f)?
True
Let q(z) = -z**2 + 11*z - 17. Let j be q(9). Let l be 4/(8 + -4)*j - 2911. Does 43 divide l/(-33) + -2 + (-4)/22?
True
Let r = -170 - -145. Is (110/r - -5)/((-2)/(-180)) a multiple of 18?
True
Suppose 4 = -5*y + 7*y. Suppose y*t = -1 - 19. Let x(p) = -p**3 - 11*p**2 - 15*p - 19. Is 14 a factor of x(t)?
False
Let s = -30813 - -70203. Does 195 divide s?
True
Suppose 2*r - 7*r = -10, -2*m + 2*r = -398. Suppose 0 = -2*k + 4*x + 20, x = -2*k - 0*k. Suppose f - 614 = -5*l - m, 5*f = -k*l + 156. Is l a multiple of 21?
False
Let i(c) = -12*c - 69. Let w = -196 + 184. Is i(w) a multiple of 42?
False
Let z(v) = -5*v**2 - 23*v - 14. Let p(h) = -11*h**2 - 47*h - 29. Let q(n) = 6*p(n) - 13*z(n). Let r be q(10). Suppose -6*m = r - 378. Is 5 a factor of m?
True
Let u = -1981 - -4525. Suppose -5*i + 744 - u = -4*c, 4*i = -3*c + 1381. Is c a multiple of 13?
True
Suppose n - 13 = -5*x + 35, -5*n + 136 = -x. Suppose -n*d + 16*d = -9168. Does 19 divide d?
False
Does 16 divide (14*(-1 + 2))/(-11*5/(-22440))?
True
Let c(w) = -14*w + 136. Let q be c(7). Suppose -49*g = -q*g - 649. Is 59 a factor of g?
True
Is 17 a factor of -8 + (-3798)/4*(-20)/15?
True
Let d be -7 - (-4 + (-4 - -5)). Does 5 divide (-12 + (-408)/(-30))*(-290)/d?
False
Let l = -5 - -8. Let s be 3/(-4) + 36/48. Suppose s = -q + l*q - 46. Is q a multiple of 11?
False
Suppose 0 = 5*y - 4*n + 589, -4*y - n + 118 = 585. Let i = y + 241. Is 31 a factor of i?
True
Let z be 11 + (1 - 0)*0. Let i(t) = -t**2 - 19. Let g(n) = -n**2 + 2*n - 16. Let a(y) = -5*g(y) + 4*i(y). Does 4 divide a(z)?
False
Let l(b) = -b**2 + 2*b. Let k be l(4). Let i be -3 + (-26)/(-8) + (-14)/k. Suppose i*y - 242 = h, 0 = 2*y + h + 4*h - 218. Is y a multiple of 18?
False
Suppose -117 = -17*o - 1052. Let y = 235 + o. Does 36 divide y?
True
Let x = 18 + 24. Let f be x/2 - (6 + -6). Is 1477/f - (2 - 10/6) a multiple of 14?
True
Let o(v) be the first derivative of -v**4/4 + 20*v**3/3 - 3*v**2 - 60*v - 118. Is 15 a factor of o(15)?
True
Suppose -49104 = -42*h + 300420. Does 73 divide h?
True
Suppose -369627 + 1732687 = 38*s. Is 306 a factor of s?
False
Let y = 394 - 389. Suppose 2*n - 372 = -k - 41, -y*n = -k - 845. Is 12 a factor of n?
True
Suppose -21 = -3*r - 15. Suppose 0 = 5*i - l - 28, r*l + 19 = 5*i - 12. Suppose p - 4 = 0, 2*o - i*p - 340 = -0*p. Is 30 a factor of o?
True
Let k(h) = -h**3 + 8*h**2 + 25*h - 19. Let p(b) = 4*b**2 - 9*b + 12. Let w be p(2). Is k(w) a multiple of 5?
False
Let k(t) = 51*t + 4. Let w(d) = -76*d - 6. Let y(r) = 7*k(r) + 5*w(r). Is y(-2) a multiple of 12?
False
Suppose -3*p = -4*s - 73 - 369, 2*p - 2*s = 298. Let a = p + -63. Does 6 divide a?
False
Suppose 0 = 1306*k - 1319*k + 15002. Is k a multiple of 3?
False
Suppose 0 = -16*d + 1133 + 723. Suppose 0 = s - 5*s - 5*b + 414, s - 5*b - d = 0. Is 6 a factor of s?
False
Suppose 95754 + 175974 = 36*i. Suppose -7*w = -13*w + i. Is 34 a factor of w?
True
Suppose 0 = 3*n - 4*m - 4, 4*m = -0*n + 2*n. Suppose -y = -t - 8, t - 6 - 6 = -y. Is 260/25 - 