greater than or equal to h?
True
Let y be (11 - 7)*147/90. Is 6 greater than y?
False
Let g = -440 - -430. Is 6 less than g?
False
Let d = 24 - 24.048. Let b = d - -1.148. Which is smaller: b or -2/5?
-2/5
Let u(l) = -l**2 + 5*l + 2. Let w be u(4). Let d be w/4 + 2/4. Suppose d*c + 5 = -3*c. Is 6 < c?
False
Let a be 5 - 649/65 - -5. Are -1 and a equal?
False
Suppose -5*o + 33 = 43. Is 0.071 >= o?
True
Let l = 8.3 - 76.1. Let b = 68 + l. Which is greater: 0.4 or b?
0.4
Let v be -1 - (0 - -18) - -2. Let i = 20 + -20. Suppose 1 - 6 = 5*b, i = -3*q - b - 55. Which is greater: q or v?
v
Suppose 18*a + 1483 = -461. Is -108 at most as big as a?
True
Suppose -v - 8 = 3*z, -47*v = 5*z - 48*v + 24. Which is smaller: z or -36/7?
-36/7
Let d(z) = -z**2 + 2*z - 283. Let c be d(0). Let h be c/84 - 4/(-16). Let g = -16/7 - h. Is g bigger than 0?
True
Let w(j) = j**2 + 6*j + 2. Let r be w(-6). Let t be ((-72)/28)/(15/(-70)). Let l be ((-1)/(-5))/(1/t). Which is smaller: r or l?
r
Let q = -969 - -995. Let l = -0.045 + 28.045. Let w = q - l. Which is bigger: w or 0.02?
0.02
Let m = 285.3 + -284.3. Let a(n) = n**3 + n**2 - 4*n + 4. Let v be a(-4). Is v < m?
True
Let f = 148 - 86. Let m = f + -61. Which is greater: m or -2/5?
m
Let m = -7/142 - -181/71. Suppose 2*i = -s + 10, -7*i + 2*i + 18 = -s. Is i <= m?
False
Let p = -2293/4 - -568. Which is smaller: -4 or p?
p
Let u be ((-2)/(-5))/(1/30). Suppose 110*o - 55 = 105*o. Is o not equal to u?
True
Let w = 90 - 85. Is 15/4 at most as big as w?
True
Suppose -9*x + 13*x - 11 = -3*f, 0 = -5*f - 4*x + 13. Which is smaller: f or -5/14?
-5/14
Suppose 3*x + 2*s + 441 = 0, -29*s = -7*x - 28*s - 1012. Is x greater than or equal to -142?
False
Let i = 316 - 316. Is i greater than -4?
True
Let i = 0.3 + -0.38. Let u = -54.95 + -1.85. Let c = u + 57. Which is smaller: i or c?
i
Let y(n) = -4*n + 8. Let u(d) = -d**2 + 10*d - 3. Let j be u(9). Let k be y(j). Let f = k + 15. Is f greater than or equal to 5/2?
False
Suppose 5*w = -4*f + 339, -w + 0*w = -f - 66. Let b = -65 + w. Is b smaller than 2?
False
Let n be (-1)/9 - 361/(-9). Let s be (6/5)/(12/n). Let f be (-12)/8*s/(-21). Which is smaller: -1 or f?
-1
Let q(x) = x**3 - 5*x**2 + 6*x + 2. Let n be q(5). Let h be ((-2)/4)/((-4)/n). Suppose 3 = w - 2, -h*a - 4*w + 44 = 0. Is 7 >= a?
True
Let b = -69/34 + 1729/697. Let r = -2/41 - b. Which is bigger: r or -7?
r
Let i = -5.93321 - 0.01279. Let z = i - 0.054. Let t = 16 - 82/5. Which is smaller: z or t?
z
Suppose -2*y = -2*t - 22 + 16, 0 = t + 4. Let w(c) = c**3 - 6*c**2 + c - 7. Let s be w(6). Is s < y?
False
Let x = -27 + 24.9. Let d = -274 - -281.1. Let z = d + x. Which is smaller: 0 or z?
0
Let x = 71.03 - 0.03. Let m = -74.3 + x. Let l = m - -3. Is l greater than -0.1?
False
Let p = -288.3 + 288. Which is bigger: 3 or p?
3
Suppose -u + 44 - 19 = 0. Suppose -14*s + 19*s + u = 0. Is -5 > s?
False
Let u(l) = 2*l**2 - 11*l - 9. Let n be u(-8). Let p = n + -399/2. Is p at most as big as 7?
False
Let i = 620 + -630. Which is bigger: i or 103?
103
Let h be ((-1)/(2/83))/(8/(-16)). Is 82 < h?
True
Suppose 26 = 4*h - 5*n + 5, -h + 2*n = -6. Suppose 3*c - 8 = 4*p - 31, 0 = -5*p + c + 37. Which is greater: h or p?
p
Suppose -190 + 37 = -3*v + 5*p, 5*v - 2*p = 255. Which is smaller: -7 or v?
-7
Let t = 1 + -1. Let l = -30852/25 - -1234. Is l < t?
True
Let v be (-3)/(6/(-20) + 0). Suppose -3*n - 2 = v, -b + 2*n + 7 = 0. Let l = 245/8 + -1795/56. Is b != l?
True
Let p = -10 + 8. Let h be (0 + 15)/(p + 1). Let j be (32/(-3))/(28/42). Is h != j?
True
Let r(a) = -3*a + 15. Let h be r(7). Let c be (-12)/8*(-40)/h. Is c less than -11?
False
Suppose -6*o + 3*s = -9*o + 6, -4*s = o + 1. Suppose -26 = o*y + 10*y. Is y > -1?
False
Let y be 1 - 3/(11400/4324). Let o = 1/50 - y. Suppose -2*b - 17 = -5*i, -6 = -4*b - 5*i + 5. Are o and b non-equal?
True
Let n = 9/278 - 4391/49762. Is 1 less than or equal to n?
False
Let k(n) = n**2 - n - 9. Let i(x) = x + 1. Let u(h) = 5*i(h) + k(h). Let q be u(-5). Is q greater than -3/13?
True
Suppose 5*c = 2*c - 3. Let b = 168841 + -51665423/306. Let q = 2/9 + b. Is q bigger than c?
True
Let m be 15*(-8)/(-162)*-3 + 2. Let d = -62 + 62. Which is greater: d or m?
d
Let y be (1/3)/((-57)/(-855)). Is 33/8 greater than y?
False
Let d = 8 + -8.08. Let f = d + 0.03. Is f < -4?
False
Let d be 9 - 6/(-24)*4. Which is smaller: 57/5 or d?
d
Suppose -12 = 5*o + 13. Let v(a) = a + 4. Let l be v(o). Which is smaller: l or 1/11?
l
Suppose -2*y - 50 = -j, -y - 4*j - 50 = y. Let z = y - -14. Suppose 4*q - p = -41, p + 20 + 2 = -3*q. Are z and q equal?
False
Let q = -8.54 + 8.61. Which is smaller: 26/3 or q?
q
Let k(v) = -5*v - 108. Let f be k(-18). Is -18 greater than f?
False
Let v(u) = -3*u**2 + 32*u - 92. Let n be v(3). Which is smaller: n or 5/9?
n
Let z = 373 + -372.9. Let f = -54 + 32. Which is smaller: z or f?
f
Let u be (3 - 1368/464)*(1 + -2). Let m be (-7)/5 - (-4)/10. Is u smaller than m?
False
Let r = -365 + 587. Is 224 not equal to r?
True
Let l(p) = -p**3 + 2*p**2 + p + 7. Let z be l(0). Suppose 5*x - z = -2. Which is bigger: x or -1/68?
x
Let a be (12/(-28))/(216/(-126)). Let m(p) = 19*p**3 - 2*p**2 - p. Let t = -3 - -2. Let d be m(t). Which is smaller: a or d?
d
Let k = -579/10421 - 2/613. Which is greater: 10 or k?
10
Let l = -664 + 27226/41. Is l >= -1?
True
Let j = 63 + -57. Suppose c - 9 = 3*u + 17, -3*u - 3*c = j. Is u bigger than -6?
False
Let y(t) = -t**2 - t + 1. Let c be y(2). Is -4 > c?
True
Let j be ((-3)/2*-1)/(-87). Let u = 1513 - 1512. Which is greater: u or j?
u
Let q = -862 + 659. Which is smaller: 0 or q?
q
Let y = 1/1483 - 54881/14830. Which is smaller: y or -5?
-5
Let k(x) = -x**2 - 8*x + 4. Let g be k(-9). Let c(z) = -4*z + 4. Let t be c(1). Which is bigger: t or g?
t
Let u(n) = -n**2 - 23*n + 59. Let k be u(-25). Is -5 equal to k?
False
Let r = 132 - 86. Which is smaller: r or 47?
r
Suppose 3*t = u - 1277, -2*t = -5*t + 5*u - 1261. Let y = 13235/31 + t. Is -1 bigger than y?
False
Let i = -25 + 31. Suppose -21 = -u - i. Is 16 > u?
True
Let g = 223 - 1112/5. Which is smaller: -79 or g?
-79
Suppose -2*i - 20 = -i + 5*u, -5*u - 10 = 3*i. Suppose 0 = w + 3*x - i*x - 10, 3*w + 25 = -5*x. Is 3/68 greater than w?
True
Suppose -12*a - 2217 + 705 = 0. Which is bigger: a or -125?
-125
Suppose -3*o + 2*o = 3, 3*v = -o - 276. Let k = 90 + v. Which is smaller: k or -1/6?
k
Suppose 5*r - 169 = -3*n, -2*r - 39 = -5*n - 119. Let w be (-1)/(-7) - ((-10)/r)/(-2). Let o be (-30)/154 + 2/7. Are w and o nonequal?
True
Let u = 33/49 - 47/49. Is 1698 at most u?
False
Let o(v) = 13*v**2 + 4*v - 8. Let k be o(2). Suppose -r = -k - 14. Is 66 at most r?
True
Let h be 8/(-170)*(4 - -1). Let b be ((-11)/(-935))/((-8)/(-20)*-2). Let a = h + b. Is a smaller than -1?
False
Let q = -34 - -33.6. Let k(d) be the first derivative of -d**2/2 - 9*d + 1. Let j be k(-7). Is q at most j?
False
Let o(q) = 4*q + 2. Let x be o(-2). Let a be (-2)/1 + 7 + x. Which is greater: -4/5 or a?
-4/5
Suppose -5*k = 20, -g + 3*g - 56 = 4*k. Let t = 21 - g. Is t at least as big as 4/31?
True
Suppose 3*z - 4*z + 6 = 0. Let d = 5 - z. Is d at most as big as 3?
True
Let l = 2.9 + -2.95. Let r = 2.9 + -3. Let p = r - -0.1. Is p bigger than l?
True
Suppose -2*s + 5 = -1. Suppose s*k = 5*i + 106, 0*k = -5*k + 10. Let a be (-16)/i*10/4. Does a = 2?
True
Suppose -6*v - 6 = -12. Suppose 0 = -15*s + 14*s - v. Which is smaller: s or 2/141?
s
Let r = 14.86 + -12.86. Which is smaller: 37/2 or r?
r
Suppose 2*m - 2*d - 10 = 3*m, -4*d = -3*m. Is m less than -13/4?
True
Suppose -11*k = 2*k + 13. Is k less than -9/14?
True
Suppose -5*t - 60 = -2*v, -18*t + 65 = -23*t + 3*v. Is 13 less than or equal to t?
False
Let j = 16 + -9. Suppose 3 + j = -5*u. Is u bigger than -3/5?
False
Let k(t) = -2*t**2 - 57*t + 18. Let z be k(-29). Which is smaller: -12 or z?
-12
Suppose -7*y + 10*y = 0. Is -1/10 less than y?
True
Suppose -4*i + 4 + 14 = f, -90 = -5*f - 3*i. Suppose 11*h = 2*h - 54. Let j be 53/3 + -2*(-2)/h. Which is bigger: f or j?
f
Let f = -0.9 + -0.1. Let v = -1.628 - 0.022. Let h = v - -1.7. Which is smaller: f or h?
f
Let h be (-1)/3 - (-4)/3. Let b = 310 + -30692/99. Is b <= h?
True
Let t be 7/2*(-6)/1. Let k = -18 - t. Let i be (5/9)/(1/k). Is 2 at least i?
Tr