+ 26845.93. Let h = z - -268. Let f = h + -1.93. Which is greater: 0.18 or f?
0.18
Let z(q) = -12*q**2 + 13*q**2 - 30*q + 93 + 2 + 8*q. Let d be z(6). Which is bigger: 70 or d?
70
Let v = -3650 - -2770. Which is smaller: v or -877?
v
Let y = 0.103 - 0.503. Let x be (10/40)/((453/(-24))/1). Which is bigger: y or x?
x
Let g = 5742 + -5741. Which is smaller: -8/2773 or g?
-8/2773
Let m = 9.66 + 36.24. Let t = m - 241.9. Which is bigger: t or -1/3?
-1/3
Let k = -1.6 - -74.6. Let p = k - 74.32. Let u = 0.68 - p. Are u and -0.13 nonequal?
True
Let k(o) = 2*o**2 - 19*o + 17. Let q(s) = -5*s**2 - 5*s - 2. Let c be q(2). Let j = 40 + c. Let p be k(j). Is p smaller than -52/7?
False
Suppose 15 - 21 = 2*t, 5*u = -5*t - 585. Suppose -2*h = -4*h - 3*m + 109, 0 = 2*h + 5*m - 99. Let v = u + h. Which is bigger: -51 or v?
-51
Let d = -761.31 + -12.69. Let p = -774.079 - d. Which is bigger: p or -0.1?
p
Let f = 22 + -29. Let j = 141.09 - 141. Let i = j - -1.91. Which is smaller: i or f?
f
Let c = -1790.9 + 1788.13. Which is smaller: c or -0.1?
c
Let y be 12/10*8*35/112. Let v be ((-432)/(-92) - 5)/(y/(-2)). Which is greater: v or 1?
1
Let z = 317/6 + -247/6. Let b = -24 - -36. Is b less than or equal to z?
False
Let f be ((-4)/10)/((-156)/(-40) - 4). Let w be f - (6 + -1 + -1). Let k be 16/4*9/186. Are k and w equal?
False
Let f(u) = 8*u**3 - 2*u + 5*u**3 - 2*u**3 - 3*u**2. Let z be f(-2). Let w be (-4)/(-5) + -33*(-54)/(-990). Is z != w?
True
Suppose 26*n = 14*n + 48. Suppose -7*b + 230 = -2*b - 5*c, -157 = -n*b - 5*c. Which is bigger: b or 48?
48
Let w(z) = -z**3 - 3*z**2 + 3*z - 5. Let i be w(-4). Let b = -0.062 + 7.062. Let u = b + -21. Which is greater: i or u?
i
Let x = 4186 - 4185. Is x greater than or equal to 3/3884?
True
Suppose 2857*s - 2837*s - 15620 = 0. Which is smaller: 778 or s?
778
Let b = -1028.6 - -1871.9. Let t = b + -809. Let f = t - 33. Which is bigger: 1 or f?
f
Let j = 9144 - 9170. Which is greater: -0.87 or j?
-0.87
Let s = -53 - -15637/295. Let u = -12679/885 - s. Let f be (12/(-20) - -1) + (-216)/15. Is u less than or equal to f?
True
Suppose 4*q = -4*u + 1 + 35, 6 = -2*q + 4*u. Suppose -q*n + 17 = -k, 4*k = -2*n - 38 - 8. Let j = 2/261 + -6007/522. Which is bigger: j or k?
j
Let k be ((6/(-15))/(2/(-10)))/((-4)/(-8)). Let w = 320/37 - -8316/185. Let j = w + -53. Do k and j have the same value?
False
Let z be 36/8 - (-532)/(-56). Suppose 5*k + 5 - 95 = 0. Let b be ((-44)/(-33))/((-2)/k). Which is greater: b or z?
z
Suppose h = -2*d + 25, 87*d - 34 = -h + 82*d. Suppose 0 = h*w + 8*w. Let g = 47/2 - 23. Which is bigger: g or w?
g
Let g = -1087456/45 + 123304/5. Let v = 494 - g. Is v at least as big as -2?
True
Let m = 0.64 + -50.64. Let o = 19370 + -19363. Which is smaller: m or o?
m
Let k = -9/1691 - -1709/3382. Do 100/7 and k have different values?
True
Suppose 2*g + 112 = -4*p - 114, g + 128 = -5*p. Does -32 = g?
False
Suppose n - 5*k - 192 = 0, 4*k - 183 = 44*n - 45*n. Which is smaller: 178 or n?
178
Let o(a) = -a**2 - 14*a - 8. Let y be o(-10). Let u be (-2)/(-5) + y/20. Suppose u*x + 348 = -4*x. Which is greater: -57 or x?
-57
Let n be 1742/(-234) + -4 + 11. Let w(v) = v**3 - 10*v**2 + 10*v - 6. Let q be w(9). Which is bigger: q or n?
q
Let j = 705.6 + -737. Let u = j + 33.4. Is u less than or equal to -5/18?
False
Let c be 0 + (-4)/26 + (-451)/(-143). Suppose -633*y + c = -630*y. Let w be (-1)/3*(-1 - -3). Which is smaller: y or w?
w
Suppose -4*m + 61*m - 1237 - 131 = 0. Which is greater: m or 70?
70
Let a(h) = -361*h - 2351. Let b be a(-6). Is -193 at least b?
False
Let i be 24/(-1)*(-20)/16. Let m = i - 29. Let g = 10/131 - -236/7205. Do m and g have the same value?
False
Let a = 147.017 - 147. Let u = 0.317 - a. Is u at most as big as -10?
False
Let l be ((-2)/3)/((-4)/48). Suppose -l = v - 4. Suppose -69*u = -67*u - 4. Which is smaller: u or v?
v
Let c = 430 - 639. Let n = c - -205.9. Is -1 smaller than n?
False
Let x be (-90)/210*10/(-15). Which is smaller: x or 2/4229?
2/4229
Let u(p) = 5*p**2 + 147*p - 242. Let c be u(-31). Let z = 101 + -1433/15. Which is greater: z or c?
c
Suppose 679*v - 675*v + 24 = 4*s, 2*v = -3*s - 7. Is -30/5573 smaller than s?
True
Let x = 4.92 - 5. Let d be (-4)/(-12) + (11/3 - 5). Let w(r) = r**2 + 20*r + 21. Let c be w(d). Which is smaller: c or x?
x
Let q = 16696 - 28277. Which is greater: q or -11580?
-11580
Suppose 0 = 3*h + 8*v + 29, 2*h + 88*v - 92*v - 18 = 0. Is h greater than 1/301?
True
Suppose 21*k = -5*k + 10*k. Suppose 9*d = 4*d + i + 38, k = 5*d - 5*i - 50. Is 9 less than or equal to d?
False
Let v = -0.12815 + 0.32815. Are -126.22 and v unequal?
True
Let p(h) = h**2 + 13*h + 15. Let d be p(-13). Let n(s) = 0*s**3 - d*s**2 - 1 - 16 + 7*s**2 + 3*s + s**3. Let o be n(8). Is 7 bigger than o?
False
Let a = 29 - 29. Suppose a = -5*b + 14*b + 324. Do -36 and b have the same value?
True
Suppose 4*h + 421 + 1719 = 9*h. Is 428 at most h?
True
Let u = -2 + 2. Let a be ((-130)/(-39))/(35/(-15)) + (-3)/(-7). Which is smaller: a or u?
a
Suppose 13*f - f - 60 = 0. Suppose 3*z = 3*a + 30, 3*a + 0*a - 10 = -f*z. Is z > 7?
False
Suppose 14*y + 74495 - 237161 = 0. Let w = y - 197601/17. Which is smaller: -6 or w?
-6
Let c = -25/3922 + 210149/7126274. Do -1 and c have different values?
True
Let o = -1 + 1. Let w(j) = 319*j**3 + j**2 + 8*j - 8. Let u be w(1). Let d = 5765/18 - u. Which is bigger: d or o?
d
Suppose 7 = -a, 7802 + 2327 = -3*u - 4*a. Are u and -3365 non-equal?
True
Let c = 219 + 52. Suppose -2*n - 4*z = -z - c, z = -5*n + 710. Which is smaller: 142 or n?
142
Suppose 25 = -9*b - 4*i + 4, -12 = 3*b + 3*i. Which is smaller: -1/564 or b?
b
Let m = -166730 + 2500783272/14999. Which is greater: 0 or m?
m
Let j = 2760464954/365739 - 83024/11. Which is greater: j or -1?
j
Let u(m) = -7*m**2 + 40*m**2 - 12*m - 171 - 14*m**2 - 6*m**2 - 12*m**2. Let y be u(21). Does y = 13?
False
Let r be (-6)/27 + (-94)/(-504). Let y be (-3)/12 - (45/(-70))/(-3). Let w = r + y. Which is bigger: w or -5?
w
Let z = -2221 - -24427/11. Is -2/277 less than z?
False
Let r(a) = -3*a - 44. Let q be r(-17). Suppose 0 = q*i + 2*i - 9. Suppose -6*d + 0*d = 12. Is i > d?
True
Suppose 158*p - 159*p - 10 = 6*w, w + p + 5 = 0. Which is bigger: w or -2/30049?
-2/30049
Let z = -24 - -29. Suppose 0 = 4*j - 8, 0 = 2*i + z*j - 22 + 4. Suppose 0 = i*k + 7 - 31. Is 28/5 >= k?
False
Let z be (-68)/(-119) + (24/42 - 4). Does -3 = z?
False
Let i = 17.209 - -0.791. Which is smaller: 531 or i?
i
Let x = 82.053 - 0.053. Let t = 81.5 - x. Do 21 and t have the same value?
False
Suppose 4*u + w = -3*w + 44, 23 = 4*u - 3*w. Let q = 8 - u. Let h be 10/20 + (-50)/92. Which is smaller: h or q?
h
Suppose 3*b + 0*b = -35*b + 4408. Is b smaller than -16?
False
Suppose b - 16 = -4*q + 20, -3*b = 12. Let i be (144/q)/(5/(550/33)). Which is greater: 47 or i?
i
Let w(c) be the second derivative of 21*c**3/2 + c**2/2 + 8*c. Let j be w(1). Suppose 5*o + j = -3*u, -5*o + 29 = -3*u - 3*o. Which is greater: -14 or u?
u
Let k(f) = 11*f - 215. Let y be k(20). Let c be ((-4)/20)/(y/25*1). Is c at most as big as -1.4?
False
Let a = -5694 - -5694. Which is smaller: a or 5/284?
a
Let l be -9 - (-5 + -2) - -962. Suppose -2*z = 4*f - z - 779, -5*f = 4*z - l. Which is bigger: f or 195?
f
Let q = 286 + -283. Suppose 2*p = 5*w - 7, 4*p + 5 + 2 = q*w. Is -72 smaller than p?
True
Let h = -132.1 - -163. Let k = 0.7 + -31.7. Let w = k + h. Which is smaller: w or -2/5?
-2/5
Let r(y) be the third derivative of -y**6/120 + 3*y**5/20 - y**4/2 - 2*y**3 - 23*y**2. Let w be r(8). Let m = -47 - w. Is -3 at most m?
True
Let w = -1299 - -1321. Which is greater: -2 or w?
w
Let q be (-78)/156*(-2)/(-1)*-2. Suppose 3*k - q*y = -2713, 1047 = 2*k - 3*y + 2859. Is -903 less than or equal to k?
True
Let b = 31587 - 31537. Which is bigger: b or -127?
b
Suppose -4*t - c + 8 - 115 = 0, 0 = -5*c + 5. Is -14 > t?
True
Let x be 8236/1278*(-36)/(-14). Is 17 greater than or equal to x?
True
Let p(t) = -t**2 - 17*t + 35. Let r be p(-19). Let n be -222 + (2 - 5 - (r + -1)). Which is bigger: -220 or n?
-220
Suppose -u = u + y - 11, -5*u = 4*y - 32. Suppose 12 = 4*x - 3*v - 23, -10 = 2*x + u*v. Suppose -z + 4*b - 9 = -6*z, 0 = -x*z + 5*b. Which is greater: -2 or z?
z
Suppose 38*o = 184*o + 122*o - 8