et v(i) = 7*i**2 - 6*i - 5. Let o(s) = -4*s**2 + 3*s + 3. Suppose 20 = -3*f + 5*f + 2*g, -2*g + 5 = -f. Let a(m) = f*o(m) + 3*v(m). Is 10 a factor of a(5)?
True
Let n be (-188)/(-20) + (-4)/10. Suppose -5*j + 8*j = c + n, 0 = 4*c + 12. Suppose p + p = o + 65, 4*p + j*o - 126 = 0. Is 16 a factor of p?
True
Let f(n) = -n**3 + 2*n**2 + 3*n. Let p = 8 + -10. Is f(p) a multiple of 3?
False
Let r(m) = -m**2 + 10*m + 2. Does 14 divide r(5)?
False
Suppose 2*g + 5*x = -256, 0 = -0*g + 4*g + x + 548. Let w = -96 - g. Does 17 divide w?
False
Let h be ((-2)/(-3) + -1)*-15. Does 12 divide (-26)/5*(0 - h)?
False
Let k be 6/27 + (-50)/(-18). Suppose k*n - 5*n = -8. Suppose -5*g + 67 = 3*f, n*f + 23 = 6*f - g. Does 14 divide f?
True
Suppose -4*g = 12, -4*m + 4*g + 339 = 3*g. Does 14 divide m?
True
Suppose 0 = 3*h + 2*l - 438, -2*l - 2*l = -12. Is h a multiple of 18?
True
Let x(m) = -m - 2. Let b be x(-6). Let z be ((-42)/b)/(9/(-24)). Suppose 0*i = i + 2*o - z, -5*i - 3*o + 161 = 0. Does 15 divide i?
False
Let u = -245 - -415. Is u a multiple of 16?
False
Let h = 22 - 16. Let y(n) = -11*n - 31. Let a(r) = -5*r - 15. Let v(c) = -13*a(c) + 6*y(c). Is v(h) a multiple of 3?
True
Let z(c) = -11*c - 31. Is 5 a factor of z(-5)?
False
Let a(h) = 28*h - 2. Let o be a(4). Suppose 4*d + 3*y - 77 + 10 = 0, -5*y = -5*d + o. Is 6 a factor of d?
False
Suppose -5*j - 72 = -3*h, 2*h = -2*h - 4*j + 96. Is 6 a factor of h?
True
Let v = -1 - 9. Let a be 2/(-8) - v/8. Is 19 a factor of 32/(-2*a)*-3?
False
Let k(j) = -j**3 - 5*j**2 - 5*j - 2. Let r be k(-4). Suppose -4*n + 10 = r*u - 2*n, -n = 5*u - 21. Suppose 0*p + p - 1 = s, p - 11 = -u*s. Is p even?
False
Suppose -3*g = -78 - 111. Let o be g/6 - (-6)/4. Does 21 divide 56/o*(8 + 1)?
True
Let q = 78 + 11. Does 10 divide q?
False
Let a = -7 - -5. Let m = -35 - -13. Is 11 a factor of m/(2/a - 1)?
True
Suppose 0 = -4*k + 23 + 185. Is 4 a factor of k?
True
Let w be 4/(-2) - (-60)/6. Suppose 2*o = 14 + w. Is o a multiple of 11?
True
Suppose -4*k + 5 = 5*r, r + r + 3*k = 2. Let l(y) = 4*y**3 + 2*y + 1. Let f(v) = -v**3 - 1. Let s(w) = r*l(w) + 3*f(w). Is 9 a factor of s(2)?
False
Let m(z) = z - 3. Let o be m(3). Suppose o*w + 3*w = -6. Let b(v) = -v**3 + 2*v**2 + v + 2. Is b(w) a multiple of 8?
True
Suppose 0 = -3*o - 2*o + 5*p + 25, 21 = 3*o - 5*p. Let s be (-1)/(o/(-8))*1. Suppose -164 = -s*b - w, 5*b + 2*w = -10 + 215. Does 19 divide b?
False
Suppose -5*z = -5*c + 400 + 75, -3*z + c - 291 = 0. Let j = -62 - z. Is j a multiple of 14?
False
Let h(o) = 8*o - 3. Let j be h(5). Suppose 0 = 2*r - 53 - j. Suppose 4*v - 2*k = 44 + 14, 3*v - r = 3*k. Is 9 a factor of v?
False
Let i(c) = -c. Let f(s) = -7*s - 1. Let t(z) = f(z) - 4*i(z). Let r be t(1). Let y = 26 + r. Is y a multiple of 22?
True
Let f be (7 + -10)*8/(-6). Suppose 0*g - 60 = -f*g. Is g a multiple of 7?
False
Let u = -3 + 9. Let g = u + -4. Suppose -r = -g*r + 2. Is 2 a factor of r?
True
Suppose -i + 27 = -4*w + 3*w, i = 3*w + 19. Is i a multiple of 26?
False
Let o(c) = c**2 - c + 1. Let y be o(0). Suppose -a = -0*a + 3*z + y, -3 = a + 5*z. Is 118/4 + 1/a a multiple of 13?
False
Suppose -5*b - 45 - 155 = 0. Let s = b - -67. Suppose 4*a - 36 = -4*x, -2*a + s = 3*a - x. Is 6 a factor of a?
True
Let p(v) be the second derivative of -v**3/2 - 2*v**2 + 2*v. Let b be p(-10). Let q = b - 18. Does 8 divide q?
True
Let n be ((-20)/(-3))/((-1)/3). Let k be 0 + -2 + (3 - -32). Let f = n + k. Does 13 divide f?
True
Let w(z) = z**3 - z**2 - 1. Let b be w(2). Is 153/b - (3 - 2) a multiple of 10?
True
Suppose -4*c - 13 = -j + 316, 357 = j + 3*c. Suppose -3*p + 8*p = j. Does 34 divide p?
False
Let x = -84 + 125. Does 41 divide x?
True
Let d be -22*1*(-5)/5. Let i be 4/(-10) + d/5. Let a = i - -2. Does 3 divide a?
True
Suppose -4*k + 4*c - 2*c - 2 = 0, 0 = c - 3. Is 9 a factor of 14*k/4*6?
False
Suppose -5*v = 25, -2*v = 5*t - 3*v - 30. Let p = 2 - t. Does 2 divide p + 4 - (-3 - 0)?
True
Let y = 5 + 0. Let s(c) = -12*c - 1. Let x be s(-3). Suppose y*u - x = -0*u. Does 5 divide u?
False
Suppose 295 + 345 = 4*r. Is 17 a factor of r?
False
Let v(u) be the second derivative of -u**5/20 - u**3/6 + 21*u**2 - 7*u. Is v(0) a multiple of 21?
True
Let a be (4/(-8))/((-2)/(-12)). Let p be (-1 - a)/1 - -28. Suppose 2*o = p + 22. Is o a multiple of 13?
True
Suppose -10*d = -6*d - 216. Suppose w = -0*w + 5. Suppose 0 = -w*n + d - 14. Is 4 a factor of n?
True
Suppose -i + 2*i + 3*c + 12 = 0, 0 = 3*i + 3*c + 24. Let a(b) = -b**2 - 8*b - 9. Let n be a(i). Suppose 31 = n*x - 20. Is 6 a factor of x?
False
Let g(o) = -o**3 - 5*o**2 + o + 6. Let a = -14 + 9. Let k be g(a). Suppose 4*m - k = j + 2, 0 = m - 2. Is 3 a factor of j?
False
Let g(j) = -j**2 - 14*j + 9. Does 3 divide g(-13)?
False
Let y(n) = n**3 + 4*n**2 - 3*n + 4. Let b(t) = 5*t**2 + t. Let v be b(-1). Let l be (-6)/3 + (2 - v). Is 16 a factor of y(l)?
True
Let i be 3 - 2 - (-12 - 2). Let c be -1 + 32 - (-9)/(-3). Let w = c - i. Is 13 a factor of w?
True
Suppose -p = 5*n - 15, -p - n = 2*n - 11. Is p a multiple of 4?
False
Suppose -5 = -5*i + 5. Is 2 a factor of i?
True
Suppose 0 = 5*f + 2 - 12. Suppose 4*z = f*c - 5*c - 4, 3*c + 3 = -3*z. Suppose r + c*r = 25. Does 10 divide r?
False
Let s(z) = -z**2 - 12*z + 16. Does 10 divide s(-11)?
False
Suppose 6*k = k + 25. Is 5 a factor of k?
True
Let d = 12 + -10. Suppose 4*u - 122 = d. Does 11 divide u?
False
Let r(t) = -t + 33. Does 19 divide r(0)?
False
Let j(l) = -l**3 + 11*l**2 - 16*l - 4. Does 7 divide j(9)?
True
Let i(t) = t + 10. Let r be (-6)/9*-1*12. Does 9 divide i(r)?
True
Let x(g) = 8*g + 11. Does 17 divide x(5)?
True
Let t = -65 + 92. Is t a multiple of 4?
False
Let w = -1 - -1. Suppose 0 = -w*x - 2*x + 20. Is x a multiple of 10?
True
Let c(r) = -1. Let f(t) = -t**2 - 4*t + 1. Let x(v) = -6*c(v) - f(v). Is 10 a factor of x(-5)?
True
Let w = -8 + 11. Let k(g) = -10 - g + w*g + 6*g. Is 16 a factor of k(8)?
False
Let w(n) be the first derivative of -7*n + 2*n**2 + 0*n - 3*n + 1. Is w(8) a multiple of 13?
False
Let f be (-18)/72 + (-74)/(-8). Suppose -4*z - 25 = -f*z. Is z a multiple of 3?
False
Suppose 20 = 3*l - 13. Let v = l + 31. Is 14 a factor of v?
True
Let c(p) = p**2 - 7*p + 2. Let m be c(7). Suppose -18 = -m*h - h. Suppose 164 = -2*w + h*w. Is w a multiple of 13?
False
Suppose -5*j + 33 = 3*y, -2*y - 5*j = -y - 11. Does 11 divide (0 - 0)/(-2) + y?
True
Let n(t) = 2*t**2 + 7*t + 6. Suppose r - 2 = -d, -6 = 2*d - 5*r + 2*r. Let o = -4 + d. Is n(o) a multiple of 7?
False
Let n(i) be the first derivative of -5*i**4/8 + i**3/6 - 3*i**2/2 + 3. Let b(y) be the second derivative of n(y). Does 21 divide b(-2)?
False
Let x(y) be the second derivative of y**4/12 - y**3/3 - 9*y**2/2 + y. Is 14 a factor of x(-6)?
False
Is 3/((-15)/(-10)) + 24 a multiple of 26?
True
Let h be 0/(-1) + 2/1. Let w be 2/h*(-15 + 0). Is 17 a factor of 374/8 + w/20?
False
Let x = 7 - 3. Let d = 1 + x. Suppose -4*t + d*b = t - 130, -5*b = -t + 42. Does 20 divide t?
False
Suppose 3*y - 15 = 174. Is y a multiple of 21?
True
Let p = 5 - 3. Does 10 divide 6/p*70/21?
True
Let k = -32 - -280. Is 31 a factor of k?
True
Suppose 6*n = 2*n - 3*p + 372, 492 = 5*n - 3*p. Is n a multiple of 6?
True
Let z(x) = -x + 6. Let i(o) = 4*o + 1. Let l be i(-4). Is 7 a factor of z(l)?
True
Let x = 61 + -40. Is x a multiple of 9?
False
Suppose 0 = 8*x - 320 - 224. Is 19 a factor of x?
False
Let x(i) = -13*i + 1. Let b be x(-7). Suppose 2*n = -v - v + b, 5*n = -4*v + 232. Is (n/15)/(2/5) a multiple of 8?
True
Let r(u) = u**3 - 11*u**2 + 12*u + 8. Let f be r(10). Let n(b) = -b. Let w be n(5). Let z = f - w. Is 11 a factor of z?
True
Suppose 1170 + 40 = 11*v. Is 26 a factor of v?
False
Suppose 0 = -4*x + 50 + 62. Is 13 a factor of x?
False
Suppose -n = -2*n - 5. Is 2 a factor of 4/1 + n + 7?
True
Let l = 0 - -1. Let h be 25 + 2*-1 + l. Suppose 4*b - 68 + h = 0. Is 7 a factor of b?
False
Let w = -52 + 76. Suppose -3*g - w = g. Does 13 divide g*(2 - (-26)/(-4))?
False
Let i(n) = 2*n + 4. Let d(m) = -m**3 + 4*m**2 + m. Let x be d(4). Let k = 0 + x. Is 11 a factor of i(k)?
False
Let h(l) = -9*l + 13. Let o(j) = 13*j - 20. Let d(t) = -8*h(t) - 5*o(t). Let k be (0 - -5)*(-6)/(-5). Does 18 divide d(k)?
False
Suppose 3*d - 4*k = 56, -30 - 30 = -3*d + 3*k. Sup