et l be o(5). Suppose 0 = -3*i + 2*x - 12, 0*i - i + 7 = 3*x. Which is smaller: i or l?
l
Let h be -2 - 34/(-4)*2. Let z be 1/(1 - 12/h). Let c(x) = -x**2 - 9*x + 7. Let k be c(-9). Which is bigger: z or k?
k
Let d(j) = j**3 + j**2 + 2*j + 20. Suppose 3*h + 2*c + 4 = 0, -2*h - 4*c - 8 = h. Let u be d(h). Let y be u/5 - 51/12. Is -27 bigger than y?
False
Let o = -1 + 1. Let a = 0.0279 - -0.0721. Which is smaller: a or o?
o
Suppose -13*i + 476 = -20*i. Let v = 53 + i. Which is smaller: v or -16?
-16
Suppose -4*m = -2*d - 36, 3*m - m = -5*d - 150. Which is smaller: -30 or d?
-30
Let f(g) = -189*g - 5. Let y(i) = -567*i - 14. Let c(d) = -11*f(d) + 4*y(d). Let v be c(1). Let r = -5509/29 - v. Which is smaller: -1 or r?
-1
Let u be (-19 + 28)*(-4)/(-18). Is 3/40 at most as big as u?
True
Let j = -213 + 167. Which is greater: j or -0.2?
-0.2
Let v be 3225/100 + (-1*1)/4. Let s be (-80)/v*(-2 - -2 - -2). Is -5 < s?
False
Suppose -2*y - 5*s - 30 = -3*y, 0 = 4*y - 5*s - 45. Let r = y - -28. Suppose 5*v = 37 + r. Which is bigger: 15 or v?
15
Suppose -1 = 2*z - 7, -4*i = 4*z + 80. Is -165/7 at most i?
True
Suppose 2*a - 9 = f - 3*a, 5*a = -3*f + 13. Are 7 and f unequal?
True
Let s = 0.67 - -0.13. Let u = s - 0.9. Let d = u + 0. Which is smaller: 0.04 or d?
d
Suppose 0 = 2*h + 4 + 4. Let p be -1 + (-24)/h + -3. Suppose -p*m - 2*k - 4 = 0, -6 = -3*m + 5*k + 4. Is 2 at most m?
False
Let y be (-98)/4*(-72)/(-54). Which is bigger: 0.1 or y?
0.1
Let y be 5/(-30) + (-142)/12. Suppose -l = -5*x + 31, 4*l = -x - 20 - 20. Which is bigger: y or l?
l
Let m(u) = 140*u - 6. Let z be m(1). Let i = z - 127. Is i < -2?
False
Let u = -0.1 - 3.9. Let w = -64 - -59.9. Let r = w - u. Which is smaller: -6 or r?
-6
Let w = 35 + 3. Let u = 40 - w. Is -1 at least u?
False
Let i = 10.62 - 10.598. Is -5 at most i?
True
Let a be (-15*(3 - 2))/(3/(-2)). Suppose g = 5*x - 5, g + a = -2*x - g. Let y = -94 - -847/9. Which is greater: y or x?
y
Suppose -6*s + 2*s + 160 = 0. Suppose 5*v = -3*c - s, 4*c - 3*v + 5*v + 44 = 0. Is -10 less than c?
False
Let z = 26.22 + -5.12. Let d = z + -22. Let o = -199/329 - -15/47. Which is smaller: o or d?
d
Let p be (3 + -2)*(504/(-4))/(-3). Is 2 <= p?
True
Let c = 13 - 11. Let u be 3 - (-2 + 2) - 315/99. Which is smaller: u or c?
u
Let z = -328 - -329. Is z smaller than 7/17?
False
Suppose 13 + 22 = r. Let w = r + -43. Is w != -9?
True
Suppose g = -2*g - 30. Let j = g + -31. Is -40 <= j?
False
Let t = 588 + -618. Is -26 equal to t?
False
Let r(f) = -3 + 12 + 9 + f**2 + 11 - 15*f. Let d be r(13). Are -9 and d non-equal?
True
Suppose k + k + 2 = 0. Let y be 2/10 + 6663/(-15). Let g be (0 - -1)/(y/(-24)). Do g and k have different values?
True
Let s = -17 + 14. Let b be (s - -1)*1/((-170)/(-15)). Is b bigger than 0?
False
Let q = 0.51 + 81.49. Is 0.1 > q?
False
Suppose 1 = -g + 4. Let n(x) = x**3 - 34*x**2 - 24*x - 381. Let m be n(35). Is m > g?
True
Let m(k) = k**2 - 3*k + 1. Let h = -6 - -8. Let p be m(h). Which is smaller: -1/11 or p?
p
Suppose 17*r + 9*r = 4*r. Let q = 0 + -1. Which is smaller: q or r?
q
Let h = 352 - 343. Suppose -5*v + 28 = -3*v + 4*q, -12 = -3*q. Is h smaller than v?
False
Suppose 2*t + 4*u - 39 = -u, -20 = -4*u. Is t greater than or equal to 7?
True
Let p be ((-315)/(-28) + -12)/((-396)/21). Which is smaller: 0 or p?
0
Let k = 0.01 + 1.99. Let v(x) = -3*x**3 + 9*x**2 - x + 15. Let d be v(3). Are k and d nonequal?
True
Let n = 130 + -127. Let b be (-38)/36 + -3 + 4. Let q = 11/18 - b. Which is smaller: n or q?
q
Let n be (-380052)/(-1260) - (-1 + (-6)/(-5)). Let i = n + -302. Let b be -1 + 0 - 1/(-1). Is b greater than i?
True
Let p = -13.3 - -13.2. Let n be 22/(-99) - (-11)/9 - -27. Which is smaller: n or p?
p
Suppose 13*s - 44 = 2*s. Let g be (-1 + s)/(3/2). Suppose 3*a = -0*a. Is g less than a?
False
Let u = -11 - 13. Let p be (-208)/u - (-2)/(-3). Which is smaller: p or 6?
6
Let j(p) = -p**3 + 13*p**2 - 12*p + 8. Let n be 4/(3 - -1) - -11. Let r be j(n). Suppose 0 = -5*o - r + 28, -28 = -2*w - 4*o. Which is smaller: 4 or w?
4
Suppose 1453 = 16*p - 691. Let d = 224 - p. Which is greater: 89 or d?
d
Let k = -22 + 221/10. Let g = 22 - 22. Is g less than or equal to k?
True
Suppose -12 = -4*x, -29*s + x - 28 = -24*s. Suppose -946 = 5*y + 449. Let f = y - -824/3. Which is greater: s or f?
f
Let h = 4.8 - 4. Let r = 43/3 + -15. Which is smaller: h or r?
r
Let d = 20.358 - -2763.662. Let o = d - 2758. Let q = -26 + o. Which is greater: q or 0.1?
0.1
Let o = 20997/530 - 23/106. Let n = o - 39. Which is smaller: n or -3?
-3
Let j = 3.2 - 3.76. Let r = j + 0.29. Let a = r + 0.67. Is -3 > a?
False
Suppose 2*x + 3*n - 29 = 0, 2*x = -3*x - 3*n + 77. Let i be 5/(-6)*x/30. Which is smaller: -1/4 or i?
i
Suppose -5*x + 3 = -3*q + 16, -1 = -q. Which is greater: -28/23 or x?
-28/23
Suppose -a = 3*m + 24, a + 2*m + 0*m + 19 = 0. Let p be 35/(-36) + a/(405/(-10)). Is 0.5 greater than p?
True
Let m = -123 - -80. Is m greater than -44?
True
Let g = -61 - -27. Let l = g - -30. Is l <= 1?
True
Let b = -2588/3 - -863. Let u(h) = -h**2 - 6*h + 8. Let p be u(-7). Let i be (p - 2) + 1/(-2). Is i at least b?
False
Let v be -1*1*-1*(-267 - -330). Which is smaller: 61 or v?
61
Let s(z) = 19*z**3. Let v(d) = -210*d**3. Let c(u) = -56*s(u) - 5*v(u). Let y be c(1). Let h(k) = -4*k - 1. Let b be h(3). Which is greater: b or y?
b
Suppose 5*a + h = 15, 0 = a - 10*h + 5*h - 3. Which is smaller: 23/7 or a?
a
Let g be (-23)/(-4) - 12*(-2)/(-32). Which is smaller: g or 19/3?
g
Suppose -34*c + 26*c = -3032. Which is greater: c or 381?
381
Suppose 0 = -7*z + 2*z. Let g be (-6 + 4 - 2) + z. Is g less than -0.2?
True
Let c = 6/25 - 43/75. Let q = 1.18 - -45.82. Let f = 47.1 - q. Is f not equal to c?
True
Let h be (-1*1)/((-1752)/(-144)). Is h < 0?
True
Let s be 2/(-4)*-2 - 225/210. Do 7 and s have different values?
True
Suppose 0 = 3*y + 3*w - 1977, -5*y = 2*w - 1549 - 1740. Is y > 656?
True
Let x(a) = -a**2 + 6*a - 7. Let m be x(7). Let c be (2/m)/(5/(-90)). Is 4 > c?
True
Let l = 193/87 - -10/87. Which is greater: 2 or l?
l
Let m = -2.33 + 2.33. Which is smaller: m or -0.27?
-0.27
Let k = -154 + 217. Suppose a - 51 + k = 0. Which is bigger: a or 0.1?
0.1
Suppose -5*t + 446 = 421. Which is greater: -25 or t?
t
Suppose -142*z + 131*z + 11 = 0. Are z and -1/166 equal?
False
Let i = -3863/210 + 129/7. Let p(s) = 9*s**3 - 11*s**2 + 24*s - 23. Let v be p(1). Is v equal to i?
False
Suppose -10*x = -11*x + 18. Let u = x + 1. Let y be 3 + -2 + 0 - u. Which is smaller: y or -19?
-19
Let w = -136 + 135.4. Is w less than -2/13?
True
Let k be 0 + 1/(1/3). Let g = 4672 - 4671. Is k <= g?
False
Let i(u) = u**3 + 3*u**2 - 2*u + 7. Let b be i(-4). Let t be (684/(-290))/((-6)/(-4)). Let n = t + 5/29. Do b and n have different values?
True
Let u = 74.1 - 74. Suppose 4*m + 3*q = 144, -3*m + 79 = -4*q - 4. Suppose -v + m = 5*k + 4, 3*k - 2*v - 7 = 0. Which is greater: k or u?
k
Suppose l + 3*x = -2*l - 69, 2*x = l + 17. Let o be l/(-189) - 13/(-45). Which is smaller: o or 0?
0
Let g be (-18 + 16)*(-182)/4. Let t = 90 - g. Which is smaller: 1/7 or t?
t
Let t be ((-142)/(-6))/((-12)/18). Let g = 35 + t. Is 18 < g?
False
Let u = -133 - -128. Which is smaller: u or -1.3?
u
Let r(w) = -w**2 + 7*w - 8. Let j be r(3). Suppose -2*u + 4 = 3*t, -10 = -j*u - u. Which is bigger: t or -1/14?
t
Let k be (-3)/(-15) + 2 + 890/50. Which is greater: 81/4 or k?
81/4
Suppose 0 = -15*y - 29 - 121. Is 0.05 equal to y?
False
Let n = -7 + 10. Suppose -5*t + 4*t = n*v + 16, t + 1 = 0. Let p be v/2*(-36)/120. Is 2/9 smaller than p?
True
Let x = -60.1 + 2.1. Let y = -57 - x. Do y and 1.3 have different values?
True
Let k(x) = -3*x - 9. Let z(h) = 13*h + 37. Let l(c) = -9*k(c) - 2*z(c). Let f be l(-8). Which is bigger: -2/25 or f?
-2/25
Let f be 2/(-3) - (-537)/198. Let m = -6/11 + f. Which is smaller: 5 or m?
m
Let m be 2/(-9) + (-22)/(-18). Let r = -16063/180 + 357/4. Let c = -53/630 - r. Is c > m?
False
Let s = 2.9 - 3. Let a = -45.92 + 44.52. Which is smaller: a or s?
a
Let j(x) = -7*x + 17. Let h(k) = 11*k - 26. Let b(m) = 5*h(m) + 8*j(m). Let u be b(5). Let y = 629 + -4391/7. Is u greater than or equal to y?
False
Suppose -2*a + 5*a = -5*z + 166, 2*z - 74 = -5*a. Let o = 161/5 - z. Are 21 and o non-equal?
T