7. Is -10 <= h?
True
Let l be (-7)/2 + (-3)/(-6). Suppose -4*o + 0*o + 3*d = -34, 4*d - 58 = -5*o. Let i be (-20)/(-6) + (-40)/o. Are l and i non-equal?
True
Let o be (-2)/4*(-34)/(-3). Let f = -19160 - -19155. Is o at most f?
True
Let q = 354 + -404. Is q < -148/3?
True
Let w(r) = r**3 + 5*r**2 - 6*r. Let z be w(-6). Suppose z = -2*b - 3*b - 30. Let g be (-4)/(-2)*(b - -4). Are g and -4 non-equal?
False
Let p(w) = -w**2 - 12*w - 38. Let d be p(-7). Is -94/23 at least d?
False
Let v = -30 - -8. Let u = 14 - v. Is u < 36?
False
Suppose 5*c - 10 = 10. Suppose i = 1 - 2, -c*t - 3 = 3*i. Which is smaller: -5/18 or t?
-5/18
Suppose -93 = 2*w + w + 3*c, 2*c = -w - 36. Let g be 1 + w/22 + (-18963)/(-539). Is g greater than or equal to 34?
True
Let w = 10 + -14. Let b = -12 - w. Let c be (-2)/(-2) - b*1. Which is bigger: c or 10?
10
Let f(x) = -x - 4. Let d be f(7). Which is bigger: d or 39?
39
Let k(w) = 2*w**2 + 30*w - 9. Let h be k(-10). Which is smaller: h or 0?
h
Let c be (-562 + -7)/(-3 - -2). Is 569 at least as big as c?
True
Let w = -0.24 - 62.76. Let o = w - -65. Which is smaller: o or 22?
o
Let r be (1 + 3)*(1396/232 - 6). Let l(a) = -2*a**2 - a - 1. Let v be l(-1). Let g be (2/6)/(v/6). Is g at least as big as r?
False
Let y(h) = -48*h**2 - 11*h - 2. Let n be y(-2). Is -171 less than n?
False
Let k = 44519/18 + -2476. Which is smaller: -3 or k?
-3
Let j(m) = m + 8. Let p be j(-8). Let n be ((-2)/362)/((-4)/(-8)). Is p greater than n?
True
Let s(a) = 2*a**3 + 2*a**2 + a - 1. Let h be s(-1). Which is smaller: 0 or h?
h
Suppose 10*b = 15*b - 35. Which is smaller: 16 or b?
b
Let o be (10208/(-33))/((-6)/18). Is o greater than or equal to 928?
True
Let a = 25.3 - 25.3. Is 6/5 not equal to a?
True
Let r = -892 + 954. Which is bigger: 69 or r?
69
Let l = 43 - 25. Let g be 2/(-7) + l/(-35). Let b = -854 + 853. Is b >= g?
False
Let y = -2440 - -2446. Let l be 1*-2 + 3 + 1. Suppose -26 = -4*r + l. Is y > r?
False
Let r be (-2 + 16/6)*(-63)/(-71652). Is r at least as big as 1?
False
Let o = -31/13 + 61/39. Which is smaller: o or -2?
-2
Suppose 0*c + c + 2*o = -4, -4*c - 3*o - 16 = 0. Let z be 594/(-1050)*(-16)/(-30). Let p = -2/125 - z. Which is smaller: c or p?
c
Suppose -109 + 101 = 2*m + 3*p, m + 3 = -p. Is m > -17/25?
False
Suppose 0 = 3*p + p - q - 53, -q = -5*p + 66. Suppose p = 3*r + j + 3*j, j - 7 = 3*r. Let l be 38/14 + -2 - 2. Which is bigger: r or l?
r
Suppose -2 = x - 8*p + 6*p, 3*x - 2*p + 2 = 0. Is -1/106 bigger than x?
False
Let h = 1.418 + 0.032. Let d = 1.75 - h. Which is greater: 2/17 or d?
d
Let r(n) = -16*n**2 - 5*n + 3. Let w be r(5). Let a = w + 5911/14. Suppose -m - 2 = -1. Which is bigger: a or m?
a
Let c be 38/(-36) + 3/3. Let y = 31 - 26. Suppose -x - 4*w + 4 = w, -3*x = -y*w + 8. Which is bigger: x or c?
c
Let i(f) = -4*f - 221. Let k be i(-55). Which is smaller: k or -2/1351?
k
Let w = 0.4458 + -0.1208. Is -1 != w?
True
Let p be 92/(-207)*(-1 + 0)*24. Is p < 12?
True
Suppose 0*g + 5*g - 145 = 0. Which is smaller: 28 or g?
28
Let d = -0.406 - -1.406. Which is bigger: -88 or d?
d
Let j(v) = -v**3 + 26*v**2 - 57*v - 91. Let s be j(23). Which is smaller: s or 192?
s
Let i = -0.09 - -0.46. Let p = -0.04 + i. Are -1 and p unequal?
True
Let f = 0.055 - 228.055. Which is greater: 0 or f?
0
Let v(t) = 2*t**2 - 5*t - 6. Let a be v(5). Let z = a - -7. Let j = z - 24. Are 1 and j equal?
False
Let r be 15/12 + 165/(-20) - -7. Is -7/145 greater than r?
False
Suppose 3*x - 131 = -131. Let n be (-5)/(-14)*((-11 - -3) + x). Are n and -3 equal?
False
Let s = -247 + 195. Is s less than -52?
False
Suppose -3*p + 5*v = 0, -2*p - p + 3*v = 0. Suppose b = -p + 2. Suppose -3*d = -b*w - 8*d - 10, -3*d = -4*w - 20. Which is bigger: -6 or w?
w
Let c = -324 + 323.9. Which is greater: -40 or c?
c
Let w = -223 + 545. Is 322 less than w?
False
Let r = 2.06 - 2.36. Which is smaller: r or -37?
-37
Suppose -4*a = -3*a. Let w(v) = v - 13. Let f be w(a). Let x = 16 + f. Which is smaller: x or 5?
x
Let h be (140/(-40))/((-2)/(-4)). Suppose 4*j - 2*q - q + 33 = 0, q - 27 = 4*j. Let o be (-3)/j + 1/2. Which is greater: o or h?
o
Let b(k) = k + k**2 - 2*k**2 + 2*k + 1. Let o be b(2). Suppose -20 = 4*y, -y - y - 20 = -5*j. Are o and j equal?
False
Suppose 2*f + 4*u - 52 = 100, f + u - 76 = 0. Which is smaller: f or 299/4?
299/4
Suppose -2*j - 27 = j. Let i(b) = -3*b - 13. Let w be i(j). Suppose 3*g + w = -4*p + 32, -g = 2*p - 8. Is g bigger than 5/6?
True
Let v be -1*3/(-9)*-3. Which is bigger: v or -2/35?
-2/35
Let a(s) = 16*s**2 + 2*s + 1. Let u be a(-1). Suppose -2*k = k + u. Are -5 and k non-equal?
False
Let s = 1669 + -2002. Is s bigger than 1?
False
Let h be ((-351)/65)/(4/(-140)) - -2. Which is bigger: 189 or h?
h
Let c(n) = -n**3 - 4*n**2 + 5*n + 8. Let p = 48 - 54. Let i be c(p). Does i = 0?
False
Let c be (-359)/565 - 60/(-100). Let k = c - 311/791. Which is smaller: -4 or k?
-4
Let s(l) be the first derivative of -l**3 + l**2 + 3*l + 8. Let o be s(2). Suppose 0 = -d + 5*f + 13, 4*f = -4*d + 5*d - 10. Is d bigger than o?
True
Suppose 3*i + g = 6, -2*i + g = -4*i + 3. Suppose -i*h + p = 2, 5*h + 0*p + 10 = -5*p. Let c be h/10 - (-4)/(-10). Which is bigger: 0 or c?
0
Let l(z) = -z**2 - 42*z + 1079. Let m be l(-60). Let o = 0.5 - -0.4. Which is bigger: m or o?
o
Let u be ((-12)/8)/(6/(-2)). Which is smaller: 7/8 or u?
u
Let n = 979 + -1523. Let p be 2/(-9) - (n/(-2772))/(-1). Which is greater: 0 or p?
0
Let q be 4*(2 - (-21)/(-12)). Let w be (-13)/52 - q/(-4). Let d = -133 - -667/5. Is d <= w?
False
Let x be 2779/26390 - 5/50. Is 1 >= x?
True
Suppose 4 = -10*b + 54. Is 64/13 > b?
False
Let a = -3.6 + 3.63. Let z = -10.6 + -1.4. Let v = z + 14. Which is greater: v or a?
v
Let k = -0.11 - -1.26. Let c = k + -0.15. Let y = -0.13 + 0.22. Does y = c?
False
Let a be (-2)/(-13) - 2750/130. Let g = a - -9. Which is smaller: g or -9?
g
Suppose 3*t - 204 - 66 = 3*b, 3*b + 273 = 4*t. Which is greater: b or -265/3?
b
Suppose 3*i - 4*t + 40 = 0, -3*i - t + 95 = -8*i. Is -21 < i?
True
Let k(i) = i**3 + 7*i**2 - 17*i + 10. Let z be k(-8). Suppose -z = 5*g - 87. Which is smaller: 11/7 or g?
g
Let s be 358/(-1918)*1 + (-28)/(-196). Which is smaller: -1 or s?
-1
Let d = -3 - -8. Suppose d*g - 144 = -54. Suppose k - 2*o = 2*k - 15, 0 = -5*o - 10. Is k bigger than g?
True
Suppose 5*p - d - 23 = 0, -7*p + 11 = -2*p + 3*d. Let o be (3 + -2)*1*(-9 - -10). Suppose -8 = 4*w - 28, w = 2*i + o. Is i at least as big as p?
False
Let c(n) = -6*n**2 - n + 1. Let s be c(-5). Let v = s + 145. Let r be (-6)/(-14)*2/(-3). Is r greater than v?
False
Suppose 32 = -9*n - 1507. Which is bigger: -168 or n?
-168
Suppose 5*b = 39 - 34. Are -11/50 and b equal?
False
Let x(c) = 2*c - 12. Let u be x(7). Let s be (-3)/u*(70/(-3))/1. Which is greater: s or 36?
36
Let t = 422 + -421.94. Which is bigger: 5/14 or t?
5/14
Suppose -18 = -2*f - 4*d, f + 5*d = -13 + 31. Let m be (5 - (-1 + f))*1. Let n be 2/3 + 1/m. Is -2/37 at least n?
False
Suppose 4*s + 5*y - 7*y + 480 = 0, -2*s = -4*y + 252. Which is bigger: -0.4 or s?
-0.4
Let r = -10012/5 + 110552/55. Is r at most 9?
True
Let t be (-16)/12 - (6 - (-88)/(-12)). Is 1/285 > t?
True
Let y(m) = 51*m**3 + 3*m**2 + 2*m - 2. Let j be y(1). Is 57 less than j?
False
Let h = -74/191671 - 64286123/1788098759. Let f = h - 25867511/2360237. Let z = f - -120/11. Which is smaller: -1 or z?
-1
Let j(b) = b - 3. Let p be j(-12). Let q = 19 + p. Let c(w) = 2*w - 1. Let i be c(2). Which is smaller: q or i?
i
Let i = 16 - 76. Let d = i - -41. Which is smaller: 1 or d?
d
Suppose 7*y - 6 = 8*y. Let x be 10/y + 8/6. Suppose 5*j - 2*v = 0, 4*v = 2*j + 3*v. Which is greater: x or j?
j
Let f(g) = -5*g - 6. Let s be f(-1). Which is greater: -15/74 or s?
-15/74
Let s = -109 + 107. Let z(w) = w + 3. Let m be z(s). Is 6/11 < m?
True
Let o(t) = t**3 + 2*t**2 - 5*t - 2. Let r be o(-3). Suppose r*j - 14 = -2*p, 2*p = 2*j - 4*j + 10. Let g = -361 - -363. Is j not equal to g?
False
Let f = -0.29 - -1.47. Let z = 1 - f. Let s = 0.05 + z. Does -1 = s?
False
Let k = 1.6 + -1.53. Let l = -0.15 + k. Let b = 5.08 + l. Which is smaller: b or -0.1?
-0.1
Suppose -5278 = -15*g + g. Are 377 and g non-equal?
False
Let y = -8276 - -58106/7. Let u be (-10)/(-65) + (-38238)/1638. Let o = u + y. Is o