be 1/(-2) + 11/2. Let r be 3/v + 3/(-5). Which is greater: r or 2/9?
2/9
Suppose -4*f = 19 - 15. Is f != -4/7?
True
Suppose 4*y = 0, -10 = -0*j - 2*j + 5*y. Suppose 5*f - 21 - 4 = 0, -j*f = 3*s - 34. Suppose -2*b = -3*b - s, 5*g = -3*b - 4. Which is bigger: 4/7 or g?
g
Suppose 0 = -3*j - 2*j + 5. Let c = -109/55 + 24/11. Which is smaller: c or j?
c
Let t be -2*2 - (2 - 5). Let w = -4/19 + 162/589. Is w equal to t?
False
Let i = -5.9 - -6. Let z = 0.06 - -3.94. Which is smaller: i or z?
i
Let x = -17 + 11. Let o = 41/7 + x. Let c(j) = -j**2 + 5*j + 1. Let q be c(5). Is q <= o?
False
Let y(o) = 2*o - 5. Let n be y(4). Suppose 5*u - 3 = n*k, 3 - 1 = u - 2*k. Is 4/5 at least u?
True
Suppose -7*n + 6 = -6*n. Which is bigger: n or 7?
7
Let r be 50/(-64)*7/105*6. Which is bigger: -1 or r?
r
Suppose -3*b + 3 = -2*j - 5, 4*j + 16 = 5*b. Are 0 and b nonequal?
False
Let m be 38/171 - (-122)/18. Is m at most as big as 11?
True
Suppose 4*v + 10 = 2*v. Let o(c) = -c**2 - 2*c + 4. Let k be o(0). Let d = v + k. Are d and 2/27 nonequal?
True
Let h = 1768 - 9197/5. Suppose 4*y + q = 280, 5*q - 53 = -y - 2. Let t = y + h. Which is greater: 0 or t?
0
Let c be (-4512)/(-46)*1/(-550). Let r = c + -2/575. Suppose 4*i - 12 = 3*x + i, 0 = -x - 4*i + 21. Is r at most as big as x?
True
Let c = 8 - 0. Let s = 11 - c. Which is bigger: -1 or s?
s
Let f(d) = -2*d - 7. Let h be f(-6). Suppose -3*p + 6 = 0, -k = -h*k - 4*p + 16. Let w be k/5 - (-52)/(-180). Which is greater: w or -1?
w
Let n be 1*((4 - 1) + -2). Let r be (-2)/(-30)*(0 - -3). Which is smaller: r or n?
r
Let g(t) = t**2 - 2*t + 1. Let y be g(2). Let f = -6 - -3. Let o be (f + 4)*2/(-16). Is o at least y?
False
Suppose 0 = 4*n + n - 15. Suppose 8 = -n*q + 7*q. Which is bigger: q or 1?
q
Let y = 57.7 + -58. Which is bigger: y or 6?
6
Let f = -5 - -20/3. Which is smaller: 2 or f?
f
Let z be (9/(-12))/(3/2). Let s = -1.1 + 0.1. Let o = 1 + s. Which is greater: o or z?
o
Let q = -0.3 - -0.1. Let k(h) = h**3 - 8*h**2 + h - 7. Let c be k(8). Let y be -1 + c - (-9)/36. Which is bigger: y or q?
y
Let d = -0.01 - -4.01. Let f = -3.98 + d. Let m = 0.22 - f. Is m <= -2?
False
Let w = 0 - -2. Suppose -4 = -3*z + 5*q, -2 - 6 = w*z + 2*q. Let p be 2/6 + z/(-3). Which is greater: -1/7 or p?
p
Let o(z) = 2*z**2 + z + 1. Let d be o(-1). Let h(r) = r - 6 + 1 - r**d + 7. Let f be h(2). Which is smaller: f or -3/8?
-3/8
Let y be (-3)/(-6) + 18/(-12). Let q be ((-10)/6 - -2)*-3. Are y and q non-equal?
False
Let u be (36/34 + -1)/(8/(-8)). Is -1 bigger than u?
False
Let a be (-190)/126 - 12/(-54). Suppose 3*p + 0*p + 6 = 0. Is p at least a?
False
Let v be -4*3/(-12)*-17. Is v < -17?
False
Let g = -28 + 58. Which is smaller: g or 32?
g
Let b be (-3)/(-25)*(-4)/6. Which is greater: 0 or b?
0
Suppose -11 + 35 = 4*n. Is 13/2 < n?
False
Suppose -2*x + x - t + 1 = 0, 11 = -4*x - t. Is x <= -19/5?
True
Let k(g) be the third derivative of 0*g + 2/3*g**3 - g**2 + 0 - 1/24*g**4. Let h be k(2). Is 2 not equal to h?
False
Let g be (-4)/5*(-1240)/(-48). Let o = -21 - g. Let v = -5 + 2. Do v and o have different values?
True
Let z = 0.27 + -0.17. Is z greater than or equal to 2/21?
True
Let g = 3 + 15. Let m = -16 + g. Is m <= 0?
False
Let u be 0 - (234/3)/1. Let r be 5/u - 3/18. Which is bigger: -1 or r?
r
Let l = -2059/11 - -187. Let j = 57.98 + -59. Let z = j + 0.02. Which is bigger: z or l?
l
Let z = -77 - -77. Is -4/11 bigger than z?
False
Suppose 5*r + 6 = -c - 5, 11 = -c + 5*r. Which is smaller: -9 or c?
c
Let d = 5.9 - -1.1. Let i = d - 12. Is i smaller than 1?
True
Let q = 9.2 + -10. Let k = 0.5 + q. Let g = -0.2 - k. Is g at least 2?
False
Let q = 15 - 8. Let o(t) = -t**2 + 9*t - 8. Let u be o(q). Is u >= 5?
True
Suppose 2 - 6 = -2*z. Let v = z - 2. Suppose -7*w = -3*w. Is v equal to w?
True
Let i = 0.39 + 4.01. Let h = i - 4. Let a = h - 0.4. Is 0.1 not equal to a?
True
Let f = -0.36 + -8.64. Which is bigger: -1 or f?
-1
Suppose 2 - 3 = r. Let i be ((-4)/(-12))/(r/3). Which is smaller: i or 2/11?
i
Let z = -13/7 - -58/35. Is z less than 6/11?
True
Suppose 0 = 4*g + d - 63, -g + 6*g - 69 = 2*d. Let r be (-84)/(-10) - 6/g. Is 9 at least r?
True
Let z be 4/7*3/4. Is z != 0?
True
Let i = 106 + -105.56. Which is greater: i or -0.2?
i
Let r(l) = -l**3 - l**2 - 1. Let m be r(-2). Let i be (m - 0)/((-3)/(-2)). Suppose -i*d = d. Is d at most as big as -2/7?
False
Let l be ((-3)/6)/(45/80). Are -2 and l unequal?
True
Let w be 5/(-3)*(-5 - 4). Is 0 less than w?
True
Let u(x) = -x + 1. Let w be u(-5). Let j = -1 + w. Suppose 3 + 2 = h. Is h at least as big as j?
True
Let v be ((-2)/(-6))/(3/9). Let x = 1 - 8. Let w be (-2)/(-10) - x/(-10). Which is greater: v or w?
v
Let p = -15 - -17. Let g = -1 - 0. Let j = g + 0. Are p and j unequal?
True
Let n = 0 + 0. Let x be (9 - 4) + -1 + -4*1. Is x at most as big as n?
True
Let x be (-2)/(-7) - (-6)/(-7). Suppose -2*c - 6*v - 6 = -2*v, 2 = -2*c - 2*v. Let h be (4/12)/(c/(-3)). Do x and h have the same value?
False
Let k(a) = a**3 - 8*a**2 + 9*a - 3. Let x be k(7). Suppose 0 = -3*j + m - x, 29 = -3*j - 2*j - m. Is -2 bigger than j?
True
Let y be ((-1)/3)/((-1)/(-21)). Let r(x) = -x - 7. Let o be r(y). Which is smaller: o or -0.2?
-0.2
Let w(y) = y**2 + y - 1. Let d be w(1). Let v = -497/4 + 1583/12. Let c = v + -7. Which is greater: d or c?
d
Let v = -143 - -145. Are 8/3 and v nonequal?
True
Let t(b) = 2 - 2*b - 2*b + b + 2*b. Let q be t(4). Do -2 and q have the same value?
True
Suppose 4*g - 8 = -0*g. Let p be 18/8 - g/8. Let v = 1 - p. Is v equal to -1?
True
Let j = -0.3 + -0.7. Let x be (0 - -6)/(-4 + 2 + 4). Which is greater: j or x?
x
Let m be 1/(-2) - (-52)/8. Suppose -d + 1 = -b - 3, d - m = 2*b. Suppose 3*o = -d - 4. Which is smaller: o or -6/11?
o
Let v be 2*1 - (12 + -4). Let r be v - (-2 - (-3 - -1)). Let c be (-1)/(-4) - r/(-16). Is 1 at least c?
True
Suppose -25 = -3*u - 2*u. Suppose 2*n = 3*d + 25, 0 = -3*n + 4*d + 21 + 14. Is n greater than or equal to u?
True
Let s(p) = p**2 + 8*p + 6. Let n = 1 + -8. Let w be s(n). Let g be (1/4)/(2 + w). Which is smaller: 0 or g?
0
Let r be 4/(-10) - 1307/(-5). Let m = r - 3913/15. Suppose 0 = -0*z - 4*z + 4. Which is smaller: m or z?
m
Suppose -13 = -6*x + 5. Suppose -5 = -3*w + 1. Suppose 12 = -w*t - 3*h, x*t - h - 4 = -0*h. Is 1 greater than t?
True
Let i = 0.8 + -0.1. Is i equal to -2/5?
False
Let h = 13 - 6. Let p = 6 - h. Is 2 less than or equal to p?
False
Let v = 4/54599 + -110672209/491391. Suppose -20 = 5*y, -d - y + 5*y = 209. Let c = d - v. Which is smaller: c or -1?
-1
Let x = -25 + 23. Which is smaller: x or -4?
-4
Let n be (-1)/(-8) + (-1210)/80. Let u be (8/30)/(3/n). Which is smaller: u or 0?
u
Let d = 26.1 - 25. Let g = 9 - 9.1. Let w = g + d. Which is bigger: 4 or w?
4
Let d be 10/5 + (-278)/138. Which is bigger: -1 or d?
d
Let d(n) = -n + 2. Let z be d(5). Suppose 3*y - 9 = -0*y. Suppose 3*q + 3*l - y = 0, -24 = 3*q - 2*l - 7. Are q and z equal?
True
Let p = 5/24 + -17/24. Are p and 0.1 equal?
False
Let m be (-2 + 1)*(18/(-3))/(-6). Do m and -9/14 have the same value?
False
Let p = 41 + -453/11. Let d = -2 - -1.9. Which is greater: d or p?
d
Let a be (-2)/(-8) - 72/(-96). Which is smaller: 5/3 or a?
a
Let q = 2/235 + 227/940. Suppose -10 = 2*g - 3*g. Let x be -1 + (-2 - (-26)/g). Is x less than q?
True
Let p = -61 + 61.03. Which is bigger: p or 0.5?
0.5
Let n(s) = -2*s - 2. Let g be n(6). Suppose 5*w - 40 = w. Let j = w + g. Are j and -5 unequal?
True
Let r = 102 - 66. Let k be 8/r - (-47)/(-9). Which is smaller: -4 or k?
k
Let b be (-62106)/189*(-6)/(-4). Let y = b + 493. Suppose -x = 3*x. Is x at most y?
True
Let x = 6 - 6. Suppose -2*f + 5*w = 18, 2*f + x = -5*w + 2. Is -3 > f?
True
Suppose -d - 6 + 1 = 0. Is -5 at least d?
True
Suppose -4*v - 10 - 2 = 0. Let i(a) = -a**3 - 5*a**2 - 3*a + 1. Let c be i(v). Is -8 != c?
False
Let c be (0/4)/(-1 - 1). Which is bigger: -3/13 or c?
c
Suppose 0 = 5*g - 7*g + 6. Do g and 4 have the same value?
False
Let r = 0.4 + -0.5. Is 107 < r?
False
Let h be (-8 - -10) + (2 - 0). Suppose -u + h*u = -t - 3, 0 = -2*u - 4. Is 3 less than or equal to t?
True
Let g = -113 - -563/5. Let n = 1 + -2. Is g bigger than n?
True
Let d = -41 - -163/4. Are d and -22 unequal?
True
Let c be (-1 + 0)/((-2)/4). Supp