5. Let c(b) = -3*n(b) + 2*r(b). Let g be c(0). Suppose 3*u + 2 = g*y, y = 4*y - 3*u - 3. Is 1/2 less than or equal to y?
True
Suppose 0 = -3*d + 6. Let m(w) = w**2 + 9*w + 4. Let b(a) = a**3 - a - 9. Let n be b(0). Let r be m(n). Which is greater: d or r?
r
Suppose 8*b - 4*b = -4*p + 4, -4*b + 2*p - 14 = 0. Let j = 10 + -5. Which is greater: b or j?
j
Let d = -8 - -15. Suppose 0 = t - z + d - 0, -5*t + 5 = 5*z. Let q = t - 1. Do q and -3 have different values?
True
Suppose 3*z - 5*o - 24 = -0*o, 5*o = -15. Suppose 2*y + 4*j = y - 15, z*y - j + 19 = 0. Is -6 smaller than y?
False
Let y be ((4 - 7)/(-6) + 0)*36. Are 22 and y unequal?
True
Let x(k) = 3*k**3 - k**2 + 2*k - 1. Let g be x(1). Suppose g*s - 15 - 3 = 0. Is s equal to -1/4?
False
Suppose -2*r - 1 + 9 = 0. Suppose -2*c + r*c = 0. Which is greater: -8/7 or c?
c
Let r = 202 + -7472/37. Let o = 54 + -54. Which is greater: o or r?
r
Let u(b) = -b**2 - b. Let y be u(-3). Suppose 286*k = 280*k - 24. Which is smaller: y or k?
y
Let c = 3 - 2. Is c less than -2?
False
Let m be 32/80 + 4/(-10). Suppose m = 3*b + 49 - 19. Is b less than or equal to 0.1?
True
Suppose -2*f = -5*f + 18. Let d be 2*(-1 + 21/f). Suppose 2*y = -d*m + 13, -2*m + 0*m + y = 2. Which is smaller: m or 2/15?
2/15
Suppose 4*o - 2 = 2. Let w(j) = -j**3 + 9*j**2 + 10*j + 4. Let v be w(10). Let g be v/16 + 5/(-52). Is o less than g?
False
Let k = 13/9 + -43/36. Let z = -1 + 1. Which is bigger: k or z?
k
Suppose -3*x = 4*k - 15, k - 5*x + 2 - 23 = 0. Let c = k + -5. Let o = -3 + c. Which is smaller: o or -8/7?
o
Let j be (-4 + 1)/(6/8). Let c = j + 6. Suppose a + 12 = -c*a. Is -3 equal to a?
False
Let n = -12 + 9. Let w = n - -3. Is -2/13 greater than or equal to w?
False
Let s(o) = -o**3 - 9*o**2 + 2*o + 9. Let h be s(-9). Let k = h + 13. Let t = -3 + k. Are t and 1 non-equal?
False
Let j be (2/(-7))/(2/(-14)). Suppose -7*f = -j*f + 10. Which is smaller: -4/5 or f?
f
Suppose -11*o + 18 = 29. Suppose 3*a + 0*a - 3 = 0. Which is bigger: a or o?
a
Suppose 17 - 5 = -4*f. Which is smaller: -11/4 or f?
f
Let f = -6.3 + 6. Let v = f - -0.1. Let d = -2 + 3. Which is bigger: v or d?
d
Let b = -36277 - -69397899/1913. Let p = b + -19116/13391. Which is smaller: 0 or p?
p
Suppose -4*p - 3*f - 6 = -26, 5*f = 20. Let n(y) = -p*y**2 + y**2 - 3*y + 5*y + 4*y + 8. Let m be n(7). Which is bigger: -1/3 or m?
m
Let c be (-11)/(-1)*(2 - 3). Let j = c - -9. Which is greater: -10/7 or j?
-10/7
Let r = 2/777695 - -2963795623/8554645. Let q = -347 + r. Are 0 and q non-equal?
True
Let b(r) = 2*r + 2. Let m(s) = s + 8. Let o be m(-6). Suppose 5*y - 5*g + 5 = 0, 5*y - 2*g = o*g - 6. Let a be b(y). Which is smaller: a or -1/2?
a
Let g be 0 + (0 - -4) + 1. Let t(v) = g - v**2 - 3*v - 1 + 0. Let n be t(-4). Which is greater: n or 1?
1
Suppose -4*d + 2 = 54. Which is smaller: d or -12?
d
Suppose -2*r - 8 = 4. Let y(c) = -c - 1. Let m be y(4). Which is greater: m or r?
m
Suppose 0*a + 2*a - 2 = 0. Suppose -i - 3*t + 20 = 3*i, i - 10 = -2*t. Let c be (-25)/45 - i/(-6). Which is greater: c or a?
a
Let f(h) = -h**3 - 2*h - 67. Let i be f(0). Is i < -65?
True
Let v = -5 - -4. Let o be (2*-1)/(4/v). Are 0.3 and o equal?
False
Suppose 0 = 6*o + 115 - 37. Which is smaller: o or -14?
-14
Let u(b) = -b**3 + 14*b**2 - 2*b. Let h be u(14). Is h at least as big as -28?
True
Let h = 1.2 - 1. Let o = 0.184 - -0.816. Which is bigger: o or h?
o
Let d = -0.1 - -0.4. Which is smaller: 2/11 or d?
2/11
Let h = -5.2 - -2.8. Which is smaller: -3/2 or h?
h
Let o be ((-646)/1122 + (-2)/(-3))*1. Let y(s) = -s**3 + 2*s**2 - 1. Let f be y(2). Is o bigger than f?
True
Let y be (-6)/(-1*4/20). Is 29 less than or equal to y?
True
Suppose 0 = -8*k + 13*k - 180. Is 37 greater than k?
True
Let k = -6 - -5. Let l = 0 + k. Is 0.1 at least as big as l?
True
Let t(g) = -2*g + 10. Let k be t(6). Let a be (3/k)/((-12)/(-32)). Which is greater: 2/3 or a?
2/3
Let v = -0.53 - 0.07. Let b = v - 1.4. Which is smaller: -8 or b?
-8
Suppose 2*l = -3*l. Let b = -93/350 + -1/50. Which is bigger: b or l?
l
Let m = 127/1638 + -2/91. Which is smaller: -1 or m?
-1
Suppose 0 = 5*l - l + 5*b + 25, -2*b = -2*l - 26. Let i be l/8*18/(-15). Which is smaller: i or 1/5?
1/5
Let r = -1583/14 - -113. Is -1 at most as big as r?
True
Let j = -0.04 - 2.06. Let r = 0.2 - -1.8. Let t = j + r. Is t greater than -2/7?
True
Let y = 0.18 + 8.82. Let l = -10 + y. Which is bigger: -2 or l?
l
Suppose 4*a = -0*a + 8, 18 = 5*i + 4*a. Let j(v) = -2*v + 1. Let p be j(-2). Suppose 4*k = g + 18, 4*g - p*g - 13 = -3*k. Is i > g?
False
Let k be 6/8*26/9. Is 2 greater than or equal to k?
False
Let f be (-12)/9 - (-1)/3. Let t be (0/2)/(6/(-3)). Let v = t + f. Which is smaller: -2 or v?
-2
Suppose -g = z + 2*g - 31, 2*g - 58 = -3*z. Let p be ((-3)/2)/((-24)/z). Are 2 and p unequal?
True
Suppose -2*t + 0 = 3*q - 1, 4*t = -16. Let p be (3 - q) + (-5)/(-1). Suppose 3*b = -2*u + 9, -p*b = -u - 2*u - 34. Is 2/5 at least b?
False
Let m be (-6)/(-10) - 119/15. Is -6 less than m?
False
Suppose 0*f + 14 = -5*f - 3*z, 2*f = -5*z + 2. Let p be -5*(0 - (-8)/10). Is f != p?
False
Let t = -1116 - -42403/38. Is 1 bigger than t?
True
Let c = 773/7 + -111. Which is smaller: 1 or c?
c
Suppose o + o - 68 = 0. Which is smaller: 35 or o?
o
Suppose 0 = 5*j + 25, m = -2*m + 5*j + 22. Let r be ((-2)/(-16))/((-3)/4). Which is smaller: m or r?
m
Suppose -5 = h + 1. Let o be (9/h + 1)*12. Let z be (12/10)/(o/(-15)). Which is smaller: 1/2 or z?
1/2
Let q be (-65)/(-51)*(-2)/(-7). Let d = 4/51 - q. Suppose 0 = 3*c + 5*y - 5, 3*y = 4*c - c + 3. Which is bigger: d or c?
c
Let r be (-18)/(-16)*24/(-18). Is -3 <= r?
True
Let a = -0.04 + 0.14. Let m = -0.9 - a. Let t be ((8/14)/1)/2. Is t smaller than m?
False
Let a(h) = -h**2 + 8*h - 2. Let t be a(7). Suppose 4 = -t*g + 14. Suppose -4*s = -2*v - 0*v - 4, -g*s - 2*v + 2 = 0. Which is bigger: s or 1/6?
s
Let a = -25 - -7. Is -18 at least a?
True
Let v(y) = y**3 + 8*y**2 + 5*y - 9. Suppose 0 = -2*l - 8, 4*b = 3*b - 2*l - 15. Let a be v(b). Which is bigger: 4 or a?
a
Let c(b) = -b + 3. Let k be c(0). Suppose 47 = -3*l + i, -l - 3*i - 39 = 2*l. Let y be l/(-6)*12/15. Which is smaller: k or y?
y
Suppose 5*u + 7 = -4*q, -4*q + 3*q = -3*u + 6. Is u equal to -2/55?
False
Let o(x) = -x - 1. Let w be o(-3). Let b(z) = 3*z + 7 - 3*z - w*z + 0*z. Let f be b(5). Is f < -3?
False
Let p = -1 + 1. Let o = -7 + 7.3. Let f = o - p. Which is smaller: f or -1?
-1
Let n(o) = -o**3 + 9*o**2 - 7*o - 6. Let q be n(8). Suppose 4*l + 1 - 11 = 2*a, -q*a - 10 = -l. Which is smaller: -3 or l?
-3
Let d = -1923 - -9579/5. Let r = d - -7. Is 1 at least r?
True
Suppose -2*b + 7 = 4*m - 9, 4*b = m + 14. Let c be (-15)/4 - (-8)/m. Which is smaller: c or 0?
0
Let q = 2 - 4. Let n = -3 - q. Which is smaller: 0.2 or n?
n
Let k(u) = u**3 - u**2. Let j be k(1). Suppose j = 2*z + z - 9. Is z > 0.1?
True
Let l = 6 + -5.94. Let h = l + 0.04. Which is greater: h or -4/3?
h
Let u(r) = -2*r**3 - 1. Let x be u(1). Let c be 2 + x - 4/(-5). Are -1 and c equal?
False
Let u = 1.9 + -2. Let o = u - 0.9. Let v be (-12)/(-36) + 8/(-42). Which is greater: o or v?
v
Let a = -17.88 + -4.02. Let j = 23 + a. Let d = j + -1. Do -1 and d have the same value?
False
Suppose 2*s - 3*y = 16 - 52, -3*s + 2*y - 44 = 0. Is s greater than -12?
False
Let o be 4/(-2) + 13/(-1). Let b be o/(-3)*(-1)/(-1). Let u be (0 - -1) + (-10)/b. Are 2/9 and u unequal?
True
Let m = 5 - 5. Let f be -1 + -1 + m - -7. Suppose -3*c - 5*x + 25 = 0, 3*c - 7*c - x = -f. Is 2 <= c?
False
Suppose -16*a + 10*a - 36 = 0. Suppose -3*r + 6 = 3*p, 7*p - 26 = 5*r + 3*p. Let l be (-2 + (-9)/r)*-2. Is a smaller than l?
True
Suppose -9 = 3*f - 0. Let s = f - -6. Suppose -3*p + s + 12 = 0. Is 5 at least as big as p?
True
Suppose -2*f + 5*v + 17 = 0, -2 = 2*f - 3*v - 13. Which is greater: f or -5?
f
Let h be (-2)/(-7) + (-19)/(-7). Let p be h/6 + 2/(-4). Let m be 3/(-36)*(-6)/(-4). Which is smaller: p or m?
m
Let f = 51 + -51.9. Suppose 3*b - 6*b - 3 = 0. Which is smaller: b or f?
b
Let o be (-3 - -3 - 0)/2. Which is smaller: o or -2/7?
-2/7
Let x be (-3)/12 + (5 - 5). Is x at least -1?
True
Let i = -25/34 - 30/17. Let s be -1 + 2 - (2 - 8). Let d = -11 + s. Is i at least d?
True
Let a be 8/10*5/2. Let o be (-8)/(-10)*(-30)