 r be 0/(-10) + (-110 - 4). Let y be (-1)/(-131)*(-76)/r. Is 0 smaller than y?
True
Let b = 2 + -3. Suppose -1645 - 1149 = 22*g. Let o = -130 - g. Which is greater: b or o?
b
Suppose 32 = 2*z - 4*q, 7 = 3*z - q - 16. Suppose 0*n = z*n + 48. Let g be (272/(-3))/n*6/22. Which is greater: 3 or g?
g
Suppose 5420 = -19*h + 18*h + 3*y, 16276 = -3*h + 5*y. Is -5434 >= h?
False
Let z(s) = -13*s + 872. Let a be z(81). Which is smaller: a or -179?
a
Let i be -3*998/36175 + 292/3650. Is i at most as big as 0?
True
Let o = 4175 - 3993. Let q(x) = 4*x**2 - 15. Let k be q(7). Which is smaller: k or o?
k
Let u = -0.006 + -0.624. Let f = u + 0.13. Which is smaller: f or 8/3?
f
Let j be (-6)/225*-5 - (23792/(-60))/(-4). Does -54 = j?
False
Let y = 41.67 + -40.18. Which is greater: 0.3 or y?
y
Let w(b) = -9*b + 233. Let x be w(26). Is x at least -8/811?
False
Suppose -3*u - 15 = 0, 4*q - 4*u - 46 = -18. Let g be 1/4 + ((-77)/(-12) - 0). Let n = g + -49/9. Which is smaller: q or n?
n
Suppose -16 + 1 = -3*s. Let q be ((-2134)/429 + 5)/(s/(-12)). Is -1 at most as big as q?
True
Let i(p) = 3*p**2 - 38*p + 62. Let o be i(16). Suppose 14*d - 3*c = 10*d - 849, d - 4*c = -o. Is d greater than -210?
False
Let l be 1614/(-12)*1*6/14*2. Are -116 and l nonequal?
True
Let a = -275 + 274. Let g(h) = -7*h**3 - 1. Let y be g(a). Let d be 18*(5/2 + -2). Are y and d non-equal?
True
Let y = -1650 - -1654. Let s = -25/144 + 5509/1872. Which is smaller: y or s?
s
Let n = 4538.4998 + -4538. Let u = n - -1.5992. Let r = -0.099 + u. Which is smaller: r or -1?
-1
Suppose 120*t = 380*t - 81640. Which is smaller: 316 or t?
t
Suppose 0*x - 3*q = x - 5, 5*x - 5*q - 5 = 0. Suppose 0 = 4*y - 5*n + 4, x*y + 4*n = 7*n - 2. Is y smaller than 2.37?
True
Let p(k) = -13*k - 74. Let r(v) = -69*v - 371. Let y(c) = 22*p(c) - 4*r(c). Let l be y(-9). Let w = 12 + -67. Are l and w equal?
False
Let m(t) = -538*t. Let p be m(-2). Which is smaller: p or 1074?
1074
Let q = -3484/15 + 232. Suppose 2*t - 8 + 2 = 4*k, 2*k = 6. Suppose -t*n - 41 = 32*n. Which is bigger: n or q?
q
Let q = 3404 - 3405. Which is bigger: q or 4/3807?
4/3807
Let l = 123.642 + -19.642. Is l equal to 20?
False
Suppose -4*x + 4*w + 24 = 0, -11 = -4*x + 2*w + 7. Suppose -5*d = x*r + r - 11, -5*r + 20 = 0. Let h be ((-3)/84)/(12/32). Which is smaller: h or d?
d
Let u be 5/1 - (11 + -8). Suppose u*y - 10 = -0*y. Suppose y*v - 2*i - 35 = 0, 0 = 2*v + 3*i - 2 + 7. Which is smaller: v or 21/5?
21/5
Let n = 17125 - 15689. Is 1442 >= n?
True
Let g(t) = -t**2 - 9*t + 3. Let i be g(-8). Let z = 125 + -194. Let u = -57 - z. Which is smaller: u or i?
i
Let c be 72/(-20) + 4/(-10). Let t = 737 - 2179/3. Let a = -16 + t. Is c bigger than a?
True
Let j be ((-69)/(-207) + (-12)/9)/((-10)/(-34)). Which is smaller: -7 or j?
-7
Let y be 1/(-7) - ((-2123)/(-308) - 7). Is y at most 0.009?
True
Let t(a) = -2*a**3 + 18*a**2 + 7*a - 60. Let j be t(9). Is 15/118 less than or equal to j?
True
Let a be (-3)/(-6)*0/(2/(-2)). Let j be -1*(1 - (a - 1)). Which is smaller: j or -20?
-20
Suppose -7*f = -6*f - 2. Suppose 0 = 2*w + f*n - 84, 2*n + 3*n = 5*w - 160. Let r = w - 37. Which is bigger: r or -2?
r
Let c(t) = 150*t**2 + 284*t + 1425. Let b be c(-5). Which is bigger: b or 3756?
3756
Let i(s) = 128*s + 15. Let v be i(4). Let x be (3/7 - v/119) + 50. Is x smaller than 46?
False
Let s = 2742798 - 123417518/45. Let u = -1340/9 + s. Is 38 >= u?
True
Suppose -5*z + 595 = 3*s, 2*s - 19 = -9. Suppose 3 = 5*c - 582. Is z <= c?
True
Let r = 29.075 + -0.075. Let u = r + -18. Let z = -11.2 + u. Is -0.05 > z?
True
Let n = -3443/3 - -1150. Is -2/41 <= n?
True
Let n = -4.849 - -2.245. Is 1 at least as big as n?
True
Let d(q) = -2*q**2 + 104*q - 805. Let v be d(42). Which is smaller: -86 or v?
-86
Suppose -4*i - 3*f - 86 = 0, 3*f + 38 + 28 = -3*i. Let h be 15*(1/2)/(13/(-26)). Are h and i non-equal?
True
Let r(o) = -4*o**2 + 13*o + 12. Let q be r(4). Which is smaller: q or 42/43?
q
Let p = -1436/2407 + 18/29. Let f(v) = 6*v**2 + 54*v - 10. Let b be f(-9). Let t(n) = 21*n + 209. Let l be t(b). Is p > l?
True
Let f = 192 - 192.1. Let z(c) = -12*c + 73. Let l be z(-6). Which is smaller: l or f?
f
Let l = -9865 - -9828. Are -72 and l nonequal?
True
Let s be 1/((-2)/(-4)) + 1 + -1. Suppose -s*m - 25 = -17. Suppose -6 - 3 = 3*v. Is v < m?
False
Suppose 0 = 159*b - 28*b + 16*b - 6468. Which is smaller: b or -16?
-16
Let i = 126 - 90. Suppose 0 = 16*y - 25552 + 26224. Let d = y + i. Which is bigger: d or -7?
d
Let s be (-12 - 32/(-3)) + -55222*5/30. Is -9204 less than or equal to s?
False
Suppose 0 = 2680*o - 2711*o - 63405 - 45994. Which is smaller: -3527 or o?
o
Let s be ((-4)/12)/(9/(-81)). Suppose -6 = s*h - 5*h - 2*t, -4*t = -3*h - 5. Suppose 3*m - 4*c - 3 = 19, m - 22 = 5*c. Which is greater: h or m?
m
Let v = -2 - -2. Let u = -116 + 112. Let y be 49/28 - (-3)/u. Does y = v?
False
Let a = -2697 - -2701. Suppose 4*k - 5*o = 44, 14 = k - 0*k - 2*o. Is a bigger than k?
False
Let r = -25 + 570. Let z = r + -546. Is z less than or equal to -2/113?
True
Suppose 39 = -7*d - 24. Let m be (2 - 4)/(6/d). Let o be 6/(-9)*m - 40/(-25). Which is bigger: o or -7?
o
Suppose 2*n - 3*x + 251 = 0, -4*n + 4*x - 9*x - 447 = 0. Which is bigger: -101 or n?
-101
Let o = 85 + -145. Let x = o - -70. Suppose -x*p - 9 = -p. Which is greater: p or 2/37?
2/37
Suppose -86*p + 661 + 12927 = 0. Is 160 bigger than p?
True
Let l(i) = -6*i**2 + 63*i - 4. Let n be l(16). Which is greater: n or -530?
-530
Suppose 10*t - 9*t = -y - 5, t - 2*y + 20 = 0. Let b be 7 + (t/(-6))/(15/45). Is b greater than 17?
False
Let s(y) be the first derivative of -y**4/4 + 2*y**3 + 3*y**2 + 4*y + 2. Let i be 4/(-9) - 1876/(-252). Let t be s(i). Which is smaller: t or -1?
t
Let w = 8.3 - 7.3. Let r = w + -1.89. Let c = 0.01 - r. Do c and -1/2 have different values?
True
Let o = 4/9299 + -16927/17733193. Let p = o - 11347/181165. Which is bigger: p or -1?
p
Let h = -18136 - -18135.5. Which is smaller: h or -24/13?
-24/13
Suppose 3*i = 15*i + 1728. Let h = 99 - i. Is 242 greater than h?
False
Let p = -3.027 + 2.527. Are 148 and p equal?
False
Let w(b) = -b**3 - 3*b**2 - 4*b + 3. Let j be w(-2). Suppose -3*m + j = 3*t + 2*t, -4*m = t + 2. Is m <= 1/951?
True
Suppose 19*t = -8*t + t. Which is smaller: 5/2119 or t?
t
Let p be 0/10 + (-2 - -46). Let c be (-143)/(-1144) + 343/8. Which is bigger: c or p?
p
Let c be 3 + 198006/360 + -8. Let n = 545 - c. Is -1 < n?
True
Let i = -10730 - -10003. Which is greater: i or 5?
5
Let a be 22 + (-3544)/164 + (-6)/(-30)*-2. Let s(x) = -x**2 - 4*x + 1. Let n be s(-4). Is n > a?
True
Let m = 91 - 88. Suppose -2*q - 2*q + m*q = 0. Let a be q*(2/6)/((-2)/6). Which is smaller: a or -3/55?
-3/55
Let s(p) = -2*p - 9. Let m be s(-7). Suppose 0 = -c - 1 - 3, -m*c - 20 = -5*r. Suppose 4*o - 66 = 2*x, r*o + 4*o + 5*x - 59 = 0. Which is bigger: o or 14?
o
Let j = -1412 - -218859/155. Suppose 4*i + 0*x + 20 = -5*x, -5*i + 5*x = -20. Is j at most as big as i?
True
Let j be (-430)/70 + 4/(-14). Let d = j + 471/70. Let z = -0.836 - -0.936. Is z equal to d?
False
Let r be (-1)/(-3 - 518/(-4)). Let f be (984/(-230))/((-335)/25 - 2). Let j = r - f. Which is greater: j or 4?
4
Let k be (-30)/16*465/837. Is -2 greater than or equal to k?
False
Suppose -3*b + 14 - 32 = 0, 2*b = 2*t - 4216. Which is smaller: 2103 or t?
t
Let g = 136.729 + -137. Let z = g + 243.271. Which is greater: -1 or z?
z
Let l be (-3 + 1)*(-3)/(-6). Suppose 754 = 4*t + 5*c - 1412, -2*t = 2*c - 1082. Let n = -505 + t. Is l <= n?
True
Let p be (-45)/405*14/(-99). Which is greater: 1 or p?
1
Let u = -1265/52 - -40/13. Suppose 460 = 2*t - 8*t - 17*t. Which is smaller: u or t?
u
Suppose 5*t + 69 - 339 = 0. Let d = t - 2971/55. Which is greater: 1 or d?
1
Suppose 2242 - 3711 = 13*r. Is -1930/17 > r?
False
Let g = -24 + 23.8. Let l(i) = -3*i**2 + 60*i + 8. Let s be l(22). Is s less than g?
True
Suppose -323*v = -22*v. Is 5/6953 != v?
True
Let m(v) = 8*v - 1203. Let t be m(0). Do -1203 and t have the same value?
True
Let t = 1051/144 + -115/16. Which is greater: t or 16?
16
Let w = 8.2 + -21. Let r = -22 - w. Let y = r + 9. Is y > 2?
False
Suppose h + 5*l = -10, -3*h - 56*l + 8 = -60*l. Suppose -18 = b - 4*b + 3*s, 12 = -2*b - 4*s. Is b > h?
True
Let a = -0.