5 = 0. Suppose 0 = 3*y + 5*i + w, 5*y + 2 = -5*i - 13. Is -1 smaller than y?
False
Let i = 6.2 - 6. Let u = 4 + -4.1. Let l = u + i. Is l at least -1?
True
Let l(v) = v - 3. Let m be l(4). Let r = -2 - m. Let d be 0 - r - 4 - -2. Do d and 1/3 have the same value?
False
Let m = 0 - -5. Let x(s) = -s**3 + 5*s**2 - s + 5. Let h be x(m). Let g = 4 - 3. Is h >= g?
False
Suppose w - 2*w + 8 = 0. Let y be 1 - w/3 - -1. Is 0 < y?
False
Suppose 3*p - 5*z = -85, 3*p + z + 35 = p. Which is greater: p or -21?
p
Let u be (-6)/27 - (-62)/36. Let b = -9/8 + u. Which is bigger: b or 0?
b
Let w = -6.89 - 0.11. Let m = w - -7.12. Which is greater: m or 1?
1
Let r be 4/1*(-2 + 0). Is -15/2 greater than r?
True
Let u be (-2)/(-4) + 44/(-8). Is u <= -5?
True
Let w be 6/(-2) - 2 - -1. Let r = -7 - -9. Let f be (1/2)/(r/(-16)). Is f equal to w?
True
Let b = -13963/49 + 285. Are b and 0 unequal?
True
Suppose 0*g = 5*g. Let a = -6591/19 + 347. Which is greater: g or a?
a
Let j = 1 + -1. Let k = -0.4 + 1.5. Let m = k - 1. Is j < m?
True
Suppose 4*f = 5 + 7. Let n be 6/f - (-20)/(-9). Is 0 at most as big as n?
False
Suppose -2*m = -5*m - 18. Let a(n) = -n**3 - 7*n**2 - 7*n - 5. Let u be a(m). Let b be ((-2 + 2)/2)/2. Are u and b unequal?
True
Suppose -4*v + 2 + 2 = 0. Let i be (3/2)/(3/6). Let o(s) = s - 3. Let p be o(i). Are v and p non-equal?
True
Let h = 14 - 20. Suppose 2*u = g + 2, 3*g + 10 = -u + 5*u. Is g less than or equal to h?
True
Let h = -3 - 1. Which is smaller: -2 or h?
h
Let x(h) = 3*h + 16. Let i be x(-7). Let t(v) = -4*v**2 + v. Let o be t(-1). Is o <= i?
True
Let p(t) = 6*t**3 + t + 1. Let b be p(-1). Let w be (-6)/39 - 108/(-26). Let s = w + b. Which is smaller: s or -3?
-3
Let w be (-2)/13 + (-9)/(-78). Is -1 greater than or equal to w?
False
Let k = 14941/12129 + -1/933. Which is greater: 0 or k?
k
Let b be (-5 + 3 - -9)*(-3)/18. Do -2 and b have different values?
True
Let m(x) = -2*x**3 + 16*x**2 - 2*x - 17. Let z be m(8). Is -33 greater than z?
False
Let p be ((-1)/(-3))/(5/(-3)). Suppose 0 = -4*s + 5*b + 21, s - 4*b - 28 = -9. Is s at least as big as p?
False
Let h = -1 - -2. Let r be (-2 - -3) + 1 - 1. Is h less than or equal to r?
True
Let l = -9 + 5. Suppose -k = -2 + 4. Let z be ((-1)/k)/(3/l). Which is smaller: -1 or z?
-1
Let t = 62/11 - 828/143. Which is bigger: 5 or t?
5
Let f(d) = -d + 14. Let b be f(8). Suppose 0 = 2*u + b - 4. Let n = 1 - u. Does n = 3?
False
Let a(o) = -o**3 - 7*o**2 - 6*o + 3. Let u be a(-6). Suppose 0 = j + u, 4*k + 5 = -3*j. Let v be 0/((0 - -1)/k). Which is smaller: v or -0.3?
-0.3
Let f be (1 + 3)*(-2)/12. Suppose o + v + 6 = -2*v, 10 = -2*o - 5*v. Is f greater than o?
False
Let p = 43 + -73. Let n = -61/2 - p. Which is bigger: n or -2?
n
Let t = 7.4 - 0.4. Let u = t + -7.1. Let h = 1 - 2. Is h > u?
False
Suppose -3*l - 34 = -7. Is -11 less than or equal to l?
True
Suppose 2 - 1 = z. Is z at least 2?
False
Let a be (-40)/6 - 2/(-3). Let y = -10 - -5. Which is greater: y or a?
y
Let p(k) = k**2 + 5*k - 4. Let i be p(-5). Let s = -8 + 14. Suppose -5 = -11*j + s*j, 2*r - 5*j = -15. Is i >= r?
True
Let a = -8.6 + -0.4. Let w = a - -8.9. Are w and 0.3 equal?
False
Let j = -21 + 8. Which is bigger: -2 or j?
-2
Let d(u) = u - 4. Let b be d(3). Let a be b + -2*9/6. Let q(f) = -f**3 - 5*f**2 - 5*f - 4. Let c be q(a). Which is greater: c or 3?
3
Let n = 18 + -17.8. Which is smaller: n or 0?
0
Let f be 1/4 - 26/(-56). Which is smaller: 2 or f?
f
Let x(q) = q**2 + 2*q. Let t be x(-9). Do -1 and t have different values?
True
Let o = 10.96 + -11. Which is smaller: o or -0.1?
-0.1
Let a(f) = 2*f - 1. Let l be a(4). Suppose 4*o - l - 1 = 0. Does 3 = o?
False
Suppose 0 = g - 1 + 2. Let c(v) = 3*v - 1. Let j be c(g). Let y be 2/(-12) + (-2)/j. Which is smaller: y or 0.1?
0.1
Let w = -2.1 + 1.97. Let i = w + 0.13. Is 0.03 at most as big as i?
False
Let t be ((-5)/(-10))/(-1*2). Let w be ((0 + 0)/1)/1. Is t at most w?
True
Let b = 152 - 138. Let m(u) = u**3 + u**2 + 2*u - 2. Let c be m(2). Is c greater than or equal to b?
True
Suppose -14*j + 8*j + 42 = 0. Is j greater than -2?
True
Suppose 1 + 0 = -5*x - 2*h, 2*x + 6 = 2*h. Which is smaller: 1/28 or x?
x
Let v(h) = 5*h + 1. Let x(i) = -i + 1. Let u(m) = -v(m) - 3*x(m). Let r be u(-2). Suppose 3*d = -0*d. Do r and d have the same value?
True
Suppose 5*m = -w + 5*w + 24, m - 6 = 2*w. Let v be (-3)/9*2/3. Which is smaller: v or w?
w
Let o = -0.21 - -0.11. Which is bigger: o or -0.18?
o
Suppose 0 = -3*x + o + 21, 4*x + 5*o = x + 21. Suppose -2*f = x + 21. Are f and -14 unequal?
False
Let n = -30 - -20. Which is greater: n or -11?
n
Let a be -1*1 - 1 - -1. Let t = -158/51 + 13/17. Is a >= t?
True
Let c be 50/21 - 10/10. Let g = -2/7 - c. Which is greater: g or -1?
-1
Let j be (-51)/(-42) + 4/14. Which is smaller: j or 6?
j
Suppose 5*p - 13 = 4*o - 50, -5*o + 4*p + 35 = 0. Suppose 7*u + 84 = o*u. Let m be (-16)/7 + (-6)/u. Do m and -3 have the same value?
False
Let c = -50 - -48.91. Let s = -0.09 - c. Let z = s - 2. Is 0.2 at least z?
True
Suppose 2*z - 3 = -1. Is 2/3 less than or equal to z?
True
Suppose 0 = c - 0*c + 2*k, 0 = -3*c + 3*k. Suppose c = -8*q + 3*q + 5. Which is greater: q or 2/3?
q
Let n = -1/12 + -1/4. Suppose -7*t = -3*t + 24. Let h be (2/(-3))/(2/t). Are h and n nonequal?
True
Let q(o) = 3*o - 1. Let b be q(-1). Let t be (-8)/8 + 4 + -7. Does t = b?
True
Let c = 1571/8 + -196. Let v be 9/(-12) + (-2)/8. Which is bigger: c or v?
c
Let o = -15 + 27. Which is smaller: 13 or o?
o
Suppose 2*a - 1 - 3 = 0. Let t = a - 0. Let y be 3/(0 + (-3)/t). Which is smaller: y or -1?
y
Let m = -15 - -31. Let g = m + -10. Is g at most as big as 6?
True
Let k = 21 + -19. Which is greater: k or 5/3?
k
Let a(x) = -x**3 + 5*x**2 + 4. Let m be a(5). Suppose -5*u + m = -16. Suppose 4*w = 7*w - 6. Is w less than or equal to u?
True
Let f = -739/309 + 6/103. Which is smaller: f or -2?
f
Let v = -82 - -655/8. Let u be 2/8 - 1/4. Is v bigger than u?
False
Let h = 63 + -253/4. Let v = 28 + -32. Which is smaller: v or h?
v
Suppose -2*q = 6*n - n - 23, 5*q - 3*n - 135 = 0. Suppose -q = -4*t - l + 6*l, -4*t + 8 = -l. Let a be (-1 - 0/3)*t. Is a bigger than -2/13?
False
Let i(l) = l**2 - 5*l + 6. Let j be i(4). Suppose -3*d - 12 - 6 = 0. Let s be (0 - j)*3/d. Is 3/5 greater than s?
False
Suppose 5*g + 0*g = 5*y + 30, g + 6 = -2*y. Is -0.2 < g?
True
Suppose 2*b - b = 9. Let n = b + -8. Is -2/39 at least as big as n?
False
Let w(i) = -i**3 + 15*i**2 - 14*i + 4. Let p be w(14). Is 6 < p?
False
Let v = 0.069 + -2.069. Suppose 4*j - 5*z = 2*j - 5, -j + 5*z = 5. Which is smaller: v or j?
v
Let z = -3 + 1. Let d be z/(-3) - 5/3. Is 1/5 at least d?
True
Let h be 4 - 3/(-6)*0. Suppose -2*f - 8 = h*a, 2*a = 4*f - 12 - 2. Which is smaller: f or 0.1?
0.1
Let w be (-76)/(-182) - 4/7. Is 1 at most w?
False
Let h(u) = u**2 - 12*u + 5. Let z be h(12). Let v(j) = -j**3 + 5*j**2 + j - 2. Let m be v(z). Is m >= 2?
True
Let f be (-2)/16 + 356/32. Is f > 13?
False
Suppose 0 = -2*h - 3*h. Suppose h*l + 3*w - 9 = -3*l, 2*l - w - 21 = 0. Is l less than 8?
False
Let k = 1.5 + -0.5. Which is greater: -2 or k?
k
Suppose -m = -4*m + 21. Suppose m*q - 4*q - 21 = 0. Is q at most as big as 7?
True
Suppose -5 = -2*d - 7. Is d <= -1/6?
True
Let u = 3/28 + 1/7. Is -16 bigger than u?
False
Suppose 2*a + 9 = a. Let c be (-3)/a*(-1 + -2). Is -1 less than c?
False
Let f = 0.009 + 9.991. Which is smaller: f or 2/3?
2/3
Suppose 4*c = 16 - 12. Is 1/42 > c?
False
Suppose 3*x + 4*w + 14 = x, -4*w = -2*x + 26. Let b be 2/x*(3 + -6). Let i = 2 + b. Is -6 greater than i?
False
Let x be 0 - -1 - 2/3. Let k be 2/(4/(-3)*(-9)/6). Which is bigger: x or k?
k
Suppose -5 = 5*k - 50. Let n(s) = s**3 - 9*s**2 - s + 10. Let f be n(k). Suppose 5*c - 3*b + 20 = 0, 3*b + 6 - 19 = -2*c. Which is smaller: c or f?
c
Let p be (3/(-8))/((-9)/(-6)). Which is bigger: -0.07 or p?
-0.07
Suppose y + 2*i = -0*y + 11, -2*i = 3*y - 13. Let k be (3 - y) + -8 + 9. Is -1 >= k?
False
Let v = -58 - -52. Which is smaller: 1/4 or v?
v
Suppose 5*c - 6 = -2*n, 10 = 3*n + 1. Which is bigger: c or -5?
c
Suppose 32 = -4*g - 2*l, 5*g - 5*l - 2 = 2*g. Let q be g/4 + (-3)/(-6). Is q less than -2/5?
True
Suppose -5*x - 78 = -43. Is -8 equal to x?
False
Let o be 0 - 1/(21/1461). Let l 