 + 6. Let d be 4/(-5) - 2/x. Which is bigger: d or s?
d
Let w(l) be the third derivative of -l**4/24 + l**2. Let n be w(0). Which is smaller: -2/17 or n?
-2/17
Let k = 4 - 1. Let f = -102 + 90.8. Let m = 11 + f. Does m = k?
False
Suppose 33 = 5*x + 4*a - 44, -4*x + 74 = -3*a. Which is greater: 3 or x?
x
Suppose -10 = -5*x, -3*g + 51 - 18 = 3*x. Which is smaller: g or 8?
8
Suppose -2*y + 18 = 4*y. Is 3 not equal to y?
False
Let r = -4 - -12. Let y = r + -5. Let z be (3/y - 3)/1. Is -2/7 at most z?
False
Suppose 5*c + 3*n - 4*n = 0, 3*c = 3*n. Let w(a) = -a + 7. Let y be w(3). Is c >= y?
False
Let f be 4/8 + (-3)/4. Let u be -1*(0 + (-4)/38). Let z = 32/57 + u. Which is smaller: z or f?
f
Let o(j) = -j**3 + 6*j**2 + j - 5. Let a be o(6). Are a and 1/18 non-equal?
True
Let h = 0.04 + 0.06. Let o = h + -0.2. Is -7 bigger than o?
False
Let k(o) = -1 + 5*o**2 - 6*o**2 + 0 + 6*o**2. Let m be k(-1). Which is smaller: 5 or m?
m
Suppose 4*b = -0*b - 4. Is b at least 0?
False
Let g(q) = -q**3 + 8*q**2 - 14*q - 9. Let z be g(5). Which is greater: 2/3 or z?
2/3
Suppose -5*w - 4 + 24 = 0. Suppose -3*l = -4*u + 16, -l = w*l + 20. Is u greater than 2?
False
Let d(v) = -v**3 - v**2 - v - 3. Let p be d(0). Let x = 3 + p. Is x less than or equal to -1/2?
False
Let i be (-51)/(-12) + 4/(-16). Suppose i = c - 3*c. Which is bigger: -5 or c?
c
Let s be 1*-2*2*1*-7. Is s equal to 28?
True
Let f = 5 + -5. Let h = f + -5. Which is greater: -6 or h?
h
Suppose z + 12 = 4*z. Suppose s - 9 = -z*g, 3*g - 2*g - 4 = -2*s. Let v be (3/g)/((-63)/12). Which is greater: v or 0?
0
Let c(v) = v**2 + 6*v + 3. Let q be c(-6). Let d be (39/(-15) + q)*-15. Suppose 0 = 4*x + 10 + 18. Is x >= d?
False
Let z = 24 + -25. Which is bigger: 4 or z?
4
Let f = -0.1055 - -7.9955. Let p = f + 2.01. Let z = 10 - p. Is -2/7 < z?
True
Let o be ((-18)/6 - 1) + -13. Which is smaller: -15 or o?
o
Let y = 1 - -9. Let s = -9.9 + y. Which is greater: 11 or s?
11
Let r(p) = p**3 + 5*p**2 - p - 2. Let n be r(-5). Suppose -n = -2*x + 1. Suppose -2 = x*i - 4. Are i and 0 unequal?
True
Let o = -14619/25 + 585. Is o smaller than 1?
True
Let w be 3 + (625/(-35))/5. Is w smaller than -2?
False
Let y = 12 - 10. Let g = 2.1 - y. Is 0.01 at least as big as g?
False
Let j be (-5)/(110/(-48)) + -2. Let z = 16/9 - 55/36. Is j at most z?
True
Suppose a + 3*a + 8 = 0. Let m(h) = 3*h + 4 - h**3 + 4*h**2 - 3*h + 4*h. Let l be m(5). Is l <= a?
False
Let s = -3 - -9. Let z = s - 3. Let w = z + -5. Which is smaller: w or -4/7?
w
Let q be ((-24)/108)/((-4)/9). Is -1 at least q?
False
Let x be (2 + 4)*3/9 - -16. Is 17 > x?
False
Let c(p) = -p**2 + 5*p + 6. Let q be c(6). Are 2/7 and q equal?
False
Let k be (-38)/(-8) + 2/8. Suppose 7*s - k = 2*s + 3*c, 15 = -3*c. Let v be 2/2 - 12/8. Which is smaller: s or v?
s
Let m = -0.95 - 0.05. Let w = m + 3. Let x = 4 - 7. Is w at most x?
False
Let t = -54 + 215/4. Which is smaller: -0.28 or t?
-0.28
Suppose -3*x = 5*l - 2, 0*x - 4*l = -x - 5. Which is greater: x or 0?
0
Let z = 163 - 161. Which is smaller: 6/5 or z?
6/5
Let n(i) = 4*i - 20. Let w be n(5). Let t be (1/15)/((-1)/(-3)). Which is bigger: w or t?
t
Let u = -323827/23465 - -2/4693. Are u and -14 non-equal?
True
Let j = -37 - -57. Suppose 0 = -v - v + j. Is v smaller than 8?
False
Let s = -22 + 21.94. Which is smaller: -2 or s?
-2
Suppose -4*x - 5 = -9*x. Suppose -j = -2*j - x. Let t be (-1)/7*(0 + -1). Is t > j?
True
Let n = 5 - 6. Which is smaller: n or -33?
-33
Suppose g = 2*g. Suppose 2*a + a + 15 = -2*y, 5*y + 5*a + 30 = g. Let p(j) = -j**2 - 10*j - 12. Let f be p(-9). Is f less than y?
False
Let f(o) = o + 14*o**2 - 10 + 7*o + 4 + o**3 - 4*o**2. Let i be f(-9). Is 3 > i?
False
Let h = -17 + 11. Let a = h - -10. Let s = 3.9 - a. Which is smaller: s or 0?
s
Let w = 14 - 23. Is -9 greater than w?
False
Let f(p) = -p**2 + 9*p - 7. Let d be f(8). Is d equal to 1?
True
Let u = 2 + 0. Suppose 0 = -5*h + 5 - 0. Let n be -1 + (-1 - -2)*h. Is u < n?
False
Let o = 95/66 + -14/11. Is o at most as big as 1?
True
Let p(f) = -f**2 - 5*f - 2. Let j be p(-3). Suppose i - j = 3*i. Let o be (i/(-7))/((-6)/14). Do o and -2 have the same value?
False
Let c = 8 + -5. Which is smaller: c or 0.2?
0.2
Let y(p) = -p + 2. Let h be y(5). Let q = -5 - -11. Suppose 20 = t - q*t. Which is bigger: h or t?
h
Let t = -2 + 3. Let w = 101/4 - 299/12. Which is smaller: t or w?
w
Let n = 46975/7021 + -597809935/84722407. Let i = n + 2/1097. Which is smaller: -1 or i?
-1
Let g = 170 + -5952/35. Is g at least as big as -1?
True
Suppose 5*b - 14 = c, -b - 3*b = -3*c - 20. Let g = 6 + c. Suppose 2*a + 0*a - g = 0. Is a equal to 0?
False
Let a = 2.7 + -3.7. Let t = -0.26 - 0.84. Which is smaller: a or t?
t
Let z be (-1)/(-3) + 32/(-6). Let j(k) = k**2 - 3*k - 4. Let c be j(5). Let x = c + z. Which is smaller: x or 1/10?
1/10
Let p be ((-2)/(-16)*-3)/3. Let y be ((-15)/(-30))/((-1)/2). Is y less than p?
True
Let t = -71/48 + 1057/528. Let b = t + -3/11. Are 1/4 and b nonequal?
False
Suppose -2*d + 4*f = 0, 4*d + 2*f = f. Suppose -10 = -d*y - 2*y. Let o(r) = r**2 + 12*r + 15. Let m be o(-11). Is y at least as big as m?
True
Let x be 3*(-2 + 232/114). Let b(g) = -g**2 + 10*g - 16. Let u be b(8). Is u at most x?
True
Let n(w) be the second derivative of 3*w + 0 + 0*w**3 + w**2 - 1/20*w**5 + 1/6*w**4. Let k be n(2). Which is bigger: k or 1?
k
Let g be 23/(-15) + 16/12. Suppose 0 = 3*i - 0*i + 3. Is i bigger than g?
False
Let x be (2/(-6))/(6/(-54)). Suppose d = -5*q + x, 5*d - q - 15 = -5*q. Is 3 at least as big as d?
True
Suppose 4*l + 0*l = 4. Let u = 9 - 13. Let t be ((-9)/6)/((-21)/u). Which is smaller: l or t?
t
Let k(u) = u**2 + u - 4. Let o(d) = d**2 + d - 5. Let z(i) = -3*k(i) + 2*o(i). Let r be z(0). Suppose -5*x + x = 8, x = -r*t. Which is smaller: 1/6 or t?
1/6
Let y = -55.011 - -0.011. Does y = 0?
False
Suppose 7 + 15 = -2*w. Let f be 54/12*8/(-3). Is w greater than or equal to f?
True
Let v = 0.83 - 0.8. Let s = 48 + -49.03. Let d = v + s. Which is bigger: 2 or d?
2
Let f(n) = 2*n - 3. Let c be f(2). Are c and 8/7 equal?
False
Let p be 8/(-4) - (1 - 1). Suppose 2*l - 5*s = -1 - 5, -5*l + 18 = 4*s. Let m = p + l. Is m less than 2/3?
True
Let v(u) = -u**3 - 5*u**2 - 5*u - 5. Let z be v(-4). Let s = -0.12 - -5.12. Let h = 5.2 - s. Which is greater: z or h?
h
Let o = 475 - 3280/7. Is o at least as big as 6?
True
Let s be ((-9)/3)/((-1)/1). Suppose 4*n = -s + 7. Is 2/57 <= n?
True
Suppose 3*f + 8 = 5. Which is bigger: f or -5/4?
f
Let i = -3 - -16/5. Let u(w) = -w - 8. Let l = -17 + 10. Let z be u(l). Which is greater: i or z?
i
Let q = 27 + -43. Let r be 6/q + 430/1360. Which is greater: 0 or r?
0
Let z = 3 - 3. Let v = 14.1 + -14. Let t = z - v. Which is greater: t or 7?
7
Let j be 1*(-1 + 1) - -10. Suppose 100 + j = 5*o. Let c be (-4)/o - 18/22. Is c != -1?
False
Let w = -87 + 91.1. Which is smaller: w or 0?
0
Let n = 0.8 + -1. Let b = -20.1 + 22. Let i = b - 2. Is i < n?
False
Let w be ((-8)/4)/(1*-4). Suppose -n - 2 = -2*n. Which is smaller: n or w?
w
Let r = 116/3 + -39. Let z = 15 - 15. Is z < r?
False
Let g = -43 - -64. Let i = -14 + g. Do 7 and i have different values?
False
Let o be 9/3 - (-230)/(-78). Are 0 and o equal?
False
Suppose 12 = -y - 2*y. Let f = y - -3. Which is bigger: 0 or f?
0
Let b be (-18)/(-24) + 36/(-16) + 0. Let q = 4 - 6. Is q greater than or equal to b?
False
Let d be (27/(-32))/3*16/(-12). Which is bigger: -1 or d?
d
Let q = -7 - -8.5. Let u = q + -0.5. Which is smaller: u or -1?
-1
Let c = 4/21 + 1/7. Do c and -12/13 have different values?
True
Let n(b) = 2*b + 11. Let o be n(-6). Is 0.67 at least o?
True
Let v(s) = -6*s - 1. Let r be v(0). Which is bigger: -5/6 or r?
-5/6
Suppose 6 = -2*s + 3*o - 4*o, 0 = 5*s + 5*o + 25. Suppose -11*k = -12*k + 1. Let r be (2/8*-7)/k. Which is smaller: s or r?
r
Let f = 0.1 - -0.4. Let n = f - 0.2. Is -2/3 at least n?
False
Let n(y) = 5*y**2 - y - 1. Let z be n(-1). Suppose -3*l - c = -6*l - 35, -c + z = 0. Is l < -10?
False
Let z(l) = l**2 - 2*l - 1. Let r be z(-1). Suppose -5*p + 1 - 36 = 0. Let i = p + r. Do i and -6 have different values?
True
Suppose -19 = -4*b - 3. Let h = 6 - b. Let g be -3 - (-1 - (0 - h)). Which is greater: -3 or g?
-3
Let s = -11 - -5. Let o(a) = a**3 + 6*a**2 +