 + a**4/24 + 2*a**3/3 - 2*a**2. Let c(b) = -7*b + 4. Let l be c(0). Is i(l) a multiple of 4?
True
Let k(s) = -s**3 - 7*s**2 + 9*s + 52. Does 12 divide k(-9)?
False
Let p be (-4)/(-6) - (-68)/(-12). Let w be p/(-10) - 6/4. Let t = 10 + w. Does 9 divide t?
True
Let k(o) = -o**3 - 12*o**2 + 10*o + 13. Let g be (-2)/7 + 178/(-14). Is k(g) a multiple of 13?
True
Suppose 16 = -0*z + 4*z. Suppose -4*x + 183 = -x + j, -z*x + 249 = 3*j. Does 28 divide x?
False
Suppose -2*r = -4*q + 10, 3*r + 3 = 3*q - 0. Suppose -11 = -r*p - 5*d + 77, 4*d = p - 1. Does 9 divide p?
False
Let v = 311 - 138. Does 12 divide v?
False
Let u = 128 - 104. Suppose -12*l - 2340 = -u*l. Does 13 divide l?
True
Let i(x) = 3*x - 8. Let w be i(8). Let n = -35 + w. Let y = 26 - n. Does 15 divide y?
True
Let h = 74 - 70. Suppose 187 - 787 = -h*m. Is m a multiple of 15?
True
Is -2 - -3 - (-42 - (9 + -4)) a multiple of 8?
True
Suppose -4*c - 1932 = -4*j, 34*j - 1453 = 31*j - c. Is 22 a factor of j?
True
Let h = -96 + 91. Does 44 divide (-628)/((-1 - -4) + h)?
False
Let s(k) = 0*k - 3 - 5*k - 2 + 6. Suppose 0 = -l - 3*l - 3*p, -3*l - 1 = 2*p. Is s(l) a multiple of 16?
True
Let y(d) = -16*d + 3. Let z be y(-2). Let i = z + -25. Does 5 divide i?
True
Let t = 859 + -855. Does 4 divide t?
True
Let r = 522 + -360. Suppose -4*k + 2*m - 6*m = -324, -2*k = -4*m - r. Is 14 a factor of k?
False
Let d(n) = 9*n**2 + 4*n - 5. Let c = 7 + -5. Is d(c) a multiple of 13?
True
Suppose 0 = -4*i - 4*w + 1356, 2*i + 4*w = -0*i + 674. Is i a multiple of 31?
True
Let s be (-6)/(-8)*16/6. Suppose 20 = 5*k - 5*r, 2 = s*k - 5*r - 3. Suppose -144 = -2*d + k*u, -3*d - 76 = -5*u - 292. Is 18 a factor of d?
True
Is (-1404)/342 + 4 + 39904/38 a multiple of 14?
True
Suppose r - 185 + 171 = 0. Let w(m) = m**2 - 5*m - 9. Is 10 a factor of w(r)?
False
Let g(j) = -3880*j - 32. Does 15 divide g(-1)?
False
Let o = 6 + 94. Let y = o - 63. Is y a multiple of 6?
False
Let s(y) = y - 4. Let z be s(8). Suppose 0*r = 2*r - z. Suppose d - r*d = i - 46, 2*i + 112 = 2*d. Does 17 divide d?
True
Let s be 3/(1 - 13/12). Suppose -5*b = -l - 344, 6*b - 3*b - 5*l - 202 = 0. Let x = b + s. Is 11 a factor of x?
True
Suppose 0 = -w - 2, -5*c + 6*w = 4*w - 139. Is 6 a factor of c?
False
Let t(r) = -r**3 - 4*r**2 + 8*r + 11. Is t(-7) a multiple of 20?
False
Suppose 2*b = 1175 + 853. Is 26 a factor of b?
True
Suppose 0 = 16*p - 13*p - 306. Suppose -p*c = -104*c + 112. Is 14 a factor of c?
True
Let a = -22 - -59. Let u = -26 + a. Suppose f + u = 108. Does 28 divide f?
False
Suppose 1125 - 3165 = -2*x. Suppose 160 = 5*s - x. Is 31 a factor of s?
False
Suppose -2757 + 275 = -17*s. Let t = s + -6. Is t a multiple of 18?
False
Suppose k - 244 + 85 = 0. Let p = k - 85. Is p a multiple of 13?
False
Let x(o) = o**3 + o + 66. Suppose -2*n = 5*n. Is 9 a factor of x(n)?
False
Let d(o) be the second derivative of o**3/2 - 2*o**2 + 9*o. Does 10 divide d(8)?
True
Let k = -5 + 14. Let i be 24/k - 4/6. Suppose -13 = -3*u + i. Is 5 a factor of u?
True
Let w = -19 + 25. Let i be 4/w + (-10)/15. Suppose 0 = -2*q + 12 - i. Is 2 a factor of q?
True
Let s(p) = 162*p - 62. Is 4 a factor of s(1)?
True
Suppose -28 = -4*o - 4*t, -5*o + 5 = -2*t - 2. Let v be (-1)/(4*o/24). Let s = v - -11. Is s a multiple of 9?
True
Suppose -2*l = -2*q - 12, 8 = -0*q - 3*q - 2*l. Let w(p) = -11*p - 15. Is w(q) a multiple of 11?
False
Let l be 2 + -1 - (2 - 3/(-3)). Does 7 divide (1 + l)/(2/(-70))?
True
Let j(t) = 2*t**2 + 24*t + 97. Is 12 a factor of j(-22)?
False
Let i = 115 - 113. Suppose -4*w = -2*z + 270, 3*z + i*w - 20 = 377. Does 12 divide z?
False
Let w be (-3)/(3/1)*-19. Let g = -4 + w. Suppose -2*j + 0*j + g = a, -5*j - 36 = -a. Is 8 a factor of a?
False
Let d be -1*(3 + -2 + -3). Suppose 3*j + 51 = 4*j + 5*l, -4*l - 58 = -3*j. Suppose 0 = 2*p + d*p - a - 43, 2*a + j = 2*p. Does 4 divide p?
False
Let m = -101 + 97. Does 6 divide m + (-11)/(44/(-160))?
True
Is (-197)/(-5) - (-52)/(-130) a multiple of 10?
False
Suppose 2*k - 16 = 3*t, 2*k + 4*t - 28 = t. Suppose k*l - 659 = 276. Is 3 a factor of l?
False
Suppose 7*f - 80 = 2*f. Suppose f = 7*o - 425. Does 7 divide o?
True
Is 4/22 + ((-854658)/(-154))/7 a multiple of 61?
True
Let o(q) = -111*q - 632. Is o(-8) a multiple of 11?
False
Let c be (-4)/14 - 90/(-21). Suppose -1 = c*m - 13. Suppose m*y + y = 260. Is y a multiple of 15?
False
Is 74 a factor of (-42)/(-35) + 1/(-5) + 1109?
True
Suppose 0 = -3*c - 4*m + 3472, -10*c = -6*c - 4*m - 4592. Does 64 divide c?
True
Suppose -4*a + 3*i = -2680 - 105, 2*i = 3*a - 2090. Does 35 divide a?
True
Let x = -66 + 99. Let i(t) = t**2 + x - 4*t**3 + 2*t**2 - 31. Is 40 a factor of i(-3)?
False
Let l = 1351 - -1949. Does 66 divide l?
True
Does 48 divide 1181 - -12 - (-7)/1?
True
Let l be 12/(-66) + (-2864)/(-22). Let b be (l/(-4))/(13/(-26)). Suppose 0 = 3*o + 4*a - b, -3*o - 3*a = -2*o - 15. Does 9 divide o?
True
Suppose 4*h - 2*w + 0*w = 262, 2*w = -h + 58. Suppose 3*z = 2*z + h. Does 32 divide z?
True
Let s = -176 - 86. Suppose 0 = 2*j - 5*v - 768, -3*j + 1404 - 274 = -2*v. Let l = j + s. Is l a multiple of 28?
True
Let r = 326 + -178. Suppose 5*j = 2*a + r, 0 = -0*a + 4*a - 4. Is j a multiple of 5?
True
Suppose -6*g = a - 3*g - 3, -4*a - 5 = -5*g. Suppose -2*b = -5*z + 180, 4*z - 5*b - 84 - 77 = 0. Suppose a*p = -p + z. Is p a multiple of 17?
True
Suppose 4*k + 4*b = -12, k - 4*b + 36 = -k. Let n = -199 + 184. Let c = k - n. Is 7 a factor of c?
True
Let a be 12/(-2)*1/(-2). Suppose 0 = -l - l - a*d + 12, 5*d = 4*l - 2. Suppose 2*m - n = 69, 5 = 3*m + l*n - 85. Does 11 divide m?
True
Let p = 4406 + -3014. Is 16 a factor of p?
True
Suppose 21*k - 22*k + 7 = 0. Suppose -k*g + 18 = -g. Suppose -2*c - g*c = -15, -3*l + 54 = -c. Is l a multiple of 6?
False
Suppose 7*z = 1231 + 953. Is 13 a factor of z?
True
Suppose -4*c - 30 = -2*j, -4*j - 5*c = j - 45. Let g = 47 - j. Is 7 a factor of g?
False
Suppose 242 = -3*q - 400. Let j = -104 - q. Is j a multiple of 17?
False
Let j = 2 + -10. Let v(u) = -u**3 - 6*u**2 + 4*u - 6. Does 18 divide v(j)?
True
Suppose -73 = 5*k - 238. Is 27 a factor of (-166)/(-6) + (-22)/k?
True
Let a(i) be the first derivative of 7*i**2 + 4*i - 31. Is 8 a factor of a(6)?
True
Let n = -1824 + 2573. Does 12 divide n?
False
Let i = -23 + 23. Suppose i = 2*y - 3 - 7. Does 11 divide 274/y + (-11)/(-55)?
True
Let c be (-3)/5*60/(-6). Let s be 729/c + (-6)/4. Suppose 0 = 2*m - 32 - s. Is m a multiple of 19?
True
Is 3 a factor of ((-69)/345)/((-3)/7815)?
False
Suppose 2*g - 151 = 3*q, -4*g + 330 = g + 2*q. Suppose 5*c - 47 = g. Does 18 divide c?
False
Let j be (42 - 14)*(0 - 9/6). Is 5 a factor of (j/(-12) + -2)/((-6)/(-68))?
False
Let v(q) = -q**3 + 24*q**2 + 38*q - 60. Is v(25) a multiple of 51?
False
Let p = 156 - -305. Is p a multiple of 9?
False
Let v(q) = -13*q + 26. Is v(1) a multiple of 13?
True
Let a(d) = 160*d - 13. Let w be a(3). Let i = w + -327. Is i a multiple of 15?
False
Suppose 39*a - 278 = 37*a. Does 10 divide a?
False
Let l = 4 + 10. Let n be 4424/18 - l/(-63). Let i = -156 + n. Does 30 divide i?
True
Suppose t = -5*g - 117, g - 18 = 2*g + 2*t. Let z = g + 22. Does 16 divide z*(-7)/(28/32)?
True
Let h(b) = -b**3 + 38*b**2 + 2*b - 39. Is h(38) even?
False
Suppose 4*o + t - 1369 = -o, 4*o = -5*t + 1091. Is 6 a factor of o?
False
Let x be (6 - 6/2)*140/5. Let k = 119 - x. Is 15 a factor of k?
False
Let r(q) = q**3 + 7*q**2 + 8*q + 7. Let l be r(-6). Let z(u) = -u**3 - 4*u**2 - 3*u + 2. Is 4 a factor of z(l)?
False
Let m(d) = d**3 - 13*d**2 - 11*d + 19. Let n be m(14). Let o = 41 + n. Does 25 divide o?
False
Let q = 36 + -22. Suppose 2*j = -0 - q. Let i(p) = -p + 17. Does 9 divide i(j)?
False
Let h(q) = 3*q**2 - 16*q + 152. Does 10 divide h(10)?
False
Let y(a) be the first derivative of a**4/4 - 8*a**3/3 + 11*a**2/2 - 6*a - 7. Does 7 divide y(7)?
False
Let r be 9/15 + 66/15. Suppose 0 = 4*g - r - 7. Suppose g*d - 10 = 29. Is d a multiple of 13?
True
Let m(s) = -s**3 + 5*s**2 + s - 2. Let y(h) = h**2 + 4. Let i be y(0). Is 10 a factor of m(i)?
False
Suppose 4*o = -11*j + 6*j + 1776, 0 = 5*o - 4*j - 2220. Does 37 divide o?
True
Let z(u) = -u**3 - 10*u**2 - 9*u + 7. Let k(b) = -7*b - 4. Let c be k(1). Let h be z(c). Let m = h - 155. Is m a multiple of 12?
True
Let o = -9