e
Let s(f) = -3*f**3 - 3*f**2 - 20*f - 1. Let j(u) = -u**3 + 2*u**3 + 7*u - 11*u**2 + 12*u**2. Let h(k) = 8*j(k) + 3*s(k). Does 7 divide h(-2)?
False
Let m(u) = -u**3 + u**2 + u + 72. Let c = 16 - 16. Is 15 a factor of m(c)?
False
Let p(t) = -3*t + 2. Let y be p(0). Let w be -26*(y/1)/4. Is -3 - w/(2 + -1) a multiple of 3?
False
Let n(r) be the second derivative of 1/6*r**4 - 2*r - 3/2*r**2 - 1/2*r**3 + 0. Is n(-2) a multiple of 11?
True
Does 37 divide 14/(-7)*-1502*(-8 - -9)?
False
Suppose 2*b + 3*c - 102 = 353, -5*b = 5*c - 1135. Let m = b - 130. Is m a multiple of 32?
True
Let n(j) = 5*j - 7. Let l be n(8). Let i be 1 - 20 - (3 + 0). Let p = l + i. Is 11 a factor of p?
True
Let w(p) be the third derivative of p**6/360 - p**5/12 + 2*p**4/3 + p**3/2 - 3*p**2. Let x(m) be the first derivative of w(m). Is 24 a factor of x(14)?
True
Let l(j) = 4*j**2 - 5*j - 64. Is 10 a factor of l(-6)?
True
Let z(q) = 3*q + 2 + 3 - 6 + 3. Let a be z(10). Let v = 91 - a. Is v a multiple of 17?
False
Let s = 11 + -11. Suppose 2*b = -2*j + 12, -j + s = 2*b - 5. Suppose 0 = -u - d + 18, 0 = j*d - 3*d - 20. Is u a multiple of 3?
False
Suppose -a - o = o - 60, -5*a - o + 300 = 0. Does 30 divide a?
True
Let s(u) = -u**2 + 13*u - 14. Let d(m) = -m**3 + 7*m**2 - 4*m - 5. Let y be d(6). Is 9 a factor of s(y)?
False
Suppose -15131 = -9*g - 2891. Is g a multiple of 85?
True
Suppose 0 = 2*u + p + 13, 0*u + u - 2*p + 19 = 0. Let s be (1 - 0)*(0 - 1). Let n = s - u. Is n a multiple of 2?
True
Suppose 5*w = -t - 93, t = -3*w - 23 - 62. Let o = t + 193. Is 30 a factor of o?
True
Let h(d) = 7*d**3 + 8*d**2 - 19*d - 16. Let t(c) = 13*c**3 + 17*c**2 - 37*c - 31. Let k(p) = 11*h(p) - 6*t(p). Is 20 a factor of k(-15)?
True
Let j = 6664 - 4585. Is j a multiple of 27?
True
Let s = 69 + -37. Suppose 2*q + 2 = s. Does 10 divide (100/q)/(4/24)?
True
Let o(c) = -c**2 - 12*c + 7. Let z(f) = f**3 - f**2 - 2*f + 5. Let x be z(0). Suppose -53 + 3 = x*w. Does 7 divide o(w)?
False
Let t(l) = -13*l**3 - l**2 + 1. Let o be t(-1). Suppose k = 6 - 23. Let b = o - k. Does 15 divide b?
True
Let d(v) = -v**2 + 5*v + 5. Suppose 2*o - 40 = -3*i, -2*o + 0*o - 30 = -4*i. Let c be d(i). Is (54/(-5))/(9/c) a multiple of 18?
True
Let x be (-6)/7*(-14)/4. Let d be (-3)/(x - 84/27). Let k = 55 - d. Is 14 a factor of k?
True
Suppose k + t = -2*k + 21, 3*k - 4*t = 36. Let v(c) = -43*c**3 - 9*c + c + k*c - 1 - c. Does 12 divide v(-1)?
False
Let x be ((-7)/(63/6))/((-6)/(-3294)). Let j = x + 528. Does 6 divide j?
True
Let t = -74 - -207. Is 4 a factor of t?
False
Suppose -5*q - 5*s + 70 = 0, 2*q + s - 16 = 3*s. Suppose -8*z = -q*z + 789. Let k = -166 + z. Is 27 a factor of k?
False
Suppose 612 = 17*r - 459. Is r a multiple of 10?
False
Let d = -171 + 666. Is 55 a factor of d?
True
Suppose -51*s - 4290 = -62*s. Let y = 169 + 104. Let o = s - y. Does 26 divide o?
False
Let v be -3 - (-4 + -407)*1. Suppose 4*b + g = 6*g + 1660, -b = -3*g - v. Suppose -d - 5*w = 4*d - b, 2*w + 330 = 4*d. Is d a multiple of 25?
False
Let n = 18 - 27. Let t = -18 - n. Is 16 a factor of 4/((-12)/t) + 40?
False
Let h be (4 - 3)*(4 + -5). Let i = 10 - h. Is 8 a factor of i?
False
Suppose 2*o = o + 1. Let h be (-172)/(-4)*3 - o. Let r = -74 + h. Is r a multiple of 18?
True
Suppose 367 + 108 = f. Does 13 divide f?
False
Let b = 22 + -19. Does 7 divide 85/2 - b/6?
True
Suppose 16*p = 21*p - 30. Is (78/4)/((-11)/p - -2) a multiple of 28?
False
Let n(h) = -h**2 + 17*h - 36. Let j be n(15). Let s(a) = -63*a - 18. Is s(j) a multiple of 15?
True
Let j(i) = -i**3 + 4*i**2 + i - 5. Let c be j(6). Let v = c + 131. Is v a multiple of 12?
True
Let j(x) = x**3 + x**2 + x. Let f(w) = 2*w**3 + 2*w**2 + 5*w - 1. Let d(c) = -f(c) + 4*j(c). Is d(2) a multiple of 6?
False
Let s be 0 + 0 + 2 - -43. Let z be (-10)/s - (-4785)/27. Suppose -3*m + z = -15. Is 16 a factor of m?
True
Let h = 142 + -24. Is 4 a factor of h?
False
Let p(n) = 76*n + 15. Is 37 a factor of p(11)?
True
Suppose -67 = -4*w + 3*r, 2*w - 36 = -0*r + 4*r. Suppose -625 = w*v - 21*v. Is 13 a factor of v?
False
Suppose 0 = 18*j - 25223 + 7169. Does 25 divide j?
False
Let z be (-334)/8 - 12/(-16). Let b = -25 - z. Is b even?
True
Let k be (-1 - 6/(-7)) + 135/63. Suppose 225 = -k*j - 3*h + 789, 0 = -j + 2*h + 296. Does 32 divide j?
True
Let w be 1 - (-1)/(-1 + 2). Suppose 6*m - w*m - 420 = 0. Suppose -11*i + 16*i = m. Is 9 a factor of i?
False
Let x be 21 + (-2 - -7) + -2. Suppose 0 = -21*g + x*g - 324. Is 36 a factor of g?
True
Suppose 4*x + 48 = 6*x. Suppose -5*o - 3*n + 364 = x, -5*n = -25. Is o a multiple of 13?
True
Suppose -3*d = -12, d - 23 = -3*t - d. Suppose -3*m - 2*f = 34, 2*f + 22 = -t*m - 28. Is m/10*(-95)/2 a multiple of 22?
False
Suppose -2595*o = -2591*o - 10600. Does 10 divide o?
True
Let f(u) = u**2 + 32*u - 61. Does 86 divide f(23)?
True
Let b(n) = -7*n**3 - 4*n**2 - 10*n - 33. Does 19 divide b(-5)?
False
Let i(a) = 3*a - 34. Let j be i(23). Suppose -9*r + 145 = -j. Does 5 divide r?
True
Let n be (-4 - 32/(-12))*-3. Let k be (-28)/n - -4 - -7. Suppose o - k*t - 34 = 0, -6*t + 2*t = -3*o + 70. Is 6 a factor of o?
True
Suppose 169 = -22*y + 23*y. Does 9 divide y?
False
Suppose -3*r + 111 = -15. Let i = -636 - -654. Let q = r - i. Is q a multiple of 19?
False
Suppose -8*j + 2061 = -8243. Is j a multiple of 28?
True
Suppose -29*q - q = -28140. Is 15 a factor of q?
False
Let v = -103 + 211. Does 6 divide v?
True
Suppose 38*t + 644 = h + 34*t, -2*t + 6 = 0. Does 30 divide h?
False
Suppose 66*s = 75*s - 2574. Is s a multiple of 13?
True
Let q(l) = 2*l**2 - 10*l + 30. Does 10 divide q(18)?
False
Let i(a) = -13*a - 73. Let l be i(-6). Suppose -109 = -w - w - t, 4*w - l*t = 211. Is 18 a factor of w?
True
Let f = 4 + 31. Suppose q = -4*w + 228, w - q - f - 22 = 0. Is w a multiple of 19?
True
Let i(t) = -10*t**2 - 17*t - 5 - 13 - 4*t**2 + 13*t**2. Let l be i(-8). Suppose 3*p - r = -0*r + l, 0 = p + 3*r - 18. Does 6 divide p?
True
Let a(g) = 5*g**3 + g**2 - g - 1. Let h be a(2). Suppose 5*w = v + 42, -4*w + 2*v - 33 = -7*w. Suppose h = i + w. Is i a multiple of 8?
True
Suppose 2*l + 3*x = 8*x + 19, -5*l + 3*x + 38 = 0. Suppose -6 = -2*f - j + 3*j, -4*f = -j - 12. Suppose 0 = -2*g + l*g, -i + f = 5*g. Is 3 a factor of i?
True
Suppose 2*c - 224 = 4*s, 5*s - 500 = c - 5*c. Does 11 divide c?
False
Let g = 7 + -3. Suppose -g*d = -12 - 16. Suppose w + 264 = d*w. Is 19 a factor of w?
False
Suppose -29 = -12*k - 5. Suppose 3*l + 4*g = -g + 250, -l + 74 = 4*g. Does 9 divide 0/k + l/10?
True
Is 12/(-20) - 318/(-5) a multiple of 21?
True
Suppose -4*z + 20 = -0*z, -4*z = -2*f + 1256. Does 29 divide f?
True
Let m be 3 + -1 - (4 + -7). Suppose 4*v + 266 + 236 = -m*g, 4*g + 376 = -3*v. Is 5 a factor of (-3)/5 - v/5?
True
Suppose -6*h = -7*h + 84. Suppose -3*n - 5*k = h, 2*n - 5*k + 54 = -n. Let m = 1 - n. Is m a multiple of 8?
True
Suppose -3825 = -25*q - 0*q. Does 9 divide q?
True
Suppose -10 - 15 = 5*m. Let s = -1 - m. Suppose -s*b + 80 = 2*n, n - b - 4*b - 19 = 0. Is n a multiple of 17?
True
Let g(a) = a - 23*a**2 - 2 + 50*a**2 + 72*a**2 + a. Does 11 divide g(1)?
True
Let m = 192 + -138. Is 18 a factor of m?
True
Let u = 1728 + -1078. Is 50 a factor of u?
True
Let k = 179 - -1139. Does 68 divide k?
False
Suppose -2*f - 3*y = -2*y - 416, 0 = 2*f - 2*y - 416. Is 16 a factor of f?
True
Does 7 divide (1 - 20)/(-5 + 34/7)?
True
Let n(c) = 3*c**2 + c - 1. Let h be n(2). Suppose u - 15 = h. Is u a multiple of 7?
True
Is (3/(-2))/(117/156) + 3172 a multiple of 10?
True
Suppose -4*c - 4*g = 24, c - 6*g = -g. Let x = 34 + -83. Is 29 a factor of (x/c + 2)*5?
False
Suppose -2*a + 139 - 57 = 0. Is a even?
False
Is 5 a factor of (-3)/(18/(-546)) - -4?
True
Suppose -27*v + 5 = -26*v. Suppose v*h = 5*w + 390, -3*w = 1 - 7. Is 15 a factor of h?
False
Let d be 99/(-15) - (-14)/(-35). Let o be (d - -8)*(2 + -2). Let i(l) = 2*l + 85. Does 18 divide i(o)?
False
Suppose 2*v + 2 = 4*s, 0*v + 3*s = 3*v. Let r(i) = -82*i + 3. Let k(o) = -164*o + 7. Let u(g) = 2*k(g) - 5*r(g). Is u(v) a multiple of 27?
True
Let v = -21 - -24. Suppose -21 = -10*p + v*p. Is p even?
False
Suppose 0 = 2*h + x - 15 + 1, -2*h = -x - 14. Is (h/21)/(2/186) a multiple of 31?
True
Let u(w) = w**2 - 23*w + 25. Does 2 divide u(22)?
False
Let g(k) be the 