2*i. Is v even?
False
Let b(x) = 8*x + 7. Let s be b(1). Let w be 5/(s/54) + (-12)/(-4). Suppose w*g - 200 = g. Is g a multiple of 2?
True
Suppose j - 2 = 0, 2*p - 5*j = 4*p - 24. Suppose 0 = c - 25 + p. Is 22 a factor of (-1485)/c*(-8)/6?
True
Let d = 12254 + -8414. Is 8 a factor of d?
True
Suppose 0 = -2*w + 28 - 6. Suppose w = 2*l + q, -5*l = -4*q + 3 - 11. Suppose -2*t - 3*t - 3*k + 133 = 0, k = l*t - 120. Is t a multiple of 3?
False
Let z be 2/(-15) + 364/30. Suppose -j = j - 3*q + z, 0 = -j - 2*q - 20. Let v(w) = -12*w - 4. Does 28 divide v(j)?
True
Let w(g) = -65*g**2 + 1008*g + 15. Does 3 divide w(12)?
True
Suppose 1750 = 2*w + 5*l, l = 5*w + 6*l - 4360. Suppose 73*k = 76*k - w. Is k a multiple of 21?
False
Let n(v) = -695*v - 766. Is n(-8) a multiple of 94?
True
Let l(j) = 38*j**3 - 8*j**2 + 28*j - 134. Is l(6) a multiple of 82?
True
Is 1/(-2) + 0 + -3 + (-396345)/(-30) a multiple of 113?
False
Suppose -4*x - 96 = -7*x. Suppose -x = -q - 3*q. Is (-2)/8 - ((-1258)/q - 5) a multiple of 18?
True
Is 11517/12 + (-53)/(-212) a multiple of 80?
True
Let u = -5011 + 5021. Let y(b) be the second derivative of b**4/12 + 2*b**3/3 + 29*b**2 + b. Is 33 a factor of y(u)?
True
Suppose -d = -2*g + 2, 0 = -3*d + 2*d - 3*g + 13. Suppose -q - 1698 = -d*p, 35*p - 33*p = q + 848. Does 25 divide p?
True
Let i(l) = 6*l**2 + 11*l + 109. Is 79 a factor of i(33)?
False
Let r(c) = 41*c**3 + 2*c. Let s be r(1). Suppose -6*x + 413 = -s. Is 19 a factor of x?
True
Let n(l) = 7*l + 2986. Is n(28) a multiple of 74?
True
Is (-60)/27*(-84)/140*216/2 a multiple of 72?
True
Let y(b) = -b + 12. Let r be 0/((-16)/(-56) - (-18)/(-14)). Suppose r = 5*f + 14 - 54. Is y(f) a multiple of 2?
True
Is 202 + (-14 + -49)/9 a multiple of 5?
True
Let c(b) be the third derivative of b**5/12 - 7*b**4/24 - b**3/3 - 532*b**2. Suppose 2*g - 6 = 4*v, -3 = -3*g - 3*v + 7*v. Is 11 a factor of c(g)?
False
Let f(b) = 23*b + 118. Let p be f(-5). Is 12 a factor of (-684)/(-15)*(p/2 + 6)?
False
Let m(v) = -19*v + 25. Let u be (-88)/(-10)*(-60)/8. Let g = 60 + u. Does 19 divide m(g)?
False
Let i be 3/(-2)*8/(-6). Let o(g) = 26*g**3 + 2*g**2 - g + 4. Is 14 a factor of o(i)?
False
Does 11 divide 13/(10*19/49780)?
False
Suppose 0 = -5*f + s + 1098, 0 = f - 5*f - s + 882. Suppose -19*h - f = -21*h. Does 19 divide h?
False
Suppose 0 = 8*u - 62 + 14. Suppose 0 = -3*c + 6, 5*y + 3*c + 201 = u*y. Is 7 a factor of y?
False
Let j be 1 + 1 + -5 - -25. Suppose j - 20 = -2*n. Is 17 a factor of n - -253 - (-4)/((-8)/(-6))?
True
Suppose c - 5*d + 2 = 0, -3*c - 3*d = -c - 22. Let u(j) = j**3 + 4*j**2 - 28*j + 44. Is 84 a factor of u(c)?
True
Let w(q) = -q**2 + 7*q - 2. Let g be w(6). Suppose -4*r = -u + r + 10, -5*r = g*u - 115. Suppose u*x = 27*x - 80. Does 4 divide x?
True
Let a(h) = 80*h - 441. Is 3 a factor of a(7)?
False
Let b(v) = -v**2 + 45*v + 27. Let a be b(20). Let s = a + -467. Is 4 a factor of s?
True
Does 17 divide 30/25*13/((-39)/(-8825))?
False
Suppose -20*j = 2*j + 7*j - 174870. Does 15 divide j?
True
Suppose 1054*y - 997*y = 1716156. Is y a multiple of 13?
True
Suppose 0 = -6*a + 11 + 1. Let n(o) = -6*o**2 + 6. Let u be n(a). Does 8 divide (-4)/u + 14668/171?
False
Let j(b) = 4*b + 21. Let u be j(-13). Let y = u - -33. Is y + -4 + -3 + 11 a multiple of 2?
True
Suppose -218823 = -6*y - 7*i + 10*i, -109415 = -3*y + 5*i. Does 35 divide y?
True
Let x(a) = 27*a + 9. Let j(l) = 28*l + 8. Let k(f) = 2*j(f) - 3*x(f). Let q(o) = -75*o - 34. Let c(h) = 7*k(h) - 2*q(h). Does 29 divide c(-5)?
True
Suppose 3*t - 22639 = -c, -9*t + 4*t = -2*c - 37750. Is 15 a factor of t?
False
Let u(a) = -a + 9. Let l(n) = -3*n + 26. Let t(d) = -4*l(d) + 11*u(d). Let g be t(-7). Let s = 8 - g. Is 10 a factor of s?
True
Suppose 105*o - 66159 - 440281 = 911060. Does 18 divide o?
True
Suppose 5*j = -10*s + 92230, -92321 = -5*j - 6*s + 9*s. Does 142 divide j?
True
Let w(m) = 4*m**3 + m + 7. Let g be w(-4). Let s = 303 + g. Is 25 a factor of s?
True
Suppose -59305 - 28055 = -34*p - 148*p. Does 16 divide p?
True
Suppose -50*p + 20100 = -40*p. Let z = -1021 + p. Does 14 divide z?
False
Let r = 734 - 723. Suppose 7*y = 3*y - 12, 5*y + 15 = -4*u. Suppose -2*o + 5*n + 2 = -r, u = o + 3*n - 23. Does 7 divide o?
True
Let z(q) be the second derivative of -1/3*q**4 + 1/20*q**5 - 22*q + 0 - 3/2*q**3 - 3*q**2. Is z(7) a multiple of 18?
False
Let r = 42 + -43. Is (-6)/(r - (-120)/125) a multiple of 14?
False
Let d = -9431 - -20311. Suppose -24*h + 8*h = -d. Does 8 divide h?
True
Suppose 3*x = -3*s + 165, 3*s = -3*x - 2*x + 175. Let v = 66 - s. Suppose 5*h + 5*w - 520 = 325, -v = -4*w. Is h a multiple of 33?
True
Suppose 0 = 30*b - 32*b - d - 7, -3*d = 21. Let t(g) = 3*g - 4*g - 2*g + 39. Is 13 a factor of t(b)?
True
Let c(u) = -u**3 - 2*u**2 + 5*u + 6. Let g be c(-2). Is 39 a factor of 4672/7 - (84/(-49))/g?
False
Suppose 8*s - 10 = -2*s. Let o be (24/15)/(s/90). Let b = 126 + o. Is b a multiple of 13?
False
Suppose 37*r - 1740 = -2*z + 39*r, -5*z = -2*r - 4368. Is 12 a factor of z?
True
Let w(o) = 7*o**3 - 7*o**2 + 11*o + 4. Let l(t) = -8*t**3 + 7*t**2 - 12*t - 3. Let n(f) = 6*l(f) + 7*w(f). Let i = 512 - 505. Does 15 divide n(i)?
True
Let z(b) = -76 + b + 150 - 78. Let m be z(4). Suppose 5*o + 3*u - u - 93 = m, 5*o = -5*u + 90. Is 10 a factor of o?
False
Let s be 6/(-9) + (-724)/24*2. Let k = s - 51. Let b = k + 274. Is 18 a factor of b?
True
Let c(x) = -x + 61. Let r be c(38). Suppose r*z - 3270 = 65. Is z a multiple of 12?
False
Let j(g) = 86*g + 1923. Does 18 divide j(-14)?
False
Let o = 795 - -181. Is o a multiple of 13?
False
Let u = 2895 - 839. Let k = -1300 + u. Does 54 divide k?
True
Suppose -5*i + 20450 = 7*r, 3*r = 2*r + i + 2930. Is r a multiple of 25?
True
Suppose -211 = 5*q - 71. Let i = -192 + 246. Let l = q + i. Does 13 divide l?
True
Let m = -20 - 12. Is 4/m - 18150/(-48) a multiple of 63?
True
Let k(t) = t**3 + 10*t**2 + 9*t + 1. Let i be k(-9). Let c be -1*(-1)/(-1)*i - -1. Suppose 0 = -o + 21 - c. Is 7 a factor of o?
True
Let v(g) = 827*g - 535. Does 29 divide v(58)?
False
Let p be (-4 + 4)/4 + -2 + -6. Let r be (-1)/((-2)/p) - (6 + -13). Does 21 divide ((-140)/50)/(r/(-75))?
False
Suppose 4*s + 160 = -16*s. Let o(k) be the first derivative of k**4/4 + 10*k**3/3 + 5*k**2/2 + 8*k + 1. Does 13 divide o(s)?
False
Let a(p) = 19*p**2 + 5*p + 18. Let x be a(-7). Suppose -5*o + x = -1966. Is o a multiple of 10?
False
Suppose -9 = 3*m + 3, 0 = -x - 4*m + 7368. Is 13 a factor of x?
True
Let u = -24 - 9. Let w = u - -50. Let o = w + 3. Does 5 divide o?
True
Let y(q) be the second derivative of q**5/20 + 17*q**4/12 + 13*q**3/6 - 7*q**2 - 17*q. Is y(-16) a multiple of 3?
False
Let c(j) = -j**3 + 11*j**2 + 45*j + 4. Let d = -343 - -357. Is 23 a factor of c(d)?
True
Let p(z) be the second derivative of z**3/6 + 3*z**2/2 - 25*z. Let a be p(-6). Is (-1*117)/(3/a) a multiple of 7?
False
Is 8 a factor of (-1)/(6/(-32))*(-21318)/(-76)?
True
Let s(b) = 5*b**2 + 3*b - 3. Let l be s(3). Let h = l + -39. Is 1016/h*3/2 a multiple of 19?
False
Let j(k) = 3*k**2 - 5*k + 3. Let d(p) = 12*p**2 + 4*p + 3. Let z be d(-1). Let x(f) = -f + 18. Let s be x(z). Is 23 a factor of j(s)?
True
Is (-15866)/(-14) - 30/105 - 0/6 even?
False
Suppose 0 = 2*p - 5*j - 22 - 353, 765 = 4*p + 5*j. Suppose -u = -3*m - p, u - m - m = 185. Is u a multiple of 5?
True
Let m = -141 + -10. Let d = -133 - m. Is 4 a factor of d?
False
Let f(k) = -k**3 - 6*k**2 - 4*k - 138. Is f(-9) a multiple of 2?
False
Suppose -40 = 4*r + 3*d + 41, 5*r + 5*d + 95 = 0. Let v be ((-27)/3)/((-4)/r). Let p = v + 102. Does 4 divide p?
True
Let z(c) = -604*c - 34. Let v = 172 - 173. Is z(v) a multiple of 38?
True
Let x = -1805 + 3130. Is 25 a factor of x?
True
Suppose -2*c + 1267 = 5*l - 999, -5650 = -5*c - 5*l. Does 8 divide c?
True
Suppose 66*v = -78317 + 204245. Does 12 divide v?
True
Let i be 4/12 + (-385)/(-15). Suppose -i*c = -9692 + 3140. Is 37 a factor of c?
False
Suppose -35*u = 18258 - 303858. Does 15 divide u?
True
Suppose 103683 = -29*t + 944944. Is 65 a factor of t?
False
Let u(a) = 36*a**2 - 185*a - 178. Does 56 divide u(17)?
False
Let r(c) = -c**2 - 96*c - 213. Is 38 a factor of r(-85)?
True
Let m = 48 - 48. Suppose m = -7*b - b - 656. Let v = b + 137. Is v a multiple of 11?
True
L