9). Let p = 346 - x. Which is bigger: -11 or p?
p
Let z = -0.057 + -357.943. Let r = z + 368. Which is bigger: r or -0.01?
r
Suppose 297 = p + p - 3*j, -2*p - 5*j = -337. Suppose -p*l = -153*l - 78. Let x be 27/(-2 - -5 - 2). Which is smaller: x or l?
l
Let z = 3.59 + -25.59. Let y = -52 - z. Suppose 2*x + 2*x = 4. Which is smaller: y or x?
y
Let z = -3675 + 3704. Is 2 less than or equal to z?
True
Let f = -1385 + 425. Let l = 956 + f. Which is greater: -2.6 or l?
-2.6
Let g = -107 - -597. Suppose z - 6*z - 4*u - g = 0, -213 = 2*z + 5*u. Which is bigger: -95 or z?
z
Let g = 43585 + -42522. Is g >= 1066?
False
Let z = 82.37 + 1.63. Let u = z + -97. Let j = -10.7 + 10.7. Are j and u nonequal?
True
Suppose 0 = 126*w + 8*w - 566625 + 2046923. Is w greater than or equal to -11047?
True
Let c(s) = 2*s**2 + 16*s + 18. Let f be c(-7). Suppose -f*g + 2 = -5*u + 6*u, 2*u + 6 = 2*g. Let t(h) = -h**2 - 3*h + 3. Let d be t(-4). Is u > d?
False
Let o be ((-174)/54 + 3)/((-48)/108). Suppose 2 = 5*y + 27, 3*y - 167 = -2*x. Which is smaller: x or o?
o
Let c = 3.791 - 3.721. Let b = 102 + -66. Which is bigger: c or b?
b
Let z = -14.29 - -13.9. Let r = -0.29 - z. Which is smaller: r or -32?
-32
Let z be (-1 + (-1141182)/(-1141179))/(225/(-377844445)). Let u = 71/29261 - z. Let c = u + -58/13. Which is greater: 1 or c?
1
Let y = 2.047 - 1.147. Which is greater: y or -2/361?
y
Let w = 2777 - 8330/3. Is -42/17 at most as big as w?
True
Let u = -357.0372 + 0.0372. Let v = u - -358. Is v < 20?
True
Suppose 0 = -n + 1, i + i - 1 = -5*n. Let h be 2 - (-714)/(-351) - i/18. Which is smaller: h or -1?
-1
Suppose -1080 = 2*w + 2*w - 4*v, 4*w + 1115 = -3*v. Let k = w - -3023/11. Which is greater: k or -52?
k
Let a = 0.03825 - -0.16175. Are a and -1341 non-equal?
True
Let x = -1.5 + 38.5. Let f = 74 + -71. Are x and f equal?
False
Let v = 0.5 - 6.5. Let l = -6.3 - v. Let a = -784.2 + 784. Which is smaller: a or l?
l
Let a = 3/95 + -191/3040. Let j be (-9)/(-6)*(-22 + -7 + 5). Let d = -37 - j. Which is smaller: d or a?
d
Suppose -6*g + 5*g = -81. Suppose -8*f - 9164 = -124*f. Is g not equal to f?
True
Suppose 3*j - 18 = -21. Suppose 4*y - 5*d + 6 = 0, 4*y - d - 6 = -2*d. Let c(l) = l**3 - 3*l**2 + 2*l - 1. Let m be c(y). Is m bigger than j?
False
Let g = -602 + 609. Suppose -5*q = 16*q + g*q. Which is greater: q or 9?
9
Suppose -5*t - g - 22393 = -3121, 3*g + 15422 = -4*t. Is -1 smaller than t?
False
Let n be 6/7*(-112)/(-32). Suppose -b + 12 = -4*m - 6, -3*b - n*m = 6. Let j(w) = 58*w + 63. Let d be j(-1). Do d and b have the same value?
False
Suppose n - j = -1, -6*j + 4 = -4*n - 5*j. Let z be (-3*22/138)/n. Which is smaller: 1 or z?
z
Let p(o) = 5 - 3*o - 9*o**2 + 8 - 7 - o**3 - 8*o**2. Let i be p(-17). Let h be 0 + i/(-60) - (-1)/2. Does h = 0?
False
Let q = -3959/24 - -165. Suppose -k + 2 + 0 = 0. Suppose -4*p = k*p. Are q and p equal?
False
Let m be 6/(-24) - 498537/156. Which is greater: m or -3193?
-3193
Let v be (3/(-30)*5)/(1/(-26)). Let q(h) = -34*h + 325. Let m be q(v). Do -119 and m have the same value?
False
Let d = -2469 - -2463. Is d <= 109?
True
Let y(h) = -7*h + 9 + 6 + 4*h. Let s be y(6). Which is smaller: s or 5?
s
Let k = -0.0173 + -0.1227. Let a = -1 + 1.74. Let g = k + a. Is 6 at most as big as g?
False
Let w(o) = o**3 - 5*o**2 + 18*o - 53. Let z be w(4). Suppose z*n - 2076 = -0*n. Which is greater: 691 or n?
n
Suppose 2 = 5*g - 4*g. Let o be g/(-3) + 784/6. Is o at most 131?
True
Let h be 245487/(-36) + 14*3/504. Is h at most as big as -6819?
True
Suppose -59*a - 441 = -11*a + a. Suppose 48 = -4*y - 0*y. Is a <= y?
False
Let u = -14 - -15. Suppose 136*d - 4 = 138*d. Let o be 0/(7/(-14) + (-5)/d). Which is smaller: u or o?
o
Suppose 5*u + 28*u = 2 - 35. Which is smaller: -5205 or u?
-5205
Suppose i - 403 = 5*w, 8*w - 10*w = -5*i + 152. Is w at most as big as -74?
True
Let p = 0.14 - 2.34. Let t = 58.646 - 0.446. Let o = 58 - t. Is o > p?
True
Let h = 2031 + -2065. Let k = -11 - -6. Is k smaller than h?
False
Let y be (-120)/(-48) + 1/(-2). Suppose 0 = y*v - 10, 2*k + v = -2*v + 319. Let o be 4/(-22) - k/11. Are -13 and o non-equal?
True
Let m = -260 + 256.62. Let u = 109.62 - m. Which is greater: u or -0.2?
u
Suppose 12 = -4*o - 4*p, 10 = 3*o - 5*p - 13. Let v be o - (-5 - 50/(-10)). Let n(l) = l**3 + 2*l**2 - 3*l - 1. Let s be n(-3). Is s greater than or equal to v?
False
Suppose 1998*k = 2028*k + 1320. Is -33 at most as big as k?
False
Let k = 211 + -207. Suppose -485 = -k*m + 5*h, -7*h + 11*h = 2*m - 238. Which is smaller: m or 126?
m
Let t = -5142 - -5129. Which is bigger: 3 or t?
3
Let q = 31 + -22. Let a be (-3 - 0)*(5 + (-84)/q). Are a and 94/7 unequal?
True
Let l be (6/(-12) - -3)*190. Which is smaller: l or 472?
472
Let n = -511 + 489. Let w(o) = 2*o**2 + 53*o + 2. Let u be w(n). Does -197 = u?
False
Suppose -2*h - 288 = -10*h. Let r = -71/2 + h. Is r smaller than 13?
True
Let p(t) = 42*t - 1250. Let q be p(29). Is -3.47 equal to q?
False
Let q = -36.601 + 27.601. Is q > 0.251?
False
Suppose -9*s + 16 = -47. Let m be (7 - s)/(-3 + 5). Which is bigger: 2/119 or m?
2/119
Let f = 55852 - 3184186/57. Is -11 smaller than f?
True
Let i = 0.87 - 0.749. Let c = -0.421 + i. Is c >= -13?
True
Suppose 5*y + 2790 = -5*c, 66*c - 3954 = 73*c + y. Which is bigger: c or -568?
c
Let m = 595 - 133. Let n be 6/(m/(-35))*(-4)/(-410). Which is smaller: -1 or n?
-1
Suppose -6*i = 3*g - 12, -95*g + 5*i = -99*g + 10. Are g and 5/183 non-equal?
True
Let k be ((-2)/18)/((2/15)/(2/(-3))). Let g(b) = -b**2 - 11*b + 7. Let y be g(-11). Suppose -4*n + y*n - 3 = 0. Which is smaller: k or n?
k
Let n(o) = 17*o - 96. Let q be n(6). Suppose -q = 12*j - 18. Which is smaller: j or 1/53?
1/53
Let u = 0.2275 + -0.1575. Is -93 != u?
True
Let y = -3.7 + -2.3. Let b = 7.9 + y. Let a = b + -1.9. Which is bigger: a or 1/32?
1/32
Let q = 879 - 29009/33. Let k = q + 103/66. Let m be 1/2*18 + -3. Which is bigger: m or k?
m
Let v = -8 - -13. Suppose -2*p + 3*j + 120 = 0, -85 = -4*p - 5*j + 111. Let k be 40/(-24)*p/(-15). Is v greater than k?
False
Suppose 6 = 9*f - 21. Suppose 22 = h - 4*a, a = -4*h + f*a + 32. Suppose 11*g + 5 = h*g. Which is smaller: g or 1/71?
g
Let n = -19857 - -19857.053. Which is bigger: n or 13.3?
13.3
Let u(l) = -90*l + 225. Let i(o) = 13*o - 32. Let t(n) = 27*i(n) + 4*u(n). Let a be t(4). Which is smaller: 1/48 or a?
a
Let t = -151 - -217. Let a = -783 - -718. Let o = a + t. Which is greater: o or -0.02?
o
Let x(l) = l**2 + 11*l - 53. Let o be x(-15). Let m be (5 - (11 - o))*(-2)/1. Which is smaller: 20 or m?
m
Let p be (194/(-15) - (-24)/(-60))*3. Let s be (2/p)/(4 - (-435)/(-110)). Let n = -9 - -7. Which is bigger: n or s?
s
Let o be (0 + 362/4)*-2. Let g(y) = 3031*y - 3211. Let s be g(1). Which is smaller: o or s?
o
Let s be -2 - -4 - 112/(-26). Let r(u) = 1733*u - 164629. Let q be r(95). Is q equal to s?
False
Let l be (0 + (-169749)/34)*(-140)/105. Let f = l + -6660. Is -4 greater than f?
False
Suppose 0 = 17*p - 12*p - 240. Suppose -12*t - 624 = p. Let z be -5 + 7 + t/18. Is -1 at most z?
False
Suppose 9*x + 4250 = -2437. Let w = 624 + x. Are w and -116 equal?
False
Let a(i) = i**3 - 18*i**2 + 91*i - 72. Let u be a(7). Let f be -3*1*(-274)/6. Suppose 3 = 5*c - f. Do c and u have the same value?
False
Let h = -12433.9461 + 12434. Which is smaller: h or -11?
-11
Let g be 7 - (-1 + 736/(-8)). Suppose j = -f + g, -508 = -5*j + 4*f - f. Is 101 < j?
False
Let t be (-1)/(-1 + 48/46). Let b = -48098 + 48073. Which is bigger: t or b?
t
Let g = -2846280/443 - -6425. Let c = g + -2473/16391. Which is smaller: c or 1?
c
Let w = -17.03 + -0.97. Let t = 8.4 + -7.4. Is w at most as big as t?
True
Let g be 393939720/56205072 + 0 + -7. Let l = g - 9/814. Which is bigger: l or 0?
0
Let v = 6364 - 50911/8. Is -547 less than or equal to v?
True
Suppose -d + 7*f - 3*f - 24 = 0, -54 = 3*d - 3*f. Let k be ((-1)/(-30))/(60/d + 8). Which is greater: k or -1?
k
Let z = 0.2 - 173.2. Let j = -89359 - -89358. Is z equal to j?
False
Suppose 20 = c - 48. Let x = c - 79. Let v be (-65)/55 - ((-20)/x + -2). Which is smaller: -3/26 or v?
v
Suppose 2*m - 2*o = 236 - 16, 430 = 4*m + o. Which is greater: 112 or m?
112
Let w(a) = 66*a - 2167. Let x be w(35). Is x less than 144?
True
Suppose 4