e 0 = -a*c + 46 + 14. Is 15 a factor of c?
True
Let y be 164/14 - (-4)/14. Does 2 divide (-1)/3 + 88/y?
False
Let t = 51 + -11. Does 10 divide t?
True
Suppose -j + 3*j - 3*z = 3, 4*j = 2*z + 10. Let q(c) = -c**3 + 2*c**2 + 3*c + 3. Is q(j) a multiple of 3?
True
Let o = -7 + 8. Suppose o = -2*x + 5. Is (-1)/(x/((-48)/3)) a multiple of 6?
False
Let w = -63 + 162. Is w a multiple of 11?
True
Let r be 10/20*(-4)/(-1). Is 8 a factor of (-572)/(-16) - r/(-8)?
False
Let p = -30 + 5. Let l = 37 + p. Does 12 divide l?
True
Let z = 10 - -4. Suppose 3*r - 65 = -z. Does 10 divide r?
False
Let k be -1 - -2 - (-3 + 2). Suppose -4*z + 60 = -5*b, -4*b = k*z - 38 - 18. Does 8 divide z?
False
Let y(a) = -6*a. Let p be y(-1). Let s = p + -4. Suppose -48 = -4*w - m, 4*w - 4*m = s*w + 42. Is w a multiple of 13?
True
Let a be -2*-3*1/(-6). Is 6 a factor of 1 + -1 + 10 + a?
False
Let l = 15 + -13. Suppose -l*n + 0*z = -2*z - 34, 4*z = n - 11. Is 9 a factor of n?
False
Let d be (-5)/((-15)/(-9)) + -6. Is -2 + 0 - d/1 a multiple of 7?
True
Let k be 384/21 - (-6)/(-21). Suppose -2*j + k = 2*y - 4*y, -2*j = 8. Let f = 8 - y. Does 7 divide f?
True
Suppose -i = -3*i + 20. Is 10 a factor of i?
True
Suppose -2*w - 30 = -5*f - 486, -5*w + 15 = 0. Let v = 126 + f. Is 18 a factor of v?
True
Suppose -7*w + 8*w = 7. Does 4 divide w?
False
Let q(f) = -f - 16. Let d(a) = a + 8. Let n(p) = 7*d(p) + 4*q(p). Does 8 divide n(8)?
True
Is 66 a factor of 460/7 - 5*6/(-105)?
True
Suppose -3*k - 3 = 12. Does 6 divide 0 - (-3 + k + 2)?
True
Suppose 3*j = d - 19, d - 4*d - 3*j + 33 = 0. Let z(t) = t**3 - 14*t**2 + 13*t + 16. Does 10 divide z(d)?
False
Let t be 0*(0 - (0 - 1)). Is 10 a factor of (t + 10)/((-4)/(-6))?
False
Let g(d) = d**3 - d**2 - 3*d + 4. Let x be g(3). Let i = x - 31. Let u = 37 + i. Does 9 divide u?
False
Is (-2)/((-4)/126) + 18/9 a multiple of 13?
True
Let z(r) = -r**3 - r + 5. Let u be z(0). Suppose -u*f = -227 - 58. Let t = f - 16. Is 16 a factor of t?
False
Suppose 3*b - 232 = b. Is b/2 - (1 + 0) a multiple of 19?
True
Let n(y) be the first derivative of -y**2/2 + 2*y + 6. Is n(-2) a multiple of 4?
True
Let y(t) = 10*t. Let g be y(-6). Let k be (-258)/(-9)*6/(-4). Let u = k - g. Is 17 a factor of u?
True
Let f(o) = -o**3 + o**2 - o + 2. Let b be f(0). Suppose -2*m - b = 2. Does 16 divide m/(-11) + 174/11?
True
Suppose -3*i = 3 + 6. Let u be ((-6)/i - 1)*0. Suppose 0 = -2*q - 2*y + 5*y + 48, u = -4*q - 3*y + 114. Is q a multiple of 18?
False
Suppose 0 = -5*x + x. Let b = x + 56. Is 28 a factor of b?
True
Does 24 divide (-25 - -1)/((2 - -4)/(-36))?
True
Suppose u + 0*u = 20. Does 19 divide u?
False
Let w(f) = 2*f**3 + 2*f**2 - 4*f - 2. Let c be w(-3). Let m = c - -50. Does 8 divide m?
True
Let y(z) = -5 + 0*z**2 - z**2 + 5*z + 2*z**2. Let k be y(-7). Suppose -4*x = -3*x - k. Does 9 divide x?
True
Let m be 0 - (-49 - (-1 - -2)). Suppose -5*z = -0*z - m. Is z a multiple of 4?
False
Suppose 0 = -3*i - i + u - 6, -8 = 2*i - 3*u. Does 5 divide i/2 - 69/(-6)?
False
Let o = 36 + 32. Is o even?
True
Suppose -6*y = -2*y. Let k(r) = -3*r - 11. Let x(o) = -o - 5. Let i(f) = 2*k(f) - 5*x(f). Is i(y) a multiple of 3?
True
Let o = 14 + -6. Let b be o/(-4*2/(-12)). Does 7 divide b - ((-12)/2)/3?
True
Suppose 3 = -3*h - 0. Let p be 0 + -139 + 2 - h. Is 10 a factor of p/(-14) - (-4)/14?
True
Let p = -5 - 7. Is 35 a factor of (-2110)/(-18) - p/(-54)?
False
Let k(p) = p**3 - 7*p**2 + 8*p + 1. Let f be k(6). Suppose -f = -2*y + 29. Is y a multiple of 13?
False
Let c = -11 + 15. Suppose 5*v = -4*f + 276, -c*v + 2*f + 224 = 6*f. Is 24 a factor of v?
False
Suppose 4*s - 120 = s. Let z(x) = -x**2 + 5*x - 9. Let g be z(7). Let l = g + s. Is 17 a factor of l?
True
Suppose -10*q + 5*q = -175. Is q a multiple of 7?
True
Let z(v) = -7*v + 7. Is 28 a factor of z(-3)?
True
Let y = 51 + -35. Does 17 divide y + -1 + 3 + -1?
True
Let b be ((-4)/10)/((-1)/120). Suppose -93 = -2*v + 5*v. Let d = b + v. Is d a multiple of 17?
True
Let s = 2 - -3. Suppose -4 = -2*u, r - s*u + 1 = -2*r. Suppose 0 = -4*c - t + 78, 2*t - 62 = -r*c + 3*t. Is 7 a factor of c?
False
Suppose 2*i + 88 = 4*i. Is i a multiple of 7?
False
Let q = -106 + 197. Is 12 a factor of q?
False
Is 18 a factor of 4/8*(-1 + 215)?
False
Suppose -k + 0*k = 5*p - 213, -k = 2. Does 7 divide p?
False
Let y be (-6)/6 + (3 - 0). Let r(p) = 4*p**3 + 2*p**2 + 2*p - 2. Is 14 a factor of r(y)?
True
Let a be (3 - 2*-2)*-7. Let w be -2 - 3/(-3) - a. Suppose w = 2*u + 5*y, 5*u - u - 2*y - 96 = 0. Is u a multiple of 11?
False
Suppose b = -b + 128. Suppose h + h - 189 = -5*j, 2*j - b = 5*h. Does 13 divide j?
False
Let g(h) be the second derivative of 7/12*h**4 + h + 9/2*h**2 - 2/3*h**3 + 0 - 1/20*h**5. Is 7 a factor of g(6)?
True
Is 14 a factor of ((-6)/18)/((-3)/423)?
False
Suppose 254 = 2*x - h, -2*h + 348 + 26 = 3*x. Is 15 a factor of x?
False
Let p(o) = -9*o**2 - 2*o - 6*o + 3*o - 14 + o**3. Is p(10) a multiple of 19?
False
Suppose 5*v + 29 = 3*v + l, 2*v = 5*l - 41. Let r = 13 - v. Is 26 a factor of r?
True
Let a = 7 - 5. Is 48/21 - a/7 a multiple of 2?
True
Suppose -4*x - 56 = -6*x. Is x a multiple of 14?
True
Suppose 7*z = 796 + 2. Does 19 divide z?
True
Let h(m) be the second derivative of -m**3 + 7*m. Does 15 divide h(-5)?
True
Let f(n) = -n**2 - 5*n + 2. Let x be f(-4). Let b(o) = -3 + 5*o - o**3 + 2*o**3 - 2*o**3 - x*o**2. Is 4 a factor of b(-7)?
False
Let i(g) = 4*g + 32. Is i(15) a multiple of 11?
False
Let t(k) = 2*k + 9. Let v be t(-5). Is 2 a factor of (4 - 3)/v*-3?
False
Let v(u) = u + 32. Let s be v(0). Let d = s - 10. Does 11 divide d?
True
Let l = 38 - 58. Let m = l + 28. Does 7 divide 1/(-4) - (-122)/m?
False
Let w = -101 + 145. Suppose -2*d + 3*y - 39 = 0, w + 56 = -5*d + 5*y. Let f = 34 + d. Is 13 a factor of f?
True
Let t = -6 - -9. Let g = 3 - t. Suppose -3*q = h - 28, 3*h + 33 = 4*q - g*h. Is 4 a factor of q?
False
Suppose 33 + 67 = 5*w - 3*b, 0 = -2*w - 5*b + 40. Let r = w + -12. Is r a multiple of 6?
False
Suppose 0 = 6*n - 4*n - 14. Let c = 3 + n. Let t = c + -5. Is t a multiple of 5?
True
Suppose 3*i + 23 - 287 = 0. Is i a multiple of 11?
True
Let l(g) = -g**3 + 8*g**2 + 9*g + 10. Does 4 divide l(9)?
False
Let r(q) = 1 - 3 - 2*q - q**3 + 2*q**3 + 2*q**2 + 0*q**3. Is 10 a factor of r(2)?
True
Suppose 8 = 3*x - 49. Is 2 a factor of x?
False
Suppose -2*b + 30 + 274 = 0. Does 8 divide b?
True
Let s(o) = 12*o**2 - 4*o + 5. Is 9 a factor of s(4)?
False
Let i = 272 - 153. Is i a multiple of 17?
True
Let d be (-8)/(-24) + 5/3. Let y(z) = -z**2 + d*z**2 - 2 + 1 - 5*z**2 + 2*z**3. Is y(3) a multiple of 9?
False
Suppose l + 2*l - 18 = 0. Suppose -5*j - l = -3*x + 23, -6 = 2*x + 3*j. Suppose -x*h + 4*z = -18, h = 3*h - 3*z - 13. Does 2 divide h?
True
Let i(r) = -31*r - 4. Let k(w) = 31*w + 5. Let y(b) = 6*i(b) + 5*k(b). Let q(p) = p + 5. Let d be q(-6). Does 11 divide y(d)?
False
Let i(f) = 2*f**2 + 6*f - 2. Does 17 divide i(-6)?
True
Let j(s) = 14*s**3 - 3*s**2 + 17*s - 5. Let n(y) = -5*y**3 + y**2 - 6*y + 2. Let x(m) = -4*j(m) - 11*n(m). Does 14 divide x(-2)?
True
Let p(g) = 69*g. Is p(1) a multiple of 20?
False
Let b(k) = 16*k**2 - k + 1. Does 13 divide b(2)?
False
Let y(m) = m - 1. Let d be y(6). Suppose s - 3 = 2*s, d = -g - 2*s. Let q = 3 + g. Is q a multiple of 3?
False
Let c(p) = 9*p + 19. Let s be c(14). Let l = -85 + s. Is 20 a factor of l?
True
Suppose 3*i - 5*d = 155, -2*i - 14 + 124 = -2*d. Is i a multiple of 12?
True
Let z(r) = r + 6. Does 9 divide z(12)?
True
Suppose -9*d + 4*d + 595 = 0. Let h = d - 50. Is h a multiple of 23?
True
Suppose -2*v + 114 = 2*v + 5*b, 0 = -v - 4*b + 34. Let j = v + -1. Is j a multiple of 9?
False
Let u(b) = b**2 + 2*b + 3. Let z(l) = l - 4. Let f be z(-4). Is 17 a factor of u(f)?
True
Suppose y = 6*y - 330. Does 31 divide y?
False
Suppose -5*v + 360 = -2*g + 5*g, 5*g - 581 = -2*v. Is g a multiple of 29?
False
Let t be 1*(6 - 1) - 1. Suppose -r + 2*z - 6*z + 10 = 0, -4*r = 3*z - 40. Let k = r + t. Does 7 divide k?
True
Let v(n) = 14*n**3 - 2*n + 1 + 0*n - 12*n**3. Is v(2) a multiple of 7?
False
Let j(n) = -n**2 - 14*n - 13. Let c be j(-13). Is 12 a factor of (14 + 0 - c) + 3?
False
Suppose 4*v - 1 = -2*h + 15, 5*v - 21 = -2*h. Suppose 3*x - v*b - 158 = 0, -4*b = -5*b + 2. Suppose -x = -4*z + 20. Do