, -b*g = -5*k + 8. Let h = -3 + 2.9. Which is greater: k or h?
k
Let u be ((-5)/(-2) + -2)/((-4)/24). Is -12/5 at least as big as u?
True
Let r = -67 - -31. Which is greater: r or -37?
r
Suppose -h - 2 = -6. Which is smaller: 5 or h?
h
Let y be (-6)/(-33) + (-928)/22. Let h be (-1)/(-2) + y/28. Which is smaller: -5/9 or h?
h
Let b = 57 - 341/6. Suppose 0 = -u + 2*s + 5, -u - 7 = -0*u + 4*s. Is b bigger than u?
False
Suppose -t + 3 = -3*b, 3*b - 5*t = -14 - 1. Is b smaller than 6/7?
True
Let b = -19 + 18.8. Let c = -2036/9 - -226. Which is smaller: c or b?
c
Let n be -1 + ((-129)/132)/(-1). Let l = n - 8/11. Do 0 and l have the same value?
False
Let n(a) = a**3 - a**2 + a. Let x be n(1). Let v be (x*-2)/((-12)/90). Suppose 14 = -5*w - 3*o, -w - 2*w - 4*o = v. Which is bigger: w or -2?
w
Let u = 0.12 + 1.78. Let b = 0 - -2. Let t = b - u. Is t at most as big as 2/9?
True
Let p(g) = g. Let k(l) = -4*l - 1. Let r(z) = k(z) + 3*p(z). Let x be r(-3). Suppose -x*s = 3*s + 20. Which is bigger: s or -5?
s
Let s be -4 + 3 + 0 - 2. Is s equal to -11/3?
False
Let b = 0.8 - 0.7. Is b bigger than 3/2?
False
Let z be 12/27*(2 - 4/(-40)). Is z > 0?
True
Suppose -8 = -5*v + 2. Let q = -3 - -3. Let x be -1 + (v - q) + -2. Is x smaller than 1?
True
Let s be 1 - 0 - 8*1. Suppose -8*y = -5*y - 9. Suppose 12 = y*v - 5*v. Is s at least as big as v?
False
Let a = 1.5 + -0.5. Is a bigger than 0.2?
True
Let i = -366797/117 + 3135. Which is smaller: i or -1?
-1
Let i = 8.3 + -8. Let c(s) = -s**2 + 4*s - 3. Let p be c(3). Is i at most p?
False
Let j be (-4)/10*(-2)/4. Let f(r) = r**2 - 10*r + 9. Let y be f(9). Are j and y equal?
False
Let y(r) = 7*r**2 + 3*r + 2. Let d be y(-2). Suppose a + 4*w = 5*a - d, 4*w + 4 = 0. Suppose -a*i + 3*i = j - 7, 5*j - 2*i - 35 = 0. Is 6 less than j?
True
Let u be 4/18 + (-94)/(-36). Let s = 3/2 - u. Are s and -2 nonequal?
True
Let r = 2/1549 + -12418/20137. Which is smaller: r or -2?
-2
Suppose 10 - 2 = -2*z. Let a be (2 - 4)*10/4. Which is smaller: z or a?
a
Let n = 0.11 - 21.11. Is -1/2 at most n?
False
Let i(r) be the second derivative of r**5/20 + r**4/2 - r**3/6 - 7*r**2/2 + 2*r. Let j be i(-6). Which is smaller: j or 0?
j
Suppose -h + 7 = -2*f, 0 = -0*h - 5*h - 2*f - 13. Which is smaller: 1/16 or h?
h
Let g be (-4)/20 - (28/(-20) + 1). Is g at least as big as -0.11?
True
Let a be (-2)/3*9/22. Are a and 0 equal?
False
Let a(k) = 2*k**3 + 7*k**2 - k. Let t be a(-5). Which is smaller: 0.1 or t?
t
Let s = -0.02 - 0.09. Let d = s + 0.91. Let w = d + -1.2. Is -1 >= w?
False
Let v = 5 + -1. Let c be v/(-2)*5/10. Is c != 1/11?
True
Let r be -3*(3/9 - 1). Suppose q + 18 = 4*g, 4*q + g + r*g = 23. Suppose 0 = o, t + 2 = 5*o + 5. Is t bigger than q?
True
Suppose -k = -3*h + 29, -32 = -4*h - 3*k - 2. Suppose -3*z = h - 0. Is z less than or equal to -1/4?
True
Suppose 2 = -9*v - 16. Is v at most as big as -5?
False
Let i = 2 - -2. Is -1 greater than i?
False
Let y = -30 - -44. Suppose s = -3*f - y, -23 = 2*f - 3*s - 10. Which is smaller: -3 or f?
f
Let u be (3/(-4))/((-15)/(-32)). Which is bigger: -2 or u?
u
Let j(c) be the second derivative of c**5/20 + 5*c**4/12 - c**3/6 - c**2 - 4*c. Suppose 5*f = -2 - 23. Let i be j(f). Is i at least as big as 3?
True
Let g = 6 + -3. Let j = 1.21 - 0.21. Are g and j equal?
False
Let l = -62 - -75. Which is smaller: -2/5 or l?
-2/5
Suppose -b = -3*b - 4. Let f be 3/((-3)/(-6) + b). Which is greater: -3 or f?
f
Let y = -0.02 - -0.02. Is y smaller than 0.2?
True
Let r(z) = z - 9. Let q be r(5). Let v(y) = y**3 - y**2 - 3. Let b be v(0). Is b < q?
False
Let y = -22 + 36. Let d be (-109)/y + (-4)/(-14). Let m = d - -7. Which is smaller: m or -1?
-1
Let g = -0.8 - -0.5. Suppose -207*t = -210*t + 12. Is t >= g?
True
Let v = 621/20 - 31. Are v and 0 equal?
False
Let c = 149/188 - 2/47. Suppose t = -5*x - 3*t - 3, t = -x - 1. Let j = -1 + x. Which is smaller: c or j?
j
Suppose 0 = -2*a + 4 + 10. Which is bigger: 5 or a?
a
Let p = 38/9 - 248/63. Let x = 0 - 0.2. Let b = x - -1.2. Which is greater: p or b?
b
Let b(f) = f**3 - 6*f**2 - 9*f + 8. Let h be b(7). Let l = h + 2. Let o = 81 + -241/3. Which is smaller: o or l?
l
Let j = -40 - -198/5. Suppose -5*s = 3*t - t - 26, 10 = -2*t + 4*s. Suppose 0 = -o - t. Is j less than or equal to o?
False
Let r(v) = v**2 - 3*v + 5. Let h be r(5). Let s = -19 + h. Suppose 0*g - g = 3. Which is greater: g or s?
g
Let b = 0.6 - -0.4. Let q = 0.6 - 0.1. Which is bigger: q or b?
b
Suppose 506 = -13*v + 24*v. Which is smaller: v or 48?
v
Let r(d) = d**3 + 2*d**2 - 2*d + 1. Let k be r(1). Let j = k - 0. Suppose b = -3*w - 5, 0*b + 2*w + 6 = 2*b. Which is bigger: b or j?
j
Let s = 0.46 + -0.5. Let t = 0.04 + s. Which is greater: -2 or t?
t
Let s = -0.2 - -0.2. Let j = -2 + 3. Let c = -2 + j. Which is smaller: s or c?
c
Let m = 7 + 5. Suppose 4*t - 4*g - m = 0, -2*t - 3*g = -2*g - 3. Let f = 3 - 4. Is f less than t?
True
Let b = -2.7 - -3.7. Is b < 3/5?
False
Let a be (5*8/20)/(-2). Which is bigger: a or -1/27?
-1/27
Suppose -4*a - 4 = 4*n, 2*n - 5*a - 5 = -0. Does n = -4/21?
False
Let y be (5 + (2 - 11))/((-50)/1). Which is smaller: -0.3 or y?
-0.3
Suppose 2*k + 1 + 1 = 0. Suppose 0 = -2*f + 3*y - 6, -7 = 3*f - 4*y + 2. Which is smaller: k or f?
f
Let u = 128 + -251/2. Let n = 33 - 17. Suppose -4*i = 2*a - 0*a - n, 0 = 5*i - a - 20. Is i less than u?
False
Let h = 1/27 + -86/135. Which is smaller: h or -1/3?
h
Let d = 1170997362511/930071009 - 2/18981041. Let q = 1259 - d. Which is greater: -1 or q?
q
Let a = -6/23 + 85/414. Which is greater: 0 or a?
0
Suppose -3*n - w = -5*w - 14, 4*w = -20. Is n != 1?
True
Let i be ((-4)/10)/((-2)/70). Let m be (-1 - (3 + -13)) + 4. Which is greater: i or m?
i
Suppose 4*y + y = -2*k - 17, -4*k = -5*y - 11. Which is smaller: -1/18 or k?
k
Suppose -3*u = 1 - 7. Suppose -1 = u*l - 3*l. Suppose 5*k + 4*h = 23, 0 = -4*k - 2*h - h + 18. Are l and k non-equal?
True
Let t(p) = -p + 3. Let r be t(5). Let w be (-1 + 4)/(r/34). Let k be w/63 - (-2)/3. Which is bigger: k or -1?
k
Suppose 2*i - 2 = i, 0 = 5*d - i + 27. Let u = 1 + d. Which is smaller: u or -5?
-5
Let n be 2/1 + (-2 - 0). Let t = -15 + 21. Let b = t + -7. Which is smaller: b or n?
b
Let y = 30.94 - 31. Let d = 8 - 4. Let x = -3 + d. Which is smaller: y or x?
y
Let f(d) = d**2 - 9*d - 22. Let g be f(11). Which is smaller: -3 or g?
-3
Let s = -71/20 - -19/5. Let y = 0.6 + -0.61. Which is smaller: y or s?
y
Let k = -173 + 1377/8. Is -1 <= k?
True
Let f be -2 - ((-4)/22 + (-20)/11). Are f and 7/5 equal?
False
Let s = 163/3 + -54. Which is smaller: s or 9?
s
Let u be 28 - 3*2/3. Suppose -5*l = -u - 9. Let v(n) = n**2 - 7*n - 4. Let c be v(l). Is c not equal to -2?
True
Let f = 14 + -26. Let q be ((-20)/6)/(f/90). Suppose -j + 5*m - 15 = 12, 5*j - 3*m + q = 0. Is j at most -1?
True
Let b = -5 + 3. Is 1/2 < b?
False
Let q = -7 - -9. Let b be 170/(-45) + q/(-9). Which is bigger: -3 or b?
-3
Let i(b) = -7*b + 3. Let h be i(1). Which is smaller: 12 or h?
h
Let c(y) = -y**3 + 15*y**2 - 13. Let o be c(15). Which is greater: -14 or o?
o
Suppose 0 = -10*x + 19 + 1. Which is bigger: x or 0?
x
Let n be (-12 - -13)/((-8)/3). Is 0 < n?
False
Let c = 2783 - 91862/33. Let w = c - -4/11. Is -1 smaller than w?
True
Suppose -2 = y - 3*y, -7 = x - 5*y. Is -2 less than x?
False
Let u(a) = 5*a**3 - a**2 - a + 1. Let t be u(1). Suppose -4*b + 2*h = -3*b, 0 = 4*b - 3*h. Let r = b - -3. Which is bigger: t or r?
t
Let j = -8 + 11. Let c(k) = k**2 - 3*k - 1. Let b be c(4). Is j bigger than b?
False
Let y be 0 + 1 - (-2 + -1). Is 2 less than y?
True
Suppose -2*b + 31 = -23. Suppose -3*o - b = -9. Which is bigger: o or -5?
-5
Let y = 1/512 + -10253/6656. Which is smaller: -1 or y?
y
Suppose -8*n + 7*n = 0. Suppose -j = -1 - 2. Let f be 1/j + (0 - 1). Are n and f non-equal?
True
Let j be 4/(-2 + (-21)/(-15)). Let y = -146/21 - j. Is y greater than or equal to 0?
False
Let y(i) = -i**3 - 7*i**2 - 8*i - 5. Let m be y(-6). Let c = m + -9. Which is smaller: c or -1?
c
Let p = 19 + -18. Which is smaller: 2 or p?
p
Let t = -24 - -23. Is -66 > t?
False
Let x be -4 - (-15)/10 - 4/8. Suppose 0 = 5*r + 10 + 5, 0 = -d - 5*r - 17. Is x >= d?
False
Let j = 265/6 - 305/6. Is j > -8?
True
Let j be -1 - 1 - (-3 + 1). Suppose j = -3*g + g + 6. L