*h, -6 = 3*x + o. Which is smaller: h or -114?
-114
Let p be (-48)/12 + -4 + (-3160)/28. Which is greater: p or -120?
-120
Let m be (-43)/((-10 - (-302)/76) + 6). Which is greater: 1636 or m?
1636
Let o be -1*(-3 + 432/159). Let h = 3119/159 - o. Which is smaller: 20 or h?
h
Suppose -5 = -68*m + 63*m, -2*v - 2*m + 19346 = 0. Does v = 9672?
True
Suppose t - 6 = 5*z, -3*t = -t - 4*z. Let v be t/(8/6) - (-18)/(-6). Let b be 16/(4 - v/(-3)) + 1. Is b at least 5?
True
Let y = -49707841/24071100 - -1/587100. Is y at least -3?
True
Let h be (4 - (-2 + 4)) + 3. Suppose h*o = 6*o - 24. Let p = o + -15. Is 8 greater than p?
False
Suppose 0 = 3*a - 15, 4*l + 46 = 6*l + 4*a. Let d = -9 - -11. Suppose -3*j + 5*t = -8*j + 45, t + 33 = d*j. Which is smaller: j or l?
l
Suppose 73*j = 66*j - 2170. Is j at least -307?
False
Let o = -28019 + 896461/32. Which is greater: -6 or o?
o
Let a be -12*24/(-1584) + (1 - (-2412)/(-1771)). Which is greater: 0 or a?
0
Let o = -2469/29 + 783630/9193. Is o not equal to -1?
True
Let l(q) = -q**3 - 4*q**2 + 29*q + 120. Let v be l(-5). Suppose v = -2*g - 3*b + 60, -g - b = -6*g + 116. Is 23 greater than g?
False
Let p be (-6)/(-10)*(3 + -7 - 1). Let a(j) = -15*j - 46. Let t be a(p). Which is bigger: t or -9/4?
t
Let q = -24899/10 + 2488. Let w = -17 + 15. Is w >= q?
False
Let o = -144 - -723/5. Let z = -30 - -57. Suppose z = 5*m + 37. Which is greater: m or o?
o
Let t(v) = 2*v**2 - v - 10. Let n be t(4). Let b = -17 + n. Let h be (4/(-2) + -1)/((-954)/12). Which is bigger: b or h?
b
Suppose 2022*n + 31503 = 1996*n + 12419. Suppose -3*r + 1 + 2 = 0. Which is greater: r or n?
r
Suppose 60 = 2*f + 2*n, -n = -5*f + 218 - 38. Is 47 >= f?
True
Let a = -45 - -44.8. Suppose -z = -2*w - 7, 8 - 3 = 2*w + 3*z. Let i be ((-1)/(2/w - -2))/(-4). Which is bigger: a or i?
i
Let r = 3.782 - -178.918. Let l = r + -183. Does -12/5 = l?
False
Let l = 301.4 - 33.4. Let g = -2.2 + 1.2. Which is smaller: g or l?
g
Let z = 100.764 - 101. Let f = z - -0.336. Which is greater: f or 5?
5
Let f = 12456 + -12456.09756. Is 0 bigger than f?
True
Let a be (-2)/(-4)*(-23720)/(27 - 47). Is 590 less than a?
True
Suppose -2*z + 66 = 60. Let p = -2 - -2. Suppose -4*a + z*x + 7 = p, 0 = 4*x + 2 + 18. Is -2 >= a?
True
Let r = 215/126 + -233/70. Let f be 87/(-27) - -2*1. Let m = f - r. Is m smaller than -16?
False
Let l = -13176 + 15748. Are 0 and l equal?
False
Let c be 17 + (-6 - -1) + 3. Let o = -54 + 69. Let f = c - o. Is -3/8 > f?
False
Let g be (-132)/2376*(-30)/(-35). Let d be (-1 + (-2)/2)*4. Is g less than or equal to d?
False
Let d = 799 + -806. Is d less than 3?
True
Let o = -1/26745 - 1031/20112240. Which is smaller: -1 or o?
-1
Let b(u) = -5*u - 216. Let s be b(-43). Which is smaller: s or -8/73?
s
Let y = -3650 + 40064/11. Let v = y + 8. Let o = -40 + 39. Which is greater: o or v?
v
Let b = 1226.307 - 1227. Let w = b + -0.407. Is -5 > w?
False
Let m(c) = -4*c + 6. Suppose -g + 4*v = -5*g + 16, -2*g + 16 = 4*v. Suppose 3 = -3*z - 6*o + 3*o, -z - 3*o - 9 = g. Let a be m(z). Is 2 at least a?
True
Let g(s) = -2*s**2 - 13*s - 23. Let y be g(13). Let z = -21734/41 - y. Which is smaller: -1/2 or z?
-1/2
Let x(g) = -g**2 + 5*g + 79. Let z be x(12). Suppose 3*a = -5*c + 11, c - 9 = 4*a - 8*a. Let d be (((-4)/(-5))/2)/(a/(-20)). Which is greater: z or d?
d
Let y(v) = -v**3 - 2*v**2 + v - 3. Let d be y(-2). Let c be -1 + (d - -7) + 3. Suppose 4*a = -12, -4*x + c = -2*a + 14. Is x at most as big as -18?
False
Let l = -1306 + 6537/5. Let h = 19.6 + -24. Let b = h + 4. Is l greater than b?
True
Let h = -6321 + 6687. Is h >= 3/10?
True
Let v be 0 + 1 + 141904/(-150). Let d = v + 945. Let c be (-1650)/7425 - 2/(-9). Which is smaller: c or d?
d
Suppose -j - 17 = 38. Let l = -22353 - -22297. Which is bigger: j or l?
j
Let s be (105/14 + 6)*8/6. Let u(i) be the first derivative of -5*i**2/2 + 4*i + 8. Let z be u(-3). Is z at most s?
False
Let o be -2*(0 + (-53)/(-5)). Let l be 40 + -89 + 60 + -33 + 1. Is l bigger than o?
True
Let i be 4/16 - (-8)/(-32). Let x be 4 - (-15 - -2) - -1. Let a = x + -22. Which is smaller: i or a?
a
Suppose -2*s + 2*g + 4 = 10, -2*s - 2*g + 2 = 0. Let k = -699 - -696. Which is greater: s or k?
s
Suppose 3 = -4*o - 1. Suppose -5*c + 62 + 3 = 0. Suppose c*k + 8 + 31 = 0. Which is smaller: o or k?
k
Let x(k) = -11*k + 60. Let s be x(5). Suppose s*o - 32 = -3*f + 21, 5*o + 5*f = 55. Is -1 < o?
True
Suppose -2*j = -5*z + 17268, -j + 17272 = 5*z + j. Let y = z - 24092/7. Which is greater: 13 or y?
13
Let g = 75 + -73. Suppose 41 = -g*c + 35. Let t be 24/35 + 10/105*c. Is 1 >= t?
True
Suppose 5*r = 9*r + 4. Let w be (5 - (r - (-9 - -4))) + -73. Do w and -70 have different values?
True
Let v(s) = -s**2 + 20*s - 4. Suppose -r + g = 16, 2*g = 8*r - 4*r + 68. Let t be v(r). Is 0.1 greater than t?
True
Let g(r) = -156*r - 7730. Let h be g(-50). Is h greater than or equal to 0?
True
Let y = -519 - -1943. Let v = 12794/9 - y. Suppose -2*d = 8 - 4. Is d equal to v?
False
Let s = -9010 + 9000.61. Which is smaller: s or -1/3?
s
Let t be 0/(-2) - 5 - (334 + -339). Which is smaller: t or -600?
-600
Let g = 869.234 - 869.3. Are g and -69 non-equal?
True
Let p be (-2)/4*2/3. Let i be (-4)/6 + -4 + (-394)/(-6). Let d = i + -60. Is d smaller than p?
False
Suppose -5*d = 2*h + 109 - 76, 4*h - 39 = 5*d. Which is smaller: h or 3/4523?
3/4523
Suppose -217*p - 2218059 = 630717. Which is bigger: -13127 or p?
-13127
Let c = -185835/16 - -11552. Let d = c - -1419261/22640. Which is bigger: 1 or d?
1
Suppose 8*d = 46 + 18. Which is smaller: 52 or d?
d
Let g(u) = -u - 14. Let o be g(-15). Let t = 71/1323 - 2/27. Is o greater than t?
True
Let i be 29/4 - (-45)/60. Let u(c) = -c**3 - 10*c**2 + 9*c - 13. Suppose -8*s = 19 + 69. Let a be u(s). Is a greater than or equal to i?
True
Let m be 3*4/(-30) + (-416)/160. Let x be m/265*54/81. Do 1 and x have different values?
True
Let z = -2487.96 + 2431. Let t = -0.04 + z. Let r = t + 55. Is 15 >= r?
True
Let h = 2371.98 - 2372. Is h < 0.225?
True
Suppose 3*r = -9, 0 = -4*y + 6*r - 3*r + 370269. Let x be 6/10 + (-53894)/y. Let v = x + 2/1089. Is 0 less than v?
True
Suppose -5*p - 71 = 2*s, 3 = -3*p - 0. Let l = -52 - s. Let m = -21 - l. Is 4 != m?
True
Let i be (4302/3 + 0)/((-12)/(-9)). Let h = -27855/26 + i. Is 4 > h?
False
Suppose 0 = -8*o + o + 21. Suppose 0*b + b - 2 = 2*f, -o*b = -4*f - 8. Suppose 8*l + b = 6*l. Is l at least -9/11?
False
Let m = 70 - 67. Let w be ((-1)/m)/((-220)/(-30) + -7). Is w at most 1/534?
True
Let b(i) = -30*i - 1568. Let k be b(37). Is -2679 greater than or equal to k?
False
Let d = -1390140913/55 + 25276620. Let s = d + -1331. Which is greater: s or -1?
s
Let x = 853 + -1123. Which is smaller: 1/2 or x?
x
Let w be ((-819)/(-28))/((-3)/8). Let j be 3/(-6 + w/(-12)). Is 5 != j?
True
Let w(q) = -q**3 + 12*q**2 - 37*q - 3. Let n be w(4). Let j(z) be the first derivative of 2*z**2 + 12*z + 5. Let y be j(-9). Which is bigger: y or n?
n
Suppose -c = 3*a - 14, -1624*c + 1627*c = -3*a + 54. Is c >= 9?
True
Let i(g) = -7*g**2 + 498*g + 215. Let a be i(76). Are -2367 and a nonequal?
True
Let s = -1105868/257 + 4303. Suppose 496*p - 27 = 498*p + 5*t, -7 = 2*p + t. Which is bigger: s or p?
s
Suppose -7*z + 10*z = 5*y - 1170, -3*z - 702 = -3*y. Let v = 301 - y. Does 67 = v?
True
Suppose 0 = -2*g - 268 - 60. Is -171 less than g?
True
Let b be 41837/30 + 19/(-114). Let c = 1400 - b. Which is bigger: 5 or c?
c
Let w = -2566 - -2629. Suppose -5*o - 10 - 5 = 0, 128 = 2*p - 2*o. Is w not equal to p?
True
Suppose 7*s - 8*s - 3 = 0. Let d(h) = -14*h**2 + 5*h + 6. Let z be d(-2). Let v = z - -54. Are s and v equal?
False
Let s = 139 - 171. Let r = -30.66 + -0.34. Let c = s - r. Which is greater: c or 13?
13
Let v be (51/26 - 1) + -1. Let a be 10/3*18693/(-155). Let z = -401 - a. Which is smaller: z or v?
v
Let p be (-15 - 38123/(-2289)) + (-2)/21. Are 3 and p non-equal?
True
Let z = 349 + 1892. Which is smaller: z or 6722/3?
6722/3
Let g be (-32)/(-80) - (-1 + 592/(-20) - -2). Which is greater: 436/15 or g?
436/15
Let h be (-16)/74*26/4. Let d = 676843 + -676843. Do d and h have different values?
True
Let z = 13/6 + -103/42. Let u be (-5)/(-3) - (-426)/(-261). Which is smaller: z or u?
z
Suppose 3*h = 2*o + 174, -2*o + 5*h 