1?
-0.1
Let i = -4.565 - -0.855. Let r = i + 80.71. Is -2 at most r?
True
Let i = 0.12 + -0.069. Let f = -0.951 - -2.9. Let p = f + i. Which is smaller: p or -4?
-4
Suppose 0 = -12*v - 50 + 2. Let l be ((-2)/12)/(v + 536/132). Which is smaller: -3 or l?
-3
Let g = 1 - -13. Let z be (2/15 + 0)/(106/159). Is g greater than z?
True
Let g be ((-112)/(-336))/(((-3)/(-9))/(-1)). Let h be (((-2)/(-26))/1)/(-5). Which is greater: h or g?
h
Let q(w) = -w**2 + 6*w + 44. Suppose -3*s + 6 = 0, 3*v + 0*v = -3*s + 33. Let u be q(v). Which is greater: 14 or u?
u
Let u be (-36)/26 + ((-144)/6)/(-12). Let g = 4 + -1. Suppose 0 = 5*v - 15, -3*d - 3 = -g*v + v. Which is greater: u or d?
d
Let b = -2486 + 2491. Is b bigger than 200/33?
False
Let s = -261615 + 261617. Let j = -0.039 - 0.801. Which is smaller: j or s?
j
Let z = 11224 - 19608322/1747. Is z bigger than 0?
True
Let l(z) = -3*z - 5. Let k be l(-2). Let i(d) = -3*d**3 + d - 1. Let m be i(1). Let t be 10/(-750)*m/(-1). Are k and t equal?
False
Let d = 3253.22 + -3199. Let p = -54 + d. Which is smaller: p or -1/4?
-1/4
Suppose 3*y = 5*b + 694, -1148 = 7*y - 12*y + 4*b. Which is bigger: 238 or y?
238
Let w(i) = -7*i**3 - 8*i**2 - 23*i - 23. Let n(r) = -4*r**3 - 4*r**2 - 12*r - 12. Let c(z) = 5*n(z) - 3*w(z). Let o be c(-3). Is o greater than -65/8?
False
Let s = 10 + -11.1. Let r = s - -0.9. Let w = -6.326 - -8.526. Which is smaller: w or r?
r
Let m be (15 - 5744/384)*2/(-158). Which is smaller: -2 or m?
-2
Suppose -13*y = -3*y - 100. Suppose y = 3*c + 2*o - 2, -4*c = 4*o - 20. Which is greater: 17/5 or c?
17/5
Suppose 0 = 3*q + 21*q - 120. Suppose -4*t - q*y = -26 + 46, 5*y = -2*t - 20. Which is bigger: 16/23 or t?
16/23
Let t = -5.21978 + 0.01978. Do 18 and t have the same value?
False
Let k = 2500 - 2364. Is k at least 823/6?
False
Let x = -4936 + 3210. Let l be ((-19)/(-8)*-1)/((-2)/x). Let q = -2047 - l. Is q > 4?
False
Let t be (-2 + 826)*(18/4 + -5). Let c = 411 + t. Is 3/260 less than c?
False
Suppose 149 = 2*c + f, -5*f + 4*f = -5*c + 376. Suppose -13*q - 133 - c = 0. Which is smaller: -120/7 or q?
-120/7
Let s be 32/12*105/28. Suppose 4*n = w + s, -3*n + 3*w + 14 - 2 = 0. Suppose 2*v + 3*u + 19 = -n*v, 5*v - 3*u = 10. Which is bigger: v or -1/73?
-1/73
Let k = 28650 + -28649. Do k and 7/702 have the same value?
False
Suppose -2*j + j + 23*j = 28446. Which is greater: j or 1294?
1294
Let x(r) = -13*r**2 + 4*r + 11. Let v be x(-3). Let u = -38 - v. Suppose -5*a = -9*a + u. Is 20 at most as big as a?
True
Suppose 2*p + 114 = 3*c - 106, 0 = 5*c + p - 384. Which is smaller: c or 86?
c
Let h be -1*(-264)/(-330)*(3 + -2 + 179). Which is bigger: h or -152?
h
Let h = -20141543/10140 + 41/3380. Let b = -1957 - h. Which is smaller: 28 or b?
28
Let c be 4*8/(-32)*(0 + 5). Let n = -9 - -17. Let j = -13 + n. Does j = c?
True
Let j = -38/16149 + -36808/80438169. Which is smaller: j or 1?
j
Let d = -17 + 21.53. Let z = -4.32 + d. Is -0.01 equal to z?
False
Let r(h) = h**2 + 26*h - 71. Let u be r(3). Which is smaller: 33 or u?
u
Let p(m) = 9*m + 327. Let k be p(-35). Suppose -z = -3*z + 4. Suppose k = 10*y + z. Is y smaller than -3?
False
Let x be ((-2464)/55)/(-16) + -3. Is 598 equal to x?
False
Let l be ((-5556)/(-202))/(275/(-20)) + 2. Which is bigger: l or -1?
l
Let u be (100/(-250))/(3 - 18834/(-15)). Which is greater: -1 or u?
u
Suppose -3*u - 2*u = -20. Suppose 0 = u*v + g + 17, g = -2*v + 2*g - 1. Let t(y) = -10*y + 703. Let s be t(71). Which is smaller: s or v?
s
Let h = 20987 + -20996. Let n be (-1)/((2/(-14))/(-1)). Is n > h?
True
Let l = 13236 + -13236. Which is bigger: -4/103 or l?
l
Let b be (649/(-1089)*-12)/((-4)/(-18)). Which is greater: b or 32?
b
Let m = -1/64407 - 844429/1180795. Is m at least -2?
True
Let m be -37*-4*1/(-4). Let b = m + 53. Suppose -10*a + b = 46. Is -22/5 bigger than a?
False
Let j be -2 + (-3)/(-12)*(-19 - -26). Which is greater: j or -2.88?
j
Let a be -6 + 4 + (-15336)/24. Which is smaller: a or -639?
a
Let o be ((-1)/10)/((-274)/(-685)). Is o greater than -574?
True
Let i(u) = 336*u + 78. Let h be i(-8). Let x = -689041/264 - h. Which is bigger: x or 0?
0
Let m = -1901 + 1337. Let y = -720 - m. Which is bigger: y or 3?
3
Let k = -160.0943 - 0.1057. Let r = 113 + k. Let o = 47 + r. Is o less than or equal to 28?
True
Let j be (-626)/(-44) + 858/(-44) + 18. Let b be 7/(-35) - (-66)/5. Does j = b?
False
Let m be 1 - (13133/10557 - 2/9). Let b = m + 1285/459. Is b at least as big as 4?
False
Let l(c) = -146*c - 7987. Let h be l(-55). Which is smaller: 489/11 or h?
h
Suppose 3881 = -3*n - 5*i - 9089, 2*n + 8654 = 4*i. Is n bigger than -0.1?
False
Let l = 85.6 - 86.7. Is -2/13 bigger than l?
True
Let z(j) = -4*j**2 - 7*j**2 + 12*j**2 + 7 + j. Let u(p) = p + 4. Let t(v) = 5*u(v) - 3*z(v). Let h be t(1). Is h bigger than -1?
False
Suppose -4 - 35 = c. Let i = 29 + c. Let g be i*((-125)/(-65) - 2). Are g and 0 equal?
False
Let a = 3 - 2.9. Let k = 12.008 - -7.992. Is k at least a?
True
Suppose 38*d = -348 - 146. Which is greater: d or 6?
6
Let c = 0.21 - 22.61. Let z = c - -14.5. Let u = z - 0.1. Which is greater: -1/2 or u?
-1/2
Suppose -3*m - 16 = 407. Let p be (134/(-2))/(114/(-266)). Let y = p + m. Is y bigger than 15?
True
Let n be (-18096)/130*(-20)/6. Is 464 at most as big as n?
True
Let g be 20/25*(-5)/(-2). Let d be (-141)/21 + (-8)/28. Let n = d + g. Which is smaller: n or -3?
n
Let s = 149.7 - 146. Let y = 3.6 - s. Which is smaller: y or -27/20?
-27/20
Let y be ((4 - -89) + -1)/2. Let d(h) = 8*h**2 - 4*h**3 + 50*h + 3*h**3 - y*h - 24. Let x be d(8). Are x and 47/6 non-equal?
True
Let x = 7958 + 3007. Let y be x/153 - 8/(-6). Which is greater: y or 76?
76
Suppose 4*g = 4*i + 96, 3*i - g + 84 = -i. Let q = -3 - i. Suppose 0 = -3*x - 3*a + 48, -4*x + 4*a + 85 = a. Is x less than q?
False
Let a = 4/2461 - 7861/3322350. Which is smaller: 0.03 or a?
a
Let w(c) = -c**2 + 2*c + 35. Let x(q) = q**2 - 9*q + 10. Let v be x(10). Let o be (9/(-18))/(2/v). Let s be w(o). Is s at least as big as 1/125?
False
Suppose 4*l = -b - 4*b + 12, 0 = b - 4. Let w be 4/(-20)*(l + 0)*-2. Is w at most 2?
True
Suppose -3*l + 4*h - 85 = 0, -2 = 2*h - 4. Let g be ((-9)/(-24))/(1/4)*-22. Is g < l?
True
Let y = 876.5 - -399.7. Which is smaller: 1 or y?
1
Let m = -0.09553 + -5.90447. Let t = 7 - 11. Which is smaller: m or t?
m
Let n = -6442.8 + 6446. Is 10/3 at least as big as n?
True
Let w = -308.0515 + 0.0515. Let v = w - -246. Is 1 smaller than v?
False
Let m = 19096/13 + -1354282/923. Let p = 48546/29039 - m. Is p > 1?
False
Let c be ((-17434)/(-2490) + 1 + -8)*5. Is c > 0?
True
Let v(r) be the third derivative of r**5/30 - 5*r**4/6 + 5*r**3/3 + 27*r**2. Let c be v(9). Which is bigger: -10 or c?
c
Let i(y) = 5 + 0 + 30*y**2 + 12*y + 3 - 11*y**3 + 13*y**3. Let l be i(-15). Is -173 <= l?
True
Suppose 5708375*g + 84 = 5708372*g. Let h(m) = -25*m**3 - 2*m**2 + 2*m - 1. Let s be h(1). Which is smaller: g or s?
g
Let n be 0/(5 + -5 + -4). Let f = 167562 - 1347617/8. Let y = -889 - f. Which is greater: n or y?
y
Let q(g) = 2188*g - 4377. Let y be q(2). Which is greater: -2/81009 or y?
-2/81009
Let a = -1260.9 + 1353. Let i = a - 83. Which is bigger: 0 or i?
i
Let m = -6250.9 + 6251. Which is smaller: -25.7 or m?
-25.7
Let y be (-2)/(-12)*(497 + -8). Suppose 39*k - 5*s - 440 = 34*k, 2*s + 10 = 0. Which is smaller: y or k?
y
Suppose 30 + 59 = z - s, -5 = -5*s. Let v(p) = -147*p**2. Let y be v(-1). Let i = y + z. Is i >= -56?
False
Suppose -n + 14 = -7. Let q = 15 - n. Let c be (-3)/6*9/q. Which is greater: -0.1 or c?
c
Let c(i) = -i**2 - 20*i + 100. Let v be c(-24). Suppose 5*j + 99 = q, v*q - 126 = j + 232. Are q and 90 non-equal?
True
Let u be -18 + 204/8 + -2. Let c = -0.1 + 0.1. Is c less than or equal to u?
True
Let c(r) = -2*r**3 - 58*r**2 + 112*r - 360. Let b be c(-31). Let q = 8 + -3. Suppose q*n + 14 = 84. Is b < n?
True
Suppose -465 = -5*d + 10*d. Suppose -18*s + 23*s = -y - 460, -289 = 3*s - 2*y. Is s != d?
False
Let u be ((-1)/(-26406))/(562/843). Is u at most as big as 0?
False
Let c be (-2)/(-6) + ((-8)/(-576))/((-8)/453). Are 0 and c unequal?
True
Let v be 90 - ((-6)/(-3) + 2). Suppose -v = 8*t - 10*t. Let z(p) = 2*p**2 - 2*p + 4. Let b be z(-4). Which is smaller: b or t?
t
Let p = -52 + 