). Which is greater: -22 or y?
y
Let l = -33.8 + 23.5. Let h = -10.2 - l. Is 0.05 at most h?
True
Let m be -6*(-5)/150 - (28966/(-245) - -10). Is -0.1 at most as big as m?
True
Let o = 481 - 470. Suppose 7 = -d - 2*z, 3*z + o = -2*d - 4. Is -14 smaller than d?
True
Let v(h) = -h**3 - 2*h**2 - 2*h - 4. Let y be v(-3). Let t = 15108 + -15095. Is t at least y?
True
Let w(c) = -2*c - 16. Let v be w(-7). Let p(r) be the first derivative of 2*r**3/3 + 4*r**2 - 3*r - 1. Let a be p(-4). Do a and v have the same value?
False
Let o = -3500959/20082 - 1/6694. Which is smaller: o or -173?
o
Let q(c) = -167*c**3 + 2*c**2 - 1. Let f be q(1). Let p be -2 - (2 - f/6). Which is smaller: -33 or p?
-33
Let t = 2562 + -2566. Which is smaller: t or -74/29?
t
Let r be ((-2)/(-3))/(3/(-36)). Let j(i) = -i**2 - 9*i + 17. Let m be j(r). Let u = m + -23. Do u and 7/5 have the same value?
False
Suppose -9414 = 4*y + 6*v, -434*v = -439*v - 5. Are y and -2351 equal?
False
Let o = -904 - -904.2. Is 113/12 at most as big as o?
False
Let u be (2 + 14/(-4))/(33/44). Let g be ((-777)/21)/(u - (-6 - -3)). Is -38 > g?
False
Let u = -77 + 92. Suppose 442 = -u*l - 2*l. Is l bigger than -24?
False
Let r be 16088320/182 + 10/(-35). Let h = 88497 - r. Let q = h - 100. Which is smaller: q or -1?
-1
Let q(k) = k**3 + 8*k**2 - 8*k + 6. Let z be q(-9). Let l = 1 - z. Let v = 9119 - 9122. Which is smaller: l or v?
v
Let p = -156 + 92. Let t be 10153/(-195) + 48/45 + -1 - 8. Which is smaller: p or t?
p
Let w = -1601 - -14419/9. Is w bigger than -15/4?
True
Suppose 18*n = 21*n + 114. Let u = -35 - n. Let p be (u/3 - 3) + 3. Which is smaller: -2 or p?
-2
Let f be (-15)/(-6)*-2 - (-29 - (-12)/(-12)). Which is smaller: 428/17 or f?
f
Let h be 8 + -3 + 3 - -1414. Do h and 1422 have the same value?
True
Let z be -2 - ((-1 - -1) + 8). Suppose 0 = 91*i - 96*i - 25. Let v(o) = -3*o**2 - 9*o + 21. Let d be v(i). Which is smaller: z or d?
z
Suppose b = -4*b + 5. Let z be (-34252)/2446*(-16)/(-32) + 7. Are b and z equal?
False
Let r be (((-26)/1553)/(-13))/(4/(-6)). Are -1 and r equal?
False
Let p = -1720 + 1719. Which is smaller: p or -664?
-664
Let w be 13/(13013/(-19227)) - -16. Are -3 and w nonequal?
True
Suppose -5*r + 340 = 2*f, 3*f + 2*f = 4*r - 272. Suppose 7*g + r = 11*g. Suppose 7*n + h + 1 = 2*n, g = -n + 4*h. Do 0.1 and n have different values?
True
Let x = 3492.1072 + -1.1072. Which is greater: x or 2/7?
x
Let c = -163 - -111. Let l be ((-2)/(-14))/(4238/c). Which is smaller: -1 or l?
-1
Let u = 60 - 97. Let l = 49 + -88. Is l at least u?
False
Let o(m) = 54*m**2 + 3397*m + 154. Let l be o(-63). Is 478 < l?
False
Let d be (10/1)/(7656/(-783)). Is d < 0?
True
Suppose -269*d + 4399 = -352*d. Which is smaller: d or -1/5?
d
Suppose -18*g + 16*g = -5680. Suppose 4*j = -4*x - 5364, x = -2*j + 153 - g. Let z = j + 152096/113. Are -1 and z nonequal?
True
Let k(v) = v**3 + 9*v**2 + 8*v + 9. Let j(n) = 2. Let y(g) = 4*j(g) - k(g). Let x be y(-8). Let d = 941/7 + -134. Is x greater than d?
False
Suppose 26*p + 6864 = -26*p. Which is smaller: -126 or p?
p
Suppose 0 = -9*f - 5*u - 44, 3*f - 4*u - 57 + 32 = 0. Which is smaller: 43/117 or f?
f
Let y(b) = -b**3 + 43*b**2 + 90*b - 115. Let m be y(45). Does m = -61?
False
Suppose 35*j - 383 = 247. Suppose 25 = 13*m - j*m. Which is smaller: -11 or m?
-11
Let u = 272.206 - 164.159. Let h = u - 108. Let k = -3.847 + h. Which is smaller: 0 or k?
k
Let j = -276/185 + 14/555. Let q = -7 - -7. Which is smaller: j or q?
j
Let o be (-18912)/(-60) - 8/(-10). Let i be 6/30 + (o/(-280) - -1). Let g(s) = -s**2 + s + 7. Let u be g(3). Which is bigger: i or u?
u
Let f = 9.074 + -79.081. Let j = 70 + f. Let a = j + 5.007. Which is smaller: a or 11?
a
Let a = -19361 - -19146. Which is smaller: -34 or a?
a
Let m = -5 + 11. Suppose 0 = r - 11 + 15, 0 = 4*j - r - 8. Which is smaller: j or m?
j
Suppose -38 = 5*u - 3*u - 4*p, -p + 41 = -4*u. Let t be 1 - (2/u + 133/(-9)). Suppose t*i + 156 = 22*i. Is 25 > i?
False
Suppose -11*b - b - 32640 = 0. Let w be 8 + b/248 + 3. Let j(g) = -g**2 - 4*g. Let f be j(-4). Which is greater: f or w?
w
Let u = -47.041 + 47. Let y = -7.459 + u. Let p = 7.4 + y. Which is smaller: p or -2?
-2
Let r(i) = -18*i + 147. Let f be r(9). Let c be (858/9)/((50/f)/(-5)). Which is bigger: c or 425/3?
c
Let q = -0.5 + -0.25. Let j = q + 5.45. Let t = j - 4.4. Is t at most 3/5?
True
Let k = 322.96782 - -0.03218. Is k bigger than 16?
True
Suppose -8*a = 191 + 1401. Let z = 219 + a. Which is smaller: 131/7 or z?
131/7
Let m be (-2 + 1)*-56 - (-6 - -5). Suppose c - 2*y = -36, -4*c - 5*y - 100 = m. Let i = -34 - c. Are 4 and i unequal?
False
Let r = 2 - 10. Let y = -131 - -174. Suppose 8 + y = -17*m. Which is smaller: r or m?
r
Let v = -2959 + 3391. Is 432 bigger than v?
False
Suppose 2*w - 4 = 5*u + 7, 23 = -4*w - 5*u. Let m be 1 - 9/12 - 475/(-280). Let s = -18/7 + m. Which is greater: w or s?
s
Suppose -5*n = -2 - 3, -5*q + 153 = 3*n. Suppose 0*p - 2*p = q. Let f = 1428 + -1426. Which is smaller: f or p?
p
Suppose -10*p = -319 + 79. Suppose -19*y + 7*y = p. Is -8 at least as big as y?
False
Let y(v) = -4*v**2 - 8*v + 20. Let s be y(5). Let q be ((-4)/10)/(3/s). Does q = 11?
False
Let o = -1265/14577 - 10/339. Which is bigger: o or 0?
0
Let m = -6413 + 3174. Which is bigger: -3238 or m?
-3238
Suppose -2*j + 69 + 125 = 0. Let c = -42 + j. Let z = 48 - c. Is z equal to -3?
False
Let q = 88235.849 - 88167. Let r = q - -0.151. Let y = -68 + r. Is -37 greater than or equal to y?
False
Suppose -2*b + 2*w - 4449 - 2813 = 0, -2*b - 7262 = 4*w. Is b at most as big as -3633?
False
Let j be 65/(-26) - (-12)/(-8). Let i be (13/((-221)/4))/(j/198). Is 12 greater than or equal to i?
True
Let s = 294 + -12935/44. Suppose -p - 39*p + 40 = 0. Which is bigger: p or s?
p
Let f(v) = -v**2 + 19*v + 52. Suppose -19 = i - 39. Let t be f(i). Is 32 >= t?
True
Let z = 927 - 930. Let j be ((-815)/20)/((-2667)/196) + z. Suppose -5*h = f - 9, 4*h + h - 6 = -4*f. Which is smaller: f or j?
f
Let x = -14/15 + 5/6. Let z(s) = -s**2 + 5*s + 13. Let k be z(-4). Let p(b) = -b**2 - 26*b - 68. Let j be p(k). Which is greater: x or j?
j
Let u = -934 + 943. Is u less than or equal to 2.88?
False
Suppose 2 - 2 = 18*g. Suppose g = 8*i - 15*i - 14. Let f be 1/i*-1*(-9 + 9). Which is bigger: f or 10/7?
10/7
Let k(f) = -f**3 + 17*f**2 + 27*f + 35. Let z be k(17). Let j = z + -578. Which is smaller: j or -87?
-87
Let k = 4574 + -4543. Which is bigger: -9 or k?
k
Let n = 44.105 + -46. Let u = n + -0.105. Let k = 7 + -19. Which is greater: k or u?
u
Let y = 1312 + -1304. Let b = -0.2 + 2.1. Which is smaller: y or b?
b
Let d = 15 - -27. Let t be (d/(-15) + 2)/(2/(-60)). Suppose -7*h - t = 5*h. Which is smaller: -1 or h?
h
Suppose 4*l = 10*l - 756. Suppose -603 = 123*k - l*k. Do k and 201 have the same value?
True
Let n = 45.2 - 45.2. Is 123/8 greater than n?
True
Suppose 0 = -3*m - 3*m + 12*m. Let w be 654/3320 + 18/(-90). Which is smaller: m or w?
w
Let b = 1.02 - 0.02. Let u = -63.21 - -64. Let y = 0.758 - u. Which is greater: y or b?
b
Let p = -2052 + 1145015/558. Is -1 at most as big as p?
True
Let y = 679.343 - 679. Let u = -9.343 + y. Do u and 4 have the same value?
False
Let c = 951/394 + -1665057/6698. Suppose -492 = -2*i - 5*w, 3*i + 2*w + 142 - 880 = 0. Let a = c + i. Which is bigger: -1 or a?
a
Suppose 0 = -9*s + 333 + 9. Let y be (-4)/6*(-6441)/s. Let j = y + -83. Is 30 not equal to j?
False
Let v(t) be the first derivative of 12 - 17*t - 1/2*t**2 - 1/2*t**4 - 28/3*t**3. Let p be v(-14). Is 12/11 <= p?
False
Suppose -4*a + 170 = 2*b, -14*a = -4*b - 11*a + 384. Let z = 129 + -37. Which is greater: z or b?
b
Suppose -614*p + 1466458 = -739777 + 442213. Is p less than -1?
False
Suppose 30*h - 17*h = -1365. Let w be (6/8 - h/(-28)) + -367. Do w and -370 have different values?
False
Let c(i) = -i**2 - 30*i - 95. Let l = -284 - -260. Let g be c(l). Which is smaller: g or 50?
g
Let v = -0.10745 + 0.12245. Let m = -0.323 + -2.692. Let z = m + v. Which is smaller: z or 2?
z
Let w = 391 + -1956/5. Let g = -8 - -6. Which is bigger: w or g?
w
Suppose -4165 - 376 = 19*y. Let h = -237 - y. Which is smaller: 18/29 or h?
18/29
Let s(i) = -2*i**2 - 9*i + 7. Let v(b) = -3*b**2 - 14*b + 10. Let c(w) = -8*s(w) + 