) = l**3 + 9*l**2 - 3*l - 18. Let j be i(-9). Which is smaller: 10 or j?
j
Suppose 0 = -0*i - i + 3. Let s be 1*2*i/6. Is 3/2 smaller than s?
False
Let l = 86 - 86. Let w = -1 - 0. Which is smaller: l or w?
w
Suppose 5*i + 13 = -3*g, -g + 0*g = -i - 9. Which is greater: g or 18/5?
g
Let p = 7.2 + -8. Let f = p - -0.6. Is f at most 0.08?
True
Suppose 3*c + 9 = 3*p, -p + 7*c + 7 = 2*c. Let i be (0 - -1)/((-2)/(-4)). Let m be i - ((-2)/(-2) - 1). Is m > p?
False
Let v be (4 - (-78)/(-21))*2. Are 0 and v equal?
False
Let w = -16 + 15.9. Let t = 8.3 - 8. Is w != t?
True
Let k(b) = -b + 2*b + 4 + 2*b. Let d be k(-3). Which is bigger: -0.1 or d?
-0.1
Let c(d) = -6*d - 3. Let h be c(2). Is h less than or equal to -15?
True
Let u be (-13)/99*6/8. Let z = 1/12 - u. Let y(h) = h**2 + 4*h + 2. Let v be y(-3). Which is bigger: v or z?
z
Let y(h) = h**3 + 6*h**2 - 2*h + 1. Let a be y(-6). Which is smaller: a or 12?
12
Let j be 4/30 - (178/210 + 0). Which is bigger: -1 or j?
j
Let o(x) = 5*x + 6. Let j(n) = -n - 1. Let u(z) = 6*j(z) + o(z). Let d be u(0). Let q = -6 - -6. Is d bigger than q?
False
Suppose -7*s + 4*s - 48 = 0. Let a be (s/(-4))/1 + -6. Which is smaller: -3/5 or a?
a
Suppose -1 = 3*y - 4*y. Which is smaller: 0 or y?
0
Let d = -7/39 + -2/13. Let q = -3 + 5. Suppose 0 = -5*c + 5*y + 15, 4*c = -4*y + q*y - 6. Which is greater: c or d?
c
Let h be 221/(-26) - (-10)/2. Which is smaller: h or 2/7?
h
Let n = -38 + -214. Let h = n + 748/3. Is -3 <= h?
True
Suppose 19*w + 12 = 15*w. Let b be 1*(0 + 1)*w. Is 0 equal to b?
False
Suppose 8*j - 15 = 3*j. Is 3 at least as big as j?
True
Let a = -527/15 + 35. Is a at most -3?
False
Let w(p) = -p**3 - 2*p**2 + 2. Suppose -2*l - 18 - 1 = -3*f, 5*l + 5*f = 15. Let d be w(l). Is d at least -3/2?
True
Suppose -4*x + 3 = 3*w + 1, -5*x = 4*w - 3. Which is smaller: x or -2/49?
x
Let d = -0.87 + 0.07. Let m = d + 0.7. Which is smaller: -2/11 or m?
-2/11
Suppose -3*f - 5*v = 13, -2*f - 30 = -v - v. Is -12 < f?
True
Let z(y) = y + 7. Let l be z(-9). Is l not equal to -5?
True
Suppose 2*v + v = 0. Let u = 356 - 1433/4. Let r = u - -2. Which is greater: v or r?
v
Let d(t) = -t**3 - 5*t**2 + 7*t + 9. Let b be d(-6). Let k(x) = -2 + 4*x**2 - 3*x**2 + 1 + x**b. Let u be k(1). Are 1/6 and u unequal?
True
Let b be (-2)/(2 + (-24)/9). Suppose 3*h = -0*h + b. Let p be 4/18 - (-28)/360. Is p less than h?
True
Let k be ((-56)/(-12) + -4)*-6 + -3. Is -7 not equal to k?
False
Let a = 8 - 5. Which is smaller: 1/2 or a?
1/2
Let u(r) = r**3 - r**2 - r. Let a be u(2). Let o(c) = -c**3 + 5*c**2 + c - 3. Let m be o(5). Suppose 0*p - 2*p - m = 0. Is a <= p?
False
Suppose 4*o - 5*z - 18 = 0, z = -4*o - 0*o + 30. Suppose 5*n - 16 = 7*n. Let p = n + o. Is p bigger than -2/21?
False
Suppose -f - 3 = 2*f. Let n be (3/(-15))/f*-2. Which is bigger: 0 or n?
0
Let r = -0.36 + -2.84. Let n = 3 + r. Which is smaller: n or 0?
n
Let a(q) = -2*q + 22. Let l be a(11). Which is bigger: l or -3/11?
l
Let s = 5.6 + -7. Let o = s - -3.4. Is -1 less than or equal to o?
True
Let u = 23 - 24. Is -11 bigger than u?
False
Let d be 2*-6*(-1)/3. Which is smaller: d or 3?
3
Let y = -14 + 10. Let g = y + 12. Is g greater than or equal to 1?
True
Suppose o + w + 6 = 4*w, -2*w - 64 = 5*o. Let r be o/4*5/(-3). Do 5 and r have different values?
False
Let i = -2/123 - 76/369. Suppose -4 = 2*h - 3*h. Let k be h/(-12)*(2 + -3). Is i != k?
True
Let n = -14.008 + 0.008. Let t = 1.01 - 0.01. Is n < t?
True
Suppose 5*z + 2 = -3. Let i be (3/297)/(z/(-3)). Is -1 < i?
True
Suppose -25 = 2*c + s + 4*s, -5*c - 2*s = 10. Is 6 greater than or equal to c?
True
Let u be (0 + 5/(-325))*-5. Let a be 1/(-3)*3/(-1). Which is bigger: u or a?
a
Let v = -112 + 110. Is -20/11 < v?
False
Let m = 16.3 - 16. Let n be (-7)/(-4) - (-6)/(-4). Does m = n?
False
Let m = 2771/4 - 689. Which is smaller: 5 or m?
m
Suppose 5*z = -3*c + c + 20, 4*z + 5*c = -1. Let t be 22/z - (-6)/(-9). Is t < -2?
False
Let w = 1388/63 + -148/7. Which is smaller: 0 or w?
0
Let q be (-1 - 0) + 0/7. Suppose -5*g = 6 - 21. Suppose -2*y + 5 = g*y. Is q less than or equal to y?
True
Let m = -112 + 130. Are m and 22 equal?
False
Let a = 45 - 47. Let g = 1.1 + -0.1. Do a and g have different values?
True
Suppose -1 = 4*c - 9. Let z(s) = s - 3. Let a be z(-3). Let h be (-4)/a*9/2. Which is greater: h or c?
h
Let z = -2/5 + 1/15. Let s be (6/(-105))/1*5. Is z at least s?
False
Let v(n) be the second derivative of n**5/20 + 7*n**4/12 + 7*n**3/6 - n. Let h be v(-6). Which is bigger: h or -9/2?
-9/2
Suppose 0 = -14*n + 6*n - 8. Is n at least as big as 0?
False
Let l = -3 - -2.9. Let m = -40 + 28. Let j = m - -8. Is l >= j?
True
Let n = -3 + 6. Let b be (8/(-18))/(10/n). Which is bigger: 0 or b?
0
Let r be (28/(-8))/((-2)/(-4)). Suppose -5*k - 5*j = -55, -44 = -4*k + 4*j - j. Let y = k + r. Do 0 and y have the same value?
False
Let k be (4/30)/((-3)/27). Let w(t) = t**2 - 5*t - 7. Let u be w(6). Which is bigger: u or k?
u
Let v = -1/27 + 7/27. Let j = -0.141 + 3.141. Is j greater than v?
True
Let a be (2/(-6))/(8/(-48)). Let g be 7/(-1) + a*1. Is -4 at most as big as g?
False
Let c = -7 - 4. Let v = c + 188/17. Which is greater: 1 or v?
1
Suppose 5*w - 8 = x - 5, -2*w + 12 = 5*x. Let j be x - -6*2/(-4). Is j at least 0.2?
False
Let h = 22 - 13. Which is bigger: -2 or h?
h
Let i be (-1)/(21/(-9))*-2. Suppose -4*w + 4*v + 8 = 0, 3*v + 6 = -w - 0*w. Which is smaller: i or w?
i
Let d = 65 + -74. Which is bigger: d or -7?
-7
Suppose -2*w = -3*g, -5*w = -2*g + 12 - 1. Let y = -5 - -3. Is y > g?
False
Let d be (-4)/6*24/(-1). Is d equal to 16?
True
Let a be ((-12)/2 - -7)*1. Is a < -5/53?
False
Let m be ((-2)/1)/(-14)*-4. Are m and 0 non-equal?
True
Let w = -23/2 + 11. Let p(q) = -q**2 - 12*q - 2. Let l be p(-12). Is l at least as big as w?
False
Let x(f) = f**2 - 9*f + 10. Let y be x(8). Is 11/8 > y?
False
Let d = -4.6 - -5. Let g = -2.9 - -3. Is d not equal to g?
True
Let u = -0.2 - -3.2. Let q = -2.09 - -0.09. Let n = u + q. Is -2/7 > n?
False
Suppose l = 4*w + 90, 4*l + 47 = -3*w - 30. Let a = w - -70/3. Let x = 2 - 3. Which is smaller: a or x?
x
Let x be -6 + 8 - 96/47. Which is smaller: -1 or x?
-1
Suppose 2*v = -8 - 0. Is -4 greater than or equal to v?
True
Let k = -0.034 + -0.266. Which is smaller: k or -12?
-12
Suppose -2*x - 44 = -4. Let r be (-2 + x/(-8))*8. Which is smaller: 6 or r?
r
Let t(y) = -6 + 2*y - 2*y**2 + 3*y**2 + 3. Let d be t(-3). Let l = -9 - -13. Which is bigger: l or d?
l
Let s = 2 + -9/5. Let t = s - -1/45. Is 1 less than t?
False
Let i be 3 - (3 + 2) - -95. Let s = -563/6 + i. Which is greater: s or -1?
s
Suppose 4*t - 40 = -3*u, 3 + 5 = -2*u. Let x = -25/2 + t. Let a = 7 - 7. Is x > a?
True
Let a(j) = 2*j + 10. Let q be a(-5). Suppose -5*z + 24 = 6*y - 2*y, q = 2*z. Let x = 11 - 6. Which is bigger: x or y?
y
Let j(w) be the second derivative of 5*w**3/6 - w**2/2 + 3*w. Let l be j(-1). Let b be (3/l)/((-1)/(-3)). Which is greater: -3 or b?
b
Let h = 9 + -9. Let c be -2 + h/(-2) + 2. Which is greater: c or 1?
1
Suppose -5*i = 59 + 36. Is -19 equal to i?
True
Let b be (-2)/7 + (-3)/(-84). Let s = 2.7 - 3. Let l = 0 - s. Which is greater: b or l?
l
Let f be ((-40)/12)/((-8)/9). Which is smaller: f or 5?
f
Let k(d) = d**3 + 2*d**2 - d - 2. Suppose 0 = 3*g + 3*x + 3, 2*g - x + 2 = -3. Let c be k(g). Is 4/7 smaller than c?
False
Suppose -2*o - 2*h = -4 - 0, 0 = -4*h - 8. Which is bigger: o or 5?
5
Let a be 6/3 + -1 + -2. Let n = -4 + 8. Let r be n/14 - 16/7. Which is greater: a or r?
a
Let f = 13/2 + -5. Let o(h) = -h**2 + 3*h - 2. Let k be o(3). Let x = k + 4. Which is smaller: f or x?
f
Let r = 0.5 + -2.5. Let k(w) = 2*w**3 - w - 2. Let d be k(3). Let h be d/21 - (-4)/(-2). Is r less than h?
True
Let a = -151 + 243. Suppose -5*d = 22 - a. Suppose -3*x - 5 = -d. Are x and 2 non-equal?
True
Let r(b) = b - 2. Let z be r(5). Suppose 0 = 4*a + 1 + z. Is a greater than or equal to -1?
True
Let r(d) = 3*d**2 - 4*d - 5. Let y be r(-2). Are 14 and y equal?
False
Let l = 0.21 - 0.08. Let p = -0.03 + l. Which is bigger: p or 0.5?
0.5
Let y(t) = -t**2 + 6*t - 7. Let a be y(-8). Let i = 831/7 + a. Let j = 0.5 - 0.7. Are i and j unequal?
True
Let c = 0.107 - 0.007. Which is greater: 21 or c?
21
Suppose -4*h = 5*c - 7*h - 37, 0