: n or 1?
n
Let n = -137 + 6027/44. Which is smaller: -1 or n?
-1
Let a = 9.518 - -0.082. Let c = a - 11. Are 1/2 and c non-equal?
True
Let z(f) = -3*f**2 - 53*f + 17. Let i be z(-18). Which is bigger: 1/3 or i?
1/3
Suppose 5*t - 5 = -5*c, -3*c + 0 = -2*t - 3. Is t > 1/3?
False
Let x(c) = 89*c**3 - c**2 + c + 1. Let b be x(-1). Let a = -6 + 12. Let j be (-33)/b - 4/a. Is 0 > j?
True
Let q(s) = -5*s**2 - 1. Let m be q(-1). Suppose -d + 5*h = -17 + 3, 0 = -3*d + 3*h - 6. Is d greater than or equal to m?
True
Let b = 0.2 + 0. Is b > -1/2?
True
Suppose -5*r + 7*g - 15 = 2*g, -5*r - 4*g = -21. Is r <= -2/145?
False
Let i = -151/1148 - -3/28. Let h(z) = -16*z + 31. Let q be h(2). Is q at least as big as i?
False
Let b = -140 + 104. Is b at most as big as -36?
True
Let q = -41/30 - -7/6. Suppose -f - f = 0. Which is bigger: f or q?
f
Let u = 0.74 + -13.94. Let a = u - -13. Which is smaller: 0.4 or a?
a
Let w = 196 - 157. Which is smaller: w or 41?
w
Let p = 12 - 3. Suppose 2*o - p = -o. Suppose -2*q - q = o. Is q <= -1/6?
True
Let z be (-26)/(-117) - 50/(-18). Suppose -16 = 4*s, 3*s = -z*t + 4*s + 7. Which is smaller: -1 or t?
-1
Suppose -71 - 154 = 5*f. Let r be (1/3)/((-5)/f). Suppose r*q = -2*q - 5. Which is smaller: 0 or q?
q
Let b(n) = -n**3 - 2*n**2. Let t be b(-1). Let a(q) = -q**2 + 7*q + 6. Let j be a(6). Let s be ((-1)/5)/(j/45). Is s bigger than t?
True
Let s = -5.97 + 6. Let a = -3.03 + s. Is a <= -0.1?
True
Let n be (2/(-3))/((-2)/3). Let s be (8/(-1 - -5))/14. Are n and s unequal?
True
Let i = -13 + 13.01. Let w(g) = g**3 - 4*g**2 + g - 3. Let u be w(4). Which is smaller: i or u?
i
Let v = 26 + -27. Is v < -12/11?
False
Let f(v) = 4*v - 3. Let q be f(8). Suppose -5*w + 0*x = -x + 24, 4*x + q = -5*w. Let z(g) = -g**3 - 5*g**2 + g + 4. Let l be z(w). Are l and -1 equal?
True
Let l = -17.92 - -18. Let r = 5.92 + l. Which is greater: r or 1?
r
Let z = 2/253 - 769/1265. Suppose 3*d = -3*b - 9, 5*d + 9 = -4*b + b. Is d equal to z?
False
Let g = -5 + 6. Let u(c) = c**3 - 4*c**2 + 3. Let f be u(4). Suppose -f*p + 3 = -3. Are p and g unequal?
True
Suppose 5*i = -4*d - 45, -3*d + 45 = -5*i + d. Is -6 greater than or equal to i?
True
Let c be 2/(-4)*(-4)/(-14). Suppose -2*r - 3*r = -15. Let h be -1*(-1 + r + -2). Which is smaller: h or c?
c
Let k = -6 + 5. Let x be (k/(-10))/(12/30). Is 1 >= x?
True
Let h be (3/(-2))/((-1)/(-2)). Let n be (-10)/15 + 4/h. Let g = 52/329 + 6/47. Which is bigger: g or n?
g
Let x be 3/5 + (-228)/(-20). Suppose 0 = 3*y - 4*o - x, 5*o - 9 + 24 = -5*y. Which is greater: y or 2?
2
Let b = 112 + -782/7. Is b not equal to 0.2?
True
Let b = -8 + 1. Let j = -6.99 - b. Let s = -0.09 - j. Which is greater: s or -0.04?
-0.04
Let d = 39 + -42. Which is bigger: 3/4 or d?
3/4
Let u = -2 + 4. Let h = 16 - 14. Suppose 0 = -h*f + u. Is 6/5 != f?
True
Let s = 80/133 + -6/19. Which is greater: s or 3.8?
3.8
Suppose -14*p + 13*p = 11. Which is smaller: p or -13?
-13
Suppose 190 + 17 = -3*h. Let o = -343/5 - h. Which is smaller: o or 1?
o
Let p = -8 + 6. Let v = 0 - p. Let b = -2 + v. Is b != 1?
True
Let j be (108/(-45))/(1/15). Let y be 14/8 + (-9)/j. Let i be (-6)/3 - y/1. Which is greater: -5 or i?
i
Let v = 5 + -2. Suppose -3 = -3*a, -v*y = 4*a - a. Let s be (-3 - -3) + -4 - -2. Which is bigger: y or s?
y
Let l = 1 + -1.2. Let c = -2 - -1.8. Is c equal to l?
True
Let n = 2180/9 + -242. Is 1 at most n?
False
Let g(c) = c + 15. Let d be g(-9). Which is smaller: 5 or d?
5
Let j = 0.066 - -0.334. Let m be 4/(-6)*(-6)/(-8). Is j greater than or equal to m?
True
Let l = 76 + -72. Which is greater: 13 or l?
13
Let c = -30 - -46. Let a be (-20)/c - 1/(-4). Suppose -u - 4*h + 3*h + 4 = 0, -5*h + 20 = -3*u. Which is bigger: u or a?
u
Let i = 1/35 + -97/2170. Let f = -179/434 + i. Is f greater than or equal to 0?
False
Let c = -3435/7 - -486. Is c >= -6?
True
Let v = -5 - -7. Suppose 2*g = 5*q - v, -q = 4*g - 6 - 12. Which is bigger: q or 0?
q
Suppose o = -3*o - 72. Do o and -17 have the same value?
False
Let d = 0.03 - 0.05. Let w = d + 0.12. Which is smaller: 1/2 or w?
w
Let w = 16 - 16. Suppose 0*b + 1 = b. Is w bigger than b?
False
Let d(q) = q**2 + 7*q + 10. Let m be d(-6). Suppose 4*y + 0*y = m. Which is smaller: 15 or y?
y
Let u = -2861/1988 - -3/284. Which is smaller: -1 or u?
u
Let c(l) = -l**2 + l + 1. Let y be c(-1). Let w = 2327 - 11588/5. Let a = w - 601/65. Is a smaller than y?
False
Suppose 5*h = 5*j - 130, 5*h - 3*h = 4*j - 114. Suppose 5*w = j + 4. Suppose 3*k = w*k + 4. Which is smaller: 0 or k?
k
Let i be 8/102*(-4 + (-82)/(-16)). Which is bigger: 0 or i?
i
Let m = 3 + -5. Are m and 3 non-equal?
True
Let u(t) = t**3 + t + 3. Let p be u(0). Is p at least 1?
True
Let r(t) = t**3 + 11*t**2 + 10*t + 6. Let b be r(-10). Let w(j) = -j**3 + 7*j**2 - 6*j - 3. Let x be w(b). Is -1 greater than or equal to x?
True
Let v(w) = 2*w**2 + 1. Let g be v(0). Which is bigger: g or 2/3?
g
Let x = -0.56 - -0.7. Is x > 1?
False
Let k(u) = u**2 + 4*u - 2. Let t be k(-5). Suppose -s = 3*y - 5 - 5, 5*y = -t*s + 18. Let m be 2*2 + (-1)/1. Does y = m?
True
Suppose -2*u + u = 4*d + 60, 72 = -4*d + 2*u. Is d bigger than -16?
False
Let t = 4 - -2. Which is smaller: t or -0.1?
-0.1
Suppose -5*m + 28 - 3 = 0. Let v be 8/2 + m/(-5). Suppose 6 + 0 = v*h. Is h equal to 1?
False
Suppose 2*p + 30 = y, -5*p - 2*y - 67 + 1 = 0. Let w be (-38)/p + 30/(-10). Which is greater: 0.2 or w?
0.2
Let g = 7 - 11. Are g and 2/3 unequal?
True
Let r = -157/4 - -39. Let h = r - 1/4. Is 0.1 > h?
True
Let r = -3 - -3.1. Suppose 180 = -5*w - 5*k, -2*k + 180 = -5*w + 2*k. Let z be w/(-21) + 2/7. Which is smaller: r or z?
r
Suppose -2*i = 2*q - 30, 4*i - i + 2*q = 50. Suppose -7 = 2*y + 3*d - 23, 5*d - i = 0. Is y equal to 2?
True
Let f = -115 - -115. Is f <= -5/4?
False
Let k = -0.1 - -0.2. Let u be 3/3 + (-51)/27. Let c = 5/9 + u. Which is smaller: c or k?
c
Let y = -8 - -9. Let g be (4 + 2)/(3 - y). Let f be -3 - -6*g/6. Is f < 1/3?
True
Suppose 0 = -0*p + 2*p. Let o = 97/26 - 3979/286. Let b = 10 + o. Is p greater than b?
True
Suppose 6 + 14 = 5*b - 4*j, 2*b - 5*j = 8. Suppose 0 = 3*p - 2*p. Is b > p?
True
Let m = 4 - 7. Let v = m - -2.9. Let z be -1 + 1 + 3/27. Do z and v have different values?
True
Let p = 11 - 6. Let z = 4.9 - p. Which is greater: -0.4 or z?
z
Let p be (2*-1)/((-48)/268). Let a = p - 1529/138. Is a less than 0?
False
Let m = 121 - 186. Let s = 135/2 + m. Which is smaller: s or 2?
2
Let c = 15 + -18. Let a(n) = -n**2 + 3 + 3*n - 2*n**2 - n - n**3. Let i be a(c). Which is smaller: -4 or i?
-4
Let k = -1/9 - 4/45. Let w(y) = -y**2 + 2*y + 1. Let g be w(2). Which is smaller: k or g?
k
Suppose 0*i - 27 = -4*f + 5*i, 0 = -2*i + 2. Suppose -3*q - 6 = -n + f, 2*q - 3*n = -14. Which is smaller: -5 or q?
-5
Let w = 8 - 22. Let j = -20 - w. Let a = -97 - -97. Which is smaller: j or a?
j
Let h be -3*((-8)/(-6) - 2). Let i(o) = o**2 + 8*o - 1. Let q be i(-8). Let w be h*q/(4/(-3)). Which is smaller: w or 1?
1
Let r = -767/4 + 190. Suppose 0 = 4*s + 4*y, 3*s = s + 3*y + 20. Suppose 0 = -4*b + 5*g + 21, g = s*b + 4*g + 19. Is r at least b?
False
Let o = -1.99 + 0.99. Suppose 3*g - 5*h = 30, -7*g + 3*h + 29 = -3*g. Are g and o non-equal?
True
Let q be (-159)/(-72) + (-2)/6. Let d be ((-6)/4)/((-24)/34). Let s = d - q. Is -1 at least s?
False
Let l = -0.08 + 0.02. Let c = l - -0.16. Let r = c - -1.9. Does r = 2/9?
False
Let g = -8.76 - -9. Let n = -0.54 + g. Is n <= -3?
False
Let g be (-6)/(-9)*30/4. Is g at least as big as 7/2?
True
Let j be 3 + -2 - 3/(-1). Let s be 0 - (j/2 + 1). Let i(t) = -t - 6. Let q be i(-3). Is s at most q?
True
Let c(v) = -v + 8. Let s be c(4). Let b = -6 - -10. Is b != s?
False
Let q = -4 + 0. Let o = -4 - q. Let y = 1 - o. Is y equal to -4?
False
Let w = -5 + 4. Let y = 6/5 - 31/30. Is w > y?
False
Let c = 1 - 0. Let q = 6 + -1. Let b be 1/3 - q/60. Which is smaller: b or c?
b
Let u be -1 + (-3032)/(-1092) + -2. Let v = 8/39 - u. Is v greater than -1?
True
Suppose -5*o - 34 = -2*n - 15, 4*n = -2*o + 2. Which is smaller: -12/7 or o?
o
Suppose 0 = -2*l + 4, -4*a = -l - 3 - 3. Are -4 and a non-equal?
True
Let m(f) = -f**2 - 8*f - 11. Let x be m(-6). Let w = -3 + x. Does w = -6/5?
False
Let r be -3 + (5 - 4) + 3. Is 1 at most as big as r?
True
Le