rue
Let b(t) = -7*t**2 - 28*t - 16. Let n(h) = 0*h**2 - 28 + 12 - 6*h**2 - 27*h. Let y(i) = -5*b(i) + 6*n(i). Is y(-16) a multiple of 8?
True
Let o(r) = 1135*r**3 + 13*r - 28. Is 19 a factor of o(2)?
False
Suppose x - u - 106 = 0, 3*u + 10 = x - 86. Let v = 1080 - x. Does 51 divide v?
True
Let k(j) = -j**3 + 67*j**2 + 177*j + 402. Does 40 divide k(58)?
False
Let b(r) = r**2 - 4*r. Let t be b(5). Suppose 2*s + 742 = 4*u, -4*u = -5*u - 3*s + 175. Suppose -d - u = -t*d. Is 9 a factor of d?
False
Let z(t) = -3*t + 3. Let d = -76 + 110. Let s = -40 + d. Does 7 divide z(s)?
True
Let n(l) = l**3 + 0*l + 19 - 3*l**2 + 0*l. Let w(g) = -5*g**3 + 2*g**2 - g - 2. Let y be w(-1). Does 9 divide n(y)?
False
Let f = -28 + 23. Let k(a) = -12*a**3 - 5*a**2 - 4*a - 3. Let y(o) = 13*o**3 + 6*o**2 + 5*o + 4. Let l(x) = f*y(x) - 6*k(x). Is l(2) a multiple of 13?
True
Suppose 0 = -4*h + 164 - 44. Suppose h*i - 5190 = 24*i. Is i a multiple of 61?
False
Suppose 51*k - 3*t + 24178 = 56*k, 4*t - 24184 = -5*k. Is 32 a factor of k?
True
Let k = -953 + 314. Does 25 divide -2 + -1 - k*(0 + 1)?
False
Let k(r) = -r**2 - r. Let j be k(1). Let z be (-105)/(-10) + 1/j. Suppose 0*p = -2*t - 2*p + 276, -z = -5*p. Is 8 a factor of t?
True
Is 17 a factor of (423/(-27) - -16) + 8872/6?
True
Let j = -336 - -624. Suppose -9*w + j = -7*w. Is w a multiple of 16?
True
Let a(q) = 28*q**2 - 25*q + 125. Let h(p) = -15*p**2 + 13*p - 62. Let u(m) = -2*a(m) - 5*h(m). Does 10 divide u(5)?
True
Let p = 89 - 81. Suppose 0 = p*q - 7*q - 4, -4*b + q = -560. Does 4 divide b?
False
Let s = -105 - -167. Is 31 a factor of 9/6*s*48/9?
True
Let h(m) = -m**3 - 8*m**2 - 8*m - 15. Let j be h(-6). Let w be 84/j - -2 - 134/(-26). Does 2 divide (-3)/(9/(-21)) - 10/w?
False
Let r(i) = i**3 - 8*i**2 + 10*i - 1. Let m be (42 - -1) + 8 + -6. Let p = -38 + m. Is 4 a factor of r(p)?
True
Let a = 188 + -183. Is -7 + 2 - (-1165 + a)/2 a multiple of 23?
True
Let t = 59 + -57. Suppose s = 2*i + 2*s - t, s - 2 = 0. Suppose -3*u - u + 308 = i. Is u a multiple of 11?
True
Let l = -164 - -184. Let t(y) = -y**3 + 20*y**2 + 5*y + 14. Is 18 a factor of t(l)?
False
Suppose 0 = -3*b + 10 + 11. Suppose -4*k + x + 10 = -b, 9 = 3*k + 3*x. Suppose k*s - 3*s - 117 = 0. Is s a multiple of 39?
True
Let d = 1166 - -990. Does 22 divide d?
True
Suppose -97709 + 468005 = 111*k. Is 8 a factor of k?
True
Does 41 divide 14657 - (-29)/(58/(-12))?
False
Let s = 92 + -71. Suppose 3*n + s = -4*n. Is ((-302)/n)/(4/6) a multiple of 32?
False
Let j = -3 - -6. Suppose -j = 5*r - 3. Suppose r = -3*y - y + 284. Does 19 divide y?
False
Suppose 11*n = -21 + 54. Let w be -142*(4/(-8))/(n/12). Let j = -149 + w. Is 27 a factor of j?
True
Let o = 5920 + -3824. Suppose a - o = -3*a. Suppose -v + 148 = -3*d, 0 = 4*v + 6*d - d - a. Is 17 a factor of v?
True
Let h = -2 + 4. Let y(k) = -3*k + 8. Let c be y(h). Suppose 5*v - c*p = -5*p + 217, 4*v + 2*p = 172. Does 29 divide v?
False
Suppose -2*v + 8426 - 1684 = -4*k, -3*k = 3*v - 10086. Is v a multiple of 5?
True
Let m = 332 + -110. Suppose -4*t = -t - m. Suppose 73*x - t*x = -91. Is 14 a factor of x?
False
Suppose -4*z - 2*q = -6, -5*z + 4*q + 5 = -9. Suppose -3*i - z*h + 107 = 0, 5*i - 11*h = -14*h + 180. Does 11 divide i?
False
Let n(g) = -g**2 + 6*g + 5. Let i(b) = -b**3 + 6*b + 5. Let m(f) = 2*i(f) - 3*n(f). Does 11 divide m(-3)?
False
Let t(n) = -140*n + 27. Let w(z) = z**2 + 11*z + 28. Let q be w(-5). Is 13 a factor of t(q)?
False
Let a = 335 - 254. Let n = 18 - 11. Suppose a + 3 = n*u. Is u even?
True
Let q = 47087 - 32995. Is q a multiple of 22?
False
Let x = -33 + 3. Let d be 20/30*x/(-4). Suppose -i + 216 = d*i. Does 7 divide i?
False
Let q(a) = -17*a**3 + 6*a**2 - 133*a - 885. Does 51 divide q(-7)?
True
Let x = -15 + 8. Let b(u) = 24 - 9 - u - 14*u - u**2 + 4*u. Does 12 divide b(x)?
False
Let k = 371 - -2671. Let c(b) = 16 + 10 + k*b + 11 - 3040*b. Is c(20) a multiple of 8?
False
Let o(j) = j**2 + j - 1. Let u be (-16)/(-24) + (-16)/6. Let c(b) = -b**3 + 6*b**2 - 6*b + 2. Let f(d) = u*o(d) - c(d). Is 13 a factor of f(9)?
True
Let c(n) = -4777*n - 1208. Does 4 divide c(-4)?
True
Is (-119)/49 - 9/(-21) - (-62727)/7 a multiple of 31?
True
Suppose 0 = 42*s - 49*s - 4564. Let p = s + 1044. Is p a multiple of 8?
True
Suppose 0 = -4*z - f - 326, -5*z + 3*f - 533 = -134. Let s = 84 + z. Suppose a + q = 68, -s*a = -2*a + 5*q - 52. Is 12 a factor of a?
True
Suppose 2*w - 5*w + 429 = 0. Suppose 0 = 3*f - w - 247. Suppose -5*a = 5*z - f - 325, a + 2*z - 86 = 0. Does 24 divide a?
True
Suppose -96*r + 112*r = 304575 + 56065. Is 15 a factor of r?
False
Let p(c) = c**2 + 10. Let a be p(13). Suppose 1271 = 21*d + a. Is 20 a factor of d?
False
Does 3 divide (-5 - (0 - 8))*-2 - (-41952)/23?
True
Suppose p + 30 = 2*f - 21, -22 = -f + 4*p. Suppose -32*u = -f*u - 2706. Is u a multiple of 11?
True
Suppose 14*u - 2246 - 6658 = 0. Let a = -528 + u. Is a a multiple of 90?
False
Suppose 233 = -12*o - 355. Does 4 divide (o/14)/(-7) + 366/4?
True
Let q be 1*2 - (0 - -5 - -3). Let d(z) = -2*z - 10. Let l be d(q). Suppose -5*j - 106 = -x, l*x - 4*j - 127 - 55 = 0. Is 27 a factor of x?
True
Let w = -2884 - -3295. Is 14 a factor of w?
False
Let a be (-1)/(825/(-410) + 2). Let j = -82 + a. Suppose j = -4*x + 6*x - 90. Does 14 divide x?
False
Suppose 2609*a - 2589*a = 23640. Is a a multiple of 6?
True
Suppose 154826 = 442*a - 758. Does 2 divide a?
True
Suppose 5*g = 5*p - 10, 3*g - 19 = 5*p - 7*p. Suppose -5*c = -p*n - 10065, -c - 4*n + 950 = -1088. Does 63 divide c?
False
Let g(y) be the first derivative of y**2/2 + 22*y - 17. Suppose -5*h + 92 = 4*o, -3*h + 74 = 2*h - 2*o. Is 14 a factor of g(h)?
False
Let j = 713 + -711. Suppose c - 211 = -6*o + 5*o, -j*c = -o + 226. Is o a multiple of 72?
True
Suppose 0 = i + 4*i + 370. Let a = i + 71. Does 13 divide (-1 + 0)/((-2)/(-180)*a)?
False
Let i(o) = -138*o - 28. Let k be i(-4). Suppose -3*s = -4*l - k, -48 - 110 = -s - 2*l. Is s a multiple of 21?
True
Let b be (-10)/(-55) - 53/(-11). Suppose x + 21 = b*v, 3*x - 3*v = -v - 11. Let h(q) = -61*q - 2. Is h(x) a multiple of 59?
True
Suppose 5*z + 0*t - t = 42, 3*z - 42 = -5*t. Let f(b) = -6 - z - 4*b + 12. Does 3 divide f(-3)?
True
Suppose 0 = 7*n + 32 - 18. Is 4 a factor of 32805/165 + n/(-11)?
False
Suppose 276*b - 273*b - 5*m = 33053, -b + 11046 = 4*m. Does 16 divide b?
False
Let b(z) = 37*z - z**2 + 3 - 28 - 53*z. Let n be b(-14). Suppose -2*l + 30 = 2*h, 4*l - 4*h - 41 = n. Is 6 a factor of l?
False
Let i = -1439 - -2055. Suppose -8*h + i = 3*h. Is 15 a factor of h?
False
Does 4 divide 2/(-4)*(35 + -49)?
False
Let z = 5359 - 3158. Does 8 divide z?
False
Let g(s) = -s**3 + 10*s**2 + 28*s - 4. Let c = -45 + 47. Let u be -2*5/c - -17. Is g(u) a multiple of 17?
False
Suppose -4*l - 666*a + 665*a + 81550 = 0, -8 = -4*a. Is 24 a factor of l?
False
Is 44 a factor of -45*(-18)/90 + 5956/4?
False
Suppose 0 = -9*q + 8*q + 11. Let j(d) = -5*d - 19. Let c(r) = 5*r + 20. Let t(u) = -4*c(u) - 6*j(u). Is t(q) a multiple of 18?
True
Let d(u) = u**3 + 8*u**2 - 11*u + 8. Suppose 5*k - 33 = -x - 171, 2*x + 266 = -5*k. Let w be (x/40)/(2/5). Is d(w) a multiple of 31?
False
Let m = 105310 + -55954. Is 54 a factor of m?
True
Let u(f) be the first derivative of f**5/6 - f**4/4 + 4*f**3/3 - 17*f**2/2 + 11. Let i(k) be the second derivative of u(k). Is 42 a factor of i(4)?
False
Let g = 6992 + -4178. Is g a multiple of 14?
True
Let l(z) = -14*z + 17. Let b(g) = g - 1. Let s(v) = -6*b(v) - l(v). Is 8 a factor of s(10)?
False
Let k(v) be the third derivative of 1/40*v**6 + 0*v - 2/3*v**3 + 1/24*v**4 + 1/20*v**5 + 0 + 35*v**2. Is k(2) a multiple of 5?
False
Let f = -40 + 56. Suppose 15*k = f*k - 69. Is 7 a factor of (k/(-9) - -1)/(3/(-9))?
False
Let q be (0 - 8)*3/24*-158. Is 22/(-6) + (-1)/3 + q a multiple of 7?
True
Suppose 151 = -6*x + 1237. Suppose 2*d + 5*s - 84 = 0, -4*d + 13 + x = -3*s. Does 14 divide d?
False
Suppose 4*u - 2*a + 1362 = 0, -2*a + 864 = -5*u - 839. Let z = 685 + u. Suppose x = -3*x + z. Is x a multiple of 19?
False
Suppose 0 = -5*k - 4*u + 3798, 3*k + 2*u + 55 = 2335. Is k/(-4)*(-56)/84 a multiple of 7?
False
Let c(h) = 15*h**2 - 8*h - 2. Let r be c(5). Let b be 2 - (-1*r + 4). Let x = -184 + b. Is 18 a factor of x?
False
Suppose -2*b = 201