 less than l?
True
Let w = -9 + 8.84. Let c = -0.26 - w. Do 1/2 and c have the same value?
False
Let y(z) = -z**3 - 4*z**2 - 2*z + 7. Let n be y(-5). Is n at least 41?
True
Suppose 7 = -m - i - 3*i, 0 = -m + 3*i + 7. Let l = -9 - -1. Let z = 10 + l. Is z >= m?
True
Let r(j) = -j + 4. Let y be r(4). Which is smaller: -2/73 or y?
-2/73
Let n = 4 + -6. Let a(v) = 5*v + 10. Let g be a(-3). Let k be 1/(-5)*(g - -9). Which is smaller: n or k?
n
Suppose 25 = -3*l + 2*j + 1, -4*j = 3*l + 6. Which is greater: -7 or l?
l
Let f = 2 - 4. Let x = -4.12 - -0.12. Let g = -4.2 - x. Which is smaller: g or f?
f
Let f be 4/5*5/2. Let k be (f/4)/((-14)/24). Which is smaller: k or -2?
-2
Let d(w) = w + 7. Let s be d(-5). Let j(i) = -i**2 - 2*i + 1. Let o be j(-2). Let h be (2 + o)/3 + 0. Which is smaller: h or s?
h
Let p = -22 - -18. Is p bigger than -5/2?
False
Let t be ((-4)/3)/((-4)/(-18)). Let c be (-8)/(-12) - (-10)/t. Let i = c + 1. Which is bigger: i or 3/5?
3/5
Suppose 4*u - n + 1 + 4 = 0, -4*u - 2*n = -10. Let g be 9 - 5 - 64/14. Which is greater: g or u?
u
Suppose 3 = 5*j + 4*s, -3*s - s = 2*j + 6. Suppose -4*v + 2*v - 4*m = -16, -m + 4 = -2*v. Which is smaller: j or v?
v
Suppose 2*u = -1 - 7. Let n be (-1)/(2*3/u). Is n at most as big as 0?
False
Suppose 5*t - 3*t = -4. Suppose b - 2*g - 5 = 1, 4*g = -2*b + 4. Suppose 16 = -b*x - 2*s, -2*s - 1 - 17 = 5*x. Is t bigger than x?
False
Let j(q) be the third derivative of 0*q - 1/24*q**4 + 1/120*q**6 - 2/3*q**3 - 2*q**2 - 1/30*q**5 + 0. Let c be j(3). Which is greater: c or 9/4?
9/4
Let k = 17 - 16. Let c = -6 + 8. Is c <= k?
False
Let k be 0 + 3 + -2 + 1. Suppose 0 = -2*n + k. Let q = -1 - -0.9. Is n bigger than q?
True
Suppose -3 = -3*c + d, 5*d + 1 = 4*c + 8. Let w = 9 + -5. Let y = w - 1. Which is smaller: c or y?
c
Let o(a) = a - 7. Let x(y) = y - 7. Let v(r) = r**3 - 7*r**2 - r + 10. Let m be v(7). Let d(k) = m*o(k) - 4*x(k). Let q be d(8). Which is bigger: q or -2/11?
-2/11
Let s be (4 - 1)/(4 - (-282)/(-12)). Which is smaller: -1/6 or s?
-1/6
Let s = 0.3 - 1.3. Let x = 15.1 - 15. Is s bigger than x?
False
Suppose 0 = -3*h - 29 - 13. Let g be (-4)/h*(-10)/20. Is 0.2 greater than or equal to g?
True
Suppose -b = 2*b - 27. Suppose 8 = 2*k + 3*x, -2*k + 4 = -x + 5*x. Do b and k have the same value?
False
Let u be 24/11 + 4/(-22). Suppose 4*d - u = -10. Which is smaller: -4/3 or d?
d
Let w(h) = h**3 + 8*h**2 + 4*h + 7. Let i be w(-7). Let f be (-294)/i - 1/(-2). Are f and -11 equal?
False
Let z = 8 - 12. Let p be z - -73 - (-1 + 4). Let b be ((-2)/6)/(p/36). Is b greater than or equal to 0?
False
Suppose o + 0 = -9. Is o greater than -8?
False
Let v(x) = -x**3 - 7*x**2 - 7*x - 8. Let u be v(-6). Suppose 2*a + 3*z = -7, 3*z - 5*z = -2*a + 18. Let n be ((a - 1) + -1)/2. Is u at least as big as n?
False
Suppose 3*b + 2*b + 125 = 0. Which is smaller: -26 or b?
-26
Suppose 3*c - 44 = -4*b, 2*c + 7*b - 4*b - 31 = 0. Is 2 at most as big as c?
True
Let v be 0 + -2 + -2 - 25. Let p = v + 31. Which is greater: p or 0?
p
Let b be -4 - -2 - 2143/(-13). Let j = -163 + b. Is j less than 0?
True
Let c be (2 + 2)*(-9)/(-12). Suppose c = 3*t - 0. Is t <= 1?
True
Let x = -0.23 + 0.23. Is 2 >= x?
True
Let l = -196 + 277. Let r be ((-1)/3)/((-36)/l). Which is greater: r or 1?
1
Let r = 1781/122 + -29/2. Which is smaller: r or 1?
r
Let z(v) = -v**2 + 4*v + 4. Let a be z(4). Let k = 7 + -3. Is a > k?
False
Suppose 3*w + 5 - 16 = -f, 21 = 5*f - 2*w. Let u(b) = b**2 + 4*b + 3. Let x be u(-4). Which is smaller: x or f?
x
Let h = -1 + 6.03. Let o = 5 - h. Let q = 0.07 - o. Which is greater: q or 0.2?
0.2
Let o = -18 - -18. Suppose 6 = -4*a - 3*m + m, -4*a - 9 = 3*m. Is a > o?
False
Let a be 111/(-21) + (-6)/(-21). Let x = -5 - a. Which is greater: -2 or x?
x
Let x = -0.07 - 6.93. Let i = x + 7.2. Which is bigger: 1 or i?
1
Let j(b) = b + 7. Let d be j(-6). Let h be (-1)/1*(-1)/d. Do -2 and h have the same value?
False
Let m = 0.4 + 0. Let w = 3.8 - 4. Let b = w + m. Is 2 at most b?
False
Let t(v) = v**3 + 4*v**2 + 6. Let o be t(-4). Are 6 and o nonequal?
False
Let s = 0.02 + -0.16. Is -2/7 equal to s?
False
Let z = -2.04 + 0.04. Let u(v) = -2*v - 2. Let h be u(-2). Are h and z equal?
False
Let p be 1/6*(-18)/(-21). Which is bigger: p or -10?
p
Let k(v) = v - 5. Let i be k(6). Let x(f) = 0*f - f - i + 3 + 0. Let q be x(2). Is -0.1 < q?
True
Let h be (-5 + 6)*(-7937)/17. Let r = h + 467. Which is greater: r or 0?
r
Let u = -0.2 - 0.3. Let i = -0.25 - 0.05. Let z = i - u. Which is smaller: z or -1?
-1
Suppose 247 + 608 = -3*k. Let h be 80/14*34/k. Let x = 2/133 + h. Which is bigger: x or 2?
2
Suppose 2*x - 4 + 18 = 0. Let t = -3 - x. Is t greater than 3?
True
Let x = -2/31 - -37/93. Let j(r) = 4*r. Let d(o) = -o - 1. Let w(t) = 5*d(t) + j(t). Let i be w(-6). Is i at most x?
False
Let t be (-9)/(-2) - 3/6. Suppose 13*u - 6*u = 21. Which is smaller: u or t?
u
Suppose 0 = 5*u - 1 - 4. Is 1 less than u?
False
Let q be ((-3)/2)/(3/6). Let r(j) = -3*j + 1. Let t be r(-5). Suppose -t = 3*u + u. Which is bigger: q or u?
q
Let a = 2022/7 + -288. Which is smaller: a or -1/4?
-1/4
Suppose -4*c - 4*r + 4 = 0, 4*r = 3 + 1. Suppose u + c*u - 2 = 0. Let a be (-6)/(-8)*u/3. Which is smaller: -2 or a?
-2
Let p be (-10)/4*(-8)/10. Suppose -a - 6 = a - 4*x, 3*a = -p*x - 17. Let c = 1.5 - 0.5. Which is greater: c or a?
c
Let n be -3 - ((-33)/15 + 3 - 1). Is n at most as big as -4?
False
Suppose -151 = 5*v + 149. Let m be (-44)/v + 2/(-6). Is -1 less than m?
True
Let v be (-1)/(-8) - (-6446)/528. Is 11 <= v?
True
Let m(x) = -x**2 + 7*x - 1. Let z be m(0). Which is greater: z or -1/5?
-1/5
Let a(o) = 3*o**3 - o**2 + 1. Let b be a(1). Suppose 0*p - 5*p = -b*m - 4, p - 5*m = -8. Which is greater: -1 or p?
p
Let l = 3454/3 - 1141. Is 10 less than or equal to l?
True
Let d = -3 - -2.9. Let v(t) = -t - 2. Let s = 7 + -11. Let n be v(s). Are d and n equal?
False
Suppose 2*a - 8 = 0, -a + 1 + 3 = 4*o. Suppose 20 = 5*f - o*n + 3*n, -5*f + 2*n = 5. Let v be 2/(-5) - 148/(-120). Which is bigger: f or v?
f
Let z be ((-3)/18)/(4/(-24)). Let d be 57/(-19)*1/(-10). Is d smaller than z?
True
Let x = 10 - 9. Let b = x - 0. Let m = -1 + 2. Is b < m?
False
Let w = 0.12 + -0.1. Let t = 1.02 - w. Is -2 < t?
True
Let p be ((-580)/(-3))/(-4) - -2. Let x = -47 - p. Let j = -1.1 - -1. Which is smaller: x or j?
x
Let f be 12/(-9) + 1*4. Is 4 smaller than f?
False
Let l(n) = n**3 - 6*n**2 - 6*n + 5. Let i be l(7). Is i greater than or equal to 11?
True
Let h(n) = n**3 - 9*n**2 + 8*n + 4. Let g be h(8). Suppose -5*a + 4*v = -25, -g - 9 = 2*a + 3*v. Are 2 and a equal?
False
Let a = -2/31295 - 1439472/1533455. Let l = a + 155/98. Let d = l - 1/7. Are d and 1 unequal?
True
Let v(l) = l + 5. Let u be -4*(-2 + 2 - -1). Let n be v(u). Let h be 22/(-60) + 4/20. Which is smaller: n or h?
h
Let v = -3 - -1. Let k = -0.1 + -0.2. Let i = 0.5 + k. Which is smaller: v or i?
v
Let v = 4 - 3. Let p(y) = y**3 - 7*y**2 + 7*y - 2. Let g be p(6). Which is smaller: v or g?
v
Suppose 0 = f - 5*r + 24, -5*f + 0*r = -r. Which is smaller: -2 or f?
-2
Let m = 0.082 - 10.082. Is 1/4 <= m?
False
Let q be (-2 - -1) + 9/4. Let l = q - 3/4. Which is smaller: l or -1?
-1
Let c = -44 + 131/3. Which is greater: -0.15 or c?
-0.15
Suppose z + 4*o - 2*o + 2 = 0, -12 = -z + 5*o. Which is smaller: z or 20/9?
z
Suppose -5*i - 5*k = 10, 0 = 3*i - 4*i - 2*k - 5. Let o be (i - (1 - -2)) + 1. Which is bigger: o or -4/7?
-4/7
Let z be -1 - (4 - 3)*-3. Let j = -4 + 6. Is z bigger than j?
False
Suppose 4*u - 148 = 2*h, -373 + 21 = 5*h - u. Is -70 bigger than h?
False
Let u = 2 - 1. Suppose 20*d = 15*d + 10. Which is smaller: d or u?
u
Suppose 5*q - 285 = 5*f - f, 0 = f + 3*q + 67. Is -71 at least f?
False
Suppose f + 12 = 11. Which is smaller: f or 1/14?
f
Let k = 11 + -5. Let n(g) = g**2 + g + 5. Let d be n(0). Is d != k?
True
Suppose 5*q + 9 = 2*n - 11, -2*n - 4*q = 16. Is n <= -4/5?
False
Suppose 3*s = y + 8, 0 = -4*y + 3*y - 2*s + 7. Which is bigger: 2/81 or y?
y
Suppose -2*n = -n - 3. Suppose 2*d = n*d. Let z be -2*(-1)/(-2)*-1. Which is bigger: d or z?
z
Suppose 2*h + 3*x = 2 - 1, 3 = 4*h + 5*x. Let j be -2*h*2/12. Suppose c - 2*z = 5 - 1, 5*c + 5*z + 25 = 0. Which is smaller: j or c?
c
Let z = 11 - 11.2. Let h = -0.