3 - 8*u**2 - 3*u - 7. Let g(z) = -2*s(z) - x(z). Is g(-5) even?
False
Suppose 55 - 10 = 5*n. Suppose n + 10 = -w. Let d = -13 - w. Does 4 divide d?
False
Suppose -4*y + s = 8, -s + 4 = -y + 5. Let l(t) = -21*t + 1. Let h be l(y). Suppose -h = -3*j - j. Is j a multiple of 8?
True
Suppose -2*x = -x - 34. Does 17 divide x?
True
Let m = -4 + 3. Is 20*((-3)/(-6) - m) a multiple of 11?
False
Suppose 3*k - 8 = -0*u - u, -2*u - 4 = -4*k. Suppose t = u*n - 2*t - 8, 5*t = 0. Suppose 0 = -2*a - 2*b + 14, n*a - b = -0*a + 23. Is a even?
True
Let r(k) = -31*k**3 - 2*k**2 - 2*k - 1. Is 6 a factor of r(-1)?
True
Let h(r) = -8*r**2 - 4*r - 4*r - 3 + 1 + 4*r. Let u be h(-2). Let z = u - -50. Does 12 divide z?
True
Let s = 17 - 10. Does 7 divide s?
True
Suppose 0 = -5*d - 4*q + 408, -d + 4*d + 2*q = 244. Does 20 divide d?
True
Suppose -x = -3*m - 167, 5*m + 244 = 5*x - 641. Does 7 divide x?
True
Suppose -195 = -3*o - 3*w - 27, 3*o = -5*w + 170. Is 3 a factor of (-3 - 0)/((-15)/o)?
False
Suppose -4*k = l - 4*l + 4, 0 = 2*k - 2*l. Let x(n) = -8*n - 2. Is x(k) a multiple of 15?
True
Suppose -5*q = -2*u + 26, -5*u + 3 = -4*u. Let v = q - -8. Does 3 divide v?
False
Let w be 3 + -6 + (-2)/(-1). Is 12 a factor of 4 + -1 + w + 10?
True
Is (-52)/39*(-81)/2 - 0 a multiple of 9?
True
Let p be -12 - 2/(-4)*6. Let u = 5 - p. Does 3 divide u?
False
Let i(d) = -d**2 - d + 11. Let a be i(0). Let o(t) = -t + 7. Let p be o(5). Suppose a = p*h - 13. Is h a multiple of 5?
False
Suppose 4*x = 4*y - 128, -4*y + 0*y + 122 = -x. Is y a multiple of 10?
True
Let d be ((-3)/5)/(7/(-35)). Suppose -l = q - 10, -l + 4*q = d*l - 64. Does 5 divide l?
False
Let t be ((-2)/3)/((-1)/(-129)). Does 5 divide t/(-11) + (-4)/(-22)?
False
Let r(w) = -w. Let j be r(-2). Suppose 13 + 31 = j*y - 5*c, -y + 9 = 4*c. Is 15 a factor of y?
False
Let i be (-4)/(-6)*(-4 + 1). Let q = 0 + i. Does 13 divide (1 - 27/(-1)) + q?
True
Does 8 divide 3/2 - 61/(-2)?
True
Suppose 0 = s - 2*s + 3*w + 34, -s - 5*w = -10. Is 5 a factor of s?
True
Suppose 12 = 3*y, 3*y = -6*b + 3*b + 96. Does 12 divide b?
False
Let t(p) = -p**2 - p + 2. Suppose b - 3*b = 0. Let l be t(b). Suppose -56 = -l*q - 2*q. Is q a multiple of 13?
False
Suppose -11*g + 15 = -6*g. Is g + (6 - -2 - 4) a multiple of 2?
False
Let q(o) = -4*o - 2 + o - 1 - 3. Let k(m) = 2*m**3 + 2*m**2 + 1. Let u be k(-2). Does 8 divide q(u)?
False
Let z(p) = -p**2 - 3*p. Let c be z(-3). Suppose 0 = -c*b + 4*b - 172. Suppose 4*r + r = -4*t + b, 26 = 5*t - 3*r. Is 6 a factor of t?
False
Does 26 divide (-2)/(-5) + 1012/20?
False
Suppose -3*p + 213 = -102. Does 15 divide p?
True
Let s(q) = q**3 - q**2 + 2. Let u be s(0). Let r(p) = 6*p**u + 0*p**2 - 1 + p**3 - 2. Does 11 divide r(-5)?
True
Suppose -5*k + 5*a + 45 = 0, -5*k + a + 10 = -55. Let d = k - 8. Is 204/18 + (-2)/d a multiple of 6?
False
Suppose -h + 45 = -6*h. Is 6/4*(-240)/h a multiple of 20?
True
Let i(q) = 23*q + 2. Let a be i(3). Suppose 5*s - a - 284 = 0. Suppose -2 = 2*n, 3*x + 11 = 3*n + s. Is x a multiple of 10?
False
Suppose -5 = -u - c, 0*c + 25 = -4*u + 5*c. Suppose 3*y + y - 3*f = 70, u = -3*f - 6. Does 16 divide y?
True
Suppose o + 66 = 2*c + 3*o, 2*c - 58 = -4*o. Is 12 a factor of c?
False
Suppose 0 = -p + 22 + 5. Suppose -3*u = p - 63. Is u a multiple of 12?
True
Let r = -7 + 7. Let s(x) = x**3 + x + 45. Is 15 a factor of s(r)?
True
Let y(v) be the second derivative of 0 - 1/3*v**3 - v - 2*v**2. Is y(-6) a multiple of 8?
True
Let c(s) = s + 1. Let f be c(0). Let m = 13 - f. Suppose -m = -0*g - 4*g. Is g a multiple of 2?
False
Let u(s) = s + 7. Let x(j) = 2*j + 8. Let m(i) = 7*u(i) - 6*x(i). Is m(-6) a multiple of 8?
False
Suppose -4*s + 134 = t + t, -t = 3*s - 71. Is 19 a factor of t?
False
Suppose r - 116 = -2*a, -r - r = -a - 212. Is 12 a factor of r?
True
Suppose -2*s - 305 = -7*s. Is 9 a factor of s?
False
Let l(j) be the third derivative of j**5/15 + j**4/24 - j**3/3 + j**2. Does 10 divide l(2)?
False
Suppose -11*x + 210 = -560. Is x a multiple of 6?
False
Let s be (-2)/(-6)*(-12)/(-1). Suppose -s*i + 52 = d, 2*d + 4*i = 6*d - 128. Does 11 divide d?
False
Let w(l) = l**2 - 6*l + 9. Let q be w(8). Let x = q + 1. Is x a multiple of 13?
True
Let b be 7 - (2 + -2)*1. Suppose 3*f = 3*l + 177, -5*f - b*l = -2*l - 265. Suppose -3*v = -3, 0 = -4*h - 3*v - 1 + f. Is 13 a factor of h?
True
Suppose a + 198 = 5*x + 4*a, -2*a = 5*x - 202. Let h = x - 20. Let p = h + -11. Is 11 a factor of p?
True
Let z(r) = 36*r**2 + 8*r - 3. Let n(l) = 12*l**2 + 3*l - 1. Let d(i) = -8*n(i) + 3*z(i). Does 11 divide d(1)?
True
Suppose 2*c + 3*h = 60, -4 = h - 0. Is 18 a factor of c?
True
Let l = 1 - -32. Is 11 a factor of l?
True
Suppose 0 = x - 5*f - 69 - 63, -4*f = 4*x - 456. Is x a multiple of 13?
True
Suppose -5*l - 41 = 9. Let m = -7 - l. Let x = m - -10. Is 13 a factor of x?
True
Suppose 3*o - 23 = -2*k, 3*k - 21 = -3*o + 6. Suppose -10 = -3*j - 3*z + 11, 0 = j - z - o. Suppose -l = j - 1, 2*v = 4*l + 36. Is 8 a factor of v?
True
Suppose j - 9 = 2*b - 58, 2*j - 78 = -4*b. Does 11 divide b?
True
Suppose -4*k + 66 = n, n + 0*k = -k + 66. Is 15 a factor of n?
False
Suppose 2*z + 2*x - 21 - 17 = 0, -3*x = -2*z + 48. Does 5 divide z?
False
Let s(u) = -u**3 + 4*u**2 + 2*u + 1. Let r be s(3). Suppose -r = -3*w - w. Suppose -w*g + 12 = -28. Is 6 a factor of g?
False
Let x be (-4)/(-12)*(1 + -10). Let u = x + 48. Is 15 a factor of u?
True
Suppose -22 - 30 = -4*q. Does 2 divide q?
False
Let w be 1*2/(-4)*-8. Suppose 0*j + w*b - 68 = -5*j, 3*j - 3*b = 30. Does 12 divide j?
True
Let h(x) = -x**3 + 7*x**2 - 6*x + 5. Does 2 divide h(6)?
False
Let u be (0 + 2)/((-4)/24). Let k = -6 - u. Suppose -n - 2*b + 20 = 0, -k*n + 3*n = -b - 32. Is n a multiple of 12?
True
Let l(u) = 2*u - 13. Let b be l(8). Suppose 2*g - 170 = 5*a, b*g + a - 146 = 109. Does 24 divide g?
False
Suppose -3*i = -2*n + 307 - 85, 5*n = 3*i + 537. Is n a multiple of 21?
True
Let q be (-1)/(-2)*(-8)/(-2). Suppose t + 0 = q. Suppose -5*n + z + 20 = 0, 2*n + 5 = -t*z + 1. Does 2 divide n?
False
Let i be 57/(6/2) - -1. Suppose -3*p = 2*p - i. Is 3 a factor of p?
False
Suppose t + 2*k + 2*k + 6 = 0, 0 = -2*t + 2*k - 2. Suppose 2*o = 5*r + 6*o - 75, -o = -3*r + 45. Is 15 a factor of 1*r*t/(-2)?
True
Suppose 180 = 2*i - i. Suppose 101 = 5*x + 3*n - i, -287 = -5*x - n. Does 20 divide x?
False
Suppose 0 = 2*o + o - 105. Let w be (-6)/(-9) - (-2)/6. Suppose -w - 4 = -5*n + 3*f, -o = -5*n - 3*f. Is n a multiple of 4?
True
Let w be ((-16)/56)/((-1)/7). Suppose -u = -5*g - 71, -3*u + 5*g + 255 = w*u. Is u a multiple of 23?
True
Suppose 4*y + 4 = 16. Suppose y*w - 22 = 20. Suppose -3*s = -2*k + 5*k - 12, 3*s + k = w. Is s a multiple of 2?
False
Suppose -d + 10 = -4. Let c be 7/d + 6/4. Suppose -4*p + 36 = c*k, 3*k - 2*p = -0*k + 86. Is 13 a factor of k?
True
Let u = 0 + 4. Suppose 14 = 2*o + 4*y, 2*o + u*y - 8*y = -18. Is 12 a factor of 30*3/(o - -4)?
False
Suppose 0 = 2*t + 3*t - 25. Let c = 1 + t. Does 6 divide c?
True
Suppose 2*n = 5 + 5. Suppose n*c - 25 = -2*u + 4, 8 = 4*u. Is 2 a factor of c?
False
Is 3 a factor of 2 + 39 + 2 + -1?
True
Is 14 a factor of 16*148/13 - 8/52?
True
Suppose -7*t + 94 = -60. Does 22 divide t?
True
Does 2 divide 11 + -9 + 0/(-1)?
True
Let x(n) = -n**2 + 1. Let u be x(1). Suppose -135 = -5*m - 5*p, -2*p - 33 = -u*m - m. Is m a multiple of 17?
False
Suppose -2*x - 75 = 3*x. Let u = 25 + x. Is u a multiple of 10?
True
Let t = 19 + -27. Suppose 3*w = 6*w - 18. Is 8 a factor of (t/w)/((-1)/6)?
True
Let u(z) = -4*z + 10. Is u(-13) a multiple of 31?
True
Is 5 a factor of 5/(1 - (-2 + 2))?
True
Suppose 0*m = -m - 7. Let t(b) = -b**3 - 7*b**2 - 8*b - 4. Is t(m) a multiple of 18?
False
Let r(q) = -5*q**2 + 9*q + 4. Let j(m) = 2*m**2 - 4*m - 2. Let t(x) = -7*j(x) - 3*r(x). Let k be t(-3). Let w(s) = s**2 - 5*s + 6. Is w(k) a multiple of 15?
True
Let t(s) = s**2 + 6*s + 5. Let d be t(-6). Suppose 0 = 2*w + 15 - d. Let b = 17 + w. Is b a multiple of 8?
False
Suppose 0 = x + s - 1, 0 = -0*x - x + 5*s + 25. Suppose 11 = x*t - 5*a + 4*a, 4*t - 2*a - 10 = 0. Suppose t*k + 3*k = 155. Does 18 divide k?
False
Let a(x) = 24*x**2 - x. Let v be 0 - (-4)/(-4 + 8). Is a(v) a multiple of 23?
True
Let f(v) = -3*v - 4. Let r be f(-3). Suppose 2*y + 5*z - 33 = 0, -2*y - 2*y - r