= -74.1 + 71. Let s = o + y. Which is smaller: s or -1/3?
-1/3
Let t be (-2)/(-42) + (-4)/12. Does t = -1?
False
Suppose 0*b - 28 = -4*x - 5*b, x - b - 7 = 0. Let d = 22 + -16. Is x != d?
True
Let h be (-8)/20 + (-68)/5. Let j be (-44)/(-7) - (-4)/h. Suppose 3*v = -0*v + j. Which is smaller: -1 or v?
-1
Let q be (-21)/(-77)*8/(-6). Are q and 1 nonequal?
True
Let i(a) = 7*a. Let u be i(-4). Let b = u - -24. Is -4 at least as big as b?
True
Suppose 6 = -2*c + 14. Suppose -2*k + 4 = c*f - 4, -5*k + f = 13. Let j be (2/(-4))/(1/6). Which is greater: k or j?
k
Let c be (1 - -1)/(20/10). Is 1/12 less than c?
True
Let r = -37745/24 + 1573. Is r >= -1?
True
Let h = -5.3 + -0.7. Let m = h + 5.9. Suppose 5*d = -20, -4*r = -6*r - d + 6. Is r bigger than m?
True
Let a be (-2)/6 - 9/((-216)/2456). Which is smaller: a or -2/7?
-2/7
Suppose 19 = 4*j - 9. Let x = 6 - j. Is 0 >= x?
True
Let j(r) = -4*r - 1. Let b be j(-3). Which is smaller: -2 or b?
-2
Let b(w) = w + 3. Let a be b(-3). Is -1/9 greater than a?
False
Suppose 0 = s - l + 3, -3*s + 5*s - 4*l = -2. Which is smaller: s or -4?
s
Suppose -3*a - 2*a + 25 = 0. Suppose -5*g + a = -0. Let k be (-1 + 1 + -1)*0. Is k < g?
True
Let l(w) = -w + 3. Let r be l(9). Which is bigger: r or -8?
r
Let g = -19.3 - -0.3. Let x = g + 19. Is 1 at least x?
True
Let x be ((-4)/(-5))/(2/(-5)). Let a be (-2 - (-4 - x)) + -1. Let s be (-2)/1*a/1. Do 3 and s have the same value?
False
Let m be (-5)/10*(-4)/(-5). Suppose 3*v - g - 6 + 0 = 0, -2*g - 10 = -5*v. Let j = -1 + v. Is m >= j?
False
Suppose 3*f - v + 6 = 4*f, 5*f = 4*v + 3. Suppose f + 1 = 2*t, 4*l - t + 2 = 0. Which is greater: -2/3 or l?
l
Suppose 0 = -2*l - 11 - 1. Let u be l/8 - 6/(-24). Which is smaller: 0 or u?
u
Let h = -0.07 - 15.93. Let m = 15.3 + h. Let c = 0.8 + m. Which is smaller: c or 5?
c
Let l(w) = 2*w + 2. Let c be l(-2). Let g(x) = -x**2 - 4*x + 1. Let b be g(c). Suppose -3*r + 2*r + 5 = 2*d, 25 = -4*d + b*r. Which is greater: d or -1?
d
Suppose 0 = 2*j + 2*j. Is 2/25 smaller than j?
False
Let f be (-10)/(-25) + (-12)/(-20). Which is smaller: f or 4/27?
4/27
Let f = 0.092 + -20.092. Is 0.1 > f?
True
Let u = 2.4 + -1.7. Let t = -0.8 + u. Which is greater: t or -0.08?
-0.08
Let g = -0.1 - 0.2. Let p = -0.62 - -0.02. Let b = 0.5 + p. Is g greater than b?
False
Let z = 5638810215392/109395 + -670089138/13. Let a = 8206/85 - z. Let v = 38/9 - a. Is 0 smaller than v?
True
Let k(w) = -15*w**3 - w**2 - w. Let x be k(-1). Suppose -x = -4*n + 5. Let g(m) = -m + 4. Let o be g(n). Is -2/11 >= o?
True
Suppose 4*k - 13 = -9. Which is smaller: k or -3/62?
-3/62
Let y = -64 - -69. Which is greater: y or 0?
y
Let k(p) = -3*p**2 + p + 1. Let w = 6 - 2. Let x(z) = z - 5. Let v be x(w). Let q be k(v). Is q at least as big as -3?
True
Let a(n) = n - 4. Let o be a(5). Suppose 2*u = u + o. Is -1/7 smaller than u?
True
Let g be ((-2)/(-18))/(2/(-6) - -2). Which is smaller: g or -3?
-3
Let d = -29 + 28. Is d != 2/11?
True
Let n = 1 - 0.9. Which is smaller: n or -0.01?
-0.01
Let f = 0.2 + -1.2. Suppose 3 = 3*a - 2*x, 4*a - a = -x + 12. Do a and f have different values?
True
Let t(a) = -a + 1. Let m be t(1). Suppose m = 6*z - z. Is 2/13 < z?
False
Suppose -q = -5*q - 4. Let s be ((-6)/(-40))/(30/25). Is q > s?
False
Let i = -14/3 + 5. Is i at least 0?
True
Suppose -h - l + 16 = -0*l, 0 = -3*h - 5*l + 56. Suppose 0*f + h = 4*f. Let w = f - 5. Which is greater: w or -1?
-1
Let w = -32 + 32. Which is smaller: w or 22?
w
Suppose -4*r - 2*a = -r + 57, -96 = 4*r - 4*a. Is r < -21?
False
Let s = 0.3 + -0.4. Let v be (8/12)/(52/12). Which is smaller: s or v?
s
Suppose -4*a + 3 = -1. Let t be a/((-48)/(-20) - 2). Is t at least as big as 3?
False
Let h(o) be the second derivative of o**3/6 - 3*o**2/2 + o. Let x be h(5). Which is smaller: 3 or x?
x
Let n = 3 - 3. Let x = 3 + n. Suppose -4 = r + x*r. Is 0 bigger than r?
True
Suppose 0 = 2*j + 8, -4*j - 21 = 5*v. Is v at most -1/18?
True
Let w be ((-2)/6)/((-2)/12). Suppose 3*l + 9 = -2*x, -w*l + 3 = -5*l. Let r be 0 - (3/(-2))/x. Is r > 0.1?
False
Let u be 16/12 + (-3)/9. Let v(j) = -2*j**3 - 1. Let g be v(-1). Let t be (2 + (-1 - u))/g. Which is smaller: t or 2?
t
Let b = -83/5 - -17. Let l(d) = 9*d + 5. Let h(j) = -5*j - 2. Let a(s) = -7*h(s) - 4*l(s). Let m be a(-6). Which is smaller: m or b?
m
Let j(k) = 3*k + 6. Let n be j(-4). Is -8 at most n?
True
Suppose -3*a + 15 = -0*a. Which is bigger: 2 or a?
a
Suppose 1052116 = 2*s + 2*s. Let y = 8679248/33 - s. Let g = -65/3 - y. Is -1 greater than or equal to g?
False
Suppose -26 = -2*h - 2*b, 0*b = -4*b + 4. Suppose 2*g = 6*g + h, 0 = -3*w + g. Which is smaller: w or 2/15?
w
Suppose -2*h + 67 = d, 4*h + 24 = 4*d + 152. Let z be 1*(75/h - 2). Which is smaller: 1 or z?
z
Let f = -5/14 + 27/56. Let x(o) = 3*o + 17. Let r be x(-6). Is f greater than r?
True
Let d be 6/4*8/(-6). Let w be (d/4)/(3/6). Is w equal to -2/11?
False
Let f = -0.08 - -0.14. Let j = -0.66 + f. Let m = -0.4 - j. Which is greater: -1 or m?
m
Suppose -5*u + 6*u = 5. Which is greater: u or 0?
u
Suppose -p - 4*p - 4*v + 41 = 0, v + 1 = 0. Let j be (6/8)/(p/(-6)). Which is smaller: j or -2/7?
j
Let b(x) = x**3 - 7*x**2 + 5*x + 8. Let l be b(6). Suppose -4*a + 20 = a. Are a and l non-equal?
True
Suppose 0 = x - 194 - 28. Let n = -117 + x. Let h be (-12)/n*10/4. Which is bigger: 1 or h?
1
Let f = -7/50 - 13/50. Let x be (-2)/(1*(-3 + 1)). Is x >= f?
True
Let m = -53 - -53. Are -6/11 and m nonequal?
True
Suppose 1 - 2 = r. Is 1/14 not equal to r?
True
Suppose 0 = 3*n - 6*n. Let s = -5 - -1. Let m = -3 - s. Is n greater than m?
False
Suppose 2*w + 4*b - 16 = 0, -4*b = -4*w - b - 12. Suppose w = -5*u + 11 - 1. Suppose -3*l + 4*c = -7, u*c - 4*c = 2. Is 2/11 >= l?
False
Let f = -8 - -8.1. Which is greater: -0.4 or f?
f
Let o = 277/114 + 4/57. Which is smaller: o or 3?
o
Let y = -1 + 2. Let i = 3 + -3. Is y != i?
True
Suppose -2*j = -3*j + 2, 3*d + 2 = -2*j. Let m(q) = q - 7. Let x be m(5). Is x <= d?
True
Suppose 0*s = -5*s - 3*q - 21, 7 = s - 5*q. Let g be (s - -2) + 0 - -2. Let u be 2 - (-3)/g - 1. Which is smaller: 3 or u?
3
Suppose -5*i = -i + 1976. Let v = i - -9384/19. Is -0.1 less than or equal to v?
False
Let v = 3.1 + -3. Which is smaller: 13/4 or v?
v
Let g(s) = -s**2 - 16*s + 46. Let j be g(-19). Which is bigger: j or -8?
-8
Let d = 4 - 3.64. Let s = -0.06 + d. Let u = s + -0.2. Which is smaller: u or 2?
u
Let l(x) = -x - 2. Let g be l(-4). Let u = 32 - 29. Which is bigger: u or g?
u
Let o(r) be the first derivative of r**2 - 5*r - 2. Let y be o(-8). Let s be (-2)/7 - (-3)/y. Which is smaller: 0 or s?
s
Let a = 2 + -1. Let q = 2.01 - 2.1. Let g = -0.09 - q. Is g not equal to a?
True
Suppose -25 + 5 = -4*r. Let k be 1/r*(-2 - -1). Which is smaller: k or -1?
-1
Let i(c) = 2*c + 1. Let v be i(0). Which is smaller: 2/9 or v?
2/9
Let y(r) = r**2 - 3*r + 2. Let a be y(3). Suppose -a*f - 4*h = f + 22, h + 6 = -f. Let w be 27/24*2 + f. Is w greater than or equal to 1?
False
Let y = 1/219 + -1555/4818. Which is smaller: -1 or y?
-1
Let p be 17 - 6/(-9)*-6. Which is smaller: p or -0.2?
-0.2
Suppose 24 = 4*n + p, -3 = -n + p + 3. Suppose 2*t = n + 2. Suppose 0 = -2*s, 0 = 2*r + 2*r + s + t. Which is smaller: 1/6 or r?
r
Let f(w) = -w**2 + 6*w - 11. Let r be f(5). Is -8 bigger than r?
False
Let p = -121.4 - -122. Which is smaller: -0.1 or p?
-0.1
Let f be (-6)/8 + (-17)/(-28). Are f and 1 unequal?
True
Let t = 14 + -7. Suppose -2*m + 4*h + 2 = 0, t = -0*m - 3*m + 4*h. Let x(k) = k**2 + 10*k + 7. Let p be x(m). Which is bigger: p or -3/2?
-3/2
Let x(t) = -t**2 - t - 3. Let d be -2 + 0 + 1 - -1. Let b be x(d). Which is smaller: b or -4?
-4
Let h be (364/208)/(0 - (-2)/(-136)). Is h smaller than -118?
True
Let u = -6533/21 + 311. Let x(r) be the first derivative of -2*r**3/3 + r**2/2 - 3. Let b be x(1). Do b and u have the same value?
False
Let a = -2 + 1.5. Let x = 0.2 + 0. Let f = a + x. Which is smaller: 2/9 or f?
f
Let a be (-34)/1*2/(-4). Let y be a/28 + 4/28. Is y > 1?
False
Suppose 5*b + 19 = 3*t, -2*t + 0*b + 2 = 2*b. Is 4 != t?
True
Suppose x + 5*j = -14, -2*x - 6 = 5*j + 7. Which is bigger: 2 or x?
2
Let g(i) = -i**3 + 4*i**2 - 5*i + 5. Let r be g(3). Let u be (2 - 2)*1/(-1). Is u bigger than r?
True
Suppose 24 = -2*i - 2