 = -28780 + 547008/19. Let h = b - k. Which is bigger: h or -1?
h
Let a(h) = h**3 - 4*h**2 - h - 1. Let g be a(4). Which is greater: g or -8?
g
Let z = 8 - 9. Is z != -2/29?
True
Suppose -5*a - p = 262, -3*a - 4*p = p + 144. Is a at least -52?
False
Let q(x) = x + 7. Let z be 2*(-1)/2*5. Let d be q(z). Suppose -w = -d*w. Which is bigger: w or -1/5?
w
Suppose 3*k = -2*k + 5. Suppose -m + k = -4. Suppose -2*s + 6 = -m*c, -c + 5*s - 15 = -0*c. Is 1 greater than or equal to c?
True
Suppose -q + 19 = -5*u, u - 5*u - 21 = 5*q. Let j = 157 - 787/5. Which is smaller: q or j?
q
Let m be 1*(-5 + (2 - 0)). Suppose 0 = -0*x + 2*x - 8. Let d = x + m. Which is greater: 3 or d?
3
Let i(l) = -l**2 + 8*l + 1. Let s be i(6). Is 2 at least s?
False
Let d be 14*(-1)/2 + -1. Let q = d - -15. Is q != 6?
True
Let v(m) = m + 1. Let i(r) = r**2 - 6*r - 8. Let c be i(7). Let t be v(c). Suppose t = 5*u - u. Which is smaller: u or -1?
-1
Let v be (6/(-5))/((-9)/30). Let m be (v/(-6))/((-6)/(-9)). Let p = m - -2. Is 1/5 bigger than p?
False
Suppose c - 3 = 2*c. Let o(r) = 4*r + 7. Let t be o(c). Is -5 equal to t?
True
Let l = -1 - 1. Suppose -4 = -p + 5*p. Let k = p - l. Which is bigger: k or 1/2?
k
Let z be (-247)/7 + 2 - (-4)/14. Which is smaller: z or -32?
z
Let c = 4 + -6. Which is bigger: c or -1?
-1
Let z(x) = 3*x**2 - x. Suppose 4*k - 4 + 0 = 0. Let w be z(k). Is 1 <= w?
True
Let m(j) = 2*j + 18. Let i be m(-9). Which is smaller: i or -1/2?
-1/2
Suppose 6*j = 7*j - 4. Suppose j*v - v = 6. Suppose 8 = 2*o + v*o. Are o and -2 non-equal?
True
Let x = -3 - -18. Let i = x + -14. Let s = 1 - 1. Which is smaller: i or s?
s
Suppose 4*b - b - 6 = 0. Suppose f + 2 = -0, b*f = 4*p - 4. Suppose -u = -6*u - 25, -y + 25 = -5*u. Do y and p have the same value?
True
Let o = -0.6 - -1. Let h = 2.6 - 2.71. Let a = h + 0.01. Which is smaller: a or o?
a
Let p be ((-24)/(-20))/3*30. Is 11 at most p?
True
Let f = 0.03 + -0.13. Let c = 72 + -72.2. Is f greater than c?
True
Suppose k = -9 + 1. Let q(o) = o + 5. Let m be q(k). Is m < -1?
True
Suppose -10 = -5*t + 3*t. Suppose -2*a = 3*y - 3*a - 9, 12 = 4*y - t*a. Let o be y/9 - (-6)/9. Is o smaller than -1/10?
False
Let z(a) = a**2 - a - 2. Let h be z(2). Suppose 3*k - 10 = -1. Suppose -k*n = -h*n. Do 3/4 and n have the same value?
False
Let k be (-34)/9 + (-4)/18. Is -8 <= k?
True
Let k be -2*1*(-3)/(-6). Suppose 0*l = -3*l. Are l and k equal?
False
Let m = 0.09 + 8.31. Let h = -1.6 - m. Let t = 7 + h. Which is greater: -0.1 or t?
-0.1
Let r = -24 + 26. Let z be ((-5)/(-5))/(r + -1). Let d be (4/18)/((-6)/(-9)). Is d >= z?
False
Let g be (35/15 + -2)*(-6)/(-9). Does g = 1?
False
Let z(q) = -8*q**3 - q**2 + 2*q - 1. Let p be z(1). Let d = p - -7. Which is bigger: 2/5 or d?
2/5
Let y = -3 - -1.6. Let c = -1.3 - y. Is 0.05 greater than c?
False
Let f = -59 - -175/3. Which is smaller: -2 or f?
-2
Let w(m) = m**3 - 5*m**2 - m + 5. Let s be w(5). Let g be (70/(-9))/((-2)/3). Let a = g + -181/15. Which is greater: a or s?
s
Suppose 10 = 3*h - 2. Let r be (5 + -7)*18/h. Is -9 < r?
False
Suppose s = -y - 0*s, 0 = -4*s - 20. Suppose 5*t = 3*t + 5*p + 7, 2 = 2*p. Which is bigger: t or y?
t
Suppose -3*x - 2 - 5 = 2*j, 0 = -4*j - 5*x - 11. Let w be j/(-12) - (-9)/(-36). Are 1 and w unequal?
True
Let c be (-1)/((-3)/6) - -1. Suppose -c*q = -4*q - 24. Let a be (15/q)/((-2)/4). Does 0 = a?
False
Let v(g) = -g**3 - 7*g**2 - 5*g + 5. Let f be v(-6). Let u = 486/65 - 37/5. Is f bigger than u?
False
Let u be 4/(-5)*5/(-1). Let h = -41 - -42. Which is greater: h or u?
u
Suppose 3*r + 0 - 17 = 4*o, 5*r = 4*o + 15. Which is smaller: 0 or r?
r
Let o be (1/(-2))/((-27)/(-12)). Let u(m) be the second derivative of -m**3/6 + m**2 + 2*m. Let g be u(3). Is o greater than or equal to g?
True
Let s = 143 - 727/5. Let k be 2/10 - 201/(-105). Let r = k + s. Are r and 4 unequal?
True
Suppose -3*s = 5*o - 3, 5*o + 5 = -0*s - 5*s. Let y be 0 - 2 - (-8 - -4). Which is bigger: y or o?
o
Let u be ((4 - 0) + -4)/2. Which is smaller: u or 2/53?
u
Suppose -3*n = -4*n. Which is smaller: n or 44?
n
Let l = 0.7 - 5.7. Is l >= 1/3?
False
Let r(j) = -4 + 0*j + 10*j**2 - 4*j + 4*j - j**3. Let w be r(10). Do w and -5 have different values?
True
Suppose -2*o + 21 = g, 95 - 20 = 4*g - o. Suppose 0 = 2*c - 5*q - 5, 5*c + q + g = 3*q. Let d(a) = -a - 5. Let n be d(c). Which is smaller: -1 or n?
-1
Let j = -0.079 - 0.041. Is j < 3?
True
Let w(x) = -x**2 + 10*x - 5. Let a be w(9). Which is bigger: 3 or a?
a
Let b = -24 - -20. Let t = -2 - -1. Which is smaller: t or b?
b
Suppose -25*w + 24*w = 2. Is w <= -3/2?
True
Let c = 265.98 + -263. Let k = 0.12 + c. Let q = k + -0.1. Does -2/5 = q?
False
Let j = -8288/9 - -922. Does j = 0?
False
Let h be (-1)/(-2)*(-4)/51. Is h at least 1?
False
Let y = 8/15 - 31/30. Which is smaller: -2/9 or y?
y
Let a(t) = -2*t**2 + t. Let z be a(2). Let w = z + 5. Let v = 0.2 + -0.2. Is v at most as big as w?
False
Let p(j) = 2*j + 2. Let h be p(-2). Let s be (h - -1)/(5/10). Let i be -3 - (-6)/(s + -1). Is i >= -5?
True
Suppose 2*d - d = -2*p + 5, 2*d - 4*p = -14. Let i = 3 + d. Is 1 bigger than i?
False
Let d = 0.3 - 0.3. Let t = d + 0.1. Let v = t - 0.1. Is v not equal to 2?
True
Suppose 1 = -h - 5. Let u = h - -7. Suppose -5*n + 7 = p, 3*n - n - 4*p + 6 = 0. Does u = n?
True
Let b(f) = f**3 + 4*f**2 + 4*f + 5. Let m be b(-4). Which is smaller: 4 or m?
m
Let b be 2 - (0/(-3) + 8). Let o = 10 + b. Suppose -o + 0 = 4*d. Which is greater: d or -8/5?
d
Let y be (-8)/(-10)*(-3)/30. Is y <= 1?
True
Let o = 2/13 + 5/52. Suppose 0 + 8 = -2*b. Let z = b + 3. Is o less than or equal to z?
False
Suppose -2*z + 16 = 4*o, z + 0*z - 15 = 5*o. Let l(a) = a**3 - 10*a**2 - a + 11. Let t be l(z). Let p be 1 + -1 + (-1)/(-1). Is p >= t?
True
Let q = -22.15 - -26.178. Let y = -0.072 - q. Let w = 4 + y. Which is bigger: w or -1/5?
w
Let d = 40.2 - 57. Let l = d - -15. Let g = l - -2. Is g greater than or equal to 2?
False
Let i = -169/133 + -3/19. Which is bigger: 0 or i?
0
Suppose -2*o + 5*q - 19 + 0 = 0, 3*q = 4*o + 3. Is o bigger than 1?
True
Suppose 4*k = 3*a - 21, k + 27 = 3*a - k. Suppose a = -4*t - 5. Let r be (8/(-6))/(2 + t). Which is smaller: -2/5 or r?
-2/5
Let l = -58 - -64. Are 12 and l unequal?
True
Let h be (-2 - -3)*(2 + -5). Let g = h + 4. Is g greater than 2/5?
True
Let q = 4 + -6. Let b(l) = l**3 + 4*l**2 + 3*l. Let p be b(q). Which is smaller: p or -2/9?
-2/9
Let i = -3 + 5. Suppose i = 4*w - 10. Let g = w + -3. Which is greater: 2 or g?
2
Let d(n) = -2*n**3 + 7*n**2 + n - 10. Let y be d(-8). Let q be y/40 + (-8)/(-20). Let z = -37 + q. Is 0 greater than z?
True
Let y(j) = -2*j**2 + 4*j - 3. Let d be y(3). Are d and -9 equal?
True
Suppose -q + 0 + 2 = 0. Let i = 11 - 13. Let b be ((-5)/i - 2)*q. Is -1/4 at least as big as b?
False
Let j be 2 - ((-608)/(-100) - 4). Is j < 1?
True
Suppose s + 7 = 3*s - 5*v, v - 9 = 3*s. Let t(x) = -x**3 - 4*x**2 - x - 2. Let w be t(s). Suppose -j = -4*j + 9. Which is bigger: w or j?
j
Let y = 274/111 - 5/37. Let r be -21*-3*4/18. Let u = r + -11. Which is smaller: u or y?
y
Let m = 1 + -31. Do -28 and m have the same value?
False
Let g(r) = r. Let s be g(2). Let y be 6 + -1 - (-2 + 4). Which is greater: y or s?
y
Let n = -11/8 + -1/8. Let p be 0 + (-2 - (-3 + 2)). Is n <= p?
True
Suppose -3*q + 2*q - 2 = -2*g, 0 = -5*g - 10. Which is smaller: -7 or q?
-7
Let u = -220/3 - -366/5. Does u = 1?
False
Let t = -0.124 + -0.876. Are t and 3/5 unequal?
True
Let k(m) = -m**2 - 7*m + 2. Let j be k(-7). Let p be j/(-3) - (-10)/24. Let n(z) = z**3 + 2*z**2. Let v be n(-2). Is p less than or equal to v?
True
Let k = 1.9 + -4.9. Which is smaller: -6 or k?
-6
Let b = 2/83 - -3067/166. Let d(g) = -10*g + 1. Let n be d(2). Let a = n + b. Which is greater: a or -2?
a
Let z = -71 - -126. Is z at most as big as 55?
True
Let o(a) = a**2 + 12*a + 9. Let x be o(-11). Let t = -1 + -2. Let j = t - -1. Is x greater than or equal to j?
True
Suppose -s - 2*u = 3*s, 6 = -3*u. Let y = -4 - 4. Let m = y + 8. Which is bigger: s or m?
s
Let l = 12/7 + -50/21. Is -0.1 less than l?
False
Let v = -2 + 1.8. Let f = -0.4 + 0.2. Let z = v - f. Is 1 equal to z?
False
Let u = 12.1 + -0.1. Let v = 15 - u. Which is smaller: -0.2 or v?
-0.2
Suppose 5*b + 3 = 3*s, 2*s + 3*s 