*f - 2*b = x*f + 7, 2*f = 3*b + 4. Which is smaller: -2 or f?
-2
Let c be 9/6*(-1 - -3). Let w be 2/c + (-17)/3. Let n = w + 2. Which is bigger: n or -2?
-2
Let b = -18 + 19. Is -2/161 >= b?
False
Let d = -15/494 + -2/247. Is -1 smaller than d?
True
Let k(t) = -t**2 + 11*t + 6. Let u be k(12). Which is bigger: -14/3 or u?
-14/3
Let i(r) = -11*r + 1. Let c be i(1). Suppose 0 = -0*p + 2*p + 20. Do p and c have different values?
False
Let d = -5 - -6. Let l(k) = k - 8. Let m be l(7). Let i be -1 + (-28)/(-15) + m. Is i at least d?
False
Let c = -137.02 - -133. Let m = 4 + c. Which is smaller: 2 or m?
m
Suppose 2*z - 4*t + 10 = t, -t = 2*z - 2. Let p = 25236/31 + -814. Which is greater: p or z?
p
Suppose 8 = 3*l - 1. Which is smaller: l or 5/2?
5/2
Suppose 4*w - 5 = 9*w - x, 0 = -w + 3*x - 15. Suppose 5*i - 17 + 5 = h, h + 2*i - 16 = w. Which is smaller: h or 7?
7
Suppose k + 8 = -k. Is k greater than -2?
False
Let f(h) be the first derivative of -h**4/4 - 8*h**3/3 - 7*h**2/2 + 2*h - 2. Let o be f(-7). Which is bigger: o or 4?
4
Let f = -3 - -2.9. Let o = -0.03 + 0.03. Let r = f + o. Is r at least as big as -1?
True
Suppose 5*l + 15 = -2*a + a, -2*a + 12 = -4*l. Suppose 2*b + b + 3 = a. Which is smaller: 4/9 or b?
b
Let r(v) = v**3 + 3*v + v - 5 - 4*v + v - 6*v**2. Let c be r(6). Which is greater: 6/13 or c?
c
Suppose 2*l - 2*p = 6, -33 = -5*l - 0*p - 4*p. Let r be (-3 - -4)/((-2)/(-4)). Suppose -3*c = -0*c + 3*w, 0 = r*c - 3*w + l. Is c greater than or equal to -1?
True
Suppose 148 = -11*y + 159. Suppose -5*i - 5*g - 5 = 0, 3*g - 3 = -0*g. Do i and y have the same value?
False
Suppose -4*u - 43 = -2*t + 83, -3*t - 3 = 0. Is -32 smaller than u?
False
Let p be ((-1)/2)/((-3)/(-72)). Let s = -12 - p. Which is bigger: s or 1?
1
Let u be 6/(-148)*8/6. Suppose -r = -k + r - 9, 14 = -k + 3*r. Which is bigger: k or u?
k
Suppose 12 = -13*t - 1. Are t and 0.4 non-equal?
True
Suppose -19 = 4*z - z + 5*i, 0 = -5*z - i + 5. Are 0 and z equal?
False
Let m = 39 - 43. Let p(r) = -4*r**3 - 2*r + 1. Let b be p(1). Which is smaller: m or b?
b
Let x = 24.9 + -25. Which is smaller: x or 1.6?
x
Suppose g + 0*g + 28 = 5*b, g = -4*b + 8. Let d(z) = -z - 6. Let v be d(g). Let r be (1/v)/(14/7). Is 0 at least as big as r?
False
Let a = -3.9 - -4. Let z = -0.1 - a. Let l = -0.3 - z. Is 0.1 <= l?
False
Let u be (-1)/(-2) + (-238)/(-12). Let y = u + -20. Are y and 1 equal?
False
Let o = 12 - 11. Suppose -3*a + 20 = 5*l, a + 54 - 14 = 5*l. Suppose 2*f = d - l, -f - o = -d + 3. Which is smaller: d or 1/3?
1/3
Let x be (-55)/(-242)*(-2)/10. Which is smaller: -1 or x?
-1
Let x(z) = z**2 - 2*z + 2. Let f be x(2). Suppose -f*y = -y. Is -2/23 < y?
True
Let f be (-9)/2*(-10)/15. Suppose 1 = f*n - 5. Which is greater: n or -1?
n
Let d be -4 - 0 - (-2)/1. Let c = 18 + -6. Suppose -c = 5*z + 3. Is d > z?
True
Let a = 16 + -8. Suppose -5*i - 4*g = 11, 3*i - g - a + 1 = 0. Let h = 1 - 0. Is i at most as big as h?
True
Suppose -6*y = -2*y + 72. Let n be (y + 3)*(-2)/3. Suppose p = 6*p + n. Which is smaller: -2/3 or p?
p
Let k = 2975/3 - 960. Let b = k - 31. Let a be 5/1 + 12 + -23 + 8. Is b equal to a?
False
Let m(f) = -f + 2. Let d be m(-7). Let a(t) = -t**2 + 10*t - 9. Let x be a(d). Let g be (-3 - -2) + (-1 - -2). Is g bigger than x?
False
Let t = -10 - -3. Let z = -0.061 + 5.061. Let i = t + z. Which is smaller: -4 or i?
-4
Suppose -4*p + 0*p = 2*v + 14, -v - 1 = -p. Let y be (1 + -5 - -4)/(-1). Which is bigger: v or y?
y
Let z = -7.03 - -7. Let w = 0.86 + 0.14. Which is smaller: w or z?
z
Let b be 160/(-1071) + (-12)/(-102). Is -1 at least b?
False
Suppose s = -5*o + 48, 2*s + 0 = -2*o + 16. Let f = o + -9. Is f != 8/5?
True
Let f be 3*(3 - 4 - -2). Suppose 9 = -f*z + 6*z + 2*q, 5*q - 15 = 0. Let s be (z/2*2)/(-1). Is s at most -1/3?
True
Suppose -z + 8 = 4*g, 3*z = -6*g + g + 17. Let w be (4/(-54)*30)/(-2). Is w less than g?
False
Let c = -119 + 117. Is -17/8 smaller than c?
True
Let v(q) = -5*q - 8. Let u be v(4). Which is smaller: u or -27?
u
Let q be 6/(-15) - 0 - (-219)/285. Which is smaller: q or 2/3?
q
Let q(s) = s + 2. Let v be q(0). Let j be 168/(-46)*(-2)/(-4). Let x = 283/92 + j. Which is bigger: v or x?
v
Let f be ((-39)/12 + 3)*-4. Which is greater: -7 or f?
f
Let u = 17 - 6. Let a = 10 - u. Is -0.2 less than or equal to a?
False
Let l be ((0/(-6))/(-6))/1. Let f be (-6)/25*20/18. Is f bigger than l?
False
Let x = -16 - -5. Let m be (-23)/x - 2/1. Let u(p) = p - 17. Let f be u(16). Is m > f?
True
Let i = 1.9 - 0.9. Let g = i + -9. Are g and 1 unequal?
True
Let y(d) = 2*d**3 - 13*d**2 + 2*d - 5. Let p be y(6). Which is smaller: p or -30?
-30
Let w = -781/6925 - 2/277. Is w equal to 0?
False
Suppose -8 = -2*z - 28. Let d be (-2)/40 - (-2)/z. Let p = 5 - 3. Which is smaller: p or d?
d
Let h = 4 + -12. Let j = -8 - h. Is j > 0?
False
Let p = 4 + -7. Let m = 9 + p. Let s = 8 - m. Is 3 > s?
True
Let g = 1 - 1. Let b = -0.4 + -3.6. Let t = b + 3.9. Which is greater: g or t?
g
Let y = -122.9 + 123. Which is greater: y or -2/319?
y
Let i be 5/2*140/25. Which is bigger: 15 or i?
15
Let s = 118 + -104. Which is greater: s or 6?
s
Let u = -51 - -253/5. Which is smaller: 0.035 or u?
u
Let m be (-12)/(-9) + (-1)/3. Let r = -1 + m. Suppose -5*j = 20, 0*j = -2*h - 3*j - 12. Is r less than h?
False
Let g = -11 - -19. Let d = -14 + g. Let m be 4/(-12)*d/2. Which is smaller: 0 or m?
0
Let l = -7 - -3. Let s(j) = -11 + j**2 - j - 2*j - 5*j - 1. Let z be s(9). Is z smaller than l?
False
Let y = 0.05 + -0.16. Let a = y + 0.11. Let i = -0.1 - -0.2. Which is bigger: i or a?
i
Let n = 9 - 8. Suppose 5*w = n - 6. Let i be 1/6 + (-92)/264. Is i at most w?
False
Let o(m) = -9*m**2 + 1. Let g be o(-1). Let d = g - -4. Are d and -5 unequal?
True
Let v = -1.5 + -0.5. Let b = -0.18 - 0.82. Which is smaller: v or b?
v
Let v be (12/18)/(1/(-3)). Let x(d) = 6*d**2 - 2*d - 3. Let p be x(v). Suppose -15 = -4*b + n + 2*n, -p = 5*n. Is b equal to 1/13?
False
Let p = 0.1 + -2.1. Let s = p - -1.9. Is s at most 1/12?
True
Suppose -v + 6 - 1 = 0. Let w = v - 6. Which is smaller: 0.08 or w?
w
Let o = -3.9 + 4. Suppose -551 = 3*s + 31. Let b = s + 1748/9. Which is smaller: o or b?
o
Let x = 12 - 12.09. Let j = x + 4.09. Let u = j - 3. Is -2/9 less than u?
True
Suppose -p - 8 = -5*p. Suppose v = -2*m + p, 0 = 2*m + 3*m - 4*v + 8. Is m bigger than -1?
True
Suppose 2*t + 53 = -w - 27, 2*t = 2*w - 86. Does -41 = t?
True
Let x = -1.96 + -0.04. Let a = x + 2.4. Let d = a - 0.5. Which is bigger: d or 1/3?
1/3
Let v = -20.5 + 21. Is v greater than or equal to 0?
True
Let l(c) = -10*c + 1. Let r be l(1). Let s(b) = b + 12. Let i be s(r). Is i at least 3?
True
Suppose -y - 5*y - 30 = 0. Do -2 and y have the same value?
False
Let h be (-6 - (-3 - 0))*1. Let s(n) = 2*n + 1. Let t(l) = -l**3 + 5*l**2 + 7*l - 8. Let z be t(6). Let j be s(z). Is h bigger than j?
False
Let g be 1/(2 - 1) + 0. Suppose -3*j + 4 = g. Let y = 5 - j. Which is smaller: 5 or y?
y
Suppose -2*t = -6*t - 16. Let x = t - -7. Let f be (-1)/x + (-8)/(-18). Is f < -1?
False
Let l = 7 + 9. Which is greater: l or 15?
l
Let f be -13 + 16 - 1*13. Let t be (-4)/6 + f/(-6). Which is smaller: 2 or t?
t
Suppose -3*l + 5 + 1 = 0. Suppose l*t + 4*i + 16 = 6*t, 4 = -i. Let y be (4/(-6) - -1)/(-1). Which is bigger: t or y?
t
Let w = -2.94 + -0.97. Let f = 0.09 - w. Which is bigger: f or -1?
f
Let o(j) = -j + 3. Let r be o(0). Let c be (166/3)/(2/r). Let n = c - 497/6. Is n not equal to 1?
True
Let f(k) = -7*k - 1. Let c be f(-1). Let s be (-88)/(-14) - c/21. Suppose 0 = -r - 2*m - 2 + s, -2*r + 4*m = 16. Is -2 >= r?
True
Let l be -3*(-1)/3 - 17. Let r = 9 + l. Let b = r + 2. Which is smaller: -4 or b?
b
Let x be 1/(-4)*4318/8. Let i = x + 135. Is i less than 1?
True
Let u = 3 + -4. Which is bigger: u or -10?
u
Suppose 0 = 3*c - 8 - 4. Suppose 0 = -2*z + c*l, l + l = -2*z - 12. Which is smaller: z or -5?
-5
Let r = 210 - 209.893. Which is smaller: -1 or r?
-1
Let j(y) = -y**3 - 6*y**2 + 4. Let v be j(-6). Suppose z - v = -3*z. Is 2/3 at most as big as z?
True
Let h = -13/6 - -2. Which is smaller: h or -2?
-2
Let t = 44 - 33. Which is bigger: t or 2?
t
Let i = -0.029 + -3.071. Let n = -3 - i. Let b be 1 - (1/1 + 2). Is n greater than or equal to b?
True
Let o = -19 - -2