 of t(-4)?
True
Let b be 1/(3/(-6)) - -4. Suppose 3*u - 8 = -j + b*j, 2*j + 2*u = 0. Let t(k) = -3*k**3 - k**2 - k + 1. Does 15 divide t(j)?
False
Suppose -3*f + 301 = -q, 5*q - 6*q + 499 = 5*f. Does 10 divide f?
True
Let i = -136 - -192. Does 14 divide i?
True
Let h = -8 + 14. Let m = 3 + h. Is 3 a factor of m?
True
Does 19 divide 5648/88 - (-4)/(-22)?
False
Let a = -20 - -69. Suppose a = 5*y - 191. Does 12 divide y?
True
Let p = 121 - 71. Suppose -k + p = 4*k. Is k a multiple of 4?
False
Let d = 25 + -11. Suppose h - j = -2*h + d, -2*j = 5*h - 27. Is h a multiple of 5?
True
Let h = -296 + 416. Suppose -g = 4*g - h. Is 9 a factor of g?
False
Suppose 2*k - 8 = 0, 5*c - c - 5*k + 20 = 0. Let i(d) = -5*d**2 - d + 14. Let u(g) = g**2 - 1. Let w(y) = i(y) + 6*u(y). Is w(c) a multiple of 8?
True
Suppose -2*b - 11 + 23 = 0. Is 3 a factor of b?
True
Let r(v) = -v**3 + 5*v**2 + 3*v + 6. Let o be r(6). Is 5 a factor of (-1 + -1)*o + -2?
False
Suppose -4*y + 39 = 2*r - 3, -4*y + 48 = 4*r. Suppose -72 = y*i - 12*i. Is i a multiple of 14?
False
Suppose 0 = 4*a - 2*z - 10, 3*a - 2*z = -2*a + 12. Suppose 3*s - 121 = -4*v, -a*v - 5*s = -24 - 19. Let c = v + -14. Is c a multiple of 9?
False
Suppose 2*c - 7*c + 20 = 0. Suppose -b = -0*h - 3*h + 7, 5*h + c*b - 40 = 0. Suppose -h*u = -3*w - 16, 0 = -4*u - 2*w - 1 + 37. Is u a multiple of 3?
False
Let m(z) = z**2 - 5*z + 2. Let k be m(4). Suppose 5*w + 62 = 3*t, 5*t - 5*w - 94 + 4 = 0. Let p = t + k. Is p a multiple of 6?
True
Suppose -x + 25 = -0*x. Does 19 divide x?
False
Let q = -9 + 6. Let z be 0/2 + q - -49. Suppose 3*t = 86 + z. Is t a multiple of 22?
True
Suppose 0 = k + 2*r - 60, k + k - 118 = -3*r. Suppose -5*n - 5*v = -19 - 21, 4*n - k = 2*v. Is 4 a factor of n?
True
Suppose 4*h + 93 = -19. Is 10 a factor of (10/7)/((-4)/h)?
True
Let u be (-40)/(-22) + (-2)/(-11). Suppose u*i + 19 - 57 = 0. Is i a multiple of 13?
False
Let j = 592 + -260. Is j a multiple of 21?
False
Suppose 4*g = -g + 30. Let m be ((-16)/(-10))/(g/510). Suppose -4*y - 4*j = -9*y + m, 4*y = 4*j + 112. Is 12 a factor of y?
True
Let w(k) = k**2 - 12*k + 15. Does 25 divide w(17)?
True
Suppose 2*u - 2*s = -s + 17, 5*s + 15 = 3*u. Is 3 a factor of u?
False
Let x(p) = 34*p**3 - p**2 + 2*p - 2. Does 12 divide x(1)?
False
Suppose 2*y - 8 - 6 = 0. Does 7 divide y?
True
Let q(n) = -n**3 - 3*n**2 + 6*n + 6. Let j be q(-4). Does 14 divide (-282)/(-10) + j/10?
True
Let r = 4 + -2. Suppose 0 = -2*n + 3*n + r, 0 = 2*l + 3*n + 10. Is 16 a factor of (29 - l - 2)/1?
False
Let m(l) = 8 + 2 - 4 - 8 + 13*l. Let d(f) = f**3 - 5*f**2 - 7*f + 8. Let b be d(6). Does 12 divide m(b)?
True
Let l be 1 + 1/(-2)*-6. Suppose -l*r + 23 = -29. Let q = 3 + r. Does 5 divide q?
False
Let c(t) = -t**2 - 15*t - 20. Let x be c(-14). Is (-3 + 3/(-6))*x a multiple of 10?
False
Let u be 15/25 - 44/(-10). Let v = u - -15. Is 5 a factor of v - 1 - 1 - 1?
False
Let d = -51 - -117. Suppose -4*v = -2*s - d, s + 19 = v - 0*v. Is v a multiple of 3?
False
Let r(z) = -z**2 + 16*z + 7. Let q(n) = -4*n - 4. Let h be q(-4). Let f be r(h). Is f + -2*3/2 a multiple of 18?
False
Let j = 142 + -92. Does 6 divide j?
False
Suppose -8 = -2*v - 4*g - 0, -5*v + 38 = 4*g. Does 6 divide v?
False
Let d = -53 + 76. Is 6 a factor of d?
False
Let q = 235 - 133. Is 17 a factor of q?
True
Suppose 3*u + 5*p + 211 = 862, 5*u + 3*p - 1101 = 0. Let c be 1*u/(-1 + 4). Suppose -2*t - c = -4*r + 3*t, 3*r - 73 = -5*t. Does 8 divide r?
False
Suppose 28 = 4*d - 4*v, -2*d - v + 29 = -0*d. Let x = d + -6. Is 3 a factor of x?
True
Is (-4*1/(-6))/((-2)/(-57)) a multiple of 3?
False
Let i(u) = -2*u - 5. Let l be i(-4). Suppose 0 = 4*j - 42 - 262. Suppose -j = -3*v + 4*r, -r = -2*v + l*r + 52. Does 8 divide v?
True
Let s = -10 - 45. Let f = -21 - s. Is 12 a factor of f?
False
Let v be 68/18 - 2/(-9). Let z = 6 - 4. Is z + v*39/6 a multiple of 14?
True
Suppose 3*r + 39 = -72. Let h = -13 - r. Does 12 divide h?
True
Let h(y) = 2*y**2 - 9*y - 9. Suppose 0*o - 2*w = o - 6, -4*o + 16 = 4*w. Let n = 5 + o. Is h(n) a multiple of 13?
True
Let t(d) = -d**3 + d**2 + 3*d + 1. Does 2 divide t(-2)?
False
Let m(t) = t**2 - t + 61. Is 38 a factor of m(0)?
False
Suppose 696 = 5*q - 4*y, 0 = -2*q - 6*y + 3*y + 283. Is 28 a factor of q?
True
Is -2*-3*1/2 a multiple of 3?
True
Let g be (-1 + -1)*(-1)/(-2). Let v be (-4 + 2/1)*g. Suppose -d = v*d - 18. Is 2 a factor of d?
True
Let q = -6 - -11. Suppose q*k = p - 22, 6 = 2*k + k. Is 21 a factor of p?
False
Let o(n) = n**2 - 9*n - 10. Let z be o(10). Suppose 0*d + 4*d - 12 = z. Is d a multiple of 2?
False
Let v = 40 - 15. Suppose 0 = 4*i - 3*d - v, d + 1 = 2. Is i a multiple of 2?
False
Let i = 115 + -101. Is 4 a factor of i?
False
Let h(d) = d**2 + d + 8. Let z(b) = 6*b**3 - 2*b**2 - 2 + 3 + b**2. Let t be z(1). Is 20 a factor of h(t)?
False
Let w(c) = 59*c + 2. Is 22 a factor of w(1)?
False
Let i be 50/18 - (-6)/27. Suppose -i*c = v - 41, -3*c = -5*v + 5 - 70. Does 8 divide c?
False
Let n(l) = -l**3 + 5*l**2 + l - 2. Let m be n(5). Suppose p = 5*y - 140, -y + 31 - m = -2*p. Does 14 divide y?
True
Let u(l) = 2*l**2 + l. Let h be u(1). Suppose -h*o + 2*y = -310, y + 74 = o - 29. Suppose -4*a - b + 0*b = -o, 0 = -3*b. Is 19 a factor of a?
False
Let i(w) = 32*w + 31*w + 1 - 17*w. Is 19 a factor of i(1)?
False
Let u = 12 + -24. Let l = u + 24. Is l a multiple of 5?
False
Let u(y) be the second derivative of -5*y**4/24 - 5*y**3/6 + y**2 + 3*y. Let l(f) be the first derivative of u(f). Is 12 a factor of l(-6)?
False
Suppose 3*a - 4 = -a. Let j = 28 - a. Does 11 divide j?
False
Suppose 3*b = 5*n - 47, 7*b - 4*b + 19 = n. Suppose -3*a + n = -53. Does 10 divide a?
True
Suppose -4*f + 10 = -a, -4*f + 5*a = -18 - 0. Let u be (-1)/(-1) + (2 - f). Let m(t) = 8*t**2 + t - 1. Does 8 divide m(u)?
True
Let u = -218 - -305. Is 29 a factor of u?
True
Suppose -q + 5 = 4*i, -q = -5*q + 4*i - 80. Let c = q + 22. Is c a multiple of 6?
False
Let i = 744 - 439. Is i a multiple of 61?
True
Suppose p - 2 = -0. Suppose 0*x + 12 = 2*a - 4*x, 4*a - x - 17 = 0. Suppose j = 4*n + 21, n - a*n - 22 = -p*j. Does 5 divide j?
True
Let w(g) be the first derivative of 3*g**2/2 - 2*g - 2. Let l be w(5). Does 9 divide -1 + l - 0 - 3?
True
Let l = -19 - -19. Suppose l = -3*z - z + 16. Does 4 divide z?
True
Suppose 0 = -4*x + x + 216. Is x a multiple of 18?
True
Let g(s) = -4*s + 3. Let a be g(3). Let q be 3/a*-3*67. Suppose 3*n + 23 = -o + q, 4*n = -2*o + 56. Is 8 a factor of n?
True
Let j be 0/(2/(-4)*2). Suppose -4*o + j = -60. Does 5 divide o?
True
Let w = -26 + 75. Let b = w + 3. Is b a multiple of 13?
True
Let q = 74 + -38. Does 17 divide q?
False
Suppose -10*n - 7 = -247. Does 8 divide n?
True
Suppose -5*c + 3*j + 757 = 0, 2*j - 16 = 3*c - 471. Suppose -3*s + r - 120 = -7*s, -5*s - r = -c. Is s a multiple of 29?
True
Let s(d) be the third derivative of 3*d**5/20 + d**4/8 - d**3/6 - 2*d**2. Does 23 divide s(2)?
False
Let u = -13 - -8. Let c be (u + -2)*(-4)/14. Let m(n) = 9*n - 1. Is m(c) a multiple of 17?
True
Let p(w) = 2*w**2 - 2*w - 1. Let v be p(-1). Let o be ((-16)/3)/((-1)/v). Suppose k + o = 2*k. Does 8 divide k?
True
Let q(n) = -23*n - 5. Does 26 divide q(-6)?
False
Let z(a) = 6*a**2 + 1. Let l be z(-1). Let k(h) = -16*h. Let b be k(-2). Let c = b - l. Does 13 divide c?
False
Is 17 a factor of 74 + (-3 - (-6 + 3))?
False
Let r = 5 + -1. Suppose -78 - 6 = -r*f. Is f a multiple of 9?
False
Let t be (0 + 20)/(1 + 0). Let k = -13 + t. Is ((-6)/k)/(3/(-189)) a multiple of 23?
False
Suppose 3*d - 5 = 2*u - 53, 0 = 2*u + d - 56. Is u a multiple of 9?
True
Let r(q) = -q**3 - 3*q**2 - 6*q - 14. Is 18 a factor of r(-4)?
False
Let q be (-2)/(2/3) + -42. Let d be 2/10 + 4689/q. Let v = -68 - d. Is v a multiple of 18?
True
Let n(r) = 3*r - 16. Does 19 divide n(14)?
False
Is 107/2 - 7/(-14) a multiple of 15?
False
Let r(n) = 3*n - 5. Is 3 a factor of r(6)?
False
Let l(u) = 0 + u + 3*u + 5*u + 4. Let o be l(4). Suppose 4*y + 2 = -h, -7*h + 5*y + o = -2*h. Is 3 a factor of h?
True
Let p(a) be the third derivative of -a**6/120 - a**5/10 - a**4/4 + a**3/2 - 3*a**2. Is p(-5) a multiple of 8?
True
Suppose -3*n = 6 - 15. Let o be 1/(-3) + 16/n. Suppose -5*i + 10 = o*h, 0 = -0*h + h + 3. Is i even?
False
Let b(c) = c**3 + 5*c**2 + 4*c - 