ose 5*v + 4*n = -n - 25, 3*v - 2*n = -15. Let b be (-6)/(-56) + v/20. Which is greater: b or 0?
0
Let f = -63 + 67. Which is greater: f or 6?
6
Let l = -15 - -16. Let f(p) = 5*p - p - 5*p - 7. Let d be f(-7). Which is smaller: d or l?
d
Let d(t) = -t**2 - 2*t + 2. Let s be d(1). Let n = -1406/45 + 280/9. Do n and s have the same value?
False
Suppose -r + 3*r + 4 = 0. Let b = 2.8 + -3. Is b >= r?
True
Let r be 3/(-76)*(-8)/9. Let b = 49/228 + r. Let s = -5 - -4. Is b > s?
True
Suppose 5*u + 19435 = 50515. Let y = u - 273491/44. Let z = y - 1/22. Are z and -1 unequal?
True
Let o = -12.8 + 5.8. Let h = -2 + 1. Which is smaller: h or o?
o
Let k(u) = 3*u. Let n be k(4). Let s be 0/(-3 + 1 + 3). Suppose n = -z - z - 2*c, 5*c + 25 = s. Is z greater than or equal to 1?
False
Let a(b) = b - 5. Let v be a(5). Let c = -102/19 + -530/57. Let p = 167/12 + c. Is v smaller than p?
False
Let p be 1/(-3)*(15 - 6). Is 3 less than or equal to p?
False
Suppose 5*u = -0*u + 10. Suppose -4*d = -y + 4*y - 77, -2*d + 38 = u*y. Let s be 24/10 - 8/d. Is 3/2 > s?
False
Let b = -0.08 + -0.22. Which is bigger: b or 0?
0
Let u = 22 - 21. Is u smaller than 3?
True
Let a(n) = -2*n + 1. Let l = -3 + 1. Let o be a(l). Let j = -11 + 16. Is o at least j?
True
Let s = 0.34 + -0.14. Let y = 1.2 - s. Is 0.03 bigger than y?
False
Suppose 4*c - 3 = 3*o, 3*o - 18 = -0*c - 3*c. Let k = 22 - 19. Are o and k nonequal?
False
Let v(y) = y + 5. Let h be v(-6). Let b be -4 + 5 - (-3 - -1). Let q be -2 + 1 - -3 - b. Is h less than q?
False
Let x be (0 - 2 - -4)/(-3). Which is smaller: 0 or x?
x
Let j be (-33)/55 + (-954)/(-15). Are j and 62 non-equal?
True
Let l = -36 - -16. Let q be 1/2*l/3. Which is smaller: q or -4?
-4
Let o(s) = -s + 1. Let m be o(-3). Suppose -m*x + 12 = -x. Suppose i = -g, 2 - 12 = -x*i + g. Are i and 0 unequal?
True
Let h be (3/(-2))/(8/48). Let g = -2 - h. Which is greater: g or 9?
9
Let n = 5 - 13. Let u(d) = d**3 - 16*d**2 + 15*d + 3. Let g be u(15). Suppose x + g + 4 = 0. Is n at least as big as x?
False
Suppose -2*j + 6*j = 0. Suppose 2*b + 5*w = 10 - j, -w + 2 = 4*b. Let n be 0 + (0 - b/(-3)). Is n equal to 0?
True
Let z be (6/(-8))/((-11)/88). Is 7 less than z?
False
Let c be ((-28)/8)/(-7)*(-2)/(-20). Which is smaller: 0 or c?
0
Let a(m) = -m**2 + 8*m + 20. Let c be a(10). Let d be 5/(-5) - (-10)/6. Are d and c equal?
False
Let f be (-6)/(-4) + 27/(-12). Is -2 not equal to f?
True
Suppose 0 = -q + 7*q + 6. Which is smaller: q or 3/19?
q
Let o = -0.05 + -0.85. Let u = o - -1. Is u greater than or equal to -0.07?
True
Let p = 1.1 - 1.2. Let b = 2 + -3. Which is smaller: b or p?
b
Let o be -5*(0 + (-6)/15). Let j be (3 + -4)/(o/(-10)). Suppose j*a = 3*a. Is a >= 1?
False
Let u = 1 - -3. Let x(s) = -s**3 + 4*s**2 + 2*s - 6. Let g be x(u). Is 2 > g?
False
Let z = 2 - 4. Let v = z - -2.1. Let w = 168 + -1510/9. Which is smaller: v or w?
v
Let z = -9 - -8. Let h be (4/2 + -2)/z. Let q be 0/1 + 1/3. Is h < q?
True
Let m = 3/31 - -19/124. Do -6 and m have the same value?
False
Let s = -1 + 8. Suppose s = -2*j + 3*j. Let l = j + -11. Which is smaller: l or 0.1?
l
Let t = 4.5 + 0.5. Let c = t + -7. Is 1 greater than or equal to c?
True
Let i(m) = m**3 + 6*m**2 + 5*m - 4. Let o be i(-5). Let b = o + 1. Which is smaller: -2 or b?
b
Let n = 18 - 28. Which is greater: -9 or n?
-9
Let y be (0 - 3) + (-70)/(-20). Is y < 97?
True
Let p(k) = -k + 18. Let y(x) = -x - 5. Let a be y(-14). Let g be p(a). Do 3 and g have the same value?
False
Let c be (-36)/(-198) - (-23)/(-66). Which is greater: 2/3 or c?
2/3
Suppose 0 = 2*t - 6 - 42. Is 24 != t?
False
Let l = -8.06 + 0.06. Let o = -7.96 - l. Let m = o + 0.06. Which is smaller: m or -3?
-3
Let t(z) = z**3 + 7*z**2 - z - 7. Let r be t(-7). Let g be r/(-3) - (-4 + 4). Suppose 4*i - i = g. Is i at most -3?
False
Let n(w) be the third derivative of -1/60*w**5 + 1/4*w**4 + 0*w + 1/2*w**3 - 2*w**2 + 0. Let g be n(6). Which is smaller: 1 or g?
1
Let f = -1/1690 - -137/3042. Let l = -37/180 - f. Which is bigger: -0.1 or l?
-0.1
Suppose 5*g - 13 = -3. Suppose 3*s - 5*t = -41, 2*t - g = -0*t. Which is smaller: s or -11?
s
Let d(n) = -2*n + 20. Let v be d(10). Is -0.12 smaller than v?
True
Let j = -63/2 + 31. Let w = -4 + 2. Let i be (-2)/5 - w/5. Which is smaller: j or i?
j
Let q be (-2)/(-2*1/4). Suppose -3*l + 1 = q. Which is greater: 1 or l?
1
Let r = 100 + -82. Is 15 at most as big as r?
True
Suppose -9 = -4*r + 3*r. Let j(f) = f**2 - 3*f - 3. Let y be j(5). Which is greater: y or r?
r
Suppose 1 = f + 2*o + o, -14 = 2*f - 2*o. Let v = 14 + -19. Are f and v unequal?
False
Let r = 114 + -113.993. Which is bigger: -2/7 or r?
r
Let o be 2/50*(-55)/(-33). Which is smaller: 0 or o?
0
Let v = -23 + 93/4. Let p = 26 + -16. Let a = 7 - p. Is a at most v?
True
Suppose -4*r = -0 + 4. Let y be (1 + -2)/(5/(-40)). Let u = y - 7. Which is smaller: r or u?
r
Let o(f) = 2*f**2 + 2*f + 2. Let m be o(-2). Suppose a + 2*a = -m. Let r be -2 + (10/(-6) - -3). Is r greater than a?
True
Let u be 210/(-12)*(-8)/14. Is 12 at least u?
True
Suppose -7*u + 5 = -2*u. Let y = 12 + -12. Let o = y + u. Which is greater: o or -2/9?
o
Let a = -0.19 - -0.04. Let q = -0.05 + a. Is q > 0.3?
False
Let q be (1 - 0)*165/(-15). Which is smaller: 2/5 or q?
q
Let z be ((-5)/130)/((-3)/12). Which is bigger: -0.1 or z?
z
Let a = 109 - 183/2. Let q = a + -179/10. Which is smaller: 1 or q?
q
Let b be (-1)/4 + (-1)/(-4). Let c = -5.4 + 9. Let v = c - 0.6. Which is bigger: v or b?
v
Let y be ((-49)/5 - -4) + 4. Is -1 smaller than y?
False
Let t be ((-10)/(-8) - 1) + 172/(-720). Is t > 0?
True
Suppose -3*w - 2*j = -22, 4*w - 33 = 2*w - 5*j. Suppose -2*d + 0*d = -w. Suppose -3*v + v + 4 = 0. Is v not equal to d?
False
Let k = -32 - -29. Let n = -2 - -2. Is k < n?
True
Let p be (1*-1)/(-2 - -3). Let o be p/(-4)*(-5 + 4). Let r = 3 + -3.1. Does r = o?
False
Let q = 0.3 + -1.3. Let p = 0 - -8. Which is smaller: q or p?
q
Suppose 5*y + 14 = -11. Let u = -2 - y. Suppose 0 = -u*r - 2*r. Is -2 at most r?
True
Let z = -17 + 22. Is z at most 5?
True
Let j = -26 + 28.1. Let p = 0.1 - j. Let d = -5 - p. Is d > -1/2?
False
Let d = -28.7 + 29. Which is smaller: -1/8 or d?
-1/8
Let d = -2.3 + 2. Let a = -0.5 - d. Let v be 2/(-12)*(-4)/2. Is a at most as big as v?
True
Let r = -87 - -611/7. Let w = 1 - 3. Let t = 3 + w. Is r equal to t?
False
Let o(g) = -11*g - 3 + 1 + 10*g. Let d be o(0). Let m = -638/5 - -127. Is d != m?
True
Let b = -2/195 - 376/1365. Is b equal to -2?
False
Suppose 0 = d - 4 + 2. Suppose -4*k = -z - 2, d*k + 0*k = -5*z + 12. Suppose z*g - 3 = 2*y - 7*y, 4*g = -y + 15. Which is smaller: y or -2?
-2
Suppose v = -2*v + 6. Let m be (v/(-6))/(5/15). Are -2/29 and m non-equal?
True
Let t = -15 - -17. Let j(m) = 2*m**2 + 2*m - 2. Let l be j(-2). Let i = -1 + l. Is t less than i?
False
Let s = 1 + -1. Suppose -304 - 154 = 3*v - y, 5*v + 782 = -3*y. Let w be (-72)/v + 8/(-28). Is w smaller than s?
False
Suppose 0 = -5*p - c + 4, 2*c + 16 = -2*p + 6*c. Suppose m + m = p. Let l = -545/4 - -137. Is m > l?
False
Let b = -17 - -17.07. Let g = 0.93 + b. Is g less than or equal to 0?
False
Let p = 19 + -17. Suppose p*l = l. Which is bigger: -1/28 or l?
l
Let x = 62 - 432/7. Is 14 > x?
True
Let j = -346 - -347. Suppose -4*f = -5*f. Which is smaller: j or f?
f
Let s be (4/10)/((-2)/(-10)). Is 1 less than s?
True
Suppose -i + 5*i = w + 18, i - 6 = w. Let x be ((-1)/(-2))/(2/i). Suppose 11*k + 6 = 8*k. Is x at most k?
False
Suppose 0 = v + 5*c - c - 32, -5*v - 3*c + 92 = 0. Suppose 5*i - 3*l + l = -v, -4*l + 20 = -4*i. Let u be (4 - 2)*(i - -1). Which is smaller: u or -0.1?
u
Let a = 117/4 - 1311/44. Which is smaller: -1 or a?
-1
Let j = -1 + 5. Suppose 0 = -5*a - j*n + 1, 4*a - n - 3 = 2. Are 2 and a non-equal?
True
Let i be 3/(9/12) + -1. Let r = i - -3. Which is smaller: r or 5?
5
Let n be (-1 - -1)/((-11)/11). Which is smaller: 1/87 or n?
n
Let v = 1.8 - 3.4. Let p = -2.6 - v. Is 2 bigger than p?
True
Let s be -1*2/4*0. Suppose 2*g + s + 2 = 0. Is g smaller than -2/7?
True
Let t(j) = -20*j**2 + 6*j - 2. Let z be t(4). Let f = z + 8640/29. Which is greater: -1 or f?
f
Suppose -3*y = -8*y - 5. Does -3/62 = y?
False
Suppose -4*d = -9*d - x + 52, 0 = 4*x + 12. Which is greater: d or 12?
12
Suppose 