 654/36 - 2/l. Which is smaller: 33/2 or y?
33/2
Let c = -55599/22 + 10115/4. Let d = 1/44 - c. Suppose 1 + 5 = -2*u. Is d > u?
True
Let i be ((-4)/(-8))/((-90)/8). Let y = 23 + -17. Let z be (1 - 1)*2/y. Which is smaller: i or z?
i
Let x(s) = s**3 - 16*s**2 - 18*s - 12. Suppose r + 3*r = 3*z + 56, 20 = 5*z. Let j be x(r). Which is greater: j or -30?
j
Let k = 23 + -14. Let x = 0.07669 + 0.32331. Which is smaller: x or k?
x
Let g be 51/(-34) + 170/4. Suppose 24 = 5*b - g. Let s = b + -7. Which is smaller: 9 or s?
s
Let s(d) = d**3 + 18*d**2 + 19*d + 36. Let r be s(-17). Is r greater than or equal to 20/11?
True
Let v be (-252)/(-8) + 2/(-4). Suppose -2*f = p + 12, -5*p - 3*f = -6 + v. Are p and -1 nonequal?
True
Let l(t) = 5*t + 3. Let s(d) = -11*d - 7. Let x(m) = 5*l(m) + 2*s(m). Let r be x(2). Is 8 > r?
True
Let p = -1 + -15. Let u = 24.062 + -0.062. Let x = u + p. Is -1 greater than x?
False
Let c(d) = -2*d**2 + 15*d - 52. Let v be c(10). Is -107 greater than v?
False
Let m(g) = -g**2 - 9*g - 11. Let v be m(-6). Let a = -10 - v. Is a > -17?
False
Let i(f) = 151*f**2 - 3*f + 2. Let r be i(1). Let w be (-1)/(0 - r/18). Is w less than 1?
True
Suppose -2*s + 10 = 0, 3*i + 25 = -20*s + 19*s. Let a(t) = t**3 - 3*t**2 - 4*t + 2. Let j be a(3). Let g = i - j. Which is greater: 2/27 or g?
2/27
Let f be (-220)/464 + (35/14)/5. Which is smaller: f or -3?
-3
Suppose 0 = 7*h + 23 + 19. Let d be (-10)/(-5)*(1 + h - -1). Which is greater: -9 or d?
d
Let m(o) be the second derivative of o**5/20 + o**4/4 - 5*o**3/6 - 2*o**2 - 10*o. Let k be m(-4). Let x be (-1)/((-2)/50 - k). Is x smaller than 25?
False
Let u = 249/7 - 8245/231. Let m = 53/165 + u. Let v(j) = 3*j + 3. Let h be v(-1). Is m > h?
True
Let f = -60.4 + 25.6. Let j = -32 - f. Which is bigger: j or -1?
j
Let t = -1.5 - -1. Let j = -27 + 16. Let x = j + 11.1. Is t smaller than x?
True
Let p be 2061/(-99) - 2/11. Which is smaller: p or -17?
p
Let z be -347*(12/18)/(2/(-3)). Let y = z - 2781/8. Which is smaller: -2 or y?
-2
Let g(s) = -s**2 - s + 9. Let h be g(-3). Let y be (-2)/((16/(-14))/4). Suppose 0 = -2*x + y + 1. Is h smaller than x?
True
Let x(w) = 3*w**2 - 28*w + 13. Let q be x(9). Which is bigger: -1/9 or q?
q
Let u = 142 + -70. Let w = -66 + u. Which is smaller: 7 or w?
w
Suppose 2*y = -2*y. Let b be (52/1937)/(2/2). Let g = -254/1639 - b. Which is smaller: y or g?
g
Suppose d + d - 214 = 0. Suppose -3*o + d - 287 = 0. Which is smaller: -59 or o?
o
Let x(l) be the second derivative of -l**3/6 + 519*l**2/2 + 8*l. Let w be x(0). Let u = 4676/9 - w. Which is smaller: u or 1?
u
Let n be -6*((-75)/(-385))/(-15). Is n <= -0.2?
False
Let x = 33.981 - -1.019. Is -0.4 at least as big as x?
False
Let p(r) = -r**2 - 6*r + 6. Suppose -3*l + 4 = -2*l. Let b = l + -10. Let k be p(b). Is k at most as big as -2/5?
False
Let w(u) = -5*u**2 + 11*u. Let m be w(4). Let v(t) = -t**2 + 27*t - 34. Let f be v(27). Which is smaller: m or f?
m
Let y = 15 + -11. Suppose -2*s = -y*s. Suppose s = -5*x + 4*x. Which is greater: -1/2 or x?
x
Let f be (16/210)/(970/873). Is f smaller than 1?
True
Let v(n) = -n + 4. Let y be v(11). Let g be (-4)/(-84)*6 + 100/y. Which is bigger: -17 or g?
g
Suppose -7*k + 740 = 75. Which is bigger: k or 94?
k
Let g = -172 - -239.8. Let m = 68 - g. Let o = -6 - -4. Which is smaller: m or o?
o
Let v = -84.6 + 84.82. Let p be (-1 + (-5)/(-4))*2. Which is greater: v or p?
p
Suppose 0 = -18*z + 1 - 91. Which is smaller: 1 or z?
z
Suppose 3*z = 7*z - 4. Let i be (z/39)/((-16)/32). Which is smaller: -1 or i?
-1
Let c = -1 + 7. Suppose 0 = -4*u - 2*a + 54, 3*u + c - 43 = 2*a. Which is greater: 11 or u?
u
Let a be (-1)/9 - 3/27. Is 1 less than or equal to a?
False
Let q be 6/4 - 465/270. Does q = 2/95?
False
Suppose 31 - 287 = 16*g. Let v(w) = w**3 + 2*w**2 - 2*w - 15. Let m be v(0). Is m greater than or equal to g?
True
Suppose -5*l - 415 = -5*u, l + 403 = 5*u + 2*l. Let v = u + -102. Which is greater: v or -106/5?
v
Let i be ((-1)/48)/(9/6). Let p = 12608 + -12607. Is p less than i?
False
Let d(v) = -v**2 + 4*v - 28. Let k be d(0). Let b = k + -44. Is -73 greater than b?
False
Suppose 2*b + 0*b + 23 = -5*p, 2*p = 2*b - 12. Let n(s) = -s + 2. Let f be n(0). Which is smaller: b or f?
b
Suppose -402 = l - 3*a - 1834, -5*a = -2*l + 2864. Is 1432 < l?
False
Let h be ((-18106)/(-2451))/11 - (-2)/(-3). Let a = -1982/71079 + h. Is a less than 0.2?
True
Suppose -1644*p + 1637*p = 0. Is p greater than 172?
False
Let i be 2/(-7) + (-88)/(-14). Suppose -i*l + l = -80. Let m = l + -15. Are 1 and m equal?
True
Let c = -57.439 - 0.561. Which is smaller: -2 or c?
c
Let f = -8 - -4. Let z = -263 - -56. Let d = -207.2 - z. Which is greater: d or f?
d
Suppose 225*h = 229*h + 220. Is -54 >= h?
True
Let u(t) = -51*t + 35. Let j be u(3). Do -118 and j have the same value?
True
Let w(r) = -8*r**2 - 4*r + 5. Let o(b) = 23*b**2 + 11*b - 14. Let a(f) = -4*o(f) - 11*w(f). Let p = -2 - -1. Let q be a(p). Is q at least as big as -3?
True
Let x(q) = -q**3 + 11*q**2 + 11*q + 9. Let p be x(12). Let z = p - -1/2. Is z > -3?
True
Let v be ((-4)/4)/(-4) + (-2575)/(-20). Let a = v + -128. Which is smaller: 11 or a?
a
Suppose 2*c = -4*c + 24. Suppose -2*a - 4*g = a + 9, -5*g = c*a + 13. Is -7 equal to a?
True
Let h be (0 + -2 + 78/42)/(-1). Is -0.003 < h?
True
Let s = 649 - 732. Is s at most 0?
True
Let s = 6473 - 84191/13. Which is bigger: s or -2?
-2
Let l(o) = 2*o**2 - 1. Let i(p) = -p**2 - 6*p + 9. Let r be i(-7). Let s be l(r). Is s equal to 8?
False
Let j be (-1)/(-4) - 14079/156. Let t = j + 91. Let a be (-3 - 0 - -2) + 2. Is t smaller than a?
False
Let t = 6.75 + 2.37. Let n = 9 - t. Let p = n + 0.92. Which is bigger: -2 or p?
p
Suppose -2*s + 18 = -5*r, -2*r = -5*s + 42 - 18. Suppose -s*z = z + 55. Let w = 12 + z. Which is bigger: w or -7/4?
w
Let k = -0.08 - 0.72. Let c = k - 8.2. Let q = -14 - c. Is -2/5 bigger than q?
True
Let z be (40/8)/(-10) + 8/11. Let j = 43/44 - z. Is j at most as big as -0.09?
False
Let t be 3*1*(20 - 246/12). Let c = -1.9 + -0.1. Which is smaller: c or t?
c
Let v = -0.3 + 0.5. Let n = 70 - 64.7. Let j = n - 5.25. Which is smaller: v or j?
j
Let k(o) = 18*o - 8. Let l be k(3). Let q = 18 - l. Is q bigger than -27?
False
Suppose -4*q = 5*m - 3*q - 2, 0 = -2*m - 2*q - 4. Suppose 0 = c + m + 5. Let a(i) = i**3 - 5*i**2 + 5*i - 2. Let f be a(3). Is c bigger than f?
False
Suppose 14*z - 27 = 141. Suppose 2*w - 84 = -z*w. Which is greater: w or 2?
w
Let h = -4403 + 48509/11. Which is bigger: h or 8?
8
Let t be (1/((-1)/(-3)))/(1595214/(-916)). Is -1 at most t?
True
Let p(d) = -d + 1. Let m(j) = j + 19. Let n(z) = -m(z) - 6*p(z). Let t be n(7). Is 11 greater than or equal to t?
True
Let u(q) = -3*q + 4. Let c be u(3). Suppose 0 = -18*l - 8 - 46. Which is smaller: l or c?
c
Suppose 2*u + 0*u + 4 = 3*j, -j = -u - 2. Let a be (-2)/(-5) + (u - -2). Suppose 0 = -3*n - 2*n + 40. Do a and n have the same value?
False
Let k = 4 + -4. Let t = 15 - 16.4. Let v = t + -1.6. Is v bigger than k?
False
Let w = -7/117 - 82/585. Which is smaller: 55 or w?
w
Let a be 15/(15/(-74)) + 6. Which is smaller: -486/7 or a?
-486/7
Suppose 5*k + 0*k - 5 = 0. Let t be ((2 + -6)/(-2))/1. Let z be 2*(k - t)*-1. Is z >= 1/2?
True
Suppose 2*x - x = -19. Let m = -18 - x. Is m greater than 1/10?
True
Let o be (-88)/(-77) + 1/(0 - 7). Let c be o/((-1)/2) + 266/28. Which is greater: 8 or c?
8
Let c = 3.81 - 3.49. Which is smaller: c or 2?
c
Let u = -35 - -26. Are u and -37/4 non-equal?
True
Suppose 3*s - l = 1, 0 = -s - 0*l + l - 1. Let k = -32906/21 - -1567. Is k at least s?
False
Suppose 21*y - 5614 = 4151. Is y at most as big as 465?
True
Let z = 60 - 107. Let n = 34.74 + z. Let k = 0.26 + n. Is k < 1?
True
Let i = 3 - 19/6. Suppose -4*s - 462 + 150 = 4*u, 3*u - 146 = 2*s. Let d be s/(-18) - (-9 - -13). Which is smaller: d or i?
i
Suppose 5*o + 36 - 6 = 0. Let b be ((-14)/6 + 0)*o. Let i be -2*15/(-2) + -1. Is b greater than or equal to i?
True
Let d = -8 + 7.4. Let s = 0.57 + d. Let q = -18.5 + 18.4. Which is smaller: s or q?
q
Let y(c) be the third derivative of -23*c**5/20 - c**4/4 - 5*c**3/6 - 2*c**2 - 26. Let z be y(-1). Which is smaller: -69 or z?
-69
Let n = 1054.1 + -1054.6. Let j = -0.06 - -0.1. Is n > j?
False
Suppose 3*m