**6/40 - y**5/20 - y**4/24 - y**3/3 + 3*y**2/2 - 3*y. Let d(q) be the first derivative of g(q). Is d(-2) a multiple of 4?
True
Let i(s) = -150*s + 12. Is i(-3) a multiple of 6?
True
Let t = -36 - -119. Suppose -5*c = -3*z + 338, -254 - t = -3*z + 4*c. Does 25 divide z?
False
Let i be (-4)/(-28) - (-1)/(-7). Suppose d + i = -1. Is d + -2 + 20 - -3 a multiple of 10?
True
Let v(y) = -y**2 + 7*y + 11. Let f be v(8). Suppose 4*g = f*g. Suppose g = -5*n + 131 + 59. Is 19 a factor of n?
True
Let g = 43 + -41. Suppose 0 = -5*j + 6*n - g*n + 285, -2*j = 3*n - 91. Is 7 a factor of j?
False
Let r = -2 - -2. Suppose -4*v = -k + 97, 5*k - 5*v - 56 - 399 = r. Is k a multiple of 34?
False
Suppose 4*w + 3*x = -9, 4*x - 5*x - 3 = -5*w. Suppose w = -16*s + 11*s - 85. Let i = 32 + s. Does 15 divide i?
True
Let u(k) = k**3 - 10*k**2 + k + 11. Let w = 24 + -14. Let i be u(w). Suppose i + 118 = o - 4*f, -361 = -3*o - 2*f. Is o a multiple of 26?
False
Suppose d - 336 = -f, 10*d = -f + 14*d + 321. Is f a multiple of 12?
False
Let i = 2 + 3. Suppose i*z - 96 = -n, z + 58 = 4*z + n. Let u = 31 - z. Is u a multiple of 11?
False
Let z(d) = -15*d + 1. Let i be z(-5). Let p = 124 - i. Is 12 a factor of p?
True
Let n(y) = 2*y**3 + 6*y**2 - 4*y - 5. Let h be n(-3). Is (h + -76)*((-4)/6 - 0) a multiple of 23?
True
Let t = -9 - -12. Suppose 0*u = -t*u + 81. Suppose -6*f - u = -237. Is 16 a factor of f?
False
Let g(h) = h**2 - 4*h + 3. Let i be g(4). Suppose 2*u - 58 = -i*x, -x = 5*u + 2*x - 127. Does 6 divide u?
False
Suppose 38*f + 33354 = 56*f. Does 15 divide f?
False
Suppose -1 = y - 0*b - 4*b, -y = 4*b - 7. Suppose -l + y = -g, 3*l = g - 2 + 19. Does 5 divide l?
False
Let v = -109 + 549. Suppose -220 = -10*o + v. Is 6 a factor of o?
True
Suppose 61*a = 70*a - 13320. Is 8 a factor of a?
True
Let n(g) = 2*g + 5*g**2 - 14 - 3*g + 5*g + g. Does 7 divide n(3)?
False
Let f(u) = 69*u**3 - u**2 + 3*u - 2. Suppose -a - a = -4*s + 6, 3*a + 3 = 0. Does 15 divide f(s)?
False
Suppose -y = -3*y + 6. Suppose y*d = -4*h + 4*d + 16, h - 4 = -2*d. Suppose h*w - 3*c = 35, -5*w + 2*c + 0 + 35 = 0. Does 3 divide w?
False
Let h be (4 - -1)/((-5)/(-145)). Suppose 4*j + j - h = 0. Suppose -49 = -3*q - 4*p - p, -j = -3*q - p. Is q a multiple of 3?
False
Suppose -2*y + 3*z = -3972, -4*z + 1986 = y + z. Suppose 0 = 10*n - 4*n - y. Does 54 divide n?
False
Let v be 14/4 - 11/22. Let t(p) = 2*p**3 + 2*p**2 + p. Let w(c) = -5*c**3 - 7*c**2 - 4*c - 1. Let y(b) = v*w(b) + 8*t(b). Does 3 divide y(6)?
True
Suppose -6*j + 0*j = -24. Suppose -74 = -t + 2*f, j*t + 5*f = 133 + 137. Does 42 divide t?
False
Suppose -9*u - u + 3400 = 0. Is 23 a factor of (-17)/(u/504)*(-20)/6?
False
Let c = 1973 - -184. Does 53 divide c?
False
Suppose -83 = 4*s + 141. Let p(w) = w**2 - 12*w + 10. Let a be p(4). Let x = a - s. Is x a multiple of 13?
False
Let g be (0 - 2/(-4))*84. Suppose -3*z = -g - 207. Is z a multiple of 13?
False
Let p(q) = 3*q**3 - q**2 - 2*q. Let l be p(2). Let k(m) = -2*m + 0*m + 5*m**2 + l*m**3 - 2*m - 15*m**3. Is k(-3) a multiple of 15?
True
Suppose 0*m = -3*m + 15. Let r(f) = 6 + 2 - m*f + 1. Is 9 a factor of r(-4)?
False
Suppose 0 = 31*d - 22*d - 1674. Is d a multiple of 24?
False
Let j(f) be the third derivative of 0 + 29/120*f**6 + 0*f + 4*f**2 + 1/60*f**5 - 1/24*f**4 + 1/6*f**3. Does 11 divide j(1)?
False
Let l = 57 - 96. Let t = l - -77. Is 19 a factor of t?
True
Let d be ((-2)/(-6) + -1)/(4/(-60)). Suppose -5*k + 58 = -4*w, 9*w - d*w - 52 = -5*k. Is 10 a factor of k?
True
Let y(v) = v**2 + 12*v - 24. Let h be y(-14). Suppose -i - 164 = -3*c - 5*i, -h*c + i + 187 = 0. Is 8 a factor of c?
True
Suppose 0 = -i + 2*i - 7. Let x(n) = n**3 - 8*n**2 - 11*n + 4. Let j(d) = d. Let h(p) = -4*j(p) - x(p). Is 23 a factor of h(i)?
False
Let m = -8 - -21. Let y = 6 + m. Suppose 17*t + 144 = y*t. Does 18 divide t?
True
Suppose -8*u + 9 = -15. Suppose u*g + 2*n - n - 31 = 0, 4*g - 43 = -n. Is 3 a factor of g?
True
Is -4*(-3)/66 - 21948/(-44) a multiple of 13?
False
Let t(f) = 2*f**2 - 23 - 14*f + 15 + 11. Is 29 a factor of t(10)?
False
Let w = -895 + 1735. Is 35 a factor of w?
True
Let q(t) = -t**3 - 3*t**2 + 17*t - 177. Is q(-15) a multiple of 36?
True
Suppose 0 = 3*b - 4*r - 4656, -9*b - 7792 = -14*b - 4*r. Does 29 divide b?
False
Let c = -7 - -9. Suppose -c*w - 4 = -0. Is (w/4)/(12/(-312)) a multiple of 13?
True
Suppose -33*u + 12*u + 6552 = 0. Is u a multiple of 21?
False
Let n(y) = 6*y**2 + 68*y - 6. Is n(-28) a multiple of 11?
True
Let m(t) = t**3 - 15*t**2 + 28*t + 18. Is m(13) a multiple of 30?
False
Suppose 7 = 5*l - f, f = 4*l + 3*f - 14. Suppose -2*n - 90 = -l*r, 0 = 5*r + 2*n - 65 - 195. Is r a multiple of 16?
False
Let r be (4/3)/((-2)/3). Let x(o) = 2*o + 1. Let j be x(r). Does 7 divide (j + 17)/(1 - 0)?
True
Let a(i) = 27*i - 5. Let x be a(7). Suppose 4*p + p - x = -c, -3*p = -4*c - 92. Let f = p + -22. Is f a multiple of 9?
False
Let a(q) = 11*q + 2. Suppose 3*n + 4 = 3*o - 2, 2*n = -2*o + 16. Is a(o) a multiple of 5?
False
Suppose 4*f - n = -231, 3*f - 5*n + 3*n + 172 = 0. Let c = f + 80. Does 22 divide c?
True
Let p(m) = 2*m**2 - 3*m + 7. Let u be p(3). Let d = 210 + u. Does 14 divide d?
False
Suppose -5 - 7 = 3*i, 4*r + i = 16. Suppose 0 = r*j + x + 105 - 520, -5*j + 2*x + 400 = 0. Is 12 a factor of j?
False
Suppose 0 = -5*v - 20, -3*j + 2*j = -5*v - 58. Is 19 a factor of j?
True
Let a = -91 - -51. Let f = -22 - a. Is f a multiple of 18?
True
Let j = -8 - -10. Let t(k) = -3*k + 10*k**j + 11 - 3 + 1 - 4*k - k**3. Is t(9) a multiple of 27?
True
Suppose 216 = x + s, s - 420 = 4*x - 1279. Does 8 divide x?
False
Is 8/3*36/(-112)*-196 a multiple of 6?
True
Let d be (-5 + 10 + -3)/((-4)/(-58)). Let w be 6/((3/(-27))/(-1)). Let q = w - d. Does 5 divide q?
True
Let l(t) = -t**3 + 6*t**2 - 4*t - 11. Let m be l(5). Is 16 a factor of (-10 - -13)*(-256)/m?
True
Suppose 0 = -3*r + 53 + 64. Suppose 3*m - r = 3. Is m a multiple of 3?
False
Is 1089 - (-1)/(7/35) a multiple of 31?
False
Suppose 1120 = 5*z - 365. Is 25 a factor of z?
False
Suppose 0 = -3*v - 8*l + 4*l - 34, 14 = -5*v + 4*l. Is 2 a factor of -3 + (-22)/v*3?
True
Suppose -2*h + 151 = -3*t + 3*h, 4*t = 3*h - 194. Let j = t - -96. Is 7 a factor of j?
True
Let u(p) = -3 - 9 - 16*p + 1. Is u(-4) a multiple of 10?
False
Let w(x) = 10*x - 3. Let r(u) = 30*u - 9. Let p(l) = 3*r(l) - 8*w(l). Let g be p(-2). Let m = g + 38. Does 15 divide m?
True
Suppose -5*w = 5*h, 0*h = 5*h + 15. Suppose -5*d = w*y - 22, d = y - 0*y - 2. Suppose -184 = -4*o - y*k, -o + k + 34 = -k. Does 14 divide o?
True
Let f(t) be the second derivative of -t**5/20 + 5*t**4/12 + t**3/3 - t**2 + 16*t. Is 6 a factor of f(4)?
False
Let n be (10/15)/(4/(-42)). Is 20/(-6)*(-17 + 4 - n) a multiple of 5?
True
Let d = 1 + -5. Let c(u) = -u**3 + 2*u**2 + 6*u - 2. Let y be c(d). Is 14 a factor of 0*1/5 + y?
True
Suppose 5*y + 147 = 4*s, 6*s - 4*s - y - 69 = 0. Let z = s + 217. Does 25 divide z?
True
Suppose -u = -o - 9 + 3, o + 10 = 3*u. Suppose -4*n - 5*a = -301, 192 = 4*n + a - 89. Suppose -27 = u*z - n. Is z a multiple of 9?
False
Is 34 a factor of (56/5 + -1)*(42 - 32)?
True
Suppose -25*x + 30*x - 2070 = 0. Is 6 a factor of x?
True
Suppose -r = 4*t - 199, -3*t + 1 + 131 = -5*r. Does 7 divide t?
True
Suppose -a = -3*d - 46, -a - d = -3*a + 67. Let k = 57 - a. Let r = k - 2. Does 6 divide r?
True
Let g be -1 + (24 - (-2 + 4)). Suppose -g*y + 24*y = 342. Is y a multiple of 6?
True
Let p = -91 + 92. Suppose -p = -k - 5*a, -3 = 3*a - 2*a. Is k a multiple of 4?
True
Let b = -325 + 465. Suppose -11*x + b = -4*x. Does 10 divide x?
True
Suppose -s + 19040 = 3*s. Is 36 a factor of (-4)/22 - s/(-44)?
True
Suppose -10*m - 52 = 1358. Let o = m + 237. Is 16 a factor of o?
True
Let y = -213 - -355. Suppose 2*w + 137 = -4*g + 471, -5*g = 5*w - 425. Let p = y - g. Is 15 a factor of p?
True
Let o(k) be the first derivative of -k**3/2 - 3*k**2/2 + 5*k + 2. Let q(a) be the first derivative of o(a). Is 5 a factor of q(-5)?
False
Suppose 22*w - 8281 = 2807. Is w a multiple of 7?
True
Let i be (20/16)/(3/12). Suppose 147 = i*g - 468. Does 27 divide g?
False
Let s be ((-6)/9)/(3/(-18)). Suppose -4*p + 0*p = s*v - 24, 4*p = 3*v + 3. Suppose -d + 3*o + 2*o + 69 = 0, -p*d + 258 = 2*o. Is d a multiple of 21?
True
Suppo