r = y - -27. Is 3 a factor of r?
False
Let g(l) = -4 - 8 - 9*l + 3*l - 6. Let r be g(-6). Suppose -r = -m - 12. Is m a multiple of 2?
True
Let r(o) = o**3 + 10*o**2 - 9*o + 25. Let h be r(-11). Suppose -u + 4 = -h*u, -3*u + 84 = 5*s. Is s even?
True
Does 34 divide 2430/(-18)*(-34)/5?
True
Suppose 2*n = 2*g + 496, -2*g = -4*n + 258 + 742. Is 9 a factor of n?
True
Let o be 3 + (-10)/2 + -3. Let t(q) = q**3 + 7*q**2 + 4*q + 4. Is t(o) a multiple of 17?
True
Let z(u) be the second derivative of u**3/3 + 35*u**2/2 - 6*u. Let b be z(-15). Suppose -3*q + 0*q + x = -116, q = -b*x + 44. Is q a multiple of 22?
False
Let f(t) = -t**3 + 19*t**2 + 18*t - 5. Let g be f(20). Let p = 11 - g. Is p a multiple of 14?
True
Let h(z) be the first derivative of -5*z**2 - 16*z + 1. Is 21 a factor of h(-7)?
False
Let i be 87/9 - (-1)/3. Suppose -i = 7*u - 5*u. Let k = u + 129. Is k a multiple of 31?
True
Let l = -13 - -18. Suppose 2*c - 21 = -w + 31, 0 = l*w + 4*c - 248. Let j = w + -19. Is 5 a factor of j?
False
Is (16/4*53)/(3 - 1) a multiple of 9?
False
Let f be -3 + (7 - 6) - (-7)/1. Suppose s - 168 = -f*s. Is s a multiple of 15?
False
Let m = -462 - -550. Is 29 a factor of m?
False
Let x = 175 + -134. Does 4 divide x?
False
Let p(r) = -r**3 - 8*r**2 + 5*r - 17. Let k be p(-10). Let v = k - 91. Is 6 a factor of v?
True
Suppose -9*i = -14*i + 35. Let g(w) = -2*w**2 - w**2 + 3*w + w + w**3 - 3*w + i. Is 22 a factor of g(5)?
False
Suppose -3*b + 9*v = 6*v - 1290, 5*v + 422 = b. Is 16 a factor of b?
True
Let h(v) = v - 1. Let i(u) = -2*u**2 - 14*u + 16. Let n(d) = -6*h(d) - i(d). Suppose 0 = -8*l - 68 - 4. Is 25 a factor of n(l)?
False
Let f = 1990 + -1150. Is f a multiple of 27?
False
Suppose 0 = -5*n + 912 + 138. Is n a multiple of 15?
True
Let q(g) = -2*g + 10. Let o be q(7). Let z = -8 - o. Is z/22 - 202/(-22) a multiple of 9?
True
Let a = 42 + -2. Let f be 2*(-12)/a*-5. Suppose -f*y - y = -132. Does 10 divide y?
False
Let z be (3 - (-435)/(-33)) + (-16)/(-88). Is (12/z)/(3/(-860)) a multiple of 23?
False
Let l(m) = 2*m + 0*m - 2 + 4 - 2*m**2 - 3. Let i be l(4). Let u = i - -46. Does 6 divide u?
False
Let o(y) = -y**3 + 8*y**2 - y - 9. Suppose 3*z - 5*i - 24 = 12, 5*i = -3*z + 6. Is o(z) a multiple of 11?
True
Let j = -362 - -666. Does 11 divide j?
False
Suppose -v - 2 = -4*d + 23, -4*v - 35 = -3*d. Suppose 120 = 5*m - 5*g, -g + 4*g = d*m - 110. Let h = m + -12. Is h a multiple of 2?
False
Is 32 a factor of (-1054)/(-11) + 16/88?
True
Let g = 56 + -37. Suppose 0*p = 3*p - 2*i - g, 15 = 5*p + 5*i. Suppose -d = -3*m - 33, -p*d + 5*m + 117 = 2*m. Does 7 divide d?
True
Let m(k) = -7*k**2 + 15*k + 8. Let f(g) = 3*g**2 - 7*g - 4. Let h(a) = -9*f(a) - 4*m(a). Suppose -27 = 3*n - 7*n - 3*v, -5*v + 37 = 4*n. Is 8 a factor of h(n)?
False
Suppose -225*p + 238*p - 19305 = 0. Does 33 divide p?
True
Suppose 0 = -2*n + 12*n + 330. Is 10 a factor of ((-22)/(-2) - 1)/((-3)/n)?
True
Let l(a) = 3*a**3 - a**2 + 3*a - 1. Let h be l(2). Suppose 119 = 8*v - h. Is 9 a factor of v?
True
Suppose 0 = 3*f - 0*f - 2*u - 158, -5*u + 99 = 2*f. Let j = f + 59. Is j a multiple of 14?
False
Suppose 0 = 5*j - 2*b - 30, -2*j - b + 12 = -2*b. Does 7 divide (-2)/j - (-168)/(-18)*-7?
False
Suppose -36*g + 2046 = -5*g. Does 11 divide g?
True
Is 9 + -19 - 2040/(-8) a multiple of 35?
True
Let v = -151 + 33. Does 25 divide 4/(8/2) - 3 - v?
False
Let y(d) = -2*d + 1. Let x = -28 + 14. Let j(a) = -a - 18. Let s be j(x). Is y(s) a multiple of 9?
True
Let f = -1 - -1. Suppose f*n - 75 = -n. Does 24 divide n?
False
Suppose 78408 = 57*t - 24990. Is t a multiple of 43?
False
Let f(h) = 14*h + 3. Let j be f(-2). Let g be 411/15 + (-15)/j. Is (-12)/g + (-146)/(-14) a multiple of 4?
False
Suppose 0*w + w - 8 = 0. Suppose -156 = -w*g + 116. Is g a multiple of 27?
False
Suppose -560 = -i + 4*c + 68, 3*i = -3*c + 1824. Is i a multiple of 68?
True
Suppose -2*i = 2*m - 4*i - 6004, -3*i = 5*m - 14970. Does 81 divide m?
True
Let f(a) = -a**3 - 11*a**2 - 12*a - 15. Let v be f(-10). Suppose 0 = 2*i - v*d - 23, 4*d - 3 = -3*i + d. Is i even?
True
Let o(m) = m**3 - 10*m**2 + 2*m + 45. Is 17 a factor of o(19)?
True
Let f = 113 + -70. Suppose 0 = 48*l - f*l - 575. Is 12 a factor of l?
False
Let s be (2/(-8))/(1/(-4))*-1. Let l(x) = 65*x**2 - 5*x - 6. Is l(s) a multiple of 34?
False
Let g(s) = -2*s. Let f be g(-4). Let d = -8 + f. Suppose 0 = 4*n - c - 28, d*n + 5*n + 3*c = 35. Does 6 divide n?
False
Let l = -168 - -80. Let v be (3 + 0)*l/(-3). Suppose 4 = 4*p, 5*a = -3*p - 0*p + v. Is 6 a factor of a?
False
Suppose -b - b = -10. Suppose -3*m - 2*g + 15 - 6 = 0, -10 = -b*m - 5*g. Suppose -o + m*n = 9, 0 = o - 3*n + 3 - 0. Is 3 a factor of o?
True
Suppose 4*o - 2296 = -4*n, o + 5*n - 590 = -0*n. Is 57 a factor of o?
True
Let a(h) be the second derivative of -h**5/20 - 7*h**4/12 + 3*h**3/2 - 11*h**2/2 + 4*h. Does 14 divide a(-9)?
True
Let f = -236 - -283. Is 7 a factor of f?
False
Let j(z) = -z - 4. Let r be j(0). Let b(y) = -y**3 + 8*y**2 + y - 9. Let n be b(8). Does 15 divide 1 + 77 - r/n?
False
Let z = 3 + -6. Let g(v) = -4*v + 3. Let b be g(z). Is 7 a factor of b + (-2 - -4) - 3?
True
Let d(k) = 6*k**3 + 3*k**2 - 8. Let b(p) = -2*p**2 - 2 + 7 - 1 - 2*p**3 - p**3. Let n(c) = 5*b(c) + 3*d(c). Is 16 a factor of n(3)?
False
Let l(h) = -32*h. Let p(b) = 2*b. Let f(m) = -2*l(m) - 36*p(m). Does 2 divide f(-1)?
True
Let l be (-18)/(-7) + (-3)/(-7). Suppose -2*d - l*a + 251 = 26, 0 = -a - 1. Is 19 a factor of d?
True
Suppose -5*h = v - 64, -5*h - 260 = 4*v - 9*v. Does 13 divide v?
False
Suppose 0*j + 5*j - 540 = 0. Suppose -5*a - j = -3*n, 0 = 2*n + a + 2*a - 91. Suppose 6*k + 2*c - n = k, -3*k + 4*c = -9. Is k a multiple of 5?
False
Let z(r) = 3*r - 12. Let m be z(5). Suppose -m*s + l - 51 = 37, -2*s + 5*l = 63. Let h = s + 60. Is 8 a factor of h?
False
Let i = 1573 - -72. Does 47 divide i?
True
Let k be (-124)/(-8)*5*2. Suppose 3*j - 123 = -b - 2*b, 5*b = 5*j + k. Is 6 a factor of b?
True
Let g(s) = -693*s + 139. Is g(-3) a multiple of 21?
False
Let y = 605 + -211. Is 15 a factor of y?
False
Let m = -6 - 15. Let d(f) = -f**2 + 8*f. Let l be d(7). Is (-2)/l + (-2148)/m a multiple of 27?
False
Suppose 0 = 18*u - 76*u + 71050. Is 42 a factor of u?
False
Suppose 0 = 5*k + 5*x - 45, -3*x = -5*k - 5*x + 30. Suppose k = -3*n + 1. Is 36 - n/(2/(-2)) a multiple of 14?
False
Let g be (3 + -4)/(1/(-18)). Let c be 3038/63 + (-4)/g. Let v = 68 - c. Is v a multiple of 5?
True
Let i = 1245 + -979. Is i a multiple of 19?
True
Suppose -11*z + 4340 = -z. Does 14 divide z?
True
Let p be (2/(-4))/((-2)/28). Let w(j) = -2*j**2 - 2*j - 5. Let r be w(p). Let n = -37 - r. Does 22 divide n?
False
Let b(f) = f**3 + f**2 + 1. Let k(z) = -4*z**3 - z - 3. Let c(l) = -3*b(l) - k(l). Let m be c(3). Is -3 + 1 + m - -21 a multiple of 22?
True
Let b = -337 - -679. Does 57 divide b?
True
Let q(t) be the first derivative of 3 - 19*t - 5/2*t**2. Is 7 a factor of q(-8)?
True
Let g(r) = 6*r - 7. Let h be g(5). Let t = h + -24. Is 7 a factor of -3 - (t + -22) - 0?
False
Suppose 0 = 15*q - 20*q - 1610. Is 34 a factor of q/(-8) - 6/24?
False
Let s(c) = 13*c**2 - 4*c + 9. Let a(t) = -38*t**2 + 12*t - 27. Let q(v) = -4*a(v) - 11*s(v). Is q(4) a multiple of 18?
False
Let x be (2 + -1)*(3 + -3). Suppose -6*h = -x*h. Suppose 0 = -h*c - c + 40. Is c a multiple of 20?
True
Suppose 4*j + 4*a = -28, -2*a = -3*a + 2. Let s = j - -107. Is s a multiple of 14?
True
Let x be (-7)/14*(-10)/(-1). Let v(h) = h**3 + 5*h**2 - 13*h - 4. Is 26 a factor of v(x)?
False
Let t(y) = y**2 + 4*y - 11. Let u be t(12). Suppose 10*l = 5*l - 10, 5*g - 3*l - u = 0. Suppose -1 = -z + g. Does 12 divide z?
True
Let z = -16 + 20. Suppose 2*j - 6 = 0, -j + 83 = -z*i - 60. Is 14 a factor of (151 - 1)*(-14)/i?
False
Suppose -5*i - 4 = 3*h, -5*h - 3*i + 16 = -6*i. Suppose -h*x - 2*x = -20, 51 = 2*b - x. Does 18 divide b?
False
Let u be 273/(5/(50/(-15))). Let h = -85 - u. Does 17 divide h?
False
Let k = 11 - 4. Does 10 divide 138/k + 10/35?
True
Suppose -r = 3*r - 8. Suppose 14 = h + 3*h - r*w, -5*w - 11 = -4*h. Suppose 108 = -2*n + h*n. Does 18 divide n?
True
Let o(z) = 7*z**2 - 5*z - 6. Let m be o(-2). Let s = m + 96. Is 55 a factor of s?
False
Let q be 6/(-9) + 20/(-15). Does 3 divide q - (458/(-14) + (-6)/2