3.16. Let f = z - 1.16. Let w = 115/3 - 39. Is f not equal to w?
True
Let f = -6 + 6. Suppose f = -2*u + u. Is u <= -1?
False
Let v = 1 + -0.4. Let x = -11.1 - -11. Which is greater: x or v?
v
Suppose 0 = -i - b + 27, -b + 3 - 72 = -3*i. Which is bigger: i or 25?
25
Let n = 112/9 + -2909/234. Is 1 bigger than n?
True
Let o = -51/115 + 1/23. Suppose 0 = 5*v + 8 - 13. Is v bigger than o?
True
Let m(x) = -4*x - 3. Let p be m(-2). Let k = 7 - p. Do k and 4/7 have the same value?
False
Let m = 2 + -1. Suppose -4*u + m = a - 0*a, a - 2*u + 5 = 0. Let i be a/(-15)*(-5)/2. Which is bigger: -3/2 or i?
i
Let h = 3.07 - 0.17. Let i = h + -2.4. Is -1/3 less than i?
True
Let n = 0.01 + -0.11. Is n < -1/5?
False
Let r = 2.1 - 1.1. Is 2 greater than or equal to r?
True
Let n = 90 - 184. Let j be (-284)/n - (5 - 2). Is j at most as big as -1?
False
Suppose -5*h - 318 = -0*u - 3*u, 5*h = -u - 334. Let l be 2/(-8) - h/72. Let q = -1 - -1. Which is smaller: l or q?
q
Let c = 4.5 - -0.2. Let b = c + -0.7. Which is smaller: 1/3 or b?
1/3
Let q(z) = 0*z - z**2 + 4 - 2 - 4*z - 1. Let g be q(-5). Is -2 bigger than g?
True
Let v(t) = -2*t - 9. Let s be v(-7). Let a = 30 - 27. Is s <= a?
False
Let z = 3 + -3. Suppose -2*q = -r - 1 - 0, 5*q + 5*r - 25 = z. Suppose 3*h - 3*t = 0, -q*h - 2*h + 27 = 5*t. Is 4 at least h?
True
Let m = 146 + -101. Is m bigger than 45?
False
Let r = 39.984 + 0.016. Which is smaller: r or 2/5?
2/5
Suppose 3*h + 6 = -o - 2, -2*h = -o + 2. Let z be (h/(-1) - 3) + 4. Suppose v = -z*v. Which is smaller: v or -1?
-1
Let l be (-1)/((-6)/9 - -1). Let b(n) = n**3 - n**2 - n - 1. Let h be b(0). Which is smaller: h or l?
l
Suppose -c = -3*c - 2, -3*p = -5*c - 59. Which is smaller: p or 17?
17
Let c(u) = -2*u**3 + 12*u**2 - 2*u - 17. Let p be c(5). Is p less than 23?
False
Let k = -101/6 - -28/3. Are 0 and k unequal?
True
Let r = -6 + 10. Let g = -71 - -75. Is r equal to g?
True
Suppose 17 = 4*q - o, 1 = -3*q - 2*o - 0. Suppose w + q = 2. Let s be 12/(-5) + 2*1. Do w and s have the same value?
False
Suppose 0*o + 4 = 2*m + 5*o, 0 = -3*m - 4*o + 6. Let b be 2/8*(-4 + m). Which is greater: -3 or b?
b
Suppose -2*t + 3*t = 1. Let l be t/2 + 6/4. Let r be 75/20 - l/(-8). Is r < 3?
False
Let l = -13 - -12.8. Is l > 0.2?
False
Suppose -8 = 2*c - 4*p, p + 1 - 3 = 0. Suppose -h + 0*h - 2 = c. Does -2 = h?
True
Let k = 0 + 0. Let l be (3 + 100/(-36))*-3. Which is greater: l or k?
k
Let v = 20 - 179/9. Which is greater: -1 or v?
v
Suppose 4*k + 56 = 20. Does -9 = k?
True
Let o = 2.02 + -0.02. Let v = 5 - o. Which is smaller: v or 1/4?
1/4
Let z = 14 + -66. Let f be z/(-6) - 1/(-3). Let g be (f/(-12) - -1)/1. Which is greater: -1 or g?
g
Let u = -6.8 + 6. Let x = 0.2 - u. Which is smaller: x or -0.2?
-0.2
Suppose 15 = 2*u + 3*u. Suppose 0 = t + u*t + 8. Let i be (-1)/1*-3 + t. Which is smaller: -5 or i?
-5
Let h(t) = t - 9. Let j be h(6). Let i be (j/(-2))/(27/12). Which is smaller: 2 or i?
i
Let d be 1 - -1 - -3 - 8. Which is smaller: -2 or d?
d
Let z = 47 - 49. Which is bigger: z or 0.01?
0.01
Suppose 0 = 3*l + 6, -4*b + 10 = b - 5*l. Which is smaller: b or -7/16?
-7/16
Suppose 0 = -2*a - 4*u - 6, 0 = -5*a + 3*a - 5*u - 8. Let c = 5 + -1. Let q be (3 - 3)*(-2)/c. Which is smaller: q or a?
q
Let a = -5 + 0. Let c(o) = o**3 + 4*o**2 - 6*o - 5. Let u be c(a). Which is smaller: 2 or u?
u
Let v(r) = r**3 - 9*r**2 + 9*r - 6. Let g(j) = j**2 + 8*j + 8. Let t be g(-8). Let h be v(t). Suppose -l = 4*w + 2*l + 2, -6 = h*w + 4*l. Is w at most -1?
False
Let z = 0.077 + 0.923. Which is greater: -69 or z?
z
Let s = -6.7 + 6. Let j = -0.3 + s. Let n = 2/37 + -47/185. Is j greater than n?
False
Let v = -73 + 72. Which is smaller: -0.8 or v?
v
Suppose 8*y = 2*y - 60. Which is smaller: -0.06 or y?
y
Let l = 103/153 - 19/17. Suppose 5 = -2*y + 3. Which is smaller: y or l?
y
Let x(g) = -g**2 - 5*g. Let m be x(-5). Suppose -i = -b - 7, -2*b + 0*b + i - 17 = m. Let n be (-10)/(-25) - (-4)/b. Which is smaller: 1 or n?
n
Suppose 0*x - 4*x + 16 = 0. Suppose -k + x = -2*k. Let z be (6/9)/(k/(-30)). Which is smaller: 2/7 or z?
2/7
Let u = -23 - -14. Let m = 8 - 10. Let v be (12/u)/(m/3). Is 2/3 less than v?
True
Suppose -5*c + 0*c = -2*c. Which is smaller: c or -6/25?
-6/25
Let k = -2 + 1. Let x be (-2)/7 + (-471)/385. Let p = x - -21/11. Which is smaller: p or k?
k
Let t = 27 + -27. Which is greater: 7/4 or t?
7/4
Suppose -a + 10 = -3*a + 5*p, 4*p = 5*a + 8. Which is smaller: -2 or a?
-2
Suppose -y - 3*p - 3 = 0, 1 = 2*y - 4*y - p. Suppose 0 = 4*d - 0*d - 4, y = -3*c - 2*d + 8. Is 6 at most c?
False
Suppose 29 - 1 = -2*t - 3*u, -5*t + 5*u - 20 = 0. Which is smaller: t or -4?
t
Let r be ((-3)/(-6))/(4/16). Let d be 0*(15/(-6) + r). Let q be (-4)/(-2)*(-2)/20. Which is smaller: d or q?
q
Let h = 19 + -17. Suppose -h + 1 = -x. Which is greater: -4/9 or x?
x
Let w(b) = 8*b + 2. Let y be w(-1). Let f = -5 - -1. Let k = f - -2. Which is bigger: y or k?
k
Suppose 3*y - 7*y = -160. Suppose 0 = w + 2*m + 17, y = -4*w - 0*m - m. Let x be w/2*4/(-12). Are x and 1/3 equal?
False
Let d = 3.5 - 4. Let k = -0.49 - d. Which is greater: 1/3 or k?
1/3
Let y be ((-4)/6)/(4/(-42)). Let h = y - 4. Let v(s) = -s**3 + 3*s**2 + s. Let w be v(h). Which is smaller: 2 or w?
2
Let c = 158/13 - 12. Which is smaller: c or -2?
-2
Let d be 1*-1 + (-10)/(-5). Let a be d - (-2 + 0 - -5). Suppose 8 = -o - 2*x - 5, -2*o - 2*x = 16. Which is greater: o or a?
a
Let g = 28.9 + -29. Is g greater than or equal to 1?
False
Let g(h) = -h**2 + 7*h + 16. Let m be g(8). Suppose 4*c = -2*l + 36, c = m*l - 3*l - 2. Which is greater: c or 9?
9
Let s = 0.45 + 0.37. Let t = -0.9 + s. Let i = t - 0.02. Is 0.1 > i?
True
Let c = 0.563 + -0.61. Are 1 and c nonequal?
True
Let t = -7 - 6. Let s be t/5 - (0 + -3). Is s >= -1?
True
Let g = 15 - 14. Let x = 45/2 - 311/14. Which is greater: x or g?
g
Let s(b) = b + 4. Let p be s(4). Which is smaller: p or 9?
p
Let o = 5 + -5. Are 10 and o non-equal?
True
Let p(n) = n**3 - 8*n**2 - 11. Let o be p(9). Let j be 60/(-14) - (-20)/o. Is -4 at most as big as j?
True
Let l be (-1)/(-4 + 1 - -4). Which is greater: 3/17 or l?
3/17
Let n(f) = -f**3 + 4*f**2 - 2*f - 3. Let z be n(3). Let t = -1 + z. Let b be ((-14)/(-5) + -3)/((-5)/(-10)). Which is greater: t or b?
b
Let d be 192/36*(-5)/((-20)/6). Which is greater: d or 1?
d
Let s(h) = 1. Let w(t) be the first derivative of 2*t**2 + 4*t + 2. Let q(x) = -8*s(x) + w(x). Let z be q(3). Is z at least 9?
False
Let m = -3 - 13. Is m at least -17?
True
Suppose -2*x + 2*g + 1 = 17, 2*x = 5*g - 22. Which is bigger: x or -5?
-5
Suppose 5*y - 5*g + 14 - 4 = 0, 3*g - 9 = 0. Is -1/226 != y?
True
Let z be (-19 + 2/2)/1. Let v = z - -13. Are -4 and v unequal?
True
Let i(x) = 2*x**3 - 4*x**2 + 3*x. Let h be i(2). Let q(z) = -6*z - 3. Let n be q(-3). Suppose -4*l = -l - n. Is l at most as big as h?
True
Let d = -50/13 + 324/91. Is d at least as big as 3?
False
Suppose -2*p - 3*o + 2*o = -3, -o = -1. Suppose 3*l - 2*l + 1 = 0. Let d be l/p*2/(-4). Is 2 not equal to d?
True
Let h be 2/3 + (-20)/(-6). Let l = -29 - -25. Let o = l + h. Does o = 1?
False
Let w(h) = h**3 + h + 1. Let z(p) = 6*p**3 + 4*p + 8. Let f(x) = 5*w(x) - z(x). Let b = 33 + -33. Let v be f(b). Is -3 at most v?
True
Let z(g) = -3*g**2 - 2*g + 1. Let c(r) = -r**3 + 4*r**2 + 6*r - 4. Let h be c(5). Let u be z(h). Is u less than -4?
False
Let r(m) be the first derivative of -m**4/4 + 7*m**3/3 - 4*m**2 + 9*m + 3. Let f be r(6). Let g = 3 - 5. Are f and g non-equal?
True
Let m = -45 - -44. Which is bigger: 1/96 or m?
1/96
Suppose 5*b = 30 + 15. Is b at least 8?
True
Let s(f) = -3*f - 1. Let o be s(-4). Suppose o*y = 9*y + 18. Which is smaller: 23/3 or y?
23/3
Let n = 6.6 - -1.4. Let q = -6 + n. Let b = -0.1 + 0. Is b < q?
True
Let h = 4 + -5. Let x = -1 + h. Let a = 27 + -83/3. Is a less than x?
False
Let g be (-3)/(-2) + (-17)/17. Is 1/2 greater than g?
False
Suppose 0*g = -5*g + 5. Which is bigger: g or -1/20?
g
Let p be (1 + -3 - -6) + -2. Suppose -p*x = -3 - 9. Let l be (-2)/(-4)*x/3. Which is greater: 0 or l?
l
Let n(v) = -2*v**3 - 2*v**2 - v - 1. Let p be n(-2). Let a be (-4)/(-15) + (-6)/p. Which is bigger: a or 0?
0
Let x be (-13 + 6)*(-6)/(-7). Are -19/3 and x equal?
False
Let g be 9/(1 + (-42)/38). Le