t u be ((-32)/40)/((-1)/5). Suppose k = u*k. Which is smaller: k or t?
t
Let y = 127.2 + -131. Which is smaller: y or -1?
y
Let n = 0 - 0.1. Let g = -15/3727 - -297718/816213. Let i = g + -2/73. Which is smaller: i or n?
n
Let f = 1 + -1. Let k = 46688/37 + -1262. Let v = k - 7/185. Which is smaller: v or f?
v
Let b be ((-3)/(-2))/((-15)/40). Let w be (1/b)/((-9)/(-54)). Is -2 at most as big as w?
True
Let q be -1 + 0 + -2 + -7. Is -10 less than q?
False
Let t be 5 + -10 - 3*-1. Let q = -6 - t. Which is bigger: q or -0.1?
-0.1
Let t(n) = -5*n**2 + 6*n + 6. Let q(i) = -4*i**2 + 6*i + 6. Let p(w) = -4*q(w) + 3*t(w). Suppose 3*l - 28 = -l. Let k be p(l). Is 0 >= k?
False
Suppose -29 = 5*j - 24. Which is smaller: j or 1/3?
j
Let m = 81 + -69. Which is greater: m or -1?
m
Suppose 0 = -4*a + 3*h + 28, 0*h - 28 = -4*a + 2*h. Let j = -1 + a. Is 6 at least as big as j?
True
Suppose m + 5*l = 22, -2*l - 1 = -3*l. Which is bigger: m or -0.1?
m
Let l(d) = -6 - d**2 + d**3 - 9*d**2 + 4*d**2 - 6*d. Let b be (-2)/(-2) + 2 + 4. Let n be l(b). Which is greater: n or -2/11?
n
Let q be (-2)/5 - (-48)/70. Let v = -1.95 - 0.05. Let x = 1.9 + v. Does q = x?
False
Let a = 3.11 - -0.93. Let b = a - 0.04. Let x = -4.3 + b. Are x and 2/3 nonequal?
True
Let t = 11 - 10.9. Which is smaller: -5 or t?
-5
Let t = 26 - 27. Which is greater: 2/25 or t?
2/25
Suppose 5*t + 5*b = 10, 35 = -5*t - 2*b + 6*b. Let d be 9/6*(1 + t). Let o be d/(-1) + (5 - 8). Which is smaller: o or 1/17?
o
Let j be (-88)/(-6) + 6/(-9). Let y be 18/j + (-2)/7. Let u be (2 - (-2 + 0)) + y. Which is smaller: u or 6?
u
Let a be 0*(-3)/(-9) - -8. Let l(f) = f**2 - 7*f - 8. Let d be l(a). Suppose d*y = -4*y + 8. Which is bigger: 4 or y?
4
Suppose 2*y + 4*c - 18 + 2 = 0, 0 = 4*y - 4*c + 4. Let w be (0 + 0)/(2 - 1). Let h be w - (0 + y + -2). Is h smaller than 0?
False
Let g be (-3)/2 - 6/(-12). Is -1 at most g?
True
Let j = 105/34 + -10/17. Which is bigger: 3 or j?
3
Let a = -110 - -114.9. Let i = -5 + a. Is 2/11 less than i?
False
Let t = -13 + 13.7. Let o = t + 0.3. Let r = o + -1.1. Is 0 smaller than r?
False
Suppose -4*r = -2*r. Suppose -5*v + 0*v - 15 = r. Which is bigger: v or -4?
v
Let f be (3/2)/(18/24). Suppose -4*z - 2*s - 34 = 0, -z + f*s - 11 - 5 = 0. Let j be (-1)/(-2)*8/z. Is j less than 0?
True
Suppose 2*c + 602 = 4*h, 3*c + 4*h = h - 858. Let s = -4945/17 - c. Do s and 1 have the same value?
False
Let y be (-20)/(-12) - 1/(-3). Suppose -u - 3 = y*u. Is -2 equal to u?
False
Let x be (-3)/2 - ((-282)/12 + -1). Which is bigger: x or 25?
25
Let t(b) = 4*b**2 - 2*b + 2. Let d be t(1). Suppose a + 2 = -d. Which is bigger: -5 or a?
-5
Let h = 3/116 + -19/174. Suppose -3*c + 2 = m, -4*c = 3*m - c. Which is greater: m or h?
h
Let n(v) = v**2 - v - 6. Let j be n(0). Let d(f) = -2*f + 6. Let c be d(8). Let h be (0 + 1)*(c - -3). Is j less than or equal to h?
False
Suppose 3*l - 151 - 2 = 0. Let y be (18/l)/((-18)/40). Let s = y + 2/17. Which is greater: s or 0?
0
Suppose -1 = x - 2*x. Is x less than or equal to -1?
False
Suppose -c + 5*z = 27, -5*z - 3 = 2*c + 6. Which is smaller: c or -14?
-14
Let o = -0.042 + -0.058. Is o bigger than 2/3?
False
Let y = -6.4 - -6. Let l = y - -0.6. Let d = 1.2 - l. Is 0.3 >= d?
False
Let v = -13/4 - -4. Is v at least as big as -9?
True
Let b(m) = m**2 - 6*m + 6. Let h be b(4). Let y = -4 + 2. Is y at least as big as h?
True
Let u = 89 + -87. Which is bigger: 9/17 or u?
u
Let a(q) = -4*q**3 + 2*q**2 - 1. Let g be a(-1). Let y be (-3)/30 + (-2)/g. Is y greater than -1/7?
False
Let c = 7 - -9. Suppose 0 = 3*s - s - 4*d - c, 3*d + 13 = 2*s. Suppose i - s + 1 = 0. Is i at most 1?
True
Suppose -3*w + 1345 = 2*w. Let j = w - 2155/8. Are j and 1 unequal?
True
Let o(j) = -j**2 + 6*j - 7. Let d be o(5). Let v = 10 + -9.9. Which is greater: v or d?
v
Suppose -f - 5 = -2*f. Suppose -4*q + 9*q = f. Let r = 708/7 + -101. Which is smaller: r or q?
r
Let t(d) be the second derivative of -d**5/20 - 3*d**4/4 + 7*d**2/2 + 6*d. Let b be t(-9). Which is smaller: b or 2?
2
Let t(y) = -y - 4. Suppose -c + 3*f = c - 3, 14 = -4*c + 2*f. Let x be t(c). Is -1/3 > x?
False
Let r = 50 - 48. Is 0.7 <= r?
True
Let p = 46 - 27. Let n = 15 - p. Which is bigger: n or -0.4?
-0.4
Let o = -4 + 15/4. Which is smaller: -0.3 or o?
-0.3
Let m be 2/((160/(-6))/(-4)). Let k(q) = q**3 + 10*q**2 + 8*q - 11. Let v be k(-9). Let d be 3/(-6) + (-1)/v. Which is greater: m or d?
m
Let x = -21 + 16. Let y be x/49*(-4)/(-10). Which is smaller: 0 or y?
y
Let u be (-4)/3 + (-1)/(-3). Let q = 3 + u. Let y = 24 + -23.9. Which is smaller: y or q?
y
Suppose -c - 2*m - 3 = m, 3*m + 3 = 0. Let r be (5/18)/(5/3)*2. Which is smaller: c or r?
c
Suppose 3*a = 2*y - 27, -3*a + 4*y = -4*a - 9. Let t = -6 - a. Suppose -k + 5*o - 12 = 0, t*k + 0 = 4*o - 3. Is 2 less than k?
True
Let z(d) = d**3 + 3*d**2 - 5*d - 4. Let w be z(-4). Suppose w = -h - 3*u - 23, -h = -4*h - 5*u - 49. Are h and -6 non-equal?
True
Let w(h) = -h**3 + 1. Let d(v) = v**3 - v - 1. Let l(g) = 2*d(g) + 3*w(g). Let f be l(1). Which is smaller: -3 or f?
-3
Suppose 3*s + 4*g - 29 + 9 = 0, 25 = 5*s + 5*g. Let q be (-39)/(-66) + (1 - 3/2). Which is greater: s or q?
q
Let b be ((-22)/55)/((-14)/(-10)). Which is smaller: -25 or b?
-25
Let m(d) = -d - 1. Let l be m(-1). Which is greater: l or 1?
1
Let k(z) = -z**3 + z**2 + 1. Let j be k(0). Let o be 24/(-110) + (-12)/(-30). Which is bigger: j or o?
j
Let m(c) = c - 3. Let q be m(0). Let a be (-2)/(-6) + (-16)/12. Which is smaller: q or a?
q
Let g be (-2)/7 + (-459185)/(-70). Let y = g + -90007/14. Let h = y - 130. Are 0 and h unequal?
True
Suppose 8*c - 7*c = -6. Which is bigger: -4 or c?
-4
Let o be (3/(-2))/((-15)/(-4)). Is o > 1?
False
Let k = -0.059 - 0.351. Let j = 0.01 + k. Is -1 <= j?
True
Let g be -1 - 1 - 14/(-14). Let j be (-38)/(-8) - g/4. Suppose 0 = 2*b - b - 4. Are b and j nonequal?
True
Let s = -0.7 - -0.69. Which is bigger: s or -0.1?
s
Suppose v - 2*r + 11 = 0, 10 = -3*v - 3*r - 5. Let b = 2 + v. Let c be -2 - b - (5 - 2). Are c and 3/7 equal?
False
Let q = 5/138 - -3/23. Let l = -7 + 7. Which is smaller: q or l?
l
Let x = 33/14 - 251/105. Which is greater: x or 0?
0
Let l(w) = -11*w - 24. Let j be l(-2). Suppose -4*b = 4, 2*a = -3*b - 5 - 4. Is a less than j?
True
Let d be 8/6 + 4/6. Let w = 48/5 - 10. Which is greater: d or w?
d
Let v = -18 - -17.7. Which is smaller: -0.5 or v?
-0.5
Suppose 8 = -4*l + 4. Which is smaller: 2/33 or l?
l
Let q = -168 + 166. Are q and 0.6 nonequal?
True
Let r = -1.3 + 1.1. Which is bigger: 0 or r?
0
Let w = 0.8 + -1. Let x(f) = f**3 + 5*f**2 - f + 1. Let c be x(-5). Let a be ((-3)/c*-6)/4. Which is smaller: w or a?
w
Let u = -5 - -5.06. Let x = u - -1.94. Suppose -v - 1 = -s, -3*v + 6*v - 1 = 5*s. Are s and x equal?
False
Let n = -42 + 42.5. Which is greater: n or 10?
10
Let c(g) = 6*g - 52. Let q be c(7). Which is smaller: -1 or q?
q
Suppose -4*k - 60 = 56. Is k at most as big as -29?
True
Let g(l) = l**2 + 4*l + 1. Let v be g(-4). Let w = -90/7 + 436/35. Is v smaller than w?
False
Let s(r) = r**2 - 3*r - 11. Let p be s(7). Which is greater: p or 16?
p
Suppose -79*z + 81*z - 30 = 0. Is z > 1?
True
Let m be -3 + (-3)/(-3) + 4. Suppose r - 4 = -2. Suppose -m*z = r*z. Which is greater: z or 1/5?
1/5
Let x(v) = 3*v - 8. Let t be x(2). Let l be ((-2)/6)/(2/3). Is t smaller than l?
True
Let o = 4 - 7. Let p be (-1 - o)/(8/4). Is p at most -1/3?
False
Suppose -4*l + 0*p - 4*p + 12 = 0, -14 = -2*l - 4*p. Is l != -10/7?
True
Suppose 4*j + 4 = 16. Suppose 5*z - 3*l + 21 = -l, 3*l = j*z + 18. Is z smaller than -4?
False
Suppose -2*k - 2*n - 6 = 0, -3*n = -k - 15 - 0. Which is greater: -9 or k?
k
Let t = 33/2 + -17. Let y(i) = -i**3 - 3*i**2 + 4*i - 1. Let f be y(-4). Let x be 0 - f - (-4)/(-3). Is x equal to t?
False
Let n = -186 + 1305/7. Let c be (-1)/(16/(-10) - 18/(-30)). Which is bigger: c or n?
c
Let h = 4380/209 + -234/11. Which is smaller: h or -1?
-1
Suppose -6 + 51 = -3*z. Let q be (0 - -2)/(2/(-20)). Let o be (12/z)/(8/q). Are o and 0.2 non-equal?
True
Suppose -10 = 6*k - k - 2*v, 0 = 4*k + 2*v - 10. Let m be -2 + -4*(-18)/33. Which is smaller: m or k?
k
Let h = -44 - -131/3. Let y = 4 + -2. Are y and h equal?
False
Suppose 7*s = 9*s - 8. Do 4 and s have different valu