1/2?
-1/2
Let s = -0.007 - -0.041. Let q = s - 1.034. Which is greater: q or 2/11?
2/11
Let y = 27 + -18. Suppose -5*w = -5*n - 43 + 248, 168 = 4*n - 5*w. Let v = n - 26. Is v at least y?
True
Suppose -3 = 9*x - 6*x. Let r = x + 10. Let w be (-6)/4*1/r. Are w and 1 equal?
False
Let c(h) = -5*h**2 - 5*h + 9. Let r = 28 + -33. Let s be c(r). Which is greater: s or -90?
-90
Let i = 898 - 891. Is i smaller than -2/13?
False
Let j = 1 + -6. Is j less than -6?
False
Let h = 60 + -109. Which is greater: h or -52?
h
Suppose 0 = -7*f + 4*f + 6. Suppose 2*o - l = 0, o - f*l = 5*o. Which is smaller: -2/5 or o?
-2/5
Suppose -17*g + 12*g = -640. Suppose 4*o + 4*o - g = 0. Which is smaller: o or 17?
o
Let z(i) = -3*i**3 + 4*i**2 - 7*i - 20. Let n be z(-2). Is n > 176/5?
False
Let m = 4 - 41.2. Let k = 37 + m. Which is greater: k or 0?
0
Suppose y + 1 + 3 = 0. Let n = y - -4. Suppose -6*t = -a - 2*t - 20, -a + 15 = 3*t. Is n != a?
False
Let d = 652 - 1597. Let c be (-573)/d - 12/20. Let o = -44/315 + c. Which is smaller: -1 or o?
-1
Let v = -7/514 - -5485/176302. Which is greater: v or 1?
1
Suppose -26*w - 24*w = -4850. Which is greater: 678/7 or w?
w
Let w = 28 + -14. Let d = w - 14. Let p = d + 0.1. Which is smaller: p or -1/3?
-1/3
Let w = 17/53 - -7036/371. Which is smaller: w or 20?
w
Let f(u) = -2*u**2 + 3. Let t be f(2). Let l be t*(-36)/(-174) - (-2)/2. Which is smaller: -1 or l?
-1
Suppose -5*v - 5 - 5 = 0. Let y be ((-360)/(-64))/((-3)/v). Let u = 19 - 15. Is u greater than y?
True
Suppose u + 4*l - 13 = 2*u, -u + l = 4. Let i be (7 - 12)*u/(-9). Let f be (0/(-1 - 0))/1. Is f > i?
True
Let y = -16 + 22. Suppose -4*x = -67 + 51. Suppose 0 = 3*r - 2*z - 22, x*r = -0*r + 3*z + 29. Which is smaller: r or y?
y
Let p be ((-12)/14)/((-12)/56). Suppose 12 = p*d - 8. Do d and 4 have different values?
True
Suppose -18050 = -83*i + 121*i. Which is smaller: i or -476?
-476
Let j = -541 - -518. Which is greater: j or -33?
j
Let a = -216420/79 - -2739. Is a != 1?
True
Let m be 21/(-14) - 5/(-2). Which is greater: 2/237 or m?
m
Let b be (6/(-2))/(2 + -3). Let s be (b - -14) + -2 + -1. Which is smaller: s or 27/2?
27/2
Suppose -5*w - 14*f + 12*f = 4, 2 = 3*w - f. Which is greater: -10/11 or w?
w
Suppose 0 = -1031*z + 1037*z + 18. Does 16 = z?
False
Let o = 57 + -38. Let u = o + -27. Let y(m) = -m**2 - 3*m + 3. Let w be y(-4). Which is greater: u or w?
w
Let m be (3/4)/((-4)/16). Let v be (5 - 5)/(m - -2). Which is bigger: -0.6 or v?
v
Let b be (-8)/78*9/6*-2. Let t be (8/24)/((-2)/6). Do t and b have different values?
True
Let j = -354/91 - -17/7. Is j at least as big as -1?
False
Let f(k) = 6*k. Let r be f(-8). Let l = 626.9 + -627. Which is smaller: r or l?
r
Let x(r) = r**3 + 10*r**2 - 8*r + 16. Suppose -3*y - 4*q + 18 = -0, 2*q - 6 = 0. Let u be ((-2)/y)/(5/55). Let d be x(u). Is -17 != d?
False
Let i be (-262)/14 + (-6)/21. Let s = -18 - i. Which is smaller: s or 7?
s
Let t be ((-4)/18)/(-2)*1. Suppose 250 = -7*q - 177. Let x = 60 + q. Which is smaller: t or x?
x
Let i = 0 + 1. Let t = -1139 - -170849/150. Let y = t - 71/600. Do i and y have different values?
True
Let h = 80.6 + -81.1. Which is smaller: h or -3/7?
h
Suppose 6 = 4*o - 7*o. Let v be 3/((-3)/o + -2). Suppose a - 2*x + 2 = 0, 4*a - 5*x + 23 - 9 = 0. Is a <= v?
True
Let w = -74 + 215. Is w > 142?
False
Suppose -60 = -7*w + 2*w. Let q = -65 - -146. Suppose q - 48 = 3*m. Is m bigger than w?
False
Suppose -f - 67 = -32. Let u = f - -33. Suppose 2*h + 3*h + 15 = 0. Which is smaller: h or u?
h
Let v be 1/21*(-1370)/30. Let k = v - -17/9. Which is smaller: -6/7 or k?
-6/7
Let a be ((-2)/(-7))/(14/294). Let s be -2 + ((-5)/10)/((-3)/a). Let t be 9/26 + (-1)/2. Which is greater: s or t?
t
Let n = -46138669 + 71053547801/1540. Let b = -8469/47740 - -28/155. Let r = b - n. Which is bigger: r or 3?
3
Let o(n) = -n**3 + 9*n**2 + 4*n - 38. Let f be o(9). Does f = 0?
False
Let v = 164 + -237. Let j = -6 - v. Is j smaller than 2/7?
False
Let n = -3 + 13. Let y be -3 + (-5)/(n/(-6)) + -1. Which is bigger: -2/199 or y?
-2/199
Let b be (-26)/(-140) + (-22)/55. Let z = b + -13/70. Which is smaller: -2/9 or z?
z
Let z be -4 + -83 + 0 - -3. Let l = -84 - z. Which is smaller: l or -1/22?
-1/22
Let o = 19 + -17.7. Let y = o - 1.7. Let a = y - 0.6. Which is smaller: a or -0.01?
a
Let g be (38/(-4) - -7)*4/7895. Is g > 0?
False
Suppose 968*t - 981*t + 260 = 0. Is 19 at most as big as t?
True
Let z be 12/(-7) + 11/((-33)/(-6)). Which is bigger: z or -3/143?
z
Let k be 88/(-132) + 10/6. Which is greater: k or -38?
k
Let c(q) = -2*q - 188. Let p be c(-13). Are p and -163 non-equal?
True
Let s = 1619 - 1669. Does s = -52?
False
Suppose -5*i = -5*s + 95, 3*s = 5*i - 4*i + 67. Let y be (16/4 - 3)*s. Let j be y/(-90) - 2/6. Is 0 less than j?
False
Let p(g) = g**3 + 2*g**2 - 3*g - 4. Let n be 18/(-12)*8/6. Let z be p(n). Let k be 4 - (1 + z + 1). Is k smaller than 4/3?
True
Let f = -291.119 - -291. Let x = f + 12.119. Which is bigger: 0.6 or x?
x
Let n = -558/11 + 564/11. Let k(s) = 2*s**3 - s**2 - s. Let p be k(-1). Let x be (p - (-2 - -1))*-1. Which is greater: x or n?
x
Let r = 285/6001 - -4/353. Let f = -22 - -21. Is r greater than f?
True
Suppose 0 = 4*w - 3*p + 166, 3*w + w + p + 174 = 0. Which is smaller: -1/3 or w?
w
Let f(m) = -1 - 6*m + 2*m**2 + 8*m + 0*m. Let l be f(-2). Suppose -3*s + 36 = -3*v, -l*v + 3*s = 5*s + 21. Which is bigger: 2/5 or v?
2/5
Let d = 1 + -1.2. Let p = 4.1 + -3.6. Let g = -0.5 - p. Which is smaller: d or g?
g
Let p be 12/(-9)*(-45)/81. Are 1 and p non-equal?
True
Let h be (-28)/8 + 5 - (-92)/(-104). Is -1 less than or equal to h?
True
Let n be (-20935)/75 + 3 + -4. Let l = 280 + n. Does l = -0.7?
False
Let c = 4924/11 + -448. Which is greater: -1 or c?
c
Let y(p) be the third derivative of -17*p**6/120 + p**5/60 - 2*p**2. Let c be y(1). Let u = 18 + c. Is 2 smaller than u?
False
Suppose 4*f - 4*u = -12, 0 = 2*f - 3*u + 6 - 1. Let l(b) = b**3 + 5*b**2 - 7. Let k be l(-5). Which is smaller: f or k?
k
Suppose 2*c + 5 = 5*g, -3*c + 0 = -5*g + 5. Let v = -27 + 20. Let i be 2 + v/((-14)/(-8)). Is i bigger than c?
False
Let o = -64.1 - -83.1. Do 21 and o have different values?
True
Suppose -2*c = -c - 3*c. Is -4/49 equal to c?
False
Let j be (-403)/30 - (-15)/25. Which is smaller: j or -13?
-13
Let j(d) = -4*d**2 - d. Let g be j(2). Suppose 3*p = -p - 5*i + 75, p - 21 = i. Let q(s) = s**3 - 20*s**2 - 18. Let y be q(p). Is g != y?
False
Let a = -1918.8 + 1924. Which is smaller: 13 or a?
a
Suppose -4*i + 101 = 2*r + 7, 0 = -2*r + 2*i + 88. Let g be 8 - -37*6/6. Is g equal to r?
True
Let h = -25 + 15. Let b be (h + -3)/((-2)/(-2)). Let z(f) = 11*f + 19. Let o be z(-3). Is o < b?
True
Let t = 626478 + -74551501/119. Let x = t - -36/7. Is 0 < x?
False
Let l(q) = 5*q - 491. Let z be l(48). Is -253 >= z?
False
Let z = -1.872 + -2.128. Is -2/15 <= z?
False
Suppose 0 = -f + 4*f - 132. Let m be (-140)/f + (-2)/(-11). Let n be m*1*(-2)/(-22). Does 0 = n?
False
Suppose -5*o = -4*q + 11 - 8, 3*o - 22 = -q. Which is bigger: 9 or q?
9
Let u = 75.62 - 4.62. Let a = -16 - -15. Is u less than a?
False
Let p be 37/2 + (-6)/12. Let b be (6/(-5))/(p/90). Is b bigger than -7?
True
Let v(u) = -u**2 + 3*u + 7. Let d be v(4). Let q(p) = -p**2 + 6*p - 14. Let h be q(d). Which is bigger: -15/4 or h?
-15/4
Let h = -171 - -167. Is h > 4?
False
Let i(m) be the second derivative of -m**3/6 + 17*m**2/2 - 4*m. Let f be i(18). Let k be -5 + f/(-2)*8. Is k bigger than 1?
False
Let g = 3 - 2. Let w = 56696369/1979 + -28649. Let b = 3880/77181 - w. Which is greater: g or b?
g
Let k(d) = d**2 + 51*d + 151. Let t be k(-3). Which is greater: t or 24?
24
Let l = -1502 + 1104. Is 0 not equal to l?
True
Suppose 0 = 4*d, 3*d - 8*d - 110 = -t. Which is bigger: 108 or t?
t
Suppose 4*b = -3*t + 16 - 7, -5*b - 6 = -2*t. Suppose 8*y - 10 = 3*y. Is t smaller than y?
False
Suppose -5*l - 678 = -5*n + 8*n, -5*l = -n + 694. Is l < -140?
False
Let x(q) = 13 - 16 + 5*q - q**2 + 0*q**2. Let i be (-2)/(-9) + (-34)/(-9). Let c be x(i). Is 1 not equal to c?
False
Suppose -3*n + 4*n = 0. Let z be (n - -1) + (-2)/(8/(-74)). Is z equal to 19?
False
Suppose 0 = 1219*z - 1215*z - 76. Which is bigger: z or -15?
z
Let w be (-108)/2862*6/(-4). Which is smaller: w 