) = w**2 + 8*w + 8. Let d be z(i). Let q = 3 + d. Is q > 2?
True
Suppose h + 16 = -3*h. Let u be 2/(-4)*h/8. Let b = 2 - 1. Is b > u?
True
Let t(u) be the second derivative of -u**5/4 + u**4/12 + u**3/3 + u**2/2 + 4*u. Let y be t(-1). Do 5 and y have the same value?
True
Let f = 248 - 4463/18. Which is smaller: 1 or f?
f
Let w = 1016/457 - -2379644/5941. Let o = -403 + w. Is 1 greater than or equal to o?
True
Let s = 3 + -1. Let p be ((-78)/24)/(s/32). Let w = p + 519/10. Is w less than or equal to 1?
True
Let l(g) = -g**3 - g**2 - 2*g + 32. Let c be l(0). Is c less than or equal to 31?
False
Let n = -1 + 0.7. Let y = -1.1 - -1.3. Let v = n + y. Which is bigger: v or 0.2?
0.2
Let r = 0.19 + -0.49. Which is smaller: 2 or r?
r
Let o = -1 + -1. Let d = -15.9 - -16. Which is bigger: d or o?
d
Let g be (-1)/(-3) + (-2)/(-3). Let k be 2/(-4) + 70/42. Which is bigger: k or g?
k
Let j(p) = -7*p. Let t be j(2). Is t at most as big as -14?
True
Let h = 26.91 + -27. Does h = -6/11?
False
Suppose 0 = 5*q + 4*x - 260, 0 = 2*q - x + 2*x - 101. Let t = 241/5 - q. Are t and 0 equal?
False
Let k be 3/(-40)*(-78)/9*12. Is k less than 7?
False
Let l = -22/3 + 91/12. Is l less than 0?
False
Let k(w) be the first derivative of w**4/4 - 2*w**3 + w**2/2 - 6*w + 1. Let y be (-1)/(1 - 0) + 7. Let t be k(y). Do t and 1/3 have the same value?
False
Let m = -0.3 + 0.2. Let z = 8.06 + -0.06. Let b = -7.7 + z. Is b >= m?
True
Let x(i) = i - 5. Let n be x(6). Which is smaller: n or -1/9?
-1/9
Let r = -39 - -39.1. Is r at least -0.52?
True
Let v = -0.26 + 0.06. Suppose -5*a + 3*u = -95, -6*a + a = -u - 105. Let l = a + -45/2. Which is bigger: l or v?
v
Let j = 12 + -14. Which is smaller: j or -16/7?
-16/7
Let n(a) = a + 1. Let x be n(3). Let m be x/(-6)*(-6 - -3). Suppose -m = 3*o + 4. Is -2 equal to o?
True
Let d(m) = -14*m + 14. Let v(o) = -5*o + 5. Let w(f) = 6*d(f) - 17*v(f). Let q be w(5). Which is smaller: 6 or q?
q
Let y(z) = -z + 2. Let s be y(-2). Suppose -4*t + s*u - 3*u = -4, 4*t - 3*u + 4 = 0. Let q be (2 + t/(-2))/(-2). Is q bigger than -2?
True
Suppose -4*j = 3*f - 1, -3*j - 2*j - 16 = -2*f. Let h be (-3 + 3)/((-4)/j). Is h greater than -1/8?
True
Let p be (-1)/2*(-2)/6. Suppose u = 3*u + 8. Let n = 5 + u. Is p at most n?
True
Let t = 26 - 26. Is t greater than 2/9?
False
Suppose 0*y = 2*y - 5*z + 11, 2*y - 4*z + 8 = 0. Is y at least as big as 2?
True
Suppose -3*s - 2 = -5. Let y be 2 + (2 - 3)*1. Is y less than s?
False
Let c be (15/54)/(-5) - 1. Let j = c - -14/9. Which is greater: j or -1?
j
Let p = -1 - 1. Let y = -1.9 - p. Which is bigger: -1/8 or y?
y
Let b be 3/4 + 174/(-168). Which is smaller: b or -0.24?
b
Let n = 4 - 7. Let w be (n/(-6) + -1)*-4. Suppose 0 = 6*c - w*c + 4*o + 4, c = -5*o - 21. Which is bigger: c or 5?
5
Suppose -5*c = 3*z - 11, -4*c + 5*z - 4 = z. Is 2/17 greater than c?
False
Let j(d) = d**3 + d**2. Let x(u) = -u**3 - 6*u**2 - 3*u + 2. Let s(o) = -2*j(o) - x(o). Let p be s(4). Let q be (6/p)/(9/6). Do 1 and q have different values?
True
Suppose 3*q - 24 - 3 = 0. Let r be (2/q)/((-4)/3). Let k = 20.8 - 21. Which is bigger: k or r?
r
Let b = 7.7 + -8. Let a = 0.4 - 0.2. Let l = 0.8 + a. Which is bigger: l or b?
l
Let z = 25 - 22. Is 5 at most z?
False
Let n = -0.1 + 1.1. Do n and 0.1 have the same value?
False
Suppose 2*z = 4*i - 7 + 1, 0 = 3*z - 5*i + 9. Let k be 2 - (6 - (-1 - z)). Is k at least as big as -2?
True
Suppose 4*b + 10 = -b. Let l = 1 + b. Let v = 1/2 - 1/6. Is l >= v?
False
Let w = 2 - 4. Let r be (-24)/18*3/w. Is r >= 2?
True
Let c = 2/41 + 35/123. Let h = -0.057 - 3.943. Is h less than c?
True
Let h = 31 + -61/2. Let q be (0 - -1) + (-11 - 2). Let c be q/(-9) + 1/(-3). Is h at least c?
False
Let x = 2.6 - 0.6. Let k = x + -1. Let w = 13 + -12. Is k smaller than w?
False
Let h(q) = q + 36. Let j be h(0). Let v be j/10 + (-2)/(-5). Suppose 5*n + v*m = 30, -m = 4*n - 5 - 8. Which is greater: 1 or n?
n
Let x(n) = n**3 + 3*n**2 - 4*n + 5. Let p = -2 - 2. Let z be x(p). Suppose -z*a + 4 = -a. Is a at most -2/13?
False
Suppose 16 = 5*u + 6. Let s be 66/3 + (0 - -2). Let g be -1*u + 30/s. Does -1 = g?
False
Suppose 0 = -5*n - 25, 3*r - 3*n + n + 11 = 0. Let g be (-40)/28 + (-3)/r. Is g != -2/7?
True
Suppose -5*r + 0 + 5 = 0. Which is bigger: r or -2?
r
Let d = -2.9 - -3. Let w = d - 0.2. Is w equal to -4?
False
Suppose -10 = 5*y - 5. Which is smaller: -2 or y?
-2
Suppose -l + 15 = -4*o + 4*l, 3*l - 9 = -4*o. Let u be o - 0 - (-2)/6. Suppose 5*v + 2*p = -1, 5*v - 3 + 1 = -p. Is u <= v?
True
Suppose -10 = -2*y - 3*y. Let d = 7 + -3. Let m be 0/(-2) - d/(-6). Is m > y?
False
Let q = 0 + 1. Suppose 5*f + 3*o - 9 = 2*o, 6 = 2*f - 2*o. Suppose -3*s + 1 = -f. Does s = q?
True
Let u = 47/130 - -1/26. Is -1/9 <= u?
True
Let h = 69 + -65. Which is greater: 19/6 or h?
h
Let t(b) = b - 129. Let x be t(0). Is x smaller than -129?
False
Let i = 0 + 0. Let h = -3 + 3.15. Let j = h + 0.05. Is i <= j?
True
Let g be 1/(175/83) + -1. Let r = 24894/25 + -996. Let s = r - g. Is s bigger than -1/4?
True
Let s = -4.7 - -24.7. Let q(t) = -t + 3. Let n be q(3). Which is bigger: s or n?
s
Let f = -20 - -41/2. Which is bigger: f or 2?
2
Let x(d) = d**3 + 4*d**2 - 4*d + 3. Let r be x(-5). Let k be ((-2)/(-4))/(r/(-8)). Let z be (1/k)/(5/5). Which is smaller: -1 or z?
-1
Let v = 0.9 + -1. Let u be (-2)/(2/((-4)/(-18))). Which is bigger: u or v?
v
Suppose 0 = 4*d + d - 35. Let m(v) = -v**2 + 6*v + 6. Let r be m(d). Is -4/7 < r?
False
Let u = 31/6 - 5. Suppose 0 = 3*x + 3 - 0. Which is greater: x or u?
u
Let i = 0.08 + -0.08. Suppose -q = -0*q - 317. Let y = q - 2215/7. Is y >= i?
True
Suppose 12*k + 58 = 46. Let y = -43 + 474/11. Is y greater than k?
True
Let h(k) = 4*k + 8. Let y be h(-4). Which is smaller: -6 or y?
y
Suppose 12*o - 2*o - 10 = 0. Which is smaller: -2/33 or o?
-2/33
Let o(c) = -c + 6. Let a(i) = -2*i + 5. Let p(y) = 2*a(y) - 3*o(y). Let q be p(-8). Suppose q = -l - 2*d - 9, l = -4*l - d. Which is smaller: l or -2?
-2
Let j = 103 - 89. Which is greater: j or 15?
15
Let k(h) = -h**3 - 3*h**2 + 4*h + 2. Let j be k(-4). Suppose -4 = -2*a + 2. Which is greater: j or a?
a
Suppose 2*f - 5*v = -16, 0 = -f - 3*v + 4*v - 5. Let l = -19/12 + 107/60. Which is greater: l or f?
l
Let i be 1*-4 - (-1 - 0). Let m be ((-4)/6 - -1)/((-6)/90). Is i not equal to m?
True
Let p be ((-18)/(-4))/((-2)/4). Let k be (6/p)/(10/9). Let z be 2/(-6) + (-4)/6. Is k >= z?
True
Let h = 17 - 16. Are h and 6/7 nonequal?
True
Let o = 189 + -202. Which is greater: o or -12?
-12
Let f(u) = -u**3 - 17*u**2 - 16*u - 2. Let s be f(-16). Which is bigger: -5/6 or s?
-5/6
Let k = 10 - 16. Which is greater: -4 or k?
-4
Let g(r) = 5*r. Let s = -1 - 0. Let o be g(s). Is -5 less than o?
False
Suppose -2*m + m - 10 = 4*j, 0 = -5*j - 25. Let g be 22/m + (-20)/(-25). Is 3 at most g?
True
Suppose 0 = -i + 4*i - 6, o + 6 = 3*i. Which is bigger: o or 0.8?
0.8
Let u(x) = x**3 + 5*x**2 - 4*x + 11. Let t be u(-6). Suppose -y - 4 = y. Which is smaller: t or y?
y
Let u = -2/1715 - -96046/5145. Let i = u - 121/6. Is i bigger than -3?
True
Let y = -1136813423/1652 - -688144. Let u = y + 1/236. Which is smaller: u or -1/5?
-1/5
Suppose 20 = -6*t + 4*t - 4*r, -3*t - 25 = r. Is -13/2 equal to t?
False
Suppose 5*a + 43 - 48 = 0. Let j = -22 + 67/3. Is j smaller than a?
True
Let l be (-2)/5 + 4/10. Let c be 9/(-270)*(-20)/(-5). Are l and c equal?
False
Let s be 5 + -2 - 124/30. Let p = s + 287/240. Is p less than -1?
False
Let q be 1/(-3) - (-3 - -1). Suppose 4*y - 9 = u, 2*u - 4*u - 2*y = -12. Is u at most q?
False
Let j = -31 + 152/5. Let k = 6 + -8. Is j greater than or equal to k?
True
Let w(i) = i**2 - 8*i. Let q be w(8). Is -1/16 < q?
True
Suppose 14 = 4*h + 6. Let q(a) = a - 6. Let o be q(9). Which is smaller: o or h?
h
Suppose 0*j + 10 = 5*s - 5*j, -2*j = 2*s. Let g = 5 + -2. Let m be (-5)/g + (4 - 1). Which is greater: m or s?
m
Let t = -41 - -40. Which is greater: 10 or t?
10
Let i(p) = p**3 + 7*p**2 + 10*p + 6. Let z be i(-6). Let c be (-3)/z*12/8. Which is greater: 1 or c?
1
Let a(g) = 6*g**3 + 8*g. Let b(m) = -5*m**3 - m**2 - 7*m + 1. Let j(p) = 4*a(p) + 5*b(p). Let x be j(-4). Which is smaller: 0.2 or x?
0.2
Let k(u) = -u**3 + 8*u**2 + 10*u - 12. Let q be k(9). Let f be (3 + q + -3)/(-