) = -7*l + 1 - l**3 + 2*l**2 - 10*l**2 + 3. Let s be u(-7). Let d = 0.24 + -0.04. Is d less than or equal to s?
True
Let q = -155/66 + -185/11. Let j = q - -907/42. Is 1 >= j?
False
Let p be (-4)/(48/9)*-4. Suppose -k = -5*x + 322, k - 62 = -x + 2*k. Let w be (0 - (-48)/(-50))/((-26)/x). Which is smaller: w or p?
w
Let s = -649416/103 - -6305. Let u(q) = q**3 - 6*q**2 - 7*q. Let y be u(7). Which is bigger: y or s?
y
Let t be (-56)/(-2)*-9*10/1365. Do -3 and t have the same value?
False
Let a = -1212 + 1211. Is a smaller than 109?
True
Suppose 5*j - y - 106 = 0, -2*y = -5*j - 4*y + 103. Let q be j*(0 + 2)/2. Let z = -27 + q. Is -6 not equal to z?
False
Let s = 95/267 - 2/89. Let i = 11 + -11. Which is greater: s or i?
s
Let d be (4*((-75)/(-140))/5)/(-1). Let j = -2 - -6. Let p be ((-2)/(-10))/(j/10). Which is smaller: p or d?
d
Suppose -9*y + 310 = 22*y. Which is bigger: 5 or y?
y
Let t = -70/13 + 61924/11505. Is 0 >= t?
True
Let b(f) = f + 0*f**2 + 0*f + 15*f - f**2 + 7. Let q be b(16). Suppose q*h = 2*h + 4*s + 37, -2*h + 22 = -4*s. Is 5 greater than h?
False
Suppose 2*j - 2*x - 150 = -0*j, -5*x + 185 = 3*j. Suppose 0 = 7*n - 380 - 103. Which is greater: j or n?
j
Let y be (-565)/30 - 1/6. Let a = y + 20. Which is bigger: a or 2/59?
a
Let j = -13 - -4. Let f be (9 + -10)/(2/(-90)). Let b be (f/(-75))/(2/30). Is j at least b?
True
Let j be ((-22)/(-3))/(12/72) + -3. Let f = j + -47. Which is greater: -17/3 or f?
-17/3
Suppose -q + 3*o = 2*q + 114, 0 = 4*o + 8. Which is bigger: q or -36?
-36
Let m(q) = q**2 - 13*q - 19. Let d be m(10). Let i = d - -43. Which is smaller: -5 or i?
i
Let z(t) = t**3 + t**2 - t + 5. Let w be z(0). Let y be ((-18)/30)/(11/w). Let l = -3 + 4. Which is bigger: y or l?
l
Let z = 1/10141 - -18755/15485307. Is z smaller than 0?
False
Let h be -2*2 - 0/3 - 123. Let x = -122 - h. Which is greater: 1 or x?
x
Suppose 1 + 89 = 2*p. Suppose 0 = -5*x - 35 - p. Is -18 <= x?
True
Let j = -3 - -3. Which is smaller: -3/25 or j?
-3/25
Let x = 339 - 347.1. Which is greater: -1/4 or x?
-1/4
Let n(c) = -c**3 + 6*c**2 - 7*c. Let r be n(6). Let d = 16 + r. Suppose -3*u - 3 = -2*t - 62, 0 = 2*t + 4*u + 38. Which is smaller: t or d?
d
Let v = -3 + 3.06. Let w = 2.36 - 5.36. Which is smaller: v or w?
w
Let x = -217 + 209. Which is smaller: x or -9?
-9
Let u be (1 + 0)*(0 - -38). Suppose -34 = -4*y - u. Which is smaller: 1/6 or y?
y
Let i = -14/85 + 4/85. Let s = -168 - -172. Suppose -1 = 2*b + 4*t - 3, s*b - t = -5. Is i at most as big as b?
False
Let d = -39/20 - -121/5. Which is greater: 21 or d?
d
Let h be -15 - -2 - 15/(-5). Let n be (h/(-350))/((-6)/(-7)). Let j = 1/6 + n. Which is smaller: 1 or j?
j
Let x(f) = -f**2 + 4*f. Let q be x(3). Let c(m) = m**3 + m**2 - m + 10. Let p be c(0). Which is smaller: p or q?
q
Let g(y) = -15*y - 2. Let n = 4 - 2. Suppose 6*h = n*h - 4. Let z be g(h). Is z at most 13?
True
Let x = -0.146 - -1.194. Let m = 1 - x. Which is smaller: m or -1?
-1
Let j = -0.205 + 5.705. Which is greater: j or 0?
j
Let w = -15 + 25. Let x = -11 + w. Let z be (-20)/12*x/(-5). Which is bigger: z or 0.1?
0.1
Let b(x) = -8*x**2 - 6*x - 41. Let v be b(-7). Is v at least as big as -390?
False
Let m = 12.4 + -12.4. Which is greater: 8 or m?
8
Let k = -769 - -769.58. Let d = 0.06 - -0.04. Which is smaller: d or k?
d
Let a be 2/(-8)*(-5 + 1 + 4). Which is smaller: a or 1/886?
a
Suppose l + 2 = -0*l. Suppose -3*r - 5*m + 10 = -5, 3*r - 5*m + 15 = 0. Let z be -5 - -2 - (l - r). Is 1 bigger than z?
True
Let r be (-1980)/594*(-5)/(850/(-36)). Let o(f) = -f**3 + 8*f**2 + f - 9. Let d be o(8). Which is smaller: r or d?
d
Let b = -213 + 212.9. Is b at most 1/361?
True
Suppose l - 2*l = 5*d + 6, 4*l - 2 = 6*d. Which is smaller: 4/31 or l?
l
Let a = 6002 + -102035/17. Suppose 5*x - 5 = 5*z - 0, -2*x = -4*z - 6. Is x at most a?
True
Let u be -2 - ((-3840)/(-470))/(-4). Are u and 0 nonequal?
True
Let v = -137 - -138. Is v equal to -85?
False
Suppose l + 15 = 6*l. Suppose -4*g + 19 = j - 0*j, l*g - 43 = 5*j. Is g less than or equal to 3?
False
Let t be (-37)/(136/44 + -3). Let i = -4067/10 - t. Do i and -1 have the same value?
False
Let j = -151/1716 + 2/429. Which is greater: j or 1/4?
1/4
Let u = 38.4 - 35. Let g = 3.6 - u. Is 8 bigger than g?
True
Let g = -66.5 - -73. Let n = 9.9 - g. Which is bigger: n or -1?
n
Let u = -5707/35 - -163. Suppose -2*b - 2 = -0*b. Is u less than b?
False
Let s(y) = -y - 1. Let b be s(-1). Let g be 1 - ((-2)/(-11) - 36/(-33)). Which is smaller: g or b?
g
Let d = 10.88 + 0.12. Let v = -11.02 + d. Is -1 smaller than v?
True
Let k = -21.2 + 4.2. Let l = 28 + k. Let q = -9 + l. Is -0.3 less than q?
True
Let h = 13330/11 - 1210. Let w = h + -29/22. Are 0.21 and w equal?
False
Let i = 0.733 + -0.733. Which is bigger: i or 0.158?
0.158
Let b = 178 - 174. Let f(l) = -l**2 - 6*l - 4. Let a be f(-5). Suppose 2*j = -a + 7. Is j at least as big as b?
False
Let i(p) = p**3 - 4*p**2 + 1. Let w be i(4). Let y = -282 + 198. Let r be -3*4/y*(-7)/(-2). Which is greater: r or w?
w
Let s = 18 - 16. Suppose s*j + 3 = j + a, a + 1 = 5*j. Let o be (-3 + 4)*-6*j. Are o and -4 non-equal?
True
Suppose -4*v - 15 = -135. Suppose -4*w = -2*w - 3*z + 19, -3*w + 5*z - v = 0. Which is smaller: w or -4?
w
Let q(s) = s**2 - 10*s + 20. Let d be q(6). Let c = 12 + d. Suppose -3*a - 2*z = c, 3*a - 4*a + 20 = -5*z. Which is greater: -2/21 or a?
a
Let j(f) = -f**2 - 2*f + 31. Let s be j(-8). Are -152/9 and s equal?
False
Suppose -a = -0*a - 3*u + 30, 0 = -3*a - 3*u - 54. Let f = -11 - a. Suppose 27 = -3*n + 3*i, 4*n = -2*i - f - 2. Is n at least -5?
True
Let z be (-5199)/(-8085) + 2/(-5). Let m = 78/7 + -543/49. Let b = m - z. Which is greater: b or 1?
1
Let z = -4210/13 + 3717443/11479. Which is bigger: 0 or z?
z
Let h be -3*(-1 + 0/(-2)). Suppose 3*t + g - 47 = 0, -4*t - h*g + 71 = -0*g. Suppose -230*y = -262*y + 448. Is t > y?
False
Suppose 68*f - 66*f - 42 = 0. Which is greater: f or 8?
f
Suppose 5*s - 42 = -s. Suppose 0 = r + s - 10. Let u be (r/(-12))/((-41)/(-4)). Do 1 and u have different values?
True
Let s = 32/81 + -3469/9396. Do s and 1 have different values?
True
Let l(m) = -m**2 + m + 8. Let y be l(3). Let q be 2 - 4/56*16. Which is smaller: q or y?
q
Let y(a) = 47*a + 8. Let i(w) = 48*w + 7. Let u(g) = -5*i(g) + 4*y(g). Let r be u(1). Which is smaller: r or -56?
-56
Let x = -46 - -33. Let j = -40 - x. Which is smaller: -26 or j?
j
Let m = 4033 + -600919/149. Is 0 >= m?
True
Suppose -29 = 3*m + 61. Is m less than -30?
False
Suppose 55*g + 4*g + 39648 = 0. Are g and -670 equal?
False
Let q be ((-78)/(-4))/((-10)/(-20)). Let y = q + -44. Is y at most -19?
False
Suppose 0 = -2*h - 10, -3*h - 262 = -c + h. Which is bigger: 243 or c?
243
Let d be (-72)/154 - (-4)/14. Suppose f + 26 = 25. Is d smaller than f?
False
Let r(w) = -w**2 - 5*w + 2. Let d be r(-5). Suppose 0 = 3*z - 235 + 70. Let a be 16/10*z/154. Does a = d?
False
Let d = 2457945856118/10097 + -243433283. Let r = d + 6/439. Which is bigger: -1 or r?
r
Let b = 66 + -62. Let q be (-3)/9 + 1/3. Let z = q - 1. Do z and b have the same value?
False
Suppose 0 = -7*w + 2*w - 50. Let h be -1*6*1/3. Let u be h/3 - (-66)/(-9). Does w = u?
False
Suppose -3*n = 2*s, 0*n - 12 = -2*s + 3*n. Suppose -3*v = -2*p - 12, 3*v - 7*v = 3*p + 1. Which is bigger: v or s?
s
Let r(b) = 4*b + 34. Let s be r(-9). Let y(j) = 5*j**2 - 5*j - 2. Let n(m) = 5*m**2 - 6*m - 3. Let a(l) = 3*n(l) - 4*y(l). Let q be a(1). Is s >= q?
True
Let b = -11078/1238583 + 12/2281. Which is bigger: b or 1?
1
Suppose 21 - 5 = -4*u, 2*q + 5*u + 26 = 0. Let b be (q/(-6))/((-2)/(-40)). Suppose -4*j - 10 = k, 2*k - 2*j - b = -0*k. Which is bigger: k or -1?
k
Suppose -f = -7 - 2. Let z(d) = -d + 7. Let r be z(7). Let p be 5 + (r - -4) + -1. Which is smaller: p or f?
p
Let m = 0.2172 + -0.0172. Are m and -1.2 equal?
False
Let l = 309 - 344. Which is greater: 2 or l?
2
Suppose 2*k + 24 = 2*h, -k + 2*h - 16 = -h. Let x = k + 8. Let m(c) = -12*c - 2. Let v be m(x). Is 1/2 < v?
True
Let l be ((-3)/2228)/(27/(-6) - -3). Which is bigger: 1 or l?
1
Let g be 12/(-42) + 5835/(-35). Does -166 = g?
False
Let u = 0.07 - 0.2. Let q = -235.3 + 235.3. Which is smaller: u or q?
u
Suppose 2*b - 11 = 5*p + 6*b, 0 = -4*p + 4*b - 16. Is p greater tha