5*b - 15. Is q a multiple of 2?
False
Let n(s) = -5*s**2 + 8*s + 6. Let g(z) = 4*z**2 - 7*z - 6. Let f(v) = 4*g(v) + 3*n(v). Is 3 a factor of f(6)?
True
Suppose -2*m + 0*m = -288. Suppose 10*o = 5*o + y + m, 0 = -2*o - y + 59. Suppose 5*s - 91 = -4*i - o, 5*s - 80 = -5*i. Is i a multiple of 18?
True
Is (-40)/(-80)*(-1)/((-1)/240) a multiple of 15?
True
Let d(i) = i + 8. Let b be d(-4). Let y(f) = -f**2 + 7*f + 4. Let z be y(b). Is 12 a factor of (z/(-6))/(-1)*9?
True
Suppose -2*x - x - 5*q + 117 = 0, -2*q = -4*x + 156. Does 13 divide x?
True
Let c(q) = -3*q**3 - 4*q**2 + 3*q - 1. Let u be c(-4). Suppose 5*d = -3*t - u, -d - 95 = 3*t - 0*d. Is 10 a factor of (-24)/9*t/8?
True
Let v(w) = -53*w - 9. Is 14 a factor of v(-3)?
False
Let d(c) = -c**3 - 5*c**2 - 2*c + 4. Let t be d(-4). Let m(s) = -2*s - 3. Let l be m(t). Suppose -41 + 266 = l*x. Is x a multiple of 22?
False
Let u be (15 + -1)/2 + -2. Suppose 5*c + 120 = 5*k, u*c = -5*k - 48 - 22. Let y = 3 - c. Does 11 divide y?
True
Is (-44)/(-7 - -3)*1 a multiple of 6?
False
Let b(v) be the second derivative of 5*v**3/2 + 3*v. Is 14 a factor of b(1)?
False
Suppose 3*i + 11 = -0*c - 5*c, -3*i + 4*c - 29 = 0. Let d(w) = 0*w**2 + 5 - w**2 - 3*w - 5*w. Does 5 divide d(i)?
False
Let u = 98 - 2. Does 16 divide u?
True
Let x = 131 + -17. Suppose s = 4*s + 2*u - 85, -4*s - 2*u + x = 0. Does 14 divide s?
False
Suppose 18 = q + 16. Let k(j) = j**3 - j**2 + 2*j + 1. Is k(q) a multiple of 9?
True
Let u(x) be the second derivative of -x**5/20 - x**4/6 + x**3/6 + 3*x**2/2 - 4*x. Is 3 a factor of u(-3)?
True
Let s(p) = -p**3 + p + 3. Let v be s(-4). Let m = v - 44. Does 8 divide m?
False
Let q(b) = b - 1. Let a(f) = -f**3 + f**2 - f + 4. Let z be a(0). Let i be q(z). Suppose 0 = -3*c - 0 + 9, i*c - 66 = -3*u. Is u a multiple of 19?
True
Let l = 570 + -318. Does 18 divide l?
True
Let i(a) = -78*a - 2. Suppose m + 3 = -2*m. Does 15 divide i(m)?
False
Let o(n) = n + 4. Let u be o(-4). Suppose -y + 15 + 17 = u. Does 7 divide (y/6)/(3/9)?
False
Suppose v + 2 = -2*n, -4*v + 13 = -3*n + 32. Let y(s) = s**2 + 5*s + 6. Let r be y(v). Suppose -3*l = 4*g - 71, 3*l = -r*g - 2*l + 53. Is g a multiple of 5?
False
Suppose -a = -s + 8, -s + 26 = 4*a + 8. Is (-89)/(-3) - s/15 a multiple of 19?
False
Let i = 142 - 128. Is i a multiple of 2?
True
Suppose u - 20 = -6*m + m, 0 = -2*u + m - 4. Suppose -3*f - f - t + 264 = u, 5*t = -3*f + 181. Is f a multiple of 12?
False
Suppose 3 = i - l, i + l + 0 = 5. Suppose -2 = 3*n - i*d, -2*n + 7*n = -5*d + 20. Suppose n*p = 6 + 6. Is 3 a factor of p?
True
Let a = -3 - -5. Suppose -3 = 4*b + 4*r + 9, -21 = a*b + 5*r. Does 12 divide 1 - -1*13 - b?
True
Let m be (-13)/(-11) - (-18)/(-99). Let y(g) be the third derivative of 7*g**5/30 + 2*g**2. Does 6 divide y(m)?
False
Suppose 5*t = -4*k + 23, -k + 3*t - 3 - 4 = 0. Suppose 6*v = k*v + 36. Does 6 divide v?
False
Let x = 21 + -21. Suppose 5*v = -x*v + 150. Is 15 a factor of v?
True
Suppose 0 = 4*a - 12. Suppose 3*l = a*d + d - 74, -4*l = d - 9. Does 17 divide d?
True
Let v be 15 + -1 + (-2 - -3). Let t = 53 - v. Is 19 a factor of t?
True
Suppose 0 = a - 20 + 18. Suppose a*m + 57 = 5*m. Is 9 a factor of m?
False
Let w = 16 - 4. Does 10 divide 1 + 0 + w + 1?
False
Let c(b) = -4*b**3 + 4*b**2 + 2*b - 2. Let z = -2 + 0. Let r be c(z). Suppose 4*i - r = 2*i. Does 14 divide i?
False
Suppose 0*a = 5*a - 20. Suppose -f = -w + 6 + 14, -w - a*f = -25. Does 13 divide w?
False
Let o = 32 + 3. Is 4 a factor of o?
False
Let b = -54 + 96. Let j = 117 - b. Is 15 a factor of j?
True
Suppose 0 = -3*b - 3*o + 63, 0 = -b - 3*o + 34 - 3. Is b/(-24) - 128/(-3) a multiple of 9?
False
Suppose -5 = 2*c - 13. Suppose 0 = c*v - v + 60. Does 9 divide -1 - v - (-3 + 4)?
True
Let k = -64 - -134. Is 10 a factor of k?
True
Let a(o) = -o**3 + 10*o**2 + 3*o - 9. Does 7 divide a(10)?
True
Suppose 3*p - r = -157, -6*p + 3*r = -3*p + 159. Let h = p - -152. Is 25 a factor of h?
True
Suppose 7*r = 4*r - 171. Let p = r - -85. Does 14 divide p?
True
Let t = -13 - -2. Let a = 31 - t. Suppose 0 = 3*s - a - 42. Is s a multiple of 16?
False
Let b(q) = -13*q - 79. Is b(-23) a multiple of 11?
True
Let w be 1*3/(-6)*-10. Suppose 2*z - 35 = -w*q + 45, 4*z = 0. Is 16 a factor of q?
True
Let r be (4 + -2 + -1)*34. Let v = 38 + r. Suppose -3*k = k - v. Is k a multiple of 11?
False
Suppose -3*n - 6*s + 2*s + 51 = 0, s - 85 = -5*n. Suppose 5*p + 2 = n. Is 8 a factor of p/(-7) + 101/7?
False
Let l = 18 - 0. Does 18 divide l?
True
Let o be -26 - (1 + -1 + -1). Suppose h - 33 = 18. Let a = h + o. Does 13 divide a?
True
Let s(m) be the first derivative of -m**3/3 - 4*m**2 + 6*m - 3. Let c be s(-6). Let k = 29 - c. Is 11 a factor of k?
True
Is (-1)/(3*4/(-84)) a multiple of 3?
False
Let n(i) = 2*i**3 + 3*i**2 - 4*i + 1. Let l(y) = y**3 - y**2 - y. Let v(f) = 3*l(f) - n(f). Is v(6) a multiple of 4?
False
Let d(u) = -94*u - 40. Does 24 divide d(-4)?
True
Suppose 2*i - 40 = -2*i. Suppose 3*j = 4*g + 36, -4*j + 58 - i = -g. Is j a multiple of 6?
True
Let o(b) = 65*b + 1. Is o(1) a multiple of 23?
False
Suppose -d + 68 = -5*r, 3*d - 5*r = 5*d - 136. Is d a multiple of 23?
False
Let g = 15 - -73. Is g a multiple of 16?
False
Suppose 4*m = -1 + 9. Suppose -2*l + s = -5*l + m, 2*l + 5*s + 16 = 0. Does 2 divide l?
True
Suppose 0 = -b + 3*w + 11 + 66, -2*w - 288 = -4*b. Does 15 divide b?
False
Let j(z) = -3*z**3 - 4*z**2 - z - 9. Does 29 divide j(-4)?
False
Let n(f) be the second derivative of -1/2*f**2 - 1/3*f**3 + f + 1/12*f**4 + 0. Is 2 a factor of n(-1)?
True
Let y(l) be the third derivative of -l**5/60 + 7*l**4/24 + 4*l**3/3 + l**2. Suppose 0*q - 6 = -q. Is 11 a factor of y(q)?
False
Let g(t) = 9*t - 11. Let a(v) = -26*v + 32. Let n(b) = 6*a(b) + 17*g(b). Does 20 divide n(-5)?
True
Let z(y) = y**2 + 7*y + 5. Does 7 divide z(-10)?
True
Suppose 3*r - 288 = -108. Is r a multiple of 16?
False
Let v(d) = d + 108. Is v(0) a multiple of 23?
False
Does 11 divide 63/(-14)*(-68)/6?
False
Let g(p) = -3*p + 6 + 6 + 1. Does 10 divide g(-9)?
True
Let s(r) = -r**2 - 11*r - 13. Let q be s(-9). Suppose 7*v - 12 = 4*u + 3*v, -2*u = q*v - 29. Is u a multiple of 2?
True
Let m = -202 + 324. Is 21 a factor of m?
False
Suppose 440 = 4*u + 4*u. Does 17 divide u?
False
Suppose -5*p + 3*f - 344 + 1014 = 0, 2*f + 141 = p. Suppose -24 = -g - g - 5*z, 0 = 5*g + z - 83. Suppose -p = -3*n - g. Is 19 a factor of n?
True
Let v be (8/(-10))/((-2)/(-10)). Is 6 a factor of 4/(v/(-19)) + 2?
False
Suppose -1 - 3 = -4*u. Let l(c) = 2*c**2 - 3*c + u + 3*c - 2*c + 14*c**3. Is 6 a factor of l(1)?
False
Let d(r) = -r. Let n(x) = -66*x. Let p(y) = 165*d(y) - 3*n(y). Is 19 a factor of p(2)?
False
Let o = -28 - -66. Is 16 a factor of o?
False
Let s(m) = -75*m - 4. Let l be s(-2). Suppose l = 4*n - 34. Is n a multiple of 15?
True
Let w(g) = -g**2 - 1. Let d be w(3). Let v = -4 - d. Is 6 a factor of v?
True
Let l(q) = q**2 + 12*q + 22. Is 6 a factor of l(-15)?
False
Suppose x - 4 - 3 = k, 2*k + 8 = -x. Suppose 0 = i + 2*z - 9, -10 = -2*i + z - x. Suppose i*g = 2*g + 33. Is g a multiple of 5?
False
Is 18/(-63) - 2048/(-14) a multiple of 34?
False
Let q(c) = -c**3 + 2*c**2 + c - 4. Let s be q(-3). Suppose s = i - 12. Does 23 divide ((-32)/(-10))/(5/i)?
False
Let t(g) = g**2 + 4*g + 9. Let j be (-42)/12 - 1/2. Is t(j) a multiple of 3?
True
Let g(b) = -2*b**2 - 1. Let p be g(-1). Let d(a) = -3*a + 3. Is d(p) a multiple of 12?
True
Let g(t) be the first derivative of -6*t**2 - 6*t + 2. Let s be g(-5). Suppose -6*y + 3*y = -s. Does 12 divide y?
False
Suppose -3*x = -5*c, -4*x = -5*c + c. Suppose c = 3*a + 4 - 46. Is a a multiple of 14?
True
Suppose 0*h - 5*g = 4*h + 17, -3*h + 4*g + 26 = 0. Suppose -7*t + 4*t = -9. Suppose -h*c + 45 = -t. Does 12 divide c?
True
Let a be ((-18)/3)/(3/2). Let m = a + 9. Suppose -4 = -m*f + 11. Does 3 divide f?
True
Suppose -44 + 332 = z - 4*v, -2*v = 4*z - 1206. Does 50 divide z?
True
Let k = -9 + 12. Let j(o) be the third derivative of o**4/3 - 2*o**3/3 + o**2. Does 10 divide j(k)?
True
Let r = 12 + 36. Is 8 a factor of r?
True
Let d(m) = -2*m**3 - 4*m**2 - 3*m. Let n be d(-2). Suppose -k - n = k. Let t(b) = -b**3 - b**2 - 5*b - 3. Is 17 a factor of t(k)?
False
Suppose 2*w = 4*t - 2*t + 90, 2*w + 5*t = 55. Let o = 23 - 37. Let