et i(k) = k**3 + k**2 + k + 86. Does 23 divide i(0)?
False
Let b(d) be the second derivative of -d**4/12 - d**3 - 2*d**2 + d. Suppose -4*g = -0 + 12. Is b(g) even?
False
Let z = -3 - 4. Let f be ((-37)/(-2))/((-1)/2). Let x = z - f. Does 15 divide x?
True
Let d = 50 + -26. Suppose -5*m + 89 = 24. Let k = m + d. Is k a multiple of 13?
False
Let s(k) = k + 10. Let h be s(-8). Let t = 8 + h. Does 10 divide t?
True
Let s = 69 + -29. Suppose s - 16 = 3*p. Does 8 divide p?
True
Let u(n) = -n**3 + 22*n**2 - 75*n - 5. Does 6 divide u(17)?
False
Let h be (-930)/(-1 + -1) + -3. Is 22 a factor of (-4)/(-6) - h/(-9)?
False
Suppose 0 = 4*v - 190 - 530. Is v a multiple of 12?
True
Let j(h) = h**3 - 13*h**2 + 13*h - 4. Let r be j(12). Let c = r + 14. Is 22 a factor of c?
True
Is 6 a factor of 12*((-14)/(-4) + -3)?
True
Let g be 2 + (9 - 0 - 2). Suppose -2*z - 67 - g = -2*j, -j = z - 34. Does 12 divide j?
True
Let q(z) = -5*z. Let n be q(-4). Does 14 divide n + -1 + 1 - -2?
False
Suppose t = -2*t - 9. Let h = t + 1. Let w = h - -20. Does 9 divide w?
True
Suppose -4*h + 28 - 3 = 3*o, 5*o = -5. Let g be (-69)/9*(1 - h). Suppose -g - 24 = -5*j. Does 7 divide j?
True
Let n(d) = 2*d**3 - d**2 + 2*d + 3. Is 41 a factor of n(4)?
True
Suppose -6*z + 4*z + a = -427, -4*z - 3*a = -879. Is z a multiple of 49?
False
Let n = 61 - 29. Let h = n - 21. Is 11 a factor of h?
True
Let q(r) = -3*r + 1 - 3*r + r**2 + 3. Does 11 divide q(7)?
True
Let k = -6 + 8. Let g(o) = -9*o + 1. Let u be g(2). Is 13 a factor of (-2)/k*u*1?
False
Let a(b) = -b**3 - 6*b**2 - 8*b - 1. Let m be a(-6). Suppose -4*g + m = -l, 2*l - 4 = -2. Suppose g = 3*d + r, 0 = -5*d + r + 14 - 2. Does 2 divide d?
False
Does 7 divide (-6)/((-72)/21)*12?
True
Suppose -18*p = -7*p - 2970. Is p a multiple of 27?
True
Let x(s) = 19*s**3 - s. Let l be x(1). Suppose 2*j - 5*j = l. Is (-164)/j - (-6)/9 a multiple of 14?
True
Suppose j - 2*f = 40, -4*j - 5*f = -7*j + 124. Does 18 divide j?
False
Let t(v) = 8 + v**3 + 3*v**2 + 3*v**2 - 2*v**3 + 4*v. Is t(6) a multiple of 16?
True
Let p = 8 + -6. Let n(k) = 62 + 55 - 115 + 11*k. Is 11 a factor of n(p)?
False
Let x be 128/20 - 4/10. Let a = 12 + -8. Suppose -a = -y, y - 5*y = -d - x. Does 5 divide d?
True
Suppose 8*q - 3*q + 3 = f, -33 = -2*f + q. Is 6 a factor of f?
True
Let s = 15 + -6. Let j = s + -15. Does 10 divide 2/(j/(-87)) - 1?
False
Let l be 190/4 - (-2)/(-4). Let y = l - 10. Is 15 a factor of y?
False
Does 65 divide 1569/12 - 9/12?
True
Let a be (-2)/(-7) + 132/28. Let h = 0 + a. Is h a multiple of 3?
False
Let i be (-976)/(-64) - (-1)/(-4). Suppose 19 = x + i. Is x even?
True
Suppose 5*n - 2*m = 18, n - 4*n + 10 = -m. Suppose 9*z - 10*z = -11. Is z/n*(-1 - -7) a multiple of 13?
False
Does 22 divide 33/(-5 + 63/12)?
True
Let s be (-2)/(-3) - 328/(-12). Is 14 a factor of (s/(-3))/(1/(-3))?
True
Let s = 53 + -36. Let c = -7 - -12. Suppose c*h - s = 48. Does 9 divide h?
False
Let f(z) = z**3 - 6*z**2 + 7*z - 5. Let i be f(5). Suppose 65 = i*p - 0*p. Is p a multiple of 6?
False
Let z(q) = q**3 - 5*q**2. Let i be z(5). Let m = 15 - i. Does 15 divide m?
True
Let g = -9 - -13. Is g even?
True
Let w(s) = 20*s - 10. Is 23 a factor of w(12)?
True
Let r(f) = -2*f**3 - f**2 + 1. Let q be r(-1). Suppose -4 - 2 = q*y. Is 5 a factor of y/12 + 66/8?
False
Suppose -46 = -5*z + 29. Is 5 a factor of z?
True
Is 5 a factor of 2 + 17 + (5 - 4)?
True
Let p be 0/(-6 + 3) - -2. Suppose 4*g = 3*v + 105, -58 = -2*g + p*v - 4. Does 12 divide g?
True
Suppose -3*c - d + 5 + 7 = 0, d + 8 = c. Does 6 divide 8 - (c - 12/4)?
True
Suppose 10 = c - z, -c + 16 = -z - 2*z. Let y(q) = -2*q - 1 + q**2 - 3*q + 0. Is y(c) a multiple of 13?
True
Does 10 divide 1*-40*(-6 - -4)?
True
Suppose -5*s + s = -180. Does 12 divide s?
False
Suppose 3*x - 160 = -2*x. Is x a multiple of 16?
True
Suppose 0*p = 2*p - y, -3*p + y + 2 = 0. Suppose p*x + 5*r = 36, 0 = -0*x - 4*x + 5*r + 42. Suppose x = 2*t + 5. Is t a multiple of 2?
True
Suppose -l - 192 = -5*o + 155, 2*l + 204 = 3*o. Is 17 a factor of o?
False
Let d = -3 - -1. Is 5 a factor of (-20)/d*(-5)/(-10)?
True
Let n(c) = -64*c**2 - c + 2. Let r be n(-2). Let z = r - -150. Let u = z + 165. Does 18 divide u?
False
Let d(b) = b**3 + 4*b**2 - 8*b - 6. Let t be (-23)/5 - (-4)/(-10). Let s be d(t). Suppose 0 = 4*z - 11 - s. Does 5 divide z?
True
Let v(z) = 2*z - 4. Let r be 10/5 + 5/1. Is 10 a factor of v(r)?
True
Let q be -1 + (-1)/1 - -4. Suppose q*s - 22 = s + 5*r, 4*r + 120 = 4*s. Does 27 divide s?
False
Suppose 2*w = -2, -5*p - 29 = -0*p + 4*w. Let j = p + 16. Does 11 divide j?
True
Let a = 55 + -25. Is 8 a factor of a?
False
Let p = 8 + -6. Suppose p*q - 90 = 5*c, 2*q - 62 = -2*c + 28. Is q a multiple of 15?
True
Let l(y) = 2*y - 2 + 1 + y**2 + 4. Let j be l(-2). Suppose -j*i - r = -26, 5*i - r = -2*r + 46. Does 10 divide i?
True
Let w(h) = h**3 + 12*h**2 + 7*h + 11. Let s be w(-11). Suppose 0*n - s = -5*n. Is 7 a factor of n?
False
Let j be 3 - 5 - (1 - -4). Suppose 0*c + 186 = 2*c. Is 6/(-21) - c/j a multiple of 5?
False
Suppose 0 = -2*d + 118 + 50. Suppose d + 148 = 4*m - 4*l, 5*m - 294 = 3*l. Is 20 a factor of m?
True
Suppose 0 = -2*y - 7 + 5. Let p(z) = 20*z**2 + 4*z - 6. Let j(u) = -u + 1. Let a(n) = 5*j(n) + p(n). Is a(y) a multiple of 16?
False
Suppose -4*n + 0*n + 3*d + 45 = 0, 3*d + 21 = 2*n. Suppose 0 = -w + n - 1. Does 3 divide w?
False
Suppose -g + 103 = 24. Is g a multiple of 20?
False
Let p(f) = 5*f**2 + 1. Let i be p(-1). Let z = i + -2. Suppose z*o - 92 = -20. Is o a multiple of 9?
True
Let w(c) = 7*c + 1. Let g be w(4). Suppose 5*a - 2*n + 5 = 3*n, 0 = -2*a - n - 14. Let s = a + g. Is 12 a factor of s?
True
Let k be 13 + 2*(-2)/4. Let o = k - -10. Is 11 a factor of o?
True
Let t(u) = -u**3 + 6*u**2 - 4*u - 1. Let i = -1 - -6. Let v be t(i). Let d(l) = 4*l - 2. Does 6 divide d(v)?
False
Let s(u) = -27*u - 105. Let d(z) = -11*z - 42. Let r(v) = -12*d(v) + 5*s(v). Is r(-11) a multiple of 12?
True
Let z = 17 + 7. Does 11 divide (-1)/(-4) - (-474)/z?
False
Suppose -r + 87 - 14 = 4*o, -5*o + 335 = 5*r. Is 17 a factor of r?
False
Let a(b) = -b + 9. Let p be a(5). Let m(n) = -2*n**3 + 5*n**2 + 6*n + 5. Let g be m(-5). Suppose 3*i + 4*r = 183 + 19, -5*i - p*r + g = 0. Is 19 a factor of i?
False
Suppose -3*x = 3*o - 6, -12 = 4*x - 0*o - o. Does 28 divide (-59)/x + 1/(-2)?
False
Does 4 divide 0/1 - (-39 - 40)?
False
Let p(j) = -j**3 - 6*j**2 - 3. Let z be p(-6). Is 10/((-3)/z)*1 a multiple of 3?
False
Suppose 2*k + 20 = 3*k. Suppose -2*o = -4*o + k. Is o a multiple of 5?
True
Suppose 0 = 5*o - 5*c - 212 - 223, 3*o = -2*c + 241. Is o a multiple of 13?
False
Let m(v) be the third derivative of -v**6/120 + 7*v**5/60 - v**4/6 + v**3 - v**2. Let t = 13 - 7. Does 15 divide m(t)?
False
Let d = 5 - 7. Is (30/35)/(d/(-14)) a multiple of 3?
True
Let x(d) = 18*d**3 - d**2 + 2*d - 1. Let z be 21/(-7)*(-1)/3. Is x(z) a multiple of 5?
False
Suppose -4*y + 2 = -6*y. Does 14 divide 252/(-30)*5*y?
True
Suppose 0 = -3*n + 4 + 8. Suppose 7*r = 2*r + 25, 4*b + n*r - 40 = 0. Let v(y) = 5*y + 2. Is v(b) a multiple of 15?
False
Let w(n) = -29*n - 2. Let q(a) = -28*a - 1. Let l(i) = -3*q(i) + 2*w(i). Is 22 a factor of l(1)?
False
Let x be ((-24)/(0 + -4))/1. Suppose x*v - 3*n - 315 = v, -2*n = 0. Does 19 divide v?
False
Let j be (-864)/(-15) + (-2)/(-5). Let r = 32 + j. Is 30 a factor of r?
True
Suppose 4*q = 8*q - 452. Does 11 divide q?
False
Let p = -20 - -60. Is 10 a factor of p?
True
Let q = 139 + -83. Is 7 a factor of q?
True
Let p(y) = -y**3 + 12*y**2 + 26*y + 23. Let s be p(14). Let h(x) = 10*x - 7. Let r(b) = 3*b - 2. Let v(k) = -3*h(k) + 8*r(k). Is v(s) a multiple of 17?
False
Let d(q) = 20*q - 1. Let b = 0 - -3. Does 12 divide d(b)?
False
Let g(u) = u**3 - 4. Is 11 a factor of g(5)?
True
Let j = 27 + -21. Is 2 a factor of j?
True
Let t be 0/1 + 1 + 2. Suppose -t*o + 3*m = -2*o - 17, -4*m = 3*o - 51. Is o a multiple of 9?
False
Let b(s) = s**2 + 8*s - 1. Let v be b(-8). Is 11 a factor of 12*v*(1 - 2)?
False
Let j(w) = 3*w. Suppose 4*m = -8, -2*m - 2 = -u - 4*m. Does 8 divide j(u)?
False
Let o(h) = -h**2 + 2*h + 4. Let l be o(4). Let w = 22 - l. Is 13 a factor of w?
True
Let x be 41/(-2) - (-4)/8. Does 21 divide (-844)/x - 3/15?
True
Suppose 772 = -5*l + 7*l. Is l a mu