+ 5. Suppose -j*v - 10 = -5*y + 4, 8 = -4*v + 4*y. Suppose 19 = 3*b - v*t - 3*t, 0 = -5*b + 4*t + 36. Is b a multiple of 7?
False
Let q = 630 - 315. Is 45 a factor of q?
True
Let x be 10/4*(-8)/(-4). Suppose 2*a - 380 = 4*d - 7*d, 0 = x*a - 5. Does 14 divide d?
True
Let j be (0/(-1))/(2 + -4). Let o = 22 + j. Let q = o + 2. Does 12 divide q?
True
Let g(u) = 10*u - 3. Let r(f) = f**3 + 2*f**2 - 3*f - 4. Let s be r(-2). Is g(s) a multiple of 17?
True
Let p be 6/(-3)*-166*1. Let z = 576 - p. Suppose -42 = -s - 2*o + 16, -4*o - z = -4*s. Does 15 divide s?
True
Let n = 4 + -2. Suppose 4 = 4*i - n*i. Suppose -i*d + 48 = 2*d. Is d a multiple of 12?
True
Suppose -7 - 18 = -5*u. Let h(c) = -3*c**3 - 3*c**2 + 7 + 4*c**3 + 10*c**2 - 2*c**3. Does 12 divide h(u)?
False
Let j be 82/4 + 9/(-6). Suppose -j = -5*x + 281. Is x a multiple of 10?
True
Let d(i) be the second derivative of i**4/12 + 2*i**3/3 + 15*i**2/2 - 8*i. Let z(a) = a**2 + 15*a - 6. Let b be z(-15). Is 8 a factor of d(b)?
False
Let s = 12 - 9. Is 16 a factor of 40/s*(-672)/(-80)?
True
Let a = 17 - 15. Suppose -3*t - a*t + 160 = 0. Is t a multiple of 15?
False
Let p(d) be the second derivative of -d**4/12 - 7*d**3/2 - 3*d**2/2 + 5*d. Let b be p(-14). Suppose j + 15 = b. Does 16 divide j?
True
Let w(h) = 4*h**2 + 7. Let o(a) = -a**2 - a. Let z(d) = 6*o(d) - w(d). Let f(q) = -9*q**2 - 5*q - 6. Let r(c) = -7*f(c) + 6*z(c). Does 7 divide r(2)?
False
Let r(v) = -5*v**2 + 3*v + 2. Let i(f) = -2*f + 10. Let d be i(6). Let u be r(d). Is 9 a factor of u/84 + (-1138)/(-14)?
True
Let t(u) = -u**2 - 5*u + 18. Let c(a) = 3*a**2 + 14*a - 54. Let m(w) = 6*c(w) + 17*t(w). Does 5 divide m(-6)?
False
Let t(x) = -x**3 + x**2 + 4*x + 1. Let k = 19 - 21. Let y be t(k). Suppose -a + y*w + 32 = 0, -171 = -4*a + w - 5. Does 14 divide a?
True
Suppose -3*h - 9 = -96. Let v be ((-2)/(-4))/(1/132). Let r = v - h. Is r a multiple of 17?
False
Let h(m) = -m**2 + 11*m + 282. Does 18 divide h(0)?
False
Suppose -5*q - 4*n = -9*n - 90, 4*n = 8. Is 2 a factor of q?
True
Let h(a) be the third derivative of -7*a**6/240 + a**4/8 + 6*a**2. Let d(l) be the second derivative of h(l). Is 12 a factor of d(-3)?
False
Let z = 90 - -230. Does 3 divide z?
False
Let h(m) be the first derivative of m**2/2 + 13*m - 11. Let y be h(-13). Suppose l - 3*l + 184 = y. Is l a multiple of 18?
False
Let p be -1 + 0 - 323/(-17). Let q be -3 + 0 + -1 + p. Let m = 21 - q. Does 5 divide m?
False
Suppose 0 = 6*f - 17 - 1. Suppose f*o = -4*o + 112. Does 16 divide o?
True
Let x(w) = 63*w**3 - w**2 + 2*w + 1. Let p be x(2). Let b = 1153 - p. Suppose b = 6*i + 180. Does 26 divide i?
True
Suppose -32 = -3*n + 28. Suppose 0 = -23*l + n*l + 540. Does 20 divide l?
True
Let s = 58 + -54. Suppose -s*t + 123 = -33. Is t a multiple of 3?
True
Is 7 a factor of (12/2)/((-33)/(-803))?
False
Suppose -492 = -2*n + 3002. Is n a multiple of 36?
False
Suppose 5*g + 4*m - 2035 = 0, 0*m + 398 = g - m. Is 13 a factor of g?
True
Suppose 5*n - 9285 = -5*y, -4*y = 2*n - 3*n + 1872. Does 13 divide n?
False
Let q(g) = -2*g. Let y be q(0). Let u(k) = -2*k**2 - k - 1. Let s be u(y). Does 2 divide (-102)/(-18) - s/3?
True
Let r(a) = 49*a**3 - a**2 - 2*a - 1. Let k be r(-1). Let v = k - -74. Let w = v - 22. Does 2 divide w?
False
Let o(y) = 3*y**2 + 44*y - 65. Does 13 divide o(9)?
False
Suppose -w = x + 30 - 7, 2*x + 4*w = -56. Does 9 divide 6/27 - (2588/x)/1?
True
Let x(y) = y**3 + 27*y**2 - 7*y - 165. Is 16 a factor of x(-17)?
False
Let v(h) = -2*h**2 - 5*h - 16. Let j(d) = d**2 + 3*d + 8. Let t(x) = -13*j(x) - 6*v(x). Is 5 a factor of t(-6)?
True
Suppose -399*c = -457*c + 28536. Does 15 divide c?
False
Let s be 16/8 + 1 + 0. Is (s*-1 - -2) + (-4 - -99) a multiple of 35?
False
Suppose 3390 = 12*f - 9*f. Suppose -3*i + 5*r + 327 = -503, -5*r + f = 4*i. Is 44 a factor of i?
False
Let q = -33 + 90. Suppose 0 = -10*w + 113 + q. Is 3 a factor of w?
False
Let j = -25 - -35. Suppose 184 = -6*p + j*p. Is 23 a factor of p?
True
Let n(y) be the first derivative of 1/4*y**4 + 4*y + 11/3*y**3 + 5*y**2 + 1. Is n(-10) even?
True
Let p(b) = 2 - 71*b + 70*b - 13. Suppose 2*f - 4*y + 18 = 0, -y = -6*y - 20. Is p(f) even?
True
Suppose -24*l - 1316 = -28*l. Does 41 divide l?
False
Let q(b) = 31*b + 238. Is 65 a factor of q(18)?
False
Suppose 0 = 39*g - 50*g - 121. Let t(v) = 18*v**2 - 15 + 8*v + 2*v**3 - 6*v**2 - v**3. Is t(g) a multiple of 6?
True
Let n be (4/18)/(2/18). Suppose 3*l + 20 = -4*k, 4*l - 2 = n*k + 8. Suppose 4*q - 41 - 31 = l. Is 6 a factor of q?
True
Let z(q) = -2*q**3 - 4 + q**3 - 10*q**2 - 3*q - 1 + 2. Let d(y) = -y**3 - 11*y**2 - 4*y - 3. Let h(o) = -2*d(o) + 3*z(o). Is 2 a factor of h(-8)?
False
Let i be (-1)/(-2) + 3/(-2). Let j be ((-75)/(-45))/(i/(-6)). Is 25 a factor of 754/j - 36/90?
True
Let q(v) be the first derivative of 27*v**2/2 - 15*v + 13. Is q(6) a multiple of 21?
True
Let u(a) = 32*a**3 - 11*a**2 + 13*a + 17. Let z(t) = -8*t**3 + 3*t**2 - 3*t - 4. Let b(p) = -2*u(p) - 9*z(p). Does 16 divide b(3)?
True
Suppose 0 = z - 4*i - 110, -z - i - 2*i + 138 = 0. Suppose 10*f - 17*f = -z. Is f a multiple of 2?
True
Let h(f) = -5*f**2 - 13*f + 39. Let j(i) = 14*i**2 + 39*i - 116. Let r(o) = -17*h(o) - 6*j(o). Is r(15) a multiple of 21?
True
Suppose -14*s = -18*s + 1364. Is s a multiple of 53?
False
Is 16 a factor of (0 - (2 + 240))*(-7)/14?
False
Is -26*1*(-122 + -4)/7 a multiple of 18?
True
Let n = -8 - 40. Let u = 212 - n. Is 20 a factor of u?
True
Let g(d) be the third derivative of -d**5/60 + 7*d**4/12 - d**3/6 - d**2. Suppose 4*a - 2*a = 20. Is g(a) a multiple of 8?
False
Suppose 5*h + 184 = -o - 91, -4*h - 4*o - 220 = 0. Does 8 divide (594/h)/((-3)/10)?
False
Let w(o) = o**3 - 23*o**2 + 51*o - 18. Is 10 a factor of w(21)?
False
Let v(b) be the second derivative of -5*b**5/4 - b**4/6 - 5*b**3/6 - b**2 - 17*b. Is v(-2) a multiple of 27?
False
Let x(c) = 41*c + 407. Is x(-9) a multiple of 19?
True
Let l = 69 + -68. Is 2 a factor of ((-44)/10 - -5)/(l/45)?
False
Let l(b) = -23*b - 93. Is l(-15) a multiple of 7?
True
Let i be (-1 - -2)/(2/(-6)). Let g be -1 + 1 + (i - -33). Let f = g + -9. Does 6 divide f?
False
Let u(g) = 701*g + 3. Is u(1) a multiple of 33?
False
Let c(l) = -3*l**2 - 27*l + 36. Let h(x) = -x**2 - 9*x + 12. Let i(s) = 2*c(s) - 7*h(s). Let u be i(-13). Does 2 divide (1 - 2)/((-4)/u)?
True
Suppose 10*y + 1134 = 5214. Is 13 a factor of y?
False
Suppose 4*z + 4 = 2*l + 8*z, -4*l = -2*z - 58. Let s = 13 - l. Is 28 a factor of 1*(s + -2)*-56?
True
Let w = -10 + 16. Suppose 0 = -2*a - 4 - w. Let u(x) = x**3 + 8*x**2 + x + 5. Is 17 a factor of u(a)?
False
Suppose 5*p = p. Suppose p = -8*w + 7*w. Let q(f) = f**2 + f + 23. Does 6 divide q(w)?
False
Suppose -98 - 304 = 3*k. Is 7 a factor of (-2)/(-1 + k/(-138))?
False
Suppose 5*j = -0*p + p + 4, -j - 28 = -5*p. Is 2 a factor of p?
True
Let m(j) = -j**3 + 15*j**2 - 12*j + 1. Let p be m(14). Suppose -4*l - 9 = -p. Suppose -l*h = 136 - 566. Is h a multiple of 23?
False
Is (8*(-135)/25)/((-6)/20) a multiple of 12?
True
Let y(h) = -14*h - 285. Is 9 a factor of y(-21)?
True
Let l(f) = 18*f + 9. Suppose 18*y - 54 = 9*y. Does 13 divide l(y)?
True
Let i(a) = -a**3 + 8*a**2 - 7*a + 5. Let d be i(7). Suppose -l = 5*x - 7 - d, -l = x - 4. Suppose 4*n + 138 = 5*m, -x*n - 30 = -5*m + 104. Does 13 divide m?
True
Let m = 27 + -24. Suppose -2*o + 164 = 5*c, -4*o + 152 - 62 = m*c. Suppose 2*g - 62 = c. Is 24 a factor of g?
True
Let x(h) = 33*h**2 + 177 - 177. Suppose -4*a + 2*c + 4 = 0, 0*c + 10 = -2*a - 2*c. Is 8 a factor of x(a)?
False
Let v(c) = 5*c**2 + 8*c + 11. Is v(-5) a multiple of 8?
True
Let m(d) = -d**2 + d + 1. Let p be m(0). Let r be p - (0 + 1 + -2). Suppose -r*u = 4, 4*q - u = -3*u + 60. Is 8 a factor of q?
True
Let o = 1 - -126. Let z be 1/(-3)*(-5 - 262). Let t = o - z. Does 13 divide t?
False
Let r be (-3 - -2)/((-5)/20). Suppose l - 4*l = m - 234, -r*l = m - 237. Does 36 divide m?
False
Let l(j) = -253*j + 193. Is l(-9) a multiple of 19?
True
Let o = -1616 - -1988. Is o a multiple of 6?
True
Let k = -933 - -1492. Does 34 divide k?
False
Suppose -14*g - 7616 = -28*g. Is 14 a factor of g?
False
Suppose k = -0*k + 157. Let d = k + -224. Let q = 97 + d. Is q a multiple of 16?
False
Let k = -30 + 48. Is ((-3)/(k/8))/((-11)/66