-2) + -2*s. Is m at most as big as d?
True
Let h = -374/1795 + 3/359. Let b(u) = 2*u**3 + 2*u**2 + u. Let t be b(-1). Do t and h have different values?
True
Suppose 3*y - 13 + 7 = 0. Suppose i = 2*x + 1 + 6, -x = y*i + 1. Is x at most -4?
False
Suppose 2 + 12 = c - 3*o, -4*c - 29 = 5*o. Is 3/10 bigger than c?
True
Suppose 4*w - 2*b - 2 = b, 2*w - 3*b - 4 = 0. Let d(j) = -j**3 - 4*j**2 + 8*j + 11. Let s be d(-5). Let f be (3/24)/(s/8). Which is smaller: w or f?
w
Let a(g) = -g**2 - 3*g. Let o be a(-2). Suppose -o*b = -b - 2. Suppose 0*r - b*r + 2 = 0. Is r > 1?
False
Let a be 2/(-4) - (-1)/(-14). Let n be 2/(-6) - (-2)/(-3). Which is bigger: a or n?
a
Let p(m) be the first derivative of -m**2 + m - 5. Let q be p(-1). Is 3 less than q?
False
Let u be -6 - (-5)/15*0. Let m = 4 - 7. Are m and u equal?
False
Let z = -0.5 - 0.5. Let f = -1 + z. Is 1 at least f?
True
Suppose 18 - 20 = 2*h. Which is smaller: -2 or h?
-2
Let a = 18 + -14. Suppose -a*i - 24 = -m, -2*i = -3*m + 3 - 1. Which is bigger: -5 or i?
-5
Let m(q) = 14 - q - 1 - 7. Let h be m(6). Let r = -1677/11 - -153. Which is bigger: h or r?
r
Let f be 4*((-5 - -2) + 2). Let j(p) = p + 4. Let m be j(f). Which is bigger: m or 5/8?
5/8
Let z = 7.09 + -0.09. Which is smaller: z or 2?
2
Let q be (-14 + 10)*3/(-2). Let f be 60/8*4/q. Which is smaller: f or 6?
f
Suppose -n - 6*n + 77 = 0. Which is smaller: 6 or n?
6
Let h be (5/(-2))/(2/(-4)). Suppose 5*b - 16 = -w, -3*w - b + h = -w. Let l be 5/10*5 + -2. Is w greater than l?
True
Let m be ((-2)/(-30))/(15/(-30)). Let q = -3 - -2. Which is bigger: q or m?
m
Let j = 5 + -5. Suppose -5*i + 0*i = j. Suppose i = -2*y - y - 3. Which is smaller: -2 or y?
-2
Let q = 8 + -18. Is -10 < q?
False
Let n = 44 - 3. Let v = n - 202/5. Which is smaller: v or 0?
0
Let g = 9444 + -226703/24. Let y = 21/8 + g. Is y bigger than -10?
True
Let h(z) = 2*z - 41. Let a be h(20). Is a at least 1/71?
False
Suppose 0 = -2*i + 9 + 13. Let c = -11 + i. Which is smaller: 3/11 or c?
c
Let v(w) = -3*w - 4. Let x(q) = -8*q - 12. Let h(k) = -11*v(k) + 4*x(k). Let u be h(2). Let s be 2/(-2)*(-2)/(-5). Do u and s have different values?
True
Suppose 8*c - 9*c - 4 = 0. Do c and 2 have the same value?
False
Let k = 0 + 2. Let p = -29 - -31.1. Let w = 2 - p. Is w at least as big as k?
False
Suppose -2*a - 5 = -4*i + 9, 0 = a + 3*i - 8. Is a <= 5/11?
True
Suppose 2*d + x - 6 = 0, -3*d + x + 9 = -2*d. Suppose -m - 5*y = 0, -3*m + 0*y - 10 = d*y. Let v = -6 - m. Which is smaller: v or 1/3?
v
Let t be (-15)/16 - -1 - 0/2. Which is smaller: t or 0.1?
t
Let z be 1 - 12 - 1/(-1). Let u be 7/z - (-2)/10. Is 0.1 greater than u?
True
Let h = -6 + 4. Let q = h - 5. Let d = 6.9 + q. Is d greater than or equal to -1?
True
Let x be ((40/68)/(-1))/2. Is -1 greater than or equal to x?
False
Let s be 301/315 - -3*(-6)/45. Is s < 2?
True
Let n(a) = -a + 13. Let t be n(11). Suppose -4*m - m = -5. Which is smaller: t or m?
m
Let z(v) = -v**3 - 11*v**2 - v - 8. Let s be z(-11). Let u be (6/28)/(s/(-4)). Which is smaller: 0 or u?
u
Let p(y) = y**3 + 14*y**2 + 13*y - 14. Let c be p(-13). Let z = c - -3. Let j = -8 - z. Which is smaller: 2 or j?
2
Suppose -5*a - 14 = s - 5, s - 7 = -a. Is 11 greater than s?
False
Let r(y) be the second derivative of 2/3*y**3 + 1/12*y**4 - 1/2*y**2 + y + 0. Let x be r(-4). Are x and -1 equal?
True
Let c = -0.01 + -0.99. Let h = 0 - 2. Is h >= c?
False
Let b = 45.4 + 4.6. Let r = b - 51.04. Let j = r - -0.04. Is 0.2 equal to j?
False
Let d = -39 + 37. Is -13 bigger than d?
False
Let n = -0.12 + 58.12. Which is smaller: n or -0.1?
-0.1
Let v(n) = -n**2 + n**2 + n**2 + 8*n - 2*n**2 - 5. Let d be v(6). Which is greater: d or 6?
d
Let s = 4 + -5. Let h be ((-10)/(-15))/(s + -1). Which is bigger: h or -3/11?
-3/11
Let c(y) = -2*y - 1. Suppose -5*n = 2*t - 0*t - 3, -t + 9 = -5*n. Let o be c(n). Do o and 2 have different values?
True
Let c = -0.5 - -5.5. Let s = -9 + c. Let y = 0.18 + -0.08. Is s > y?
False
Suppose u = 5*n - 43, 4*n - 17 = 4*u + 11. Suppose 2*p - 1 = b - 2, 0 = -3*b + n. Let v = -1 + 3. Is p != v?
True
Let l = 63 + -60. Let q = -26 + 29.4. Let z = q - l. Are z and 0.1 non-equal?
True
Let b = 8 - -73. Which is greater: 80 or b?
b
Suppose -6*b = -19 - 11. Suppose -b*k = -6 - 19. Which is bigger: k or 3?
k
Let n be 165/9 + (-1)/3. Suppose -4*i + n = -i. Let v = -4 + i. Is v equal to 2?
True
Let t(p) = -p - 4. Let a be t(5). Which is smaller: -11 or a?
-11
Let j be (-2)/6*(-2)/(-36). Let z = j - -329/270. Do 1 and z have different values?
True
Let j = 15 - 14. Let m = -0.6 - 1.4. Which is bigger: j or m?
j
Let w = 4.3 - 4. Let f = 4.78 + -0.68. Let p = -4 + f. Is w greater than p?
True
Let l = 4 - 6. Let c(v) = -v - 1. Let h be c(l). Let g be (-2*1)/((-4)/1). Which is greater: g or h?
h
Let u = 203 - 437. Let m = -941/4 - u. Let t = 1 - 3. Is m less than or equal to t?
False
Let k = 68690265262/5473 - 12550751. Let c = k + 1/421. Let w = -87/52 + c. Which is smaller: 0 or w?
w
Let v = 0.63 - -0.37. Let u = -1 + 0.9. Let o = u - 0. Is v less than o?
False
Suppose -s + 2 = 1. Suppose -4*h = 27 + 33. Let x be ((-4)/(-18))/((-25)/h). Which is greater: x or s?
s
Let x be (-24)/(-45)*6/8. Suppose 3*u = 2*u - 6. Let q = u + 7. Is x at least q?
False
Let a be (0 - (1 - 0))*-2. Let v be 380/150 + (-2)/10. Which is smaller: v or a?
a
Suppose 5*s - 34 = -9. Let p be 1*(3 + 4/2). Is s at most p?
True
Let q(r) = 4*r - 2. Let b be q(6). Are 20 and b equal?
False
Let m be 33/11*(-2)/(-6). Which is greater: m or 2?
2
Let q(g) = g**3 + 8*g**2 + 6*g - 9. Let j be q(-7). Let c = -15 - -11. Is c greater than or equal to j?
False
Let s = -14 - -16. Suppose f + 8 = -s*w, 4*w + w = -25. Which is bigger: 0 or f?
f
Let q = 18 + -13. Suppose -12 = -2*k + 3*k + 5*t, -q*t = 5*k. Suppose 0 = 5*a + k*w - 20, 3*w = 5*a + 2*w. Is a bigger than 2?
False
Let n(b) = b**2 + 4*b - 2. Let o = 0 - 4. Let u be n(o). Are u and -2 nonequal?
False
Let f = 1 - 0. Let n = -1 - f. Which is bigger: n or 1/2?
1/2
Let l(x) = -x**3 + 7*x**2 + 9*x - 11. Suppose -3*q - n - 2 = -28, 0 = 2*q + 3*n - 22. Let y be l(q). Is y < -2?
True
Let o(t) = 2*t**2 - 4*t + 2. Let a be o(2). Is a <= 1?
False
Let i(o) = -6*o**2 + o + 1. Let m be i(-1). Let j be (-2)/m - (-38)/(-6). Let g be ((-2)/j)/(3/(-9)). Which is smaller: g or 0?
g
Let c = -0.05 - -2.05. Let p = 5 - c. Let z = 3.1 - p. Which is greater: -4 or z?
z
Suppose -z - 5 = 2*u, -5*z = 3*u - 7*u - 3. Which is smaller: z or 1?
z
Let j = -33.9 - -34. Is -25 at most j?
True
Let j = -7.993 + -0.007. Which is smaller: 0.2 or j?
j
Let y(j) = j**3 + 4*j**2 + 2*j. Let v be y(-2). Suppose 12 = v*b - 12. Which is bigger: 7 or b?
7
Let y = -49.2 + 49. Do -4 and y have different values?
True
Let a = 44923/75 + -599. Do a and 0 have different values?
True
Suppose -5*w = -2*l - 12, w - l = 6*w - 9. Let b be ((-15)/25)/(2/(-10)). Let o be 9/6*2/b. Is o > w?
False
Let u = -20 + 43. Which is smaller: u or 0?
0
Let p be (19/92 - 12/48)*3. Is p greater than or equal to -1?
True
Suppose -3*s - 60 = -s. Is -29 <= s?
False
Let w = -14919/7 - -2124. Which is smaller: -8 or w?
-8
Let q be (-6)/4 + (-168)/(-114). Is q >= 1?
False
Let h = 0.11 + 0.59. Let j = h - -5.3. Let c = 8 - j. Which is smaller: -2/3 or c?
-2/3
Suppose 4*b - 3*l - 252 = -0*b, 4*b - 2*l = 248. Is b < 60?
False
Let i = 0 - -1. Is 0 <= i?
True
Let u(j) = j**3 + 9*j**2 + 8*j - 3. Let x be u(-8). Which is greater: -1 or x?
-1
Let n = 21.934 + 0.066. Which is bigger: n or -1/6?
n
Let c(p) = -p**3 + 5*p**2 - p - 8. Let s be c(4). Suppose 2*z - 20 = -2*z. Do z and s have the same value?
False
Let z(i) = i**2 - 1. Let g be z(0). Let h be g - ((1 - 1) + 2). Is h >= 3?
False
Let j = -42 - -77. Let d be 7/j - (-1)/5. Are 0 and d equal?
False
Let s = 0.3 - 1.3. Let o = -0.04 - -0.54. Let i = o + -1.5. Is i less than or equal to s?
True
Let y(t) = t - 8. Let g be y(5). Let f = g + 5. Let h be f/(-10) - 13/(-115). Is h less than 0?
True
Let g be -4 - (-9)/((-6)/(-2)). Which is smaller: g or -4/5?
g
Let u = -47/33 - -12/11. Let j = 5 - 5.9. Let x = -0.1 + j. Which is smaller: x or u?
x
Let w = -2 + -3. Let j = w - -5. Is -10/7 >= j?
False
Let l be (47/(-12))/(7/(-21)). Let t = l + -13. Which is greater: t or 1/2?
1/2
Let r(b) = b**3 - 12*b**2 +