-1/3
Let d = -14.3 - -15. Let f = -0.5 + d. Is -1 less than f?
True
Let z = -13 - -8. Which is greater: z or -0.1?
-0.1
Let q = 0.6 - 0.4. Which is bigger: q or 3?
3
Let c be 2/(-44)*(7 + -11). Do c and 1 have the same value?
False
Let d(r) = -r + 1. Suppose -2*l - 4*q - 14 = 0, l - 5*q = -q + 17. Let f be d(l). Is 1 < f?
False
Let r = 727891/16296 + -1/5432. Let t = 45 - r. Suppose -4*h = -3*h - 0*h. Which is smaller: h or t?
h
Let f be (-2)/(3*2)*3. Suppose -5*l - 5 = -5*h, -3*l - 37 = 2*l + 3*h. Let c be l/10 - 1/(-6). Does f = c?
False
Let h = 594/5 - 118. Suppose -y - y - 8*y = 0. Is y < h?
True
Let x be (-2)/(-4) + 72/16. Which is smaller: 7 or x?
x
Let l(m) = m - 3. Let x be (2 + -2)*(4 + -3). Let w be l(x). Which is smaller: w or 0?
w
Let w = -99 + 301/3. Which is smaller: 1 or w?
1
Let a = 3.99 + 0.01. Let g = a + -5. Which is bigger: -5 or g?
g
Let a be (2/9)/(1/3). Let p be 1 - (2 + -3 + 1). Suppose 4*l = 3 + p. Which is smaller: a or l?
a
Let z(a) = 4*a**3 - a**2 + a. Let y be z(1). Suppose m - 18 - 3 = 5*q, -q = y*m. Let v be (-2 + 0)/1 + 2/(-4). Is q smaller than v?
True
Let z be (-13)/((-182)/60) + -4. Which is greater: z or 2/3?
2/3
Suppose 3*z + h + 65 = 0, -6 = -2*z + 3*h - 64. Which is bigger: z or -24?
z
Let o be 5/55 - 26/143. Let m(q) = -q**3 + q**2 + q. Let j be m(-1). Which is smaller: j or o?
o
Let r be 2/11 - (-64)/11. Suppose -3*p - 46 = -r*p - 4*m, -2*p + 24 = m. Let b be ((-2)/p)/(4/(-10)). Is b != 1?
True
Let b = 0 + 0. Let z = b - -0.3. Is z at most as big as 2/3?
True
Suppose -6*o + 4*o + 2*x = -2, 0 = -5*o + 4*x + 6. Suppose 0*j + 2*j = -o. Let m be j/2 - (-2)/(-20). Is -1 greater than or equal to m?
False
Suppose -7*f - 53 = -11. Is -1 greater than f?
True
Let r(f) = -f**2 - 6*f + 7. Let h be r(-7). Which is smaller: 10/13 or h?
h
Let x = 9259/22 + -421. Let k = -4/11 + x. Let o(n) = n**3 + 2*n**2 - n + 4. Let v be o(-3). Which is bigger: k or v?
k
Let c(i) = -13*i**3 + i**2 - 2. Let v be c(1). Suppose -4*k = -6*l + 3*l + 43, 3*l - 56 = 5*k. Is k smaller than v?
False
Let l be -1*(3 - (-12)/(-3)). Suppose 0 = -d + 5*d. Which is smaller: d or l?
d
Let t be (-7)/9 + (-12)/54. Which is bigger: t or -1/10?
-1/10
Suppose -3*f - r = -2*r + 21, -2*f - 21 = -3*r. Is f greater than -6?
False
Let t = -0.107 - -2.107. Which is smaller: t or -3?
-3
Let t = 229470/7 - 32720. Let r = -61 + t. Is 2/7 at least as big as r?
False
Let v = 21 - 10. Let a = -22 + v. Is a >= -11?
True
Let n(z) = z + 8. Let k be n(-7). Which is bigger: -10/21 or k?
k
Suppose -b - 4*b + 5 = 0. Let o be ((-8)/66)/(5/90) - -2. Which is smaller: o or b?
o
Suppose 5*q + 20 = 5*v, 0 = 5*v + 2 + 8. Let x be -10 + 158 + (0 - -2). Let l be q/(-2) + x/(-42). Which is greater: l or -2?
l
Let c be (-16345)/28 - (-2)/(-8). Let v be -1 + 150*(-4)/c. Is v >= 1?
False
Let f be 2/(-2) + -4 + 5 + -1. Are 67 and f equal?
False
Suppose -4*x + 99 = -x. Let a be x/18 + (-3)/9. Suppose 7*c - 4*c - 3 = 0. Which is smaller: a or c?
c
Let y(m) = m + 4. Let c be y(-4). Suppose 0*d + d = c. Let r = -1 - d. Is r equal to 1/8?
False
Suppose 5*i - i = 4*y + 28, -4*y - 34 = -5*i. Let s be 3/i*1*2. Which is smaller: s or -2/11?
-2/11
Let c be (0 - (-3 + 2))*-33. Is c <= -33?
True
Let f be -3 - (-1 - (-1 + 2)). Suppose 7*d - 3*d - 4*l = 12, -10 = 5*l. Let h be (d*f)/(0 + -1). Are h and 1/3 equal?
False
Suppose -2*t - 32 = -4*t. Suppose j + 5*v + 20 = 0, 4*j + 3*v - 7*v - t = 0. Let l = -1 - -1.2. Which is greater: l or j?
l
Suppose -4*f = -2*f - 2. Do f and -26 have the same value?
False
Let h be 1/3 - 32/24. Is h greater than -2/17?
False
Let b be 2 + 1/((-3)/(-9)). Suppose -13 = v - 4*r, 2*v + b*r - 39 = -0*r. Is 5 less than or equal to v?
True
Let s be (-9)/12 - 38/(-8). Suppose 0 + 12 = 3*b + o, 3*o = b + 6. Which is smaller: s or b?
b
Let q be (-6)/(-12) + 22/(-28). Which is smaller: -5/6 or q?
-5/6
Let w be 3/12 - (-30831)/(-44). Let b = 701 + w. Let p = -181 - -182. Which is greater: p or b?
p
Let p(m) be the third derivative of m**5/60 + m**4/8 - m**3/6 - m**2. Let f be p(-3). Which is greater: -1/12 or f?
-1/12
Let i be 2/4 + 152/16. Suppose 2*m - 6 = -4*k + i, -2*k = 5*m - 24. Is k bigger than 0.1?
True
Let y be (1 - 5)*15/(-12). Is 4 equal to y?
False
Suppose -6*a - 56 = a. Is a != -8?
False
Let p = -132/79 + -11401/316. Let r = -23 - p. Let n = r + -53/4. Which is greater: n or 3?
3
Let x(f) = -f**2 - 4*f + 5. Let m be x(-5). Let s = 5252/15 - 350. Which is smaller: m or s?
m
Let q(l) = 2*l**3 - 2*l**2 - l. Let m be ((-4)/(-8))/((-1)/2). Let a be q(m). Let g be 9/12*4*-1. Is g greater than a?
False
Let a be (-3)/(21/(-2))*-1. Let p = -0.04 - -0.01. Let r = p + 0.03. Is r at most as big as a?
False
Suppose 0 = -5*a + 4 + 16. Suppose -a*d - 11 = 9. Is -5 equal to d?
True
Let x be 1 - (2 + -14 - -1). Let n be 33/x*8/30. Let k = 2/5 - n. Is 0 bigger than k?
True
Let b(g) = g**3 - 2*g**2 + g - 1. Let z be b(2). Let p = z + 2. Is p != 2?
True
Let x(f) = -3*f - 17. Let p be x(-5). Which is smaller: -2/3 or p?
p
Let r be -8*(-3 - 18/(-8)). Which is greater: r or 5?
r
Let x be 64/70 + (-1)/1. Let w = 14 - 100/7. Let q = w - x. Which is smaller: q or 0?
q
Suppose -5*m + 100 = -10*m. Which is greater: m or -1?
-1
Let k be (1/(-6))/((-6)/(-8)). Let i be 14/6 + 13/(-39). Let x be 1/(3/(-9)) + i. Which is smaller: x or k?
x
Let x be 1/3*9/3. Suppose -x = 5*q - 6. Let y = q + 0. Which is greater: y or 2/9?
y
Suppose -13*v = 2*m - 18*v - 15, -2*v - 6 = -3*m. Let u be ((-18)/(-8))/(1 + 2). Which is smaller: m or u?
m
Suppose 0 = n + 2*i + 10, 4*n = -5*i - 29 + 1. Let l = n - -5. Suppose -2*m - 4 = l*v, -5*m - 2*v = 3*v + 5. Which is bigger: m or -1/3?
m
Let f(o) = o**2 - 8*o + 13. Let z be f(9). Let m be (4/6)/((-4)/z). Are m and -5 equal?
False
Suppose 0 = -3*d - 2 + 11. Suppose c = -5*z + 22, -4*z + 2*c - d*c = -18. Let n = z + -2. Is 3 < n?
False
Let u = -3.1 - -0.1. Is u greater than 1/3?
False
Suppose -4*f - 4 = 4*q + 4, -2 = f. Let j = 1 - 1.4. Which is smaller: j or q?
j
Let x = 732 - 6598/9. Are -1 and x nonequal?
True
Let d be (14/42)/((-56)/54 - -1). Is d smaller than -9?
False
Suppose -4*z - 2 - 18 = 0. Let d(v) = 0*v - v**2 + 7 - 4*v + 0*v**2. Let y be d(z). Is y less than 2/3?
False
Let n be 6/(-33) - (-124)/(-44). Which is bigger: -2 or n?
-2
Let a(y) = -2 - y + 3*y - y. Let r be a(2). Let n be -12 - -10 - 50/(-26). Are n and r equal?
False
Let p = -14 + 14. Suppose p = 4*d + 10 + 2. Is d not equal to -4?
True
Suppose 11 = 3*v - 2*c, 4*v - 16 = -3*c - 7. Let h = 5 - v. Let s be 0/(-2 - (-2)/h). Are s and 1/4 unequal?
True
Suppose 0 = r - 6*r - 15. Let q = -4 - r. Let s be (q - -1)/(7 + -6). Which is smaller: s or 3?
s
Suppose 0 = -3*i - 2*f + 4*f - 13, 0 = 4*f + 4. Let x(r) = -90 - 2*r + r + 82. Let k be x(i). Which is bigger: -4 or k?
k
Let d = -6 - -6. Is 2/21 at least as big as d?
True
Let k(r) be the third derivative of -r**4/8 - r**3/6 - 4*r**2. Let y be k(2). Is y at least as big as -7?
True
Suppose 2*n + 2*n - 26 = -q, -n = -3*q + 13. Let l = q + -4. Suppose 0 = -3*g + 5*c - 0*c - 6, 3*c - 18 = -3*g. Which is greater: g or l?
g
Let r = -4 + 2. Let f = r + 1. Let d be ((-12)/(-42))/(1/f). Which is smaller: 0.1 or d?
d
Suppose -4*l = 1 - 17. Suppose -4 = -2*o - 5*c, l*o - 4*c = -3*c + 30. Let j be -2 - (1 - 23/o). Which is smaller: 0.2 or j?
0.2
Let y(i) = i**2 - 12*i + 6. Let c(p) = p. Let z(o) = -6*c(o) - y(o). Suppose 5*n = -17 + 42. Let k be z(n). Is -1 < k?
False
Let s = -5 + 8. Which is bigger: 2 or s?
s
Let v = 52 + -54.3. Let o = v - -7.3. Is o not equal to 1?
True
Suppose 0 = 5*v - 4 + 14. Let k be (2 + -3)/(-2)*v. Which is smaller: k or -3/8?
k
Let b = 98 + -101. Let w(f) = -f**2 - 3*f - 2. Let k be w(-3). Is b greater than k?
False
Suppose 0 = j + 3 - 4. Which is smaller: j or -2/11?
-2/11
Suppose 10 = -5*u - 0*p - 4*p, 2*p = u - 12. Let m(v) = -5 - v - u - v. Let j be m(-5). Which is smaller: 5 or j?
j
Suppose -2 - 2 = -2*y. Suppose 2*o = y - 6. Let c = 2 + -4. Is o <= c?
True
Suppose -2*q = -4*m - 2, -2*m - 2*m = -3*q + 1. Which is smaller: q or -1/20?
q
Let y = -0.11 - -0.1. Let n be 2 + (-22)/5 + 2. Which is smaller: n or y?
n
Let y be 63/(-33) - (-4 + 1). Let a be (0 + -1)*(2 - 2). Which is smaller: y or a?
a
Let b be (-2 - 0)*2/3779. Let d = b + 