smaller: 0 or u?
0
Let q(w) = -w**3 - 2*w**2 + 4*w + 7. Let b be q(-2). Let y = 55.03 - 1.03. Let v = 30 - y. Is b less than v?
False
Suppose -52*i + 49*i = -d + 1, 3*i - 5*d = 7. Which is greater: i or 5/1203?
5/1203
Suppose -7*s - 413 = -9*s - 5*u, 0 = 3*s + 4*u - 602. Is s less than 195?
True
Let r = 23 + 13688. Are 13711 and r non-equal?
False
Let m = -0.1088 - -0.8578. Let u = -1.168 + m. Let j = u + 0.119. Is 11 >= j?
True
Let r(i) = -i**2 - 13*i - 43. Let y be r(-6). Let z(v) = -v + 2. Let k be z(8). Let t = k - -3. Are y and t nonequal?
True
Let g = 47 - 39. Which is smaller: -0.09 or g?
-0.09
Let g(u) = 11*u - 10. Let t be g(-2). Let s = t + 31. Which is greater: 2/551 or s?
2/551
Let z(v) = -362*v + 741. Let a be z(2). Are 583/32 and a non-equal?
True
Let i(m) be the first derivative of 31*m**2 + 371*m - 590. Let n be i(-5). Let w = 155 - 95. Which is greater: w or n?
n
Let x be ((3 - 1) + 2)/10. Let o = 10.88 + -0.08. Let f = -7.8 + o. Does f = x?
False
Let q(y) = y + 9. Let u be q(-5). Suppose u*g - 55 - 25 = 0. Let r = 24 - g. Is 4 less than or equal to r?
True
Let p = -55383 + 25440. Is p at most as big as -29943?
True
Let l = 27 + -21. Suppose -9*n + l = -30. Suppose 9 = -g + n*g. Is g greater than or equal to 4?
False
Let m be -6 - (2 - 2057/924 - 6). Which is smaller: m or -2?
-2
Suppose 3*q = -u - 20, -q + u + 0 - 4 = 0. Let b be q/(-5) - 3/15. Let o be (0 + 4/(-24))*76/57. Which is smaller: b or o?
o
Let p = 2315/4 - 580. Which is greater: -3/110 or p?
-3/110
Let v be 296920/127272 + (-7)/3. Which is bigger: -1 or v?
v
Let r be (-6)/10 + (-9070047)/2205. Which is bigger: -0.1 or r?
-0.1
Let k(w) = 38*w - 46. Let f be k(5). Let o be (-40)/6*f/(-5). Which is smaller: 191 or o?
191
Let z(c) = c**3 + 11*c**2 + 11*c + 22. Let s be z(-10). Suppose 9*l + s = 5*l. Let w be (l - -2)/((-10)/20). Which is smaller: w or -12?
-12
Let h = 179.9 + -180. Let n = 0.94 + -0.9. Let t = n - 2.04. Which is greater: t or h?
h
Let q = 6230 + -18640/3. Suppose 2*o = -2*p + 26, -4*p - p = -5*o - 115. Which is greater: q or p?
p
Suppose 11*g - 136*g + 88443 = 192*g. Do 303 and g have the same value?
False
Let z = -201/4 + 50. Let h(s) be the second derivative of -s**4/12 - 4*s**3/3 - 15*s**2/2 - 86*s. Let y be h(-2). Which is smaller: y or z?
y
Let p be (12/10)/(6/(-20)). Let z be (p + 4)/(-11 + 9). Which is smaller: z or 1/636?
z
Let y(c) = c**3 + 5*c**2 - 83*c + 524. Let h be y(6). Which is greater: 1689/4 or h?
1689/4
Let v be 6/8*48/1998. Suppose -27 - 18 = -45*y. Which is smaller: y or v?
v
Let m = -0.0644 + 307.0644. Let u = m + -306.91. Which is greater: u or 1?
1
Suppose -52*o - 4*k = -50*o + 4, 3*o = 5*k - 6. Is -224/67 <= o?
True
Let h = -3/43592 + 31163/1719660808. Let k = h - 77324/31046363. Are 1 and k non-equal?
True
Let t = -69493/3778040 - -12/4585. Is 0 != t?
True
Suppose 5*h - 4*h - 17 = -2*u, 4 = -2*u. Let m be (-448)/h*(2 + 1). Which is smaller: -63 or m?
m
Suppose 0*n = -2*n - 12. Suppose -6*x = -2*x + 4*g - 20, -2*x + 10 = 3*g. Suppose 0 = -x*m - 21 - 14. Which is smaller: m or n?
m
Let a = 571 - 389. Let y = a - 170. Suppose 33 + 27 = 6*v. Which is smaller: y or v?
v
Suppose 3*m = 13*m - 20. Suppose 6*b + m*b - 16 = 0. Is 13/12 not equal to b?
True
Let y = -3073.18 - -3095. Which is smaller: 1/4 or y?
1/4
Let d be (6 - 7) + (-4)/6. Suppose 10*l - 12 = 18. Let k be 18/(0 + 3) - l - 5. Which is smaller: d or k?
k
Let l be (-12)/(-2) - (-2 - -4). Let f be (-8)/9*192/(-20). Let z = -56/15 + f. Are z and l equal?
False
Let t be 97 + (1 - 0) + 0. Let i = 0.00307 - 0.10307. Which is bigger: i or t?
t
Let i = 17909/594 + -647/22. Is i > 1?
False
Suppose -7*m + 25 = -73. Let o(a) = -7*a - 57. Let w be o(-8). Is m smaller than w?
False
Let r = 326.716 + -327. Let o = r + 51.284. Which is bigger: o or -1?
o
Let y be (130/(-125))/(15/((-2625)/(-20))). Is y at most -10?
False
Suppose -95*k + 68*k + 29 = 2000. Which is smaller: k or -59?
k
Let t be 66/(-24) + (-2)/8. Let i be t/(-52)*(1 - (-4)/(-3)). Suppose -3*x = 2*n + 3 + 1, 5*n = -2*x - 10. Which is smaller: i or x?
i
Let a = 12.67 + -13.67. Which is smaller: a or 4.475?
a
Suppose -9991 = -93*w + 166*w + 3441. Which is bigger: w or -120?
-120
Suppose u - q = 27 + 72, -4*u + 5*q + 397 = 0. Let v = u + -91. Which is bigger: 5 or v?
v
Let z = -177 + 1236/7. Let q = -112 - -160. Let v = q + -46. Which is smaller: v or z?
z
Let h = 164 + -167. Let t be h + (-2065)/(-546) - (-4)/(-6). Is 1 greater than or equal to t?
True
Let u = -37282/20295 + 178/99. Which is bigger: u or 1?
1
Let d = 333 - 327. Suppose 3*b - d*b = 0. Which is smaller: 1.3 or b?
b
Suppose -4*t + 2*g - g - 124 = 0, 108 = -3*t - 3*g. Let a(m) = 2*m**3 + 2*m**2 - 4*m + 3. Let u be a(3). Let w = u + t. Is w less than 31?
False
Suppose -25*a - 15*a = -3120. Is 61 not equal to a?
True
Let y = 10683473/32578 - 1220/1253. Let q = -586 + 259. Let a = y + q. Which is smaller: a or 0?
a
Suppose -5*c + 37 = 1032. Let j = -998/5 - c. Suppose -2 = 6*y + 4. Which is greater: j or y?
j
Let x = -1386/13 + 34676/325. Let f = 11 - 9. Is x > f?
False
Let m = -11473.1 + 10690. Let d = 783 + m. Is -0.0685 not equal to d?
True
Let w be 15268/112035 - 4/30. Suppose 12*c + 4404 = 4404. Which is greater: w or c?
w
Let y be (20/(-35) - 0)/(6290/(-221)). Do y and -1 have the same value?
False
Let d = -1327 - -741. Which is greater: -1 or d?
-1
Suppose 74*t = 77*t - 2*y + 4610, 0 = 3*y - 12. Is t less than or equal to -1532?
True
Let n = 24653 - 26073. Which is greater: 9 or n?
9
Let s = -94270/7 - -13960. Let v = s - 493. Is 3/2 bigger than v?
True
Let s be (-2)/((-1)/(-28)*-4). Suppose 0 = -5*u + 5*m + 85, 10*m - s*m - 4 = 0. Which is smaller: -5 or u?
-5
Suppose -2*l - 4*a = -l + 15, 3*a = 3*l - 30. Which is greater: l or 16/3?
16/3
Let l = -10777/18921 + -5/2703. Let a = 6 + -3. Suppose -2*t - 2*k - 5 - a = 0, 0 = 3*k + 12. Which is bigger: t or l?
t
Let n = -21.52 + 0.52. Let i = -4.04 - 15.56. Let p = n - i. Is p at most -0.1?
True
Let m be ((1 + -17)/2)/(-1 + (-16150)/(-16226)). Which is bigger: m or 1711?
1711
Let j = -2036 - -6107/3. Is -109/7 >= j?
False
Let d(y) = y**3 - 3*y**2 - 24*y + 13. Let z be d(5). Are 25 and z equal?
False
Let k(i) = i**2 - 3*i - 12. Let v be k(5). Let s be (-38)/(-3)*(v + 5). Let z = 32 - s. Is z <= 1/2?
True
Let o(v) = 291*v + 4942. Let b be o(-17). Which is greater: 26/25 or b?
26/25
Let i = 792.04 - 792. Which is bigger: i or -304?
i
Let z = 155 + -460/3. Let k be ((-4)/8)/(3/48). Let l be -2*(-4)/k*-1. Is z greater than l?
True
Suppose -5*h + 0*h = 25. Let t(r) = -3*r + 9. Let i be t(h). Let f = -1075 - -1099. Are f and i nonequal?
False
Let v = 1.5852 + 20.4148. Suppose 3*j + 5*n = 4, -4*j - n = -j - 8. Let p be j + -3 - (-1)/2. Is p bigger than v?
False
Let b(a) be the second derivative of a**5/10 - a**3/3 - a**2 - 17*a. Let o be b(-1). Let y be (12 - (8 + o))*2/(-2). Is y <= -6?
True
Let o(x) = -150*x - 27. Let c be o(-7). Let g be 12/(-102) + c/7395. Which is smaller: g or 0?
0
Let f = 18397/3297 - 4/471. Let d be -5 + 10 - (0 + -1). Is f > d?
False
Let n = 0.5 - -2.5. Let t = -29 - 217. Let f = t + 243. Is f not equal to n?
True
Let v be (-1)/(-3) - (-11 - 1066528/(-94104)). Let l = v + 86312/294075. Is -1 >= l?
False
Let n(o) = o**3 - 26*o**2 - 18*o - 23. Let p(k) = -2*k**2 - 36*k + 65. Let q be p(-19). Let d be n(q). Is d > 219?
True
Suppose -12*y - 190 - 578 = 0. Let h be 3 + 0 + (0 - (-196)/y). Which is smaller: -4/3 or h?
-4/3
Let u = 63 + -251/4. Let p = -5956 + 5956.014. Are p and u non-equal?
True
Let h be (245*-5)/((-540)/24 - -16). Suppose -5*k = -3*m + 936, -3 = 3*m - 2*m. Let t = h + k. Is -2 less than t?
True
Let y be 21 + (-456)/19 - (1 + 10/(-2)). Which is smaller: y or -163?
-163
Let x be (32/20*-1)/((-2)/(-15)). Let p be 9 + x + 4 - (1 + 0). Which is bigger: -4/39 or p?
p
Let u = 53.06 - 58.06. Are u and 1/288 equal?
False
Let v be 3/9*-20*(-6)/5. Suppose 21 = v*o - 10*o + 5*w, 2*w - 10 = 0. Let t = -2882 + 66298/23. Is t >= o?
False
Let b = -0.07 + -0.06. Let x = 0.261 - 0.231. Let t = b + x. Which is smaller: -0.2 or t?
-0.2
Let t = -81 + 76. Let l = -0.51 - -13.51. Let s = t + l. Is -3 bigger than s?
False
Let g = -126 + -2709. Is g at least as big as -2835?
True
Let n = 28571 - 2800