6. Which is smaller: l or -3/7?
-3/7
Let z = 3 - 2.8. Let s = -0.1 + z. Let y be 91/14 + (-30)/(-4 - -9). Which is smaller: y or s?
s
Let w = 6269/2805 + 92/935. Let b be (-1)/(-3) + 1/(-3). Let u = 2 - b. Is u smaller than w?
True
Let o(g) = g**2 - 39. Let r be o(0). Let c = 0.040844 - -0.459156. Is c greater than or equal to r?
True
Let w be (-4)/(-18) + (-5)/(360/16). Suppose 15*t - 10*t - 395 = w. Suppose -y + 3*f + 93 = 0, -4*y + 5*f - 62 + 399 = 0. Is y not equal to t?
True
Let y be (-1 + 1/(-5))/(25/((-10524000)/(-504))). Is y less than -1001?
True
Suppose 5*g = -3*n - 20, -g = 7*n - 12*n - 24. Let f be 4 + 33/9*g. Let q = -3 + 2. Is f < q?
False
Let i be (-4)/6 - (-58)/78. Let a(s) = s**2 + 5*s + 5. Let p = 755 + -759. Let b be a(p). Is i at most as big as b?
True
Let x(d) = 6*d + 1. Let l be x(3). Suppose -l = -3*z - 19. Is z != -7/31?
True
Suppose -14 = -2*h, -5*z + 4*h - 25 = -2*z. Which is smaller: -2/413 or z?
-2/413
Suppose 4*s - 40 = -124. Suppose -18*c = 7*c + 14*c + 429. Do s and c have different values?
True
Let h be (-6)/6*(-1 - -4). Let o be 3 - h*19/(-24). Let m be -4 + 3 + 9/3. Are m and o equal?
False
Let s(x) = -2*x**2 + 25*x - 7. Let q be s(4). Suppose -2*r = -5*g + q, -g - g + r = -25. Which is smaller: 13 or g?
g
Let u = -1063 - -547. Let z = 515.9 + u. Is z != -0.071?
True
Let d(p) = -161*p - 1127. Let c be d(-7). Which is bigger: c or 87/649?
87/649
Let w = 24/17 + -1145/799. Let c = 13 + -13. Suppose -13*g + 9*g = c. Which is greater: w or g?
g
Let b = -8.7 + 3.8. Let g = -9.4 - b. Let y = g + 5.5. Which is smaller: -3.7 or y?
-3.7
Let s = -111.2 + 62.2. Let g = s - -50. Which is greater: -40 or g?
g
Let v = 4666/39 + 9/13. Let t = v - 120. Is 8 at least as big as t?
True
Let m be (-60)/(-2126) - (8/(-18) + 892/2007). Which is greater: -1 or m?
m
Let p be ((75/(-10))/5)/((-2)/(-48)). Let j be (p/(-390))/(38/(-30) + 1). Which is greater: j or 0?
0
Let o(q) be the first derivative of 5*q**2/2 + 40*q + 8. Let a be o(-8). Is -23 > a?
False
Let i = -1327 - -2883. Are 1557 and i nonequal?
True
Suppose 366 - 982 = -14*i. Suppose 43*n - 13 = i*n. Does -11 = n?
False
Suppose 5*d + 2*a - 17 = 5*a, -4*a - 15 = d. Which is smaller: -48/793 or d?
-48/793
Suppose 3*q = -21 - 51. Let c be (-27)/q*(-2)/(-141). Let v = 485/18612 - c. Is v greater than 0?
True
Suppose -3*f + 22 = 2*p - 5*f, 2*p - 2 = -3*f. Let r be (-10)/45 + (-137)/(-9). Suppose -2*l + r = -1. Is l >= p?
True
Suppose 1047 = -273*u + 2015 + 2035. Suppose -j - 5 = -4*c + 4, -21 = -4*c - 3*j. Suppose -14*a = c + u. Is a bigger than 10/21?
False
Let f be ((-36)/27 + 1/3)*9. Let s be (-14)/(-49) + 4/(-14). Suppose -i - 12 = -s*i. Is i at least as big as f?
False
Let c = -205 - -434. Let q = c + -227. Which is bigger: q or -2.3?
q
Suppose 4*m + 3*r - 12 - 83 = 0, -5*r - 119 = -4*m. Suppose -1134 = -m*a + 8*a. Do 64 and a have the same value?
False
Suppose 0 = 9*f + 11*f + 418 - 438. Is f != -1/2309?
True
Let m(h) = 3*h**2 + 971*h + 10014. Let t be m(-313). Let f(v) = 2*v**3 + 5*v**2 + 6*v + 5. Let r be f(-4). Which is bigger: r or t?
t
Let b = 168.646 - -0.354. Let y = b + -169.144. Which is smaller: y or -0.2?
-0.2
Let b(g) = -g**3 - 8*g**2 - 14*g - 1. Let p be b(-6). Suppose -1 = -y + p. Suppose 2*i + y = 8. Which is smaller: i or -1/19?
i
Let h = 1453 - 1453.1. Which is bigger: 1634 or h?
1634
Let n = -7844159/4496075 + -9/30175. Is -2 smaller than n?
True
Let l be 13 + 8/10*(-175)/70. Suppose -3*o + l = 2*z, -4*z + 3*z = -o - 13. Which is greater: z or -13?
z
Let l = 14100 - 14106. Is 55 < l?
False
Let i = -8 - -8. Suppose -2*k + 316 = 3*x, 0 = 3*k + k - 20. Let j be ((-2)/(-42))/((-221)/x). Are j and i unequal?
True
Suppose 0 = 4*g + i + 264 + 12, -2*g - 138 = 5*i. Let x = 68 + g. Let p be 684/(-2835) - 2/(-7). Are x and p equal?
False
Let p(j) = j**2 - 31*j + 3. Let q be p(6). Suppose 56*g - 49*g = -1022. Which is smaller: g or q?
q
Let t = 11340560/809 - 14018. Which is smaller: t or -1?
-1
Let o = 0.24 - 0.42. Let k = -4.581 + 5.581. Which is smaller: k or o?
o
Let a = -25 - -30. Suppose -a*o = -2*k + 150, -3*o + k - 4*k - 69 = 0. Suppose u + 76 = -3*f - u, -f + 4*u = 30. Is f less than o?
False
Suppose 17 + 38 = -5*u. Suppose -5504 = 162*q + 10858. Let w = u - q. Is w greater than 90?
False
Let d = 20222 - 20223. Is 105 >= d?
True
Let i(b) = -16*b + 112. Let r = -3 - -10. Let a be i(r). Which is greater: a or 1/141?
1/141
Let h = 5234 - 2450. Which is smaller: h or 2783?
2783
Let f(o) = -7*o**2 - 58. Let q be f(-7). Let z = 399 + q. Which is bigger: -10/11 or z?
-10/11
Let a = 0.4992 + -0.5992. Which is bigger: a or 370/23?
370/23
Let w(b) = b**3 - 18*b**2 - 6*b + 38. Let l be w(18). Let r = 72 + l. Let k(s) = 2*s**2 + 28*s + 14. Let u be k(-14). Are u and r unequal?
True
Let i be (13884/(-208))/(1 - 11/8). Let q be (-2)/(-2394)*i/(-16). Let x = 1/152 - q. Which is smaller: -1 or x?
-1
Let v be 610/306 - (-1892)/6622*14/34. Let g = 2 + 1. Are g and v unequal?
True
Suppose 2*v - 4 = 18. Suppose -5*n - 6*p = -3*p - v, -5*n + 4*p = -32. Suppose w = -3*w + n. Is w greater than or equal to 1?
True
Let l be 3/11*(-3)/(-3). Let m = -115432 + 115431. Is l greater than or equal to m?
True
Suppose -3*z = -310 - 110. Let i = -131 + z. Suppose 0 = 13*v - i*v. Which is smaller: v or -8?
-8
Suppose 15 = -3*d + 6*d. Let t be (-2)/(-10) - 61/d. Suppose 13*h - 84*h - 923 = 0. Which is bigger: t or h?
t
Let k be (-55)/(-3) - (0 + 8/(-12)). Suppose -2*w + 5 = -k. Suppose -3*f = -5*f - w. Is -7 at least f?
False
Let i = -25133 + 20505. Which is greater: -4631 or i?
i
Let p be 2/(-9) + (-152)/(-36). Let z be p*(1 + 3/(-6)). Suppose 4*x - z - 10 = 0. Is 12/5 at least as big as x?
False
Suppose 7*s - 6*s = -4*t + 19, s - 5*t = -26. Let q(i) = -112*i**3 + 3*i**2 + i - 1. Let g be q(s). Which is bigger: g or -1/4?
g
Let h = -0.1 - 0.04. Let o = h - -0.08. Let a = 0.4 - 0.2. Which is smaller: a or o?
o
Suppose -d - 4 = -5*d. Let x(n) = 46*n**2 - 4*n + 4. Let a be x(d). Which is bigger: 47 or a?
47
Let l = -2682912324031/435 + 6167608832. Let n = -5706 - l. Does -1 = n?
False
Suppose -3*r = r. Let l be (-474)/(-123) + -1 + -3 + 5/35. Which is smaller: r or l?
l
Let a be -1 - -1*(-3)/(-3). Let r(p) = 2*p**3 + 68*p**2 + 127*p - 31. Let j be r(-32). Let i be (4 - (a + 4))/(0 - j). Which is smaller: i or -15/11?
-15/11
Suppose -55*p - 9 = -64*p. Let o be 4 + 1644/(-540) + -1*p. Which is smaller: o or 1?
o
Suppose -33*k + 36*k = 4*h - 5584, -3*k - 5*h - 5602 = 0. Is k > 3?
False
Let l = -13.46 - -0.46. Let o = l - -16.7. Let a = -1.9 + o. Which is smaller: a or -1?
-1
Let a = -22.5 + 20.9. Let f(w) = w**3 + 3*w**2 - 3*w + 5. Let y be f(-4). Is a bigger than y?
False
Let z be ((-216)/(-32))/((-3)/8). Is -40 smaller than z?
True
Suppose 100*f + 3118 = -6497 - 7185. Which is smaller: f or 0?
f
Suppose 3*f + 4*r + 0 + 271 = 0, 0 = 4*f + 5*r + 363. Let g = -97 - f. Let q be (-7 - (-42)/3) + (4 - g). Is q less than 19/2?
False
Suppose 0 = -2*x - 2*x - 96. Let r = -8357/2 + 4155. Is x < r?
True
Let z(j) = 3*j**2 - 71*j - 11. Let i be z(24). Suppose -g - a = 0, 4*a - 3 = -14*g + i*g. Is -3/430 less than g?
False
Suppose 25 = 5*l, 4*l = -4*j + l + 6471. Which is bigger: 1608 or j?
j
Let i(n) = -n**3 + 14*n**2 - 12*n + 29. Let s(o) = 2*o + 19. Let y be s(-3). Let c be i(y). Which is greater: 41 or c?
c
Let w(g) = 3*g + 23. Suppose 7*x - 22 = 83. Let r be w(x). Which is smaller: 3 or r?
3
Let l(n) = -131*n**2 - 2491*n + 46. Let x be l(-19). Let h(u) = 85*u. Let s be h(1). Which is greater: s or x?
s
Suppose -2*s + 3*l = -84, 3*s = -3*l + 38 + 58. Let c be 1485/s + (-6)/(-8). Let d = 44 - c. Is 16/5 >= d?
True
Let s = 1449317 + -357980715/247. Let o = s + -45/19. Are -1 and o unequal?
True
Let w = -268 + 301. Suppose 10*r = w*r - 23. Which is bigger: 10 or r?
10
Let h = 92 + -31. Suppose c + 1 + h = 0. Let j = -63 - c. Is -1/10 greater than j?
True
Let d = -62 + 64. Suppose -2*j + 3*q - 8*q = -48, d*j = 5*q + 48. Suppose 19*i - j = 16*i. Is i >= 10?
False
Let o = 1107 + -1106.975. Let r = -52.025 - -54. Let g = o + r. Is -1 greater than or equal to g?
False
Let d = -29 - -29.3. Let z(h) = -h + 8. Let i be z(3). Suppose -i*k - 15 = 0, n + 2*k - k = -7. Which is greater: d or n?
d
Let z = -11146 - -79