= 2*a - v - 188. Suppose -5*w + a = 37. Is (-7)/(-3) + 8/w a multiple of 3?
True
Let j(y) = -3*y - 10. Let a(i) = i**2 - 7*i + 3. Let w be a(5). Let m be j(w). Let o = m + -6. Is 3 a factor of o?
False
Suppose 364 = 6*f - 2*f. Is 22 a factor of f?
False
Let h(n) be the third derivative of 73*n**5/60 - n**4/12 + n**3/6 + 2*n**2. Is h(1) a multiple of 18?
True
Let u = 153 + -57. Let s = u + 56. Suppose 3*y = -5*k + 207 - 41, -4*y - s = -4*k. Is 12 a factor of k?
False
Let f(l) = -6*l**3 - 1 + 10*l**3 + 47*l**3 - 4*l**3. Is f(1) a multiple of 14?
False
Suppose 0 = -2*c - q + 2, -5*c - 2*q + 6 = -0*q. Is 2 a factor of 1 - (0 + -3) - c?
True
Let i be 4/(-8) - 1/(-2). Let y = i - -8. Suppose x + 4*s = y, 5*s - 5 = -x + 1. Is x a multiple of 8?
True
Let z(v) = -v**3 - 11*v**2 - 14*v + 2. Let t be z(-10). Let m = 20 + t. Is 25 a factor of m?
False
Let r(q) = -q**2 - 9*q + 6. Let c be r(-6). Suppose 3*g = -n, -3*n + g + c = 4*g. Does 12 divide n?
True
Let h(n) = -n**2 - 4*n - 1. Let a be h(-3). Let r be 2/a + (-3 - -2). Suppose r = 3*g - 36 - 0. Is 6 a factor of g?
True
Let f be (-1 - (-3)/2)*4. Let k(r) = 2. Let i(a) = -a + 2. Let s(g) = f*k(g) - 3*i(g). Is s(6) a multiple of 8?
True
Let t(f) = -7*f**3 - f**2. Let w be t(-1). Suppose -w*v + v = -50. Is 10 a factor of v?
True
Suppose i = -4*l + 167, -l = -2*l - i + 41. Is 21 a factor of l?
True
Let v(s) = -5*s - 15. Does 6 divide v(-9)?
True
Let k = 3 - 1. Suppose -k*z = -z + 1. Is 14 + 2*z + 2 a multiple of 14?
True
Let n(x) = 5*x**2 + 41*x - 16. Let d(q) = q**2 + 10*q - 4. Let l(o) = 9*d(o) - 2*n(o). Let m be l(4). Suppose r + r = m. Does 3 divide r?
True
Let v(w) = -w**3 + w**2 + 13. Is v(0) a multiple of 7?
False
Suppose 0*w - 4 = -2*w. Suppose 4*c - y = y + 6, -w*y - 2 = -3*c. Suppose -c*d = -0*d - 48. Does 6 divide d?
True
Is ((-8)/6)/(14/(-1281)) a multiple of 28?
False
Let j(s) = 8*s - 2. Let t be j(-6). Let h = -26 - t. Does 12 divide h?
True
Let n be ((-1)/(-2))/(4/8). Let o = 27 - n. Is 13 a factor of o?
True
Let k(l) = -l**2 - 8*l + 2. Let p be 4/2 + 0 + -8. Does 7 divide k(p)?
True
Suppose 3*v = -6*v + 189. Is v a multiple of 5?
False
Suppose -44 = -4*b + 16. Is b a multiple of 2?
False
Suppose 5*z = 4*z. Suppose z = 2*w - 22 + 4. Is w a multiple of 3?
True
Does 16 divide ((-9)/12)/(3 + (-242)/80)?
False
Let n be (1 + -1)/(1 + -2). Is (n - -16)/((-16)/(-24)) a multiple of 8?
True
Let y(s) = -8*s - 3. Suppose -v + 3*p = 8*p - 18, -4*p - 15 = 5*v. Let t be y(v). Let g = t + -29. Does 10 divide g?
False
Let v(o) = -o - 11. Let i be v(-5). Let m(b) = b**2 + 5*b + 6. Is m(i) a multiple of 4?
True
Let f = -34 - -103. Is f a multiple of 7?
False
Let h(m) = -4 + 1 + 1 + 4*m. Let j(i) = 4*i - 4. Let f be j(3). Is 15 a factor of h(f)?
True
Let t(g) = 1 - g + 2 + 0. Let v be t(7). Is -2 - -4 - (v + -1) a multiple of 3?
False
Let t = -4 + 13. Let a(f) = f**2 - 11 + 1 - 5*f - 2*f. Is 6 a factor of a(t)?
False
Suppose 3*c - 16 + 46 = 0. Let l(d) = d**2 + 10*d + 8. Is l(c) a multiple of 8?
True
Let a(f) = f + 10. Let t be a(-10). Suppose v - 29 = -5*q, 4*q + 2*v + 2 - 24 = t. Does 6 divide q?
True
Let y = 90 - 17. Is 27 a factor of y?
False
Suppose -325 = -4*q - 5*o, -50 + 190 = 2*q - 2*o. Let t = -48 + q. Is 7 a factor of t?
False
Does 5 divide (-32)/(-5) - 6/15?
False
Let r(u) = 5*u**3 - 3 + 6*u**2 - 3*u - 6*u**3 - 2. Let h be r(5). Suppose 20 + 85 = 3*t + 3*g, 3*g + 167 = h*t. Is 17 a factor of t?
True
Let c be (6/9)/((-2)/3). Is 10/(c - (-9)/7) a multiple of 13?
False
Let j = 8 - 5. Suppose 0 = -4*h - 2*d + 12, j*h - d - 27 = 2*d. Is h a multiple of 2?
False
Suppose 2*g = -g + 3, 0 = k - g + 3. Let l = 4 - k. Does 5 divide l?
False
Let k(x) = -x + 14. Let h be k(10). Let p(d) = 15*d. Is 15 a factor of p(h)?
True
Suppose 4*i - 132 = 252. Does 21 divide i?
False
Let z = 3 - -14. Let h = z - 9. Is 6 a factor of h?
False
Let i(z) = -z + 4*z + 0 + 2*z**2 + 3. Is 7 a factor of i(-4)?
False
Let u = -3 + 4. Suppose -g - u = 2*i - 10, 0 = g + 5*i - 12. Is g a multiple of 7?
True
Let x(n) = -n**2. Let o be x(-2). Suppose 2*h + 3*h - 5 = 0. Let u = h - o. Is u even?
False
Let c(o) = 13*o - 2. Let j = -2 + -1. Let w be 4 + 0*j/6. Is c(w) a multiple of 18?
False
Suppose y = -2*y + 6. Let w(s) = s**2 - s + 2. Let i be w(y). Suppose i*m = 3*m - 4*r + 13, 0 = -2*m - r + 19. Is m a multiple of 3?
True
Let u(r) = 2*r + 7. Suppose -17 = -0*o - o. Let f = o + -8. Is 25 a factor of u(f)?
True
Let s be 8/3 - (-1)/3. Let z(n) be the third derivative of n**4/8 - 2*n**3/3 + 3*n**2. Is 5 a factor of z(s)?
True
Suppose -5*u - 238 = -1098. Suppose 5*i + 3*d - 166 = 0, u = 5*i - 2*d + 3*d. Does 16 divide i?
False
Let w(g) = -g + 2. Let j be w(-4). Suppose f + l + 36 = -0*f, -4*l = f + 30. Does 7 divide (f/4)/((-3)/j)?
False
Suppose 0*b + 3*d = 5*b - 165, 0 = -3*b + 2*d + 98. Does 4 divide b?
True
Let k = 136 + -66. Is k a multiple of 14?
True
Does 13 divide 16/(0 + -1 + (-6)/(-4))?
False
Let f be (6/7)/(5/35). Is 21 a factor of 128/f - 2/6?
True
Let q = 3 + -3. Suppose q*j - 2*j - 2*a = -40, -5*a - 70 = -5*j. Does 6 divide j?
False
Let u = -9 + 74. Is 12 a factor of u?
False
Suppose -345 = -y - 4*y. Is y a multiple of 24?
False
Suppose 0 = 12*h + 180 - 1116. Is h a multiple of 26?
True
Let n be 126/(-9)*(-14)/(-4). Let k = n - -125. Does 17 divide k?
False
Suppose 4*l - 5*u - 131 + 31 = 0, 5*l - 96 = -u. Let c = 0 + l. Is 13 a factor of c?
False
Let z(g) = -g**3 + 5*g**2 + 1. Let n be z(5). Let j(d) = -d**2 + 7*d - 16. Let k be j(5). Is ((-20)/6)/(n/k) a multiple of 20?
True
Suppose 0 = 2*l + s - 131, 3*s + 247 = -3*l + 7*l. Suppose y - l = -y. Is y a multiple of 16?
True
Suppose -3*l = -47 - 229. Suppose -5*n + m + 115 = 0, -4*n - 4*m + l = -n. Suppose 3*g + 2*i = 21, 2*g - 6*i = -4*i + n. Does 9 divide g?
True
Suppose 147 + 151 = 4*m + 5*o, 377 = 5*m + 4*o. Is 13 a factor of m?
False
Suppose -4*m - 11 = 97. Let r = 24 - m. Is r a multiple of 25?
False
Does 19 divide (16 - -6)*-2*(-1)/2?
False
Let k = -18 + 30. Suppose t = 2*v + 19, 2*v - k = 5*v. Does 11 divide t?
True
Let j(s) = 13*s**2 - 3*s - 1. Suppose -13*c = -12*c + 1. Does 4 divide j(c)?
False
Let q(f) = -2*f**2 - 3*f - 1. Suppose 10*b + 10 = 5*b. Let o be q(b). Is o/(-9) + (-35)/(-3) a multiple of 12?
True
Suppose 4*a = -2*o + 58, -13 = -2*a + 3*o + 20. Suppose -i = 4*i - a. Suppose -6*u + i*u = -60. Does 11 divide u?
False
Let x(l) = 2*l. Let f be x(-2). Let u = f + 7. Suppose t + b + 10 = u*t, -t - b = -2. Is t even?
True
Let z = 5 - 7. Let x(c) = c**2 + c - 1. Let l be x(z). Is (l - 13)/((-27)/18) a multiple of 4?
True
Let z(j) = 5*j**2 - j + 2. Let w be z(3). Let k = w - 21. Is 23 a factor of k?
True
Let a(u) = u**3 + u**2 - 1. Let h(b) = 5*b**3 - b**2 + 7*b - 9. Let q(d) = -6*a(d) + h(d). Let i be q(-8). Let z(g) = -g**2 + 8*g - 7. Does 7 divide z(i)?
False
Let j = -2 - -19. Let s = j - 3. Is 9 a factor of s?
False
Suppose l - 171 = 1. Suppose -5*w = -4*d - 235 - 105, -3*w = 4*d - l. Is 18 a factor of w?
False
Let a = -3 - -13. Suppose 5*v = -a, -v - 16 = 5*t + 6. Is (-7 - t)/(3/(-16)) a multiple of 6?
False
Suppose -3*k - 5 = -4*c, -3*k - k = -4*c. Let r = k + 5. Is 4 a factor of r?
False
Let o(f) = 5*f**2 - 3*f - 36. Is 13 a factor of o(-10)?
True
Let p(g) = -g**2 - 17*g - 9. Does 7 divide p(-15)?
True
Is 21 a factor of ((-21)/(-8)*2)/((-24)/(-128))?
False
Let i(s) be the first derivative of 5*s**4/4 - 2*s**3/3 + 3*s**2/2 - 2*s - 2. Let l be i(2). Suppose -3*a = -3*g - 18, -g = -4*a - 3*g + l. Is 8 a factor of a?
True
Suppose 143 = p + 9*x - 10*x, 0 = -p + 4*x + 143. Is p a multiple of 13?
True
Let b be 0 - (-1)/2*2. Suppose -3*h = -v - v - 2, 0 = 5*h + 2*v - 14. Let l = h + b. Does 2 divide l?
False
Let j = 51 + 39. Let q = -53 + j. Does 15 divide q?
False
Let m be -2 + (-2)/4*-10. Let a be (31/1)/(0/1 - -1). Suppose -2*f + a = v + m*f, 5*v + 2*f = 40. Is v a multiple of 4?
False
Let s = 54 + -21. Is 11 a factor of s?
True
Is 13 a factor of (-186)/(-14) + 14/(-49)?
True
Suppose 25 + 7 = 8*c. Suppose -2*n - 3*n + 2*h + 456 = 0, 5*n = -3*h + 466. Suppose -c*r + n = 16. Is r a multiple of 19?
True
Let h be 2*1/(-4)*2. Suppose 4*l = 4*o - 28, l + l = -2*o - 10. Does 6 divide 1/(h/l) - 0?
True
Let u = 6 + 16. Let j = 20 + u. Is 14 a factor of j?
True
Let r = 10