.1 - 5.9. Let h = 6.9 + w. Is -1/4 at least h?
False
Let q be (-12)/(-10)*200/36. Which is bigger: 8 or q?
8
Let p = 8 + -17. Let y = 8 + p. Let i = 158/3 - 52. Which is smaller: y or i?
y
Let n be (30/(-35))/(1/(-7)). Is 6 >= n?
True
Suppose 5 = 3*u - 8*u. Let r(x) = x**3 - 3*x - 2. Let q be r(-1). Which is smaller: u or q?
u
Let r(l) = -l**2 + 5*l - 7. Let t be r(5). Let k = -617/2 - -303. Is t > k?
False
Let n be (0 + (-4)/6)*-21. Let r = 16 + -37. Let v be ((-3)/7)/(r/n). Which is bigger: -1 or v?
v
Suppose -2*d - 2*d + 16 = 0. Let o be 1/2 - (d + -2). Is o greater than -1?
False
Suppose -2*z + 12 = 4*a, -4*z + 10 = 2. Let y be 3/(-1 - a) + 2. Which is smaller: y or -2?
-2
Let u = -2.45 + 2. Let y = u + 0.25. Let c = 271/7 - 39. Which is greater: c or y?
y
Let i(y) = -y + 1. Let q be i(3). Suppose 1 + 0 = -2*f + v, -2*f - 2*v - 4 = 0. Which is greater: q or f?
f
Suppose -10 = -3*x - b, -4*x - 6*b = -b + 5. Let p = -1 + x. Let m be (-1)/(-5) - 0/p. Which is bigger: -2 or m?
m
Let z(k) = 1 + 2 + 3 + 0*k - k. Let y be z(8). Does -2 = y?
True
Let f(g) = 2*g. Let l be f(-1). Which is smaller: -1/7 or l?
l
Let p = -31 - -34. Are p and 5 equal?
False
Suppose -g = -0*g - 3. Let p = g + -2. Let i be (p/(-3))/((-3)/9). Which is greater: 1/3 or i?
i
Let z be (-6)/18 - (-118)/(-6). Are -20 and z nonequal?
False
Let h = 3 + -1. Let g be 1*2*h/(-2). Let y = 7 + g. Is y smaller than 5?
False
Let v = -7.8 + 8. Let x be 1/4*1 + -17. Let g = x + 17. Is v smaller than g?
True
Let d = -6 + 4. Let f = d - -1. Suppose -3*g - 1 = -7, -2*g = 5*k + 1. Is f equal to k?
True
Let d be 2 + ((-11)/12 - 1). Are 1 and d unequal?
True
Let z = 37 + -35. Let q = 1 + 0. Which is smaller: z or q?
q
Let q = -2.1 + -5.9. Let l = q + 7. Which is smaller: l or 0.3?
l
Suppose 5*j + 4 = -1, 4*j + 7 = 3*h. Let k be (-2)/((-16)/2*h). Is -4/3 <= k?
True
Let p = 6/49 + -16/931. Which is bigger: p or 0?
p
Suppose -5*f + 4*f - 2*p + 6 = 0, -2*f + 5*p = -3. Suppose f = 2*o + 28. Let r be 2/o*6/(-2). Which is bigger: 2 or r?
2
Let f = -51 + 36. Is -15 smaller than f?
False
Suppose 0 = -2*x - 4*i + 7*i + 148, 3*x - 5*i = 222. Is 74 less than or equal to x?
True
Let d = -10 + 10. Is d at most -1/6?
False
Let w = 0 + -4. Let j = w - -6. Is j < -1?
False
Let s(l) = -l**3 + 9*l**2 - 7*l + 2. Let o be s(8). Is 11 < o?
False
Let x = 27.9 - -2.1. Is x greater than -2?
True
Let u = 3 - 1. Let y be 36/(-54)*3/(-2). Are u and y equal?
False
Let y(k) = -4*k - 25. Let n be y(-6). Which is bigger: 3/14 or n?
3/14
Let t be (1 - 15/20)*-1*2. Let q = -0.9 - 0.5. Let d = -0.6 + q. Which is smaller: d or t?
d
Let r(i) = i + 11. Let q = -15 + 15. Let b be r(q). Which is smaller: b or 12?
b
Let o = 144/43 - 4808/1333. Do 1 and o have the same value?
False
Let t(v) be the third derivative of v**4/24 - 11*v**3/6 - 2*v**2. Let u be t(10). Let l be (-1)/(-15) + 2/6. Is u less than l?
True
Suppose a - 2*b = -14, 2*b = a - b + 17. Let o = 6 + a. Is -4 at least o?
False
Let k(r) = -r**2 + 9*r - 19. Let q be k(6). Let y = 2 - 5. Let g = y - -1. Is q at least as big as g?
True
Let z be (8/(-5))/((-4)/10). Suppose -5*k - 15 = 5*n, -5*k - 11 = -3*n + z*n. Are n and 1/2 nonequal?
True
Let b(v) = v**3 - 5*v**2 - 5*v + 12. Let l be b(5). Which is smaller: -14 or l?
-14
Let n = 51 + -51. Which is smaller: n or -1/8?
-1/8
Let p = 3.1 - 3. Let f(s) = -2*s + 5. Let n be f(-4). Let w = 9 - n. Is p at least as big as w?
True
Let b be (21/(-364))/((-1)/8). Which is greater: b or 0?
b
Let z = -52 + 53. Are z and -3 equal?
False
Suppose -3*y + g = 3*g - 22, 2*g = 4*y - 6. Suppose x = -5*a - 17, y*a - a = -4*x. Is x less than 3?
False
Let s be 19*5*16/(-20). Let b be s/112 + 2/8. Which is greater: 0 or b?
0
Let q be -3 + (-3 - (675/(-21))/5). Let r = 0 - 0. Which is bigger: r or q?
q
Suppose u = -3*u - 4. Let j be (-2 + (-15)/(-6))*2. Let o be 28/(-12) - (u - j). Is o bigger than 6?
False
Let j(q) = -q**2 - 4*q - 5. Let z be j(-4). Let i be ((-8)/(-6))/((-2)/6). Which is bigger: z or i?
i
Suppose 3*l - t = -2*t + 131, 4*t = 2*l - 78. Which is smaller: 42 or l?
42
Suppose 8*d + 25 = 1. Which is smaller: d or -18/11?
d
Let l(k) = -2*k - 27. Let m be l(-14). Is m less than 4?
True
Let c(i) = 3*i - 5. Let h be c(-3). Let n = h + 14. Let p be 1 + 22/20*-1. Is p <= n?
True
Let c be 0 + (0 - 2/71). Which is smaller: c or -1?
-1
Let b(q) = q + 6. Let s be b(-7). Let y(v) = -v**3 - 7*v**2 + 8*v - 2. Let p(w) = -w**2 + w + 4. Let h be p(4). Let u be y(h). Which is greater: u or s?
s
Let w(l) = l**2 - 4*l. Let p be w(2). Is p at most -6?
False
Let j = 1 + -1.1. Are -2 and j non-equal?
True
Let d(f) = -f**2 + 3*f + 2. Let r be d(-2). Let m be (-15)/20 - 62/r. Let j be 5/m - 5/5. Which is bigger: 1 or j?
1
Let v(q) = 3*q + q**3 + q - 2 - 5*q**2 - 1. Let p be v(4). Let r = -4 - -2. Which is greater: r or p?
r
Let c be 4/10*20/16. Let u = 53603/42330 - -1/2822. Let n = -8/5 + u. Is n greater than or equal to c?
False
Let h be 2/(5 - 3 - 3). Let d(v) = -2*v - 6. Let q be d(-4). Let i be (-2)/(-4) - 9/q. Are h and i equal?
False
Let g = -27 - -19. Let a be (6/(-9))/(g/6). Which is smaller: -2/3 or a?
-2/3
Let s be 11 - (-2)/(-4)*2. Let x be (-18)/s + 2/(-10). Let b(m) = 2*m + 7. Let u be b(-5). Which is bigger: x or u?
x
Suppose -3*i + 3*d - 2 - 4 = 0, -3*i + 4*d - 5 = 0. Let m = 89 - 35. Let c = m - 167/3. Are c and i equal?
False
Let d(b) be the first derivative of -6*b - 1/2*b**2 - 3. Let a be d(-5). Is a >= 2/5?
False
Suppose 0 = -5*b + 15 + 10. Let r = 8 - b. Is 1 at least r?
False
Let t = -42.9 + -2.1. Which is smaller: t or -0.2?
t
Suppose 3*c = 2*t - 6, 3*t - 1 = -2*c + 21. Which is greater: t or 2?
t
Suppose -5*g - 160 = 5*u, 5*g = -u - 116 - 32. Let r = g - -17. Is -13 >= r?
False
Let m = 23 + -13. Let h(t) = -t**2 + 11*t - 11. Let c be h(m). Is -2/5 != c?
True
Let l(w) = -w**3 - 5*w**2 + 7*w + 6. Let z be l(-6). Let q be 3 + (-3 - (0 + z)). Let o be (-4)/10 - (-1)/(-10). Which is smaller: q or o?
o
Let z(q) = -3 - 1 + q**2 + q + 3. Suppose -2*y + 0*d + d - 4 = 0, d = 0. Let w be z(y). Which is smaller: w or -2/5?
-2/5
Let y be (-34)/9 + (-2)/9. Let i be (y/6)/((-35)/(-15)). Which is smaller: i or 1?
i
Let h = 38 - 17. Let g be 56/h + (-4)/6. Let z(r) = -r**2 + 5*r - 2. Let c be z(4). Is g not equal to c?
False
Let z = 1936/17 + -114. Let y(h) = h**2 - 5*h - 8. Let u be y(6). Let p be 2 - 1/(-1 - u). Which is bigger: p or z?
p
Let h = -416460 - -462270691/1110. Let m = -2/111 - h. Is -1 at most m?
True
Let i(z) = -z**3 - 2*z**2 + z + 2. Let r be i(2). Let g be (r/(-40))/((-6)/(-4)). Which is smaller: g or 0?
0
Let k = 59/2 - 31. Let x = -13/10 - k. Which is greater: x or 2/5?
2/5
Let b(f) = f**3 + 2*f**2 - f. Let i be b(1). Let t = i - 1. Are -2/3 and t non-equal?
True
Let t be (-4)/(-10) + 4/(-10). Let o be (16/24)/((-8)/6). Which is smaller: o or t?
o
Let x be (-8)/(-366)*(-15)/(-10). Suppose -w = w - 2. Which is smaller: x or w?
x
Let n(h) = h**3 + 12*h**2 + h + 17. Let p be n(-12). Suppose p*m - 5 = 3*r - 1, -4*r = -4*m + 8. Which is bigger: -4/9 or m?
-4/9
Let f = -3 - -4. Let z = 0.6 - 0.2. Let q = z + -0.4. Which is smaller: f or q?
q
Let m = 0.5 + -0.9. Let d = m - -0.3. Let x = 0.3 + d. Is x >= 1?
False
Let q be (-4)/(-2) + (19 - (2 - 7)). Is 26 greater than or equal to q?
True
Let s be 0/(-3) + (-4)/(-6). Let c(y) = y - 1. Let n(t) = -t**3 - 6*t**2 - 5*t + 1. Let l(u) = -4*c(u) - n(u). Let d be l(-6). Which is greater: s or d?
s
Let o be (20/(-32))/((-3)/(-9)). Are -1 and o non-equal?
True
Let z(p) = p**2 + p - 9. Let q be z(-4). Let x = -262/3 + 89. Is q at least as big as x?
True
Let j = 5.4 + -5.9. Which is smaller: -1 or j?
-1
Suppose -3*o - 2 = 7. Do o and -7/2 have the same value?
False
Let y(q) = -q**3 + 10*q**2 + 9*q + 15. Let p be y(11). Let o(n) = -n**2 - 8*n + 4. Let j be o(p). Is 11 <= j?
True
Let p(j) be the first derivative of -j**4/4 - 2*j**3 - j**2 + 2*j - 1. Let w be p(-2). Do w and -10 have the same value?
True
Let r = -31 + 31.2. Which is bigger: r or -4?
r
Let b = -0.02 + 0.62. Let f = -7/12 + -1/12. Are b and f equal?
False
Let c be (-6)/4 + 0 + -1. Is c != 0?
True
Let s = -14 + 7. Which is smaller: -6 or s?
s
Let b be 15/(-60) - (-3)/(-4). Which is greater: b or -12?
b
Let t = -0.39 - -0.49. Is -4/53 at 