)/18)/((-4)/18). Let g = -20 - 173. Let w = g - -199. Is v bigger than w?
True
Suppose -23 = 3*f - 455. Let z = 6503 - 6502. Is z greater than or equal to f?
False
Let b(o) = o**3 - 7*o**2 + 11*o - 1. Let n be b(5). Suppose -y = -0*y - n*a - 2, a + 6 = 3*y. Let l be (((-25)/(-85))/(-5))/(1 - y). Is -1 >= l?
False
Let c be 8/((-48)/(-669)) - (-2)/4. Let q be 18/(-10)*(c/(-42) + 3). Which is greater: q or -2/75?
-2/75
Suppose -32*i = -92*i + 9000. Is 152 >= i?
True
Let r be 0 - (1 - 18/14)*(-12 + 189). Suppose 2*s - 135 + 31 = 0. Which is bigger: s or r?
s
Let k = -824.17 + -11.83. Let c = 836.23 + k. Let d = 1 - 1.2. Which is smaller: c or d?
d
Let v be (6 + 6 - 11)*-4. Which is bigger: v or -35/9?
-35/9
Suppose -50 = -d - 9*d. Suppose b + d*w = -9, 0*w = -5*b + 3*w + 11. Let t(m) = -11*m**2 + 3*m - 2. Let u be t(b). Is u less than -48/5?
True
Suppose -s + 255 = 5*f, -6*f + 5*f + 32 = 4*s. Suppose -29 = -3*o + k, -42*o + f = -38*o + 2*k. Is 164/15 not equal to o?
True
Suppose 4*a + g = -g + 42, 37 = 4*a + g. Let u(x) = -x - 521. Let d be u(-7). Let y = 518 + d. Is y greater than or equal to a?
False
Let a = 1380 + -1383. Let y = 4.99 - -0.01. Is y at least as big as a?
True
Let t = -1/36 - 2011/180. Let p = t + 111/10. Let d be ((-2)/(-6))/((-3)/(-9)). Which is smaller: d or p?
p
Let s = 4626 - 4621. Which is smaller: s or 193?
s
Let d(z) = 7*z - 58. Let f be d(7). Let n be 79/5 - (322/(-35) - f). Let q be 9*(1 + 4/6). Which is bigger: q or n?
n
Suppose 3*b - 239 = 5*s, -33*b + 30*b - 4*s = -257. Let h = -26 + 26. Does b = h?
False
Let j = -47723/214 - -54/107. Let t be -7*12*((-72)/(-156) - (-602)/273). Which is smaller: t or j?
t
Let n(i) = 2*i**2 + 759*i + 8106. Let t be n(-11). Let v = -2197/30 - -73. Which is greater: t or v?
v
Let a = -251 + 251. Suppose 548 = -3*k - 4*v + 147, a = -4*k - v - 539. Which is greater: k or -136?
k
Let p = -2288 - -2312. Suppose -5*x - 270 = -5*r, r = 2*x + 11 + 45. Suppose 2*d = 2*j + d - 44, 0 = 2*j + d - r. Is p greater than j?
False
Let c be 0*((-6)/12 - -1). Let z = 288731/58 + -4978. Do z and c have the same value?
False
Suppose 0 = 2*m - 3*j - 5866, 61*m = 59*m + j + 5854. Which is smaller: m or 2926?
m
Let q = 56801.2267 - 56798. Let r = q - 0.0267. Which is smaller: r or 0.6?
0.6
Let w be 4571 - (0/(-1))/(-11). Which is smaller: 4570 or w?
4570
Suppose -a - 5*x + 3201 = 0, 0 = 5*a - 4*x + 2*x - 16113. Suppose -6*c = a - 197. Let i be 2/c*-58 - (-6)/(-21). Which is smaller: 0 or i?
i
Let q = 0.19 + -14.19. Let d = 15 + q. Is d smaller than -4?
False
Suppose 88 = 28*a + 35 + 25. Is a bigger than -4/3871?
True
Let w(x) = x**3 - 4*x**2 - 2*x + 1. Let q be w(4). Let o be ((-1)/3)/(q/21). Let p = -43 + 302/7. Is o >= p?
True
Let x = -59644/9 - -6627. Do x and -0.12 have the same value?
False
Let i be 19/(-17) - 5/((-425)/10). Do i and 2230 have different values?
True
Let x = 230.5 - 227.5. Which is greater: 70 or x?
70
Let z(g) = -g**3 + 19*g - 219*g**2 + 115*g**2 + 132*g**2 + 19. Let d be z(28). Which is smaller: 550 or d?
550
Let v(l) = -l**2 - 10*l - 13. Let t be v(-9). Let d be (-1)/7 - (t - 5452/(-1428)). Which is smaller: d or -1?
-1
Suppose -2*y + 4593 = -5*y - 3*c, 3*y + c + 4587 = 0. Let n = y - -4372/3. Which is smaller: n or -70?
n
Suppose 2*b - 5 = i, -b + 38*i = 33*i - 25. Let r be 4/(-10) - 12264/390. Let t = r + 3895/117. Is b < t?
True
Let p(m) = -2*m**3 - 56*m**2 + 21*m + 70. Let n(a) = -2*a**3 - 57*a**2 + 22*a + 69. Let y(t) = 4*n(t) - 5*p(t). Let r be y(-26). Which is smaller: 370 or r?
r
Let b = -232 - -124. Let a = -16939 - -16835. Which is smaller: a or b?
b
Let w = 0 + 1. Suppose 4*b + k = 1987, 0 = b + b - 5*k - 977. Suppose -4*a = 520 - b. Which is smaller: a or w?
a
Let v be -4 - (-481)/(1 + 0). Let w = -405 + v. Are 73 and w equal?
False
Let s = -799/120 - -211/30. Is s not equal to 6?
True
Suppose 3*j - 3*g + 9336 = 0, 2*j + 4244 = -4*g - 1944. Which is bigger: j or -0.1?
-0.1
Let z be (-15)/(-35) + (-12680)/105. Let x = z + 120. Let w be 0 - ((2 - -1) + -2). Are x and w unequal?
True
Let w = -8257 + 9301. Is 7314/7 greater than w?
True
Let c = -1758 + 1758.2. Is -325 at most c?
True
Let b = -0.238 - -86.238. Let v = b - 87.2. Which is smaller: 11 or v?
v
Let t(c) = -2*c**3 + 22*c**2 + 2*c - 19. Let g be t(11). Let f(d) = d - 2. Let k be f(5). Suppose -4*b = -11 + k. Is b greater than g?
False
Suppose -2*b = -0*j + 5*j - 212, 4 = -b. Let u = -56 + 58. Suppose 2*d + 164 = 4*o, -u*d = -5*o - 4*d + 223. Which is greater: j or o?
j
Suppose 0*o = 2*o - 120. Let b(m) = -32*m + 226. Let u be b(7). Suppose 0*y - 16 = 4*y, 2*w + u*y - 114 = 0. Are o and w equal?
False
Let v be 5/((-10)/(-12) - (-425)/102). Which is smaller: v or -1/27534?
-1/27534
Let t be (-32)/24*9/(-4). Suppose -2*p + t*p = 2*k - 127, -k = 4*p - 86. Which is bigger: 67 or k?
67
Let v be ((-2)/14)/(1/3). Suppose -3*s = -3*o - 1179, -6*o + 2001 = -11*o - 4*s. Let c = o + 398. Which is smaller: v or c?
v
Let m = 725.8 - 725.9. Let x = -653 + 389. Which is greater: m or x?
m
Let c be 100/(-26) - 4*(-27)/(-702). Let n(f) = -2*f - 2. Let q be n(-2). Let p be (c - q)/((-2)/5). Is p less than -1?
False
Let f(m) = -m**2 + 4*m - 1. Let p be f(3). Suppose 0 = -2*t + 4, -4*a - 5*t - 4 - 14 = 0. Let v be a/(-6) - ((-8)/(-2) + -5). Is v > p?
True
Let c(n) = 3*n**3 - 3*n**2 + 3*n - 1. Let v be c(1). Let h be 10/4 + (-161)/v. Is -77 at most as big as h?
False
Suppose -12051 + 3666 = -13*f. Let t = f - 567. Is 79 less than t?
False
Suppose 1703*m = 1696*m - 14. Which is bigger: -71/60 or m?
-71/60
Suppose -11 - 39 = -10*c. Suppose -5*s - 15 = 5*q, -5*s = -c*q - 0*q - 35. Which is smaller: 0.118 or s?
0.118
Let b be 112005/9804*(-8)/(-82). Let h = 60/41 - b. Is 0 at most h?
True
Let j be -3 - 19/((-714419)/112765). Is j at most as big as -1?
False
Let g = -233.849 - 0.151. Let o = 233.946 + g. Which is greater: o or 0.2?
0.2
Suppose -72*y - 1 = -5*b - 78*y, 19 = -b + 2*y. Which is smaller: -333 or b?
-333
Suppose b - 200 = 3*h + 219, -5*h + 5*b - 705 = 0. Let a be h/(-4) - 3/(-12). Suppose 0*i - j - a = 2*i, 3*i - 4*j + 36 = 0. Is i smaller than -16?
False
Let s(y) = 2*y**3 + 33*y**2 - 17*y - 26. Let o be s(-17). Which is bigger: -1.11 or o?
-1.11
Let p be 5*(-4 + 137/34). Let z = p - -383/170. Let x = 299 - 296. Which is greater: x or z?
x
Let l(w) be the third derivative of 0*w + 0 - 7/6*w**3 + 14*w**2 - 1/6*w**4. Let d be l(-7). Do 22 and d have the same value?
False
Let f be (-124)/310 - 43966/(-110390). Suppose 3 - 4 = -o. Which is bigger: o or f?
o
Let v = 1246 - 1243.6. Is -46 <= v?
True
Let z be -7 - (-6 - (-2)/(-12)*246). Which is smaller: 24 or z?
24
Let s be (78/34)/(3/(-2)). Let b(w) = 5*w**3 + 3*w**2 - 7*w - 21. Let r(i) = -i**3 + i**2 - i. Let t(g) = -b(g) - 4*r(g). Let n be t(-8). Is s at most n?
False
Let r = 273 - -350. Is 631 not equal to r?
True
Let z = 2157 + -2158. Is 1/703 less than z?
False
Let r(b) = 2*b**2 - 10*b + 12. Let v(c) be the first derivative of -c**3/3 + 4*c**2 + 6*c + 22. Let w be v(8). Let f be r(w). Do f and 24 have different values?
False
Let p = 153/28 + -75/7. Let i = 5 + p. Let k be (-5 - 1)/((-10)/(-15)). Is i at most k?
False
Let k = 1058729/13 - 81398. Which is smaller: k or 44?
k
Let d = 1/246 - 4492/615. Is -6 at most as big as d?
False
Let z = 61.44 + -1.44. Let q = z - 60.1. Is 88 greater than or equal to q?
True
Let i be 2/(-7) - (-66)/(-14). Let u(w) = -2*w - 3. Let m(k) = 3*k + 6. Let n(h) = m(h) + u(h). Let x be n(i). Which is smaller: -10/7 or x?
x
Let q(u) = -u**3 + 29*u**2 - 30*u + 84. Let k be q(28). Suppose -6*b - 17*b + k*b = 0. Is -2/505 less than b?
True
Let f(x) = -x**2 - 4*x. Let b be f(-4). Let j be 1038/7785 + 3/((-4410)/(-584)). Is j greater than b?
True
Let t be 1 - 2/(4/14). Let y(v) = v**3 + v**2 - 4*v - 3. Let w be y(-2). Let l(o) = -9*o**2 + 6*o - 4. Let r be l(w). Is r not equal to t?
True
Let u = 2030014841/1370355 - 14993/6315. Let l = -1479 + u. Is 1 at least as big as l?
True
Let x(z) = z + 2. Let b be x(-3). Suppose 2*q + 14 = 4*y, 3*q - 67 = 7*q + 5*y. Which is greater: q or b?
b
Let a = -2/437 + 7002/2185. Let c = -74 + 74.435. Let k = c + 0.565. Which is smaller: a or k?
k
Let f = -187 + 178. Let l be (5/(-25))/(10 + f). Which is smaller: l or -2.4?
-2