 - 1. Is 25 a factor of l(3)?
True
Suppose u = 5*n + 1, 0 = -2*n + u + u + 6. Does 3 divide ((-1)/2)/(n/12)?
True
Let c(z) = -10*z**2. Let n be c(1). Let g be 3*4/(-6) + -19. Let q = n - g. Is 11 a factor of q?
True
Let m be 2/7 - (-2676)/42. Suppose 0 = -5*y + m + 16. Suppose -4*p + 5*p = -2*i + y, -4*p - 2*i + 76 = 0. Does 6 divide p?
False
Does 40 divide 72/28 + -3 + 283/7?
True
Suppose 2*r - 392 = -3*n, -3*n + 7*n - 5*r = 515. Does 13 divide n?
True
Let r(c) = 48*c - 8. Let f be r(6). Suppose 0 = 5*o - 10*o + f. Let a = o - 32. Is a a multiple of 9?
False
Let m(p) = p**2 + 10. Let s be ((-4)/(-12)*0)/1. Is m(s) a multiple of 6?
False
Let y(a) be the third derivative of -a**8/20160 + a**7/560 - a**6/360 - a**5/60 - a**2. Let u(l) be the third derivative of y(l). Is 8 a factor of u(4)?
False
Suppose 0 = -4*a + 64 - 24. Suppose -g + a = -5. Is g a multiple of 4?
False
Suppose -5*z - 9 = -2*r, -2*r - 2*z - z = -33. Is 4 a factor of r?
True
Let t(b) = -b + 5. Suppose 2*i = p - 9, 2*p - 7*p = 5*i + 30. Let y be t(i). Let c = y + -6. Does 3 divide c?
False
Let g = 52 + -29. Let o = 11 - 4. Suppose -o + g = f. Is 7 a factor of f?
False
Suppose 5*x = 2*x. Let c(a) = 3*a + x + a - 3. Is c(2) even?
False
Let o be (6 - 4) + 2/(-1). Suppose o = -5*t + 3*n + 100, -80 = -4*t + n - 4*n. Is 7 a factor of t?
False
Is 18/(-5)*(-4)/(4/5) a multiple of 10?
False
Suppose -5*h - 10 = -0*h. Does 11 divide 1/h - 46/(-4)?
True
Suppose 2*h = 6*h - 8. Suppose y + 45 = h*y. Is y a multiple of 21?
False
Suppose -5*r + 7 = o - 0, -r - 7 = 3*o. Suppose -r*a + 48 = -0*a. Does 24 divide a?
True
Let y(i) = -i**3 + 3*i**2 + 2*i + 4. Let h be ((-8)/6)/1*-9. Suppose 5*u - 3 = h. Is y(u) a multiple of 10?
True
Let h = -12 - -131. Does 13 divide h?
False
Let z(t) = t**2 + 0*t**2 - 10 + t**2 - 6*t + 0*t. Does 13 divide z(-4)?
False
Let o(n) = n**2 + 5*n + 5. Let d be o(-5). Let t = -5 + d. Suppose -4*g = 5*r - 60, 3*g = -2*r - t*r + 38. Is g a multiple of 10?
True
Is (-96)/7*(-2 - 5) a multiple of 16?
True
Suppose 4*i + 4*q = 5*i + 24, -2*i = 5*q + 9. Let t = i + 18. Is 5 a factor of t?
False
Suppose 0*o - 3*o = 0. Suppose -r + o = 5. Let t(b) = -3*b. Is 7 a factor of t(r)?
False
Let p(w) = -3*w**2 + 21*w - 1. Let c(h) = h**2 - 10*h. Let a(i) = -7*c(i) - 3*p(i). Suppose z = 3*y + 17, 3*y + z = 1 - 26. Is 26 a factor of a(y)?
True
Suppose 2*o + 4 = -0*o + 4*s, 2*s = -o + 14. Let z(a) = -a**2 + 6*a + 5. Let u be z(o). Suppose -22 - 18 = -u*m. Does 8 divide m?
True
Does 52 divide 6264/40 - (-1)/((-15)/9)?
True
Suppose -53 = -i - 4*k - 17, 0 = -4*i - k + 69. Let q = i + 10. Does 15 divide q?
False
Let k be (-27)/(-6) + (-2)/(-4). Suppose 0*s - k*v = -s + 29, -3*v - 189 = -5*s. Does 11 divide s?
False
Suppose -3*q - 2*t + 99 = -5*t, 3*q - 123 = -3*t. Let u = 63 - q. Suppose a = 6 + u. Does 16 divide a?
True
Does 15 divide 12/(-4)*(0 - 71)?
False
Let w(p) = -p**2 - 5*p - 2. Let k be w(-4). Let a(q) = 2*q**2 + q - 2. Let j be a(-2). Suppose -k*d - g - 95 = -4*d, -j*d = -4*g - 188. Is 24 a factor of d?
True
Suppose -9*t + 20 = -223. Does 4 divide t?
False
Let p(s) = -s + 4. Let o be p(2). Does 17 divide o/2*(38 - -7)?
False
Let i(w) be the third derivative of -w**5/60 - 5*w**4/12 - 2*w**3 + 6*w**2. Is i(-7) a multiple of 2?
False
Let w(j) = -j - 4. Let h be w(-3). Let n = 3 + h. Suppose n*r + 4 = 38. Does 5 divide r?
False
Let s(c) = 3*c**3 - 5*c**2 - c - 12. Let u(o) = -o**3 + 2*o**2 + 4. Let q(r) = 6*s(r) + 17*u(r). Is q(-4) a multiple of 5?
True
Let a(j) = 2*j + 3. Does 9 divide a(5)?
False
Suppose 360 = -18*m + 20*m. Is m a multiple of 8?
False
Let z be (-308)/(-8) + (-2)/4. Let p = z - 14. Does 23 divide p?
False
Let h(v) be the second derivative of -1/2*v**3 + 0 - 1/4*v**4 + v + 1/20*v**5 - 5/2*v**2. Is h(5) a multiple of 15?
True
Does 38 divide 3/9*-2 + (-3424)/(-24)?
False
Let k = 52 + -27. Let w = k + -17. Is 4 a factor of w?
True
Let f be ((-1)/2)/(2/16). Let s be (5 - 2)/(6/f). Does 15 divide (0 - 1)*s + 37?
False
Suppose 0 = 5*y - 0*y - 15. Let q be (-7 + 4)*7/y. Does 20 divide (-2 - q)/(1/8)?
True
Suppose -20 = 2*f - 4*f. Let l = 4 + f. Is l a multiple of 5?
False
Is 10 a factor of (-2 - -3) + -1 + 80?
True
Let s(q) = -3*q**3 + 2*q**2 + 1. Let f(j) = -4*j**3 + 3*j**2 + 1. Let l be (-1)/2 - (-21)/6. Let c(x) = l*s(x) - 2*f(x). Does 13 divide c(-3)?
False
Suppose -3*t = 3*h - 327, 0 = 2*t - h - 160 - 70. Let n = t - 48. Suppose -3*m + o = -n, -3*m - o - 4*o + 35 = 0. Is 10 a factor of m?
True
Is 2 a factor of 2/10 - (-312)/65?
False
Suppose 4 + 1 = b. Suppose -z + b = -12. Does 6 divide z?
False
Suppose 0 = 4*q + 2*v + 71 + 105, 0 = -v - 4. Let r = -22 - q. Is 10 a factor of r?
True
Let g(p) be the second derivative of -p**5/20 + 3*p**4/4 + 2*p**3 - 2*p**2 - 10*p. Suppose 0 = 2*n + n - 30. Is 5 a factor of g(n)?
False
Let p(c) = -c**2 - 5*c - 3. Let x be p(-3). Suppose -18 = x*j - 75. Let z = j + -10. Does 9 divide z?
True
Let z(w) = 7*w**2 - 10*w - 2. Let i(n) = 15*n**2 - 21*n - 5. Let t(o) = -6*i(o) + 13*z(o). Is 12 a factor of t(8)?
True
Suppose -m + 66 = a, 3*m - 97 = 2*a + 76. Is 11 a factor of m?
False
Let k = -58 - -30. Let d = -19 - k. Is 9 a factor of d?
True
Suppose 0 = z - 4*j - 2, -z - 4 + 0 = 2*j. Let a = z - -16. Does 14 divide a?
True
Let c(w) = w**2 - 5*w + 10. Is c(7) a multiple of 12?
True
Let o be (2/(-6))/(7/(-105)). Suppose -j = -3, o*j - 2*j = 2*b - 35. Does 6 divide b?
False
Let t(w) = w**3 + 8*w**2 - w + 10. Does 9 divide t(-8)?
True
Let h be ((-402)/4)/(5/(-10)). Suppose 0 = -2*z - a + 111, -5*z + 5*a + h = -z. Is z a multiple of 15?
False
Let c(q) = 3*q**2 + q - 3. Let v(t) = t**2 + 3*t - 7. Let p be v(-5). Is 14 a factor of c(p)?
False
Suppose w = 5*d - 25, -4*w + 9*d = 4*d + 130. Let b = 16 + w. Let v = 30 + b. Is 11 a factor of v?
True
Suppose -5*r + 48 + 67 = 0. Does 11 divide r?
False
Suppose 2*n = -5*f - 9 + 51, 0 = 3*f - 2*n - 22. Let k be 30/f + 1/4. Suppose -4*a - 2 = -b, -37 - 25 = -k*b - 2*a. Does 14 divide b?
True
Let m = -7 + 6. Let u(l) = 4*l. Let j be u(m). Does 8 divide (2/j)/(3/(-60))?
False
Does 22 divide (-5)/(702/141 - 5)?
False
Suppose 4*u + 27 - 135 = 0. Let c = u + -11. Is c a multiple of 5?
False
Let o(n) = -n + 11. Let x be o(5). Suppose 0 = i - 6 - x. Is 6 a factor of i?
True
Let g = 13 + 48. Does 9 divide g?
False
Suppose -6*o + 3*o - 30 = 0. Does 8 divide (-4)/(4*1/o)?
False
Let m(f) = 2*f + 8 + 4*f - 2*f. Does 12 divide m(7)?
True
Suppose -10*z + 16*z - 354 = 0. Does 46 divide z?
False
Let f(k) = k**3 + 9*k**2 + 9*k + 12. Let n be f(-8). Suppose -o = n*r - 21, -93 = -3*o + 4*r - r. Does 11 divide o?
False
Does 3 divide (1 - -14)*(-4 + 5)?
True
Let w = 239 - 151. Does 44 divide w?
True
Let h be 3 + -2 - (-3 + -2). Suppose 0 = 3*r, 5*c + h*r = 4*r + 115. Let k = c - 11. Does 8 divide k?
False
Suppose 3*j - 263 = 5*i + 189, 4*j - 641 = -i. Suppose -3*u = 2*u - 4*n - j, -n + 123 = 4*u. Does 25 divide u?
False
Let n be 0 + -3 + 260 + 3. Suppose -6*b + b = -n. Is 14 a factor of b?
False
Is 15 a factor of (45/(-4))/(-1 + (-5)/(-8))?
True
Let u(a) = -12 - 9*a + 21 - 8. Suppose -n - 2*n = -4*y + 19, 2*n - 14 = -4*y. Does 10 divide u(n)?
True
Let g(h) = -h**2 + 10*h - 4. Suppose 9 = -0*i + i. Is 5 a factor of g(i)?
True
Let r(c) = -c**2 + 7*c - 6. Let k be (3 - 2)*12/2. Let t be r(k). Suppose 4*m + z = 61, 0 = 5*m + 3*z - 78 - t. Is m a multiple of 15?
True
Suppose 2*f - 1 = -3. Let u(x) = -22*x - 2. Is 10 a factor of u(f)?
True
Suppose -2*x = 5*b - 207, -4*x = 3*b - 3*x - 124. Is b a multiple of 8?
False
Suppose 2*j - 4*n - 8 = 0, -2*j + 0*j + n + 23 = 0. Let y = 5 - j. Is -1 + 0 + -1 - y even?
False
Let m be (16 - 0/3) + 2. Suppose -4*p - m = -t, t + 3*p - 18 = -p. Is t a multiple of 11?
False
Let s = 5 + 10. Suppose 2*j = -j - s, 50 = 2*o - 2*j. Is 7 a factor of o?
False
Suppose 2*n + 3*n = 325. Suppose -y - 4*j = -2*y + 32, 0 = 3*y - 2*j - 86. Suppose -2*c + 16 = -2*l - y, -2*c = 5*l - n. Does 13 divide c?
False
Let b(m) = -2*m**2 + 8*m + 5. Let v be b(6). Let z = -10 - v. Is 2 a factor of z?
False
Suppose 3*t - 120 - 96 = 0. Does 18 divide t?
True
Let j = -24 - -16. Let v = j - 4. Let y = v + 25. Does 7 divide y?
False
Let p(x) = -x**3 + 2*x**2 - 3*x - 3. Let u be p(-2). Let m be -3*(-2 + (-15)/9 - 3). Let k = u + m. Is k 