st derivative of -t**3/3 - 10*t**2 - 16*t + 4. Is 7 a factor of m(-17)?
True
Let k(v) = v**3 + 27*v**2 + 21*v - 16. Does 43 divide k(-25)?
False
Let h(b) = 2*b**2 - 8*b. Let y(p) = p**3 - 2*p**2 + 3*p - 2. Let k be y(2). Let g be h(k). Suppose g*j = -4*j + 56. Is 9 a factor of j?
False
Let t = 299 - 283. Let r(s) = s**3 + 6*s**2 + s + 8. Let y be r(-6). Let p = t - y. Does 14 divide p?
True
Does 22 divide 28/16 + -1 - (-5550)/24?
False
Suppose -4*b - 3*w + 7*w + 16 = 0, 4*w + 16 = 2*b. Suppose 3*s - 84 - 150 = b. Is s a multiple of 13?
True
Suppose -3*y + 16*y = 468. Does 2 divide y?
True
Let p(w) = 4*w + 12. Let m be p(-6). Is (m + 0)*30/(-8) a multiple of 9?
True
Suppose 0 = 4*z + z + 45. Let l be (3/z*0)/2. Suppose l = -d + 4*d - 57. Is 13 a factor of d?
False
Suppose 22 = -4*a + 18. Let r be a/(-4) + 26/(-8). Is (-6)/(-2) + 11 + r a multiple of 4?
False
Suppose b - 2*b = 0. Suppose -2*x + 2*v = -b*x + 14, -4*x + 3*v = 23. Does 7 divide x/7 + 1472/56?
False
Let c(u) = 40*u - 64. Does 7 divide c(5)?
False
Is ((-10 + 12)*152)/((-2)/(-12)) a multiple of 96?
True
Let q(w) be the third derivative of w**5/30 + 7*w**4/24 + w**3 + 4*w**2. Let y be q(6). Suppose m = -2*s + 75, 4*m - y - 198 = -2*s. Is 27 a factor of m?
True
Let i = -14 - -17. Suppose u - 81 = -2*u - 3*v, -i*u - 2*v + 86 = 0. Let g = -24 + u. Is g a multiple of 4?
True
Is 83 + (-8)/(-8) + -6 - 8 a multiple of 70?
True
Let v = 98 + -27. Suppose -v - 43 = -6*p. Is 8 a factor of p?
False
Suppose -3*b = 2*b + 205. Let h = b + 102. Is h a multiple of 28?
False
Suppose 3862 = -66*x + 130516. Is 19 a factor of x?
True
Does 45 divide (-20519)/(-12) - (-70)/840?
True
Let f = 343 + 265. Is f a multiple of 38?
True
Let u(x) = -x**2 - 9*x - 13. Let y be u(9). Let v = y + 318. Is 15 a factor of v?
False
Suppose -4*a + 206 + 150 = 0. Let s = -53 + a. Does 9 divide s?
True
Let l(z) = -37*z - 54. Is l(-5) a multiple of 4?
False
Let l be 1 - (-1 - -2) - 0. Let t(j) = j**3 + 11*j**2 - 14*j - 14. Let y be t(-12). Suppose l = f - y - 72. Does 26 divide f?
False
Let v = -1 - -3. Suppose s + v*s = 21. Is (25 - s) + 0/2 a multiple of 6?
True
Let s(b) = -b + 14. Let r be s(9). Is 23 a factor of 68 + 1/5*r?
True
Let z(w) = 4*w**2 + 21*w - 33. Let k(m) = m**2 + 5*m - 8. Let g be (-5)/1 - (-12)/4. Let c(h) = g*z(h) + 9*k(h). Is c(-6) a multiple of 6?
True
Let b be 24/(-9)*(-183)/4. Let v = b - 202. Let s = -55 - v. Does 16 divide s?
False
Let r(p) = -11*p + 5. Let v be r(-4). Let a = 97 - v. Does 16 divide a?
True
Let o(i) = -6*i**2 + 182*i + 48. Is 10 a factor of o(29)?
True
Suppose 46324 = 20*a - 32476. Is a a multiple of 20?
True
Suppose -21*q + 354 - 102 = 0. Does 2 divide q?
True
Let w(x) = -633*x - 12. Is 27 a factor of w(-1)?
True
Is 10 a factor of (51/(-4))/(10/(-400))?
True
Does 7 divide (-45)/(-180) + 7425/12?
False
Let r(o) = 103*o**2 - 7*o + 5. Is 16 a factor of r(6)?
False
Let c(w) = 5*w**2 - 3*w - 7. Let o be c(5). Let m = o + -71. Let z = m - 16. Is z a multiple of 4?
True
Suppose -2*s + 44 + 24 = 0. Does 3 divide s?
False
Let z be ((-4)/1)/((2/3)/(-1)). Is -2*309/2*(-2)/z a multiple of 10?
False
Let k(a) be the third derivative of -a**4/24 + 2*a**2. Let w(f) = -6*f + 1. Let r(p) = 4*k(p) + w(p). Is 10 a factor of r(-2)?
False
Let f = 17 + -10. Let l = -5 + f. Suppose -3*h = -l*h - 23. Is h a multiple of 7?
False
Let u(l) be the second derivative of -11*l**6/720 - l**5/120 - 5*l**4/12 - 4*l. Let s(p) be the third derivative of u(p). Is s(-2) a multiple of 8?
False
Suppose -1061 = 7*n - 3854. Does 5 divide n?
False
Let q(m) = m**2 - 3*m - 100. Is 24 a factor of q(-17)?
True
Let x(d) = d**2 + d + 4. Suppose 0 = -p - 2. Let l be p/((-1)/3 + 1). Is x(l) a multiple of 5?
True
Suppose 0 = 2*j - 60 - 210. Is j a multiple of 15?
True
Suppose 5*l + i - 8298 = 0, 0 = -3*l + 19*i - 21*i + 4983. Is l a multiple of 79?
True
Let q = 588 + -431. Does 7 divide q?
False
Let u = -9 - -11. Is (0 - (u - 1))*-37 a multiple of 31?
False
Suppose -7 = -m + 9. Let y = -15 + m. Let n = y + 83. Is n a multiple of 28?
True
Let r(m) = -159*m + 12. Is r(-10) a multiple of 18?
True
Suppose -3*u + 36 = -7*u. Let f be -1 + 9/(u/(-4)). Is 7 a factor of 30 - (f - 0 - 1)?
True
Let a(f) = -2*f + 14. Let j be a(6). Let v(t) = -3*t + 4 + j*t + 0 - t**2 + 5*t**2. Is 19 a factor of v(-5)?
False
Suppose 5*h - 128 = 2*c, 0*c + 8 = -2*c. Is 8/h - 1824/(-9) a multiple of 29?
True
Let r = 1 + 6. Suppose -2*c + r*c = 0. Suppose c = 4*j - 6 - 14. Does 2 divide j?
False
Let x be 2/(-1) - (-4 - (4 - 6)). Suppose x = -8*t + 508 + 20. Is t a multiple of 11?
True
Suppose 0 = 2*o + 4*o - 18. Suppose 3 = o*f, f - 5*f - 116 = -3*d. Is 5 a factor of d?
True
Suppose 0*o = 3*o + x - 632, 0 = -5*x - 5. Does 8 divide o?
False
Let u(g) = -g**2 + 6*g + 2. Let d be u(6). Suppose 0 = -0*k + d*k + 130. Is 26 a factor of k/(-2)*(-12)/(-5)?
True
Let i = 284 - -1952. Does 43 divide i?
True
Suppose 2*v - 3*a + 12 = a, 0 = -3*v - 4*a + 22. Let z(n) = 3*n**v - 4 + 0*n**2 + 11 - 2*n**2. Is z(0) a multiple of 7?
True
Suppose -17 = -5*n + 4*n. Let a = n - 3. Let p = 29 - a. Is 15 a factor of p?
True
Let g(u) = -15*u + 7. Suppose -3*h = 15, -b + 3*h + 5 = -7. Is g(b) a multiple of 26?
True
Let n be 6/(-4)*(-3 + 11). Does 57 divide (-5463)/n + 21/28?
True
Suppose -2*i - y = i + 175, -2*y - 292 = 5*i. Let v be (-3)/((-9)/444) - 6. Let z = v + i. Is 34 a factor of z?
False
Let j be 1/((-16)/24)*(-8)/3. Is 63/(j/(-1) - 44/(-8)) a multiple of 21?
True
Is 6 a factor of -2*(49590/12)/(-15)?
False
Let w = -40 - -81. Suppose w*o = 40*o + 150. Is o a multiple of 20?
False
Let d be 33/9 + (-2)/3. Suppose d*n + n + 8 = 0. Is -3 + 2 + n + 12 a multiple of 3?
True
Let d(r) = -255*r - 10. Does 23 divide d(-5)?
True
Let z(c) = -28*c**3 + 5*c - 118*c**3 - 1 - 3*c - 2*c**2. Let n be z(1). Let q = n - -228. Is q a multiple of 27?
True
Let c(d) be the second derivative of -7*d**5/20 - d**4/6 + d**2 - 14*d. Is c(-2) a multiple of 5?
True
Suppose 3*i - 4 = z + 35, -39 = -2*i + 5*z. Let d = i - 6. Suppose -b - 65 = -d*b. Does 4 divide b?
False
Suppose 15*s - 11261 + 1391 = 0. Suppose 4*k + 120 = -2*b + s, -4*b - k + 1090 = 0. Does 13 divide b?
True
Suppose f - 20 = 22. Let j = f - 14. Suppose -5*y + j = -y. Does 7 divide y?
True
Is 31 a factor of ((-62)/2)/(1/(-23))?
True
Let n = 855 + -656. Does 28 divide n?
False
Let y = -40 - -62. Let r(x) = x**3 - 22*x**2 + 54. Does 4 divide r(y)?
False
Let n = -298 + 430. Is n a multiple of 12?
True
Suppose 0 = 11*y + 17 + 5. Let b(i) = -41*i + 2. Does 16 divide b(y)?
False
Suppose -22*s - 324 = -18*s. Let r = s + 107. Is 4 a factor of r?
False
Let c(b) be the second derivative of -b**3/6 + b**2/2 - 2*b. Let g be c(5). Does 8 divide 664/30 + g/30?
False
Suppose -1712*y + 1707*y + 9400 = 0. Is 10 a factor of y?
True
Suppose -2*v + 5 = 3*w + 1, v + 2*w - 2 = 0. Let t(x) = 9*x. Let y be t(4). Suppose -v*m + y = -212. Does 35 divide m?
False
Let o be 34 + -3*(-16)/(-12). Let x = 6 + o. Is 26 a factor of x?
False
Suppose -4*a + 4*w + 844 - 76 = 0, 4*w = 0. Let t = a + -52. Is 14 a factor of t?
True
Let f = 148 - 89. Suppose -2*z = 47 - f. Is z a multiple of 4?
False
Suppose -5*p + 1415 = -3*m + m, 4*m = -4*p + 1132. Does 43 divide p?
False
Suppose 2*j + 4 = 6. Let q(f) = 42*f. Is q(j) a multiple of 16?
False
Suppose -6*d + 40*d - 10982 = 0. Is d a multiple of 17?
True
Let j = 52 + 249. Suppose -5*w + j = 2*w. Is w a multiple of 27?
False
Let g(o) = 2*o**2 + 3*o + 7. Let i be g(-5). Suppose 4*l - l - i = 3*u, 3*u - 3 = 0. Let d = 31 - l. Is 8 a factor of d?
True
Let k(i) = -i**2 + 16*i - 14. Suppose -3*w + 0*w - 4*g = -28, w = 4*g + 4. Is 5 a factor of k(w)?
True
Let q(i) = -8*i. Let m(f) = 7*f + 1. Let v(s) = 8*m(s) + 6*q(s). Let a be (-10)/15 - 64/(-6). Is v(a) a multiple of 17?
False
Suppose -9338 = -5*b + 3*a, 9*b = 10*b - 5*a - 1850. Is 110 a factor of b?
True
Suppose -5*w = -4*i - 33, 0 = w - 2*i + 3 - 12. Is 116*w/80 - (-1)/(-4) even?
False
Let x(k) = 3*k - 76. Let z be x(26). Suppose q + q + 9 = 5*p, -p = 5*q - 18. Suppose 3*n - q*v - 337 = -28, -4*n + 410 = -z*v. Is n a multiple of 17?
True
Suppose -21 = -18*q + 17*q. Suppose -19*l = -q*l + 268. Does 48 divide l?
False
Suppose 2*g - 1 = 7. Suppose 79 + 809 = g*r. Suppose r = q + q. Is 26 a factor