s bigger: a or -87?
-87
Let n = -6.007 - -0.007. Let p = -6.2 - n. Let w = -1143 - -4607/4. Which is greater: p or w?
w
Let k = -17.065 + 0.065. Let s = 16.97 + k. Let i = 0 - s. Which is smaller: -5 or i?
-5
Let f = -79 + 218. Suppose 5*b + 2*s = 589, f = b - 4*s + 8. Let i = b - 120. Which is greater: 0.04 or i?
0.04
Suppose 6*l - 180 = -3*l. Let b = l - 18. Suppose -b*d - 11 + 15 = 0. Are d and 0.6 equal?
False
Let s = 44337.04 + -44337. Do 453 and s have the same value?
False
Suppose -21*q = 359445 - 359466. Which is bigger: 19/968 or q?
q
Suppose 0 = -5*n + 5*z + 1130, -1166 = 788*n - 793*n - z. Is 231 less than n?
True
Let k(m) = 2*m - 170 + m + 191. Let n be k(-16). Let x = 3 + -30. Does n = x?
True
Let r = -2832 + 2570.6. Let n = r + 261. Which is bigger: n or 32/5?
32/5
Suppose 0 = -3*a + 5*o - 61 + 6, 59 = -3*a + 4*o. Suppose 12*s + 606 = 150. Which is bigger: s or a?
a
Let c be 8/(-12)*(-3)/(-7). Let d = 370.58 - 370.5. Is c bigger than d?
False
Suppose 5*u - 3*z + 1 = 4*u, u + z = 3. Let n(b) = -1 - 3 + 8 - 8 + u*b. Let r be n(5). Is r less than or equal to 9/2?
False
Suppose -3*o = -3*c - 54, -3*o - 4*c + 29 + 46 = 0. Let h be (-2 - 0)/((-2)/2). Suppose q - o = -h*q. Is q less than or equal to 7?
True
Let k(w) = -w**2 + 53*w - 351. Let s be k(45). Let c(x) = -x. Let y(m) = -m**2 - 9*m - 5. Let b(z) = -2*c(z) + y(z). Let g be b(-4). Is s at most g?
False
Let y = -28/23 + -596/115. Let h = -23/5 - y. Which is smaller: 3 or h?
h
Let u(c) = 72*c**3 - 2*c - 2. Let l be u(-1). Let x be 3 - (8/3 - (-48)/l). Which is smaller: x or -4?
-4
Suppose 7249 = -2*q + 17*q - 4*q. Is q greater than 653?
True
Let m = 82 - 268. Let d = m + 190. Which is greater: d or -6?
d
Let u = -0.7 + 0.91. Let w(i) = -4*i - 915 + 449 + 426. Let b be w(-10). Is u greater than b?
True
Let r = 56 + -88. Suppose 40*m + 16*m = -1736. Which is bigger: m or r?
m
Suppose 42 + 2 = 5*x - 2*y, -5*x + 30 = 5*y. Let n(c) = -8*c + 25 - 7 + x*c**2 - 12 - c**3. Let t be n(7). Is -2 greater than or equal to t?
False
Let m be 701 - (-12 + -6*(-8)/6). Which is bigger: 704 or m?
m
Suppose 26 + 118 = 2*q - 2*j, 4*q - j - 276 = 0. Let x = -67 + q. Which is greater: x or -1/147?
x
Let t = -316.684 + 317. Let b = t + 29.684. Is b less than 0.1?
False
Let y = 20 - 0. Let r be 15/(-9)*(-3 - (-172)/y). Is -10 < r?
True
Let j(p) = -p**2 + 2*p**2 + 11 + 15 - 16*p. Let g be j(2). Which is smaller: 0 or g?
g
Let u = 4283/4 + -21407/20. Which is smaller: 2/3715 or u?
2/3715
Let t = -367 + 307. Let z be (-6)/(-21) + (t/14 - -4). Is -1/279 at least as big as z?
False
Suppose c - 509 = 4*z, -3*z + 5*z - 2072 = -4*c. Let j = 5183/10 - c. Is 0 bigger than j?
False
Suppose -468167 - 307069 = 202*h + 106*h. Which is smaller: h or -5?
h
Let i = 199 - 198.91. Let u = i - 0.09. Which is smaller: u or 42?
u
Let u = -0.09715 - -0.16465. Which is smaller: u or 3?
u
Suppose 5*r - 2*r - 27 = 0. Let a = -491/30 - -358/15. Which is smaller: a or r?
a
Let t be (-38)/(-5)*(1 - -14). Suppose t = -8*f - 1014. Which is greater: f or -142?
f
Let u = 15.143 - 14.5. Let c = -4.643 + u. Which is smaller: c or -138?
-138
Let b be (-180)/126*4/30. Let f = -0.576 - -1.576. Which is smaller: f or b?
b
Let u(q) = 544*q + 10758. Let v be u(-16). Is v greater than or equal to 2051?
True
Suppose 0 = -2*a + 2*l - 22, 5 = -3*a + 4*a + 3*l. Let p = 12.1 - 1. Let o = -11 + p. Which is smaller: o or a?
a
Let u be -10 - 5/((-1080)/2392). Which is smaller: 1 or u?
1
Suppose 3*i - 12 = 3*m, 4*i - 12 = -i + m. Suppose 4*f - 3*x - 2*x = 33, -2*f + 3*x = -19. Suppose -f*t + 38 = -2. Is i at most t?
True
Suppose 89 - 2 = o. Suppose -i = -4*i - o. Is -0.1 greater than or equal to i?
True
Let t be -2*10 - (-1023442)/51168. Is 0 > t?
False
Let i = 29/253 + -154135/506. Let g = i + 309. Which is bigger: g or 5?
5
Let p(y) = -7*y + 23. Let v be p(3). Suppose 8 + 26 = v*s - 2*l, -3*s = 2*l - 26. Let a be -2 + (-81)/s - 4. Is -14 greater than a?
False
Let s = 351 + -287. Let o = -35 + s. Is o >= 33?
False
Let f = -426 + 441. Suppose 125 = 4*h + 5*g, 0*g = -h + 2*g + f. Let b = 27 - 2. Is h bigger than b?
False
Let r = -4/117 - -176/585. Let y(s) = 2*s**3 - 2*s**2 + 2. Let j be y(1). Suppose -j*f + 10 - 8 = 0. Is r at least f?
False
Let u be (1/(-2))/((-5)/230). Suppose 9*p - 23 = -u. Is -2/1611 equal to p?
False
Let f = 176 + -170. Let h be f*(-4 - 2164/(-540)). Is h > 0.4?
False
Let k be (-365)/3 - (-2)/(-6). Let z = -25612 - -25490. Is k at least z?
True
Let d = -55340 - -92552. Is -2/3 less than or equal to d?
True
Let a = -4/527257 - -1430448493/33217191. Let w be 2/6 + 1762/42. Let g = a - w. Which is smaller: 1 or g?
g
Suppose -28*i = -72 - 68. Let n be i/1 + (-58)/4 + 6. Is -10/9 at most n?
False
Let n be 2 + (4 - (7 - 0)). Suppose 5*r = -0*r + 920. Which is bigger: n or r?
r
Suppose 56*k + 4*h + 1260 = 51*k, -2*h = -4*k - 982. Let d = k + 248. Which is bigger: d or -3?
d
Let o = 87 - 113.7. Let z = o - 5.3. Let w = 30 + z. Which is bigger: -0.6 or w?
-0.6
Let d = 233 - 229. Suppose 2*a + 3*r + 271 = 0, -d*r + 740 - 148 = -4*a. Which is greater: -141 or a?
-141
Let x = 295 + -487. Let r(c) = -c**2 + 4*c - 97. Let d be r(12). Is d at most x?
True
Let r(p) = -p**3 - 4*p**2 - 2*p + 4. Let i be r(-3). Let l be i/5 - 14*15/50. Let d = 5 + -8. Is d smaller than l?
False
Let y be (-16)/12*(-138)/(-4). Let j be (-6)/y*(-260)/195. Do j and 0 have different values?
True
Let d = -1369.4 + 1369.5. Are d and -5313 non-equal?
True
Let d be (0 - 12/40)*(-4 - 638/(-165)). Is -350 < d?
True
Suppose -119*q + 118*q = -3. Suppose k - 6 = -3*n, 0 = 2*n + q*n + 10. Which is smaller: 8 or k?
8
Suppose 2*m - 10 = 4*h, 4*h = -2*m + 13 + 5. Let b(k) = -294*k**3 - k**2 + k - 1. Let a be b(2). Let z = a - -699437/297. Is h at least as big as z?
True
Let y = 305 - 283. Suppose 4*s - 12 - 4 = 0. Suppose -5 = x, -s*v - x + y = -129. Is 40 less than or equal to v?
False
Let i be 8302/1617 + 1 + 2/6. Let x = -68/11 + i. Let s be 8/12 - (-26)/(-3). Is s less than x?
True
Let t(c) = 2*c - 6*c + 3*c + 24 + 0*c. Let q be t(31). Is q <= -1?
True
Suppose 32 = -2*g - 50. Let o(c) = -c**3 + 5*c**2 + 9*c - 7. Let a = 488 + -481. Let z be o(a). Is z less than or equal to g?
True
Let i = -1892 + 2795. Suppose -7*r + 727 = -4*c - 10*r, 2*r - i = 5*c. Is c at least as big as -181?
True
Let n(r) = -r**3 - r**2 + 7*r + 12. Let j = 108 + -110. Let x be n(j). Suppose -42 = x*c + 72. Which is smaller: -56 or c?
c
Let r = 5621/36621 + 1/2817. Which is smaller: r or -2.58?
-2.58
Suppose 156*a - 520701 = 1080795. Is a at most as big as 10266?
True
Suppose 5*o - 4815 = 3*n, -o - 3210 = -53*n + 55*n. Does -1605 = n?
True
Let q = -44500 - -44489.4. Is q smaller than -3.5?
True
Let d = 907 + -882. Which is smaller: -6 or d?
-6
Let a = 155 + -153. Suppose -4*d + 2*s = 12, a - 12 = 5*d - 5*s. Suppose 2*w + 2*w + 20 = 0. Do w and d have the same value?
False
Let m be (932/(-6))/(46/(-72) - 27/(-36)). Is -1399 bigger than m?
False
Let b be (-4)/(6/21 + 33/(-42)). Suppose 3 = 5*i + b. Let l be 9/(-7) - (-3 + 2). Which is bigger: i or l?
l
Let u be (18/(-15))/(3/90). Let i(g) = 251*g + 26565. Let c be i(-106). Which is greater: u or c?
u
Suppose v - 104 = 12*z, 116*v = 117*v - z - 27. Let j be 162/8 + (-3)/12. Is v smaller than j?
False
Let h be ((-2)/(-138))/(2/(-4)). Let a(v) = 3*v**2 + 17*v - 55. Let s be a(-8). Let x be ((0/s)/2)/3. Which is bigger: h or x?
x
Suppose -5*g = -4*u - 143, u - 4*u + 2*g - 102 = 0. Suppose 162 = 5*p + 202. Let a be (3/(-42))/(p/u). Which is bigger: a or -0.06?
-0.06
Let h = 20.9157 - -0.0843. Is -62 < h?
True
Let y be (-2764)/2730 + 2/15. Let u = y - -4/13. Let p = -0.539 + 0.239. Which is bigger: p or u?
p
Let d be (-30)/24 - (-7)/(-308)*209. Suppose -2*t = -4*j + 12, 2*j - 9 = 2*t - 1. Which is bigger: d or j?
j
Let k be 4/20*0 - 3920/(-21). Is k <= 187?
True
Suppose 0 = -5*d - 7*v + 3*v + 282, 4*d = -4*v + 228. Let g be (-96 - (0 - 2))/(d/(-9)). Let k = -32 + 48. Which is smaller: k or g?
g
Suppose 148 - 45 = -v + 3*q, -4*v - 332 = 4*q. Let d = v + 85. Which is smaller: -7 or d?
-7
Suppose -129*x = -128*x - 2. Suppose 141 = x*y + 85. Is y <= 36?
True
Suppose n - 2*d = -40, n + 0*d + 4*d + 52 = 0. Let f be 39/92 - (n/16)/(-11). Which is smaller: f or 0?
0
Suppose