= o + -5. Which is smaller: n or g?
n
Suppose -8*g - 63 = -g. Which is smaller: -8 or g?
g
Let k = 0 - 0. Let q = 26 + -26. Let j be (-1 - q) + (0 - -2). Which is greater: k or j?
j
Suppose -3*o - o + 4*w = -36, 5*o - 36 = -4*w. Let d be (-6 + o)*(-1)/13. Is -1 less than d?
True
Let m = 25.02 - 25. Let p = 2 - 2. Suppose p*k = 3*k. Which is bigger: m or k?
m
Suppose 12 = -2*q + 5*j, -q + 12 = -0*j + 2*j. Suppose -3*o = -o - q. Which is greater: 0 or o?
o
Suppose 4*f = -o + 8, -3*o = 4*f + o - 8. Which is bigger: f or 3?
3
Suppose -2 - 3 = 5*k, 3 = -5*d - 3*k. Let z(v) = v**2 - v - 2. Let q be z(-3). Let r be (q*2/4)/1. Which is greater: d or r?
r
Let p = -1 - -5. Suppose p*j - 21 = -q, -2*j + 28 = -2*q + 6*q. Let c be -1*(-2 + j)/(-2). Which is smaller: -2/7 or c?
-2/7
Let n = 5.8 + 1.2. Which is bigger: n or -1/2?
n
Let k = 776/10233 - 2/1137. Is k greater than 1?
False
Let k be (3/6)/(2/(-4)). Let w be (0 - k)/((-2)/6). Is w smaller than -4?
False
Let h = -7.95 + -0.05. Let j = h - -7. Is j smaller than 2?
True
Suppose -c - 4*y = -0*c + 3, -3*y = -3*c + 6. Which is smaller: c or 4/5?
4/5
Let u be 1/(2/4) + (-9000)/4470. Is 1 smaller than u?
False
Let h(r) = -r**3 - 3*r**2 + 2*r - 5. Let y be h(-4). Let a(w) = 6 + 4*w**3 + 3*w**2 - 3*w**y + w**2 - 4*w. Let x be a(-5). Is -1/2 less than x?
True
Let z(t) = t**3 - t**2 - 2. Let m be z(2). Let i = m + 3. Suppose 4*j - i*j = -3. Which is greater: 4 or j?
4
Suppose 2*n + 6 = 4*o, 9*n = -3*o + 4*n - 28. Let f = 13/7 - 157/77. Which is bigger: o or f?
f
Let x be ((-32)/10 - -3)*-5. Suppose h + x + 7 = 5*t, -2*t - 3*h = 7. Which is greater: 0 or t?
t
Let b be (-49)/(-6)*3*2. Is b less than or equal to 48?
False
Let v(n) = n + 5. Let l(o) = -o - 3. Let t(j) = -7*l(j) - 4*v(j). Let a be t(-1). Is -2 < a?
False
Suppose -5*n = -2*v - 0*v - 3, -3*n + 3 = 0. Let u be 0*(7/2 - 4). Which is smaller: u or v?
u
Suppose 3*r + g = 40 - 15, -32 = -4*r - g. Is 7 > r?
False
Let m be (-16)/(-15) - (-4)/(-10). Suppose 0 = -2*n - 4*o + 4, -5*n + 3*o = -2*n + 30. Let h = n + 6. Are m and h nonequal?
True
Let a(w) = w**3 - w**2 + 2. Let t be a(0). Let x be 15/t*(-4)/(-5). Let m = 4 - x. Which is smaller: m or -1?
m
Suppose 45 - 1 = 2*q. Is q bigger than 23?
False
Let r = 12 + -13. Is 1/12 at least r?
True
Let m(l) = -l**3 - 16*l**2 - l - 20. Let i be m(-16). Which is smaller: -6 or i?
-6
Suppose -5*h + 13 = -12. Suppose -7*b + 12*b + h = 0. Are b and 5 equal?
False
Let o = 2/13 + -43/26. Let b = 0 + -1. Let v be (3 + -2)*(b - 0). Is v >= o?
True
Let x(t) = -t**3 - 4*t**2 + 2*t + 2. Let v be x(-4). Let f be (-2)/((231/v)/7). Is f bigger than 1?
False
Suppose 11*x - 26 = -59. Let r(w) = -w**3 + w**2 - 4. Let c be r(0). Are c and x unequal?
True
Let o = 733/10 + -73. Let i(y) = y**3 - 2*y + y**2 + 4*y + y - 2*y. Let n be i(0). Which is smaller: n or o?
n
Let k = -0.498 + 0.45. Which is bigger: k or -1?
k
Suppose -3*s = -4*d - 82, 0*d + d = 5*s - 165. Let z be s/24 + 2/(-3). Is z at least 0?
True
Let j(f) be the first derivative of -f**4/2 - 4*f**3/3 - 3*f**2/2 - f - 5. Let g be j(-2). Which is bigger: g or 4?
g
Let i(w) = -3*w**3 + 2*w**2 - 3*w. Let q be i(2). Let t be 17/88 - 4/q. Suppose 3*s = 4*s. Which is smaller: t or s?
s
Let o(g) = g**3 + g**2 + g - 1. Let t(h) = 5*h**3 + 12*h**2 - 5*h - 11. Let a(w) = -4*o(w) + t(w). Let c be a(-9). Which is smaller: -8 or c?
-8
Suppose 14 = 5*b + 4. Let o = b - 1. Let m be (3 - 6) + (0 - o). Which is bigger: m or -5?
m
Suppose 5 = 3*n - 2*r, -10 - 2 = 3*r. Let g be (-1 - 0)/(-1 - 3). Which is bigger: g or n?
g
Let v be 1/(-20)*(14 + -13). Suppose 3*r - 6 - 2 = 2*t, 3*r = 5*t + 11. Which is bigger: t or v?
v
Let t be 3/(-2 + 5) - 2. Is t bigger than 0?
False
Let n = -3.2 - -3. Let a = 0.08 - -0.02. Let j = n + a. Which is smaller: j or 1/4?
j
Let r be 14/(-14) + ((-106)/(-49))/2. Is 1 not equal to r?
True
Let s be (-134)/(-4 + (-6 - -4)). Are s and 21 nonequal?
True
Let p be ((-2)/1)/(-2*(-2 - -1)). Which is smaller: 2/79 or p?
p
Let u(a) = a**3 - 28*a**2 + a - 47. Let h be u(28). Suppose -10 = -5*g, 4*f - 3*f - 2*g = -23. Is f >= h?
True
Let t = 447/217 - -7/31. Are 3 and t nonequal?
True
Let f = 0 + 0.1. Let i be (-5)/4*(-27)/(-180). Let t = 1/176 + i. Which is smaller: f or t?
t
Let f be (-2 - (-2)/(-1))*4/8. Suppose 0 = c + 5, 0 = -a - 5*c + 4 - 23. Suppose -17 = -y + a*y - 4*x, 3*y = 3*x - 12. Is y at least f?
True
Let k = 7 + -2. Suppose -4*i + 3*a = i - 17, -k*i = -4*a - 21. Which is smaller: 5/4 or i?
i
Let w be (-4)/3 + 4*3/(-18). Let y be (-66)/(-14) - (-4)/14. Suppose 5*i + 3*v + 19 = 0, i - 5 = 4*v + y. Is w at least as big as i?
True
Let z be (-6)/(-10) - (-15)/(-25). Suppose s + 2 - 3 = z. Is s at most 3/2?
True
Let y = 10.91 + -11. Which is smaller: 0 or y?
y
Let p = -0.02 - -0.04. Let k(l) = -l**3 + 2*l**2 + 3*l + 2. Let s be k(3). Suppose 3*h = m + 2*m + 3, 0 = -2*h + 4*m + s. Which is smaller: h or p?
p
Let m(h) = 2*h + 4. Suppose -3*c = 4*n + 12, 8 = -2*c + n - 2*n. Let i be m(c). Let o be (i/8)/((-2)/(-4)). Which is smaller: o or -2?
-2
Let c = -7/117 - 2/39. Do 1 and c have the same value?
False
Let k(y) = 2*y + 3. Let f be k(-4). Suppose -4*i + 15 = 4*g - 17, 14 = 4*i - 5*g. Let t be ((-8)/(-6))/(i + f). Which is greater: t or 2?
2
Let a = 147/100 - 18/25. Is a != 0?
True
Let z = -39 + 27. Let h be (5/(-50))/(2/z). Is 2 < h?
False
Let q(w) = -8*w**2 + 0*w**3 - 3 - w**3 - w - 3. Let z be q(-8). Let y be 4/6*(4 - 1). Is z less than y?
False
Let s be 3 + 1 - (2 + 3). Is s bigger than 5/14?
False
Let l be 3/36*3 + (-294)/1464. Which is smaller: -1 or l?
-1
Let y = -0.9 - -0.1. Let s = -0.1 + 0.3. Let x = s - y. Is -1 bigger than x?
False
Let r = 336/85 - 40/17. Suppose 0 - 3 = 2*a + 5*n, n - 4 = -5*a. Which is smaller: r or a?
a
Let h be 15/10*(-10)/3. Let r = h - -4. Let k be 3/(30/4) - 1. Which is smaller: r or k?
r
Suppose -42 = -3*f + 8*x - 3*x, 5*f - 70 = -x. Do 16 and f have the same value?
False
Suppose t = 5*t - 16. Suppose 2*p + 9 = t*p - a, 3*p - 15 = 3*a. Suppose -5*x = f + 19 + 6, p*f - 4*x - 20 = 0. Which is bigger: -1/4 or f?
f
Let s = -10007/7 - -10915/7. Let o(h) = 6*h**3 - 5*h**2 + 3*h + 4. Let n be o(3). Let c = n - s. Which is smaller: c or -1?
-1
Let d be 6/20*2 + 4/10. Let s = -38 - -263/7. Which is greater: d or s?
d
Let i = 9.3 - 9. Which is smaller: i or 3?
i
Let p(d) = -d - 4. Let w be p(-8). Suppose -4*j + 3*x - w = 8, -18 = 5*j - 3*x. Suppose -i = 4*o + 20, -2*i - i = -2*o - 10. Is o less than j?
False
Suppose 2*w - 23 = -4*m - m, 0 = -3*m - 4*w + 25. Suppose -4*f + 2*u + 4 = 0, -3*u = -f - m + 9. Are 3 and f unequal?
True
Let n be (-57)/(-4) - 30/(-10). Let t = n - 17. Let c = -2.9 - -3. Which is smaller: c or t?
c
Let s = -9 - -9. Suppose 7*p - 4*p - 6 = s. Let w be 1*(-6)/(-4)*2. Which is bigger: w or p?
w
Let t(v) = v - 1. Let w be t(3). Let g = -3 - -3. Which is bigger: w or g?
w
Suppose -2*i - i = -3*k - 141, 3*k = i - 37. Are 51 and i equal?
False
Suppose -2*z + 5*z + 9 = 0. Let b be (18/(-72) + 1/(-1))*4. Which is bigger: z or b?
z
Let w be ((-2)/2)/((-16)/(-32)). Let q = 0.3 + -0.2. Which is smaller: w or q?
w
Let p = -3 - -2. Let i = p + 1.2. Let j be 2/(-4) + (-7)/14. Do j and i have the same value?
False
Let b be (-2 + 9/3)*-1. Let j be 2/((-12)/(-10)) - 2. Which is bigger: j or b?
j
Let a = -134.8 + 118.66. Let k = 16 + a. Let h = k - 0.06. Which is smaller: h or 3?
h
Let j = -12.7 + 11.7. Which is smaller: j or 0.08?
j
Let p be (-7543)/2489 - (-1 - 2). Let o = 338/2489 + p. Suppose 0 = 2*s - 0*s - 2. Is s <= o?
False
Let f(v) = 2*v + 6. Let y be f(-6). Is -7 at least y?
False
Suppose -15 = 3*q - 8*q. Suppose -q*l + 14 = 2. Is 3 <= l?
True
Let t = 0 + 0. Suppose t = -3*b + 3, 3*b = -m + b + 4. Suppose 0 = -a - m*o - 1, 0 = 2*a - 3*o + 3 - 15. Is 2 greater than a?
False
Suppose -2*l = 2*l - 84. Suppose 0 = -d - 4, -4*u = u + d - l. Suppose -u*m - 13 = -3. Is -1 equal to m?
False
Let m = -789167/19 + 41946. Let f = -411 + m. Which is bigger: f or -1?
f
Let o = -4/67 - -95/469. Which is smaller: 0 or o?
0
Let u = -44 - -65. Is 20 less than or equal to u?
True
Suppose 0*u - q - 3 = 2*u, -3*q = 5*u + 7. Let x be (-1 - 4)*2/5. Is u at most x?
True
Let l = 16 + -11. Suppose -19 = h - 3*d, -l*h + 2*d - 25 - 5 = 0. Which is small