-62. Is x smaller than -0.9?
False
Let u = 101/129 + -5/43. Let a = 0.3 + -1.3. Is a at least u?
False
Let t(c) = c**2 + 2*c - 4. Let r be t(-5). Let g = r - 6. Suppose -o + 14 = 3*a, -g*a + 0*o - 4*o = -28. Which is smaller: 3 or a?
3
Let h(i) = -9 - 3*i - 3*i**2 + 2*i**2 - 5*i. Let o be h(-6). Let z be 1 - o*(-2)/(-3). Which is bigger: z or -1/8?
-1/8
Suppose 4*a - 3*a + 1 = 0. Which is bigger: -1/65 or a?
-1/65
Let t = 4 + -2. Suppose -5*q + 1 = -3*k, -t*q + 0*q - 4 = k. Let r be (-6)/4 + (-80)/(-48). Is r < q?
False
Let s(n) = 3*n**2 + 2*n - 2. Let q be s(2). Let l be (-4)/q - (-16)/56. Is -0.5 at least as big as l?
False
Let c = -0.52 + 0.42. Which is greater: -50 or c?
c
Let o = 643/5 - 129. Is -1 <= o?
True
Let b = 1 + -1. Let f be (2/(-10))/(4/(-10)). Which is smaller: f or b?
b
Let d = 0.3 + -0.34. Is -0.4 at most d?
True
Let p be 2 - 1/(3 - 4). Suppose p*g = -0*g + 9. Let q be 4/(-6) - (-8)/3. Is g not equal to q?
True
Let a = 472 + -762. Let y be (-1)/5 + (-38)/a. Which is greater: 0.1 or y?
0.1
Let m be ((-52)/12)/((-14)/(-12) + -3). Which is bigger: 2 or m?
m
Let f = -0.093 + -0.007. Let i = 223/442 + -7/26. Which is bigger: i or f?
i
Let r = -25 - -25. Which is smaller: -1 or r?
-1
Suppose t + t = -5*y + 26, 8 = 5*y - 4*t. Suppose -2*c - 3*p = 14, y*c + 12 = -4*p - 12. Is c != -5?
True
Suppose 3*t + 1 = -4*h + 2*h, -5*t + 3 = 4*h. Is 6 equal to h?
False
Suppose 2*x - a - 9 = 0, -4*a - 18 = -2*x - 0*x. Suppose 2 + 4 = x*r. Suppose -4*o = -0 - 4. Is r at most o?
False
Let m = 156 - 156.03. Is m > -6?
True
Let i = 146 + -137. Which is bigger: 3 or i?
i
Let a be (228/48)/((-1)/4). Which is smaller: -20 or a?
-20
Let z = 19/14 + -6/7. Let p = -0.9 + 1. Let s = p - 0.2. Which is smaller: s or z?
s
Suppose d - 4 = 5*d. Let x be (-695)/(-2)*4/14. Let w = 99 - x. Is d at least w?
False
Let s = -0.24 - 9.76. Let p = -17 - s. Is p not equal to -1?
True
Let b be 4/(2 - (-2 + 3)). Suppose 8 = b*k - 8. Suppose y - k*h = 0, -4*y - h = 2*h - 19. Is 4 at most y?
True
Suppose 4*l + 2*c = -9 - 23, -4*l - 4*c - 40 = 0. Let x(k) = -2*k - 11. Let a be x(l). Suppose 2*z - 1 - 2 = -r, 4*z + r = 3. Which is smaller: z or a?
z
Let p be 2*3*(-6)/9. Let d be (-3)/(-5) + p/(-10). Let u be -1 - 1 - (4 + -5). Is d at most u?
False
Let k be ((-160)/12)/(3*3/27). Is -40 greater than or equal to k?
True
Let k = 5 - 2. Suppose -y + 6*y - 20 = 0. Which is bigger: k or y?
y
Let j = -79/255 - -3/17. Let g be (-1)/(-2) - 27/18. Which is greater: j or g?
j
Suppose -5*o = -9*o + 40. Is o greater than 52/5?
False
Let t = -2 - -1. Let h be (8/(-12))/(t/(-3)). Which is smaller: h or 0.1?
h
Suppose 2*u - 7 = -1. Let d = -3 + u. Suppose -2*y + d*y + 2 = 2*x, y = 4*x + 11. Is x equal to -1/2?
False
Let u = 4.6 - 1.6. Which is bigger: -5/4 or u?
u
Let g = -7 - -11. Suppose 4*z = 5*z + 1. Is g != z?
True
Suppose 4 = -3*n + 1. Let f = -4/35 + -97/70. Is n bigger than f?
True
Let c = 55 + -71. Which is smaller: 2/3 or c?
c
Let u be -1 - ((-190)/42)/5. Let h(w) = w - 5. Let b be (5/(-1) + 1)/(-1). Let d be h(b). Which is bigger: u or d?
u
Let k(o) = -o**3 + 13*o**2 - 12*o + 3. Let r be k(12). Let l = 15 - 11. Which is smaller: l or r?
r
Let b = -4 - 90. Let i = b - -272/3. Which is smaller: i or -4?
-4
Let j(y) = 3*y**3 - 5*y**2 - y - 4. Let b(w) = -4*w**3 + 4*w**2 + 2*w + 4. Let o(u) = 2*b(u) + 3*j(u). Let v be o(7). Let n = -1 - -2. Which is greater: n or v?
v
Let c be ((-26)/(-52))/(2/(-4)). Which is greater: -1/35 or c?
-1/35
Let y = -5 + 9. Let u = -2 + y. Which is smaller: 1 or u?
1
Suppose -4*t + 45 = t. Let z = t - 3. Suppose c = 3*i + 2, -z*c + 8 = 5*i - 2*c. Is -1 greater than i?
False
Let l(k) = k - 12. Let a be l(10). Suppose -3*u - 4 = -u. Are a and u unequal?
False
Let r = 0.21 - -7.79. Let b = -11 + r. Are 1 and b nonequal?
True
Let m(f) be the third derivative of f**4/12 + f**3/2 - f**2. Let l be m(-5). Is -7 at most as big as l?
True
Let f(h) = -2*h**3 + h. Let t be f(-1). Let i = t + -1. Let s = -86 + 432/5. Which is smaller: i or s?
i
Let y(s) = s**3 + 3*s**2 - 6*s - 4. Let n be y(-4). Suppose z - 3*i = -n, 3*z + z - i + 16 = 0. Which is smaller: 0 or z?
z
Let f = -2080 - -10432/5. Which is bigger: 7 or f?
7
Suppose 0 = -3*d - 2*d + 10. Suppose 0 = -d*o + 3*o - 1. Let q be (-3)/o*4/12. Which is smaller: 1/11 or q?
q
Suppose -6*z - z + 196 = 0. Which is smaller: z or 29?
z
Suppose -c - 2 = 4. Let g = c + 4. Let o = g - -2. Which is smaller: -1 or o?
-1
Let y = 90 - 448/5. Let l = -3 + 7. Suppose -5*p = l + 6. Which is smaller: p or y?
p
Suppose 4 = 4*u - 5*v, v + 5 = 5*u - 0*u. Suppose -u + 4 = -3*b. Let m be 2 + (-6)/(-4 - b). Which is smaller: 3 or m?
3
Let f be (-279723)/4599*-3 - -1. Let a = f - 347/73. Let w = 179 - a. Is w less than or equal to 0.1?
False
Suppose -2*y - 2*l = -4*y + 2, -5*y = l + 19. Is -3 greater than or equal to y?
True
Let t be (0 - 0 - -2)/(1 - -1). Let h be ((-4)/14)/(6/(-14)). Is h smaller than t?
True
Let a be 8/2 + 1 + -1. Suppose -3*g = a*z - 5, 0 = 4*z - g - 9. Suppose 0 = 3*j - k + 6*k - 7, j + 5 = z*k. Which is bigger: j or 0?
0
Let l = -117 - -583/5. Let r = -111 + 110. Which is greater: l or r?
l
Let k(a) = -a + 2. Let j be k(6). Is j less than -5?
False
Let f be 6/(-12)*104586/(-87). Let j = f - 601. Which is greater: -1 or j?
j
Let f(s) be the second derivative of -s**4/12 - 7*s**3/6 - 9*s**2/2 - 3*s. Let l be f(-6). Is l at least -3?
True
Suppose 5*z - 6*s + s = 35, z + 18 = -4*s. Is -1/20 smaller than z?
True
Let g be (-18)/14 + 4/14. Which is smaller: g or -1/6?
g
Let u(c) = c**3 + c**2 + 2*c + 1. Let o(k) = k**3 + k**2 + 3*k + 2. Let h(t) = 3*o(t) - 4*u(t). Let s be h(0). Let w be s/5 + (1 - 1). Which is greater: 0 or w?
w
Suppose -n - 1 = -t, n - 4*t - 1 = -t. Let i = -1 + n. Which is smaller: i or -4?
-4
Let o = 0 - 0.2. Let q = -5 - -4.7. Let m = o - q. Which is bigger: 2 or m?
2
Let v = -11159/11 + 1017. Which is bigger: 2 or v?
v
Let a(f) = 2*f**3 - 2*f - 1. Let b = 12 + -13. Let u be a(b). Let g be 4/(-4) + 1*2. Are u and g equal?
False
Let w be (1 + -2 + 0)*1. Which is bigger: -4/11 or w?
-4/11
Let l be (-120)/16 - (-2)/4. Suppose 4*h + 58 = 2*c + 3*c, 0 = h - 2*c + 13. Let o = 9 + h. Which is greater: o or l?
l
Let o be 20/(-50)*(-11)/12. Let r = o + -7/10. Which is smaller: 2 or r?
r
Let l be (-4)/(-1) - (-2)/(-1). Suppose -53 = l*u - 43. Is -1 != u?
True
Suppose -4*z - 4 + 2 = -3*n, -3*z - 5*n = -13. Which is smaller: -2/165 or z?
-2/165
Let u = 648 + -9724/15. Is u at most as big as 1?
True
Let k = -25/9 - -53/45. Which is greater: k or -1?
-1
Let g be (4/142)/((-1)/((-12)/8)). Is g < -1?
False
Let b(k) = 6*k - 121. Let x be b(20). Is 1/19 at least x?
True
Let q = -4 + 0. Let t be q*(-1 - (-2)/4). Suppose c - 1 = -c + i, 5*c + t*i = -20. Is c smaller than 0?
True
Suppose 4*b + 8 = 5*o, 8*b - 3*b = -3*o - 10. Let t be (b + (-18)/(-5))*-5. Let n be ((-3)/2 - -1)*t. Is 3 bigger than n?
False
Let s be ((-2)/(-5))/(7/(-5)). Which is smaller: 1.7 or s?
s
Let r be ((-8)/2)/((-4)/18). Let w = r + -23. Which is bigger: -7/2 or w?
-7/2
Let o be (-15)/20 + 118/4. Let l = o + -29. Suppose 2*g + 2 = u + g, -g = 4*u + 7. Which is bigger: u or l?
l
Let w(p) be the second derivative of p**4/12 - 5*p**3/6 - 3*p. Let j be w(5). Suppose -t - 4*t + 5 = j. Which is bigger: -1 or t?
t
Let b = -26 + 36. Do 13 and b have the same value?
False
Suppose -8 = 4*p - 24. Suppose 4 = t, -p*t + 16 = -3*b - 2*b. Let v = 0.03 - 0.03. Do b and v have different values?
False
Let a = -25 - -20. Let b = 5 + -4.8. Are b and a equal?
False
Let y = -30 + 42. Let r = 10 - y. Is -3 smaller than r?
True
Let u = -3.9 + 4. Which is smaller: u or -2?
-2
Let c = -18 - -18. Let l = -2 - -1.7. Is c <= l?
False
Let b(a) = -19*a**2 - 2*a - 2. Let n be b(-1). Let x = 14 + n. Which is greater: x or 1?
1
Let i = -97443/4 + 24541. Let h = -179 + i. Is h at least as big as 1?
True
Suppose 0 = 4*t - 8. Which is bigger: 4/5 or t?
t
Let s be -3 - 0/2*-1. Let y = -171 - -169. Which is smaller: s or y?
s
Suppose 7*z = 17 + 32. Do z and 42/5 have the same value?
False
Let n = 0.04 - 0.04. Which is greater: n or 4?
4
Let l = -71 + 63. Which is smaller: l or -0.05?
l
Suppose 44*k - 64 = 40*k. Is k at most as big as 16?
True
Let r = -5 + 14. Let n = r + -16. Let f(o) = 