e 22/(-28) + 18/j. Is w less than or equal to 6?
True
Let c(a) = -2*a**3 + 3*a**2 - 2*a. Let q be c(2). Let u = q - -10. Let p be u - (-2)/2 - 5. Is p greater than or equal to 1?
False
Let h be 11/(-2) - (-3)/(-2). Let l = h - -8. Which is greater: l or 2/7?
l
Let y = -3.9 + -1.1. Let m = -15.1 + 10. Let o = y - m. Which is smaller: -1/2 or o?
-1/2
Let j = 3.4 - 3. Let o = 2.4 - j. Which is bigger: 2/5 or o?
o
Suppose 4*x + 0 = -4. Let h be (-34)/(-10) - (2 - x). Which is smaller: -1 or h?
-1
Suppose 3*g + w = 18, 0*g - 4*w + 2 = -2*g. Let n be 4 + g/(20/8). Is 7 > n?
True
Let h be (-9)/(-4) + (-1)/4. Let z be 1/h + 10/20. Which is greater: 0 or z?
z
Let k = 56 - 391/7. Suppose -8*b - 11 + 3 = 0. Which is bigger: k or b?
k
Suppose 0 = -2*r - 3 + 13. Suppose r*t = 3*t + 2. Which is smaller: 3 or t?
t
Let d = -13 + 16. Let o = d + -2. Is o greater than or equal to 4/7?
True
Suppose 2*d + 0 = -f - 1, -f = 5*d - 5. Suppose -x + d*x = 1. Let o = 1.4 + -2.4. Which is smaller: o or x?
o
Let k(q) = q**3 + 4*q**2 - 5*q + 4. Let p be k(-5). Let t be (-2)/14 - (6 - (-448)/(-49)). Is p >= t?
True
Let y = -7.8 + 19.7. Let h = 12 - y. Are h and 1.1 non-equal?
True
Let o be 9/(-6) + (-1)/2. Let n = -5/12 + -23/60. Is o bigger than n?
False
Let s = 1.045 - 0.045. Let p = -57 - -121/2. Let j = 13/4 - p. Is s at least j?
True
Let o = 23 - 8. Suppose -o = 3*f - h, -2*f - 4*h - 10 = -h. Are f and -4 equal?
False
Let p(z) = -z**2 - 3*z + 2. Let h be p(-2). Let y be 1/h - 3/12. Let f = 1.1 - 1. Which is greater: f or y?
f
Let k = 8.896 - -0.004. Let r = k + -9. Let w = 2/29 + 52/87. Which is bigger: w or r?
w
Let g = -209/2 + 103. Suppose -b = b + 2*j - 2, 0 = -3*j + 9. Which is greater: g or b?
g
Let p = -131/100 + 14/25. Is -1 != p?
True
Let a(k) = -2*k + 10. Let z be a(4). Let p be 1 + z - (0 + 4). Which is smaller: p or 0.18?
p
Let c = 983/356 - 1/89. Which is smaller: 3 or c?
c
Let d be 1/(-4) - 63/(-12). Suppose 3*s + d*b = -12, 5*s - 2*b = s - 16. Which is greater: s or -5?
s
Let j be (-1 - 2) + (-26)/(-10). Let b = j - -4/5. Are 2 and b nonequal?
True
Let q = -41.9 + 42. Is q bigger than 0.14?
False
Let a(d) = -d**3 - 2*d**2 + d - 3. Let y be a(-3). Suppose -y*w = -w. Is w <= -1/2?
False
Suppose -2*s = -3*s - 19. Let i be s/(-30) + 3/(-6). Is i at most as big as -1?
False
Let b(w) = w + 8. Let i be b(-6). Let g = i + -1. Let u be (-1)/(3*g/(-2)). Which is smaller: 1 or u?
u
Let x(d) = d**2 - 3*d - 2. Let n be x(-2). Suppose n = f - 2. Do f and 0 have different values?
True
Let q be 1/(1 - 9/12). Suppose -19 = -3*r - j + 6*j, 4*j = q*r - 20. Suppose -5 = -r*v - 2. Which is bigger: 1/4 or v?
v
Let x = 0.2 + -0.1. Which is smaller: 11 or x?
x
Suppose 0 = -2*v, 3*v + v = 2*u + 4. Let l(z) = -z - 1. Let j be l(-2). Let y be (1 - (2 + u))/j. Which is smaller: y or -1?
-1
Suppose -3*q = -1 + 7. Suppose 4*v + 12 = 4*r + 5*v, 15 = 5*r - v. Suppose 3*g - 32 = 5*i - 0*g, 8 = -r*i - g. Which is smaller: q or i?
i
Let t = -27/299 + 144253/1495. Let z = 96 - t. Which is smaller: z or 0?
z
Let d(o) = o + 11. Let y be d(-10). Let i = -1 - -2. Is i > y?
False
Let o(x) = -2*x + 2. Let p be o(0). Suppose p*j + 4 = -0*j. Is j at least -3?
True
Let i = 4 + -4. Let o = -0.4 - 2.6. Let k = o - -3.1. Which is smaller: k or i?
i
Suppose 0 = -5*g - 25, g - 5 = -5*t + 6*g. Let v be ((-6)/4)/((-1)/(-2)). Which is smaller: t or v?
t
Suppose q - 5*z = 4, -2*z + 20 = 5*q - 0*z. Let s = -28 + 33. Is q greater than s?
False
Let h(t) = t**3 - 5*t**2 - 5*t - 5. Let v be h(6). Which is smaller: -3/26 or v?
-3/26
Let i be (1 - 5)/(3*(-2)/(-30)). Which is smaller: -21 or i?
-21
Suppose 0*m = -5*m - 10. Let o = 2/2967 + -3629/3956. Let y = o - -5/12. Which is greater: m or y?
y
Let f = 2 + 1. Let d(z) be the third derivative of -z**4/24 + 2*z**3/3 + z**2. Let t be d(f). Are t and -1/4 equal?
False
Let c = 1/288 - 871/2016. Suppose -z - 3*z = 0. Let u = 0 + z. Which is greater: u or c?
u
Let c be 140/(-99) - (-9 + (-332)/(-36)). Is c at most as big as -3?
False
Let x = -0.22 - 5.98. Let h = x + 1.2. Let k = -4.9 - h. Which is bigger: -2/3 or k?
k
Let f = 34 - 33.7. Are 2/19 and f nonequal?
True
Let t = 1 - 1. Let n be (-3)/18*(-9)/6. Which is greater: t or n?
n
Let q = -581/3 + 196. Which is greater: q or 1?
q
Let l = 3 + -17. Let i = l - -7. Which is greater: i or -8?
i
Let l be -1*(-6)/2 + 33. Suppose 5*v - x = l, -5*x - 4 = -5*v + 36. Let z = v - 8. Which is bigger: -1/9 or z?
-1/9
Suppose -4*t + 9 - 29 = 0. Let k be 2/t - 48/(-70). Let j(m) = -m**2 + 3*m - 1. Let h be j(3). Which is smaller: k or h?
h
Let w = -151/8 - -19. Let l be 2/4 + (-5)/(-2). Suppose 0 = -l*g - g. Which is smaller: w or g?
g
Let x = -0.12 + -1.88. Are x and -0.1 equal?
False
Suppose 2*q = -0 + 2. Let o(g) = g**2 + 4*g + 2. Let b be o(-2). Let x = b + 2. Which is smaller: q or x?
x
Let z = -3.2 + 0.2. Let y = 3.1 + z. Let g = 0.09 - y. Is 0 less than g?
False
Let b = -30.1 - -30. Is b greater than or equal to -19?
True
Let h = 77/4 - 19. Suppose 3*o - 1 = v, -2*v = 1 + 1. Do o and h have different values?
True
Let m be (-360)/198 - (-1 - 1). Which is greater: m or -14?
m
Suppose -2*o - 5*k + 4 = -o, -5*o = 3*k + 2. Which is smaller: -1/9 or o?
o
Let v(p) = -14*p + 10*p + 2 + 5*p. Let y be v(-3). Which is smaller: 1 or y?
y
Suppose -20 = 3*w + w. Let t = 47 + -53. Is w equal to t?
False
Let f be (12/8)/((-45)/12). Is f at most as big as 32?
True
Suppose 0*m = 3*m + 9. Let q = -2 - m. Suppose -w - q = -0*w. Are w and -6/5 equal?
False
Suppose -2*y - 25 = -5. Is y greater than -10?
False
Let r be (4/(-5) + 0)/(-2). Let g(x) = -x**2 - 2*x + 4. Let u be g(-3). Suppose -13 + u = -4*z, 5*z = -2*p + 17. Which is bigger: p or r?
p
Let c = 22 + -6. Let d be 207/(-12) - (-4)/c. Is d at most as big as -18?
False
Let p = -508/5 + 102. Are 1 and p unequal?
True
Let g = -321/40 - -69/8. Which is greater: g or -5?
g
Let y(r) = -2*r + 7. Let s(b) = 4*b - 13. Let j(o) = 3*s(o) + 5*y(o). Let m be j(6). Does m = 8?
True
Let p = 5 - 5.4. Let n = p + -0.6. Are n and -0.1 unequal?
True
Let o = 2/45 - -41/90. Let g(l) = l. Let k be g(2). Suppose 2*w - 4 = -k*w. Which is smaller: w or o?
o
Let j(b) = b - 2. Let k be j(6). Let c = -3 + k. Let m be 0 - -1 - 38/34. Which is smaller: m or c?
m
Let a = 680075/9814 + -15/1402. Let q be 1/4 + (-277)/4. Let t = a + q. Is t <= -1?
False
Let j = -4.984 - 0.116. Is j at most -0.1?
True
Let s = -3 - -6. Let d(o) = -2*o + 15. Let u(h) = -h + 7. Let b(j) = -4*d(j) + 9*u(j). Let l be b(s). Is l less than -2/3?
False
Let t = 3.5 - 3.411. Which is smaller: t or 1?
t
Let t = 10 + -9. Let a = -1/6 + -1/12. Which is greater: a or t?
t
Let v = -0.08 + 0.08. Let t = 2 + v. Is t less than or equal to -0.2?
False
Let y be 628/(-1154)*29721/(-2). Let c = -8087 + y. Let r = -1180/7501 - c. Is 1 less than r?
False
Let l(j) = j - 2. Let n be l(-2). Let q be (2/n)/((-1)/14). Which is smaller: q or 6?
6
Let q be -4*1*(-15)/(-12). Let y be -1*(2 - q)/(-1). Suppose 0 = -5*b + 17 - y. Is 2 greater than b?
False
Let d = 12.9 - 13. Which is greater: -5 or d?
d
Suppose -3*f + 2*o = -23 + 7, 2*f + 4*o = 0. Which is smaller: 6 or f?
f
Let z = -3 + 6. Is z not equal to 8/5?
True
Let m = 6 + -9. Let c = m - -4. Which is smaller: -1/2 or c?
-1/2
Let j be (-10*3/6)/1. Is -6 > j?
False
Let u be 2/2 - (3 - -6). Are u and -5 unequal?
True
Let u = 17 + -33/2. Let g = 0.7 + 0.3. Is g less than or equal to u?
False
Let j(d) = d - 5. Let y be j(5). Suppose 3*w = -y*w. Let f be -2 + (-1 - (-3 - w)). Is f < 3/7?
True
Let o(s) = s**3 - 15*s**2 + 15*s - 6. Let j be o(14). Let y be (2/10)/(j/(-15)). Is y smaller than 1?
True
Let k = -1 - -1. Suppose 5*u - 31 = -4*l - k*u, 4*l = -4*u + 28. Let s(t) = -t**3 + 6*t**2 - 3*t - 6. Let j be s(2). Are j and l unequal?
False
Let x(v) = v**3 - v**2 - v. Let t be x(2). Suppose j - 9 = -t*j. Is j >= 3?
True
Suppose -4*l - 2 + 20 = 2*i, -5*i + 3*l = 20. Which is smaller: 2/5 or i?
i
Let w be (2 + -1)/(15/(-75)). Which is greater: w or -4?
-4
Let v(k) = -k**2 + k + 4. Let t be v(-2). Let a be -1*t*2 - 2. Which is greater: 1 or a?
a
Let l be ((-9)/(-18))/(2/24). Let j = -4 + l. Is 7/6 at least j?
False
Let n(o) = o**3 - 4*o**2 + 3*o - 2. Let t be n(3). Which is bigger: t or 1?
1
Let z be 6/10*(-4)/6. Let w =