/1. Is d smaller than y?
True
Let o be (7/(-7))/(0 + 3). Let u(x) = x**2 + 6*x + 4. Let g be 1/(2/4) - 7. Let l be u(g). Which is smaller: l or o?
l
Let z(y) = -4 + 1 + 2 - y**3. Let w be z(-1). Let m be 5/(-15) + 4/(-6). Which is smaller: m or w?
m
Let d = -91031/7 + 40053059/3080. Let h = d - 1/88. Which is greater: h or -1?
h
Suppose -4*p + 5*t - 14 = 0, 4*p + t - 3 = 5*p. Let x = -7 + 1. Let v = x + 4. Which is smaller: v or p?
v
Let u be (-1)/(94/2 + 1). Is u greater than -1?
True
Let m = -1 + -10. Let i(g) = -g**2 - 10*g + 9. Let f be i(m). Are -1 and f non-equal?
True
Suppose 5*a = -0*a - 30. Let h be ((-84)/234)/((-8)/a). Let c = h + 11/234. Which is bigger: c or -1?
c
Suppose -2*f - q = 0, -4*f - 3*q - 1 = -5. Let t be f/6 + (-2)/(-3). Let o = 5.5 + -6. Which is smaller: t or o?
o
Let i be (3/3 + 2)*1. Does 3 = i?
True
Let s = 122 - 121.9. Which is smaller: 2/93 or s?
2/93
Let y be 170/(-153)*(-3)/(-2). Let x be -3 - -1 - 16/(-7). Which is bigger: x or y?
x
Let v = 432 + -411.9. Let n = v - 20. Let c = -1 - -0.8. Which is bigger: n or c?
n
Let w = 0 - -5. Let n = -19 + w. Is n at most as big as -13?
True
Let o be -10 + 4 + (-1 - -2). Is -6 less than or equal to o?
True
Let z(u) = u**3 - 5*u**2 + 4*u - 2. Let t be z(4). Let l(q) = -2*q - 3. Let j be l(t). Suppose -3*d = -2*d + j. Is d > 0.3?
False
Suppose -2*q - 24 = -5*x, -4*x + 5*q - 2 = -11. Is x at most as big as -2/5?
False
Let n(y) = -y**3 - 9*y**2 + 35*y - 13. Let j be n(-12). Which is smaller: 1/12 or j?
j
Let f = -36581/824 + 355/8. Is -1 at least f?
False
Let i be ((-6)/4)/(1/(-2)). Which is smaller: -3 or i?
-3
Let y(p) = p**3 + 5*p**2 + 4*p - 1. Let q be y(-3). Suppose -2*m - 5*o = 8, -q*m + m + o = -6. Is 1 equal to m?
True
Let l = 18 + -16.4. Let s = l - -2. Let h = -0.6 + s. Which is greater: 1 or h?
h
Let k = -427/6 - -71. Which is greater: k or -2?
k
Let a = 0 - 0. Suppose -q + 2*q = 3. Which is greater: q or a?
q
Let c = 5 - 7. Let x = 84 + -85. Which is greater: c or x?
x
Let r = 10 + -6. Suppose 22 = -r*y - 6. Let j(b) = -b**3 - 5*b**2 - 2*b + 2. Let f be j(-2). Is y > f?
False
Suppose 4*l = 2 - 22. Let a = l - -5. Let n be (-4)/(-14) - (-30)/(-56). Are a and n equal?
False
Let s = -3 + 5. Suppose b = -s + 8. Suppose -p + b = -4*p. Are p and -2 equal?
True
Let h = 39 + -157/4. Let p = -7.7 + 8. Let y = 0.7 + p. Which is greater: y or h?
y
Let n(b) = 5*b + 1. Let w be n(-2). Is -9 smaller than w?
False
Let d(r) = r**2 - 9*r + 5. Let i be d(6). Let p = i + 24. Is 12 less than or equal to p?
False
Let r = 7.6 + 4.2. Let c = -12 + r. Which is smaller: c or -1/4?
-1/4
Let z be 4/(1 - 8/10). Let t = z - 12. Let i = -23 - -31. Is t <= i?
True
Let a be (4/(-5))/(18/45). Is a at least as big as 3?
False
Let g = 0 - 0. Let w be 3/6*(g + 2). Let r = w + -4. Is -2 at least r?
True
Let l be (1/2)/((-2)/4). Let p(f) be the second derivative of f**3/6 + 4*f**2 - 2*f. Let s be p(-9). Are s and l nonequal?
False
Let o = 0.14 + -0.04. Let t = -1 + 1. Let r be (-2 + 1)/(t - 1). Which is smaller: o or r?
o
Let r(s) = -s**3 - 11*s**2 + 11*s - 12. Let j(b) = -b**3 - 6*b**2 + 2*b. Let z be j(-6). Let x be r(z). Let q = 1 + -2. Are x and q equal?
False
Let t = -6 + 5.9. Let v = 2/19 - -9/95. Which is greater: t or v?
v
Suppose 0 = -2*v + v. Suppose 5*i + 0*d - 2*d - 18 = v, 0 = 3*d - 3. Suppose k = -5*o - 8, -2*k - i - 2 = 0. Which is greater: o or -0.3?
-0.3
Suppose 5*i - 1 = 4*b, -b = -3*b - 5*i + 7. Let q be (-1 - 1)/(1 - 0). Let w be (-1 - q)*(-1 - -1). Which is smaller: w or b?
w
Suppose -825 = -o - 4*o. Suppose c + o = 7. Let p = 1412/9 + c. Is -2 bigger than p?
False
Let q be (-2 - (1 - 2)) + -1. Let x(r) = -r**2 + 6. Let j be x(0). Let y(u) = -u**3 + 5*u**2 + 5*u + 6. Let t be y(j). Are t and q unequal?
True
Suppose -i + 4 = -3*i. Let p = i + -1. Let l(o) = -o**3 + 5*o**2 - 5*o. Let n be l(4). Which is bigger: n or p?
p
Let q be ((-6)/4)/(14/4). Let f(x) = x**2 + 13*x. Let o be f(-13). Suppose o*w = -w. Is w not equal to q?
True
Let k = -15.5 - -15. Is k < 2/13?
True
Let t = -46 - -42. Is t < -3?
True
Let a(c) = 2*c**2 + 4*c + 3. Suppose -3 - 1 = 2*o. Let j be a(o). Are j and 11/3 unequal?
True
Let w = -175 - -147. Which is smaller: -29 or w?
-29
Let g be 2 - 50/16 - (-2)/16. Which is smaller: -24/11 or g?
-24/11
Let h = 5 - 3. Let z(t) = h*t**2 + 2*t**2 - 3*t**2 - 7*t + 2*t + 1. Let g be z(3). Which is smaller: -6 or g?
-6
Let l(k) = 0*k**2 - k**2 - k + 0*k. Let o be l(2). Let v be (4/6)/(8/o). Which is bigger: v or -1/4?
-1/4
Let d = 36 - 36. Does d = -2/63?
False
Let b = 23 + -22. Suppose -4*q - 32 = 4*c, 2*c + q + 20 = -3*c. Which is smaller: c or b?
c
Let u = 0.4 + -0.1. Let t = -3.3 + u. Is -2 at most as big as t?
False
Let y(x) = -x**3 + 7*x**2 - 6*x + 1. Let k be y(6). Which is greater: k or 3/22?
k
Let x be -1 + (2/1)/(-2). Let f = -0.4 - -0.46. Let n = f + -0.06. Which is smaller: n or x?
x
Let x be 4 + 0 - (-4 + 8 + -4). Which is bigger: 1 or x?
x
Let i be (12/(-88))/((-3)/(-4)). Let a(c) = c**3 - 6*c**2 - 7*c + 1. Let r(x) = x**3 - x + 7. Let l be r(0). Let z be a(l). Which is smaller: z or i?
i
Let a be 0 + -3 + 7 - -2. Let d be a/(-15) - 172/20. Is d greater than -9?
False
Let d = 0.8 - -0.2. Let p(y) = -y**3 + 5*y**2 + 4*y + 2. Let f be p(-5). Let m = 2090/9 - f. Which is greater: d or m?
d
Let n = -4 + 5. Let l be (n - -4)*(-12)/10. Is l greater than -6?
False
Let l = 151 - 95. Suppose k - 74 = 2*c + 4*k, -k + 2 = 0. Let n be -1 + 0 - l/c. Which is smaller: -0.3 or n?
-0.3
Let k be -7*(1 + 1 + -1). Let p(h) = -39*h - 124. Let i be p(-3). Is k at least i?
True
Let r = 3.1 + 10.9. Let l = r + -9. Let g = l + -8. Which is smaller: g or -0.1?
g
Let k be 352/33 - (-5 - -1). Which is smaller: 14 or k?
14
Let n = 373/2 - 188. Which is smaller: 20 or n?
n
Suppose 3*r + 16 = 4*h, 2*h + 7*r - 30 = 3*r. Let c = 7 - h. Which is smaller: c or 2/17?
c
Let l be (2/8)/((-4)/(-16)). Is -1/5 greater than l?
False
Suppose u = 3*o + 11, -5*u + 7*o = 3*o - 22. Let m be (-96)/189 + u/7. Which is smaller: m or 1?
m
Suppose -t = 2*t + 222. Let r = 224/3 + t. Is 1/11 at least as big as r?
False
Let r = 5 + -8. Let m = r + 3.2. Suppose -k - k - 2 = 0. Is m at least k?
True
Let y = 5.8 - 4. Let f = 1.6 - y. Are f and -2 non-equal?
True
Let u = -1.08 + -0.72. Are u and 2/5 non-equal?
True
Let n(p) be the second derivative of -p**4/12 + 3*p**3/2 - 11*p**2/2 + p. Let k be n(8). Is -2/5 not equal to k?
True
Let d be 1 - (-4 + 2 + -1). Suppose -d*h - 12 = -3*h + 3*x, 4*x = 3*h - 16. Let l = 3 + h. Is l > 2/3?
True
Let i = -33 - -33.1. Which is bigger: -4/5 or i?
i
Let o(q) = q**3 + 4*q**2 + 4*q + 2. Let d be o(-3). Let j be ((80/14)/10)/(18/14). Which is bigger: j or d?
j
Let s be (-7)/2 + (-16)/(-4). Which is smaller: -2/7 or s?
-2/7
Let k = 0.036 - 1.036. Let m = 13 - 12.1. Let j = k + m. Is 1/4 > j?
True
Let o be 12 - ((0 - 1) + 2). Let v(l) = -l**3 + 11*l**2 + 1. Let u be v(o). Suppose -q + 1 + u = 0, -3*q + 10 = 2*w. Is w < 2?
False
Let d be (22/(-1518))/((-5)/6). Which is smaller: 0 or d?
0
Suppose -3*c = 14 - 20. Are c and 3/5 non-equal?
True
Let f = -4 + 3. Let m(o) = 2*o**3 + o + 1. Let x be m(f). Is x less than 0?
True
Suppose 6*t = 3*t - 3*b - 6, 0 = -t + 5*b + 4. Which is greater: 0 or t?
0
Let o = -316 + 16751/53. Is o greater than or equal to -1?
True
Let t(a) = 63*a**3 - a**2 - a + 1. Let u be t(1). Let i = u - 928/15. Let s = 2 - 2. Which is smaller: i or s?
s
Suppose 5*z + 4*n = 8, -10*z + 6*z + 5*n - 10 = 0. Which is bigger: z or -94?
z
Let i = 36/245 + -8/35. Do i and 1 have the same value?
False
Let q be (3/(-2))/((-18)/96). Are 8 and q equal?
True
Let f(s) = -s**3 - 7*s**2 - 8*s + 6. Let y be f(-6). Suppose -2 = 4*n - y. Let i = n - 2. Is i bigger than -0.1?
True
Let p be (1/8)/(1/2). Let g = -0.9 + 10.9. Let a = -10.3 + g. Which is smaller: a or p?
a
Let w be ((-3)/45)/((-2)/(-4)). Which is smaller: -1 or w?
-1
Suppose 18 = -j - 2*g + 8, -2*g = 3*j + 10. Let n be (6/10)/((-2)/2). Which is bigger: n or j?
j
Suppose -s + 0 = -5. Suppose 3*u = s*w + 1, -w - 1 = -2. Let m = 0 - u. Is m >= -2?
True
Let u(i) = i**2 - 2*i - 2. Let v be u(-1). Which is bigger: v or 8/15?
v
Suppose -2*g = 3*z + 18, 5*z - 14 = 3*g - 6. Let d be 1/((-10)/(-6) - 2). Which is bigger: g or d?
d
Let d 