 = 5 - 2. Suppose -c*m - 5*r = -46, 4*m - 2*r - 40 = 2*r. Is 12 a factor of m?
True
Suppose -4*l - 107 = 1. Let w = -15 - l. Does 12 divide w?
True
Suppose -3*u = 2*u - 10. Suppose 0 = -2*m + 3*t + u - 41, -4*t = 3*m + 50. Let h = m - -26. Does 8 divide h?
True
Let o(q) = q + 1. Let g be o(3). Suppose t + 12 = g*t. Suppose 3*w = -4*f + 68, -t*f + w = -2 - 50. Is f a multiple of 12?
False
Let n = 3 - 4. Does 14 divide 24 - (-2 - (-2 - n))?
False
Suppose 2*n - 13 = 3. Suppose 0 = n*o - 3*o. Suppose -3*l + 12 = -o*l. Is l a multiple of 3?
False
Let i(x) = -9*x**2 - 3*x + 2. Let v be i(2). Let u = 64 + v. Is u a multiple of 12?
True
Suppose -b + 2*b = 0. Suppose -4*c + b*c = -5*o - 39, 4*o = -12. Is c a multiple of 6?
True
Suppose -305 - 1530 = -5*q. Does 13 divide q?
False
Suppose -3*t - 20 = -8*t. Is t + -3 - (4 - 43) a multiple of 20?
True
Is (-160)/(-6) + 5 + (-1)/(-3) a multiple of 14?
False
Let d be (-9)/2 + (-9)/18. Is d/(15/(-138)) + 3 a multiple of 10?
False
Let h(b) = -b**3 + 7*b**2 - 8*b + 4. Let a be h(6). Does 16 divide (-29)/(-1) + 24/a?
False
Suppose 4*s - 21 = 39. Suppose -3*d = -a + s, 0 - 30 = -2*a + 3*d. Does 4 divide a?
False
Let q = -11 + 16. Suppose -3*u + 5*b - 19 = -q*u, -6 = -u + b. Does 7 divide u?
True
Let f = -104 + 202. Is 8 a factor of f?
False
Suppose -4*w + 9*w - 10 = 0. Let z(a) = 18*a**2 + a + 1. Let g be z(w). Let q = g - 39. Is q a multiple of 18?
True
Let y(o) be the first derivative of 3*o**5/8 - o**4/24 - o**3 + 3. Let t(k) be the third derivative of y(k). Is t(1) a multiple of 11?
True
Let q(o) = 47*o - 2. Does 9 divide q(1)?
True
Suppose 4*u - 5*w = -2 - 7, 0 = 4*u - 3*w - 1. Suppose 11 = b + 3*y, -2*b + b = -u*y - 18. Is b a multiple of 7?
True
Let l(v) = -213*v**3 + v**2 - v. Let s be l(1). Is 1*s*(-4)/12 a multiple of 21?
False
Suppose -7*v + 4*v = -18. Let m = v - -12. Is 5 a factor of m?
False
Suppose -4*c + 88 = -376. Suppose 8 = -4*b, 3*r + b - 125 = c. Suppose -7*g = -5*y - 2*g + 60, -2*g = 5*y - r. Is 15 a factor of y?
True
Let k(a) = -3*a**3 - 11*a**2 + 10*a + 5. Let m(c) = 4*c**3 + 12*c**2 - 11*c - 5. Let p(i) = -5*k(i) - 4*m(i). Is p(5) a multiple of 8?
False
Let v(m) = m**3 + 17*m**2 + 27*m - 7. Is 15 a factor of v(-15)?
False
Suppose 4 = 5*w + u - 2, 3*u = -12. Suppose 0 = -w*o + 5*y + 27, 0*y = o - 3*y - 13. Let k = 33 - o. Is 17 a factor of k?
True
Let f(m) = 33*m**2 + m - 1. Let d be f(1). Suppose 5*x + d = 2*x. Let v = -5 - x. Does 3 divide v?
True
Suppose -5*n = -5*f + 105, -3*f + 2*n - 12 + 74 = 0. Is 6 a factor of f?
False
Is 22 a factor of 6/(-4)*(-518)/21?
False
Let u = 6 - 10. Let c = 9 + u. Suppose 4*b + c*d - 76 = d, 0 = 5*b - 4*d - 104. Is 10 a factor of b?
True
Suppose -2*g + 4*x = 8, -2*x - 9 = 3*g - 37. Let j(p) = p**3 - 5*p**2 - 3*p - 8. Is j(g) a multiple of 10?
True
Is 9 a factor of (-1)/2*-1*126?
True
Let o be 45/35 + 4/(-14). Suppose -f - o - 3 = 0. Let z(q) = -4*q. Is 16 a factor of z(f)?
True
Let g = 4 + -5. Let b = -1 + 1. Is (-10 + -3)/(b + g) a multiple of 13?
True
Let l(z) = 36*z**2 - 1. Let q be l(1). Suppose -98 = -3*v - q. Does 8 divide v?
False
Let j(v) = 2*v**2 + 4*v + 2. Let g be j(-2). Suppose -2 = -g*a + 4. Let b(i) = 8*i + 2. Is b(a) a multiple of 13?
True
Let b(k) = -k**3 + 6*k**2 + 3*k - 7. Does 29 divide b(3)?
True
Suppose 3*t - 3*j = 0, 2*t + 5*j - 2 = 26. Suppose 0 = -5*c + c. Is 6/t*10 + c a multiple of 15?
True
Let p(m) = 9*m**2 - 1. Let d be p(-1). Suppose -d + 4 = -i. Suppose -i*j - j + 85 = 0. Is 7 a factor of j?
False
Let r = 10 - -8. Does 18 divide r?
True
Let u be 4/8 - 6/4. Does 17 divide u*3/3 - -44?
False
Let w = -8 + 11. Suppose -11*o + 331 + 351 = 0. Suppose w*k = 10 + o. Is 16 a factor of k?
False
Let s = 2 - 2. Let m = 6 - s. Does 5 divide m?
False
Let o = 62 - -58. Does 24 divide o?
True
Let z = 12 + -5. Let x = 9 - z. Let m(v) = 14*v**2. Is m(x) a multiple of 16?
False
Let f be -18*((-22)/3 - 2). Suppose 0 = q - 5*q + f. Is q a multiple of 14?
True
Suppose -5*t = 5*k - k + 4, 5*t + 5 = -5*k. Suppose t*h - h = -17. Is h a multiple of 13?
False
Let m = 1 + 17. Is m a multiple of 6?
True
Suppose -92 - 258 = -10*w. Is w a multiple of 7?
True
Is (-3)/(3 - (-168)/(-54)) even?
False
Suppose 0 = 2*u - 0*u + 28. Let y = u + 31. Is y a multiple of 9?
False
Let n(f) = 5*f + 3. Let m be n(7). Suppose 10 = -2*a + m. Does 7 divide a?
True
Let p = 192 + -121. Suppose 4*n + 2*r = 112, -3*r - p = -4*n + 21. Is n a multiple of 8?
False
Suppose 6*o = 5*o + 4*s - 15, 0 = -2*s + 6. Is 16 a factor of ((-12)/15)/(o/120)?
True
Let h(q) = 2*q - 10. Let m be h(7). Let o(b) = b**3 - 4*b**2 - b + 5. Let d be o(m). Is 6 a factor of (1 - (0 - d)) + 12?
False
Let t = -1 - -3. Let h be (-5)/t*88/(-20). Suppose -2*u + 13 = -n, -n + h = 3*u - 1. Does 2 divide u?
False
Suppose 0 = 3*g - 7*g - 16. Let y(h) = -h**2 - 4*h + 2. Is 2 a factor of y(g)?
True
Suppose 7 = 2*t - 3, -5*p - t = -35. Does 2 divide (-4)/(-3) + p/9?
True
Let p = -3 - 1. Let d = p + 6. Suppose n + 2*t - 10 = 0, d*t = 6 - 2. Is n a multiple of 3?
True
Let r(u) = u**3 + u**2 - u + 7. Suppose p - 4 = -p. Let y be p/1 - (-2 + 4). Does 2 divide r(y)?
False
Let v = -10 - -6. Is v/(-3)*(-15)/(-1) a multiple of 20?
True
Let a(s) = -s**3 + 14*s**2 + 4. Let d be a(14). Suppose -71 = -d*b - 15. Is 6 a factor of b?
False
Let n(u) = 13*u + 8. Let z be n(7). Let f = -5 + 10. Suppose f*m - z = -14. Does 6 divide m?
False
Let s = -12 - -22. Does 5 divide s?
True
Is -4 + 1 + (-3 - -101) a multiple of 11?
False
Let j be (26/(-10) + 2)*-5. Let q be 33 - ((1 - j) + 1). Let w = q - 22. Is w a multiple of 5?
False
Let p = -22 + 88. Is 11 a factor of p?
True
Let v = -12 + 31. Suppose -17 - v = -2*m. Does 8 divide m?
False
Suppose -3*i + 956 = 5*b, -3*b = -2*i + 2*b + 654. Is 46 a factor of i?
True
Let y(j) = 2*j**2 + 3*j + 1. Let v be y(-2). Let k(a) = a**2 + a. Let m be k(0). Suppose -u + p = -2*p - 42, m = -4*u - v*p + 108. Is u a multiple of 15?
True
Let b be (64/(-48))/((-2)/168). Suppose -22*f - b = -26*f. Is 11 a factor of f?
False
Let a(n) = n**2 - 2*n + 3. Let w be a(2). Suppose 4*d - 129 = -3*v, -w*d - 2*v + 3*v + 87 = 0. Suppose -2*f - d = -3*f. Does 15 divide f?
True
Let s(q) = 24*q**2 - 4*q + 3. Is 18 a factor of s(2)?
False
Let k(b) = b**3 + 4*b**2 - 2*b - 3. Let t be k(-4). Let v(q) = 15*q - 15. Is 15 a factor of v(t)?
True
Suppose -k + 3*k = 6. Suppose -g + 15 = 2*s, k*g = 6*s - s - 65. Is 5 a factor of s?
True
Suppose t = 6*t - 140. Is 9 a factor of (t - -1) + -2 + 2?
False
Let f = -48 - -108. Does 29 divide f?
False
Let q = -2 + 5. Suppose 3*h - 21 = 3*c, -c + 7 = q*h - 2. Let l(r) = -r**3 - 3*r**2 - 2*r + 2. Does 8 divide l(c)?
True
Let c(i) = i**2 + 5*i - 8. Let m be c(-7). Let a be (-71)/(-3) + (-4)/m. Let z = a - 14. Is 9 a factor of z?
True
Let l = 0 + 4. Suppose -2*b + 82 = l*o, o - 5*b + 72 = 4*o. Is 8 a factor of o?
False
Let r(t) = -20*t**2 - t - 3. Let z be r(-2). Does 3 divide 112/18 - (-18)/z?
True
Let p = -168 - -256. Does 13 divide p?
False
Let a(i) be the second derivative of -i**4/12 - i**3/6 + 14*i**2 + 2*i. Is 17 a factor of a(0)?
False
Suppose 32 = 4*n - 56. Is n a multiple of 15?
False
Let i be (-3)/(-6) - 9/(-2). Suppose -4*t + 29 = i*z, t + 4*z = 5*z + 14. Is t a multiple of 8?
False
Let c(h) be the third derivative of h**5/60 + 5*h**4/24 - h**3/3 + h**2. Let w = 7 + -13. Is 2 a factor of c(w)?
True
Suppose -5*i = -3*p - 6 - 1, 5*p + 3*i = 45. Is p a multiple of 5?
False
Let d = -40 + 64. Is 12 a factor of d?
True
Suppose 2*p - p + 28 = 2*i, -5*i + 70 = -4*p. Suppose -2*k = 122 - i. Is (k/(-15))/(4/30) a multiple of 18?
False
Suppose g = 3*g - 14. Is 3 a factor of g?
False
Let l be 8/36 + 43/9. Suppose s = -2 + l. Suppose 79 = s*z + 4*g, -4*z - 4*g - 7 = -115. Is 10 a factor of z?
False
Suppose -4*i = -2*i. Suppose 0 = -u + z + 8, i = z - 6*z - 15. Suppose u*t - 73 = 22. Does 13 divide t?
False
Let u(k) = -2*k - 6. Let p be u(-5). Suppose 5*v + 23 = p*f - 157, 5*f - 270 = -5*v. Does 25 divide f?
True
Let p(i) = -i**2 - 9*i + 4. Let a be p(-9). Let q(f) = f**2 - 3*f + 5. Does 7 divide q(a)?
False
Let o be (0/(6/(-3)))/(-1). Suppose 0*y - 20 = d + 4*y, -3*y = o. Does 13 divide (8/d)/((-2)/110)?
False
Let j be (-48)/(-10) - (-2)/10. Suppose -3*n + 349 = 5*z, 0*z - j*z + n + 337 = 0. Is