se 2*i - y = -i. Is i a multiple of 2?
True
Let p(t) = 7*t**3 - t**2 + 2*t - 6. Is p(3) a multiple of 18?
True
Let j be 1 - 2 - 0/(-5). Let t = j - 9. Let i(w) = -w**3 - 10*w**2 - 2*w - 15. Is i(t) a multiple of 2?
False
Let z = 24 - -4. Does 5 divide z?
False
Let f(m) = -m - 3. Let l be f(-6). Suppose 0 = t - 0 + 1, -l*t + 41 = r. Suppose 0 = -q - 3*q + r. Does 8 divide q?
False
Let d(y) be the third derivative of y**6/120 + 3*y**5/20 + y**4/4 + 5*y**3/3 - y**2. Is 13 a factor of d(-8)?
True
Suppose -3*x = 9, -18 = 5*s + 5*x - 4*x. Let z be s/(-6) - 18/(-4). Suppose -4*y + 7*y - z*l = 63, -2*y + 64 = 4*l. Is y a multiple of 13?
True
Let h(o) = o**3 + 3*o**2 - 4*o. Let f be h(-3). Let x = f + 8. Is 10 a factor of x?
True
Suppose -3*l - 5*t + 5 = 0, 2*l - 4 = -3*l - 4*t. Suppose l*c = 2*c - 26. Is 5 a factor of c?
False
Suppose -l = 4*r - 16, 0 = 4*l + r - 4 - 0. Suppose -5*x - 10 = 5*k, -3*k - 5*x + 5 - 1 = l. Let d = 31 - k. Is d a multiple of 13?
False
Let k(s) be the first derivative of s**6/72 + s**5/120 - s**4/12 - s**3/3 + 2. Let y(x) be the third derivative of k(x). Does 23 divide y(3)?
True
Suppose k + 78 = 4*k. Let w = k + -16. Does 10 divide w?
True
Suppose p + 2*p + 6 = 5*m, -27 = -4*m - 5*p. Let a be ((-51)/15 + m)*-20. Suppose 24 = -a*w + 10*w. Does 4 divide w?
True
Let y = 10 + -5. Suppose 66 = -4*j + y*j. Is j a multiple of 26?
False
Suppose -2*g - 8 = -4*u - 24, 4*g - 5*u = 23. Let n be (1*(-8)/(-2))/g. Suppose -n*z = 0, 2*j - 5*z - 56 = -0*z. Does 14 divide j?
True
Let a(l) = -l + 3. Let t be a(9). Let h = t - -17. Is h a multiple of 5?
False
Let v be (-2 - -11) + (-3 - -3). Let d be -3*(6/v)/1. Is 26 - 3 - 0/d a multiple of 8?
False
Let w = 26 - 48. Suppose 2*p = -3*p + 30. Does 11 divide (w/p)/(1/(-3))?
True
Suppose -11 = -5*n + 4. Let g = 31 + -28. Suppose t - 4*u = -n*t + 64, g*t - u - 52 = 0. Is t a multiple of 10?
False
Let y = -9 + -1. Let c = y + 13. Suppose c*v - 7*v + 72 = 0. Is 5 a factor of v?
False
Suppose -57 = -3*w + 69. Does 21 divide w?
True
Suppose -260 = -4*z - 0*z. Suppose 439 + z = 6*y. Does 12 divide y?
True
Let o(x) = x**2 + 8*x - 33. Is o(7) a multiple of 12?
True
Suppose 0 = 6*m - 2*m - 40. Let x = m - 6. Is 8 a factor of (x - 1)/((-6)/(-16))?
True
Let k = 50 + 21. Does 16 divide k?
False
Suppose 3*l - i = i - 4, 2*i = 5*l. Suppose k - w - 16 = 0, -w - 31 = -l*k + 2*w. Is 3 a factor of k?
False
Let z(u) = u + 2. Let v be z(2). Suppose -4*x + 4 = -v. Suppose x*t = 3*t - 5. Is 3 a factor of t?
False
Let a = -3 + 11. Suppose -4*o - 5*d = -148, 0 = 3*o - a*o + 3*d + 222. Is o a multiple of 14?
True
Let y(d) = 2*d**2 - d - 1. Let h be (-3)/(-3*1/4). Let j be y(h). Let s = -11 + j. Does 8 divide s?
True
Let z be 138/5 + 8/20. Let n be 76/z + 4/14. Suppose -4*l + n*a + 18 = -l, 5*a + 18 = l. Is l even?
False
Let u(l) = l**2 - 7*l + 6. Let f be u(6). Let q = -4 - -6. Suppose 5*s - d - 65 - 66 = f, 0 = -5*s - q*d + 143. Is s a multiple of 12?
False
Let t(l) = 2*l**3 - 5*l**2 - 2*l + 3. Does 21 divide t(4)?
False
Suppose -z - 4*q + 212 = 2*z, -2*z + 5*q = -149. Is 36 a factor of z?
True
Let j = 4 + -1. Let t be (3/9)/(j/81). Suppose x - t = -3. Is x a multiple of 5?
False
Let y(g) = g**2 - 11*g + 12. Is y(15) a multiple of 36?
True
Suppose -5*w - 4*n + 108 = 0, w - 3*n - 30 = -8*n. Is w a multiple of 10?
True
Suppose -34 = 4*x - 6*x. Is x a multiple of 9?
False
Suppose 5*l - 3*m = 3012, -m = 2*l - 644 - 563. Let c = l + -393. Suppose -f - 4*f + c = 0. Is f a multiple of 14?
True
Let m(p) = -p + 12. Let g be m(6). Let a(k) = -5*k**2 - 25*k + 33. Let f(z) = -z**2 - 6*z + 8. Let l(s) = -2*a(s) + 9*f(s). Does 18 divide l(g)?
True
Let k = -3 + -1. Let f be (1*-1)/(-10 - -11). Let d = f - k. Is 3 a factor of d?
True
Let f(h) = 1 + 7*h - 1 - h**2. Let c be f(8). Let s = 3 - c. Is 11 a factor of s?
True
Let y(k) = 13*k**2 + 2. Let g = 6 + -8. Does 19 divide y(g)?
False
Let n(v) = 4*v + 4. Let y be n(-4). Let f = -9 - y. Is 15 a factor of 30/(f*(-2)/(-3))?
True
Let p = 7 - -54. Does 7 divide p?
False
Let u be ((-16)/(-10) + 0)*5. Suppose 9 = -2*x + 3. Is ((-36)/u)/(x/16) a multiple of 10?
False
Let i(r) = r**3 - 4*r**2 - 6*r - 6. Is i(6) a multiple of 30?
True
Suppose -j - 2 = -6. Suppose j*p = 193 - 33. Is 11 a factor of p?
False
Let b be -2*(2/(-2) - 0). Let q be b/(-9) - (-184)/18. Suppose 0*g = -2*g + q. Is 5 a factor of g?
True
Let g(s) be the first derivative of -s**4/4 + 5*s**3/3 - 3*s**2/2 - s - 1. Let j be g(4). Suppose j*p - 136 = -p. Is 18 a factor of p?
False
Let l(a) = 3*a**2 + 9*a + 15. Let b(i) = 13*i**2 + 35*i + 61. Let p(d) = -2*b(d) + 9*l(d). Is p(-14) a multiple of 13?
False
Suppose 5*g - 7*g + 30 = 0. Does 2 divide g?
False
Let y = -25 - -29. Suppose -4*g - 2 - 6 = 0, -y*g + 12 = k. Is 20 a factor of k?
True
Suppose 205 + 73 = -5*a + o, 0 = -4*o + 12. Let q be 2/(1/(2 - 1)). Let y = q - a. Does 25 divide y?
False
Suppose 0 = -3*g - 2*p + 96, -4*g + g + 5*p + 75 = 0. Does 5 divide ((-9)/6)/((-9)/g)?
True
Let l(o) = 6*o**2 + o. Let f be l(-1). Suppose -f*v = -3*g - 67 - 79, -4*v + 108 = 2*g. Does 14 divide v?
True
Suppose 0 = -2*s, 4*g = -0*g - 4*s. Suppose 20 = -g*j + 5*j. Suppose -145 = -5*m + 5*z, 0 = -j*m - 0*m - 2*z + 98. Is m a multiple of 13?
True
Let d = 214 + -153. Is 25 a factor of d?
False
Suppose -m - 31 = -3*n - n, 4*n + 3*m - 35 = 0. Suppose -5*y = -3*y + n. Is 20 a factor of 47/(-2)*(2 + y)?
False
Suppose 3*q + 0*q - 57 = 5*r, 57 = 3*q - 2*r. Is q even?
False
Let w be (-3)/1*(-1 - -2). Does 17 divide 18 + (w - (0 - 2))?
True
Let g(q) = q**2 + 13*q - 21. Is 10 a factor of g(-16)?
False
Let y = -82 + 130. Let m = y - 7. Is m a multiple of 13?
False
Let x be (-16)/(-6)*3/2. Let u = x + -6. Is 7*-1*u/1 a multiple of 5?
False
Let m = -46 - -312. Is m a multiple of 14?
True
Let y = 3 - 3. Let f be y*(3/(-2) - -2). Suppose f = 5*t - 3*u + 4*u - 55, 4*t = 2*u + 58. Is t a multiple of 8?
False
Suppose 0 = -6*j + 3*j + 99. Suppose j = c + 2*v - 9, 5*c + 3*v - 245 = 0. Does 26 divide c?
True
Let q(a) be the second derivative of a**4/12 + 4*a**3/3 + a**2 + 2*a. Is 9 a factor of q(-11)?
False
Let r = 108 - 58. Suppose r = 4*o + o. Let z = 10 + o. Is z a multiple of 10?
True
Let r(h) = 37*h - 1. Let k be r(-1). Let g = -26 - k. Does 6 divide g?
True
Let t(n) = 0*n + 6*n + 3*n + 3 - n**2. Is 7 a factor of t(7)?
False
Let i(p) = p**2 - 5*p + 6. Does 15 divide i(8)?
True
Suppose -4*z - 9 + 1 = 0, 3*z + 14 = m. Is (m/6)/((-2)/(-21)) a multiple of 14?
True
Suppose -u - 2*j + 3 = 0, 4*u - j - 9 = 3. Suppose q = -u*q - 24. Let s(v) = -4*v - 7. Is s(q) a multiple of 11?
False
Suppose -c - 134 = -3*n + c, 3*c = -n + 41. Is 11 a factor of 6/12*1*n?
True
Suppose 6*w = 2*a + w - 40, -4*a + w = -98. Let i be -1 - (a + -1 + 3). Is i/6*(-9)/6 a multiple of 7?
True
Suppose -2*y + 4*y - 16 = 0. Let g(q) = q**2 - 10*q + 9. Let l be g(y). Is l*(-1*2 + -1) a multiple of 14?
False
Let i be -10*(-4)/(-16)*-2. Suppose -3*l - 9 = 3*c - 48, -i*c - 75 = -5*l. Does 7 divide l?
True
Suppose 4*u + 12 = -5*q, 4*u + 12 = -q + 2*q. Suppose 3*p - 42 = -q*p. Does 7 divide p?
True
Let s be (-1)/2 - (-1)/2. Suppose -5*b + s*b = -3*h - 25, 10 = h + 2*b. Suppose 2*l = 16 - h. Is 3 a factor of l?
False
Suppose 0 = q + 1 - 5. Let z(p) = p - 2*p - 6 - q*p. Does 10 divide z(-6)?
False
Let q(y) = -y**3 + 9*y**2 + 10*y + 2. Let h be q(10). Suppose 2*b = h + 8. Is 4 a factor of b?
False
Let w = 27 - 13. Does 3 divide w?
False
Suppose 57 = -3*s + 462. Is s a multiple of 15?
True
Let v(y) = -13*y**3 + 3*y**2 - 3*y + 5. Let h(d) = -7*d**3 + 2*d**2 - 2*d + 3. Let j(t) = 7*h(t) - 4*v(t). Is 2 a factor of j(1)?
True
Let d = 15 - 24. Let b = d + 27. Does 18 divide b?
True
Let t(d) = 27*d**2 + 2*d + 1. Does 4 divide t(-1)?
False
Let g be (-1)/(-2)*(2 - 2). Suppose -y - y + 648 = g. Is 13 a factor of (-4)/10 + y/10?
False
Let v(q) = 2*q**2 - 5*q - 15. Does 16 divide v(7)?
True
Let g = 9 - 11. Is 6 a factor of (-25)/(-2) - g/(-4)?
True
Suppose -24 = -3*j + 2*j. Suppose -8*f = -6*f - j. Is 4 a factor of f?
True
Let n be (-1)/2 + (-84)/(-8). Does 3 divide (48/20)/(4/n)?
True
Suppose -3*j = -2*v - 38, 5*v = -5*j + 3*v + 42. Suppose 8 = r - 3*z, 4*z - 3*z + 3 = 0. Let w = r + j. Is 5 a factor of w?
False
Suppose 0 = 3*h + 9, -3*v = v - 3*h - 317. Is v a m