a factor of q?
False
Let f be 3/(-4) + 30/40. Let k be (0 + 1)*12/4. Suppose f*q = -k*q + 138. Is q a multiple of 15?
False
Suppose -5*a + 5*x = -2315, -4*x + 5*x = 3*a - 1393. Is 15 a factor of a?
True
Suppose 3*p - 8 = -3*m - 2, 8 = 4*m - 3*p. Let f(c) = 60*c - 4. Does 29 divide f(m)?
True
Let g be (-156)/(-11) + 8/(-44). Suppose 3*k = 2*k + 3. Suppose -4 = -k*z + g. Is 6 a factor of z?
True
Suppose -5*q = -10 - 5, 0 = -2*d - 3*q + 679. Suppose -4*o + 2*j = -614, -4*o - 3*j + d = -284. Is 14 a factor of o?
True
Let g(c) = -c**3 + 0 - 2 + c**2 + c**2 + 5 + 3*c. Let i be g(3). Suppose 0 = 2*h + 4*z - 60, i*h + z - 95 = -0*h. Is 18 a factor of h?
False
Let q(m) = -m**2 - 4. Let r(g) = -2*g**2 - 4. Let k(h) = 3*q(h) - 2*r(h). Let x be k(-4). Suppose -7*v - 35 = -x*v. Is v a multiple of 5?
False
Let r(q) = 35*q + 146. Does 17 divide r(7)?
True
Suppose 3*i + 9 = 2*c + 3*c, 0 = -4*i + c + 5. Suppose 0*h = -3*u + i*h + 53, 0 = 4*u - 4*h - 76. Suppose 2*q = u + 89. Does 13 divide q?
True
Does 11 divide 75603/55 + -1 + 14/10?
True
Let r(h) = -25*h**2 + 8*h - 5. Let d(z) = z - 1. Let k(x) = 6*d(x) - r(x). Let g be (3 + 0)/(-9)*3. Does 12 divide k(g)?
False
Let r be 43/((-6 + 3)/(-3)). Let m(p) = p + 4. Let v be m(-2). Suppose r = v*c - c. Is 10 a factor of c?
False
Let n = -240 + 273. Is n a multiple of 11?
True
Let c be ((-4)/(-6))/(4/18). Let l be 11/c + 12/(-18). Suppose -3*b + 28 = -l*i + 85, 4*b = -2*i + 32. Does 6 divide i?
True
Suppose c - 440 = 5*w, 12*c + w + 1703 = 16*c. Is 17 a factor of c?
True
Suppose -y + 6*y = 0. Suppose 5*f - 89 = -0*z - 2*z, y = 2*z - 4*f - 80. Is 17 a factor of z?
False
Is 10 a factor of (27/(-4))/(3/(-40))?
True
Let w = 13 - -4. Let y = w - 16. Suppose -5*q = -3*i + 45, -5*q = -4*i + y + 59. Is i even?
False
Suppose 2*s - 22 - 20 = 0. Suppose 3*q = 5*v + 3 - 9, -5*q = v + 10. Let b = s + q. Does 7 divide b?
False
Suppose 0*v + 126 = 3*v. Let t be (v/49)/((-6)/(-28)). Suppose 0 = b - 2*b + t, 3*b + 132 = 4*x. Is x a multiple of 14?
False
Suppose 343 = -11*h + 13. Let m = h + 193. Is m a multiple of 28?
False
Let h = 3422 - 2436. Is h a multiple of 17?
True
Let s(i) = i**2 + 31*i - 2. Let n be s(-25). Let x = 261 + n. Is 12 a factor of x?
False
Let n(f) = f**3 - 2*f**2 + 8*f + 39. Is n(6) a multiple of 7?
True
Let u = -37 + 37. Is 8 a factor of (u + -2 + -49)*100/(-25)?
False
Suppose -4*n + 12 = 5*f, 3*n = -f + 9 - 0. Suppose -2*w = -n*w + 56. Suppose 3*h - w = 40. Is h a multiple of 8?
True
Let x(c) = -c + 7. Let u be x(6). Is 3 a factor of (-2 - u - 0)/(-1)?
True
Suppose m = j - 468, -4*m - 944 = -2*j - 6*m. Let w = j - 320. Is w a multiple of 30?
True
Let l be ((-42)/27)/(-7) + 356/18. Does 4 divide (36/5)/3*l/6?
True
Suppose l + 3*l - 20 = 0. Suppose 5*i = l*x - 670, -3*x + 2*x + 5*i + 138 = 0. Is 34 a factor of x?
False
Let d = 15 + -6. Suppose 5*c + 40 = d*c. Does 5 divide (-116)/(-14) - c/35?
False
Suppose -s = 4*z, -3*z = s - 4*s. Suppose z = b + 12 + 12. Is 18 a factor of b*(9/4 + -3)?
True
Suppose -2*b = -6*b + 20. Let g be (54/8)/(27/72). Let x = g - b. Is x a multiple of 6?
False
Suppose -21*y = -23*y + 96. Is y a multiple of 37?
False
Suppose 63 = 3*l - 69. Suppose 3*j - 54 = -3*m, -5*j - l + 154 = m. Is j a multiple of 4?
False
Suppose -4*v + 2*q = -9*v + 27, q = -v + 6. Suppose -v*h = 2*r - 424, 59 = 5*h - 4*r - 383. Is h a multiple of 19?
False
Let p(u) = u**3 + 38*u**2 - 2*u + 179. Is p(-38) a multiple of 67?
False
Let p(l) = -2*l**3 - l**2 - 3*l - 5. Suppose -5*v = -2*v. Let d(w) = w - 2. Let m be d(v). Does 8 divide p(m)?
False
Suppose 8*u - 6*u + 4*k = 494, -5*u = -4*k - 1165. Is u a multiple of 30?
False
Let z be (40/(-14))/((-16)/56). Let r = z - 10. Suppose -4*k + 2*q = -380, r*k - 2*q - 92 = -k. Is 16 a factor of k?
True
Let l(k) = -k**3 + 8*k**2 - 7*k + 1. Let d be l(7). Let t be (2 - 0) + d - -179. Suppose -48 = -5*n + t. Does 23 divide n?
True
Let t(z) = -z**3 - 11*z**2 - 3*z - 5. Let j = -60 + 38. Let q = j - -11. Is t(q) a multiple of 5?
False
Let f = 15 - 15. Suppose 0 = v - 4*b - 36, f = 2*v + 3*v + 2*b - 70. Does 5 divide v?
False
Let h(m) be the second derivative of m**5/20 + 7*m**4/12 - 3*m**3/2 + 7*m**2/2 - 10*m. Does 17 divide h(-5)?
True
Suppose r = -5*f + 21, 0*r + r = -f + 17. Suppose -r + 52 = x. Suppose -k + x = -34. Is k a multiple of 10?
True
Let n be (26*1)/((-1)/(-1)). Let v(m) = m + 7. Let f be v(-19). Let i = n + f. Is 7 a factor of i?
True
Suppose 55 = 5*b - 70. Suppose 22*j + 9 = b*j. Suppose 0 = j*y - 51 + 12. Does 7 divide y?
False
Suppose -580 = -2*k + 4*f + 434, -3*k = -4*f - 1513. Suppose 5*l - 1239 = -4*p, 0 = l - 3*l - 5*p + k. Is l a multiple of 18?
False
Let x = -16 - -20. Let u(b) = 7*b + 1. Is u(x) a multiple of 29?
True
Let a be ((-6)/1)/(2 + -4). Suppose -a*w = -5*g - 16, -3*w + 2*w + g + 2 = 0. Does 8 divide (4 - 0) + w - -18?
False
Let x(o) = 92*o**3 - 21*o**2 + 2*o + 1. Is 9 a factor of x(2)?
True
Let t = 27 - 48. Let g = t + 74. Is 13 a factor of g?
False
Let g = -11 + 14. Let n(d) = -3 + 136*d - 134*d + 4 + 3*d**2. Is n(g) a multiple of 17?
True
Let o(j) = j**2 - j - 1. Let b(w) = -5*w**2 + 18*w - 7. Let i(s) = b(s) + 4*o(s). Is i(10) a multiple of 22?
False
Let a(t) = -2*t**2 + 3*t**2 + 18 + 16 - 8. Suppose 0 = -3*q + 5*q. Does 13 divide a(q)?
True
Let a = -18 - -18. Let v(i) = -2*i + a*i**2 + 6*i**2 + 4*i**3 + 2*i**2 - 5*i**2 + 2. Is v(2) a multiple of 14?
True
Suppose 0 = m + 3*m - 20. Let p = -288 - -293. Suppose 0*g - m*g + a = -171, -2*a + 183 = p*g. Is 6 a factor of g?
False
Let k(d) = 10*d - 3. Let b be k(1). Suppose b*h - 456 = 524. Does 28 divide h?
True
Suppose -14*j + 1137 = 17. Suppose 77*t - j*t = -528. Does 16 divide t?
True
Suppose 0 = 6*y - 4981 - 4655. Is y a multiple of 11?
True
Let w be 54/21 + (-6)/(-14). Let p(t) = 5*t + 9. Does 8 divide p(w)?
True
Let z = 13 + -13. Suppose z = -3*w + 5*j + 25, 5*w - 18 = 5*j + 17. Let k(s) = s - 1. Is k(w) a multiple of 4?
True
Let d(j) be the third derivative of -j**6/120 + 13*j**5/60 - j**4/8 + 10*j**3/3 - 11*j**2. Is d(12) a multiple of 16?
True
Let n(h) = -h**3 + 3*h**2 + 9*h + 3. Let c be n(5). Is 7 a factor of 522/(-5)*-1 + c/5?
False
Let g be -1 - (-1)/((-1)/(-4)). Suppose 0 = -q - 2*b + 35, 32*b + 130 = 4*q + 30*b. Suppose -5*i + q = g. Is i a multiple of 6?
True
Is 0 - -297 - -3*7/(-7) a multiple of 9?
False
Let l be (16/10)/(8/20). Let p = -25 + 100. Suppose -3*u - 3*b + p = 0, -3*b = b - l. Does 21 divide u?
False
Let l(n) = -2*n + 2. Let b(q) = 5*q - 5. Let v(h) = 3*b(h) + 8*l(h). Let o be v(1). Suppose 2*g + o*g - 58 = 0. Does 15 divide g?
False
Suppose 8 = -s + 5. Let d(k) = -2*k**3 - k - 2. Does 7 divide d(s)?
False
Let s = 29 + -17. Suppose 4*p + 4*d = -s, 3*p - 3*d = -0*p - 3. Let c = p - -13. Is c a multiple of 11?
True
Suppose -5*x + 163 + 312 = 0. Let f = x + -32. Let l = 25 + f. Is l a multiple of 14?
False
Let g(f) = 18*f - 6. Let v be g(5). Let y be (-2 - 4)/2 + v. Suppose 0 = -5*t + y + 19. Is t a multiple of 8?
False
Let f = 1 - -4. Suppose 2*k + 0*i + 5 = i, -f*k - 5 = 5*i. Is 15 a factor of 1170/(-27)*3/k?
False
Let b(a) = -a**3 + 7*a**2 - 16*a + 10. Let t be b(6). Does 4 divide t/(-4) - (7 - (-26)/(-4))?
True
Suppose -z + 1 = -b, -2*z + 8 = -0*b + b. Let y(x) = -x - 1. Let j be y(z). Does 7 divide 4/6*(17 - j)?
True
Let z(n) = -16 + 40 - 20 - 7*n. Is 7 a factor of z(-5)?
False
Let d(b) = b**3 - 13*b**2 + 3*b - 14. Let p = -1 + -6. Let u be 13/(-3 - (3 + p)). Does 25 divide d(u)?
True
Let j(v) = v - 10. Let i be j(9). Let c be ((-44)/i)/((-2)/(-8)). Suppose 19*g - 15*g = c. Is g a multiple of 32?
False
Let w = 162 - 110. Is w even?
True
Let m(n) = n**3 + 11*n**2 + 10*n + 3. Let w(k) = 2*k**3 + 23*k**2 + 20*k + 6. Let g(u) = 7*m(u) - 3*w(u). Let h be g(-7). Does 3 divide (-4)/h - (-79)/9?
True
Let h(j) be the second derivative of j**4/6 + j**3/2 - 2*j**2 + 2*j. Let i be h(-3). Suppose -3*m + y + 186 + 14 = 0, -5*m - i*y = -360. Is 19 a factor of m?
False
Let i = -1728 - -3018. Does 15 divide i?
True
Does 8 divide (20*138/(-9))/(3/(-9))?
True
Let s be (-11 + 15)*(-3)/4 + 1067. Suppose -c + s = 6*c. Is c a multiple of 38?
True
Suppose 0*t + 2*r = -3*t - 3, -3*r = 4*t + 3. Is 52 a factor of (-2)/(t + (-385)/(-130))?
True
Suppose 5*a = -2*w + 5318 - 1380, 5*a - w = 3926.