 n(9). Let i be s(f). Is -3 smaller than i?
False
Let a = 16 - 5. Suppose 0 = 4*l + 3 - a. Suppose -6 = c + l*p, -2*p = 2*c + c + 2. Are 1 and c equal?
False
Let u be (-34)/(-3) - (-2)/3. Let v(p) = -p**2 + 13*p - 10. Let f be v(u). Suppose f*r = -0*r. Is r >= 0?
True
Suppose -2*y + 3*y = 3. Suppose p - 5*s + 5 = 6*p, 0 = y*p + 2*s - 7. Suppose 0 = -0*l + 2*l - 10, 25 = 5*j + p*l. Are j and 0 equal?
True
Suppose -5*g + 20 - 10 = 0. Which is greater: g or -1?
g
Suppose 5*u - 17 = -3*l, -u = 4*l - 0 - 17. Let g = 547/207 + -23/9. Which is smaller: u or g?
g
Suppose 2*c - 10 = -3*c. Let w be c/(-4)*-2*4. Is w at most as big as 3?
False
Let k be 30/40 + (-22)/8. Let x be 3 - (332/68 + k). Let l be 1 + -2*27/42. Is x > l?
True
Let u = 1/4 - 0. Suppose 3*h + 7 - 19 = 0. Suppose -3*z + 5*f - 23 = 0, 0 = -h*z + f - 3*f + 4. Which is smaller: u or z?
z
Let l be (-18)/84 - 1/(-2). Is -0.1 less than l?
True
Let l = -53.8 + 54. Which is bigger: 15 or l?
15
Let s be (2/4)/((-38)/(-20)). Let q = 7/171 - s. Which is bigger: -1 or q?
q
Let l = 21 + -21.1. Which is smaller: l or 37?
l
Let w = -12 + 20. Let p = w - 14. Let r = p - -5. Which is smaller: -2 or r?
-2
Suppose -b - 6*b - 49 = 0. Are b and -7 equal?
True
Let k(p) = -9 - p**3 - 5*p + 3*p - 8*p**2 + p. Let u be k(-8). Let y = -0.4 - 0.6. Is y equal to u?
True
Let w = -10 - -10. Is -2 at most w?
True
Suppose 4*j - 2*g = -2, -g - 13 = j - 4*g. Suppose -j = 3*f + 1. Is -2 at most as big as f?
True
Suppose 5*u + s = -12, u = 6*s - 2*s + 6. Let r be u - 4*(-3)/(-24). Are -3 and r non-equal?
True
Suppose 13 = 2*i - 5. Is 9 >= i?
True
Let u(i) = -i**3 + 5*i**2 - 3*i - 4. Suppose 1 = s - 3. Let a be u(s). Which is smaller: a or -3?
-3
Suppose 0 = 4*i + i. Which is greater: -1 or i?
i
Suppose 5*c + 25 = -0*c + 5*v, -3*c - 15 = 4*v. Is c less than or equal to -1/2?
True
Let j = 224/167 - -45306/835. Let z = j - 56. Which is smaller: 1 or z?
z
Let x = 20.098 - 0.098. Which is bigger: x or -3?
x
Let g be ((-34)/10 + 1)*-5. Let m = g + -7. Let x = m - 8. Is x != 0.1?
True
Suppose 3*k = -2*c - 4, c + 3*k = -4 - 4. Suppose 7*d = 3*d + c. Let q = -3 + 6. Which is smaller: q or d?
d
Suppose 0 = -2*a + 1 + 3. Suppose -6 = -4*w - 2. Which is bigger: a or w?
a
Let i(h) = -h**3 + 3*h**2 + 4*h + 1. Let x be i(3). Let a = x - 10. Is 3 equal to a?
True
Let u = -4 - 1. Let k = u + 3. Which is smaller: -3/2 or k?
k
Let c = 28 + -17. Let w = 11 - c. Which is smaller: w or 0.1?
w
Let n = -1.71 - -1.7. Let d = 0.01 + n. Do 0.3 and d have the same value?
False
Suppose -j + 48 = -5*j. Is -13 greater than or equal to j?
False
Suppose j - 22 = 3*t, 4*t + j + 9 = -18. Let z be 2 + 5/(-1) - t. Suppose -3*p - z*o - 20 = 0, 2*p - 5*o = -0*p + 2. Are -5 and p non-equal?
True
Let q = 7/23 + -261/782. Is -1 >= q?
False
Suppose -2*q - 2 + 4 = 0. Let c = -7 + 14. Let h(i) = -i**2 + 8*i - 5. Let v be h(c). Is q at least v?
False
Let u = -6.97 + 7. Let w = 3.03 - u. Let m = -5 + w. Is -2 at most as big as m?
True
Let g be (12/(-4))/((-1)/(-3)). Let i be ((-3)/g)/(1/12). Suppose 0 = 3*k + t - 13, -k - 2*t - 14 = -5*k. Is k bigger than i?
False
Let p(v) be the second derivative of v**3/6 - 7*v**2/2 + 3*v. Let c be p(7). Suppose c*w + 4*s + 12 = -4*w, -s = 3. Is 5/4 equal to w?
False
Let p(b) = -24*b**3 + b**2. Let q be p(-1). Let v = q - 20. Which is bigger: v or 6?
6
Suppose 4*a - 16 = 3*q, q + 4*q = -3*a + 12. Suppose 0 = 4*g + 5*s - q*s - 24, 2*s = 8. Let m be g/(0 + (3 - 2)). Which is smaller: 1/4 or m?
1/4
Suppose 5 = -7*b + 159. Is 21 <= b?
True
Let i = 97 + -172. Let u be -4*1*5/i. Is u less than -1?
False
Let q(y) = y**2 - 4*y - 2. Let v be q(5). Suppose -2*a - 6 = -4*a + 5*n, -4*a - 2*n + 12 = 0. Is v greater than or equal to a?
True
Let b be (-428)/888*2 - -1. Let x = -31/2220 - b. Which is smaller: -1 or x?
-1
Suppose 23 - 23 = -5*a. Let v = 6 - 10. Let l(y) = -y**2 - 5*y - 3. Let c be l(v). Do c and a have different values?
True
Let v = 78 + -78. Let i be -1 + (-1)/15*-17. Is i != v?
True
Let l = -1.7 + 1.6. Is l less than 11?
True
Let r = 15.9 + -16. Does -15 = r?
False
Let n = -30 + 15. Is -14 smaller than n?
False
Suppose -2*a = -a. Suppose -4 = -a*x - 4*x. Let o be 2/7 + 36/(-224). Which is greater: x or o?
x
Let n be 6/(-16) + 212/224. Which is bigger: -0.4 or n?
n
Let q(p) = p**2 - 4*p + 20. Let c be q(6). Which is smaller: 34 or c?
c
Let m(a) = a**3 + 5*a**2 - 4*a + 5. Let l be m(-7). Let o = 457/7 + l. Is 1 bigger than o?
True
Let r(j) be the first derivative of -j**2 - 14*j - 8. Let v be r(-6). Which is bigger: v or -1?
-1
Let t = -11479/440 - -209/8. Which is smaller: t or 0?
0
Let z be (-28)/(-16) - (-1 - 28/(-16)). Which is greater: z or 1/3?
z
Let n(p) = 14*p**2 + 2*p - 1. Let w be n(1). Let a be ((-2)/w)/((-2)/(-6)). Let k(h) = -h**2 + 6*h - 1. Let u be k(5). Which is smaller: u or a?
a
Let n be (-1)/(-6) + (-20)/(-24). Do 11/8 and n have different values?
True
Let f(y) = -2*y**2 - 2*y - 1. Let v be 2/1*1/(-2). Let u be f(v). Is u bigger than -1?
False
Let n(i) = i**3 - 3. Let k be n(0). Let z = -3 - k. Suppose -2*t + w + 1 = 8, 5*t + 3*w - 10 = z. Are 2/7 and t equal?
False
Suppose 1 + 3 = b. Suppose 5*h + 4*i = -16, i + b = 2*h - 0*i. Which is bigger: h or 4/3?
4/3
Suppose -4*v - 4*t + 108 = 0, 6*t = t + 10. Suppose -r - 2*q - 3*q - 1 = 0, -5*q - v = -5*r. Let o = 7 - r. Which is smaller: 2 or o?
2
Let g = -11 - -17. Is g != 1?
True
Let z be 18/24 + 43/(-20). Which is smaller: z or -2?
-2
Let a = -8 - -14. Let u = 0 + a. Let k = 5 - u. Which is greater: k or -3?
k
Let m = 0 - 1. Let o(s) = s - 2. Let c be o(4). Let q be ((-3)/11)/((-3)/c). Which is greater: m or q?
q
Let y be 2/4*(4 + 0). Suppose 5*b - 5 = -t, 2*b + 0*t = y*t + 14. Let w be 8/6 + (-6)/9. Is w != b?
True
Let m = 7 - 4. Let i(q) = -q**2 + 4*q - 1. Let g be i(m). Suppose 2*o = g - 4. Are o and 2 nonequal?
True
Suppose -7*o + 8 = -3*o, -5*o + 7 = -3*l. Let q = l - 3. Suppose 0 = -3*x - 3. Which is smaller: x or q?
q
Let f(b) = b**3 + 3*b**2 - 5*b - 4. Let q be f(-4). Let m be (-3)/(243/(-6) - -3). Is q equal to m?
False
Let z be 95/(-210) - 2/(-7). Which is smaller: z or -3?
-3
Let t = 3 - -2. Let q be t/(-2)*(-20)/25. Let p be (12/15)/q*1. Is p less than 0.4?
False
Let f(n) = -n**2 - n + 3. Let j be f(-3). Let p be ((-4)/6)/(6/9). Which is greater: p or j?
p
Let z be (10/(-6) - -2)*3. Let g = -9.16 + 0.16. Which is bigger: z or g?
z
Let g = -77 + 383/5. Suppose 11 = 3*b - 4*v, 2 = 2*b - 6*b - 3*v. Which is smaller: b or g?
g
Let h = 155 + -121. Is -2 > h?
False
Let h be (4/(-10))/(1 - 0). Let r(d) = -d**2 + 6*d + 4. Let v be r(7). Let x = 2 + v. Which is greater: x or h?
h
Suppose -3*b - 11 = 1. Are b and -4 equal?
True
Suppose n + 3 = -3. Let r be n/(-2)*1/(-5). Which is smaller: r or -2?
-2
Let r = 20 + -20. Let u be 1 + r + 35/(-5). Do -8 and u have the same value?
False
Let v = -6 - -5. Let t be (9/(-6))/(154/(-48)). Let d = 2/11 - t. Which is bigger: d or v?
d
Let y = -793/5 + 158. Let l(c) = -c**3 - 8*c**2 - c - 6. Let o be l(-8). Let w be (3 - 1)*(-1)/o. Is w at least as big as y?
False
Let h be 11/(-33) + (-2)/3. Let g be h*1 + 0/(-1). Is -3/2 bigger than g?
False
Suppose -4*d - 2*u = -62, -6*d = -d + 3*u - 79. Is 44/3 at most d?
False
Suppose 5*c + 71 = 6. Suppose 2*t + 9 + 19 = 0. Is t at least as big as c?
False
Let v(p) be the first derivative of p**4/24 - p**3/6 + p**2/2 + 2. Let j(l) be the second derivative of v(l). Let u be j(0). Which is smaller: u or 0?
u
Let g = 2 - 7. Let c = 6 + g. Which is bigger: c or 2?
2
Let c be 2 + (2 + 1)/3. Let l be (3 + -1)/(c - 4). Let p = l - 0. Which is greater: p or -1?
-1
Let c = -229 + 229.04. Let o = 31/65 + -1/13. Which is smaller: o or c?
c
Let o = -0.66 + 19.66. Is o smaller than 1?
False
Let t = 9.2 - 9. Which is smaller: -7 or t?
-7
Let r(u) = -u - 5. Let f be r(-5). Suppose 3*h - 2*p + f = -1, -20 = -5*h - p. Which is smaller: h or 4?
h
Suppose 0*h = -h + k - 6, -2*k = -6. Let w be ((-1)/2)/1 + 0. Which is smaller: h or w?
h
Suppose -4*j = 4*z - 0*z - 12, 2*j - 5*z + 15 = 0. Which is smaller: j or 3/2?
j
Suppose -i = -2*i. Suppose i = t + 4*m + 10, t + m = 2*m. Is -1 > t?
True
Let l(x) = -x + 1. Let p be l(1). Let h be 3/(-1)*(-2)/(-6). Let r be 90/21 + -3 + h. Which is smaller: p or r?
p
Let