a(-2). Let n = w - 513. Is n less than 9/64?
True
Let x = -2471 - -2457. Suppose 0 = -4*z + 8*z - 20. Suppose -2*j = -s - 16, -4*j - 1 = -z. Is x > s?
False
Let y = 7446 + -7357. Is -2/5 <= y?
True
Let u(a) = 85*a**2 - 64*a + 492. Let g be u(6). Are g and 3166 nonequal?
True
Let s = -239 - -239. Suppose s = m + m. Which is greater: 7 or m?
7
Let z(q) = -3*q**3 + 12*q**2 + q. Let t be z(4). Suppose 3*d = -5*d - 56. Let o(p) = p**2 + 6*p - 1. Let x be o(d). Is t at least as big as x?
False
Let n = -92 + 149. Let f be ((-209)/n)/(0 + 1/(-3)). Is 14 < f?
False
Let a = 754 + -758.21. Let w = a - -4.61. Is w <= 43?
True
Let s(c) = 8*c**3 - 2*c**2 + c. Let l be s(1). Suppose l*g = 9*g - 330. Suppose 17 = 164*q - g*q. Is -17 smaller than q?
False
Let b = 1385.59 + -1398. Let h = -0.219 + -0.191. Let l = h - b. Which is greater: l or -2?
l
Suppose -4*r + 12 = 8. Suppose 334 = 3*l - 5*v, 4*l + 2*v - 505 = -l. Suppose t = 3*f + 113, -3*f + 0*t - t - l = 0. Is f at most as big as r?
True
Let d = 134 + -192. Let h be (1413/(-27) - 3) + (3136/(-42))/(-32). Which is greater: d or h?
h
Let w = -8942 - -8942. Are 16/277 and w equal?
False
Let o = -753/7 - -107. Let d(q) = q**3 - 8*q**2 + 5*q + 14. Let b be d(7). Let c be -1*(b + 2) + 140/98. Is c at most as big as o?
True
Let s be (-10)/(-3)*(3/6 - -1). Suppose -3*h + t - 29 = 0, 63 = -s*h + 4*t + 3. Let v be 7/3*h/28. Is v less than 30?
True
Let a = 451 - 445. Let z be a/33 - 455/143. Is -28/13 at most as big as z?
False
Let n be ((-434)/19747)/(121/(-42)). Is n greater than 1?
False
Suppose 0 = 3*n - n - 8. Suppose -f - n = -3. Let t = 1/143 + -589/2431. Which is smaller: t or f?
f
Let r be 3 - 6 - (-24 + -2). Suppose 4*k - 429 - 21 = -14*k. Does k = r?
False
Suppose -4*u - 220 = u. Suppose -35*h + 14 = -21. Let t be 3/(-12)*188 - (-2)/h. Which is greater: u or t?
u
Suppose 4*b - 5*j - 20 = 0, 2*b + 8 = -j - j. Suppose 272*d - 276*d = -16. Suppose 2*v = -2*h + 12, d*h - 5*h + 4*v - 19 = 0. Is b < h?
True
Let f = -1121.1 - -1121. Which is smaller: 2524 or f?
f
Let c(i) = -i**3 + 57*i**2 - 52*i - 225. Let z be c(56). Which is smaller: z or -2/641?
z
Suppose -7136*o + 7139*o = 0. Which is bigger: -36/167 or o?
o
Let f(d) = -d**2 - 15*d - 13. Let l be f(-1). Is l at most -6/65?
False
Let r be 1 + (640/(-18))/5 + 6. Suppose -3*a + 0*o + 10 = o, 3*o = 5*a - 40. Let s = 5 - a. Which is smaller: r or s?
r
Let w be (-16)/((-160)/(-1078)) - (-6)/(-5). Which is greater: w or -103?
-103
Let x = 1.4505 - 192.4505. Let o = 0.32 - 0.32. Is x at least o?
False
Suppose 4*h = -5*w + 295, -2*h + 143 = -4*w - 11. Let l = -76 + h. Are l and -1/14 equal?
False
Let r = -2/425 - 2113/2550. Let p = -106 - -105.629. Let x = -4.371 - p. Is r equal to x?
False
Let h = -196 + 199. Let g = h + -5.8. Is 2 < g?
False
Suppose -8069*n + 8070*n + 151 = 0. Is -2276/15 < n?
True
Let r(n) = -4*n**2 - 18*n + 225. Let x be r(7). Which is bigger: x or -484/5?
-484/5
Let n = 54 + 28. Let l = 82 - n. Let z = 136 - 674/5. Which is smaller: z or l?
l
Let m be -5979*32/336 + 6/14. Which is smaller: m or -566?
m
Let p = -47.2 + 43. Let m = 4 + p. Let n = 6201/4 - 1549. Is n at least as big as m?
True
Let o = 6/823 + 1520/17283. Which is smaller: 5/22 or o?
o
Let g be (14084/(-4))/(20 + -5). Let a = g - -235. Which is smaller: a or 1?
a
Let o = -65.5 - 34. Let t = 103 + o. Let j = -16.5 - t. Is j less than or equal to 1?
True
Let p(y) be the third derivative of 3/20*y**5 + 0 + 1/24*y**4 + 16*y**2 + 0*y - 5/6*y**3. Let c be p(3). Do c and 79 have the same value?
True
Suppose 0 = -26*l + 106006 - 341332. Do -9052 and l have the same value?
False
Suppose m + 421 = -3*v, -5*v + 9*v - m = -559. Let d = -171 - v. Let q = -1.38 + 0.38. Are q and d nonequal?
True
Suppose h - 3 = -2*h. Let d be ((-29094)/390 - -75)/(-1 - 521/(-5)). Which is smaller: d or h?
d
Suppose -15*f + 11*f + d = 104, 78 = -3*f - 3*d. Is f >= -614/25?
False
Suppose 811 = -6*y + 3733. Let j = 686 - y. Which is bigger: 197 or j?
j
Let l be ((-4)/3 - -1)/(4/(-60)). Suppose 76 = 4*t + 2*m, -4*m = l*t - 7*t + 28. Which is greater: t or 19?
19
Let l = 1 + -1. Suppose l = 304*s - 308*s + 48. Which is smaller: s or 11?
11
Let j = 1562134/13 - 120353. Is j <= -190?
False
Let x = -34213 + 957865/28. Does x = -3?
False
Let l be (-11)/(66/12) + (-238062)/(-29). Let z = l - 8206. Is z > 0?
True
Let v be 0 + (5 - 2) + -3. Let y be -6227*(-6)/2184 + -17. Which is greater: v or y?
y
Let t = -302.1 - -307.1. Which is greater: 0.1761 or t?
t
Suppose 4*r + 10962 = -24*i + 27*i, -3*i - 2*r = -10926. Is 3647 > i?
True
Suppose -103344 = -1662*q + 1710*q. Is -2154 bigger than q?
False
Suppose -2*d - 3*v = 4, -58*v - 4 = 3*d - 53*v. Let r be ((-47)/(-188))/(2 - 22/d). Suppose y - 7 = 2*c, 3*c + 4 = 4*y - 9. Which is smaller: y or r?
r
Suppose -14 = -5*r + 1. Suppose r*v + v = w - 87, 0 = -5*v - 3*w - 96. Which is bigger: -18 or v?
-18
Let h be ((-280)/(-94) + -3)*-2. Let b = -627 + 628. Which is bigger: h or b?
b
Suppose -d - 3 - 9 = -5*p, 5*p = 0. Let g(a) = -3*a**3 - 39*a**2 - 43*a - 8. Let i be g(d). Which is greater: 77 or i?
77
Suppose -5*o - 2817 = 4*w, -55*o + 723 = -w - 50*o. Is -703 greater than or equal to w?
True
Let j be (-36)/(-12)*(-1 - 0). Let l be 7/35 + j/15. Which is smaller: -4/21 or l?
-4/21
Suppose 3*n - 15 = 36. Suppose -p + 2*m = -m - n, 21 = p - 4*m. Suppose -p*j + x - 3 = -0, 4*j = x - 3. Are j and 0 equal?
True
Suppose 5 = 5*k - 15. Let o = -19.6877 + 19.78. Let x = o - 6.0923. Which is smaller: x or k?
x
Let o be (-9)/18 + 26/4. Let p be o/2 + 60/6. Let v(h) = 4*h**2 + h - 19. Let b be v(-3). Are p and b unequal?
True
Let f be 0/(-3) + ((-64)/28 - 2) + 4. Are f and 321 unequal?
True
Let q be 87/348 - (-5622)/8. Let r = -703 + q. Is 7/96 less than or equal to r?
False
Let r = -304361345/18 + 33487661376065/1980468. Let d = -1/1084 + r. Is -1 at most d?
True
Suppose -7*r - 187 + 215 = 0. Suppose 5*q - 144 = -r. Are q and 29 nonequal?
True
Let s = 48708 + -48715. Let c = -0.1 + 0.12. Let i = -2.98 - c. Which is smaller: i or s?
s
Let c be ((-183)/3416)/(12/(-14)). Which is smaller: c or -15/13?
-15/13
Let g = 1/167 - -165/334. Which is greater: 26/5 or g?
26/5
Suppose -1317*p + 1296*p - 2289 = 0. Which is greater: p or -94?
-94
Suppose -3*o - 19 = -5*h, -4*o + 9*o - h = 5. Let d(l) = -3*l. Let n be d(-6). Suppose -5*g - 3*y + n = 0, -14 = -0*g - g + o*y. Which is smaller: 7 or g?
g
Let p = 518.56 - 518.36. Let j = -123 - -207. Is p > j?
False
Let k = 716 - 716. Which is smaller: 1/654 or k?
k
Let k = -18.5 + 14.72. Let o = 3.2 + k. Let p = o - -0.58. Are p and 11 unequal?
True
Suppose 5*a + s - 901 = -55, 0 = 5*a - 3*s - 862. Let b = a + -259. Which is smaller: b or -88?
b
Let k be 1951/(2*5/30). Let v = 1281805/219 - k. Suppose -2*g - 1 = l, -g = -5*g + 3*l + 13. Which is smaller: v or g?
v
Let r = -4381 + 4381. Which is smaller: r or -1831?
-1831
Let b(n) = -3615*n**2 - 92*n - 2. Let p be b(-1). Which is greater: -3524 or p?
-3524
Let s be (-120)/(((-8)/(-360))/(64/40)). Which is smaller: -8641 or s?
-8641
Let j(d) = 127*d - 3043. Let w be j(82). Is 7372 < w?
False
Let c = -43 - -30. Let j be 1*(-2 - 0) + (-37 - (-850)/34). Is c >= j?
True
Let r = 4 + -10. Let w be ((-6 - 0) + -1)/r. Let x = 21496 - 21495.9. Which is bigger: x or w?
w
Let r be 93/((-1767)/38) - -9*1. Is 3 smaller than r?
True
Let a = -3.789 + 0.089. Let r = -1505 - -1501.6. Let v = r - a. Which is bigger: 0.2 or v?
v
Let t(a) = a**2 - 21*a + 97. Suppose -5*n + 3*s + 19 = -3*n, -4*n + 68 = 4*s. Let d be t(n). Is -11/8 >= d?
False
Let d be (45 - 66416/1476)/((-5)/(-765)). Suppose 4*r + 23 = -3*q - r, 0 = -5*q + 4*r + 11. Which is smaller: d or q?
q
Let w(i) = -3*i**3 + i**2 + 1. Let o be w(2). Let b = -20 - o. Do b and 7 have different values?
True
Let v be 2*36/(-162)*13. Suppose 2*r - 5*r - 5*j - 38 = 0, 5*j = 4*r + 4. Which is bigger: v or r?
v
Let t be 17*((-1515)/255 + 6). Which is smaller: t or 38/505?
38/505
Suppose 0 = -4*w, 10*m - 5*w - 1 = -7*m + 18*m. Which is smaller: m or 5/718?
m
Let w(n) = -n**3 + 6*n**2 + 8*n - 7. Let l be w(7). Suppose 8*v + 0 + 8 = l. Let q be ((1 + (-28)/24)*2)/v. Is q > -48?
True
Let r = 30 - 363. Let v = -333 - r. Which is bigger: v or -22?
v
Suppose -6*f - 42 = -f + 2*l, 4*l = f + 