se
Suppose 6*o + 8 = 2*o. Let c(i) = -11*i. Let s be c(o). Suppose 4*d - 5*g = 31, 4*g = 2*d + d - s. Is 14 a factor of d?
True
Let d(k) = -2 - 1 + 5 - 5*k. Let a be 1*(-4)/2 + -2. Is d(a) a multiple of 9?
False
Let d(r) = -3*r**2 + 34*r + 10. Does 6 divide d(9)?
False
Suppose 5*a - n - 990 = 0, 6*a + 2*n - 198 = 5*a. Is 22 a factor of a?
True
Let n(o) be the third derivative of -o**6/20 - o**5/30 + o**4/12 - 3*o**2. Is 9 a factor of n(-2)?
True
Suppose -d + 1 = -2*m + 2, 5*m + 2*d = 7. Let p be 6 - (m + 0 - 3). Let w = p + -1. Is w a multiple of 4?
False
Suppose -4*q - s = 5, 2*q - 3*s - 2 = -1. Let c(a) = -43*a**3 - a**2 + a + 1. Is 14 a factor of c(q)?
True
Suppose -2*r + 6*r - 104 = -3*h, 2*r - 66 = 2*h. Is 29 a factor of r?
True
Suppose 3*b - 6 = 36. Is 5 a factor of b?
False
Let b(q) = q + 4. Let c be b(-4). Suppose -2*u + 0*u - 122 = c. Let f = -31 - u. Does 12 divide f?
False
Suppose 0 = l - 5*l + 600. Is l a multiple of 35?
False
Let d = 30 + -13. Suppose 5*y - 2*p - 2*p - 25 = 0, 0 = -4*p. Suppose 3*k + y - d = 0. Is 4 a factor of k?
True
Let l(d) = d**3 + d**2 + d + 24. Let p be l(0). Let u = p + 14. Is u a multiple of 10?
False
Let c be (-2)/(-1) - (-61)/1. Let a = 40 + -37. Suppose -a = 5*s - c. Is 4 a factor of s?
True
Let w(a) = a**2 - 9*a - 14. Let g be w(10). Let c(l) = 3*l + 2. Let r be c(4). Let m = g + r. Is 6 a factor of m?
False
Let a = 49 - -106. Suppose 2*n - 3 = 7. Suppose -c = w + 3*w - a, n*w = -2*c + 196. Does 23 divide w?
False
Let s(i) = i - 5. Let o = -2 + 2. Let k be s(o). Let p(c) = -c**3 - 3*c**2 + 5*c - 2. Is 18 a factor of p(k)?
False
Suppose 2*f + m - 155 = 0, 5*m - 73 = -0*f - f. Suppose -2*v + f = -10. Let d = 82 - v. Is 15 a factor of d?
False
Suppose -3*c - 8*v + 135 = -4*v, 0 = -5*c - 2*v + 239. Is c a multiple of 7?
True
Let o = -345 - -486. Is o a multiple of 12?
False
Suppose 3*w + 1 = h - 5, -4*w = 0. Does 6 divide h?
True
Let w(q) = -4 - 6 + q - 2 + 0. Let j be w(9). Let v(u) = 2*u**2 - 5*u - 4. Is 11 a factor of v(j)?
False
Let w = 43 - 19. Is w a multiple of 12?
True
Suppose 90 = -3*p - 4*s, -4*p + 5*s = -p + 63. Let d = 14 - p. Is d a multiple of 20?
True
Is 6 a factor of 3/8*68 + (-6)/4?
True
Let k = 20 + -13. Does 2 divide k?
False
Suppose 0 = 3*u - y - 3*y - 16, -15 = -3*u + 3*y. Let o = -7 + 11. Is (u/3)/o*12 a multiple of 2?
True
Suppose -6*a + 3*a + 2*l + 3 = 0, 0 = a - 2*l - 1. Let r = a + 1. Suppose 3*b + 2*o = 75, o + 20 = r*b - b. Does 9 divide b?
False
Let s(t) = 2*t**2 + 34*t + 17. Does 17 divide s(-17)?
True
Suppose 38 - 178 = -5*g. Suppose -c - 3*j + 12 = -0*c, -2*c - 4*j = -g. Is 9 a factor of c?
True
Suppose -2*o + 5*o - 5*j - 7 = 0, 3*o - 4*j = 8. Let f(d) = d**2 + 2. Does 9 divide f(o)?
True
Let w = 156 - 96. Does 10 divide w?
True
Does 17 divide (-408)/20*(-15)/6?
True
Is -3 - (-1 + -4) - -128 a multiple of 10?
True
Let q(i) = -i**2 + 5*i - 1. Let r be q(4). Suppose b + 174 = r*b. Is 28 a factor of b?
False
Suppose 0 = -4*c + 245 + 319. Suppose 0*g = -g + 2*r + 33, -4*r = -5*g + c. Does 8 divide g?
False
Let t = -6 - -76. Is 8 a factor of t?
False
Let w(c) = 7*c. Does 2 divide w(1)?
False
Let m = -32 - -20. Let j = m - -30. Suppose 0*r + 4*s = 3*r - 56, 0 = -r + 2*s + j. Does 14 divide r?
False
Let c(t) = t**3 + 9*t**2 + 11*t + 5. Let r be c(-8). Let y = r + 29. Does 5 divide y?
True
Let o(y) = 2*y**2 - y. Let a be o(-1). Let j = -5 + a. Is (j - -1)*1 + 13 a multiple of 8?
False
Let q(j) be the first derivative of j**2/2 + 2*j - 3. Let s be q(-7). Is 15/s - (1 + -10) a multiple of 4?
False
Let p(a) be the first derivative of 3*a**2/2 + 5*a + 5. Is 7 a factor of p(4)?
False
Let k(m) = -10*m + 45. Does 15 divide k(-6)?
True
Let x(t) = -8*t**2 + 5*t + 2. Let b(i) = -4*i**2 + 2*i + 1. Let g(f) = -7*b(f) + 3*x(f). Is 16 a factor of g(-3)?
True
Suppose 0*x = -4*x + 8. Suppose -4*n - 4*a + 555 = a, -x*a + 715 = 5*n. Suppose 4*w - 5*f = n, 0 = -3*w + f + 99 - 4. Is 12 a factor of w?
False
Suppose -30 = -4*a + k - 0*k, -2*k + 24 = 4*a. Suppose -r - a = -28. Does 10 divide r?
False
Let c(t) = t**2 + 7*t + 8. Let h be c(-6). Suppose -h*d + 81 - 21 = 0. Is 9 a factor of d?
False
Suppose -2*v + 133 = -5*x, 2*x - 12 = -2. Suppose -3*w = -3, 5*b + 5*w = b - v. Let s = b + 36. Does 15 divide s?
True
Let c(p) = -p**3 + 3*p**2 + 4*p. Is c(-3) a multiple of 21?
True
Let a(z) = z**3 + 11*z**2 - 9*z - 8. Does 13 divide a(-11)?
True
Let y(t) = 3*t - 5. Let z be y(4). Let c(v) be the third derivative of -v**6/120 + v**5/10 + 3*v**4/8 + v**3/6 + 3*v**2. Is c(z) a multiple of 6?
False
Suppose 5*n - 3*n + 32 = 0. Let i = n + 26. Does 10 divide i?
True
Suppose -2 = -g + 4*z, -5*g + z - 59 = 4*z. Is (-70)/4*8/g a multiple of 7?
True
Let j(t) = t - 4. Suppose -r + 2*y = 0, -3*r = 3*y - 0*y - 18. Let c be j(r). Let v = 22 + c. Does 13 divide v?
False
Let p be (-2)/11 + 1136/(-44). Let o = 62 + p. Does 12 divide o?
True
Let b(v) = -v**3 - v**2 - 3*v + 8. Let a(g) = -g**3 - 3*g + 7. Let i(c) = 6*a(c) - 5*b(c). Let n be i(4). Is (2/(-2) - -2)*n a multiple of 5?
False
Let p be -1*2 + 0 - -59. Let h = p - 18. Suppose 3*l + 5*o = 50, o + 5 - h = -3*l. Is l a multiple of 10?
True
Let d(u) = -u + 29. Does 7 divide d(8)?
True
Let i(d) = d**3 + 8*d**2 - d - 5. Let v be i(-8). Let l be v + 0*2/(-6). Suppose l = 2*g - 1. Is g a multiple of 2?
True
Suppose 3*u = -u + 12. Let n = -4 + u. Does 3 divide (-4)/(-8)*(11 + n)?
False
Suppose 4*z - 16 = 16. Suppose 4*r = z*r - 240. Is r a multiple of 20?
True
Suppose 0*d + 2*d = r - 22, -5*r = -d - 128. Does 13 divide r?
True
Let p be 0 + 3 + (1 - -1). Suppose 5*q = p*l + 55, 2*l - 7*l = 4*q - 80. Does 4 divide q?
False
Suppose 3*j = 2*u + 7, 4*u = 5*j - 6 - 3. Let v = -22 + u. Does 10 divide -1*(-2 + 0) - v?
True
Suppose -4*o - 13 = f, 2*o + 17 = f + 2*f. Does 8 divide (-4)/16 - 41/o?
False
Let u(c) = c - 5. Let q be u(3). Let n(b) = -3*b**3 + 2*b + 2. Is 11 a factor of n(q)?
True
Let t(f) = f**2 - 5*f + 2. Let j(l) = -l**3 + l - 1. Let v be j(-2). Let i be t(v). Suppose -a - 5*n + 51 = 0, 0 = n + i*n - 15. Does 16 divide a?
False
Let a be (5 + 0 + -2)/1. Suppose 3*w = -3*r + 90, 4*r = a*w - 4*w + 126. Suppose 0 = 3*p - 4*p + r. Is p a multiple of 16?
True
Let x(o) = 9*o**2 - 18*o + 11. Let b(p) = 8*p**2 - 17*p + 10. Let n(y) = y**3 + 2*y**2 + 3*y. Let h be n(-2). Let j(l) = h*x(l) + 7*b(l). Does 14 divide j(7)?
False
Let l = -15 + 21. Suppose -l*w + 2*w = -156. Is 10 a factor of w?
False
Is (3 - (-1 - -11))/(1/(-26)) a multiple of 13?
True
Let f(g) = -g**2 + g - 1. Let p(q) = -2*q**2 + q + 3. Let n(l) = f(l) + p(l). Let v be n(2). Is 14 a factor of (v/(-4))/(6/56)?
True
Suppose -4*p + 2*d = -208, 0*p - 3*p + 5*d = -156. Suppose 2*s + 4*m - p = 0, 3*s + 2*m = 4 + 70. Is 9 a factor of s?
False
Let j(b) = -2*b + 7. Suppose 0 = p + s + 7, 2*p + 0 = -3*s - 18. Is j(p) a multiple of 3?
False
Does 9 divide 6/(-33) + (-642)/(-22)?
False
Suppose -4*u = -2*u - 8. Does 15 divide 207/(u - 1) + -1?
False
Let j be 2/7 + 122/14. Let t(b) = -b**2 + b + 1. Let n(q) = -4*q**2 - 8*q + 7. Let l(x) = -n(x) + 5*t(x). Is 17 a factor of l(j)?
True
Let y(q) = 49*q**2 - 3*q + 2. Does 8 divide y(1)?
True
Let t(g) = -3*g - 1. Let m be t(1). Let z(b) = b**3 + 5*b**2 - 2*b - 2. Does 9 divide z(m)?
False
Let z be 2/(-6) + (-57)/(-9). Is 17 a factor of 358/8 - z/(-24)?
False
Let z be ((-1)/3)/(9/(-135)). Suppose 95 = z*o + 4*c - c, 2*o - 38 = 3*c. Does 13 divide o?
False
Let h(z) = z + 2. Let l be h(-2). Suppose g - 7 - 7 = l. Is 5 a factor of g?
False
Suppose -3*m + 104 = -88. Suppose -t - m = -5*t. Is t a multiple of 5?
False
Let g be 1/(3/(2 - 65)). Let f = -3 - g. Is f a multiple of 9?
True
Let h(f) = 2*f**2 + 8*f - 6. Let z be h(-6). Suppose 5*l - z = p, -l + 20 = -5*p + 2. Let y = 12 - l. Does 3 divide y?
True
Suppose 2*h + 3*h = 40. Let c = -6 + h. Suppose -5*u - 2*o + 24 = 0, -c*u - o + 21 = -4*o. Is u a multiple of 6?
True
Let y be (1 - 1)/((-12)/(-4)). Suppose y = -3*u - u + 80. Is 10 a factor of u?
True
Suppose 0 = 5*f - 113 - 137. Does 6 divide (f/8)/((-1)/(-4))?
False
Suppose -4*t + 16 = -0*t. Let z(j) = -3 + 11*j + 0 - 2. Is z(t) a multiple of 10?
False
Suppose -4*v + 73 = -7. Suppose 0*i + v = 2*i. Is 4 a factor of i?
False
Let v(w) be the second derivative of w**3/6 + 2*w**2 - 3*w. Let