 + -22. Suppose 2*b = -3*i - 17 - 69, 5*b + i + 202 = 0. Is b at most as big as z?
True
Let q be (-1)/((-3)/1194) + (3 - 3). Let f = -415 + q. Is -19 at most as big as f?
True
Let r = 9404 - -4886. Is r at most 14291?
True
Let z = 35 + -35. Suppose -c + 167 - 167 = z. Is c smaller than 161?
True
Suppose -3*x + 140 = -2*f - 79, f = -2*x + 146. Suppose 5*w - x - 85 = -4*c, 86 = 2*c - w. Is 42 <= c?
True
Let i(z) = -2*z - 62. Let a be i(-26). Let y be 6/15 + -4 - 2/a. Is -1 < y?
False
Let t(a) = -20*a + 4. Let j be t(-1). Let f = j - 39. Let b(n) = -n**3 - 5*n**2 + 10*n + 8. Let h be b(-6). Which is smaller: f or h?
h
Let k be 0*(-3)/6*1. Let g = -22 + 32. Let n be g/8 - ((-7096)/(-5728) + 0). Is n at most as big as k?
False
Let f = 617351/104555856 - -1/61904. Which is greater: 0 or f?
f
Let g = -7966827/7780 + 177/1556. Let s = g - -1025. Which is smaller: s or -0.1?
-0.1
Suppose -269 = 6*h + 337. Let p = h - -101. Which is smaller: -16 or p?
-16
Suppose -16 = -26*l - 9*l + 19. Is 8/1797 smaller than l?
True
Let c be (16/840*5)/((-4)/(-21)). Which is smaller: 0.136 or c?
0.136
Let i(c) = -c**2 + 2*c + 24. Suppose -5*r - 2*r = 28. Let u be i(r). Suppose u = -6*l + 2*l. Which is smaller: l or -0.12?
-0.12
Let p = 14507 - 14504. Which is smaller: p or -0.605?
-0.605
Suppose -4*x - 52 = -2*x. Suppose 0 = -3*l + 21*b - 25*b - 649, 1103 = -5*l + 4*b. Let p = l + 192. Which is smaller: x or p?
p
Let r = 423.6 - 485.29. Let c = -62 - r. Let g = c - -0.21. Which is bigger: -0.3 or g?
g
Suppose -3*b - 2*b = 2220. Let y be 2*b/80 + (-2)/5. Which is smaller: y or -1/2?
y
Let r(d) = -2*d**3 - d**2 - d + 3. Let t be r(1). Which is smaller: -94/39 or t?
-94/39
Suppose -2*o = 110*o + 75*o + 29733. Which is smaller: o or 6.5?
o
Let t = 19202 - 19113. Is 91 less than t?
False
Let s = -148 + 310. Let x be (-9)/3 + (s - 2). Suppose 160 - x = 3*v. Is v not equal to 3/2?
True
Let o = -105.3 - -112. Which is smaller: o or 0.3?
0.3
Let n = 847 + -795.05. Let s = -70.5 + 18.5. Let o = n + s. Which is greater: 0 or o?
0
Let d = 7282 - 7223. Is 3/5 equal to d?
False
Let m = -5 - -5.022. Let d = -3986 - -3433.1. Let p = 553 + d. Which is smaller: m or p?
m
Suppose 0 = -4*q + 698 + 902. Let r = q + -434. Is r equal to -38?
False
Suppose 0 = -4*l + 8 + 4. Suppose 46*j - 94 = -2. Suppose l*f + 5*v = 10, 2*f + j*v = -2*v + 4. Which is bigger: f or 6?
f
Suppose -42*i = i + 67*i. Let x = 12370/33 + -375. Is i smaller than x?
False
Let v(l) = -l**2 + 6*l - 1. Let n be v(5). Let r = -170 - -1562/9. Is r < n?
True
Suppose 3*n + 2*v + 3*v = 18, -v - 24 = -4*n. Let m be -5 + (11 - n) + 0. Let t = -652 + 30643/47. Which is smaller: t or m?
t
Suppose -42*j + 4505737 = -578*j + 993865. Which is smaller: j or -6551?
j
Suppose 5*g + 11 = 2*c, -2*g = -198*c + 194*c + 14. Is -10/5241 at least g?
True
Let q = 11.9 + -11.42. Let l = -2.48 + q. Let o = 10 - 12. Is o < l?
False
Let v = -21.1 - -40. Let y = v + -18.7. Which is smaller: y or 78?
y
Let h = 2 - 11. Suppose -4*f + 175 = 5*n, -f + 8 + 33 = 4*n. Let g be 2/(-6) + (-390)/f. Does h = g?
True
Let a be ((-93162)/(-2140))/(15 + -6). Let u = a + -2/535. Let t = u - 4/3. Is 5 less than t?
False
Let a = -5.472 + 4.89. Let u = a + -5.418. Let x = 2 + -3. Is u equal to x?
False
Let w be 535420/30 + -8 - (-4)/6. Let f be (-1035)/w + 3/48. Which is smaller: f or -1?
-1
Let m = -1.5681 - -19.5681. Is -0.081 <= m?
True
Suppose 0 = 3*c - 7*c + 44. Let x(g) = -25*g + 271. Let d be x(c). Which is greater: -5 or d?
d
Let o = 11.665 - 2816.665. Does -0.2 = o?
False
Suppose 0 = -3*g - x - 1590, 3*x = 204*g - 205*g - 538. Is -529 at least g?
True
Let i = 5206012 - 5212292.986. Let r = -6290 - i. Let t = 0.014 + r. Which is greater: 0.3 or t?
0.3
Let d be ((-4)/40)/(69/230). Is 0.2872 at least as big as d?
True
Let l = -136831 - -175417331/1282. Is 0 at most l?
False
Let y = -292/7 + 32127/770. Let h = y - 111/6160. Is h bigger than 0?
False
Let t be ((-3)/4)/(224/128). Suppose -4*m = -8, -7*b + 8*b + 4*m = 23. Which is smaller: b or t?
t
Let k(l) = -l**2 - 12*l + 189. Let i be k(-21). Which is greater: i or 1/180?
1/180
Let p be 2204/(-725) + (-1)/1*-3. Let b = p - 43/175. Let x = -4.6 + 5. Are x and b unequal?
True
Let r(d) = 5*d**2 - 4*d + 2. Let t be 1 + 2 - (-1 + 2). Let z be r(t). Let b = 5243 - 5228. Which is smaller: z or b?
z
Suppose 6*q - 1023 - 513 = 0. Suppose -13*w - q = -11*w. Is -127 at least as big as w?
True
Let t(b) = -6*b**2 + 1. Let o = -2 + 3. Let p be t(o). Let v = 63139 - 63141. Which is bigger: v or p?
v
Let l(n) = 7*n**2 - 7*n + 6. Let w be l(2). Let b be (4/1192)/(5/w). Which is bigger: 1 or b?
1
Let z be (2/(-3) - (-150)/360)/(4/(-4088)). Is z greater than 257?
False
Let y(i) = 2*i**2 - 291*i - 10412. Let b be y(-31). Which is smaller: b or 533?
b
Let x = -762 + 767. Suppose x*y = 2*r + 1 + 129, y - r - 29 = 0. Is 23 < y?
True
Let t be (41793/(-9))/(28 - -3). Let g = -449/3 - t. Let s(z) = -8*z**3 - 15*z**2 + 2*z - 1. Let b be s(-2). Is b less than or equal to g?
True
Let l be 4/(-1)*(-12)/16. Suppose -42 - 33 = -l*t. Which is smaller: t or 6?
6
Let i = -2334.6 - -2160.6. Is i at least -15?
False
Let b be 788292/(-6660896) + 1/8. Let j = -2/1639 - b. Suppose 1 = -s + 2. Does j = s?
False
Let i be 15/182*110/(-99). Which is bigger: -1 or i?
i
Let p be 3 - 0 - 102484404/34161786. Is p less than -1?
False
Let j(p) = -16*p + 14. Suppose -d + 2 = -0. Let b be j(d). Let v = -17 - b. Is v < -13/4?
False
Suppose 0 = u - 14*u + 13. Let z = -5 + u. Let m be 0 - 0/(-1 + (-1 - z)). Is -42 equal to m?
False
Let g(p) = -3*p - 96. Let u be g(-7). Which is smaller: u or -69?
u
Let h be 1 + 1923/(-99) - -1. Let a = 52/3 + h. Let z(u) = -u**3 + 11*u**2 + 41*u + 13. Let f be z(14). Is f less than a?
True
Let g = 39 + -9. Let a be ((-4)/(-12))/(5/g). Suppose a*v - 3*b + 7 = 0, -b = -0*v + v + 6. Is -40/9 <= v?
False
Suppose -4*y + 5 - 23 = u, -3*u + 11 = -y. Suppose -u*a - 12 = -6*a. Let h be (-2 + a + 1)/2. Are -1/10 and h equal?
False
Suppose -17*l - 436 + 555 = 0. Let w = -20 - -37. Suppose 4*s - z - w = 4, -12 = -3*s + 2*z. Are l and s non-equal?
True
Let p = -47 - -21. Let b = -65 + 110. Let a = p + b. Which is smaller: a or 20?
a
Let s = 19625 - 19655. Let r = -1 - 1. Which is smaller: s or r?
s
Let b = 92 + -70. Let v = -40.8 - b. Let t = 11.8 + v. Is t bigger than 0?
False
Suppose 4*r - 3*r + 5 = -3*x, 8 = -4*x - r. Suppose 4*v - 4*s + 460 = 0, -5*v + 2*s + 0*s = 575. Let c = -235/2 - v. Which is greater: c or x?
c
Let m = -4499 + 2897. Let l = 2837 + -2839. Let s be -1 + l + m/(-531). Is s <= 1?
True
Suppose -2*a + 4*g - 9*g - 287 = 0, -a - 2*g - 145 = 0. Which is greater: 2 or a?
2
Suppose -8396 = -38*q - 9460. Which is smaller: -799/29 or q?
q
Let f = -5467 + 5468. Which is greater: -2/17947 or f?
f
Suppose 5*u + 3*v + 12 = 0, 33*u + 4 = 36*u - v. Is 12133 != u?
True
Let g = 30 - 37. Let r = g + 6.9. Suppose 2*z - 37 = 3*o + 20, z - 33 = 3*o. Which is greater: r or z?
z
Let y be 32 + (2 - 7/3)*3. Suppose c - 5*k + k = y, -3*c - k = -67. Let l = 93/4 - c. Which is smaller: l or -0.4?
-0.4
Let w = 4520 - 7965. Is -0.1 less than or equal to w?
False
Let v(u) = 5*u**2 + 2*u + 2. Let n be v(-1). Suppose 0 = -n*h + t - 28, 4*h - 14 = 7*h - 2*t. Let f be (h/(-8))/((-27)/192). Is f less than -6?
False
Let t = 186 - 184. Let s(v) = -34*v + 163. Let p be s(5). Is t <= p?
False
Suppose -g + 19 = 5*l + 33, 0 = 3*g + l. Which is bigger: -5/816 or g?
g
Let h = -3587.8 + 3588. Do h and 519 have different values?
True
Let m be (-24950)/15 + (-1)/(-3). Let c = -48221/29 - m. Is 0 at least as big as c?
False
Let x = -3027 + 2995. Which is bigger: -34 or x?
x
Suppose 0 = -3*l + 5*m + 20, -316*m + 4 = 5*l - 317*m. Which is greater: 29/39 or l?
29/39
Let x be ((-2)/4)/(0 - (-1)/2). Let g be ((-3)/9)/(40/44 + x). Suppose 0 = 2*v + 2*a - 12, -v + 14 = 2*v + a. Which is smaller: v or g?
g
Let c = 11 + -5. Let g be 2*(-1)/c*3. Let j = -158495/8 + 19811. Which is smaller: g or j?
g
Let s = -30 + 39. Suppose 34 = s*g + 43. Which is smaller: -6/77 or g?
g
Let q(x) = -2*x - 1. Let s(j) = 37*j - 2. Let r(m) = 2*q(m) + s(m). Let k be r(-1). Is k smaller than -36?
True
Let f(r) = -9*r - 25. Let n be f(-6). Let g be (n - -1)*(-28)/35. Let o(z) = -5*z - 27. Let w be