 202 - 87, -2*b = 4*y + 324. Let o be (-10)/65 + b/(-1326). Which is greater: o or 2/3?
2/3
Let v = 1485 - 1926. Which is smaller: -440 or v?
v
Let d = -6 - -22. Suppose 2*u = 8, -u - 3*u = 4*t - 92. Is d != t?
True
Let p be ((0 - -3) + -4 - 3)*(-1)/398. Let b(a) = a**3 + 3*a**2 + 2*a + 1. Let r be b(-2). Which is smaller: p or r?
p
Let n = -552 + 547. Which is bigger: -29/7 or n?
-29/7
Let d be (8/(-2) + 3)*3. Is -12 less than d?
True
Let h = -459 - -2262/5. Let l = -250 + 251. Which is greater: h or l?
l
Let a(c) = -c**3 - 24*c**2 - 63*c - 24. Let h be a(-21). Which is bigger: h or -23?
-23
Let x be 34/(-26) + 1/1. Let h(a) = -a**3 + 3*a**2 + 10*a. Let l be h(5). Suppose -4*n + 2*u = n + 9, 3*u - 6 = l. Which is smaller: x or n?
n
Let q = 0.124 + -0.177. Let j = 33.053 + q. Let a = j + -34. Which is smaller: -9 or a?
-9
Let x(j) = j**3 + 12*j**2 - 11. Let t(s) = s**2 - 11*s - 12. Let y be t(11). Let w be x(y). Which is smaller: w or -12?
-12
Let i = 58 - -5. Let g be ((-12)/i)/(-4) - 3/9. Which is bigger: g or 1?
1
Let d be -2 + (41/(-6) - (125/5)/(-5)). Suppose 1 = -z - 2. Is d not equal to z?
True
Suppose -15*v + 4 = -14*v. Suppose -y + 6 - v = 0, -4*y = 4*m - 4. Let j be 2/5 + (-72)/205. Which is smaller: m or j?
m
Suppose -2*k + 0 = 5*x + 1, -4*k = -3*x - 11. Which is smaller: -413 or x?
-413
Let n(j) = 11*j - 8. Let m(l) = -2*l. Let y(b) = 6*m(b) + n(b). Let c be y(-9). Which is bigger: 1/11 or c?
c
Let o be ((-1)/((-4)/32))/(-1). Let q(m) = 4*m**3 - 11 - 9*m - m**3 - 4*m**3 - 9*m**2 + 0*m**2. Let j be q(o). Is -2 less than or equal to j?
False
Suppose 0 = -3*u - 2*u. Suppose 4*q + 6 = 5*r, 2*q + 6 = -u*q + r. Is -3 at most q?
False
Let u = -371 + 1489/4. Which is bigger: u or -5?
u
Suppose 4*a = o - 12 + 11, -4*o = 2*a + 14. Is -7/36 at least as big as a?
True
Let j be (7/(-21))/(1/3). Let w = -981/7 - -53941/385. Is w equal to j?
False
Suppose -11*g = -6*g - 5. Let c be g - ((-340)/8)/5. Let t = -39/4 + c. Are t and 0 nonequal?
True
Let t = -1452353/6180 - -358/309. Let w = t - -234. Which is smaller: w or -1?
-1
Let m(n) = n - 2 - 10 + 6 + 3. Let k = -5 + 0. Let r be m(k). Which is bigger: r or 2/5?
2/5
Let z be (-46)/6 - 6/18. Let g be (-1 - 25)/(z/7). Let m = g + -23. Which is greater: 0 or m?
0
Let h = 14 - 11. Let x(p) = 3*p - 9. Let c be x(4). Is h > c?
False
Let g(x) = -x**3 - 6*x**2 - x + 2. Let m be g(-6). Let t be (24/(-5))/((-2)/(-10)). Let w be ((-6)/(-8))/((-3)/t). Which is greater: m or w?
m
Let j = -37 + 22. Let m = -105 - -121. Let x = j + m. Do x and 2 have the same value?
False
Let x = -182 - -412. Suppose l = 11*l - x. Is l less than 23?
False
Let v be -27*((-8)/(-30))/((-16)/(-40)). Let w be (-40)/6*(v - -21). Is -19 > w?
True
Let h be (-4)/(-8)*(10 - 0). Let o be -1*(h + -1 - -3). Suppose 0 = 2*t - 6*t - 28. Is o < t?
False
Let i = 412 - 409. Is 2 greater than i?
False
Suppose 1 = l - 0. Let y(j) be the third derivative of j**4/24 - j**3/3 + 11*j**2. Let u be y(-5). Which is greater: l or u?
l
Let s = 50.55 + -51. Let n = 0.5 + s. Which is smaller: n or 0?
0
Suppose 3*r + a = 2*a + 86, 5*a = -5*r + 150. Are r and 148/5 equal?
False
Let s = 249 + -250. Let c = 85/6 - 5191/366. Is s not equal to c?
True
Let f be 372/9*(1 - 4/(-8)). Let u be ((-8)/(-30))/(f/155). Which is greater: -2.1 or u?
u
Let m = 131 - 138. Which is smaller: m or -22?
-22
Suppose -1164 = 24*h + 996. Is h at most -89?
True
Let m = -15/23 + 91/69. Is -1 at most as big as m?
True
Let t = 80.2 + -80.2. Is t smaller than -297?
False
Suppose -2*q = 2*p + 48, -5*q - 2*p = 1 + 107. Let s = 36 + -55. Are q and s unequal?
True
Let w(y) = y**3 + 11*y**2 + y + 6. Let q be w(-11). Let o = 9 + q. Suppose r - 4*a + 1 = -o, -2*r = -4*a + 6. Is -1 greater than r?
False
Let h be -6*299*(-1)/(-7). Suppose 4*d = -20, 5*c - 4*d - 1300 = -2*d. Let a = h + c. Which is smaller: 1 or a?
1
Let t be 3 - (1 - 3)*1. Suppose -5*s - 5 = t. Let b = -6 + 3. Which is greater: s or b?
s
Let i(o) = o + 8. Let w(p) = p + 9. Let u(y) = -4*i(y) + 5*w(y). Let f be u(-12). Are f and 1 nonequal?
False
Let d be (-5688)/(-12880) + (-9)/21. Let u = d + -6479/2990. Which is smaller: u or -3?
-3
Let w = -396 - -398. Suppose q - 2 = 0, 5*j + 5 - 3 = q. Suppose j = -3*y - 0*y - w*f - 9, 3*y = f. Is 2/35 at most as big as y?
False
Let i = 130.03 + -130. Is -1 <= i?
True
Let z(d) = -d**3 - 11*d**2 - 9*d + 14. Let s be z(-10). Let r be (s/(-16))/((-4)/(-72)). Which is smaller: r or 0.2?
r
Let r(l) = -l**3 - 11*l**2 - 10*l - 14. Let o be r(-10). Let z = -15 - o. Let k = -8/9 + 7/18. Is z >= k?
False
Let s = -3 + -7. Let x = -59 - -76. Suppose -x + 8 = q. Which is smaller: q or s?
s
Let h = 126 - 111. Let j = 1.9 - -10.1. Let n = j - h. Which is smaller: -1/2 or n?
n
Let l be (-4)/12 - (-10)/3. Suppose -3*c - 7 = -1, 0 = l*t + 5*c + 10. Let j be 36/(-24)*1/(-93)*4. Which is bigger: t or j?
j
Let d = 7927/7 - 1133. Is 12.3 > d?
True
Let u = 5874/833 + -123/17. Are u and 1 equal?
False
Let a be (-2 - 0) + (-33)/(-16). Suppose 10 = -2*b, 4*b + 20 = 4*l - 0*l. Which is smaller: l or a?
l
Let z = 296 + -298. Which is smaller: z or 43?
z
Suppose 8 = -4*j, -2*b - 3*j = -4 - 2. Suppose -5*m = -0*m - l - 30, -m - 2*l = -b. Suppose 0 = -2*g - g - m. Which is smaller: -1 or g?
g
Suppose -4*t = 2*y + 652, 0 = -y + 2*t + 3*t - 333. Let h be 4/(-18) - y/18. Let p = 646 + -629. Which is smaller: p or h?
p
Let y = -2.6 - -0.2. Let t = y - -2.4. Is t at least as big as 32?
False
Let d be 4/(-22) - (-29128)/158873. Which is smaller: d or 2/5?
d
Let z be (2 + -5)/1 + (-4 - -6). Let j be -1 - (3 - 2) - 7. Let a = j - -4. Which is bigger: z or a?
z
Let r = 61/19 + -4537/1425. Let o = -79/150 + r. Let v = 4.92 + -5. Is o bigger than v?
False
Let s(i) = i**3 - 8*i**2 - 10*i + 9. Let g be s(9). Suppose 5*k = 44 + 146. Suppose 5*d = -3*y - k, 2*d + g = -y - 16. Which is smaller: -9 or d?
d
Let n = 43 + -28. Suppose 20*l + 30 = n*l. Are l and -8 equal?
False
Let v be (-3)/(-2)*8/210. Let r = -0.299 + 0.099. Which is bigger: r or v?
v
Let k be 25/860*618/75. Let f = -6/43 + k. Is f > -1?
True
Let z = -3726 + 510466/137. Is z greater than 0?
True
Let p = 12 - 49. Let m = p - -33. Is -22/5 < m?
True
Suppose 0 = -2*w + 1850 + 722. Let c be (w/(-42))/((-2)/(-10)). Let d = -153 - c. Is 0 bigger than d?
False
Let h = 0.2 + -0.07. Let m = -118 - -117.9. Which is greater: m or h?
h
Let v = 1083 + -1083.1. Which is bigger: v or 785?
785
Let j(f) = -5*f**2 - 1. Let w be j(1). Let z = w + 6. Which is smaller: -12/11 or z?
-12/11
Let x(n) = -134*n**2 + 1. Let d be x(1). Is d < -137?
False
Let r = -37 - -40. Suppose -p + 2*t - 2 = 0, -4*p - t - r*t + 28 = 0. Suppose 0 = -z + 2*g, -4*z - p*g = -0*z. Which is smaller: z or 5?
z
Let v(d) = 2*d - 16. Let c be v(12). Let q be ((-14)/(-84))/(6/c). Is 0 < q?
True
Let j = 0.11 - 1.61. Let v = 1.47 + j. Is 0.1 at least as big as v?
True
Let r = -14.424 + 14.5. Which is greater: 1 or r?
1
Suppose -5*b = -p - 5, 22 = -5*p - 4*b - 32. Let a be 4/20 - 8/p. Let f be 8/10*(-13)/((-182)/25). Which is smaller: a or f?
a
Let f = 9405 + -13204621/1404. Which is bigger: f or 0?
0
Let p = -116 + 114. Let t be (-6 + -1 + 2)/(-1). Let s = 4 - t. Is s smaller than p?
False
Let k = -17 - -11. Let z = 291.6 + -291.6. Which is greater: k or z?
z
Let z = 119 - 120. Let h(k) = -k + 2. Let v be h(z). Is 11/3 at most as big as v?
False
Suppose 4*i + 5*k = -44, -i = i + 5*k + 32. Let s be ((-16)/3)/(2/i). Are s and 16 nonequal?
False
Let x = 0.11 + -0.29. Let t = 0.38 + x. Let w = 8/77 + 2/11. Which is greater: w or t?
w
Let a(q) = -16*q. Let t be a(-1). Suppose -6*b - 2*b = -t. Suppose x - 16 = -n + 2*n, -4*n + 2 = b*x. Is 8 equal to x?
False
Suppose 6*l - 155 = l. Let s be 1360/45 + (-8)/36. Which is greater: s or l?
l
Let a(c) = c**2 + 13 + 12*c - 11 + 12. Let t be a(-9). Suppose 0 = -y - 12. Do t and y have different values?
True
Suppose 5*y + 25 = 3*t - 0*t, 2*y - 3*t = -1. Suppose 2 = 6*w - 7*w. Which is smaller: y or w?
y
Let n = 25 + -24. Let o be (-4)/n + 7 + -1. Suppose -t - 1 = -o. Which is greater: t or 1/14?
t
Suppose 2 = -4*k - 2, -2*i = -5*k + 63. Let u be (-2)/4 + i/(-52). Let t be 3*(-9)/135*5. Is t > u?
False
Suppose -t = -0*t - 6. Let v be (-3 - (-6 - 4/1)) + 1. Is v != t?
True
Let k be 1*-5 - 3