 -78. Is 24 a factor of b(a)?
False
Let j be 1 + 18 + 1/1. Suppose -44 + j = -6*a. Does 4 divide a?
True
Let k(i) = 107*i + 1 - 23*i - 5 + 16*i. Is 32 a factor of k(1)?
True
Suppose -2 - 10 = b. Let c(s) = s + 20. Is 2 a factor of c(b)?
True
Let t(x) = 2*x**3 - 40*x**2 + 7*x - 20. Is t(20) a multiple of 3?
True
Suppose 3*z - 32 + 2 = 0. Let k = z + -3. Does 12 divide (k - -1)*12/8?
True
Let i(a) = -38*a**3 - 2*a**2 - a. Let p be i(-2). Suppose -4*f - 94 + p = 0. Does 17 divide f?
True
Let s = -727 + 1951. Is s a multiple of 8?
True
Suppose x - 3*x = 0. Suppose 0*t - 2*t = x. Suppose t = 2*m - 0*m - 58. Does 15 divide m?
False
Let n(l) = -56*l + 91. Does 7 divide n(-4)?
True
Let i be (-1)/5 + 1687/35. Suppose 5*v = 2*m - 62, -i = -2*m + 4*v + 18. Is m a multiple of 15?
False
Let n(s) = s**3 - 3*s**2 - 15*s + 32. Does 58 divide n(8)?
True
Suppose 0 = 4*q + 3*q - 63. Does 36 divide (-2 + 4)/(q/972)?
True
Let n(z) = z**2 + 7*z + 78. Is n(14) a multiple of 12?
True
Is 147/(-14)*2/(-12)*244 a multiple of 40?
False
Suppose 12*g - 475 = 6773. Does 6 divide g?
False
Let f(i) = -20*i**2 - 3*i + 71. Let q(o) = -7*o**2 - o + 24. Let g(b) = -4*f(b) + 11*q(b). Is 4 a factor of g(4)?
True
Let r be -5*((-36)/(-20) - 2) + 78. Let q = r + -41. Is q a multiple of 23?
False
Suppose -5*c + 3*k - 92 = -391, c - 4*k = 70. Suppose -2*m + c + 68 = 0. Let q = m + -39. Is 9 a factor of q?
False
Suppose z + z - 3*u + 91 = 0, 5*z + u + 270 = 0. Let g = 117 + z. Is g a multiple of 7?
False
Does 3 divide 696/(-16)*2*-1?
True
Let p(j) = 13*j + 4. Let w be p(2). Suppose 0 = -2*i - y + 3, 5*i - 6*y - w = -y. Let t = 18 - i. Is t a multiple of 5?
True
Is 14 a factor of ((-12240)/(-1190))/((-4)/(-98))?
True
Let t(h) = -h**2 - h + 10. Let j be t(0). Let p(w) = w**2 - 8*w + 10. Let q be p(7). Let n = j + q. Is 13 a factor of n?
True
Let m(i) = -i**2 - 8*i - 9. Let o be m(-5). Let w be o/(-6) + 6 + -1. Suppose 4*l + l = -4*a + 282, -213 = -w*l + a. Does 27 divide l?
True
Let c(g) = g**2 + 10*g + 6. Let a be c(-9). Let r be (-6)/9*a - -4. Is 81/r + (-21)/(-14) a multiple of 4?
False
Suppose 3*m - 6 = -18. Let a = 27 + m. Does 10 divide a?
False
Let z(b) = b**2 + 6*b + 2. Let v be z(-6). Suppose v*t = 233 + 169. Is t a multiple of 22?
False
Let f(y) = -197*y - 57. Does 35 divide f(-3)?
False
Let t(o) = -2*o**3 - 14*o - 40. Is 14 a factor of t(-10)?
True
Let s(j) = j + 8. Let y be s(-5). Suppose 0*z - 30 = -5*z. Let p = z - y. Is 3 a factor of p?
True
Let k(f) = -33*f - 387. Does 27 divide k(-16)?
False
Let b(m) = -2*m**2 + 66*m - 23. Is b(15) a multiple of 8?
False
Suppose -2*s + 1239 = -5*a, 2*s - 45*a + 46*a - 1221 = 0. Does 36 divide s?
True
Suppose 26*t = 39*t - 32110. Is 26 a factor of t?
True
Let t(r) = 155*r**2 - 2*r - 2. Let p be t(-1). Let l = p + -236. Let b = l - -118. Is b a multiple of 21?
False
Suppose -w - 2*w + q + 8 = 0, -5*q = -2*w + 14. Suppose m + 4 = 3*m + 2*i, 4*m = w*i + 8. Does 3 divide (-8)/(-5)*m*5?
False
Suppose 0 = -2*l - 2*l + 44. Let h = -30 + 7. Let u = l - h. Is u a multiple of 10?
False
Suppose -5*b - c = -2*c - 3027, 2*b - 1218 = 4*c. Does 3 divide b?
False
Let q(t) = 52 - 18*t - 121 + 47. Is 17 a factor of q(-5)?
True
Does 12 divide (-5)/50*218*15/(-3)?
False
Suppose b - 4 - 10 = 0. Is 786/7 + (-4)/b a multiple of 16?
True
Let s = -46 + 95. Suppose 4*m + s - 165 = 0. Is m a multiple of 10?
False
Suppose -3*k + 1876 = -641. Does 3 divide k?
False
Let y be (-72)/(-20) + (-6)/10. Suppose -5*k = y*w - 105, -5*w + 3*k = -0*k - 141. Is w a multiple of 5?
True
Let o = 413 - 145. Suppose 5*d = 3*a + o, 0*d - 3*a - 100 = -2*d. Is d a multiple of 7?
True
Suppose 12*m - 2 = 118. Suppose -m*h + 668 = -8*h. Is h a multiple of 16?
False
Let b(j) = -59*j - 17. Let v(n) = n**2 - 58*n - 18. Let d(a) = 3*b(a) - 2*v(a). Does 5 divide d(-30)?
True
Let i(u) = u**2 - 12*u + 16. Let q = 6 - -5. Let a be i(q). Suppose 0 = -a*w + w + 52. Does 6 divide w?
False
Let l = -185 - -1193. Is l a multiple of 63?
True
Suppose -6*j + 100 = -188. Is 8 a factor of j?
True
Let s be (-70)/28 - (-1)/2. Let n(q) = 2*q**2 - 10*q**2 - 4 - 4*q**3 + 10*q**2 + 2*q + 3. Does 14 divide n(s)?
False
Let v = 77 + -53. Suppose -33 = -25*g + v*g. Is 17 a factor of g?
False
Let n = 127 + 18. Suppose -3*v + n = 55. Does 13 divide 99/2 - 15/v?
False
Suppose -4*f - 5*g + 7*g = -154, -2*f + 68 = -4*g. Does 40 divide f?
True
Suppose 5*j = 4*p + 10 + 14, 4*p = -j. Suppose -8*g + j*g + 993 = -s, -242 = -g - s. Is g a multiple of 39?
False
Let g = -2 + 2. Let b(q) = -q**2 + 5*q - 3. Let v be b(2). Suppose -v*o + 33 = -g*o. Does 6 divide o?
False
Let d(k) = -k**3 - 2*k**2 + 2*k + 2. Let h be d(-3). Suppose -h*i + 97 = 4*n, 0 = 3*n + n + 2*i - 82. Is 2 a factor of n?
True
Let d = 51 - 50. Is (d - (-194)/(-10))*-5 a multiple of 23?
True
Suppose -5*q - 3*f + 8666 = 0, -438 = q + 5*f - 2158. Does 11 divide q?
False
Let a(s) = 3385*s**2 + 60*s + 61. Is a(-1) a multiple of 82?
False
Let k be ((-4)/(-5))/(3/855). Suppose -n + k = 45. Is 30 a factor of n?
False
Suppose -o + 1842 = -k - 1117, 3*k = -2*o - 8877. Does 23 divide k/(-33) + (-1)/(-3)?
False
Let h(g) be the first derivative of -g**5/60 + g**4/3 - g**3/2 + g**2/2 - 2. Let d(x) be the second derivative of h(x). Is 2 a factor of d(7)?
True
Is 18 a factor of 9/(-2)*(-605 + (-108)/(-12))?
True
Suppose -4*m + 3*a - 77 = 0, -3*m = -2*m - 2*a + 18. Let h = m - -23. Suppose h*f + 120 = 8*f. Does 8 divide f?
True
Let y(c) = -2*c**2 - 6*c - 9. Let j be y(-6). Does 15 divide ((-208)/12)/(10/j)?
False
Suppose -14*m + 126 = -5*m. Let s be (-82)/7 - 4/m. Does 5 divide 12*((-40)/s + -2)?
False
Let w = 201 + -32. Suppose w = 3*b - 5*v, -3*v + v = 4*b - 208. Is b a multiple of 17?
False
Let n = 21 - 21. Let y = n - 17. Let t = y - -59. Is 31 a factor of t?
False
Let q(d) = d**3 + 13*d**2 - 18*d + 60. Is 21 a factor of q(8)?
True
Let i be 11/(-33) + 34/(-6). Let t be 12*(i/(-4))/3. Is 10/(-15) - (-88)/t a multiple of 14?
True
Let d(i) = 33*i**2 + 2*i + 1. Let m(s) = s**3 + 9*s**2 + 8*s - 1. Suppose 0 = -h + 4*b + 4, 0*b = 4*h - b + 29. Let n be m(h). Does 11 divide d(n)?
False
Let k(v) be the first derivative of 2*v**3/3 + 7*v**2/2 - 7*v - 2. Let n be 120/(-18) + (-4)/(-6). Is k(n) a multiple of 10?
False
Let x = -50 - -342. Suppose 4*s = r + 456 + 143, 2*s - 2*r = x. Is 29 a factor of s?
False
Does 25 divide (-83853)/(-55) + 2/5?
True
Suppose 10*u - 7*u - 210 = 0. Is 14 a factor of u?
True
Suppose -5184 = 72*h - 78*h. Is 7 a factor of h?
False
Let l(p) be the second derivative of p**5/20 - 5*p**4/12 + 3*p**2/2 + 3*p. Let c be l(5). Suppose 73 = o + c*o - 5*s, 0 = -o + 2*s + 22. Is o a multiple of 6?
True
Suppose -264 = -3*t + 186. Does 10 divide t?
True
Let d(v) = 36*v**2 - 20*v - 91. Is d(-5) a multiple of 6?
False
Let q(b) = b**3 - 12*b**3 + 3*b + 1 + 4*b**3. Does 17 divide q(-2)?
True
Let y = -96 - -189. Suppose j + 31 = y. Suppose -2*p = -42 - j. Is 9 a factor of p?
False
Is 1984/(-24)*36/(-16) a multiple of 9?
False
Let s(l) be the third derivative of 1/120*l**6 + 6*l**2 + 0 + 0*l - 1/6*l**4 + 0*l**5 + 2/3*l**3. Does 4 divide s(2)?
True
Let n = 57 + -54. Suppose 0 = -2*y + n*y - 10. Is y a multiple of 5?
True
Let d(v) = v**2 - 2*v + 57. Let s be d(0). Suppose -4*b = -7*b + s. Is 5 a factor of b?
False
Let k(d) = 11*d**2 + 12*d + 12. Let v be k(-14). Suppose -5*h = 3*h - v. Is 50 a factor of h?
True
Suppose 15*i = 17*i - 344. Is 8 a factor of i?
False
Suppose 730 = 3*j - 0*j - 2*q, q = -2. Does 19 divide j?
False
Suppose 5*y + 6*r - 3*r - 109 = 0, -4*y - r = -83. Let d = y - 16. Let f = d - -32. Does 9 divide f?
True
Let l(p) be the second derivative of -p**5/20 + 2*p**4/3 + 4*p**3 - 13*p**2/2 + 11*p. Does 9 divide l(10)?
True
Let a = 99 - 90. Is 7 a factor of (-2)/a - (-3358)/207?
False
Let x(r) be the first derivative of -r**2/2 + 18*r - 1. Let t be x(13). Does 14 divide 14/t*(2 - -3)?
True
Let j = -48 + 117. Is j a multiple of 8?
False
Suppose -c + 5*b - b + 149 = 0, -2*c + 4*b = -278. Suppose 0 = 2*v + 3*v - u - c, 5*v = -3*u + 113. Is 2 a factor of v?
False
Let j = -124 + 97. Let r = 141 - j. Is 24 a factor of r?
True
Let i be (-30)/(-18)*3/1. Suppose i*z = -4*a - 28, z + z = 5*a + 2. Is 12 a factor of z/18 + 1732/18?
True
Let z be 0*4/16*1/3. Suppose 0*p - 5*p +