ppose 0*t - t + c = 0. Does 4 divide t?
False
Let n(g) = 4*g**2 + 3*g + 2. Let z be n(3). Let i = z + -4. Is i a multiple of 13?
False
Suppose -3 = -b - 6. Suppose -3*m + 4*a + 5 = 2*m, -5*m - 4*a + 5 = 0. Is 4 a factor of 7 - (b*m + 2)?
True
Let z(d) = d**3 - 6*d**2 - d + 6. Let u be z(6). Suppose u = 5*a - 5, 0 = 5*m + 2*a + a - 63. Suppose 0 = f + f - m. Is f even?
True
Is 8 a factor of (-6 - -3)/(3/(-34))?
False
Let u = -104 - -66. Let f = u + 101. Suppose -b - 4*b = -4*l - f, 3*b + 5*l = 60. Does 15 divide b?
True
Let g be (-6)/(-4)*(-4)/(-3). Does 13 divide -1*11*(g + -5)?
False
Let c = 281 + -154. Does 14 divide c?
False
Let k be 2*(-1)/2*3. Let p = 0 - k. Is p a multiple of 2?
False
Let q = -6 + 2. Is 4/2 + q - -76 a multiple of 37?
True
Let g = -115 - -162. Suppose 0 = w + 3, -2*b + 0*b = -5*w - g. Is 16 a factor of b?
True
Suppose 5*h + x - 845 = -81, -3*x = h - 150. Is h a multiple of 9?
True
Suppose -o + 4*j = -15, 5*j = -12 - 3. Does 2 divide o?
False
Suppose 19 - 109 = -2*d. Suppose 5*j - d = -5*v, -4*v - 15 - 4 = -j. Suppose -50 = -4*t + b, -5*t + 62 = 4*b - j. Is 6 a factor of t?
False
Let h be 1/(1/4)*-2. Let j = h - -20. Does 12 divide j?
True
Let j(g) = -10*g**3 - 2*g - 1. Let n be j(-1). Suppose q + n = 34. Is q a multiple of 21?
False
Let g(n) = n + 9. Let a be g(0). Suppose -r - a = -2*r. Let p = r + -3. Is p a multiple of 6?
True
Let u be ((-112)/98)/(2/(-7)). Suppose u*j - 109 = -2*v - 43, -5*j + 2*v = -96. Does 3 divide j?
True
Let h(x) = -12*x - 2. Let c be h(3). Suppose b - 63 = -2. Let d = c + b. Is 8 a factor of d?
False
Suppose 4*n - 6*n - 3*a = 19, 2*n = -a - 17. Is 5 a factor of (-24)/n + (9 - -1)?
False
Let t(u) = -4*u**3 - 11*u**2 + 12*u + 15. Let v(k) = -2*k - k**3 + 3*k + 3 - 2. Let s(p) = -t(p) + 5*v(p). Is s(10) a multiple of 10?
True
Let n(g) = g**2 - 14*g + 19. Let t(d) = -d**2 + 13*d - 18. Let a(b) = -2*n(b) - 3*t(b). Is 14 a factor of a(12)?
True
Suppose 0 = 3*x - 112 + 19. Let v(a) = 0*a - 4*a + 5*a + x*a**2. Is v(-1) a multiple of 15?
True
Suppose -x + 4*x - 117 = 0. Does 11 divide x?
False
Let y be 1 - 1 - -1 - -1. Let d be 3*(-1 + 2) + y. Suppose -c - c - u = -36, 100 = 4*c - d*u. Does 11 divide c?
False
Let p be (3 - 60)/(6/4). Is (2 - -4)/((-3)/p) a multiple of 18?
False
Let s(y) be the second derivative of -y**5/20 - y**4/2 + y**3 + y. Is s(-7) a multiple of 7?
True
Let u be 4/(-14) - (-52)/(-14). Let q(b) = b**3 + 4*b**2 - 3*b - 6. Is 3 a factor of q(u)?
True
Let x = -21 + 19. Let h(s) = -7*s**3 - s**2 + 2*s. Is h(x) a multiple of 24?
True
Let u = 143 + -37. Suppose m + m = u. Suppose -41 = -3*q - b, 4*q - 3*b - m = -6*b. Is q a multiple of 7?
True
Let s be (-4)/2 + 22 - -1. Suppose -4*w - 16 = 2*i, -5*i + 5*w = 10 + 15. Let v = s + i. Is 7 a factor of v?
False
Suppose 5 = 3*c - 4. Is 3 a factor of c?
True
Let i(n) = -n**3 + 6*n**2 + 5*n. Does 10 divide i(6)?
True
Let w(r) = 2*r**3 + 2*r**2 + 6. Let j be w(3). Suppose 12*g - 9*g = j. Is 13 a factor of g?
True
Let x be (-2)/6 + 14/6. Suppose x*m + m = -6. Does 6 divide 6/(-12) + (-13)/m?
True
Suppose -15*h = -11*h - 5*i - 535, 4*h - 570 = -2*i. Is 14 a factor of h?
True
Let q be 6/(-5)*5/(-2). Let v(f) = f**3 - 3*f**2 + 2*f + 3. Let d be v(q). Let w = 40 - d. Does 17 divide w?
False
Suppose -x + 3*q + 39 = 6*q, -195 = -5*x - 3*q. Suppose -4*r + x = -93. Is r a multiple of 21?
False
Let i be (-1946)/49 + (-4)/14. Let g = 62 + i. Is (4/2 - 5) + g a multiple of 16?
False
Let r(d) = 185*d**3 + 7*d**2 + 15*d - 13. Let x(u) = -93*u**3 - 4*u**2 - 8*u + 7. Let z(f) = 6*r(f) + 11*x(f). Is z(1) a multiple of 24?
False
Let s(g) = g + 1. Let v(r) = 8*r**2 - r. Let t be v(-1). Is s(t) a multiple of 3?
False
Suppose -o - 7 = -4*k, -k - 3*o - 5 = -23. Does 6 divide (8/(-6))/(k/(-36))?
False
Let x(q) = 8*q + 4. Let f be x(6). Suppose 2*m = -f - 130. Let s = m + 137. Is 19 a factor of s?
False
Suppose -145 = -5*r + 335. Is r a multiple of 16?
True
Let y = -133 - -246. Let m = 167 - y. Let z = m - 30. Is z a multiple of 14?
False
Suppose 3*v - 5*s - 26 = 0, -s + 26 = 3*v - 12. Is v a multiple of 12?
True
Suppose x = -o - 8, 3*o + 3 = 4*x - 0*x. Does 6 divide x/(((-22)/12)/11)?
True
Let d = 37 - -5. Does 14 divide d?
True
Does 11 divide (-10)/(-25) + 212/20?
True
Suppose 8 = -4*h - 4*b, -h - h = b - 1. Let o(f) = -3*f**3 + 3*f**2 + 3*f + 2. Let d be o(-2). Suppose h*z - z = d. Is z a multiple of 8?
True
Let g be 2/1 + (-21)/(-3). Suppose 4 - g = 5*j. Is (j/(1/70))/(-2) a multiple of 15?
False
Suppose -d + 13 + 9 = 0. Suppose 5*b - 2*x = 2, d = 4*b - b + 4*x. Let s = 2 + b. Is 4 a factor of s?
True
Let p(o) = o**2 + 6*o + 3. Let a be p(-5). Suppose y + 3*y + 2*w - 10 = 0, w = 4*y - 1. Does 8 divide (2 - (-7 - y)) + a?
True
Let y be (-10)/15 + 22/6. Suppose y*q = 2*q - r + 1, -q = -r - 3. Suppose 0 = b + 3*a - 17, -q*b + 6 + 20 = 4*a. Does 4 divide b?
False
Let w(c) = 7*c - 5. Let a(f) = -6*f + 6. Let x(d) = -4*a(d) - 3*w(d). Let g be x(8). Let b = 22 - g. Does 4 divide b?
False
Let q = -13 - -11. Let o = q - -22. Is o a multiple of 13?
False
Let q = -9 - -14. Let y = 0 + q. Suppose -3*m - 4*n = -4*m + 26, -n = y*m - 25. Is m a multiple of 6?
True
Let q be 2 - -112 - (-5 + 6). Suppose 0*j + 2*j - 5*t = 29, 4*j - 5*t = 63. Suppose -5*m = -j - q. Does 13 divide m?
True
Let d(y) = 49*y. Let u be d(1). Suppose -2*v - 21 = -u. Is v a multiple of 11?
False
Suppose 3*d + 0 = 3. Let l(i) = 6*i**2 + i. Is 2 a factor of l(d)?
False
Let h(u) = -11*u**3 - 4*u**2 - 5*u - 5. Does 13 divide h(-3)?
False
Let s(w) = 2*w + 13. Is s(6) a multiple of 14?
False
Suppose -a + 38 = 2*a - 2*n, -3*n = 3*a - 18. Suppose -3*k + 120 = 3*z, -k - 2*z = -a - 26. Suppose 4 = -2*b, k + 2 = 2*v - 5*b. Is 11 a factor of v?
False
Let w = 1 + 2. Does 8 divide (-2)/(w*2/(-114))?
False
Suppose 32 = 8*q - 4*q. Suppose -c - q = -4*y + 7, -24 = -5*y - 4*c. Is 17 a factor of (2*-5)/((-2)/y)?
False
Let w(h) = 5*h + 2. Let d be w(6). Suppose -3*a - a = -d. Does 2 divide a/(-28) - 153/(-21)?
False
Suppose 5*k - 8 = -4*z, 3*z = 5*k - 17 - 12. Let q = 0 - z. Does 2 divide q?
False
Let w be (-2)/(-5) + (-48)/(-30). Let v(s) = -s + 3. Let u(t) = -4*t + 8. Let y(r) = -4*u(r) + 11*v(r). Is 4 a factor of y(w)?
False
Let z(v) = 2*v - 8. Let p be z(6). Let q = 1 + p. Let i(c) = 3*c - 3. Does 4 divide i(q)?
True
Let v = -3 - -6. Suppose -5*p + 20 = -v*p. Let c = 5 + p. Does 10 divide c?
False
Suppose 5*i = 2*x + 710, 5*i + 2*x - 715 = 3*x. Is i a multiple of 6?
True
Suppose 5*p + 8 = p, -3*m = 4*p - 208. Does 7 divide m?
False
Let b = -68 - -168. Suppose 3*p = p + b. Does 15 divide p?
False
Does 11 divide 2 - (-490)/4 - (-1)/(-2)?
False
Let c = -9 + 11. Suppose 108 = 2*s + c*s. Is 9 a factor of s?
True
Let t(v) = 13*v + 4. Let f be t(5). Let u = f - 37. Let q = u + -12. Is q a multiple of 10?
True
Let v(b) = 94*b - 3. Is v(1) a multiple of 11?
False
Let d(z) = -z**2 + 5*z + 5. Let k be d(6). Let h = k + -5. Let l = 20 - h. Does 17 divide l?
False
Let a = -6 + 31. Is a a multiple of 6?
False
Let z(t) = 7*t**2 - 6*t - 2. Let f(w) = 6*w**2 - 5*w - 2. Let v(c) = 4*f(c) - 3*z(c). Suppose -u - 2*u - 2*a + 14 = 0, -12 = 4*u - 5*a. Does 3 divide v(u)?
True
Let r be 1/(((-27)/(-42))/9). Suppose g + g - r = 0. Does 5 divide g?
False
Is 17 a factor of 171/19*34/6?
True
Let x = -19 - -51. Suppose -52 = -3*n + x. Is 14 a factor of n?
True
Let t(l) = -l**3 + l**2 + l + 7. Suppose -2*k - x = -1, 3 = -4*k + 3*x - 0. Suppose n - 3*n = k. Does 5 divide t(n)?
False
Let v be ((-2)/(-3))/(4/(-6)). Let t be ((-1)/v)/2*-6. Is t*(-6)/9 - -20 a multiple of 11?
True
Does 15 divide 69 - 7 - (-2)/(-1)?
True
Let b = -4 + 8. Let i = b - -2. Is 12 a factor of (92/i)/((-8)/(-12))?
False
Suppose 0 = -2*g - 2*b + 4, b + 10 = -g - 3*b. Is g a multiple of 2?
True
Suppose 4*v - 3*g - 50 = 0, 8 + 60 = 5*v - g. Does 14 divide v?
True
Suppose 2*b + 5 = -5*l, -4*b + 5*l + 5 + 0 = 0. Suppose -5*h - 5*w = 85, 3*h + 5*w + 66 - 13 = b. Is (-1)/3 + h/(-3) a multiple of 3?
False
Suppose -5*f + f = 80. Let w = -11 - f. Does 3 divide w?
True
Suppose 3*o - 15 = 0, -3*w + 19 = o - 4. Does 6 divide w?
True
Suppose 0 = -4*w - 4*k, 3*w + 4*k = 8 - 4. Let y(g) = -g**3 - 4*g**2 - g. Let r be y(w). Suppose r*m - 39 = 25. Does 16 divide m?
True
Let r = -4 - -7. Suppose v - 