uppose -6400 = -14*h + 236. Is 31 a factor of h?
False
Suppose -4*r + 48 = l, 2*r + 0*r = 3*l + 38. Suppose -559 = -r*m - 169. Is m a multiple of 3?
True
Let z(p) be the first derivative of p**4/4 - 3*p**3 + 8*p**2 - 9*p - 17. Is 13 a factor of z(9)?
False
Let s = 4 + -79. Let a be (-2 + s/10)*-4. Let v = a + -31. Does 4 divide v?
False
Suppose 0 = 4*r - 6*r + 44. Suppose -4*y - 16 = -3*y + 3*f, -3*y + 4*f = r. Is y*5/((-25)/4) even?
True
Let z(l) = -l**3 - 8*l**2 + 14*l + 7. Let c be z(-9). Let y = c + 51. Is y a multiple of 5?
False
Let o = -51 - -77. Let v = o - -49. Suppose 5*k = -0*k + v. Does 10 divide k?
False
Let v = -7 - 14. Let i be v/(-1)*2/(-6). Does 18 divide (-1 - i)*18/3?
True
Does 33 divide (92 + -77)*1848/10?
True
Let h(c) = -c**3 - 7*c**2 - 14. Let n be h(-8). Suppose 2*q = -2*k + n, 2*k - 4 = 6. Does 3 divide q?
False
Let j be (5/10)/(2/20). Suppose r = -j*u + 2*u + 53, -3*r + 171 = -3*u. Is 10 a factor of r?
False
Let j = -172 - -332. Is 9 a factor of j?
False
Let o = -154 + 743. Is o a multiple of 31?
True
Suppose -2*a = -i + 3*a - 22, -14 = 2*i - 4*a. Is 5 a factor of 12 - 6*(-2)/i?
False
Let d = -9 - -12. Suppose 6*b - 124 = d*b + 4*v, 0 = -5*b - 3*v + 255. Does 9 divide b?
False
Let z(b) = 8*b + 420. Is z(0) a multiple of 28?
True
Suppose 0 = t + 3*t - 2952. Suppose 7*v = t + 60. Is v a multiple of 19?
True
Is 13 a factor of ((-208)/12)/(((-8)/276)/1)?
True
Suppose 4 = x - 2*b, 14 = 4*x - 2*b - 2. Suppose x*q = 6 + 10. Suppose -3*m + 152 = -q*v, m - 3*v - 54 = -0*v. Is m a multiple of 20?
False
Suppose s - 9 = 7. Let n = s + 10. Is n a multiple of 7?
False
Suppose 6*u - 5*l - 392 = 5*u, -2*l = -4*u + 1550. Is u a multiple of 57?
False
Let d(o) = o**2 - o + 1. Let i(u) = -106*u**2 + 5*u - 3. Let f be (3/9)/((-6)/18). Let g(t) = f*i(t) - 3*d(t). Is 12 a factor of g(-1)?
False
Let x(o) = 8*o - 86. Let h be x(12). Suppose -3*v = -s - 6*v + 205, -h = -5*v. Is 17 a factor of s?
False
Let s be 3 + -694*(-4)/8. Suppose -4*j = -130 - s. Suppose 5*w - 7*x = -2*x + j, -5*w - x = -102. Is w a multiple of 6?
False
Let r(z) = 2*z**2 + 3*z + 1. Let t be r(-2). Suppose -3*x - 5*n = 21, -n = -5*x + t*n - 72. Is 1/(-3) + (-724)/x a multiple of 30?
True
Suppose -209 - 416 = 5*u. Let f(a) = -2*a**3 + 6*a**2 + 5*a + 9. Let c be f(-4). Let k = c + u. Is 24 a factor of k?
False
Suppose -3*g = -4*v + 10605, 140*g - 138*g - 2 = 0. Does 27 divide v?
False
Let v(d) = -d**3 + 6*d**2 + 3*d + 21. Does 82 divide v(-7)?
False
Let g(u) = -3*u. Let n(o) = -8*o - 1. Let d(v) = 11*g(v) - 4*n(v). Let h be d(8). Is 14 a factor of (h + 7)*1 - -39?
True
Is (3064/(-40))/((2/(-10))/1) a multiple of 14?
False
Let w(q) = q - 12. Let s be w(15). Suppose s*t + 2*t + j - 197 = 0, 0 = -5*j - 15. Is 5 a factor of t?
True
Suppose -10*o - 147 + 1387 = 0. Is o a multiple of 17?
False
Suppose 2*a = -2*a - 7*a. Suppose -66 = -a*t - 6*t. Is t a multiple of 11?
True
Let g(d) = -9*d + 66. Let q be g(-17). Let f = q + -67. Is f a multiple of 38?
True
Does 11 divide 32428/201*(-30)/(-8)?
True
Let x = -344 + 546. Let n = -118 + x. Suppose 3*t - n = -0*t - 4*u, 0 = 4*t - 4*u - 112. Does 10 divide t?
False
Let n(g) = 41*g + 1. Let q be n(2). Suppose 49 = 6*a - q. Suppose t + 3*x - a = 0, -2*t - 4*x = 3*t - 55. Does 2 divide t?
False
Let l(u) be the first derivative of -1 + 9*u + 1/3*u**3 - u**2. Does 15 divide l(7)?
False
Let w(p) be the second derivative of -p**5/20 - 7*p**4/6 - 17*p**3/6 - 9*p**2 - 10*p. Does 9 divide w(-13)?
False
Let n(s) be the second derivative of s**7/2520 - s**6/720 + 11*s**5/40 - 5*s**4/12 - 4*s. Let i(b) be the third derivative of n(b). Is 11 a factor of i(0)?
True
Suppose 3 = -z + 4*f - 4, -5*z + 4*f = 3. Is 12 a factor of (3 + 90/6)/(z/2)?
True
Is 8 a factor of ((-60)/18)/((-7)/504)?
True
Is 7 a factor of (-5 - 3554/(-16)) + 5/(-40)?
True
Suppose 4*x - 3768 = -4*y, 4*x - 1170 - 2588 = -2*y. Is x a multiple of 10?
False
Let x(l) be the first derivative of -l**6/60 + l**5/30 - l**4/24 - l**3/6 + 7*l**2/2 + 7. Let g(o) be the second derivative of x(o). Is 16 a factor of g(-2)?
False
Let q(i) = -3*i**3 - 4*i**2 + i + 5. Let b = 12 + -16. Let l be q(b). Suppose l = 5*x - 2*x. Is 25 a factor of x?
False
Let p = 412 - 83. Suppose -5*l + 166 + p = 0. Is 18 a factor of -1*3/(-9)*l?
False
Suppose 0*q - 84 = -14*q. Suppose q*z - 7*z - 3*v = -82, 0 = -5*z + v + 346. Is 7 a factor of z?
True
Let j(a) = a**2 + 17*a - 52. Let u(p) = p**3 - p**2 - p - 21. Let v be u(0). Does 6 divide j(v)?
False
Suppose -q + 24 = -5*q. Let a = 34 + q. Is a a multiple of 4?
True
Is 72 a factor of 546 + 9 + -14 + -3?
False
Suppose -3 = 3*g, 5*v + 28 = 2*v - 4*g. Let c(f) = -f**3 - 6*f**2 - 20*f - 65. Does 9 divide c(v)?
False
Suppose 7609 = 9*i - 2111. Is i a multiple of 45?
True
Let o = 15 - 11. Suppose 3*g = 4*w + 36, g - o*w - 11 = -3*w. Is g a multiple of 8?
True
Let o(z) = 87*z - 57. Does 12 divide o(11)?
True
Let c(m) = 5*m + 17. Let t be c(-12). Suppose f - 95 + 6 = 0. Let i = t + f. Does 23 divide i?
True
Let u be (0 - 1) + -2 + -62. Let s be 5 + (154 - -4) + -2. Let k = s + u. Is k a multiple of 14?
False
Let q(b) be the second derivative of -b**4/12 - 17*b**3/6 - 2*b**2 + 15*b. Is 17 a factor of q(-8)?
True
Is (-6)/(-63) - (-59761)/273 a multiple of 73?
True
Suppose -3*p - 400 = 2*j + 6, -3 = -3*j. Let z = -40 - p. Is 16 a factor of z?
True
Suppose z - 3*k = -10, -2*z = -3*k - 2 + 7. Let q(y) = y**2 - 13*y + 17. Let x be q(12). Suppose -4*g - 8 = 0, -166 = -z*n + x*g + 24. Is n a multiple of 14?
False
Suppose 0*c + 366 = c - 3*b, 0 = 4*c - 2*b - 1414. Suppose 0 = 7*w - c + 36. Is w a multiple of 4?
False
Suppose -640 = -s + j, 0 = 2*s + 4*j - 162 - 1142. Is 11 a factor of s?
False
Let r(f) = 6*f - 1. Let l be r(5). Let m be l + 1 + -7 + 7. Let z = -9 + m. Is z a multiple of 21?
True
Let u(z) = -5*z**2 + 2*z - 3. Let n(a) = a + 1. Let b(m) = 6*m**2 + 2*m + 8. Let c(k) = -b(k) + 5*n(k). Let q(l) = 3*c(l) - 4*u(l). Is 8 a factor of q(2)?
False
Let l = 66 + -80. Does 12 divide 6/l + (-3026)/(-119)?
False
Let r(z) = z**3 + 14*z**2 - 22*z + 3. Is 8 a factor of r(-11)?
True
Let p(s) = 2*s**2 + 4*s + 3. Let z be p(-2). Suppose 21 = -3*l + z. Let o(m) = -12*m - 6. Is o(l) a multiple of 22?
True
Suppose 28 = -2*c + 2*u, -2*c - 24 = 2*u - 0*u. Let o be (5 + c)/(2 + -4). Suppose 0 = -5*w, 3*w + 123 + 85 = o*a. Does 13 divide a?
True
Let x be (4 - 32/10)/(2/10). Is (-15)/(-35) + (1544/14)/x a multiple of 14?
True
Let p(q) = -q**3 + 15*q**2 - 10*q. Let m = 34 + -19. Let b be p(m). Is 2 a factor of (-9)/5*b/45?
True
Suppose 197 = -4*g - 111. Let v(x) = 26*x + 6. Let s be v(-2). Let k = s - g. Is k a multiple of 14?
False
Let r = -3 - -14. Let h = 2 + r. Is 6 a factor of h?
False
Let f be 2/4 + (-1183)/(-14). Suppose 5*d + f = 4*d. Let b = -61 - d. Is 9 a factor of b?
False
Let g(x) = 2 - 2 + 3*x - 3 + 4*x. Does 3 divide g(3)?
True
Let b(i) = 3*i**3 - i**2 - i - 1. Let v be b(2). Suppose -4*q + v + 39 = 0. Is q a multiple of 14?
True
Suppose -5801 = -4*d - 1353. Is 8 a factor of d?
True
Let a = 3049 - 1775. Is 49 a factor of a?
True
Let l(r) = -4*r + 10. Let x be (-1)/(4*(-2)/(-40)). Let c be l(x). Let i = c + -12. Does 9 divide i?
True
Suppose 8*k - 12*k = -176. Suppose -2*c = 2*f + 3*c - 71, 4*c = 2*f - k. Is 19 a factor of f?
False
Let z = 59 + -59. Let v = 12 - z. Is v a multiple of 5?
False
Let x be 2/(-7) - (-4 + (-78)/(-21)). Suppose -q - 4*j + 160 = x, -5*j = -q - q + 268. Is q a multiple of 16?
True
Let o = 17 - 23. Let a = o - -9. Suppose a*f - 24 = 12. Is 6 a factor of f?
True
Let s(f) = 5*f**2 - 14*f + 16. Let w be s(8). Is 13 a factor of (45/(-20))/((-6)/w)?
False
Let v(m) be the first derivative of m**4/4 - 4*m**3/3 + 2*m**2 - 3*m + 4. Let h be v(4). Let y = h - -11. Is 12 a factor of y?
True
Let x(z) = 3*z - 2. Let v be x(2). Suppose v*s = 7*s - 51. Let b = s - -12. Is b a multiple of 8?
False
Let g be (15/(-27)*3)/(1/(-3)). Suppose -g*j - 3*t + 1420 = t, -5*j + 4*t = -1380. Does 35 divide j?
True
Let d = 422 + -405. Is 17 a factor of d?
True
Let g = -544 - -1057. Is 9 a factor of g?
True
Suppose 0*u - 5*x - 20 = -2*u, 3*x + 12 = 2*u. Suppose u*m + m + 5*i - 24 = 0, -2*m - 4*i = -36. Suppose -5*q + 89 = m. Is q a multiple of 11?
False
Let n be -2 - (-7)/(21/18). Suppose -x