**2 + z - 13. Let q be o(j). Let h = 20 + q. Does 7 divide h?
True
Suppose r + 3 - 5 = 0. Suppose 0 = -5*m + r*m + 126. Suppose j + g - 12 = -3, 0 = 5*j + 4*g - m. Is j a multiple of 3?
True
Suppose -5*c - 3*f + 29 = 0, -2*f + 31 = 4*c + 3*f. Let g = c - -1. Let r = 11 - g. Is 2 a factor of r?
True
Let k = 201 - 44. Suppose -3 = 3*r, 2*r - k = -2*t - 45. Is t a multiple of 19?
True
Let k(s) = -3 - 1 + 7*s**2 + s + s**3 + 3*s. Does 12 divide k(-4)?
False
Suppose 0*v - 2*v = -44. Let p = 57 - v. Suppose 3*c - p = 1. Is c a multiple of 12?
True
Let c be (-2)/(-4) + 1/2. Let k = -8 + 13. Is k + 1 + (-1 - c) a multiple of 4?
True
Let q(z) be the third derivative of z**4/24 + 2*z**3 - 4*z**2. Does 5 divide q(0)?
False
Suppose u = 3*y - 122, 155 = 4*y - 4*u - 21. Does 7 divide y?
False
Let f(x) = -x**3 - 7*x**2 + 4. Let v be f(-7). Let h(c) = 2*c**2 + 5*c - v - 3*c - 3*c. Does 5 divide h(3)?
False
Let r(v) = -v - 3. Let b(k) = -3*k - 8. Let t(w) = 6*b(w) - 17*r(w). Let y be t(-7). Let g = 5 + y. Is 15 a factor of g?
True
Suppose 88 = c - 38. Suppose 5*g + m = c, 6 = -5*m - 14. Is g a multiple of 13?
True
Let y(q) = 2*q + 8. Let f be y(-6). Let c be 155/f - (-6)/8. Let t = c - -74. Does 18 divide t?
True
Let z(j) = j + 1. Let x be z(-3). Let q be 4/((-2)/(-1)) + x. Suppose -4*c - k = 21 - 77, 2*k = q. Does 9 divide c?
False
Suppose -3*h + 28 = 4*c, 3*h - 24 = -5*c + 2*h. Suppose v + 4*v + c*i = 220, 0 = 3*v - 2*i - 132. Does 23 divide (v/6)/((-10)/(-45))?
False
Let f(r) = -r**3 - 8*r**2 + 8*r + 12. Let b be (3 - 1)*18/(-4). Is 6 a factor of f(b)?
False
Suppose 9*v - 704 = 646. Does 25 divide v?
True
Let g be 6/2 + (4 - 4). Let x(i) = -1 - 2*i + g*i - 3*i. Does 9 divide x(-5)?
True
Let q = 8 + 28. Is q a multiple of 9?
True
Let m = 49 + -23. Is m a multiple of 13?
True
Suppose -w + 2*w - 2 = 0. Let t be 41 - (w + -1 + -3). Suppose 0 = -4*h + t - 3. Does 10 divide h?
True
Let g(o) = o**3 - 9*o**2 - 7*o + 8. Does 10 divide g(10)?
False
Suppose -5*a + 15 = 0, 12 = 2*b + 2*a - 44. Is b a multiple of 4?
False
Does 6 divide ((-115)/(-35) - 5)/(2/(-77))?
True
Suppose -v - 21 = -5*o + 299, -o + 2*v + 64 = 0. Is 4 a factor of o?
True
Suppose -42 = -5*d + 43. Is d a multiple of 3?
False
Let m = 73 - 31. Suppose -m = -s + 4*q, -s + 2*q = 6*q - 2. Does 13 divide s?
False
Let f be 1 + 2/((-4)/(-6)). Let u = f + 2. Does 2 divide u?
True
Let a(v) = v. Let o be a(3). Suppose -o*u + 90 = -u. Is u a multiple of 15?
True
Let p be (-615)/(-10) - 3/6. Suppose -2*a + p = j, j - 4*j + 203 = -4*a. Does 19 divide j?
False
Suppose 1 - 13 = -4*t. Is 3 a factor of t?
True
Suppose -4*q + 2*g = -12, -g = 4*q + g - 28. Let o(t) = t + 1. Let r be o(1). Suppose -i + 30 = -3*w, r*w - q*w + 18 = i. Is i a multiple of 8?
True
Let g(x) = 10*x**2 - 2*x + 3 - x**2 + 2*x - 4*x - x**3. Is g(8) a multiple of 7?
True
Suppose 83 = 2*r - 5*f, 3*f + 47 = 5*r - 132. Let w(l) = -l**3 - 2*l**2 - l + 1. Let j be w(-2). Suppose r = 2*h + z - 3*z, j*z - 109 = -5*h. Does 10 divide h?
True
Is 27 - (5/(-20) + 33/(-12)) a multiple of 15?
True
Let x = -10 + 22. Suppose -4*g = h - 18, -4*g + 2*g - 2*h = -x. Suppose 4*u = 2*p - 54, -g*u - 48 = -2*p - 2*u. Does 7 divide p?
True
Let j(x) = 15*x - 2. Let v be j(2). Let s = 39 - v. Is s a multiple of 11?
True
Let x(l) = 2*l**3 + 5*l**2 - 5*l - 1. Let c(t) = 3*t**3 + 4*t**2 - 6*t - 2. Let i(h) = 3*c(h) - 4*x(h). Let n be 4/22 - (-516)/66. Is i(n) a multiple of 7?
True
Let x(v) = v**3 - 7*v**2 - 3*v + 14. Is x(8) a multiple of 33?
False
Let x(p) be the second derivative of -p**5/20 + 2*p**4/3 - 7*p**3/6 + 2*p**2 - p. Suppose -42 = -5*o - 7. Is x(o) a multiple of 2?
True
Let g = -49 + 70. Is g a multiple of 3?
True
Suppose -5*z + 20 = 2*v, -5*v + 2*z + 2*z = 16. Suppose -2*a + 12 = 2*f, 6*f - f + 2*a - 24 = v. Is 3 a factor of f?
False
Suppose 3*g = x - 46 - 14, 3*x - g = 180. Is x a multiple of 3?
True
Suppose s - 4*x + 1 = 5, 3*s = -5*x + 12. Let l = s - 4. Suppose l = -r - 2*r + 12. Is r a multiple of 2?
True
Suppose 3*k - 50 = 2*k - 4*w, -5*k + 5*w + 300 = 0. Suppose 3*p = -n - 105, 2*p + n = -11 - k. Let h = p - -52. Is 12 a factor of h?
False
Let h = 32 - 16. Is 13 a factor of h?
False
Suppose -3*a + 84 = -a. Suppose -5*k = -68 - a. Is k a multiple of 22?
True
Let m(t) = t**2 + 5*t - 3. Let q be m(-6). Suppose 7*h - q*h = 0. Is 10 a factor of (h - 1)*(-21 - -5)?
False
Suppose -4*y = -r - 3, -3*y + 0*y - 2*r + 16 = 0. Is (y + -56)/((-3)/3) a multiple of 18?
True
Let s be 0 - ((-165)/3 + 2). Let r = -38 + s. Is 3 a factor of r?
True
Let z = 5 + -4. Let u be (-5 + 6)*(-1 + z). Suppose u*a + 20 = 2*a. Is a a multiple of 5?
True
Let c(v) be the first derivative of 3 + 4/3*v**3 + 1/4*v**4 + 0*v**2 + 3*v. Does 3 divide c(-4)?
True
Let y(l) = -l + 1. Suppose -z = -2*z + 3, 0 = 5*k + 5*z. Let q be y(k). Is (-2)/(2 + (-10)/q) a multiple of 4?
True
Let i be 8/6*(-3)/(-2). Suppose -j - j + 72 = -4*g, -i*g - 132 = -4*j. Does 12 divide j?
False
Let j = 11 + -11. Let r = j - -17. Is 15 a factor of r?
False
Suppose 16 = 4*r - 0, -140 = -4*j + r. Does 12 divide j?
True
Let t(z) = -2*z + 7. Is 2 a factor of t(0)?
False
Let v(c) = 7*c**3. Let g(b) = -b**3 + 4*b**2 + 5*b + 1. Let p be g(5). Does 2 divide v(p)?
False
Suppose o - 44 = -3*v, -4*o + 5*v = -325 + 64. Let g = o - -13. Is g a multiple of 23?
False
Let v(q) = q**3 + 15*q**2 + 13*q + 14. Let k be v(-14). Suppose 68 = 3*x - 2*j, -2*j = -2*x + k + 16. Does 8 divide x?
True
Let q = 44 - 18. Is 13 a factor of q?
True
Let c(u) = 3*u - 3. Let o = 7 - 3. Does 7 divide c(o)?
False
Let n = -6 - -10. Suppose -4*s + 16 = g, -12 = -8*s + n*s. Suppose -g*o + 3*o = -16. Is 8 a factor of o?
True
Let l(f) = 3*f + 9. Is 24 a factor of l(5)?
True
Is (-1728)/(-45) + (-2)/5 a multiple of 26?
False
Suppose -z = 4*j + 14, -z - j - 8 = -0*z. Let r = z + 16. Does 10 divide r?
True
Let n be 5/(15/6) - 3. Let u = n + 12. Is u a multiple of 6?
False
Suppose 3*s = 4*i + 16, s = 5*i - 3*i + 6. Suppose -s*y - 152 = -2*g - g, -5*g = 3*y - 234. Does 12 divide g?
True
Suppose -q = -6*q. Let l be q - 4*-1*1. Suppose 5*m - 18 = -4*r + 26, 3*m - l*r - 20 = 0. Is 7 a factor of m?
False
Let g = 2 + -8. Let m(q) be the first derivative of -q**3/3 - 4*q**2 - 6*q - 2. Is m(g) a multiple of 2?
True
Let o(k) be the third derivative of k**6/120 + 7*k**5/60 + k**4/4 + 2*k**3/3 + 2*k**2. Is o(-4) a multiple of 14?
True
Let r = 15 - 11. Let y be (2/r)/(3/30). Let h = 10 - y. Is h a multiple of 5?
True
Let r = -33 + 56. Let h = -17 + r. Is 2 a factor of h?
True
Suppose 0 = 5*z + 3 + 12, -q = z + 1. Let o be (-292)/q*(-3)/6. Suppose d = -4*f + o, -d + 89 = 5*f + d. Is 6 a factor of f?
False
Let l(t) = -16*t - 11. Let z(y) = 8*y + 5. Let q(f) = -2*l(f) - 5*z(f). Let s be q(4). Is 12 a factor of (-430)/s + (-4)/14?
True
Let v(g) = 21*g**2 - 2*g - 1. Let q be (-14)/(-1) + 2 + 0. Suppose 0 = y + w + 4*w + q, 3*y + 18 = -5*w. Is 11 a factor of v(y)?
True
Let o be (-4)/2 - -4*1. Suppose o*m - 430 = -0*m + 4*i, -3*m + i + 670 = 0. Suppose -77 = -2*n + k, 5*n = 4*k + m - 28. Does 14 divide n?
False
Suppose -7 = -3*p + 8. Suppose 72 = p*i - v, -4*i + v + 2*v = -62. Let t = i - 0. Does 9 divide t?
False
Suppose -6*f = -f - 20. Let z(g) = 3*g + 4. Does 8 divide z(f)?
True
Let x(d) = d**3 + 7*d**2 + 5*d + 1. Let y be x(-6). Let z = y + -5. Does 2 divide z?
True
Suppose 153 = 4*q + 37. Is q a multiple of 10?
False
Let y(v) be the first derivative of -v**2/2 + 12*v - 3. Let x = -1 + 1. Is 12 a factor of y(x)?
True
Let j = -7 + 18. Suppose 0 = -2*r + j + 11. Is 5 a factor of r?
False
Let q = -14 + 7. Let o = -27 + 0. Let z = q - o. Is 14 a factor of z?
False
Let k = -4 + 10. Let o = -8 + k. Is (-138)/(-12) - (-1)/o a multiple of 11?
True
Is (-2 - (-28)/1)*(-12 - -14) a multiple of 8?
False
Suppose -32 = -2*a - 0*a. Let f = 28 - a. Is f a multiple of 5?
False
Let x(w) = -w**3 + 5*w**2. Let y be x(5). Suppose y = 4*o - 148 + 36. Is 14 a factor of o?
True
Let p be 39/4 - 2/(-8). Suppose -4*v - 2 = -p, 5*d - 5*v = -20. Let n = 10 + d. Is n a multiple of 8?
True
Suppose -3*f - 41 = -4*x, 0 = -2*f - 4*x + x - 16. Let k = f - -7. Does 13 divide (39/(-12))/(1/k)?
True
Let b(x) be the third derivative of -x**6/120 + x**5/4 - 7*x**4/12 + 5*x**3/3 - 5*x**2. Is 5 a factor of b(14)?
True
Let z