. Are x and i non-equal?
True
Suppose 0 = -4*x - 2*x + 18. Which is smaller: -2/3 or x?
-2/3
Suppose -p + 3*p = 6. Let f = 7 - p. Which is greater: f or 5?
5
Let p = -8 - -7. Let q = -9 + 9.5. Let l = q - -1.5. Is l greater than p?
True
Let f(m) = -m**3 + 8*m**2 + 11*m - 13. Let b be f(9). Suppose -b*u = 3*n - 10, 0 = -4*n - 5*u - 2 + 12. Which is bigger: n or 7?
7
Let i = -0.8 + 1. Let k be 6/(-8) + 75/50. Which is greater: i or k?
k
Let k(j) = -j**2 - 26*j + 3. Let d be k(-24). Do d and 52 have different values?
True
Let n = 17132/5 - 3411. Is 16 at least as big as n?
True
Suppose 8 = 2*o - 5*x, 4*o - 16 = 2*x - 7*x. Suppose -4*n = -n + 9. Let h be (-10)/(n/1 - -1). Is o not equal to h?
True
Let g = -12.2 - -11. Let l = g + 1.2. Which is smaller: 4 or l?
l
Let j = 1.2 + -6.2. Let w = j + 4.8. Let g = 0 - 1. Which is smaller: g or w?
g
Let h(g) = -3*g + 13. Let f be h(6). Which is smaller: f or -13/3?
f
Let u be 4/((-1)/2*-4). Suppose -4*g + 3*g = 2*x + 4, 14 = -2*x + 4*g. Let j = x + u. Is -4/5 smaller than j?
False
Let z(n) = -n - 1. Let w = -9 - -6. Let l be z(w). Let i be l/4*(-8)/(-2). Which is smaller: -2/7 or i?
-2/7
Let t(g) = 2*g**2 + 2*g. Let f be t(-2). Suppose 1 = -f*k - 3. Is 1/5 smaller than k?
False
Let c be ((-6)/12)/(1/2). Suppose -2*b = 4*j - 14, -4*b - 8 = -9*b - j. Let p be b - -1 - (-42)/(-27). Which is smaller: p or c?
c
Let g = 133 + -131. Let l = 0.2 - -0.8. Which is smaller: g or l?
l
Suppose 3*f = -5*v - 0*v + 80, -4*v + f + 47 = 0. Suppose -v = 2*s - 5. Which is bigger: -5 or s?
s
Suppose t + 1 = -2*j - 0, 3*t + 3 = 2*j. Let k be ((-2)/(-141))/(1/3). Which is smaller: k or j?
j
Let u = -7 - -12. Let o = u - 5.08. Let l = -4.92 + o. Which is bigger: -1 or l?
-1
Let l = -3 - -2.6. Let i = l + 0.5. Which is smaller: i or -0.1?
-0.1
Let l be (-1 - (-81)/87)*-1. Do l and 1 have the same value?
False
Suppose 0 = -3*a - 111 - 9. Let d be ((-4)/6)/(a/(-15)). Is -0.1 less than or equal to d?
False
Suppose 6*v - 2*v + 8 = 0. Let c(l) = l + 3. Let p be c(-4). Which is smaller: v or p?
v
Let k be ((-72)/100)/((-2)/(-170)). Let u = -62 - k. Is u < -2?
False
Suppose l - 6*g + 38 = -g, 65 = -2*l - g. Does -33 = l?
True
Let h = 2.2 - 25.2. Let k = h - -18. Which is smaller: -0.1 or k?
k
Let p = -6 + 6. Which is smaller: 0.2 or p?
p
Let s(x) = 2*x**2 - 6*x + 1. Let q be s(4). Is 9 at least q?
True
Let f(v) = -v - 9. Let d be f(-4). Which is greater: d or 1?
1
Let v be (6/(-4))/((-12)/16). Suppose -2*w + 4*y = 14, 5*w + 9 + 2 = v*y. Is w >= -2/9?
False
Let n(u) = -1389*u**2 - u + 1. Let w be n(1). Let q be w/(-13) + -1 + 1. Let t = q - 107. Are -1/3 and t non-equal?
True
Suppose 0 = 2*m + 3*m + 4*i + 7, 4*i = -12. Is 0.17 greater than m?
False
Let t(v) = -7*v + 23. Let u(i) = -2*i + 6. Let n(k) = -6*t(k) + 22*u(k). Let f be n(-4). Let a = 8/3 + -13/6. Which is bigger: f or a?
f
Let m be 1/((-3)/(-732)) - -1. Let o = -2207/9 + m. Which is smaller: 0 or o?
o
Let b = 35 + -24. Which is smaller: 12 or b?
b
Let y = -7 - -6.97. Let o = y + 0.03. Which is greater: o or 2?
2
Let t(y) be the third derivative of -y**4/24 + 2*y**3 + 2*y**2. Let v be t(9). Is 5 at most v?
False
Let o = 0.26 + -0.06. Let t = o - 0.4. Is t greater than or equal to 0?
False
Suppose 0 = -2*g - 13 + 3. Let w = g - -4. Which is bigger: w or -1/2?
-1/2
Let d be (-9)/(-6)*-2*2. Let k be 4/(-6)*d/(-4). Is k equal to -1/3?
False
Let x be (36/(-30))/(4/30). Which is bigger: -7 or x?
-7
Suppose 35 = -8*j - 69. Are -55/4 and j unequal?
True
Suppose w - 5*q - 20 = -0*q, -4 = 2*w + q. Let p be ((-2)/6)/((-1)/13). Let d = -14/3 + p. Is w not equal to d?
True
Let i = -10 - -5. Let k = i - -3. Let j = k + 2.1. Is -0.1 bigger than j?
False
Let o = 203.9 - 196. Let p = o + -8. Is p smaller than 3?
True
Let z(g) be the second derivative of 1/6*g**4 - 1/20*g**5 + 1/2*g**2 + 1/2*g**3 + 2*g + 0. Let d be z(3). Is d >= -2/5?
True
Suppose 9*p - 4*w = 4*p + 107, -4 = -p - 5*w. Which is smaller: 16 or p?
16
Suppose 21 = -p - 7. Do p and -30 have different values?
True
Let y = -0.4 + 0.6. Let m = -341/45 + 39/5. Which is bigger: m or y?
m
Suppose -5*f - 4*x + 9 = -0*x, x = -4*f + 16. Suppose -y + f = 4. Let d(h) = h**2 - 12*h. Let a be d(12). Which is greater: a or y?
y
Let b be ((-6)/(-4))/((-3)/(-4)). Suppose 0 = -2*j + 2*p + 2, 3*j + b*j = -4*p - 13. Which is greater: -2/19 or j?
-2/19
Let q(b) = -b**2 + 12*b. Let a be q(12). Suppose 3*t - 5*t + 2*p = 16, 4*t - 5*p + 36 = a. Let k = -4 - t. Which is greater: k or -2?
k
Let j = 0.44 - 0.04. Let x = j - 0.3. Which is greater: 3 or x?
3
Let c = -7.2 - -6. Let u = c + 1.2. Are u and 3/5 unequal?
True
Suppose 70 = -4*p - p. Let w be (2*3)/((-189)/p). Is w smaller than 1?
True
Let s be (-3 - -2)*(-3 - -3). Let p be ((-57)/18)/((-2)/(-46)). Let b = 73 + p. Are s and b non-equal?
True
Let g be 25/(-7) - (-3)/1. Let c(p) = -p + 4. Let y be c(6). Which is bigger: y or g?
g
Suppose -z - 8*z - 477 = 0. Is z greater than 0?
False
Let v = -13 - -18. Suppose -s - 5 - v = 0. Let m be (2/(-4))/((-15)/s). Which is smaller: 2/11 or m?
m
Let d be 12/(-21) + (-54)/(-21). Is d less than or equal to 4?
True
Let u = 8 + -5. Suppose 37 = u*n - 5*y, -2*n - 5*y = -y + 12. Let z(f) = -f**2 - 6*f + 19. Let h be z(-8). Which is greater: h or n?
n
Let d = 31 - 31.5. Let f = -2.5 - -3. Let i = d - f. Is 2/5 greater than or equal to i?
True
Let y = 7 + -6. Let t = -2304 + 20668/9. Let k = t + 322/45. Is k less than or equal to y?
True
Let v = 1 + -1. Suppose v*r + 5*r = -55. Let n be -2 + 1 - r/13. Which is greater: n or -1?
n
Let s be 1 + -1 + 1/5. Let u be 0*1/2*-1. Suppose 5*h = t - 16, -1 + u = 2*t + h. Do t and s have different values?
True
Let m = 342173/9084 - 3/3028. Let a be (-3)/(-3)*4 + 33. Let u = m - a. Which is smaller: u or 3/2?
u
Let y be (-4)/(-14) + 12/28*-3. Is y bigger than -1/53?
False
Let l(i) = -33*i**2 - 6*i + 7. Let j(w) = -17*w**2 - 3*w + 4. Let x(u) = -5*j(u) + 3*l(u). Let g be x(1). Do -0.1 and g have different values?
True
Suppose 7*y - 1 = 6*y. Which is greater: 3/8 or y?
y
Let o be (-1)/1 + 24/27. Suppose -2 + 6 = -4*l. Is o >= l?
True
Let p be (-140)/(-77) + (-2)/(-11). Let i be ((0 - p) + 2)/(-2). Is 1/4 at least i?
True
Suppose 84 = -5*n + 19. Let o = n + 7. Let b = 4 + o. Which is smaller: b or -1?
b
Let q = 57 - 56.77. Let a = 23.93 - 24. Let t = q - a. Which is smaller: -2/5 or t?
-2/5
Let k be ((-3)/6)/((-1)/(-4)). Let x = k + 0. Is x less than or equal to -2/3?
True
Let u be 0/((8/(-12))/((-2)/3)). Which is bigger: -3/14 or u?
u
Suppose 3*u + 15 = j, -3*u = -2*u - 5*j + 5. Let z be (-10)/(-25) - 8/u. Which is bigger: 5/3 or z?
z
Let a = -791/5 - -158. Which is bigger: -11 or a?
a
Suppose 6*p = 2*p + 24. Is 7 equal to p?
False
Let o(d) = -3*d - 3. Let x be o(-2). Let m(k) = k**x - 2 - 3*k**2 + 6 - 2. Let g be m(2). Which is smaller: g or -3?
-3
Let x be 2 + (4 - 8) - -6. Let w be (102/(-10))/(-3) - x. Which is greater: w or 0?
0
Suppose m = 5*y - 12, 12 = -0*m + m + 3*y. Let j be 3/(3/2)*-2. Let z = j + m. Is z less than -2/7?
True
Let o(r) = 0 - 3*r**2 - 3 + 3 + r**3. Let x be o(3). Is x at least as big as 1/5?
False
Suppose 0 = -5*h + r - 20, 3*h + 4*r + 12 = r. Let d be h/10 - 2/10. Do d and -2/9 have the same value?
False
Suppose 2*m + m = -18. Let u be (24/9)/((-4)/m). Suppose u*z = z. Is z < 3/5?
True
Let i be 6/18*(-6)/(-10). Is i <= 1?
True
Suppose 5*n - 2*i + 1 = 3, 2*n + i - 8 = 0. Suppose y = 6*y + 5*u - 5, -5*y - u + 9 = 0. Suppose n*p - 12 = -y*p. Is p smaller than 2?
False
Let w be (-2 - -2)/3 - -7. Suppose -s = -1 - 5. Which is bigger: w or s?
w
Let h = 13 - -16. Which is smaller: 28 or h?
28
Suppose 2*n + q = 2*q - 14, 0 = 5*q - 10. Let h be (-136)/186 - 4/n. Suppose 4*k = -4*g + 2*k + 12, 0 = g + 3*k - 13. Which is greater: g or h?
g
Let q(n) = n**3 - 13*n**2 + 13*n - 14. Let m be q(12). Is m less than -2?
False
Let k = 7 + -8. Is -12/11 less than or equal to k?
True
Let a(g) = -2*g - 2. Let t(o) = o + 1. Let u(h) = -2*a(h) - 5*t(h). Let d be u(-4). Suppose j = -4, -4*b + b - 3*j = 0. Which is greater: d or b?
b
Let j = -5753/27 + 213. Let y be (0 + 1 + -1)/(-4). Are j and y non-equal?
True
Let s(v) = -v**2 - 10*v + 5. Let b be s(-10). Suppose 0 = -0*z - b*z. Let m be 4/24*(z + -1). Is 0 <= m?
False
Suppose 4*n