6, 0 = -4*k + 2*k - s - 350. Let z = -182 - k. Is -11 > z?
False
Let u be -1 + -2 - (26 - 27). Let j = -3/32 + -33/32. Which is greater: j or u?
j
Let x be (54/4)/((-30)/40). Let y be (-27)/x*-13 - 6/(-4). Which is bigger: y or -21?
y
Let x(k) = -46*k**3 - k**2 + 2*k + 2. Let d be x(-1). Let f = -42 + d. Suppose 9 = 5*s - 0*n - 2*n, -f*s + n = -5. Which is smaller: s or -24?
-24
Let l = 2651 + -2700. Which is smaller: l or -60?
-60
Suppose 0*r = -5*c - 4*r - 13, -c - 2*r - 5 = 0. Let x = -166 - -172. Let l be (x/72)/(c/(4/(-9))). Which is bigger: 0 or l?
l
Let h(f) = 18 - 4 - 5 + 58*f. Let o be h(1). Is o less than or equal to 66?
False
Let p = 29588 + -29587.8. Is p greater than or equal to 92/37?
False
Suppose 0*h = -5*h - 3*d - 84, 5*d = 10. Let i be (1050/875)/(4/(-10)) - 21. Which is smaller: i or h?
i
Let b = 4606 + -2132. Is -2 less than b?
True
Suppose 5*o - q - 3*q = 20, 0 = 2*q - 10. Let g = o - -110. Which is smaller: 119 or g?
g
Let k(l) = 14*l**2 + 1428*l + 222. Let o be k(-102). Is 213 greater than or equal to o?
False
Let u = -673.263 - -674.7. Is u >= 0?
True
Suppose 0 = 13*c - 287 - 298. Suppose 2*k = -2*k + 2*g + 182, -5*k - 5*g = -220. Do c and k have different values?
False
Let w = -906.2 - -914. Let f = -6.8 + w. Is -2 equal to f?
False
Let n be -5 + 0/(9/(-3)). Let d be -2*(-6)/(-8)*-2. Suppose 18*x - 30 = d*x. Which is smaller: x or n?
n
Suppose 2*b = m - 1292, 2*m - 908 = -2*b + 1640. Which is bigger: 1270 or m?
m
Let m be (13/(39/(-298)))/(3 + (-40)/12). Is m >= 303?
False
Let q = -14243 + 14244. Which is bigger: q or 114/23?
114/23
Let v = 72 + -85. Let h = 72 + v. Let n = h - 66. Does 0 = n?
False
Suppose 3*z - 114 + 44 = -5*v, 5*v = z + 70. Let w be 4/v - 1922/6776. Are -1 and w equal?
False
Let o(t) = -16*t - 9. Let k be o(2). Let u = 41 + k. Suppose 42 = -3*i - u. Which is greater: i or -13?
-13
Suppose -4*d - 16 = 2*w, 10*w - 7*w + 2*d = -8. Let l = w + 1. Which is smaller: l or 44?
l
Let r = -7664 + 7756. Which is bigger: r or 90?
r
Suppose 25 = -3*u + 5*u + r, -70 = -5*u - r. Let p be (-1 - (-9)/(-1))/(-1). Is p <= u?
True
Let w(g) = -g**3 - 3*g**2 - 5*g - 5. Let u be w(-2). Let i be ((-2)/(-674))/((-3)/(-6)). Are i and u non-equal?
True
Let j be (-794)/(-18) - 1/9. Let d = -85 + 53. Let k = j + d. Is 1/4 bigger than k?
False
Let n(t) = t**3 - 4*t**2 + 2*t - 2. Let i be n(4). Let q be (-25)/(3900/24) + 4193/637. Which is greater: i or q?
q
Let n = 12010 - 1140964/95. Which is smaller: n or -0.3?
-0.3
Let k(u) = 6*u - 50. Suppose p + 29 = 4*i, -i = 2*i + 4*p - 36. Let v be k(i). Let h = -389 + 6611/17. Which is smaller: v or h?
v
Let c = 17.024 + -17.204. Which is smaller: c or 4.3?
c
Let k = 2302 + -2303. Let c = 0 - 0.05. Let w = c - -0.02. Are w and k non-equal?
True
Let g = 0.11 - 4.11. Suppose -4*f - 3*c = -12, f = -0*c + 4*c + 22. Let k be (-54)/225*(-10)/f. Which is smaller: g or k?
g
Let t = -44/3 - -134/9. Which is smaller: 404 or t?
t
Suppose -3*d - 6 = 5*r - 28, 3*r - 15 = 0. Let t be (4/(-6))/(5/(-15)). Suppose 0 = -n + 2 + t. Which is bigger: n or d?
n
Suppose 0 = 4*h - z - 22, -3*h - 5*z = -4 - 1. Suppose -q + 456 = h*t, q = 4*t - 4*q - 359. Which is bigger: t or 90?
t
Let a = -99 - -111. Let i be (-6 + a + 43)/1. Is i smaller than 48?
False
Let n be 4170/(-14) - 564/(-658). Is n less than or equal to -298?
False
Suppose 5*p = 7*p - 3*v + 8234, 4*p + 16464 = 5*v. Let l = p + 1459406/355. Which is bigger: -1 or l?
l
Let w = 6510 + -6510.03. Is w greater than 0?
False
Suppose -3*z = 4*t + 5, -z + 4 = 2*t + 7. Let o(b) = b**2 - 7*b - 19. Let h be o(t). Is 1 greater than h?
True
Let x = -0.16 + 0.26. Let r = 140 - 144.28. Let m = 4.2 + r. Is m less than x?
True
Let z be (-11792)/40 - (-13)/(-65). Suppose 291 = -x - 2*w, -5*w = -3*x - 2*w - 891. Are x and z equal?
True
Let n(m) = -307*m - 508. Let d be n(-8). Which is greater: 1952 or d?
1952
Let n = -22 + 60. Suppose -a + n = a. Suppose -21 = -2*d - a. Which is smaller: d or -1/25?
-1/25
Let y = -613 - -614. Let x be ((6/(-4))/((-3)/2))/y. Which is bigger: x or 4/9?
x
Let p be (2/4)/((-2)/68). Let q be (12 - 0) + 11/(11/(-4)). Let v be q/20*(p + -3). Which is smaller: v or -27/4?
v
Let t be (-8)/36 - 1/(14436/(-10444)). Let q = -1/802 + t. Let j be 1*(1 - 0/(-2)). Which is bigger: j or q?
j
Suppose 15 - 3 = 6*c. Suppose c*j - 2*j = 4*j. Suppose j = -7*h - 0*h - 273. Which is smaller: -38 or h?
h
Suppose -2*w - 166 = 4*v, -4*w - 4*v - 326 = -2*v. Let b = w + 81. Which is smaller: b or 5/66?
b
Let y = 15 - 10. Suppose -y*k + 48 = 7*k. Suppose 5*z = -3*x - 32, 5*z + k*x + 31 = -0*x. Is z at least as big as -7?
True
Let t be 1157/42*(-19)/2337. Let x = t - -1/574. Which is greater: x or -7/15?
x
Let z = -231 - -369. Suppose -386*u + 380*u + z = 0. Which is greater: 45/2 or u?
u
Let c = 54.2 + -57.39. Let v = c - -3.11. Is 22 != v?
True
Let u be (-36)/(-6)*17 + 2. Suppose 0 = 3*p + u + 28. Which is smaller: p or -45?
-45
Let u = 305079 + -305078. Let k = 22.044 + -0.044. Let g = k - 24.1. Does u = g?
False
Let w = -21464.069 - -21487. Let n = w - -0.069. Let a = n - 21. Is 1/2 < a?
True
Let x = 1.96 - 0.16. Let f = 5.8 - x. Is -0.12 < f?
True
Let p = -10886/1311 - -464/69. Suppose -3*t - 9 = -3*g, -5*g + 2 = -3*t - 5. Do g and p have the same value?
False
Let s = 229 + -232. Let b be 2/s + (4 + -2)/12. Is -0.28 at most b?
False
Let l = 3042989/278 - 10946. Which is greater: 0.5 or l?
0.5
Let x(z) = 787*z + 224. Let m be x(20). Let t be m/312 - (-2)/(-12). Is t <= 53?
True
Suppose 22*b - v + 46 = 17*b, 0 = 5*b - 4*v + 34. Suppose -18 = i + i. Which is smaller: i or b?
b
Suppose 19*m + 1611 = -1904. Let b be (-10 - m/20)*(-16)/74. Which is smaller: b or 1?
b
Let f = 2607.72 + -53.72. Which is greater: f or 0?
f
Let c = 1552 - 1558. Which is smaller: c or 1.87?
c
Suppose -2*j = 10*j + 69*j + 161595. Which is smaller: -1992 or j?
j
Let g = 2118 - 2059. Is 14 greater than or equal to g?
False
Suppose -o - 84 = v + 31, -v = -o + 121. Which is smaller: -0.05 or v?
v
Suppose 2*m - 38 = -4*o + 6, -3*o - 5*m = -40. Suppose k - 5*w = -4*k + o, -2*k = -3*w - 7. Let x = -1/2 + 0. Which is smaller: k or x?
k
Let h be (55/22975458)/(2/(-8655)). Let z = h + -1/4903. Let u = z + 4589/4260. Do 2 and u have the same value?
False
Let k = 7/39544 + 44605387/1384040. Which is smaller: k or 32?
32
Let q be 28/182 + 1/(1040/(-303)). Does q = -1?
False
Suppose -3*p = -5*p. Suppose 0 = -2*i - 10, -5*i + 16 = -2*j - i. Let u be 162/68 + (-1)/(j/(-45)). Which is smaller: u or p?
u
Let u(o) = -3*o + 81. Let g be u(13). Suppose 0 = -4*c - g + 6. Are c and -59/7 equal?
False
Let a = -11 - -27. Let t = 1020 + -1036. Let j = t + a. Which is bigger: j or 0.08?
0.08
Let d(b) be the first derivative of b**4/4 + 4*b**3 + 13*b**2/2 - 20*b - 47. Let g be d(-10). Let c be -3 + 1 + 6 + 47. Which is smaller: g or c?
g
Suppose -8*b + 24*b = 48. Suppose -o = 3*x + 5, b*x - 2*o - 2 = -1. Are x and -18/13 unequal?
True
Let o be 41 - -6 - (-3)/1. Suppose 2*i = -w - 10, -5*w + 2*i - o = -2*i. Suppose 5*z = -4*r - 43, r + 0*z + 17 = 5*z. Which is bigger: w or r?
w
Let n be ((-4)/32)/(9/(-12)). Let m = -24.6 - -11.5. Let l = m - -13. Which is bigger: l or n?
n
Suppose 5*g - 4*l - 412 = 1673, 0 = -l. Suppose g*w + 4 = 421*w. Is w > 15?
False
Let r = 61443/4 - 15361. Which is smaller: r or 16/81?
r
Let w = 7025.4 + -7026. Let g = -2.4 - -2.2. Which is bigger: g or w?
g
Let z be -6 + 2140/276 - (-110)/(-66). Let k = -7.8 + 10. Which is smaller: k or z?
z
Suppose 60*x - 624 = 64*x. Let t(r) = -36*r**2 + 10*r + 9. Let p be t(-2). Which is bigger: p or x?
p
Let g = 8.864 - 2.22. Let b = g - 0.644. Is 26 smaller than b?
False
Let w = 37.5 + -4.5. Let s = w - 6. Let g = 28 - s. Does -1 = g?
False
Let f = -799 + 1391. Let n = f + -591.9. Which is smaller: -26.5 or n?
-26.5
Let w = -325275 - -2273148/7. Is w >= -539?
False
Let j = 262 - 29. Let t = 219 - j. Which is greater: t or 4?
4
Suppose 0 = 5*m + 5*l + 7 - 57, -l + 58 = 5*m. Let v(y) = -4*y**2 + 7*y - 4. Let s be v(4). Let w be s/m + (-2)/(-6). Is w greater than -3?
False
Suppose 0*i + 2*i - 5*f + 71 = 0, -3*f = -2*i - 81. Let h be (27/(-4))/(12/i). Suppose 3*q = -4*w + h, 3*w + 2*w = -5*q + 40. Which is smaller: q or 15/4?
15/4
Let p = 16716 + -16729.33.