 - 16. Let i(k) = -13*k - 2. Is 4 a factor of i(w)?
False
Is 3 a factor of -21*7/(196/(-12))?
True
Let v(a) = -2*a + 2. Let o be v(-5). Suppose u + 0*u = o. Suppose r - u = -w, w - 3*r - 20 - 12 = 0. Is 14 a factor of w?
False
Let t(l) = -2*l - 2. Suppose 4*u + 5 + 7 = 0. Let i be t(u). Does 3 divide (i/5)/((-6)/(-45))?
True
Suppose -a + 5*a = 168. Is 10 a factor of a?
False
Suppose t - 3*t = -24. Is t a multiple of 4?
True
Suppose 0 = j + j + 130. Let i be -1 + (-1)/(1/j). Suppose 2*p - i = -3*u, 5*p - 3*u + 0*u = 202. Does 19 divide p?
True
Is (8/28)/(-2) - 226/(-14) a multiple of 6?
False
Let y = 8 - 6. Suppose 3*m = -0*m + 414. Suppose 3*p + y*w = -p + m, 5*p - 5*w = 150. Is p a multiple of 17?
False
Let l = 16 + -8. Does 17 divide 424/l - (-3 + 1)?
False
Does 13 divide 1*-3*(-82)/6?
False
Let c be ((-4)/(-6))/((-2)/111). Let y = c + 52. Is 6 a factor of y?
False
Let m(n) = n**3 - n**2 + n. Let y be m(1). Let b be y + 2 + -1 + 1. Does 10 divide 26 - ((-6)/b - -3)?
False
Is 171/1*(-6)/(-9) a multiple of 21?
False
Let h = 2 + -1. Suppose -3*b - 3*l + 123 = -6*l, 4*l = 0. Let k = b - h. Is k a multiple of 20?
True
Let y = -53 + 153. Does 10 divide y?
True
Suppose 5*u - 8 - 292 = 0. Is u a multiple of 20?
True
Let a(c) = c**3 - 5*c**2 - 5*c + 1. Let g(q) = -q**2 - q + 6. Let n be -1 + (1 + 1)/2. Let o be g(n). Does 3 divide a(o)?
False
Is (-46)/(-2) - (-9)/(-3) a multiple of 20?
True
Let u = 167 + -86. Is 18 a factor of u?
False
Let c = 0 - -5. Suppose -90 = -0*j - c*j. Is 7 a factor of j?
False
Suppose 5*f - 13 = -4*l, 0 = -0*f + 2*f + 6. Suppose l*d = 2*d + 30. Does 3 divide d?
True
Let d = 40 - -10. Suppose 0 = -4*a + 4*x + 124, -a - 13 = 2*x - d. Is 11 a factor of a?
True
Suppose 5*p + 17 + 50 = 4*x, -3*x - 4*p = -58. Is 4 a factor of x?
False
Let s be 0/((1*-8)/(-4)). Is 20 a factor of (-2)/(-1) + s + 18?
True
Suppose 4*u - 3*u + c = 6, -5*u - 2*c + 42 = 0. Is 10 a factor of u?
True
Let u(n) = -n**3 - 4*n**2 + n + 2. Let c be u(-4). Let q = c + 16. Is 2 a factor of 4/q + 36/21?
True
Let v(y) = 3*y + 3. Let c(q) = -q**3 - 7*q**2 - 7*q - 5. Let b be c(-6). Suppose -17 = -3*x + b. Does 10 divide v(x)?
False
Let p = -91 - -189. Does 9 divide p?
False
Let p(c) = c**3 - 3*c**2 - 3*c. Let i be p(4). Let k = i - -1. Suppose -s = -j + 4*s + 5, 54 = k*j + 4*s. Is 5 a factor of j?
True
Suppose -w + 5*w = 1540. Suppose -2*z + w = -7*z. Is z/(-5) + (-2)/5 a multiple of 15?
True
Let h = 55 - 38. Is 6 a factor of h?
False
Suppose 3*z = 7 - 1. Let t(h) = -z - h + 5*h - 2*h. Is t(3) even?
True
Suppose -124 = -7*p + 3*p. Let i = 3 + p. Does 17 divide i?
True
Let d = 63 + 61. Suppose -4*r - w + d = 0, 2*r + 0*r = -3*w + 72. Does 10 divide r?
True
Let q(p) = -2*p - p**2 + 1 + 0 + 3*p**2 + 3*p**3. Let y be q(-4). Is 19 a factor of 2/8 - y/4?
True
Suppose 0 = q + 4*x + 8 - 2, -4*q + 4*x = 44. Let i(l) = -l**2 - 11*l + 3. Does 9 divide i(q)?
False
Let p(j) = -j + 1. Let g = -1 + -3. Is p(g) even?
False
Let c = 233 - 127. Is 30 a factor of c?
False
Let q(v) = -v**2 + v + 3. Let m be q(0). Let b(l) = l + l**2 - 1 + 5 - m - 2*l. Is 2 a factor of b(2)?
False
Suppose 0 = 4*b - 0*b - 12. Suppose -2*g - 3*g = 0. Suppose -b*x = -g*x - 42. Is x a multiple of 14?
True
Let g = 2 + 1. Suppose t + 4*u - 21 = u, g*t - 35 = 5*u. Does 8 divide t?
False
Suppose 0*i + 8 = 2*i. Suppose i*k - 6 = k. Suppose 3*b = r + 4*r - 193, r + k*b = 36. Does 14 divide r?
False
Let z(n) = -n**3 + 3*n**2 + n + 2. Is 4 a factor of z(2)?
True
Let s = 30 + -50. Let t(j) = 3*j**2 - 8*j - 1. Let g be t(6). Let w = s + g. Is w a multiple of 20?
False
Suppose -4*a + 2*s = -296, 3*a - a + 4*s = 168. Suppose -24 = -5*w + a. Does 10 divide w?
True
Suppose j + j + 288 = 3*t, -2*j + 202 = 2*t. Does 14 divide t?
True
Suppose -c + 2*d = 2*c - 1, -4*c + 3*d = 0. Let o(v) = -3*v**2 + 3*v + 5. Let m(q) = -6*q**2 + 6*q + 9. Let g(p) = -3*m(p) + 5*o(p). Is g(c) a multiple of 7?
False
Let t be (21/(-9) - -2) + 22/3. Let f(w) be the first derivative of -w**4/4 + 8*w**3/3 - 7*w**2/2 + 4*w + 1. Does 4 divide f(t)?
True
Suppose -3*c + 25 = 2*c. Is c even?
False
Suppose 11*h = 1326 - 72. Is h a multiple of 14?
False
Let f be (294 + 4)*(-2)/(-1). Suppose 2*b - 3*l = 273, 0*b - 4*l + f = 4*b. Is 16 a factor of (b/15)/3*5?
True
Suppose 2*p - 60 = -20. Suppose -2*m + p = 4*k, -k = 2*m + 2*k - 25. Is 4 a factor of 92/m + 2/5?
False
Let k(a) = a**2 + 4*a - 1. Let o = -9 - -6. Let c be k(o). Is 34/4 + 2/c a multiple of 8?
True
Let j = 254 - 77. Does 39 divide j?
False
Let x = -74 - -202. Does 8 divide x?
True
Suppose -2*z + 64 = 2*z. Let m be (-4)/z + (-1)/(-4). Suppose -5*r + r + 184 = -4*k, r - 2*k - 50 = m. Does 15 divide r?
False
Let j = 170 - 104. Is 18 a factor of j?
False
Let h(t) = 13*t - 12. Let n be h(6). Let d = n - 47. Is d a multiple of 16?
False
Let t(a) be the first derivative of -7*a**4/2 + a**3/3 - a + 1. Does 7 divide t(-1)?
True
Suppose 5*u + 262 = -4*b, -3*b - 154 - 45 = 5*u. Let x = b - -114. Is x a multiple of 17?
True
Suppose 898 = 6*i - 356. Is 19 a factor of i?
True
Let h(k) = 9*k**2 + 2*k - 4. Is h(2) a multiple of 12?
True
Suppose -3*b - 3*g = -39, -3*b + 31 = -0*b + g. Is 5 a factor of b?
False
Suppose -166 = -7*f + 5*f. Is 8 a factor of f?
False
Let m be (-7 - -6) + (1 - -1). Let u = 0 + m. Is 4 a factor of (-4 - -1)*u + 11?
True
Let d = 558 - 390. Suppose -4*m - 4*s = -d, -2*m - 2*s = 3*m - 198. Is m a multiple of 23?
False
Suppose 0 = i - 2 + 1. Let z = i - -1. Suppose -4*d + 3*h + h + 152 = 0, z*d + h = 61. Is d a multiple of 12?
False
Suppose -11*u + 2*u = -297. Is u a multiple of 16?
False
Let u(w) = -5*w**3 - 3*w**2 - 5*w + 3. Let c be u(3). Let y = -204 + 92. Let h = y - c. Is h a multiple of 21?
False
Let v(a) = 9*a + 4. Let f(x) = 19*x + 9. Let b(j) = 3*f(j) - 7*v(j). Let r be -2*((-2)/(-2))/1. Is b(r) a multiple of 3?
False
Let i = 154 - 244. Let g = -47 - i. Is g a multiple of 15?
False
Let u = 94 + 246. Is 17 a factor of u?
True
Let x be 1/(4*(-1)/(-20)). Suppose 5*u = -3*d + 156, 4*u - 110 = x*d - 0. Is 15 a factor of u?
True
Suppose 4*t = 5*w + 3*t - 7, 0 = w + t - 5. Suppose -4*x + 3*i = w, 0*x - 2*x = -5*i + 8. Let h = x + 1. Is h even?
True
Does 9 divide 566/3 + (-56)/12 + 5?
True
Let y(p) = 3*p - 4*p**3 + 0 + 46*p**3 - 4*p + 1. Let f be y(1). Let i = -15 + f. Is i a multiple of 12?
False
Let k(y) = y**2 - 2*y + 1. Let i be k(1). Suppose -3*s + 45 = 2*n, i = -3*s + 3*n - n + 33. Is s a multiple of 5?
False
Suppose -8 = -4*a + 4. Suppose b - 56 - 74 = a*m, 3*m + 360 = 3*b. Suppose -2*d - b = -7*d. Does 9 divide d?
False
Let y(v) be the first derivative of -v**2/2 + 3*v - 1. Suppose 9*h = 10*h. Is y(h) a multiple of 3?
True
Let j(z) be the second derivative of -z**5/20 + 7*z**4/12 + z**3/2 - 2*z**2 - 11*z. Is j(7) a multiple of 4?
False
Suppose 0 - 32 = -2*m. Does 8 divide (m/(-10))/(1/(-5))?
True
Let f be (-1)/2 + (-77)/14. Let i = f + 7. Is 10 a factor of 10 - (0 - (1 - i))?
True
Let c = 261 - 165. Does 3 divide c?
True
Suppose -3 = -4*x + 5. Let b = 2 + x. Suppose -a + b = -11. Does 15 divide a?
True
Suppose -8*b + 6*b = -288. Let q = b + -84. Does 17 divide q?
False
Suppose -3*z + 134 = -7. Suppose -4*v - 66 = l, -4*l = 4*v + z + 253. Is 14 a factor of (4/4)/((-2)/l)?
False
Let a = 91 - 54. Does 7 divide a?
False
Suppose 4*j + 49 - 169 = 0. Let b = 66 - j. Does 9 divide b?
True
Let u(q) = -2*q - 1. Let b be u(-6). Let v be -3 - (-3)/(5 - 4). Suppose v = -s + 2 + b. Does 13 divide s?
True
Suppose 0 = -3*r + 22 + 122. Is 8 a factor of r?
True
Let l = 22 - 8. Is l a multiple of 7?
True
Suppose -199 = -5*t - 64. Suppose 3*x - t = 2*x. Is 8 a factor of x?
False
Let a be (3/9*0)/(-1). Let x(b) = -b + 7. Let q be x(a). Suppose 2*d = 3*g - 44, -4*g - d + q = -37. Is g a multiple of 5?
False
Let c = 16 - 11. Suppose c*d - 2*b = -610, -d - b + 3*b - 130 = 0. Is d/(-28) + (-2)/7 a multiple of 4?
True
Let z = -7 - -10. Suppose 0 = -2*x + z + 1. Suppose x = 2*t - 20. Does 11 divide t?
True
Let y(f) = -f - 4. Let x(j) = -3*j - 11. Let p(u) = 6*x(u) - 17*y(u). Is p(-7) a multiple of 5?
False
Let d(b) = -7*b**2 - 4*b - 1. Let p be d(-3). Let v = p + 122. Let i = -36 + v. Does 12 divide i?
False
Let z be 8/2 + 1 + 1. Let l = 6 + z. Is l a multiple of 10?
False
Let a be 1 - (-56)/((-1)/(-1))