5). Which is greater: u or g?
u
Let g = -151 - -311/2. Let b be 4/6 - 7/(-3). Suppose 4*w = b*z + 5, 0 = 3*w + 7*z - 3*z - 35. Is w <= g?
False
Let s = 2.2 + -2. Let r = 23.2 + -23. Is r at most as big as s?
True
Let z(s) = -2*s**3 - 86*s**2 - s - 28. Let r be z(-43). Let l = 18 + -3. Is r less than l?
False
Let n be 12/243*6/(-4). Let u(b) = b**3 - 3*b**2 - 11*b + 4. Let l be u(5). Is n > l?
True
Let w = 1724/7 + -247. Is w at least as big as -2?
True
Let v = 53 - 52.95. Let b = 1.064 + -0.014. Let h = v - b. Which is bigger: h or -2?
h
Let d = 0.06 - -1.94. Is d greater than or equal to -0.06?
True
Let d = -2 - -2.5. Let m = -0.3 + d. Let l(a) = -a**2 - 3*a + 3. Let n be l(-3). Is m at most n?
True
Let i = -12.88 - -9.9. Let k = i + -0.02. Let c = k - -2.8. Which is bigger: c or 0?
0
Let f be (-9)/(-42)*(68 + 0/(-2)). Is f greater than 14?
True
Let w = -36 + 107/3. Suppose -5*y + u - 60 = 0, 5*y = y - u - 39. Let n be -1 + 4 - y/(-3). Are w and n unequal?
True
Let b(k) = k**3 - 8*k**2 + 2*k - 8. Let r be b(8). Suppose -i + 0*i = r. Let p = 8 + i. Are -1 and p equal?
False
Suppose -5*z + 2*z = -30. Let a be 2/z*4/(-1). Is 0 less than a?
False
Let f be 0*(-1)/4*2. Suppose -2*m - 5 = -7*m. Suppose -4*n + r - 7 = 0, 4*n + 18 = 5*r - m. Do n and f have different values?
True
Let q = 170 + -171. Is q > 3?
False
Suppose -2*n + 178 = 3*z, n + 121 = -z + 3*z. Is 60 < z?
False
Let h = 14/3 + -5. Which is smaller: 1 or h?
h
Let p be (-4 - -3)*(-1)/(-35). Which is smaller: p or -1?
-1
Suppose 5*m + 32 = 4*x, x - 5 - 1 = m. Which is smaller: 0.2 or m?
m
Suppose -t + 3*t = -94. Let u = -609/13 - t. Which is smaller: u or 1?
u
Suppose -2*q - l = 2*l - 8, 5*q + 2*l + 2 = 0. Let g be ((-1 + 2)/(-4))/q. Is g smaller than 1?
True
Let z = -1069 - -198833/186. Is 1 smaller than z?
False
Let w(j) = -j**2 - 7*j + 2. Let n be w(-7). Let h(r) = -4*r + 7*r + 3*r + r**2 - 5. Let i be h(-7). Is i greater than or equal to n?
True
Let h be (18/21)/(2/14). Let k be 1/2 - h/4. Which is greater: k or -2/21?
-2/21
Let x = -3 + -5. Let s = x + 10. Does 2/5 = s?
False
Suppose 3*i - 25 = 4*q + 243, -3*i = -q - 265. Let o = i + -257/5. Let m = o + -37. Which is smaller: m or -1?
-1
Suppose -o + 5*r + 25 = -2*o, -68 = 4*o + 4*r. Let m = o - -14. Which is smaller: m or -1/10?
m
Suppose c = -8 - 1. Is -10 bigger than c?
False
Suppose 2 = -q + 4*p, -3*p + 2*p = -q + 1. Let v = 968/5 + -193. Which is greater: q or v?
q
Suppose 4*a + 4*o = 24, 2*a - 3*o - 7 - 10 = 0. Which is smaller: 9 or a?
a
Suppose -3*p + 61 = 5*u, -p + 2 = -2*u - 0. Are p and 12 equal?
True
Suppose 3*z + 2*u = z - 22, 5*z = 5*u - 15. Let y be 2/z + 3/7. Is y smaller than 1?
True
Let q be 3/(-12) + (-7)/20. Which is smaller: q or 0?
q
Suppose 3*k + 0 = -3. Let a = 0 + 1. Let x = -2 + a. Is k not equal to x?
False
Let k(u) = 2*u**2 + 10 - 11*u + 2*u**2 - 21 - 3*u**2. Let q be k(12). Is q bigger than 1/16?
True
Let p = 69.9 + -79. Let r = 9 + p. Is -0.3 less than r?
True
Let b = -0.006 + 0.546. Let f = 0.06 + b. Let t = f + -1. Which is bigger: t or -1?
t
Let w = -347.1 + 369. Let s = w - 21. Let x = 0.5 - s. Which is bigger: x or -1?
x
Suppose -l = -3*l - 2. Let g = l + 1. Let w = 22 - 22. Do w and g have the same value?
True
Let d be 6/(-5)*5/(-2). Suppose -3*a + 10 = 2*a. Do a and d have different values?
True
Let f be (-3)/(3/12*-6). Suppose -c - f = 5*m - 0, 5*m - 10 = 5*c. Let k = 2 + m. Which is greater: k or 0?
k
Let g be 2/(-15)*(4 + 22/(-4)). Is g bigger than 0.09?
True
Let a be (0 - -1 - 0)*(-325)/39. Does -8 = a?
False
Let n be (-221)/544 + (-6)/(-16). Which is smaller: 0 or n?
n
Let q = -14 - -12. Suppose -8 = 4*y + c, c - 4 - 3 = y. Is y >= q?
False
Suppose 2*y = -0*y + 3*q, 2*q + 26 = -3*y. Is -7 at most as big as y?
True
Let v = -7/12 + 11/60. Which is smaller: -2/59 or v?
v
Suppose -4*k = 5 - 9. Suppose c - k = -3. Is c greater than -1?
False
Let r be ((-3)/6)/(2 - 57/28). Is r less than or equal to 15?
True
Let b = -6500/301 - -151/7. Let h = b - -175/129. Are 2 and h equal?
False
Let q(t) be the third derivative of t**5/60 + t**4/2 + 5*t**3/2 + t**2. Let k be q(-11). Let l(z) = z**2 - 4*z + 2. Let y be l(k). Which is smaller: 3/4 or y?
3/4
Let k = 16 + -13. Suppose -3*q + 6*q + k = 0. Are -2/7 and q non-equal?
True
Let t = 6.87 - -0.13. Let r = -14 + t. Let s = -6 - r. Which is smaller: 5 or s?
s
Let a(c) = -c + 3. Let u be a(-2). Which is smaller: 6 or u?
u
Let y = 46 + -26. Which is smaller: y or 19?
19
Let y(b) = b**3 - b**2 - b + 1. Let a be y(0). Suppose l + 0 = a. Is -1/6 >= l?
False
Let a be ((-6)/4)/(2/(-28)). Suppose -4*n = -4*b + 20, 4*n - a + 5 = -5*b. Let m be n/5 - (-51)/105. Which is greater: -1 or m?
m
Suppose 3*v = 5*m - 65, 4*m - 3*v = -v + 50. Let u be m/4*(-30)/(-25). Is 2 >= u?
False
Suppose 6*f - 200 = 478. Which is bigger: 112 or f?
f
Let y(n) = -4*n**2 + 12*n - 4. Let v(j) = -5*j**2 + 13*j - 3. Let p(i) = -5*v(i) + 6*y(i). Let w = 12 + -20. Let u be p(w). Which is greater: u or -2/5?
-2/5
Suppose 5*w + 1 - 6 = 0. Let n be 2 + -2 - 0 - w. Let i = -3/50 - 73/450. Is i less than or equal to n?
False
Let z(n) = n**3 + 5*n**2 - 8*n - 6. Let p be z(-6). Let h be p/((-6)/2) + 1. Which is bigger: -4 or h?
h
Let n = 21 - 21. Which is smaller: n or -6?
-6
Let z = 2432/13 + -187. Is 1 <= z?
False
Let h(l) = l + 3. Let p be h(-7). Let s be 1 + -2 + 5 + p. Let m = s + -2. Which is smaller: -3 or m?
-3
Let x(n) = n. Let b = -3 + 6. Let p be x(b). Is 4 less than p?
False
Let i be (4 + 108/(-30))/((-28)/(-6)). Which is smaller: i or -1?
-1
Suppose 4*x - 3*x = 0. Let t be 4/(-22) - 14/286. Which is smaller: t or x?
t
Let y = 84 - 64. Which is bigger: y or -2?
y
Let p(z) = -z + 8. Let d be p(8). Let i = d - -2. Suppose -i - 2 = 2*a + 4*j, -2*a - 1 = j. Is a smaller than -1?
False
Suppose 0 = -4*u + 3*u - 3. Let c be 1*u - 55/(-20). Does 11 = c?
False
Suppose 0 = -4*q + 19 + 13. Let a = 9 - q. Is a < -1/3?
False
Let v(h) = -2*h - 2. Let j be v(-14). Is 26 greater than j?
False
Let w be (-42)/(-4)*(-3 - -11). Let t be 2/8 - (-35)/4. Let n be 1/4 - t/w. Is -1 >= n?
False
Let v be 6/5 - 2/5. Let y(u) = u - 4 + 3 - 2. Let d be y(4). Is v bigger than d?
False
Let v = 3 + -3. Let t = -2 + v. Is -2 > t?
False
Suppose 4*b = -l + 6, -5*l + 5*b - 15 = 5. Is l != -5/8?
True
Let m = 85 - 66. Is m >= 20?
False
Let w(d) = d**2 + 11*d + 29. Let f be w(-7). Which is smaller: 2/13 or f?
2/13
Suppose -514 = 5*k - 119. Is -78 bigger than k?
True
Let v = -0.03 + -0.97. Let p = 1.2 + v. Which is smaller: p or 1/7?
1/7
Suppose 0 = -3*w - 3*x - 6, -4 = w - x - 8. Do 0.3 and w have different values?
True
Let o be (-8)/70 + 4/(-14). Suppose 4*k = -0*k - 12. Let i be (-9)/(-12) + k/4. Which is smaller: i or o?
o
Let j(h) = -h**2 + 5*h - 3. Let g be j(3). Suppose x - g = 4*x. Suppose -q + 4*q + 3 = 0. Is x at least q?
True
Let y(l) = -6*l + 20. Let r be y(3). Is 0.12 less than or equal to r?
True
Let x = 30 - 75. Which is smaller: x or -44?
x
Let m = -0.1 + 0.2. Let s = m - 0.3. Let p be 1 + 1/((-15)/18). Are s and p nonequal?
False
Let o = 10 + -3. Suppose l = 3*g - o, 0*l - l = 1. Let b be (6/105)/(g/(-10)). Which is smaller: 0.05 or b?
b
Let b(n) = -n**2 + 6*n - 1. Let s be b(5). Let l be 6/s + -2 + 1. Let y be 6/4 - (-1)/2. Is y <= l?
False
Suppose 3*c + 5 = 3*f + c, 3*f + 3*c - 15 = 0. Let u be 2 - (3 - f) - 1. Which is greater: 3/5 or u?
u
Let z = 5/28 - 491/84. Is -7 at most z?
True
Let h = 37 + -30. Which is greater: -7 or h?
h
Let x(r) = -r**3 - 4*r**2 - 5*r + 3. Let k be x(5). Let f = -2719/11 - k. Is -1/3 > f?
False
Suppose -4*c + 4 = -3*c. Suppose 0 = -c*l + 2*l. Let i be -1*(l - (-2)/(-4)). Is i <= 0?
False
Let k be ((-120)/(-80))/(1/(-8)*201). Which is smaller: -1 or k?
-1
Let b(t) = 2 - 2*t - 1 + t. Let r be b(0). Is -1/11 at least r?
False
Let j = 1 + -4. Let u = -11 + 8. Let t = u - j. Is -1/3 at least as big as t?
False
Let i(t) be the third derivative of t**5/60 - t**4/4 + t**3/2 + 7*t**2. Let v = 13 + -8. Let y be i(v). Which is bigger: -0.3 or y?
-0.3
Let l(z) = 24*z + 49. Let x be l(-2). Suppose 0 = -b + 2. Is x greater than b?
False
Let q = 62.7 + -62. Is 2/5 less than or equal to q?
True
Let f be (-3)/(-24)*(-8)/6. Let s = -1/3 - f. Is s greater than or equal to -0.2?
True
Suppose 0 = m + 4*