l to s?
False
Suppose 3*o - 60 = -5*y, -3*y - 80 = -8*y + o. Suppose 0 = 31*u - 16*u - y. Which is bigger: -3/28 or u?
u
Suppose 17*z - 30 + 113 - 32 = 0. Let s = -6 - -8. Suppose -3*b - 11 = 2*a - 8*b, -s*a + b = 7. Is z at most as big as a?
True
Suppose 0 = f + 6*h - 2*h, 2 = -2*h. Suppose -2*v + 4*x = 8, -2*v - 5*x = -23 - 14. Suppose -f*g + v*g - 2 = 4*t, -t = 0. Is -1/125 at most as big as g?
True
Let j be (-33 - 152720/(-175)) + (-2)/7. Which is smaller: 838 or j?
838
Suppose -33*q = -29*q - 12528. Suppose -q = -7*x + 1103. Let i be x/(-280) - (-2)/7. Is -2 at least i?
False
Let b be 4/(-12) - 63/135. Suppose 16*y + 825 = 11*y. Let q be (-44)/y - (-4)/30. Which is smaller: b or q?
b
Let h be (564/(-36) + (-2 - -4))/(5/55). Suppose 0 = -11*o + 5*o - 894. Which is smaller: o or h?
h
Let v(w) = -46*w - 32. Suppose l - r = -5, 7*r + 15 = -2*l + 4*r. Let x be v(l). Is 245 equal to x?
False
Suppose -32 = -5*i - 2. Let l be (-5)/15 - (-62)/i. Suppose -244*a + 247*a + 3 = 0, 3*h - a = 22. Which is greater: h or l?
l
Suppose -5*f = -f. Suppose f = -4*c - 5*s - 29, -2*s + 20 = -5*c - 5*s. Suppose 0 = 49*p - 217 + 1 - 29. Is p > c?
True
Let g = -34/7 - -368/21. Let p = -87403/9 + 9699. Let r = p + g. Is -0.9 < r?
True
Suppose -23*s + 12796 = 5*s. Let h = s + -453. Is h <= -56?
False
Suppose 4*q + 5*f + 75 = 19, 0 = -3*q - 3*f - 42. Let h be 7*(3 + (-3)/(-21)). Suppose 2*x + h = -6. Is q greater than x?
False
Suppose 0 = -4*j - 4, -4*j = -2*u + 6*u - 112. Suppose -u = 19*t - 200. Let i = 4595/468 + -8/117. Is t < i?
True
Let i be (1496/(-308))/(-2*(-3)/21). Does i = 97?
False
Let v = 0.0115313 - 289.9825313. Let y = -290 - v. Is -1/2 > y?
False
Let t be ((-2)/(-285))/((290/(-4) + -4)*-4). Is t at least 1?
False
Let i(o) = -6 - 4*o + 2*o**2 + 3 + 5 - 4. Let l be -6*3/(6*-1). Let c be i(l). Is c greater than or equal to 11?
False
Suppose 2*r = -2, 2*u = -1294*r + 1290*r - 4. Is u >= 1/1147?
False
Suppose -2*a = -s - 29, -4*a + 38 + 21 = -s. Let n = -13 + a. Suppose d = -n*w + 1 - 0, -2 = -d - 3*w. Is d < 2/115?
True
Let r = -12458/3 - -4157. Which is smaller: -3/23 or r?
-3/23
Suppose -5*b - 25 = -j, 9*b + 3*j + 1 = 5*b. Let r be -1*(1 + b)/(-3). Which is smaller: r or 1/559?
r
Let q = -0.0149 - 20.2201. Let c = 20.2 + q. Is c < -0.2?
False
Suppose m - 6*h - 9 = -3*h, -m + 9 = -4*h. Suppose m*i - 257 = -419. Which is greater: -130/7 or i?
i
Let j = 2915 - 12218. Is j <= -9304?
False
Let t = 120278.96 - 120279. Let u(r) = -r**2 - 4*r - 5. Let w be u(-4). Is t not equal to w?
True
Suppose -4*s = -6 + 2. Suppose -2*t = -t - s. Suppose -x + q + 23 = 2, 3*q = -2*x + 17. Is x at most t?
False
Let t = 5084 + -4735. Is 347 < t?
True
Let s be 4 + (-8)/(-6)*(-14 - -8). Let m be ((-16)/36)/s + (-1570)/(-45). Which is smaller: m or 32?
32
Suppose 0 = -37*d - 102 + 1545. Let g(s) = s**2 + 11*s - 66. Let w be g(6). Is d <= w?
False
Suppose -o + 5 - 2 = 0. Suppose -o*s = w - 21, -3*s - 2*s + 2*w + 46 = 0. Let z be 2/s + 1560/(-4704). Which is smaller: 0 or z?
z
Let c = -181 + 184. Suppose -165 = -c*t - 12*t. Which is bigger: 29/3 or t?
t
Let j(h) = 10*h + 44. Let a be j(-5). Suppose 0 = 2*z + 5*o + 5, -3*o = 4 - 1. Let r = a - z. Is r bigger than -6?
False
Suppose 62 = -3*d + b - 0*b, 48 = -2*d + 4*b. Let x = 25 + d. Suppose 0 = x*k, k = 5*u - 0*u + 20. Is u bigger than -6?
True
Let j = -20 - -20. Let c = -0.0984 + 0.1034. Which is bigger: j or c?
c
Let y be 2/(-4) - 29/(-2). Suppose 28 = -13*o + 14*o + 3*x, -o - 2*x + 24 = 0. Which is greater: o or y?
o
Let w be (-4 + 5)/(1/(-46)*-2). Suppose -f = -h + 12, 3 = 4*f + 3*h + w. Is f at least as big as -79/10?
False
Let u = 46 - 43. Suppose -4*c + 4*n = -n + 8, 0 = -4*c - u*n + 24. Let y(b) = b**3 - 4*b**2 - b - 1. Let a be y(c). Is a <= -13?
True
Suppose -h + 280*z + 3062 = 285*z, 12167 = 4*h + 11*z. Is h less than or equal to 3013?
False
Let p = 26 + -833/32. Let a(x) = x**3 + 16*x**2 + 7*x - 9. Let d be a(-1). Do p and d have different values?
True
Suppose -y + 3*c = 14, 0 = 5*y + 3*c - 0*c - 20. Let i be 6 + (0 - y - -1). Let k = i - 5. Is -3/20 smaller than k?
True
Let q = 4 - 3. Let a be 30/52*(15/(-210) - 4/(-7)). Which is smaller: q or a?
a
Suppose -k = -a - 8, 0 = -2*a - 10 + 2. Suppose 5*m = -10, 12 + 0 = -2*j - k*m. Let y be (j/3)/(-1*1/15). Which is smaller: 0.2 or y?
0.2
Let m = -2.881 - -10.881. Is m > -1.3?
True
Let v = -156 - -74. Let t = 88 + v. Let m be 102/(-196) - ((-21)/t)/7. Is -1 < m?
True
Let o be (-56)/3*4515/(-70). Is o equal to 1204?
True
Let w = 49 - 48. Let v be 9 - (0 + -4 + w). Let k be (0 + 25/(-3))*v/(-16). Do k and 6 have the same value?
False
Suppose -55*p - 105 = -52*p. Let l be 54/8 + (4/(-16))/(-1). Let f = p + l. Which is greater: -26 or f?
-26
Suppose 5*u = -12 + 32. Suppose -u*o - 23 = 5. Which is smaller: o or 9?
o
Let d be (462/1155)/((-4)/(-5) + 0). Let x = -189.038 + 192. Let a = 0.038 + x. Which is smaller: d or a?
d
Let t(b) = -108*b + 5586. Let g be t(45). Which is greater: g or 7?
g
Let q(u) = u**3 - 9*u**2 + 9*u - 3. Let c be (-8)/(-2) + -9 + 13. Let g be q(c). Which is bigger: 2/5 or g?
g
Suppose -5*k = 5*x - 20, -5*x + 2*k = -0*k - 20. Suppose -3*d - 2 = 4*l + l, -x*d - 22 = -3*l. Let c be ((-12)/(-9)*d)/((-4)/(-18)). Is -26 >= c?
False
Suppose 7*x - 3350 = 9*x. Let o = 299826/179 + x. Which is smaller: o or 1?
o
Let w = 162154/1257 - 129. Is 0 at most as big as w?
True
Suppose i - 6 = 2*j + j, -4*i - 3*j = 6. Let d be i - (55/27 - 2). Let t(a) = -a**2 - 187*a + 960. Let s be t(5). Is d <= s?
True
Let a = -124489 + 124531. Let b = -5 + 0. Does b = a?
False
Let i(h) = -h**2 - 21 - 4 + 2*h + 17*h. Let g be i(8). Is 63 equal to g?
True
Suppose -4*x + 12 = -x. Suppose 113 = x*w + 97. Let h be 1/((-8 - 1) + w) - 0. Do 1 and h have the same value?
False
Let j = 2597923/335 + -7755. Suppose -4 = 3*o - 4. Suppose o = -2*f - 0*f + 2. Which is smaller: j or f?
j
Suppose -15*i + 102*i = -5*i. Let p = -850/7 - -158943/1309. Is i > p?
True
Let d = 35460 + -33266. Which is smaller: d or 2193?
2193
Suppose -324 = -3*n - n. Let t = -52 + n. Let o = -0.184 - 1.816. Is o smaller than t?
True
Let o be (-397756)/(-22) - 1 - (-75)/(31350/76). Which is greater: 18078 or o?
o
Let m = -47475 - -47474. Suppose 9*a = 4*a + 70. Which is greater: a or m?
a
Let p = 0 + -3. Suppose -697*l + 673*l - 1248 = 0. Which is smaller: l or p?
l
Let n = -250.2 - -254. Let h = n - 3.7. Which is bigger: -0.18 or h?
h
Suppose -4*s + 7*s = 3*x - 3, -4*s = -x - 5. Let c be 94/32*156/171. Let o = 4/57 + c. Which is bigger: x or o?
x
Let t(b) = 9*b**2 - 27*b - 240. Let r be t(7). Which is bigger: r or 14/19?
r
Suppose -17*o = 1209 + 559. Let y = 103 + o. Which is smaller: y or 4/51?
y
Suppose -2*g - 2*s + 11 = -s, g + 5*s = 10. Let v be (-21)/(((-12)/(-30))/(14/g)). Is v bigger than -148?
True
Let q = -1265440559/18448 + 68595. Which is greater: q or 1?
1
Let g be 96*(-1)/((-12)/6). Let m = -603/13 + g. Do m and 3 have different values?
True
Let x = -70.2 + 68. Let n = -2.3 - x. Let v = n - -2.1. Which is greater: v or -6?
v
Suppose -88*n = -320*n - 157760. Is n equal to -680?
True
Let u = 3393 - 359657/106. Let b = 0 - 0. Suppose b = -3*x + 6*x - 3. Which is smaller: x or u?
u
Let g = 9430097 - 3202105. Let w = 242924251/39 - g. Let o = w - 835. Which is smaller: o or 1?
o
Suppose -37*y = -39*y + 56. Let f be 1 - 30 - (-8)/y*-7. Which is greater: -30 or f?
-30
Suppose 3*g - 378 = 5*t, -4*t - 320 = -25*g + 27*g. Suppose 3*q = 5*b - 217, -14*q - 170 = -12*q + 3*b. Is q smaller than t?
True
Let h = -5940 + 5089. Is h less than -851?
False
Suppose -8 = -4*t + 4*c, -2*t + 4*c + 1 = -c. Let m be t - (-2 - -3) - 12. Let k be (-46)/4 + (-4)/(-8). Which is smaller: k or m?
k
Let a = -9028.9 - -9029. Is 5.362 greater than a?
True
Let j = -2 - -2. Let p = -4 + j. Let r(m) = -m**2 + 5*m - 4. Let a be r(5). Are a and p nonequal?
False
Let z = -13426 - -13566. Is z > 130?
True
Let v = -147 + 55. Let p = 92 + v. Which is smaller: -4 or p?
-4
Let i(c) = -4*c**2 + 27*c + 93. Let q be i(-4). Suppose -o = -0*o - 5*m + 3, 3*o + 9 = 3*m. Which is smaller: q or o?
q
Let k(g) = 102*g - 407. Let i be k(4). Let d be (-2500)/252 - (-2)/(-9). Let o = d + 753/77. Which is bigger: i or o?
i
Suppose 0 = -t + o + 59, 3*t + 4*o - 322 = -2*