7/34)/(-1))/4. Let s = n - -39/8. Which is bigger: s or 0?
s
Let l(r) = -r**2 + 9*r + 13. Let p be l(10). Let g = p + -6. Let w(f) = -f**3 - 6*f**2 + 8*f + 7. Let t be w(-7). Which is smaller: g or t?
g
Let c be (-2 + 3)/((-2)/(-4)). Let w be c - (-7)/((-21)/8). Which is bigger: 0.8 or w?
0.8
Suppose -5*a + 20 = -a. Let p be (2/2)/(1/1). Suppose -2*g = -m - g - p, -3*m + a*g - 1 = 0. Are m and -2 non-equal?
False
Let g(n) = n - 2. Let w be g(6). Suppose w*o = 258 - 78. Let r be 1 - o/78*2. Which is smaller: -1 or r?
-1
Let l be -2 - 3*(-6)/3. Let s be 2/l - 33/6. Is s greater than -6?
True
Suppose -5*o + 39 = 3*p, -5*o - 4 + 40 = 2*p. Is 6 != o?
False
Let l = 686/5 - 138. Let n(q) = -q**3 + 7*q**2 - 6*q - 1. Let i be n(6). Is i at least as big as l?
False
Let o be -2 + 0 + -3 + 0. Let q = -823/3 + 270. Which is smaller: q or o?
o
Let d(s) = s**3 - 5*s**2 + 3*s + 2. Let b be d(4). Let x = 8 + b. Is 6 > x?
False
Suppose -3*g = 4*c + 18, 3*g + 3*c = -2*c - 15. Let o be (-132)/77*g/6. Which is greater: 2 or o?
o
Suppose 3*q = 4*q. Let j(y) = -y + 2. Let h be j(q). Suppose 0*z = h*z. Is 1 bigger than z?
True
Let l be 1 + 1/9*-10. Let j be 1*6/(-81)*6. Let r = l - j. Is r > 2/7?
True
Let s = 4 - 3. Let u be (s + 0)/((-4)/8). Let n be (-3)/u*(-4)/(-24). Are n and 1 unequal?
True
Let h(g) = g**3 - 10*g**2 - 10. Let o be h(10). Is -10 less than o?
False
Suppose 0 = -b - 4*d - 5 - 12, 3*b + 19 = -4*d. Let t = -1 + 2. Let v be t*-1*(-2)/(-10). Are v and b nonequal?
True
Let f = -627 - -55801/89. Which is bigger: -0.1 or f?
f
Suppose -3*p = p + 4680. Let l be 224/p + 6/27. Is l at least as big as 1?
False
Let w(l) = -8*l + 2. Let p be w(-2). Let i be 12/p + (-4)/(-3). Is 4 equal to i?
False
Let o be (6 + 0)*7/56. Let r = -1.2 + 1. Which is smaller: o or r?
r
Let g(j) = j - 11. Let i be g(10). Let b = -0.4 + 0.5. Which is smaller: i or b?
i
Let w = -0.5 + 0.5. Which is greater: 8 or w?
8
Let s be 112/(-490)*(-2)/8. Which is bigger: s or -1?
s
Let h be ((-10)/6)/((-5)/45). Is -1 at least as big as h?
False
Let n = -4 + 5. Let i be (2/4)/(n - 2). Let g = 5 - 4. Are i and g nonequal?
True
Let o be -1 - (-7)/(21/2). Let n = 5 - 3. Is o at least n?
False
Suppose -a + 3*a = k + 4, a + 16 = -4*k. Is 1/24 != a?
True
Let f(h) = 2*h + 16. Let u = -9 + 1. Let n be f(u). Which is bigger: -3/4 or n?
n
Let s be 40/(-133) - 21/(-147). Is s greater than 0?
False
Suppose 2*r + 2*r = 0. Let m(z) = -z - 3. Let y be m(-3). Do y and r have the same value?
True
Let m(s) = -s**3 + 5*s**2 - 4*s + 5. Suppose 0 = -4*p + 16, -5*p + 28 = 3*i - i. Let x be m(i). Is 17/4 less than x?
True
Let m(h) = 0 + 2 + h + 1 + h**2 + 0*h. Let p be m(0). Is p smaller than 1?
False
Let f be -2 - (3 - (-2 - -6)). Let y = 13 + -15. Is f at most as big as y?
False
Let m be (-10)/14*(-4)/10. Let t be (-28)/(-98)*(-14)/(-24). Which is greater: t or m?
m
Let n be (-4)/(-10) - 4/10. Which is bigger: n or -4/23?
n
Let x = 47 - 113. Let l = -74.2 - x. Let t = -8 - l. Which is smaller: t or 1/4?
t
Let q be (18/18 - (-2)/(-2))/(-2). Is q equal to -2/111?
False
Let z(o) = -o**3 - 2*o**2 + 2*o - 1. Let u be z(-3). Let i be u/14*2/2. Which is smaller: 1 or i?
i
Let x be 38/(-12) - 1/12*-2. Is 4 at most x?
False
Let t = 0.61 - 0.71. Is 40/7 not equal to t?
True
Let f be (-3 - -1)/(-2) - -2. Suppose f*k + 4 = 7*k. Is k smaller than 4?
True
Let f(x) = -x**3 + 4*x**2 + 11*x - 8. Let m be f(6). Which is smaller: -15 or m?
-15
Suppose -2*z + 2*f + 12 = -f, -7 = z + 5*f. Suppose -3*u + c - 80 = z*c, u = c - 20. Let q be u/45*(-6)/4. Is q >= 1?
False
Let k(h) = -h**2 + 3*h + 2. Suppose -2*p - 1 = -5. Let c be k(p). Suppose c - 2 = g. Which is smaller: 1 or g?
1
Suppose 1 = -6*f - 29. Suppose 5 = -5*u + 30. Let q be -2 + 4/2 - u. Is f equal to q?
True
Let p be (-3)/(-4) + 2/8. Let m = -227/72 - -27/8. Which is smaller: m or p?
m
Let u be (22/33)/((-4)/(-3)). Let z be (-2)/(-15)*(-10)/8. Which is greater: u or z?
u
Let z = -2 + 2. Let y = z + 0. Let n = 4/181 - -278/3801. Is n > y?
True
Let s = 6 + -7. Which is smaller: -1/14 or s?
s
Let k(f) = -f**2 + 6*f + 6. Let p be k(7). Let g(i) = 2*i**2 + 2*i + 1. Let d be g(-1). Let a = -1 + d. Which is smaller: p or a?
p
Suppose -p = p - 36. Is p equal to 18?
True
Suppose -39 = -2*z + 65. Which is smaller: z or 51?
51
Let g = 2 - 4. Let q be (-2)/4 + (-5)/2. Let t be 1/(q + -1) - 1. Which is smaller: t or g?
g
Let k be 0 + 3 + -1 - 4. Which is smaller: k or -5/9?
k
Let i(b) = b**3 - 13*b**2 - 2*b + 5. Let d be i(13). Which is greater: d or -18?
-18
Suppose 12 = b + 14. Is -1 greater than or equal to b?
True
Let g = 17 + -19.2. Let w = g + 2. Is w at least 3?
False
Let v = -2.2 - -2. Let s = 2 - 1.9. Let o = s - v. Is o <= -2/7?
False
Let a = 5 + -3. Let o be (-63)/(-130) - 3/(-6). Let i = -5/13 + o. Does a = i?
False
Let v = 0.3 + -0.29. Is v at most -0.3?
False
Suppose 0*r - 16 = -4*r. Suppose 2*b + 6 = 2*n, -8*b - 4 = -2*n - r*b. Which is smaller: n or 2?
2
Suppose -4*j = 2*n + 12, 2*n + 3*n = j + 25. Suppose r - 5*m + 8 = 1, 3*r - 55 = -n*m. Suppose 0 = -4*a - 1 + r. Are 4 and a non-equal?
True
Let o = 1.033 + -0.033. Let s(g) = g**3 - 4*g**2 + g. Let d be s(4). Let c = -2 + d. Does c = o?
False
Let m = -0.78 - -0.5. Let k = m + 0.08. Is k at least 1?
False
Suppose -3*y = 4*g - 5*y, 3*g = -2*y + 14. Which is bigger: 0 or g?
g
Let y = 53799809/1567 + -34333. Let u = y - 25062/7835. Let s = u + 3. Which is bigger: s or 0?
0
Let o = -0.57 + -0.13. Let b = 0.3 + o. Let j = -0.6 - b. Is j greater than 0?
False
Let u = -74 + 137. Is 63 bigger than u?
False
Let a be 102 - ((-4)/(-3) + (-10)/(-6)). Is a smaller than 98?
False
Let x(y) = -19*y**2 + 6*y + 6. Let h(z) = z + 1. Let i(g) = -6*h(g) + x(g). Let u be i(-1). Let j = -173/9 - u. Which is greater: -1 or j?
j
Let f(a) = a**3 - 2*a**2 - a. Let d be f(2). Suppose o + 6 + 8 = 0. Let k be (-4)/o - (-414)/(-126). Is d at most k?
False
Let c be (-3)/7*14/4. Are -3 and c nonequal?
True
Let r = 7 - 5. Let y = 2.4 - r. Is y <= 1?
True
Let i = 2.2 - -1.7. Let o = i - 4. Which is smaller: o or 1?
o
Let m(l) = l**3 + 11*l**2 - 26*l + 8. Let k be m(-13). Are 1/3 and k nonequal?
True
Let x be 1/5 - (-1)/(-3). Let b = 4 - -1. Suppose 5*i + b = -0*i. Is x bigger than i?
True
Suppose 19 = 4*k - 3*k. Suppose 0 = -f - k + 44. Let j be f/45*2/(-5). Is j at least 1?
False
Let z be 0 + (7/(-2) - -2). Which is greater: z or 3?
3
Let b = -38 + 38.2. Which is smaller: -0.13 or b?
-0.13
Let o = -3.9 + 3.9. Is -0.2 at least as big as o?
False
Let y(v) = v + 7. Let h be y(8). Is -1/2 at most as big as h?
True
Let b(k) = 3*k**3 - 7*k + 8. Let f(r) = -2*r**3 - r**2 + 6*r - 7. Let j(n) = -3*b(n) - 4*f(n). Let q be j(3). Let h be (2 - q) + (3 - 0). Is 4/7 < h?
True
Let c(w) = w**2 + 3*w + 1. Let l be c(-4). Let y(s) = 10 + 2*s - 2*s + l*s - 4*s. Let h be y(-7). Which is bigger: 2 or h?
h
Suppose 5*g - 2*g = 0. Let w = -241/282 - -1/47. Which is bigger: g or w?
g
Let b = 14.12 + -14. Let a = 1.12 - b. Is a at most as big as 12?
True
Let o(w) = 2 - 12*w**3 + 0*w**2 + w**2 + 11*w**3. Let f be o(0). Let p be 2*(2/4 + 0). Is f at most as big as p?
False
Let j = -151 + 150. Which is smaller: -1/269 or j?
j
Let m(n) = -4*n - 31. Let v be m(-7). Let o(p) be the third derivative of p**5/60 + p**4/3 + 4*p**3/3 - 2*p**2. Let x be o(-6). Which is greater: x or v?
v
Let m = -13.91 + 14. Let l = m - -3.91. Is -1/4 > l?
False
Let z be (2 - -23) + 7/(-7). Which is smaller: z or 25?
z
Let b = -16 + 17. Which is smaller: 1/8 or b?
1/8
Let q be 1/(-1) + 14/(-7). Suppose -4*k + 8 = -2*k. Suppose -g = t + k, -2*t - 1 = -g + 2*t. Does g = q?
True
Let d be (-2)/(14/261) + (-8)/(-28). Are -38 and d non-equal?
True
Let v = 8 + -13. Let i = v - -4. Let f = -44 + 85/2. Which is smaller: f or i?
f
Let n(j) = j**3 - 4*j**2 + j + 1. Let z(w) = w**3 - w**2. Let u(y) = -n(y) + 2*z(y). Let v be u(-2). Is -2/15 smaller than v?
True
Suppose -1 = -4*o - 5. Let g = 3 + o. Suppose 0 = -5*u + g*a - 12, a - 2*a = -1. Are u and -1 nonequal?
True
Suppose 5*o + 16 = 1. Let d(a) = a**3 + 3*a**2 + a. Let l be d(o). Is -3 not equal to l?
False
Let p be 1*3 - (3 + -3). Let s be 0 + -2 + 7/p. Is -1 != s?
True
Suppose -4*s = -3 - 5. Which is greater: 12/11 or s?
s
Let c(h) = -2*h + 1 - 1. Let a be c(-1). 