*o, -22 = 5*x - 4*o. Is x less than or equal to -5?
True
Let g = -22 + 13. Let b be g/6*(-5)/(-6). Is b < 0?
True
Let w(r) = -23*r**2 + r - 1. Let b be w(1). Which is bigger: b or -24?
b
Let j = 3.17 + -0.28. Let k = j + 0.11. Let m = 3 + -5. Is k at most m?
False
Let f be 3*1/(-2)*(-12)/18. Is f >= 2?
False
Suppose -5*x - 4*l + 30 = 0, 2*x - x + 3*l = 17. Is 20/7 > x?
True
Let g(b) = -b**2 - b + 20. Suppose 2*t - 6*t = 0. Let o be g(t). Let m be (4/o)/((-4)/10). Which is greater: m or -4?
m
Let o = 51 + -205/4. Suppose -v - 2*t - 4 = v, -3*v + t = -6. Is o bigger than v?
False
Suppose 5*m + 3 = -2. Is -1 not equal to m?
False
Let g = 0.6 - -0.4. Let l = -1 + g. Which is smaller: l or -2?
-2
Let c = 2 - 6. Let b be 1*(c - -2) + 6. Suppose b*a + 16 = 4*i - 8, 5*i = 25. Is a at least -3?
True
Suppose -4*m = -4*i - 24, 0*i = m - 5*i - 18. Suppose -a - 7*s + 14 = -2*s, s = 3. Is a greater than m?
False
Let g(f) = 2*f - 9. Let v be g(4). Let d = v - -7. Is 3 smaller than d?
True
Suppose 0*j = -2*j + 5*f - 13, -f + 17 = -4*j. Let g be (-10)/(-64)*j/(-10). Is g > -1?
True
Let b be 46/(-20) + 10/5. Is -1 at most as big as b?
True
Let g be 2/(-1 + (-26)/6). Let y(m) = m**2 - 14*m - 13. Let q(v) = v. Let r(n) = 3*q(n) + y(n). Let w be r(12). Which is bigger: g or w?
g
Suppose 3*y - 4*w + 4 = 0, -w + 2 = y + 1. Is y not equal to -1.9?
True
Suppose 8 = -10*g + 14*g. Suppose -g*a + 0*a + 10 = 0. Is a bigger than 5?
False
Let p(u) = -u**2 + 24*u - 29. Let w be p(20). Which is greater: 50 or w?
w
Let q = -3 + -4. Let a = -6 - q. Which is smaller: a or -0.1?
-0.1
Let j = 22 - 14. Suppose -3*l + 4 = s, -l - s + 2 = 4. Suppose -l*b = 1 + j. Which is smaller: -1 or b?
b
Suppose -h = -3*w - 0 + 2, h - 10 = -3*w. Let i be 13/4 - 3/12. Suppose 1 = -f + i. Is f greater than w?
False
Let x be (-9)/(-6)*-2*-1. Let k be x - (3/(-1) + 7). Let j = 4 - 3. Does j = k?
False
Let g = 7 - 8. Let j be 0 - (-3 - -4)*g. Is 1 > j?
False
Let p be 9*(1 + (3 - 2)). Suppose -l = -2*v - 1, 2*l = 5*l + 3*v + 6. Let j be p/10 + l/(-5). Is 3/2 at most as big as j?
True
Let b = 6 + -3. Let y(g) = b*g - 4*g - g. Let v be y(-2). Is v at most 4?
True
Let f(l) = -l**2 - 4*l + 2. Let p be f(3). Is -19 at most as big as p?
True
Let z(a) = -a**2 - 5*a + 4. Suppose 4*r - 3*o + 21 = 0, -3*o = -4*r - 5*o - 26. Let h be z(r). Is 3 at most h?
False
Let u be 2/13 + (-186)/26. Let g = u - -15. Suppose -h + 5*h + g = 0. Which is greater: h or -3/5?
-3/5
Suppose 9 = -2*w - 17. Let a = -8 - w. Suppose 5 + 10 = -a*s. Is s >= 1?
False
Let m = 0 + -1. Suppose 3*p - 2 = 1. Which is smaller: m or p?
m
Let f = 5 + -6.7. Is 0.1 bigger than f?
True
Let w = 19 + -18.9. Which is smaller: w or -0.1?
-0.1
Let b = -2/81 + 85/162. Is b <= -0.8?
False
Let f = 0.07 + 0.43. Let t = 8 - 4.5. Let q = f + t. Is q >= -0.1?
True
Let r be (-1010)/90 - 4/(-18). Are r and 2/5 equal?
False
Let h = -43/6 - -29/3. Suppose 5*c - 4*g = 43 - 12, -3*c - 7 = 4*g. Which is bigger: c or h?
c
Let d = 0.056 + 1.944. Which is bigger: d or 9?
9
Let x be (2/20)/((-2)/(-8)). Let g = -0.14 + 1.94. Let w = -2 + g. Which is greater: w or x?
x
Suppose 3*f - 3 = -3*z + 3, -4*f = 2*z. Suppose 0 = 3*t - 15, 24 = -z*o + 3*t - 3. Let c(l) = -3*l**3 + l - 1. Let w be c(1). Are w and o equal?
True
Let t = -24 - -26.4. Let o = 6.6 + -7. Let z = o + t. Which is bigger: z or 1/4?
z
Let j = 2 - 0. Let f be 58/30 - 2 - (-3)/(-5). Is f greater than or equal to j?
False
Let h be -1 - 9/6 - -2. Let a = 0.03 - -0.57. Let d = 0.4 - a. Are h and d unequal?
True
Let p = -0.2 + -0.6. Let l = 0.81 + p. Let x = -0.12 + 0.22. Is x bigger than l?
True
Let o = -130419489524/1013 + 216827262556009/1732230. Let p = o - -3573466. Let s = p - -4/171. Is -1 at most s?
True
Suppose z = v - 2, 3*z + 4*v - 5*v = -2. Suppose -3*m - 2*m + 75 = z. Let a be 2*(2 + (-24)/m). Is a != 2?
True
Let o(f) be the second derivative of 0 - 2*f - 1/20*f**5 + f**2 + 1/3*f**3 + 1/6*f**4. Let d be o(3). Is 0 >= d?
True
Let s be -1 + (-3)/3 + 4. Which is smaller: -6 or s?
-6
Let x(j) = j**2 - 8*j - 4. Let a be x(8). Suppose v = 2*r + 5, -5*r = 3*v + 1 + 28. Is r at least as big as a?
True
Let u = 46 - 136/3. Which is bigger: -1 or u?
u
Let x = 53/70 + -2/35. Let w = x - 1/2. Is -1 >= w?
False
Let l be (-2)/(-216)*(-11 - -14). Is -1 != l?
True
Suppose 27 - 9 = 9*n. Which is bigger: -0.12 or n?
n
Let w = -1.8 - -2.5. Let i = -0.8 + w. Which is greater: 1 or i?
1
Suppose 36*v - 2 = 35*v. Which is smaller: 10 or v?
v
Let r = -40 - -137. Is 97 >= r?
True
Let j(r) = -r**2 + 2*r - 9. Let g be j(4). Which is smaller: g or -16?
g
Let k be 10/(-4) - 3/(-6). Let y be k + (2/1)/(-2). Let s = 21 + -26. Which is greater: s or y?
y
Let g = -218 - -9372/43. Suppose 4*u + 3*r - 8 = -r, -r = -5*u - 8. Which is smaller: u or g?
u
Let t be (-4)/18 - 215/45. Let h be 2/3 - (t + 4). Let x = -4/3 + h. Is x equal to -0.4?
False
Suppose -h - 4 = -3. Let f = 48 + -342/7. Which is bigger: h or f?
f
Let b(u) = -u + 7. Let g be b(6). Let x = -33/8 - -181/40. Is x greater than g?
False
Suppose -d - 2*d = -21. Are d and 7 equal?
True
Let n = -60 + 62. Which is smaller: n or 2/13?
2/13
Let c be (((-18)/183)/2)/((-6)/(-4)). Which is smaller: 1 or c?
c
Let s = 80/7 + -11. Is s smaller than -1?
False
Let d(n) = -2*n + 3*n - 2*n. Let k be d(-4). Suppose 0 = -6*j + k*j. Is 0 at least j?
True
Suppose 3 = -2*z - 7, -4*y = -4*z - 24. Let s = y - 0. Which is greater: s or 3?
3
Let r(u) = u**2 - 4*u - 8. Let o be r(6). Suppose x + 1 = 5*d, o*d - 2*x + 2 - 4 = 0. Let p = 14 - 44/3. Which is smaller: d or p?
p
Let m(s) = 2*s**2 + 6*s. Let k be m(-4). Let a = k - 11. Which is smaller: a or -1?
a
Suppose -6 - 14 = -5*z. Suppose -3*b + 5*c - 10 = 0, 0 = b - 3*c + 10. Suppose l - 5*h = -17, -8 = 4*l - b*h - 0. Which is smaller: z or l?
l
Let p = 14 + -6. Suppose -5*m + 11 + 24 = 5*i, -i - p = -4*m. Suppose 3*a + 6 = 0, 1 + m = -r - 2*a. Which is smaller: 2 or r?
r
Let w = -0.2 + 0.3. Let v = 0.2 - w. Suppose 10*k - 18*k = -8. Is v greater than or equal to k?
False
Suppose -s + 1 = -3*b + 6, -3*b + 29 = 5*s. Suppose 0 = -4*l + 2*j + 10, b = -2*l - 3*j - 4. Let v be -6*(l - (-5)/(-4)). Which is bigger: v or 3?
3
Let r be (-203413)/(-5484) - (-2)/3. Let o = r - 4/457. Let q = o - 38. Is q smaller than 0.1?
True
Suppose 3 = 5*h - k + 4*k, 4*h - k = 16. Let s(i) = i**2 - i. Let x be s(h). Is x less than 6?
False
Let b be (3/6)/(20/(-8)). Let g be -1*(-1 + 1/2). Which is greater: g or b?
g
Let z = 27 - 22. Are -2 and z nonequal?
True
Let o = -142 + 82. Let w be (3/o)/(4/30). Is w != -1?
True
Suppose 0*j + 6 = 3*j. Suppose j*s + 2*s = 0. Do s and -1 have the same value?
False
Let n = 10 + -5. Suppose -3*h = -9, 2*h = -n*a - h + 9. Let c = 21/55 - 1/5. Is a <= c?
True
Let b = -2.282 - 0.018. Let w = -2.4 - b. Suppose 0*d + 3*d + 4*p = -24, 0 = -4*d + p - 13. Is d <= w?
True
Let z = -14 + 9. Do z and -7 have the same value?
False
Suppose 0 = -v - v. Is v != 2/51?
True
Suppose -3*j + 0*j + 6 = 0. Suppose z = j - 1. Suppose w = z - 6. Which is greater: -4 or w?
-4
Suppose -2*c + 0 = d - 2, -4 = -4*c + d. Suppose -2*k = -0*u + 4*u - 6, 0 = -u - 5*k + 6. Do c and u have the same value?
True
Let d(f) = -f**3 - 6*f**2 + 15*f + 18. Let z be d(-8). Which is smaller: 28 or z?
z
Let j be -2*2/(-24)*3. Let y = 3.2 + -3. Which is greater: j or y?
j
Let r = -1 - -1.1. Let a = r + 0.1. Let o = a - 0.2. Which is bigger: 2/3 or o?
2/3
Let n(v) = -2*v**2 - 2*v + 1. Let l(s) = s**3 - 5*s**2 - 6*s + 1. Let o be l(6). Let t be n(o). Suppose 2*c - 10 = 7*c. Is c <= t?
False
Let c = 0.6 - -1.4. Let h = -3.8 + -0.2. Let u = -4 - h. Which is bigger: c or u?
c
Suppose 0 = -4*u - u + 5. Suppose 4*o + o = 0. Suppose o = 6*r - 3*r. Is r greater than u?
False
Suppose 2*r - m = -3*m + 14, -5*r + 5*m - 5 = 0. Let c(a) = -a + 13. Let n be c(10). Is r greater than n?
False
Let z = 1 - 9. Let b be 24*z/(-132) - 2. Is b at least as big as 1?
False
Let h be 4 + (-4)/(4/5). Is h < -1/4?
True
Let a = -10 - -11. Is a > -2.3?
True
Let g be 16/(-12) + (-2)/(-6). Let o = g + 1. Do o and 2 have the same value?
False
Suppose -2*b = 3*b. Let f = 31/5 - 37/5. Which is bigger: f or b?
b
Let b(y) = -13*y + 16*y - y**2 - 3 + 7. Let k be b(4). Which is greater: -1/45 or k?
k
Let y be 4/(-14) - 30/(-7