w - 3*w. Suppose 0 = j*h + h. Is -3/5 at most h?
True
Let d be (1/(-2))/((-3)/509). Let b = -85 + d. Which is greater: -1 or b?
b
Let t(a) = -a**2 - 4*a + 13. Let g be t(-7). Which is greater: g or -10?
g
Suppose -3*d - 12 = d. Let h be d + 2 + 3*1. Let k be (h/6)/((-3)/(-9)). Is -0.2 greater than k?
False
Let y = 1 - -1. Suppose -2 = -5*h + u, -5*u = -y*h - 3*h + 10. Is h less than or equal to -2?
False
Let t be ((-6)/7)/((-2)/(-14)). Let v = t + 1. Let h = -4 - v. Which is bigger: h or -2/15?
h
Let d = 0 - 0. Let p = d - -2. Let s be (-7)/(-4) - -2 - (-2 + 5). Which is greater: s or p?
p
Let y = 0.04 - 0.04. Let h = y + -1. Are 0.2 and h nonequal?
True
Let x = 1.1 + -0.1. Let r be 23/(-45) + 14/35. Let g = r - 13/45. Which is smaller: x or g?
g
Let q be -1 + -1 + 2812/1425. Is -1 not equal to q?
True
Let f = -5 - -3.9. Let m = 0.1 + f. Are m and 3 unequal?
True
Let w be 12/8 + (-4 - -1). Let z = 2 - 4. Is w at most z?
False
Let i = 178459/5 - 35541. Let b = i + -150. Let d be 0 - (-7 - 20/(-4)). Do b and d have the same value?
False
Let m(o) = -o**3 + 4*o**2 + 3*o + 8. Let y be m(-3). Which is bigger: 2/5 or y?
y
Let i be -2 - 23/(-18)*2. Which is smaller: 0 or i?
0
Let x(a) = -a**2 + 9*a - 1. Let s = -17 - -26. Let b be x(s). Which is bigger: b or 3/20?
3/20
Let m be (-2 + (-145)/(-70))*-2. Which is greater: m or 0?
0
Let q be (-160)/(-48) + (-2)/(-3). Suppose 0 = 5*h - 22 + 7. Is q at least as big as h?
True
Let h = 158 + -160. Which is greater: h or -8/11?
-8/11
Let s be (-2 + (-14)/(-6))/((-17)/51). Which is bigger: -8/7 or s?
s
Suppose f + 4*f = 0. Let k = -52 - -209/4. Which is smaller: k or f?
f
Let b = 41 + -39. Is b at most as big as 0?
False
Let d be -2 - -4 - (7 + 11). Let p = -29 - d. Which is bigger: p or -11?
-11
Suppose 35 = 7*k - 28. Is 8 at most as big as k?
True
Suppose 3*x + 3*r = -2*r + 5, -2 = -x - 2*r. Suppose q + 2*q = x. Is 2/13 bigger than q?
True
Let u(c) = -c - 8. Let d be u(-2). Which is greater: d or -9?
d
Let b(t) = -t + 12. Let j be b(7). Suppose -5*n - 2*d = -37, 0 = -0*d - 5*d + 5. Is n smaller than j?
False
Let n = -154/3 - -776/15. Which is smaller: -10 or n?
-10
Let f(k) be the first derivative of 2 - 4*k + 1/3*k**3 + 7/2*k**2. Let v be f(-7). Which is greater: -3 or v?
-3
Let n(y) = 5*y + 1. Let p be n(-2). Let l = -11 - p. Is -4 at most l?
True
Let i be 12/42 + (-38)/126. Let y = 19/63 + i. Which is smaller: y or 1?
y
Let w be (5 - 1)*(-6)/(-8). Let h be w + -3 + -1 - -3. Let m = 13/30 - -1/15. Which is bigger: h or m?
h
Let f = -7 + 7.44. Let j = -0.04 + f. Let v = 0.6 + j. Which is bigger: v or 4?
4
Suppose 12*k - 40 = 4*k. Is 2 less than k?
True
Suppose 12*r - 14*r = 0. Let g = -20 + 30. Let k be (2/(-10))/((-8)/g). Is k at least as big as r?
True
Let k = -1 + 3. Let r(a) = a**3 - 5*a**2 + 4*a + 3. Let b be r(6). Let h = 129/2 - b. Which is smaller: k or h?
h
Suppose -2*j + 0 = -3*p + 1, -3*j = 2*p + 8. Let y = -0.52 + -0.18. Let x = 2.7 + y. Is x less than p?
False
Let s = 0.3 - 0.6. Let n = s - 0.7. Let h be ((-2)/3 - -1)*1. Which is greater: n or h?
h
Let x(v) = v**2 + 10*v + 20. Let k be x(-7). Which is bigger: 9/22 or k?
9/22
Let h = -2 - -2. Is 0 less than h?
False
Let y be 6*(1 - (-3)/6). Let h be 2/y + 176/18. Is 10 <= h?
True
Let y be (4/(-8) + 1)*74. Is 37 bigger than y?
False
Let r = 5 - -1. Which is smaller: 4 or r?
4
Suppose 0 = -8*m + 12*m. Which is bigger: m or 6/29?
6/29
Let x(q) = -q - 7. Let i be x(-6). Let a = -4275/3112 - 1/778. Let r = 15/8 + a. Is r >= i?
True
Let d = 4427/138 - 193/6. Let a = -13 + 14. Which is greater: d or a?
a
Let n = 0.02 - 0.12. Let t = -16 - -15.1. Let q = n + t. Which is bigger: q or 0.1?
0.1
Let c be 207/(-161) - 2/(-7). Does c = -4/7?
False
Let o = 120 + -118. Are o and 7/5 nonequal?
True
Let t = -511/6 - -85. Which is greater: -1/2 or t?
t
Suppose 0 = 2*a + 6, 0 = -q + 5*a - 2*a + 7. Let r = 2 + q. Suppose 0*v + v = r. Which is smaller: 2 or v?
v
Suppose 3*w + 70 = -5*i + 7*w, 0 = 4*i + 5*w + 97. Is 1 at least i?
True
Let w be (0/(-1))/(4 - 3). Suppose h = -w*h. Suppose -u - 2*u = h. Is 2/3 at least u?
True
Suppose 3 = 2*v + 1. Let i = -2 + 3. Let x be ((-10)/6*i)/v. Which is bigger: x or -2?
x
Suppose 0 = -0*l - 5*l + 35. Let y be 1 - 3/(24/l). Let k = -2 + 2. Which is smaller: y or k?
k
Suppose -5*d + 2*z + 14 = -z, 4*z = -2*d - 10. Let j = -7/23 + 3/161. Which is bigger: d or j?
d
Let z(x) = x**2 - 5*x - 10. Let w be z(9). Is 25 bigger than w?
False
Suppose 3*n = b + 3, -n - 3 = 4*b - 3*b. Let h = -3 + 5. Is n greater than or equal to h?
False
Suppose -6 = r - 2, 8 = -4*b - 2*r. Suppose -x + 0*m = -2*m + 3, 2*x + 4*m = -6. Which is smaller: x or b?
x
Let q be 0 - (-7 - (2 + -2)). Let d(n) = -n + 7. Let y be d(q). Let g = 443/4 - 110. Which is greater: y or g?
g
Let k(o) = 5*o - 2. Let h be k(2). Let q(a) = a - 7. Let c be q(h). Let n(f) = 2*f - 2. Let p be n(2). Is p at most c?
False
Let u = -2/1921 + 3884/40341. Is 1 bigger than u?
True
Let f = -2 - 2. Which is smaller: 0 or f?
f
Let b be (-6)/(-810)*59 - 2/5. Is b greater than 1?
False
Suppose 2*h + 2*q + 10 = 0, q + 0*q + 9 = -3*h. Let l = 2 - -1. Suppose l*z = z. Is h equal to z?
False
Let k = -0.265 - 0.035. Is 2/11 at most as big as k?
False
Suppose 7 = 7*n - 7. Are n and 2 equal?
True
Let g be (1 + (-2)/4)*14. Let k = -301 + 2711/9. Is k less than g?
True
Let h = -0.001 - -0.061. Which is greater: h or -1/2?
h
Suppose 3*z - 4*z = -2. Suppose z*b - 8 = -2*i, -b - i + 9 = b. Suppose -b*a = 3*s - 8, 4*s - 2*s = 2*a. Which is smaller: s or 1/3?
1/3
Let k = 0.03 + -0.05. Let x = 0.52 + k. Let d = x - 0.6. Which is greater: 0.1 or d?
0.1
Let z = 20 + -22. Which is greater: z or 20?
20
Suppose 2 = -j + 2*r, -j + 1 = 2*r - 5. Is 2 at least j?
True
Let z = -0.772 + -0.198. Let m = -0.05 - -0.08. Let p = m - z. Is p > 0.2?
True
Let d = 6 + -6.1. Is 0.22 at least as big as d?
True
Let f = -5 + 9. Which is smaller: f or 3?
3
Let i be 1/(-3) - (-29)/(-3). Let y = i - -8. Is -2 less than y?
False
Let j be 4/(-18) - 10/(-45). Suppose 5*r + 5*h - 55 = -j*h, -4*r - h + 29 = 0. Which is bigger: 5 or r?
r
Let h be -5 - -1 - -2 - -10. Let d(v) = -v**3 + 9*v**2 - 6*v - 6. Let c be d(h). Let z be c/(-8) - 1/(-4). Which is bigger: -2/5 or z?
-2/5
Suppose 6*w = 7*w + 4. Is w at least as big as -4?
True
Suppose -5*k + 3*i + 17 = 0, -4*k + 15 = -i - 0*i. Suppose -6*g = -k*g. Let w be 9/6*-2 - g. Is w at most -3?
True
Let g(p) = -4*p**3 - 2*p**2 + 2*p - 1. Suppose -7 = -2*a + 5. Suppose -2*o + a = 4. Let l be g(o). Which is greater: l or -4?
-4
Let x be -10 + 14 - (0 - 0). Which is smaller: 7 or x?
x
Let p = 0 - -3. Let v(w) = -w**3 - 3*w**2 - 4*w - 3. Let u be v(-3). Suppose -r = -1, i - u = -3*r - 2*r. Is p at most i?
True
Suppose -14 = -k - k. Let m = -5 + k. Suppose -m*o = -3*o. Which is smaller: -3 or o?
-3
Let q be (-3)/(24/13) - 38/(-19). Is 3 <= q?
False
Let p = -17 + 28. Is 0 at most p?
True
Let s(p) = p**3 + 7*p**2 - 8*p. Let i be s(-8). Let j = 9 + -7. Which is smaller: i or j?
i
Let p be 7/(-3) - (-3 + 3). Is -2 >= p?
True
Let y be 6/(-4)*8/(-3). Suppose -z - y*z = -40. Let b be (-2)/z + (-22)/8. Is b >= -4?
True
Let i = -6 - -6.1. Let j = i - 1.1. Let b be 1/(-1 - (-8)/6). Which is smaller: b or j?
j
Let g be -1 + 0 + -1 + 0. Let m = g - -5. Let o = 2 - m. Which is bigger: o or -5/3?
o
Let i = -99 - -2477/25. Is i at least as big as 0?
True
Let s be (2/(-8))/((-14)/168). Are 13/3 and s nonequal?
True
Let b = -5.1 + -11.9. Is b at most as big as 2?
True
Let o(b) = b + 5. Let q be o(0). Let h be (2 - 3/2)*-14. Let f = h + q. Is f greater than 0?
False
Suppose 2*c + 0*c - 4 = 0. Suppose v - 21 = -c*v. Let s be v/5 - (-1 - -3). Is -1 not equal to s?
True
Suppose -4*x + 2*x = 72. Let c = 9 + x. Let m be (-1)/2 + c/(-6). Which is bigger: m or 3?
m
Let o be (-3)/6 - (-3)/4. Let w = -7 - -8. Let z be 0/(4 + -3)*w. Which is bigger: z or o?
o
Suppose 10 = -5*l - 5. Let j be (l/12)/(-3 - 1). Are 1 and j non-equal?
True
Suppose -2*p = 4*k - 78, -4*p + 3*k + 9 = -125. Suppose -5*j - 50 = -2*z - 21, -p = -5*z + 5*j. Let x be 1/2*(0 + z). Are x and 2 equal?
False
Let w = 48 - 107. Is w less than or equal to 1?
True
Let c = 48 - 48. Which is smaller: c or 2/25?
c
Let m = 0.3 + -0.29. Let l = 15.11 + -15. Let b = m - 