. Let r be z(-1). Is r greater than a?
True
Let t = 0.4 - 0.1. Let k = -0.85 + 0.75. Which is greater: k or t?
t
Let r = -4 - -15. Let u be (-2)/r - (-8)/44. Which is bigger: u or 2/3?
2/3
Let r = -0.29 + 0.2. Which is bigger: -1/3 or r?
r
Let k = -1 - 6. Let a = k + 5. Does -2 = a?
True
Suppose 4*v = -0*v + 12. Suppose -3*h - 2*m = -0*h - 1, v*h + m = 5. Let w = 0.2 + -0.2. Are w and h nonequal?
True
Let a(k) = -k**3 + 7*k**2 - k + 8. Let j be a(7). Suppose -2*l + 6 + 2 = 0. Let r be (3 + -1)*2/l. Are r and j non-equal?
False
Let n = 1.5 - 0.5. Let a = 163 - 161.87. Let y = 1.1 - a. Is y < n?
True
Let p = -1157/76 - 200/19. Let u = -26 - p. Let f = 2 - 2. Is f less than u?
False
Let y = 1.1 - 7.1. Let i = y - -2. Which is smaller: i or 1/4?
i
Suppose -3*c = -5*c - 8. Let y be (c - 2/(-1)) + 9. Which is smaller: 5 or y?
5
Let r = 2.9 + -3. Let a = r - 0. Let m = 0 + a. Is 0.2 at most m?
False
Let x = 289/312 + -2/39. Which is smaller: 0.3 or x?
0.3
Let k be (-48)/18*6/(-4). Suppose k*x + b + 3 = 0, 2*x = b + b + 6. Let m be 6/(-4) - (0 + -1). Is m greater than or equal to x?
False
Let o = 2315/2478 + -13/14. Which is smaller: 1 or o?
o
Let g be (-2 - 1)/(18/(-4)). Which is bigger: g or -25?
g
Let u = -100895 - -506111/5. Let l = u - 326. Is l at least 1?
True
Suppose 14 = -2*n - 3*a, -a = -3*n - 0*a - 10. Which is smaller: -13/3 or n?
-13/3
Let m be (12/(-15))/(6/15). Suppose 2 = 2*j - j. Let d be (j + -4)*m/6. Which is smaller: d or 1?
d
Suppose 0 = 5*m + 5*o - 15, 4*o + 16 = 3*m - 0*m. Suppose -x + 2*h - 20 = -3*x, m*x + 5*h = 43. Which is bigger: 8 or x?
8
Suppose 2*l = 3*m - 5 - 7, 2*m - 8 = 0. Let d = -4 + 3. Is d > l?
False
Suppose 4*o + 15 = -1. Let w be (1 - -1) + (-12 - o). Is w smaller than -7?
False
Let i = 23/78 + 1/26. Which is greater: 0 or i?
i
Let c be (3 + -2)*1*7. Let l = c + -6. Is l at most -1/14?
False
Let l = -0.1 + -0.1. Which is greater: l or -15?
l
Let k(d) = d**2 + 7*d + 4. Let t be k(-7). Suppose -t*l - 48 = -l. Let n be l/(-8)*(-1)/(-5). Is 0 at most n?
True
Let j(i) = i**2 - 2. Let h be j(3). Let z = 10 - h. Suppose -o = -z*o. Which is bigger: o or -2/3?
o
Let z(c) = 0*c**3 - c**3 + 5*c**2 - 6*c + 5 + 1. Let p = -22 - -26. Let j be z(p). Which is smaller: j or -2/5?
j
Suppose 92 = 5*u - 9*u. Let j = u - -71/3. Which is greater: j or -0.9?
j
Let d be (-83)/(-9) + (-2)/9. Suppose -5*v + 1 = 3*y + d, 5*v + 5*y + 10 = 0. Let o be 1/(-4) - 2/(-8). Is v bigger than o?
False
Suppose -a + 11 = -3*y, -5*a - 5*y = -a - 10. Let k = a + -4. Which is smaller: 0 or k?
0
Let g(r) = r - 6. Let w(s) = 2*s - 13. Let a(f) = -7*g(f) + 3*w(f). Let x be a(0). Let n be -3 + 2 + 3 - x. Which is greater: n or -0.1?
-0.1
Let u(f) = f**2 + 13*f - 27. Let v be u(-14). Are -66/5 and v nonequal?
True
Let v be 1 + (10/4)/((-12)/6). Which is greater: 2/239 or v?
2/239
Let q be (-2)/(-4)*(2 - 0). Suppose u - 4 + q = 0. Is 4 at least as big as u?
True
Let l = -0.08 - 2.92. Let f = -2 - l. Let s = f - 1.2. Which is greater: s or 1/5?
1/5
Suppose -5*m - a + 2 = 0, -2*m - 5*a + 10 = -3*m. Let x = -254/5 - -51. Which is smaller: m or x?
m
Let h be (-3 + 0)/1 - -7. Which is smaller: 7/2 or h?
7/2
Let d = -27 - -20. Is 2 != d?
True
Suppose 3*o - 7*o = 520. Let c be (4/o)/(5/25). Which is smaller: c or 0?
c
Let k = 5/3 - 19/15. Let s(q) = 8*q - 1. Let m be s(2). Let r be 1*(m/(-9))/(-5). Is k less than r?
False
Let m be (-12)/38*3/(-117). Let w = 217/3705 + m. Let g = -2/15 - w. Is -1 at most g?
True
Let f be (-58)/((-21)/(-9) - 2). Let h = f + 1222/7. Let q be (-1 - -4) + -2 - -1. Which is smaller: q or h?
h
Let t = 44/13 - 197/39. Which is smaller: t or -3?
-3
Suppose -1 = n + 3. Let l = -2.1 + 2.1. Which is greater: n or l?
l
Suppose -282 = y + 342. Let c = 15602/25 + y. Is -1 <= c?
True
Suppose 50 = r + 4*r. Suppose -4*c + r = -9*c. Is -1 greater than or equal to c?
True
Let a(d) = d**3 + 20*d**2 + 19*d + 14. Let j be a(-19). Is 43/3 bigger than j?
True
Let p be (-8 - -2)/(2/(-1)). Let r = 0 - 0. Let l be (6 + r)*(-1)/(-2). Are l and p unequal?
False
Let w = -15 + 18. Let i be 1 - ((-92)/(-24) - w). Is 1 <= i?
False
Let u = -708/5 - -142. Let r = 151/7 - 21. Which is smaller: r or u?
u
Let x(q) = -q**2 - 26. Let f be x(0). Let s = 73/3 + f. Which is bigger: -3 or s?
s
Let c = 1 - 15. Let t be 3 + (-1 - c/(-6)). Which is smaller: t or 1?
t
Let s = -2/2137 + 4508/250029. Is -1 less than s?
True
Let t be 23/(-44) + (-1)/(-4). Which is smaller: 1 or t?
t
Let d = -1.1 - -0.1. Let q = -4.3 - -4. Let f = 0.3 + q. Which is bigger: d or f?
f
Suppose 4*i - 5*i = 0. Suppose -3*y - 2 = -3*n - 8, i = 3*n + 3*y + 18. Let z be n/(-1)*(-9)/(-24). Is 1 less than z?
True
Let k = 11.7 + -11.8. Which is greater: -13/4 or k?
k
Let w(n) = -n - 3. Let b be w(9). Let x be 8/6 + b/(-18). Is x at least 0.2?
True
Suppose 5*j - 1 + 3 = 4*f, f = -j - 4. Let g = 0 - f. Is 2 greater than or equal to g?
True
Let t = 91 - 95. Which is smaller: -2 or t?
t
Suppose v + 4*j = 24, 5*v + 7*j - 2*j - 75 = 0. Let z be -11*(5 - (-24)/(-4)). Do z and v have the same value?
False
Let y = -3 + 5. Which is smaller: 5/2 or y?
y
Let d(i) = 5*i - 5. Let z be d(-3). Let x be (-32)/z*(-2)/4. Let g = 0 - 1. Is g equal to x?
False
Let f = 81 - 82. Which is smaller: f or 2/9?
f
Suppose 4*g + 0*h = -h + 4, 3*h = 0. Let a be ((-1)/9*1)/1. Which is smaller: a or g?
a
Suppose 3*z + 0 = 9. Let m(k) = -k**2 + 5*k - 4. Let s be m(z). Is s > 2?
False
Suppose -6*q = 14*q - 160. Which is greater: q or 4?
q
Let b(w) = w**2 - 6 - 1 + 0*w + 4*w - 3. Let j be b(-6). Which is smaller: j or 0?
0
Let p = 0.3 + 0.05. Let i = p - 0.05. Let t = -20.3 + 20.1. Does i = t?
False
Let j = 56 - 53. Let m be (-10)/(-24) + 2/(-3). Is m at least j?
False
Let f = -28 + 29. Let n be (3/5)/((-6)/4). Is n >= f?
False
Let y = 1 - 7. Which is greater: y or 0?
0
Let c be (2/(-6))/((-4)/(-6)). Suppose 3 - 30 = -9*m. Is c >= m?
False
Let l = 7239/11 - 657. Is 2 less than l?
False
Let y be (2/(-6))/((-4)/(-24)). Let l = -4597/7 + 655. Which is smaller: l or y?
y
Let j(p) be the third derivative of 1/120*p**6 + 0 - 1/6*p**3 + 2*p**2 + 0*p + 2/15*p**5 + 7/24*p**4. Let c be j(-7). Which is bigger: -1/3 or c?
-1/3
Let b be (-2)/(-9) - 660/54. Let n be 2/(-8) + b/(-16). Is n < 1?
True
Let y = -10973/1791 + -19/199. Is y at most -6?
True
Let f(j) = j - 2. Let x be f(3). Suppose -x = -h - 2. Which is bigger: h or 0?
0
Let v be (3 - (-100)/(-36))*(-3)/(-2). Is 0.19 at most as big as v?
True
Let u be 6/(-21) + (-14)/(-49). Let t(x) = x + 2. Let h be t(0). Is u at least as big as h?
False
Suppose 6 = -a - 49. Is a >= -55?
True
Let v = -29 + 30. Which is smaller: v or -33/5?
-33/5
Let z = -93 - -94. Is z < -3/41?
False
Let t = -167 + 110. Is t less than or equal to -58?
False
Let c = -46029/31 - -1485. Let q = c - 17/248. Let y(x) = x**3 + 5*x**2 + 3*x - 5. Let k be y(-4). Which is smaller: k or q?
k
Suppose 0 = -4*w - 4. Is w at least 0.04?
False
Suppose -5*w + 13 = 2*m, -4*w + 2*m + 17 = w. Which is greater: w or 2?
w
Suppose -i - 10 = -2*i - k, 2*i - 4*k = 8. Let m be (1/2)/(60/i). Is -1 <= m?
True
Let n = 12.4 - 1.4. Let l = n - 11.1. Which is greater: l or 0.03?
0.03
Let m be (-20)/42 + (-1)/(-3). Let o = -0.36 - -0.06. Let x = o + 0.2. Which is bigger: m or x?
x
Let g = -10 - -13. Is g < 4?
True
Let x be (-4)/(-24)*(-4)/2. Let k be ((-3)/(-2))/((-6)/(-20)). Suppose -k*j = -4*a + 18 + 3, 0 = j + 3*a - 11. Which is greater: j or x?
x
Let n = 7 + -4. Let a(x) = -x - 3*x**2 + 2 + 1 - 4 + x**3. Let w be a(n). Is w <= -3?
True
Suppose m + 10 = 2*d, -2*m - 41 = 3*d - 0*d. Let s = m - -6. Let r be 10/45 - s/(-18). Does 2 = r?
False
Let u = 16 - 15.1. Let l = u + -0.7. Is -0.4 less than l?
True
Let s(w) = -w**2 - 6*w. Let k be s(-5). Suppose -k*b + 3*h - 4*h = 0, 0 = -h. Which is smaller: 2/9 or b?
b
Suppose -s + 1 + 0 = 0. Let x be 1*(0 + s + -1). Which is greater: -1 or x?
x
Let z = -5 + 4. Let o = z - -3. Suppose -2*y - 9 = -5*y. Is o greater than y?
False
Let u be 0/2*(-10)/(-20). Let f = -481/534 - -6/89. Which is smaller: u or f?
f
Let f(p) = -p + 2. Let a be f(8). Let d(b) = -b**3 - 7*b**2 - 5*b + 6. Let m be d(a). Suppose m*y = -3*y + 6. Is y equal to 4/3?
False
Let x = 3.8 + -0.8. Let g = 14 + -14. Is g at least as big as x?
False
Let n be (-