2. Let l be c(d). Let s = l + 54. Which is smaller: s or 11/2?
11/2
Let r be (2/(-81))/(1 + (-33)/45). Suppose -5*l + l = 4*t + 8, -3*l = -3*t. Is r at most as big as l?
False
Let j = 8446 + -8443.8. Is -48 less than j?
True
Let f = 248.3 - 0.3. Let g = -243 + f. Is g >= 2?
True
Let t be ((-1)/(-4))/(6/8). Let b be ((-408)/170)/((-1)/40). Suppose b = 4*o + 12*o. Which is greater: t or o?
o
Let a(l) = -13*l - 267. Let q be a(-20). Let h be 1*(-3 - -2)*(-7 - q). Which is bigger: h or -1/291?
h
Let a = -17279 - -17278.9. Which is smaller: 6339 or a?
a
Suppose 5*a + f - 59 = 34, -57 = -4*a + 5*f. Let p be ((-4 - -6)*-1)/((-129)/a). Is 0 != p?
True
Let w = -39189 + 38697. Which is smaller: w or 2/5?
w
Let f = -26 + 49. Let v = f + -24. Let p be (-6868)/25432 - 2/(-11). Which is bigger: p or v?
p
Let b = 5227.54 + 39.46. Let z = b - 5211.38. Let n = z - 56. Which is greater: -1/3 or n?
-1/3
Let n(k) = -79*k + 1278. Let q be n(55). Which is smaller: q or -3065?
q
Suppose -5*c + 8 = a - 3, -3*a - c = -5. Let b be ((-40)/(-15) + a + -4)*0. Are b and -5/141 equal?
False
Let u = 39188/13 + -3000. Let s = u - 10891/754. Which is smaller: s or 1?
s
Let r be 42/(-4) - (-90)/36. Let d be r/12 + 6/9. Which is bigger: -1/237 or d?
d
Let g be 55/(-6) + (-5)/(-30). Let l = 90 - -20. Let b = l + -119. Do g and b have the same value?
True
Let p(h) = -334*h + 3616. Let s be p(10). Which is smaller: 271 or s?
271
Let b(r) = -r**3 + 8*r**2 + 16*r - 10. Let s be b(8). Suppose -5*l = -3*n + s, l = 3*l + 10. Suppose -q + 22 = n. Is q bigger than -11?
True
Let r(t) = -t**3 - 22*t**2 + 50*t + 48. Let a be r(-24). Suppose a = -7*j - 50*j - j. Let d = -10/99 - -467/1683. Which is greater: j or d?
d
Let d be 2 - 24/18*285/(-10). Suppose -5*g - 32 = 2*y, -12*g = -15*g + 4*y - d. Is g equal to -7?
False
Let t = -730827/104 - -7027. Let f = t - -4/13. Let v = -3/8 - f. Which is greater: v or -0.15?
-0.15
Suppose 4*f = -3076 - 10524. Which is greater: -3403 or f?
f
Suppose 16 = 4*v + 12. Let z be (v + -2)*(2 + (4 - 6)). Suppose z*u = -u - 1. Which is smaller: 21/5 or u?
u
Let d = -39 - -63. Suppose d = 8*t - 232. Let y = t - 10. Is y at most 21?
False
Let h(w) = 64*w + 840. Let o be h(-9). Is -20 greater than or equal to o?
False
Suppose 426 = 16*l + 410. Are l and -7/109 unequal?
True
Suppose -3*u + 6*k = 10*k + 50, -3*u = -4*k + 34. Let z be 1 + 0 + 69/3. Let o be ((-8)/12)/(1/z). Which is smaller: o or u?
o
Let h = -23623 - -23631. Let f(c) be the first derivative of -3*c**2/2 - 2*c - 1. Let d be f(-3). Are d and h nonequal?
True
Let r = 234.62 + -244. Let d = r + 5.5. Let w = d + -0.12. Is 3 not equal to w?
True
Let q = 0.03432 + 10.37068. Do 0 and q have different values?
True
Let c be ((-108)/26)/(-1) - 8/18*9. Which is greater: c or -35/4?
c
Let b = 3013 + -2997. Let j be -2*(3 - (-30)/(-9)). Is b >= j?
True
Let i(p) = p + 1. Let k be i(-10). Let n(a) = -a**2 - 9*a + 3. Let r be n(k). Let x be (1/(-12))/(r/(-8)). Which is smaller: x or 2?
x
Let u = 11795.4 + -8124.34. Let n = u - 3579. Let w = n - 92. Is -3/7 at least as big as w?
False
Suppose h + 2396 = 3*x, 6*h = 5*x + 9*h - 3984. Let a = 798 - x. Let l = 3699/143 - 282/11. Which is greater: l or a?
l
Let d = 0.2 + -0.4. Let v be -5 - (9684/(-162) - (-8)/(-36)). Are v and d nonequal?
True
Let q = -11 - -36. Suppose 2*r - 2*k + 6*k = -26, -3*k = -r - 18. Let x be (-8)/r - (56/30 + -2). Which is smaller: q or x?
x
Suppose 40*a - 85333 = -9813. Is 1885 greater than a?
False
Suppose -2*p - p - 21 = 0. Let x(c) = -2*c**3 + 216*c**2 - c + 100. Let u be x(108). Which is bigger: p or u?
p
Suppose -29 = 5*f + 61. Let h be (-3)/(f/8)*74/(-148). Is 149 at least h?
True
Suppose 1537 - 1485 = -13*m. Is m < 680?
True
Let n = 14939 - 14387. Is -1/3 less than or equal to n?
True
Let i = -2777 + 2776. Is i at least as big as 11/29?
False
Suppose 3*m - m = 5*m. Let h be (4 + -15 - m/4) + 5. Which is smaller: h or -9?
-9
Suppose 95*x - 3312 = 91*x. Let b = 159 + -107. Let h be ((-2)/x)/(b/16 + -3). Which is smaller: 1 or h?
h
Let x = 467/296 + -231/148. Is 1 at most as big as x?
False
Suppose 8*b - 9*b - 842 = 4*l, -5*b - 4*l - 4162 = 0. Let s be 47/282 - b/(-12). Does s = -1?
False
Let i(v) = 3*v**2 - v. Let y be i(-1). Suppose -4*r + m + 221 = 61, r - 57 = -y*m. Let o = 66683 - 66642. Does r = o?
True
Let p = 6.232 - -1370.768. Is -1/4 at least as big as p?
False
Let l = 1770 + -1837. Let j = 16631 + -83488/5. Which is bigger: l or j?
j
Let w = 2/493 + 924/15283. Let z be 9/(4/1 - (13 + -10)). Suppose -4*h + i = -2, 2*h - z = h - 4*i. Which is bigger: w or h?
h
Let j = -616 - 802. Let g = 9007/6 + j. Let b = 83 - g. Does b = 0?
False
Let y be ((-3)/6)/(3/30). Let b be (-3)/2*y/(15/(-88)). Let d = 43 + b. Which is smaller: d or -1/7?
d
Let t = 0.07 + 0.93. Let v be (8781/2)/((-130)/20). Let q = -675 - v. Which is smaller: q or t?
q
Let c be (9546/1032)/((-2)/56 - (0 - 0)). Which is bigger: c or -269?
c
Suppose x = 0, 5*x + 8 = 4*n - 0*x. Suppose 3*b + 9 = 4*v + 21, 8 = -5*v + 2*b. Do v and n have the same value?
False
Let d = -2/2093 - -18845/8372. Let x = -10.2 + 10. Is d not equal to x?
True
Suppose -z - 5*j - 3 - 15 = 0, 10 = -5*z - 5*j. Suppose -3*q + 87 = 2*r, 0*q - z*q - 61 = -r. Which is bigger: r or 49?
r
Let d = 248 - 245. Suppose 4*y + 22 = -3*h, y + 3*h = -d - 7. Is y >= -2/7?
False
Suppose 18*i = -14*i + 12*i + 78780. Is 3939 >= i?
True
Let z = 17 - 19. Suppose -v = k - 23, -2*k = -3*v + 28 + 11. Is v < z?
False
Let r = 14323/25 + -573. Suppose -42*c - 50*c + 76*c - 80 = 0. Is r > c?
True
Let h = 6 - -165. Let o = -7283/35 - -1039/5. Is h at least o?
True
Let v = -161/20 + 39/5. Suppose 234*g - 248*g = 388*g - 15678. Which is greater: g or v?
g
Let k(j) = j**3 + 8*j**2 - 88*j - 931. Let z be k(-19). Which is greater: -3229 or z?
-3229
Let a = 15 + -19. Suppose 5*d + 5 = 4*b, -19 - 9 = -5*b - d. Let x(g) = -7*g + 36. Let j be x(b). Which is bigger: j or a?
j
Let d = -3.7 - -2.6. Let x = d - -0.1. Let a = 14.9 - -0.1. Is x greater than a?
False
Let p(c) = -2*c**2 - 7*c - 1. Let m(w) = -w**2 + w + 3. Let l be m(3). Let y be p(l). Let u be ((-6)/9)/2 + (-1 - -2). Is u at most y?
True
Suppose -2*w + 102 = 4*l, -4*w - 36 = -l - 15. Let q(h) = 5*h**2 + 3*h + 1. Let p be q(-4). Let g be (-3)/(-9)*p - -1. Which is smaller: g or l?
g
Let x be 66117/(-34) - (1/9 + 11550/(-50490)). Are -1945 and x non-equal?
True
Let n(g) = -11*g - 31. Let x be n(-3). Suppose x*f = -f - 5*f. Which is bigger: f or 1/4?
1/4
Let w = -1069 - -1071. Which is smaller: w or -0.0445?
-0.0445
Suppose 5*n - 103 = 107. Suppose n = 3*d + 9. Suppose d*t = 4*t - 77. Which is bigger: t or -13?
t
Let h = -4498 - -4498.05747. Let u = -78.33253 - h. Let x = u + 78. Which is bigger: 0 or x?
0
Suppose 22*f - 25*f - w + 11 = 0, 2*f + 10 = -5*w. Suppose -4*l - 5*d = -8*l - 139, f*l = -3*d - 183. Let p be 35/(1/(0 + -1)). Which is smaller: l or p?
l
Let h = -58 - -75. Let b = 18 - h. Let j be (2*1/(-2))/b. Which is smaller: j or -1/2?
j
Let j be ((-910)/20)/((-3)/(-72)*4). Let c = 270 + j. Which is bigger: c or -27/17?
-27/17
Let g = -0.0243 - 0.1847. Let r = 33.409 + g. Let h = -33 + r. Which is smaller: -0.2 or h?
-0.2
Let o be ((-93)/(-2232))/((-2)/(-54)) + -1. Are -5/513 and o nonequal?
True
Let o be 7/(-9) - 8/36. Let u be 2 + o + -2 + 2. Let m = -3871/30 + 129. Is u greater than or equal to m?
True
Let q be 3*(14 - (-143)/(-11))/((-2)/(-1882)). Is 2824 not equal to q?
True
Let q = -813159/2407145 + -2/16601. Let k = q + 4/29. Let g = -2082 - -2063. Which is bigger: g or k?
k
Suppose -3*a = -2 + 2. Suppose 5*m - 3*o + 118 = a, -2*m + 28 = -3*m + 5*o. Let y(j) = -23*j**2. Let r be y(-1). Is r greater than m?
False
Let r = -1277/5 - -3821/15. Which is greater: r or 82/43?
82/43
Let z be 173/(-2)*(2 + -4). Let u = -166 + 340. Is u at most as big as z?
False
Let t be 142*((-11)/30 - 18/135). Let k be (5/(-10))/(-1 - t/72). Is 39 smaller than k?
False
Suppose 3*i - 465 = 4*i - 5*o, 4*i - 3*o = -1809. Let t = i + 402. Let f be (-4)/14 - (-341)/(-7). Which is smaller: t or f?
f
Let n = 90 - 88. Let x be 13/(117/654) + n/(-3). Are -2 and x nonequal?
True
Let y(l) = -l**3 - 19*l**2 - l - 7. Let n be y(-19). Suppose -7*u + u + n = 0. Suppose -2*i - 8 = 0, -u*m + i = -7*m - 14