 is greater: f or 0?
0
Let u be ((-15)/6)/(8/(-5936)). Let x = u - 9319/5. Let y(v) = v**3 - 4*v**2 - 2*v. Let c be y(4). Is c less than or equal to x?
False
Let x(w) = 2*w - 22. Let o be x(5). Let y be 9 + -2*o/8. Which is bigger: 13 or y?
13
Suppose -1 = m, -3*g + 62 = -3*m + 14. Let w(f) = -f - 6. Let l be w(-5). Let p be (-4)/7*((-4 - l) + g). Which is bigger: p or -6?
-6
Let h = 3306 - 3304.5. Which is greater: h or -5/14?
h
Let a be ((-28)/(-168))/(9/(-33168)). Which is smaller: a or -615?
-615
Let i = -0.137 - -89.137. Let m = i + -89.3. Let q = 0.7 + -0.67. Is m equal to q?
False
Suppose 0 = 17*l - 191 - 166. Suppose 5*c - 4 - 18 = -3*g, -4*g + l = 5*c. Which is bigger: 184 or g?
184
Let s = 32465 + -32550. Is -20 greater than or equal to s?
True
Let o be (-6)/(-16)*8/12. Let s be 163/(-11) - ((-95)/(-19) + -19). Which is smaller: s or o?
s
Let k = -288 - -78. Let d be k/(-60)*-2*1. Is d greater than 1.7?
False
Let d(u) = -2*u + 7. Let k be d(6). Suppose 8*v - 189 = -v. Suppose 27*a + 30 = v*a. Is a greater than or equal to k?
True
Let u = 12291401167886969/140537802950 + -791510721/9050. Let j = -1/17707 - u. Which is smaller: j or 0?
j
Let k be (-4608)/(-14304)*1/10. Is -1 > k?
False
Let y = -626 - -16898/27. Let t = 131 - 89. Let s = 42 - t. Which is smaller: y or s?
y
Let w = -2.603 + 0.274. Let f = w + 1.329. Let l = -14.8 - -15.69. Which is smaller: f or l?
f
Let k be 12/(-2*2) + -55. Let v be 2 - (-1)/(k/108). Suppose -2*x - 1 = 4*f + 1, -3*x = -2*f + 3. Is f smaller than v?
True
Let j = -1.437 - -1.537. Is -1429 at least j?
False
Let q(s) = 18*s + 486. Let u be q(-19). Is u at least as big as 148?
False
Let p = -25311 - -33319. Is 8008 less than p?
False
Suppose -3*w + h + 39 = -0*w, -2*w + 4*h + 36 = 0. Let d be 46/6 - (-4 + 44/w). Let m be d/2 + -1 - 3. Which is smaller: m or 1/24?
m
Let p be 2 - 2/(32/1072). Is -860/13 > p?
False
Let a be ((-1277)/302815)/((-8)/((-80)/(-10))). Let l = a + -6/853. Which is bigger: l or 1?
1
Let q be ((19140/(-8))/33)/((-2)/44). Is 1596 at most q?
False
Suppose 4*n + 12 = -f, -4*f - 9*n + 7*n - 6 = 0. Let m be (f/(-3))/(3 - 1)*-1. Let y be ((-3)/(-2))/((-1869)/(-28)). Which is greater: y or m?
y
Let y(z) = z**3 + 6*z**2 - 3*z - 1. Let s be y(-5). Let i be (-66)/(-9) + 35/(-15). Let c be -60*16/(-120)*i. Which is bigger: s or c?
c
Let b be (3/(-4))/((-9)/24). Suppose 2*v = 5*p - 199, -b*p + 2*v + 29 + 53 = 0. Let m = 36 - p. Is m smaller than -4/9?
True
Suppose -1 = o + 12. Suppose 2*w = 2*s, 3*w + 36 = -4*s - 2*w. Let h be -1*(6 + s - 2). Which is smaller: h or o?
o
Let n = 2334 - 2334.01. Let l = -57/2 - -27. Do l and n have the same value?
False
Let l(y) = -y**3 + 2*y**2 + 8*y + 1. Let a = -23 + 27. Let q be l(a). Let r = -27 + q. Is r greater than -26?
False
Let x(q) = -638*q + 916. Let s be x(6). Which is smaller: -2914 or s?
-2914
Suppose 4*w - 24 + 0 = 0. Let m be 7/(-98)*(-2 + w). Let v = -25/24 + 3/8. Is v <= m?
True
Suppose 2*c + 30 = -2*h, -2*c = h - 3*c + 15. Let n = 16 + h. Let y be (4/(-28))/(n/2). Does y = 0.24?
False
Let z(j) = -j**3 + 4*j**2 + 12*j + 9. Let v be z(6). Suppose -3*f + 0*f = -v. Let q(x) = x**2 + 4*x + 2. Let u be q(-4). Is u < f?
True
Let z be (482 - 493) + (-15)/1. Let g = 107 + -34. Suppose 4*v + g = -23. Is z at least as big as v?
False
Suppose -92 = -5*c + 3*i, 0 = 4*i - i + 12. Let f be ((-1)/(-16))/(c/480). Is 1 bigger than f?
False
Let t = 0.2174 + -45.2174. Are t and 17 equal?
False
Let p(g) = -1 + 40*g + 1 + 3 - 42*g. Let v be p(-3). Suppose 0 = -5*u + v - 19. Which is greater: 1 or u?
1
Suppose 85*z = -4*p + 88*z + 15, 2*p - 24 = -4*z. Which is smaller: 2 or p?
2
Let z(s) = s**2 + 3*s + 1. Let n be z(-4). Suppose -5*h + 4*l + 2 = 0, 3*h + 5 = n*l + 1. Let d = -82 + 82. Is h bigger than d?
True
Suppose -21 = -2*c - c. Let u(f) = -f**3 + 8*f**2 - 9*f - 6. Let m be u(5). Let p be (-1 - m/(-28))*3/(-1). Which is smaller: p or c?
p
Let h = -11343 - -8464. Is h > 0.1?
False
Let a be (-1932)/(-711) + 0 + -2. Let p be 3/(22 + -27 - (-514)/8). Let y = p - a. Is y > -15?
True
Suppose -2*x = 3*y + 9, 4*x = -4*y - 6 - 2. Suppose -2*o = -3*n - 13, -x*o + 4*n + 21 = n. Let l be ((1521/26)/9)/((-2)/(-4)). Which is greater: l or o?
l
Let q = 39767 - 39791. Suppose -20 = -2*a - 72. Are q and a non-equal?
True
Let b = 4559 + -4562. Is 129 less than or equal to b?
False
Let a(s) = 29*s + 3. Let l be a(4). Let b(h) = -31*h + 770. Let f be b(21). Is l != f?
False
Let w(g) = -2*g**3 - 3*g**2 + 29*g - 97. Let v be w(7). Let k(a) = -725*a - 3. Let s be k(1). Which is bigger: v or s?
v
Let z be (48 - 123) + (-4)/(-6)*9 + -4. Which is smaller: z or -1?
z
Let f be 0/(-2 + 0 + 1) + 20/(-10005). Is f bigger than 0?
False
Let s = 0.025 - 0.075. Let a = -202 - -110. Let y = 92.1 + a. Is s > y?
False
Let h(g) = 2*g - 31. Suppose -8*a + 80 = -3*a. Let t be h(a). Let c be 1/t - (3 + 32/(-18)). Do c and 7/3 have different values?
True
Let n be ((-1 - -7)*6/324)/(12/(-8)). Which is smaller: -17.3 or n?
-17.3
Suppose -2*j + 1 + 71 = 0. Let w be (-20)/j*-3 - 344/(-12). Is w bigger than 30?
True
Let k be 96/1392 - (-3360)/58. Suppose -k + 58 = 19*f. Which is smaller: f or -9/14?
-9/14
Suppose -h + 2*l = -969, -52*h + 51*h = 5*l - 941. Let d = h - 386. Which is smaller: 576 or d?
d
Suppose 0 = b + 4*k + 18, -k + 14 = -2*b + 2*k. Let i(d) = -d - 14. Let x be i(6). Let g = b - x. Which is greater: g or 8?
g
Let o = -509 - -261. Let c be 2/(-6) + o/(-48). Which is bigger: 5 or c?
5
Let b be ((-6)/(-100))/(144/480). Which is smaller: b or 2/2577?
2/2577
Let r(v) = 24*v**3 + 1. Let t be r(-1). Suppose 1572 = -157*n - 1568. Which is smaller: t or n?
t
Suppose d - t - 4 = -0*t, 5*t + 16 = d. Let r = -3929/51765 + 17/203. Which is smaller: r or d?
r
Let q = 34 + 148. Let w = -184 + q. Which is smaller: w or 5?
w
Let z be (-6)/(-120)*10*(-124)/86. Is z greater than or equal to -2?
True
Let b = -16 - -26. Let u = -14212 - -127999/9. Is b at least u?
False
Let f = -379799/17 + 22351. Let v = 241443 - 241432. Is v <= f?
False
Let k = -106 - 68. Let o = 173.9 + k. Which is bigger: o or 0.45?
0.45
Let s(m) = -23*m + 232. Let o be s(10). Is 31/49 < o?
True
Let a(s) = s**3 - 18*s**2 - 65*s + 22. Let b be a(21). Let k be (b/(-90))/(4/36). Which is smaller: 5/8 or k?
5/8
Let n be (-22 + (-318)/(-12))/(3/4). Are -1.37 and n nonequal?
True
Let t be (-18)/(-12) + (-35)/2. Suppose -3*h - u - 42 = 0, -35*h + 72 = -39*h + 4*u. Which is smaller: t or h?
t
Let j be 1026/190 - (-2)/(-5). Let m be 3/(-3) - j/((-110)/8). Does m = 0?
False
Let i(d) = 6*d**2 - 8*d + 24. Let s be i(4). Suppose -7*v - s = 3. Is -106/9 at least v?
True
Let q be 5 - (160/(-80) + ((-19746)/(-2))/1). Does q = -9866?
True
Let q = 44.1 - 37. Let f = q - -0.9. Let s = f + -7. Which is smaller: 20 or s?
s
Let v be (-16)/(-24)*6/8. Let w be (-5 + 3505/90)/(12628/(-16)). Let i = w - 4/693. Which is smaller: i or v?
i
Let q = 4222/5 + -863. Suppose -9*s - 84 - 96 = 0. Which is smaller: q or s?
s
Let b = 45740/9 + -92028781/18108. Is b less than or equal to -1?
False
Let a = -30 + 39. Let p = a + -21. Is 8 <= p?
False
Suppose -4*k = 5*y + 792, k + 4*k = 4*y - 990. Let p be ((-4)/18)/(44/k). Is p smaller than 5/13?
False
Suppose v - 234 = 4*l, -4*l + 5*v = 244 - 2. Let q = -37 - l. Suppose -q = 2*i - 3. Which is greater: -8 or i?
-8
Let c = -154 + 178.6. Let x = -14.7 + c. Let o = x + -10. Is -7 smaller than o?
True
Suppose 5*i - 3014 = 20*i - 73814. Is i at most 4721?
True
Suppose -22*i + 447 = -5*r - 24*i, 5*r - 3*i = -442. Which is smaller: 24 or r?
r
Let q = -3267 - -3274. Which is bigger: q or 2/23?
q
Let a(i) = -i**3 + 8*i**2 + 17*i - 29. Let j(s) = -2*s**2 - 33*s - 133. Let d be j(-6). Let o be a(d). Is 587 >= o?
True
Let i = -14916 + 14917. Is -1/14545 at most i?
True
Suppose 10 = -5*b + 2*j, 15*b - 11*b + j = 5. Is -1/5000 < b?
True
Let a be 3/(99/31834)*(-3)/(-8). Do 362 and a have the same value?
False
Let b = 12062 - 12176. Does -178 = b?
False
Let w = 1.23 + 19.07. Let a = -20.83 + w. Is 1 not equal to a?
True
Suppose f - 681 = 3*w + 250, -5*w = -4*f + 1561. Let l = 324 + w. Are l and 7 nonequal?
True
Let d(u) = -965*u - 118698. Let k be d(-123). Let x = -5 - -2. Is x != k?
False
Let n be 1 + (18/(-144)*12)/(91/58). Which is smaller: n 