8. Is h <= r?
True
Let l = 11.1 + 43.9. Let g = 52 - l. Is -4 at most g?
True
Suppose 4*m + 516 = -5*h + 3*m, h = -3*m - 92. Is -102 bigger than h?
True
Let r be ((-24)/88)/(3/(-2)). Suppose -2*o = -6, 4*f + 2*o = 7 + 7. Suppose -t + 2*q + 2 = 9, -f*q = 3*t - 3. Does t = r?
False
Suppose 0 = 3*f - 2*j, -7 = -4*j + 5. Suppose 8 = -f*z + 4*d, d = -z + 4 - 2. Which is smaller: 1/63 or z?
z
Suppose 0 = -13*v + 10*v + 33. Suppose -15*y + v*y = -4. Which is smaller: y or 2/13?
2/13
Suppose -3*w + 16 = -7*w. Let r = w + 10. Let q be (-42)/9*(-6)/8*2. Which is smaller: q or r?
r
Let j(d) = -3*d + 4. Let h be j(-2). Suppose h = -w - 4*w. Which is smaller: -3 or w?
-3
Let h = -300 - -298.3. Is 11 at most as big as h?
False
Let z be 8/(-6) - 1*-2. Suppose -19*j = -21*j + 50. Let o = j - 24. Is o < z?
False
Let y = -2.2 - -64.2. Let w = -61.8 + y. Which is smaller: 2/3 or w?
w
Suppose -5 = 252*f - 257*f. Suppose -5*g - 2 = 3. Is f at least as big as g?
True
Let p be 54/(-12)*(-1376)/(-48). Which is smaller: -120 or p?
p
Let k be 2/(-3) - (-4)/6. Let p be 75/90*(k - 8/(-130)). Suppose 0*t - 3*t = -3. Which is greater: t or p?
t
Suppose -20*o - 7 = -16*o - 3*i, 0 = 2*o + 2*i + 14. Let f = -4 - -6. Let t be o - f/(-14)*26. Is 1.5 > t?
True
Let r = 68 + -64. Suppose 9*b = r*b. Which is bigger: 2/155 or b?
2/155
Suppose 0 = 3*q + 24 + 435. Let h = q - -1533/10. Are h and 1 equal?
False
Let z be (168/9)/((-3)/(-9)). Let x be 4 - 2/30*z. Is 0 < x?
True
Let n be 3/7*1/15*4. Suppose 4*f - f + 5*d = 18, -f + d - 2 = 0. Is n less than or equal to f?
True
Let i(r) be the first derivative of -r**2/2 - r - 2. Let z be i(-6). Suppose 4*b - 5*y + 2 = 1, -2*b - 5*y + 37 = 0. Which is greater: b or z?
b
Suppose 0 = 2*w + 4*g + 16, -5*w + g - 14 = -2*g. Let u(n) = -n**2 - 11*n - 7. Let x be u(w). Suppose 79 = 4*r + t, -r - 4*r = 4*t - 96. Is r != x?
True
Let p be (-96)/9*(-354)/(-8). Which is greater: p or -473?
p
Let l(k) = -k**2 + 7*k + 8. Let f(n) = -n + 2. Let i be f(-3). Suppose -2*a + 7*a + d - 36 = 0, -5*a - i*d = -20. Let x be l(a). Which is greater: 2/29 or x?
2/29
Let q = 24771/8 + -3102. Which is smaller: q or -7?
-7
Suppose x = -4 + 2. Let j = x - -4. Suppose -u + j = -y, -u = -2*u + 3*y - 8. Which is bigger: 6 or u?
u
Let n(w) = w**2 + 10*w + 3. Let v be n(-10). Let d be v + (-51)/21 + -1. Are 1 and d non-equal?
True
Let a(o) = -o**2 + 2*o + 11. Let y(l) = -l**2 + 14*l - 26. Let k be y(11). Let r be a(k). Is -22 at least r?
True
Let j(f) = -f**3 + 6*f**2 - 2*f - 10. Let o be j(5). Suppose 0 = y + 3*c - 8, 5*y + 15 + 5 = o*c. Is y not equal to 5/4?
True
Let i = -1.0308 + -70.9592. Let g = i - -72. Are g and 0 unequal?
True
Let z be (((-42)/30)/7 + 0)*-1. Does z = -5/7?
False
Let c = -65 + 239. Suppose -b + 2*b = -5*p - c, -4*b + 86 = -3*p. Are 1/2 and p unequal?
True
Let c = -21 - -36. Let v = -22 + c. Let k = v + 12. Which is smaller: k or 8?
k
Let u = -154 + 158. Let k be (-1)/(14/u) - (-4550)/490. Which is smaller: k or 0.1?
0.1
Suppose 0 = 3*q + 4*d - 7, -q + 4*d + 23 = 2*q. Let r be -1 + -14*q/(-50). Is -0.19 at least r?
False
Let z = -25476/271 + 94. Which is bigger: z or 0?
0
Let v(h) = -27*h + 49. Let p be v(2). Is p at most as big as 3?
True
Suppose -2*l - 2 = -3*a, 2*a + 60 = 5*l + 54. Do 18/29 and a have the same value?
False
Let f = -44911964/11 + 4897725318/1199. Let t = f + -1936. Are t and -1/3 unequal?
True
Let z(h) = -2*h**2 - 2*h + 5. Let v be z(-5). Let l = v - -34. Is l < -1/25?
True
Let s = -80 + 61. Let r = -21 - s. Which is greater: r or -9?
r
Let u be 184/(4/(-6)*(26 + -23)). Are u and -98 nonequal?
True
Suppose -377 = -18*o + 127. Is o equal to 28?
True
Let d = -376 + 380.3. Let b = 62 - 308/5. Is d greater than b?
True
Let q = -1559 - -20279/13. Is q > 0?
True
Let l be (-4)/(-10) - 195/(-75). Suppose -l*v + 0*v = -324. Let a be -3 + -1 + v/26. Which is smaller: -1 or a?
-1
Let a be 7 + (2*-1)/2. Let h = -26 - -31. Let n = h - a. Which is smaller: -2/21 or n?
n
Let u(r) = -2*r**3 + 9*r**2 + 8*r - 5. Let z be u(5). Which is greater: 4 or z?
z
Suppose -48*w + 119*w = 0. Is w smaller than 66?
True
Let n(g) = 6*g**2 + 2*g + 2. Let s = 4 - 5. Let y be n(s). Which is greater: y or -1?
y
Let p = 0.257 - -5.743. Which is smaller: -5 or p?
-5
Suppose 3*j + 4*f - 1535 = 0, 0*f = j + 5*f - 497. Is 517 less than j?
False
Let x be (-9)/18*1*-2. Let f be (5/1)/(5/10). Is x at least as big as f?
False
Suppose -1 = -3*j + 4*j. Let c be (27 + -15)/(-2*(-2)/6). Let o be ((-6)/c)/((-20)/(-18)). Which is bigger: j or o?
o
Let l(a) = a - 4. Let y(s) = 4*s - 17. Let p(d) = 9*l(d) - 2*y(d). Let h be p(1). Which is smaller: -1/25 or h?
h
Let z(v) = -v**3 + 4*v**2 + 5. Let r be z(4). Suppose -1 = r*d - 11. Do d and -2 have the same value?
False
Let g = -611 - -610. Let i be 3 + -4 - 52/(-54). Is g bigger than i?
False
Let y(g) = -g**2 - g + 1. Suppose 2*j + 10 = 3*m, -2*m - 5 = 3*j - 16. Let n be y(j). Let x = -1234/13 + 95. Which is bigger: x or n?
x
Let l(k) be the third derivative of k**6/120 - k**5/15 + k**4/24 + 5*k**2. Let u be l(4). Let w(t) = t**2 + 2*t - 1. Let a be w(1). Which is greater: a or u?
u
Let w = 105.081 - 0.081. Let v = w - 64. Let i = v - 50. Is i smaller than -2/7?
True
Suppose 20*b = 17*b + 6. Let u be 1/b*(-33 - -7). Which is bigger: u or -14?
u
Let w be 56/90 + (18/(-5))/9. Which is greater: 1 or w?
1
Let y = -0.6 + 0.6. Let z = 0.4 + y. Let u = -0.5 + z. Is u smaller than 8?
True
Let z = 1.09 - 0.49. Let u = z - 3.6. Which is smaller: u or 2?
u
Suppose y + 2250 = -24. Let b = y + 479813/211. Let q = 413/1899 - b. Is q at least as big as 1?
False
Suppose 3*r = -2*i - 14, -4*r - 3*i - 14 = -3*r. Let p be (-48)/(-20) - (-4)/(-10). Let g be (3 - 4)*p/r. Is g at most 2?
True
Let y be (-86)/(-12) - 2*-1. Let r = -16896 + 16905. Which is smaller: r or y?
r
Suppose 5*l + 0 = -b + 24, -l - 3*b = -16. Let s be (3 - 6)*l/(-3). Are s and 1 nonequal?
True
Let h be 5 + -6 + (-2)/((-2)/307). Do h and 306 have the same value?
True
Let p(m) = -6 - m**3 + 5*m**2 - m - 6*m**2 + 0. Let r be p(0). Which is smaller: r or -8?
-8
Suppose -5*y = -f - 4, 0 = -2*f - f - 12. Suppose y = -t - t + 12. Suppose l - t = 2*s, 3*s + 19 = -0*l - l. Which is smaller: -11/3 or s?
s
Let b = -63 - -63. Let o be b/2 - (16 + -16). Which is bigger: 3 or o?
3
Let j = 1666 + -1666.3996. Let f = -24.6304 + j. Let y = -25 - f. Is 0.2 at most y?
False
Suppose 0 = 11*v - v + 30. Let a = 198 + -171.2. Let w = a - 27. Which is smaller: v or w?
v
Let a(w) = -w**3 - 14*w**2 - 13*w + 11. Let d be a(-13). Suppose -3*j + y + d = -y, -3*y - 15 = -3*j. Which is smaller: -3/10 or j?
-3/10
Let z be (-14670)/(-48)*(-16)/12. Which is smaller: z or -409?
-409
Let d(i) = -2*i - 93. Let z be d(9). Is z < -110?
True
Let q = 1/34 + 81/136. Let j = 42 - 337/8. Let p = j + q. Are p and 1 non-equal?
True
Let p = -0.7 - 2.5. Let j = p + 1.2. Which is bigger: 0 or j?
0
Let p = -4 - 10. Let u be (-4)/p + (-1106)/98. Is u smaller than -12?
False
Let s = 1 - 2. Let w = s - -3. Let o = -237.4 - -238. Which is smaller: w or o?
o
Let l(f) = 5*f**3 + 3*f**2 + 4*f + 3. Let c be l(-2). Let u(q) = 6*q - 191. Let h be u(32). Is c less than h?
True
Suppose -5*i + 2*r = 6, -2 + 11 = -2*i + 3*r. Let c be (i - 2) + (0 - 0). Let y be -7*(4/7)/c. Is 3 >= y?
True
Let l = 1707 - 11919/7. Suppose 4*k + 4 - 28 = 4*f, -3*k - 3*f = 0. Does l = k?
False
Let a = 1589 + -1578. Is 31/3 at most as big as a?
True
Let s(d) = 15*d**2 - 2*d - 10. Let b be s(-4). Suppose -6*o - 9 = -3*o, -o = -5*c + b. Is c less than 47?
False
Let g = 3.37 - -1.75. Let j = -0.18 - g. Let c = j + -0.7. Is 0.2 not equal to c?
True
Suppose 6*x = 47 + 1. Is -0.14 >= x?
False
Let f be ((-8)/(-66))/(14/1365). Is 12 greater than or equal to f?
True
Let a = 141 + -142. Do 46 and a have different values?
True
Let l = 3.4468 + 0.0532. Is l > 1/8?
True
Let f = -16.97 + 17. Let t = 267747/46 - 5820. Let y = 2/23 - t. Is f not equal to y?
True
Suppose 0 = 5*i - 3*i + 94. Let d = i - -31. Let p be (5/20)/(3/d). Is p smaller than -2?
False
Let g(m) = m**2 + 5*m + 5. Let l be (-24)/(-20)*(-30)/27*3. Let x be g(l). Let s = -115/154 + 13/14. Is s at most as big as x?
True
Suppose -2*t - 2*d = -0*t - 52, -4*d = t - 23. Let i be (-14)/5 + t/45. Are -1 and i nonequal?
Tr