 Let i be v(6). Let c(w) = w**3 - 4*w**2 - 4*w - 3. Let x be c(i). Is 0 - -17 - x - 2 a multiple of 7?
False
Let r be 2/7 + (-918)/(-21). Let s be -2 - 5/((-10)/r). Suppose 0 = -3*n - n + s. Is n a multiple of 5?
True
Let s(t) = -12*t + 1. Let y be s(-2). Let q = y - -25. Is q a multiple of 25?
True
Suppose -4*t + 244 = -4*b, 10 = 2*t + 3*b - 92. Is t a multiple of 19?
True
Let i(v) = 6*v**2 + 3*v - 3. Does 5 divide i(-3)?
False
Suppose -c = c + 4*o - 72, 5*c - 235 = o. Let s = -3 + 6. Suppose -3*w + 2*d + 50 = 0, -d - c = -s*w - 3*d. Is 16 a factor of w?
True
Let v = 17 - 17. Suppose 0*q - 5*q + 10 = v. Does 2 divide q?
True
Let y(p) = -2*p**2 + 39*p - 35. Let b(v) = 3*v**2 - 58*v + 52. Let o(i) = -5*b(i) - 7*y(i). Does 11 divide o(10)?
True
Let k be (-48)/(-27) + (-4)/(-18). Suppose k*s = 71 - 17. Suppose -5*n = -2*g + 86, 3*g = -4*n + s + 56. Is 12 a factor of g?
False
Suppose 0 = 8*i - 5*i - 150. Is 10 a factor of i?
True
Let o = -20 - -26. Does 3 divide o?
True
Suppose 0 = j - a - 25, 0 = -2*j + 4*a - 5*a + 47. Does 19 divide j/(-6)*(-98)/8?
False
Let h(i) = -i**2 + 7*i. Let l be h(7). Suppose -r + l = -5. Does 13 divide 66/r - (-2)/(-10)?
True
Suppose 5*a + z - 1218 = 0, 3*a - 2*a - 255 = -4*z. Suppose 2*q + 3*l = 111, 4*q - l = -0*l + a. Does 20 divide q?
True
Let m(a) = a**2 - 3*a - 1. Let s be m(4). Suppose -s*w = -0 - 3. Is (-50)/((1 + w)*-1) a multiple of 9?
False
Suppose 1320 = 8*w + 424. Is 16 a factor of w?
True
Suppose -5*n + 174 = t, -3*n - 60 + 158 = -t. Is 17 a factor of n?
True
Is (-3)/(-2 + 3) - -11*3 a multiple of 3?
True
Let y(b) = b**3 + 5*b**2 + 1. Let o be y(-5). Is -2 - -7 - (3 - o) a multiple of 3?
True
Suppose 2*c = -2*u + 14, -3*u = 2*u - 2*c - 21. Suppose 5*k - 6*k + 392 = u*p, 4*k = 2*p - 170. Does 29 divide p?
False
Let q(h) = -h**2 - 9*h - 4. Let j be q(-8). Is j/10 + (-931)/(-35) a multiple of 9?
True
Let q = 253 - 101. Is 18 a factor of q?
False
Suppose 96 = 9*u - 7*u. Does 24 divide u?
True
Let u(a) = -a + 2. Let n(x) be the first derivative of -2*x**3/3 + 3*x**2/2 - x - 1. Let g be n(2). Is 3 a factor of u(g)?
False
Let h = 1 + -2. Let t = -3 - h. Is t/7 + (-60)/(-14) a multiple of 2?
True
Does 16 divide (-4)/10 + 804/10?
True
Suppose -5*b + 17 = 52. Suppose 2*a = -3*a + 50. Is b/(a/(-8) + 1) a multiple of 14?
True
Let j = -7 - 1. Let t(w) be the third derivative of -w**6/120 - 7*w**5/60 + w**4/3 + 11*w**3/6 + 4*w**2. Is t(j) a multiple of 7?
False
Let f be ((-15)/6)/(4/(-88)). Suppose -3*w + 3*v + 13 = 4*v, 5*w - 5*v - f = 0. Let z(m) = 6*m - 4. Is 13 a factor of z(w)?
False
Let o(t) = -t**2 - t. Suppose -2*r + 20 = -4*c, -5*r = -12 - 8. Let v be o(c). Is 8 a factor of 3/(v/(-16)) - 0?
True
Let p(i) = i**2 - 7*i + 6. Let h be ((-7)/(-4))/((-2)/(-8)). Let q be p(h). Suppose -t + q + 9 = 0. Is 15 a factor of t?
True
Suppose -8 - 7 = -3*o. Let z(y) = 7*y**2 - 9*y + 1. Let f(x) = x**2 + 1. Let a(l) = 6*f(l) - z(l). Is 12 a factor of a(o)?
False
Let q = -11 + 20. Does 8 divide (21/(-14))/(q/(-120))?
False
Let s be (-1 + 16)*1*6. Suppose -2*w = 3*w - s. Is w a multiple of 6?
True
Let q = 48 - 24. Is q a multiple of 4?
True
Suppose -5*l + 64 = -3*l. Suppose 0 = -6*r + 4*r + l. Does 5 divide r?
False
Suppose 2*r + 5*x = 175, r + 0*x = 5*x + 50. Suppose 4*u = r + 49. Does 14 divide u?
False
Let h(k) = k**3 + k**2 - 1. Let i be h(1). Suppose d - 5 - i = 0. Is d even?
True
Is (-4)/(3*3/(-18)) even?
True
Let k(d) be the third derivative of -d**5/60 + 7*d**4/12 - 2*d**3/3 + d**2. Let g be k(6). Suppose w + 3 = 0, 0*w + 2*w - g = -2*q. Does 13 divide q?
False
Let i(k) = k**2 - 6*k + 5. Let b be i(6). Let t(l) be the first derivative of l**3/3 - 2*l**2 + l - 1. Does 3 divide t(b)?
True
Let c(n) = 2 - 1 + 5*n**2 - 2*n**2. Let y be c(1). Suppose 4*m - o + 4 = 20, 0 = -y*o. Is 3 a factor of m?
False
Let c(p) = -24*p**2. Let x be c(-3). Let o be x/(-10) - 4/(-10). Suppose 2*h - h = o. Does 8 divide h?
False
Let d(v) = v**3 + 5*v**2 - v + 2. Let n(b) = 2*b + 0*b + 5*b + b**2 - 4 + 0*b. Let s be n(-7). Is d(s) a multiple of 9?
False
Let j be (1 - -1) + (-2)/2. Let x = j - -2. Suppose 0 = x*z + 3*w - 42, -5*z + z + 81 = -w. Is 10 a factor of z?
False
Suppose -2*u = -123 - 53. Is u a multiple of 11?
True
Let q = 12 + 9. Is q a multiple of 7?
True
Suppose 21 = 5*f + 3*q, -2*f - 2*q + 0*q + 6 = 0. Let l(z) = -2*z - f + z - 6*z. Does 13 divide l(-5)?
False
Let y be (-4 + 9/6)*-8. Is (y/(-2))/(10/(-25)) a multiple of 7?
False
Let l(x) = -x**2 - 8*x + 5. Let n be l(-8). Suppose -44 = n*q + 2*z, 0*z = -5*q + 5*z - 65. Is 10 a factor of 68/5*q/(-4)?
False
Suppose 8 = -y + 3. Let c be (1 + -5)*22/(-8). Let l = c + y. Does 6 divide l?
True
Let y = -6 - -4. Let t = y + 0. Is 11 a factor of (-11)/(3 + -2 + t)?
True
Suppose 0*n + 3*r - 801 = -3*n, 6 = 3*r. Is n a multiple of 53?
True
Let g = 183 - 94. Does 20 divide g?
False
Let d = -119 - -108. Let f(r) = 0*r**2 - 8 + r**2 + 0 + 9*r. Is 5 a factor of f(d)?
False
Suppose -47 = -g + 2*a - 3*a, -4*a = -20. Suppose 2*v - 7*v = 3*d - 101, -3*v - g = -2*d. Is d a multiple of 11?
False
Is (-20)/8*5/((-50)/548) a multiple of 43?
False
Let y = 29 - 9. Let p be 1/(4 - (-19)/(-5)). Let b = p + y. Does 10 divide b?
False
Let p = -7 + 10. Suppose p = -r + 3*s + 18, 0 = 2*r + 2*s - 14. Is r a multiple of 8?
False
Is (1/(-2))/(1/(-238)) a multiple of 17?
True
Does 18 divide 18/((-2 - -4)*1/18)?
True
Is 18 a factor of 63 - (-2 + (-3)/(-1))?
False
Let g(z) = -3*z - 17. Is g(-14) a multiple of 25?
True
Let q(c) = c**2 - 2. Let b be q(-6). Suppose 0 = -3*v + v + b. Is v a multiple of 7?
False
Let y(i) = i**3 - 6*i**2 - 5*i - 8. Does 6 divide y(7)?
True
Let x(a) = a**3 + 7*a**2 - 4*a + 5. Let u be (-29)/4 - 2/(-8). Let l be x(u). Suppose 4*c = c + l. Does 11 divide c?
True
Let c(f) be the first derivative of -7*f**3/3 - 3*f**2/2 + 7*f + 1. Let m(v) = -10*v**2 - 4*v + 11. Let y(i) = 7*c(i) - 5*m(i). Is y(5) a multiple of 14?
True
Let q(j) = -j + 1. Let s be q(1). Suppose 88 = 4*r - s*r. Does 15 divide r?
False
Suppose 9 = 7*l - 4*l. Let p = 5 + l. Suppose 0 = 2*a - b - 5, -2*a + p = 3*b - 1. Is 3 a factor of a?
True
Let x(b) = -b**2 + 5*b - 1. Let i be x(2). Let m(p) = -p**3 + 4*p**2 + 6*p - 2. Let o be m(i). Suppose -o*v = -51 - 30. Is v a multiple of 14?
False
Let p(r) = -5*r**3 + r. Let h be p(-1). Suppose 2*q + h*y - 72 = 0, y + y = -2*q + 62. Does 13 divide q?
True
Let h(b) = 7*b + b - 3*b - 3*b. Does 7 divide h(4)?
False
Let g(i) = i + 1. Let o be g(1). Suppose -5*t + 34 = p - 58, 5*t = o*p + 86. Is 18 a factor of t?
True
Suppose -j - f = -2*f - 3, 0 = -3*f - 9. Suppose j*b - 8 = -2*h - b, -4*h + 4*b = -28. Is h a multiple of 5?
True
Let r(w) = w**3 + 1. Is r(4) a multiple of 13?
True
Suppose -5*u = -66 - 99. Let t = -10 + u. Let h = t - 14. Is 3 a factor of h?
True
Let y(h) = 2*h + 5. Let d be y(-4). Is (-2)/d + (-26)/(-6) a multiple of 5?
True
Let i(p) = 2*p**2 + 13*p + 9. Does 23 divide i(-9)?
False
Let a(p) be the third derivative of 0 - 2*p**2 + 2/3*p**3 - 1/24*p**4 + 0*p. Is 5 a factor of a(-6)?
True
Is (-82)/(-2) + 1 + 2 a multiple of 11?
True
Let n = -17 - -10. Is 10 a factor of ((-30)/(-21))/((-1)/n)?
True
Let j be (-7 + -7)/(2/14). Let q = -36 - -191. Let c = q + j. Is c a multiple of 27?
False
Suppose 0 = a + 3*a. Let s(i) be the second derivative of i**4/12 + i**3/6 + 27*i**2/2 + 2*i. Does 19 divide s(a)?
False
Let d = 13 - 10. Suppose 23 = g - 2*t - 50, d*g = -3*t + 246. Does 20 divide g?
False
Let v be 39/18 + (-2)/12. Suppose -2*l + 12 = v*g, 11 = -g + 3*l + 1. Suppose -g*i = -46 - 10. Is 14 a factor of i?
True
Let o(l) = -l - 5. Let q be o(-7). Let h = q + -2. Let p = h + 14. Is p a multiple of 7?
True
Is 42*(11/3 - 3) a multiple of 6?
False
Does 7 divide 3*(24/9 + 2)?
True
Let k be -3*(1 - (-30)/9). Let f = k - -67. Is f a multiple of 21?
False
Let p be 2/(-6) + (-76)/(-12). Let n be (92/6)/(2/p). Let h = -6 + n. Is h a multiple of 18?
False
Suppose 2 - 6 = 4*y + 4*j, 2*y - 5*j = 5. Let v(k) = 2*k**2 + 4*k**2 - k**3 + y + 6. Is v(5) a multiple of 9?
False
Let o(b) = 7*b**2 + 4*b - 6. Does 15 divide o(3)?
False
Let o(h) = 7*h - 3. Is o(9) a multiple of 16?
False
Suppose 2*l - 10 + 4 = 0. Let j(y) = 25*y + 4. Is j(l) a multiple of 23?
False
Does 12 divide (3 - (3 - 1)) + 90?
False
Sup