84. Let s be (-6 + q)/(2/z). Which is greater: s or -1?
s
Let r = 16 - 16. Suppose -o - 4 = -r*o. Suppose -13 = 3*v + 2. Are v and o non-equal?
True
Suppose 2*m = -x + 175, 0 = -2*m + 3*x + 258 - 79. Which is bigger: 87 or m?
m
Suppose -3*m = -0*m, f = 5*m + 1. Is 8/5 greater than or equal to f?
True
Suppose 0 = m + 2*v - 3 + 7, -m - 3 = 3*v. Let l be (24/40)/(m/4). Which is smaller: -1 or l?
-1
Let c = -0.5 + 1. Let z = -1.5 - c. Let s be 0 + 0 + -1 + 1. Which is bigger: z or s?
s
Let t = -11 - -15. Suppose 4*q + 0*q - 4 = -t*o, q = -3*o + 3. Let n = -3 - -1. Is n at least as big as q?
False
Suppose 4*a - 16 = 4, 0 = -4*t - 3*a + 19. Suppose -10 + 2 = -4*d. Suppose -d*o = -o. Is o > t?
False
Let f be (-12)/20*(-2)/2. Is 1/4 > f?
False
Let h be 6/24 + (-17)/36. Suppose 4*i + 0*i + 8 = -3*z, -z = -i + 5. Which is greater: i or h?
i
Suppose 14 = 3*y - 4*l - 6, 2*y - 3*l - 15 = 0. Suppose -19 = t - 4*v, -5*t + 5*v = 32 - 12. Is t smaller than y?
False
Let r = -31/14 - -5/2. Let k = -25 + 25. Which is greater: k or r?
r
Let j(d) = -d**2 - 2*d + 5. Let y be j(-4). Let b be -1*y/24 - 0. Let t = b - 5/8. Are t and 0 nonequal?
True
Let p(r) = r**3 - 6*r**2 + 6*r - 6. Let q be p(5). Which is smaller: q or 1/12?
q
Suppose -4*s + 22 - 5 = -5*c, 5*s - 2*c = 17. Suppose -2*y = 4*i + y - 26, 5*y = -s*i + 25. Suppose 0*m = -i*m - 5. Which is smaller: -2 or m?
-2
Let h = -26 - -26. Does h = -10?
False
Suppose 0 = -5*l - 8 + 3. Is -2/15 equal to l?
False
Let k = 9 - 13. Does 0 = k?
False
Suppose 2*g - 8 = -0*g. Let q be -1*10/(2 - 4). Suppose 1 = -g*l + q. Is l > -1?
True
Let y be (3 - 0)*2/2. Let v = 1 + y. Are 4 and v equal?
True
Let c = -0.53 - -0.53. Are c and -12 unequal?
True
Let z = 0.17 - 0.07. Is z < 6?
True
Let k = -2.43 - 0.47. Let i = -2.1 + 2. Let x = k + i. Which is greater: 1/4 or x?
1/4
Let y = 24 - 17. Let s = y - 6. Let h be 2 - (-1)/(2/(-4)). Which is bigger: s or h?
s
Let h(x) = -x**2 - 9*x - 5. Let q be h(-6). Let v = 9 - q. Which is bigger: v or -5?
v
Let w = -53 + 57. Let n = 6 - 3. Is n not equal to w?
True
Let a(h) = 5*h - 5. Let b be a(7). Suppose 8*n = 3*n + b. Let p = n + 3. Is p greater than 8?
True
Suppose -5*z = 4*v - 2 - 19, 0 = -2*v + 5*z - 27. Let r be (3/(-2 + v))/(-1). Is r equal to 0?
False
Let j = 15354 - 215081/14. Let n = 6421/126 - j. Let k = n + -60. Is k greater than 1?
False
Suppose 59*m - t + 2 = 57*m, 0 = -2*m + 3*t + 2. Suppose 15 = 3*k, -3*u + 26 = 4*k - 9. Let g = 3 - u. Is g < m?
False
Let s = 0.03 - -1.47. Let k = -2 + s. Suppose 0 = 2*b - 5*b + 3. Is k not equal to b?
True
Let i be (-3)/(-2)*(-1)/(-3). Let y be -1 + 2/((-84)/9). Let s = y + 3/2. Which is smaller: s or i?
s
Suppose 3*b = -2*w - 0*b + 22, -2*w - 4*b + 24 = 0. Which is smaller: w or 10?
w
Let m = 11 - 7. Suppose -u + 0 = m. Let d = u + 6. Which is smaller: d or 2/3?
2/3
Let l(p) = -p - 4. Let i be l(-5). Let q = i - 2. Which is bigger: 1/5 or q?
1/5
Let f(u) = -u**2 + 2*u + 5. Let q be f(4). Suppose -3*o + 0 + 6 = 0. Let s = q + o. Which is bigger: s or 1?
1
Suppose 24*k - 4 = 20*k. Let i = -3 + 2. Is k greater than or equal to i?
True
Let x = -47 - -47. Which is smaller: 2/13 or x?
x
Let j(y) = -8*y + 2. Let x be j(-2). Suppose -6 = 4*o + x. Let f be (0 - 0)/(4 + o). Are 0 and f non-equal?
False
Let r(k) = -2*k + 24. Let p be r(12). Let n be (2/3)/((-16)/(-9)). Is p <= n?
True
Suppose 10*n = 4*n + 36. Is 1/2 greater than n?
False
Let x = 6 - 2. Let c be (1299/54 - 0)*x. Let l = c - 96. Is l at most 1?
True
Suppose 9*p - 3 = 8*p. Which is smaller: p or 5?
p
Let f be (-553)/(-56) - (-4)/32. Which is smaller: -1 or f?
-1
Let g = 0 - -2. Let m be (-1)/(-2) - (1 - 3). Which is greater: g or m?
m
Let v = -10 + 9.75. Let k = v - -0.05. Is k less than or equal to -2?
False
Let z = 16 - 11. Suppose -3*h - 32 - z = v, 23 = -h + 5*v. Is -11 > h?
True
Let h = -62 - -132. Is h bigger than 72?
False
Let k be (2 - -1) + (-21)/9. Is k greater than 2/3?
False
Let a = -89/3 - -22/3. Let n = a - -22. Which is smaller: n or 0?
n
Let a = 457 + -37. Suppose 0 = 3*w + 2*j - 314, a = 6*w - 2*w + 4*j. Let l = w - 726/7. Is l greater than -1?
True
Suppose -3*t = -0*t - 12. Suppose l = 1 + t. Suppose -5*r - 1 = -2*r - 5*n, l*r + 2*n = -12. Is -2 less than r?
False
Let h be 0 + 5 + (-28)/5. Which is bigger: -2 or h?
h
Let n(b) = -5*b**2 + 4*b + 8. Let v(c) = -c**2 + 1. Let d(g) = n(g) - 6*v(g). Let w be d(-3). Let i = -633/5 - -127. Which is smaller: i or w?
w
Let p(t) = 2*t + 8. Let i be p(-7). Let g(o) = o**2 + 6*o - 3. Let f be g(i). Let u = f + 2. Is u at most as big as -2/5?
True
Let s = -141 + 2677/19. Which is smaller: s or -1?
-1
Let i(w) = -w**2 - 3*w - 3. Let z be i(-2). Let l be z + 3 + 0 - 2. Let k = 197 + -982/5. Are k and l equal?
False
Let c = -95/112 + 9/16. Suppose 0 = -z - z. Which is smaller: c or z?
c
Let f = -0.039 - 0.061. Which is smaller: f or -0.3?
-0.3
Let n be 11/14 + (-8)/28. Let k(p) = -2*p**2 + p**2 - 5*p + 15*p. Let v be k(10). Are v and n non-equal?
True
Let h be 134/(-190) - 6/(-57). Suppose 0 = -x - 3*x + 80. Suppose 3*l + 4*b = -0*l + x, 0 = 2*b - 10. Is l at most as big as h?
False
Let m be 0*(1 - 1*2). Let r be m/2 + (-2)/6. Let i = -118 + 119. Which is smaller: r or i?
r
Let q be (-1)/3 - 252/(-27). Let m = q - 19/2. Is -0.5 greater than or equal to m?
True
Let q = 0.35 + -0.15. Is q at least as big as -0.3?
True
Let o = 6 - 13. Let u(t) = 4*t + 11. Let s be u(-5). Is o <= s?
False
Let j be -1*1*0/3. Suppose -9 = -a + 3*m, j = 3*a + 2*a + 5*m - 5. Suppose a*k + 4*u - 11 = 0, 4*k + 3 = 3*k + 2*u. Which is smaller: 0 or k?
0
Let n = -4.5 - -1.5. Is -1 > n?
True
Let r = 0.19 - 0.09. Let u = 0 + 0. Let z = u + r. Which is greater: z or 2?
2
Let i be (2/3)/((-4)/(-6)). Suppose -3*q + 2 = -i. Let m(x) = x**2 + 6*x - 14. Let p be m(-8). Is p equal to q?
False
Suppose 6 = -4*m + 26. Suppose 2*x - 1 = -m*h, -3*x - x = 8. Are h and -3/7 unequal?
True
Let r(d) = -d**2 + d. Let o be r(1). Is o greater than -1/5?
True
Let z be ((-4)/(-18))/((-4)/3). Is z <= -0.6?
False
Let p = -19347/22 - -879. Is 0 < p?
False
Suppose -3*a + 3*c - 30 = 0, 3*a - 4*c = 6*a + 51. Is a bigger than -11?
False
Let c = 1940947/8430915 + -2/18131. Let m = 3/31 - c. Is 0 less than m?
False
Suppose 2*p = 3*y - 3*p + 4, 3*y + 5 = 4*p. Let x be y/6*(-2)/(-1). Which is smaller: 1/14 or x?
x
Let x = 6 + -8. Let j be (0 - (-1 - x)) + 3. Let i = j + -2. Which is bigger: i or -2/7?
i
Suppose 2*m + m = -w + 14, -4*m = 2*w - 20. Suppose -3*x - 5*y = -22, 4*x - x + 23 = m*y. Is x greater than 4?
False
Let b(h) = 3*h - 2. Let k be b(2). Let d = k + -2. Are 2/3 and d non-equal?
True
Let b = -19/2 + 48/5. Is b < 1?
True
Let y = -35 - -53. Let a = -29 + y. Is -10 at most a?
False
Let d = 0 - 0.1. Let u be ((-4)/176 + 0)*-4. Which is smaller: d or u?
d
Let f = -5 + 5. Suppose 0 = 4*r - 8 - f. Is r greater than or equal to 2?
True
Suppose -f - 2 = -0. Let l = 8 - 11. Is l greater than or equal to f?
False
Let s be (24/(-15))/(6/30). Let q(c) = -c**3 + 6*c**2 - 2*c + 6. Let m be q(6). Which is smaller: s or m?
s
Let b(l) = -4*l + 15. Let j be b(6). Let v = 13 + -21. Which is greater: v or j?
v
Let j = -1.3 + 0.1. Let h = j - -1.5. Which is greater: 1/5 or h?
h
Let x = 0 - -8. Let g be (1/2)/(4/x). Is g < 2/15?
False
Suppose 0 = z - 3*z + 24. Suppose -2*h = 3*h + 5*j - 15, -4*h = 2*j - z. Suppose 0 = -4*g + h + 13. Is g bigger than 5?
False
Let z = -43/185 - -16/37. Let b = -1 - -3. Let k(g) = g**2 - 3*g + 2. Let p be k(b). Which is greater: p or z?
z
Suppose 5*d = 3*d + 6. Let u be (4 - 2)*d/(-9). Suppose 10 = 3*x - 6*x - 2*j, -2*x + 3*j = -2. Which is smaller: u or x?
x
Suppose 5*o = 3*c + 73, 0*c + 4*c - 5*o + 99 = 0. Is -27 less than c?
True
Let u = -0.03 - 2.37. Let v = -0.6 + u. Which is greater: -1 or v?
-1
Let b(w) = 3*w**2 - 13*w + 12. Let p be b(4). Which is smaller: 7 or p?
7
Suppose 132 = 4*d - 7*d. Let w be d/120 + 1/2. Let y = -3/10 + 19/30. Which is greater: y or w?
y
Let j(t) = -t**2 + 19*t - 15. Let p be j(18). Which is smaller: 2 or p?
2
Let w be (-35)/(-42) - 2/(-12). Suppose o = 5 - w. Are 2 and o unequal?
True
Let w(m) = -7*m**2 - m + 1. Let h be w(1). Suppose 4*s = 3*k + 3*s + 20, s + 29 = -4*k. Is k smaller than h?
False
Let m(n) = -4*n + 3. Let d be m(2). Are d a