5. Let o(i) = -6*i - 9. Let s(r) = -4*o(r) - 7*q(r). Suppose 19 - 17 = c. Is s(c) even?
False
Let r be ((-36)/(-8) - 3)*-12. Let d = -11 + r. Let l = 35 - d. Is l a multiple of 8?
True
Suppose 2*r = -2*k - r - 2, 4*k = -r + 16. Let z = 1 + 0. Suppose -4*f + 19 + z = 0, -k*f - 30 = -q. Is 24 a factor of q?
False
Suppose 4*j + 556 = f + j, 5*f - 2822 = j. Suppose -f = -5*o - 0*o. Is o a multiple of 12?
False
Let h be ((-4)/(-6))/((-3)/(-18)). Suppose 10 = -4*t + 30. Suppose 2*x + 3*c = 47, -h*c + 67 + t = 3*x. Is 14 a factor of x?
True
Is (-4364)/(-8) - (-165)/66 a multiple of 137?
True
Let x(b) = -b**3 - 25*b**2 - 136*b + 58. Is 10 a factor of x(-21)?
True
Suppose 0*t - 2*t = t. Is t*(-2 - (-27)/12) - -72 a multiple of 12?
True
Suppose -5*z - 2*t + 8 = -2*z, 5*z - 14 = -3*t. Suppose z*l = l. Suppose 2*g - g - 28 = l. Is 8 a factor of g?
False
Suppose 0 = -3*o + 4*o - 10. Suppose o*x - 3*x = 231. Does 11 divide x?
True
Let b(r) = 2*r - 1. Let w be b(2). Let z(d) = d**3 + 7*d**2 + d - 2. Let s be z(-5). Suppose -o + s = -2*h, -w*h - 66 - 128 = -5*o. Does 5 divide o?
False
Let d(n) = 15*n**3 - n**2 + n + 1. Let x be d(1). Is 22 a factor of (408/x)/((-2)/(-8))?
False
Suppose d - 45 = -5*w + 28, -36 = -2*w + 3*d. Is 28 a factor of ((-357)/(-35) + 1)*w/2?
True
Suppose 5*z - 6*z = -198. Does 33 divide z?
True
Let a be 3*1*6/9. Suppose a*y = -2*y + 16. Is 15 a factor of y/(-18) + 2896/72?
False
Let a = -114 - -116. Suppose -5*s + 81 = -a*s. Is 4 a factor of s?
False
Does 7 divide 0 + 3/(-2 + (-381)/(-186))?
False
Let x(c) = 21*c - 20. Suppose 3*r - 12 + 54 = 5*m, 10 = m - r. Is x(m) a multiple of 16?
False
Let v = -8 + 11. Let m(y) = y**v - 3*y - y**2 - 2*y - 36 + 34. Is m(4) a multiple of 13?
True
Suppose -2*w + d + 14 - 12 = 0, -5*w - d + 19 = 0. Let s(m) = -m**2 + 5*m + 5. Let j be s(5). Is 5 a factor of (j/2)/(w/18)?
True
Suppose -m + 98 = i, -i + 0*i - 484 = -5*m. Is 27 a factor of m?
False
Let r(l) = 35*l**2 - 7*l + 2. Let v(x) = 71*x**2 - 14*x + 5. Let i(k) = -11*r(k) + 6*v(k). Is i(2) a multiple of 12?
False
Suppose 13*g + 818 = 6551. Does 21 divide g?
True
Suppose 2*j = a + 4230, 3*j = -3*a - 3747 + 10092. Is j a multiple of 56?
False
Does 50 divide (63 - -27)/((-154)/80 + 2)?
True
Does 9 divide (734/12)/((-29)/(-174))?
False
Let s(t) = 15*t**3 - 4*t**2 - 3*t. Let i be s(-2). Let h be ((-6)/(-5))/(9/(-570)). Let u = h - i. Is 27 a factor of u?
True
Suppose -3*i = 2*s + 179, 4*i + 119 + 117 = -2*s. Suppose -f = -2*f + 4*p + 97, -p - 466 = -5*f. Let t = f + i. Does 12 divide t?
True
Suppose 1324 = i + 5*h, 2*h = 7*h + 10. Is i a multiple of 23?
True
Suppose 0*z + 5*z = 0. Let s be (0 + z)/(2 + 0). Suppose l - 35 = -3*r - 11, -4*l + 5*r + 96 = s. Is l a multiple of 8?
True
Suppose 4*r - 1738 + 58 = 0. Is r a multiple of 15?
True
Let h = 14 - -45. Suppose 5*x - h = -d + 2*x, 15 = 5*x. Does 9 divide d?
False
Suppose -28 - 35 = 9*d. Let l(f) = -f**3 - 6*f**2 + 7*f + 5. Let t be l(d). Suppose 0 = t*v - 4*v - 63. Does 10 divide v?
False
Suppose -n = -2*l + 51 + 30, -5*l = -2*n - 200. Let g = -53 + l. Let w = 5 - g. Does 5 divide w?
True
Let b(k) = -k**2 + 6*k - 4. Let v be b(5). Let c(p) = -6 + 28*p - 16 + 23. Is c(v) a multiple of 6?
False
Let m be (-1)/(6/(-60)*(0 + 2)). Suppose m*p + 0*p - 485 = 0. Is p a multiple of 17?
False
Let j(g) = g**3 + 10*g**2 + 25*g + 9. Let s be j(-6). Suppose -2*u - 4*x = -5*u + 680, -678 = -3*u + s*x. Does 16 divide u?
True
Suppose -2*u - 4*i = -1322 + 2, 5*i - 2640 = -4*u. Is 15 a factor of u?
True
Is 3 a factor of 69 + 6/(-12)*6?
True
Let m = 109 + 198. Is m a multiple of 28?
False
Let o = -1278 + 1360. Is o a multiple of 2?
True
Let o(y) = -2*y + 146. Is 2 a factor of o(22)?
True
Let r(d) = d**3 + 4*d**2 + 3*d - 5. Let w be r(-4). Let c = w + 19. Is 4 a factor of -3*(c/(-3) - 1)?
False
Suppose -4*a + 3*v = a - 97, -5*v + 85 = 4*a. Let l(w) = w**3 + 24*w**2 - 2*w - 51. Let x be l(-24). Does 11 divide x/5 - (-232)/a?
True
Suppose 0 = 4*p - 3*d - 255, -14*p - 4*d = -17*p + 200. Is 10 a factor of p?
True
Let g be (-15 - 0)/(2*(-5)/(-470)). Is 10 a factor of g/(-20) - 1/4?
False
Let g = -4073 + 6553. Does 16 divide g?
True
Suppose 3*x - 5*x + 10 = 0. Suppose -2*m + x*a = -13, m + 3*a = -m + 5. Suppose -m*u + 30 = u. Is u a multiple of 4?
False
Suppose -5*g + 4*x + 915 = -x, 4*x + 552 = 3*g. Is 36 a factor of g?
True
Suppose u + 10 = 6*u. Let k be (-5 - -3)*(-1)/u. Let v = 82 - k. Is 30 a factor of v?
False
Let y be (36/(-2))/((-36)/(-24)). Let p = 17 + y. Suppose -p*o + 135 = -30. Does 11 divide o?
True
Let b(y) = -y**2 + y. Let z be b(6). Let i = 56 + z. Is 7 a factor of i?
False
Suppose 5*l + 5 = 2*o - o, -4*l = 5*o - 25. Suppose -o*i + 7 + 6 = -x, -i = x + 1. Suppose -23 = -5*q + 2*t, -i*q + 2*t + 13 = 5. Is q a multiple of 5?
True
Suppose 0 = -r - 24 + 28. Is 7 a factor of 24/9*105/r?
True
Let w = 119 - 212. Let n = -69 - w. Does 11 divide n?
False
Suppose -2*t - 60 = -2*d, -5*d = -0*t + 4*t - 186. Suppose 2*m - 7*m + g + 85 = 0, 2*m - g = d. Does 17 divide m?
True
Suppose 0 = 3*i + 4*x - 8530, 14225 = 5*i - 40*x + 45*x. Is i a multiple of 15?
True
Suppose -4823 = -6*g - 7*g. Is g a multiple of 53?
True
Suppose g + 0*v = -v - 3, 3*g + 4*v = -13. Let z be 1/(-2)*(-5 + g). Suppose z*i - 114 = -i. Is i a multiple of 19?
True
Let j(p) = -p**3 - 3*p**2 + 2*p - 4. Let x be j(-4). Suppose 3*s + 1 = x*s. Let d = s + 4. Is d a multiple of 5?
True
Let y(n) = n - 6. Let q be y(4). Let g = 31 - q. Suppose 5*p = 4*p + g. Does 16 divide p?
False
Let f(d) = d. Let y(m) = 6*m. Let w(i) = -3*f(i) + y(i). Let x be w(1). Suppose x*z + 2*c - 228 + 0 = 0, -c - 367 = -5*z. Is z a multiple of 37?
True
Suppose -11*q + 3124 = -2959. Does 11 divide q?
False
Suppose 22*h - 9675 = -3*h. Does 3 divide h?
True
Suppose -q - 56 = -2*q. Let o = 84 + -55. Let g = q - o. Does 27 divide g?
True
Suppose -2052 = -4*m - 3*j, -4*m + 934 = -2*j - 1138. Suppose -5*l - 4*r + m = 0, 4*l - 3*r - 420 = -8*r. Is l a multiple of 25?
True
Let h = -25 - -25. Let z(f) = f**2 - 28. Let w be z(h). Is 3 a factor of 7/(w/(-8)) - -1?
True
Suppose -u - 14 = -5*s + 1, 0 = 5*u. Let a(o) = o**2 - 2*o - 5. Let l be a(5). Suppose -v - s + l = 0. Does 5 divide v?
False
Suppose -4*y + 4188 = -2*l + 5*l, l = 4*y + 1412. Does 10 divide l?
True
Suppose -170 = -97*r + 92*r. Is 19 a factor of r?
False
Suppose -4*l + 848 = -4*z, -5*l - 3*z + 1214 = 186. Suppose 3*o + o = l. Is o a multiple of 4?
True
Let y(r) = -3*r**2 + 2*r - 1. Let s be y(1). Let d(h) be the second derivative of -2*h**3 + 10*h. Does 12 divide d(s)?
True
Is (0 - -1690)*3/((-9)/(-3)) a multiple of 90?
False
Let z be (6/15)/((-2)/(-10)) + -4. Let j(f) = -96*f + 3. Is j(z) a multiple of 15?
True
Let j(c) = 50*c - 152. Is j(7) a multiple of 37?
False
Let i(w) = -w**3 + 8*w**2 + 2. Let k be i(8). Suppose 240 = k*n + 3*n. Is n a multiple of 12?
True
Suppose 0 = 17*j - 76*j + 165967. Does 29 divide j?
True
Let g(l) = 14*l**2 - 24*l + 2. Is 14 a factor of g(4)?
False
Suppose -4*u - 7 = 4*l - 5*l, -u = -2*l - 7. Let n = l - -53. Suppose f = 41 + n. Is 31 a factor of f?
False
Is 49 a factor of 1 - (9/12)/(4/(-2608))?
True
Let h(z) = 32*z + 16. Is 33 a factor of h(6)?
False
Let r = -24 + 29. Suppose -r*g + 334 = a - 0*g, -4*g - 4 = 0. Suppose 5*w - 3*o = a, 0 = -5*w - o - 0*o + 347. Does 23 divide w?
True
Let w(i) = -i - 6. Let v be w(-23). Suppose 19*j = v*j + 346. Does 18 divide j?
False
Let c = -10 - -4. Let d(y) = -y**2 - y + 3. Let n be d(c). Let q = 58 + n. Is q a multiple of 10?
False
Let o = 143 + -28. Let s = -69 + o. Does 33 divide s?
False
Let l(z) = -z + 4. Suppose 12 = 6*c - 4*c. Let p be l(c). Let f = p + 18. Is 5 a factor of f?
False
Let m = -36 - -1. Let k = -15 - m. Let o = 27 - k. Does 3 divide o?
False
Let h(i) = 12*i - 19. Let g(j) = j**3 - j**2 - 1. Let a be g(2). Is 2 a factor of h(a)?
False
Is (9/4)/(-7*(-7)/2156) a multiple of 4?
False
Let w = -707 - -503. Let b = -108 - w. Is 16 a factor of b?
True
Let k(x) = -x**2 + 9. Let o(t) = 2*t**2 - t - 9. Let a(i) = 3*k(i) + 2*o(i). Is a(0) a multiple of 3?
True
Suppose -2*b + 18 = -4*u - 0*u, -2*b + 6 = 2*u. Suppose -f - 18 = -3*a + f, 0 = -b*f - 15. Let w = a + 5. Is 3 a factor of w?
True
Let k(q) = -q**3 + 5*q**2 + 2*q - 12. Let i = 53 + -57. Does 31 divi