e
Is (-2)/2 - 1 - -127 a multiple of 25?
True
Suppose p + 27 = 75. Suppose p = 3*l - 21. Is l a multiple of 8?
False
Let y(l) be the third derivative of 1/6*l**3 + 7/60*l**5 + 0*l + 1/24*l**4 + 0 + l**2. Does 4 divide y(-1)?
False
Let m(u) = 6*u**2 + u + 1. Let t be m(-2). Let w be 76/18 - 4/18. Suppose z - 22 = -3*h, w*h - 8 = -z + t. Is 3 a factor of h?
True
Suppose 2*n - 32 = 34. Is n a multiple of 19?
False
Let b be (2 - -7) + (-1)/(-1). Suppose -5*n + 5*l + b = 0, 3*n - 2*l + 4*l - 6 = 0. Suppose -n*k + 0*k = -20. Is k a multiple of 6?
False
Let g(f) = -3*f - 9. Is g(-4) a multiple of 3?
True
Is 11 a factor of 1104/20 - (-1)/(-5)?
True
Does 20 divide 37 + 1 - (3 - 5)?
True
Let q(g) = g**2 - 1. Let t(j) = -4*j**2 + 6*j + 3. Let p(x) = 5*q(x) + t(x). Is 9 a factor of p(-9)?
False
Let f = 6 - -10. Let y = -4 + f. Does 6 divide y?
True
Is 21 a factor of (27/6 + -4)/(3/1008)?
True
Let s(b) = b**2 - 10*b + 1. Is 4 a factor of s(13)?
True
Suppose 0 = u + 2*q - 63, 8*u + 5*q = 3*u + 315. Is u a multiple of 20?
False
Suppose j + 308 = -3*j. Let f = j - -115. Is f a multiple of 17?
False
Suppose g = 2*g - 12. Is 12 a factor of g?
True
Let r(j) be the third derivative of -j**6/24 - j**5/20 - j**4/12 - j**3/3 + 2*j**2. Is r(-2) a multiple of 14?
False
Let o be 1*(1 + (2 - -199)). Suppose 144 = 4*d + 4*k - 56, -4*d - 5*k = -o. Is 16 a factor of d?
True
Let g(o) be the third derivative of -o**6/20 - o**5/60 - 2*o**2. Is 22 a factor of g(-2)?
True
Is (12 - 110)/((-1)/2) a multiple of 28?
True
Does 10 divide ((-2)/(-1))/(16/248)?
False
Suppose -4*o = -q - 147, -5*q = 2*o - 3*q - 76. Does 4 divide o?
False
Let f be 300/28 + (-4)/(-14). Is 4 a factor of (-8)/(3 + f/(-3))?
True
Let p = -39 - -60. Does 7 divide p?
True
Let m = 0 + -19. Let z = m + 48. Suppose -8 = i - z. Is i a multiple of 8?
False
Let c(p) = 5*p**2 + 4*p - 8. Is 8 a factor of c(4)?
True
Let p be -1 + (-1 - (1 + -3)). Let g = p - 5. Let h = g + 14. Is 7 a factor of h?
False
Suppose -10*m = -8*m - 272. Is m a multiple of 24?
False
Let z(i) = 4*i**2 + 2*i. Let r be z(-2). Is 20 a factor of (40/r)/(2/12)?
True
Let h be 128/(-22) + (-6)/33. Let c = h + 9. Suppose 5*i - i + c*b = 33, i + b = 7. Does 12 divide i?
True
Let l = -15 + 23. Suppose -5*r - 16 = -1. Let s = r + l. Is s even?
False
Suppose -3*k + 12 = 0, 0*f - 3*f - 5*k = -26. Suppose -3*i + t = f*t - 168, 3*i - 5*t = 186. Is 13 a factor of i?
False
Let q be (-5)/(-2 - 0 - -1). Suppose -25 = -q*t - 0*t. Is 5 a factor of t?
True
Let a(z) = z**3 + 11*z**2 + 3*z + 15. Let f be a(-11). Let k = f - -28. Is 3 a factor of k?
False
Let p(m) = -4*m**3 - m**2 - 2*m. Is p(-2) a multiple of 16?
True
Let b(s) = -7*s - 3. Let t be b(-2). Let r = 4 - -13. Let z = t + r. Is z a multiple of 14?
True
Let c(s) = -s**3 - s**2 + 5*s + 2. Let j be c(-3). Suppose 0 = j*r - 2*r. Suppose 2*t + 0*t - 26 = r. Does 13 divide t?
True
Suppose -4*w = -5*f - 74, 2*w + 3 = -5. Let l = -6 - f. Does 7 divide l?
False
Let m = 11 + -7. Suppose 2*t - 42 = -4*n + 14, n + 139 = m*t. Does 17 divide t?
True
Let w(o) = -3 + 3*o + 5*o + 2*o. Is w(7) a multiple of 22?
False
Suppose -3*c = -15, 2*d + 4*c - c - 17 = 0. Let f(o) = 0*o**3 + d - 5*o - o**2 + 8*o**2 - o**3. Is 3 a factor of f(6)?
False
Suppose -3*o + 218 + 42 = 4*g, -3*g = -4*o - 220. Is 24 a factor of g?
False
Suppose -3*d + 236 = 2*v - 659, 0 = -3*d + 2*v + 887. Is 12 a factor of d?
False
Is 6 a factor of (-12)/(-9)*3 - -8?
True
Let u = 4 + 1. Suppose -20 = -u*g - 0. Suppose 0 = g*d - 0*d - 44. Is d a multiple of 11?
True
Let w = -30 + 26. Let g = w + 62. Is g a multiple of 13?
False
Let v be ((-7)/2 - -2)*4. Let k = 14 - v. Is 20 a factor of k?
True
Suppose 3*f + 5*o - 4 + 2 = 0, 3*o = 5*f - 26. Suppose 60 = 5*c - 5*u, -f*c + 6*u + 51 = u. Does 6 divide c?
False
Let n(j) = j**3 - 11*j**2 - 9*j - 14. Let m(d) = 2*d**3 - 21*d**2 - 18*d - 27. Let w(b) = 6*m(b) - 11*n(b). Does 7 divide w(7)?
False
Suppose -2*l + 3*p + 0 = 8, 2*l + 3*p = 16. Suppose -l = -a - a. Is 2 + 2*7 + a a multiple of 17?
True
Let a = 244 - 154. Does 10 divide a?
True
Let h(j) be the first derivative of -7*j**4/2 + 3*j**2/2 + 2*j + 3. Let w(x) = -5*x**3 + x + 1. Let f(m) = -4*h(m) + 11*w(m). Is f(0) a multiple of 2?
False
Let k = 7 + 7. Suppose 0 = -v - v - 8. Let o = k + v. Is 9 a factor of o?
False
Suppose d = -2*t + 4, 2*d + t = -0*t + 2. Suppose -6*z + 4*z + 6 = d. Suppose z*k = 5*k - 5*l + 2, 2*k = 2*l + 4. Is k a multiple of 4?
True
Let s = 137 + -2. Suppose 2*w + 2*w - 156 = 0. Suppose -4*d = w - s. Is 12 a factor of d?
True
Let z(g) = -2*g. Let l be z(-9). Is (-3 + 4)/(1/l) a multiple of 18?
True
Let v(i) = 3*i - 3 - 4*i + 2*i. Let l be v(7). Suppose -l*z + 23 = -73. Is 12 a factor of z?
True
Suppose -42 = -2*a + 66. Is 18 a factor of a?
True
Let n(i) = i**2 - 7*i - 6. Let w be n(8). Let l be w*2 - 1/1. Suppose -2*z = -z + 2, l*z - 22 = -2*k. Does 14 divide k?
True
Does 3 divide (-2)/(-40)*5 - 95/(-4)?
True
Let c be (-303)/(-4) - (-3)/12. Let f = -47 + c. Is 15 a factor of f?
False
Let b = -142 + 270. Suppose -b - 324 = -4*g. Let j = g + -66. Does 12 divide j?
False
Let m(q) = q**3 + 3*q**2 - 12*q + 2. Let w be m(-5). Does 19 divide (-16)/6*(-342)/w?
True
Let m be 5/((-5)/(-2)) + 1. Suppose -l + 2*i = 3 - 0, m*l - 15 = -2*i. Suppose -d = 4*o - 4*d - 19, -2*o - l*d = -5. Is 2 a factor of o?
True
Suppose -3*q - 4*v + 72 = -v, -79 = -3*q + 4*v. Is q a multiple of 25?
True
Let y(h) = -2*h. Suppose -5*n - 40 = -0*n. Let g be (n/6)/(2/6). Is 4 a factor of y(g)?
True
Suppose 2*o = -4*k - 0*k + 22, -3*o + 25 = 2*k. Let r(v) = v - 2. Let f be r(5). Suppose -f*p + 108 = -5*s, 3*p + 5*s - 101 = o. Is 12 a factor of p?
True
Let z = -6 + 14. Let q(c) = c**2 - 9*c + 10. Let d be q(z). Suppose -5*u - 5 = -2*w, 23 = 4*w + d*u - 23. Is 10 a factor of w?
True
Let w = -67 - -138. Is w a multiple of 6?
False
Suppose 0 = -5*u - 5*h - 710, -3*h - 51 = u + 101. Let i = -89 - u. Does 16 divide i?
True
Let x = 3 - 0. Suppose -2*t - x*t + 85 = 0. Is 12 a factor of t?
False
Let z = 19 + -3. Is z a multiple of 12?
False
Let r be (-4)/(-1)*12/8. Let c = r + -4. Suppose 0 = 2*j + c*j - 156. Is 18 a factor of j?
False
Does 14 divide -5*(-3)/15*(184 + 1)?
False
Suppose 0 = -2*s - 2*s - 12. Let n be (3/(-3) + s)/(-1). Is (-230)/n*16/(-20) a multiple of 13?
False
Does 14 divide 658/16 + 2/(-16)?
False
Suppose b - 64 = -b. Does 11 divide b?
False
Suppose 986 = 5*f - 119. Suppose 3*r = m + 120 + 14, 5*r - 4*m - f = 0. Suppose 4*l - r = 75. Does 12 divide l?
False
Let a(m) = m**2 + 8*m + 5. Let z be a(-8). Let v = z + 4. Is 3 a factor of v?
True
Suppose -2*y + 3*x + 179 = 0, 2*y + x + 89 = 3*y. Suppose 2*v + o = y, -o - 96 = -2*v - 0*o. Does 16 divide v?
False
Let j(g) = -4*g + 0 + 2 + 4*g + g. Let u be j(4). Suppose 5*x - 19 - u = 0. Is x even?
False
Let l(n) = 31*n**2 + 6*n + 1. Let v(c) = 62*c**2 + 11*c + 2. Let z(x) = -11*l(x) + 6*v(x). Suppose -3*s + 10 = k, 6*s - s = 15. Does 20 divide z(k)?
False
Let h = 92 - 51. Is h a multiple of 7?
False
Let m(j) = -4*j - 16. Is m(-12) a multiple of 8?
True
Suppose -r = -a - 7, 0 = 5*r + 5*a - 4 - 1. Let l(w) = 2*w**2 - 5*w + 2. Is l(r) a multiple of 14?
True
Let y = 5 - 3. Let u be y - (0 - (-282)/(-3)). Is (-2)/5 + u/15 a multiple of 3?
True
Let n(q) = -2*q. Let y be n(0). Is 6 a factor of y/(-3) + 0 - -6?
True
Let n = 10 - 7. Suppose -2 = -2*k + k. Suppose -2*s + 4*l = k, n*s + s + 5*l - 35 = 0. Does 5 divide s?
True
Let y = -5 + 7. Suppose 2*k - 184 = -y*k. Is k a multiple of 29?
False
Suppose 5*w = 3*w + 2. Let g be (7/(-14))/(w/(-104)). Suppose 2*d + 5*y - 29 - 28 = 0, 0 = -2*d - 4*y + g. Is d a multiple of 8?
True
Let o = 18 - 13. Let q be -3 + 6*2 - -1. Suppose -2*a = 3*a + q, -2*a = o*m - 66. Is 10 a factor of m?
False
Let p be (-32)/18 + (-22)/99. Let n = 8 - p. Is 3 a factor of n?
False
Let t(x) = x**3 + 6*x**2 + 6*x - 2. Let q be t(-5). Let y(f) = f**3 + 8*f**2 + 6*f - 3. Let a be y(q). Suppose d + 12 = a*d. Is d even?
True
Suppose 4*x - 4*y - 32 = 0, 0*y - 4*y = -3*x + 19. Let u = -8 + x. Let a(n) = 2*n - 2. Is a(u) a multiple of 3?
False
Let z(c) = c**2 - 2*c + 7. Is 11 a factor of z(5)?
True
Let y be 1/(1/3) + 1. Suppose 2*x + 6 = y*x. Is -14*(-7 + 1)/x a multiple of 14?
True
Let t(f) = -f**3 + 9*f - 4. Is 8 a factor