uppose y = -3*g + c + 2*c, v = -5*g + 3*c - 2. Which is greater: g or -1/3?
-1/3
Suppose a - 6*a = -5. Which is greater: -2/7 or a?
a
Let x(m) = m + 1. Suppose 0 = -j + g + 2, -3*g = -10*j + 5*j + 4. Let p be x(j). Is 0 at most as big as p?
True
Let m = -7 + 8.2. Let z = m + -0.2. Which is greater: -2/11 or z?
z
Suppose -i + 6 = -m - m, -2*m - 2*i = -6. Let f = 4532771/12830 - -520/1283. Let b = -354 + f. Which is smaller: b or m?
m
Suppose 3*w - 4*w = j, w + 2*j + 3 = 0. Suppose -2*i + 17 = -w*d + 3*i, -2*d - 14 = -4*i. Which is smaller: d or 1/8?
1/8
Suppose 3*j - 9*j = j. Is -1/39 < j?
True
Let t be -1 + 1 + 1 + -2. Let u = -6067/57 - -319/3. Which is greater: t or u?
u
Let j = 6 - 6. Suppose 3*a = -j*a. Is a < -3/22?
False
Let j be 6/(-4)*(-4)/9. Let y = -43/3 + 57/4. Which is smaller: y or j?
y
Let s be (8/6)/(18/(-27)). Which is bigger: s or 3?
3
Let h(s) = -s**2 + 7*s - 3. Suppose 2*x = -0*x + 14. Let m be h(x). Is -2 equal to m?
False
Let h = -77.1 - 1.9. Let k = 74.08 + h. Let v = -0.08 + k. Which is greater: 0.1 or v?
0.1
Let h be 30/8*(-3)/15. Let p = h + 1/4. Suppose 2 = -5*y + 4*s, 2*s + 3*s = -4*y - 18. Does y = p?
False
Let m = 0.71 + -0.71. Let z = 4 - 4.1. Is z at most m?
True
Let z = 9 - 20. Which is smaller: -13 or z?
-13
Let b = -4 + -49. Is -53 smaller than b?
False
Let c = -307/1099 + -1/157. Suppose 0*n + 4*b + 16 = -4*n, 0 = -5*n + 4*b + 25. Is c at most as big as n?
True
Let q(i) = -i**3 - 11*i**2. Let y be q(-11). Are y and -2/35 unequal?
True
Suppose -2*o - 126 = 3*c, -5*c + c - 4*o - 172 = 0. Let x be 1*-3 + c/(-15). Which is bigger: -2 or x?
x
Let u = -31.4 + 30. Which is smaller: -0.2 or u?
u
Suppose -6*b + b + 5 = 0. Suppose 4*l + 11 = -b. Let t be -4*2/(-12)*-3. Is t less than l?
False
Let o = 48/5 - 10. Let f = -3 + 2.6. Let k = f - 0. Is k not equal to o?
False
Let q = -2 - 3. Let n = q + 4. Is -1 < n?
False
Suppose 2*c - 4*c + 2 = 0. Which is greater: c or 4/5?
c
Let z be ((-7)/(-3))/((-20)/16). Let u = z + 11/5. Suppose 0*v + v = 0. Are u and v nonequal?
True
Suppose k + 1 = -3*v, 8 + 10 = 2*k - 4*v. Suppose 0 = 3*o + z - k, 4*o = -2*z + 7 + 1. Which is greater: o or -1/4?
o
Let m = -76 - -76. Which is bigger: 1/321 or m?
1/321
Let p = -5.6 - -3.6. Which is smaller: 0.02 or p?
p
Let w = 45151/105 + -430. Which is greater: w or 1?
1
Let t = -7 - -14. Suppose t = 5*v - 3. Which is bigger: -1 or v?
v
Let d be ((-6)/8)/((-3)/(-12)). Let g be ((-6)/(-18))/((-1)/d). Is -1/8 > g?
False
Let n = 6 - 8. Let x = 82.8 - 83. Is x not equal to n?
True
Suppose 3*u + 9 - 6 = 0. Which is bigger: 3/10 or u?
3/10
Suppose -4*u = -5*u - 4. Let b be u + -2 + (-2 - -5). Is b != -2?
True
Let f = -223/4 - -54. Suppose 0 = 3*m, 3*m = -5*q - 15 - 0. Are q and f non-equal?
True
Let v(l) = 4*l. Let c be v(3). Let y be (-8)/(-18)*18/c. Is 2 < y?
False
Let v = -2.03 - -1.96. Let q = 0.2 + -0.1. Which is greater: v or q?
q
Suppose -2*r = -4*h - 12, -r + 5 = h + 2. Is h not equal to -6/7?
True
Suppose 12 = 6*a - 4*a. Suppose 2 - a = 4*y. Let p be (-3)/(1 + -4) - y. Do 1 and p have different values?
True
Suppose 2 = 5*l - 23. Suppose -39 = -2*j - l*k, -3*j + 48 = -4*k + k. Suppose -4*c - i - 34 = 0, 2*c - c + j = 4*i. Are -8 and c nonequal?
True
Let i(h) = h**3 + 7*h**2 + 1. Let z be i(-7). Which is bigger: z or 1/4?
z
Let w(a) = -2*a**3 - 3*a**2 + 2. Let c be w(-2). Let n be (-6)/c - (0 + 0). Is -1/8 less than or equal to n?
False
Let j be 1/((-8)/3 + 3). Suppose g = j*g + 4. Let u = -135/2 - -66. Which is smaller: g or u?
g
Let m(n) = -3*n + 5. Let y be m(2). Is y greater than -1?
False
Let i = 373/5 - 75. Let d = 0.18 + -0.08. Is i bigger than d?
False
Suppose -68 = -5*h - 23. Which is smaller: h or 5?
5
Let f = 1.2 - 1. Let o = f - 1.2. Which is bigger: o or -4?
o
Let k = -92 - -461/5. Suppose j - 2*u = 0, -3*j + 2*j - 10 = 3*u. Let x be 2/(-8) + (-5)/j. Which is greater: k or x?
x
Suppose -2*g - 2*w - 7 = 3*g, -5*g + 3*w - 2 = 0. Is g <= -1/83?
True
Suppose -4*x - 2 = -3*x. Let q be x/6 + (-8)/(-6). Is 3 less than or equal to q?
False
Suppose 0 = 4*r + 20, 0*p + 5*r + 20 = 5*p. Is -2/11 less than or equal to p?
False
Suppose -2*n + 35 = -z, 13 = -2*n + 3*n - 5*z. Which is greater: n or 17?
n
Let n = -2299/13 - -177. Suppose 2*z - 7*z = 0. Let o be z/(-2) - (-1 - -2). Which is greater: n or o?
n
Suppose -2*n - 16 = 2. Let t = n - -7. Let p be 144/210 - t/(-5). Is p > -1?
True
Let v = -1 + 12. Let l(o) = -o**3 + 11*o**2 + 5. Let f be l(v). Which is smaller: f or 4?
4
Let n be (-70)/3 + 8/(-12). Let q be (-16)/6*n/290. Let v = 18/29 - q. Which is bigger: v or 1?
1
Suppose -3 = 4*n + 5*c - 6, 4*n = -4*c. Let r be 3/15 - n/(-40). Which is smaller: r or -1?
-1
Let r = -1.5 - -2. Let j = r + -0.82. Let p = -0.02 - j. Is -1 < p?
True
Let o = 92.964 - 93. Which is greater: o or -1/2?
o
Let h = -8 - -5. Let m be (-6)/((-2)/4*h). Let q = m - -4. Which is greater: 2/7 or q?
2/7
Suppose p - 4*s - 4 = 0, 3*p + 2*s + 2 = -2*p. Is p at most -1?
False
Let h(j) = -j**2 + 6*j - 4. Let d be h(5). Are d and 3 non-equal?
True
Suppose -4 + 19 = -5*m. Let o be 44/60 - (-1)/m. Let s = -0.2 - -0.1. Is o <= s?
False
Let k = 5 + -3. Let v = -128 - -123. Is v greater than k?
False
Let p = 48 + -47. Let q be (-2)/9 - (-1 + 1). Is p >= q?
True
Let u(t) be the third derivative of -t**4/24 - 5*t**3/6 + t**2. Let s be u(-4). Is -2 at least as big as s?
False
Let u be ((6/2)/(-3) + 1)/1. Let l = 472 - 8966/19. Do l and u have different values?
True
Let x be 3/2*(-8)/(-12). Let i = 5 - x. Let r be 3/(-1)*(3 + -4). Is i smaller than r?
False
Suppose -t + 4*o + 8 = 0, o - 3*o = 2*t + 24. Suppose -3*p = -5*y + 27 - 8, 29 = -4*p + 3*y. Is t != p?
False
Let w = -4.5 - -2.69. Let x = w - 0.19. Which is greater: x or -3/8?
-3/8
Suppose -x + 0*l - 6 = l, 4*x - l + 4 = 0. Let m be ((-8)/10)/(1/(-5)). Let d be m/(-10)*(-10)/(-2). Is x not equal to d?
False
Let g = 6469/862 + -2/431. Which is smaller: 0 or g?
0
Let r = -4 + 7. Let f be (-3)/r*(-1 + 1). Which is smaller: f or 3/8?
f
Let a = -3.3 + 3.4. Which is smaller: 13/4 or a?
a
Suppose 7*p - 10 = 179. Is p > 26?
True
Let x = 113.04 - 115. Let h = x - -2. Let f = 0.04 - h. Is 1 at least f?
True
Suppose 0 = -7*n + 2*n + 60. Suppose 5*v - n = v. Let g be 6/(-4)*(-8)/6. Is g at least v?
False
Let j(d) = -3*d**2. Let v be j(1). Suppose -q - 4 = -2. Which is smaller: v or q?
v
Suppose -5*u - 8 = -3*u. Suppose -10 = 3*g + 2*g. Let f be (4/4)/(g/6). Are f and u non-equal?
True
Let f(k) = -k**3 + 3*k**2 + k + 3. Let p be f(3). Is -1 at most p?
True
Let s be (6/(-15) - (-4)/10)/(-3). Which is greater: s or 4/15?
4/15
Let i = 9 + -22. Let p = 9 + i. Is -5 at least as big as p?
False
Let j(l) = l - 19. Let n be j(6). Is n < -13?
False
Let f = -0.141 - -0.041. Suppose 15 = -2*y + 7*y. Are y and f unequal?
True
Let g be (3/(-4))/((-306)/16). Which is smaller: g or 0?
0
Suppose y = -y - 3*i, -2*y = -i. Suppose -4 = -2*k - y. Let m = 15 + -14. Is k less than m?
False
Let q(u) = u**2 + 12*u - 2. Let s be q(-10). Which is smaller: -21 or s?
s
Suppose 3*s - 4*d = -0*s - 10, d + 2 = 0. Which is bigger: s or -1?
-1
Let b be (38/6)/(426/(-14)). Let w = b + -1/71. Which is greater: w or 0?
0
Let j be 2/7*(-4)/(-8). Suppose 0*t = -2*t. Let p be (t*2/(-6))/(-1). Does p = j?
False
Let w(h) = h**3 + h**2 - 14*h - 9. Let a be w(-4). Let b be 0 - -1*(-1 + 2). Suppose 3*v - b + 7 = 0. Which is smaller: a or v?
v
Let b(m) = -m**3 - 4*m**2 - 3*m - 3. Let f be b(-3). Let t(j) = -j**2 + 10*j + 54. Let g be t(-4). Which is smaller: g or f?
f
Let b be 3/(-2)*(-2)/(-471). Let r = b - 291/3611. Is 0.2 equal to r?
False
Let k = 1.6 - -0.4. Let q = -1 - -2. Let a = q - k. Which is smaller: -0.1 or a?
a
Let a = -5 - -3. Let d = -2.2 - a. Let o be (-4 - -5)*0/(-3). Which is bigger: o or d?
o
Suppose -5*a - 4*l = 16 - 47, 0 = -3*a + 4*l - 7. Suppose -a - 3 = -k. Let b be (3/2)/((-21)/k). Which is greater: b or 0?
0
Let z = 0.058 + -32.058. Which is smaller: 2/5 or z?
z
Let h(l) = l**3 + 3*l**2 + l + 1. Let w be h(-2). Let g(f) = 2*f**2 + 7*f. Let t be g(-5). Suppose m = -2*a + 10, -3*m + 12 = 5*a - t. Is a >= w?
True
Let m be -4*(-2)/8*-3. Let o be 20/(-3)*1/(-2). Let k = o + m. Is k at most 0.1?
False
Let r be 56/(-6) + (-6)/9. Let h = -21 - r. Which is greater: h 