et n = -1 + 4. Does 12 divide z(n)?
True
Let v be (2 - 11)*2 + 2. Let h = v + 20. Is 4 a factor of h?
True
Let x be 4/18 + 2169/81. Suppose -4*t + x = -21. Is t a multiple of 5?
False
Let s(w) = -2*w + 1. Let k be s(2). Let g be 0 - -2 - (-5 - k). Is (11/g)/((-2)/(-8)) a multiple of 11?
True
Suppose -27 - 102 = -2*f + 3*j, -2*f = 5*j - 89. Let v = f + 26. Let x = v + -56. Is 20 a factor of x?
False
Suppose -5*b + 4*i + 771 = 2*i, -5*b - 3*i = -781. Does 47 divide b?
False
Let o(j) be the second derivative of j**4/3 - j**2/2 + 3*j. Let a be o(1). Let r = 10 + a. Does 13 divide r?
True
Suppose -5*x = 2*t - 127, -2*t = -5*x - 88 - 69. Does 19 divide t?
False
Suppose -m = 26 + 43. Let l = -47 - m. Is l a multiple of 11?
True
Suppose 3*j + 0 = -3, 5*j + 9 = t. Let w be -1 + 4 - (-4 - -4). Suppose 5*c = -a + w*a + 2, -18 = -t*a - c. Is a a multiple of 4?
True
Suppose -a - h + 95 = 0, -h - 463 = -10*a + 5*a. Is a a multiple of 7?
False
Let m(z) = -z**2 - 3*z - 7. Suppose w - 5*y = 6, 4*w - 3*y = y + 8. Let f(v) = -v. Let q(h) = w*m(h) + 4*f(h). Does 2 divide q(-5)?
False
Let h = -9 - -15. Suppose -4*w + h*w - 146 = 0. Does 20 divide w?
False
Let p(m) = 5*m**2 + 14*m - 11. Let u(o) = 6*o**2 + 15*o - 12. Let r(f) = -7*p(f) + 6*u(f). Is r(8) a multiple of 3?
False
Suppose -2*p - 4 - 18 = 0. Suppose 0 = -5*b - 0*b + 4*r + 150, -r = 2*b - 60. Let o = b + p. Is 14 a factor of o?
False
Let l = 148 - 60. Does 13 divide l?
False
Let q(l) = -l**3 - 2*l**2 + 3*l + 1. Let z be q(-3). Suppose -4*h - k = -24, 4 = -h - 3*k - z. Suppose -4*s + h = -9. Is s a multiple of 4?
True
Is 5 a factor of (-20)/6*4/(-10)*6?
False
Suppose 5*c + 1 = 3*f, f = 4*f - 2*c + 5. Let d = f - -3. Is 6 a factor of (4 - (-3 + 1)) + d?
True
Let a = 11 - -27. Suppose 3*i - i - a = 0. Is i a multiple of 8?
False
Does 3 divide (2/(-3) - 34/(-6))*5?
False
Suppose 8*z = 2*z + 480. Does 8 divide z?
True
Let p = 229 + -127. Suppose 0*v - 58 = -2*v - 5*x, 4*v - p = -3*x. Is 8 a factor of v?
True
Let i(l) = -2*l + 14. Let g(b) = -10*b**3 + b**2 - 2*b + 1. Let y be g(1). Is i(y) a multiple of 17?
True
Let y = 91 - 59. Does 8 divide y?
True
Suppose 4*n + 95 = 3*c - 237, -4*n - 436 = -4*c. Is 18 a factor of c?
False
Let x be -1 + 1 + (-576)/(-8). Let i(f) = -f**3 - 4*f**2 + 5*f + 5. Let h be i(-5). Suppose 5*z + h*n - 186 = n, -2*z = n - x. Is z a multiple of 12?
False
Suppose 0 = -5*z - 0*z + 105. Let g = 3 - 14. Let l = z - g. Is l a multiple of 16?
True
Suppose -q = -0*q - 3*t - 42, 0 = -4*q + t + 124. Does 5 divide q?
True
Let v(l) = l**2 - 2. Let g be v(-2). Let o = g - -4. Does 3 divide o?
True
Suppose 4*q + 233 = n, 5*n + 5*q = -0*q + 1090. Is 17 a factor of n?
True
Does 21 divide (-1)/(-3 + 4)*-21?
True
Let t(y) be the third derivative of -y**5/60 - y**4/2 + 5*y**3/6 + 7*y**2. Does 4 divide t(-11)?
True
Let w(o) = -4*o - 8 + 2*o**2 + 5*o**2 + 2. Is 15 a factor of w(4)?
True
Suppose w - 4*d = 43, 0 = -4*w - 2*d - 2*d + 172. Does 7 divide w?
False
Suppose 5 = -4*d - 3, 3*y - 1086 = 3*d. Is 30 a factor of y?
True
Is 16 a factor of (-3 - -105)/3 - 2?
True
Suppose 2*y - y - 129 = 0. Suppose y + 35 = 4*h. Suppose -59 - h = -5*f. Is 10 a factor of f?
True
Suppose -v = 4*v. Suppose -4*s + 84 + 104 = v. Does 11 divide s?
False
Let s(h) = -2*h + 2 - 4*h - 2*h + h. Is s(-4) a multiple of 10?
True
Let t = -7 + 11. Let i be (-30)/5*(-2)/t. Suppose -3*s - 60 = -3*u, 5*u - 68 = -6*s + i*s. Is u a multiple of 6?
False
Let p(n) = 7*n**2 - 2*n + 5. Is 23 a factor of p(3)?
False
Let g(c) = -c**2 - 9*c + 9. Does 9 divide g(-7)?
False
Let u be 14/(0 + 0 + 1). Let q = -8 + u. Suppose -2*l - 20 = -o, 12 = q*l - 2*l. Is o a multiple of 13?
True
Suppose -3*n + 100 = -5*c, n - 15 = 5*c + 25. Does 6 divide n?
True
Let q(n) be the first derivative of -1 + 1/2*n**2 + 7/3*n**3 - n. Is q(1) a multiple of 7?
True
Let x be (-12)/(-90) - 394/30. Let p = x - -21. Does 4 divide p?
True
Suppose -5*d + 8 = 5*x - 2, d = 5*x - 22. Is ((-12)/(-9))/(d/(-15)) a multiple of 10?
True
Suppose 2*l + 3 = -l. Let u = 62 - l. Is u a multiple of 17?
False
Let u(n) = n**2 + 3*n + 3. Let b be u(-3). Let i = -2 + b. Suppose 19 = 3*g + i. Is g a multiple of 2?
True
Suppose -3*x = 2*x - 3*u - 50, 5*x + u - 70 = 0. Is 2 a factor of x?
False
Let o = 3 - -32. Is o a multiple of 5?
True
Let w be (-9)/6 + 9/(-6). Let h = 11 + w. Is h a multiple of 8?
True
Let b(t) = t**2 - 2*t - 6. Let z = 9 + -7. Suppose -4 = -z*i - 2*p, p = -3*i + 2*p + 26. Is b(i) a multiple of 12?
False
Let n = 4 + 0. Let s = n - 1. Suppose -2*g + 65 = s*g. Does 13 divide g?
True
Let y(c) = 6*c**2 - 7*c - 2. Is y(4) a multiple of 5?
False
Suppose y - 8 = -3*y. Let u(t) = 3*t**3 - 2*t**2 + 2*t - 2. Is 9 a factor of u(y)?
True
Let i(g) = g**3 + 6*g**2 + 4*g - 7. Let u be i(-5). Let c = u - -5. Suppose -5*j = 3*x - 17 - 86, -3*x - 81 = -c*j. Is j a multiple of 14?
False
Suppose 0 = 5*k - 184 + 19. Suppose 4*b + 2*y - k = 7*y, -2*b + 15 = -y. Suppose -5*d - b = -77. Is 9 a factor of d?
False
Is 25 a factor of ((-3)/((-9)/(-22)))/(2/(-9))?
False
Let b = -11 - -24. Suppose b = 3*m + 2*p + 3*p, -3*m + 3*p + 45 = 0. Does 9 divide m?
False
Let v(s) = 2 + 10*s**3 + 0*s**2 - 3 + s + s**2. Let c = 0 + 1. Does 11 divide v(c)?
True
Let n = -15 - -15. Is 1/((-3)/(-144)) - n a multiple of 16?
True
Let j(q) = q**3 + 13*q**2 + 5*q - 3. Is 22 a factor of j(-12)?
False
Suppose 0 = 7*x - 11 - 73. Is x a multiple of 2?
True
Let z(k) = 2*k**3 - k**2 - 4*k. Let j be z(-3). Let r = -29 - j. Is r a multiple of 11?
True
Suppose 0 = 2*p - 4*i + 2, 4*i = -4*p - 2 + 22. Let l be 0/((-2)/(-5 + p)). Suppose 3*z + 16 - 76 = l. Is z a multiple of 20?
True
Suppose 112 = 2*m + 2*i, 3*m + 4*i - 163 = -0*i. Let j = m + -37. Does 6 divide j?
True
Let n(o) = 4*o - 12. Let i(y) = -8*y + 25. Let g(j) = 6*i(j) + 13*n(j). Is 14 a factor of g(5)?
True
Suppose -4*h + 2*s + s = -732, 3*h - 3*s - 552 = 0. Does 36 divide h?
True
Is (-21 - -16) + 1*284 a multiple of 22?
False
Let b(x) = 2*x**2 + 3*x. Let v be b(-2). Let k be 8 + 0/(-5) + -3. Suppose v*h - k*h = -15. Is 3 a factor of h?
False
Let i(l) = l**2 - 5*l - 8. Let d be i(6). Let f be (d - -13) + 1 - -1. Let m = f + -1. Does 7 divide m?
False
Let t(o) = -21*o - 5. Does 10 divide t(-2)?
False
Let d = -2 + -1. Let s = 0 - -8. Let i = s + d. Does 5 divide i?
True
Is 15 a factor of 3 + 47 + 0 + 3?
False
Let g(s) = s**2 + 4*s + 5. Let x = -14 - -10. Let z be g(x). Suppose z*a - 60 = j + j, -j = -5*a + 60. Is a a multiple of 6?
True
Let m(k) = -2*k + 1. Let v be m(-1). Suppose -d + 8 = -4*t, 0 = v*d - 4*t + 2*t - 74. Does 15 divide d?
False
Does 4 divide 48 + ((-1)/(-2) - (-13)/(-26))?
True
Let y be (-6 - -1)*(-12)/(-10). Let a = 186 - 10. Is a/12 - 2/y a multiple of 6?
False
Suppose c + 6 = 8. Suppose 0 = -0*i + 4*i - 24. Suppose 0 = -c*k + i*k - 180. Does 16 divide k?
False
Does 13 divide (1 + (-20)/12)*-78?
True
Let p(k) = 10*k**2 - 2*k - 1. Suppose -9*q + 4 = -13*q. Does 11 divide p(q)?
True
Suppose -2*v - 60 = 3*s, 39 = -3*s + v - 21. Suppose 4*x + 55 = 7. Does 9 divide (s/12)/(1/x)?
False
Let m(g) = g**3 - 5*g**2 - 4*g + 6. Let j(n) = n**3 + 6*n**2 - 8*n - 7. Let w be j(-7). Let u be (w - 6)/(-4 + 3). Is m(u) a multiple of 5?
False
Let p = 121 + 11. Suppose 3*c = t - 50, -3*t + 6*c + p = 3*c. Let j = t + 1. Is j a multiple of 13?
False
Suppose 0*f = -5*f + 20. Suppose -f*m = -m - 105. Is m a multiple of 7?
True
Suppose -3*m + 2*f - 6 = -2, 0 = 2*m - 4*f. Let r be (-2)/(2*m/(-22)). Let z = r - -19. Is z a multiple of 4?
True
Suppose 11 = 4*u - 5. Suppose 2*v - v + 9 = 4*p, u*v - 44 = -4*p. Is v a multiple of 3?
False
Suppose -139 = -4*g + 4*r + r, -3*g = 3*r - 111. Let s = 2 + g. Is 20 a factor of s?
False
Suppose -2*s + 5*s = -9. Is 17 a factor of 202/4 - s/6?
True
Let z(c) = -4 - c - 2*c + 5 - 2*c. Let l = -10 + 6. Is z(l) a multiple of 10?
False
Let w(t) = -t + 11. Suppose 28 = -3*k + 7*k - 2*o, 0 = 2*k - 2*o - 18. Is w(k) even?
True
Let y be (-15)/6*12/(-10). Let g(w) = 6*w**2 + 4*w - 1. Does 29 divide g(y)?
False
Let a = 29 - 19. Suppose -5*t + 45 = 3*n - 0*n, 4*n = t + 37. Let j = n + a. Is j a multiple of 20?
True
Let a(d) = -d**3 + 6*d**2 + d - 2. Let k be a(6). Suppose -34 - 30 = k*g. Let h = g - -22. Does 4 divide h?
False
Let v be (-4)/6*906/4. Let c = -83 - v