1. Is 14 a factor of l(4)?
True
Let b(k) be the second derivative of -k**5/60 + 7*k**4/24 + 2*k**3 + 7*k**2/2 + 5*k. Let f(p) be the first derivative of b(p). Is 4 a factor of f(7)?
True
Let p(l) = -l**2 - 13*l - 7. Let c be p(-7). Suppose 3*x - 2*x + 55 = 2*i, 3*x - c = -2*i. Does 25 divide i?
True
Let m(o) = o**2 + 12*o - 27. Let s be m(11). Suppose -s = -3*z + 233. Is z a multiple of 13?
False
Let y(c) = -51*c - 1. Let x be y(-1). Suppose -3*m - 43 = x. Let d = m + 111. Is 20 a factor of d?
True
Is (-3)/(-1) + 104/4*3 a multiple of 27?
True
Let n(d) = 5*d. Let a be n(1). Suppose -8 = -a*k + 57. Let s(f) = 3*f - 8. Is s(k) a multiple of 8?
False
Let t(g) = g + 140. Is t(-21) a multiple of 12?
False
Let a(c) = c**3 - 23*c**2 + 38*c - 74. Is 51 a factor of a(26)?
False
Let k = -56 + 27. Let h = k - -122. Does 15 divide h?
False
Suppose -3*u = -3*i + 2*i + 24, -5*u - 50 = -5*i. Let v(q) = -9*q. Does 21 divide v(u)?
True
Let h(b) = -3*b - 52. Let q be h(-16). Let v = q + 89. Is 15 a factor of v?
False
Suppose 5*j + 5*a = -25, 2*j = -4*a + 8*a - 16. Let g(o) = -o**3 - 5*o**2 - 8*o - 3. Let h be g(j). Let l = h - 49. Is l a multiple of 8?
True
Let p(u) = -129*u - 103. Is p(-16) a multiple of 16?
False
Let x(q) = -3*q - 11. Suppose 0 = 5*n - 2*b - 11, 0 = n - 0*n + 4*b + 11. Suppose -10 = l - n. Is x(l) a multiple of 7?
False
Let s(a) = a**3 + 8*a**2 + 6*a - 7. Is 10 a factor of s(-5)?
False
Let l(b) = b**2 + 18*b - 40. Let k be l(-20). Suppose q + 3*q - 3*y - 491 = k, 124 = q - y. Is 17 a factor of q?
True
Suppose n = 774 + 294. Is 47 a factor of (-2 - 6/(-4)) + n/8?
False
Let k(t) = -28 + 12*t - t + 12*t**2 - 2*t - 10*t**2. Is k(-14) a multiple of 12?
False
Let c = -15 + 903. Does 24 divide c?
True
Let g(x) = -x**3 + 6*x**2 + 6*x - 4. Suppose -8*a + 15 = -3*a. Suppose 0 = 2*y - 5 - a. Is g(y) a multiple of 26?
True
Let f = -32 + 51. Suppose 20*k - f*k = 45. Is 5 a factor of k?
True
Let u be ((-7)/(-21))/((-2)/(-18)). Suppose 3*y = 5*h + 434, 3*h - 321 = y - u*y. Is 22 a factor of y?
False
Let a(t) = -t**2 - 47*t - 18. Does 4 divide a(-42)?
True
Let o be 3/(-4)*(-15)/((-135)/(-252)). Suppose -23*a + 102 = -o*a. Does 3 divide a?
True
Let w = -19 + 5. Let r = w - -14. Is 24 a factor of (42 + r)/2 - -3?
True
Let n(c) = 2*c + 43. Does 9 divide n(5)?
False
Suppose 21 = -3*b - 3*n - 6, -2*b + 17 = -5*n. Is b/(-18) - 704/(-72) a multiple of 2?
True
Suppose -7*i = -5*i - 6. Suppose -9*g + 960 = i*g. Is 13 a factor of g?
False
Suppose 0 = 5*j + k - 15, j - 3*j + 2*k = 6. Let d be 14 + (j - 5) + 4. Does 8 divide 6/3 + -1 + d?
True
Let v = 209 - -51. Suppose s - 35 - 17 = 4*z, 5*s = 5*z + v. Does 6 divide (s - 4)*(-3)/(-6)?
True
Let g(p) = -11*p + 16. Let y(s) = 11*s - 15. Let o(x) = -4*g(x) - 3*y(x). Let f = 288 - 279. Does 20 divide o(f)?
True
Let w = -4 + 14. Let q(z) = -w + 10 - 3*z. Is 15 a factor of q(-6)?
False
Let m(w) = w**2 + 4*w + 2. Let p(j) = j**2 + 4*j - 3. Let v be p(-4). Let u be m(v). Let h(c) = -41*c**3 + 2*c + 1. Is h(u) a multiple of 10?
True
Suppose -2*a - u = -1055, 4*a - 2*u - 2353 = -263. Does 21 divide a?
True
Let n(j) be the third derivative of -7*j**4/3 + j**3/6 - 5*j**2. Is n(-1) a multiple of 8?
False
Suppose 29*a = 55*a - 62660. Is 67 a factor of a?
False
Let f(r) = -7*r + 283. Is 47 a factor of f(-67)?
True
Suppose -4*w = -2*t - 5336, -5*w - 4*t = -6364 - 293. Is w a multiple of 43?
True
Does 50 divide (-5 - -3) + 8 - 2 - -296?
True
Suppose -s = -5*s. Suppose 4*k + 2*p = 438, 97 = -s*k + k + 3*p. Is k a multiple of 14?
True
Let y = -128 - 20. Let k = y - -338. Does 33 divide k?
False
Let f = -24 - -49. Let g = f + 15. Is 13 a factor of g?
False
Suppose 0 = -4*m + 3*b + 3366 + 335, 0 = -4*m + b + 3711. Is m a multiple of 12?
False
Let z(r) = -r**3 - 3*r**2 - r - 1. Let l be z(-3). Let c be (-10)/(-20) - 9/(-6). Suppose 0 = c*h - 24 + l. Is h even?
False
Let l be ((-117)/26)/(1/(-6)). Suppose l*g - 120 = 24*g. Is 40 a factor of g?
True
Let d = 16 + -16. Suppose d*s = -s + 407. Suppose 0 = 5*h - 313 - s. Is 36 a factor of h?
True
Suppose 7*b - 11050 = 8606. Is b a multiple of 104?
True
Let d = 3516 - 2697. Is 4 a factor of d?
False
Let w(y) = 9*y**2 + 12*y. Let b(f) = 3*f**2 + 4*f. Let u(i) = -11*b(i) + 4*w(i). Let z be (-1 + (-8)/(-6))*(40 + -31). Is 13 a factor of u(z)?
True
Does 54 divide 8/(-26) + (-753120)/(-520)?
False
Let i = -2197 - -3098. Does 39 divide i?
False
Let g(i) = i**2 - 1. Let w be g(-1). Suppose -d = 1, -2*n + 37 = -w*n + 3*d. Is n a multiple of 9?
False
Suppose 5*c - 5 = 0, 3*l - 959 + 238 = -4*c. Is 2 a factor of l?
False
Let x = 16 - 16. Suppose 2*h = -x + 4. Does 13 divide 4 - -22 - (h + -3)?
False
Does 4 divide 10/100*10 - -99?
True
Let v(p) = -p**3 - 8*p**2 - 16*p + 5. Let w be v(-5). Let x(c) = -c**2 + 13 - 11*c + 0*c**2 + c**2 + c**2. Is x(w) a multiple of 3?
True
Let t(o) = -4*o + 10. Let y be t(9). Suppose -2*z = 3*z + 80. Let h = z - y. Is h a multiple of 10?
True
Suppose 2*q - 1026 = -d, -5*q + 2470 = -4*d + 6548. Is d a multiple of 14?
True
Let h(n) = -n**3 - 2*n**2 + 6*n**2 - 1 - 3*n - 4. Let y be h(4). Let d = y + 47. Is 15 a factor of d?
True
Let t be (-2 + 0)/(-8 - -6). Let c(x) = x + 3. Is 2 a factor of c(t)?
True
Let h(u) = u**2 - 27*u - 40. Is h(35) a multiple of 35?
False
Let i(s) = s**2 + 9*s + 111. Is 4 a factor of i(24)?
False
Let v(s) = -18*s - 4. Let b be v(-3). Let w(u) = 3*u + 17. Let g be w(-7). Is 18 a factor of ((-240)/b)/(g/30)?
True
Suppose -1140 = -2*b + 5*s + 302, -4*s - 1444 = -2*b. Is b a multiple of 20?
False
Let r(q) = -q**3 + 3*q**2 + 27*q + 103. Does 84 divide r(-5)?
True
Suppose 0 = x - 6*x + 2*r + 20, 4 = x - 2*r. Let k = 38 + -25. Let t = x + k. Does 4 divide t?
False
Suppose -12 = n - 9. Is n*172/(-12) - 4 a multiple of 15?
False
Let k(q) = -21*q + 0 + 2*q - 9. Is k(-9) a multiple of 19?
False
Let t = -214 - -403. Does 54 divide t?
False
Is 18 a factor of 265 + -1 - (-72)/12?
True
Suppose a = -2*b + 973, -9*b + 5*b - 4*a + 1948 = 0. Does 21 divide b?
False
Suppose 0 = -6*j + 4605 + 22467. Does 12 divide j?
True
Let y be (8/(-16))/((-1)/106). Is y - (-4)/(8 + -4) a multiple of 15?
False
Let p be 3*(-4 + (-116)/(-6)). Suppose 3*a - t = p + 51, 175 = 5*a + t. Does 4 divide a?
False
Suppose -2399 = -4*w + 1345. Is w a multiple of 83?
False
Let g(b) = -3*b - 14. Let t be g(-5). Is (-3604)/(-51) + t/3 a multiple of 11?
False
Let g be (5 - -121) + -1 + 2. Suppose 409 = 2*u + g. Let d = u + -85. Is d a multiple of 15?
False
Let m(w) = 6 - 14*w - 41*w - 6 - 1. Let s be 3 - ((-20)/(-4) - 1). Does 27 divide m(s)?
True
Suppose -4*h = 16*j - 13*j - 1361, h - 3*j - 329 = 0. Is h a multiple of 13?
True
Let d be (-2 - -4)*2*5. Suppose 2*j + 58 - d = 4*n, -3*n = -2*j - 28. Let y = 4 + n. Does 4 divide y?
False
Suppose -4*y + 6*y + h - 1250 = 0, y + h = 626. Suppose y = 3*p + 10*p. Is 16 a factor of p?
True
Let d = -29 + 20. Is 10 a factor of (1*-5)/(d/117)?
False
Let t = -129 + 142. Suppose -t*b + 596 + 4175 = 0. Does 22 divide b?
False
Let r be (-132)/(-4) - (1 - -3). Let g = r - 23. Let f(d) = d**3 - 5*d**2 + 6*d. Is f(g) a multiple of 13?
False
Let n(g) = -g**2 - 87*g - 21. Is n(-29) a multiple of 4?
False
Is 65 + ((-12)/(-21))/(2/14) a multiple of 3?
True
Let c be (7 - -1 - 6)*(-6)/(-4). Suppose 82 = 2*v + 5*h, 2*v + c*v + 2*h = 184. Is v a multiple of 9?
True
Does 4 divide 2 - 15200/(-42) - 20/(-210)?
True
Let i(m) = -m**2 + 10*m - 1. Let c be i(9). Suppose 2 + c = 5*x. Does 12 divide 334/7 - x/(-7)?
True
Is 10 a factor of 5/(10/4)*190?
True
Is 164/((-588)/(-60) + -9) a multiple of 16?
False
Let h = 86 - 53. Is 25 a factor of (-810)/(-22) - (-6)/h?
False
Let w(s) be the second derivative of 0 + 1/6*s**3 + 45/2*s**2 + 4*s. Is 12 a factor of w(0)?
False
Let o = -15 - -27. Suppose 3*i - 105 - 6 = 0. Let w = i - o. Is 5 a factor of w?
True
Let t be 8/5*30/12. Suppose 270 = 4*i - 2*b, t*b = -4*i + 222 + 18. Suppose i = 2*o - 59. Is o a multiple of 15?
False
Let u(m) = -m**3 + 10*m**2 - m - 9. Let f(l) = -l**2. Let d(b) = 5*f(b) + u(b). Is d(4) a multiple of 3?
True
Suppose 4*c - 1198 = -2*j, 2*j - 3*j = -2*c + 601. Let b = 426 - c. Is 21 a factor of b?
True
Suppose -3 = y - 8. Suppose -y*a = 2*r - 612, -2*a = -7*a - r + 611. Is 12 a factor of a?
False
Let a = 3754 - 2520. Is 8 a