pose 9*u - 4*u + 30 = y, -4*y - 3*u + f = 0. Is 10 a factor of y?
True
Let x(c) = 2*c**2 + 10*c - 3*c**2 + c + 4 - 3*c. Does 3 divide x(6)?
False
Suppose -2 = -h + 2, -4*t + 244 = 5*h. Is t a multiple of 8?
True
Suppose 5*k = -0*k + 4*q + 69, -2*k + 23 = 3*q. Does 12 divide 4*k/2 + -2?
True
Let h = 47 - 4. Let p = h + -22. Is 8 a factor of p?
False
Let h(f) = -17*f - 8. Is h(-4) a multiple of 20?
True
Is ((-108)/63)/(1/(-189)) a multiple of 54?
True
Suppose 0 = 22*z - 20*z - 36. Is 9 a factor of z?
True
Let l(g) = 13*g - 43. Is l(13) a multiple of 9?
True
Let d(q) = -4*q - 2. Let u be -2 + 3/(1 + 0). Let c(t) = -t - 1. Let k(p) = u*d(p) - 6*c(p). Does 8 divide k(6)?
True
Let l(b) = -b**3 - 9*b**2 - 9*b + 1. Let u be l(-8). Let r = 27 - u. Is 18 a factor of r?
True
Suppose -3*d - d + 32 = 0. Let c(v) = -v**3 + 8*v**2 + v - 8. Let t be c(d). Suppose t = 3*s + 2*s - 60. Does 12 divide s?
True
Let s(l) = 72*l**2 - 3*l - 3. Is 22 a factor of s(-1)?
False
Let r(k) = k**2 + 7*k + 10. Is r(-13) a multiple of 22?
True
Suppose 0 = -3*f + 6 + 9. Let l = 7 + -7. Suppose f*u - 70 = -3*p - l*u, 3*u + 12 = 0. Is p a multiple of 10?
True
Let m(c) = c**3 + 2*c**2 - 2. Let o be m(-3). Does 12 divide (-394)/o - (-16)/88?
True
Let i(x) = -x**3 + 7*x**2 + 11*x - 17. Is i(8) a multiple of 6?
False
Suppose 0 = 5*v - 4*m - 620, -243 = -2*v - 5*m - 28. Suppose -4*j = 4*t - 19 - 137, -3*t - 2*j = -v. Is t a multiple of 14?
True
Let o be 1/(-2) - 26/4. Let h(a) = -a**2 - 7*a + 4. Let t be h(o). Does 4 divide -6*(1 + (2 - t))?
False
Let o be (-36)/(-10) + (-6)/(-15). Suppose -v + 0 = -o. Suppose m - 34 = -v*u, 3*m - 6*m + 21 = 3*u. Is 7 a factor of u?
False
Suppose 0*s - s + 12 = 0. Let n = 42 - s. Suppose x - 8 - n = 0. Is x a multiple of 17?
False
Suppose t = 6*t + 380. Let q(c) = 3*c**2. Let r be q(6). Let s = t + r. Does 16 divide s?
True
Suppose 6*m - 53 = m + 3*s, -5*m + 46 = 4*s. Does 7 divide m?
False
Let i(r) = -10*r**2 - r - 2. Let l be i(-1). Let w = 46 - -1. Let g = l + w. Is 22 a factor of g?
False
Let w = 10 - -98. Does 4 divide w?
True
Suppose 3*q - 152 = 5*j, -128 = -3*q - 2*j + j. Is 11 a factor of q?
True
Suppose 61 = 4*g + 3*w - 305, 2*g - w = 188. Is g a multiple of 37?
False
Suppose 36 = 2*l - 4*t, 5*t - 116 = -5*l + 2*t. Is l a multiple of 11?
True
Suppose 2*f - 3*n = -f, 0 = f + 5*n. Suppose f = -2*g + 5*g + 27. Is 4/((-12)/g) + 1 a multiple of 4?
True
Suppose -2*u - 16 = -0*u - 2*p, 34 = -4*u + 5*p. Let s = u + 6. Suppose 3*m - 30 - 87 = s. Is m a multiple of 17?
False
Suppose -2*h = -0*h - 16. Let s = 15 - h. Is 4 a factor of s?
False
Let p be (3/2)/((-1)/(-20)). Suppose 14*q = 11*q + p. Does 6 divide q?
False
Suppose 43 = -c - 100. Let k = -89 - c. Is 18 a factor of k?
True
Let z(n) = n**3 - 9*n**2 - n + 11. Suppose -h + 27 = 2*h. Let c be z(h). Does 18 divide c + (10*4 - 2)?
False
Suppose 19 + 13 = -w. Let g = w - -95. Suppose 72 = 5*n - g. Is 17 a factor of n?
False
Let n(f) = -f**3 + 6*f**2 - f - 4. Is 6 a factor of n(4)?
True
Suppose 4 = l - 6. Is (6/(-10))/(l/(-650)) a multiple of 18?
False
Let o be (-1)/5 + (-56)/20. Let w(x) = -1. Let k(b) = 3*b. Let c(l) = -k(l) + 2*w(l). Is 7 a factor of c(o)?
True
Let a be (6/12)/((-2)/(-212)). Suppose -a = -5*j - 3. Is 4 a factor of j?
False
Suppose 60*c + 812 = 64*c. Is 29 a factor of c?
True
Let z = 15 - 4. Let v = -8 + z. Does 9 divide 11 + v*(-4)/6?
True
Let h(b) = 32*b**2 - 2*b - 1. Let y be h(-1). Suppose 3*s - y = -3*z + 2*s, 4*s = z + 2. Does 5 divide z?
True
Let t = 75 - 61. Is t a multiple of 14?
True
Let t = -5 - -11. Suppose -2*f = -3*f - t. Is (f/(-15))/(1/25) a multiple of 9?
False
Is 18 a factor of (-3)/3 + 61 + -6?
True
Does 30 divide (-120)/4*9/(-1)?
True
Let a be (1/(-2))/((-2)/(-148)). Let w = -39 - -98. Let b = w + a. Is 16 a factor of b?
False
Let n be (19 + -4)/3 - 2. Let m(u) = 3*u + 3*u**2 + 0 + 4 - 3. Is m(n) a multiple of 14?
False
Let o(x) = 3 + 4*x**3 + 3*x**3 - 6*x**3 + 2*x**2. Let g be o(-3). Is (-4)/12 + (-86)/g a multiple of 12?
False
Suppose -83 - 118 = -3*t. Suppose -4*m + 5*k = -20, -35 = -4*m - k - 15. Suppose m*b - 3*x - t = 0, -3*b + 2*x = -14 - 26. Does 5 divide b?
False
Let p(b) = b**3 + 8*b**2 + 12*b + 3. Does 7 divide p(-5)?
False
Let q(t) be the second derivative of t**4/12 + t**3/6 + 9*t**2/2 - 4*t. Does 4 divide q(0)?
False
Is 5 a factor of -14 - -11 - (-9 - 0)?
False
Suppose 10 = -0*y - 3*y + 4*c, 0 = y + c - 6. Does 14 divide y*(-1 - 75/(-6))?
False
Let o(v) be the first derivative of -v**3/3 - 3*v**2 + v + 1. Let i be o(-4). Suppose -4*a = 4*h - i - 7, 4*h + 5 = -a. Does 3 divide a?
False
Suppose 0 = o - 0*o - 6. Suppose -16 = -o*h + 2*h. Suppose 0 = -5*x + h + 66. Is x a multiple of 14?
True
Does 10 divide 106*(-2)/(-4) - 3?
True
Let f(n) = -12*n + 19. Does 10 divide f(-9)?
False
Let j be ((-198)/(-15))/(8/20). Let x = j + -16. Is 5 a factor of x?
False
Suppose 5*a = 3*a + 22. Is a even?
False
Suppose 0 = -5*r + 3*r + 16. Suppose r = j + 1. Is j a multiple of 3?
False
Let p(q) = q**2 + 3*q + 1. Let z be p(-2). Let t be -1*2*z + 0. Suppose -t*f + 3*y + 31 = -0*f, -57 = -4*f + 5*y. Is 4 a factor of f?
True
Let k(h) = h**2 + 10*h + 11. Let w be k(-9). Suppose -8 = -w*t + 2. Suppose -2*b - 62 = -4*c - b, -20 = -2*c - t*b. Is 15 a factor of c?
True
Let b(d) = -d + 3. Let f be b(-5). Suppose -29 = -3*z + 5*k, f*z - 4*z - 82 = -2*k. Does 8 divide z?
False
Let l = 0 + 2. Suppose 0*n = -l*n + 44. Is n a multiple of 11?
True
Let j = 10 - 6. Suppose 4*w + 0*w - 4*x - 156 = 0, -3*w = -j*x - 116. Let y = w + -17. Does 12 divide y?
False
Let g(y) = -y + 1. Let s be g(1). Is -2 - s - (6 - 34) a multiple of 13?
True
Suppose 4*a = -b - 1 - 0, -a = 2*b - 12. Suppose 5 = b*r - 2*r. Is 11 a factor of (-9)/((3/(-9))/r)?
False
Let h = -153 - -243. Is h a multiple of 15?
True
Suppose -3*i = -c - 2, 5*c + 5*i = 4 + 6. Let m(k) = k - k**2 - c + 6*k**2 - 1 + 0. Does 17 divide m(2)?
False
Let x(m) = -m**2 + 10*m + 6. Does 11 divide x(7)?
False
Suppose 0 = 3*n - 2 + 11, 4*n + 32 = -5*k. Let d = 4 - k. Does 3 divide d?
False
Let k = -44 + 74. Is 8 a factor of k?
False
Let o = 49 - 28. Let c be (-6)/o - (-2)/7. Suppose -2*i + 16 + 12 = c. Is 8 a factor of i?
False
Let u = 146 + -97. Let c = u + -21. Is c a multiple of 14?
True
Suppose -y = y + 14. Let t be y - (3 - 1)/2. Let b = t + 20. Does 4 divide b?
True
Suppose 4*h - w - 17 = 0, -4*h - 6*w + 12 = -2*w. Suppose 5*k + h*i + 21 = 0, 3*i - 11 = 2*k + 2*i. Let f(r) = 2*r**2 + 2*r + 5. Does 15 divide f(k)?
True
Let r(v) = -v**3 - 5*v**2 + 2*v + 3. Let a be r(-4). Let f = 7 - 1. Is 6 a factor of f/a - 88/(-14)?
True
Let j(y) = y**2 + 7. Does 28 divide j(5)?
False
Let m = 51 - -9. Is 30 a factor of m?
True
Suppose -4*v = -243 - 9. Let l(s) = 98*s**2 + 2*s - 1. Let f be l(1). Let c = f - v. Is c a multiple of 18?
True
Let s = 138 - 68. Does 14 divide s?
True
Does 11 divide 224/10 + 18/(-45)?
True
Let w = -8 - -5. Let a(r) be the first derivative of -r**4/4 - r**3/3 + 2*r + 1. Is 10 a factor of a(w)?
True
Suppose -1 - 3 = -2*a. Let r = a + 0. Suppose -5*k + 2*l + 42 = -4, -k + 4*l = -r. Is 10 a factor of k?
True
Let t be -4*2*(-1)/4. Suppose -y = -5*s + 35, -5*s - y + 15 = t*y. Is 52/s - (-10)/(-15) a multiple of 4?
True
Let d = 159 + -109. Is d a multiple of 4?
False
Suppose -3*c + 367 = -62. Is 35 a factor of c?
False
Let j be -1 - 1/3*3. Let h(k) = k**3 + 2*k**2 - 2*k - 1. Let t be h(j). Suppose 5*i = -4*n + 106, 0 = -t*n + 4*i + 6 + 58. Is n a multiple of 10?
False
Does 19 divide (-121)/(-2) + (-9)/18?
False
Let u = 94 - -8. Does 34 divide u?
True
Let l(q) = 1 + 9 - 4 + 7 + q. Is l(-10) even?
False
Suppose 0 = t - 3*t + 4. Suppose f + 0*c = -2*c + 8, t*f = -3*c + 13. Suppose 0 = 6*y - f*y - 84. Does 13 divide y?
False
Let f(c) = -c**3 + 7*c**2 + c + 4. Is 10 a factor of f(5)?
False
Suppose -2*w + 5*i + 41 = -31, -124 = -4*w + 5*i. Suppose 22*p - w*p + 56 = 0. Does 7 divide p?
True
Suppose 9*w - 6 - 30 = 0. Is 4 a factor of w?
True
Suppose 2*i + 3*i = 175. Let s = i + -5. Is 9 a factor of s?
False
Let o = -2 + 5. Suppose -5*c + o*c + 36 = 4*a, -3*c + 36 = 4*a. Does 5 divide a?
False
Let n be (4/10)/((-2)/(-30)). Is 6 a factor of 8*1/(3/n)?
False
Let q(v) = 0*v - 1 + 2*v + 7*v. Let n be q(2). Let h = n - 5. Does 6 divide h?
True
S