+ 4 + -3 + -1. Is h less than -3?
True
Let a(h) = h**3 - 8*h**2 - 23*h + 30. Let t be a(10). Let l be 1 - 0*(-1)/(-2). Is l < t?
False
Suppose -4*o + 72 = -o. Suppose -o = -c + 5*c. Let n be (-9)/c*2/(-3). Which is smaller: n or 2?
n
Let v = 6799/8475 + 1/226. Let n = v - -11/100. Let s = 2/3 - n. Which is greater: 1 or s?
1
Let v = -8.39 + -0.61. Which is bigger: v or -1/4?
-1/4
Let w(u) = -5*u + 17. Let c be w(-5). Is 41 bigger than c?
False
Let y = -0.023 + 0.253. Let d = y + 0.17. Which is greater: -0.3 or d?
d
Suppose 0 = 5*b - 2*b + 15. Let m be b/2*6/(-5). Which is smaller: 2 or m?
2
Let z = -1 + 1. Let b = -15 - -6. Let m = 9.1 + b. Which is bigger: m or z?
m
Let h(y) = 5*y. Let t be h(1). Let l be ((-1)/t)/(-2 + 3). Is l bigger than 0?
False
Suppose 5*o = -3*k - 15, k + 3*k = -2*o - 6. Which is smaller: o or -7/3?
o
Let s(z) = -z**3 - 2*z**2 + z. Let w be s(1). Which is smaller: w or -6/7?
w
Let c(t) = -t + 10. Suppose 4*z - 7*l - 33 = -2*l, 5*z + 2*l = 33. Let w be c(z). Do w and 2 have different values?
True
Let k be (2/(-3) + (-20)/15)/(-1). Which is smaller: -1 or k?
-1
Let q = -0.98 - 0.02. Let b = 1.1 + q. Which is smaller: -4 or b?
-4
Let o(q) = q - 1. Let y be o(6). Suppose 6*f - 2*f + 8 = -i, 10 = -3*i - y*f. Is 1 < i?
False
Let l be ((-8)/42)/((-16)/24). Which is smaller: -1 or l?
-1
Let s(i) = -i**3 - 6*i**2 + 6*i - 5. Let p be s(-7). Suppose -p*r + 8 = z, 2*z = -2*z - 3*r + 17. Suppose -3*d = -2 - 4. Is z > d?
False
Suppose 9 = -13*b + 16*b. Let w be 4/(-18)*(-1 + 4). Do b and w have the same value?
False
Let h = 7/20 + -3/5. Which is greater: 0.4 or h?
0.4
Let f(d) = -2*d - 1. Let o be f(-1). Suppose -w - o = -2*c + 4*c, 2*c - 4*w = -6. Which is greater: c or 2/19?
2/19
Suppose -3*d - 3*a - 12 = 0, -2*d - 4*a - 9 = -3*a. Let w be (-2 - (2 + d)) + 1. Which is bigger: w or -2?
w
Let h be (20/50)/(23/(-18690)). Let c = -325 - h. Which is smaller: 1 or c?
c
Let w = 5 + -4. Let k be w + -2*(-1)/(-2). Let f be 1 - (20/6 + -2). Is k less than f?
False
Suppose -2*b = 26 + 4. Let l be (-4)/(-6) + (-110)/b. Which is smaller: 7 or l?
7
Let y(w) = 5 + 0*w**3 - 2*w**3 + 3*w**3 + 7*w - 9*w**2. Let l be y(8). Let t = l - -2. Which is smaller: t or 2/7?
t
Let a(r) = -r**2 - 6*r - 3. Let p be a(-4). Let t = p - 5. Which is bigger: 2 or t?
2
Let c(w) = -w**2 + 3*w + 1. Let t be c(3). Suppose 2*r - t - 11 = -2*z, 4 = 2*r. Which is smaller: 5 or z?
z
Suppose 2*q + 1 + 49 = 0. Which is bigger: q or -24?
-24
Suppose 3*m + 31 = 5*r, 5*r = 13 - 3. Let t = m + 9. Let n be -4*(2 + -3) - t. Is n equal to 1/2?
False
Let v = -8 - -14. Let s = -7 + 2. Let x be 2/s + (0 - 0). Is v less than x?
False
Let m = 2984/12145 + -26/105. Let k = -4178/7287 - m. Let z = -59 - -58. Is k greater than or equal to z?
True
Suppose -7*h = -4*h - 3*m, 10 = 5*m. Let g(o) = -o**3 + o**2 + 2. Let b be g(h). Is b at most -1?
True
Let u be -2 - ((-324)/52 + 4). Which is bigger: -1 or u?
u
Let i = -5.6 + 5. Let r = -1.3 + 0.3. Let x = r - i. Which is bigger: 2/7 or x?
2/7
Let w(k) = -k**2 - 5*k - 6. Let z be w(-3). Suppose t + 2*t = z. Is -1 less than t?
True
Let k = 1.4 + -1.7. Let o = 0.07 - 0.37. Let a = -0.1 - o. Which is smaller: k or a?
k
Let f = -1 + 9. Suppose -3*q + 6 = -3*k, 6*q + f = -4*k + 2*q. Let c be (2/(-4))/(k/(-4)). Which is smaller: c or 0?
c
Suppose 5*h = -3*d + 4*d - 10, -3 = -d - 2*h. Let k = d + -3. Suppose -4*u + k*i = -12, 3*i = 2*u - 2 - 12. Is u smaller than 1/3?
False
Let i be (2/(-20))/((-1)/(-8)). Let a(v) = -4*v + 3. Let s be a(1). Do i and s have different values?
True
Let m(c) = -c**3 - c**2 + 16. Let o be m(0). Let r be o/(-64) - (-10)/4. Which is smaller: r or 2?
2
Let q be (-10)/(-4) - 1/(-2). Let y = q - 5. Let k = y + 1. Is -2 greater than k?
False
Suppose 0 = -2*k - 4*f + 16, -2*f + 7 = -3. Let l(r) = -r - 1. Let h be l(-5). Suppose h*c - 6 = -18. Which is smaller: k or c?
c
Let n = 1061/5 + -213. Is n equal to -4?
False
Let f = -7 + 9. Let s be f + -2 - 12/(-10). Let x(y) = 2*y - 6. Let h be x(4). Is h smaller than s?
False
Let u be (-1 - (3 + -3))*11. Does -12 = u?
False
Let q = -6.8 + -1.2. Is q >= -1/2?
False
Let y be -3*((-17)/7 + 2). Is 1 bigger than y?
False
Let r = -11 - -17. Suppose -i = -r*i - 65. Let l = i + 18. Is l <= 5?
True
Let u(y) = -y**3 + 6*y**2 + 2*y - 9. Let j be u(6). Let c = -5 - -5. Suppose c = p + 1 - j. Are -2 and p non-equal?
True
Suppose x - 1 = -4. Which is smaller: x or -5?
-5
Let f(c) be the third derivative of c**4/24 - 7*c**3/6 - 4*c**2. Let k be f(6). Let p = -2 + 2. Which is smaller: p or k?
k
Let o = -148 - -148. Is o bigger than -9/7?
True
Suppose -w = 24 - 16. Is -6 <= w?
False
Let l = 1 + -1. Are 0.5 and l equal?
False
Let x(s) = 1 - 1 + s. Let o be x(2). Which is greater: o or 3/2?
o
Suppose 2*l = -2*l + 20. Suppose 4*r = l*k + 1, 0*k + 2 = -r - k. Let j be ((2 - 18)/(-4))/22. Is r greater than or equal to j?
False
Let z be 2/5 + (-18)/20. Let u = 6 - 4. Is z at most u?
True
Let p = -95184 + 394728054/4147. Let l = p - -78487/211497. Let t = l + -2/51. Which is greater: 0 or t?
t
Suppose 5*o = -3*g - 94, -4*o + 2*g = 6 + 56. Is o greater than or equal to -17?
True
Let z(o) be the first derivative of o**3/3 + 9*o**2/2 - 13*o - 2. Let j(m) = 2*m + 10. Let g be j(-10). Let d be z(g). Is d <= -3?
True
Let v be (-3*(-1)/(3/(-3)))/2. Let z = -1 + 0.8. Which is bigger: v or z?
z
Let g = -0.6 - -1. Let w = -0.7 + g. Let b = w - -0.4. Which is smaller: b or 4?
b
Suppose 3*l - i - 21 = 2*i, 2*l - 16 = i. Suppose 0 = 5*r + 4*g - 48, -5*r + 27 = -3*g - 7. Are r and l non-equal?
True
Let s(n) = 2*n - 1. Let r be s(2). Suppose u + 3 = -r. Is -4 > u?
True
Let w be 4/(-10) - 6/10. Let z = -0.01 - 0.59. Let b = 1.6 + z. Do b and w have the same value?
False
Let k be (6/9)/((-5)/(-90)). Which is smaller: 7 or k?
7
Let d be ((8/(-5))/(-4))/(-6). Suppose 6*i = -26 + 32. Which is greater: i or d?
i
Let a be -1 + -5 + 2 - (-3210)/801. Are a and 1 equal?
False
Let n = -108/707 + 1/101. Let g(a) be the second derivative of a**3/6 - 3*a**2 + a. Let w be g(6). Is n > w?
False
Let v = 7.1 - 7. Which is smaller: v or -7/3?
-7/3
Let o(r) = -r - 10. Let w be o(-6). Is -4 greater than w?
False
Let u be 6/(-10)*(-2)/(-3). Suppose -2*p + 3 = -5*p. Do p and u have the same value?
False
Let d be 28/14 - (-2)/1. Is -1 >= d?
False
Let p(h) = h**3 + 10*h**2 - 10*h + 12. Let i be p(-11). Which is smaller: -53 or i?
-53
Let d = -2 - -2.5. Let w = d + -0.4. Let b(u) = u - 4. Let z be b(3). Which is smaller: w or z?
z
Suppose 0 = 2*x + 4 - 26. Is 14 greater than x?
True
Let g = -6 + -7. Let d = 16 + g. Is d at most 1/4?
False
Let q(d) = d + 9. Let l be q(-3). Do 7 and l have different values?
True
Let n(c) = c**2 + 5*c + 3. Let v be n(-6). Let p be 0 + (-3)/v*0. Which is bigger: -2/5 or p?
p
Let x = 0 - -2. Let p(u) = -u**3 - 5*u**2 + 17*u + 23. Let n be p(-7). Is x at least n?
True
Let p = 12 - 17. Which is bigger: p or -4?
-4
Suppose -h - 3*h = 5*g - 8, -g = -5*h - 19. Let j be (-14)/(-49) - (-124)/7. Let w be ((-15)/j)/(3/(-18)). Which is greater: g or w?
w
Let t = 8.7 + -7. Let l = t - -0.3. Is l != -0.07?
True
Let l be (3/(-18))/((-2)/(-4)). Let u = 0 - 0. Let j be -1*(u + (-2)/8). Which is smaller: j or l?
l
Let t = -1559309849/747 - -2087429. Let w = 6/83 + t. Is 0 at most w?
False
Let c be -5 - -2 - (-14)/6. Let h = 0 - c. Let n = -2 + 3. Which is smaller: h or n?
h
Let j(l) = -l**3 - l**2 + 13*l + 2. Let h be j(-4). Is 13 at least h?
True
Let n = -8 - -9.5. Let j = -1 + n. Let p = j + -0.6. Is p equal to 1?
False
Let f = -17.39 + 20.6. Let m = f - 0.21. Which is greater: m or -5?
m
Let w be (-12)/21 + 54/21 + -2. Are w and 2/7 equal?
False
Let l(q) = q**3 - 3. Let v be l(0). Let r = -1/2 + -2. Is r <= v?
False
Let d(k) = -k**2 - 4*k + 2. Let a be d(-4). Suppose -3*x + 7*x + 4 = 2*t, 5*t + 3*x - 10 = 0. Are a and t nonequal?
False
Suppose 8*z = 6*z. Suppose j + 0*j = z. Suppose -4 = -4*f + 4. Which is bigger: j or f?
f
Let i be (-2)/4*1/2. Which is smaller: i or 0?
i
Suppose 7 = -3*k + 4. Which is bigger: 2/49 or k?
2/49
Suppose -99 + 4 = 5*v. Let b = v - -19. Is b at least as big as -2/45?
True
Let f be (-1 + 3)*(-4)/(-16)*-14. Which is greater: f or -1?
-1
Let m(w) = -w - 7. Let t = 4 + -1. Suppose -5*y - g = 39, 0 = 5*y + 