.8
Suppose -337 = -3*x - 4*f, -5*x + 0*f + f = -577. Which is greater: x or 0.1?
x
Suppose 5*g = g - 4. Let x be g/((-3)/(-18) + 0). Let j be x/1*(-2)/18. Do j and -1/3 have different values?
True
Let n = -67 - -468/7. Suppose 4*o + 98 = 4*f - o, -f - 2*o = -18. Suppose 3*z + 7*i = 2*i - f, z - 5*i = 26. Is n smaller than z?
True
Let d = -26.21 - -209.21. Is -4 greater than or equal to d?
False
Let y(t) = t**2 + 3*t - 10. Let l be y(-5). Let k = -93/35 + 13/7. Which is smaller: l or k?
k
Let a = 19.71 - 20.21. Are 0.25 and a unequal?
True
Let z be (33/15)/(2/10). Which is bigger: -1 or z?
z
Let i = 2015 - 2059. Is 5 <= i?
False
Let y = 562 + -543. Which is smaller: -5 or y?
-5
Let r = 16 + -37. Suppose -3*c = 10 + 56. Is r > c?
True
Suppose -3*f = -3*x - 2*x + 28, -f = -5*x + 26. Let h be 1*f*(13 + 27). Are h and -40 equal?
True
Let y = 106.97 + -107. Which is greater: -17 or y?
y
Let q = 21333371 + -1045401229/49. Suppose -4*p = 3*a - 5404, 0 = -p - 8*a + 7*a + 1352. Let l = q + p. Are l and -1 equal?
False
Let y = 0.431 + -1.951. Does y = 0.1?
False
Suppose 0 = -4*h + 28 - 36. Let r = h + -2. Is -42/11 less than r?
False
Let g = -16 + 21. Let i = 58 - 100. Let x = -37 - i. Is x at most g?
True
Let b be (-3 - (-40)/18) + (-2)/9. Let g = 43 - 42. Which is smaller: b or g?
b
Let b = 15385/8 - 1928. Let m = 45/8 + b. Let i = 50 + -49. Which is greater: m or i?
i
Let a = -1.87 - -1.91. Let g = 3 + -4. Let d = 0 - g. Which is greater: a or d?
d
Let f be (1 + -87)/(4 - (-3 - -5)). Which is smaller: 3 or f?
f
Let n = -4 + 3. Let z be 10 + -9 - (8 + n). Suppose 3*m + 0*p + 24 = 3*p, -4*p = m - 7. Which is bigger: m or z?
m
Let i = -1785.75 + 1786. Let z = -0.3 - -0.2. Which is bigger: z or i?
i
Let y = -0.369 + 0.419. Let n = -6.2 - 0.8. Let j = 8 + n. Which is bigger: j or y?
j
Let l be (-42)/8 - (-14)/56. Let i be 10 + l - 3 - 1. Let n = -120397/67 - -1797. Is i < n?
False
Let y = 30 - 47. Let i = y - -17.08. Let p = -0.02 - i. Which is smaller: -3 or p?
-3
Suppose -o + 52 = -n + 49, 0 = -3*o - 5*n - 7. Is 1/1324 <= o?
True
Let u(r) = 16*r**3 + 5*r**2 - 2*r - 12. Let k be u(-2). Which is smaller: -115 or k?
k
Let g = 35 + -49. Are -16 and g equal?
False
Let d be 9/6 - 5/10. Let w be 114/(-224) + (-32)/56*-1. Which is greater: w or d?
d
Let v = 7 - 21. Let n = 22 + v. Which is bigger: n or 2?
n
Let o = -1.864 - 0.136. Let f = -0.8 + -0.2. Let g = f - o. Is 4/13 smaller than g?
True
Let i be 24*((-6)/(-8) - 265/540). Is 6 != i?
True
Let j be 2/7 + ((-672)/(-49))/8. Let t be (-3)/((-6)/4) - -9. Suppose -t = -j*m - 1. Is m at least as big as 7?
False
Let b = -9.2 - -5. Let h = -3.5 - b. Are h and -1 non-equal?
True
Suppose 2*p - 12 + 0 = 0. Suppose 2*u = 10, 4*u + 109 = -3*h + p*u. Are h and -32 non-equal?
True
Let r be 16/(-56) - 2050/28. Let o = -72 - r. Is o at most as big as 3?
True
Let r(h) = -10*h - 8 + 20*h + 8*h + 1. Let w be r(3). Is w at least as big as 46?
True
Suppose 4*v - 6*v + 104 = -5*a, a = 3*v - 13. Let q = -12 - a. Let n be ((-28)/q)/((-2)/(-10)). Which is greater: -15 or n?
n
Let c = -2 - 0. Let x be 0/c + 3/4. Suppose -4*o = -45 + 41. Which is bigger: x or o?
o
Let l = 114 + -114. Is l at most -11?
False
Let a = -1.06 + -4.04. Let h = a + 4.9. Which is bigger: h or -2/23?
-2/23
Suppose -2*p - 78 = 3*k, -5*p = -k + 135 + 43. Let h(i) = 7*i + 117. Let v be h(-22). Do v and p have different values?
True
Let t = 13 + 2. Suppose 5*q = 2*q - t. Let j = 0.1 - 0.3. Which is smaller: q or j?
q
Let o = 199.3 - 199. Which is smaller: o or -37?
-37
Let m be (10/(-30))/((-1)/(-9)). Suppose -2*h - 3*h - 3*v = 14, 6 = 3*v. Which is smaller: m or h?
h
Suppose -3*n = 2*a - 20, -15 = 5*n + 5*a - 55. Suppose 0 = 7*f - n*f + 42. Are -14 and f unequal?
False
Let z be (-22)/((-3)/(-2)*(-94)/141). Let g be 1/((-7)/(-2) + -2). Are z and g equal?
False
Let r be ((-252)/(-98))/((-3)/(-84)). Which is smaller: 70 or r?
70
Suppose -2*x + 3*w = -7*x - 9, 0 = -2*x - 4*w - 12. Which is bigger: x or 5/94?
5/94
Let w(x) = 2*x**2 - 4*x - 7. Let y be w(3). Let o be (-276)/(-10) - 1/(-1). Let h = o + -29. Which is greater: h or y?
h
Let j be 3 + 2 + (-1 - 2). Suppose j*m - 8 + 0 = 0. Suppose 0 = -m*u - 0*u. Which is bigger: 2 or u?
2
Suppose -2*v = 25 - 5. Suppose -5*c + 10 + 0 = 0. Let h be (-2)/6*28 + c/6. Which is smaller: v or h?
v
Let j = -31107 + 559313/18. Let b be (-68)/(-6)*((4 - -6) + -7). Let n = j + b. Is 0 > n?
True
Let d = -847/668 + 3/167. Which is bigger: d or -6?
d
Let g(n) = 16*n - 393. Let x be g(24). Is x > -69/8?
False
Let l(q) = -24*q + 36. Let x be l(-5). Suppose -5*t = -4*w - x, -3*w = -4*w + 3*t - 32. Which is smaller: w or -43?
w
Suppose 5*y - 30 = 5*b, -5*y - 4*b + 5*b = -10. Let n = -2 + y. Which is smaller: 6/13 or n?
n
Let s = -14.24 - -14.2. Is -9 smaller than s?
True
Suppose 2*r = 10 - 8. Let p be 10/60*4/5. Which is bigger: p or r?
r
Let s be (-5 - (-192)/40)*4/14. Are s and 0 equal?
False
Let p = -14 + 6. Let w be p/28 - (-72)/7. Let v be w - 10 - (1 - 1). Is -6/5 > v?
False
Let r be 9 - -1*1/(-1). Let l be (-4)/(-240) - ((-2)/r)/1. Which is smaller: 0 or l?
0
Suppose 5*s - s - 92 = 0. Let p(t) = -t**2 + 21*t + 47. Let x be p(s). Which is smaller: x or -5/8?
-5/8
Suppose 3*a + 7 = -4*s, 0*s = -5*s - 2*a. Suppose -s - 38 = 8*g. Which is smaller: -6 or g?
-6
Let s be (-8 - (-9 + 25))*2. Is -5 greater than or equal to s?
True
Let t be (-126)/(-114) + 0 + (-4)/38. Is 10/7 equal to t?
False
Let r be ((-30)/(-8))/((-510)/528 + 1). Suppose -106*u + r*u + 4 = 0. Which is bigger: 70 or u?
70
Let c = 4 - 3. Suppose 7 = -3*t + c. Let x = -989 - -987. Are t and x equal?
True
Let o(b) = 11*b**2 - 17*b + 13. Let y(f) = -4*f**2 + 6*f - 4. Let z(m) = -3*o(m) - 8*y(m). Let n be z(-7). Let t be (-2)/(-9) + n/63. Is -7/4 bigger than t?
False
Let c(a) = a**3 + 6*a**2 + 3*a - 3. Let u be c(-6). Let t = u - -20. Let g be 3/(-3) - (1 + t). Is 0 greater than or equal to g?
True
Let y(l) = l + 11 - 2*l - 2*l. Suppose 10*g + 12 = 52. Let p be y(g). Which is greater: p or -2/55?
-2/55
Let l be 4/(-6) - 185/(-255). Let b be (-25 + 7)*(-2 + (-5)/(-3)). Suppose -3*m = -5*d + b, -7*d + 4*d = 3*m + 6. Which is smaller: l or d?
d
Let h(a) be the third derivative of a**4/6 - a**3 - 2*a**2. Let s be h(4). Suppose 0*c = -5*c + s. Is c at most 4/7?
False
Suppose -j + 7 + 6 = 5*d, -4*j + 6 = -3*d. Suppose -3*o = -2*o + d. Suppose -13*a - 9 = -48. Which is greater: o or a?
a
Let d = -5 - -3. Let r be d + 4 + (1 - 2). Suppose 10*p = 6*p. Which is smaller: r or p?
p
Let w = -200 - -204. Let a be (-1)/(0 + 2/(-10)). Suppose a*j + 11 = 5*s - 2*s, -3*j = w*s + 24. Which is smaller: s or -4?
-4
Let g(k) = 3*k + 3. Let o be g(0). Suppose 5*c - r = -o*r - 24, -2*c = -4*r. Let u be (-270)/63 + c/(-14). Is u smaller than -2?
True
Let f = -0.082 - 0.028. Let a = 0.19 - 0.3. Let u = f - a. Which is bigger: 2/11 or u?
2/11
Let b(c) = 9*c + 1. Let j be b(0). Are -5/17 and j non-equal?
True
Let p = 2.9 - 15.9. Let d = -4 - p. Let q = d - 9. Is -2 >= q?
False
Let t(d) = d**2 + 6*d + 2. Let s be (-1)/(-1) - (-9)/(-1). Let m(n) = -n**2 - 8*n - 6. Let j be m(s). Let b be t(j). Which is smaller: b or 1?
1
Let y be 42/35*35/3. Suppose 4 - 17 = u. Let h = y + u. Is h != 3/8?
True
Suppose -5*p - 2*o + 29 = -5*o, p + 2 = -2*o. Let h = p - 8. Suppose 0*g = -3*g + 2*d - 9, -2*d = 0. Are g and h equal?
False
Let y = 81 - 41. Let k = 39 - y. Let j = 9.91 - 10. Which is bigger: j or k?
j
Let x be 12/8*(-10)/(-15). Let w(n) = 2*n**3 - 2*n**2 - 3*n + 2. Let r be w(2). Suppose 0 = -r*v - v + 10. Which is bigger: v or x?
v
Let h be 3 + ((-2794)/770 - 3/(-7)). Is 35 < h?
False
Suppose 0 = 3*k + 2*k + 3*s + 245, -4*k - 198 = 2*s. Which is bigger: -1 or k?
-1
Let m = -39.35 - -40. Let n = 0.75 - m. Which is greater: -29 or n?
n
Suppose -4*f - 52 = 4*o, o + 2*o - 63 = 3*f. Is f smaller than -17?
False
Let p be 1 - (-10 + 2)/(-4). Suppose -4*b - 15 = x, -7*x + 2*x = b + 18. Let o be (b/(-2))/((-21)/(-4)). Is p != o?
True
Let b be (13 + -10)/(3/(-2)). Let s be 1 + b - (-10)/6. Which is bigger: s or 2?
2
Let y = 28/57 - 586/1425. Suppose 5*h - 28 = 2. Suppose 2*s = h*s + a + 1, a = -3*s. Which is bigger: s or y?
y
Let j be 1/18*(-5 + (-41)/(-9)). Let q be -1*(1 + 0/1). Do q and j have the same value?
False
