6. Which is smaller: w or n?
w
Suppose 0 = t - 0 - 3. Let a be 3 + 0/(4/(-2)). Suppose -a = t*o + 3. Which is bigger: o or -1?
-1
Let w = -3 + 2. Let a = 142 + -428/3. Which is bigger: w or a?
a
Let b = 7 - 6.7. Let n = 0.13 - 0.07. Let c = 0.06 - n. Which is bigger: b or c?
b
Let m be (3 + 1 - 3)*2. Suppose 0 = -m*j + 4*j + 4. Is 1 equal to j?
False
Let d = -1649/13 - -127. Which is bigger: d or 1?
1
Let k = 2.37 + -0.37. Which is smaller: k or -1/4?
-1/4
Let w(k) = k + 8. Let f be w(-6). Suppose -o - 3*o - h - 9 = 0, 12 = -2*o - f*h. Is -1 smaller than o?
False
Suppose -5*w - 99 = -2*w. Let t = -47 - w. Let a be (-1 - 4)*t/(-35). Do 1 and a have different values?
True
Let i be 1/2 + 403/(-780). Which is greater: -1 or i?
i
Let t = -17880/679 + 60/97. Let k = -26 - t. Which is smaller: 0 or k?
k
Let k(l) = 2*l**2 - l. Let n be k(1). Let y = -9.69 + 10. Let f = y + -0.01. Is n smaller than f?
False
Let z = -1.3 - -0.3. Is 4 < z?
False
Suppose 6 = 9*l - 6*l. Let u be -5*((-9)/5 - -1). Let s be 2 - (-2 - (-14)/u). Is s at least l?
False
Suppose 4*p = 3*p - 6. Let f = -35 - -39. Let q be ((-1)/f)/(p/(-8)). Are q and 1 non-equal?
True
Let w = 0.1 + -0.1. Let g = w - -1. Let u be 3/(9/(-6)) + 2. Which is bigger: g or u?
g
Let b(a) = a**3 - 9*a**2 - a + 9. Let n be b(9). Let u be (-4)/(-56)*2*-4. Which is smaller: n or u?
u
Let d(j) = 10*j**3 - j. Let g be d(-1). Let t(w) = w**3 - 6*w**2 + 4*w + 1. Let i be t(4). Let b = i + 7. Is g >= b?
False
Suppose 5*z - 2*l - 102 = -0*l, -4*z + 3*l = -83. Suppose -t - o + z = 2*t, 5*o - 20 = t. Is 5 < t?
False
Suppose 4*x - i - 8 = -3*i, -3*i = -3*x - 3. Which is bigger: x or -2/27?
x
Suppose 2*j - 15 = u, 0 - 1 = u. Let b(n) = n - 1. Let y be b(6). Which is smaller: j or y?
y
Let a = -1/897 - 2389/2691. Suppose 0 = 2*l + 2*l. Which is bigger: l or a?
l
Let k be 64/10 - 9/(-15). Suppose -m - 17 = -3*y + y, -3*m + 26 = 5*y. Is k greater than y?
False
Let u be (-43)/(-12) - 3/12. Which is greater: u or 3?
u
Let o = 2.72 + -1.81. Let w = -0.3 - -0.39. Let f = w + o. Is 0.1 equal to f?
False
Let g be (-2)/(-9) - ((-96)/54 - 3). Is 7 at least as big as g?
True
Let m(f) = 5*f**2 + f. Let n be m(-1). Which is smaller: 1 or n?
1
Let o(c) = -3*c + 2. Let u be o(7). Let a = u - -14. Are -6 and a equal?
False
Let d be (-2)/(102/99) + 2. Which is bigger: 1 or d?
1
Suppose 0 = 33*s - 30*s - 3. Is -33 equal to s?
False
Let s(a) = -8*a + 5. Let j be s(2). Which is greater: j or -12?
j
Let h = 31.17 - 31. Let y = h + -0.03. Let t = y + 0.06. Is t not equal to 0?
True
Suppose -5*m - 35 = -0*x - 5*x, x + 9 = -3*m. Let r be (-5)/(-10)*m/6. Which is greater: -1 or r?
r
Let q(a) = a**2 + 8*a - 21. Let r be q(-10). Which is greater: -14/15 or r?
-14/15
Suppose g + 4*p + p - 1 = 0, 5*g = 2*p - 103. Is -18 >= g?
True
Let l(h) = h. Let u be l(8). Which is smaller: u or 7?
7
Let q = 17 - 8. Suppose 0 = -g + h - 6, -3*g + 2*h - 13 = -0. Is q != g?
True
Let q = -16.07 - -15. Let o = 0.07 + q. Is -1 equal to o?
True
Suppose -2*r + r + 12 = -3*t, -t - 12 = -3*r. Suppose 0 = 5*b - 15, -3*x - b + 13 = 1. Is x equal to r?
True
Let n(t) = t**2 + t + 1. Let j be n(0). Let k = 2 - -1. Suppose -2*s - 3*i - k = 0, 3*s + 3*i + 3 + 0 = 0. Is s greater than or equal to j?
False
Let u = -1 + 2. Let k = -940 + 53582/57. Which is greater: u or k?
u
Let q(n) be the first derivative of n**4/4 - 4*n**3/3 + 2*n + 2. Let o(t) = t**3 - 7*t**2 + 7*t - 2. Let b be o(6). Let h be q(b). Which is bigger: h or 3?
3
Let d be 6*1/4*(-496)/(-84). Which is smaller: d or 8?
8
Let v = -6 + 10. Which is bigger: v or 11/4?
v
Let x = -13/16 + 27/16. Do 1 and x have different values?
True
Let q = 77/3 - 26. Let d(t) = t**2 + t - 3. Let j be d(-3). Suppose 3 = 6*i - 3*i + g, 0 = -3*i - 2*g + j. Which is bigger: i or q?
i
Let w be (-7)/28 + 8801/(-28). Let r = 314 + w. Is -2 bigger than r?
False
Let a be 4 + -1*(-16)/(-2). Which is bigger: -2 or a?
-2
Let p(n) = n**3 + 16*n**2 + 4*n - 38. Let j be p(-16). Is j at most as big as -101?
True
Let f be -3 + -1 - (10 + -14). Let p = -2 + 5. Suppose 3*x = -0 - p. Which is greater: f or x?
f
Let s(n) = 0*n + 0 + 3 + 0 - 7*n**2 - 6*n. Let p(t) = t**2 + t. Let b(a) = -6*p(a) - s(a). Let v be b(-3). Is v < 6?
False
Let p = -22 - -24. Is -2 at least as big as p?
False
Let s(m) = -m**3 + 9*m**2 - 5*m - 22. Let t be s(8). Is t less than 3?
True
Let w be (420/(-175))/(1 - 7/5). Does 4 = w?
False
Suppose -2*w - 14 = 5*p, 2*w + 0*p + 10 = -3*p. Suppose -4*h - 7 = 9. Let j be (-8)/12 + h/3. Is w at most as big as j?
True
Let g(y) = -y + 1. Let m be g(3). Let o be (-14)/(-4) + 21/(-14). Let j = o + m. Are -1 and j equal?
False
Let f = -4.1 + 4.8. Which is greater: 0.03 or f?
f
Let l = -20.13 + 20. Let h = l - 0.17. Which is greater: h or -1?
h
Suppose -4*n - 5*r - 8 = 8, -4*r = -5*n - 20. Is -1 greater than n?
True
Let o = 0 - -5.5. Let p = o - 5. Which is smaller: -1/2 or p?
-1/2
Let r(w) = -w**3 + 9*w**2 + 9*w + 11. Let y be r(10). Let c = 3397/5 + -623. Let n = 56 - c. Which is smaller: y or n?
n
Let b = 136 - 134. Which is smaller: b or 2/5?
2/5
Let i be (2/4)/(24/9). Let w be 14/48*65/30. Let o = w - i. Does o = 1?
False
Let z be 2/6 - (-442)/51. Do 4 and z have different values?
True
Let b = 10/17 - 57/68. Let v be (-1)/(-7) + (-310)/112 + 3. Which is bigger: b or v?
v
Let n(x) = -x**2 - 6*x + 8. Let p be n(-7). Let y = p + -4. Which is greater: -1 or y?
-1
Suppose a = -15*a. Let b = -15 - -11. Let d be ((-2)/b)/((-10)/4). Is a < d?
False
Let z(p) = -p**2 + 12*p + 12. Let v be z(12). Let f(a) = -a**2 + 12*a. Let u be f(v). Which is smaller: 1 or u?
u
Let n = -1.1 + -1.3. Let l = 0.6 - n. Is l greater than 1?
True
Let n be 4/14 + (-488)/(-56). Suppose -2*t - 5*s = 3 - 12, 0 = 4*t + s + 27. Let c be 3/n - t/30. Is 1 <= c?
False
Let x = 65/51 - -1/17. Is 0 >= x?
False
Let k = 6 + -4. Let u = 13 + -12. Are u and k equal?
False
Let k = 32 + -31. Let n = 51 + -256/5. Which is smaller: k or n?
n
Let y be (-3 - -1) + (-35)/(-18). Let g be 31/6*6/(-90). Let q = y + g. Which is smaller: q or 3?
q
Let p = 1 + 0. Let g = 147/22 - 13/2. Which is greater: p or g?
p
Let z = -15/2 + 8. Which is smaller: z or 1/4?
1/4
Let v = -41 - -37. Suppose -6 = -0*n + 3*n. Which is smaller: n or v?
v
Let n = -64/7 + 590/63. Let o be (-2)/3 - 1*25/(-15). Is n != o?
True
Suppose 8*h - 5*b - 65 = 3*h, -3*b = 3*h - 21. Let c be 75/(-10)*8/h. Let o be 5/3*c/15. Is -0.2 <= o?
False
Let x be 28/16 - (0 - -2). Let f = -4.37 - 0.63. Is x at most f?
False
Let h be 3*(280/(-25))/7. Which is greater: -6 or h?
h
Let x = 4 + -10. Let p = x + 9. Let n = p - 3.1. Is -1 greater than or equal to n?
False
Let l(j) = -j**3 + j + 1. Let f be l(0). Which is greater: -1/4 or f?
f
Suppose -5*c + 2*y + 2*y = -2, 3*c = 3*y. Suppose k - c*k + 5*q + 33 = 0, q = -3*k + 51. Is 18 at least as big as k?
True
Suppose -7*a = -3*a - 4. Let d be (-284)/(-6)*(-24)/10. Let i = 114 + d. Which is greater: a or i?
a
Let s be 4/10 + 16/(-90). Let b(j) = -j**3 - 6*j**2 - j - 6. Let x be b(-6). Which is smaller: x or s?
x
Suppose 3*m = 2*k + 22, 0 = 5*m + k - 0 - 28. Let s be m/(1 + 1/2). Let n be (-32)/(-14) - (-2 + s). Which is greater: n or -1?
n
Suppose 56 = 5*o - 29. Suppose 23 = 4*c + 5*w, -w + o = 4*c - 26. Is c at least as big as 13?
False
Let h = 159/65 - 24/13. Which is smaller: 2 or h?
h
Suppose 0*y = -3*y - 72. Let g be (-3)/y*(2 - -4). Is 2/7 less than g?
True
Let w(t) = -17 - 15*t**2 + t**3 + t - 4 + 8. Let v be w(15). Is 2 less than v?
False
Let p be 22/10 + (-2)/10. Suppose 0 = 2*z - 8, -j + 23 = 2*j + p*z. Suppose -j*l = 4*h + 21, -2*h - 2*l - 8 = -0*h. Is 0.01 > h?
False
Let m(d) = -d + 6. Let c be m(4). Suppose c*r - 5 = -3. Let y = 2 + -3. Which is greater: r or y?
r
Suppose 0 = 2*z + 4*i + 18, 9*z + 2*i = 4*z - 21. Let u = z - 1. Let g be 3/((-6)/u) + 1. Is g smaller than 4?
True
Let k(g) = g**2 + 5*g + 1. Let s be k(-6). Suppose 2*w = s*w. Let n = -169 + 842/5. Is w > n?
True
Suppose -l + 3*l + 2 = 0. Let f be 0/((-1 + l)/(-2)). Let g = 2/345 + -278/345. Which is smaller: g or f?
g
Let g = -6.3 - -11. Let f = g + -5. Let h = -17/30 + -1/10. Which is smaller: h or f?
h
Let f = 1/146 + 285/1022. Let v be (-2)/(2/((-4)/14)). Is v > f?
False
Let f(v) = 0*v - v**2 - 6*v + v. Let t be f(-5).