3*o. Suppose o*n - 45 = 6. Is n a multiple of 14?
False
Suppose 2*l = 5*l - 81. Is 11 a factor of (-6)/l - 200/(-9)?
True
Suppose 840 = -3*j + 7*j. Does 11 divide j?
False
Let s be ((-1)/(-2))/((-1)/(-12)). Suppose -3*x + 12 = -s. Is x a multiple of 6?
True
Let s = -246 - -121. Let l = s + 177. Is 26 a factor of l?
True
Suppose 3*o - o - 4 = 0, 4*p - 5*o - 62 = 0. Is 8 a factor of ((-120)/(-36))/(2/p)?
False
Suppose 4*w - i = -0*i + 138, i = 3*w - 103. Suppose -3*b + 9 = -3. Suppose -w = -u - b*u. Does 7 divide u?
True
Let a(o) be the second derivative of o**7/630 - o**6/360 + o**5/60 + o**4/12 - 2*o. Let z(g) be the third derivative of a(g). Is 5 a factor of z(2)?
False
Suppose 0 = -4*i + i + 240. Does 20 divide i?
True
Let i = -62 + 89. Let d = 55 - i. Does 14 divide d?
True
Let w = 77 - 33. Is 6 a factor of w?
False
Let r(y) = 9*y**2 + 10*y - 1. Is 5 a factor of r(-3)?
True
Is 38 a factor of (-10)/(-55) + (-1670)/(-11)?
True
Let x(n) = 5*n**2 + 3*n - 10. Does 36 divide x(-6)?
False
Let y be (-4)/(-2) + (78 - -4). Suppose -y = -2*v - 4*t, -2*v = -5*t - 43 - 41. Is 21 a factor of v?
True
Let p(g) = -18*g**3 + g + g + 3 - 2 + g**2. Suppose 0 = -q + 3*q + 2. Is 10 a factor of p(q)?
False
Let p(j) = 25*j - 1. Suppose 2 = 4*o - 18, -2*o = 3*c - 13. Let g be p(c). Let n = 7 + g. Is n a multiple of 18?
False
Suppose 5*k - 96 = k. Suppose -4*z + k = -12. Suppose z*m - 4*m = 140. Is m a multiple of 18?
False
Let a(q) = 15*q + 6. Is a(2) a multiple of 4?
True
Suppose 5*k = 122 + 8. Let z = k - 9. Suppose 0 = 2*i - z - 13. Is i a multiple of 11?
False
Suppose 0 = 5*m - 3*s + 140, -2*m - 3*s - 140 = 3*m. Let t be m/(-10)*(-120)/(-6). Suppose -4*l - 4*x + 52 = -t, 0 = x - 3. Does 12 divide l?
True
Let d(a) be the third derivative of -7*a**4/24 - 2*a**3/3 + 4*a**2. Suppose -c = -v + 3*v - 2, 3*v = -c + 6. Does 19 divide d(c)?
True
Suppose i - 3*s + 2*s = 15, 0 = -3*i - s + 25. Suppose -5*p + 37 = 4*v, 0*p - i = -2*p. Is v even?
False
Let x(u) = -7*u**3 - u**2 - u - 1. Let v(c) = -1. Let q(f) = 2*v(f) - x(f). Suppose -2 - 1 = -3*t. Is q(t) a multiple of 8?
True
Suppose -5*i = n - 27, -2*i = 4*n - 15 - 3. Suppose t + p = -2, 4*t + 4*p = i*t - 18. Is t a multiple of 2?
True
Suppose -10 = -d + i, 3*d + 0*i + 3*i = 0. Suppose -2*n + 0*w + 35 = d*w, 2*w = 5*n - 73. Does 4 divide n?
False
Let g(p) = -p - 2. Let s be g(-4). Let k be (-1881)/(-55) + 2/(-10). Is 14 a factor of 2*k/4 + s?
False
Let d(s) be the second derivative of s**4/12 - s**3 - 3*s**2/2 + s. Let x be d(7). Suppose -x*g - 4*h + 15 = h, 5*g + h = 24. Does 2 divide g?
False
Suppose -5*q + 33 = -77. Is q a multiple of 4?
False
Let q(n) = -5*n + 4. Does 7 divide q(-14)?
False
Suppose -4*x = x - 315. Does 21 divide x?
True
Let o(q) = -q**3 + 8*q**2 - q - 6. Is o(7) a multiple of 18?
True
Suppose -2*v - 44 = -4*a, 5*a + 5*v - 73 = 3*v. Is 13 a factor of a?
True
Is 9 a factor of ((-45)/(-20))/(4/80)?
True
Let o be -10 - ((-15)/3 + 3). Let n = o + 15. Suppose -3*z + 12 = -n*z, 5*t - 204 = -2*z. Is 20 a factor of t?
False
Let z(o) = -11*o**3 - 3*o**2 + 11*o - 147. Let a(d) = 7*d**3 + 2*d**2 - 7*d + 98. Let p(i) = 8*a(i) + 5*z(i). Is p(0) a multiple of 13?
False
Let x(s) = s**3 + 10*s**2 + 10*s + 10. Let j be x(-9). Let m = 26 + 9. Suppose m + j = 2*n. Is n a multiple of 11?
False
Let w(j) = j - 5. Let d(u) = 6*u**2 + u. Let t be d(1). Let o be w(t). Is o + 21/3 - 0 a multiple of 9?
True
Suppose 5*i - 172 = -4*f + 4*i, 5*i = -4*f + 188. Suppose 3*d - 2*a = f, -2*a + 0*a = -4*d + 58. Let z = d + -8. Is z a multiple of 8?
True
Let j(s) = -s**2 + 9*s - 7. Suppose -3*l + 3*n + 21 = 0, 3*l + 3*n - 6 = 9. Is j(l) a multiple of 6?
False
Suppose 20 = 5*n - 0. Suppose -n*g - 2*t = 22, -g + t = g + 1. Does 10 divide 2 - 0 - (-8 + g)?
False
Let v(s) = 5*s + 8. Does 18 divide v(5)?
False
Let o = -64 + 128. Does 15 divide o?
False
Suppose 5 = 2*s - 1. Suppose -p + 44 = -2*b, s*p + 5*b = p + 52. Is p a multiple of 18?
True
Suppose -3*u = 5*x - 425, x = -0*x + 5*u + 113. Is 11 a factor of x?
True
Suppose -4*t - 5 = -29. Does 3 divide t?
True
Let j be 2/(-5) - (-13)/(-5). Is 12 a factor of 1 + (-11)/3*j?
True
Is (-752)/(-22) + (-4)/22 a multiple of 6?
False
Suppose 192 = -4*g - 0*g. Let m = -17 - g. Does 11 divide m?
False
Suppose 0 = 2*v - 6, 2*y + v - 1 = 4. Let k(o) = 23*o**3 + o**2 - o. Is k(y) a multiple of 4?
False
Suppose -2*n + 156 = -4*b, -2*n - 3*b + b + 126 = 0. Suppose -2*d - 46 - 60 = -5*t, 3*t = -d + n. Does 11 divide t?
True
Let q(d) be the third derivative of d**5/60 - d**4/3 + 4*d**3/3 + d**2. Let y = 18 + -9. Is 17 a factor of q(y)?
True
Let v(k) = 13*k + 5. Let d(m) = 155*m + 60. Let c(p) = -3*d(p) + 35*v(p). Does 9 divide c(-5)?
True
Is 6 a factor of 276/16 - (-9)/12?
True
Let w = 390 + -200. Is w a multiple of 35?
False
Does 11 divide 50/(-20)*176/(-10)?
True
Suppose 4*c - 7 = 1. Let k = 0 + c. Is k even?
True
Suppose 0*b + 14 = b + c, -2*b = 5*c - 16. Is 4 a factor of b?
False
Let b(v) = 17*v. Is 12 a factor of b(5)?
False
Suppose -18 = -v + 102. Does 20 divide v?
True
Let t(m) = -16*m + 14. Does 22 divide t(-6)?
True
Suppose 94 = 2*j - j. Is 5 a factor of j?
False
Let g = -13 - -13. Is 2 - (-9 + g/4) a multiple of 7?
False
Suppose 2*n + n = 48. Let v = n + -22. Let q = v - -16. Is 10 a factor of q?
True
Suppose 0 = 5*r - 4*r - 5. Let i be (3 - 2)*r*3. Is (-2 - -4 - i)/(-1) a multiple of 7?
False
Let j(a) = -5*a - 9. Let s be j(7). Let m = 63 + s. Is m a multiple of 19?
True
Suppose -5*k + z + 11 + 24 = 0, 3*k + 3*z = 3. Is 3 a factor of k?
True
Suppose 99 = 3*o - 57. Is o a multiple of 20?
False
Suppose 29 = 3*t + 86. Suppose 10 = -0*c + 2*c. Let u = c - t. Is u a multiple of 16?
False
Let g(s) = -5 + 2 + 2*s**2 - s**2 - 2 - 6*s. Let w be g(6). Is 1 - -28 - 0/w a multiple of 15?
False
Let d(b) be the first derivative of -b**5/20 - b**3/6 + 23*b**2/2 - b - 3. Let i(u) be the first derivative of d(u). Is i(0) a multiple of 6?
False
Let m(f) = 0*f - 6 - 6*f + 5*f. Let a be m(-10). Suppose 5*y + 5*h = 80, -27 = -a*y - h + 49. Does 6 divide y?
False
Suppose 0 = -5*l - 0*l. Let u be (-1 + l)*1*66. Let f = u - -93. Is f a multiple of 11?
False
Let u(k) = -k**2 - 25*k - 12. Does 14 divide u(-13)?
False
Suppose 0*c = -c + 8. Suppose 52 = 5*w + 2*t, w - c = -w - 4*t. Is w a multiple of 5?
False
Suppose s = -3 + 5. Suppose -3*j - 131 = -2*v - 6*j, -10 = -s*j. Does 23 divide v?
False
Let t(w) = w**2 + 7*w - 8. Let l be t(-8). Is 2 a factor of 1 - l - (-6 + 0)?
False
Suppose -4*m + 6 = -6. Suppose -s = -m*s. Is 19 a factor of -3 + 51 - s/(-3)?
False
Let p(c) be the first derivative of -5*c**2 - 3 + 1 - 8*c**2. Is p(-2) a multiple of 21?
False
Let m = 489 - 283. Does 43 divide m?
False
Suppose 23*x = 24*x - 14. Does 7 divide x?
True
Let d = 27 - 24. Is 3 a factor of d?
True
Suppose -4 = -2*o + 2. Suppose -50 - 43 = -5*r + o*u, -4*r - 5*u = -67. Suppose 0*y + 2*y = r. Is y a multiple of 9?
True
Let w be ((-10)/(-4) - 3)*2. Let a(s) = -41*s. Does 9 divide a(w)?
False
Let c = -42 + 70. Does 14 divide c?
True
Suppose 0 = -2*l - c + 7, 5*l - 2*c = -4*c + 18. Suppose l*u = 20 + 48. Is 5 a factor of u?
False
Suppose -109 - 261 = -3*s + j, -493 = -4*s + j. Is s a multiple of 7?
False
Suppose 4*a - 6*a = -34. Is 5 a factor of a?
False
Suppose 5*z - 6*z - 6 = 5*a, 4*a - 4 = -3*z. Let u = 4 - z. Suppose -8 = -u*y - y. Does 4 divide y?
True
Let p(q) = -q**2 + q - 2. Let g be p(0). Let v(a) = -a**3 - 3*a**2 - a + 1. Let t be v(g). Let x(r) = 34*r**2 + r. Does 16 divide x(t)?
False
Let x be 0 + 0 + (22 - 19). Suppose k = -2 + 14. Suppose x*l + 0 = k. Does 4 divide l?
True
Let z(n) = 3*n - 3. Let s(m) = -m + 1. Let x(r) = 17*s(r) + 6*z(r). Does 3 divide x(7)?
True
Is 5 a factor of 13 + 0*(-4)/(-8) + 3?
False
Suppose -3*p = p - 8. Suppose p*l - 4*z = 8, 0 = l + 3*l + 5*z - 55. Suppose -d = -0*d - 2*k - l, -38 = -d - 5*k. Is 12 a factor of d?
False
Let b(p) = -p**2 + 5*p - 1. Suppose 0*d - 7 = -4*z + d, 10 = 5*z - d. Let g be b(z). Suppose -5*s + 127 = -4*n, -n + g = 3. Does 9 divide s?
True
Let x = -24 - -65. Is 6 a factor of x?
False
Suppose -7*s = -3*s - 68. Suppose 63 = 4*h - s. Is 20 a factor of h?
True
Suppose 5*r - 2*b - 97 = 0, 0 = -r + 2*b - 3*b + 25. Is r a multiple of 4?
False
Suppose -5*n = -100 - 15. Does 5 divid