se -49*h + 54*h = -90. Is h < 1?
True
Let m be 0*(-2 - (-15)/6). Suppose m = -3*a + 5*a + 6. Let s be (-6)/a + 22/(-10). Which is bigger: -1 or s?
s
Let k = 18 + -16.9. Let m = k + -1. Suppose 0 = -5*z + 4*z + 1. Is z bigger than m?
True
Let d be -2 - (-2 - (3 - 8)). Let i = d - -4. Is -1/8 less than i?
False
Let a = -1.1 - -0.2. Let o = a - 0.1. Let y(q) = -q**2 + 13*q - 10. Let t be y(12). Which is bigger: o or t?
t
Let b(x) = -x**2 + 6*x + 8. Suppose 2*h + 3*p - 11 = 0, 3*p + 23 = 3*h + p. Let v be b(h). Which is smaller: v or -2/13?
-2/13
Let d(f) = -2*f + 3. Let t be d(2). Let g = 179/714 + -13/42. Is t >= g?
False
Let y = -13/4 - -7/4. Let n be (0 + 2)*(-11)/11. Which is smaller: n or y?
n
Let f = 277/1342 - 3/122. Let y be (-2)/5 - (-2)/5. Suppose 3*k - 2*k = y. Which is smaller: k or f?
k
Suppose 4*c - 3*m - 13 = 5*c, m + 4 = 0. Let a = -113 + 789/7. Which is greater: a or c?
a
Let s = -3 + 2. Is 1 != s?
True
Let k be (-3 - -3)/(-3 - -2). Suppose -3*i + 6*i - 15 = k. Is i at least 5?
True
Let o(b) = 10*b - 40. Let f be o(4). Which is greater: f or 24/17?
24/17
Let p be (-268 - 0)*(-4)/(-8). Let x = p + 6028/45. Which is greater: x or 0?
0
Suppose -2 = -4*o + 2*d, 2*d = -3*o + 8*o - 2. Let l be (-400)/(-1890) - (-4)/(-14). Is l at least o?
False
Let d be ((-10)/6)/(-1 + (-28)/(-24)). Which is greater: 2 or d?
2
Let q be 366/18 + 2/(-6). Suppose 3*i - q = i. Let v be ((-8)/(-20))/(2/i). Which is bigger: 0 or v?
v
Let a(j) = -2*j + 10. Let c be a(7). Let d be ((-12)/(-8))/((-2)/c). Which is greater: 1 or d?
d
Suppose 2*p - 4 = -2*p. Let z = p - 2. Let j be ((-27)/36)/(18/4). Is j > z?
True
Let f(h) = -2*h. Let x be f(0). Which is smaller: x or 3/14?
x
Let v(m) = 7*m**2 + 2*m**3 - 1 - 3*m**3 - 5*m**2. Let o be v(-1). Suppose 7 + o = 3*z. Is 4 < z?
False
Let x = -5 + 7. Let y be 28/24 + (-2)/3. Which is smaller: x or y?
y
Let n = -7 - -5. Let d = n - -1.4. Let s = 1.6 + d. Which is greater: s or -1?
s
Suppose -25 = -5*o - 5*q, 0 = o + 5*q - q - 20. Let r be (-5 - -4)*(0 + -6). Let j be 20/(-12) + (-2)/r. Which is smaller: j or o?
j
Let z = 435 + -3911/9. Is 1/3 smaller than z?
True
Let a(f) = f + 10. Let q be a(-8). Suppose s = -q*s - 12. Is -7 less than s?
True
Suppose -3*t = -5*l + 95, 3*t + 43 = 3*l + 4*t. Which is greater: l or 17?
17
Let m = -125/3 + 43. Let v = 1 - 1. Are m and v non-equal?
True
Let s(u) be the second derivative of u**4/12 + 2*u**3 + 6*u**2 + 4*u. Let f be s(-11). Is 1 less than or equal to f?
True
Suppose -z = -4*f - 113, -f - 115 = -z + f. Are z and 117 equal?
True
Let s(d) be the third derivative of -d**5/60 - d**4/8 - d**3/3 - d**2. Let i be s(-2). Let h be -3 - (0 + i + -2). Is h less than or equal to 1?
True
Let d be (-16)/(-6)*9/2. Suppose 0*c = 3*c - d. Let z = -163/2 - -84. Is z less than or equal to c?
True
Suppose 0*c - 29 = c - 5*u, c - u = -9. Which is smaller: c or -7?
-7
Let t = 0.11 - 0.31. Let w = 0 - t. Which is greater: -0.2 or w?
w
Let l = -2 + 0. Is l at most -2?
True
Let p = -38.9 - -41. Let z = -0.22 + -1.78. Let w = z + p. Are -1/4 and w non-equal?
True
Suppose -5*i - 30 = -3*r - 2*i, -i - 34 = -4*r. Let v = r - 1. Which is greater: 6 or v?
v
Let i = 5219/13 + -401. Is i smaller than 0?
False
Let r be 8 - 10 - 4/(-3). Which is bigger: -15 or r?
r
Let f = -0.1 + 0. Let n = -2.4 + 0.4. Which is smaller: n or f?
n
Let v = 1.4 - 1.2. Let m = 562/5 - 112. Which is smaller: m or v?
v
Let y be (0 - -2 - -2) + 4. Let s(n) = -n**3 + 9*n**2 - 8*n - 1. Let h be s(y). Suppose -4*i = -4*d + 8, 5*i = 3*i - 6. Is h less than d?
False
Let b = -1/2 + -1/6. Suppose 3*z = c + c - 2, -1 = -5*z - c. Is b smaller than z?
True
Let k = 29.6 - 30. Which is smaller: k or 0?
k
Suppose 4*k = -0*k. Suppose 5*h = 5*d + 90 + 225, 2*d = -3*h + 214. Let c be 2/(-8) - (-25)/h. Which is smaller: k or c?
k
Suppose 12 = -3*x + 3. Suppose -q = 3*q + 16. Which is smaller: x or q?
q
Let v be 1*15*2/(-6). Let t be (8/v)/((-10)/25). Suppose -4*f - 3*y + 0*y - 11 = 0, -4*y = t. Does -2 = f?
True
Let z be 4*(94/(-8) - 2). Let h = 677513/12171 + 2/4057. Let d = h + z. Is d bigger than 1?
False
Suppose 0 = 2*v + v - 60. Let w be (-6)/(-3) + v/(-9). Are w and 1 non-equal?
True
Let m be (5 - 1) + (-12)/5. Is 2 >= m?
True
Let u(o) = 3*o - 1. Let r be u(1). Suppose -36 = t + t. Let f be (t/(-60))/(3/(-4)). Are r and f unequal?
True
Let i be (-27)/(-9)*(-2)/10. Suppose -4*g + 4*v = 20, g + 2*v - 7 = -0*v. Are g and i equal?
False
Let t = 1 - 2. Let h be 1/(9/6 + t). Is h >= 0?
True
Let c = 604 - 407. Let i = 989/5 - c. Do i and 0 have the same value?
False
Suppose -4*z + 12 = 4*x - 2*x, 0 = 4*x + 8. Suppose 6*j - 14 = j + 2*m, -8 = z*m. Suppose -w + j*f - 6 = -3*f, 0 = 5*w + 3*f + 2. Is w >= -1?
True
Let g = -3 - -3. Let u = -1.3 + 1.4. Let n = u + g. Is n not equal to -1/5?
True
Suppose -3*l + 4*u = -8*l - 28, -4*u - 8 = 0. Is l at least as big as -4?
True
Suppose -4*d = 18 + 18. Let a = 9 + d. Let u(f) = f - 1. Let m be u(-1). Which is smaller: m or a?
m
Suppose -1 + 6 = -5*c. Let q be -1*((-10)/1)/(-2). Let m(r) = r + 5. Let t be m(q). Are t and c equal?
False
Suppose -4*u = f + 1 - 0, 0 = 4*f + u + 4. Let y = 7 + f. Suppose 0 = 4*i - 7*i - y. Which is bigger: 1/2 or i?
1/2
Let z(k) = -5*k + 5. Let g be z(-4). Which is smaller: 24 or g?
24
Let s be -2*1 + (-48)/(-21). Suppose 15 = -w - 2*w. Let o(n) = 2*n + 8. Let f be o(w). Which is bigger: f or s?
s
Let c = 0.03 - 0.13. Let q = -2.1 - c. Which is smaller: q or 0.08?
q
Suppose -b = 20 - 0. Which is greater: -19 or b?
-19
Let v = 143.93 + -146. Let b = 0.07 + v. Which is smaller: 0 or b?
b
Let n = 44 + -46. Which is bigger: -0.04 or n?
-0.04
Let p be (10/6)/(2/3). Suppose -2 = -m - r, -3*m + 11 + 2 = -4*r. Suppose 2*x = -5*n + 2, -m*n + 2*x = n - 16. Which is greater: p or n?
p
Let t(d) = -2*d - 5. Let z be t(-8). Suppose -4*q + 2*f = -10, -z = 3*q - 5*q - f. Let b be (-2)/q*2/(-1). Do 1 and b have the same value?
True
Suppose 4 = 3*k - 2, 3*k = 3*b - 6. Which is bigger: b or -1?
b
Let f = -0.5 - 1.5. Which is smaller: f or -17?
-17
Suppose -5 = j, 3*x - 4*j = 6*x + 17. Which is bigger: x or 3?
3
Let s = -5 - -4.94. Let m = -2.04 - -2. Let i = s - m. Which is smaller: i or 0?
i
Let f = 0 + -4. Which is smaller: -0.1 or f?
f
Suppose -f = -4*f + 2*x + 10, 4*f + 2*x - 18 = 0. Let d be 8*2/8*f. Which is smaller: 7 or d?
7
Suppose -11 - 7 = -3*y - 3*c, -6 = -5*y + 3*c. Suppose -b + 0*l - y = l, 0 = 3*b + l + 9. Are -2 and b equal?
False
Let t be (-75)/(-20) - 2/(-8). Suppose 4*o + 4 = -t*i, -3*i - 3 = -8*i + 3*o. Let x be 10/(-5) - 36/(-22). Is i at least as big as x?
True
Let v be (-2)/(-4 - (-9)/(-3)). Let d(p) = p - 6. Let g be d(6). Which is greater: g or v?
v
Suppose f - 2*o = 0, 5*o + 5 = 5*f - 0*o. Let q be 1/(-2)*f*2. Let t(x) = 2*x + 3. Let g be t(q). Which is bigger: -2 or g?
g
Let b be (-33)/18 + 2/(-12). Let h be 6/(-3)*-1 - b. Suppose 2*d - h*o + 2 = d, 4*d = o + 7. Which is greater: d or 3/5?
d
Let x = -1.4 + 0.7. Let l = -0.7 - x. Let u = 2.2 + -2. Is u less than l?
False
Suppose 14 = 3*k - 2*h, -2*k + h + 21 = 3*k. Suppose -3*b = 2*g - 0*b + 3, 4 = -2*g - k*b. Which is smaller: -2/3 or g?
-2/3
Let d be (-1 + 1)/(3/(-3)). Let f be (-6)/(-153)*(1 - -2). Which is smaller: d or f?
d
Suppose 2*j + 2*j = 0. Suppose -2*b + 6 = t, -2*t + 4*b - 2 - 18 = j. Which is smaller: t or -4?
-4
Let d be 8/(-30)*(-10)/4. Let g = 8 + -6. Suppose 10 = g*z + 3*z. Which is greater: z or d?
z
Suppose -1 = 7*p - 57. Is 12 at least as big as p?
True
Let m(y) = y**2 - 5*y. Let u be m(5). Which is greater: u or 1/28?
1/28
Let w = 111119/6 - 18584. Let a = -64 - w. Is a at least as big as 0?
True
Suppose -2*t + 95 = 3*t. Let c be (1 + 60)/(4/(20/15)). Let z = c - t. Which is smaller: 2 or z?
z
Let f = 41 + -42. Which is smaller: f or 4/23?
f
Let j(w) = -w**3 + 10*w**2 - w - 6. Let c(o) = -3*o**3 + 30*o**2 - 4*o - 19. Let x(z) = 6*c(z) - 17*j(z). Let d be x(9). Is d greater than or equal to 6?
True
Let j = 2 + -2.05. Let x = j - -0.25. Which is bigger: x or 0.1?
x
Let o(z) = z**2. Let h be o(1). Do 1 and h have different values?
False
Let m = 923/1629 - 2/181. Which is bigger: m or 2?
2
Let z = -8 - -5. Let t = 2.8 + z. Which is smaller: t or -1/4?
-1/4
Let u be (36/(-24))/(6/2). Let l = -7179157/130 - -5