23?
True
Suppose 68*l + 900 = 78*l. Is l a multiple of 39?
False
Let z(l) = l**3 - 16*l**2 + 16*l - 13. Let v be z(15). Suppose -7*x + 410 = -v*x. Is 33 a factor of x?
False
Let s(w) be the second derivative of -5*w**3/3 + 17*w**2 - 12*w. Does 19 divide s(-11)?
False
Let a(x) = 2*x**2 + 5*x + 24. Is 18 a factor of a(6)?
True
Suppose 0 = -6*x + 11*x + 90. Let s = 9 - x. Let w = -13 + s. Is w a multiple of 10?
False
Let v = 2666 + -1554. Is v a multiple of 89?
False
Suppose -34*k + 30*k = 4*g - 2268, -9 = 3*g. Is 6 a factor of k?
True
Let i(c) = -c**3 - 2*c**2 + 45*c + 22. Is 23 a factor of i(-9)?
True
Let r(n) be the first derivative of 3*n**4/2 - n**2/2 + n - 5. Let x be r(1). Suppose -x = s - 14. Is 8 a factor of s?
True
Let v(t) = -t**2 + 5610. Is 85 a factor of v(0)?
True
Let y(o) = -2*o**3 - 8*o**2 - 11*o - 4. Let c(b) = b - 15. Let n be c(10). Does 22 divide y(n)?
False
Suppose -4*n = 2*x - 4263 + 49, 0 = -3*x + 5*n + 6299. Is x a multiple of 10?
False
Let d be (-60)/(-8)*12/(-9). Let j = d - -51. Is j a multiple of 32?
False
Does 11 divide -1*((-3006)/270 - (-4)/30)?
True
Let o(n) = -n**2 - 4*n + 7. Let c(f) = 2*f**2 - 14 - 12 + 9*f + 11. Let v(k) = -2*c(k) - 5*o(k). Is 15 a factor of v(5)?
True
Let q(m) = 10*m - 4. Let y(j) = 4 + 5*j - 4*j - 1 + j**2 - 2. Let v be y(-2). Is q(v) a multiple of 13?
True
Suppose 1 - 13 = -3*w. Suppose -6 - w = -2*y, -5*v + y = -475. Is v a multiple of 21?
False
Suppose j = -j. Suppose 0 = v - 5*q - 15, -4*v + j*q - q = -18. Suppose k + 335 = v*o - 3*k, 4*o + 5*k = 227. Is 21 a factor of o?
True
Let j(b) = 114*b + 1112. Is 13 a factor of j(24)?
True
Let c(g) = -g**2 + 8*g - 5. Let u be c(5). Suppose 22 = 2*y + u. Does 3 divide y?
True
Let a = -40 - -43. Does 3 divide -4 - (-19 - a - -2)?
False
Does 11 divide (-4676)/(-5) + -3*(-1)/(-15)?
True
Suppose 0 = 12*w - 11*w - 2622. Is 138 a factor of w?
True
Suppose 346 = 5*x - i - 6219, -2*i = -2*x + 2618. Is x a multiple of 18?
True
Let w = 4 - 4. Suppose -d + 2*i = 44, -2*d + w*d = -5*i + 93. Let x = d + 58. Is x a multiple of 14?
False
Let o(r) = -r - 6. Let n be o(-14). Suppose n*p - 3*p = 3*h + 442, 2*p - 5*h - 192 = 0. Suppose -5*w = -p - 154. Does 24 divide w?
True
Let p(y) be the first derivative of y**4/4 + 8*y**3/3 + 4*y**2 + 10*y + 81. Suppose -5*v = -10*v - 35. Is 3 a factor of p(v)?
True
Let i = -201 + 536. Is 6 a factor of i?
False
Suppose -c - 3*m - 65 = 381, 2*m = 4. Does 15 divide c/(-6) - ((-4)/(-3) + -1)?
True
Does 26 divide ((-2158)/3)/(78/(-234))?
True
Suppose 4*v = 7*v + 72. Let b(z) = z - 8. Let g be b(5). Let x = g - v. Is x a multiple of 6?
False
Let t be ((-42)/(-3) - -3)*1. Let v = t - 12. Suppose -v*h = 84 - 204. Is h a multiple of 8?
True
Let y(m) = 49*m**2 - 25*m + 7. Does 27 divide y(5)?
True
Let f(g) = g + 17. Let w be f(-9). Suppose -11*v + w*v = -321. Does 18 divide v?
False
Let u = -29 - -12. Let n = u - -44. Is n a multiple of 10?
False
Let x be 2/(-6) + (-100)/(-12) + -7. Is 3 a factor of -2*(-2)/(-8)*(-41 - x)?
True
Suppose 13 = 5*g - 17. Suppose -5*z + 7 = -r, r - 7 = 4*z - g*z. Suppose -z*t = -9 - 79. Does 22 divide t?
True
Let j be 1509*((-16)/6 + 3). Suppose 5*h + 192 = 4*t - 202, j = 5*t - h. Suppose -21 = 2*u - t. Does 10 divide u?
True
Suppose 31 = 2*p - 5. Suppose 5*z = a - 137 + p, 0 = 4*z + 4. Does 6 divide a?
True
Let q(c) = 104*c**2 + 20*c + 56. Does 23 divide q(-4)?
False
Suppose -3*u + 3555 = -435. Is 61 a factor of u?
False
Suppose -5840 = -15*k + 7*k. Is k a multiple of 15?
False
Suppose 3*o = 9, d - 4*d + o = -453. Is 4 a factor of d?
True
Let a(p) be the third derivative of 7*p**5/15 - p**4/12 + p**3/6 - 20*p**2. Is a(1) a multiple of 27?
True
Let u be (-6)/((-24)/(-5))*-196. Suppose 2*v - 105 = 3*l, -4*v + u = -3*l + 4*l. Does 12 divide v?
True
Is 13 a factor of 2/(-3) - (-62080)/96?
False
Suppose -2*w = -3*w + 2. Suppose w*x - 3*p - 77 = 34, -5*x + 2*p = -261. Does 14 divide x?
False
Let s = 171 - 19. Is 19 a factor of s?
True
Let b = 122 - 89. Is 33 a factor of b?
True
Let r = -15 + 23. Let t(f) = f**2 - 9*f + 18. Is 3 a factor of t(r)?
False
Let w be 4*((-7)/(-4) + -1). Let m be (-7)/(-49)*-18 - (-8)/14. Is 11 a factor of 2 + m + 19 + w?
True
Let s(o) = 5*o**2 + 3 + 30*o + 1 - 27*o. Let l be s(4). Let r = l - 47. Is r a multiple of 15?
False
Let g(t) = 5*t - 10. Let n be g(3). Suppose 5*y - 11 = 4*y + n*z, -3*y + 2*z + 46 = 0. Does 16 divide y?
True
Let i(l) = l**3 + 16*l**2 + 11*l - 36. Does 32 divide i(-11)?
True
Suppose -55 = -7*l + 36. Is l a multiple of 13?
True
Let a = 192 + 61. Is a a multiple of 9?
False
Suppose -n = 4*n - 20, n = 2*l - 4. Let c(a) = a**3 - 5*a**2 + 2*a. Let j be c(l). Does 30 divide 117 - (-12)/j*-2?
True
Is 6 a factor of -5 - -4 - (-354 - 3)?
False
Let b(g) be the third derivative of -g**8/6720 + g**7/630 - g**5/60 - 5*g**4/24 + 2*g**2. Let q(f) be the second derivative of b(f). Is 3 a factor of q(3)?
False
Suppose -3*t - t = 0. Let g(v) = v**2 + v - 13. Let c be g(t). Let u = c - -25. Is u a multiple of 11?
False
Let b = 31 + 81. Is 4 a factor of b?
True
Let i be 4/(-5) + (-168)/(-60). Suppose 5*f + k - 9 = 0, 3*f + 1 = -2*k + 5. Suppose 0 = f*t + i*t - 108. Is t a multiple of 11?
False
Let n(u) = u**2 + 5*u - 12. Let r be n(7). Suppose 4*z = -0*z + r. Is z a multiple of 7?
False
Let p be ((33 + -1)/4)/1. Let v = p + -12. Is v/(-2) + (20 - -6) a multiple of 6?
False
Let y = 657 - 562. Is 19 a factor of y?
True
Let v(i) = -i + 188. Does 16 divide v(6)?
False
Let j = -354 - -793. Suppose -4*k + 4*f = 5*f - j, 2*k + 4*f = 230. Is 10 a factor of k?
False
Suppose 0 = 3*t + 4*v - 3208, 4*t + 4*v - 3*v - 4299 = 0. Is 39 a factor of t?
False
Let a(n) = 2*n + n**2 + 9 + 4*n - 2. Suppose -3*x = 4*l + 20, -4*l + 7 - 27 = 4*x. Is a(l) even?
True
Let s(b) = -b**2 - 2*b + 1. Let m be s(-2). Does 18 divide 0/m - (-102 + 21)?
False
Let u = 114 - 41. Suppose -2*d - u = -q, 3*q + 49 = -5*d - 150. Let v = 0 - d. Is v a multiple of 8?
False
Suppose 3*m = -3*z + 486, 0*z + 4*z + 2*m - 656 = 0. Does 4 divide z?
False
Let a be (4/(-14))/((-1)/7). Suppose -a*y = 2*y. Suppose -4*z + 145 = 5*c - 40, y = 4*c - 2*z - 122. Does 33 divide c?
True
Let o = 257 - 248. Is o a multiple of 6?
False
Suppose 3*y = h + 265 + 20, h = 5*y - 477. Does 32 divide y?
True
Let b be ((-164)/(-3))/(2/3). Let f(d) = -d**2 + d + 4. Let p be f(-7). Let l = b + p. Does 10 divide l?
True
Let w(b) = -b**2 - 23*b + 5. Let o(n) = -8*n + 30. Let g be o(5). Is w(g) a multiple of 27?
True
Let c(q) = 2*q**2 - 8*q - 5. Let x be c(7). Let t = 57 - x. Is t a multiple of 5?
True
Let z be (6/(-4))/((-12)/1568). Suppose 0*l - 254 = -4*v + l, 3*v + 2*l = z. Is v a multiple of 17?
False
Let y(n) = n + 11. Let w = -28 + 17. Let o be y(w). Suppose 5*l - 2 - 43 = o. Does 9 divide l?
True
Suppose -2*o - 3*q + 4*q + 72 = 0, 5*q = o - 18. Let w = -29 + o. Is 4 a factor of w?
False
Let i be 242 + 4/(-1 + -1). Let k = -30 - -40. Does 3 divide k/(-4)*i/(-50)?
True
Let p = -1 + 1. Let t(k) = 5*k - 36. Let v be t(10). Suppose -4*z + 3*n + v + 22 = p, z + 3*n = 9. Is 3 a factor of z?
True
Suppose 49785 = 139*m - 124*m. Is m a multiple of 131?
False
Suppose -3*f = -3*i + 228, 4*f - f - 172 = -2*i. Suppose 0*g - g + 29 = -3*m, -2*m = -5*g + i. Does 7 divide g?
True
Suppose 0 = -2*o + 137 + 463. Let j = o + -170. Is j a multiple of 10?
True
Let y(a) = -a**2 + 5*a + 2. Let t be y(5). Let o(j) = -4*j**t + 4*j**2 - 1 + 4 - 4*j + 9*j**2. Does 24 divide o(3)?
True
Suppose -4*h - 2151 = 5*h. Let b = 396 + h. Is 24 a factor of b?
False
Let l = 457 + -51. Suppose -200 - l = -6*m. Does 8 divide m?
False
Let t(u) = 16*u**2 + 2*u. Let y be t(1). Suppose y*z - 2826 = -324. Is z a multiple of 10?
False
Let o(z) be the first derivative of 7 + z**3 + 1/2*z**2 + 6*z. Does 12 divide o(3)?
True
Let v = 11 + -6. Suppose -4*s = 3*o + 14, -5*o - 2 = s - v*s. Is 16 a factor of o + 0 + (-36)/(-2)?
True
Let y(j) = -j**3 + 4*j**2 + 9*j - 2. Let r(k) = -2*k**3 + 5*k**2 + 10*k - 3. Let q(x) = 5*r(x) - 6*y(x). Let w = -4 - -2. Is q(w) a multiple of 24?
False
Suppose 0 = -2*q + 4*i + 12, -4*q - i + 3*i = -36. Suppose 4 = -2*u + q. Suppose 0 = u*g + 2 - 23. Is g a multiple of 2?
False
Let h be (6/5)/((-6)/(-20)). Suppose -80 = -5*j - 5*k - 0*k, h = 4*k. Is 5 a factor of j?
True
Let l