= b**2 + 4*b + 3. Let l be d(-2). Are i and l non-equal?
True
Let f = -9 - -7. Let r be (3 + f)*(-3 - -1). Is r less than or equal to -4/5?
True
Suppose -2*h - 11 = -2*w + 1, 0 = 4*w + 4*h. Let u = 4 - w. Which is smaller: 0 or u?
0
Suppose 0 = 2*b + 5*w - 24, -4*w = -3*b - 1 - 9. Let m(z) = z**3 + z - 1. Let u be m(1). Which is bigger: b or u?
b
Let w be 95/20 - 1/(-4). Let x be (-3 + w)*4/8. Suppose 0 = -2*n + 7*n + 4*j + 1, -4*n = 2*j + 2. Which is bigger: n or x?
x
Let m = -1/28 - 1/4. Let r = 0 + 2. Do m and r have the same value?
False
Let b = -0.1 + 1.1. Let h be -3*(-10)/6 - 3. Suppose h*s - 5 = -17. Which is greater: b or s?
b
Suppose -3*m + l = -4*l + 11, -3*l - 27 = m. Is -12 > m?
False
Let x = 82 + -70. Suppose 8 = 2*c - 18. Which is smaller: c or x?
x
Suppose -3*t - 3*a = -12, -5*a - 4 = 2*t - 24. Let q(x) = t*x - 3*x + 4 + x. Let f be q(3). Is -1 equal to f?
False
Let x be (4 + 148/(-36))/((-1)/(-5)). Is x < 0?
True
Suppose 4*u + k - 3*k - 164 = 0, 3*u = 5*k + 130. Suppose -z + u = -6*z. Which is smaller: z or -7?
z
Let y = -1.7 + 1.6. Which is bigger: -6 or y?
y
Let d be 0/(0 + (-4)/(-2)). Suppose d*n = -n. Do 2 and n have different values?
True
Let d be 0/3 - 86/(-78). Let u = 1053 + -13679/13. Let q = d - u. Is 1 smaller than q?
False
Let m be 2/(-5) + (-2)/20. Suppose 0 = -2*a - 2*j - 26, -j = -5*a + 3*j - 20. Let o be (-2)/a - 5/4. Is m bigger than o?
True
Let y(t) = -t + 4. Let b be y(5). Let u = -43256 + 303544/7. Let g = -107 + u. Which is bigger: b or g?
g
Let k = 221/50 - 1/50. Which is greater: k or 4?
k
Let u be 4/(-12) + (-5)/3. Let z be (1*u)/((-6)/(-9)). Let m be 1/(2 + -1) - z. Is m greater than 4?
False
Let n = 84.2 + -84. Is -9/5 greater than or equal to n?
False
Let p = 1791 + -1790. Let c(j) be the third derivative of -j**4/12 - 2*j**3/3 + j**2. Let r be c(-3). Which is smaller: p or r?
p
Suppose 0*l - 2*l + 6 = 0. Suppose -3*z + 0*f - 6 = -l*f, -5*z - f + 8 = 0. Is 1/25 > z?
False
Let p be (48/(-60))/(0 + (-1)/5). Which is smaller: p or 6?
p
Let n be (-4)/(-20) - (-3)/(-15). Is n equal to -1?
False
Let m be 1*12/34*(-4)/12. Suppose c + 4*f = -2*c, 4*c - 2*f = 0. Are c and m nonequal?
True
Let a = 0.081 + 6.319. Let v = 3.1 - a. Let l = 0.7 - v. Is l <= 2/7?
False
Let n = 20 + -13. Let b = -6.8 + n. Is -1 at least b?
False
Let v = 1718 + -10333/6. Is v != -1/3?
True
Suppose t + t = 5*r + 8, 3*t - 12 = 0. Let a(g) = 4*g. Let h be a(2). Let d be (-1)/3 - h/(-6). Is r bigger than d?
False
Let u be (-33)/((9/(-10))/1). Let h = -37 + u. Let v = -2 - -3. Which is bigger: v or h?
v
Let x be (42/(-63))/((-4)/6). Is 2/3 > x?
False
Suppose 0 = 3*n - 7*n + 8. Suppose 5*l + 43 = -2*g, 2*l - 2*g - 2 = n*g. Let j(f) = f**2 + 8*f + 7. Let q be j(l). Is 0 smaller than q?
False
Let u = 1 - 1. Let n = -15 + 147/10. Which is bigger: u or n?
u
Suppose 2*y - v = -3*y + 16, -5*v - 14 = -3*y. Which is smaller: 5 or y?
y
Suppose 2*n = -0*n. Which is greater: n or -6/13?
n
Let j(q) = -q + 1. Let n be j(1). Let k be n - (-15)/(1 + 2). Suppose -d - 6 = -k. Which is bigger: d or 4/9?
4/9
Suppose -g - 3*l = 2*l - 7, 0 = 5*g + 3*l - 13. Let t = 4 - 6. Let o be (3 - 2)*(3 + t). Is o greater than g?
False
Let r = -1.4 + 2.4. Which is smaller: r or -0.8?
-0.8
Suppose -4 = 3*j + 3*n + 8, 5*n = -2*j - 8. Suppose -4*k + k - 6 = 0. Let a be k - (-1)/(j/(-10)). Which is smaller: a or 1?
a
Let a(y) = y**3 - 2*y**2 - 5*y + 3. Let t be a(3). Let m be 0*(t/(-1))/(-6). Which is smaller: m or -4?
-4
Suppose -p + 3*c + 0 + 1 = 0, -3*p + 4*c + 8 = 0. Let j be ((-4)/20)/(p/(-10)). Which is smaller: 2 or j?
j
Let f = 142/11 - 140/11. Which is bigger: 0.12 or f?
f
Suppose r = -3*u - 14, -4*r - u = -0*r + 1. Let w be (-12)/(-7) + (-4)/(-14). Let f = w - r. Is f >= 3/7?
True
Suppose -22*y = -25*y. Let v be (-1)/(-3)*(3 + 0). Which is smaller: v or y?
y
Suppose 5*g + 29 = -4*n, 2*n - g = -n + 2. Let a(w) = -w - 1. Let f be a(n). Let x be (-2)/3 + (-4)/(-9). Are f and x nonequal?
True
Let w(s) = 5*s**3 - 9*s**2 - 25*s + 1. Let t(y) = y**3 - 2*y**2 - 5*y. Let a(z) = 11*t(z) - 2*w(z). Let l be a(5). Is -1 greater than l?
True
Suppose -y = -4*y - 18. Suppose 6*m - m - 90 = 0. Let s = -25 + m. Are y and s unequal?
True
Let v = -5 - -8. Let n = 4 - v. Is 1 equal to n?
True
Let o be (4/(-6))/(4/(-12)). Let w = -6 + o. Let p = -9 - -4. Which is bigger: p or w?
w
Let r(z) = -z**2 - 2*z + 1. Let m be r(1). Suppose -3*g + 9 = 3*c, -2*g + c = -g + 3. Let y = g + -2. Is m < y?
False
Let y = -6686 - -441299/66. Let z = -2/11 + y. Which is bigger: z or 0?
z
Let i be (-1)/((3/15)/(-1)). Is 5 at most as big as i?
True
Let z(y) = y**3 + y**2 - 3*y + 4. Let o be z(-3). Let l = o + 7. Is 0 less than or equal to l?
True
Let f be 4 + 0 + 24/(-12). Are f and 1 nonequal?
True
Let f be 4 + 5/((-20)/(-8)). Is f less than or equal to 7?
True
Let m = -580/3 - -7558/39. Is 0 not equal to m?
True
Let v be 90/(-365)*1/(-3). Let a = v - -116/365. Is 9 <= a?
False
Let o = 12 - 7. Suppose -o*c - 8 = -7*c. Which is greater: c or 6?
6
Suppose 10*z = 5*z. Is z > -8/7?
True
Let y be (-7)/28 + 1/(8/(-230)). Which is bigger: y or -30?
y
Let g(p) = 4*p**2 + 2*p + 2. Let h be g(-2). Let l be 5/(-35) - (-156)/h. Is 10 at least l?
False
Let n = -0.11 + 1.61. Let z = n + -2.5. Is z > -0.5?
False
Let l = 62 - 63. Is 6/43 less than or equal to l?
False
Let z be 2/(-3) + 20/(-15). Which is smaller: -12/5 or z?
-12/5
Let i be 958/3304 - 6/21. Let y = i + 103/59. Is y greater than or equal to 2?
False
Let j = -0.033 + 20.033. Let v = j + -13. Is 3 > v?
False
Let j(r) = 2*r + 17. Let x be j(-8). Let b = 5 - x. Is b greater than or equal to 4?
True
Let a be -1 + 33/12 + 0. Is a >= 3?
False
Let z = -5 - -7. Suppose i - 2*i + 5 = -z*m, 0 = -2*m + 2*i - 6. Let c be 0 + 1/(2/(-2)). Is m != c?
True
Let c = 68 - 68. Is 2/27 greater than or equal to c?
True
Suppose -j - 7 - 15 = 0. Let t = j + 12. Do t and -10 have different values?
False
Let j = 1.39 + -0.39. Is j >= 3/8?
True
Suppose u = -5*c + 8, 5*c + 5*u - 18 = 2*c. Suppose -4*n = -5*q - 2, -3*q + 2 = -4*n - 0*q. Let k be (9/n)/(-3) - c. Which is smaller: 1 or k?
k
Let l = -0.054 + 0.154. Which is greater: -9 or l?
l
Suppose 2*d = -2*d + 8. Let u be (2/d)/1 - 2. Which is smaller: u or 1/19?
u
Let i = -37/30 - 22/15. Let v be (-117)/35 - (-1)/2. Let t = v - i. Is 0.1 greater than t?
True
Let h(o) = o**2 - 8*o + 3. Let t be h(8). Let q(v) = v - 5. Let z be q(t). Which is greater: z or 0?
0
Let v be (-2)/(-4) + (-27)/18. Which is greater: v or -1/7?
-1/7
Suppose 5*z + 35 = -3*f, 10 = -2*z + 2. Is f equal to -3?
False
Let v be 2/(6/(-21))*1. Which is bigger: -6 or v?
-6
Let o(c) = 2*c - 1. Let i be o(1). Let x(v) = -v**2 + 9*v - 8. Let p be x(8). Let a = p - i. Is 2/5 < a?
False
Let u be -2 + 30/14 + 31/77. Which is greater: -1 or u?
u
Let c = 29.81 + -30. Let n = -2.81 + c. Which is smaller: n or -3/5?
n
Let i(y) = -y**2 + 2. Let w be i(-4). Let h = 23 + w. Is h greater than or equal to 10?
False
Let o = 107 + -103. Do 16 and o have different values?
True
Let k = 296/7 - 42. Suppose b = 2*f + f + 1, 5*b + 6 = 4*f. Which is smaller: k or f?
f
Suppose -q = -3*q + 6. Suppose 5*a - 18 = -q. Is 3 smaller than a?
False
Let c = 4 - -1. Suppose c*x = 25, -2*t + 3*t + x - 6 = 0. Let p be 4*(0 - t/2). Is p smaller than -4?
False
Let y = 194/3 + -66. Are y and 3 nonequal?
True
Let o be -1*(-70 + (-3 - -6)). Let w be o/(-165) - 4/(-30). Which is smaller: 1 or w?
w
Let h(w) = -5*w + 1. Let m be h(1). Which is smaller: m or -0.1?
m
Suppose 0 = -a + t - 3*t + 3, 5*a - 5*t = 30. Suppose 5*j + a*r + 5 = 0, 7*j - 3*r = 3*j + 3. Which is smaller: -2/19 or j?
-2/19
Let s = -15 - -44/3. Let u = 0.04 + 4.96. Is u equal to s?
False
Let j = -1.82 + 1.81. Which is greater: j or 0.6?
0.6
Let h = 70/3 - 30. Which is bigger: h or -8?
h
Let r = 4 + -12. Which is greater: r or 2?
2
Let w = 0.119 + -0.078. Let s = -6.059 - w. Let o = 6 + s. Which is smaller: 0 or o?
o
Let r = 10 + -1. Let n be 39/r + 2/(-6). Suppose 3*a + 4*z = 3*z, -4*z = -n*a + 16. Which is greater: a or -1/3?
a
Let v = 0.6 + -0.1. Let u = v + 0.5. Which is bigger: u or 0?
u
Let q(u) = u**3 + 2*u**2 + 2*u + 2. Let z be 3/(3 - (-18)/(-4)). Let i be q(z). Is i equal to -1/2?
False
Let k = -7 + 10. Let g = 1 - k. Which is bigg