9/22 or w?
9/22
Suppose -82*r = -58*r + 11976. Let p = -571 - r. Are -71 and p non-equal?
True
Let m = 84 - -55. Suppose 135*d - m*d + 16 = 0. Which is bigger: 41 or d?
41
Let h(w) = -w**3 - 2*w**2 + 1. Let o be h(-2). Let t = 404 + -350. Let v be ((-2)/t)/((-51)/(-306)). Which is bigger: v or o?
o
Suppose -1560 = -28*o + 9*o + 2544. Is o > 211?
True
Let a = -1506 - -19563/13. Let y = a + 1. Which is smaller: y or 1?
y
Let z be (-3)/7 - 12/21. Let j be (12/(-13398))/(2/1174). Let n = j + 16/29. Is z != n?
True
Suppose 5*k + 9*k = -492 + 520. Let z = -0.44 - -27.44. Let n = -18 + z. Which is smaller: k or n?
k
Suppose -10*u = -103 + 283. Let o be (-2)/(-6) - ((-24)/u - 0). Let t be ((-57)/(-266))/((-18)/(-7)). Which is greater: t or o?
t
Let w = -8 + 11. Let k be 73 + (7 + 28)/(-7). Let h be -3 - k/16*(-2)/w. Are 1 and h nonequal?
True
Let x(u) = u**2 - 3*u - 7. Let i be x(-4). Let z be i/((-63)/(-24) + -3). Let l be 64/z*105/(-54). Is l > 1?
True
Suppose -14*j - 39 = -53*j. Is j < -2/5151?
False
Let s = -0.0096 + 0.1546. Let m = s + 0.055. Which is smaller: m or 106?
m
Let h = 726.138 + -726. Let x = 26.9 + -27. Is h < x?
False
Suppose 27*d = 7830 - 8775. Which is smaller: d or -1660/49?
d
Let c(b) = -719*b - 7459. Let h be c(-13). Is 1/3 equal to h?
False
Let l = -141 - -140. Let y = l - -60. Let n = 58.86 - y. Is n <= 0?
True
Let r be ((-2)/(-8))/((-16)/144). Let b be 14/(-3)*180/(-42). Let u = 18 - b. Which is smaller: r or u?
r
Let u be 365 + (-24)/3 + 9. Let i = -201 + u. Is i bigger than 165?
False
Suppose 0 = -u + 4*k + 16, -4*u - k + 7 = 2*k. Let i be (-4 + (-28)/(-8))/(u/16). Suppose -7*x + 3*x - 4*p = -8, 0 = 5*x - 4*p + 26. Are x and i nonequal?
False
Let q(m) = m**3 + 8*m**2 - m - 4. Let v be q(-8). Let d(s) = 9*s - 35. Let x be d(v). Is x equal to 1/224?
False
Suppose 2*n - 20 = 4*z, -z = 2*n - 3*n + 11. Suppose 0 = 4*v + n, 3*v = -4*u + 2*v + 9. Let a be 1/5*13/1. Is u greater than a?
True
Let h = 30342661579469/4107 + -7388035408. Let r = 3/1369 - h. Which is greater: -38 or r?
-38
Let z = -130 - -205. Let h = z + -72. Suppose -h = 14*x - 87. Are 24/5 and x equal?
False
Let l = -14044 - -14044.008. Which is smaller: -37 or l?
-37
Let q = 129 - 129.53. Let x be (7 - -1) + (-93)/12. Is q >= x?
False
Let x = 18602980/651 + -28576. Is x at most as big as -1?
False
Let o = 1265 + -11401/9. Let i = o - -56/9. Let q = 391/90 - i. Is q at most 1?
True
Let z = -21819571/516 + 42286. Which is smaller: z or 0?
0
Let o(n) = n**2 + 4*n - 14. Let l be o(-6). Let b be 6/54*(2 - (-2 - l)). Which is smaller: 0 or b?
0
Let v = -11848 + 11848.2. Which is greater: 2954 or v?
2954
Let c(u) = 2*u**3 - 3*u**2 + u + 4. Let w be c(-2). Do w and -23 have the same value?
False
Suppose 105 = -2*k + 31. Let b = -6 - k. Let v = b - 156/5. Are 1 and v non-equal?
True
Suppose -3*s = p + 2461, -8*p = -3*s - 5*p - 2481. Which is greater: -827 or s?
s
Suppose -4*u - 10278 = -7*u - 15*u. Is u greater than 567?
True
Let w = 8 + -8. Let j(b) = -b**3 + 2*b**2 - 3*b + 2. Let g be j(1). Let d be (-32)/120 - (g + 0)/(-1). Which is greater: w or d?
w
Suppose 0*s = 2*i - 4*s + 8, 3*i - 2*s = 0. Suppose i*d + 40 = 3*q, q + 0*d - 4*d = 10. Suppose -262*w + 13 = -261*w. Is q >= w?
True
Let m = 13881088/259 - 53595. Is m at least -1?
True
Suppose 27 = -3*q + 4*p - 4, 4*q - p + 11 = 0. Which is greater: -1848 or q?
q
Suppose 5*y + 7 = -4*n, 0 = -5*n + 8 - 23. Let f be -8 + 3 - -8 - 10/((-10)/(-3)). Is f >= y?
False
Suppose -3*h = -r - 4, 2*h + 49*r - 44*r + 37 = 0. Is -54 at least as big as h?
False
Let o(c) = -c**3 - 18*c**2 + 20*c - 32. Let p be o(-19). Let h be p/(-7) - -1*(-2)/7. Suppose -h*w = -183 + 22. Which is greater: w or -1?
w
Let u = -72 - -78. Suppose 2*l - 24 = u*l. Let n = l - -1. Is n bigger than -31/6?
True
Let k be -12 + (-2290)/30 + 8/6. Is -73 bigger than k?
True
Let j = 5786 + -5786. Let w = -16 + 15. Which is smaller: w or j?
w
Let k be (6517/95 + -7)/(4/5 - 1). Is -2153/7 smaller than k?
False
Let o = 10.54 - 0.94. Let r = -10 + o. Let j = 4997/15 + -333. Which is smaller: r or j?
r
Let r be (-4)/(-40) - -11*5/450. Let g = -2.23 - 36.47. Let w = 36 + g. Which is greater: w or r?
r
Let g be 1034/2585*3/2. Which is bigger: g or -79.9?
g
Let u = 5049 + -5051. Which is smaller: 170 or u?
u
Let r be (-2 - (-1 + 0))*3. Suppose 4*h + 193 = -79. Let g = 64 + h. Which is greater: g or r?
r
Suppose a - 37 = 8. Suppose -a = 5*y - 0*y. Suppose -2*h - 107 = -93. Are h and y nonequal?
True
Let u = 4136109886/7423787 - -2/1060541. Let p = 241163/434 - u. Let m = p + -1/31. Is -1 less than or equal to m?
False
Let i = 0.94 + -1. Suppose 14*c - 7 = 15*c. Let h be 3/9 - c*7/(-588). Which is bigger: h or i?
h
Suppose -14*i = -30*i - 59*i - 343875. Is i > -4586?
True
Suppose -8*d - 87 = -135. Is d less than or equal to -149?
False
Let a be (72/(-630))/((-23)/(-920)*(-4)/(-8)). Let b = -21 + 13. Which is bigger: a or b?
b
Let x = -2561 - -2393. Is -506/3 < x?
True
Let n be 7/((-105)/6) + 576/15. Let j be n*(3 + -1 + 21/(-12)). Which is smaller: j or 9?
9
Let l = 2/221 - 673/1105. Let z be (-12)/12 - (2 + -6). Suppose 6*t - z*t = -21. Is t at most as big as l?
True
Suppose -7*o = 9*o + 8*o + 15072. Which is greater: 0.3 or o?
0.3
Suppose -99*d - 175714 = -176*d. Which is smaller: d or 2289?
d
Let u(g) = g**2 - 10*g - 206. Let v be u(21). Suppose 0 = 33*c - v*c - 8. Let r = 923857/215 + -4297. Is c less than r?
False
Suppose 4*l - 579 = -g, -2*l + 7*l + 3*g = 729. Suppose -l*a - 69 = -147*a. Which is greater: 4 or a?
a
Let n = 358 - 172. Let b = -189 + n. Which is smaller: b or -2/25?
b
Let a = 3635 - 3824. Is -189 >= a?
True
Let n(v) = v**3 - 26*v**2 - 26*v + 1403. Let y be n(25). Is 62 != y?
True
Let s(u) = u**2 - 25*u - 72. Let l be s(33). Let q = l - 6719/35. Is -1/2 less than or equal to q?
True
Let p be -4 + ((-4)/10)/(3/(-384)). Suppose -3*a - 5*b + 169 = 0, -3*b = -5*a - 2*b + 235. Which is greater: a or p?
a
Let k(z) = -z**3 - 15*z**2 + 6*z - 16. Let f be k(-13). Let u be 2/(-12) - (-120)/f. Is u != 0?
True
Suppose 89*o - 187*o = -92*o + 15666. Which is bigger: o or -2617?
o
Let d(l) be the second derivative of -l**4/8 + 23*l**3/6 - 13*l**2/2 - 6*l. Let j(b) be the first derivative of d(b). Let t be j(8). Is -2/7 < t?
False
Let q = 73 + -63. Suppose -q*w = -143 - 127. Let a be w - -1 - (7 + -5). Is a < 27?
True
Let v(t) = t**3 - 26*t**2 - 27*t - 6. Let s be v(27). Let l(g) = g**3 + 7*g**2 + 4*g - 7. Let i be l(s). Which is greater: 72/13 or i?
72/13
Suppose 6*a - 26 = 4*a. Suppose a*o - 10*o = 87. Let i = -29 + o. Which is smaller: 2/71 or i?
i
Let s = 13/3034745 + 311974820069/157806740. Let j = 1977 - s. Which is greater: j or 0.2?
0.2
Suppose 296*l - 36 = 284*l. Suppose 3*v = -d - 1, v + 2*d + 4 = -3*v. Is l equal to v?
False
Suppose -945 - 117 = -2*z. Suppose -h = z - 457. Is -74 > h?
False
Suppose -3*p + 18 = 3*x, -4*x + 24 = -17*p + 16*p. Is 2/9 bigger than p?
True
Let u be -3 + (-262)/(-99) + (-1)/(-3). Let c = 308 - 307. Which is bigger: c or u?
c
Let a(j) = j**2 - 219*j + 1481. Let l be a(7). Do 1/115 and l have the same value?
False
Let b(z) = 9*z**3 - 2*z**2 - 5*z + 8. Let x be b(-2). Which is bigger: -55 or x?
-55
Let c = 0.1 - 8.1. Let q = c + 6.8. Let n = -1007 + 1008. Is q greater than or equal to n?
False
Suppose -1216 = -16*d + 5280. Suppose -d = -34*o + 41*o. Which is bigger: o or -59?
o
Let w(h) = -h**3 + 15*h**2 + 2. Let j be w(15). Let q = 95 - -7. Suppose -j*m - q = 4*m. Is -17 equal to m?
True
Let x be (-5 - -3)/((-15)/((-30)/(-4))). Which is smaller: 9/20 or x?
9/20
Let c = -2967.2 + 2967.039. Is 2 at least c?
True
Suppose 0 = -3*t - 0*t + 12. Suppose 0 = 4*d + 2*q - 78 - 100, 0 = -t*d - 4*q + 176. Let v = d - 44. Which is bigger: -1/9 or v?
v
Let y(j) be the second derivative of j**5/20 - 11*j**4/12 - 11*j**3/6 - 6*j**2 + 4*j. Let w be y(12). Let i = 3409/16283 - -1/857. Is w bigger than i?
False
Let i be (-330)/(-99)*6/4. Let f be 186/58 - 15/i. Is -1 >= f?
False
Let d = -2484 - -2465.27. Let x = -29.36 - d. Let y = x - -0.63. Is 0.03 less than y?
False
Let v = -6487 - -6804. Let j be (1060/25)/((-2)/(-15)). Is j < v?
False
Suppose 0 = -6*i - 5*i - 528. Suppose -l - j - 2*j - 40 = 0, 0 = -4*l + 2*j - 202. Is l greater than i?
False
Suppo