). Suppose 0 = i - 2 + 7. Let t = i - -10. Which is smaller: t or o?
o
Let v = 2.9 - 1.2. Let u = v - -1.3. Let h = u + -2.9. Is -18 at most as big as h?
True
Let p be (-2192)/(-660) + -2 + 0. Let h = -2/165 - p. Let y = 34/21 + h. Which is bigger: y or -2?
y
Let p(y) = -3*y**3 - y + 1. Let n be p(1). Let s = n + 2. Let w = 59833/15 - 3989. Which is greater: s or w?
w
Let l be (-8)/(-2) - (-796)/(-12). Let j = -65 - l. Is j less than -4?
False
Let n(h) = h + 12. Let f be n(-6). Let v = 43 - 24. Suppose g + 0*q = -3*q + v, 4*q = 4*g - 12. Which is greater: f or g?
g
Let j be (14/(-35))/(-2 - 21/(-5)). Let a be (-40)/100 - (-6)/(-110). Let t = a - -47/55. Is j bigger than t?
False
Suppose 5*x = 3*c + 26, -x - 18 = -5*x + c. Suppose -2*q - x + 6 = 0. Is q at least as big as -5?
True
Let w be (-20)/(-35)*(-1)/6. Suppose 6 = -7*i + i. Is i <= w?
True
Let b be 4/(-6) - 5/(-15)*1. Let w be 7 + (-8 - -3) + 1. Suppose w*a = a. Is a at most b?
False
Let m = -10 + 53. Suppose -o = s - 15, m + 13 = 4*s + 2*o. Which is greater: 10 or s?
s
Let m(d) = d**2 + 1. Let g(o) = o - 8. Suppose -2*p - 5*w - 35 = -7*p, 2*p = -2*w + 18. Let z be g(p). Let b be m(z). Which is bigger: b or 3/2?
3/2
Let n = -1/3 + 11/6. Suppose l + 3*l - 4*w + 40 = 0, 5*l = 3*w - 46. Let f be (9/(-6))/(6/l). Do n and f have the same value?
False
Let h(y) = 4*y**2 - 25*y + 88. Let q be h(8). Is 145 smaller than q?
False
Let l be 2 - (-3)/(-24)*22. Let p be (2/7)/(451/(-287)). Which is greater: p or l?
p
Let p be ((-2)/4)/(5/(-20)). Let a be p - (2 + 6/(-69)). Is 0 greater than a?
False
Let d be -9*(-12 + (-24437)/(-2037)). Is d at least as big as -1?
True
Let l(b) = -15*b - 660. Let t be l(-44). Is 2046 less than or equal to t?
False
Let y(j) = 11*j - 244. Let z be y(18). Is -357/8 != z?
True
Let l(g) = g**3 - 4*g**2 + 9*g. Let k be l(3). Is k at most 10?
False
Let g(m) = 2*m**2 - 3*m - 8. Let j be g(4). Suppose -13*o + j*o = 8. Let s(y) = -2*y - 14. Let l be s(o). Is l less than or equal to 7?
True
Let l = -5 - -6. Let q = -0.21 + -0.15. Let d = -0.4 - q. Is d smaller than l?
True
Let o be (-20)/14 - (2 - 5). Let i = 31/91 - o. Which is greater: -2 or i?
i
Let x = -132 - -124.3. Which is greater: x or 1/3?
1/3
Suppose a = -0*a + 5*q + 43, 4*q = -5*a + 215. Suppose 40*g - 3 = a*g. Which is greater: g or -4/5?
-4/5
Let z = -14902 - -14618864/981. Do 0 and z have the same value?
False
Let c be 0*(-1)/(-2)*1. Let o = -276 - -3317/12. Which is smaller: c or o?
c
Suppose 2*h = 4*h - p + 6, 4*h + 3*p + 22 = 0. Let n be ((-36)/(-45))/((-6)/10 - -1). Let y(m) = m**2 - 5*m + 5. Let z be y(n). Which is greater: z or h?
z
Let x = -0.1397 + 87.2397. Let z = -87 + x. Which is greater: z or 4?
4
Let o be 18/(-27)*9/(-2). Suppose -o*u - 5*c + 1 = 0, -u - 3*c - 3 = 2*u. Let a be 3 - (u - 7*-2). Is -7 equal to a?
False
Let d be (6 + -6)*(1 - 0). Suppose d = -n + 11 - 3. Let v(c) = c**3 + 8*c**2 + 6*c - 31. Let h be v(-4). Is h at least as big as n?
True
Let b = 150 + -87. Let s = 1 + b. Is 1 != s?
True
Let x = -2/81 - -56/81. Let i = 1.4 + -30.4. Which is greater: i or x?
x
Let u = -445 + 810. Which is smaller: u or 363?
363
Let b = -1475 - -1476. Which is bigger: -4/293 or b?
b
Let w = -4371 - -4371. Let n = 2 + -3. Let f be (2/(-4))/(n/(-6)). Which is smaller: w or f?
f
Let t(f) = 6*f**2 - 3*f + 17. Let b be t(6). Is 215 < b?
False
Let s be -2*6/12*(-6)/(-1). Let i = 26 - s. Is 31 != i?
True
Let a be 4*21/(-24)*(22 + 0). Is a at least as big as -78?
True
Let z = -135.5 + 197.5. Let m = 0.2 + -0.3. Which is greater: z or m?
z
Let l = 24 + -17. Let k(s) be the second derivative of s**5/20 - s**4/2 - s**3 - 4*s**2 + 59*s. Let u be k(l). Is -4/3 <= u?
True
Let y be 3 + 4 + 756/(-96). Suppose 4 = -5*j + 2*c, 3*j + c - 2 = j. Which is smaller: j or y?
y
Let g = 8868777/28480 + -21/5696. Let t = 309 - g. Is -3 > t?
False
Let i = -180 - -358. Suppose 174*n - 28 = i*n. Is -9 <= n?
True
Let u = -3.3 - -2.45. Let j = 0.8 - 0.95. Let x = u + j. Is x greater than or equal to -2/19?
False
Let j be -3 + (2/7)/((-4)/(-28)). Let y be (3/(-126))/(4/64). Are j and y non-equal?
True
Let n(z) = z**2 + 12*z - 188. Let h be n(-21). Let d(l) = l**2 - 3*l - 5. Let x be d(4). Are h and x equal?
False
Let v(f) = -f - 3. Let c be 7/((-21)/(-24)) - 0/(-3). Let z be v(c). Which is smaller: z or -49/4?
-49/4
Let x(z) = -2*z**2 + 0*z - 31*z + z. Let k be x(-15). Does 8/23 = k?
False
Let g = 37 + -36.83. Let q = g - 0.17. Which is bigger: 4 or q?
4
Suppose -3 = -3*y + 9. Suppose -y*h = -5*r - 25, 0 = 3*h - 3*r - 0*r - 21. Which is smaller: 9 or h?
9
Suppose 0*i + 3*i - 4*z = 44, 3*i + 5*z = 80. Suppose x + 4*x = i. Suppose -m + x - 9 = 0. Is -7 bigger than m?
False
Let j = -0.02 - -1.02. Let v = -0.3 + j. Let n = -8.18 - -8.38. Which is smaller: v or n?
n
Suppose -4*n = 3*x - 20, 3*n - x + 15 = 6*n. Suppose n*a + 77 = 12. Let r = 14 + a. Which is bigger: 6/5 or r?
6/5
Let o = 696 - 680. Is o greater than 16?
False
Let m be (1 - 3) + (3 - -4). Let w = 131 + -131.4. Is w equal to m?
False
Suppose -15*x - x = -3344. Is 209 >= x?
True
Let g = 311 - 283. Are 516/19 and g equal?
False
Let c = 172 + -200. Let m = -211 - -183.2. Let x = m - c. Which is smaller: x or -7?
-7
Let f = -3 + -1. Let m be 6 - ((-4)/4 - f). Suppose 15 = -5*s + 3*i, 3*i = -2 + 17. Is m not equal to s?
True
Let t be 3/(-7) + 20/14. Let g be (((-20)/6 + 3)*1)/t. Which is greater: 25 or g?
25
Let d(u) = -10*u - 18 - 12*u**2 + 13*u**2 - 6*u. Let x be d(17). Is x bigger than 5/17?
False
Let t be 84/4*40/(-75)*1. Which is smaller: t or -12?
-12
Suppose 2*c - c = -3. Let h be (1/c)/(35/15). Suppose 5*b - b - 11 = -5*n, -2*b + 13 = 5*n. Is h less than or equal to b?
False
Let o = -2400/11 + 218. Let t = 0.2132 - 0.0832. Which is smaller: t or o?
o
Let o be (-404)/208 + 8/(-26). Are o and -3 equal?
False
Let h = -5477/23 + 238. Suppose 0*f + 3*f = 0. Is h not equal to f?
True
Let y(t) = -2*t**3 - 4*t**2 + 6. Let d be y(-2). Suppose -2*b = -0*b - 24. Let s be d/12*b/(-2). Is 0 >= s?
True
Let m = -99 + 34. Let d = m - -76. Is -0.1 at least d?
False
Let j = -20 + 10. Suppose -13*c + 35 - 152 = 0. Which is smaller: c or j?
j
Let h = 3.91 + 0.29. Let n = h - 4. Let b = -9 - -9. Is b less than or equal to n?
True
Let k be ((-4)/(-51))/(-2*21/(-819)). Are 3 and k unequal?
True
Let l(s) = 8*s + 223. Let z be l(-35). Is z smaller than -62?
False
Let f(l) = 13*l - 121. Let h be f(-15). Which is greater: -631/2 or h?
-631/2
Let k = 21 - 13. Let i be (-20)/k*(-6)/5. Suppose -x + 4 = i*x. Which is smaller: -2/5 or x?
-2/5
Let v = 0.01 - -0.39. Let z = -0.41 + v. Let k = -55 + 56. Which is greater: k or z?
k
Let r(s) be the third derivative of s**5/60 - 5*s**4/12 - s**3/6 + 4*s**2. Let m(a) be the first derivative of r(a). Let d be m(5). Which is smaller: d or -1/8?
-1/8
Let v = -776824714/392222325 + -16/475421. Let h = 48/25 + v. Is h not equal to 1?
True
Let g = -23.1 - -22. Let s = g + 2.4. Let v = -0.3 + s. Is -0.04 <= v?
True
Suppose 8*t - 4*t = -5*v + 4, -5*t = 2*v + 12. Let c = 14 + -8. Suppose -v*y + 2*y + 4*j = -4, -j + c = 3*y. Is y != 7/4?
True
Suppose 240 + 420 = 11*f. Suppose -11*k - f = -15*k. Is k greater than 16?
False
Let w be 7 - (60/(-140))/((-2)/28). Which is smaller: w or 310?
w
Let u = 7 + -7. Which is smaller: u or -2/35?
-2/35
Let m be (1312/(-7))/(111/(-518)). Is m > 876?
False
Let w(s) = 2*s**3 - s**2 - s. Let z be w(2). Suppose -425*a + 404*a + 210 = 0. Is a smaller than z?
False
Let l be 3*(4 + (-105)/27). Which is greater: 612 or l?
612
Suppose 5*g + 0*g - 15 = 0. Suppose -4*m = -47 + g. Are m and 9 equal?
False
Suppose 2*g + 0*g - 4 = 0, -4*i + 4*g = -268. Which is smaller: 71 or i?
i
Let w = 374/249 + -14/83. Which is smaller: w or 1?
1
Let y = 1.962 + -23.91. Let b = y + -0.052. Which is greater: b or -1/4?
-1/4
Let s = -87 - -351/4. Let w = s + -73/12. Let a = 462 - 468. Which is smaller: a or w?
a
Suppose 5*u = 2*u + 12. Let n(g) = g**2 + 6*g - 189. Let d be n(11). Is u greater than d?
True
Let a = -1368 - -47877/35. Which is greater: 0 or a?
0
Let a = -356 - -358. Suppose 0 = -3*g - 2*g - 5. Is g < a?
True
Let z = 2/4445 - -2466959/35560. Which is smaller: z or 69?
69
Let a = 1.87 - 5. Let i = 0.13 + a. Is i at least as big as -13?
True
Let l = 145955