**3 + 2*u**2 - u - 3. Let m be s(2). Let z = m + 14396/27. Which is bigger: -2/5 or z?
z
Let u = 1637 - 1637.8. Is 1/3 bigger than u?
True
Suppose 28826*h - 9 - 2 = 28837*h. Which is greater: 0.05792 or h?
0.05792
Let u = -1580483/9 + 175415. Is -195 >= u?
False
Let p(l) = -14*l + 278. Let d be p(20). Let z = -19 - -49. Suppose k - w = -k + 11, 0 = 5*k - 3*w - z. Which is smaller: d or k?
d
Suppose 4*r - 4 = 0, 3*r + 23197 = -m + 6185. Let n be 3*(-2)/(460/m). Let c = -222 + n. Is 1 > c?
True
Let u = 67 + -68. Let q be (-30)/(-40)*(-16)/654. Which is smaller: u or q?
u
Suppose 3*j + 4*h = j + 2, 2*j - h + 8 = 0. Let m(y) = -y - 8. Let u(p) = -p - 9. Let d(c) = 4*m(c) - 3*u(c). Let z be d(-5). Which is bigger: j or z?
z
Let g = -2279.851 + -8.149. Is 0 < g?
False
Suppose -33805 = -39*v - 9703. Let m be (-1)/(3 + (-1848)/v). Which is smaller: m or -100?
m
Let u be (-7)/(70/(-76))*5. Suppose -u + 78 = 5*l. Let c = 119 + -110. Is l equal to c?
False
Let u(o) = 2*o**2 - 7*o + 3. Let k be u(3). Suppose k = -4*v - 2*b + 89 + 35, 0 = v - b - 25. Let w be (10 - 1)/(6/20). Is w less than or equal to v?
False
Suppose -10 + 0 = 5*p, -28 = -2*a - 3*p. Let d = 26 + -12. Which is smaller: d or a?
d
Let n = 2676/6815 - -10/1363. Is -3.65 not equal to n?
True
Let p be ((-1034)/(-20))/((-584)/2190). Which is greater: -193 or p?
-193
Let i(f) = -175*f - 1003. Let c be i(-6). Which is bigger: c or 615/13?
615/13
Let k be ((-8)/(-10))/((-20)/(-25) + -1). Let n(r) = r**2 - r - 2. Let c be n(0). Let i be (-11)/22*c/k. Are i and 26 non-equal?
True
Suppose -6 = 20*w - 22*w. Suppose -w*u - 6 = 0, -k + 2*k - 3*u - 9 = 0. Is k less than or equal to 36/17?
False
Let z = -102261 + 6033189/59. Which is smaller: z or -5?
-5
Let h be (-6 - (-3)/3)*36/90. Let z be (-123)/(-18)*(-9)/h. Is 32 bigger than z?
True
Let w(x) = x**2 + 10*x + 18. Let j be (-102)/4 - (-2 - (-25)/10). Let f = j - -21. Let t be w(f). Is t smaller than -5?
True
Suppose -o + 3 = 0, -5*d + 2*o = 6*o - 2892. Suppose n = 4*u - 582, 0*u - 2*n + d = 4*u. Which is greater: 146 or u?
146
Let c = -48560 + 83758. Which is smaller: 35197 or c?
35197
Suppose 0*b = -3*v - 2*b - 72, 2*v + 5*b + 37 = 0. Is -79/3 at least v?
False
Let t be (-1 - 18/((-72)/5)) + (-32343)/(-4). Do 8086 and t have different values?
False
Let v = -120 - -83. Let g = -4 + -33. Is v less than or equal to g?
True
Let s = 0.12 - -6.88. Let y(o) = -161*o - 970. Let j be y(-6). Which is smaller: j or s?
j
Suppose 0*m - m - 62 = 3*z, 0 = 3*z + 3*m + 66. Let n(c) = 2*c**3 - 4*c**2 - 7*c + 4. Let b be n(4). Suppose -2*s - b = -0. Is s equal to z?
True
Let x = 13741594/131985 + -3644/35. Does -0.2 = x?
False
Let p(l) = l**3 + 18*l**2 + 23*l + 18. Let f be p(-9). Is -4 greater than or equal to f?
False
Suppose 3*u - 5*h = -530 - 171, -3*u = 4*h + 692. Which is smaller: u or -1?
u
Let g = 317 + -172. Suppose 8*f - 1 = -g. Is -21 > f?
False
Let s be 4/(3648/358) + 30/(-90). Is 0 less than s?
True
Let w be ((-1379)/(-28))/(14/40). Let j = w - 141. Let c be (-244)/118 - 1 - 0 - (-42)/14. Which is smaller: j or c?
j
Let k(j) = -33*j - 195. Let u be k(-12). Suppose -u + 57 = 36*x. Is x >= -3?
False
Suppose -i + 121 = 4*x - 29, 2*x = -i + 76. Let q = x - 36. Let w(a) = 8*a + 1. Let v be w(-1). Is q equal to v?
False
Suppose -11*p = -p - 3560. Suppose 0 = 4*z + 4*q - 2*q - 458, q + p = 3*z. Which is smaller: -1/3 or z?
-1/3
Let r(h) = -h**3 + 3*h**2 + 6*h. Let p be r(-2). Suppose -12*t + 3*x + 210 = -p*t, 0 = t - 5*x - 61. Is t smaller than 51?
False
Let u be (0 - (-20)/(-4))/(-5). Is 20/247 != u?
True
Let j = 215 - 210. Let b be j + -5 + 0/(1 - 3). Which is smaller: b or 2/267?
b
Suppose n + 2*n - 2*n = 0. Suppose -4*y + x + 74 + 137 = n, x + 159 = 3*y. Does y = 52?
True
Let f(w) = 12*w - 125. Let a(g) = -2*g + 1. Let z(u) = a(u) - f(u). Let q be z(14). Is -69 at least q?
True
Let m = -349 - -248. Suppose 5*n - 7 + 5 = -3*q, -3*q - 7 = -4*n. Is m != n?
True
Let m = -27084844/943 + 28722. Is 1 less than or equal to m?
False
Let b = 245 - 3677/15. Let w = -2577 + 2810.4. Let x = w + -233. Is b less than or equal to x?
True
Let p = -4065685424 + 1305086098700/321. Let x = -3357 + p. Is 0 <= x?
False
Let b be (100/60)/(10/36). Suppose d = b*d + g - 157, -2*g = -4. Which is smaller: d or 33?
d
Let u = -27 + 4. Let z be ((-4 - -8) + 0)/(-42 - -30). Are z and u non-equal?
True
Let g be 38*(12/(-8) - -3). Let l(m) = -5*m**3 + 31*m**2 + 2*m + 11. Let a be l(6). Which is smaller: g or a?
g
Suppose 2*y - g = 428, 12*y - 8*y - 868 = -g. Let f = 163 - y. Suppose -5*m + 2*b - 273 = 0, 5*b = m + 25 + 48. Is m at least f?
True
Suppose h = p - 0*p + 72, 5*h + 2*p - 381 = 0. Let i be (684/10)/2 - 30/h. Which is smaller: i or 35?
i
Let s be (-23 - -13)*(-3)/2. Let c be 582/s - (-9)/45. Suppose -160 = -3*x - x. Is x greater than or equal to c?
True
Let d be 2 - (5 + -40 + 3). Let b = d - 34. Let c be (-1 - b)/((-4)/20). Is 9/2 bigger than c?
False
Let d be 6*1/(-4) + 6/12. Is -23/22 greater than or equal to d?
False
Let g = -1/957 + -2551/957. Which is bigger: -95 or g?
g
Let c be (-215)/258 - (-2)/12*-199. Suppose -19*p = -41*p - 726. Which is smaller: p or c?
c
Suppose 23*l - 12*l = 583. Let g = 14.26 - 11.26. Which is bigger: l or g?
l
Let k = -2992.354 - 4.646. Which is greater: k or 0.2?
0.2
Let b be (-655)/(-161523)*((-96)/(-3) + -2). Is 0 <= b?
True
Let c(b) = 1961*b - 7. Let d be c(1). Let a = d + -904704/463. Which is bigger: -1 or a?
a
Suppose -5*n - 3*b = -76 + 5, 2*n - 22 = 2*b. Suppose -12*f = -37 + n. Which is smaller: f or 21/20?
21/20
Let s = -316501/23 - -13755. Which is smaller: s or -6?
-6
Let x be (88/33 + 8)*(-9)/2. Let q = x + 224. Which is smaller: 175 or q?
175
Let s = 54874482872 - 2437414780321571/44418. Let q = -1/4038 - s. Is -2/11 <= q?
True
Let b be ((-7 - (-387)/(-45))/(6/(-4)))/(-190). Is -1 equal to b?
False
Let q = 22435.2 - 22435. Which is greater: q or -182.7?
q
Suppose f + 5*j - 1 = -3, 4*f + 3*j = 9. Suppose 5 = -3*m + 11. Suppose m*q + r + 27 = 0, -f*r + r + 10 = 0. Which is greater: q or 0.2?
0.2
Let k be ((-162)/1701)/(2/64918). Is -3090 < k?
False
Let s = 3647 - 3647. Is s greater than -2/677?
True
Suppose -47*k + 45*k - 30 = 0. Let g be ((-1)/(-33))/((-55)/k). Which is greater: -1 or g?
g
Let h = -2/222679 + 237375844/3340185. Let g = -353/5 + h. Is 0 >= g?
False
Let s = -1.89 - -7.89. Let a = s - 6. Is a greater than 2/773?
False
Let w be 20/(-3*20/(-90)) - 3. Suppose 0 = 10*g - 8*g - 46. Does w = g?
False
Let n = 28729.1 - 28729. Is n >= 7375/8?
False
Let o = -600.6 - -600.6. Which is smaller: -178 or o?
-178
Suppose 7*m - 14*m = 0. Let w be (-5)/(-45) + ((-265)/801)/5. Is w >= m?
True
Let t be -13 + 78270/2898 + -14. Is -1 at least as big as t?
False
Let v be ((-20)/(-45))/((-2)/(-3))*(-459)/(-306). Suppose -5*r - 2*q - 14 = 2*q, 0 = -3*r + q - 5. Let j be r - (-43)/7 - 2. Which is smaller: j or v?
v
Let p = -9.12 - -0.22. Let c = p + 9.9. Which is smaller: -3/65 or c?
-3/65
Let s = 15515.6 - 15516. Is s > -46/13?
True
Let f = 1.8797 - 0.8797. Which is smaller: f or 107.09?
f
Let p be (-96)/(-27)*(-300)/(-2). Let a = p + -168001/315. Is a greater than or equal to 1?
False
Suppose -13*y = -4*n - 12*y + 85, 2*n - 3*y = 55. Is n bigger than 153/8?
True
Let k be 1/(-2)*(165 - 165). Let n be (-291)/(-438) + 1/(-2). Is k <= n?
True
Let z = 2.57 + -2.5. Let u = z + -57.07. Let r = 58 + u. Which is smaller: r or 14?
r
Let n = -7.9 - -21.9. Let x = -86 - n. Let h = x - -107. Does h = -0.3?
False
Let i be (-11512)/(-10 + 2) - 14. Is 0.4 less than i?
True
Suppose 2*b + 38 = -2*b + 5*f, f - 23 = 3*b. Let j(y) = -y**2 - 5*y + 9. Let v be j(b). Let p(z) = 6*z - 95. Let w be p(15). Is w less than v?
False
Let t be (-26)/(-7) + -4 + (-4)/(-210). Let a(y) = -35*y**3 + 2*y**2 + y - 1. Let r be a(-1). Let k be (-7)/5 - (-14)/r. Which is smaller: k or t?
k
Let b = 1/1996 + -1095/193612. Are 0.2 and b equal?
False
Let t(d) = d**2 - 24*d + 65. Let u be t(21). Let h be (-35)/(-14)*-56 + u. Which is smaller: h or -137?
h
Let z = -2648 - -815583/308. Suppose 23*n - 21*n = 0. Is z < n?
True
Let m = -10347 - -6665. Is -3683 != m?
True
Let r = -8506 - -8506.1. Which is smaller: r or 4909?
r
Let c(j) = j**3 - 8*j**2 + 12*j - 22. Let p be c(5). Let z(k) = -k