ppose 0 = -j - 3*l + 16, 4*l = 4*j + f*l + 1. Let b = 71 + -357/5. Do b and j have the same value?
False
Let k = -4 - -1. Let j = k - -3. Suppose 2*s = -4*i - 22, -3*s + 2*i = -j*s - 7. Do s and 3/8 have different values?
True
Let p be 22/27 + 10/(-15). Is p < 1?
True
Suppose 0*o = -3*o + 15. Let f be o/(1/3*3). Let y be (-20)/(-3) - 4/6. Is f < y?
True
Let b = -1 + 1. Let u = -0.06 - b. Is 1/2 bigger than u?
True
Suppose -2*m - 5*u - 2 = -0*u, 0 = 3*m + u + 3. Is 9/4 <= m?
False
Suppose -3*b - 2*b = 10. Let d(r) = -r**3 + r**2 + r + 1. Let x = -5 + 7. Let n be d(x). Which is smaller: b or n?
b
Let k = -3 + 6. Let d(i) = 2*i + 3. Let v be d(k). Is 9 < v?
False
Let j = -173.96 - -171. Let y = 0.04 - j. Let b be (-8)/18*(-3)/(-2). Is y > b?
True
Let i be ((-4)/(-6))/((-7)/(-15)). Let x = 336 - 336. Which is bigger: i or x?
i
Let d be (-6)/(-9) - 12/45. Is -1 at least as big as d?
False
Let t be 1/(-4) + (-9)/(-20). Let b be ((-16)/(-6))/(2/3). Suppose -5*x + 2*l - l = -b, -5*x - 20 = 5*l. Is t greater than x?
True
Suppose -x - 8 = -2*d, -3*d - x + 4*x = -9. Let u = d - 5. Let k = -2 - -2. Is u at most k?
True
Let k be 16/3*(-153)/68. Is k greater than or equal to -14?
True
Let d = -25/3 - -15/2. Is 1.3 bigger than d?
True
Let q = 2 - 0. Let h = -18 - -18. Which is bigger: h or q?
q
Let v be ((-164)/(-52) - 3)*1. Let t = -1.3 - -0.3. Which is greater: v or t?
v
Let a be (-3 - 0)*8/6. Let y be (a*1)/(-2) + -3. Is y greater than -1?
False
Suppose i - 3*y + 1 = 3, -3*i + 5*y = 6. Let d = 8 + i. Let x be (d + -2)/(0 + -1). Which is smaller: 2/3 or x?
2/3
Let a be 10*(1 - 5/2). Is a smaller than -15?
False
Suppose -2*a + 5*h = 15, -3*a + 5*h = -0*a + 15. Let q be a - 0 - 2*1. Let f = q - -2. Are 0.1 and f nonequal?
True
Let c = -251/5 - -50. Is c < 0?
True
Let c be (-3*2/87)/(8/(-12)). Which is greater: -1 or c?
c
Let s(w) = -w**3 + 11*w**2 + 11*w + 16. Let z(a) = -2*a. Let x be z(-6). Let o be s(x). Is 4 greater than or equal to o?
True
Suppose 0 = 4*z - 2*z - 8. Let p(y) = -y + 1. Let g be p(z). Are -0.2 and g non-equal?
True
Suppose 0 = 2*w - 2*f + 5 - 15, w = 4*f + 20. Let m(k) = -k**2 + 8*k - 7. Let s be m(7). Is w != s?
False
Suppose 7*s = 8 - 1. Is s < 4?
True
Let v = 2 + -3. Let h be 7 + (-2 - (-4 - -5)). Suppose 3*d - 16 = 2*j - h, 0 = -j + d - 4. Is v at least as big as j?
False
Let s be (-2 - (-7)/1)*3. Let j = -73/5 + s. Let a be (-6)/4*12/27. Which is bigger: j or a?
j
Let i = 6/7 + -5/7. Let v(s) = s**2 + 8*s. Let u be v(-8). Suppose -2*k + u*k = 0. Is i greater than or equal to k?
True
Suppose 2*r - 5*r = -2*z + 16, -4*r = -2*z + 18. Let f be r/4*4/(-10). Is f at most 1?
True
Let f = -11 - -13. Which is smaller: f or 5?
f
Let u be ((-2)/3)/((-6)/9). Let f be 0 - (-5 - 1)/u. Suppose 4*l = -2*r + f*l + 14, 3*l = r - 17. Which is bigger: r or -1?
r
Let x = -53492/65 + 823. Which is greater: x or 0?
x
Let d = 25 - 43. Let f be (-4)/d - 56/36. Which is bigger: 0 or f?
0
Let v = 7864/115 + 235/23. Let f = -79 + v. Which is greater: f or 1?
1
Let z = 36 - 38. Let f be 0/((-2 - 0)/(-2)). Is f not equal to z?
True
Suppose 0 = -5*v - 4*y - 17, 2*v - 9 = -v + 4*y. Which is smaller: -3/95 or v?
v
Let a = -107 - -96. Is -2/5 greater than a?
True
Let v be -9*4/(-24)*-2. Suppose j - 7 = -3*o + 3*j, -8 = -3*o + j. Suppose 5*w = 5*f - 25, 2*f - o = -3*w - f. Is v greater than w?
False
Let r = 7 + -3. Suppose -2*g - 10 = r. Let u be g/(-5) + 16/(-40). Which is greater: u or 0?
u
Let o = -6.82 + -0.18. Let r = 6 + o. Is r bigger than -0.3?
False
Let a = 25.6 + -22. Let f = a - 0.6. Let k = 12 + -11.9. Is f < k?
False
Let l(p) = 6*p. Let q be l(1). Let b = q + -4. Is b > 2?
False
Suppose a - 3*a = 0. Which is greater: 3/4 or a?
3/4
Let t(p) = 4*p - 1. Let k be t(2). Let d be k/5 + (-2)/(-1). Which is smaller: d or 3?
3
Let g = -2254/25 - -90. Is -1 equal to g?
False
Let s = 55.1 - 50. Let a = -5 + s. Which is smaller: -0.5 or a?
-0.5
Let g = 2/1441 - 11546/12969. Which is bigger: -1 or g?
g
Let f = -1251 + 5039/4. Which is smaller: 9 or f?
f
Suppose -4*n = -3*n. Let x(g) = g**2 + 3*g. Let o be x(-3). Is n less than or equal to o?
True
Suppose -18*b - 15 = -23*b. Do b and 3 have the same value?
True
Let v = 311/535 - -2/107. Suppose 0 = i - 3*k - 10, -i - 11 = -0*i + 4*k. Let w be -2 + 1 - (-1)/i. Which is smaller: w or v?
w
Let b(v) = v - 6. Let w(l) = -l + 5. Let k(s) = -5*b(s) - 4*w(s). Let j(y) = -y**3 - 4*y**2 + 4*y + 4. Let o be j(-5). Let g be k(o). Which is bigger: 2 or g?
2
Suppose 0*n - 50 = 10*n. Are -5 and n equal?
True
Let j = -1 + 3. Let i(a) = 2*a - j - a + 0. Let n be i(5). Are n and 0 unequal?
True
Suppose 4*v = -72 + 16. Which is bigger: -13 or v?
-13
Let c be ((-6)/(-6))/((-2)/(-6)). Which is smaller: c or 16?
c
Suppose -l = 3*l. Suppose 0 = 3*b - 3*g - l*g + 6, 3*g + 10 = -5*b. Are b and -5 nonequal?
True
Let f(z) = z + 4. Let m be f(-2). Let u = m + 1. Is u smaller than 3?
False
Let p = -2 - -1. Let v = -159 + 1111/7. Which is bigger: p or v?
v
Let y = -230 - -5753/25. Which is bigger: 0 or y?
y
Let m(g) = -g**2. Let r(o) = 7*o**3 + 5*o**2 - 1. Let f(l) = 4*m(l) + r(l). Let z be f(1). Is 7 != z?
False
Suppose 0 = -4*b - c + 36, 4*b - 2*c - c - 36 = 0. Let r be b/21 - 4/7. Is -1 < r?
True
Let v = 13 - 9. Suppose -5*o = -3*o - v. Is 6/11 bigger than o?
False
Let c be -1 + (-4)/(2 + -3). Suppose -c*y - 50 = -5*y. Suppose 0 = -4*m - m + y. Are 5 and m non-equal?
False
Suppose -d = -1 - 5. Let t be d/(-6)*6/1. Which is smaller: t or -2?
t
Let v = -2 - -2. Let c(n) = -4*n - 1. Let g be c(2). Let t be ((-4)/(-10))/(g/(-15)). Which is smaller: v or t?
v
Let t = -5 + 13. Let g = -10 + t. Let p be 0 - 0 - g/(-8). Which is smaller: -1 or p?
-1
Let b = 1105 + -193376/175. Is b >= -1?
True
Let d be ((-6)/4)/((-2)/12). Let a(k) = -2*k**2 + 8 - 6*k + 14*k + k**2. Let o be a(d). Which is smaller: o or 1/3?
o
Let z = -1 - 0. Let m be (9/(-2))/(z - 5). Let l = -91/6 - -47/3. Which is greater: l or m?
m
Let v = -11 + 7. Let p = -5 - v. Is -3 bigger than p?
False
Let r be 5/(15/24) - 4. Let t be -3 - ((-24)/r + 4). Does 2/27 = t?
False
Let p = 4.3 - 4.3. Which is bigger: 52 or p?
52
Let j = 0.14 - -0.16. Let i be (-1)/(1/3)*-1. Suppose 4*y = y + i. Which is smaller: y or j?
j
Let c = 2/2343 + -9446/86691. Which is greater: 1 or c?
1
Let i(p) = p - 6. Let z be i(7). Let d be (3 - 7)/2 + z. Which is smaller: d or 3/7?
d
Let w be (-22)/(-3)*(-6)/(-4). Which is smaller: 13 or w?
w
Suppose 8*s + 5 = 13*s. Are 32 and s non-equal?
True
Let f = -8 + 3. Are f and -1 non-equal?
True
Let g be 27/96*(-8)/6. Which is smaller: -2 or g?
-2
Suppose 0*c - 3*c + 1 = 2*p, 1 = -p - c. Let k(a) = -a - 3. Let l be k(p). Let o be ((-2)/(-9))/(4/6). Is l < o?
False
Suppose 5*t + 10 = 5*w, -4*t + w + 4*w = 10. Is t <= 1?
True
Let o = 28 + -16. Let i = o + -8. Let v be (-6)/8*i/5. Is 0 at most v?
False
Suppose 2*h + 8 = 2*s - 0*h, -5*h = -15. Suppose 0 = 2*m - 1 - s. Which is smaller: m or 6?
m
Let o be 9/2*(4 - 5). Let f be (2/4 - -2)*-2. Which is smaller: o or f?
f
Let o = 10 - 6. Is o less than -1?
False
Suppose -5 + 0 = -t - 4*h, -5*h = 2*t - 10. Suppose -t*f - 2 + 17 = 0. Suppose -f*z = -2*z. Which is smaller: z or -1/2?
-1/2
Let j be -1 + 2 + 2*-1. Let v = j + 2. Let i = -4/27 - -82/189. Which is smaller: i or v?
i
Let y(r) = r**3 - 18*r**2 + 17*r. Let q be y(17). Let s = 3 + -1. Let j = s - q. Which is bigger: 1/4 or j?
j
Let o = -9 + 9. Which is bigger: o or 1/14?
1/14
Suppose -3*v + 8 = -7, 3*h + 4*v = 53. Which is bigger: h or 10?
h
Let a = -1068/13 - -82. Suppose 0*u - 3*u = 0. Suppose 2*p = -5*s + 10, u = -2*p + 4*s - 5 - 3. Which is smaller: p or a?
a
Suppose -3*t + 8 = -1. Let r be (-1 - (-6)/t)*-1. Let j be (-42)/10 + 56/14. Which is smaller: r or j?
r
Let o be 3 + (3*-4 - -3). Let d be 28/21*o/22. Is d at least -1?
True
Let i = 981/7 - 3566/21. Is -29 greater than or equal to i?
True
Let c = 28 + -29.3. Let j = -0.3 - c. Let z = j + -1.2. Which is smaller: 0.2 or z?
z
Let y be (-3)/2*8/(-3). Which is smaller: y or 17/5?
17/5
Let w = 1 - 0. Let b = 16 + -15. Let i be (-2 - (-60)/16)*b. Which is smaller: i or w?
w
Let h = 22 + -32. Which is greater: h or 0?
0
Let n = 9 - 9. Is -5/13 < n?
True
Suppose 2*v = 4*j + 4, 7 = v + j + 2*j. Suppose 0 = -2*w - v*p - 4 + 34