ich is bigger: r or l?
l
Let u(j) = -76*j + 434. Let o be u(8). Is -175 bigger than o?
False
Let u(t) = -3 - 2*t**2 + t**3 - t + 3*t**2 + 8*t**2. Let s be u(-9). Let o be ((-12)/(-20))/(s/4). Is -1 > o?
False
Let c = -285 + 288. Which is smaller: -41/4 or c?
-41/4
Let k = 1794 + -1793.029. Let o = 0.071 - k. Let i = 0.7 - -0.3. Which is bigger: o or i?
i
Let p(i) = -i**3 - 2*i**2 - i + 2. Let b be p(-3). Let g = b + -40/3. Which is bigger: g or 2?
2
Let v = 0.49 + -0.26. Let l = 107.07 + -107. Let x = v + l. Which is greater: -0.3 or x?
x
Let l = 3 + -7. Let k(m) = -m - 1. Let f be k(-3). Let w be f*3/(24/(-20)). Is w greater than or equal to l?
False
Let y be (3/2 - 1)*-14. Let r(a) = -13*a - 3. Let d be r(1). Let t be (-10)/8 + (-4)/d. Is y at most t?
True
Let g be -2 + 76/(-52) + 3. Suppose -u - v = -5, -u - 3 = -5*v - 2. Suppose -1 = -c + h, 0*h - 3 = -3*c - u*h. Which is smaller: c or g?
g
Let j be 3 + 264/(-40) - -4. Which is smaller: 1 or j?
j
Let t = 64/175 + -2/25. Is -0.13 at least t?
False
Let f(r) = r. Let o(a) = -a. Let h(i) = -4*f(i) - 5*o(i). Let d be h(5). Suppose d = 5*q - 5. Is 2/3 greater than or equal to q?
False
Let z(g) = -7*g + 3*g + 5*g - 14. Suppose 0*c - 4*c + 56 = 0. Let m be z(c). Is m greater than or equal to -4/7?
True
Let p = 7 + -7. Let r be (-1338)/(-5160) - (-2)/(-8). Let z = 673/3010 - r. Which is greater: p or z?
z
Suppose 2*u - 3*v = -1542, -17 = -3*u - 2*v - 2343. Which is smaller: -773 or u?
u
Suppose 3*x - t - 6 = -x, 5*x - t - 8 = 0. Let c be (21/18)/7 - x/2. Is -2/5 <= c?
False
Let u = -410 + 436. Which is greater: 29 or u?
29
Suppose 16 = -4*p - 12. Let x be 2/7 - 5/p. Suppose -7*t + 3*t - 1 = -5*w, -2*t - w + 3 = 0. Are x and t non-equal?
False
Let s = -47 - -54. Let m(z) = -19*z - 3. Let g be m(-3). Suppose -s*h = -h - g. Are h and 9 unequal?
False
Let l = 15.2 + 2.8. Let p = -150 + 130. Let z = p + l. Is 2/7 smaller than z?
False
Let i be (1/(-635))/(3/(5 + 1)). Which is bigger: 0 or i?
0
Suppose 4*l = -4*u + 2*u + 1030, 3*l - 771 = -3*u. Let c = 259 - l. Let y be (-8)/10*2/10. Which is smaller: y or c?
y
Let g be 19 - 28 - (1 - -106). Is 0.2 greater than or equal to g?
True
Suppose -3*o + 2*t - 13 = 7*t, -t - 5 = 0. Suppose -o*a + 27 = -a. Let k be (-36)/(-4 - 0) - 0. Is k at least a?
True
Let b = -52 - -419/8. Let z = 222 + -222. Is b less than or equal to z?
False
Suppose 0 = 3*u + 4*g - 9*g + 531, 4*u + 2*g + 682 = 0. Which is greater: u or -175?
u
Let j be (78/130)/(3/(-2)). Is j < -30?
False
Let b be (-1094)/14 - (-3)/21. Let c be (b/(-65))/(6/10). Suppose -c*z + 14 = 4. Is 0.4 at least as big as z?
False
Let q(g) = -g**2 + 15*g - 12. Let l be q(14). Suppose 0 = -z - 5*b + 2 - 5, 5*b = l*z + 6. Let d be (-3 - (z + 0)) + 9. Which is greater: 8 or d?
d
Suppose 43*w + 2044 + 536 = 0. Which is greater: -58 or w?
-58
Let x = 3.96 + -4. Let p = x - 4.96. Let n = -0.03 - 0.07. Is n smaller than p?
False
Let b = 4/199 - 17/10746. Let v(k) = -k**2 - 2*k - 1. Let f be (-1)/(1*(-1 - -2)). Let q be v(f). Which is smaller: b or q?
q
Let c = 3.8 + -6. Let w = 2 + c. Let o = 18 + -20. Are o and w unequal?
True
Let d be (6 + 8)/(2 + (-1248)/616). Which is greater: -538 or d?
-538
Let g(r) = -6*r - 1. Let u be g(-1). Let q = -5 + 37/7. Is q < u?
True
Let r = 3 + -4. Let b = r + 0.9. Is b != 17?
True
Let i = -1777/11 + 161. Suppose -2*o + 19 = 3*w + 3*o, 5*w - 2*o + 20 = 0. Which is bigger: w or i?
i
Let u(a) = -2*a + 3. Let q be u(4). Let t be q + 9 + 3 + 0. Let w = t + -8. Which is greater: 1/15 or w?
1/15
Let a = 0 + 12. Let b = 6 - a. Let h be 15/b*(-24)/110. Is h greater than 1?
False
Let t be ((-4)/9*-3)/(2/18). Is 5 > t?
False
Suppose a = -2*i + 4, 4*i = -5 + 1. Let p = 2 - a. Let u = 2361/4 - 594. Is p >= u?
False
Let m(f) = f**2 + 8*f + 15. Let a be m(-7). Suppose -a + 10 = r. Do r and 0 have the same value?
False
Let o = -4.7 + -6.3. Suppose 0 = s - 0*s - d - 1, -2*s + d - 1 = 0. Which is smaller: s or o?
o
Let z(l) = l - 12. Let h be z(16). Let g(i) = i + 1. Let k be g(h). Is k at most 5?
True
Suppose -5*v - o + 14 = 0, -v + 6 = -4*o - 1. Suppose -5*f + 3*a - v = -3*f, -a = 2*f - 1. Is 1/34 <= f?
False
Let m = -586 - -573. Is -69/5 > m?
False
Let n(w) = w**3 - 14*w**2 + 22*w + 14. Let i = -55 + 67. Let t be n(i). Is -9 < t?
False
Let d = 0.02 + -0.12. Let s = -66/5 - -491/30. Do s and d have different values?
True
Let x = -1/186 - -571/2418. Let t = -0.98 + 1.08. Which is smaller: x or t?
t
Let l = -291.7 + 277. Let v = 0.3 - l. Let h = v - 5. Is h greater than 0.2?
True
Let w(a) be the first derivative of -a**2/2 - 3*a - 14. Let t be w(-1). Which is bigger: t or 0.1?
0.1
Let w = 87.4 - 85. Let s = -11.6 - w. Let f = -6.1 - -6. Which is smaller: f or s?
s
Suppose 4*s - 3 = s. Suppose -5 = 4*g - s. Let c(k) = k**3 - 9*k**2 + 8*k + 57. Let q be c(5). Is q at most g?
True
Let s(w) = 33*w**2 - 2*w - 2. Let l be s(6). Suppose 7*y + 1160 = -3*n + 2*y, 3*n + l = 2*y. Let f be -3*(-5)/(n/(-4)). Which is bigger: f or -1?
f
Let c(k) = k**2 + 2*k - 3. Let h be c(-3). Let l(o) = -o**2 - 5 + 12 + 8*o + h*o. Let w be l(9). Which is greater: -6/7 or w?
-6/7
Suppose -62*c + 1477 = -1499. Which is greater: c or 620/13?
c
Let i be (10/13)/10*-21. Is i greater than or equal to -1?
False
Suppose 2*o - 3*o + 1 = 0. Let l = 242 - 240. Is o < l?
True
Let p = -141.1 + -125.9. Which is smaller: -0.1 or p?
p
Let g = 142 + -142.3. Is 34 < g?
False
Suppose 2*l - x + 4 = 0, -4 = -x - 0. Suppose 0*w + 5*w + 5 = l. Let u(r) = -r**3 - 37*r**2 - 34*r + 71. Let g be u(-36). Is g less than or equal to w?
True
Let u = -79481/7 + 11325. Is u smaller than -29?
True
Let t = 187.3 - 202. Which is smaller: -0.4 or t?
t
Let u = 0.019 - -21.981. Let y = -22.5 + u. Let z = -0.3 - y. Is z greater than 0.1?
True
Let i be -6*1 - ((-23980)/(-7990) + -9). Is i equal to 0?
False
Let l = -199 + 199. Is l at least as big as 1/8?
False
Let o be (-6)/15 - 42/(-135). Suppose l + l = -2. Which is smaller: o or l?
l
Let b = 24437939/93258 - -95/3454. Let m = -262 + b. Is 1 <= m?
False
Let r(t) = t**3 + 42*t**2 - 85*t + 125. Let d be r(-44). Which is smaller: -14 or d?
-14
Suppose -7*r - 110 = 282. Which is bigger: r or -60?
r
Suppose -9*p = 27*p. Which is smaller: p or 15.4?
p
Suppose -3*o = 10*o - 52. Suppose -o*p - 102 = -10*p. Let g(m) = -m**2 - m + 16. Let b be g(0). Which is smaller: p or b?
b
Let r(k) = k**3 - 28*k**2 + 53*k - 47. Let c be r(26). Which is smaller: -64/3 or c?
-64/3
Let l(x) = x**2 + 5*x + 1. Let g be l(-5). Let k = 19 + 5. Let d = 74/3 - k. Is g < d?
False
Let c be 1 + 1*-1 + 1. Suppose -6*i + 108 = 6*i. Let z be 9 + (30/(-25))/(i/30). Which is smaller: z or c?
c
Suppose -4*m + 8 = -3*d - 3, 3*d = -15. Let z be (-5)/33 - 16/(-48). Is m greater than or equal to z?
False
Suppose -3*n - 32 = -7*n. Suppose -11 - n = s. Let b(c) = -c**3 - 9*c**2 - 7*c - 10. Let g be b(-8). Are s and g unequal?
True
Let x be (-9)/27 + 13/156. Is 88 less than x?
False
Let a = -18 + 17. Is a < -30?
False
Let z = 0.35 + 24.65. Let f = 107 - z. Is 0 >= f?
False
Suppose 2*f + 2*f + 5*a + 56 = 0, 75 = -5*f - 5*a. Let i = -62 - -44. Is f >= i?
False
Let f(v) = 18*v + 34. Let h(m) = m**2 + 73*m + 136. Let n(w) = 9*f(w) - 2*h(w). Let z be n(10). Which is bigger: z or -7?
z
Let n = -0.32 - 0.59. Let j = 0.9 + n. Let y = j - 0.99. Is 2 at least as big as y?
True
Let c = -23 - -44. Let q = -19 + c. Is -1.7 at least q?
False
Let q be -4 + 0 + 4707/4701 + 3. Which is greater: -1 or q?
q
Let h be 6 + 7 + ((-43992)/(-380))/(-9). Is h at most as big as 1?
True
Let r = 12.7 - 12. Let c = r - 1.7. Let p(g) = -g**2 - 11*g - 13. Let i be p(-9). Which is smaller: i or c?
c
Let u = 38 - 15. Suppose 3*z + 21 = -3*c, -2*c + 3*z = 2*z + u. Is -11 less than or equal to c?
True
Let a = -0.01 - 54.99. Let v = a - -57. Is v greater than 6?
False
Suppose -2*z = 6*g - 11*g - 2, 3*z = -g - 14. Is z not equal to -84/17?
True
Suppose 0 = -2*s + 6, -2*s + 2 = -0*c + c. Let n be ((-55)/(-20) + -2)*c. Is n bigger than -11?
True
Let q be 3 + (-495)/(-20) + (-50)/(-40). Which is bigger: q or 89/3?
89/3
Suppose 0 = -3*j - 2*p + 30, j - 3*p - 31 = -4*j. Let y = 0.12 - 1.02. Let v = -1.1 - y. Which is smaller: v or j?
v
Suppose -5 = -5*h + 8*r - 3*r, 0 = -r - 2. Is -10/461 greater than h?
Tru