h = -926537/9 - -103127. Let g = 178 - h. Is g at least as big as 1?
False
Let d = -9 + 13. Suppose 3*v + 0*v - 15 = 0. Is v at least as big as d?
True
Let n be 748/28 - (-4)/14. Let v = 25 - n. Is v > -16/5?
True
Suppose 115*d - 76 = 119*d. Is d > -18?
False
Let i = -20 + 81/4. Let n(h) = h + 2. Let u be n(4). Let z = u + -6. Which is smaller: i or z?
z
Let q be -1 + (54/15)/((-44)/(-15)). Which is smaller: q or 1?
q
Let m(w) = -w**3 + 3*w**2 + 9*w - 10. Let t be m(4). Is t less than or equal to -1?
False
Suppose 2*l = -5*i - 10, -4*l + 8 = -2*l - 4*i. Let y = 5/13 - 17/78. Are l and y unequal?
True
Suppose 2*m + 3*n = -101231, -13129 = -m + 3*n - 63731. Let g = 201417/4 + m. Let h = 258 + g. Is h < 2?
True
Let j(w) = 3*w - 3. Let h be j(2). Suppose -h*b = b + 40. Let n be 22/b + 1/5. Which is greater: n or -6?
n
Suppose -2*g = -4*g - 16. Is -8 bigger than g?
False
Suppose 0 = -5*p + 5 - 5. Are p and -3/20 unequal?
True
Suppose 0 = 5*k + 4*q - 8 - 4, 14 = 2*k - 3*q. Suppose 2*a = 3*m + 13, -m = -a - 5 + 10. Which is smaller: k or a?
a
Suppose 4*r - 5 - 8 = -w, 0 = -5*w - 3*r - 3. Let j be (-1)/9*w*6. Which is bigger: -2/9 or j?
j
Let f(c) = -4*c + 1. Let q be f(-1). Let t = q - 6. Which is bigger: t or -2?
t
Let o = 66 + -72. Which is smaller: o or 2/11?
o
Suppose -7*b + 4*b - 3 = 0. Let g(x) be the third derivative of -x**4/12 + x**3/2 - x**2. Let l be g(2). Is l less than or equal to b?
True
Suppose -2*v - 4*x + 8 = 0, -4*v - 4*x = -0*v - 28. Let l(r) = -v - r + 0*r + 4 - 7*r**2 - r**3. Let b be l(-7). Is 2/5 > b?
False
Let a be 60/22 + -1 + 46/(-23). Is a not equal to -1?
True
Let y = 1241/12 + -310/3. Let o be 0/(-1) + (1 - -1). Suppose 0 = o*b + 2*b - 4. Is y smaller than b?
True
Let t = -0.079 + 16.079. Which is smaller: t or 2/9?
2/9
Let v = 4 + -3.2. Let a = v + -1. Let j be 1/5 - (-1)/20. Is j greater than or equal to a?
True
Suppose -21 = -5*r - 3*c + 79, -97 = -4*r + c. Do r and 0 have the same value?
False
Let v = -982/265 + 48/53. Is v at most -4?
False
Let j be 4/54*(-3)/(-1). Which is greater: 0 or j?
j
Suppose 3*q + 4 = 2*q. Suppose 5*a = 12 + 3. Suppose -t + y + y = 5, 0 = -a*t + 5*y - 15. Is q > t?
True
Let o = -119 - -126.1. Let i = o - 7. Are 8 and i nonequal?
True
Suppose -24 + 24 = d. Which is bigger: d or 1/117?
1/117
Let w(p) = p**2 + 5*p + 3. Let f be w(-5). Let o be 6*(f/(-9))/(-1). Suppose -5*k - 3 = -2*r - 12, k - 4*r = 9. Which is greater: o or k?
o
Suppose -4*n + 3 = l - 34, 5*l = n - 4. Suppose -4*i = -i + n. Let x = i + 4. Is 2 smaller than x?
False
Let w be 20*((-8)/5 + 2). Is 6 smaller than w?
True
Let f be -5*(4/(-2) - -1). Suppose -d + 6*d = -f. Let v = -3 - d. Which is bigger: 0 or v?
0
Let a(y) = 15*y + 5. Let b be a(-3). Let l be (-16)/b + (-11)/15. Which is bigger: l or 0.4?
0.4
Let g = 38 - 15. Suppose -2 = -3*r - g. Let a = r - -7. Is a at most -1?
False
Let z be -3*(-1)/(-2)*-6. Suppose z = -5*t - 2*y, t + 1 = -2*t + y. Which is smaller: 1/5 or t?
t
Let w be 4 + 0 + 3 + -5. Let x = w - 1. Let z be 8/28 + (-72)/154. Is z at most x?
True
Let n(q) = q + 6. Let t be n(-7). Which is bigger: 9 or t?
9
Suppose -2*d = -4, 2*c = c - 4*d + 6. Let b be 776/(-390) - -2*1. Let r = b + -262/195. Which is smaller: c or r?
c
Let g = 0.46 + 0.04. Let s = g - 0.6. Is 0 >= s?
True
Let x = 15/17 + -519/646. Let a = -2132/57 - -1437/38. Let t = x - a. Is t greater than 1?
False
Let c(k) = -k**3 - 8*k**2 - 3*k - 11. Let a be c(-8). Which is bigger: a or 12?
a
Suppose 0 = 2*o + 2 - 0. Let p(d) = 8*d - d**2 + 3*d**2 + 6 + 0*d - d**2. Let k be p(-7). Is o >= k?
True
Suppose 2*t = -2*t - 20. Let v = t + 6. Which is smaller: v or -2?
-2
Suppose -4*v + v + 21 = 0. Suppose -v = -5*z + 4*z. Is z smaller than 6?
False
Let g be 3*2/6*2. Let o(j) = j**3 - 2*j**2 - j + 2. Let a be o(2). Suppose -1 + a = -y. Is y at most as big as g?
True
Let o(g) = -g**3 - 7*g**2 + 9*g + 11. Let u be o(-8). Let p = 6 + -2. Are p and u equal?
False
Let u(o) = -o**3 - o**2. Let q(s) = s**3 - 6*s**2 + 8*s - 9. Let y(r) = q(r) + 2*u(r). Let n be y(-9). Is n < -1?
False
Let j = 174 - 118. Is j smaller than 56?
False
Let l = 0.07 + -0.25. Which is smaller: -1 or l?
-1
Let r(w) = w**3 + 4*w**2 + 4*w + 3. Let p be r(-3). Is p > 0?
False
Let d = 74 - 143. Which is bigger: -1/4 or d?
-1/4
Suppose -3*n + 5*o + 25 = 0, 0 = n + o + 4*o + 25. Let y be -2 - n - (1 - 2). Let a be (-1)/(-2) - y/6. Are 0.1 and a nonequal?
True
Let p(m) = 2*m + 1. Let o(l) = l**2 - 8*l - 7. Let g be o(9). Let z be p(g). Let x(r) = -r**2 + 7*r - 1. Let q be x(6). Do q and z have the same value?
True
Let m = 73.9 - 74. Is 62 greater than or equal to m?
True
Let j(b) = b**2 - 10*b. Let o be j(10). Let q be (o - 3)/(-1 + 0). Is 3 <= q?
True
Suppose 6*f = -f - 7. Let h = 0.1 + 0.9. Let o = h - 0. Is o at least f?
True
Let o = -8 - -17. Let l be (-2)/(-3) + (-6)/o. Let c(x) = x**3 - 4*x**2 - 4*x - 3. Let s be c(5). Which is bigger: l or s?
s
Let o = 11 + -6. Let y be 53/o - (-2)/5. Which is smaller: y or 12?
y
Let a(q) = -q**3 + 2*q**2 + 7*q - 6. Let c be a(4). Let r be 4/c - (-2)/5. Is 0 <= r?
True
Let n = 30 - 30. Which is smaller: n or -0.4?
-0.4
Let u = 42 + -40. Suppose 2*k = 3*r + 4, -24 = -3*k - r - 7. Let a = 8 - k. Does u = a?
False
Let l(g) = -g**2 + g - 2. Let r be l(-2). Let v be (-18)/(-8) + 2/r. Does 3 = v?
False
Suppose 13*h - 9*h - 71 = -i, 0 = -3*i - 5*h + 241. Is i >= 87?
True
Let v be (-3)/6 + (-58)/4. Which is bigger: v or -27/2?
-27/2
Suppose -4 - 2 = -3*d. Let c = 3 - d. Suppose -3 = 2*n - c. Do n and -2/3 have the same value?
False
Suppose 5 = 2*d + 3*d. Let a = 101 + -102. Which is bigger: d or a?
d
Let n be -1*(0/3 - 0). Suppose -34 = -4*g - 2*s - 0*s, n = -5*g - 5*s + 40. Suppose -g = -0*x - 3*x. Is x < 4?
True
Let q = 2 + 3. Let z = q - 26. Let b be (-2 - z/10)*-4. Is 0 less than b?
False
Let h(d) = -d**3 - 10*d**2 - 3. Let m be h(-9). Let b be (-3)/(-12) + 45/m. Is -1 > b?
False
Suppose 4 = -3*j - 14. Let h be (2/j)/((-7)/(-3)). Let c be 3 + 1*(-8 + 4). Is h bigger than c?
True
Let w(t) = -4*t - 4. Let d be w(-2). Is 8/3 smaller than d?
True
Suppose -50 = 4*q - 2*g, -3*g = 2*q - 0*q + 45. Let r be 3/(-6) + q/(-22). Which is smaller: r or 1?
r
Let y be -2 + 1 + (-8)/(-6). Let v = -422 + 422. Which is smaller: v or y?
v
Let c = -4 + 6. Let b = c - 5. Which is smaller: b or -5?
-5
Let x = -79 - -79.2. Which is greater: x or 6?
6
Let i(x) = x - 8. Let c be i(9). Which is greater: -3/17 or c?
c
Let s = 6 - 72/11. Let m = -1 - -1.1. Are m and s non-equal?
True
Suppose -y = -3*a + 12, -3*y - 16 = -a - 4. Suppose 2*k + k - a = 0. Let b be (6/3 - 2)/2. Is k >= b?
True
Let p = 1 + -1. Suppose p = 3*z - 0 - 12. Let h be (2/z)/(1 - 0). Which is greater: h or -2/9?
h
Suppose -4*f - z - z + 2 = 0, -f - 5*z = -5. Let l be (-6)/(-6)*(f + -12). Let r be 2*1 - (-20)/l. Which is smaller: r or 1/2?
r
Let d = -5614/23 - -244. Which is greater: 0.2 or d?
0.2
Suppose 5*w + 4*s = 9, -1 = 3*w + 2*s - 6. Let n be 12/w*(-2)/(-6). Suppose 9*u - n*u = 5. Is u at most -2/5?
False
Let z(c) = -c - 8. Let w be z(-10). Suppose w*a + a - 126 = 0. Let r be a/(-20) - (-8)/(-20). Is -2 > r?
True
Let i be (-6)/4 - (-2)/4. Let r(s) = -s**2 + 8*s - 6. Let x be r(7). Which is greater: i or x?
x
Let j(p) = -p**2 + 5*p + 2. Let l be j(5). Suppose -f - l = f. Which is smaller: 0.3 or f?
f
Suppose -2*q + 0*j + 3*j = 2, 2*q = -4*j - 2. Is q smaller than 2?
True
Let c = -8 + 18. Suppose -4*b - b - 5*k + c = 0, 4*b - 44 = 5*k. Are b and 1 equal?
False
Let z(y) = 4*y - 21. Let g be z(4). Which is greater: g or -4?
-4
Let b = -1 + 2. Let g = 0.4 + -0.3. Which is smaller: b or g?
g
Suppose -30 = -5*c + 3*z, 2*c - 11 = 4*z + 15. Suppose 0*t = 3*t + c. Which is smaller: t or -2/5?
t
Suppose -j + 4*j + 15 = 0. Let n(c) = -c**3 - 5*c**2 - c - 6. Let i be n(j). Is i greater than 2/11?
False
Let v = 6 + -5. Suppose -2*a - a = u - 2, -u + 2 = -a. Which is smaller: u or v?
v
Suppose -6 = 4*t - 2*t. Is t smaller than 1?
True
Let b = 0.2 + -0.15. Let v = b - 0.35. Which is greater: v or -0.1?
-0.1
Let r(d) = -2*d + 13. Let v be r(6). Let z be (2/95)/(2/10). Is z >= v?
False
Let c = -84/5 + 50/3. Let l = 20 + -21. Is c less than l?
False
Let w be 2/20 - (-9)/6. Which is bigger: -1 or w?
w
Let o be (2/4)/((-2)/748). Let w