 i(11). Let k be (0/3 + b)/(-1). Is t(k) even?
True
Suppose 37 = 4*k + 21. Suppose -89 = -2*a - z - 16, -5*a - k*z = -190. Does 34 divide a?
True
Suppose 4*g = -4*w + 1892, 2081 + 244 = 5*w - 3*g. Does 13 divide w?
True
Let l = -20 + 20. Is -5 - -2 - (l + -15) a multiple of 6?
True
Let a = 31 - 44. Let i(u) = -u**2 - 19*u - 2. Let k be i(a). Suppose j = -f + k, -11 = -2*f - 4*j + 141. Is 19 a factor of f?
True
Let h(g) = -4*g + 2. Let a be h(-4). Let i be (-36)/(-15)*(-20)/6. Let d = a + i. Is 5 a factor of d?
True
Let x = 875 + -245. Is x a multiple of 40?
False
Let p = 10 + -8. Suppose -h = -2*a - p*h + 170, -a + 74 = -5*h. Let d = a - 42. Is d a multiple of 21?
True
Let i = 3020 + -1660. Does 45 divide i?
False
Let k(s) = 46*s - 20. Suppose 2*t + 2*v + 0*v + 22 = 0, -2*t = v + 25. Let d(c) = -15*c + 7. Let f(l) = t*d(l) - 5*k(l). Is f(-3) a multiple of 31?
True
Suppose 26 = -5*l - 4*q, 3*l + q + 20 = 3. Is (-222)/2*10/l a multiple of 33?
False
Suppose 10*i = -15*i + 650. Is i a multiple of 6?
False
Let w = -40 + 27. Suppose -2*q - 13 = -5. Is ((-14)/q)/(w/(-78)) a multiple of 21?
True
Suppose -3*t - 2*t = 3*n + 178, 3*t + 4*n + 109 = 0. Let k = 67 - t. Is 34 a factor of k?
True
Let z(o) = -o**3 + 3*o**2 + 2*o + 2. Let h be z(4). Let c be -8*7/(56/22). Let m = h - c. Does 14 divide m?
False
Let i = 9 + 108. Suppose 235 = 2*m - i. Is 20 a factor of m?
False
Is 2/(-4)*9*(-71 + 5) a multiple of 33?
True
Let p = -11 + 14. Suppose y - 195 = p*q, -5*y - 5*q + 390 = -3*y. Is 15 a factor of y?
True
Suppose 5*r - 260 = 190. Suppose -3*a + 9*a + r = 0. Is 7 a factor of ((-84)/a)/((-3)/(-15))?
True
Let h(u) = 763*u + 158. Is 52 a factor of h(2)?
False
Let p(v) = -v + 2. Let b be p(-3). Suppose 93 = -2*f + b*f. Suppose -4*q + 5*y = -188, q - f + 1 = -3*y. Is 10 a factor of q?
False
Let i(r) be the second derivative of r**4/6 + r**3 + r**2/2 + 11*r. Is i(-4) a multiple of 3?
True
Suppose -5*c - 3*b = -4*b - 16240, 5 = -b. Is 30 a factor of c?
False
Let b(n) = n**3 - 7*n**2 + 7*n - 5. Let v be 2 - 2/4*0. Let q be (4 - v) + 10/2. Is 17 a factor of b(q)?
False
Let b = -511 - -1702. Is b a multiple of 100?
False
Let r = 13 + -12. Let n(k) = k + 1. Let a be n(r). Suppose -4*w = a*w - 252. Is w a multiple of 11?
False
Suppose 8*z = 12*z - 720. Is 6 a factor of z?
True
Suppose -95*u + 93*u + 680 = 0. Is u a multiple of 68?
True
Suppose -3*f = -3*u + 18, -6*u - 31 = 4*f - 3*u. Let n = f - -20. Is 3 a factor of n?
False
Suppose 0 = 6*d - 2*d - 16, j - 3*d = 604. Suppose 5*w = -4*v + j, 0*v - 236 = -2*w + v. Does 15 divide w?
True
Suppose -2100 = 97*k - 107*k. Does 11 divide k?
False
Suppose 58 = o + 56. Suppose -o*p = -128 + 28. Does 10 divide p?
True
Suppose -2*j - 382 = -4*o - 2, 3*o - j = 286. Is 8 a factor of o?
True
Let q = -46 - -46. Suppose 11*p - 7*p - 56 = q. Is p even?
True
Let c = -969 - -1866. Is c a multiple of 12?
False
Let h be (1/2)/(3/78). Suppose f = 2*l + 1, -2*l + h = 2*l - 5*f. Does 15 divide 0 - l - (3 - 24)?
False
Let r be -1*10/(-6)*3. Let k be (4 - 3)/(r/145). Suppose -3*w + 22 + k = 0. Is w a multiple of 4?
False
Let b be -3*(64/(-12))/(-4). Let m be (2/b)/((-5)/50). Suppose -3*u + 103 = -0*u + 5*f, f = m*u - 181. Is 28 a factor of u?
False
Suppose 0 = 2*h - 10, -k - 5*h = 2*k - 40. Does 21 divide k/(5/116) - -2?
False
Let z = -2092 + 2290. Let n(v) = -v**2 + 4*v + 7. Let j be n(5). Suppose j*g = -g + z. Does 11 divide g?
True
Let l = 24 - 34. Let k be (146/(-5))/(l/50). Suppose 3*q = k - 29. Is 14 a factor of q?
False
Let y(h) = h**3 + 27*h**2 + 35*h + 104. Is 19 a factor of y(-20)?
True
Let q(d) = -14*d**3 - d. Let b be q(1). Let w = -9 + 7. Is (12/b)/(w/5) even?
True
Let a(y) = 12*y - 2. Let j(n) = 6*n - 1. Let b(u) = 4*a(u) - 9*j(u). Let q(i) = -4*i + 3. Let s be q(2). Is 12 a factor of b(s)?
False
Let r be 244/(-5)*(-5)/1. Suppose 5*v - r = -79. Suppose -2*o + o = -v. Is 10 a factor of o?
False
Suppose 0*v - 4*v = 36. Let r(k) = 6*k - 18. Let b be r(-12). Does 20 divide 42/v*b/7?
True
Let y(q) = -q**2 - 8*q + 37. Let o be y(-11). Is (3 - o) + 280 + -3 a multiple of 40?
False
Let w(f) = f**3 + 15. Suppose 3*x = 4*t - 14, -6*x - 5*t - 35 = -x. Let v = 6 + x. Is w(v) a multiple of 15?
True
Let t(c) = c - 12. Let a(o) = -2*o + 23. Let i(v) = -3*a(v) - 7*t(v). Let b be i(-13). Is 16 a factor of b + (5 - 1) - 0?
True
Suppose -6*a + n + 12202 = -2*a, 3*a - 9158 = 4*n. Is 122 a factor of a?
True
Suppose 4 = -5*y + 19. Is 55 + (0 + 1 - y) a multiple of 6?
False
Let c(a) = a**3 - 5*a**2 - 6*a + 2. Let v be c(6). Let z be (6/v)/(3/3). Is 24 a factor of z/2*228/9?
False
Let p(s) = -s**3 + s**2 - 1. Let u be p(1). Is u - (-3 - (56 + 4)) a multiple of 7?
False
Let o(c) = c**3 + 4*c**2 - 7*c - 4. Let s be o(-5). Let q be (1 - 0)/(-3) - (-68)/6. Let r = s + q. Is r a multiple of 10?
False
Let n(w) = 12*w**2 - 5*w**2 + 8 + 2 + w**3 + 3*w - 2. Let h be n(-7). Let o = h - -28. Is o a multiple of 14?
False
Let k = 0 - -1. Suppose k = 3*v - 8. Suppose -5*r = 5*n - 194 - 21, 5*n - 209 = -v*r. Does 20 divide n?
True
Let j be -5*1/5 - -5. Let k(u) = -u**3 + 4*u**2 - u - 4. Let n be k(3). Suppose -j*o - n*q + 46 = -12, -4*q = -12. Does 2 divide o?
False
Is 4 a factor of 558 + (-40)/(-11 - -7)?
True
Let k = 27 + -25. Is 13 a factor of -3*k/(6/(-29))?
False
Let i be (3 - -1)/(1 - 0). Let k(x) = x**3 + 0*x**2 + 6*x**2 + x - 8*x**2. Is 17 a factor of k(i)?
False
Let h(s) = -s**3 - 53*s**2 + 125*s + 122. Does 11 divide h(-56)?
True
Let f(j) = -2*j**3 - j**2 - 22. Does 45 divide f(-4)?
True
Suppose -b = b + 4*l - 36, 5*b - 72 = -l. Let t = b + -9. Let g = 14 - t. Is 9 a factor of g?
True
Let j = 1028 - 834. Does 8 divide j?
False
Suppose 1586 = 4*q + 2*g, -4*q - 22*g + 19*g = -1587. Does 22 divide q?
True
Let g(c) = -156*c + 3. Let a(b) = -157*b + 2. Let m(o) = 4*a(o) - 5*g(o). Does 29 divide m(1)?
True
Let p be 15/2*(-10)/3*-4. Let v = p + 60. Is v a multiple of 16?
True
Let u = 81 - 108. Is 15 a factor of (-655)/(-9) - 6/u?
False
Let s(c) = -12*c + 383. Is 73 a factor of s(-35)?
True
Let i(p) = 2*p**2 - 5*p - 8. Let d be i(4). Suppose -3*x - 666 = -7*o + 2*o, -d*o + 518 = 5*x. Is o a multiple of 33?
True
Is 2/(-8) - (-6 - 2607/12) a multiple of 11?
False
Let j(c) = 78*c**2 + 29*c + 5. Is j(-3) a multiple of 20?
True
Suppose 3*n + 563 = 5*w, 5*n - 181 + 736 = 5*w. Let k = w + -54. Is k a multiple of 21?
False
Suppose 4*n - 4374 = -414. Suppose 2*h + n = 12*h. Is 17 a factor of h?
False
Suppose 2*m + 5*p - 626 = 2*p, -940 = -3*m - 5*p. Is m a multiple of 31?
True
Let c(m) = -78*m - 153. Does 25 divide c(-26)?
True
Let z = 961 + -541. Suppose -134 = -d - 2*q, -3*d = -0*d - 3*q - z. Does 21 divide d?
False
Let s(d) = -39*d + 12. Does 66 divide s(-8)?
False
Suppose 2*m = 2*x - 96, -7*x + 238 = -2*x - 4*m. Suppose -b = -3*b + x. Let j = b + 0. Is j a multiple of 8?
False
Let m = 56 + -48. Is 6 a factor of ((-46)/(-8))/(2/m)?
False
Let n(x) = 5*x + 17. Let u be n(-11). Let w = u - -86. Is 14 a factor of w?
False
Let d = 64 - 77. Let v(p) = -2*p**2 - 28*p. Is 13 a factor of v(d)?
True
Let r(m) = m + 14. Let a be r(-12). Let h be ((-6)/a)/(-9)*57. Let t = -6 + h. Is t a multiple of 10?
False
Suppose l - 4*l = z - 39, 2*z - 4*l = 88. Suppose 4*n - z = n. Let s = 32 - n. Is s a multiple of 6?
True
Suppose -5*c + 22 = g, 5*c = c + 5*g + 35. Let q(h) = h**2 - 2*h - 4. Let l be q(3). Let v = c - l. Is 2 a factor of v?
True
Suppose 3*y + 22*l = 19*l + 213, 0 = 3*y + 4*l - 216. Does 9 divide y?
False
Let k(z) = -z**2 + 8*z - 5. Let l(v) = v**2 - 7*v + 4. Let j(c) = 4*k(c) + 5*l(c). Let f be j(4). Suppose 3*w + s = 55, f*w - s - 89 = -w. Does 6 divide w?
True
Does 76 divide ((-9)/27 - -1)*1083?
False
Let q(a) = -12*a**2 + a + 1. Let v be q(3). Suppose 4*t + i - 6*i = -586, -i = -5*t - 743. Let z = v - t. Does 11 divide z?
False
Let h = 785 - -665. Is h a multiple of 29?
True
Let s be 0/((-27)/18*(-8)/6). Suppose -3 = 6*t - 3*t, 4*m - 5*t - 69 = s. Is m a multiple of 4?
True
Let y(c) be the third derivative of c**4/6 + 7*c**3/3 - c**2. Is y(0) even?
True
Let r = -8 - -44. Suppose 78 = 3*k - r. Does 12 divide k?
False
Let d(l) = -8*l - 14. Let x be d(5). Let p = -22 - 4. Let s = p - x. Does 13 divide s?
False
Let h(x) = 2*x + 4. Suppose -3 = -2*l + 3*n, 4*l - n - 3 = -12. Le