Which is smaller: s or i?
s
Let k = 128/11 - 8693/748. Let v = k + 337/204. Which is smaller: 2 or v?
v
Let f = -9.326 + -0.074. Let o = 1.4 + f. Let m = o + 4. Which is bigger: m or 1?
1
Let x be (-3374)/10 + (-6)/10. Let g = x + 998/3. Let r = g - -170/33. Are 4 and r unequal?
True
Suppose s + 2 = -3*i, -3*s = 2*i + 5 + 1. Suppose i*p - 3 = p. Suppose d - 4*j + 7 = -4*d, -d + 1 = -2*j. Is p < d?
False
Let l = 86 - 57. Let u = l + -29. Is 2/13 < u?
False
Suppose -2*y + 2*x - 2 = -0*y, 10 = -y + 4*x. Suppose 17 = -u + 42. Suppose 1 - 41 = -5*l + y*d, 5*d + u = 0. Which is smaller: 7 or l?
l
Let a be (2 + -2)/2 + -2. Let y(t) = -8*t - 2. Let i be y(a). Let n be i/(-21)*(-3)/2. Is n at most as big as 1?
True
Let s = -106.98 - -107. Which is bigger: s or -5?
s
Let c = 24.0157 - 0.0157. Is c less than 1.2?
False
Let u(q) = 3*q**3 + q**2 + q + 1. Let y(b) = -b**2 - 8*b - 13. Let i be y(-6). Let j be u(i). Let o be (16/(0 - -4))/j. Which is bigger: o or -2/3?
-2/3
Let w = 87564 - 14973515/171. Let d be 29/19 - (0 - -1). Let x = d + w. Which is greater: -1 or x?
x
Let q be -2 - (-2 - (1 + 1)). Let f be -7*((-440)/(-168) - 3). Which is smaller: q or f?
q
Let h be (3 + (-10)/6)*-6. Let s = 9 + h. Which is greater: -4/9 or s?
s
Suppose 2*c = -16 - 2. Let z be (-2 + 5)/(c/(-6)). Suppose -4*v - 4 = -2*b, 0 = -3*v - 3*b + 3 + 12. Which is greater: z or v?
z
Let g be 4*(182/26 + (-127)/18). Let p = -30/77 + 1366/1925. Let j = 6/175 - p. Are g and j nonequal?
True
Let r(i) be the second derivative of 5/3*i**3 + 2/3*i**4 + 1/20*i**5 + 0 + 5*i**2 - i. Let w be r(-7). Which is smaller: w or -10?
w
Let o = 119 - 57. Let f = 3 - 3. Are o and f equal?
False
Let n(m) = -21*m - 126. Let g be n(-6). Let p be (-1)/(-1) + (-255)/400. Let u = p - 1/16. Is u at least as big as g?
True
Let n be -4*(-1 + 1649 - 0). Let c = -13461/2 - n. Let o = c - -135. Is -3 greater than o?
True
Let w = -10 + 192/19. Suppose 0 = -3*a + 5*q + 10 + 18, 0 = 3*q + 15. Is a greater than w?
True
Let b(r) = -2*r**2 + 9*r + 14. Let f be (-15)/1*16/(-40). Let g be b(f). Is g at most -4?
True
Let f(k) = k**2 - 2*k - 82. Let z be f(-8). Is z smaller than 236?
True
Let v be 18/9 - 4*(-591)/30. Let b = 5272/65 - v. Is b at most as big as -1?
False
Let z = 3242 - 3242.2. Let w = -5 - -16. Which is smaller: w or z?
z
Let m(y) = -y**3 + 4*y**2 - 2*y + 7. Let f be ((-16)/14)/(2/(-7)). Let n be m(f). Is n less than or equal to 3?
True
Let m be 69/(-414) - (-17)/(-42). Let v = 0 + 0. Is m bigger than v?
False
Suppose 17*o + 27 = 180. Let a(x) = 0*x + 18 - 1 - x. Let l be a(o). Which is smaller: l or 2?
2
Suppose 20*s = -5 + 25. Which is smaller: s or -2/2099?
-2/2099
Let c be -2 + 2 - (3 - 11). Suppose -v + 56 = 2*k, 3*k - 5*v + 150 = c*k. Let g be ((-13)/k)/((-3)/(-2)). Which is greater: g or 0.3?
0.3
Let d = 4 - 3. Let a = d + 5. Let p = 84 + -79. Which is greater: p or a?
a
Let r be 1 - (3 - 1 - 1). Suppose 0 = -j - r*j - 4. Let s be 3 + -2 - j/2. Which is smaller: 2 or s?
2
Let l be (1/3)/((-11)/165). Let f = l + -16. Is -22 at least as big as f?
False
Let m(k) = k**3 - 24*k**2 + 21*k + 10. Let v be m(23). Is v at most -28?
True
Let t = -5 - -4. Let w = 0.63 + -2.73. Let y = w + 1.4. Is y less than t?
False
Let w be 4/(-10) + (-16)/(-15). Let p = 0.56 - 0.59. Let l = -3.03 - p. Which is smaller: l or w?
l
Let a = 0.0073 + -3.0073. Suppose -3*j + 66 = -0*j. Let n be 0 - -1 - j/26. Which is greater: a or n?
n
Suppose 2*v = -2*v, -5*v = -5*i - 20. Let m be (-143)/66 + (-10)/i + -1. Which is smaller: -1 or m?
-1
Let u(m) = m**2 - 7*m + 11. Let a be u(8). Suppose -2*k - 4*v = 14 - 0, -3*k + a = -2*v. Let g be 1 - ((-18)/(-10))/k. Is 7 at most g?
False
Let f be (-1)/178*(6 + -4). Let c(a) = -92*a - 276. Let h be c(-3). Which is smaller: f or h?
f
Let y = -209 + 1841. Does y = 1631?
False
Let b = -589/16 + 37. Let s = -1725 + 1725. Which is smaller: b or s?
s
Let z be ((3 + -4)/17)/1. Let l(r) = r**3 - 3*r**2 - 2. Let q be l(3). Let v be 3/q*8/12. Which is bigger: v or z?
z
Let o = -8204/25 + 328. Let s = -42/575 - o. Is -1 smaller than s?
True
Let w(r) = -r**3 + 7*r**2 + 14*r - 15. Suppose 5*u - 54 = -u. Let o be w(u). Is -51 not equal to o?
False
Let q(i) = -8*i - 81. Let d be q(-10). Which is bigger: d or 1/57?
1/57
Let w be (-22)/77 + (-92)/(-28). Is 7/4 <= w?
True
Let x = 1/57 - 121/399. Is x equal to 0.21?
False
Let z = -11 + 10. Let u be (18/(-21))/(z/14). Let c be (-75)/30*u/(-10). Which is greater: c or 1?
c
Let i = 18094/5 + -13317169/3680. Is 0 at least i?
False
Suppose -5*f + 740 = 2*w, 0 = f + 2*f + 2*w - 440. Let v be 20/f + (-7)/15. Which is greater: -0.5 or v?
v
Let x = -256 - -245. Which is smaller: -19 or x?
-19
Let w be 12/(-16) - (-1708)/(-48). Let a = -57 + 21. Let y = w - a. Which is smaller: -2 or y?
-2
Let j = 8161/2 - 3996. Which is greater: j or 84?
j
Let c be 2 + 15/(-20) + 14/(-24). Which is smaller: c or 26?
c
Let p(s) = 6*s**2 - 1. Let t be p(-1). Suppose t*n = -2*n - 168. Let i = n + 25. Which is smaller: 2/39 or i?
2/39
Suppose 0*x - 4*x = 0. Let c = -1/1032 - 229/344. Which is smaller: c or x?
c
Let f = 2347 + -2361. Which is smaller: -15 or f?
-15
Let k = 27 + -21. Let a(b) = b**3 - 6*b**2 - b + 4. Let c be a(k). Are c and -2 nonequal?
False
Suppose -8*m + 91 + 749 = 0. Let w be (10 + -1)*((-50)/m)/2. Is w <= -0.4?
True
Let f = -198286/5 + 79005/2. Let m = 155 + f. Is 0 at most m?
True
Let p(o) = 184*o**2 + o - 2. Let x be p(1). Which is smaller: 184 or x?
x
Suppose -4*d = -m + 33, 3*m - 2*m + 5*d - 51 = 0. Suppose -2*x + p - m = -x, 3*x + 4*p = -123. Do -41 and x have the same value?
True
Let n(l) = l**3 - 12*l**2 - l + 26. Let m be n(11). Let w = m - -72. Is -35 < w?
True
Let t = -2983/6 - -463. Which is smaller: -34 or t?
t
Let a = 0.0225 + 20.8775. Let w = 0.1 + a. Which is smaller: 0 or w?
0
Suppose -138*z + 20 = -128*z. Let y be (-2)/(-5) - (-46)/10. Suppose -2*r + 2 = b, 2*b - 21 = -2*b + y*r. Is b < z?
False
Let x = -0.12 + 0.02. Let m = -50/517 + -4/47. Is m greater than x?
False
Let d(w) = -w**3 + 5*w**2 + 1. Let t = 1 - -4. Let o be d(t). Let z be (-15)/(2250/20) - 12/(-165). Which is smaller: o or z?
z
Suppose z = -5*z + 24. Suppose u - z = -3*u. Which is bigger: u or 5?
5
Let s be (-34)/(-36) + -3 + 2. Let y(k) be the third derivative of -k**6/120 + 7*k**5/60 + 7*k**4/24 + 7*k**3/6 - k**2. Let q be y(8). Which is bigger: s or q?
s
Suppose 0 = 3*n - 6*n - 4*z + 46, -2*n - z + 29 = 0. Let h(u) = -4*u**2 - 18. Let c be h(n). Let r = 2426/3 + c. Which is bigger: r or 8?
8
Let h = -57.27 - -57. Let r = 0.2 - 0.37. Let k = r - h. Is k equal to 2/5?
False
Let i = 16893 - 84967/5. Let s(o) = o**3 - 19*o**2 - 16*o + 19. Let j be s(20). Let y = j + i. Which is bigger: 0 or y?
0
Let u be (0 + -1)/(2/178). Let p = 90 + u. Is p bigger than 5/6?
True
Let g be ((-4)/20)/(-7 - -10). Let r(z) = -z**2 + 2*z + 1. Let v be r(2). Which is smaller: v or g?
g
Suppose -2*l - 1464 = 2*l. Let o = -1108/3 - l. Let n = 7 - 11. Which is greater: o or n?
o
Suppose -4*w - 9 = 3*j + w, w = 4*j - 11. Let o be ((-21)/6 - 5)*j. Which is greater: -19 or o?
o
Suppose 0*d + 10 = -d. Let b be (-14)/(-4)*384/(-112). Is d greater than b?
True
Let b = -2.854 - -2.054. Is 0.09 > b?
True
Suppose r - 2 = -r, 266 = 3*t - 4*r. Let u = t + -90. Let b(f) = f**2 + 1. Let y be b(-1). Does y = u?
False
Let r be (-2924)/493 - 12/174. Is -6 less than r?
False
Suppose 2*c - 3 - 3 = 0. Let q be 820/210 + 14/147. Which is smaller: c or q?
c
Let q = 28943/36708 - 73/92. Which is smaller: q or 0?
q
Let q(u) = -u**3 + 2*u**2 + u + 16. Let o be q(4). Let a be ((-6)/4)/(6/o). Suppose 6 + 0 = 3*r. Is r greater than or equal to a?
False
Let h = 14819/3660 + 110/183. Let d = h + -22/5. Which is greater: -67 or d?
d
Let n(x) be the second derivative of x**5/20 + 11*x**4/12 + 23*x. Let t be n(-11). Which is bigger: 1 or t?
1
Let c be 14*-1 + (-22936)/(-1598). Let g be 2/(-4)*(-4)/2. Suppose -g + 3 = 2*h. Which is smaller: c or h?
c
Let y(i) = 2*i**2 - 20*i - 164. Let g be y(-8). Is 119 smaller than g?
True
Suppose -6*h + 11*h - 15 = 0. Let w = 0.09 + -0.04. Let l = w + -0.05. Is l at most as big as h?
True
Suppose -y - 4*l + 12 = 0, -5*y - l - 3*l + 44 = 0. Let k = 8 - y. Which is smaller: k or -1/3?
-1/3
Let p = 93.5 + -74