6*z. Is x(i) a multiple of 7?
True
Let m(d) = -d**3 - 12*d**2 - 10*d + 14. Let g be m(-11). Let w(j) = 21*j**g - 2*j + 0 + 3 + 3*j - 5. Is w(1) a multiple of 4?
True
Suppose 54*f - 16224 = 22*f. Is f a multiple of 32?
False
Suppose -4*a = 4*s - 92, 155 = 9*a - 4*a - 3*s. Is a a multiple of 3?
False
Suppose 3*r + 12 = 24. Suppose -n - 1 = -4*v, -n + r*v + 10 = n. Is n even?
False
Let q = -25 - -70. Suppose 0*j = 3*x + j + 11, 5*j + 16 = -2*x. Is 4 a factor of x/6 + q/6?
False
Let w = -1 - -5. Suppose -2*o - 100 = -3*g, -w*g - 57 + 157 = 4*o. Let n = g + -1. Is 29 a factor of n?
True
Let p(v) = 2385*v**2 + 43*v - 43. Does 53 divide p(1)?
True
Let t = -364 - -604. Let y = t + -114. Is y a multiple of 18?
True
Suppose 515 = 7*q - 3867. Is q a multiple of 51?
False
Let h(p) = -4*p**3 + 3*p**3 + 0*p**3 + 18*p**2 - 32 + 58*p + 8*p**2. Is 12 a factor of h(28)?
True
Let x(w) = -w - 10. Let u be x(-16). Let p(d) = 3*d**2 - 6*d + 1. Is 15 a factor of p(u)?
False
Let f(h) = 262*h + 10. Does 16 divide f(1)?
True
Suppose -f + 3 = -4. Suppose 18 = u + 3*z - f, -3*z = -15. Suppose l = 7 + u. Does 14 divide l?
False
Let m(v) = 7*v - 4*v**2 + 4*v**2 + 4 - v**3 - v**2 + 8*v**2. Let i be m(8). Does 2 divide (-6)/((42/i)/7)?
True
Let i = 64 - 64. Suppose i = -s - 3, s - 28 + 108 = u. Is u a multiple of 7?
True
Let a = -111 - -115. Suppose -a*m - 4*k + 113 = -87, 0 = -m - 2*k + 51. Is m a multiple of 3?
False
Let g be (-1 - 0)*-2*1. Suppose 3*n - 3*c + 15 = 0, c = -g*n - n - 19. Let w(p) = -6*p + 8. Is 20 a factor of w(n)?
False
Let h = 519 - -3417. Is h a multiple of 29?
False
Suppose 5339 = -g + 20*g. Is 37 a factor of g?
False
Let v(s) = 184*s + 22. Is v(5) a multiple of 24?
False
Is 10 a factor of 7/((-6)/(-840)*7)?
True
Suppose t - r - 230 = 269, t + r = 499. Does 58 divide t?
False
Let c(q) = q**2 + 9*q + 42. Does 24 divide c(-6)?
True
Let m = 568 + -483. Does 5 divide m?
True
Let g(k) = -k**2 + 16*k. Let p be 5/40 - 87/(-8). Is g(p) a multiple of 31?
False
Let h be 2 + 535/20 - 3/(-12). Suppose 0 = h*g - 24*g - 500. Does 10 divide g?
True
Suppose 28*b = 26*b + 8. Suppose 3*h = -4*r + 251, -42 + 370 = 4*h + b*r. Is 11 a factor of h?
True
Let c(p) = -4*p - 3. Let r(s) = 4*s + 3. Let m(g) = -4*c(g) - 3*r(g). Let n be m(5). Let f = 32 - n. Is 2 a factor of f?
False
Is 8 a factor of 40 + 44/11 - -4?
True
Suppose -6*h = -5*h - 32. Let s = h + 36. Is 30 a factor of s?
False
Let j(q) = -4*q + 1. Let r be j(5). Let m = r + 17. Let n = m - -40. Does 19 divide n?
True
Suppose -4*b + 6*x = x - 464, -5*b + 580 = 2*x. Is b a multiple of 36?
False
Suppose 5*p + 31 = 11, 2*k = -3*p + 180. Does 11 divide k?
False
Suppose 4*d - 39 = 3*y, -5*d + 76 = 4*y + 4. Is (12/(-8))/(d/(-352)) a multiple of 11?
True
Let p(w) = -11*w**2 + 3*w + 93. Let u(t) = 6*t**2 - 2*t - 46. Let d(k) = -4*p(k) - 7*u(k). Is d(-7) a multiple of 4?
False
Suppose 24 = 3*b - 3. Suppose -4*o = -o + b. Is 20 a factor of (-59)/o + 4/12?
True
Let p(f) = 4*f. Let m(y) = -y - 1. Let n(c) = -5*m(c) - p(c). Let g be n(-5). Let u(z) = z**3 - z**2 + 52. Does 13 divide u(g)?
True
Let w = -448 - -712. Is w a multiple of 14?
False
Let a = 51 - 51. Does 3 divide (1 - a)*(5 + 13)?
True
Let f(h) be the third derivative of 13*h**4/12 - 6*h**2. Let t be f(-3). Let l = t + 117. Does 10 divide l?
False
Let l be -2 + 4/4 + 4. Suppose -2*c + 6 = -3*p, 0*c + p = c - l. Suppose -c*i + 315 = 2*i. Is i a multiple of 37?
False
Let l(f) = 4*f**2 - 9*f + 68. Does 4 divide l(8)?
True
Let z(p) be the first derivative of 9*p**2 + 8*p + 24. Does 10 divide z(4)?
True
Suppose -2363 = -14*u + 10*u + d, 2*d = -u + 602. Is 15 a factor of u?
False
Let h = 3420 - 1810. Does 72 divide h?
False
Let r(u) = -u**3 - 16*u**2 - 14*u + 18. Let j be r(-15). Suppose 5*c + 2*s = 86, -j*s + 53 = 3*c - 4. Suppose 32 + c = 4*q. Does 4 divide q?
True
Does 10 divide -36*((-52)/18 - -3)*-15?
True
Suppose 11*f - 9*f = -100. Let w = f + 27. Let r = w - -33. Is 7 a factor of r?
False
Does 4 divide (107/(-15) - -7) + (-362)/(-15)?
True
Let a = 23 - 74. Let g = a - -81. Is g a multiple of 10?
True
Let l(i) = 8*i**2 - 59*i + 27. Is 2 a factor of l(9)?
True
Suppose 28*a - 10719 = 3533. Does 61 divide a?
False
Suppose -3*z + 119 = -0*a + 2*a, 4*a - 16 = 0. Suppose z - 127 = -6*q. Is q a multiple of 6?
False
Suppose 0 = -4*f + 3*l + 2*l + 688, -2*f - 2*l + 344 = 0. Is 30 a factor of f?
False
Let k(q) = -q**2 + 43*q. Is k(35) a multiple of 28?
True
Suppose 3*k - 5*m = 2125, -5*m + 417 + 958 = 2*k. Is 35 a factor of k?
True
Suppose -59 - 82 = -3*o. Let i = -17 + o. Does 10 divide i?
True
Let k be ((-284)/12)/((10/(-105))/2). Let f = 769 - k. Is 31 a factor of f?
False
Suppose 7*l - 8*l + 4 = 0. Suppose 0 = -5*n - l*g + 48, -28 = -3*n - 0*g - 2*g. Does 8 divide n?
True
Suppose 2*t = 2*w + 200, -28*t + 29*t + 5*w = 88. Is 2 a factor of t?
True
Let i = -12 - -3. Let z be (-2)/i + 32/18. Suppose n - 60 = -z*n. Is 18 a factor of n?
False
Let o(v) = -v**3 - 5*v**2 - 4*v - 1. Let q be o(-4). Let h = 1 + q. Suppose 2*t = -h*t - p + 91, 4*p = -2*t + 100. Does 10 divide t?
False
Suppose 0 = 25*z + 678 - 9753. Is 11 a factor of z?
True
Let h(u) = 8*u**2 - u - 15. Does 25 divide h(-4)?
False
Let d(f) = f. Let v(w) = w - 2. Let c(l) = 2*d(l) - v(l). Let t be c(-7). Is 5 a factor of 5/(-2)*20/t?
True
Suppose 1511 + 12493 = 9*j. Is (-42)/(-63) + j/6 a multiple of 20?
True
Let y(v) = 53*v**3 - 3*v**2 - 10*v + 21. Does 7 divide y(2)?
True
Let g(h) = 16*h**2 - 5*h - 2. Suppose -3 = -13*q + 12*q. Is g(q) a multiple of 42?
False
Let z(r) = r**2 + r + 4. Let l be z(-3). Suppose -26 + l = 2*k. Let j = 3 - k. Does 11 divide j?
True
Suppose -5*n + l + 408 = 0, -2*n - 4*l = -18 - 132. Is 8 a factor of n?
False
Let y = 62 - 59. Suppose -3*v - 5*x = -50, -y*v = x - 38 + 4. Does 10 divide v?
True
Let k be -4*(-3 + 2 - 25). Suppose -4*o + 292 = -k. Is o a multiple of 14?
False
Let g(o) = 53*o - 25. Let j be g(9). Suppose 4*b + 2*z - j = 0, -3*b + 3*z + 2*z + 352 = 0. Is 6 a factor of b?
True
Suppose 4*f + 29 = -w, -2*w - 26 = 3*f + f. Let d = 31 + f. Suppose -5*y + 5*j - j + d = 0, 37 = 4*y + 3*j. Is y even?
False
Let m(l) = l**3 + 10*l**2 - 12*l + 2. Let y(o) be the first derivative of -o**4/4 - 2. Let k(f) = -m(f) - 2*y(f). Does 5 divide k(9)?
True
Suppose 4*f - 1012 = -b + 125, 5*f - 1434 = 3*b. Does 61 divide f?
False
Let m = 353 + -301. Is 26 a factor of m?
True
Suppose 5*j + 3*h = 15400, -3*j + 3*h + 3086 = -6154. Is 20 a factor of j?
True
Let b(q) = 50*q + 7. Does 36 divide b(12)?
False
Let n(p) = p**3 - 9*p**2 + 7*p + 13. Let z be n(8). Suppose 242 = 5*g + m, -4*m = -z*g + 210 + 47. Is g a multiple of 9?
False
Let a be 5 + (-5 - -7) + -5. Does 15 divide 122/2 + 6/a?
False
Let n(r) = 3*r - 12. Let x be n(4). Suppose 3*f - 14 = -2*f - 2*h, x = 2*f - 2*h. Suppose -2*i + 12 = -f. Is i a multiple of 7?
True
Let l = 151 + -115. Is l even?
True
Let o(g) = 9*g**3 + g**2 - 2*g + 5. Is 7 a factor of o(2)?
True
Suppose -5*v + 7 = -18. Suppose 4 = -v*n + 3*n. Is (0 - -26) + n + -2 a multiple of 7?
False
Suppose -2*f = -0 - 18. Let x = f - 5. Suppose 90 = x*k - 30. Is k a multiple of 15?
True
Let v(w) = 3 + 7*w - 5*w + w. Let q = 1 - -8. Does 10 divide v(q)?
True
Let m(d) = -3 - 85*d + 37*d + 1 - 252*d. Is 25 a factor of m(-1)?
False
Is 452 - (14/(-7) + -1) a multiple of 35?
True
Let p(t) = -t**2 + 46*t - 5. Is 16 a factor of p(16)?
False
Let m be (-5)/(10/(-4)) + -1. Let g be (m*4)/((-8)/(-16)). Let p(s) = s**3 - 8*s**2 + 5*s + 8. Does 16 divide p(g)?
True
Let n be -2*1/(-6)*69. Let m = n + -20. Suppose -2 = -z + m. Is z even?
False
Let u be 10/(-12)*2*-3. Suppose -5*g - 2 = 2*x, -2*g + 4*g = -u*x + 16. Suppose -x*j - c - c = -52, 2*j = 3*c + 18. Is j a multiple of 12?
True
Let g(a) be the third derivative of a**5/60 + 5*a**4/12 - 11*a**3 + 33*a**2. Is 2 a factor of g(-15)?
False
Suppose -3*z - 1 + 21 = -4*s, 4*z - 26 = 5*s. Is 5 a factor of (-3 - s)/((-1)/5)?
True
Suppose 5*q - 1 = 14. Suppose -q*d - 10 = 5. Is 8 a factor of 48 - d/(-15)*3?
False
Suppose -5*r - 3*f = -2*f - 45, 5*r - 4*f - 70 = 0. Let j = r - 10. Suppose j = s + 4*s - 190. Does 12 divide s?
False
Let d = -2039 - -3980. Is d a multiple of 106?
False
Let q = 2627 - 2483. Is 18 a factor of q?
True
Let i(u) = -5*u**3 - u**2 + 2*u + 2. Le