 g(f) = -3*f - 9. Let b(i) = -2*i - 5. Let s(q) = 7*b(q) - 4*g(q). Is s(-10) a multiple of 8?
False
Let c be 78 + (-1 - -4) + 4. Is 11 a factor of (c/(-10))/((-3)/6)?
False
Suppose -4*k = 6 - 150. Is k a multiple of 15?
False
Suppose -622 = -4*b - 4*a + 654, 0 = 3*b + 5*a - 957. Is 22 a factor of b?
False
Suppose 9 = 5*b + 4*v - 16, 3*b = 4*v + 15. Suppose 5*d + b*j - 15 = 0, 0 = -5*d + 2*j + 3*j + 25. Suppose -5*t + 76 + d = 0. Is 8 a factor of t?
True
Suppose -3*v - 27 = -4*m - 111, 81 = 3*v - 5*m. Suppose 8 - v = -4*u. Is 4 a factor of u?
False
Let j = 14 + 16. Is j a multiple of 10?
True
Suppose 17 = -2*n - 285. Let x = -100 - n. Is x a multiple of 17?
True
Suppose 4 = -3*d + 2*d. Is 58/4*(6 + d) a multiple of 13?
False
Suppose n = 4*n - 27. Let b be (8/(-6))/((-6)/n). Is 14 a factor of -1 + ((-34)/(-2) - b)?
True
Let k be 196/(-6) - 1/3. Let a = -2 - k. Does 11 divide a?
False
Let q = -4 - -46. Is 11 a factor of q?
False
Suppose 43 = 2*k - 3*k - 4*z, 4*z = 2*k + 74. Let i = 85 + k. Is 23 a factor of i?
True
Let b(u) = 3*u - 6. Let c(p) = -p + 1. Let x(n) = -3*b(n) - 21*c(n). Is x(4) a multiple of 11?
False
Suppose 0*b - 80 = -4*b. Suppose i + i = 178. Suppose -i + b = -3*l. Is 8 a factor of l?
False
Suppose -4*z = 16, -4*z = 3*n - 40 - 634. Suppose 0*h + 3*a + 205 = 4*h, 4*h - n = -2*a. Is 11 a factor of h?
True
Let f = 48 + 47. Is f a multiple of 12?
False
Suppose -i = -5*i + 3260. Does 13 divide i/25 + 4/10?
False
Let f = -6 + 8. Suppose 21 = -f*b + 87. Suppose 3*d - b = -6. Does 5 divide d?
False
Suppose 82 = 5*o - 4*o. Let x = -46 + o. Is x a multiple of 10?
False
Let f be 4 + -7 + 24*-2. Let v = 156 + f. Is 27 a factor of v?
False
Suppose 0 = f + 4*j - 40, 4*f + 2*j - 88 = 100. Is 6 a factor of f?
True
Is 8 a factor of (-64)/(-6)*(0 + 3)?
True
Suppose -5 = -3*r - 2. Suppose -b = -3*j - j - 27, 0 = -3*j - 12. Suppose -3*t - y = -b, -2*t - y = -6 - r. Is t even?
True
Does 14 divide -10*(-4 + 24/20)?
True
Suppose -4*p + m = -442, p + 4*p = 3*m + 549. Is 23 a factor of p?
False
Let d(y) = -4*y + 1 - 15*y + 3. Let l be d(4). Let w = -48 - l. Does 9 divide w?
False
Let r(z) = -24*z - 11. Does 14 divide r(-5)?
False
Is -1 - -1*(224 - -1) a multiple of 32?
True
Suppose 5*b - 42 + 11 = -4*j, 4*b + 4 = 4*j. Suppose -p = j*a - 2*a - 54, 2*p - 109 = -5*a. Does 24 divide p?
False
Suppose 0 = 3*a - v - 79, 0 = -5*v - 11 - 9. Suppose 0 = -5*y - m - 5, 4*y = 3*y - 5*m - a. Does 14 divide (-1 - y)/((-3)/78)?
False
Let k(c) = -22*c**3 - 3*c**2 - 3*c - 2. Does 14 divide k(-2)?
True
Is (522/(-27))/(2/(-3)) a multiple of 17?
False
Suppose 3*t = u + 147, 5*t + 2*u - 37 = 208. Is t a multiple of 9?
False
Let d = -13 + 18. Suppose -d*p + 10 + 0 = 0. Suppose p*v = -0*v + 70. Does 10 divide v?
False
Let o be (8/6)/((-2)/(-12)). Is 2 a factor of (-14)/(-4) + 4/o?
True
Suppose -5 = 4*l - 25. Suppose 75 + 1 = 4*y + 4*f, -l*y + 3*f + 103 = 0. Is y a multiple of 13?
False
Let h = 84 - 52. Is 22 a factor of h?
False
Let j = -52 + 75. Suppose -t + j = -5. Is 19 a factor of t?
False
Let g(x) = -5*x**3 - 3*x**2 - 2*x. Is g(-2) a multiple of 8?
True
Let f(i) = i**3 + 5*i**2 - 7*i + 6. Suppose -2*y - 8 - 4 = 0. Let z be f(y). Suppose 2*s + z + 26 = 2*q, s - 9 = -q. Is 8 a factor of q?
False
Suppose -l = -3*k + 100, 5*k + 4*l - 2*l - 174 = 0. Is 17 a factor of k?
True
Let z be ((-78)/2)/(1/(-3)). Suppose 4*j = 5*y + z, 3*y - 31 - 50 = -3*j. Is 7 a factor of j?
True
Let x be 4 - ((-6)/(-2) - 0). Let v(y) = 11*y**2 + 1. Does 6 divide v(x)?
True
Let w(q) be the first derivative of q**3 + 2*q + 1. Let n = -1 - 1. Does 5 divide w(n)?
False
Let p = -17 + 16. Is 12 a factor of 4/((-4)/(-25)) + p?
True
Suppose -y + 2*y = -4*f - 56, 4*f - 2*y + 56 = 0. Is (0 - f/4)*4 a multiple of 14?
True
Let k(a) = 39*a**2 - 2*a + 11. Let v(d) = 6 + d + 11*d**2 - 2*d + 8*d**2. Let o(t) = 6*k(t) - 11*v(t). Does 13 divide o(-1)?
True
Suppose -4*p = 183 + 421. Let c = -93 - p. Is 15 a factor of c?
False
Does 3 divide (-1)/2 - (-225)/18?
True
Suppose -3*f - 5*q = -115, 4*q + 9 = f - 1. Let g = f - 6. Is g a multiple of 12?
True
Does 4 divide (-16 - -33) + (-4)/2?
False
Suppose 0 = -4*i + i - 3. Let u = i + 4. Suppose -2*p + u = 4*d - 7, -4*p + 20 = -3*d. Is 5 a factor of p?
True
Let z = -5 + 9. Suppose 0 = -3*t + z*v + 26 + 2, t = 4*v + 20. Is t even?
True
Suppose -6*u + 345 = -u. Does 7 divide u?
False
Suppose 3*h - 5*h - 4*l = -6, h = 5*l + 3. Suppose 138 = h*a + 9. Is 10 a factor of a?
False
Let n = -71 + 48. Let p = 92 + n. Does 23 divide p?
True
Suppose 0 = -2*k - 6, 2*k - 7*k = 2*w + 7. Is 3 a factor of w?
False
Let o be (-3 + 9/3)*1. Suppose o = -4*v - 20, -n - 13 = 3*v - 5. Does 4 divide n?
False
Suppose 0 = s + 3*r + 8, 2*r + 10 = -5*s + 2*s. Suppose 2*a + v - 154 = 0, a - 4*v + 2*v - 82 = 0. Is (s/6)/((-2)/a) a multiple of 5?
False
Suppose -5*f + 3 = -7. Suppose 3*n - f*d - 2 = -3*d, -n - 4 = -2*d. Suppose 2*i - 52 = -3*q - 2*q, n = -2*i + 3*q + 52. Does 19 divide i?
False
Let u = 74 - -6. Does 20 divide u?
True
Suppose -2*p + 6*p = 5*l + 18, l - 3*p - 3 = 0. Let a(i) = i**2 + 6*i - 3. Let x be a(l). Does 11 divide 16 + 2 + (x - -1)?
False
Let v = 10 - 5. Suppose 2*f + 59 = n, -v*f + 4*n - 112 = 43. Let c = f + 68. Is 12 a factor of c?
False
Let g(o) = -7*o - 7. Does 14 divide g(-17)?
True
Let k(l) = -2*l**3 - 4*l**2 - 3*l - 1. Is k(-4) a multiple of 25?
True
Suppose 5*c + 3*b - 109 = 0, 0*c + 2*b = 2*c - 50. Suppose -4*j = 3*u - c, -4*j + 13 = 4*u - 3*u. Suppose 3*m = -4 + 10, 0 = -j*l - 5*m + 38. Does 14 divide l?
True
Let v = -19 - -314. Is v/9 - (-10)/45 a multiple of 7?
False
Let z = 6 - 8. Let f(t) = 10*t**2 - t - 1. Let x be f(z). Suppose 0 = 2*g - x - 31. Does 16 divide g?
False
Suppose 3*r + 2*r = 40. Suppose 0 = -3*v + r*v - 820. Let x = v - 111. Does 18 divide x?
False
Let f(c) be the first derivative of c**4 - c - 1. Let o be f(-1). Does 7 divide 144/10 + 2/o?
True
Suppose 3*d - 4*b - 92 = 0, -2*b = -3*d - 4*b + 98. Let x = d - 19. Does 9 divide x?
False
Let j = -766 - -1138. Is j a multiple of 49?
False
Does 47 divide 2/2*(128 + 9)?
False
Let i = 2 - -1. Suppose -5*d = 3*t + 6, 0 = i*t - 3*d - 0*d - 18. Suppose -z + 0*m - 5*m - 15 = 0, -t*z + 2*m + 40 = 0. Does 6 divide z?
False
Let c(h) = -26*h - 1. Let b be c(-1). Let d = b + -38. Let w = d - -39. Is 14 a factor of w?
False
Let i(t) = 12*t**2 + t + t**3 + 4*t**2 - 3 - 5*t**2 + 6*t. Let q be i(-10). Suppose -q = -4*d + 97. Does 9 divide d?
False
Suppose 0 = 3*r + 4*z - 13 + 80, -58 = 3*r - 5*z. Is 11 a factor of 308/r*3/(-2)?
True
Let s(m) be the second derivative of -m**5/20 + 13*m**4/12 - 5*m**3/3 - 6*m**2 + 4*m. Is s(12) a multiple of 3?
True
Let m(f) be the third derivative of f**6/360 - f**5/40 - f**4/6 - f**3/3 + 2*f**2. Let d(l) be the first derivative of m(l). Is 11 a factor of d(-5)?
False
Let g(l) = 8 - 11 + 10 + l + 11. Let q = -2 + 2. Is g(q) a multiple of 9?
True
Suppose 0 = -2*x + 147 - 53. Suppose 5*r = 18 + x. Does 3 divide r?
False
Suppose -34 - 111 = 5*s - 5*h, 2*s + 5*h + 58 = 0. Let f = 74 + s. Does 15 divide f?
True
Suppose 5*q - 65 = -0*w - 5*w, 0 = 5*q + 5. Let n = 0 + w. Is n a multiple of 5?
False
Is (10 + 188/(-16))/((-1)/16) a multiple of 3?
False
Suppose 6*d = 768 + 1350. Is 32 a factor of d?
False
Let y(s) = 33*s - 2. Let x be (4 - 7)*(-2)/3. Is y(x) a multiple of 17?
False
Let z(g) = g**3 - 12*g**2 + 10*g + 11. Let h be z(11). Suppose h = -0*y + y - 37. Is 8 a factor of y?
False
Let q = 36 - 26. Let l(c) = -c**3 + 7*c**2 - 3*c + 1. Let i be l(3). Let h = i - q. Does 9 divide h?
True
Suppose -3*p + 9 = -30. Does 12 divide p?
False
Let l(f) = f - 2. Let b be l(4). Is 1*(b + -5) + 17 a multiple of 14?
True
Let g = 222 - 127. Suppose 3*z - 52 = g. Is 16 a factor of z?
False
Does 15 divide 28 - (-1 + 1/(-1))?
True
Let a(i) = 0 - 1 - 2*i + 3*i + 52*i**2 - 2*i. Is a(-1) a multiple of 26?
True
Suppose 0 = 2*u + 63 + 7. Is (-1775)/u + 2/7 a multiple of 27?
False
Suppose 204 = -5*y + 3*n + 833, -4*n + 262 = 2*y. Is y a multiple of 17?
False
Let h(o) = o**3 + 12*o**2 - 9*o + 16. Is h(-12) a multiple of 31?
True
Let l be (6/5)/(2/5). Suppose 9 = -r - l*r + 3*g, 0 = 5*r + 3*g - 9. Suppose r = -2*q + 3 + 5. Does 3 divide q?
False
Let z(v) = -v**2 - 12*v - 2. Is 11 a factor of z(-5)?
True
Let y = -1 - -7.