- 2. Let b be z(3). Is 8 a factor of (-2 + 1)/(2/b)?
True
Suppose 5*h - 5*b + 310 = 0, 0 = -2*h + 3*h + 2*b + 68. Is -3 + 2 - 3 - h a multiple of 22?
False
Let x = 26 + -14. Let u(b) = 5*b**2 + b - 1. Let i be u(1). Does 6 divide (4 - i)*x/(-1)?
True
Let b = 4 + 0. Suppose b*c - 10 = -2. Suppose 2*g = i - 21, c*g + 2*g = -5*i + 147. Does 7 divide i?
False
Let u(c) = -4 + 1 - 10*c + 1. Let r(o) = -4*o. Let b be r(1). Is u(b) a multiple of 16?
False
Let s(c) = 3*c**2 - 3*c + 6. Is 7 a factor of s(4)?
True
Is 2/4 + 371/14 a multiple of 9?
True
Let w(u) = -10 - 9 + 7*u + u**2 + 5. Let g be w(-10). Does 6 divide g/(3/3) + -1?
False
Let t(i) = -i - 2. Let q be t(6). Let s = -43 + 29. Let j = q - s. Is j a multiple of 6?
True
Let l(o) = o**2 - 5. Does 2 divide l(4)?
False
Let o(u) = u**3 + 5*u**2 - u + 5. Let b be o(-5). Let m = 10 - b. Does 10 divide (-4)/(-12)*(m + 30)?
True
Let b = 158 + -95. Does 27 divide b?
False
Let l(b) be the first derivative of 46*b**3/3 - b**2/2 + 9. Is l(-1) a multiple of 7?
False
Let q be -1 - 1 - (1 - 3). Suppose -w - w - 4*p + 48 = q, -5*p = -3*w + 50. Is 14 a factor of w?
False
Suppose 3*o + o = 372. Does 34 divide o?
False
Suppose -2*h = -8, 3*t = -4*h - 6 - 8. Let o(p) = -p**3 + 9*p**2 + 10*p + 12. Let i be o(10). Let c = i - t. Is 11 a factor of c?
True
Let z(i) = -i**2 + 10*i + 13. Let m be z(11). Let o = 2 + -2. Is 6 + o/3 + m a multiple of 8?
True
Is 17 a factor of (-3)/4 - (-781)/44?
True
Let k(y) = -2*y + 4*y + 8*y. Is k(2) a multiple of 20?
True
Let d(y) = y**2 + 4*y. Let k be d(-5). Is 3 a factor of 2/k + 112/20?
True
Let v = 34 + -24. Is v a multiple of 9?
False
Suppose 0 = -3*x + 3*a + 42, 2*a + 4 + 4 = 0. Let o be 364/10 - x/25. Is 3/(1 - o/39) a multiple of 12?
False
Let y = 384 + -258. Is y a multiple of 18?
True
Let o(i) = -5 - i - 3*i - i + 2. Does 17 divide o(-4)?
True
Let g = 12 - 6. Does 2 divide g?
True
Let l = -5 + 7. Let o(j) = 0*j**3 + j**l + 0*j**3 + 0 + j**3 + 5. Is 3 a factor of o(0)?
False
Let h = 35 - 29. Is h a multiple of 6?
True
Suppose 0 = -2*w, -3*x - w - 124 = -7*x. Suppose q = 2*n - 3*q + 2, 5*n = q + x. Does 2 divide n?
False
Suppose -80 = -4*t + 52. Does 20 divide t?
False
Let t(r) = -113*r**3 - r**2. Is t(-1) a multiple of 28?
True
Suppose -5*v + 84 = -106. Is v a multiple of 16?
False
Let c(k) = -10*k + 1. Let u be c(1). Let w = u - -6. Let p = 9 + w. Is 5 a factor of p?
False
Let u = 50 - 35. Is u even?
False
Is (-4)/14 + (-3795)/(-77) a multiple of 9?
False
Let z(n) = n**2 + 3*n - 2. Let r be -4*2/8*6. Let h be z(r). Suppose -3*b = -h - 14. Is 6 a factor of b?
False
Let d = 1 - -2. Is 81/12*16/d a multiple of 12?
True
Let n(d) = 5*d**2 - 11*d - 5. Is n(5) a multiple of 5?
True
Let x(z) = 33*z**3 + 2*z**2 - 1. Let t be x(1). Suppose 0 = 5*r - t - 116. Suppose -r = 4*i - 9*i. Is 5 a factor of i?
False
Let o = -164 + 230. Is 22 a factor of o?
True
Let i = -1 - 3. Let l = i + 13. Does 5 divide l?
False
Does 9 divide 2/4 + 19/2?
False
Let a = -18 + 37. Let h = 19 + a. Is h a multiple of 13?
False
Suppose 4*g - 2*j - 62 = 0, g - 8 = -3*j - 3. Let m = g - -23. Is m a multiple of 14?
False
Suppose -7*v = 3*v - 1970. Does 18 divide v?
False
Suppose -3*f + 421 = 4*r, 0 = r + 4*r + 3*f - 527. Is 11 a factor of r?
False
Let v(l) = -3*l**3 + 4*l**2 + l. Let h(b) = -10*b**3 + 13*b**2 + 2*b. Let g(z) = 2*h(z) - 7*v(z). Suppose 0 = 4*k - 2 - 14. Is 9 a factor of g(k)?
False
Suppose 5*p - 2*p = 6, -152 = -5*n - p. Is n a multiple of 26?
False
Let n(l) = -l**3 - 5*l**2 - 4*l + 1. Is 20 a factor of n(-6)?
False
Let r(u) = u - 2. Let n be r(-6). Let g be (-1 + 4)/((-8)/n). Suppose 6 = -g*m + 30. Is 8 a factor of m?
True
Suppose 3*k = 7*k - 16. Suppose m = 4*v + 30, k*m - 5*m = v - 30. Is m a multiple of 10?
True
Suppose -2*p + 26 = 4*d - 0*p, -d + 3*p = 11. Suppose d*f - 163 = 3*c, f - 25 = 3*c + 9. Does 20 divide f?
False
Let l(n) = 2*n**2 - 7*n + 6. Is l(4) a multiple of 10?
True
Does 5 divide 3/(0 + -3) - -14?
False
Suppose h - 2152 = 3*h. Does 16 divide (-2)/(-12) + h/(-24)?
False
Let o be (-7)/14 - 13/(-2). Let x = 1 + -4. Is 9 a factor of 4/o - 52/x?
True
Let t(q) = -3*q - 2. Let j be t(-2). Let n(x) = 7*x - 3. Does 24 divide n(j)?
False
Let y(l) = -l - 4. Let b be 8 + (-2)/1 - 3. Suppose -4*z - 31 = -g, 5*z - b*g - 5 = -42. Is y(z) even?
True
Let p(f) = -12*f. Let x be (0 - 2) + -8 + 2. Let o = x - -7. Does 12 divide p(o)?
True
Let q = -1 - 3. Is 7 a factor of 2/(q/6) + 38?
True
Let f(l) = -l**3 - 15*l**2 + 9*l + 4. Is 19 a factor of f(-16)?
False
Let l = -3 + 5. Let q(x) = -x - 8. Let t be q(-13). Suppose 5*p = 4*h + 21, p - t*h = -l*p + 10. Is p a multiple of 3?
False
Let s(u) = 2*u**2 + 5*u - 6. Let f be s(-7). Let w be 7 + 2*(-1 + 0). Suppose -x + 14 = -w*l + 77, -5*l + f = x. Is 9 a factor of l?
False
Suppose -2*g + 21 + 39 = 0. Suppose -2*d - 3*j = -10, -4*d + 0*j = j - g. Does 8 divide d?
True
Suppose 260 = 19*x - 18*x. Does 39 divide x?
False
Suppose 5*y + 33 + 22 = 0. Let r = 23 + y. Is 6 a factor of r?
True
Let z = -16 - -64. Is z a multiple of 12?
True
Let i(a) = -57*a - 1. Is i(-1) a multiple of 14?
True
Let y = -7 - -8. Suppose r = 2*u - 1, 0 = -3*u - 3*r - 2 - y. Suppose 4*b - f - 18 = u, b = -2*f - 0*f + 9. Is b even?
False
Let v = 1 + 9. Suppose 2*n = -3*n + v. Suppose 5*t = -5*w + 60, -w + 4*t = -n*w + 21. Is w a multiple of 9?
True
Let r = -4 + -2. Let u(a) = a**2 + 4*a + 2. Is u(r) a multiple of 14?
True
Let n be 22/2 + 3 + -3. Let y = n + 1. Does 12 divide y?
True
Let r = 12 - -46. Suppose -g + r = -x, -x - 4*x = 4*g - 196. Does 27 divide g?
True
Let t be (6/2)/(-1) + 2. Does 16 divide (-25 + (0 - t))*-1?
False
Let l(y) = 3*y**2 + 11*y + 5. Does 25 divide l(-7)?
True
Suppose -3*a + 0*a + 90 = 0. Suppose -3 + 7 = 2*u. Suppose 110 + a = u*h. Is 20 a factor of h?
False
Let r = 75 - 40. Is 5 a factor of r?
True
Let l = -188 + 275. Does 16 divide l?
False
Let s be 4/(-22) - (-256)/(-44). Let h be (2/s)/(7/(-42)). Is (5/h - 2)*12 a multiple of 6?
True
Suppose 2*d = -0*d - 4. Let i = d + 2. Suppose i*q = -q + 12. Is 12 a factor of q?
True
Let a(l) = -169*l**3 - 6*l - 6. Does 24 divide a(-1)?
False
Let n be ((-4)/3)/(1/(-3)). Suppose n*i - 296 + 96 = 0. Let l = -24 + i. Does 13 divide l?
True
Is 2 a factor of 1*7 - (-15)/15?
True
Let g = 1 - -36. Is g a multiple of 22?
False
Let u(j) = -j**3 - 4*j**2 + 4*j - 5. Let x be u(-5). Suppose x*s - 3*s = -63. Let n = -14 + s. Is 7 a factor of n?
True
Let w(i) = 51*i + 2. Does 26 divide w(2)?
True
Suppose 4*j + 10 = -2*a, a - 13 = 4*j - 0*a. Let i = j + 5. Does 6 divide ((-48)/20)/(i/(-10))?
True
Is 13 a factor of (-2 + 36)*(-2 + (-55)/(-10))?
False
Let n = 7 - 2. Suppose -2*t - 12 = -d, 5 = n*d - 0*t + t. Suppose -d*q = 3*q - 80. Does 8 divide q?
True
Let p(q) = -2*q**3 - 6*q**2 - 4*q - 4. Is 7 a factor of p(-4)?
False
Let j = 10 + 4. Is j a multiple of 7?
True
Let u = -15 + 149. Is u a multiple of 22?
False
Is (-3)/21 + 212/14 a multiple of 4?
False
Let t(o) = -3*o**3 - 6*o**2 - 7*o + 4. Is 39 a factor of t(-4)?
False
Suppose 15*p = 19*p - 104. Does 26 divide p?
True
Suppose -2*r + 41 = -z, 6*z = -3*r + 2*z + 56. Is r + -6 - 1*-3 a multiple of 16?
False
Suppose 5*d = -3*s + 22, 3*d - s - 16 = -0*s. Suppose -l + d*g + 44 = 0, 5*l - 148 = -3*g + 128. Is 18 a factor of l?
True
Let l be -2 + -3 + 3/(-3). Let r = l + 0. Let o = r + 14. Is 8 a factor of o?
True
Let h(c) = c**2 + 2*c - 2. Is 5 a factor of h(-4)?
False
Let t = 3 + 2. Suppose 10 = -2*y - 3*y, -5*y = -t*v + 60. Is 10 a factor of v?
True
Let p(w) = w + 5. Let v be p(-5). Let y(c) = 20*c + 4. Let i be y(3). Suppose 4*l + v*l = i. Does 16 divide l?
True
Let k(i) = 15*i. Let u be k(3). Let y be (4/(-5))/(2/u). Is 12 a factor of y/4*8/(-3)?
True
Let k be (6/7)/(4/28). Let x be ((-2)/k)/(2/(-12)). Let a(l) = 6*l**2 - 2*l - 2. Is 9 a factor of a(x)?
True
Let f = -12 + 21. Let o(r) = -r**3 - 7*r**2 - 9*r - 2. Let m be o(-6). Let t = m - f. Is 7 a factor of t?
True
Suppose -3*q = -4*u + 81, 5*q = u - 38 + 5. Is u a multiple of 8?
False
Let l(u) = -u - 2. Let x be l(-4). Is (-1 + x)*1*33 a multiple of 11?
True
Let u = 337 + -236. Does 19 divide u?
False
Let p(u) = 5*u + 6*u - 4*u - 2 + u. Is p(3) a multiple of 13?
False
Suppose -o + 31 = -17. Let r = o - 27. Does 7 divide r?
True
Le