uppose -5*j = 3*t - 100, 5*t = 2*t + s*j + 50. Is t a multiple of 25?
True
Suppose 8*a = -416 + 1056. Is 16 a factor of a?
True
Let s(t) = t**3 + 9*t**2 + 8*t - 7. Let y be s(-8). Is 8 a factor of 6/(-42) + (-239)/y?
False
Let i(y) = 2*y**2 - y + 1. Let o be i(1). Suppose o*d + 2*d = 20. Does 5 divide d?
True
Let w(h) = 12*h**3 - h**2 - 2*h - 1. Let x be w(-1). Let r(t) = 3*t + 5. Let z be r(7). Let u = z + x. Is u a multiple of 12?
False
Suppose -i + 5*f + 135 = -36, 0 = 4*i + f - 684. Is i a multiple of 19?
True
Suppose -2*m - 3*t = -48, 0*t - 26 = -m - 2*t. Does 15 divide m?
False
Let p(s) = 2*s**3 - 5*s**2 - 2*s - 4. Let y be p(4). Suppose -q + y = 8. Suppose v + a + 4*a - 8 = 0, -2*v + 2*a = -q. Is v a multiple of 6?
False
Let g(r) = -r**2 + 1. Let a be g(-4). Does 14 divide 50/a*(-84)/10?
True
Let s = 17 - 8. Does 4 divide s?
False
Let u = 60 + -1. Let l be (3 + 6)/(-3) + u. Suppose 5*x + l = 196. Does 8 divide x?
False
Let q(w) = -2*w - 1. Let z be q(-1). Suppose 0 = -4*c + 3*c - z, 2*d = 3*c + 13. Suppose d*a - y - 44 = 0, 2*a + y - 9 - 3 = 0. Is a a multiple of 4?
True
Let a = 12 + -7. Suppose -25 = -5*p + 135. Suppose 2*m - 4*k - 34 = 0, a*k + p = 5*m - 4*m. Does 3 divide m?
False
Let r(k) = -17*k + 8 + 10 - 15*k**2 + 0 + k**3 + 0*k**3. Is r(16) even?
True
Suppose -2*c + c + 18 = 0. Is c a multiple of 16?
False
Let u(a) be the first derivative of -5*a**2/2 - 2*a + 1. Suppose -4*o + 2*m = -0*m + 12, 0 = -m. Is 8 a factor of u(o)?
False
Suppose r = -r - 10, t + 3*r = 57. Is 24 a factor of t?
True
Does 12 divide (13 + -23)*(-9)/5?
False
Suppose 0 = 5*p - 525 - 525. Does 35 divide p?
True
Suppose 3*w - 13 = 2. Suppose -w*j + 946 = -354. Suppose 0 = m - p - 35 - 17, 5*m - 4*p - j = 0. Is 15 a factor of m?
False
Let o = -4 + 9. Suppose a + 3*u + 61 = 2*a, -199 = -3*a + o*u. Is 19 a factor of a?
False
Suppose o + 4*r = -22, -9 - 10 = 2*o + 3*r. Does 13 divide (-1)/o*36/1?
False
Let o(n) = n**2 + 3 - 2*n**3 + 6*n - 7*n**2 + n**3. Let t = 12 + -19. Is o(t) a multiple of 7?
False
Let f = 28 - 9. Is f a multiple of 9?
False
Let x = -10 + 4. Let u be x/4*120/(-9). Let v = u + 8. Is v a multiple of 14?
True
Suppose 0 = 3*t + 3*d - 18, -21 = -4*t + d - 2. Suppose -i + 5 + t = -2*n, 26 = 3*i - 2*n. Does 5 divide i?
False
Let v = 493 - 194. Is 21 a factor of v?
False
Let j = -7 - -4. Let z be 0/(j + 4 + -3). Let t(p) = p**3 - p + 15. Is 12 a factor of t(z)?
False
Let k = 171 - 115. Suppose -k = -2*i + 16. Is i a multiple of 12?
True
Suppose -4*y - 2*n = -2*y - 82, 109 = 3*y - 4*n. Does 13 divide y?
True
Let s(y) = y**2 + 6*y + 8. Let v be (7/1)/((-2)/2). Is s(v) a multiple of 6?
False
Let y(t) = 13*t**3 + 2*t**2 + 3*t - 3. Let a be y(2). Suppose -8*i + 3*i = -a. Does 6 divide i?
False
Let d = -28 + 16. Let s be 0 + (-1 - 2) + 2. Let z = s - d. Is 11 a factor of z?
True
Suppose -5*k + 158 + 462 = 0. Suppose a = -l + 93 + 26, k = l - 4*a. Suppose -3*r + 5*q = -72, -4*q = r + 4*r - l. Does 19 divide r?
False
Let k(p) = -p. Let r be k(1). Let t(w) = 24*w**2 - 2*w - 1. Let v be t(r). Suppose a - 61 = -v. Does 22 divide a?
False
Suppose 5*u - 5 = -3*o, -u = -0*u + 2. Let n(z) = o*z + z**2 + 2 - 2*z + z**2 - z**2. Is 14 a factor of n(-7)?
False
Let g(r) = r**2 - 2*r - 6. Is g(5) a multiple of 8?
False
Let c(d) be the first derivative of -d**2 - 2*d + 1. Does 3 divide c(-3)?
False
Let r = -83 + 135. Is r a multiple of 13?
True
Let z(i) = -6*i + 10. Is 14 a factor of z(-3)?
True
Suppose -1 = 2*b - b + 2*u, 2*b + 6 = -2*u. Let r be 2/(-7) - 233/(-7). Let w = b + r. Is 14 a factor of w?
True
Let x = -147 + 87. Is 16 a factor of x/(-9)*(-24)/(-10)?
True
Let w(b) = 5*b + 12. Let h(k) = 6*k + 13. Let r(j) = -4*h(j) + 5*w(j). Let u be r(-6). Suppose -s + u*s - 12 = 0. Is s a multiple of 12?
True
Let j = -16 - -28. Does 7 divide j?
False
Suppose 37 = -5*y - 138. Does 11 divide (154/y)/(2/(-5))?
True
Suppose -j - 2*j = 0. Suppose -d = -5*s - 3*d + 91, -2*s + d + 40 = j. Is s a multiple of 5?
False
Let y(v) = v**2 + 5*v - 5. Let t = 0 + -2. Let w(f) = -f**3 + 2*f + 1. Let l be w(t). Is y(l) a multiple of 15?
True
Let n(c) = 6*c**2 + 3 - 3*c**2 - 3 - c + c**3. Does 6 divide n(2)?
True
Let f be 6*(8/3 - 3). Is 1*32 - (-1 + f) a multiple of 14?
False
Let p = 127 + -53. Is p a multiple of 10?
False
Suppose -4*l = 213 - 581. Suppose -5*m - l = -m + 5*k, -2*m - 32 = -k. Is 6 a factor of (m/(-8))/((-3)/(-16))?
True
Let i = -346 + 506. Is i a multiple of 8?
True
Suppose -p = -y + 29 + 27, 5*p - 98 = -2*y. Does 14 divide (-5)/(-10) + y/4?
True
Let m = 14 - -34. Does 12 divide m?
True
Let y = 34 - 18. Suppose z - 10 = -2*w, -25 = -4*z - 0*w - 3*w. Suppose f = y - z. Does 7 divide f?
False
Let d be ((-8)/(-1) - 1) + -1. Let i = -2 + d. Suppose 4*p + i*m = 20, m = 5*p - 2*m - 17. Does 2 divide p?
True
Let d(r) = -r**3 - r**2 + 14*r + 4. Is 17 a factor of d(-5)?
True
Let f be (-8)/(-6)*3/2. Let k(q) = -q**2 - 6*q + 2. Let x be k(-6). Suppose x*a = -f*a + 120. Does 15 divide a?
True
Let s(b) = b**3 + 5*b**2 + b + 5. Let w be s(-5). Suppose 0 = -w*q + 5*q - 20. Let c(p) = -p**2 + 6*p + 1. Does 8 divide c(q)?
False
Is (22/3)/(4/36) a multiple of 22?
True
Let b(d) = d**2 - 3*d + 2. Let m(k) = 3 + k - 4 - 2 - k**2. Let j be m(0). Does 10 divide b(j)?
True
Suppose -f = 2*f + 3. Let l = 2 - f. Suppose -105 = -3*c + 4*b - b, 41 = c - l*b. Is c a multiple of 12?
False
Let a(g) be the second derivative of g**5/20 + 7*g**4/12 + 7*g**3/6 - g**2/2 + 2*g. Let z be a(-6). Let h(u) = -2*u - 8. Is h(z) a multiple of 6?
True
Suppose -5*u = 5*s + 389 - 59, s - 5*u = -90. Let k = 165 + s. Does 25 divide k?
False
Let g = 138 + -60. Does 9 divide ((-6)/9)/((-4)/g)?
False
Let w(d) = 7*d - 7. Let t(r) = -1. Let s(g) = t(g) - w(g). Let f(i) = -8*i + 5. Let c(y) = 2*f(y) - 3*s(y). Is 11 a factor of c(6)?
True
Suppose 0 = -13*n + 593 + 577. Is n a multiple of 15?
True
Suppose 0 = -3*b - 2*b + 1255. Suppose 0 = 3*v - b + 107. Does 18 divide v?
False
Let c(n) be the second derivative of 0 + 1/3*n**3 + 3/2*n**2 + n + 2/3*n**4. Is c(-2) a multiple of 16?
False
Let a(b) = -3*b - 5. Suppose -4*x = 2*i + 8, -2*x - 38 = 4*i - 5*x. Let p be a(i). Let w = p + -6. Does 13 divide w?
True
Let a = 6 + -9. Let j = a - -9. Suppose 150 = j*m - m. Is m a multiple of 10?
True
Suppose 0*r + 429 = 3*r. Is r a multiple of 14?
False
Let o = -9 - -13. Suppose 0*d - o*d = -60. Is 4 a factor of d?
False
Let d = 31 - -2. Does 11 divide d?
True
Suppose 2*i = -2*w - 0*w - 6, 2*w - 4*i = 18. Let o = w - -11. Is o a multiple of 12?
True
Let g(h) = h**2 + 10*h - 7. Let s be g(-13). Suppose 0 = 5*o - s - 88. Does 8 divide o?
True
Let y(t) = 17*t + 1. Does 9 divide y(1)?
True
Let c(d) = -d**2 - 6*d - 4. Let u be c(-4). Suppose -45 = -u*q - q. Is 3 a factor of q?
True
Suppose -2646 = -2*b - 19*b. Is b a multiple of 26?
False
Let g(v) = -v**2 - 13*v - 12. Let o be g(-10). Suppose 2*l = o + 14. Is 4 a factor of l?
True
Let k(c) = -c**3 - 8*c**2 - 5*c - 9. Let o be k(-8). Suppose -u + 17 = -o. Is 16 a factor of u?
True
Let o(f) = f**2 - 9*f + 2. Let n(i) = -3*i**2 + 26*i - 5. Let j(p) = -4*n(p) - 11*o(p). Does 8 divide j(7)?
False
Suppose -2*g + 856 = 3*x, -4*x - 4*g = -g - 1143. Suppose 846 = 2*i + x. Does 17 divide ((-1)/2)/((-3)/i)?
False
Let v(a) = 4*a**3 - 5 - a**2 - 6*a**3 - 5*a**2 - 5*a - 1. Is v(-4) a multiple of 12?
False
Let g = -153 + 296. Is g a multiple of 11?
True
Let v(z) = -4*z - 3. Let d be v(-2). Suppose -10 = -d*w + 10. Suppose -i - w*i = -40. Does 4 divide i?
True
Let b(t) = t**2 - t + 1. Let x be b(-2). Let y = x - 8. Does 7 divide 4/(y - 27/(-21))?
True
Suppose 5*u - 89 = 4*o + 357, 5*u + 3*o = 453. Suppose u = 4*z + z. Is 18 a factor of z?
True
Let x(k) = 2 + 0*k + 0 + 3*k. Is x(3) a multiple of 8?
False
Suppose -5*w = -2*m - 2*w + 30, -3*w - 3 = m. Is 9 a factor of m?
True
Let w = -1 + 4. Suppose 2*g + 4*a = 90, 5*g + 2*a = w*g + 82. Suppose 5*s - 63 - g = 0. Is 10 a factor of s?
True
Does 6 divide (-15 + 3)/(-4) + 4?
False
Suppose -7*l + 112 = -6*l - 4*v, 5*l + 3*v - 445 = 0. Is 47 a factor of l?
False
Let t = 11 + 19. Let j = -1 - -18. Let w = t - j. Is w a multiple of 13?
True
Suppose -2*z = -13 + 5. Suppose -v + 32 = 3*v + z*t, -v + 12 = -3*t. Does 12 divide v + -2 + 3 + 2?
True
Let k = -24 - -37. Suppose -s + 