*k. Let z(h) = m(h) + 2*u(h). Is 27 a factor of z(9)?
True
Suppose -8*h + 2072 = 272. Is 15 a factor of h?
True
Let k = -56 - -95. Suppose -l = -h - k, 5*l = l + h + 153. Is 27 a factor of l?
False
Let a(n) = -n**2 + 7*n - 4. Let f be a(6). Let c be (1 - 1/7)*7. Does 14 divide (-1)/f + 255/c?
True
Let j(y) = 7*y + 7. Let v(r) = -48*r - 48. Let h(x) = -27*j(x) - 4*v(x). Suppose -7*q + 3*q + 12 = 0. Does 3 divide h(q)?
True
Let y be 3/(-6)*(0 + 8). Let p be y + 5 + -2 + -2. Let z(i) = -i**3 - 2*i**2 - 4. Does 2 divide z(p)?
False
Let c be 2 - (-4 - -1 - -5). Suppose -4*g + 50 = 2*q - 326, c = 3*g - 5*q - 308. Is 32 a factor of g?
True
Suppose a + 4*z = 478, 4*a - 5*z = -347 + 2343. Is 45 a factor of a?
False
Suppose 54*b + 5*c = 55*b - 341, 335 = b - 3*c. Is 14 a factor of b?
False
Does 9 divide 3 + (434 - (-6)/(-6))?
False
Let k(j) = j**2 - 9*j + 9. Let z be k(8). Let r be (-8)/16 - z/(-2). Suppose r = -4*w + 101 + 3. Is w a multiple of 26?
True
Let w be 32/(-8) - 22/(-2). Let r = 25 - w. Suppose -3*d - 2*q + 98 = -r, -q = 5. Does 6 divide d?
True
Let s(c) = -18*c**2 - 4*c - 10. Let l be s(5). Let b be 2/(-7) - l/14. Let j = b - 7. Is 9 a factor of j?
True
Let w(j) = 11 + 0*j**3 + j + 17*j**2 - 4*j**3 + 3*j**3. Let q be w(17). Suppose 5*h - q = 137. Is 17 a factor of h?
False
Let i(u) = u**2 - 9*u - 11. Let w be i(-6). Let g = w + -39. Is g a multiple of 4?
True
Let d = 415 + 365. Does 13 divide d?
True
Suppose 13*d - 18 = 4*d. Suppose -s - d*i - 4 = -166, -3*s + 2*i + 478 = 0. Is s a multiple of 32?
True
Let v(j) = j**3 - 6*j**2 + 7*j - 1. Let z be (4 - 25/5)*-5. Is 2 a factor of v(z)?
False
Suppose -3*y - 48 = 2*g, -y - 4 + 1 = 5*g. Is (-135)/y*(-40)/(-6) a multiple of 10?
True
Let z(y) be the third derivative of -y**5/60 - 2*y**4/3 + 3*y**3/2 - 9*y**2. Is 18 a factor of z(-7)?
True
Suppose -2*i + 2*f - 5*f = 56, 0 = 4*i + 2*f + 104. Let p be (-2)/5 - (-1040)/i. Let y = 93 + p. Is y a multiple of 16?
False
Let z be 4/(-14) - (-15664)/(-154). Is z/(-3) + 12/(-4 + 1) a multiple of 7?
False
Let t(h) be the third derivative of -h**4/8 + 10*h**3/3 + 7*h**2. Is t(-6) a multiple of 38?
True
Let r be 14/2*42/(-49). Let i be (2/6)/(2/r). Is 13 a factor of 4/i*(-222)/24?
False
Suppose 15*l = 10*l + 20. Suppose l = 2*v - v. Suppose 0*c - v*c - 4*o + 136 = 0, -5*o = -c + 28. Is 11 a factor of c?
True
Suppose -4*x + 3230 = 2*l, 0 = x - 5*l - 116 - 719. Is x a multiple of 30?
True
Suppose 7*w + 2*i = 2*w + 9, 4*w - 2*i = 18. Suppose -4*d + 73 = b, -b + 0*b + w*d = -101. Is 15 a factor of b?
False
Is 14 a factor of -1 - (-1 + -1 + -343 + 28)?
False
Suppose 0 = 4*v + 2*v - 294. Let g = v - -44. Is g a multiple of 31?
True
Suppose 1464 = 3*h + 69. Does 37 divide h?
False
Does 7 divide ((-24)/9)/((-20)/1260)?
True
Suppose 1361*s - 1367*s + 8190 = 0. Is 15 a factor of s?
True
Suppose -198 = -15*w + 16*w. Let z = w - -278. Let c = z + -44. Does 12 divide c?
True
Let b be 2/((-30)/(-381)) - 4/10. Suppose -b = -5*i, -5*o - 2*i + 250 = -3*i. Is 17 a factor of o?
True
Let f(r) = 295*r + 2. Is f(1) a multiple of 9?
True
Let u = 54 + 46. Let n = u - 50. Is n a multiple of 15?
False
Suppose d - 31 = -n, 0*d - 4*n + 60 = 2*d. Let o = d - 27. Suppose 19 = 3*i - o. Is 2 a factor of i?
True
Suppose -405*f - 1664 = -409*f. Is 16 a factor of f?
True
Suppose 3*m + 4*k - 188 = 226, -m = -5*k - 138. Is 23 a factor of m?
True
Does 4 divide 2/(4/410*5)?
False
Suppose t = -4*f + 4, 0*t + 4*f = 2*t - 8. Suppose -t*a - 32 = -0. Is 2 a factor of 1*3*a/(-12)?
True
Let u = 22 - -68. Does 10 divide u?
True
Suppose -5*n + 7 = -4*n. Let q(s) = s**3 - 7*s**2 - s + 10. Let v be q(n). Suppose v*k = k + 98. Is 21 a factor of k?
False
Let v(u) = u + 3. Let j be v(-6). Let h be 4*j/(-12) + 2. Is (h/(-9))/((-5)/120) a multiple of 3?
False
Let m = 26 + -21. Let r = 14 - m. Let n(w) = w**3 - 9*w**2 + 11*w - 9. Does 27 divide n(r)?
False
Let l = -70 - -175. Is l a multiple of 9?
False
Let m(y) be the first derivative of 4*y**3/3 + 2*y**2 + 7*y - 19. Is 40 a factor of m(5)?
False
Suppose -16 = -2*s - 2*a - 4, 2*s - 2*a = 0. Is s even?
False
Let u(d) = d**3 - 33*d**2 + 91*d + 62. Is u(31) a multiple of 25?
False
Suppose 4*h + 195 - 771 = -2*v, -304 = -2*h - 5*v. Is h even?
True
Let r = 2975 + -1460. Does 19 divide r?
False
Let l be (3/4)/((-8)/64). Let r = l - -8. Let d(a) = 4*a - 2. Is d(r) a multiple of 2?
True
Suppose -4*z - 8 + 8 = 0. Suppose z = h + j - 10 - 11, 3*h + 2*j = 61. Is 7 a factor of h?
False
Let o(r) = -2*r**3 + 6*r**2 + 8*r + 6. Let u(d) = 2*d**3 - 6*d**2 - 7*d - 7. Let t(i) = 6*o(i) + 5*u(i). Let m be t(7). Is 15 a factor of 0 - (-2)/((-8)/m)?
True
Let d(s) = -s**2 + 58*s + 903. Is 21 a factor of d(-12)?
True
Let o = 71 - 32. Let m = o - 22. Let v = m + 11. Is v a multiple of 11?
False
Let t(v) = -v**3 + 7*v**2 + 9*v + 5. Suppose 2*i = -4*m + 18, -5*i + 4*m = -22 - 9. Does 26 divide t(i)?
False
Let q be (-1 + 2)*-129*(-2)/2. Suppose 3*v - 2*v + q = 2*x, x - 57 = -v. Does 12 divide x?
False
Suppose -4*l - 6*l + 40 = 0. Is 10 a factor of ((-450)/l)/((-12)/16)?
True
Let o(z) = 28*z - 739. Is o(40) a multiple of 10?
False
Suppose -2*w - 49 = 197. Let z = w + 210. Is z a multiple of 29?
True
Is 3/(-18) - (-2 + 4612/(-24)) a multiple of 4?
False
Let c be 32/(-3)*(0 - 3). Suppose -5*h + c = 4*p - h, -20 = -2*p - h. Is 4 a factor of p?
True
Let f(q) = 15*q + 16. Is f(0) a multiple of 9?
False
Suppose -27552 = -42*g + 21*g. Does 14 divide g?
False
Let h = 39 + -333. Let u = -210 - h. Is u a multiple of 21?
True
Suppose -94*h - 480 = -100*h. Is h a multiple of 16?
True
Let i = 497 + 984. Does 39 divide i?
False
Let o(q) be the first derivative of 2*q**3/3 + q**2 + 4. Let w be o(-2). Suppose w*g = 6*g - 164. Is 15 a factor of g?
False
Let v(y) = y**3 - 7*y**2 + y - 11. Let m be v(7). Is 12*(6 - (-8)/m) a multiple of 6?
True
Let g(r) = r + 11. Let o be g(-8). Let q = 5 - o. Does 3 divide -2 - -6*q/2?
False
Let u(a) = a + 18. Let p be u(-15). Suppose -y + p*y - k = 32, -y + 2*k = -10. Does 9 divide y?
True
Let z(b) = -4*b**3 + 3*b**2 + 5*b. Let i(s) = -s**3 + s - 1. Let p(r) = 2*i(r) - z(r). Is p(3) a multiple of 3?
False
Let a(b) = -14*b**3 - 2*b**2 - b - 3. Let l be a(-2). Let h = l - -7. Does 22 divide h?
True
Suppose -14*d + 13*d = -37. Let y = d + -18. Is 5 a factor of y?
False
Let j(q) = q**2 + 9*q - 76. Does 14 divide j(20)?
True
Is (-3)/(-7) - 949905/(-707) a multiple of 14?
True
Let q = -8 + 3. Let j(l) = -6*l + 2. Let k(w) = -6*w + 2. Let m(x) = q*j(x) + 6*k(x). Does 17 divide m(-8)?
False
Suppose -81 = 3*b + 2*y - 385, 0 = 4*y + 16. Let a = b - 32. Does 9 divide a?
True
Suppose 0 = 2*g + 21 - 1. Let a be (2 + g)*(-6)/4. Let f = a + -6. Does 2 divide f?
True
Suppose -2*n + 2 = -a - n, n - 2 = 0. Suppose 3*b - 138 - 75 = a. Suppose -81 = -4*l + 3*w - 34, -4*l - 5*w = -b. Does 9 divide l?
False
Let v be 12/(-9)*(5/10 + -2). Suppose -6*u = 3*m - 2*u + 1, -2*m - 3*u - v = 0. Is 5 a factor of m?
True
Does 33 divide (-1 - (3 + 1)) + (-680)/(-4)?
True
Let w be 1183/52*4*1. Let p = -2 + 6. Suppose -3*d + 66 = 3*i, 5*d = p*i + 19 + w. Is d a multiple of 22?
True
Let d be -1 + 4 - (-34 + 7). Let b = 62 - d. Is 17 a factor of b?
False
Let c(y) = -19*y - 10. Let a(w) = 57*w + 29. Let k(z) = 6*a(z) + 17*c(z). Let l be k(3). Suppose -4*f + l = 21. Is f a multiple of 3?
False
Suppose 6*l + 0*l = 0. Suppose l = -0*s - 11*s + 22. Is s even?
True
Let u(l) = -l**2 + l + 17. Let s be u(0). Let d = 18 - s. Suppose 0 = p - 4 + d. Is p a multiple of 3?
True
Is (-15582)/(-28)*((-2)/(-6) + 1) a multiple of 14?
True
Let p be (-4)/(-10) + 48/5. Suppose -7*w = -p*w + 15. Let r(g) = g**2 + g + 1. Does 23 divide r(w)?
False
Let s be ((-15)/(-3) + -4)*4. Suppose s*h + 5*f + 3 = 0, 2*h = h - f. Is 2/h - (-572)/6 a multiple of 29?
False
Suppose 2*t = j - 7, -2*t - 3 = -4*j + t. Let l(o) = 6*o + 2. Let m be l(j). Is m/(-120) - (-1213)/15 a multiple of 9?
True
Let s = 717 - 442. Is s a multiple of 11?
True
Suppose 28 - 5 = -3*i + 4*d, -28 = 3*i - 5*d. Let y = i - -14. Is 14 a factor of 1/(0 - -1) + y?
True
Suppose -4*o = -4 - 0. Let q be (0*o/(-3))/2. Suppose q = 4*s + 44 - 164. Does 10 divide s?
True
Suppose 16035 = 146*i - 131*i. Does 41 divide i?
False
Is 1082/18 - 6/(-108)*-2 a multiple of 15?
True
Let y(k) = 