 (8/t + 0)/(-9). Which is smaller: l or 1?
l
Let u = 20 + 13. Let c be 150/(-22) + (-6)/u. Let r = c + 4. Which is bigger: -1 or r?
-1
Let g(l) = -7*l**3 + 3*l**2 - 3*l - 1. Let z be g(-3). Suppose p + 0*p = 5*s - 591, 0 = -2*s + 5*p + 218. Let o be (-2)/(-1) - z/s. Which is bigger: o or -1?
o
Let x = 0.025 + 0.045. Which is bigger: x or 3?
3
Let u = -1063/20 + 247/5. Let m = u - -5/2. Let f(y) = -y**3 - 9*y**2 - y - 10. Let h be f(-9). Which is smaller: h or m?
m
Let l = -0.32 + 6.02. Let n = -6 + l. Is 2 equal to n?
False
Let y(v) = -v**2 + 3. Let r be y(0). Let z = r + -5. Do z and -2 have the same value?
True
Let g = -3.316 + -0.084. Which is greater: g or -1?
-1
Let f(p) = p**3 + 3*p**2 - p - 4. Let s be f(-2). Is 1 > s?
False
Let j = 3 + -4. Let a = 1.2 - 0.2. Which is greater: j or a?
a
Suppose 3*h = 3, -h + 5*h - 3 = -v. Suppose -3*b - 10 + 1 = 0. Let p be b*4/30*2. Which is bigger: p or v?
p
Let h(a) = -a**2 - 7*a - 6. Let j be h(-6). Which is smaller: 0.4 or j?
j
Suppose 2*w - 16 = -l, 6*l - 2 = 4*l + 2*w. Let k be (-1)/(-4) - l/88. Let m(f) = -f**2 + 9*f - 1. Let d be m(9). Which is smaller: k or d?
d
Let q = 8 + -11. Let k = 2.98 + q. Let y = -0.38 + k. Is y < -0.1?
True
Let t(l) = l**3 + l - 1. Let f be t(2). Suppose -f = q + 2*q. Let o be q/(-30) - 1/2. Which is greater: o or -0.2?
-0.2
Let k be -12 + 3 + (-2 - 0). Which is greater: 0 or k?
0
Let b = -7 - -8. Let s be (0 - -3)*2/9. Is s at most as big as b?
True
Suppose -x = -4*x + 42. Let a be -3 + 3 - (2 + -16). Is x smaller than a?
False
Let y = 12.94 + -13. Which is greater: y or -1?
y
Let a(p) = p**2 - 9*p - 27. Let w be a(-5). Is w bigger than -0.1?
True
Let p be 4*(-2 - (-18 + -2)). Let k = -45 + p. Let r be 3/(-2)*(-3)/k. Which is bigger: -1 or r?
r
Let y be (74/117)/((-12)/(-20)). Let c = -16/27 + y. Is c > 1?
False
Let w be 2/4*(-3 - -11). Which is smaller: w or 6?
w
Let z = -4 - -3. Let m be (-1 - 1) + (-105)/(-54). Do z and m have different values?
True
Let p be (-3)/(-9) + (-10)/(-6). Suppose -p*b = -6*b - 4. Let d be ((b - 0) + 1)/(-1). Which is greater: -4/3 or d?
d
Let z be -10*(2 - 3)/(-2). Suppose 2*g + 3*g + 22 = 2*a, -2*g - 28 = 4*a. Let l(q) = -q - 10. Let v be l(g). Which is greater: v or z?
v
Let j = 0.41 - -1.59. Which is smaller: 14 or j?
j
Suppose -k = -3*z + 10 + 7, k + 15 = 2*z. Which is smaller: k or -9?
k
Let y = 12 + -11. Is y less than -4/11?
False
Let v = 53.2 + -48. Let n = -2.8 - v. Is -0.2 equal to n?
False
Suppose 2*m = 3*m. Are m and 1/32 nonequal?
True
Let c(w) = 8*w**3 - w**2 + 2*w. Let a be c(1). Suppose 0 = 5*y + 3*z + 11, 5*y + 0 = -2*z - a. Which is smaller: y or 2?
y
Suppose -14 = 2*j + 18. Which is smaller: j or -61/4?
j
Suppose 0 = -12*v + 5*v + 77. Are v and 10 equal?
False
Let h = -2.1 + -0.9. Let f = -2 - h. Which is smaller: f or -1/6?
-1/6
Let q(n) be the first derivative of -n**2/2 + 6*n + 1. Let j be q(5). Let u be 3 + (-4)/2 - 0. Is u < j?
False
Suppose -4*q + 13 + 0 = -v, 3*q = 4*v. Suppose t - 2 = -v. Do t and 3/10 have different values?
True
Let n = 0.3 - -0.2. Let r = 0.15 - 1.65. Let a = n + r. Which is greater: 2 or a?
2
Suppose -12*b + 4 = -16*b. Let w = -2 + 2. Which is bigger: w or b?
w
Suppose 11*f - 17*f - 144 = 0. Do f and -23 have the same value?
False
Let v = 9 + -7. Suppose 0 = -2*d - 3 - 1. Let b = d + 1. Which is smaller: b or v?
b
Suppose 0 - 8 = -4*i. Suppose s - 3*x = -s - 6, -x = -4*s - i. Is -3 > s?
False
Let n = -3 - -2.9. Which is greater: n or 7/4?
7/4
Let t = 1.2 + -0.2. Let w = 1 - t. Let y = w - 1. Is y != 1?
True
Let q be (2 - 0)*2 - 1. Suppose -2 = 5*c - q*c. Let l be -3*(-2 + 40/18). Is c > l?
False
Let l be (-3)/(3/53)*-2. Which is smaller: 105 or l?
105
Let z = -64 - -76. Is z at least 3?
True
Let n(k) = 33*k**3 + 2*k**2 + 2*k + 1. Let o be n(-1). Let d = 29 + o. Which is bigger: -2/3 or d?
-2/3
Let n(g) = g**2 - 10. Let m be n(3). Suppose 2*v - 14 = -2*b, 2*v + 0 = 4*b - 16. Let r be (v/12 + 0)/(-1). Is r bigger than m?
True
Let w = 8.2 + -1.2. Let f = -0.05 + 9.05. Let h = w - f. Is h at most as big as 0?
True
Let m = -34 + 50. Which is smaller: m or 15?
15
Let w(i) = 3*i - 1. Let t be w(2). Suppose 0 = s - 3*y + 7, 3 = -t*s - 5*y + 8. Let o = s + 2. Which is smaller: o or -1/4?
-1/4
Let h = -124 - -118.98. Let m = h - -5. Let x = -0.02 - m. Does 0.1 = x?
False
Suppose -9*x = -3*x. Are 6 and x unequal?
True
Let l = 0.03 - -7.97. Let a = l + -8. Let y = 0.5 - 0.3. Which is smaller: a or y?
a
Let c(k) = -k**3 + 2*k**2 - k - 2. Let h be c(-2). Let f(v) = -3*v**2 + 2*v + 1. Let l be f(-1). Let m be 1/2 + l/h. Is m < -1/2?
False
Let r = -0.17 - -0.37. Which is greater: -3 or r?
r
Suppose 4*k + 8 = 8*k. Let o = -3 + 7. Which is smaller: k or o?
k
Let m be (-1)/((-3)/(-8) - 0). Let i = -2 - m. Which is smaller: -1 or i?
-1
Let j be (-174)/43 + -4 + 8. Which is smaller: j or -1?
-1
Suppose -j = j - 2*u - 2, 0 = -j - 3*u - 7. Which is bigger: j or -2/49?
-2/49
Let y = 0.3 - 0.35. Let s = y + 0.35. Let c = 189.1 + -189. Which is smaller: c or s?
c
Let h(w) = 7*w - 35. Let d be h(5). Which is smaller: d or -2/77?
-2/77
Let q(f) = f + 8. Let b be q(-8). Suppose b = 2*m + 2*m. Is -3/4 greater than m?
False
Let q be 8/(-3)*(-12)/(-328). Let c = q + 200/369. Are 2 and c nonequal?
True
Let g = -0.2 + -0.8. Let c = 1.04 - 0.04. Let z = 3 - c. Is g != z?
True
Let z(x) = x**2 + 9*x + 1. Let a be z(-9). Which is smaller: 3/5 or a?
3/5
Let f be -1*(94/10 - (-12)/(-30)). Are 0 and f non-equal?
True
Suppose 4 = -d + m, 2*d - 8 = -4*m + 8. Let x be -3 - 0 - 996/(-10). Let h = 97 - x. Is d smaller than h?
True
Suppose c = -c + 4*w - 18, 5*c + 3*w - 7 = 0. Let a be 328/(-560) - 2/(-7). Which is bigger: a or c?
a
Let t = 5 + -3. Suppose 3*w + 3*i + t*i = 19, -1 = -w + i. Let s be 0 + 0 + (-1)/(-4). Which is greater: w or s?
w
Let t = 8 - 10. Let k be -1 + 0 - 4/t. Is 0 at most k?
True
Let m = -69 + 114. Do m and 47 have different values?
True
Let j = 49.017 + -0.017. Are j and 0 non-equal?
True
Suppose 5*i = 3*j + 8, -4*i + 9 + 3 = -j. Suppose i*v = -v. Which is greater: -2/9 or v?
v
Suppose 44*c + 46 = 46*c. Which is greater: c or 26?
26
Let h = 2.1 - 2.2. Is -9 less than h?
True
Let k(x) = -4*x**3 + 2*x**2 - 2*x + 1. Let h(r) = 5*r**3 + 2*r + 1. Let b be h(-1). Let a = b - -7. Let t be k(a). Is t >= -3?
True
Let f = 1827/5 - 3626/5. Let c = 361 + f. Which is greater: 0.1 or c?
c
Let s be 1/(-1 - 0) + -2. Let k be (-246)/345 - s/(-15). Let o = k + 319/299. Is 0 at most as big as o?
True
Let g(z) = -6*z**2 - 2*z - 1. Suppose 3*y + 0*y = -3. Let m be g(y). Is -5 <= m?
True
Let r be ((-1)/1 + 0)/1. Let j = r + 4. Let f = j + -3. Is -1 at least f?
False
Let f be 72/27 - (0 + 2). Is 1 <= f?
False
Let j = -10 - -14. Suppose -5*m - 1 = -21. Is j less than m?
False
Suppose 5 = -0*x + 5*x. Which is greater: 4/19 or x?
x
Let q be 2/4 + (-5)/(-2). Let f = 4 - 9. Let j = q + f. Is -1 at least as big as j?
True
Let g be 1/(-2) - 9/(-90). Are g and 5 nonequal?
True
Let y be 1/25*(-46)/(-6). Let n = 2/75 + y. Suppose -3*c + 4 = 1. Is n not equal to c?
True
Let j be (2 - (1 - -1))*1. Suppose j = y - 3*y + 16. Let i be (-2)/y - (-5)/(-4). Is i at most -3?
False
Let y(r) be the second derivative of r**5/20 - 5*r**4/12 - 5*r**3/6 - r**2/2 - r. Let b be y(6). Suppose b = 6*w - w. Is 1 at least w?
True
Let z = 4 + 0. Let f = z + -3. Let w = -3 + f. Do w and -2 have different values?
False
Let w = -0.43 + 0.03. Let h = -0.25 - 0.05. Let g = h - w. Is g smaller than 0.1?
False
Suppose -b + 3 = 1. Let y = b + -2. Which is smaller: y or 5/6?
y
Let z(f) = f - 5. Let t(j) = 2*j - 5. Let n(p) = 7*t(p) - 6*z(p). Let q be n(4). Let r = q + -107/4. Is r <= -0.1?
False
Let a = 36/25 - 1382/925. Is -1 <= a?
True
Suppose -y - 5 = 0, 2*y + 0 + 22 = 3*a. Suppose 0 = a*d - 8*d. Let q(b) = -b**3 - 5*b**2 + 7*b + 5. Let w be q(-6). Is w less than d?
True
Let m be ((-28)/(-29) - 1)/(1 - 0). Does -1 = m?
False
Suppose -6 = -3*m - 21. Let y = m - -15. Let g be 4/5 + (-4)/y. Is g at most as big as 0?
False
Let c = -4.87 + -0.13. Is -3 != c?
True
Let l = -2 + 4. Let p = -44 + 175/4. Which is smaller: p or l?
p
Let r = -58 - -100. Which is bigger: r or 2?
r
Suppose 5*g = -m - 0*g + 8, 2*m - 2 = -3*g. Is m >= -1?
False
Let m = 3 - 3.05. Let t = m + -0.05. W