8. Let r be w(35). Which is bigger: r or -1073?
r
Suppose 1610 = -9*z - 208. Let d = z - -203. Is d bigger than 2/207?
True
Let b = 8.9276 - -0.0124. Let l = b - 9. Let x = l + 0.06. Is -72/7 not equal to x?
True
Let m(n) = -n**2 + 7*n - 7. Let i be m(7). Let f = 5 + 21. Suppose 0 = -3*d - 3*k - 18, -4*d - 2*k = -0*k + f. Is i at most as big as d?
True
Let n = 2703 - 2687. Is -211 smaller than n?
True
Suppose -5*l - 209 = c, -2*c - 3*l - 6 = 398. Let x = -142 - c. Which is smaller: 58 or x?
x
Suppose 0 = 5*u + 2*n - 977, -u - n = 4*n - 200. Let d = 681 - 486. Is d greater than or equal to u?
True
Let u = 146 + -31. Let r(q) = q**2 - 16*q - 196. Let n be r(-8). Let b be ((-184)/u)/(n/(-10)). Which is smaller: -22/7 or b?
b
Suppose 4*y - 15*x = -18*x + 16, -5*y + 3*x = 7. Suppose -h - h = -34. Let l = 71/4 - h. Which is greater: l or y?
y
Let d be (-1167 - -1167)/(0 - 0 - 12). Let q = -2/75047 - 37898663/2701692. Let a = -57/4 - q. Which is smaller: d or a?
a
Let r = -142.1 - -149.1. Is r bigger than -21/2?
True
Let c = 48425 - 2130701/44. Let m = -12 - -12. Is m smaller than c?
False
Let c(t) = -19*t - 152. Let x = 93 - 106. Let z be c(x). Which is smaller: z or 96?
z
Suppose -8*u + 35 = -u. Suppose 15 = -3*p, -4*a + u*p + 3 = -6*a. Is 98/9 < a?
True
Let i be 2828/(-252) + 9 + 5 + -2 + -1. Let h(o) = o**3 - 2*o**2 - 2*o - 3. Let v be h(3). Is v bigger than i?
True
Suppose -2265 = -5*a - 0*a + 5*g, 4*g = 5*a - 2262. Is a >= 450?
True
Suppose 9*f + 48 = 210. Suppose -m = 4*y - f, -8*m - y + 3 = -7*m. Let j be (-2 + 1)/((-1)/(-3)). Is j >= m?
False
Suppose -447*d + 196*d = 0. Which is smaller: 1/709 or d?
d
Suppose -4 = 4*m + 8. Let l = -3800 - -3797.4. Is l at least as big as m?
True
Suppose 5*h - 8*u + 12*u + 29 = 0, 0 = 4*h - 2*u - 8. Is 2/1733 at most h?
False
Suppose 4*u = -3*g + 27, -3*u = -80*g + 75*g - 13. Are g and -10/341 non-equal?
True
Let g be (4/3)/(2576/207 - 12)*-1. Suppose i + 2 + 0 = 0. Is g at least as big as i?
False
Let u be 104 - (-8 - (-5 + 8)) - -2. Which is bigger: u or 2218/19?
u
Let b be (-3)/5 - ((-381)/10 - -29). Which is smaller: -75 or b?
-75
Let t be ((130/(-114))/5)/(22/858). Is -8 greater than t?
True
Let i be (-67)/(-7) - 9 - ((-370)/40 - -10). Let b(w) = w**3 + 6*w**2 + w + 7. Let n be b(-6). Which is greater: i or n?
n
Suppose -2*p - 3*z = -12, 6*z - 7*z + 2 = 0. Suppose 3 = -3*o, -5*w + p*o + 9 = -24. Suppose w*j - 1 = 29. Is j >= 9?
False
Let v = 16.2 - 17.2. Does 1379 = v?
False
Suppose 3*x - 9 = -4*r + 67, -138 = -5*x - r. Let n(v) = v. Let m be n(-6). Let f be 21/m*-1*8. Is f at least as big as x?
True
Let q(g) = 5*g**3 + 76*g**2 + 20*g + 41. Let u be q(-15). Which is bigger: -403/12 or u?
-403/12
Let o = -7147 - -7435. Suppose -g + n + 283 = -4*n, -4*g - 3*n + 1155 = 0. Is g at least as big as o?
True
Let f be (13/(52/(-12)))/((-38)/4 + 2). Is 1770 <= f?
False
Let w be ((-2)/8)/(11700/(-240)). Is -0.2 >= w?
False
Suppose -2*f + 3*f = 2*o + 159, o - 4*f = -97. Suppose 11*u = 4*u - 532. Which is greater: u or o?
u
Let s be (2 + 0)*(-29)/2. Suppose -7*w = 11 + 94. Let a = w - s. Is 14 < a?
False
Let w = 253 - 255. Suppose -8*g - 18 = 6. Let h(a) = a. Let z be h(g). Do z and w have different values?
True
Let j be 2 - (2*543/6 - 3). Let n = j + 1049. Let v = 51505/59 - n. Which is bigger: 1 or v?
1
Suppose 6*p + 2*p - 1792 = 0. Let t be ((-7)/4)/(56/p). Suppose -33 = -u + 4*u + 3*y, 0 = -5*u - 3*y - 51. Is u less than or equal to t?
True
Suppose -5*y - w = 50, -32 = -328*y + 331*y + w. Let v = -1 + 1. Is v greater than y?
True
Let x be 100/(-450) + 28/45. Let q = 0.162 - -1.028. Which is smaller: x or q?
x
Let l = -85079/64836 - -12/1801. Let y = 1711/180 + l. Which is smaller: 7 or y?
7
Suppose 12 = -2*a - 4*l, a - 3*l = 1 + 18. Let t = 142 + -89. Suppose -25 + t = 7*c. Is a bigger than c?
False
Let t = 955/42 + -1/14. Let j = -23 + t. Let a(c) = 282*c + 847. Let r be a(-3). Which is greater: r or j?
r
Suppose -4*i - 3*f = -19, -5*i + 2*f + 7 + 11 = 0. Suppose 3*r = 3*m - i - 5, -3*m = 2*r + 11. Which is smaller: m or 1/536?
m
Let o(k) = 14*k - 77. Let s be o(6). Let f be (-3)/((14154/(-4))/s). Which is bigger: 0 or f?
f
Let k be (-9)/(-3) + (-6)/2. Let q be ((-4350)/(-60) + -36)*(1 - 11). Is k equal to q?
False
Let k = 1976 + -6017/3. Let m = k + 1694/57. Is m bigger than 0?
True
Let f = -6003187 + 258157249/43. Let k = 556 - 86. Let w = k - f. Which is bigger: 1 or w?
1
Let o = 0.015 + -52.015. Let j = 2852 - 2800.3. Let q = j + o. Are q and -2/3 equal?
False
Let g be 61953/214*(-112)/(-18). Which is greater: g or 1800?
g
Let h be 276/230*10/4. Let n(s) = -31*s + 103. Let u be n(h). Which is smaller: u or 54/5?
u
Let x = -744 - -10417/14. Let n = x - -67/42. Is n equal to 3?
False
Let t = -5.2 + 5. Let w = 290 + -296. Let f = w + t. Which is smaller: 0 or f?
f
Let n(j) = -5*j + 1000 + 0*j - 815. Let b be n(37). Which is smaller: b or 5?
b
Let z = -440 - -185. Let f = z + 130. Let m = 127 + f. Which is bigger: m or 4?
4
Suppose 67*t + 18205 - 17669 = 0. Let z(d) = -d**2 - 6*d + 3. Let v be z(-6). Suppose j = -v*u + 3*j - 39, -3*u + 5*j = 48. Is u greater than t?
False
Let s = 248639661/551 - 451251. Let u = -114468/17081 - s. Let l = -2/93 - u. Is l greater than 7?
True
Suppose 4*f = 3*y - y - 10, -2*y = f - 5. Let u = 57 + -5. Let c be (-18)/u - (-1)/2. Which is bigger: f or c?
c
Suppose -61*k + 58*k - 2*y = -91, 4*y - 128 = -4*k. Which is greater: k or -187?
k
Suppose 5*u + 9325 + 38270 = 0. Let b be (-3)/(1/6 - u/(-9)). Which is bigger: 1 or b?
1
Let p be 2/(-5)*(13 - 8). Let c be (-2)/(p - -16) + (-286)/154. Let b be 166/(-66) + (-2)/(-6). Are b and c non-equal?
True
Let u(y) = 3*y + 67. Let a be u(-21). Suppose -3*z - 271 + 33 = 4*v, v + a = 0. Which is greater: z or 1/2?
1/2
Suppose 0 = -5*v - 4*q - 110, -26*v + 22*v - 77 = q. Let w be (-16)/28*(-9)/v. Is w > 1?
False
Suppose 0*o = -3*o + 408. Let j be (-62)/o + (-3)/(-6). Suppose 0 = -214*z + 63*z. Which is greater: z or j?
j
Let r(l) = l**2 + 19*l - 20. Let g be r(-20). Let i = -358 - -158. Let v be (16/(-204))/(i/(-12)). Which is smaller: g or v?
v
Let c be 9/(5 - (1 - -5)). Suppose 3*a - 7*a - 44 = 0. Let m = a - c. Which is smaller: -1 or m?
m
Let s = -242695/7 - -34639. Let g = 29 - 60. Which is greater: s or g?
g
Let k be (-98)/(-34) - (-18)/153. Suppose -17 = -10*z + k. Which is smaller: z or 18?
z
Let t = 1417 - 724. Let n be 5/(90/t) - (-1)/2. Which is smaller: n or 40?
n
Let i be 2*2 + ((-2052)/(-6) - -14). Which is smaller: i or 375?
i
Let g = -631/28 + 36689/1624. Which is smaller: g or -1?
-1
Let u be 39/(-13)*24/9. Let y be 3 + u - (42/(-1) - -7). Is 29 >= y?
False
Let t = 9 + 44. Let a = 31 - t. Let v = a - -22.001. Which is smaller: v or 1?
v
Let a = 107.58 - 98.58. Which is smaller: a or -413?
-413
Let x be (-2)/(-100)*-3 + 0. Let h = 26792 + -26790. Do h and x have different values?
True
Let d(j) = 11*j + 10. Let c be d(-2). Let v = -12 - c. Suppose v = 6*w - w - 25. Is 11/3 at most w?
True
Suppose -143*f + 369 = -120*f - 5059. Which is greater: 238 or f?
238
Let w = 67517/86722 + -101/131. Does 0 = w?
False
Suppose 0 = 52*h - 49*h. Suppose -2*k = 2*m + 2*m + 438, 2*m - 2*k + 216 = h. Which is smaller: m or -108?
m
Suppose -3*o + u = -3*u - 26, -u = 4*o - 3. Suppose -8*y = -10*y + o. Let p be ((-2)/8)/(((-18)/(-4))/(-3)). Is y at least as big as p?
True
Let k = 4.6 + -279.6. Let h = k - -275.1. Is h greater than or equal to 12?
False
Suppose 3*w + 3*y + 48 = 0, 752*w - 755*w = 2*y + 45. Which is smaller: w or -79/6?
-79/6
Let q be ((-3)/28*-1)/(15/232). Let j = 438 - 3060/7. Let p = j - q. Which is greater: 0.2 or p?
0.2
Suppose b + 25 + 26 = 3*u, 5*u = 20. Let v = -109 - -72. Which is greater: b or v?
v
Suppose 0 = -8*f - 0 + 40. Suppose -4*g = 5*y - 7*y + 26, -40 = -f*y + 5*g. Are y and 0.07 equal?
False
Let g = 1334/73521 + -5/389. Let a(w) = -137*w - 7262. Let p be a(-53). Is g < p?
False
Let u be (7/(140/8))/(8/(-34280)). Do -6859/4 and u have the same value?
False
Let v = -15.03 + 14.6. Let x = v + -6.57. Which is bigger: 0.1 or x?
0.1
Let c = -395780 + 366096428/925. Let l = c + -6/37. Let q = l - 946/225. Which is smaller: q or -4?
q
Suppose 0 = -y - 60 + 23. Let h = 107/3 + y. Let w = 11/6 + h. Is 1/6 at most w?
True
Le