ich is greater: 0 or f?
f
Suppose 3*a - a + b - 7 = 0, 2*a = 2*b + 4. Suppose -a*n = -4*n + 4. Is n greater than 3?
True
Let r(x) = -x**3 + 5*x**2 + x. Let i be r(5). Suppose -i*o = -2*o + 6. Which is smaller: -3 or o?
-3
Let f(w) = -7*w + 3. Let m be f(1). Suppose 2*n + 11 = 1. Let t = n - m. Is t at most -1?
True
Let i be 123/(-105) + 1 + 2. Let c = i + -17/7. Is 0.1 greater than or equal to c?
True
Let o = -108 + 115.3. Let v = o + -7. Let i = v + 0. Is 1/2 at most i?
False
Let a be (-1 + 0 + (20 - -4))*-2. Is -0.1 not equal to a?
True
Let u be (12*2/15)/((-4)/20). Let g(a) = -9*a**2 - a. Let b be (-3 + 5)/((-4)/2). Let w be g(b). Is u <= w?
True
Let k = -0.1 + -0.4. Let q = -65.5 + 66. Let i = k + q. Is 1/2 smaller than i?
False
Suppose 24 = 9*t - 102. Are t and 14 equal?
True
Let q be -3 - (1 - 2) - -2. Suppose -4*n + 0*x - 4 = 2*x, 4*n + 4 = 2*x. Is n less than q?
True
Let v = 4 + -10. Let c = -5.9 - v. Let n = 13/10 - 3/2. Which is greater: n or c?
c
Let r = -98 - -98.1. Are r and -2/27 unequal?
True
Suppose -2*r = 1 - 3. Let d be 1*1/5*r. Suppose 1 + 3 = 4*f. Which is bigger: d or f?
f
Let p = 68087/2313 + -265/9. Let n be (-52)/234 + (-10082)/(-25443). Let w = n - p. Is w greater than 0.1?
True
Suppose -3*c = 9, 4*l - 2*c + 3 = -3*c. Is 0 less than l?
False
Let y = -0.4 - -3.4. Let u = y + -3.1. Let j be (-2)/14*(-2 + 0). Is u != j?
True
Let u be 44/1428 - 4/14. Let j = -3/34 - u. Is j bigger than 1?
False
Suppose 2*g - 25 = -5*v + 7*g, -5*v - 2*g + 25 = 0. Suppose -4*j - 4 = -v*u + 2, 22 = -u - 5*j. Is u bigger than -3?
True
Let d = -146 - -147. Which is bigger: d or -1/24?
d
Let x = -1.6 + 0.3. Let g = 1 + x. Suppose 5*n = 3*u - 4 - 1, -4*u = -5*n - 5. Do u and g have the same value?
False
Let x = -9 + 1. Let t be -2 - (25 - 1)/4. Is x at least as big as t?
True
Let b be ((4 - 6)/6)/(1/177). Which is smaller: -0.1 or b?
b
Let s be (-723)/60 - ((-15)/(-12))/(-5). Which is smaller: -11 or s?
s
Let s = -0.034 - -0.734. Is -2 > s?
False
Suppose -4*f - 9 + 5 = 0. Which is smaller: f or 2/11?
f
Let k be (12*1/3)/(-1 + -24). Which is smaller: -1 or k?
-1
Let n be (4 + -3)*7/((-252)/(-8)). Do n and 12 have the same value?
False
Let m = -0.073 + -0.027. Is -17 at least m?
False
Let o = -123/10 - -12. Let m be (-2)/(-110) + 1/(-2). Let z = m - o. Is z smaller than 0?
True
Let n = -648/5 + 130. Is -0.026 bigger than n?
False
Let v be 3 + (-9)/(-1 + 4). Let l = v - 2. Let p be -2 + 1/(-1 + 2). Is p equal to l?
False
Let b = 16342309/823 - 19857. Let z = 4127/4938 + b. Which is smaller: 1 or z?
z
Suppose -5 = o - 3*v - v, 0 = 4*v. Let c be 1/5 + (-153)/15. Let q = 5 + c. Is q > o?
False
Let o be 26/8 + -1 - 2. Let u = -1.05 - -0.99. Which is greater: u or o?
o
Suppose -4*l = -3*l - 2. Suppose -4*r = l*k + 2, -4*k - 2*r = r - 6. Suppose 4*u + 2*t = 0, 5*t = u + 14 - k. Which is bigger: 0 or u?
0
Let x be (-1)/(-1) + (1 - 1). Let k be (-8)/11*2/(-12). Let c = 5/11 - k. Is c >= x?
False
Let g be (-30)/26 - -1 - (-6)/39. Let o = -8/15 - -2/15. Which is greater: o or g?
g
Let m = 23/8 - 19/40. Is 0 at most m?
True
Let n be ((-15)/(-2))/5*-614. Let y be n/927 + 1 + 0. Let k = y - -608/1545. Which is bigger: 0 or k?
k
Let u be (52/20 - 4) + 2. Let t(h) = -h**2 + 4*h + 7. Let d be t(5). Is d at most as big as u?
False
Let z = 0.03 + 0.27. Let u = -66 + 65. Is u <= z?
True
Let f(o) = o - 1. Let g be f(-1). Do g and -3 have different values?
True
Let i = -36 + 29. Is -7 less than or equal to i?
True
Suppose 0 = 3*v - 0*v - 4*x - 34, 0 = -4*x - 16. Let s be ((-3)/4)/((-3)/22). Which is smaller: s or v?
s
Let y = 1.7 - -0.3. Let q = 35/123 + 2/41. Is y at least as big as q?
True
Let i be (3*6)/3 + -2. Suppose m - 5 = -i*m. Which is smaller: m or -2/9?
-2/9
Suppose -3*p - 8 = p. Let n = -24 + 21. Which is smaller: p or n?
n
Let h be 20/2*(-1 + 0). Which is smaller: h or 0.1?
h
Let v = -11 - -16. Which is smaller: 7 or v?
v
Let s(f) = f**2 - 20*f - 1. Let x(g) = g**2 - 21*g - 1. Let l(m) = -5*s(m) + 4*x(m). Let b be l(16). Let k = -33703/35 - -963. Which is smaller: b or k?
k
Let o(z) = z**2 - 3*z + 2. Let i be o(2). Suppose r - 3*r + 294 = i. Let y = -585/4 + r. Does -2/3 = y?
False
Let p be (1 + -4)/(-3) - 0. Do p and 1/5 have the same value?
False
Let c be 6/(2 + 1) - 0. Which is bigger: 9/8 or c?
c
Let i = -0.01 - 0.99. Suppose 34 = -2*d - 0*o + 5*o, 4*d + 54 = 3*o. Let x be d/30*1/(-2). Is x less than or equal to i?
False
Suppose -5*y + 17 - 47 = 0. Is y less than -14/3?
True
Let j = -2.03 - -0.03. Suppose -5*a = -5*b - 20, 5*a - 1 = -b + 7. Suppose -a*v = -2*o + 6, -2*v = -5*o - 5 + 17. Is j < v?
True
Let z = -7.08 + 0.08. Let c = z - -7.2. Let a = 0 - 1. Which is greater: c or a?
c
Let b be -4 + 5 - (0 + 6). Let r = 34 - 38. Which is greater: r or b?
r
Let u(p) = -p**3 - 10*p**2 - p - 12. Let m be u(-10). Let t be 87/(-63) - 2/(-3). Which is greater: t or m?
t
Let l(s) = -s + 4. Let k(d) = -5*d + 21. Let m(z) = -2*k(z) + 11*l(z). Let i be m(-3). Suppose 0 = 5*h - 0*h + i, 0 = c + h - 1. Do c and 3 have the same value?
False
Suppose -2*g + 2919 = -5*g. Let q = g + 2065/2. Let v = -61 + q. Which is smaller: v or -2?
-2
Let z(h) = -h**3 + 11*h**2 - 6*h - 7. Let x be z(10). Which is smaller: 2/7 or x?
2/7
Let r(a) = -a. Let p be r(2). Let q be -2 - (p + 2/(-7)). Which is bigger: q or 3?
3
Let n = 15.1 + -15. Let f = -4.98 + 5. Is f at least n?
False
Let i = 238 - 487. Let f be 1 + i/(-27) - 3. Let j = -7 + f. Which is smaller: j or 1/2?
j
Let d be (-4)/(-70)*(-5)/71. Let h = 211/497 - d. Which is smaller: 0 or h?
0
Let j be (-4)/(-8) - 13/2. Let c(l) = -l**3 + 13*l**2 - 11*l - 18. Let k be c(12). Does j = k?
True
Let t = 2 + -14. Let p = -13 - t. Let k = -1 - -3. Which is bigger: k or p?
k
Suppose m - 2*g + 6 = -6*g, 0 = 4*m - 4*g - 56. Let z = m - 7. Let y = 0 - -3. Is z less than y?
False
Let y = 2 - 2. Suppose y = -b + 5*b - 4. Let q be (-1)/(-3) - 2/(-6). Which is smaller: q or b?
q
Let r = 63 - 72. Is -5 at least r?
True
Let s be ((-6)/(-4))/(3/8). Suppose 0 = s*w - w - 15. Is w at most as big as 4?
False
Suppose 2*z + 24 = -4*s, -5*z = 2*s - 3*s + 16. Let d be (s/(-20)*1)/(-1). Let h = -1 - 0. Is d greater than h?
True
Let m(q) = 89*q**2 - 2. Let b be m(1). Let v = b - 598/7. Which is smaller: 3 or v?
v
Let z be -1*(-1 + 6 - 4). Which is greater: -16 or z?
z
Let n = -8 - -9. Let k = -180 + 1437/8. Is n less than k?
False
Let o = 3 + -4. Let r be -198 + (-1)/o - 2. Let t = r + 1793/9. Is -1 bigger than t?
False
Let l = 4/73 + 118/511. Let w(i) = -i**3 + 16*i**2 - 17*i + 30. Let u be w(15). Which is greater: u or l?
l
Let l be 1/(2/4*1). Let o = -11 - -15. Suppose -o*q + 5 = -3. Are q and l non-equal?
False
Let n be (-58)/18 + (-8)/(-36). Let d be 4*((-3)/(-10))/n. Is -1 bigger than d?
False
Let c(o) = o**2 - 4*o - 3. Let k be c(-1). Is 8/7 >= k?
False
Let s = -3/17 - -66/85. Suppose 5*d = -2*k - 2*k + 2, -4*d = 8. Suppose 0 = k*h + h - 8. Which is greater: h or s?
h
Let u = -779963/316484 - -2/11303. Let i = 12/7 + u. Which is smaller: i or -2?
-2
Let o be 5 - (2 - 6)/(-2). Suppose h = -o*h. Let x = -79/36 + 22/9. Which is smaller: h or x?
h
Let k(q) = q**2 - q + 2. Let p be k(2). Let v(o) = 1 - p*o + 5*o - 4*o + 2*o. Let y be v(-2). Is y != 3?
False
Suppose 3*r + 0*r - 6 = 0. Let w be 32/84 + (-6)/(-21). Is r equal to w?
False
Suppose 7*h = 8*h + 4*s - 59, 125 = 3*h - s. Which is smaller: h or 45?
h
Let v be (-2)/(-8) - (-9)/(-4). Let y = -7 + 11. Suppose -10 = 2*u + 3*p, 3*u + y*p = -0*p - 14. Is v != u?
False
Let d = 2 + -2. Let y = 8 + -15. Let g = y + 7.5. Which is smaller: g or d?
d
Let r = 11 + -8. Is -2 less than r?
True
Suppose -4*f + 10 = 2*u + 4, 0 = f - 3*u + 9. Which is smaller: -2/67 or f?
-2/67
Suppose -3 = 2*g - 5. Suppose -5*t = -l + 1, -2*l + g = -4*t - l. Let v be (-2)/(-4)*8/36. Which is bigger: v or t?
v
Let w = 4976 + -1000178/201. Is -1 at most w?
True
Let x = 1 - -2. Let b be (-44)/x + 2/(-6). Let h be (12/(-15))/((-3)/b). Is h less than or equal to -3?
True
Let h be 1258/(-22) + 10/55. Let s be -5 + 1 + h/(-15). Which is smaller: 2/9 or s?
s
Let b = 0.04 + 5.96. Let m = 48 - 48. Which is greater: m or b?
b
Let p be (9/(-44))/((-6)/(-4)). Which is greater: -1 or p?
p
Let t(k) = 2*k**2 - 12*k - 1. Let u be t(-3). Is 53 less