 f + i. Which is smaller: y or 2/3?
2/3
Let o = -1.27 - 0.13. Let x = -3.4 - o. Is 0 at least x?
True
Suppose 0*u = 3*u - 12. Suppose -5*p + 1 = -u. Which is smaller: p or 8?
p
Suppose -2*y + 5*y = 0. Let t = -1 - -6. Suppose 0 = -t*p + 3*z - 6, 1 + 1 = -p + z. Is y <= p?
True
Let d(i) = -i + 4. Let j be d(0). Suppose h = y, 0 = -3*y + j*h + 2 - 1. Is -2 smaller than y?
True
Let k = -0.05 - -0.25. Let u = 0.4 - k. Let o be (2 - 36/14)/2. Is u less than o?
False
Let v(q) = 7*q**3 - 2*q + 1. Let c be v(1). Suppose 4*a = -2 + c. Which is bigger: a or -3/13?
a
Let z(q) = 2*q**2 + 25*q + 5. Let k be z(-12). Which is bigger: -1 or k?
-1
Suppose -2*d - 3*d = 0. Does 2/53 = d?
False
Suppose u = -5*u + 36. Which is smaller: -0.1 or u?
-0.1
Let c = -50 - -47. Which is smaller: -6/13 or c?
c
Suppose -2*m - 12 + 78 = 0. Is m > 33?
False
Let z = 870 - 6975/8. Is z equal to -1?
False
Let n = 13.5 - 11. Let b = n - 12.5. Let l = -10.1 - b. Is 2 at least as big as l?
True
Let n be (12/(-8))/(2*2). Let p = n - -7/40. Are 1 and p nonequal?
True
Let n = -5 - -9. Suppose 5*k = -6*g + 3*g + 20, 0 = -n*g - 5*k + 20. Is -1 bigger than g?
False
Let d = -0.03 + 0.04. Let r = d - -0.05. Which is smaller: r or 0.1?
r
Let u be -3 - (-6)/(30/(-205)). Let r be (2/((-2)/(-131)))/(-3). Let b = u - r. Which is bigger: 0 or b?
0
Let g = 16 + -8. Is g less than or equal to 8?
True
Let n = 72931/372 + -1456/31. Let w = -149 + n. Which is smaller: w or 1?
w
Let v(d) = -2*d**2 + d - 10. Let k be v(3). Which is smaller: -71/3 or k?
k
Let l(q) = q**3 - 23*q**2 - 24*q + 13. Let c be l(24). Is c less than or equal to 0?
False
Let h = -0.571 + 0.071. Let s be (-1)/((-2)/(-2)*-1). Is s >= h?
True
Let v = -0.14 + 0.23. Let y = 2.91 + v. Is y less than or equal to 2/7?
False
Let a = -5 + 1. Let j be 10/(1 + -6) + -1. Which is bigger: j or a?
j
Suppose 0 = b - 4*v - 24, 2*v + 2 = -3*b + 4. Which is smaller: b or -5?
-5
Let v be (3 - 1 - 1)*25. Let h = -19 + v. Which is bigger: h or 23/4?
h
Suppose -5*p + 5 = 5*j, -12 + 36 = -p + 4*j. Let w be 6/p*(-6)/(-9). Which is greater: -6/5 or w?
w
Let x be (-1)/(-4) + 1/(-2). Let y be (16/(-24))/(4/(-18)). Suppose 3*k + k = -5*f + 20, y*k - 4*f + 16 = 0. Which is greater: k or x?
k
Let i be ((-6)/(-15))/(4/(-15)). Let p = 3.7 + -4. Let j = 2.3 + p. Is i <= j?
True
Let r be 2 - 1 - (0 - (3 - 3)). Which is smaller: r or 0.14?
0.14
Let v(p) = p**3 + 4*p**2 + 2*p - 4. Let g be v(-3). Let d = -54 - -5992/111. Let r = 103/444 - d. Is g at most r?
True
Let l be 2/(-101) + (-2 - -2). Let r = 620/707 + l. Which is greater: 2 or r?
2
Let c = -127 - -112. Is c >= -14?
False
Let a = 9 + -36. Let f be 6/a - 120/189. Is f at most -1?
False
Suppose -5*p - 26 = 2*t, 3*p - 6 = 6*p - 2*t. Let k = p - -11/3. Suppose 0 = 2*o + w + 4, 5*o + 4*w = -12 - 1. Which is smaller: o or k?
o
Suppose 0 = 6*l + 130 + 86. Is -38 > l?
False
Suppose -5*p - 4 = 6. Let y be 1/(-2) - 17/p. Suppose z + y = -z. Which is smaller: z or -3?
z
Let j = -10 - -19. Let r = 9.1 - j. Is -0.4 less than or equal to r?
True
Let g = -1 + 4. Let z be 2/6*(1 + 8). Is z <= g?
True
Let z be -1 + 2 - 4/(-2). Suppose -8*v + z*v = 0. Let q = -53 + 54. Is q greater than v?
True
Let g = 101/178 - 40501/8010. Let k = -44/9 - g. Let h = -1 - -1. Which is smaller: h or k?
k
Let i(s) = s**3 - s**2 + s + 4. Let l be i(0). Suppose 0 = -3*d - y - 17, -3*d - l*y - 18 = 5. Which is greater: -4 or d?
-4
Let h = 0.08 - 0.25. Which is smaller: 2/3 or h?
h
Let r = -15 - -23. Let z = r - 8. Is -2/9 at least as big as z?
False
Suppose 0 = 2*z + 3*k - 5, 0 = -5*z + 2*k - 4*k - 15. Let c be 2/z - (-9)/(-15). Let m be (-1 - 2)/(c - -2). Do -4 and m have different values?
True
Let v be 1887/(-28) + (-7)/(-28). Let f = -67 - v. Is 1 less than f?
False
Let d = 1 - -1. Suppose 9 + 3 = -2*k + 4*q, -5*q = -3*k - 16. Let l = d + k. Is l smaller than 2?
True
Suppose -5*q - 15 = 3*l, 6*l = -2*q + 4*l - 10. Let r = -183 - 19. Let a = -1006/5 - r. Which is smaller: a or q?
q
Suppose 3*j + 3 = -3. Let b be (-3 + 0)/(-1 + 3 + -1). Which is greater: j or b?
j
Suppose 2*w - 3*r - 2 - 1 = 0, -4*r + 1 = -w. Let t be 4*3*w/198. Which is greater: t or 0?
t
Let i(j) be the third derivative of j**6/120 - j**5/10 + j**4/4 - j**3/3 + j**2. Let u be i(5). Suppose -g = 2*c - 3, -1 - 2 = -3*c - 3*g. Is u greater than c?
True
Let l be 464/(-11) - (-4)/22. Which is smaller: l or -43?
-43
Let j be (-1)/((10/4)/5). Suppose 0*c = -4*c. Let b be 2/6 + c + -1. Which is smaller: b or j?
j
Let u be ((-3)/4)/((-9)/6). Suppose 0 = 5*l + 134 - 34. Let t be (-16)/l*(-1)/2. Are u and t equal?
False
Suppose 3*u = -u. Are 1/14 and u equal?
False
Let q = 494 + -349. Is -1 less than q?
True
Let k(i) = 2*i + 13. Let w be k(-7). Which is smaller: w or -1/4?
w
Let b(v) = v**2 + v - 1. Let j be b(1). Let i = -10/13 - -17/39. Are i and j equal?
False
Let y be (-5)/2*8/(-10). Suppose 3*l + y = l. Let c = 0 - l. Which is greater: 0 or c?
c
Suppose -11*z = -12*z + 1. Let s = -2321/18 + 129. Is z != s?
True
Let o = 7 - 7.4. Let y = 124 - 618/5. Do o and y have different values?
True
Let f = 0.011 + 0.089. Which is bigger: 8.5 or f?
8.5
Let d(n) = -n - 1. Let v be d(12). Which is bigger: -12 or v?
-12
Let n = -8/93 - 2/217. Let r = 3 + -3. Is r at most n?
False
Let a = -21 - -27. Which is smaller: -1 or a?
-1
Let f = 227 + -220.96. Let v = -0.04 + f. Let q = -4 + v. Is q smaller than 0.1?
False
Let h be 1*(-1)/3*-9 + 0. Is h < 3?
False
Suppose 3*v - 7 = 4*q - 5*q, 0 = -2*v - 4*q + 18. Is v greater than or equal to 0?
True
Let g(x) = -x**3 - x**2 + 2*x. Let h be g(-2). Let b = -51 - -203/4. Is h at least as big as b?
True
Suppose -3*t - 18 = -4*o, -3*o - 6 + 34 = 5*t. Let f be 5/(-20) + o/(-8). Is f less than or equal to -7/3?
False
Let c = 9.9 + 1.1. Is -2 <= c?
True
Let i = -94 - -96. Which is smaller: i or 8?
i
Let z = -0.72 - 0.24. Let x = z - 0.04. Let n = x + 1.3. Is n < -2/3?
False
Suppose -598 = 7*d - 143. Which is smaller: -66 or d?
-66
Let o = -39261/43 + 913. Is o at most as big as 1?
True
Let b = 1.965 - 0.015. Let m = -0.05 - b. Let r be (-14)/6 + (-2)/(-1). Which is bigger: r or m?
r
Let h be (-36)/(-84) + 6/(-112). Is h at least 0?
True
Let r be ((-15)/10)/(342/(-8)). Are 0 and r equal?
False
Let s(m) = 8*m**2 - 1. Let x be s(1). Suppose -x*y = 5*b - 3*y + 90, -15 = -3*y. Let c be 9/6 + 37/b. Which is smaller: c or -1?
-1
Let h = -14 + 9. Which is bigger: -6 or h?
h
Let v be 4*(0 - 1/(-2)). Let b be (-1)/((-2)/((-8)/v)). Let k be 0/(-3 + (3 - 3)). Is k != b?
True
Let c = -1 + 8. Let v = c - 7.8. Let t = 0.2 - v. Is 0 at least t?
False
Let d be 4*5/(-8)*-2. Suppose -13 = -4*m + 3. Which is smaller: m or d?
m
Let z = 3 - 4. Let m(g) = -g**2 - 13*g - 12. Let q be m(-12). Which is smaller: z or q?
z
Let c = 1 + -4. Suppose -b + 15 = -4*b. Let t be 6/(-15) - (b - -5). Is c less than t?
True
Suppose 53 = -a - 0*a. Is a at least -53?
True
Suppose 0*k + 5*k + 3*j = -10, 0 = -j. Which is greater: -2/3 or k?
-2/3
Let t = 9 - 5. Suppose -2*z + 7*z - 125 = 0. Suppose 2*k + 3*k - z = 0. Is t != k?
True
Suppose -f - 6 = 5*c, c = -4*f - 2 - 3. Suppose 0 = -p + 2*p - 2. Let z = -3 + p. Is f < z?
False
Let d be -4 + 9/(18/(-256)). Is d < -133?
False
Let i be 0 + -1 + 3 + -10. Let u(h) = -h**2 - 8*h - 1. Let d be u(i). Which is smaller: d or -4/7?
d
Let d be 1/(-2) + (-17)/(-2). Suppose -17 = -5*l - 3*x, -4*x + d + 8 = 0. Let s be 2/((-3)/(18/32)). Are s and l equal?
False
Let i(w) = -w**2 - w + 2. Let u be i(-3). Let o be 2/(-2)*u/28. Does o = 0?
False
Let u = -0.16 + 0.16. Is 1 <= u?
False
Let l be ((-2)/1 - 1) + -3. Let x = l - -8. Which is greater: x or -0.1?
x
Suppose -9 = -5*z - 4. Which is greater: 2/29 or z?
z
Let x = -1.8 + 2. Let f be (1/2)/((-2)/164). Let h = 163/4 + f. Which is smaller: h or x?
h
Let w(z) = -z + 11. Let s be w(0). Let f = 7 - s. Let t be (2/(-3))/(14/105). Is f at least t?
True
Let h be ((-12)/9 - 2) + 3. Let i(d) = d + 7. Let v be i(-8). Which is bigger: v or h?
h
Let v be 634/40 - 6/(-15). Let b(s) = 2*s - 14. Let g be b(15). Let c = g - v. Is c <= 1?
True
Let y(m) = 2 - 2 - m - 1. Let g be y(0). Let l be (3/(-9))/(1/1). Is l at least as big as g?
True
Let j be (-28)/7 + (-68)/(-18). Let i = -1 + 1. Is j greater than or equal to i?
False
Suppose 0 +