). Which is smaller: -2/5 or o?
o
Let w = -16 + 16. Do w and -7 have different values?
True
Let c = -1 + 1. Let r = 2 - c. Suppose 0 = 3*i + r*i. Are i and 0 unequal?
False
Let n(c) = c**2 + 6*c + 4. Let f be n(-5). Let l(s) = -33*s**2 + s + 1. Let m be l(f). Let j = m - -65/2. Is 3 != j?
True
Let n(v) = -v. Let p be n(0). Suppose p = a + 3 - 4. Which is smaller: a or -0.4?
-0.4
Suppose -2*p + 3*r + 2*r + 38 = 0, -5*p = 3*r - 33. Suppose -4*g - 50 = -p*g. Suppose x - 1 = -2*s - 5, -5*s - g = -3*x. Is x > -3/5?
True
Let r be (-4)/6 + 42/9. Suppose -10 = -5*x + r*h + 6, h = 3*x - 11. Are x and 4 unequal?
False
Let z be (-312)/(-1043) + (1 - 1). Let y = 2/149 - z. Suppose 4 = -3*a + m, 0*a - 4*a + 4*m = 8. Is y not equal to a?
True
Suppose 0*z = z + 18. Let i(g) = g**2 - 5*g - 8. Let y be i(7). Let n be (z/21)/(y/(-4)). Which is smaller: n or 2?
n
Suppose -x - 4*k - 6 - 6 = 0, 5*k = -4*x - 37. Let d(a) = a**2 + 9*a + 6. Let f be d(x). Which is greater: f or -1/2?
-1/2
Let t be (-46)/(-483) + (-4)/(-21). Which is bigger: 15/11 or t?
15/11
Suppose 5*s + 2*c - 62 = -0*s, 3*s - 37 = -c. Let p be (3/(-2))/(s/(-16)). Are 4/3 and p unequal?
True
Let p = 297 + -298. Let z be (-2 - (-40)/22) + 0. Are z and p non-equal?
True
Suppose 0 = 2*o + 5*w + 21, 2*w = -2*o + 2 - 8. Suppose -2*g = o*x - 4, -2 = -2*g + 2. Is 1/9 smaller than x?
False
Suppose 125 + 17 = -2*p. Which is smaller: p or -72?
-72
Suppose 2*w + 2 + 0 = 0. Is 0 at least w?
True
Let a be (-2)/(-18)*-3*1. Is a bigger than 8?
False
Let o(c) be the second derivative of c**5/20 - c**4/12 - c**3/6 - 5*c. Let y be o(2). Is y not equal to -2?
True
Let s = -37 - -11. Let g = -22 - s. Let o = 2/43 - 96/215. Are g and o unequal?
True
Let z = -0.21 - -0.31. Which is smaller: z or 1/4?
z
Let a be 58/18 + (644/(-126))/23. Let x be 2/(-8) + 46/24. Which is smaller: a or x?
x
Suppose 0 = -0*s + 5*s - 10. Suppose -s*j - 16 = 3*h + 2*j, 4*h = -2*j - 18. Which is smaller: -3 or h?
h
Let y = -13 + 7. Let t(i) be the third derivative of i**4/24 + 5*i**3/3 + 4*i**2. Let a be t(y). Which is greater: a or 5?
5
Let l = 4 - 2. Let q = l - 2. Let a = q - -1. Do a and -2 have different values?
True
Suppose 4*g + 10 = a - 3*a, -2*a - g = 4. Suppose -3*y = 5*f + 51, -5*y + 2*f = -3*f + 45. Let b be (y/(-22))/(-3) - 0. Do b and a have the same value?
False
Let x = 6 - 4. Suppose 0 = -y + 3 + 4. Suppose x*t - 3 = -y. Which is bigger: -1/2 or t?
-1/2
Let u be (-48)/(-60) + 11/5. Which is bigger: u or 7?
7
Suppose -5*v - 8 = -3. Which is smaller: v or -5/12?
v
Let p be (-3 + 3)/(5 + -4). Which is smaller: -6/7 or p?
-6/7
Suppose -5*h - 13 - 18 = -2*l, -l + 5 = h. Suppose -l = -2*i + 2*n, 8*i = 3*i - 3*n - 20. Let c = -62 - -184/3. Which is greater: c or i?
c
Suppose -4*a + 2*p = -6, -3*a + 5*p + 0 = -22. Let l be (8/20)/(29/5). Which is bigger: a or l?
l
Let q = -1 - -1. Let l(u) = -u + 2. Let j be l(0). Which is smaller: j or q?
q
Let a be (-1)/26*-50 - 2. Which is greater: a or -1?
a
Let o(j) be the first derivative of j - 1/2*j**2 - 1/3*j**3 - 1. Let d be o(-2). Is d less than -1?
False
Let l = 2 - 2. Let i(o) = o**3 + 5*o**2 + 2*o. Let v be i(-3). Let d = v + -49/4. Which is bigger: d or l?
l
Let m be -3 - -4*10/4. Let s be 16/m - 28/98. Does 1 = s?
False
Let d = -126/19 + 2180/323. Let q = -7 + 11. Suppose 4*a = -q*z, -4*a + 2*a = 4*z + 2. Is a > d?
True
Let m = 0 - -1. Which is bigger: 6/7 or m?
m
Let b = -5 + 11. Let x be b/(-4) + 6/4. Which is greater: x or -3/5?
x
Suppose 5*d - 7 = 13. Suppose -5*m - 3*p = -2 - 1, 0 = d*p + 16. Let h be (13/(-52))/((-2)/24). Is m at least h?
True
Let u(s) = -s**2 - 11*s. Let z be u(-10). Suppose 5*l - 35 = -3*o - z, -2*o + 18 = 4*l. Suppose 5*p - y = -6, -p - 3*y + 5 - 3 = 0. Is l bigger than p?
True
Let d = -3.9 + 1.9. Let n be -1 - (-4)/(36/11). Is d bigger than n?
False
Let b = 18 + -43. Let z = b + 22. Which is smaller: 0 or z?
z
Let p = 0 - 2. Let t be p/(-6) + (-99)/54. Is -3 at least as big as t?
False
Let r be (-2)/((-192)/(-195)) + 2. Which is greater: r or -1?
r
Let a be (-14)/126*42/(-4). Does 1 = a?
False
Let q be 18 - 4 - 1*2. Suppose v + 2*r - q = -v, v - 6 = r. Which is bigger: 7 or v?
7
Let y = 5.72 + -0.72. Do y and 5/4 have different values?
True
Let u = -18.3 + 2.3. Let j = u - -15.91. Which is greater: j or -1?
j
Let f = 0.17 + 0.03. Do f and -15 have different values?
True
Let y = -7.4 - -4. Let g = 3 + y. Let p = g - -0.4. Is p smaller than -4?
False
Let j = 1.6 + -8.6. Let v = j - -1. Which is greater: v or 0?
0
Let a be 0 - (4/(-2) - -2). Suppose 0 = -a*x - 3*x. Suppose -3*l + 14 - 2 = x. Which is smaller: l or 3?
3
Let y = -5.9 - -5.95. Do y and -2 have different values?
True
Let u = -83427/2 - -328715/8. Let k = 625 + u. Let t = k - 11/40. Is 1 not equal to t?
True
Let v be (-1 - 9/(-3)) + 1. Suppose 5*f + 7*d + 14 = v*d, f = 3*d + 1. Which is smaller: -3/2 or f?
f
Suppose -4*w - 8 = 0, -2*w = 3*h - 42 + 109. Which is bigger: h or -17?
-17
Let x(f) = -f**2 + 9*f - 9. Let z be (-4)/(((-2)/4)/1). Let a be x(z). Which is smaller: a or 1?
a
Suppose -4*s - s = 0. Suppose -3*j - 3*w = s, -3*w - 7 = -3*j + w. Is j <= 2?
True
Let f = -90 + 89. Is f != -4/13?
True
Let b be (-63)/24 + (-2)/(-1). Which is smaller: b or -2?
-2
Let a(q) = -2*q - 32. Let l be a(-16). Let m = -3/19 - 13/38. Are m and l nonequal?
True
Let t = -1 - -0.9. Suppose -q = 5*m - 2, 5*q + 5*m - 10 = 3*m. Are t and q equal?
False
Let h be (4/10)/((-3)/(-15)). Suppose 0 = -2*c - 5*x - 16, -3*x + x - 4 = h*c. Let v be 1/3 + c/(-15). Is v < -1/4?
False
Suppose 0*d = 2*d. Suppose d*a = -a. Are 9/7 and a equal?
False
Let d be (-4)/(-3) - (-4)/6. Let o(u) = -4*u**2 + 3*u**2 + 6*u + 2*u. Let g be o(8). Which is smaller: g or d?
g
Let x be ((-21)/(-6) + -2)*2. Suppose 0 = -3*m - 3 - x. Which is smaller: m or -7/4?
m
Let n be 1/(-3) + 14/6. Suppose 0 = v - f - 4, n*v + 6 = -2*f - 2. Which is smaller: v or 1?
v
Let x = -0.1 + -1.9. Which is bigger: x or 0?
0
Suppose -2 - 10 = -3*z. Suppose 1 - 9 = -z*j. Let q = -0.01 - 0.09. Is j bigger than q?
True
Let s = 141 - 130. Is 49/4 < s?
False
Let b be 16/(-6)*18/(-60). Is b <= 2?
True
Let d = -11 + 11. Suppose -z = -5*z + 4*t, -3*t + 3 = d. Which is greater: -1/8 or z?
z
Let g = -1.67 + 1.58. Which is bigger: 3 or g?
3
Let k(m) = m**3. Let u be k(1). Let j(h) = -h**2 - 10*h - 21. Let q be j(-7). Which is greater: q or u?
u
Let s(v) = -v**3 + 6*v + 5. Let p be s(-2). Which is greater: p or 3/22?
p
Let a be (-4)/(-6) + (-8)/(-6). Suppose z + 0*z = -a. Which is smaller: -5/6 or z?
z
Let u = 1 + -4. Let j = u + 2. Is -4 <= j?
True
Suppose 2*g = 3 + 3. Suppose 3*r - 3*k + 6 = 0, -22 = g*r - 6*r - 4*k. Suppose -4*q + r = -2. Is q smaller than 0?
False
Let x = -1 + 3. Let d(t) = -t. Let o be d(-4). Suppose o*r + x = 10. Is r greater than 1?
True
Let d = 2 - 17. Let r be 1 - 2/((-18)/d). Is -1 >= r?
False
Let u(j) = j - 7. Let k be u(6). Let x be (-1)/((0 + 1)*k). Let t = 6667/8 + -833. Is t smaller than x?
True
Let m(l) = -4*l + 3. Let t be m(2). Suppose -3*s = -0*s + 18. Are s and t equal?
False
Let y be ((-2)/(-3))/((-3)/(-9)). Suppose 0 = -7*i + y*i - 5. Let n be i - (1/4 + -1). Is 2 >= n?
True
Suppose 4*v = -5*g + 13, -g + 2*g = -3*v + 7. Do g and 89 have different values?
True
Let w = 0.11 - -6.89. Let c = w + -5. Is c >= -1?
True
Let m = 32 - 42. Which is bigger: m or -9?
-9
Let m(l) = l**3 + 6*l**2 + 6*l + 4. Let g be m(-5). Is g less than 2/55?
True
Let h = 13.56 + 0.44. Is h greater than or equal to -4?
True
Let i = -16 + 5. Let d be 2/11 - (-2)/i. Which is bigger: 6/13 or d?
6/13
Suppose -5*c + c + 16 = 0. Is c less than 3?
False
Suppose z = 4*l - 0 + 3, 0 = 3*l + z - 3. Which is greater: 6 or l?
6
Let j = -3 + 4. Let a = 2 + 0. Which is bigger: j or a?
a
Let k = 31 + -30. Which is smaller: 3 or k?
k
Let m(r) = -45*r**3 - r**2 + r. Let h be m(1). Let u be 5/(-20) + h/(-84). Let g = 3.1 + -3. Is g at most as big as u?
True
Let d be 0 + 2 + -3 - -4. Let b = 6 - 4. Which is bigger: b or d?
d
Let q = 7 + -13. Let v = q - 2. Which is smaller: -2 or v?
v
Let f = 16 + -31. Let x = f + 10. Is x less than -4?
True
Let x = -76 - -155/2. Let m(i) = 2*i - 5. Let r be m(4). Suppose -4*q - 4*z + 2 + 6 = 0, r*z + 6 = q. Which is smaller: x or q?
x
Suppose -d - 2*k - 14 = k