(7 - 4)*8/(-6). Which is bigger: -23/5 or q?
q
Let k be (-40)/(-18) + (-3 - -1). Let f = -15 - -11. Let s be (f/(-14))/(5/7). Is s not equal to k?
True
Let w = -43/24 - -21/8. Is 1 equal to w?
False
Let b = -127/371 - -2/7. Is 0.1 < b?
False
Let x(o) = -o**3 + 5*o**2 + 4. Let j be x(5). Let a be 28/(-3)*(-1)/j. Which is greater: a or 2?
a
Let o be (-3 - -4) + 0 + 0. Let r = 6 - 4. Let a = r + -2. Which is smaller: o or a?
a
Suppose 6 = s - 2*w - 0*w, -w = -4*s + 17. Which is smaller: s or 3?
3
Let c = -2419/1095 - -2/219. Is c greater than -3?
True
Suppose -4*x + 6 = -0*l - 5*l, 0 = 4*x - 16. Suppose 0 = -3*a + 5*a + l. Which is smaller: -2/5 or a?
a
Let y = -2393/28 - -331/4. Is y greater than or equal to -2?
False
Let p = -23 + 22.9. Let q = 0.3 - 0.2. Is q greater than or equal to p?
True
Let q(a) = a**2 + 3*a - 1. Let n(l) = l. Let m be n(-3). Let s be q(m). Let v(o) = -8*o - 2. Let u be v(s). Is 5 <= u?
True
Let y(m) = -m - 1. Let j be y(-3). Suppose 4*s + 2*r = -3*r - 9, 2*r + 7 = -5*s. Is s greater than j?
False
Let k = -27 - -27. Which is smaller: k or 1/15?
k
Let h = -4.89 - 0.11. Let q = -81/4 + 20. Which is smaller: h or q?
h
Suppose 0 = 5*v - 4*x + 78 + 727, 4*x + 161 = -v. Let o = 641/4 + v. Suppose 5*z = z. Is z at most as big as o?
False
Let g(a) = 4*a - 1. Let b be g(2). Let t = -2 + b. Let o be (-1)/(-2) + (-11)/(-2). Which is smaller: t or o?
t
Let v = -22 - -47. Is v less than 25?
False
Let o = 0.47 + 0.33. Is -1 > o?
False
Let h be (-2)/(-3) + (-2)/6. Let y = h + 1/6. Let f = 1 + -1. Is y at most f?
False
Let w(z) be the third derivative of z**5/30 - z**4/8 + 3*z**2. Let t be w(2). Is t greater than or equal to 2?
True
Let y = -1.2 - -0.2. Let p = 1.4 + y. Let x = p + -0.6. Is -3 greater than or equal to x?
False
Let s be ((-10)/15)/((-32)/(-18)). Suppose -3*y - y = 0. Do s and y have the same value?
False
Let j = -1054/45 - -116/5. Let x = -7 + 12. Suppose 3*y - x = -2*y. Which is bigger: y or j?
y
Let v be (-63)/30*3/7. Are v and -0.1 non-equal?
True
Let j = 8 + -15/2. Which is smaller: 2 or j?
j
Let s(v) = v**3 - 4*v**2 + 1. Let y be s(4). Let o = 0.033 + -35.033. Let d = -34.9 - o. Which is greater: d or y?
y
Suppose x = 6*x + 30. Let a be (-3)/x + (-15)/18. Is a greater than or equal to 0?
False
Let b = -5 + 8. Suppose -b*f = -f - 8. Suppose 4*o - 5*u = 15, -16 = -3*o + f*u - 4. Is -2/3 bigger than o?
False
Suppose 5 = -5*u - 5*d, -3*d - 5 + 11 = 0. Suppose -2*t - 2 = -2*z, 0*z - 5 = -z + 2*t. Let c = z - u. Is c != -1?
True
Let g be 0 + -5 - (8 - 7). Let f be (-4)/(-10)*(-3)/g. Is -1 < f?
True
Suppose 0*k + 3*k - 18 = 0. Is 8 bigger than k?
True
Let q = 0.08 + -0.16. Let y = 2.92 - q. Which is bigger: y or -3/2?
y
Let d be (-20)/(-20)*(0 - -16). Is 16 at most d?
True
Let x(w) = 7*w + 2. Let c be x(-2). Let o = 138 + -149. Which is smaller: o or c?
c
Suppose -3 + 1 = -2*p. Let w(v) = -v - 1. Let c be w(-3). Suppose -c*d = -4*d. Which is bigger: p or d?
p
Let q = -8771/45 + 195. Is q at least as big as 0?
True
Let n be 2/(-20)*2*(1 + -6). Is n <= 1/4?
False
Suppose l - 3*n = 11, 0*l - 4*n + 12 = 2*l. Let v = l + -7. Suppose 0 = -4*c + 3*f - 1 - v, -f = 4*c + 10. Is c >= -2?
True
Let s(o) = -o**2 + 4*o - 2. Let q be s(5). Let w = -77 + 78. Are w and q non-equal?
True
Let d be (-1 - -4)*1/12. Which is bigger: d or -13?
d
Suppose 0*w + 3*w + 90 = 0. Which is smaller: w or -1/4?
w
Let f = 0.41 + -0.22. Let l = f + -0.09. Let k be (1 - (-11)/(-9)) + 0. Is l < k?
False
Let a = -20.8 + 26. Let o = 5 + 0. Let q = a - o. Is 1/2 bigger than q?
True
Let j(x) = x**3 + 3*x**2 + 13. Let s be j(0). Is s at least as big as 14?
False
Let b = 5 - 8. Let s = 0.1 + -0.1. Which is smaller: b or s?
b
Let m = -1 - -1. Let k be (5/30)/((-1)/3). Is k at least as big as m?
False
Let k = 2 - 3. Let q be 2 + 0 + 138/(-48). Let b = q - -107/104. Are b and k nonequal?
True
Let g = -106/4463 + -1954871/1312122. Let q = -2/147 - g. Which is greater: q or 2?
2
Let w = -0.5 + -9.5. Is -1 < w?
False
Let v be 19/((10 + -3)*2). Let y = -6/7 + v. Which is bigger: 1 or y?
1
Let t be 2*(-3 - 11/(-2)). Suppose -t*j = -4*w - 39, -4*w - 5*j - 12 = -j. Which is greater: w or -5?
-5
Suppose 0 = 4*f + 2 - 6. Let p = 11 + -5. Let s be ((-2)/p)/(1/(-1)). Is s less than f?
True
Let k be 9*(34/6 + 2). Suppose -2*i - 3 = 3*h - 28, -5*i = h - k. Are i and 13 nonequal?
True
Suppose 0 = -2*y - 2*i - 6, 5*i = -2*y - 2*y - 17. Which is bigger: y or 4?
4
Let o = -1211822/63 - -19236. Let w = o - 4/9. Which is smaller: 2 or w?
w
Suppose -27 = 2*s - q + 13, 3*s + 58 = q. Let i = 21 + s. Suppose 9 = l + 2*l. Is l != i?
False
Let x = -38 + 33. Which is bigger: -0.1 or x?
-0.1
Suppose 0*a + 4 = 4*a. Let w be a*(-1)/6*-9. Is 0 < w?
True
Let p(o) = -o**2 + 8*o - 2. Let w be p(6). Let v be (-4)/w - (-23)/(-5). Let i = 1 + v. Which is bigger: -3 or i?
-3
Let c = -2.988 + -0.012. Are 1.3 and c non-equal?
True
Let j(l) = -8*l**2 - 17*l**3 + 18*l**3 - 14*l + 4 - 5*l**2. Let k be j(14). Is 4 less than or equal to k?
True
Let d = 0.07 - -0.33. Let y = -0.6 - d. Suppose 4*r = -4*u + 3*u + 23, 5*u = -2*r + 25. Which is smaller: u or y?
y
Suppose -2*u - 3*o + 16 = -o, 5*u - 46 = o. Suppose 0*h + 4*h = -24. Let v = u + h. Does v = 3?
True
Let a(q) = q**3 - 2*q**2 - q - 4. Let l be a(3). Let y be 15/9 + l/(-3). Is y less than -1?
False
Let u = 8/17 - 49/68. Suppose 2*h + 8 = r - 0*h, r - 5*h = 20. Let x = r - -1. Is x greater than or equal to u?
True
Suppose -3*j + 367 = x + 4*x, -x + 3*j = -59. Are x and 71 unequal?
False
Let k be 0 - (-3 - 164/(-44)). Which is greater: k or -1?
k
Let g = 9 - 11. Let h = -0.49 - -0.5. Which is bigger: h or g?
h
Suppose g - 5*g = 0. Let o be (-10)/35 + 9/7. Let b be 6/(-20) + o/2. Is g at least as big as b?
False
Suppose 15 = 3*v, 0 = -2*h - 0*v - 4*v + 18. Which is smaller: h or 1.9?
h
Let c = -0.05 + 0.15. Let n = 0.1 + c. Is n at least as big as -3?
True
Let j = -4387/498 + 53/6. Let i(b) = -b**3 - b. Let q be i(0). Is j != q?
True
Let l = 1 - -1. Let x = 3 - l. Let w = 0 + x. Which is smaller: w or 0?
0
Let t = 0.3 + -0.3. Let x = t - -0.3. Are x and -3 nonequal?
True
Suppose 6 = 2*q + q. Let r = 3 - 0. Is q at most as big as r?
True
Let s(i) be the third derivative of i**4/12 + i**3/6 + 3*i**2. Let d be s(-1). Is -1 at most as big as d?
True
Let m = -18 + 20. Is -19 less than or equal to m?
True
Suppose 69 = -4*x - 23. Do -24 and x have the same value?
False
Let o be 4 + -4 + 0/1. Suppose 0 = -3*s - o*s - 4*i - 17, 3*i + 10 = -5*s. Which is bigger: s or -1?
s
Suppose -x + 3*x - 45 = -5*l, 0 = -l + 3*x - 8. Let y = -8 + l. Is y < 1.7?
True
Let h(m) = m**2. Let c be h(2). Suppose -c*p + 2*p - 8 = 0. Let y be p/15 + (-8)/(-12). Is y less than or equal to 1?
True
Let p = 0.5 + -0.4. Let f = 11.8 - 12. Let g = f - -0.14. Is p bigger than g?
True
Let n = -496/3 + 164. Does n = -1?
False
Let c(q) be the first derivative of q**3/3 + 3*q**2/2 - q - 3. Let h be c(-4). Suppose 0*n + n + h = 0. Which is greater: -4 or n?
n
Let c = -433 - -447. Let u = 1.1 + -0.1. Is c less than u?
False
Let v = 2 - 1. Let n = v + -1. Let z = 12 - 15. Which is bigger: z or n?
n
Let o = -0.01 + -0.59. Let m = -0.66 - -0.06. Let a = m - o. Are a and -1 non-equal?
True
Let a be (-6)/(-18)*8/6. Which is smaller: a or 0?
0
Suppose 0 = -2*g + 2*r + 3*r + 9, -4*g + 4*r = 0. Suppose -5*x = 0, -y + 5*x = -2*y - 4. Are y and g nonequal?
True
Let w = -28 + 2. Is w greater than -26?
False
Let r be (-1305)/(-54)*6/(-4). Let m = r + 36. Let i be ((-2)/(-6))/((-2)/6). Is i greater than or equal to m?
False
Suppose 0 = s - 0 + 3. Are -3 and s non-equal?
False
Let p be (1/3)/((-3)/(-45)). Let w = -3 + p. Let v = 0 + 1. Is v at most as big as w?
True
Let y = -125 - -126. Is 2/141 at least as big as y?
False
Let y = -16 + 15. Is y != -1?
False
Let m be (1 - 1)/(2/(-2)). Let g be (-2)/(-9) - (-40)/(-90). Which is bigger: m or g?
m
Suppose -5*b = -2*g - 14, -3*g - b - 2 - 2 = 0. Let y = g - 3. Let z = 13 + -18. Is y greater than z?
False
Let w be ((-3)/(-42))/(1/(-4)). Let j = 1.96 + 0.04. Let b = j - 3. Is w less than or equal to b?
False
Let f = 24 - -9. Let r be (4/18)/((-22)/f). Which is smaller: 3 or r?
r
Let q = 24 - 25. Let k = -5.01 + 5. Let p = k - 3.99. Which is smaller: q or p?
p
Let o = -0