0.6. Is o greater than 2/5?
False
Let x = -0.1 - -1.1. Let r = -0.2 - -0.4. Let w = r + -0.1. Is x at least as big as w?
True
Let l(b) = -b + 7. Let c be l(5). Is c < 0.7?
False
Let x be 4/5*(-20)/(-2). Suppose 4*o = 17 + 11. Which is smaller: o or x?
o
Let v(r) = r. Let o be v(5). Suppose -2*n + 6 = -n - 2*f, 5*n + o*f - 15 = 0. Do 5 and n have the same value?
False
Let z = -5 + 1. Let j be 2/(-5) - (-16)/15. Which is smaller: z or j?
z
Let x be (-3 - -6)/((-21)/2). Which is bigger: x or -2?
x
Suppose p - 5 + 1 = 0. Suppose -m - 16 = -5*v, v + 2*m + 5 = 17. Do p and v have the same value?
True
Let b = 74 + -83. Is -12 at least as big as b?
False
Let n(t) = t - 1. Let o be n(4). Let l be (4 + 8)*o/4. Is 6 at most as big as l?
True
Let t = -12 - -16. Let f = t - 4.8. Which is greater: f or -1/4?
-1/4
Suppose 0 = -4*y + 5 + 3. Let q be (-22)/(-18) - y/9. Do 2 and q have the same value?
False
Let o be -7*(3 - 44/14). Let h = -13084/31 - -422. Is o < h?
False
Let b be ((-5)/((-20)/112))/2. Let d = b + -25. Is d smaller than -11?
False
Let n(l) = l**3 - 7*l**2 + 6*l + 10. Let x be n(6). Let h be (1 - 1) + x/(-105). Which is smaller: h or -1?
-1
Let l = 25 - -17. Is l at least as big as 41?
True
Suppose -3*c - 1 = 23. Let y be (-4)/c*2*2. Suppose 0 = -y*u + 7*u. Is u >= -3/4?
True
Let y = -6 + 9. Let r = y + -3.5. Is r at least as big as 2/7?
False
Let p(h) = -h**3 - 5*h**2 - 5*h. Let w be p(-4). Let x be (-12)/(w - 0) - -3. Is 0 at least as big as x?
True
Let c = -373 + 2615/7. Which is smaller: c or 1?
c
Let h(v) = 2*v - 18 + 5 - 4*v + v. Let l be h(-4). Is -10 equal to l?
False
Let w be ((-1)/2)/(1/(-4)). Suppose -x + 12 = w*x. Suppose l + x*l + 5 = 0. Which is smaller: l or 0?
l
Let f(q) be the third derivative of q**4/24 + 5*q**3/6 - 6*q**2. Let y be f(-5). Is -1/4 at most as big as y?
True
Let a = 58/3 + -176/9. Suppose 3*v = 4*d + 1, v + 3*v = 3*d + 6. Let b be (-2)/4 + d/(-4). Is a at least as big as b?
True
Suppose 0 = -4*m + i - 4, -4*m + 15*i = 10*i + 4. Which is smaller: 7 or m?
m
Let q = -1 - 1. Let j = 9 - 12. Let a = j - q. Which is bigger: -2 or a?
a
Suppose -4*i - 20 = -2*i + 3*p, 2*i - p + 4 = 0. Let g = -5.8 + 6. Is g at least i?
True
Let j = 95 + -93. Which is smaller: 9 or j?
j
Suppose 4*q - 8 + 0 = 0. Suppose 5*c - 4 = 4*d, 20 = 4*d + 3*c - q*c. Is -0.1 at most as big as d?
True
Suppose 2 = 3*w + 3*t - 4, t = w - 12. Suppose w*a - 2*a - 3*k - 10 = 0, 2*a = k + 3. Which is smaller: -2 or a?
-2
Suppose -5*k - 3*y = -5, -k = 6*y - y + 21. Suppose -3*l + 12 = 4*o, k = -o + 3*l - 8. Let h be 0/2 - o/(-1). Is 1/5 > h?
True
Let q = 1.3 - -5.7. Let k = 5 - q. Which is greater: -0.1 or k?
-0.1
Let g(p) be the first derivative of -1/3*p**3 - 3*p**2 + 2 + 4*p. Let b be g(-6). Which is greater: b or 2?
b
Let a(u) = -u**3 - 3*u**2 + 5*u + 2. Let l be a(-4). Let i be l - (80/(-12))/5. Is 0 greater than i?
True
Suppose -3 = v - 2. Let q = 35 + -27. Let c be (-2)/2 - q/(-6). Which is greater: v or c?
c
Suppose -4*o = 25 + 187. Let f be o/(-110) + (-4)/22. Does 1 = f?
False
Let w = 2 + 1. Suppose -3*p = -3*a, 3*a = -w*p + a - 5. Let m be 0/p*(1 + -2). Is m at most as big as -1?
False
Let n = -20105/3 - -6622. Let i = n + 79. Let m be (0 + (0 - 0))/(-1). Which is smaller: m or i?
i
Let y(b) = 2*b - 2. Let m be y(4). Suppose s = -6*f + 4*f - m, s - 4*f - 12 = 0. Let z be 2/15*3 + -1. Is z at least s?
False
Let j(q) = -3*q + 8. Let d(t) = -4*t + 9. Let f(b) = 2*d(b) - 3*j(b). Let p be (-225)/(-60) + (-10)/(-8). Let l be f(p). Is l at most as big as -2/15?
True
Let m = -3 - -3. Suppose m = k - 4. Suppose -15 - 6 = -7*o. Is o at least k?
False
Let y be (9/2)/(3/10). Is y at least 13?
True
Let t = 36 + -24. Let p = 8 - t. Are -2/3 and p equal?
False
Let v(w) = -w**3 - 7*w**2 + w + 9. Let h be v(-7). Suppose 0 = 5*n + h*t - 28, -3*n - t + 21 = 5. Is n != 4?
False
Let q = -133.8 - -133. Is 3 <= q?
False
Let q = 130 + -86. Suppose -4*r + t + 58 = 6*t, -4*t + q = 3*r. Let p be 3/r*(0 - 1). Which is bigger: p or 1?
1
Let m = 0.11 + 0.69. Let d = m + -0.5. Which is smaller: 0 or d?
0
Let a be (-48)/14 - (-13 + 11). Which is smaller: -1 or a?
a
Let k = 5 - 10. Which is greater: k or 1?
1
Suppose 6*n = 7*n + 23. Is n < -23?
False
Let b(l) = 6*l + 3. Let x(o) = 3*o + 2. Let q be x(-2). Let h be b(q). Let f be (1 - 27/h) + -2. Which is greater: -1 or f?
f
Let f be 4/(-10) + (-206)/(-190). Let a be 1078/(-1520) + (-4)/(-10). Let n = a + f. Which is smaller: n or -1?
-1
Let d(s) be the first derivative of 1/3*s**3 - 4*s + 2 + s**2. Let t be d(-4). Which is greater: 5 or t?
5
Let u = 23 + -29. Are u and -5 nonequal?
True
Let y be (114/204)/((-7)/(-8)). Let m = 6/17 - y. Do m and -2 have different values?
True
Let t = -9 + 9. Suppose 20 = 5*n - 5*k, n + n + 3*k + 7 = 0. Suppose -n = -t*i - i. Which is bigger: i or 2?
2
Let h(x) = x**2 + 5*x - 5. Let p be h(-5). Let r = 4 + 3. Let a = r - 11. Which is smaller: a or p?
p
Let p(f) = f - 1. Let y be p(7). Suppose -c + y*c = 35. Which is greater: 8 or c?
8
Let h = -26 - -21. Which is greater: h or -4?
-4
Let i = 0.154 + 0.846. Is i less than or equal to 28?
True
Let t = 4 - 0. Let p = 1.4 + -5. Let z = t + p. Which is greater: z or -0.2?
z
Let v be 1 - ((5 - 4) + -7). Suppose 4*r + v = 35. Which is smaller: 6 or r?
6
Let m = -19 - -18. Let j = 246/5 + -49. Is j bigger than m?
True
Let w = 77 - 384/5. Suppose 0*n = -2*n + 2. Let z = -2 + n. Is z at most w?
True
Let b be 3 + -1 - (-2 + 3). Let m = 0 - b. Let c be (-1)/2*2 + m. Is c smaller than -1?
True
Let f(l) be the second derivative of -l**3/6 + 3*l**2/2 - 2*l. Let h be f(-7). Let n = h + -4. Which is greater: 7 or n?
7
Let k = 78 + -28. Suppose 5*y = -5*i + 8*i - k, 5*i - 40 = 5*y. Is -13 less than y?
False
Let c(k) = 4*k - 12. Let u be c(4). Let w be 18/72 + 23/u. Which is bigger: 2 or w?
w
Let m = -0.102 - -4.102. Which is greater: 10 or m?
10
Suppose -13*k = -16*k - 3. Is k not equal to -5/3?
True
Let w = -4 + 4. Suppose w = -2*b - 3*b + 50. Let i be b/(-45) + (-14)/18. Is -2/19 at least as big as i?
True
Let a be 1/(-14)*(-19 + 7). Which is smaller: 0 or a?
0
Let p(z) = -z**2 + 11*z + 22. Let m be p(13). Which is smaller: -6 or m?
-6
Suppose -4*o + 2*o - 12 = 0. Let x be 14*(9/o)/3. Let c = 12 + -20. Does c = x?
False
Let k(h) = h - 8. Let v be k(8). Suppose 0 = -5*g - v*g. Is -1 at most as big as g?
True
Let j(d) = d + 3. Let g be j(-4). Which is smaller: 2 or g?
g
Let r = -16 + 16.07. Let y = 0.13 - r. Let m = -0.06 + y. Which is smaller: m or -2?
-2
Let r = -69/119 - 29/17. Which is smaller: -1 or r?
r
Let c = 1.23 - 1.3. Let v = c - -0.07. Is -2/7 equal to v?
False
Suppose -4*u + 4 = -5*v, 2*v + 12 = -0*v - u. Suppose -3*s + 38 = -1. Let l be (-10)/25 - s/5. Which is greater: v or l?
l
Let c be (-4 - 1)*(-8)/10. Suppose l = y - l - 2, 10 = 5*y - c*l. Let x be 28/7*3/4. Which is smaller: x or y?
y
Let u = 4 + -8. Let d be (u + 0)/((-4)/6). Let y be d/(-33) - (-40)/(-22). Is -2 smaller than y?
False
Let v = 0.4 + 1.2. Let h = -0.3 - v. Let m = -2 - h. Which is bigger: m or -2/3?
m
Let p(d) = -d**3 + 3*d**2. Let v be p(3). Let w = 1774/7 - 253. Which is greater: w or v?
w
Let o = -2.24 + -0.16. Let d = 0.4 + o. Let z = -0.15 + 0.15. Is d less than or equal to z?
True
Let x = 0.1 - 0. Let w = 13 + -16. Which is smaller: w or x?
w
Suppose -106*h + 8 = -98*h. Let z(a) = -29*a + 1. Let u be z(1). Let y = u - -141/5. Is h not equal to y?
True
Let d = 3221/2354 - 15/11. Which is smaller: d or 1?
d
Let i = -116 - -2319/20. Which is greater: i or 0?
0
Let r = 3/427 + -3449/4697. Which is greater: -2 or r?
r
Let x = 0.31 + -4.31. Let z = -0.09 - -4.09. Let q = x + z. Which is smaller: 0.4 or q?
q
Let m be (-60)/(-2)*(-1)/(-3). Suppose 3*v = 4*g + 4 + 7, 0 = -4*g + 2*v - m. Let l be (-2)/10 + (-3)/(-15). Is l at least g?
True
Let g(w) = -w**3 + 5*w**2 - 2*w + 6. Let o be g(4). Which is bigger: o or 11?
o
Let p be 65*(-39)/81*-3. Let t = p + -95. Are -1 and t unequal?
True
Suppose 2*m + 3*o = -14, 5*o = -2*m + 5 - 27. Let u be 1*1/4*4. Let y be ((-4)/(-8))/((-1)/u). Which is smaller: m or y?
m
Let h(u) = -u**3 - u**2 + 20*u - 1. Let c be h(4). Which is greater: -34 or c?
c
Let a be (1 + 8)*(-4)/6. Let v(s) be the second derivative of -s**4/12 - 5*s**3/6 + 3*s**2/2 + 