824, 0 = 2*p - 3*x - 1623. Is p a multiple of 5?
False
Suppose 0 = -t + 9 - 0. Suppose s - t = 3*p, 2*s + 2*p = 57 + 1. Suppose 3*d = d + s. Is d a multiple of 4?
True
Is 80/25 - 7/(175/(-20)) even?
True
Suppose -4*y + 42*v + 4464 = 43*v, -2230 = -2*y - v. Is y a multiple of 38?
False
Let g = -4 - -365. Is g a multiple of 42?
False
Let a be (-10 + 5)*76/10. Is 16 a factor of 1463/a*(1 - 3)?
False
Let x = 8 - 6. Suppose x*f - 82 = 4. Suppose 0 = -r + 5*y + 29, 4*r = 2*r + 5*y + f. Is 7 a factor of r?
True
Let a(b) = b + 11. Suppose 0*p = -3*p. Suppose -3*n - n - 28 = p. Is a(n) a multiple of 2?
True
Is 9 a factor of 20/(-10) - (3 + -1188)?
False
Let i(h) be the third derivative of -h**7/840 - h**6/60 + h**4/6 - 13*h**3/6 - 10*h**2. Let q(z) be the first derivative of i(z). Is q(-6) a multiple of 2?
True
Does 4 divide ((-14)/(-35))/(1/130)?
True
Suppose 4*h + 1264 - 5616 = 0. Is h a multiple of 68?
True
Suppose -59334 + 15234 = -28*g. Does 25 divide g?
True
Let g(h) = 2*h**3 - 1. Suppose -3*k - 5*f - 9 - 1 = 0, -4*f = k + 15. Let x be (6/(-4))/(k/(-10)). Is g(x) a multiple of 13?
False
Let b(z) be the second derivative of z**3/6 - 7*z**2/2 + 5*z. Let r be b(8). Is (-2150)/(-30) - r/(-3) a multiple of 12?
True
Is (-2)/(-10) - ((-17268)/20)/3 a multiple of 32?
True
Suppose 0 = 4*x - u - 99, u = 5*x - 0*u - 123. Suppose 0 = -c + 102 - x. Suppose -c = s - 4*s. Does 10 divide s?
False
Let s be 2/3*27/(-6). Let f(n) = n - 4. Let d be f(s). Let u(q) = q**2 - 2*q - 2. Is 16 a factor of u(d)?
False
Let t(q) = q**2 - 11*q + 12. Let j be t(12). Suppose 5*k - 34 = -2*h, 5*k - h = 4 + j. Is 4 a factor of k - (-3 + (3 - 2))?
True
Suppose -1 = 2*n - 3. Is (n + (-4)/3)*-618 a multiple of 43?
False
Let c = -397 + 499. Is 4 a factor of c?
False
Let y(r) = -6*r**3 + 4*r**2 + 13*r + 5. Suppose -23 = 5*f - 3. Let p(n) = 5*n**3 - 5*n**2 - 12*n - 4. Let s(d) = f*y(d) - 5*p(d). Is s(9) a multiple of 24?
True
Let h(t) = 6*t + 19. Let o be h(-3). Let a(p) = -p**2 - 8*p - 7. Let q be a(-7). Does 9 divide 27*o - (3 - q)?
False
Suppose 8*h + 704 - 1720 = 0. Let o = -92 + 22. Let m = o + h. Is 6 a factor of m?
False
Suppose 2*y + 2*k = -k + 9, 6 = -y - 5*k. Suppose -22 = y*p - 10*p. Is p a multiple of 11?
True
Let d(j) = -4*j - 11. Let a be d(-5). Is 4 a factor of (a - 1)/((-3)/(-6))?
True
Let a(j) = 3*j - 3*j + 7 - j + 11*j**2 - j. Let u be a(-5). Does 9 divide (-12)/54 + u/18?
False
Suppose 0 = -3*o - 34*f + 35*f + 1050, -f - 350 = -o. Does 10 divide o?
True
Let g = -2316 - -3312. Is g a multiple of 12?
True
Is 14 a factor of 658/235*(1116 + -1)?
True
Let h = -7 - -8. Suppose -s = 3*a + h, 0*s = -s - a + 5. Is 7 a factor of s?
False
Let s be -2*((-76)/8 + -2). Suppose v + s = 112. Does 37 divide v?
False
Let p(c) = c**3 + 2*c**2 - 23*c - 8. Is p(10) a multiple of 81?
False
Suppose -5*o + 4*g + 1023 = 0, 2*o - 5*g - 484 = -68. Does 7 divide o?
True
Let k be 2/((-2)/(-3)) - -11. Let s(d) = -d**2 + 16*d - 7. Is 7 a factor of s(k)?
True
Let q(w) = w**2 + 2*w + 2. Suppose 4*u - 51 = 13. Let k be q(u). Let l = k - 192. Is 34 a factor of l?
False
Let b = -3 - -8. Suppose -3*x + g = -g - 21, -b*g = 3*x. Suppose -x*y + 6*y = 16. Does 6 divide y?
False
Let g = -1269 + 1863. Does 11 divide g?
True
Let u = -224 + 490. Does 19 divide u?
True
Suppose -40 = -4*j + 4*o, j - 2*o = 3*o + 30. Suppose 0 = -f - 4*b + 12, f - b + j = -3. Let v(z) = -z**3 - 2*z**2 - 2*z - 2. Is 18 a factor of v(f)?
False
Suppose 3*l + 32 = 4*x - l, 0 = 3*l + 3. Suppose -x = -3*q + 17. Is 2 a factor of q?
True
Let i = 21 + -8. Let m be 6*-1 + (-3)/(-3). Let u = i - m. Is 4 a factor of u?
False
Let x(k) = -k**3 + 13*k**2 + k - 9. Let y be x(13). Suppose 4*o + 22 = -3*p, -y*o = p - 5*p + 8. Does 24 divide 4*(p + 27/2)?
False
Let p(w) = -w**2 - 2*w + 166. Is 17 a factor of p(0)?
False
Let n(d) = -d**3 + 9*d**2 + d + 21. Is n(-5) a multiple of 10?
False
Let t be (2/4)/(15/(-420)). Let h = 32 + t. Suppose 0 = -3*c + 5*o + h, 5*c + 3*o + o - 30 = 0. Is c a multiple of 2?
True
Let k be -16 + (0 - 2) + 4. Let q = 32 + k. Is 9 a factor of q?
True
Is 6/20 - 224910/(-300) a multiple of 3?
True
Let i(r) = 5*r**2 + 3*r - 3. Let a(v) = 2*v**2 + v - 1. Let j(p) = 8*a(p) - 3*i(p). Let d be j(0). Let k = 30 + d. Is k a multiple of 13?
False
Let v(u) = u**2 + 3*u - 2. Let x be v(-4). Suppose 2*l + y = x*y - 3, 2 = -3*l + y. Is 10 a factor of 38 + l + 1 + -4?
False
Suppose -154 = -3*z + z - 3*v, z + 5*v - 77 = 0. Suppose y - 12 = 4*w, 5*y - w - 2*w = z. Does 9 divide y?
False
Suppose v + 13 = -2*x - 0*x, 0 = 5*v + 3*x + 30. Let j be 0*(v + 4) - 1. Let n(c) = -41*c - 2. Is n(j) a multiple of 13?
True
Let w(r) = -65*r + 5. Is w(-2) a multiple of 7?
False
Let q = 13 + -36. Let o = q + 103. Is 20 a factor of o?
True
Does 23 divide -78*15*(-7)/42?
False
Suppose 3*d - 51 = d + 3*j, 0 = -2*d + j + 45. Let l be (-1)/((d/(-9))/7). Suppose 2*o + 0*x - 78 = -4*x, -l*x = 0. Is 11 a factor of o?
False
Suppose 0 = 2*h - 21 - 11. Let q be 38 + 12/h*4. Suppose 4*d = -4*n + d + 43, -d + q = 4*n. Is n a multiple of 10?
True
Suppose 13*f - 9*f = 12. Suppose -263 + 767 = f*w. Is w a multiple of 45?
False
Let r(b) = 4*b**2 + 9*b - 13. Let u be r(6). Let o = u - 68. Is o a multiple of 13?
True
Let a(w) = w**2 - 12*w. Let s be a(12). Let f be 5*((-28)/(-30))/((-4)/(-12)). Suppose r + r - f = s. Does 7 divide r?
True
Suppose -2*y + b - 61 = -0*b, -81 = 3*y - 5*b. Let d = 37 + y. Is 5 a factor of d?
True
Let u(w) = -5*w**3 - w**2 + 2*w - 1. Let d be u(1). Let y be -9*(d/3 - -1). Is ((-52)/y)/((-3)/9) a multiple of 16?
False
Suppose -21*m - 8*m + 64148 = 0. Does 79 divide m?
True
Suppose -4*l + 3*l + 46 = 0. Let i = 79 - l. Is i a multiple of 11?
True
Let y = 48 + -48. Suppose y = -5*x - 4*p + 228, -5*x = -0*x - 3*p - 214. Is x a multiple of 8?
False
Let q(h) = h**2 + 10*h - 37. Let u be 6/8 + ((-252)/(-16))/(-1). Does 13 divide q(u)?
False
Let o(c) = -11*c - 6. Let i(f) = -6*f**3 + 2*f**2 - f. Let m be i(1). Let p be o(m). Suppose p = 2*u + 4*y - 1, -4*u + 2*y + 120 = 0. Is 15 a factor of u?
False
Let i = 16 - 13. Let n = 3 - i. Is -17*((3 - n) + -4) a multiple of 6?
False
Suppose -4*m + 14496 = 20*m. Does 4 divide m?
True
Let a(z) = -z**3 + 7*z**2 + 4*z - 13. Let n be ((-44)/(-33))/(4/18). Is a(n) a multiple of 10?
False
Let x(r) = -r**3 + 6*r**2 - 2*r - 3. Let v be x(4). Is 26 a factor of (70/v)/((-1)/(-42))?
False
Let i(m) = 2*m**2 - 2*m + 12. Let r be i(9). Suppose b + 3*v = -b + 104, 3*b - 2*v = r. Does 26 divide b?
True
Let r(p) = -2*p + 7. Let z be r(-6). Suppose z*w - 16*w - 186 = 0. Is w a multiple of 6?
False
Let x = -13 + 12. Let h be (31*x/1)/(-1). Suppose a + 4*a - 4*m - h = 0, -5*m + 40 = 5*a. Does 4 divide a?
False
Let i be -8*4/(-8) + 2. Let h = i + -5. Suppose -h = 3*l - 331. Is l a multiple of 30?
False
Suppose 5*a + 13 = 28. Suppose 3*q - 12 + a = 0. Is 14 a factor of (6 - q) + -1 + 20?
False
Let r = -622 + 1288. Is r a multiple of 6?
True
Suppose 2*a = -3*a + 3560. Suppose 3*b - a = -5*b. Is b a multiple of 16?
False
Let s = -913 - -1540. Is s a multiple of 11?
True
Suppose -159*v = -173*v + 50904. Does 13 divide v?
False
Suppose 5*f = -d + 23, -4*f + 22 = -d + 3*d. Suppose 1 = v - d. Let j = 10 - v. Is j a multiple of 3?
True
Let a = 1033 + -374. Is 12 a factor of a?
False
Let l(v) = -16*v - 36. Let y be l(-10). Let o = y - 60. Is o a multiple of 29?
False
Is 34 a factor of 142*66/12 + 6?
False
Let m be (-1)/(0 + 2/(-32)). Let r(s) = -2*s + 20. Let o be r(-10). Let g = o - m. Does 6 divide g?
True
Let l(g) = 138 - 136 - 3*g**2 + g**3 - 4*g + g**2. Is l(4) a multiple of 18?
True
Let i be (-207)/(-27) - 4/6. Let f be (i + -31)/(3/28). Does 14 divide f/(-12)*6/4?
True
Suppose 5*w + 240 = x + 3*x, -4*w = 0. Suppose 0 = r + t - 32, 0 = 2*r - 0*t - 2*t - x. Suppose -v - 29 = -4*l, -5*l + r + 14 = -3*v. Is l a multiple of 6?
True
Let w(h) = -50*h + 30. Let x be w(-10). Suppose -3*n + 284 = 2*p - 7*p, 5*n - x = -3*p. Is 36 a factor of n?
False
Let t(o) = o**2 - o - 9. Let i be t(5). Suppose -4*n = -2*k + 4 + 6, -3*k + 4*n = -i. Let f = k - -15. Is 4 a factor of f?
True
Let v be (0 - 1)/(1 + 0). Does 29 divide v/2 + 234/4?
True
Let s(z) = z. Let l be s(0). Suppose 6*f - 2*f = -v + 10, l = 4*v - f - 108. Is v a multiple of 8?
False
Suppose 