e n(6)?
False
Let p = 342 + -166. Is 11 a factor of p?
True
Let u(a) = -a + 8. Let m be u(9). Is 14 a factor of (-35)/(-20)*(-8)/m?
True
Let b = -6 - -6. Does 4 divide (-1 - (b + -1)) + 4?
True
Let d = 45 - 38. Is 4 a factor of d?
False
Is 46 a factor of (0 + 4 - 8) + 188?
True
Suppose -6*m = -4*c - 2*m - 108, 0 = -c + 5*m - 39. Let l = 51 - c. Suppose -5*g = -l - 95. Is g a multiple of 17?
True
Let x(t) = 0*t - 6*t - 8*t**2 + t + 11 + t**3. Is 12 a factor of x(9)?
False
Suppose 2*s + 7 = 3*a, 0 = 4*s - 2*a - 6 + 24. Let w(t) = t**2 + 7*t + 24. Let v be w(12). Is 11 a factor of (v/30)/((-2)/s)?
False
Suppose 0*l - 4*l = -12. Suppose -q + 3*q + i = 50, 0 = l*q - 4*i - 53. Does 19 divide q?
False
Suppose -2*w + 0*w = 776. Let u be w + 2/(-1 + 2). Is 8/20 - u/10 a multiple of 16?
False
Suppose 2*s + 8 = 0, -5*s = 5*r - 4*r + 18. Suppose r*z - 2*m = -4*m + 12, -5*z = -2*m - 65. Is z a multiple of 11?
True
Let v = -14 - -49. Suppose 4*z - l = 2*l + 151, 2*l = -z + v. Does 16 divide z?
False
Let m(h) = -h**2 + 3*h + 9. Let s be m(12). Let p = -66 - s. Is p a multiple of 11?
True
Suppose 0*q = q + 3. Is 22 a factor of (q - -5)/(1/11)?
True
Suppose -9*r = -10*r. Suppose -t + 5*j + 13 = r, -t + 43 = 2*j - j. Is 15 a factor of t?
False
Let b be 32*(-1 + (0 - 7)). Is 9 a factor of b/(-18) + (-6)/27?
False
Let z(i) = -i. Let f be z(-3). Suppose 8 - 26 = -f*q. Does 14 divide ((-4)/(-3))/(q/126)?
True
Let q(f) be the first derivative of -f**3/3 + 2*f**2 + 3*f + 2. Let c be q(4). Suppose 0 = 2*j - c*g - 31, 4*j + 3*g = 17. Does 4 divide j?
True
Suppose 4 + 14 = 2*i. Let y be i/6*(1 + 1). Suppose -3*d - 2*x = -17, 3*d + 2*x - 20 = -y*x. Is d a multiple of 2?
False
Suppose -4*q = q - 2*u - 21, -6 = 2*u. Does 2 divide (q + (-27)/3)/(-2)?
False
Let t be (-2809)/(-3) - 2/6. Does 11 divide t/21 + (-3)/(-7)?
False
Let z(h) = -h**3 - h**2 + 2*h - 2. Let m be z(2). Let c = 1 - m. Is c a multiple of 5?
False
Let b be 2/8 - 127/(-4). Suppose 2*r - b = -10. Is 11 a factor of r?
True
Let a(j) = -j**3 - 3*j**2 - 6*j + 5. Let y be a(-5). Suppose 0 = 3*s + 9, r - 115 = -5*s + 114. Suppose 2*m + f = y, 3*f = -5*m + r - 29. Is m a multiple of 20?
True
Let b(c) be the first derivative of c**3/3 + c**2/2 - 4*c - 1. Suppose 4 + 10 = -2*d. Is b(d) a multiple of 15?
False
Is 11 a factor of (4 - 30/2)*-5?
True
Let u = -47 - -138. Is 13 a factor of u?
True
Let f(a) be the first derivative of -4*a**3 + a**2/2 + 4. Let u be f(1). Let m(k) = -3*k - 9. Is 12 a factor of m(u)?
True
Suppose 0*a - 3*a = 0. Suppose a = 5*x + 4*b - 280, 94 = 4*x - b - 151. Is x a multiple of 16?
False
Suppose 0 = -4*p + 3*c + 398, 3*p - 309 = -0*p - 3*c. Let s(t) = -2*t - 5. Let l be s(-4). Suppose -l*w = -p - 37. Does 23 divide w?
True
Let o(v) = v**2 + 11*v - 5. Let r be o(-12). Suppose -n + 7 = -r. Is n a multiple of 8?
False
Let g be (-3 - -6)*(-232)/(-12). Does 10 divide (2 + g)/((-15)/(-10))?
True
Suppose -2*f + 0*f = -56. Does 4 divide f?
True
Let u = 9 + -5. Is (69/(-6))/(u/(-8)) a multiple of 11?
False
Suppose -5*r - 1 = 3*m, 0 = -0*r + r - 4*m - 9. Let p be r/(-3) - (-13)/3. Suppose 0 = -c - p*c + 50. Is 5 a factor of c?
True
Let z = 32 + -10. Let n be 2 + -3 + (-1 - -2). Suppose -5*j + 78 + z = n. Is 7 a factor of j?
False
Let v(z) = -z**3 + 9*z**2 - 6*z + 18. Is 15 a factor of v(8)?
False
Suppose 4*h + 4 = -0*h. Let s = h - -3. Is s a multiple of 2?
True
Let u(o) = -2*o - 26. Let i(p) = -p - 9. Let a(w) = -11*i(w) + 4*u(w). Let t(x) = x + 7. Let y be t(-3). Is a(y) a multiple of 5?
False
Suppose b - 6*b - s = -176, 4*s + 124 = 3*b. Does 9 divide b?
True
Suppose -2*d = -4*d + 34. Does 8 divide d?
False
Let p = 62 - -37. Is 33 a factor of p?
True
Let j = 239 + -144. Is 32 a factor of j?
False
Let n(r) = -3*r**3 + 3*r**2 + r - 3. Let p be n(-4). Suppose -3*v - 339 = -3*j + 3, 2*j - v = p. Suppose 32 = -3*x + j. Does 16 divide x?
False
Suppose -664 = -5*d + 186. Is 17 a factor of d?
True
Let z(s) = -9*s - 20. Is 13 a factor of z(-8)?
True
Let g(m) = -m**3 - 4*m**2 + 7*m - 8. Suppose -4*z - 20 - 6 = s, 2*s = 2*z + 8. Is 11 a factor of g(z)?
True
Is 25 a factor of (25 - 0)*(0 + 1)?
True
Let b(h) = -2*h - 3. Let a be (-88)/20 - (-4)/10. Let r be b(a). Let i = 10 - r. Is i a multiple of 3?
False
Let m(w) = -w**3 - w**2 - w + 1. Let k be m(0). Let n = 0 - -5. Suppose -6 = 3*c, -3 = -p - n*c - k. Is p a multiple of 12?
True
Let d = -6 - -11. Suppose -225 = d*q - 2*s, -15 = -2*s - s. Does 13 divide (-1)/((-1)/(-1))*q?
False
Suppose -5*i + i = 0. Suppose 4*c = 2*h + c - 18, 2*c = i. Is 5 a factor of h?
False
Suppose -3*m - 408 = -7*m. Suppose 0 = -2*k - 5*v + m, -2*k + 35 = -v - 55. Is 23 a factor of k?
True
Let z(h) = -h**3 + 5*h**2 + 5*h + 5. Let a be z(5). Let o = a + -15. Is o a multiple of 5?
True
Let u(h) = -h**3 - 6*h**2 - 3*h - 1. Is u(-6) a multiple of 11?
False
Is 25 a factor of (4/8)/((-1)/(-146))?
False
Let t be (-6)/2*(-3)/9. Is 11 a factor of (-18)/((2 - t)/(-1))?
False
Suppose 0 = -w + 3 + 19. Does 5 divide w?
False
Suppose 0 = -7*m + 13*m - 654. Does 19 divide m?
False
Suppose 94 = p + 30. Is p a multiple of 16?
True
Let c = -19 + 60. Is c a multiple of 17?
False
Let u(k) = -k**3 + 3*k**2 + 7*k - 6. Let y be u(5). Let t = 36 + y. Does 15 divide t?
True
Let n be ((-145)/2)/5*4. Let t = -18 - n. Is 23 a factor of t?
False
Suppose 6*q = 5*q + 114. Does 38 divide q?
True
Suppose -3*a - u = -0*a - 76, 0 = 2*u - 2. Is 4 a factor of a?
False
Let z(j) = 18*j**2 + 1. Suppose -3*k - 1 = -2*k. Is z(k) a multiple of 19?
True
Let c be (16/6)/(2/27). Let w = -23 + c. Let a = 30 - w. Does 7 divide a?
False
Let c be (-5)/(5/(-4))*-1. Is (-6)/c*8/3 a multiple of 4?
True
Let n be (-2)/1 + (1 - -101). Suppose -i = 3*i + n. Let h = -5 - i. Is h a multiple of 10?
True
Suppose -57 - 158 = -5*z. Is z a multiple of 18?
False
Let l be ((-5)/5)/((-2)/(-6)). Let u be (-674)/(-8) - l/(-12). Let x = -54 + u. Does 15 divide x?
True
Let x(f) = -4*f**3 - 2*f**2 + 4*f + 2. Does 20 divide x(-3)?
True
Suppose -u - 2 = -2*u. Let t be 22 - 2*u/(-4). Let r = -14 + t. Is r a multiple of 9?
True
Let d(p) = -11*p - 16. Is d(-8) a multiple of 20?
False
Let y = -5 - -8. Let x be (-2 - 1) + -3 + y. Is (x - 5)*(-9)/2 a multiple of 18?
True
Let m(d) = 2*d**2 - 5*d - 8. Is 3 a factor of m(-4)?
False
Let c(p) = 24*p**2 + 4*p - 3. Does 28 divide c(2)?
False
Suppose 0 = -12*i + 2*i + 690. Does 23 divide i?
True
Suppose -2*a + 93 = -3*o, -5*o = -0*a - a + 57. Suppose -5*c = -x - 286, 5*c - a = 4*c + 4*x. Suppose 2*r + 16 = c. Is r a multiple of 12?
False
Suppose 5*r + 6 = p + 2*p, -2*r + 4 = 2*p. Let l(v) = r + 0 + 5*v. Does 10 divide l(4)?
True
Let c be (-554)/(-8) - (-42)/56. Suppose -3*y + c = 2*y. Is y a multiple of 3?
False
Let l be 2/6 - (-1)/(-3). Let h(p) = 2*p + 12 + l*p - 3. Is h(7) a multiple of 13?
False
Suppose 3*v - 9*v + 1320 = 0. Is 51 a factor of v?
False
Suppose -2*g = -4*z + 3*g + 8, -3*z = 5*g - 41. Is (2 + z)*(1 + 2) a multiple of 11?
False
Suppose 5*u = 170 + 185. Suppose -u + 11 = -3*a. Is a a multiple of 20?
True
Let i(w) = -9*w + 2. Let q = -3 - -1. Is i(q) a multiple of 9?
False
Let d be (9/4)/((-6)/16). Let v be (-4)/(3*d/9). Does 4 divide (2 - 4/v) + 8?
True
Let r(y) = 4*y**2 - 3*y. Is r(2) even?
True
Let n = 93 + 261. Does 59 divide n?
True
Suppose 0 = -2*f - 3*f. Is f - 24/(-3 + 2) a multiple of 12?
True
Let n(c) = -2*c + 22. Let k be n(0). Let v = -19 + k. Is 3 a factor of v?
True
Let q be (-2)/(-4) + 122/4. Suppose -160 = -3*i - q. Suppose -2*r + 6*r + 3*a - i = 0, 0 = a - 1. Is 5 a factor of r?
True
Let m(i) = 1 - 2*i + 3*i + 0. Does 3 divide m(4)?
False
Let i = -80 + 113. Is 24 a factor of i?
False
Suppose 6 = -0*w + 2*w. Let p(o) = 49*o**2 - o - 46*o**2 + 3 - 2*o - 5. Does 8 divide p(w)?
True
Let t(b) = b**3 + 9*b**2 + 8*b + 5. Let o be t(-8). Suppose -o*y + 127 = -33. Does 16 divide y?
True
Suppose -3*z + 15 = -5*a, 2*a + 0 + 6 = z. Suppose z = i + 4*t + t - 77, 47 = i - t. Is i a multiple of 26?
True
Let n(a) = -48*a + 2. Does 16 divide n(-5)?
False
Suppose -4*v + 2*r = -66, -4*r - 30 = -2*v - 0*v. Is 17 a factor of v?
True
Let g(k) = -6*k**3 + 5*k**2 + 2*k + 15. Let c(n) = n**3 + n**2 - 1. Let o(b) = 5*c(b) + g(b). Is o(10) a multiple of 9?
False
Let j = 44 - 48. Let x(f) = f**2 - 6*f - 5. Let m(d) =