**2 - h + 2. Let c be g(3). Let n be -2 - 7/((-266)/c). Suppose 4*l = l. Which is smaller: n or l?
l
Let q(u) = u**2 + 6*u. Let n be q(-2). Which is greater: n or -9?
n
Suppose 3*n - 54 = -12. Is 15 not equal to n?
True
Suppose 4*p - 5*p = 17. Is p > -31/2?
False
Let p = 237/4 - 60. Let a be 1*(-27)/((-9)/(-3)). Let k be (-2 + (-15)/a)*3. Do p and k have the same value?
False
Suppose 0 = -3*n + 7*n - 40. Let w be -1 + 14/n + 0. Is -2/7 at least as big as w?
False
Let z be (-72)/(-54)*12/(-2). Let g(p) = p**3 + 9*p**2 + 8*p. Let h be g(z). Do h and 0 have the same value?
True
Suppose 0 = 5*i + 3*l + l - 11, -i + 4*l - 17 = 0. Let z = -13/4 - -7/2. Which is bigger: z or i?
z
Let j(w) = -w**2 + w. Let p be j(2). Let n be (-1)/p + 6/20. Let o(m) = m**2 - 19*m + 20. Let l be o(18). Which is greater: l or n?
l
Suppose 4*b + 0*b - 28 = 0. Let i(d) = d**2 - 9*d + 13. Let g be i(b). Is 2 >= g?
True
Let q be 19/38 + -5*(-2)/(-12). Which is greater: -0.4 or q?
q
Let n = -2472/19 - -130. Which is bigger: n or 1?
1
Let y = 5 + -5.1. Let a be 1/((-2)/(-6)) - 2. Let c = 0 - a. Which is bigger: y or c?
y
Suppose 18 = -2*u + 5*u. Let z = 8 + -3. Suppose -u*j + j = -20, 0 = 5*c - z*j - 15. Which is smaller: 6 or c?
6
Let c = 2942 - 70619/24. Let q = c - -1/8. Let z = -2 - -1. Is z at most as big as q?
True
Let l = 0.3 - 0.2. Let a = l + -2.1. Let i = a - -2. Are i and 1 nonequal?
True
Suppose 0 = 5*g - 4 + 14. Let b = 3/10 + -21/20. Which is smaller: b or g?
g
Let g be (4/(-24))/(2/(-4)). Let i(r) = -r - 6. Let x be i(-7). Which is smaller: x or g?
g
Suppose 0 = -14*y + 20*y. Which is smaller: y or 1/100?
y
Let h(l) = -3*l**2 - l + 4. Let w(j) = -4*j**2 + 5. Let f(v) = -5*h(v) + 4*w(v). Let x(p) = -5*p**3 + p + 1. Let b be x(-1). Let q be f(b). Is -1 bigger than q?
False
Let w = -5 - -9. Suppose 0*t = w*t + 16. Let x(r) = r**3 + 5*r**2 + 5*r + 5. Let d be x(t). Which is bigger: d or -2/9?
d
Let r = -8047/11 - -731. Is r <= 1/4?
True
Let k = 3 + -3.1. Let m be ((-2)/(-3))/(6/27). Let r = 2 - m. Is r greater than or equal to k?
False
Suppose -6*p = -7*p + 1. Which is smaller: 2/29 or p?
2/29
Let w(q) = 4*q**3 + q. Let r be w(-1). Let d = -24448/6435 - 1/1287. Which is greater: r or d?
d
Let u be (-42)/372*(-8)/(-3). Let s = u + -1/31. Which is bigger: s or -1?
s
Suppose 811 - 279 = 7*o. Which is smaller: o or 77?
o
Suppose -p + 7*i + 18 = 3*i, 3*i + 12 = 0. Let w = -0.27 + -0.03. Let b = 0.7 - w. Which is greater: b or p?
p
Let u = 169/5 - 33. Is u less than or equal to 1?
True
Let l be 4 - (3 + -2 + 1). Suppose 0 = g - 2 - l. Suppose -g*n = 2*x - 4, -3*x - 1 = -n - 7. Which is greater: 1 or x?
x
Let t = -16.1 + 16. Let r = -0.01 - t. Are r and 1 unequal?
True
Let l(s) = s**3 - s. Let h be l(-1). Is h less than 7?
True
Suppose -i - 2*i + 33 = 0. Let s = i + -9. Let g be s/8*(-1 + 5). Which is bigger: g or 1/3?
g
Let r = -13 + 13. Suppose -3*l + 7 - 1 = r. Which is smaller: l or 4/3?
4/3
Let f be (-5)/20 + ((-95)/(-12) - 2). Is f less than -4?
False
Let y = 0.03 - 0.03. Is y >= -2/5?
True
Let m = -1.35 - -1.4. Which is smaller: 0.1 or m?
m
Let y be (-4)/(-6)*(-30)/(-20). Do y and 1 have the same value?
True
Let q be 2/10 - (-2)/(-10). Let l be -3*(4/6 - q). Let v be (-3)/2 + l/(-4). Does v = 0?
False
Suppose 3*c = 8*c - 5. Let s = -5.3 + 6. Which is smaller: c or s?
s
Suppose 2*r = 4*b - 10, 3*r = 2*b + b - 6. Is r at most as big as 2/221?
False
Let t be (0 - 3) + (1 + 2 - -32). Is 32 less than t?
False
Let i be -1 - (1 + -1 + -16). Suppose 0 = 4*o - i - 9. Is 5 at most as big as o?
True
Let o = -16 + 23. Suppose 0 = -2*b - 0 + 8. Let a be -2 - b*(-4)/o. Which is smaller: a or 0.2?
0.2
Let o be (6/(-8))/(1/28). Let h be o/(-70)*4/3. Which is bigger: h or 1?
1
Let s = -0.9 + 1.9. Which is greater: -3 or s?
s
Let g be 21/5 + (6 + -6)/(-3). Which is greater: 5 or g?
5
Let b be (-6)/(-18) + 2/(-6). Which is smaller: b or 2/3?
b
Suppose a - 9 = -3*q, 3*q + 4 = -q + 4*a. Suppose -2*w + w - 14 = 0. Let l be (-2)/7 + (-32)/w. Are q and l unequal?
False
Let o(l) = l + 3. Let a(p) = 1. Let t(w) = -6*a(w) + o(w). Let x be t(3). Let y be (1 - x)/(3/(-3)). Is y greater than -2/9?
False
Let u = 3 + -2. Let c = 34/705 + 4/47. Is u >= c?
True
Let q(d) = d**3 - 2*d - 1. Let n be q(-1). Does 7/19 = n?
False
Let r = 18.1 - 17. Let s = 1.1 - r. Is s greater than 0.04?
False
Let g be 2 + 1 + (1 - 2). Suppose a - 28 = -3*a - 3*i, 0 = 3*a - g*i - 4. Suppose -a*m - 10 = m. Are m and -4 non-equal?
True
Suppose -s + d = -0*d - 5, 3*d + 21 = 4*s. Let l be (-20)/(-2)*(-2)/(-5). Suppose l*u + 3 = 23. Which is bigger: u or s?
s
Let a be -1 + -25 + 0/1. Let i = -25 - a. Which is smaller: i or 1/17?
1/17
Suppose 0 = 4*p - 2 - 18. Suppose -v + 2 = -q + 3*q, 0 = p*v - q + 23. Let n be 1/3 - v/(-12). Which is bigger: -0.2 or n?
n
Let s = -173/7 - -25. Let h be ((-8)/(-16))/((-1)/2). Is h >= s?
False
Let v = 0 + 5. Suppose -v + 0 = -5*h. Let r = 193/3 - 63. Is h > r?
False
Let l be 24/15 - (-10)/25. Which is greater: 3 or l?
3
Suppose -2*i - 2*b = -i, 4*i - 18 = b. Suppose 15 = -2*f + 5*v, -5*v + 10 = i*f - 5. Which is bigger: -2 or f?
f
Let v = 12 - 11. Let z = -1.5 + -0.5. Which is greater: v or z?
v
Let c = -1.2 + -2.8. Let b = -5 - c. Which is greater: b or 3/5?
3/5
Let s(i) = -i**3 - 6*i**2 - 3*i - 9. Let m be s(-6). Let y be (3/m)/(2/(-6)). Which is greater: y or -3?
y
Let t be (1/4)/(6/24). Suppose -f + 0 = t. Which is smaller: f or 0?
f
Let a(g) = g**3 - 7*g**2 - 2. Let y be a(7). Let i = y - 0. Let k = -1 - i. Is k != 1?
False
Let o be (-70)/24*6/15. Are 0 and o nonequal?
True
Let v be (-2)/12 + 1/(-2). Suppose 2*s + 3 = 5. Let a be s*(0 - 1) - -1. Which is bigger: v or a?
a
Let m = -20 + 26. Does 4 = m?
False
Let y = -0.58 - -0.6. Let x = y + 0.28. Are x and -2 nonequal?
True
Let f = -8.01 - -0.01. Is f at most as big as 1?
True
Suppose 2*b = 3*b. Suppose b = 2*i + 3*i - 5. Let y be (1 + i)*(-2)/16. Which is smaller: y or 0.1?
y
Suppose n + 5*w + 13 = -0*w, -n - w + 3 = 0. Let b = 6 - n. Is b less than -3?
False
Let u(k) = -k + 3. Let m be u(0). Suppose 0*f + 5*f - m*q + 14 = 0, -3*f + 4*q = 15. Let d = 88/45 - 14/9. Is f equal to d?
False
Let b be (1 + 10/(-6))*6. Let g be (-4)/(-18) + 25/9. Suppose s + 2*s - g*r = -9, -4*s - 18 = -r. Which is greater: s or b?
b
Suppose -3*z - r = -19, 3*r - 22 = -3*z - r. Which is bigger: 7 or z?
7
Let o = -5 + 4. Let h be ((-3)/9)/((-2)/18). Suppose 0 = h*f - 0*f + 6. Which is bigger: f or o?
o
Suppose 2*g + k = g - 2, -2*k = -5*g - 3. Which is greater: -2/17 or g?
-2/17
Let s be ((-12)/42)/((-2)/14). Suppose 3 = -5*g + 13. Is g at most as big as s?
True
Suppose -1 = -y - 0. Let x be 2/8 + 2/(-8). Let r = y + x. Which is smaller: r or -1/3?
-1/3
Suppose 3*i + 2*l - 16 = 0, -5*i + 0*l = -2*l. Let c = -2 - i. Let a = 4 + c. Is a greater than -1?
True
Let u(z) = -2*z**3 - 3*z**2 + 3*z + 2. Let v be u(-3). Suppose 4*k = v - 4. Suppose -7*c = -3*c + k. Is 0 equal to c?
False
Let k = 13 - 29. Which is smaller: -1 or k?
k
Let k = -32 + 31. Suppose -x - 3*s + 30 = 2*x, -4*s = 2*x - 30. Suppose x*o - 3*y = 14, 0 = 4*o - 5*o + 2*y + 7. Which is bigger: o or k?
o
Let n(l) = l**3 + 4*l**2 + 2*l - 2. Let x be n(-3). Is x <= 4/7?
False
Let d = 1.7 + -1.9. Suppose -20 = -2*l - q - q, 4*q - 45 = -5*l. Is d != l?
True
Let t = -3 - -13/4. Suppose 0 = n - 5*n + 20. Suppose -3*u = n*d - 7*u - 1, -5*d - 4*u - 31 = 0. Is t at most as big as d?
False
Let s = 23/2 + -45/4. Are 1 and s equal?
False
Let p be (-3)/2*3/(-9). Which is smaller: 0.05 or p?
0.05
Suppose -2*g - 25 = -79. Let q be (3/g)/(2/6). Is q at least 1?
False
Suppose 5*h = -3*a + 18, 5*h - 14 = -0*a + a. Let u(p) = -p**3 + 6*p**2 + p - 2. Let k be u(6). Let r be 2/k - (-3)/6. Is h at most r?
False
Let b(o) = -o**3 - 7*o**2 + 8*o - 9. Let l be (-9 - -1)*(2 - 1). Let x be b(l). Is x equal to -9?
True
Suppose z = 2*k - 6, 0 = -5*k + 22 - 7. Which is smaller: z or 1?
z
Let w = 118.3 + -119. Are w and 7 equal?
False
Let r = 44/39 + -6/13. Is 2 > r?
True
Let t(i) = 8*i - 5. Let r(q) = 17*q - 11. Let h(a) = 6*r(a) - 13*t(a). Let m be h(-5). Let x be 9*-1*6/m. Is -5 equal to x?
False
Suppose 4*d + 8 = -0*d. Let w(n) = n**2 + n - 1. Let b be w(d). Let z = 62.5 - 64.5. Which is smaller: z or b?
z
Let x be (-4)/5*(1 - 