((-77)/56). Which is smaller: y or h?
h
Suppose 0 = -2*g + 5*g - 36. Let t be 1*(260/39)/20. Which is greater: t or g?
g
Let h = -6.19 + 7.19. Let b = -2 - -2.2. Let d = b - 0.3. Is h at least d?
True
Let y = -1196 - -1193. Which is greater: y or -8?
y
Suppose 0 = 7*i + 8*i - 15. Let m = -1/67 - -73/402. Is m not equal to i?
True
Let k = 0.33 + -0.364. Let c = k - -38.034. Let g = -38 + c. Which is smaller: 0.4 or g?
g
Let g = -1/12 + -1/12. Which is greater: g or 1/25?
1/25
Suppose 0 = -3*g + w + 37, 5*g + 7 - 66 = w. Suppose -n = 5*l + 17, 2*n - 3*n = l + 9. Let v = n + g. Is 1 less than or equal to v?
True
Suppose 19*n - 16*n = t + 79, 0 = -4*n + 20. Which is greater: t or -66?
t
Suppose 6 = -5*y - 2*q, y + 4*q = 2*q + 2. Let i be 36/(-3)*(1/y - -2). Is i < -19?
False
Let j = -10 - -10. Suppose 0 = 2*m - j - 2. Let d be -2*((-15)/10 + 1). Is d < m?
False
Let d = -3 - -12. Suppose -5*v - 3*q = -d, 4*q - 9 - 3 = -v. Let b be (8/(-96))/(15/(-30)). Which is bigger: v or b?
b
Let h be 1/(3/(-6)) + (2 - 1). Let p(f) = f - 6. Let u be p(5). Is u smaller than h?
False
Let q = -68/703 - 415133/3515. Which is smaller: q or -119?
-119
Let j = 0.22 + 12.78. Let w = -14.1 + j. Let v = 21.5 - 21.6. Is v greater than or equal to w?
True
Let n = 1294 - 1281. Let c = 0.3 + -0.5. Let x = 0.1 + c. Is x less than n?
True
Let v = -0.01 - 0.16. Let g = -21.6 + 21.5. Is g at most v?
False
Let h be (-7 + (-65)/(-10))/((-2)/(-4)). Let z = 11 + -27. Is h >= z?
True
Suppose 0 = 3*s - 2*n - 3*n - 1477, 5*s + 5*n = 2475. Is 495 >= s?
True
Let v be 3 + (-10)/2 + 2. Let f = 6311/37 + -170. Let b = f - -38/259. Is v <= b?
True
Suppose 4*s + 53 + 314 = -5*x, 4*s = -2*x - 382. Which is greater: s or -94?
-94
Let c(i) = -3*i - 3. Let o be c(-6). Suppose 0 = 6*t - t - o. Let f be 11/t - (-6)/18. Is f bigger than 6?
False
Let w(y) = 8*y**2 - 4. Let q be w(-2). Suppose 14*g + 196 = q. Let m be 13*-1*(-3)/(-3). Is g not equal to m?
True
Let t = -0.411 + 0.311. Which is smaller: t or 66/5?
t
Let k = -361 - -249. Let j = 2465/22 + k. Is j less than -1?
False
Suppose 23 = -l + 5*d, -30 = -5*l - 8*d + 4*d. Suppose 0 = l*w + 24 - 22. Is w > 3?
False
Let b be (2/(-24))/(20/1140). Is -4 less than b?
False
Let a = 23818/608009 - 2/5903. Is a smaller than 1?
True
Let c = -261 - -261.1. Is c < -17?
False
Suppose 0 = 11*u + 128 - 40. Is u bigger than -64/7?
True
Let q(i) = 2*i**2 + 5*i + 4. Let r be q(-3). Let b = 322 + -944/3. Which is smaller: r or b?
r
Let t(z) = z**2 + 21*z - 129. Let v be t(-26). Which is smaller: -2/149 or v?
-2/149
Let n = -64 + 63.86. Let u = -0.108 - n. Is u not equal to 0.1?
True
Let h = -252/5 + 499/10. Which is bigger: 23 or h?
23
Let r(q) = -q**2 - q + 34. Let h be r(-8). Let k be 1/(-27)*(4 - h/(-4)). Which is smaller: -1 or k?
-1
Suppose 14*l = 16*l. Suppose l = -3*v - 5*r - 15, -56 + 18 = 5*v + 4*r. Let k = -13 - v. Is k at least -1?
False
Let v be (-305)/(-20) + 3/(-12). Suppose -2*u + v = 3*h + 2*u, -9 = -3*u. Let n be (-3)/(-9)*0/h. Is 2/25 smaller than n?
False
Suppose l - 2*l = 3, 3*l = 3*c - 15. Let d = 312 - 2180/7. Is c < d?
False
Suppose -w = -2*w - 3*g + 3, -2*w + 4*g + 6 = 0. Suppose 0 = w*l - 5*l - 6, 24 = -2*x + 2*l. Let n = 22 + x. Does n = 6?
False
Let q be ((-26)/(-39))/((-6)/9). Is 4/235 equal to q?
False
Let j(l) = 5*l + 1. Let u(c) = -c**2 + 6*c + 2. Let z(i) = -4*j(i) + 3*u(i). Let n be z(1). Do n and -1 have different values?
True
Let r = 0.0215 - 0.4315. Which is smaller: 0 or r?
r
Suppose -3*i = -20 - 7. Suppose 0 = 2*v - 3*y + y - 30, -v + 30 = 4*y. Let f be i/v + (-6)/16. Which is bigger: -1 or f?
f
Suppose -2*l = 5*m + 3, -20 = 4*l - 0*m - 4*m. Let x(k) = k**3 - 8*k**2 - 3. Let o be x(8). Let u = o - 1. Is u >= l?
True
Let q be (-10)/(-6) + 459/(-81). Is -34/7 smaller than q?
True
Let v = -0.7 + 5. Let g = -4.2 + v. Let u = 0.08 + -5.08. Which is greater: g or u?
g
Let z be (-1)/52*-2*2. Suppose t = s - 0*s + 4, 3*s = -12. Suppose -p + 4*l + 15 = t, -2*p + 7 = 3*p - 3*l. Which is greater: p or z?
z
Suppose 0 = -4*s - 2 - 30. Let r be 4/(-40)*-5*s. Are 0.2 and r equal?
False
Suppose -5*r = -3*r - 3*u - 11, 6 = -2*u. Suppose 5*i - 20 = 2*i - l, 3*l = -3*i + 30. Suppose 4*o - i = -r. Is 4 smaller than o?
False
Let x(c) = 2*c**2 + 4*c - 8. Let z be x(4). Let u = 41 + z. Is u at least 81?
True
Suppose -249 = 2*c - 5*u + 123, 583 = -3*c - 5*u. Which is bigger: -188 or c?
-188
Suppose 19 = -0*j - j - 5*l, 3*l = -12. Let v(x) = 3*x**2 - 1. Let a be v(j). Let n = 458/285 + -2/285. Which is smaller: a or n?
n
Let r(n) = n**3 - 5*n**2 + n + 2. Let a be r(2). Let o(c) = 2*c**2 - 80*c - 266. Let q be o(43). Is q smaller than a?
False
Suppose 3*k = -0 - 21. Suppose 2*w = w + 6. Suppose -x + 0 = w. Which is greater: k or x?
x
Let s(g) = g**3 + 10*g**2 + 17*g + 11. Let u be s(-8). Suppose -5*c + 3*c = -u*c. Is 1/44 != c?
True
Let o be (2 + -3)/((-7)/28). Let u = o + 29. Let q be (2/(-15))/(22/u). Is 1 greater than or equal to q?
True
Suppose -3*z = -r - 13, 0 = -z + 5*r - 9*r + 13. Which is bigger: 8 or z?
8
Let p = -180 - -165. Which is bigger: 0 or p?
0
Let j = 0.44 - 0.8. Let i = -1.64 + j. Which is greater: i or -1/4?
-1/4
Let f = -18 - -10. Let i = -13 - f. Is -6 >= i?
False
Suppose -3*s - 30 = -2*a, 4*a + a + 4*s - 52 = 0. Let m be (-6)/a + (-61)/2. Let t = 24 + m. Is -7 < t?
False
Suppose -7*l + 576 = 9*l. Which is smaller: l or 33?
33
Let g(i) = i**3 - 3*i**2 + 5*i - 3. Let b be g(3). Suppose b = 29*u - 25*u. Suppose 3*a + 13 = -u*r - 8, -26 = 4*a + 2*r. Is a >= 1?
False
Suppose 10*k - 8*k - 5*x - 3 = 0, -2*k + 2*x = 0. Which is bigger: -294 or k?
k
Let b = 67/18 + -11/9. Suppose 4*l = 2*r - 13 - 1, l - 10 = -4*r. Which is greater: b or r?
r
Suppose -2923*f = -2911*f + 24. Let s be (6/1)/((-11)/1). Is f > s?
False
Let l be (-696)/(-352) - (-2 + 5 + -1). Is -1 at most l?
True
Let l be -857 + -113 + ((-6)/(-2) - -2). Are -966 and l equal?
False
Let d = 0.7 - -0.5. Let w = -0.2 + d. Let m = 7 - 12. Which is bigger: w or m?
w
Let a = 3.35 - 1.8. Let d = -1.4 + a. Let f = d + -0.05. Which is bigger: 3/4 or f?
3/4
Suppose 5*o + 0*o = -115. Let k = -0.57 + 13.57. Let b = k + -12.9. Is o > b?
False
Let p(x) = -x**2 - 23*x + 3. Let j be p(-19). Let w = j + -82. Is -8/5 > w?
True
Let w = 10.87 + 0.13. Let d = -11.264 - -0.204. Let i = d + w. Which is smaller: 1/2 or i?
i
Suppose 0 = q + 3*s - 12, -2*q + 60 = 3*q + 5*s. Let f = 11 - q. Let v be (-1 - -3)*f/(-6). Is -0.4 less than or equal to v?
True
Let x(s) = -s**3 - s**2 - 90. Let a be x(0). Do -89 and a have different values?
True
Let r = -7 - -7. Let a be (-6)/9 + r/(-1). Suppose -4*q + 8 = -6*q. Which is smaller: q or a?
q
Suppose m - 14 = 3*p, 2*m - 7*m - 2*p = -2. Which is smaller: m or 11/17?
11/17
Suppose 9*k - 5*k - 12 = 0. Suppose -2*d - k*d = f + 2, -4 = d - f. Let j be d/2*12/6. Which is greater: j or -3/8?
-3/8
Suppose 5*h + 3*u = 20, -2*h + 3*h + u - 4 = 0. Is h <= 4?
True
Let r(b) = -2*b - 1. Let f be r(-2). Suppose 0 = f*d - 4 + 7. Let c be (2/8 - 0)/(9/(-4)). Is c > d?
True
Let r = -0.18 + -0.17. Let b = -255.9 + 256. Is r >= b?
False
Let l = 1.2 + -0.2. Let t = l + 3. Suppose -m + 4*m - 3*n - 12 = 0, 5*n + 15 = 0. Are m and t non-equal?
True
Let u = -314/13 + 24. Let c be 1 + (-3 + 7 - 5). Suppose c = 5*j - 10 + 5. Is u at least as big as j?
False
Let p = -151.009 - -0.009. Which is smaller: -0.1 or p?
p
Let p = 28.1 + -3.1. Let g = p + -25.1. Are g and 1 unequal?
True
Let y = -69 + 66. Suppose 3*h + 9 = -2*f, 5*f - 6*h + 3*h = -75. Which is bigger: f or y?
y
Let o = -2.4 + 4.4. Is -18 not equal to o?
True
Let y = -4.6 - -4.8. Let s = 4.2 + -5. Let k = s - y. Is -0.5 != k?
True
Let m = 102 - 100. Let f = -1607/4 - -404. Is f less than or equal to m?
False
Suppose 2*u + 9 = -u. Let s(h) = -h**3 - 17*h**2 - 6*h + 157. Let w be s(-16). Is w greater than or equal to u?
True
Suppose 4*i - 5*i - 1 = -j, 0 = 4*i + j - 21. Suppose 0*d - 2*d + 88 = -i*f, -4*d = 4*f + 112. Which is smaller: -1/3 or f?
f
Suppose 4*w + 7 = -3*m - 2, 7 = 4*m - w. Suppose 0 = -4*q - 4, 0 = l - 3*q - m - 2. Which is smaller: l or 2?
l
Let c = -32 + -1. Let k = -32.99 - c. Which is smaller: 2 or k?
k
Let l = 1.02 - 0.94. Which is greater: l or 51?
51
Let b = -17.56 - -26.5. Let l = 9 - b. Let z = -44 + 43.9. 