e 0 = 3*g + g + 4. Suppose 0 = -6*c + 3*c. Are g and c nonequal?
True
Let m = 9.9 - 10. Suppose 0 = 5*h - 3*h - 14. Do h and m have the same value?
False
Let z = 0.02 + -3.02. Let l = z - -2.6. Let h = l + 0.4. Which is bigger: -0.2 or h?
h
Let b(t) = -3*t**2 - 3*t - 6. Let c be b(-4). Let x be (7/c)/(1/(-3)). Which is greater: x or 0?
x
Let b = -0.73 - -0.03. Let p = -0.9 - b. Which is smaller: p or -2?
-2
Let x = 9 - 9. Let g be -1 + (3/6 - x). Is -3 greater than g?
False
Suppose 6*x - 12*x = 24. Which is smaller: -9/2 or x?
-9/2
Let l(v) = 4*v + 24. Let r(u) = u + 5. Let x(m) = -3*l(m) + 14*r(m). Let a be x(10). Let w be 2/16*a - 2. Which is greater: -0.3 or w?
w
Suppose 2 = -4*d - 5*s - 2, 5*d + s = -5. Let m = 1171/5334 + -2/381. Which is smaller: m or d?
d
Let a be ((-9)/18)/(14/(-8)). Are a and -5 unequal?
True
Let j(i) = -i**3 + 4*i**2 - 2*i - 1. Let l be j(3). Let a = -4 - -21. Let g = a + -47/3. Does l = g?
False
Let s(n) = 0 - 17 + n + 5. Let a be s(6). Which is smaller: a or 0.1?
a
Let q be (2 - 1) + 781/(-66). Which is smaller: q or -10?
q
Suppose -13*n = -14*n. Which is smaller: n or -5?
-5
Let s be ((-6)/4)/((-14)/1036). Which is smaller: s or 112?
s
Let s(o) be the second derivative of o**3/6 + 11*o**2/2 + 2*o. Let c be s(-10). Suppose m = c - 2. Which is bigger: 2/7 or m?
2/7
Let u(r) = -9*r**2 - 6*r**2 + 3*r**2. Let v be u(-1). Is -12 > v?
False
Let r = -3 - -5. Let c be (4/24)/((-6)/9). Is c < r?
True
Let a = 94 + -96. Is a at most as big as -0.051?
True
Let t(v) = v**2 - 9*v - 9. Let k = -11 - -20. Let m be t(k). Which is smaller: -8 or m?
m
Let t be (-13)/11 + (12/(-11))/(-6). Is -3/16 at most as big as t?
False
Let o = -0.5 + 0.6. Let s = 3.997 - 0.097. Let q = -4 + s. Is q at most o?
True
Let k = -17 + 33. Let o = -82 + 99. Which is greater: k or o?
o
Let b = 2 - 0. Let x(i) = i**2 - 8*i + 9. Let y be x(7). Suppose v - y*v = -1. Which is bigger: b or v?
b
Let f(n) = -n**3 + 3*n**2 + 3*n + 3. Let t be f(4). Suppose 3*i - 6*y = -y - 22, 2*y = 3*i + 16. Let s be 13/20 + i/10. Is s at least t?
True
Let o = 22 + -26.1. Let h = -0.1 - o. Let f = -4.1 + h. Are f and 1 unequal?
True
Let d = 0.4 + 3.4. Let a = 2.2 + d. Is a equal to 0?
False
Let n = 147 + -2206/15. Let x(t) = -t**2 - 2*t - 1. Let i be x(0). Which is smaller: i or n?
i
Let m = 31 + -14. Let d = 57 - m. Let g be ((-12)/d)/((-3)/4). Do g and -1 have the same value?
False
Suppose 4*x = -o - 4*o - 483, -606 = 5*x + 4*o. Let a = x - -376/3. Let q = a + -56/15. Which is smaller: q or 1?
q
Let h = -0.1 + 0.1. Let p be (-29)/9 + 6/27. Let z be p*9/(-15) - 1. Are z and h nonequal?
True
Suppose 0 = q - 5*j + 27, 5*q + j + 48 = -3*j. Let n be (q/16 - -1) + -1. Let i(t) = t + 3. Let w be i(-4). Which is smaller: n or w?
w
Let h = -5.97 - 0.03. Let p = -8 - h. Let v = -0.157 - -0.257. Which is bigger: p or v?
v
Let p(r) = -34*r**2 - r + 1. Let x be p(1). Let l = -47 - x. Let t be 3 + -1 + l/6. Which is smaller: t or -1?
-1
Suppose t = -6 + 2. Let k be (-2)/8*(t - -7). Let j(n) = 2*n - 6. Let i be j(4). Does i = k?
False
Let i be (-1 + -14)*(-6)/15. Let d = 8 - i. Suppose 0 = 5*c + 7 - d. Are 2 and c equal?
False
Let b = -0.31 - -0.11. Is 1 at most as big as b?
False
Let r be (-3)/52*(11 - 15). Which is smaller: r or 0?
0
Let o be ((-1)/(-3))/(2/24). Let f be o/14 - (-168)/(-245). Is -0.1 > f?
True
Let n = 23 + -22.995. Is 2/7 at most n?
False
Suppose 3*p - 2 = -4*c, 2 = -3*c - p + 1. Let z be 3 - 0 - (-1 - c). Let o be 14/3 - 2/3. Which is smaller: z or o?
z
Let u = -0.1 - 5.9. Let r = u + 6. Which is greater: 0.4 or r?
0.4
Let k = -0.1 - -0.2. Which is smaller: k or 3?
k
Let y be -2 + 0*1/(-2). Let g be ((-3)/(-6))/((-2)/4). Which is smaller: g or y?
y
Let s = -74 + 80. Is 5 less than s?
True
Let k = -92 - 27. Which is greater: k or -118?
-118
Suppose -z - 1 = -7. Let h be 2/56 - z/(-24). Does h = 2/5?
False
Let g(t) = -t**2 - 7*t - 3. Let u be g(-6). Let s = -2 + u. Is s greater than -0.1?
True
Suppose 5*d - 4*d = 4*u - 25, 0 = 4*d + 5*u + 121. Is -1 less than or equal to d?
False
Suppose -3*h = -7*h + 12. Suppose r = 2, -3 = -3*k - 0*r + h*r. Let y be -1 + (-1 + k)*1. Is 1 != y?
False
Let m(z) = z**3 - 12*z**2 + 12*z - 12. Let u be m(11). Let p = 4 + -6. Let g be (p/(-3))/((-14)/6). Which is bigger: u or g?
g
Let o = -0.09 - -0.09. Suppose -3*y = -9*y + 18. Is y equal to o?
False
Let u = 112 - 82. Is -0.2 less than or equal to u?
True
Let d(c) = -20*c**2 + c - 4. Let b(w) = 21*w**2 - w + 3. Let t(y) = 5*b(y) + 4*d(y). Let g be t(-1). Suppose -g = 5*q - 0. Which is greater: -1 or q?
-1
Let s = 15 - 15.1. Let w be 1 + -1 + (0 - 4). Which is smaller: s or w?
w
Let f = 1.6 - 1.51. Let d = -0.01 - f. Which is smaller: d or 0.02?
d
Let b = -0.344 + 0.42. Let x = 3.024 + b. Let m = 3 - x. Which is smaller: -2/3 or m?
-2/3
Suppose -x - 4*x = -5. Let h be (3 - x) + (-14 - -8). Is -3 at least as big as h?
True
Let o = -13 - -13. Let g be 4/(-14) + (-16)/(-7). Suppose o = -p + 1 - g. Is p at most -2?
False
Let b = 0.18 + -0.08. Let l = -3 - -3.02. Let w = l + -2.02. Which is smaller: b or w?
w
Let c = 21 - 22. Which is smaller: -8 or c?
-8
Let w(h) = -h + 14. Let n be w(5). Which is bigger: n or 8?
n
Let q be 3*((-2)/(-16))/(2/(-4)). Is -2 at most as big as q?
True
Suppose 0 = 2*s - 3*i + 11, 2*s - 2*i + 7 = -1. Let n(l) = -l**3 + 2*l + 1. Let o be n(s). Suppose -4*w + 4 = -o*w. Which is smaller: -1/3 or w?
-1/3
Let x(c) = c**3 + c**2 + 3. Let a be x(0). Suppose -p - 5*d - a = 2*p, 0 = 4*d. Which is smaller: p or -2?
-2
Let l be -8 + 6/(-2) + 0. Let x = l + 6. Is -4 at least x?
True
Suppose -4 = a + 2. Which is smaller: a or -21/4?
a
Let j(n) = 3*n**3 - 1. Let y be j(1). Suppose -y*x = -x - 6. Which is greater: -1 or x?
x
Let h = 1.089 - 0.089. Is 0.46 greater than h?
False
Let v be (-2 - -2)*4/12. Is v <= -6/17?
False
Let w be -1*(1 + 2*-1). Let l be (-2)/w - (0 - 6). Suppose -5*b = 5*r - 5, 5*r - 2*r - 3 = -l*b. Is 2 greater than r?
True
Suppose -2*o = 2*o - 16, 2*c - 2*o + 22 = 0. Which is smaller: c or -8?
-8
Let d(s) = -s**2 + 8*s - 5. Let x be d(5). Is 10 at least as big as x?
True
Let j = -77007/116 - -664. Let w = 3/29 + j. Are 1 and w nonequal?
True
Let q = -0.2 - -0.24. Let j = -96 + 96. Which is smaller: q or j?
j
Let f(c) = c**2 + 4. Let u(k) = -2*k**2 - k - 7. Let d(s) = -5*f(s) - 3*u(s). Let h be d(-2). Let l be 36/(-21) - -3 - 1. Which is greater: h or l?
l
Let f(h) = h**3 - h**2 - h + 5. Let j be f(0). Suppose 0 - 5 = j*r. Which is bigger: -3 or r?
r
Let v be (1/6)/((-4)/(-8)). Is v at least -2/7?
True
Suppose 3*a - 2*a - 38 = 0. Suppose 2*v - 16 = a. Let n = v + -136/5. Which is smaller: 1 or n?
n
Let b = 14 - 23. Let c = b + 5. Let o be (c/(-3))/((-5)/3). Which is bigger: -2 or o?
o
Let h be 6/18 - (-29)/(-105). Let i = 4 - 4. Which is smaller: i or h?
i
Let v = -13 + 13. Let g be 2/(-8) + 19/12. Is g <= v?
False
Let o = -18 - -17. Which is smaller: o or 5/21?
o
Let u = -0.32 - -0.92. Let m = -0.01 + -0.99. Which is smaller: u or m?
m
Let d = -139 + 1530/11. Let z be 76/(-66)*(-4)/8. Let y = z + d. Is y less than or equal to 1?
True
Suppose -2*d - 30 = -6. Let l be (-8)/d + (-38)/12. Is -2 <= l?
False
Suppose 2*k + 2 = -0*k. Let o be k/(1*(-3)/9). Suppose -c + 8 = 5*s, 11 = -o*c + 4*s - 3. Which is smaller: -6/5 or c?
c
Let y be (-1204)/70*10/2. Which is greater: -87 or y?
y
Suppose -2*r + 8 = -3*r. Which is smaller: r or -6?
r
Let p be -2 - 2 - (-70)/20. Suppose 2*k = 4*k + 2. Which is greater: k or p?
p
Let f = 4.2 + -4. Let m = f - 0.3. Which is smaller: m or -3?
-3
Let i(u) be the first derivative of -u**2/2 + u + 2. Let d be i(-3). Is 5 less than or equal to d?
False
Suppose -3*g = -6*g + 4*y + 25, -8 = 4*g + 5*y. Let f be (1 - g) + (4 - 1). Is 1 > f?
False
Suppose 2 = 2*m - 3*u + 2*u, 0 = 5*m - 2*u - 4. Let q be 21/116 - 3/12. Is m less than q?
False
Suppose -2*z = 16 - 6. Let w be (4/z)/(4/20). Which is smaller: w or -10/3?
w
Let r(s) = -2*s - 8. Suppose 5*n + 10 = 5*a, 4*a + n - 8 = -3*n. Suppose -5*h = -f + 30, -2*h - 12 = a*f - 7*f. Let p be r(h). Which is bigger: 5 or p?
5
Suppose 0 = -0*s - 4*s + 20. Suppose -o - 3*o - 3*w = 15, 4*o - 25 = s*w. Let z be (-2)/11 + (-58)/(-77). Which is smaller: z or o?
o
Let i be ((-45)/6 + 8)/((-1)/2). Which is small