. Let l(b) = 4*c(b) + 5*z(b). Does 15 divide l(-7)?
False
Let j = 71 - -51. Suppose f - o = 42, -5*f + o + 84 + j = 0. Does 12 divide f?
False
Suppose -n + 4*n = -6. Let p(x) = -5*x + 2. Is 7 a factor of p(n)?
False
Let f(l) = l**3 + 12. Does 12 divide f(0)?
True
Let l be (-14)/28*(0 + -22). Let o = 6 + 11. Suppose o = w - l. Does 14 divide w?
True
Let s = 4 - 6. Suppose -o + 14 = -3*o. Let g = s - o. Is g a multiple of 4?
False
Let x be -1 - -10 - (0 + 2). Let o = x - -2. Does 3 divide o?
True
Let m be 44/6*12 + -2. Let h = -44 + m. Is h a multiple of 15?
False
Let k = -68 + 113. Let f = k + -27. Is 9 a factor of f?
True
Does 31 divide (-4 - -4) + (33 - 2)?
True
Let i(p) = p - 2. Let y be i(-6). Let o = y + 115. Suppose 4*b - 193 = -x, -3*b = -b - 3*x - o. Is 18 a factor of b?
False
Let i = -12 + 17. Suppose 4*f - 2*q - 34 = 66, f = i*q + 34. Is 8 a factor of f?
True
Let d be (1 + 0 - -2)*3. Suppose 2*o = -2*i + 24, 0*i + 5*o - 16 = -i. Let v = i - d. Is 2 a factor of v?
True
Let u = -5 - -6. Let y = 6 - u. Suppose -a - 2*t + 1 = -0, -4*a - y*t + 10 = 0. Does 2 divide a?
False
Let i(x) be the first derivative of 15*x**2/2 - x + 5. Does 7 divide i(1)?
True
Let b(x) = x**3 - 2*x**2 - x + 4. Let o be b(3). Suppose -5*s + o*s = 0. Suppose 3*u - n = 81, s*u - 3*u - 4*n + 96 = 0. Is 13 a factor of u?
False
Suppose 5*w = m - 79, m - 4*w = 3*m - 116. Is 16 a factor of m?
True
Let d be 20*(8/10)/2. Let f = d + -4. Is 145/10 + 2/f a multiple of 10?
False
Suppose 3*t = 34 + 212. Does 9 divide t?
False
Let w = 14 - -55. Is 14 a factor of w?
False
Suppose 0*y + 2*y = 0. Suppose y = -7*h + 4*h + 12. Is h a multiple of 2?
True
Let b(r) = 2*r**3 + 2*r**2 - 2*r. Let q be b(-2). Does 4 divide (14 + 4)*q/(-6)?
True
Suppose -j + 510 = 5*w, -7*w - 2*j + 402 = -3*w. Does 7 divide w?
False
Let d(g) = -g - 5. Let o be d(-8). Suppose -5*t = 4*a - 30, -o*t = -3*a - 0*a - 45. Is t a multiple of 5?
True
Let c(x) = -4*x**2 - 13*x + 4. Let y(i) = i**2 + i. Let s(v) = -c(v) - 5*y(v). Is 6 a factor of s(3)?
False
Let h = -93 + 205. Is h a multiple of 28?
True
Let x = 87 + -36. Does 17 divide x?
True
Suppose -3*o + 1 = -5*h + 28, 3*o = -4*h. Suppose -h*d = -20 - 16. Is d a multiple of 12?
True
Suppose 2*a = 8 + 46. Is a a multiple of 10?
False
Let c be -19*(3 + -2*2). Suppose -5 = -2*o + c. Is 4 a factor of o?
True
Let l be (0 - -6)*(-2)/(-4). Suppose -l*k - 17 = -47. Suppose k*q = 6*q + 80. Is q a multiple of 10?
True
Suppose -8 = -4*m - 16. Let v(z) = -3*z + 1. Does 7 divide v(m)?
True
Let g(r) = -r**3 + 3*r**2 + 3*r - 4. Let n be g(3). Let c(w) = 4 + 0*w**3 + 6*w**2 - w**3 + 2*w - w**2. Does 10 divide c(n)?
False
Let r = 84 - 14. Suppose -2*j = -u - r, 5*j + 3*u - 32 - 121 = 0. Does 11 divide j?
True
Let m = 45 - 25. Does 10 divide m?
True
Let x(b) = -47*b - 1. Let h(q) be the third derivative of -q**5/30 - q**4/12 - q**3/6 - 3*q**2. Let s be h(-1). Does 23 divide x(s)?
True
Suppose -3*o + 2 + 49 = 0. Is 4 a factor of o?
False
Let i(z) = -4 + 2*z + 3*z - z**2 + 0*z + 5*z**2. Does 13 divide i(3)?
False
Suppose 0 = 3*t - 13 + 4. Let h(m) = -2*m**2 + 4*m. Let w be h(t). Let a = w + 15. Does 4 divide a?
False
Suppose 56 = 12*l - 10*l. Is 28 a factor of l?
True
Let w = 0 + 0. Let f = w + 3. Suppose -n = -f*n + 44. Does 11 divide n?
True
Suppose -3*k - 5*l = -2*k - 56, -2*l + 188 = 5*k. Does 6 divide k?
True
Suppose -2*t + 0*t + 10 = 0. Suppose -3*w = -t - 10. Suppose 0 = -w*f + 34 + 36. Is f a multiple of 7?
True
Let q(a) = -a**3 + 2*a**2 + 2*a + 75. Is q(0) a multiple of 22?
False
Let l(o) = -o**3 - 5*o**2 - 3*o - 7. Suppose 2*b - 8 = 6*b. Let m be (12 - 2)*1/b. Is 8 a factor of l(m)?
True
Let y be -1 + (6 - 2) + 1. Suppose 2*t + 10 = 3*m + 94, 0 = 5*m + 4*t + 162. Is 1/(-2)*y*m a multiple of 26?
False
Let a be 6/(-3)*(-14)/(-4). Let t(w) = w**2 + 5*w - 7. Is 4 a factor of t(a)?
False
Let v = -35 - -61. Is 16 a factor of v?
False
Is 23 a factor of ((-161)/21)/((-1)/24)?
True
Suppose -4*m + 0*u + 87 = u, -m + 25 = -3*u. Let v = 32 - m. Let a = v - -5. Is a a multiple of 5?
True
Let y = -75 + 93. Does 2 divide y?
True
Let y(p) = p + 1. Let i be y(3). Suppose -2*o = -i*s + 3*o + 7, 2*s = o + 11. Does 3 divide s?
False
Suppose -x + 6*v - 2*v = -34, 2*x = 4*v + 52. Suppose 2*j - 8 = -n, 5*j = 4*n - 1 - 5. Let t = n + x. Is 11 a factor of t?
True
Suppose m = 5*m + 2*n - 208, 249 = 5*m - 3*n. Does 20 divide m?
False
Let c be 0/((-6)/(-3) + 0). Suppose c = -0*x - 5*x + 210. Is x a multiple of 14?
True
Suppose 0 = 2*g + 2*b - 14, 0 = g - 5*b + 7*b - 11. Suppose -4*h - 66 - 52 = -3*v, v + g*h = 48. Is v a multiple of 23?
False
Let m(l) = -l - 1 + 5*l - 5 - 5*l. Let k be m(-10). Suppose 2*v - 38 = -k*f, v - 35 = -5*f + 11. Is 3 a factor of f?
True
Let i(n) = 2*n**3 - 5*n**2 + 4*n - 7. Let c be i(5). Let q be 6/14 + c/21. Suppose -4*o + 53 + q = 0. Is o a multiple of 15?
True
Let z be (2*(-2 + -2))/(-2). Suppose 24 = -4*l + 3*x + 111, -z*l - 2*x + 102 = 0. Does 8 divide l?
True
Is 12/10 + -1 - (-5236)/70 a multiple of 10?
False
Let p(r) be the first derivative of -r**2/2 + 3. Let n be p(-5). Suppose -2*a - n*q = -99, 5*a - 95 = 3*q + 106. Is 21 a factor of a?
True
Let w = 103 + -98. Is w even?
False
Let b(x) = -x**2 + 8*x - 9. Let a be b(6). Suppose -a*u = -15 + 3. Suppose u = -4*w + 12. Is w a multiple of 2?
True
Let h(p) = 2*p**2 - p**2 + 2 - 5 + 6*p - 2*p. Does 15 divide h(-10)?
False
Suppose 0*a + a = -1, 0 = 2*n - a - 7. Let s be (n*5)/((-3)/(-24)). Let r = s - 86. Does 14 divide r?
False
Let i(j) = -j**2 + 8*j - 4. Does 4 divide i(4)?
True
Suppose 5*g = 4 + 16. Suppose 3*h - 3*f = 3, -h + 2*f = g*h - 14. Suppose 3*m - 4*m + 5*n = 13, 3*n = h*m - 16. Is m a multiple of 7?
True
Suppose 48 = -5*i + 2398. Is 12 a factor of i/13 - (-4)/(-26)?
True
Let f = -82 + 165. Let g = f + -57. Is 13 a factor of g?
True
Let s = 3 - -27. Is s a multiple of 10?
True
Let v(c) = c**3 - 9*c**2 - 3*c - 2. Let l be v(10). Suppose 0 = 4*p - 40 - l. Is p a multiple of 9?
True
Let v(g) = 11*g - 1. Let j be v(-1). Let x(m) = m**3 + 11*m**2 - 16*m - 1. Is x(j) a multiple of 11?
False
Let p = -5 - 0. Let v = -5 - p. Suppose v = -3*c + 18 + 3. Is c a multiple of 7?
True
Does 6 divide (-544)/48*3/(-2)?
False
Let t be -3 + (129 - (3 - 3)). Let u = t + -42. Is 21 a factor of u?
True
Suppose -3*d = -116 + 8. Is d a multiple of 7?
False
Suppose 8*d - 1004 = -220. Is d a multiple of 14?
True
Let n = 2 - 5. Does 16 divide (-10)/(-15) - 46/n?
True
Suppose -q + 32 + 14 = 0. Suppose -2*b = -5*b - c + 138, 5*c - q = -b. Is b a multiple of 23?
True
Let o = -3 - -7. Let v be 2*30/o*5. Let y = -37 + v. Is y a multiple of 28?
False
Let q(s) = 7*s - 9. Let n(u) = 3*u - 4. Let j(x) = -7*n(x) + 4*q(x). Is j(4) a multiple of 20?
True
Suppose 29 = 5*c - 2*c - 5*i, -5*c + 39 = i. Let b be (-1 - 2)*(-6)/(-9). Let h = c + b. Is 3 a factor of h?
True
Suppose -26*f + 22*f + 432 = 0. Does 12 divide f?
True
Does 21 divide -1*(7 - 8 - 251*1)?
True
Suppose -4*o + 4 = 0, -d - 2*o - 1 = -4. Is (-6)/(d/(16/(-6))) a multiple of 6?
False
Let n(m) = m**3 - 8*m**2 - 8*m - 2. Let v(i) = -3*i**3 - i. Let o be v(1). Let p be o/(-10) + (-86)/(-10). Does 4 divide n(p)?
False
Suppose -5*n - 4*y + y + 420 = 0, -5*y = 0. Is n a multiple of 14?
True
Is 5 a factor of (-3 - -3) + 4 + 1?
True
Let h = 31 + -17. Does 4 divide h?
False
Let y be 28/(-8)*2 - -1. Let s = 81 + y. Is 25 a factor of s?
True
Let h(u) = -7*u - 1 - 9*u - 45*u. Does 15 divide h(-1)?
True
Let u(q) = 8*q**2 + 4*q + 6. Does 5 divide u(-2)?
True
Suppose 5*g = -2*q + 197, g - 5*q - 38 = -4*q. Does 24 divide g?
False
Is (-680)/(-11) + (-20)/(-110) a multiple of 31?
True
Suppose -l - i + 71 = 0, 3*l + i - 5*i - 213 = 0. Let f = l - 44. Is 13 a factor of f?
False
Let u be 1 + 7 + 2 + 1. Let r(a) = 3*a - 1. Does 16 divide r(u)?
True
Let f(s) = 2*s**2 + 4*s + 6. Let g be f(9). Let u = g - 74. Does 13 divide (-4)/(5/(u/(-4)))?
True
Suppose 3*g = -3*c + 6, 5*c - 32 = 2*g - 8. Let b be g/1*-1 + -2. Does 12 divide b + -1 - (-26)/2?
True
Suppose 0 = -4*q + 14 - 6. Suppose -6*u + 352 = -q*u. Is u a multiple of 23?
False
Suppose 3*b = 3*f - 0*b - 81, -5*b + 45 = f. Suppose -38 = -2*h + 4*m, 0 = -5*h + 2*h + 4*m + 47. Suppose -h*o = -4*o - f. Is 4 a factor of o?
False
Let h be 4/(-10) + (-3264)/(-85).