1/3 or w?
w
Suppose -109 = -10*l + 141. Let f be (6/7)/(l/10 + 5). Let b(y) = -y**3 - 1. Let j be b(-1). Is f greater than or equal to j?
True
Let i be (-26)/24*-4*((-1900)/(-472) - 4). Is i greater than or equal to 1?
False
Let l(w) = -w**2 + 47*w + 247. Let t be l(63). Which is greater: t or 1?
1
Let o = 117.1588 - 117. Let x = 71.7412 + o. Let d = x + -72. Which is smaller: -41 or d?
-41
Let p be (-149216)/176 + (-2)/(-2). Let u = 851 + p. Suppose 52*c - 23 = 47*c + 3*n, 4*c = -5*n + 11. Which is bigger: u or c?
u
Let a be (-4)/((-12)/(-3)) + 20. Suppose -a*c = -401 + 78. Which is smaller: 95/6 or c?
95/6
Let i(h) = h**2 + 39*h + 127. Let q be i(-35). Let y be 2/q - 702/(-8957). Is y smaller than 0?
True
Suppose -3*u + 26 + 10 = 0. Let b be 4/3 - 244*4/u. Let j = b - -62. Are -20 and j unequal?
True
Let d(j) = j**2 - 29*j - 55. Let c be d(32). Suppose -22*h = 19 - c. Let l = -35586/17 + 2094. Is l <= h?
True
Let k = 6.209 - 6.57. Let j = k - -0.351. Which is greater: -3/2 or j?
j
Suppose -47*g - 98886 = 175876. Is g greater than -5846?
False
Suppose -a = -2 - 1. Suppose 3*q - 5*m = -a, 3*m = 4*q + m + 4. Let r = 28/4075 + 1602/4075. Which is bigger: q or r?
r
Let c = -7.0798 - 1.9202. Which is smaller: c or -4/611?
c
Suppose 6*d + 348138 = -3*d + 51*d. Which is bigger: d or 8288?
d
Suppose 2*p + f = 7*p - 131, -p + 29 = -3*f. Let m(y) = 65 - 3 + 30*y - p*y. Let g be m(-19). Is g greater than or equal to -17?
True
Let c be ((-21)/(-8610))/((-6)/4)*243/6. Which is bigger: 0 or c?
0
Suppose 3*m - m + 17 = 3*u, 3*m + 13 = 2*u. Suppose 0*a = a - 3. Suppose -o + a = 2*j, 2*o - u*j + 1 = -2*o. Which is greater: o or 2/23?
o
Let l be ((-8)/40*-118)/(4/10). Suppose 0 = -l*p + 54*p. Let v be 1/(68/(-12) + 3). Is v <= p?
True
Let a = -11/51 + 24/85. Which is smaller: 2.26 or a?
a
Suppose 0 = 5*r + 5, -y - 3*r = 2*y - 1860. Suppose -26*z - z = -y. Which is smaller: z or 19?
19
Let p be (-92568)/(-312) + (-32)/(-104). Are p and 298 equal?
False
Let l = -0.27878 + -0.22122. Which is bigger: 121/2 or l?
121/2
Let g = -10.11 + 10.41. Let k = -27 - -23. Is g > k?
True
Let j = 276 - 277. Let v(z) = -2*z + 12. Let k be v(5). Suppose w - 60 = 5*m, 2*w + k*m = 3*w - 51. Does j = w?
False
Let l(w) = 19 - 6*w**2 + 25 - 36 + 2*w - w**3. Let q be l(-6). Let h(m) = m**2 + 9*m + 24. Let d be h(q). Are 36/11 and d non-equal?
True
Suppose 984*o = 979*o + 3*s + 82, 2*s + 7 = -o. Let q be (-66)/(-8) - 2/8. Is o > q?
True
Let h(v) = 9*v**2 - 80*v + 1067. Let p be h(31). Are p and 7236 equal?
True
Let s(n) = -26*n**2 + 122*n - 2. Let b be s(4). Let i(o) = -19*o**2 + 3*o. Let x be i(2). Let v = x + b. Is -4 < v?
True
Let g be (0 + 8)/8*(-3)/3. Which is greater: g or -1/5881?
-1/5881
Let k(s) = -1332*s**3 + 2*s**2 + 3*s - 3. Let v be k(1). Let n = v - -129011/97. Is -1 < n?
True
Suppose 1040 + 857 + 4111 = -8*g. Which is greater: -4 or g?
-4
Let f be (0 - -1)/(823/(-2)). Let j(l) = 910*l - 58240. Let h be j(64). Which is greater: h or f?
h
Suppose -3*m + 1147 - 784 = 0. Let k(d) = 18*d - 4. Let z be k(7). Is z <= m?
False
Let z = -19 - -22. Suppose 136 = -z*d + 19. Let q be (-52)/d*(-9)/(-2). Which is smaller: q or 3?
3
Suppose -4*c + 8 = -3*o, 3*c - 2*o = -80 + 85. Is -12/6803 at least as big as c?
True
Let u = 11518/7 + -1232510/749. Suppose -4*l = q - 5, 4*q = 14*l - 11*l + 1. Which is smaller: u or q?
u
Let g be (-904)/16 - (-1 - (-4 - -2)). Let v = 38 + -97. Which is greater: g or v?
g
Let h(o) = -o**3 - 6*o**2 + 15*o - 11. Let n be h(-8). Let j be (-1)/1*n*46/(-69). Let w be (j + 1)*(29 - 2). Which is greater: 0 or w?
0
Let o be 2/(-8) - (13870/(-3224) + 4). Let d = -35951/1612 + o. Let s = -711/32 - d. Do 0 and s have the same value?
False
Let x = -8944 - -4285. Which is greater: -2/7 or x?
-2/7
Let c = -11/430 + -56507/9890. Let v be (-2)/(-3)*3 - 7. Is c less than or equal to v?
True
Let t be -4 - (1 + -7) - -1. Suppose 4*m + 175 = v, -6*v + 2*v = t*m - 605. Is 156 greater than v?
True
Let t be 43171164/7930 + 2/(-65). Which is greater: 0.3 or t?
t
Let x(b) be the first derivative of 27*b**2 - 107*b + 151. Let t be x(2). Which is smaller: 4/21 or t?
4/21
Let l = 6/1525 + -9804/166225. Which is bigger: -23 or l?
l
Suppose -2*r = 3*a + 21 + 2, -22 = 4*r - 2*a. Let p be (22/(-35))/((-272)/(-40) + r). Let k = -8 - -11. Which is smaller: p or k?
k
Let j = -1/1733 + -1761/2954765. Are 2/3 and j unequal?
True
Let f be -4151 + -26*(-15)/195. Is f bigger than -0.2?
False
Suppose 7*l = 3*l + 40. Let x = 3 + -17. Let n = -4 - x. Is n < l?
False
Let a be 210639/(-53251) - (-5 - -1). Let g = 2/103 + a. Which is smaller: g or 1?
g
Let p be 2*2372/32*4. Suppose -2 = 7*j + p. Is -84 equal to j?
False
Let c = -216 + 138. Suppose 14*u + 919 = -117. Are c and u equal?
False
Suppose -3*s - 60 + 2173 = -4*l, -l - 3516 = -5*s. Let q = 965217/1373 - s. Which is smaller: 1 or q?
q
Suppose -5*l + l = 8. Let x = -3491.6 + 3442.6. Which is greater: l or x?
l
Let s be (3/(-1))/(295753/298372 + -1*1). Which is smaller: 342 or s?
s
Let h(i) = -3*i**2 - 2*i + 15. Let q(s) = 6*s**2 + 3*s - 27. Let l(x) = 7*h(x) + 3*q(x). Let b be l(3). Is -10 <= b?
False
Let n = -20 - -12. Let l be (n/5)/(120/(-1500)). Is l != 23?
True
Let x be (16/2 + 90 + -99)/(31772/2). Are 0 and x equal?
False
Let n(j) = j**2 - 11*j + 21. Let t be n(9). Suppose -t*x - 2*s = -84, 3 + 3 = -2*s. Are 32 and x non-equal?
True
Suppose -2*g + 4 = 11*o - 10*o, 0 = -2*o. Let v be g/(-7) - ((-18352)/(-42))/(-8). Is 55 >= v?
True
Let c be (-755)/(-20)*1 - -3. Let q = 4729/116 - c. Which is smaller: 0 or q?
0
Let i be (535 + 1)/4 + (0 - 0). Let h = i - 135. Is -1/27 smaller than h?
False
Let a = 6999/7 - 1002. Let j be 60/9*5/(20/6). Suppose -5*w + 3*z + 2 = j, -2*w = -2*z + 4. Which is smaller: a or w?
a
Let j = 10766 - 10879. Is j less than -562/5?
True
Let r = -1.0569 - -1.04. Let b = r - 247.9831. Is -1/3 equal to b?
False
Let l be (-222)/(-185)*(-15)/11364. Is -1 less than or equal to l?
True
Suppose 713*q - 714*q + 19 = 5*l, -2*q - l + 119 = 0. Suppose 2*b - 132 = -2*k, -b - 132 = -3*b + 5*k. Which is smaller: b or q?
q
Let w = -83 + 88. Suppose 44 = w*a - 4*f, -20 = -4*a + 2*f + 14. Let b be 10/a + 5/(-80)*4. Which is bigger: b or -23?
b
Suppose 2*l - 2*b = -624, 2*b - 18 = -10. Let j be (3 + -6)*(-4 - l/(-12)). Suppose -5*i - 3*f + 450 = 0, -4*f = -2*i + i + 90. Is j at least as big as i?
False
Let n be 6/(-4)*(-127232)/1344. Is 144 less than or equal to n?
False
Let d be (4/(-12))/((-4)/(-3)). Let h = -146 - -129. Let j be h/(-6) + (-10 - -9). Is d less than or equal to j?
True
Suppose -7*j + 18*j = 528. Let y be (((-6)/4)/(-1))/((-4)/j). Is y bigger than -19?
True
Suppose 0 = -19*f + 21*f + 2*b + 2138, 2*f + 5*b + 2138 = 0. Are f and -1068 nonequal?
True
Suppose 46*d = 49*d + 2*m - 219, -2*m + m = 0. Let k(o) = -o**3 + o**2 + 3*o + 4. Let c be k(-4). Which is smaller: d or c?
c
Suppose 10 - 20 = 10*n. Let u be (-284)/(-80) + -5 - n/5. Let l be (-6)/4*(-12)/45. Which is smaller: l or u?
u
Suppose -q - 4*q = q. Let k be -3 - 20/(-4) - 9. Let d be (-1)/(-5) + k/35. Is d at most q?
True
Let s = -1/92243 - -291301/1344164996. Which is smaller: s or 1?
s
Let p = 819 + -51599/63. Which is smaller: p or 104?
p
Let d be (-1120)/282 - (-12 - -8). Let h(c) = c**3 - 16*c**2 + 17*c - 31. Let a be h(15). Which is smaller: a or d?
a
Let j = 1.6 + -10.6. Let m = j + 6. Let w = -0.1155 - -0.0855. Which is smaller: w or m?
m
Let o be 525/25*(0 + 1). Suppose -39*w - o = 135. Which is smaller: w or -13/5?
w
Let r = 1869/2476 - 3/619. Let s = -27 - -34. Is s < r?
False
Let g(v) = -3*v**3 + 53*v**2 - 37*v + 78. Let a be g(17). Is -71 <= a?
True
Let j(o) = -147*o + 588. Let a be j(4). Which is smaller: -1/913 or a?
-1/913
Suppose 0 = 4*x + 11*x. Let w(b) = 3*b - 6. Let m be w(4). Suppose -5*o - 25 = x, -4*y = -m*y + 4*o + 98. Is 39 at most as big as y?
True
Let q be (-168)/96 + (-157)/4. Do q and -2.4 have the same value?
False
Let j = -22 + 26. Let x(m) = m**2 - 3*m + 1. Let a(r) = r - 3. Let w be a(7). Let i be x(w). Is j at least as big as i?
False
Let v = -377/2 + 1509/8. Let t(o) = o**3 - 7*o**2 - o + 11. Let d be t(7). Suppose -d*r = 2*r - 6. Is r at least as big as v?
True
Let a = 37/2 - 91/5. Let o be 1/(-5) - 1/((-20)/(-976)). Let r = o 