-1)*-1 - 0. Which is bigger: h or c?
c
Let m = 558 + -500. Let h = -29642/5 + 11973/2. Let b = h - m. Which is bigger: -1 or b?
b
Let u be 13/7 + (1 - 3). Let d = 1.46 - -0.14. Let p = -0.4 - d. Which is smaller: u or p?
p
Let l be (10/4)/((-33)/12 + 3). Suppose -9*o + 43 + 56 = 0. Are l and o non-equal?
True
Let x = 290 - 310. Is 10 less than or equal to x?
False
Let f = -105 + 417/4. Suppose -5*r + 4*r = 30. Let s = r + 28. Which is smaller: f or s?
s
Let d be 9/4*(-4)/(-3). Suppose 0 = u - d*u. Suppose -4*f - 2*g + 6 = u, 4*f + 0*g = 4*g. Which is smaller: -1/6 or f?
-1/6
Let u = -36 - -23. Let v(z) = z**2 + 13*z. Let q be v(u). Suppose 6*w + q*w = 24. Is w smaller than 5?
True
Let w = -39 - -52. Suppose 54*c - 20 = 49*c. Is w at least as big as c?
True
Let n(k) = -k**2 + 5*k + 11. Let r be n(9). Is r at most as big as -178/7?
False
Let c be (27/18)/(6/(-196)). Is -49 bigger than c?
False
Let h be -1*15/42*-18. Is h smaller than 0.2?
False
Let h = 4.18 - 4. Let j = 0.52 + h. Let l = 0.8 - j. Are -0.04 and l non-equal?
True
Let i = -6.916 + -0.014. Let j = -0.93 - i. Suppose 0 = 2*m - 0*m. Is j equal to m?
False
Let b be (11 - 310/30)*-1266. Is b >= -844?
True
Let f be (9/27)/(2/(-19242)). Let h = 772889/241 + f. Which is bigger: 1 or h?
1
Let h be 365/540 - 15/(-60). Do 0 and h have different values?
True
Let d(x) be the third derivative of 7*x**4/24 - x**3/3 + 13*x**2. Let l = 4 - 1. Let y be d(l). Is y at most 20?
True
Suppose 3*w - 2958 = 54*w. Is w at least as big as -34?
False
Suppose -2*b = -b + 1. Let f be (b - (-28)/(-20)) + 2. Which is bigger: -14 or f?
f
Let o = -2178 - -128488/59. Which is smaller: 1 or o?
o
Suppose 0 = u - 4*s - 25, 6*u - 2*u = 4*s + 64. Is 12 less than or equal to u?
True
Let g(v) = v**3 + 5*v**2 - v - 5. Let i be g(-5). Suppose i = 5*a + 1 - 221. Is 43 not equal to a?
True
Suppose -63 = -3*f - q + 16, -5*f + 150 = -2*q. Let y be 24/f - 1/(-7). Which is bigger: y or -7/16?
y
Suppose 15*s + 7 = 37. Which is smaller: -383 or s?
-383
Let q = -1778 - -12419/7. Is -4 equal to q?
False
Suppose 0 = d + 5 - 22. Let s = 19 - d. Let w be s/(-1) + 55/15. Is w at least 1?
True
Let l = -0.5278 - -67.4678. Let h = 0.06 + l. Is 0 bigger than h?
False
Suppose -v - 34 = -4*m + v, 0 = -5*m - 4*v + 23. Suppose 1 = d - m. Suppose -d*c + 3*c + 35 = 0. Which is greater: -0.1 or c?
c
Let t = 2500/51 + -146/3. Let w = t - 7/68. Let p(j) = -4*j**2 + 9*j - 4. Let n be p(1). Is w >= n?
False
Let y be ((4/(-21))/(-2))/(3/(-9)). Let a = 25.7 + -25. Which is smaller: y or a?
y
Let t(u) = 2*u**2 + 8*u. Let j be t(-4). Suppose -2*z + 2 + j = 0. Is -2.1 bigger than z?
False
Let l(x) = -x**2 - 3*x + 3. Let k be l(-4). Let q be -4*((-275)/70 + 44/11). Is q bigger than k?
True
Let m = -46 + 54. Let z be m/3 + ((-4)/(-3) - 2). Let x(h) = h**2 + 3*h. Let r be x(-5). Is z less than r?
True
Let t = 1 + 2. Suppose -2*p - 8 = -6*p. Suppose -3*i + p = -5*g - 0, 4*i - 8 = 4*g. Is i smaller than t?
False
Suppose 0 = 4*w + 2*n + 82, -n - 67 = 4*w + 4*n. Let d = 37 - w. Let s be (-1)/10*(-25)/d. Which is smaller: s or 1?
s
Let v = 24 + -27. Let l = 2.9 + v. Which is bigger: 0.23 or l?
0.23
Let l = -19 + 10. Let h be (-21)/56*3/l. Let s(y) = -y**2 - 3*y - 1. Let o be s(-3). Is h bigger than o?
True
Let w be (-237)/7 - 660/(-770). Is w at least -4?
False
Suppose 20 = -8*r - 108. Let q be r/(-72) - (-212)/18. Is q greater than or equal to 12?
True
Let n = -152.1 + 152. Which is smaller: n or 1/104?
n
Let v = -12.9 - 2.1. Let o = 0.1775 + -0.0775. Do v and o have different values?
True
Let f = 1.64 - 141.64. Let v = 141 + f. Is v < -81?
False
Let x = 866 - -1142. Let s be -3 - (-4534)/x - -3. Let i = s + -2/251. Which is bigger: 2 or i?
i
Let l(w) = -13*w - 74. Let b be l(-5). Does b = -7?
False
Let n = 0.8 - 1. Let b = n - -0.1. Let o = 9.73 - 10.03. Which is greater: b or o?
b
Let u be -1 - (60/5)/(-12). Which is greater: 1/12 or u?
1/12
Let c = -5 + 8. Let s be (4/(-18))/((-38)/1710). Which is smaller: s or c?
c
Let o(d) = d - 4. Let l be o(-5). Let s = l + 13. Let j(k) = -2*k - 5. Let z be j(-4). Which is smaller: s or z?
z
Suppose -4*s = -29 + 5. Let f be (-5)/(-3) + s/18. Which is smaller: 6/5 or f?
6/5
Let d = 1 - 0.9. Let y = -2249 - -2248.862. Which is bigger: y or d?
d
Suppose 4*r - 8*r = -64. Suppose 5*i = -5*q + 15, -2*q - 3*q + r = 4*i. Is -15/13 <= i?
True
Let v be (-32)/(-12) - 5/(-15). Suppose 3*b + 2 = -5*k, -v*k = b - 4*b - 18. Let d be -1*(k + (-32)/14). Is -2/3 greater than d?
False
Let w(p) = -p - 7. Let k be w(-14). Let l(o) = o**3 - 6*o**2 - 7*o + 4. Let u be l(k). Suppose -u*x + x = 0. Is x at most -3/7?
False
Let q be (-1651)/149 - -5 - -6. Is 1 at least q?
True
Suppose -5*o + 9*o - 3*x + 1788 = 0, -5*x = 4*o + 1788. Which is smaller: -445 or o?
o
Let t be 6278/(-483) - (19 + -32). Which is smaller: t or 0?
0
Suppose 0 = q - 16*q + 30. Is -24 at most q?
True
Let d(w) = -w**2 + 22*w - 119. Let j be d(12). Which is greater: 0.011 or j?
j
Suppose -5*z - 5*t - 25 = 0, 9*t - 14*t - 25 = 0. Is z at most -12/89?
False
Suppose 0 = -3*h + 6*l - 3*l - 9, 0 = 3*h - 5*l - 1. Suppose -2*f = -f + 10. Is h less than f?
False
Let t = -413.99 + 417. Let d = t - 0.01. Let i = -4.1 - -4. Is i < d?
True
Let x = 11.2 + -41.9. Let a = 29 + x. Let f = a + 0.7. Does 8 = f?
False
Let t be 2/(-2) + (108/(-8))/(-3). Let n(l) = -l**3 + 3*l**2 + 2*l - 3. Let g be n(3). Suppose -k = -g*k + 6. Which is greater: t or k?
t
Let h = 244.8 - 245. Is -10.7 greater than h?
False
Suppose 3*v + 2 = -4. Suppose -2*w - 19 = -4*a - 3*w, -a + 3*w - 5 = 0. Let t be 1 + v + a + 4. Which is smaller: t or 11/2?
11/2
Suppose -5*q = 99 + 111. Is q at most as big as -85/2?
False
Let z = 2465620/497 + -4961. Which is bigger: -1 or z?
z
Let l be (2 - -1)*(-15)/(-9). Let v be ((-4)/70)/((-1)/l). Let k = -191/3 + 63. Which is greater: k or v?
v
Let d = -419.8 - -274.9. Let m = d - -169. Let i = 24 - m. Is i less than or equal to -0.05?
True
Suppose -10*p + 1449 - 199 = 0. Is p equal to 126?
False
Let x = -9/8 + 7/8. Let q = 66.59 - 1.59. Let d = q - 67. Is d smaller than x?
True
Let y(q) = 7*q**2 - 8*q - 37. Let o be y(7). Which is smaller: o or 249?
249
Let i(p) = -2*p - p + 9 + p. Let z = -16 - -22. Let h be i(z). Which is bigger: h or -2?
-2
Let m be 13 + 7 + -5 + 1. Which is smaller: m or 15?
15
Let z = -1215 - -1540. Do 324 and z have different values?
True
Suppose 27 = 4*k + 3*d, -14*k + 3*d - 9 = -15*k. Is k smaller than 36/7?
False
Let u = 246.4 - 174. Let c = -74 + u. Which is smaller: -0.2 or c?
c
Let u = 20 - 18. Let i be (-3 + 2 + u)*-3. Let m(c) = 2*c. Let b be m(-2). Which is bigger: i or b?
i
Let g be -2*(-3 - 9)*1. Let h be (-2 - 1)*8/g. Which is bigger: 4/15 or h?
4/15
Let c(j) = j - 6. Let a be c(6). Let z(p) be the second derivative of p**3/6 - 13*p**2/2 - 2*p. Let t be z(12). Which is smaller: a or t?
t
Suppose 3*f - j = -7 + 5, -4*f = j + 12. Which is smaller: f or 7?
f
Let c = 83 + -79. Suppose w = c*w - 4*w. Which is smaller: w or -3/25?
-3/25
Let o be -2 - (2 + -2 - 0). Let g be -1*o*1/(-6). Let n(m) = m**3 + 6*m**2 - 8*m - 3. Let j be n(-7). Which is greater: g or j?
j
Let b = -0.0346 + 23.2146. Let x = 23 - b. Let z = x + 0.18. Which is bigger: -4 or z?
z
Suppose -4*m = -9*m + 15. Let a = -2 - -8. Suppose a*b + 12 = 10*b. Is m less than b?
False
Let b(u) = 4*u + 9*u**2 + 2*u**3 + 3*u - 4 - 5*u. Let v be b(-4). Is 5/2 smaller than v?
True
Let s = 138.25 - 138. Which is smaller: s or 1/2?
s
Let k = -3039/2 + 33441/22. Suppose -4*q = -3*s - 20, -s + q = 4*q - 15. Are s and k nonequal?
True
Suppose y + 1 = 5*f, 4*y - 12 - 6 = -2*f. Let g be (1 + f)*(-15)/30. Let o = 25/18 + -3/2. Is g not equal to o?
True
Let b = 109 - 209. Let q = 81 + b. Is q greater than -130/7?
False
Let g = -21 + 21. Suppose 3*n = 9, g*x + x = -n + 1. Let c be ((-1)/x)/(9/18). Are 0.2 and c equal?
False
Let a be 14/12*(20/819)/(-5). Which is smaller: a or -1?
-1
Let c(a) = -20*a**2 + 34*a + 129. Let d be c(-4). Is d < -325?
True
Let i = -269 - -270. Let f = 4.97 + -5. Which is bigger: f or i?
i
Let w(z) = -z**2 + 9*z. Let g be w(4). Suppose -8 = 4*n - g. Which is smaller: 17/6 or n?
17/6
Suppose -5*j + 2*j = 3. Suppose -3*t - 46 = 2*a, 4*t = 2*t - 3*a - 24. Let d be 2 - t/(-10)*2. Does j = d?