l(a)?
False
Let d = 906 - 612. Suppose m - 5*m + 252 = 4*h, -2*m = -5*h + d. Suppose r + h = 4*r. Is r a multiple of 8?
False
Suppose -3*y = -2*s - 138 - 41, -4*y = -3*s - 237. Is y a multiple of 9?
True
Let c be (-3 - -1) + (-3)/(-3). Let q be (16/(-12))/(c/3). Suppose -4*d - 84 = -q*x, 4*d - 2*d + 2 = 0. Is x a multiple of 10?
True
Let j = -8 + 9. Let w(t) = 6*t**3 - 2*t**2 + t. Let i be w(j). Suppose i*n - 12 = 8. Is 4 a factor of n?
True
Let n = 3 - -1. Suppose n*t = -18 + 50. Is 3 a factor of t?
False
Suppose -12 = -4*w + 3*g - 2, 3*g - 6 = 0. Is 12 a factor of ((-50)/(-3))/(w/6)?
False
Let z(s) = s**3 - 16*s**2 + 8*s - 14. Does 33 divide z(16)?
False
Let h be 52/(-12) + (-2)/(-6). Is 2 a factor of h/14 - 46/(-14)?
False
Let v(n) = 43*n**2 + n. Does 17 divide v(1)?
False
Let i be -1 - 458/(-4)*2. Suppose -4*w = 2*n - i, 0 = -0*w + 3*w + 3*n - 165. Is w a multiple of 13?
False
Let u(a) = -a**2 - 4*a + 3. Let j be u(-4). Let y be (2 + 1 + -1)*3. Suppose y*r - 48 = j*r. Is r a multiple of 9?
False
Let q(y) be the second derivative of -y**4/24 - y**3/3 - y**2/2 - 2*y. Let a(g) be the first derivative of q(g). Is 7 a factor of a(-9)?
True
Let d(w) = 19*w. Does 19 divide d(3)?
True
Suppose 3*q - q + 3*c - 22 = 0, -5*q + 5*c + 30 = 0. Let n = 2 + -2. Is 3 a factor of (q - 1) + (0 - n)?
False
Let o(y) = 2*y**3 - 4*y**2 - 7*y - 2. Does 17 divide o(4)?
True
Let u(d) = d**2 - 5*d - 8. Suppose f + 7 = 1. Is u(f) a multiple of 12?
False
Suppose 12*i = 254 + 982. Is i a multiple of 28?
False
Let v = -1 + 3. Let q = 22 - 21. Does 11 divide 50/v + 1 - q?
False
Suppose 0 = 7*q - 2*q + 20. Is (q - -2) + 3 - -53 a multiple of 27?
True
Let a = -11 - -16. Suppose -a*l + 4*x = -3*l - 8, 5*x = -4*l + 68. Is 10 a factor of l?
False
Let d(c) = 2*c**3 + c**2 + c - 2. Let o be d(-3). Let y = 74 + o. Does 8 divide y?
True
Is 95/4 + (-2)/(-8) a multiple of 13?
False
Let x be 5 - 0/((-3)/3). Suppose -5*g = 5*r - 90, -3*r - 66 = -4*g - x*r. Is g a multiple of 7?
False
Suppose 27 = 4*x - 5*z, x = -x - z + 17. Suppose -x*r + 10 = -3*r. Suppose 2 = -r*l + 20. Is 7 a factor of l?
False
Let f(t) = t**2 - 3*t - 5. Let d be f(4). Let z = 11 - d. Does 12 divide z?
True
Suppose -3*c = 1 - 7. Suppose 57 = m - 6*z + 3*z, 3*m + z - 121 = 0. Is m*1*c/4 a multiple of 10?
False
Let z = 5 + 4. Let g(q) = q**2 - 8*q - 7. Let u be g(z). Suppose 2*n + 3*l - 26 = 0, u*n - 5*l - 30 = -2*n. Does 10 divide n?
True
Suppose 0 = 3*o - 9 - 0. Suppose 3*b + o*j = 93, 109 = 4*b - j + 2*j. Is 13 a factor of b?
True
Let i = -35 + 74. Is 13 a factor of i?
True
Suppose 3*s = -5*w + w, 5*s + 26 = 2*w. Is 6 a factor of (w + 0)*(0 + 6)?
True
Let b(s) = s**2 + 3*s. Let f be b(-4). Suppose 3*z - z = -5*g + 37, 4*g = f*z - 60. Does 5 divide z?
False
Suppose 14 + 6 = -a + 2*w, -4*a = -2*w + 68. Let r(u) = -u - 6. Let g be r(0). Does 4 divide (a/(-6))/((-2)/g)?
True
Is 18 a factor of 75 + (4 - (6 + 1))?
True
Let v(m) = 6*m**2 + m. Suppose -20 = -z - 3*z, h + 4*z = 19. Let f be v(h). Suppose f*k - 40 = 25. Does 13 divide k?
True
Let h = -63 + 306. Does 63 divide h?
False
Let q(s) = s**3 + 13*s**2 + 6*s - 6. Let c(h) = -h**2 + 1. Let j(t) = 6*c(t) + q(t). Does 10 divide j(-5)?
True
Suppose 0 = 2*v + v - 18. Let f(y) = -y + 18. Is 7 a factor of f(v)?
False
Suppose 2*t - 97 = 3*o + 23, o = -3*t + 191. Does 9 divide t?
True
Suppose -2*q - 3*w = -43, -2*q - 2*w + 14 = -34. Is 23 a factor of q?
False
Is 30 a factor of (5 + 4)*(-10)/(-1)?
True
Let n be 4 - (0/(-1) + 1). Let y be n - (-2 + -2 - -2). Suppose 45 = y*f - 10. Does 4 divide f?
False
Let a(b) = -4*b - 1. Suppose 6*p + 12 = 3*p. Is 5 a factor of a(p)?
True
Let a(l) = 86*l**2. Let g be a(-1). Is (-3 - -1)*g/(-4) a multiple of 13?
False
Let q(c) = -9 + 9*c + 2 - 1 - 5*c. Does 7 divide q(8)?
False
Suppose 3*n = -n + 16. Suppose 0*i - a - 27 = -n*i, i - 8 = -a. Is i a multiple of 7?
True
Let m be 14/2 - (4 + -4). Let l(h) = 2*h - 1. Let k be l(m). Suppose x - k = 18. Is x a multiple of 12?
False
Suppose 0 = 5*v - 15 - 15. Is v a multiple of 2?
True
Let t(y) = -12*y - 3. Let c be t(-2). Suppose -65 = -2*d - c. Is d a multiple of 14?
False
Let b(m) = 9*m + 6. Let q be b(10). Let u = q - -5. Suppose 33 = -4*k + u. Does 8 divide k?
False
Let t be 4/10 - (-892)/20. Suppose 6*j - 9*j = -t. Does 6 divide j?
False
Let a be 16/8 - (1 + -2). Suppose -10 = -2*i, 0*w + a*w = -3*i + 69. Does 6 divide w?
True
Is (0 - (1 + -4)) + 63 a multiple of 15?
False
Let i(y) be the second derivative of -5*y**3/2 - y**2 - y. Is i(-2) a multiple of 18?
False
Let x = -2 + 7. Suppose i = x*i. Suppose 5*c = -i*c + 160. Is 11 a factor of c?
False
Suppose 0 = -4*b + 20 + 100. Is b a multiple of 2?
True
Let z(v) = v**3 + 11*v**2 + 10*v + 3. Let g be ((-15)/2)/((-9)/(-12)). Let q be z(g). Suppose -4*n + 5*w + 73 = 0, 4*n - q*w - 63 = -0*w. Is n a multiple of 5?
False
Let g be 2*13*(-3 - -1). Let m be -2 - 5/2*4. Let i = m - g. Is 16 a factor of i?
False
Suppose 4*o + 5*f = -o + 45, -2*f = 3*o - 31. Is o a multiple of 13?
True
Suppose 4 = -o + 6. Suppose 4*b = o*b. Does 9 divide 27 + (-1 - b/(-1))?
False
Let v = 73 + -50. Does 14 divide v?
False
Suppose -3*b - 3*h = -h - 105, -3*h = -b + 35. Is 34 a factor of b?
False
Let w(y) = 3*y**2 - 8*y - 3. Let a(u) = -u**2 + 3*u + 1. Let z(t) = -11*a(t) - 4*w(t). Let v be z(2). Let g(b) = -3*b + 6. Is g(v) a multiple of 9?
False
Suppose f - 5 = 54. Is f a multiple of 18?
False
Suppose 0 = 3*w - 3*t + 12, 5*t = 5*w + 6*t + 20. Is 6/w*(-16)/6 a multiple of 4?
True
Let z be (2 - 1)*(-5)/(-1). Let v(q) = -q**2 + 10*q - 4. Is 7 a factor of v(z)?
True
Let i = 95 - 305. Does 14 divide (i/(-18))/(2/6)?
False
Is 1773/7 + (-30)/(-42) + -1 a multiple of 9?
False
Let b = -4 - -9. Is 2 a factor of b?
False
Let w be (-190)/(-10) + -1*3. Suppose -b + 8 = -w. Is b a multiple of 8?
True
Let k be (-16)/(-12)*1*3. Suppose 0 = -2*s - k*a - a + 40, -3*s - 4*a = -46. Does 10 divide s?
True
Suppose -4*h - 4 = 3*p + p, -3*p = -5*h + 3. Let v(n) = -n**3 + n**2 + 15. Is 5 a factor of v(h)?
True
Suppose -50 = -2*t + 5*j, -5*t - 7 + 66 = 4*j. Let d(x) = x**2 + 7*x + 6. Let r be d(-5). Is 16 a factor of 519/t + r/(-10)?
False
Let s(y) = -2*y - 2. Let z(x) = x + 1. Let q(j) = -2*s(j) - 5*z(j). Is q(-5) even?
True
Let w = -5 + 12. Does 9 divide ((-12)/(-21) - -2)*w?
True
Let q(k) = 1. Let g(o) = -4*o - 5. Let p(f) = -g(f) - 5*q(f). Let w be p(-2). Is (-2)/w + (-198)/(-8) a multiple of 12?
False
Suppose 0 = -h - 0*h. Let o be 5 - -3*2/(-6). Suppose -o*u + 63 - 11 = h. Is u a multiple of 13?
True
Is 27 a factor of -1*(7 - 4)*58/(-2)?
False
Suppose -292 = -2*q - q + 2*c, 5*q + c - 491 = 0. Is q a multiple of 14?
True
Let h(o) = -o**2 + 10*o - 2. Let q be h(8). Suppose -v + 2*d = -q, -2*d + 4 = 14. Suppose -v*r = r - 55. Is r a multiple of 11?
True
Let m = -33 + 57. Is m a multiple of 11?
False
Suppose 4*v - 4*t - 84 = 0, -v + 40 - 7 = 2*t. Let f = v + -5. Is 7 a factor of f?
False
Suppose -6 - 2 = -2*o. Let c = o - -12. Is c a multiple of 8?
True
Suppose -25*g + 4616 = 341. Does 57 divide g?
True
Does 11 divide (-2)/(-2) - (-7)/((-35)/(-190))?
False
Let j(d) = -d**3 - 3*d**2 - 2*d + 2. Let i be j(-2). Let h be i/7 + (-4188)/(-42). Suppose 3*p - 10 = -n, -h = n - 5*n + 3*p. Does 11 divide n?
True
Suppose 4*j = -y + 25, -3*j + 0 = -5*y + 10. Does 3 divide j?
False
Let o = -55 + 154. Suppose 4*c + 3*i - o = -2*i, 0 = 4*c + 4*i - 96. Does 5 divide c?
False
Suppose 4*a - 140 = 4*k, -2*a - 2*k + 6*k = -60. Is a a multiple of 8?
True
Let v(k) = -k**3 - 8*k**2 + 2*k + 8. Does 32 divide v(-9)?
False
Let k = 217 - 125. Is k a multiple of 46?
True
Let y = -41 - -101. Does 30 divide y?
True
Does 21 divide (-4)/3 - (-17800)/120?
True
Let w be 8/(-2)*(2 + -1). Let v = w + 7. Suppose 3 = -v*s + 4*s. Is s even?
False
Suppose 0 = f + 6 - 43. Is f a multiple of 21?
False
Let d(l) be the second derivative of l**4/12 - l**3/6 - 3*l. Let g be d(0). Suppose g = -u + 26. Is u a multiple of 13?
True
Let d be 2/8 + (-94)/(-8). Let w be d/(-42) + (-4)/(-14). Suppose 0 = -4*n + 2*s + 100, -n + w*s - 3*s = -11. Is n a multiple of 7?
False
Suppose -3*t + 3 = -0*t. Let d(y) = y - 4*y**3 + t - 2 + 7*y**3. Is 3 a factor of d(1)?
True
Let x(d) = 5*d**2 - 5*d + 13. Let m(o) = 6*o**2 - 4*o + 13. Let j(p) = -4*m(p) + 5*