2). Does 3 divide 2/4 + 99/h?
False
Suppose -3*x + 57 = 3*z, -4 = 2*x - 6. Suppose -1081 = z*c - 13177. Is c a multiple of 21?
True
Suppose 3*f = -g - 57, 4*g = f - 28 - 174. Let z = g + 55. Suppose -z = -r + 65. Is r a multiple of 8?
False
Let x(k) = 86*k**2 + k + 3. Let o be x(3). Suppose -s = -6*s + 2*p + 780, 5*s - 4*p - o = 0. Suppose -25*n + 19*n + s = 0. Does 2 divide n?
True
Suppose 3*x - 5*x = -5*v - 21, x - 12 = 3*v. Is x*(7 + -6) - -297 a multiple of 5?
True
Let o(r) = r**2 - 2*r + 15. Let p be o(-8). Suppose 2*c = g + 27 - p, -128 = -2*g + 2*c. Suppose 5*y = -20, j - 9 = -2*y + g. Is 7 a factor of j?
True
Let h = 5302 - 715. Is 11 a factor of h?
True
Let t be ((-15)/6 + 3)*-228. Let y = t + 187. Is y a multiple of 73?
True
Let b(k) = -k**2 + 2*k + 8. Let p be b(3). Suppose -a = -p*g + 1359, -5*g + 1357 = -3*a - 0*a. Does 13 divide g?
False
Let v = -87 - -109. Let p = 17 + v. Let w = p + -13. Is w even?
True
Let t = 44380 + -136. Is t a multiple of 18?
True
Suppose 2*s = 6, -9*s + 4*s = -4*c - 27. Let k be (c + 0)/(3/(-2)). Suppose 2*f - 205 = -3*i, k*f = f - 5*i + 113. Is f a multiple of 25?
False
Let o(r) = 215*r**2 - 8*r + 21. Is 8 a factor of o(2)?
False
Suppose 5*m - 10 = 0, 4*u - 2*m + 3*m = -410. Let s = -3 + u. Let t = s + 194. Is t a multiple of 26?
False
Let m be (-36)/(-18) + (-290)/(-3 + 1). Suppose 11*o + m = 14*o. Is 7 a factor of o?
True
Let y(a) = a**2 - 20*a + 40. Suppose 0 = -5*j - 5*r + 97 + 18, 0 = -3*j + 5*r + 85. Is y(j) a multiple of 15?
True
Let j(u) = 28*u + 41. Let d(g) = -g**2 + 15*g - 29. Let s be d(12). Let p be j(s). Let q = p + -69. Is 15 a factor of q?
False
Let c = -108 + 112. Suppose 4*n - 2*f = 266, 4*n + c*f = 118 + 118. Suppose 0 = 3*y - y - n. Does 32 divide y?
True
Suppose 18 = 8*d - 14. Suppose -d*j + 5*j = -t - 1, -3*t + 13 = -5*j. Suppose 0 = -g - 5*v + t, 2*g + 3*v = 7*v + 58. Is g a multiple of 7?
True
Suppose z + 5 = g + 6, -3 = -3*g - 3*z. Is 7 a factor of (-3 - -10)*(g - (2 + -32))?
True
Let v(i) = 13*i + 69. Let a(q) = 6*q + 34. Let m(d) = -5*a(d) + 2*v(d). Let k be m(-8). Does 41 divide (5 + k - -1)/((-4)/(-186))?
False
Let g(v) = 10*v + 408. Let d be g(-40). Suppose -3*h = -3 - 9. Does 4 divide 70/h - (-4)/d?
False
Suppose l = -4*l - 55. Let u(q) = 2319*q + 42 - 4 - 3 - 2326*q. Does 14 divide u(l)?
True
Suppose -3*w + 488 = -2*u, 4*w - 612 - 57 = -u. Suppose -4*n - j = 2*j - 668, 0 = n + j - w. Suppose -k = -z + n, -5*z = 3*k - 124 - 702. Does 32 divide z?
False
Let t be 3/(-4*27/(-53532)). Suppose -4*o + t = -2*z + 561, 4*o + 2*z - 914 = 0. Is 25 a factor of o?
False
Let l = -706 + 1379. Let x = l + 404. Does 46 divide x?
False
Let m(g) be the third derivative of 5*g**4/4 + 5*g**3/6 - 2*g**2. Suppose 0 = 26*c - 95 - 9. Is m(c) a multiple of 18?
False
Is 15*(10 - (-10296)/90) a multiple of 14?
False
Suppose -3*g - 1798 = -3*h + 3488, -g - 8826 = -5*h. Suppose -9*q + h = 380. Does 34 divide q?
False
Let a = 778 + 200. Suppose -4*b + 691 = -2*h - 83, -h + a = 5*b. Is 39 a factor of b?
True
Suppose 0 = 33*j - 22742 - 162652. Does 134 divide j?
False
Let p be 4928/(-24)*2/((-4)/(-3)). Let k be (198/(-77))/((-2)/p*-2). Suppose 2*s = -2*r + k, r + 0*s - 2*s = 105. Is r a multiple of 13?
False
Suppose -5*s = 0, -5*s + 159 - 3 = -2*x. Let i = -30 - x. Suppose -60 = i*l - 53*l. Is 2 a factor of l?
True
Suppose 0*r = -r. Let v be r - (1 + 1 + -3). Does 7 divide -1 - (v - 2*28)?
False
Suppose 2*l - 16 + 20 = 0. Let g be (l - -1)/((-20)/4 + 4). Does 10 divide (-2422)/(-12) + g/6?
False
Let s(m) = 3*m - 38. Let x = 11 + -8. Suppose h = d + 18, 49 = x*h + 2*d - 10. Is s(h) a multiple of 19?
True
Suppose -184*f + 193376 = -171*f - 148485. Does 4 divide f?
False
Let m = 9 + 21. Let v = m + -130. Let x = 170 + v. Is x a multiple of 35?
True
Let j(x) be the third derivative of x**5/30 - 3*x**4/8 + x**3/6 + 9*x**2. Let r be j(2). Let k = 35 + r. Does 12 divide k?
False
Let v(q) be the second derivative of -q**5/20 + 13*q**4/6 + 4*q**3/3 - 67*q**2/2 + 25*q + 4. Is 47 a factor of v(26)?
True
Let m(c) = c**3 - 9*c**2 - 21*c - 11. Let f be m(11). Let j(t) = t**2 - 2*t + 5. Let u be j(f). Is 14 a factor of u + 101/2 + (-1)/(-2)?
True
Let a(i) = -32*i - 4. Let w be a(5). Let g = w - -79. Let f = 101 + g. Does 2 divide f?
True
Let w be 7 - 5*(-12)/(-20). Suppose 5*r - 16*x - 1138 = -15*x, w = 2*x. Does 28 divide r?
False
Let o be 21/2*406/87. Let r = o - 42. Suppose 27*x = 28*x - r. Does 4 divide x?
False
Suppose -7*t + 1820 = -3*t. Suppose -5*o = 8 - 33, 3*o = -5*g + t. Is 8 a factor of g?
True
Suppose -j + 60 = 4*j. Let u be 52/8 - j/(-8). Suppose k - 149 = -3*h, h - k = 59 - u. Does 10 divide h?
True
Suppose 3*c - 6 = -b, 7 = 4*c - 5*b - 20. Let g(h) = -h + 5. Let u be g(c). Suppose 5*n - 508 = -5*a + 62, u*n - 564 = -5*a. Is 16 a factor of a?
True
Is ((-5544)/(-40))/((-147)/(-980)) a multiple of 6?
True
Suppose 5*c + 2*h - 5602 = 0, 3*h + 96 = c - 1021. Does 40 divide c?
True
Suppose o = -5*s + 1320, 18*o = 22*o - 2*s - 5192. Is 13 a factor of o?
True
Let n = -10158 - -14458. Does 50 divide n?
True
Is 10/(-55) - ((-106641)/99 - -7) a multiple of 4?
False
Suppose 0 = -58*t - 11 + 127. Let j be 2*(34/4 - 2). Does 18 divide 14*(-3 + j/t)?
False
Suppose 2942 = 2*t - 5*s, t + s - 14*s - 1492 = 0. Is t a multiple of 4?
False
Suppose -28*u + 1172118 = -751706. Does 303 divide u?
False
Let n(m) be the third derivative of -m**6/120 + 2*m**4/3 + 5*m**3/6 - m**2 - 27. Does 21 divide n(-7)?
False
Suppose -10 = -0*h + 5*h. Let k(n) be the second derivative of -n**5/10 - n**4/6 - n**3/3 - 3*n**2/2 - 666*n. Does 3 divide k(h)?
True
Let m(z) = 9*z + 7. Let k be m(-2). Let i be k*3/(-3) + (-4 - 0). Suppose i*u = 4*u + 72. Is u even?
True
Suppose -4*w + 90634 = r, 400*w = 405*w + 2*r - 113288. Is w a multiple of 11?
True
Let j = -2840 - -3205. Is 11 a factor of j?
False
Suppose 3*z - 8260 + 79 = d, -3*z - d = -8187. Does 19 divide z?
False
Suppose 2*y = 4*n + 12, -2*y + 6*y = 3*n + 19. Suppose 4*l - 4880 = -u - 1291, -5*l - y*u + 4489 = 0. Does 30 divide l?
False
Suppose -3*m = -4*y + 26, 3*m = -5*y - 2 + 21. Suppose 6*z - 39 = -2*i + y*z, -z = 4*i - 75. Is i a multiple of 5?
False
Suppose -8129 = -5*f - 553*s + 555*s, -3*f = -2*s - 4879. Is 162 a factor of f?
False
Let m = 38 + -35. Let l be m/(-3) + (-1035)/5. Let g = -103 - l. Does 36 divide g?
False
Suppose 2*r + 4 = 2*n, 5*r - 8*r + 26 = 5*n. Suppose 3*h - 4042 = -n*p, 0 = -5*h - 15*p + 11*p + 6742. Is 12 a factor of h?
False
Let o = -68 + 106. Let l = -36 + o. Suppose -3*x + 348 = 3*m, 3*m - 369 = l*x + 2*x. Does 32 divide m?
False
Let v(m) = -2*m - 10. Let c(y) = -4*y - 20. Let q be c(-7). Let d be q/4*(-9)/3. Is v(d) even?
True
Let u(o) = -o**2 - o + 11. Let d be u(0). Let q(j) = 16*j**2 - 51*j - 20. Let h(i) = 3*i**2 - 10*i - 4. Let v(t) = d*h(t) - 2*q(t). Is 8 a factor of v(13)?
False
Let o be (-1080)/276 - 4/46. Does 15 divide 51*o/(24/(-30))?
True
Let h be 144/((-24)/3)*(-4670)/(-6). Is 52/338 + h/(-26) + 1 a multiple of 12?
True
Let s = 61052 - 5906. Is s a multiple of 42?
True
Let q = -131 + 119. Does 7 divide 395/5 + q/2?
False
Let l(o) = -o**2 + 57*o - 25. Let f be l(36). Suppose -w + f = -425. Is 34 a factor of w?
True
Let x be -1 + 14/18 - (-2480)/144. Let u(g) = 58 + 3*g - x - 2*g. Is 4 a factor of u(18)?
False
Suppose -535*t + 402*t = -58414 - 42001. Does 22 divide t?
False
Suppose 0 = -5*y + 14*y - 18. Suppose -f = -7 + 5, -5*r = y*f - 1059. Is 41 a factor of r?
False
Let c(f) = -35*f - 2. Let u be c(-6). Let z(o) = 2*o**2 - 77*o - 287. Let j be z(-4). Let n = u - j. Is 26 a factor of n?
False
Let o(l) = -6*l**3 + 5*l**2 + 12*l - 19. Is o(-8) a multiple of 13?
False
Suppose -293*z + 2418268 = -81*z + 114*z. Is 34 a factor of z?
False
Let z be 570/(-12)*(-32)/(-20). Let a = 212 - z. Is a a multiple of 72?
True
Let g = 15 - 45. Let d = g + 42. Is 25 + (2/d - (-17)/6) a multiple of 5?
False
Let j(n) = -68*n - 1580. Is j(-43) a multiple of 96?
True
Let j = 253 - 251. Suppose -363 = -3*r + 3*b, j*r - 314 = -b - 75. Is 7 a factor of r?
False
Let l = 138 - 1128. Is (l - 5)/(-5) + -4 a multiple of 15?
True
Suppose -18084 = 61*b - 37055 - 24644. Is b a multiple of 5?
True
Let i = 859 + -610. Let x be (-345)/20*((-224)/6)/4. Suppose -2*u - k = -i, 2*k = -2*