5 = -2*c - 3*k, 4*k = c - 0 + 6. Let h be (-2064)/c + (-2)/(-6). Let t = 1036/9 - h. Is 1 less than t?
False
Suppose -3*r = 3*r - 18. Which is bigger: 0 or r?
r
Let f = 1260 + -13872/11. Which is smaller: 0 or f?
f
Let o = 1/2171 + 223608/10855. Is 20 at least o?
False
Let f = -1066 - -7562/7. Which is smaller: 15 or f?
f
Suppose -2*v + 8 = 2*v. Suppose v*f - 5*y = -17, f - 6*y + 2*y + 16 = 0. Suppose o = f*o - 18. Is o less than 6?
False
Let t = -80 + 157. Let q = t + -461/6. Which is greater: 0 or q?
q
Let d be (1 - (1 + -1)) + -1. Suppose -r - 4 = 0, -10 = w + 5*r + 14. Let m = w + 4. Are m and d equal?
True
Let x = -8 - -11. Let u = 2 - x. Let h = 0 + u. Is 2 at least as big as h?
True
Let v = 3 + 4. Let b be v/14 - (-18)/(-4). Which is bigger: b or -5/2?
-5/2
Let d be (2/(-2 + -2))/((-3)/6). Which is smaller: 2/143 or d?
2/143
Let v = 10.94 + -11. Let q = v - 0.04. Let w = -6 - -5.7. Is w not equal to q?
True
Let d be 155/55 + 4/22. Let h be 4/((1 + 3)/2). Are d and h nonequal?
True
Let p be (-3)/(1/((-1)/1)). Suppose -2*s + 7*o = 10*o + 3, -3*o = -5*s + 3. Which is bigger: s or p?
p
Let j = -66 - -98. Suppose -2*c + 7*c = 2*r + 28, -4*r + 4*c - j = 0. Is -3 < r?
False
Let g = 1222/11 + -111. Let z be ((-1)/(-2))/(1/(-2)). Which is smaller: z or g?
z
Let u = -100322/5 + 20172. Let r = -108 + u. Is r equal to -2/5?
True
Let r be 55/(-88)*1/(-30). Which is smaller: -1 or r?
-1
Let b(m) = -2*m**2 + 2*m - 1. Let l be b(1). Let n be l/(-1*14/(-2)). Is 0.3 <= n?
False
Let b = -154 - -2155/14. Which is smaller: -1 or b?
-1
Suppose 0*q + 18 = 3*q. Let t be 1 + -1 + q/(-15). Let r = -0.2 - -0.4. Which is smaller: r or t?
t
Let j = 5 + -8. Suppose -2*b = 2*b - 4. Is b less than or equal to j?
False
Suppose 0 = -7*y + 2*y + 80. Let a = y + -8. Are 8 and a non-equal?
False
Suppose 3*f = -2 - 1. Let s = -3481/27 + 129. Let g = s - 41/189. Is f bigger than g?
False
Let h be -5*4/(-100)*-5. Which is smaller: 2/67 or h?
h
Let b be ((-411)/(-21) - 1)/12. Let m = b + -3/14. Let i be ((-2)/3)/((-8)/(-12)). Which is smaller: m or i?
i
Let m = 43/60 + 1/12. Let n(x) be the second derivative of x**4/12 + x**3/6 - 2*x. Let d be n(1). Is m not equal to d?
True
Let d = -0.005 - 0.095. Which is bigger: d or 67?
67
Let k(m) = m**2 + 2*m - 2. Let b be k(-2). Is -2 greater than b?
False
Suppose 3*p - 2*p = 0. Which is smaller: 6/5 or p?
p
Suppose 15 + 20 = 2*r + q, -47 = -2*r + 3*q. Is 20 equal to r?
False
Suppose -4*c + 11 = 3*u, c + 2*u - 5 = -u. Let a = -6 - -8. Suppose 0 = 2*m - 2*l - 8, 0 = -3*l - a - 1. Which is smaller: c or m?
c
Suppose 2*s - 6 = -n - s, 2*s = -3*n + 32. Suppose -2*o = o + n. Let i be o - -1 - 0/2. Which is greater: -0.1 or i?
-0.1
Let o(l) be the third derivative of l**4/24 + 5*l**3/2 - 5*l**2. Let f be o(-8). Which is greater: 8 or f?
8
Let f = 5 + -3. Suppose w = 0, 0*o - 5*w - 10 = -f*o. Which is greater: o or 4?
o
Let c = 2/391 - -708/14467. Which is smaller: 0 or c?
0
Let l(w) = -2*w + 4. Let u be l(-3). Suppose -18 = -2*r + u. Let v be r/12 - 2/(-6). Which is smaller: 1 or v?
1
Let o = 0.4 + -0.42. Let f = o - 2.98. Is -1 >= f?
True
Let w = 4 + -1. Let r = -3 - -8. Suppose 2*g = r*g + w. Do 1 and g have different values?
True
Let u = -20 + 31. Is u greater than 12?
False
Let n = -1 - -1. Let q = -77/20 - -13/5. Are q and n equal?
False
Let k = -2.4 + 2. Let j = -0.1 + -1.3. Let p = j - k. Is 1 equal to p?
False
Let y be (-8200)/910 - 1/(-13)*2. Are -10 and y equal?
False
Let x be ((-18)/10)/(13/65). Which is smaller: -15/2 or x?
x
Suppose -3*i + 2 = -1. Is i != 2/47?
True
Let q be (-70)/(-6) - 11/(-33). Suppose 8*y + q = 12*y. Is -1 < y?
True
Let j(p) be the third derivative of p**5/60 - p**4/4 - 4*p**3/3 + p**2. Let q be j(7). Suppose -4*a = a. Which is smaller: q or a?
q
Let t be ((-10)/(-2))/(2/(-6)). Which is greater: t or -11?
-11
Let u = -4 + 2. Which is greater: -3 or u?
u
Let g(k) = k**3 - 6*k**2 - k + 6. Let v be g(6). Let y be 5 + -11 + (-1 - -4). Which is smaller: y or v?
y
Let m = -4.8 - 0.2. Let d = -11 - m. Let l = d - -6.2. Which is bigger: l or -1/2?
l
Suppose t = -5 - 1. Let r(w) = w**3 + 7*w**2 + 5*w - 8. Let q be r(t). Let o be ((-5)/2 - q)*0. Is o at least 1/3?
False
Let x be 4/(-12) - 3/9. Let h = x + 1/15. Which is smaller: h or -1?
-1
Let q = 1.1 + -0.6. Let d = 6.5 - q. Let k = -5 + d. Is k at most -4?
False
Let j = 13.06 + -0.06. Which is bigger: 0.1 or j?
j
Let q = -7 + -1. Which is smaller: q or -7?
q
Let r = 41551/12 - 13583/4. Let w = r - 67. Which is bigger: -1 or w?
w
Suppose 3*x = 5*x. Suppose x = 2*k - 0*k. Suppose 0 = -c - 0*c + 1. Which is greater: k or c?
c
Let h = 14 + -22. Let a = h + 11. Let r = -2.8 + a. Which is smaller: -1 or r?
-1
Let s be 0 + -2 - 4*7. Let r be (9/s)/((-3)/4). Suppose -x + 3*x + 2 = 0. Which is greater: r or x?
r
Let b = -147882/11 + 13426. Let a = 192/11 + b. Is 0 greater than or equal to a?
True
Suppose -5*f = v - 22, f - 21 = -2*f + 2*v. Suppose -f*u = -3*r + 1 - 2, -7 = -u + 4*r. Let c be (2 + -1)*(-2)/7. Which is bigger: c or u?
c
Let z = -57/2 + 28. Is -1/2 at least as big as z?
True
Let s = 41 + -40. Which is smaller: 3 or s?
s
Suppose m + 0*m + 2 = 0. Let o be 7*(-3)/(-15) + m. Is o < 0?
True
Suppose 5*q + 3*o - 4 = 3*q, 3*o = -5*q + 1. Let h be (-4)/(-6) - 58/6. Let s be ((-4)/78)/(3/h). Is s at most as big as q?
False
Let o = -28 - -29. Which is bigger: -0.026 or o?
o
Let b(h) = h**2 - 9*h + 5. Let t be b(5). Let z = -7 - t. Are z and -2/5 equal?
False
Suppose -20 = -4*c + 3*o + o, c + 4*o = -5. Suppose -l + c - 5 = 0. Let i = 5 + l. Which is greater: 2 or i?
i
Let x = -7.88 - -8. Let h = x + -0.02. Is h < 0.5?
True
Suppose -2*z - 25 = -g, z = -4*z - 4*g - 56. Which is greater: z or -13?
z
Let u = 0.16 + 6.84. Let g = u - 8. Which is smaller: g or 0.3?
g
Suppose n = -n + 44. Let l(d) = d**2 - 7*d + 4. Let j be l(7). Suppose 4*v = j*u - 1 - 3, -n = 5*u + 4*v. Is -1 less than u?
False
Let q be 6/(-42) + 2/14. Which is bigger: q or 10?
10
Let s be 1336/440 - (4 - 1). Which is greater: s or -1?
s
Let q be 52/12 - 6/(-9). Which is greater: 6 or q?
6
Let i = 21.947 - -0.053. Is -1 >= i?
False
Let r(a) = -a**3 - 6*a**2 - 7*a. Let u be r(-5). Is 10 smaller than u?
False
Let h be ((-2)/4)/((-1)/(-3)). Suppose 2*b + 14 = -2*w, 0 = 4*b - 4*w - 2 - 2. Is h less than b?
False
Let q be 7*(-1)/(3 - 2). Let i be (-3)/q*69/(-108). Let y = i - 1/84. Does y = 0?
False
Suppose -5*i + 47 = 2*n - 4*i, 0 = -5*n - 3*i + 118. Let c be (-278)/(-12) - 4/6. Let l = c - n. Is l greater than -2?
True
Let k(l) = -l - 4. Let y be k(-4). Let f = -13 + 35. Let m be f/(-33)*(-3)/(-2). Is m smaller than y?
True
Let x = -6 - -16. Which is bigger: x or 6?
x
Let d = 81 + -485/6. Is d greater than 2/5?
False
Let n = 18 - 18.1. Which is smaller: 3/11 or n?
n
Let a = 0.5 - -2.5. Let l = 1 - a. Let w be (-2)/10 - (-6)/30. Which is greater: w or l?
w
Suppose -3*p + 47 = 5*q, 2*q - 7*q + 56 = 4*p. Is 7 at least as big as p?
False
Let y(i) = -i + 2. Let b be y(1). Let z = 1 - b. Let n(t) = t**3 - t**2 + t. Let h be n(z). Is h smaller than 2/3?
True
Suppose 0 = -5*z + 3*n - 8, 3*z - n = -z - 5. Which is smaller: z or 9/2?
z
Suppose -4*f = 3*p - 59, 5*p + 2*f - 7*f = 75. Suppose -5*t - 3*x - 7 = 0, -4 = -4*t + 5*x - p. Is -1 smaller than t?
False
Let r be ((-1)/5)/(7/21). Let p = 11/10 + r. Let i = 6 + -3. Is i <= p?
False
Let i = 19 + -11. Suppose 0 = b - 5*b - i. Is b > -3?
True
Let w = -11 + 6. Let x = 0.11 - 1.11. Which is smaller: x or w?
w
Suppose 0 = -0*y - 5*y. Let p(k) = k**3 + 4*k**2 + 2*k - 8. Let t(n) = n**2 + n. Let i(r) = -p(r) - 3*t(r). Let q be i(-6). Which is smaller: y or q?
y
Let p = -2/367 - 1091/1835. Let m(r) = r**3 + r**2 - 2*r - 1. Let y be m(-2). Is y equal to p?
False
Let h be (2 + -2)/3 - -5. Suppose 3*k - 30 = 3*j, 2*k + 2*k = -j + 20. Which is bigger: h or k?
k
Let r be ((-1)/(-15))/((-25)/10). Is r < -1?
False
Suppose -3*g + 2*c = -24, -4*c - 2 = -g + 6. Is g <= 10?
True
Let q = -38 + 54. Which is bigger: 15 or q?
q
Let z = -1 + 0.9. Let y = 0.8 - 1. Let o = y + 0.1. Do z and o have the same value?
True
Let m be (2/(-8))/(3/(-12)). Is 5/11 less than m?
True
Let z = -23 - -30. Is 7 greater than z?
False
Let v(r) = -r**3 + 4*r**2 - 2*r + 4. Let z be v(-4). Let u = z + -702/5. Whic