*s, 3257 = -262*u + 263*u - 2*s. Which is greater: u or 3262?
u
Let g = -160/143 + 14/11. Let v = g + -23/65. Which is smaller: v or 8?
v
Let x be (2/(-548))/((-2)/(-4)). Let a = -8.3086 + 9.3086. Is a at least x?
True
Let h = 94 - 67. Let i be -1 + 0 + h + -18. Let n be -4 - (-8 + -4 + i). Which is greater: 4 or n?
4
Let q be -17 - 872*(-4)/16. Let v = 98 + 103. Is v at most q?
True
Let x be 2 + (0 - 82) + 2. Suppose -394*w + 273*w - 9559 = 0. Which is smaller: x or w?
w
Let q = -231 - -231. Suppose q = -4*j + 2*j - 8*j. Is j at least -2/3?
True
Let k = -3707.062 - -3707. Is k smaller than -20?
False
Let w = 1225881/37 + -33133. Which is smaller: w or -2?
-2
Let j = 2.9495 - 2.9495. Is -2388 < j?
True
Let h = 39348724/107009 - -2/15287. Which is greater: h or 367?
h
Suppose 238 = w - 3*w. Let z = w - -957/8. Let k(t) = t**3 + 15*t**2 + 13*t - 13. Let c be k(-14). Is z bigger than c?
False
Let l = -8098 - -8004. Which is smaller: l or 0.134?
l
Let j = 8404.4 + -8404. Is j not equal to -16?
True
Suppose 2*i + z = 1414 - 509, 0 = -5*z - 15. Is 453 <= i?
True
Suppose 6*y - y - 15 = -10*y. Suppose -581 = -4*a + 391. Is y at least as big as a?
False
Suppose 35*m + 25755 = -7110. Let y = m + 892. Which is smaller: y or 3/8?
y
Let j be (-2 + 4)*(-116319)/58 + -3. Is -4014 smaller than j?
False
Let m = 6940 - 6886. Let z = 2 + -2. Which is smaller: m or z?
z
Let i be (-4 - (-22085)/(-15)) + -9*(-3)/(-9). Which is bigger: i or -1480?
i
Let c = -12937 + 12834. Let s(j) = -12*j**2 + 2*j - 1. Let l be s(3). Is c <= l?
True
Let q = -3306/7 - -380176/805. Is 1.6 < q?
False
Let i = 39 - 38.59. Let o = -1.31 - -136.31. Let l = o + -135.1. Is l smaller than i?
True
Let b = -120 + 68. Let o = b + 78. Let w = o + -32. Which is smaller: -9 or w?
-9
Let k(a) be the first derivative of -a**4/2 + 8*a**3/3 - a**2 + 12. Let i be k(3). Suppose 2*m = i*m + 10. Which is bigger: 2/27 or m?
2/27
Let s be (2/6)/((-4)/12). Let n = -1699783/5 + 6506771309/19140. Let r = -5/116 + n. Which is greater: s or r?
r
Let a be (8 - 4/(-2)) + -2. Suppose 5*z - 3*m - 15 = 0, 3*m - 41 = -3*z - a. Let r be (3 + -2 - -1) + (-8)/z. Is 0.11 greater than or equal to r?
False
Let u(v) = 5*v**2 + 2*v - 57. Let o be u(7). Which is smaller: o or 208?
o
Let s = 0.91 + -0.9. Let j = -0.01 + s. Let a = -2396 - -2391. Which is smaller: j or a?
a
Let g = -155 - -94. Let j = g - -66. Which is smaller: 5/3 or j?
5/3
Let g(a) = a**3 + 7*a**2 - 10*a - 12. Let n be g(-8). Let y be 3*3/18*n. Let x be 2/(-24)*(16 - (11 + 17)). Which is smaller: y or x?
x
Suppose 0 = -8*w + 188 + 172. Let t be 1 + 2 - 2 - 2. Let k be 1/((-3)/129)*t. Which is smaller: k or w?
k
Let u be (-4)/(-6)*-6 + 7. Suppose -4*f + 7 = 3*o, -u*o + 8 = 2*f + 3*f. Which is smaller: 6/91 or o?
6/91
Let g = 8.397 + -8.3. Let j = -0.189 + -3.914. Let n = j - g. Is n at most 0?
True
Let u be (362/2)/(-1 + -2 - -4). Let b = -127 + u. Is b not equal to 54?
False
Let j be (-75)/300 + 1273/4. Suppose j + 419 = -11*m. Which is smaller: m or -63?
m
Let x(n) = 17*n + 152. Let l be x(-9). Let j be 9 + (-39)/156*0/l. Are -11 and j nonequal?
True
Let l = 12637/107270 + -1/6310. Which is bigger: l or -43?
l
Let y(z) = 7*z - 10. Let i(w) = -13*w - 103. Let v be i(-8). Let p be y(v). Let k(q) = -q**3 + 9*q**2 - q + 13. Let j be k(9). Which is smaller: p or j?
p
Let h = 45431/12 + -15763/4. Is -155 != h?
True
Let i = 11995 + -12145.05. Which is smaller: i or -2/7?
i
Let o be ((-1130)/678 + (-782)/(-12))/(18/20). Which is greater: 70 or o?
o
Let v(b) be the second derivative of b**4/12 - 2*b**3/3 - 2*b**2 - 4*b. Suppose -u + 0 = -5. Let a be v(u). Which is bigger: 2/45 or a?
a
Let q be (104/20)/(2*(-5)/650). Let w = -5748/17 - q. Which is bigger: w or 1?
1
Suppose -2*q - 3*a + 68 = 0, -9*a + 136 = -22*q + 26*q. Is q <= 15?
False
Let v be (-94)/36 + -3 - (-9)/(-54). Let c = 451/36 + v. Is c < -1/3?
False
Let h be ((-8)/(-6))/((-10)/15). Let u be (35/14)/(0/h - 1). Is -2/31 at most as big as u?
False
Let l = 98 + -97. Let w = -65 + 125. Let d = -18 + w. Is d greater than l?
True
Let m(l) = -l - 4. Let h be m(-6). Suppose 368 = -h*p + 10*p. Suppose -p = -4*v + 3*b, -v - 5*b - 42 = -5*v. Which is greater: v or 12?
v
Let i = 14593 - 14593.01. Is i < -582?
False
Let o = -274 + -10. Let q = 283.99 + o. Which is smaller: -3 or q?
-3
Let u = -688 - -686. Suppose -52 = 2*o - 3*o. Let m be (12/(-9))/(o/(-18)). Is m less than u?
False
Let s = -59/448824 + 5993625661/20713676424. Let j = -40/133 + s. Which is smaller: 1 or j?
j
Let v(l) = -l**3 - 5*l**2 + 8*l + 12. Let u be v(-6). Let y be 10/(30/(-9)) - 878/9. Let f = y - -100. Is u greater than f?
True
Suppose 0 = -4*h + 5*f + 741, -4*h + 3*f = h - 923. Let w be ((-70)/(5 - 12) - 9)*185. Which is smaller: w or h?
h
Let s(m) = m**3 + 34*m**2 - 12*m - 237. Let d be s(-34). Which is greater: 341/2 or d?
d
Suppose 82*g = -3286 + 580. Which is greater: -356/11 or g?
-356/11
Suppose 0 = -4*g + 5*l - 31, -2*l = 7 + 3. Let r(w) = -23*w - 321. Let d be r(g). Is 41/3 less than or equal to d?
False
Let j = 28434 - 29188. Is -748 >= j?
True
Let r = -0.291 + 0.005. Let p = 0.386 + r. Which is smaller: p or 8/15?
p
Suppose -27346 - 45054 = -23*b - 20604. Which is smaller: b or 2251?
2251
Let u(p) = -p + 43. Let t(g) = -g + 84. Let a(w) = 4*t(w) - 7*u(w). Let i be a(-12). Do i and -13/6 have the same value?
False
Let w be (-1 - -2)/(-3 - (-160)/30). Which is greater: w or -639?
w
Let p be (-5)/(-6) + (-5371)/6419. Do 1 and p have the same value?
False
Suppose 163 - 35 = h. Let p be ((-7)/(28/12))/(6/h). Let f = p + 58. Is -7 less than or equal to f?
True
Suppose 3*s + 9 = j - 6, 0 = -5*j - 4*s - 20. Suppose 0 = -j*g - 5*g - c - 42, -5*g - 2*c = 39. Let m be (-1 - -1)/(11 + g). Which is smaller: m or -1/4?
-1/4
Suppose 5*m + 37799 = 47*v - 43*v, 2*v = 4*m + 30244. Is -7565 >= m?
False
Suppose 0 = 7*o - 60 - 1788. Let i = o + -340. Is i bigger than -153/2?
True
Suppose -2*u - 13 = 3*t, -4*t + 4*u - 5 - 19 = 0. Let z be (-4 - t)/((-1)/(-2)*-1). Let l = -3.9 - -5. Is l smaller than z?
False
Let w(q) = 330*q**2 + 154*q + 299. Let v be w(-2). Is 1312 smaller than v?
False
Suppose -3*u + 4*j + 28 = -6, 3*u + 4*j - 98 = 0. Let q be 42/9*(-1 - 2). Let s be 1*(-7)/(q/48). Is s >= u?
True
Suppose -4*k - 1623 - 2321 = 0. Is -986 less than or equal to k?
True
Suppose 0 = 48229*d - 48205*d + 1992. Which is smaller: d or -79?
d
Suppose 0 = k - 3*c + 19, 0*k = 3*k - 3*c + 63. Let u be (0 - 35)*(k/(-10) + -5). Let g = 0.094 - -0.006. Which is smaller: u or g?
g
Let o = 22 - 33. Let n = -41 - o. Let p = 39 + n. Which is smaller: 10 or p?
p
Suppose 1423*x = 1445*x - 3916. Which is greater: 2318/13 or x?
2318/13
Let a = -4242 + 4240.4. Let i = 5 + -3. Let x = a + i. Which is smaller: 2/11 or x?
2/11
Let s(m) = m**2 - 7*m - 17. Let y(a) = -9*a - 102. Let k be y(-11). Let j be s(k). Which is smaller: 12 or j?
12
Let v = 342 + -343. Which is bigger: v or -1/2711?
-1/2711
Suppose 5*i - 2*a = a + 505, -3*i + 303 = -a. Suppose -5*x + i = -4*m, -3*m + 0*x + 5*x = 77. Is -22 greater than m?
True
Let y = -1189.7 + 1160.7. Let f = -7 - -5. Which is smaller: f or y?
y
Suppose 44115 + 116318 - 36214 = 17*o. Which is smaller: o or 7308?
o
Let b = 1 - 1. Let h = 855 + -579. Let p = -304 + h. Which is greater: b or p?
b
Let a be (-20)/55 + (-6708)/(-6831). Is a > 2?
False
Let a be (-2)/4*2*-1. Suppose 5*x - 32 = x - 4*p, x - p = 2. Suppose -c - x*b = -2*c, -4*b = 5*c. Which is smaller: a or c?
c
Suppose -5*k + 135 = 2*n, 35*n = 4*k + 28*n - 108. Let h be 4 - -15 - (0 - -1). Suppose y + 3*v + v = h, -2*v = 3*y - 14. Which is smaller: y or k?
y
Let f be (52/78)/(5/(-2055)). Which is smaller: -0.5 or f?
f
Suppose a = b + 1073, 23*a = -2*b + 18*a - 2118. Which is smaller: b or 0.1?
b
Suppose 22*n = 20*n - 156. Let j be (-3030)/n + -1 + 15/13. Let q be (-92)/12 - (-3 - j/(-9)). Is q != -8?
True
Let b be 5/(-2)*(-80)/942300. Which is smaller: b or 0?
0
Let k = -1/775 + -12391/6975. Let q = 5 + -7. Which is greater: q or k?
k
Let q be (-3)/(-60)*24/(-14). Let t = -215 - -217. Let i be t/12 - (-77)/330. Is q at most i?
True
Let w(z) = 3*z**2 + 3*z. Let x be w(-2). Let t be (-6639)/1512 - x/(-16). Let f = -37/9 - t. Which is bigger: f or 1?
1
Let l = -113 - -113. Suppose s 