(-145). Which is greater: -1 or l?
l
Let r be (0 - 3) + -1 + (-1322078)/(-467). Let a = r + -2827. Is 0 greater than a?
False
Suppose 7*g + 49534 + 29027 = 0. Let f = g - -89541/8. Which is bigger: f or -29?
-29
Let b be (171/6 + -18)/((-75)/(-4)). Is 5 <= b?
False
Suppose 14 - 4 = -2*w. Let a be (-1 + 0)/(-1)*3. Let v be (-1)/((-3)/(-3))*a. Which is greater: v or w?
v
Let v be (-6)/3*-18*(255/(-9))/5. Which is bigger: v or 5?
5
Suppose 7*d = 9*d + 2*d - 2*d. Is 19/220 at most as big as d?
False
Let z = -10416.98 - -124.98. Are 2/5 and z nonequal?
True
Let f = -219.9 - -218.9. Is f at most 29.93?
True
Let d be (1 + -2)/(-1*(-3)/7977). Is d greater than -2659?
False
Suppose w + 14 = -49. Let a be (-4)/14 + (-18)/w. Let q = -1439/32 - -45. Is q less than a?
False
Let j = 1.44 + 108.56. Let f = j + -110. Let w = -5 + 8. Is f at most w?
True
Let t = 10038 - 12015. Is -1975 at most as big as t?
False
Suppose 0 = -4577*x + 4582*x - 25. Is 174/47 > x?
False
Let z = -69 + 2312. Suppose 4*i - 1767 = -z. Is i != -119?
False
Let o = -1824 - -1825. Is o less than 2/1871?
False
Suppose -3*l - 144 = -3*i, -20761*l + 2*i = -20756*l + 228. Let f be 0*2*(-2)/(-8). Let t be f - (0 - -1 - -42). Which is smaller: t or l?
l
Let p be 15/(-4)*(2448/(-60))/17*-1. Which is smaller: -168/19 or p?
p
Let y = 923 + 112. Let d be (-2)/3 + y/(-189). Which is greater: -6 or d?
-6
Let p(u) = -u**2 + 50*u + 18. Let i be p(23). Suppose 9*y = 5*y + t + i, 488 = 3*y + t. Is y less than or equal to 161?
True
Let k = 38 + -493/13. Let p(f) = -3*f**3 - 17*f**2 - 9*f + 10. Let w(v) = -v**3 - 9*v**2 - 4*v + 5. Let h(s) = -3*p(s) + 7*w(s). Let r be h(6). Is r at least k?
False
Let a = -0.093256 - 0.006744. Let i = -6 + 8. Let l = i + -2.1. Is l >= a?
True
Let o(f) = -261*f - 106. Let r be o(1). Is r <= -367?
True
Let o be (-10)/(-10) - (0 - 3/1). Suppose -o*x - 50 = 4*i + 62, -2*i + 5*x = 49. Which is bigger: i or -169/6?
i
Let l = -151.7 + -49.3. Let t = l + 200. Is t greater than -0.028?
False
Let j = -9 - -5. Let l(w) = -w**3 - 3*w**2 - 5*w + 4. Let r be l(j). Let h be 1*1/2 - 243/(-6). Is h < r?
False
Let i be (-5)/35 - (-1584)/63. Suppose 0 = 5*a - 5*o + i, o = -4*a - 0*o - 35. Which is bigger: a or -17/2?
a
Suppose -5*t - 20 = -5*h, 2*t = -h + 33 - 35. Which is greater: 158/241 or h?
h
Let z be (-4)/(-26) - (117537/780)/(-29). Which is bigger: z or 6?
6
Let g be 4*27/(-252) - (-33326)/14. Is 2380 < g?
False
Let i be (133/(-21) - -3) + 2 - (-18154)/(-6). Which is greater: i or -1?
-1
Let z = -84 + 88. Suppose -5*w - z*c + 96 = -244, -3*w + 4*c + 204 = 0. Let p = 84 - w. Are 0 and p unequal?
True
Let t = -10 - -26. Let m = -17 + t. Suppose 2*h + h = h. Is m < h?
True
Let i = -7683 + 7309. Which is bigger: -3358/9 or i?
-3358/9
Let h be 10/8 - (-65)/(-60). Which is smaller: -96 or h?
-96
Let d(p) = p**3 + 2*p**2 + 4*p + 12. Let t be d(-2). Let n be (t - 1285/310)*32/(-168). Which is bigger: -1 or n?
n
Suppose 2*m + 3111 = -i, -m + 62 = 3*i + 1625. Which is greater: m or -3107/2?
-3107/2
Let t = 5011976/251 + -19968. Is t != -1?
True
Let y be -1*(0 + 1)*1. Let b(q) = 47*q - 127. Let m be b(-15). Let h = m - -453438/545. Which is smaller: h or y?
y
Let x = 12290/899 - 3310/31. Which is greater: -92 or x?
-92
Let b(y) be the third derivative of y**6/120 + 7*y**5/30 - 11*y**4/8 - 16*y**3/3 + 5*y**2 + 9. Let x be b(-16). Is -16 at least as big as x?
True
Suppose 5*n + 5 = -0*n, 5*v + n = -36. Let h be ((2 + 5)*v)/1. Suppose -43 = x - 51*g + 48*g, 2*x = 4*g - 90. Are x and h unequal?
False
Suppose -5*a + 2347 = g, -89*g = -85*g - a - 9535. Which is greater: 9525/4 or g?
g
Suppose -61*l + 17 = -62*l - 6*v, 3*l - 39 = -3*v. Suppose -4*g = -3*g + 16. Is l < g?
False
Let y be (-28)/644 + 576/23. Is -142 smaller than y?
True
Suppose -37*y - 3144 + 36 = 0. Let g be (-1)/4 - (-595)/y. Which is bigger: g or -6?
-6
Let o = -9022.5 + 9045. Which is greater: -10 or o?
o
Let t = -0.5703 - 258.4297. Which is bigger: 6 or t?
6
Let w be ((-3)/24*2)/(-1). Let o(i) = -3*i - 7 - 6 + 0*i + 10. Let n be o(-1). Is w greater than n?
True
Let h(u) = -u**3 - 9*u**2 - 18*u + 1. Let r be h(-6). Let n be (-10)/(-220) + (-2)/2 + 1. Let d = -49/110 + n. Which is smaller: r or d?
d
Suppose -70*p - 56 = -27 + 41. Is p greater than or equal to -12/619?
False
Let r = 605 - 593. Let c be (r - 9)*2/(-6). Is c at least -1/31?
False
Let z = 4483 - 4484. Let i = -21404/7473201 - -2/9951. Is z >= i?
False
Let a be (-8)/(-6)*(-63)/(-42). Let c be ((-6)/2)/(a + (-18)/10). Let f be (9/c)/((-5)/(-125)). Is f greater than or equal to -12?
False
Suppose 29*u - 31*u - 2 = 0. Let g be 338/87 + (-11)/11 - 3. Which is bigger: g or u?
g
Let s(x) = -x**2 + 19*x - 21. Let d be s(15). Suppose 23*z - 1130 + 187 = 0. Which is greater: d or z?
z
Suppose 0 = -15*q + 3*q - 5508. Let w = q + 457. Is 1.03 <= w?
False
Let t(l) = -5*l**3 + 2*l**2 + 5*l + 4. Let o be t(-3). Let y be o/5 + 4/(-10). Let u = y - 36. Which is smaller: u or -5?
u
Suppose 86 = 2*o - 18. Let a = 30 - o. Suppose 41*m - 358 + 562 + 657 = 0. Is a != m?
True
Let g = -1014 - -1205. Which is bigger: 195 or g?
195
Let q be ((156/(-30))/13)/(2/(-8)). Let l(f) = -5*f. Let b be l(3). Let a be -1 + 39/b + 4. Which is greater: a or q?
q
Let m be -1 + 4 + (-9)/8. Suppose 2*n - 8 = -7*d, -d + 0 = 4*n + 10. Is d less than or equal to m?
False
Suppose 4294 = -330*t - 656. Which is greater: t or -129/8?
t
Suppose 0 = 5*f + 4*p + 2380 + 545, -p = -f - 576. Which is bigger: -1745/3 or f?
f
Let k be (-1)/306*(-7728)/91568. Let v = k + -2/1003. Is 1 > v?
True
Let u(n) = -n**3 + n**2 - 19*n + 3890. Let h be u(0). Is 3889 at most h?
True
Let y = 13.62 - 0.62. Let i = 0.3 - -10.7. Let u = y - i. Which is smaller: -17 or u?
-17
Let a(u) = 4 + 3*u + 4*u**3 - 16 - 3*u**3 + 4*u**2 - 6*u - 7*u. Let i = -10 - -4. Let h be a(i). Do -23 and h have the same value?
False
Let w be 195/(-78)*(-28)/10. Let f(z) = -3*z**2 + 47. Let i be f(w). Is i at most -99?
True
Let d = 545 - 310. Suppose -2*b - 73 = -d. Suppose 2*v = 5*q - b, -4*q - 2*v + 83 = 11. Is 0.1 less than q?
True
Suppose -121 + 151 = -3*u. Let i(x) = -x**3 - 9*x**2 + x + 7. Let d be i(-9). Let v = d + 4. Which is smaller: u or v?
u
Let a = 59.2988 - 0.2988. Which is greater: a or -2/27?
a
Let g = 3598.4 - 3473.4. Let p = 0.2 + -0.3. Which is smaller: g or p?
p
Let n = -1164.8 - -1165.232. Is -0.4 >= n?
False
Suppose 23*s - 42 = 50. Let f(r) = -r**3 + 9*r**2 - 6*r + 8. Let n be f(s). Which is smaller: n or 65?
n
Suppose -31*f + 29*f = 6. Let m be (-3)/(f/5)*(-28)/588. Is 1 less than m?
False
Let f(y) = 3*y**3 + 5*y**2 + 6*y + 4. Suppose -3*t + 6*t = 12. Let v be ((-29)/(-58))/((-5)/t - -1). Let o be f(v). Do -12 and o have the same value?
True
Let n be (-7 - 0) + 8 + 6. Suppose -4*o + 35 = 5*z, -4 - 7 = -o - 2*z. Suppose 4*m - 3*x + 5 = 24, -o*m = -2*x - 29. Is n < m?
False
Let d be (-14)/(-6)*-888*(38/(-8))/19. Which is bigger: 514 or d?
d
Let x be (828/14)/(765/42 - 18). Which is smaller: x or 230?
230
Let s = -0.221 - 0.207. Let x = 0.128 + s. Which is smaller: -2.1 or x?
-2.1
Let k = 9.9 + 1.1. Let p = 0.274 - -0.104. Let x = p + -0.478. Which is greater: x or k?
k
Let i = 3357.9 + -3450.5. Which is bigger: i or 1/5?
1/5
Suppose 3*i + 4 = 5*i. Let o be i + (8 - 6)*3/(-6). Which is smaller: 11/20 or o?
11/20
Let z(p) = p**3 - 8*p**2 + 7*p - 7. Let x be z(7). Let a = x - -16. Let d = -3111 - -3121. Which is smaller: a or d?
a
Suppose -5*x = 4*p - 47, 0*p - 16 = -4*x + 4*p. Suppose -5*m - 2 + x = 0. Let d = -267/5 + 2957/55. Is m bigger than d?
True
Suppose 2*b - 21*h - 168 = 0, -h - 8 = -162*b + 163*b. Let g = -489810 - -37716344/77. Let m = g + -93/7. Which is greater: b or m?
b
Let o = 653/5 - 130. Let b = 432 + -449. Let u be (-70)/17 + 4 + (-19)/b. Which is bigger: o or u?
u
Suppose 0 = 5*j + 5, 4*c - 23 = -2*j + 15. Suppose -c*r = 309 + 151. Are -44 and r nonequal?
True
Let k = 217 + -214. Let t be 2/k + 2*6/(-18). Which is smaller: t or -4/67?
-4/67
Suppose -3*r + 708 - 696 = 0. Are 58/21 and r unequal?
True
Let c = 137 - 137.1. Let g = -13 + 17. Let r be g + 54/(3/(-1)). Which is greater: r or c?
c
Let i = -0.39 + 22.29. Let m = -22 + i. Which is smaller: 273/2 or m?
m
Suppose -163 = 28*c + 117. Let l be (c - 2/1)*9/(-6). Suppose 2*g +