*u + 176 = -5*u. Let n = u + 34. Suppose 4*x = n*x. Which is greater: 9 or x?
9
Suppose -7*o = -2*o. Let z be (-7)/(504/369) + 5. Which is bigger: z or o?
o
Let a be 18/(-10)*(-45)/27. Suppose 93 = -a*b + h, -5*b + 3*h = -h + 155. Which is smaller: -32 or b?
-32
Let m be 2 + (-306)/(-116) - (-45)/(-18). Is m >= 3?
False
Suppose -4*r = 9*r - 299. Suppose -5*g + 4*w - 147 = 10, 0 = w - 3. Let l = r + g. Is -6 bigger than l?
False
Let n be 4/8*(3 - 9). Let a = n - -7. Which is smaller: -2 or a?
-2
Let h = -8 + -101. Is h >= -109?
True
Let t = -41 - -2.8. Let r = -38 - t. Let w = 19.9 + -2.9. Which is bigger: w or r?
w
Let m = 1049/330 + -45/22. Let k = -4/3 + m. Let z be (2/3)/(46/(-69)). Does k = z?
False
Let a = 0.9 - 0.8. Let b = a - -0.6. Let k = 0.75 - b. Which is bigger: -1/2 or k?
k
Suppose 0 = -2*k + 466 - 222. Is k less than 123?
True
Suppose 4*g - 5 = 3. Let j be (((-4)/7)/g)/1. Let c = -94.4 + 91. Is j less than c?
False
Let c = -491 + 240. Which is smaller: c or -2/15?
c
Let d = 0.632 - -0.368. Is -0.153 equal to d?
False
Let y = -12 + 5. Let j(x) = -x**3 - 8*x**2 - 8*x - 6. Let g be j(y). Let i be (-6)/74*22/33. Which is smaller: g or i?
i
Let b be 8 - (6 - 168/(-54)). Which is smaller: b or -24?
-24
Let a(z) = z**3 - 15*z**2 + z - 7. Let x be a(15). Let y be -6*4/(-12) - x/2. Which is smaller: -19/6 or y?
-19/6
Let a = -201 + 182.6. Let n = -6.4 - a. Is 0.1 equal to n?
False
Suppose -2*p + 212 = 14. Suppose 0 = -3*t + p + 51. Suppose -5*x - t = -0*x. Is -9 bigger than x?
True
Let f be 18/(((-3)/12)/(9/180)). Is f greater than or equal to -5?
True
Let h(w) = -w**2 - 6*w - 21. Let z(m) = m**3 - 8*m**2 + 8*m - 14. Let s be z(7). Let f be h(s). Which is smaller: -29 or f?
-29
Suppose f + 4*x - 1 = 0, f = -2*x + 6*x + 1. Suppose -n + f + 6 = 0. Suppose 12*j - n*j = -35. Is -6 not equal to j?
True
Let k = 0.68 - 4.68. Are k and 5/2 equal?
False
Let o be (792/20 - 3) + 14/35. Suppose 0 = -2*t - 0*t + 76. Is t < o?
False
Let n = 35.3 - 34. Let w = -1.7 + n. Which is smaller: -5 or w?
-5
Let b(s) be the third derivative of s**4/12 - 15*s**3/2 + 6*s**2. Let l be b(15). Which is smaller: -11 or l?
l
Let t = 133/12 + -1043/96. Which is bigger: 0 or t?
t
Let v = 2/49 + -55/2548. Which is smaller: 1 or v?
v
Let c = 18 - 25. Let k = c - -6.9. Let g = 23/24 - -7/24. Which is bigger: g or k?
g
Suppose 0 = -11*f + 5*f + 48. Suppose 5*z - 4*z - f = 0. Suppose z = 4*l, w = -2*w + l - 5. Is 2/19 greater than w?
True
Suppose 0 = -4*z - 4*a, -2*z - a - 8 = z. Let i = -7 - -5. Let n be 9 + -2 + -5 - i. Which is greater: z or n?
n
Let u be (-1 + (-9)/3)*-1. Let b be 1/(u/(-8 - 0)). Let i be b/(-7) - 22/(-21). Which is bigger: i or 2?
2
Let u = -4 - -12. Let z = -11 - u. Let g = z + 18. Which is greater: g or -4?
g
Suppose 15 = 5*t + 5*r, -191*t + 5*r - 14 = -195*t. Which is greater: 1/2320 or t?
t
Let q = -1/213 + -4043/852. Are -4 and q unequal?
True
Let h(v) = -v**2 + 9*v - 10. Let i be h(5). Let a be ((-6)/30)/(4/i). Which is smaller: -2 or a?
-2
Let z be ((-14)/70)/(2 + 204/20). Do -2 and z have the same value?
False
Let r(g) = 2*g. Let t be r(-9). Let o be (1 + 0)/(t/90). Suppose 0 = -x, -2*f + 3*f = 5*x - 7. Which is smaller: f or o?
f
Suppose 0 = l + 2*i + 25, 2*l = 3*i + 2*i - 59. Let c be 1 - 2 - (-5)/4. Which is bigger: c or l?
c
Let t = -48 - -69. Let b be (-9)/6 - (t/(-2))/(-7). Which is smaller: -5 or b?
-5
Let x be ((-495)/(-420))/((-18)/16*-1). Is 1 at least x?
False
Let o be (4 - 2) + 1816/(-234). Let y = 72/13 + o. Let j = -1203 - -1202. Do j and y have the same value?
False
Let c = -0.6469 + -0.0131. Is -1 > c?
False
Let r = 159 - 116. Which is smaller: 83/2 or r?
83/2
Suppose -r + y - 4*y = -11, -4*r + 5*y - 7 = 0. Let n = 634 - 632. Suppose 0 = -2*w - 2*u + 38, -r*w - 3*u - n = -43. Is 16 greater than or equal to w?
True
Let w(o) = -3*o**2 - 13*o + 138. Let d be w(9). Is -224 greater than d?
False
Let m(g) = g**2 - 28*g + 30. Let v be m(27). Suppose -3 = a - 1. Let z be a/(-2 + (-16)/(-14)). Which is smaller: v or z?
z
Let y be -2 + (-1)/(-1) + 4. Suppose -y*w = 2*w - 20. Suppose 5*r - 20 = 3*k, -12 = 3*r + w*k - k. Which is bigger: 6/5 or r?
6/5
Let w be (-52)/780*18/(-88). Which is smaller: w or 1?
w
Let o = -16 - -12. Let u be o/(-14) + (-62)/21. Let c = 5 - 7. Which is greater: u or c?
c
Let z be (-3)/(-6)*12/14. Let p be 85/3 - (-2 - -2). Let h = p - 28. Which is greater: h or z?
z
Suppose 2*u - 11 = -3*v, 0 = -0*u + 5*u - 2*v - 18. Let i be u + (-135)/20 + 3. Is 4/5 greater than or equal to i?
True
Let r = -704 + 788. Do 81 and r have the same value?
False
Let p = 64 + -63. Let j be p/(-6) + (-38)/(-12) + -5. Let g(l) = l**3 - l**2 - 1. Let n be g(0). Is n > j?
True
Let l = 9.8 - 10. Let r = l - 9.8. Let x = r + 3. Which is bigger: x or 1?
1
Suppose t = -5*g - 433, 3*g + 136 = 4*t - 133. Is g at most as big as -86?
True
Let a be (2 - -2 - 2) + 2. Let q be ((-6)/(-9))/(a/6). Suppose -4*u = -5 + q. Which is bigger: 2 or u?
2
Let b be (2/20*-4)/((-6)/20). Which is greater: 2/9 or b?
b
Let z = 468 - 1875/4. Suppose 5*d + 0*h - 4*h - 6 = 0, -4*d - 16 = 2*h. Which is bigger: z or d?
z
Let j = 4100/3 - 1354. Are j and -7 equal?
False
Let j be (-336)/(-111) + (-5 - -2). Suppose c + 4*n = -3*c + 20, 3*n = 2*c + 10. Is c <= j?
False
Let l be 252/(-42)*(-6)/4. Which is bigger: l or -0.066?
l
Let f be (-4)/(-9) - 2509/4680*4. Which is greater: f or -1?
-1
Let k(w) = -w**3 - 13*w**2 - 36*w. Let l be k(-8). Let v = -35/2 - -249/14. Are l and v non-equal?
True
Let p = 394 - 394. Do p and -2/807 have different values?
True
Let t be 5/(160/(-24)) - 21/(-12). Which is bigger: t or 36?
36
Suppose -5*m - 4*r = 15, -m + 3*r + 2*r = -26. Let l(a) = a**3 + 18*a**2 - 46*a - 117. Let j be l(-20). Is j greater than or equal to m?
True
Let g(b) be the second derivative of b**4/12 + b**3/6 + b**2 + 4*b. Let l be g(-2). Let k = -13/2 + 6. Is k < l?
True
Suppose 0 = 4*c - i + 3 + 1, 0 = -5*c + 5*i - 20. Let w = -2 + c. Which is smaller: -3 or w?
-3
Let y be (1 - 3)*(-10)/4. Suppose -m - y = -2*t - 1, 4 = -2*m. Let f = 1583/11 + -144. Are t and f unequal?
True
Let q be 12*(-1 + 3/2). Suppose 21*x = 87 + 58 + 2. Which is smaller: q or x?
q
Suppose c + 19 = 4*o, -o + 16 = 3*c - 7*c. Suppose -2*d - 5*z - 7 = 0, -5*d + 61 = -d - 5*z. Let f be (-6)/d*(-14 + 8). Is o < f?
False
Let i(u) = -u + 12. Suppose -5*c - 10 = -2*p, -5 = -p + c - 0*c. Let w(z) = 3*z - 3. Let t be w(p). Let y be i(t). Which is smaller: -3/11 or y?
-3/11
Let m = -181 + 200. Is m smaller than 11?
False
Let f be 9/(-18) + 9551/19758. Let g = f + -10/267. Is g bigger than 1?
False
Let b be (18/48)/((-9)/(-48)). Which is greater: 0.13 or b?
b
Let c(n) = -2*n**2 - 8*n - 7. Let u be c(-5). Let a = -27 - u. Suppose 0 = 3*w - 6*i + 15, 5*w = i - 10 - 42. Which is bigger: w or a?
a
Let a = -416 - -465. Which is smaller: 45 or a?
45
Suppose 2*a - 164 = -2*y, -4*y + 8*a + 327 = 11*a. Is 81 > y?
False
Let b = 9.3 - -3.7. Which is smaller: 2 or b?
2
Let v be 8/124*(-1)/(-6). Which is smaller: v or -1?
-1
Let t = -47 + 71. Let j = -25 + t. Which is smaller: j or 13?
j
Suppose -4*x - 2*q - 6 + 10 = 0, -5*x - 4*q + 5 = 0. Let h = 4/25 - 18/425. Is x < h?
False
Let h = 12 - 8. Suppose 0 = b + l + 2 - 11, -l - 9 = -2*b. Is h greater than b?
False
Let a(h) = h**3 + 6*h**2 + 5*h + 6. Let d = -10 + 5. Let o be a(d). Suppose 2*n = i + 16, 4*i = 2*n + 2*i - 18. Which is smaller: n or o?
o
Let i = 10 - 6. Suppose 5 = -3*y - i. Let f(t) = -2*t**3 + 4*t**2 + 7*t - 11. Let z be f(1). Which is bigger: y or z?
z
Let f be (-7)/28 - 2*9. Let o = 59/4 + f. Are -4 and o equal?
False
Let m = 0.69 + -0.59. Let z = 0.42 + -0.4. Let j = z + 0.28. Is m at most as big as j?
True
Let s be -2 + -4 - (-10)/5. Let q be (s/10)/((-62)/(-10)). Which is smaller: 0 or q?
q
Suppose -5*b - 4*x - 4 = -29, 0 = 4*b - 3*x + 11. Which is smaller: -2/4597 or b?
-2/4597
Let m = -33 - -33. Is m != 3/173?
True
Let v be ((-5)/345)/(124/32616). Let r = -102/31 - v. Is r <= 2?
True
Let r(h) = -h**2 - 7*h - 8. Let w be r(-5). Let t be -4 + (-4 - -4) - 2. Let j be (-4)/t + 8/(-48). Which is smaller: j or w?
j
Suppose z = 4*x - 108, -4*x = 11*z - 15*z - 120. Which is smaller: x or 28?
x
Suppose v + 2 = 8. Suppose -2*q + 4 = -4*j, 2*q - 5 = -j - 16. Let m 