v = 0. Let f be n(v). Is -8 at least f?
True
Let q = -72 + 22. Let p be (-4)/18 + q/18. Let j(f) = -f**2 - 2*f + 12. Let u be j(-5). Is p at least as big as u?
True
Let x = -0.012 + 0.012. Which is smaller: x or 0.162?
x
Let i(u) = -5*u**2 - 3*u + 1. Let p be i(-1). Is -7/25 at least p?
True
Let n(y) = y**2 + 2*y - 3. Let u be n(2). Suppose -5*h - 10 = -4*w + 2, 15 = 2*h + u*w. Is 1/13 < h?
False
Suppose 0 = 26*u - 25*u - 2. Is u greater than -1?
True
Let w = -58 - -175/3. Is -2/11 > w?
False
Suppose -3*g + 0*y + y - 93 = 0, 57 = -2*g - y. Let h be 12/g + (-26)/10. Is -2 less than or equal to h?
False
Let r = -2.4 + 0.4. Let o = -2.2 - r. Let w = 0.9 + -1. Which is smaller: w or o?
o
Suppose -m + 5*k = 2*m - 23, -k = 1. Let f(b) = b + 6. Let i be f(m). Suppose 5*y = 3*y - i. Which is smaller: -5 or y?
y
Let d = -48 + 47. Which is bigger: 2/11 or d?
2/11
Let p be 2 + 21/(-4) + 3. Let a = 4 - 6. Is p equal to a?
False
Let c = 29/68 + -3/17. Let s(u) = u + 4. Let n be s(-2). Suppose 2*y - 4*y + w = -n, 3*w = -12. Does c = y?
False
Let o(f) = 1 + 9*f**2 + 12*f + f**3 - 2*f - 1 + 11. Let q be o(-8). Is -5 < q?
False
Let l = 14 + -17. Is l smaller than -1?
True
Let v(p) = p**2 - p + 4. Let k be v(0). Suppose 26*j = 24*j + 10. Do j and k have the same value?
False
Suppose 0*c = -c + 2. Suppose -v - 4*r = -3, v - r = -0*r - c. Is 0 smaller than v?
False
Let p = -0.5 - -0.4. Is p bigger than 8?
False
Let a(t) = -5*t - 2. Let w(s) = -6*s - 1. Let j(o) = -5*a(o) + 4*w(o). Let x be j(11). Suppose -5*v + x = -3, -4*n + 4*v = 20. Are n and -3/5 equal?
False
Let c = -1212/5 + 15556/65. Which is greater: c or -2?
-2
Let o = 19 - 31. Let a be ((-15)/(-6))/((-2)/o). Let j be 0 + ((-36)/a - -2). Is -0.2 > j?
True
Let d = 0 - 4. Let k = d + 1. Let y = k - -3.5. Is -0.1 bigger than y?
False
Let d = -120 + 120. Which is greater: d or -2?
d
Let q = 0.008 - -1.092. Is -2/3 smaller than q?
True
Let b be 172/6*(-1)/(-14). Let g = 12/7 - b. Are g and -2 non-equal?
True
Let o = 0.2 - 0.2. Which is smaller: 1/6 or o?
o
Let c = -270934741/675469 - -30/35551. Let t = c - -401. Which is smaller: -1 or t?
-1
Let q = 0.57 + -0.67. Which is bigger: q or 13?
13
Let h be (0/1 + -1)/(-4). Let f(u) = -6*u + u**3 + 2*u**2 - 3*u**2 - 1 + 7*u. Let y be f(0). Is y at most h?
True
Let v be 4/15 + 6/15. Let m = -1.74 + 0.04. Let z = m - -2. Is v <= z?
False
Let r be (-50)/48 - 20/(-30). Let v(j) = j**2 + 7*j - 8. Let k be v(-8). Is r bigger than k?
False
Let u = 0.4 - 0.6. Let z = u + 0.2. Let y be (-14)/6 + (-1 - -3). Is z greater than y?
True
Let v be (-70)/66 - (0 - 1). Let h = 12 - -1. Suppose -9 + 4 = -2*b + u, 0 = 2*b + 5*u + h. Is b at most as big as v?
False
Let v = -0.02 - -0.12. Let c = -156.06 - -158. Let q = 0.06 + c. Is v smaller than q?
True
Let r = -5 - -4. Let q be 10/75 - (-1)/105. Is q at most as big as r?
False
Let t(i) = -i**2 - 2*i + 1. Let s be t(-2). Let c = 3 - s. Is 2 > c?
False
Let j(b) = -2*b - 1 + 4 - 4*b + b**2. Let d be j(4). Suppose -11 = -k - 4*f - 0, -4*k = 5*f. Is k >= d?
True
Let w = 7 - 11. Let s = w + 1. Is 1 at most as big as s?
False
Let u be (6/(-5))/((-1)/5). Suppose 0 = -g + u*g. Suppose -3*n = x + 1, -6 = -3*n - 4*x - 1. Is g greater than n?
True
Let v be (-2 - 0) + 5 + 1. Suppose v*g - 3*g + 20 = 0. Let r be (-2)/11 + g/11. Are -1/2 and r equal?
False
Suppose -18*g + 14*g + 60 = 0. Do g and 15 have the same value?
True
Let i(u) = u**3 + 5*u**2 - 6*u. Let o(t) = -t**2 - 6. Let k be o(0). Let l be i(k). Let s be (-3)/(3/8*-2). Is s != l?
True
Let k = -1.68 + 1.45. Is k not equal to 0.1?
True
Let t(w) = 3*w - 9. Let s be t(9). Let d = -23 + s. Which is bigger: -7 or d?
d
Let o be 8/(-2) + (-100)/(-26). Suppose -d - 1 = -0*d. Let j = -1 - d. Which is smaller: j or o?
o
Let b(m) = 6*m**3 - m**2. Let o be (2/6)/(2/(-6)). Let k be b(o). Is k less than or equal to -7?
True
Let d be ((-2)/3)/((28/6)/7). Is d > 39?
False
Suppose 6*s - 7*s = 0. Is s less than 6/19?
True
Suppose 0 = -f - 2 + 10. Which is greater: 26/3 or f?
26/3
Let m(j) = 53*j**2 + j - 1. Let d be m(1). Suppose 2*u + 17 = -d. Let v = -527/15 - u. Which is smaller: 0 or v?
v
Suppose 0 = 5*d, 3*h - d = 3*d. Which is greater: 10 or h?
10
Let r = 143 + -120. Are r and 23 nonequal?
False
Let q = -1/107 + -527/856. Suppose 10 = -2*s - o - o, -4*o = 2*s + 16. Which is smaller: q or s?
s
Let z be (-33)/(-3 + 0) - 0. Suppose -8 = 2*b - 5*o, z = -5*b - 5*o - 9. Is -4 != b?
False
Let m(u) = u**3 + u**2 - 1. Let x be m(-1). Let n be 20/(-3)*1*-3. Let l be 4/(-10) - 8/n. Which is bigger: l or x?
l
Suppose 0 = 3*v - 5*j + 12 + 8, 5*v = -j - 52. Let f(u) = u**3 + 6*u**2 + 7*u + 1. Let n be f(-5). Is v at most as big as n?
True
Suppose -4*d + 8 = -0*d. Suppose 3*o + 30 = o + d*a, 3*o + 53 = 5*a. Which is bigger: o or -10?
-10
Let m = 5 + -3. Let x be (-1)/(-15)*12/46. Let o = 244/805 - x. Is o >= m?
False
Let y(x) = -x**3 + 9*x**2 + 1. Let n be (-65)/(-7) + 14/(-49). Let s be y(n). Is s > -2?
True
Let j = 0.23 + 0.77. Is -5 not equal to j?
True
Let p = 180 - 176. Let h = 0.3 + -0.1. Which is bigger: p or h?
p
Let p = 1.86 - 2. Let b = p - -0.04. Is -8 < b?
True
Let k = 5 - 3. Suppose c = k*c. Are c and 2/3 unequal?
True
Let b be 1 - (135*1)/5. Which is smaller: b or -27?
-27
Let n(g) = g + 6. Let o be n(-9). Let w = -3 + 1. Let l be -1*(-3)/6*w. Is o at least l?
False
Suppose -5*k + 5*s = 20, 3*k + 8*s - 12 = 5*s. Which is smaller: k or -2/57?
-2/57
Let l = -7 + 9. Which is smaller: 5 or l?
l
Suppose n = -4*n. Which is smaller: 1 or n?
n
Let d be (-1 - (-10)/13)*15/(-450). Which is bigger: -1 or d?
d
Let k = -977/13 + 75. Let p = 20 + -21. Which is smaller: p or k?
p
Suppose 0*z = z - 1. Which is smaller: -40 or z?
-40
Let u = 47.08 - 47. Which is smaller: u or -8?
-8
Let w = -2.7 - -3. Let b = -0.1 - w. Let l = b - -0.5. Is 4 >= l?
True
Suppose 5*f + 18 = 4*z, 5*z - 3*f = -2*f + 12. Let i be (z/(-6))/(2/(-3)). Is i greater than or equal to 1?
False
Let i be (-3)/2 - (-1 - 3/(-6)). Which is bigger: i or -19/9?
i
Let d be 6/(-4)*(-180)/10. Is d less than or equal to 27?
True
Let a(h) = -h**2 + h - 1. Let l be a(1). Suppose -5*c = -10*c + 25. Which is greater: l or c?
c
Let l be -2*(1/(-2) + 0). Let y be (-2)/4 - 14/(-4). Suppose 2 + 1 = y*m. Is l < m?
False
Let c = -661 - -657. Let p = -3 - -1. Which is bigger: c or p?
p
Let l(q) = q**3. Let g be l(0). Suppose 5*k + 0*z = 4*z - 20, -5*k - 5*z + 25 = 0. Is g bigger than k?
False
Let i = 865/714 + -7/102. Let b = 7 + -5. Which is smaller: i or b?
i
Let y(d) = d**3 + 5*d**2 - d - 1. Let u be y(-5). Let w be (-4)/(-14) - (-190)/70. Suppose 0 = -w*c + 4*g - 13, 3*c - g - 2 = u*c. Which is greater: -2 or c?
-2
Let w be (-7)/(-6)*(-72)/(-441). Which is smaller: -1 or w?
-1
Let b = 0 - -2. Let p = 3 + b. Suppose p*g + 4 = g. Which is greater: -2 or g?
g
Let i(p) = p**2 - 3*p - 1. Let c be i(4). Which is greater: c or -5?
c
Let y = 694/55 + -64/5. Let x = -0.7 + -0.3. Are y and x non-equal?
True
Let s be (-1)/((-1)/(-8)*-2). Suppose 5*r = -s*g + 2*g - 12, 3*g + 9 = -3*r. Let q = -3/14 - -1/70. Which is smaller: q or g?
g
Let r = 4 - 3. Suppose 0 = 3*h + 2*y + 7, -r = 3*y - 4. Let b = -59 + 57. Is h > b?
False
Let p = 245989/24 - 20403/2. Let t = p - 146/3. Which is bigger: 0 or t?
0
Suppose 4 = 2*m + 4*d, -3*m + 7*m - 8 = -5*d. Suppose m*k + 8 - 26 = 0. Which is smaller: 8 or k?
8
Suppose 4*o + 11 = 27. Let d be (-2)/(-7) + (-26)/(-7). Do d and o have the same value?
True
Let z = 4 + 0. Suppose z*q + 5 = 9. Which is smaller: 6/5 or q?
q
Let w = -679/4329 - -1/333. Is w smaller than 0?
True
Suppose 3*i - 2*i = 3*i. Let x(b) = -b - 1. Let t be x(-3). Let q = i + t. Is 2/7 bigger than q?
False
Let o be ((-7)/14)/(1/(-2)). Let s be ((-1)/2)/((-6)/9). Is o less than or equal to s?
False
Let o(q) = -5*q + 4. Let h be o(-8). Which is smaller: 45 or h?
h
Let k be ((-33)/(-44))/((-1)/24). Is 1 at least as big as k?
True
Let m = 31 - 32. Let b(x) = -x**2 + 5*x - 1. Let a be b(5). Let g = a - -1/4. Is g <= m?
False
Let s = 53 - 54. Which is bigger: 1/20 or s?
1/20
Suppose -5*w + 350 = -4*v, 0 = -w + 5*v + 102 - 11. Let x be (-2)/8 - w/(-8). Suppose 5*c + 2*j = 10, 0*c - 4*c + 5*j = -x. Which is smaller: -3 or c?
-3
Let l(m) = -m - 1. Let v(y) = -y**2 + 12*y + 8. Let r(n