 greater than or equal to o?
False
Let g(z) = -z**3 + 9*z**2 - 8*z + 2. Let f be g(8). Let n be f/7 + 16625/(-49). Let m = -1688/5 - n. Is 1 at least m?
False
Let t = -20.99 - 0.01. Let j = t + 13. Let q = j - -8. Do -12 and q have the same value?
False
Let p be 470/900 + 3/(-10). Is -36 <= p?
True
Suppose 53 = 3*x + 8. Let s = x + -9. Suppose -7*u + 3 = -s*u. Is u bigger than 4?
False
Suppose 1 = -b + 4, -k = 2*b + 6. Let j be (-19 + 27)*(1 + 1). Let i = k + j. Which is smaller: 1 or i?
1
Let d = 3.5 + 7. Let o = 10.2 - d. Is -2/11 > o?
True
Let t = -528 + 17419/33. Let q = t - 13/11. Is q bigger than -1?
False
Let i = 3753/14 - 268. Is i <= 5?
True
Let q be (-4 + 3)/(1/(-17)). Let n = -11 + q. Let k be 24/9 - (0 + 2). Which is bigger: n or k?
n
Suppose 3*b - 23 - 13 = 0. Suppose q - b = -q. Is 5 bigger than q?
False
Suppose 3*p - h - 16 = p, 0 = 5*h + 10. Let d be (-2)/p - 366/42. Let x be -3*1 - (-3)/d. Is -3 less than or equal to x?
False
Suppose -3*c + 4*r = 2*r + 15, 4*r = c + 15. Suppose 0 = -j + 5 - 3. Let n = j - 3. Which is greater: c or n?
n
Suppose -4*v + 0 = -20. Suppose 0 = v*n - 2*n - 120. Suppose -3*y + 8*y = -n. Is y less than -9?
False
Let v = 3.1 + -8.1. Is -7 != v?
True
Let a = 0.91 - 0.9. Let y = -0.19 - a. Is y smaller than -5?
False
Let s = 1.097 + -1.197. Suppose -42 = -5*f + 8*q - 5*q, 0 = -f - 3*q - 6. Suppose 3*u + f = -0*u. Is u greater than or equal to s?
False
Let a = 2042825/14 + -145989. Let c = 73 + a. Suppose 2*q + 8 = 2*l, 4*q + 4*l - 1 - 7 = 0. Is q != c?
True
Suppose 2*o - 19 = -5*j, 2*o = -j + 2 - 3. Let u be (-9)/o - (-3 + 25). Is -0.1 <= u?
False
Let l = 124 - 120. Which is bigger: -0.07 or l?
l
Let o(p) = p**3 + 4*p**2 + p + 8. Let h be o(-4). Suppose -v - 4*g + 14 = 0, h*v - 52 = -5*g + 26. Is v less than 23?
True
Let r = 1.0185 + -0.0185. Which is greater: r or 14/53?
r
Let z(f) = -2*f + 9. Let j be z(3). Let n(m) = -2*m**3 + 3*m**2 - m + 2. Let v be n(j). Which is bigger: v or -29?
v
Let r be 10/5*9/2. Let d be r/((-36)/8) - -5. Suppose 50 = 2*c + 2*w, -d*c - 2*c + 4*w = -134. Is 27 greater than c?
True
Suppose 9 + 1 = 2*i + 3*c, 3*i - 2*c = -11. Let l be (75/(-36) + 2)/(40/(-6)). Are l and i non-equal?
True
Suppose 144 = -3*x - 4*c, -x - 35 = 5*c + 13. Is -48 < x?
False
Let n = 27 - 27. Suppose -f = -5*r - 447, -4*f + 1836 = 5*r - r. Let q = f + -15997/35. Is n bigger than q?
True
Let r = 4.4 + -0.2. Let b = -1.2 + r. Let p = -359/7 - -51. Is b greater than p?
True
Let w be ((-93)/21)/(2/(-14)). Is 59/2 less than or equal to w?
True
Let q = -0.4 + 0.7. Let p = q + -2.3. Let w = -1 - p. Which is smaller: w or 0.3?
0.3
Suppose 3 = 14*g + 3. Are g and -3/134 equal?
False
Suppose -2*l - 11 = -17. Let y(t) = -t**3 + 2*t**2 + t - 5. Let j be y(l). Suppose 0 = 2*v - 7*v - 60. Which is greater: j or v?
j
Suppose -4*g = -4*k + 52, -4*k - g - 3 = -45. Let u = 33.8 - 27.8. Are u and k equal?
False
Let r be (1 + -2)*(-1 - -3). Let h(x) = -x**2 + 4*x + 9. Let d be h(6). Let u be d*(-2 + (-13)/(-6)). Is r greater than u?
False
Let t = 18817/2 + -159917/17. Which is bigger: 3 or t?
3
Suppose 0 = 1104*m - 1106*m + 4. Which is greater: 159 or m?
159
Let s = 10.18 - 10. Let g = 14 + -14.28. Let z = g + s. Which is smaller: z or -17?
-17
Let m = 420 + -4616/11. Let l = m - -5/77. Let g = -37/105 - 1/21. Which is smaller: l or g?
g
Suppose 4*n = c + 63 + 51, 4*n - 5*c - 106 = 0. Suppose 3*w + 3*b + 99 = 27, -3*b + 12 = 0. Let j = n + w. Is -0.2 != j?
True
Let x = -0.16 + 0.2. Let z = 16 - 18. Let j be (z/(-4 - 0))/(-2). Is j at most x?
True
Let l(a) = -4*a - 30. Let g be l(-9). Suppose 2*q - q - g = 5*j, -j = -2*q + 3. Do q and 1/90 have different values?
True
Suppose 0 = 10*o - 7 + 57. Is 9 at most as big as o?
False
Let i be ((-12)/14)/((-60)/308). Let p(y) = y**3 - 2*y - 1. Let r be p(2). Is i equal to r?
False
Suppose 5*h + r - 3*r = 12, -3*r = -5*h + 8. Suppose -s + h*s = 0. Suppose -z + 3*z - o = 3, s = -5*o - 15. Which is smaller: z or -17?
-17
Let d = -126 + 84. Let b be (-57 - -55)*(20 + (-4)/32*-4). Which is bigger: b or d?
b
Let n = -536 - -1073/2. Which is smaller: n or 174?
n
Let y = -1.1733 - 0.0567. Which is smaller: -2 or y?
-2
Let d = -509 - -496. Are -95/8 and d equal?
False
Suppose -85 = -3*n + 4*m, 36*n - 40*n - m = -145. Is 9 at least n?
False
Suppose 3*v + 3*n + 7 = 7*n, -4*n = 2*v - 2. Which is smaller: v or 2/239?
v
Suppose 3*n - 3*a = 31 + 38, -3*n + 4*a + 66 = 0. Let j be 0 + 1 + n/2. Suppose 0 = 2*g + 3*g + 15, -4*g = 2*u + j. Is 1 at most u?
False
Suppose 4*n - 5 = 5*v, -4*v = -0*n + 2*n - 22. Let q be 2/6 - 10/(-6). Suppose -f = w + q*w - 17, -3*w + 4*f = -7. Is w at most n?
True
Let a(b) = -b + 6. Let t be a(5). Let p be t/4 + (-111)/12. Let c be (-2)/(4 - 378/99). Which is smaller: c or p?
c
Let p(d) = -2*d**3 - 2*d**2 + 1. Let c be p(-1). Let a be (40/44)/(-5) - (5 - (-195)/(-33)). Which is smaller: c or a?
a
Let h = 15939/2 - 12097705/1518. Which is bigger: 1 or h?
1
Let x be (-1 - 2) + (-1435)/(-245). Is 2 bigger than x?
False
Let x be (2/8)/((-95)/460*1). Is x less than -2?
False
Let b be (-4)/(-6)*(-78)/(-4). Suppose -209*m = 16*m - 3150. Which is smaller: m or b?
b
Let v = -451.9 - -452. Which is bigger: -1670 or v?
v
Suppose 2*m + 4*o = 40, 4*m + 7*o - 68 = 2*o. Let i be ((-4)/m)/((-39)/(-27)). Let z = -7 - -7. Which is smaller: z or i?
i
Suppose 5*a - 23 = 3*b - 206, 5*a + 176 = -4*b. Let w be (-1504)/a - 2/(-9). Is 41 at most w?
True
Suppose y + 6*y + 350 = 0. Let d be (3 + 556/(-180))*y/(-4). Which is greater: d or 1?
1
Suppose -25 = -4*x - x. Suppose -65 + 5 = x*v. Let m be (6/8)/(18/v). Which is bigger: -1 or m?
m
Let w be (-4)/(-38) - (-34040)/76. Which is smaller: w or 449?
w
Let w = 2704255/143 + -18911. Are w and 1 nonequal?
True
Let t = 449 - 619. Which is smaller: -172 or t?
-172
Let h be 13/5 - 8/(-20). Suppose 0 = -5*v - 3*l + 35, -4*l - 35 = -2*v - h*v. Suppose 3*g - v*g + 4 = 0. Is g less than 3?
True
Let u(j) = 3 - 12*j + 0*j**2 + 8*j**2 - 7*j**2. Let f be u(10). Which is greater: f or -16?
-16
Let h be 55 + (1/2)/((-9)/(-90)). Which is greater: 58 or h?
h
Suppose 5*q - 4*r = -6*r + 639, -5*q = 5*r - 630. Which is bigger: q or 126?
q
Let r(g) be the first derivative of -3*g**2/2 + 12*g + 10. Let v be r(9). Is v greater than or equal to -15?
True
Suppose 6*v = 880 - 88. Suppose -3*n - 23 = 3*d + 40, -5*n - v = -4*d. Do n and -24 have the same value?
True
Let x be 0 + -4 - (-1 + 3). Let b be ((-1)/x)/1*2. Which is smaller: 18 or b?
b
Let o(f) = -2*f - 12. Let p be o(-6). Suppose 2*m = -3*h + h + 20, -h = -1. Let g = -1 + m. Is p < g?
True
Let c be 2*-1*5/(-10). Let p be c*(-4)/(-16)*(-24)/141. Is 1 >= p?
True
Let n(f) = -f**3 + 5*f**2 - 5*f + 4. Let d be n(4). Let b be 0 + (-2)/(-20)*-3. Let t = -1/10 + b. Which is smaller: d or t?
t
Let y(a) = -a + 9. Let k be y(6). Let p be 61910/(-330) + (-2)/k. Let o = 188 + p. Is 1 less than o?
False
Let u be (80/(-264))/(2/3). Let p(g) = -6*g - 9. Let r be p(6). Let l be (-6)/r + 119/(-105). Which is bigger: u or l?
u
Let j = 6376 - 4807503/754. Let m = j + -207/13949. Let z = m + 155/518. Is -2 <= z?
True
Suppose 0 = -2*q + 2 - 0, 2*b - 2*q - 40 = 0. Let y be 39/156 - (b/(-4))/3. Is -6 equal to y?
False
Let c be (9 - 810/84)/(15/4). Is -1 != c?
True
Let w = -134/3 + 1760/39. Let h be 5/(10/(-8)) + 0. Let s be (1/(-2))/(2/h). Which is smaller: s or w?
w
Let p(l) = 2*l**2 + 4*l - 2. Let f be p(1). Let d(y) = -2*y - 2. Let m be 3*2*2/(-3). Let c be d(m). Is f less than c?
True
Let h be 0*2*(-3)/12. Let p = -2/275 + 116/825. Which is greater: h or p?
p
Let o = 1516 + -1509. Which is bigger: o or 22/3?
22/3
Let z = -253/4 + 64. Let y = 933 - 933. Which is smaller: z or y?
y
Let j = 224.01 + -224. Suppose 2*r + 4 = -0*r. Which is smaller: r or j?
r
Suppose 15*y + 121 - 376 = 0. Is y at least as big as 10?
True
Let u(j) = 2*j**2 - 30*j + 26. Let c be u(14). Does -26 = c?
False
Let z = 11168695/3 - 614081374/165. Let v = z + -1193. Let o = 1 - 0. Which is greater: o or v?
o
Let d = 0.18 - -7.82. Let k = d - 7.96. Is -7 less than k?
True
Let w = -1476 + 1476.21. Are 37 and w nonequal?
True
Let k(d) = d**2 - 50. Let l be k(7). Which is greater: l or -4/161?
-4/161
Let s = -1050 - -1724. Which is bigger: s or 675?
675
Let i be (-2 - 