. Is f greater than 1/2?
False
Suppose -76 + 28 = 2*d. Let g = 23 + d. Is g less than 0?
True
Let k = -145291 + 11187221/77. Let j = k + 22/7. Let m be (0*5/(-15))/1. Do m and j have the same value?
False
Let z = 22 + -51. Let k = -29.1 - z. Is k != -3.1?
True
Let l be 0 - (-608)/(-55) - -1. Let k = -14700 - -161574/11. Let t = k - l. Which is bigger: t or 0?
0
Let z(g) = g**2 + 14*g + 32. Let r be z(-11). Are -3/40 and r non-equal?
True
Let c = -19 + 23. Let k be 20 + -9 - c/(-1). Let v be (10/(-12))/(k/(-12)). Do 8 and v have the same value?
False
Suppose -4*x + 5 = j, -2*x + x = 3. Let h(r) = -4*r. Let f be h(-4). Let g = j - f. Which is greater: -1/9 or g?
g
Suppose 2*o + 5*r - 8*r + 170 = 0, -4*o + 5*r = 344. Does o = -92?
False
Let u = -5 + -8. Let o = u + 12.9. Let l be ((-24)/9)/(2/6). Which is bigger: l or o?
o
Let l(a) = 10*a + 121. Let d be l(-12). Which is smaller: 50/61 or d?
50/61
Let a = -20 + 19.99. Let s = a - 0.18. Let p = -0.29 - s. Is p less than -1/16?
True
Let b(w) = w**3 + 4*w**2 + 10*w + 6. Let d be b(-2). Is 6 at most as big as d?
False
Let y = 27 + -92. Let m = 393 + -457. Which is bigger: y or m?
m
Suppose 4*l = -5*n - 4, n - 2*n = -3*l - 3. Let x be (-191)/1074 - (-148)/888. Is x at least n?
False
Let u be (1 - 0 - -1) + 12/2. Suppose 5*t = 3*y + u, -t + 0*t + 2*y = -3. Which is smaller: 15/7 or t?
t
Let u = -2 - -12. Let j be (-7)/(-28) - u/33. Let t = 5/44 + j. Is t greater than 1?
False
Suppose -2*s - 2*n = 22, -31 = 5*s - 4*n + n. Let z = s + 16. Is z greater than 8?
False
Let n be (-40)/(-28)*-7*(-2 - -8). Which is smaller: n or -2/23?
n
Let h(x) = x**3 - 3*x**2 - 2*x + 9. Let p be h(3). Suppose 343 - p = -17*o. Let q(v) = -v**3 - v. Let j be q(0). Are o and j unequal?
True
Let z be (66752/133 - -5) + (-12)/(-114). Which is smaller: 1520/3 or z?
1520/3
Let x(s) = -8*s**3 + 4*s**2 - 8*s + 4. Let l be x(2). Which is bigger: -59 or l?
-59
Suppose 6 = 2*c + 2*n, -c + 3*c - 3 = -n. Suppose c = -5*l - 90 - 50. Which is smaller: -29 or l?
-29
Let o = -1379/22 + 127/2. Let p = o + -56/55. Which is smaller: -7 or p?
-7
Let g be ((-640)/224)/(2*1/(-7)). Which is smaller: 12 or g?
g
Let k be 1 - (-1)/(6/2). Let o = 122 + -178. Let a be (-2)/3 - o/147. Which is bigger: a or k?
k
Let g = 206 - 205. Let d = 2404/21 - 344/3. Which is smaller: g or d?
d
Let c(b) = -b**2 + 3*b + 4. Let l be c(3). Suppose 0 = -l*u - 22 + 130. Is 27 less than or equal to u?
True
Let m = -18 - -14. Let l be (-1)/((-1 - m)/3). Let b be -5 + 0 + 1 + l. Is b > 3?
False
Suppose x + 5*m - 45 = 0, -2*m + 5 = -3*m. Let d be 12/((-7)/(x/(-4))). Let r be ((-18)/(-15))/(9/d). Which is smaller: 5 or r?
r
Let j = 18 + -92/5. Which is smaller: j or 31.8?
j
Let k be -1 + 10*1 + 1. Let u(q) = 7*q**2 + q - 1. Let x be u(-2). Suppose -5*g = x, -2*g + 4*g + k = 2*n. Which is smaller: 4/5 or n?
n
Let a(q) = -4*q**2 - 2*q + 7. Suppose l - o + 2*o - 1 = 0, 3 = -o. Let j(c) = -5*c**2 - 2*c + 8. Let r(k) = l*a(k) - 3*j(k). Let p be r(-3). Is p >= 1/8?
True
Let t be 4/(-2) - (-8 - -198). Which is smaller: -193 or t?
-193
Let s be (-70)/(-3) - (-3)/(-9). Let v = 15 - s. Let j be (4/v)/(1/2). Which is smaller: j or 2?
j
Let i(f) = 2*f**3 - f**2 + 2*f + 2. Let j(b) = -5*b**3 + 2*b**2 - 4*b - 3. Let x(w) = -5*i(w) - 3*j(w). Let c be x(1). Suppose c*y = -14 + 54. Is y equal to 7?
False
Let b be (-130)/(-340) + 2/(-4). Let i = 0.21 + 0.79. Which is bigger: b or i?
i
Let d(a) = -19*a + 266. Let l be d(14). Let y = 8 + -6. Is y equal to l?
False
Let q = 7317/4 + -1838. Which is bigger: -10 or q?
q
Let s = 0.636 - 0.94. Let o = 0.104 + s. Which is smaller: -26 or o?
-26
Suppose 0 = -2*m + 5*v - 0*v - 18, -m = -3*v + 11. Let g be 1/(-8)*-4*-58. Let a = -1161/40 - g. Is a less than m?
True
Let q(r) = 3*r + 5. Suppose 0 = -3*f - 0 - 6. Let p be f - (5 + (-9)/3). Let x be q(p). Which is bigger: -6 or x?
-6
Suppose -4*z - 17 = 2*i - i, 4*z + 5*i = -37. Let g be 2/(4/(-18)*z). Let q = 97 - 95. Are g and q non-equal?
True
Let o(q) = -q**3 - 4*q**2 - q + 6. Let r(x) = x**3 + 4*x**2 - 6. Let l(v) = -6*o(v) - 5*r(v). Let a be l(-5). Let s = -669/11 - a. Which is smaller: s or -1?
-1
Let v = -38 - -48. Let z = v - 38. Is z at most -30?
False
Suppose -5*q + 4*r = -15, -2*q - q - 28 = 5*r. Let u be 0 + 2 + 2166/16. Let n = -137 + u. Is n greater than q?
True
Let f(l) = -2*l - 8. Let a(b) = 5*b + 15. Suppose -4*h - 33 = -2*o - 3*o, 2*o = 5*h + 37. Let z(m) = h*f(m) - 3*a(m). Let q be z(4). Is 2 < q?
True
Let h = -0.12 - 3.88. Let o = h + 3.96. Let m = -0.14 - o. Is 1 equal to m?
False
Let g be (-870)/29*(-1 + 28/6). Which is bigger: g or -112?
g
Let b = 182 + 414. Which is smaller: b or 594?
594
Suppose 10*z = 5*z - 10. Let f = -18721/16470 + -7/610. Let c = f - -16/27. Which is bigger: z or c?
c
Let r(b) = -12*b**2 - 6*b + 6. Let a be r(1). Let o be 8*(((-473)/a)/11 + -3). Is -0.1 > o?
False
Suppose f - 44 = -2*d, 2*f + 68 - 9 = 3*d. Let h = -8672 - -8693. Is h bigger than d?
False
Let u be (66/(-12) + 5)*2. Let t be (-1400)/(-348) + 8/(-2). Which is smaller: t or u?
u
Let s = 193 - 192. Is s at most 4?
True
Let z = 7678 - 2042351/266. Which is bigger: 1 or z?
1
Suppose 3*m - 8 = 7*m, m + 3 = -d. Is -7/6 != d?
True
Suppose 5*p - 19 = 2*s, -s + 2*s - 28 = -5*p. Suppose l = 2*l - p*u + 17, l = -u + 7. Suppose 23 = 2*m + l*t, -m - 2*m + 5*t = 13. Which is smaller: 3 or m?
3
Suppose -43*o + 2843 + 855 = 0. Is o != 86?
False
Let c be (-18)/(-72) - (-774)/8. Suppose 2*z - 49 = -c. Which is smaller: z or -26?
-26
Let m be 13/36 + 3/(-12). Let o(d) = 10*d**2 + 8*d - 1. Let k be o(-1). Which is greater: m or k?
k
Suppose 3*m - 4 = 2. Suppose -m*o - 14 = -0*o. Let h = -14 - -7. Do o and h have the same value?
True
Let f = -1702 - -1702.2. Which is smaller: f or -38/5?
-38/5
Let m(i) = -84*i + 504. Let z be m(6). Which is smaller: 581 or z?
z
Let y be 30*(1 - 0)/(15/(-395)). Is y bigger than -789?
False
Suppose k - 5*k + 20 = 0. Suppose 0 = -k*i - 2 - 8. Let m be -3 - -1 - (-1 + -2). Are m and i unequal?
True
Let k = -0.7 - -0.5. Let v = -58.03 + 57.49. Which is smaller: k or v?
v
Suppose 4*i = 16, -4*h - 32 = -0*h + 3*i. Suppose 0 = -g - j - 15, 5*g - 37*j = -32*j - 45. Is g less than h?
True
Let n = -1333334182342177/37736036972181 + 13/2895422157. Let l = n + -2/13033. Let z = l - -38. Which is smaller: z or 3?
z
Suppose 5*o + 2*f + 2*f = -130, -4*o - 4*f = 108. Let r be 4/o + (-31)/11. Suppose 0 = -3*i + 1 - 4. Is i != r?
True
Suppose -f = -2*f + 6*f. Suppose -3*y - 13 = -6*y - k, 12 = 2*y + 4*k. Suppose 3*o - x = 29, 0 = y*o - 5*x - 14 - 10. Which is smaller: o or f?
f
Suppose 46 - 50 = -2*d. Suppose d*m = -4*m + 84. Which is smaller: 15 or m?
m
Suppose 844*p - 228 = 832*p. Which is smaller: 18 or p?
18
Let c = -5353/5 - -2135837/1995. Which is bigger: c or -1?
c
Let u(i) = i**2 + 11*i - 15. Let t = -57 - -45. Let c be u(t). Let w(k) = -k**3 - 5*k**2 + 2*k + 7. Let o be w(-5). Is c equal to o?
True
Let l = -416.1 + 446. Let r = l + -30. Is r > 3/4?
False
Let m(b) = -3*b - 4. Let p(y) = 7*y + 7. Let u(d) = -9*m(d) - 4*p(d). Let j be u(6). Let w(a) = -a - 3. Let o be w(-5). Is j > o?
False
Suppose -3*x = -3*o - 24, 0 = -0*o + o - 1. Suppose q - 3*z = 14, -4*q + 0*q - z - x = 0. Which is smaller: -6/11 or q?
q
Let w = 0.09 - -0.04. Let j = w + -0.23. Let y = j - -1.1. Is -6 at most as big as y?
True
Let z = -9 - -42. Let u = z - 30. Is u > -0.07?
True
Let h = -74/143 - 7/11. Are h and 0.1 equal?
False
Let o = -0.856 - -0.956. Let l = 9.9 + -12. Which is greater: o or l?
o
Let v(t) = -3*t + 16. Let n be v(8). Let z be -2*1/n*-2. Are z and -2 equal?
False
Let u = -94 - -102.1. Let g = -8.2 - -0.2. Let f = g + u. Which is greater: f or 1/2?
1/2
Suppose 22285 - 5475 = 10*j. Let b = j + -109263/65. Which is smaller: b or 1?
b
Let y = -10 + 20. Let n = 542 - 534. Which is smaller: n or y?
n
Let p be (6/(-4))/(3/32). Let b be 1 + -13 + 4/2. Let s be p/(-42) + b/15. Which is greater: s or 4?
4
Let y = 93 + -93. Let a be (-528)/(-162)*(-330)/1388. Let u = a + -1/347. Is u < y?
True
Let s(u) = -u**3 - 2*u**2 + 4*u - 1. Let f be s(-3). Let b(n) = -n**3 - 3*n**2 + 2*n - 3. Let a be b(f). Let x = 41 - 37. Which is greater: x or a?
a
Suppose -9*o = -106 + 268. Suppose 4*l + 93 = -l + j, 4*l + 4*j = -84. Which 