2*l**2 - 2*l + 1. Let w be x(3). Let c = 17 + w. Is 7 a factor of c?
True
Suppose -9*x + 1408 = 7*x. Is 13 a factor of x?
False
Let i be 4/2*(-2)/4. Let n(l) = -4*l - 1. Let t be n(i). Suppose 5*j + 0*p + 2*p - 46 = 0, t*p - 24 = -3*j. Does 10 divide j?
True
Suppose 5*y = -f + 6*f - 245, 0 = -3*f + 5*y + 153. Does 23 divide f?
True
Let f be 3 + (-2 - 1)*-19. Suppose -2*g = -5*g + f. Does 15 divide g?
False
Let o(r) = r + 1. Suppose 2 = -5*f + 7. Let h be o(f). Suppose z + 3*j = 29, -5*z + 2*z + 120 = -h*j. Is z a multiple of 14?
False
Let b(h) = -3*h**3 - 6*h**2 + 6*h + 6. Does 18 divide b(-4)?
False
Suppose 0 = 3*i - 102 + 30. Is i a multiple of 6?
True
Let v be 2 - 2 - (-10)/(-2). Let k(w) = w - 4*w - 3*w - 7 - w. Does 14 divide k(v)?
True
Let j = -63 + 123. Does 6 divide j?
True
Suppose z = -2*z - 1020. Is z/(-14) + (-8)/28 a multiple of 12?
True
Let a = 93 - -16. Does 22 divide a?
False
Suppose 0 = 5*h - 665 - 215. Is h a multiple of 22?
True
Let o(v) = v**3 + 15*v**2 - 8*v + 29. Does 14 divide o(-15)?
False
Suppose v + 128 = 5*v. Let p = 70 - v. Is 19 a factor of p?
True
Let m be (-87)/(-6) + (-4)/(-8). Let u = m + -5. Is 10 a factor of u?
True
Suppose -j + 3*j = 44. Does 14 divide j?
False
Suppose -t = -5*n - 185, -2*n - 31 = -n + t. Let s = -10 - n. Does 26 divide s?
True
Let n(o) = o**2 - 3*o + 7. Does 7 divide n(3)?
True
Let m = -15 + 42. Is 13 a factor of m?
False
Let m = -16 - -22. Suppose 3*v = 3*z + m, 0 = -v + 2*z - 3. Is 2 a factor of v?
False
Suppose 11*v = 13*v + 12. Let b(x) = -4*x. Does 7 divide b(v)?
False
Let y(n) be the second derivative of -n**5/20 + n**4/2 + 2*n**2 + n. Let o be y(6). Let u(c) = c**3 - 2*c**2 - 5. Does 13 divide u(o)?
False
Suppose 0 = -2*s + c + 19, -5*s + 4*c + 46 = -0*s. Does 10 divide s?
True
Let u(t) = -t**2 - 18*t - 9. Is u(-8) a multiple of 17?
False
Does 14 divide (-1 + (-777)/12)/(14/(-56))?
False
Let q be (26*3/6)/(-1). Let l = 21 + q. Does 8 divide l?
True
Let u = -11 - -43. Is u a multiple of 6?
False
Let b = 387 + -250. Is b a multiple of 18?
False
Is 14 a factor of 1 + -4 + 30 + 1?
True
Let t(d) be the third derivative of d**5/20 - 7*d**4/24 + 3*d**2. Let p(h) = -h**3 - 7*h**2 + 5. Let k be p(-7). Is t(k) a multiple of 15?
False
Suppose 3*c - 4*d = 6*c - 12, 0 = -2*c - 4*d + 8. Let a be 1/c - 1/4. Suppose 4*x + a*x = 16. Is x a multiple of 2?
True
Suppose -3*x - 5*o + 32 = 0, 0*o + 3*o = -4*x + 28. Suppose -5*t - 3*v + 187 = 0, -4*t + x*v + 72 = -84. Is t a multiple of 19?
True
Let i(a) be the first derivative of a**3 - 2*a**2 - 4*a + 2. Let r be i(5). Does 9 divide (-3)/(r/30 + -2)?
False
Suppose -217 = -8*q + q. Is 31 a factor of q?
True
Let q(s) = -s**2 - 2*s. Let j(a) = -3*a. Let b(v) = 2*j(v) - 3*q(v). Does 4 divide b(2)?
True
Let h(u) = 3*u**3 - 4*u**2 - 12*u - 10. Let x(k) = -5*k**3 + 9*k**2 + 25*k + 19. Let t(d) = -7*h(d) - 4*x(d). Does 18 divide t(-6)?
True
Let m(i) = -i**2 + 17*i - 10. Is 14 a factor of m(13)?
True
Let k = -4 + 7. Suppose 0 = k*o - 2*o - 2. Is 2 a factor of o?
True
Let d = -46 - -66. Let u = d - 4. Is 8 a factor of u?
True
Let g(q) = -q**3 + 8*q**2 + 2*q + 1. Let r be g(6). Let z = r - 48. Let u = -5 + z. Is u a multiple of 11?
False
Suppose -y = 3*y. Suppose p + 2*p - 48 = y. Is p a multiple of 6?
False
Suppose 188 = b + 2*n, 533 = 3*b - n - 3. Does 8 divide b?
False
Let y(x) = 2*x**2 + 4*x - 3. Suppose -52 = -5*n - 7. Let g be n/2 + (-3)/2. Does 18 divide y(g)?
False
Suppose -46 + 270 = 7*m. Is m a multiple of 27?
False
Does 10 divide (-1)/4 + 1 - (-2216)/32?
True
Let w(z) = 24*z**2 + 1. Let i be w(1). Let a(v) = -5*v**2. Let u be a(-1). Let o = i + u. Is 8 a factor of o?
False
Suppose -6*m - 125 = -m. Suppose -2*q = q + 54. Let h = q - m. Does 7 divide h?
True
Let j be 2/7 - (-12)/7. Let m = 0 - j. Does 11 divide 1/(2/48) + m?
True
Let h = 0 + 10. Let p = 66 - 30. Let j = p - h. Is j a multiple of 13?
True
Suppose 4*v + 182 = -2*y, 5*v - 57 = -3*y - 282. Let f = v - -85. Does 17 divide f?
False
Let s(h) = 4*h - 1. Let w be s(1). Suppose w*p + k = 83, -4 - 17 = -p + 3*k. Is p a multiple of 27?
True
Suppose -15*q + 1536 = -3*q. Is 16 a factor of q?
True
Let f = 5 + 17. Let p = 2 + f. Is p a multiple of 8?
True
Suppose 4*c + 4*a - 32 = 0, -2*a - 14 = -3*c - c. Let t(v) = -4*v + 5. Let g be t(c). Let o = g + 41. Does 13 divide o?
True
Let p(t) = -t - 8. Is 2 a factor of p(-16)?
True
Let y(i) = 2*i**2 + 3. Does 16 divide y(4)?
False
Let d = -3 - 3. Let r = d + 28. Is r a multiple of 6?
False
Let n(g) = g - 3. Let r be n(6). Is -94*(r + 7/(-2)) a multiple of 7?
False
Let w = 198 - 71. Is 23 a factor of w?
False
Let l(f) = -2*f + 49. Is l(9) a multiple of 15?
False
Let o(l) = l**3 - 8*l**2 - 27*l + 2. Is o(11) a multiple of 11?
False
Let m = -1 - -33. Does 6 divide m?
False
Let q = 51 + -43. Is q a multiple of 2?
True
Let j = 27 - 8. Is 3 a factor of j?
False
Let c be (5 + -4 + 0)*3. Suppose -c*z + 42 = -2*z. Does 14 divide z?
True
Suppose -3*q - q = -220. Is 39 a factor of q?
False
Let f = 11 + -20. Suppose 3*w = -2*g - 65, -g + 11 - 124 = 5*w. Let i = f - w. Is 14 a factor of i?
True
Let m(s) = 2*s**2 - 3*s**2 + 0*s**2 + 6*s**2 + 2*s. Is m(-3) a multiple of 13?
True
Suppose 0 = -3*g + 20 + 1. Suppose g*r - 63 = 4*r. Does 10 divide r?
False
Suppose -2*f - 762 = -5*j, -5*j - 3*f - 3 = -785. Is 27 a factor of j?
False
Let y(q) = -18*q**2. Let i be y(1). Does 6 divide i/2*8/(-6)?
True
Let v(p) = -29*p. Let t be v(-10). Suppose -2*g = 5*u - 2*u - 152, -4*g + u = -t. Is g a multiple of 21?
False
Let h(j) = -10*j + 5. Let u be h(-4). Let i = u + -32. Does 13 divide i?
True
Suppose 3*u + 3*x - 7 = -1, 5*u = x + 40. Is u even?
False
Let u(x) = 7*x - 11. Let p(f) = -f + 1. Let v(m) = 6*p(m) + u(m). Let r be v(6). Suppose 13 - r = 2*s. Does 3 divide s?
True
Let p(c) = c**2 + 3*c + 5. Let v be p(0). Let q(z) = -2*z. Let w be q(-3). Suppose -s - w = -3*n, -n = -v*s - 0*n + 26. Is s a multiple of 4?
False
Does 15 divide (1012/(-66))/((-2)/(-6)*-1)?
False
Let x(y) = y + 11. Let n be x(-11). Suppose -6*b + 4*b + 24 = n. Is 5 a factor of (1 - -1 - b)*-1?
True
Let r = -5 + 8. Suppose -i + r*z - 11 = -4, 0 = -i - 3*z + 23. Does 8 divide i?
True
Let y = 75 + -55. Is 4 a factor of y?
True
Suppose 2*a + 2*a - 5*k = -45, 5 = -3*a - 2*k. Does 15 divide ((-4)/a)/(-2)*-145?
False
Let q(l) be the first derivative of -l**4/4 + l**3 + 4*l + 5. Is 3 a factor of q(3)?
False
Let f be ((-1)/(-3))/((-3)/153). Let k = 30 + f. Is 3 a factor of k?
False
Suppose 0 = -3*j + f - 0 + 15, 2*j + 2*f - 2 = 0. Let s = j + 0. Suppose s*o - 11 = 3*o. Is o a multiple of 6?
False
Let t(g) = 14*g**3 - g**2 - 2*g + 1. Is 15 a factor of t(2)?
True
Let f(s) be the first derivative of -s**4/4 - s**3 + 7*s**2/2 - s + 3. Is 14 a factor of f(-5)?
True
Let p(b) = -4*b - 1. Let o be p(-2). Let d = o - -26. Is 11 a factor of d?
True
Suppose a + 143 = 5*t, 4*t - 5*a = 3*t + 19. Is 13 a factor of t?
False
Let r = 7 + -5. Suppose 4*q - q - 3 = 0, -r*q = 4*h - 122. Is 10 a factor of h?
True
Let c = 7 + -4. Suppose 5*y - 3*m = m + 98, 0 = -c*y + 4*m + 62. Does 15 divide y?
False
Let w = -22 + 24. Suppose 4*j - 583 = 113. Suppose -3*t - j = -5*l - 37, 2*t - w = 0. Does 14 divide l?
True
Let y(x) = 2*x + 6. Let d be y(5). Suppose -5*s + 43 = t + 14, 4*t = d. Suppose -2*v + 0*i - 2*i + 36 = 0, -4*v = s*i - 76. Is 9 a factor of v?
False
Suppose o = 2*o - 4*r - 28, 0 = -3*o - r + 110. Is o a multiple of 12?
True
Let t(i) = -9*i + 2. Let q be t(-5). Let n = 129 - q. Is n a multiple of 17?
False
Let i(z) = z**3 - z**2 - 2. Let u be i(0). Let n be 54*(1 - u/(-1)). Let d = 80 + n. Is d a multiple of 13?
True
Suppose 2*i = 6 + 26. Let l = 35 - i. Is 19 a factor of l?
True
Suppose -2*d - 2*d = -2*h + 38, -3*d + 108 = 5*h. Is 7 a factor of (2 + h)*(2 - 1)?
False
Suppose -7*z = -2*z - 145. Is 16 a factor of z?
False
Let t(d) = d**2 - 9*d + 2. Let z be t(8). Does 11 divide ((-15)/10)/(z/244)?
False
Let h = 2 - -10. Let s = -61 + h. Let j = -19 - s. Is j a multiple of 15?
True
Let v(a) = -2*a**3 + 3*a**2 - a. Let o be v(2). Let x = o - -8. Suppose 5*k - 2 = x*i, -5*k + 3*k + 44 = 4*i. Does 9 divide i?
True
Let w = -164 + 103. Let c = w + 103. Is 12 a factor of c?
False
Suppose -3 = -i - 8. Does 5 divide (-48)/i + 6/15?
True
Let h(n) = -n 