 99/(-132) + (2 - (-9)/(-4)). Let m be (-9)/k - (-23 + 27). Suppose n = v - 0*n - 1, 2*n = -m*v - 2. Which is greater: 16 or v?
16
Let w(u) = 18*u**2 - 28*u + 119. Let k be w(4). Which is bigger: k or 2361/8?
2361/8
Let c = 259 + -693. Let y = -433 - c. Is -3/68 greater than y?
False
Suppose -5*a + 0 = -10, -2*a = 5*l - 184. Suppose -6*u + 22 = -3*u - 4*f, l = 3*u + 3*f. Let m be (20/1150)/(((-4)/u)/2). Which is greater: -0.2 or m?
m
Suppose -174 + 319 = -3*a - 1991. Which is bigger: -3562/5 or a?
a
Let w be (-6)/((-4)/(-86)*1/(-3)). Let n = w + -88. Is 299 smaller than n?
False
Suppose -6*o + 2*j = -2*o + 22, 0 = -2*o + 2*j - 16. Suppose -10*w + 8*w = -6, -7*f + 2*w = -50. Which is smaller: o or f?
o
Let m be (-1047)/72 + ((-70)/(-15))/7. Let f = m - -563/40. Which is bigger: 0 or f?
f
Let d = 1 - -9. Let f(t) = -t**3 - 15*t**2 - 14*t - 4. Let r be f(-14). Let g(z) = -z + 4. Let u be g(r). Is u less than d?
True
Let o(z) = 2*z**3 + 4*z**2 + 2*z - 809. Let g be o(0). Let k = g + 791. Is k greater than or equal to 2?
False
Suppose -50 = -2*i + 4*d, 2*i - 115 = -5*d - 20. Let h = -384 + 418. Suppose -6*r = -h + 22. Which is smaller: i or r?
r
Let m be (-1)/7*2 + 1218/147. Suppose -3*o - 11 + 28 = -5*d, -4*o - d - m = 0. Which is greater: o or -18/13?
o
Suppose 0 = 5*m - 3*v + 4789, 644 = 2*m - 4*v + 2554. Is -957 less than m?
False
Let f = -42/2227 - 638729/22270. Which is greater: -28 or f?
-28
Let n(i) = -13*i + 107. Let q be n(8). Let m be (23 - q)/((-22)/33). Which is smaller: m or -32?
-32
Let a be -2*-1*(-212)/(-24)*-3. Let k be 3074/a + (-3)/((-3)/4). Which is smaller: -56 or k?
-56
Let j(s) = -6*s**2 - 627*s + 3116. Let i be j(5). Which is smaller: i or 7/8?
i
Let p = -37 - -100. Let h be 42/p - (-1)/((-87)/56). Is -1 less than or equal to h?
True
Suppose 5*p - 24 = -p. Suppose w + p*s = 29 - 1, 4*w + 2*s - 42 = 0. Let z be 12/w*5/(-6). Which is smaller: z or 2/5?
z
Let y(u) = u - 36. Let g be y(9). Let o be (-6)/8*18/g. Which is greater: o or 58?
58
Suppose 88*b + 23755 + 25613 = 0. Which is smaller: b or -563?
-563
Let u be 8 - 7 - 4850/4925. Which is smaller: -1 or u?
-1
Let m be (((-138)/(-230))/(18/15))/3. Let x be 1/4 + 22/8. Suppose 0 = 6*y - x*y. Is m equal to y?
False
Let w be 5 + (57/(-684))/((-3)/492). Is 0.3 greater than w?
False
Let z = -1011 - -1385. Let b be -3 + 1 - -3 - (-1 - z). Is b at least 377?
False
Let n(t) = 3*t**2 - 14*t + 16. Let x(k) be the second derivative of -k**3/6 - 18*k. Let i(q) = n(q) - 6*x(q). Let w be i(6). Is w smaller than 76?
False
Let o(d) = 10 - 4*d**2 + 2*d**2 + 29*d - 5. Let i be o(15). Let l be (i/465)/(6/(-9)). Which is smaller: l or -1?
-1
Suppose 0 = -2*o - 3*y + 986, 31 = -3*y + 43. Suppose 5*f + h - 206 = 283, -5*f - 3*h = -o. Is 100 >= f?
True
Suppose 0 = -19*x - 172 - 18. Let m be 407/74*(-2)/x*-24. Which is bigger: m or -26?
-26
Let c(y) = y**3 + 14*y**2 + 14*y + 19. Let j be c(-13). Suppose -13*i + 10*i + 306 = 0. Let w = i + -290/3. Is j not equal to w?
True
Let k = -1175 - -1168. Let o = -1 + 7. Suppose 25 = b - o*b. Which is smaller: b or k?
k
Let y(s) = -12*s**2 + 115*s - 63. Let a be y(9). Is -3/5987 at least a?
False
Let s = 9563/4 + -2369. Let g = -571 + 573. Suppose o - 2 = 5*r, -8 = -4*r + g*r. Which is greater: s or o?
o
Suppose 31*z - z - 148500 = 0. Suppose -r = 44*r + z. Which is bigger: -109 or r?
-109
Let v = 160826/120379 - 276/203. Is 0 >= v?
True
Let z = 2298 + -2298.17. Which is smaller: -54 or z?
-54
Let r = 231 - 231.47. Let u = r - 1.53. Which is greater: u or -2/43?
-2/43
Let x(m) = m**3 + 8*m**2 - 7*m + 8. Let k be x(-8). Let s = 12 + -24. Let l be -48*s/18*1*2. Do k and l have the same value?
True
Let x = 25 + -64. Suppose 31 = 79*w - 62*w - 88. Which is bigger: x or w?
w
Let o = -624345/89 + 7015. Is o smaller than -1?
False
Let l be ((-3633)/(-1750))/3*-2854. Let a = 1975 + l. Which is smaller: 0 or a?
0
Let j = 1087/14 - 203297/2618. Suppose -6 = 5*l - 1. Which is bigger: j or l?
j
Suppose -4*a = -3*a + 18. Let g(c) = c - 2. Let x be g(a). Let s = x + 23. Which is smaller: -8 or s?
-8
Let x be (-5)/(-160)*-8 + (6/4 - 0). Is 7.96 greater than x?
True
Let q = 23 + -22.9. Do q and 9974 have different values?
True
Let n be (-10)/(-48)*51/595. Is n smaller than 0?
False
Let x(t) = -110*t - 847. Let u be x(1). Which is greater: -955 or u?
-955
Suppose -276*x = -271*x + 10, x = -2*a - 3064. Is -1531 less than or equal to a?
True
Let a = 184 - 319. Let s = a + 146. Let q = -6 + 6. Which is greater: s or q?
s
Let a(d) = -23*d - 326. Let o be a(-14). Suppose -2*g + 8 = -6*g. Let u be g - (600/303 + o). Which is greater: u or -1?
u
Let y = 62.6 + -79.95. Let o = -0.15 - y. Let x = 9.2 - o. Which is bigger: -1 or x?
-1
Let x be (10/4 - 1)/(774/283800). Let p = 546 - x. Which is greater: p or -87/16?
p
Let z = 7525317/18434 - 1554/709. Let m = 406 - z. Let b = 394/7 - 56. Which is smaller: m or b?
m
Let j = 72 + -51. Let r be ((-3)/((-54)/(-6)))/(3/(-36)). Suppose 2*t - 36 - 18 = -2*o, 0 = -o + r. Which is smaller: j or t?
j
Let c = -115.79 + 128.79. Which is smaller: 4.1 or c?
4.1
Let o = -0.382 - -0.3226. Let r = o - -0.2594. Which is smaller: r or -155?
-155
Let g = 71 - 114. Let f = -249 + 257. Let h(i) = i**3 - 9*i**2 + i + 12. Let x be h(f). Which is smaller: g or x?
x
Let q = 1409 + -1178. Which is smaller: q or 233?
q
Let t = 10220 + -10222. Are t and -114/73 equal?
False
Let l = -533 - -535.89. Let a = l - 40.09. Let f = -37 - a. Which is smaller: -2 or f?
-2
Suppose -4*r + 4*q = 0, -3*r = -0*r - q - 4. Suppose 4*i + 1 = -3*c - 0, -r = 2*i. Let b be (c/((-3)/(-12)))/2. Which is smaller: 16/7 or b?
b
Suppose 2*l + 9*l + 88 = 0. Let j be 5/(-15) - (-1 - l/18). Let q = -724 - -23890/33. Which is smaller: j or q?
q
Let l(s) = s**2 + 5*s - 17. Let p be l(-7). Let r be -3 + -2 + (p - -40). Suppose 0 = -2*n - 2*x - r, -x - 2*x + 24 = -n. Is n bigger than -17?
False
Let x be (-4)/(-6)*(-2)/(-3)*(-252)/(-21056). Which is bigger: 9 or x?
9
Suppose 4*q = 5*t + 34, q - 29 + 13 = 5*t. Which is greater: -7 or t?
t
Let x = -15 - -7. Let q = -0.146 + 1.406. Let l = 1.06 - q. Which is smaller: x or l?
x
Let z = 450.973 + -451. Let d = 0.0619 + -1.0349. Let u = z + d. Are u and -4 nonequal?
True
Let d = 7.51 - 1.51. Let p = -65.01 + 65. Let a = p + -0.99. Which is bigger: a or d?
d
Let s be (-1)/(-111)*((-48)/(-30) + -4). Let c = s + 1354/11285. Is 1 >= c?
True
Suppose 0 = i + i - a - 4, -i + 4*a + 16 = 0. Let v(c) = -c**3 + c**2 - c - 63. Let s be v(i). Let m = 120 + s. Do m and 58 have different values?
True
Suppose -2*s = -3526 + 3604. Let g = 89 - 48. Let i = s + g. Is 26 <= i?
False
Let v(p) be the first derivative of -p**3/3 - 3*p**2 - 2*p - 53. Let o be v(-6). Suppose 0*n + 6 = -2*n. Are n and o equal?
False
Let h = 22253 + -6653653/299. Is h at most as big as -1?
False
Let k be (-7 + (-276)/(-36))/(2/823). Is 274 at most as big as k?
True
Let f be ((-16400)/(-6))/(((-80)/(-120))/(-7 - -1)). Which is smaller: f or -24601?
-24601
Let v = 39 - 57. Let j be ((-4)/(-6))/(12/v) + 0. Let l = -2/133 + -377/1463. Which is smaller: j or l?
j
Suppose -28*p + 21*p - 273 = 0. Let c = -9 - p. Which is bigger: -1 or c?
c
Let g = -325791 + 325790.9306. Let d = 0.1 - -0.9. Which is smaller: d or g?
g
Let d = 23461 + -12747. Which is smaller: -1/4 or d?
-1/4
Suppose -20*b - 5126 = 9774. Is b <= -743?
True
Let b = -16425.97 + 16426. Is b less than or equal to 133?
True
Let f = -0.131 + 115.131. Is -0.06 >= f?
False
Let d = 648 - 658. Let l be (4/d + 14/10)/1. Is -2/439 smaller than l?
True
Suppose -264*w + 6525 = -239*w. Is w bigger than 274?
False
Let f = 51 - 95. Let n = -44.07 - f. Let b = n + 0.12. Which is greater: 1/5 or b?
1/5
Let b be -12*5/(-10)*232/(-6). Let i = 305 + b. Which is smaller: i or 74?
i
Let o = 0.026 + -75.026. Let w = 85 + o. Which is smaller: w or 19?
w
Suppose -5*u - 18*h + 8642 = -16*h, 0 = -5*u + 2*h + 8638. Are u and 1728 non-equal?
False
Let b be (-33)/(-231) - (-618)/(-14). Let j be (-10)/15*(-75)/b. Is j bigger than 0?
False
Let q = 12751 - 1058453/83. Which is smaller: -2 or q?
-2
Suppose t = -4*l - 0*l - 3, 2*t - 4*l + 6 = 0. Let n be (t - -2)/(4/(-28)). Let j(s) = -4*s + 29. Let v be j(n). Which is smaller: v or -2/131?
-2/131
Suppose -2870 - 1678 = 