= 4*h - h - 5*x - 35. Is 20 <= h?
True
Suppose 0 = -5*t + 4*t + 2. Suppose 2*d + 4 - t = 0. Is -1 less than or equal to d?
True
Let h = -2 + -7. Which is bigger: -7 or h?
-7
Let p be ((-20)/30)/((-2)/3). Is p at most 1/80?
False
Let r(u) = -2*u**2 + 5*u + 5. Let h be r(4). Is -3 at least as big as h?
True
Let l(w) = -w**3 - w**2. Let d be l(-1). Let t = 72 - 503/7. Which is bigger: d or t?
t
Let i = 345374 + -76327948/221. Let y = i + 20/17. Is y at least as big as 1?
False
Let n = -800/7 - -114. Which is smaller: -3 or n?
-3
Let i be 2/(32/30)*-2. Let b be 9/(-12)*(6 + -2). Does i = b?
False
Let p be 4 - ((-7)/(-1) - 4). Which is smaller: p or -1?
-1
Suppose 4 = 3*w - 2. Suppose -2*p = w*p. Which is bigger: p or 2/7?
2/7
Let s be (3 - (2 - 1))/(-1). Let u be ((-8)/(-4))/(0 + -2). Which is smaller: s or u?
s
Let q be (430/490)/(36/(-14)). Let b = q + 2/7. Is 0 at most as big as b?
False
Let t(u) = -u**3 + 15*u**2 - 10*u - 5. Let f be t(14). Is f at most as big as 51?
True
Let c = -14/137 - -1004/1781. Which is bigger: -1 or c?
c
Let i = -0.02 - -4.02. Which is greater: -1 or i?
i
Let g(f) = f - 24. Let q be g(-14). Is q greater than or equal to -39?
True
Let b(p) be the first derivative of p**4/4 + 3*p**3 + p**2/2 + 11*p + 2. Let n be b(-9). Suppose 0 = -4*w + q + 7, 10 = 5*w - 3*q + 3. Is n < w?
False
Suppose -2*t + 4 = 0, 0 = 2*o - 5*t + 9 + 1. Is -1 equal to o?
False
Let s = 0.01 - 7.01. Let x = -0.1 + 5.1. Let g = s + x. Which is greater: g or -1?
-1
Let c be 2/(-4)*((-50)/(-15) + -3). Let z = 0 - -1. Do c and z have different values?
True
Let q = 133 + -662/5. Which is smaller: 2/5 or q?
2/5
Let o = -90 + 89.9. Which is smaller: o or 3?
o
Let q(t) = -t**2 - 3*t + 1. Let r be q(-4). Is r != -0.4?
True
Let a = -327.1 - -327. Let l = 8.11 + -8. Which is smaller: a or l?
a
Let y = 10919/222 + -295/6. Is 1 >= y?
True
Let x = -789 - -794. Let m = -2/3 + 19/3. Is x at most m?
True
Let f = -20 - -19.91. Is 1 smaller than f?
False
Let b(g) be the third derivative of g**4/24 - g**3/2 - g**2. Let w be b(2). Suppose 4*c - 2*q = -4*q + 8, 8 = 3*c + 2*q. Which is bigger: w or c?
c
Let h = -1191/7 - -4295/28. Which is smaller: h or -18?
-18
Suppose -16*j = -20*j. Which is greater: 2/33 or j?
2/33
Let i(y) = 48*y**2 + 3*y + 1. Let q be i(-2). Suppose 2*j - 19 = q. Let w = 724/7 - j. Are -1 and w unequal?
True
Let i be ((3 - 3)/4 + 0)/(-1). Which is greater: i or -6/5?
i
Let f = -2/21 - -16/21. Is 1/21 greater than f?
False
Let k = 13 + -24. Let b be (-62)/6 + (-4)/(-12). Which is bigger: b or k?
b
Let k be 1 - -1 - 342/8. Let u = -41 - k. Let x = 2 - 2. Which is bigger: u or x?
x
Let f = 22 + -4. Let q = f - 11. Let v = -6.9 + q. Is -1 less than v?
True
Let d = 11 + -8. Let v = -1 + d. Let s = 3 - v. Which is smaller: -2 or s?
-2
Let j = -3 + 2. Let v(p) = p**3 + p**2 - 2*p + 1. Let t be v(1). Suppose 5 = -3*q - t. Is j greater than q?
True
Let f = 2 - 2. Suppose -3*x = 9, k = -f*x - x - 2. Let a = k - 1. Are a and 1/2 equal?
False
Let s(k) = 7*k**3 - 2*k**2 + 1. Let r be s(1). Let d be -2 - r/(1 - 2). Suppose d*a = 4*z - 0*a + 12, -4*z - 9 = -a. Which is bigger: z or -1?
-1
Let v = -0.2 - -0.5. Let l = -20.2 + 20. Let d = l + v. Do 0 and d have the same value?
False
Let i = 11 + -11. Let u(q) = 0*q + 4*q + i + 2 - q. Let v be u(-2). Is v at least 1?
False
Let s = 0.1 - -1.9. Let c = s + -1. Let z = 0.084 - 0.184. Is z greater than or equal to c?
False
Let f = -6 + 7. Is -4/19 bigger than f?
False
Let t be 0 + (0 - 0) + 4. Let s(v) = -v**2 - 7*v + 4. Let n be s(-8). Let k be (-2)/(n/6) + 1. Is t < k?
False
Let q = 0.76 - 0.8. Let f = -0.04 - q. Let d = 1 + -4. Do d and f have the same value?
False
Suppose -6 = -4*z + 10. Let q be 27/z + (-2)/(-8). Suppose u - 7 = 2*d + 2, -2*u - d - q = 0. Is u greater than -1/3?
False
Let w be 2/((39 - -4)*-1). Let k = -1 + 2. Which is greater: w or k?
k
Let s = 3 - 2. Let w = s - 1. Which is bigger: w or 2?
2
Let h(f) = -f**2 + 2*f + 1. Let b be h(2). Suppose 3*m + 2629 = 4*q, -3*m = 3*q + q - 2611. Let o = 16373/25 - q. Is b less than o?
False
Let z = 75 - 57. Is 37/2 smaller than z?
False
Let c be (-10)/(-2 - 9/(-3)). Suppose d - 47 = 3*x, -79 = 5*x - 0*x - 2*d. Let h be (-3)/x + 42/c. Is -1 < h?
False
Let l be (-2 + (-54)/(-26))/(-1). Let d = -7 - -7. Which is bigger: d or l?
d
Let p(l) = l**2 + 4*l - 5. Let w be p(-5). Suppose -3*y + 7*y - 5*j - 45 = 0, -3*y - j + 10 = 0. Let f be -1 + (1 - w) + y. Which is bigger: 2/7 or f?
f
Suppose 4*g = -4*t + 12, 4*g + 0 = t - 18. Let h be (-1)/(2/(-12)) - 1. Which is smaller: t or h?
h
Let r(m) = -m**2 + 13*m - 9. Let f be r(9). Let p be (-18)/52*(-36)/f. Let l be (3 + -1)/(1 + 1). Are l and p unequal?
True
Let t = 166/245 - -6/49. Which is smaller: t or 4/7?
4/7
Suppose 5*g = 0, -23 = p - 5*g + 4*g. Do -23 and p have different values?
False
Let g = 30 - 29. Which is smaller: g or -1/44?
-1/44
Suppose -22 = -3*m + 4*g - 0*g, -m + 4*g - 6 = 0. Let h = m - 10. Let w be (-2)/(-12) + h/(-6). Is w at least -1?
True
Suppose 0 = 14*t + 18 - 4. Which is greater: t or 2/13?
2/13
Let j = 24 + -26. Is -2 greater than j?
False
Let m = 4 + 5. Suppose m*j + 14 = 4*j + r, 4*j - 2*r + 16 = 0. Let n be (1 + -2)*4/j. Is n at least as big as 2?
True
Let j = -0.3 - -0.2. Let a = 136 + -138. Is j <= a?
False
Suppose -y + 2*y = -y. Suppose 5*n + 4*a = -0*a + 12, 4*n + 3*a = 9. Are n and y non-equal?
False
Let l = -10 - -10. Which is smaller: 2/81 or l?
l
Let g be (-1)/(0 - 1/2). Suppose 7 = -5*j - 2*b + 26, 2*j + 4 = 5*b. Let k be (-8)/(-12) - g/j. Is 2/5 at least k?
True
Suppose 5*x = -3*w - 3 + 25, 2*w - 4*x = 0. Suppose 0 = w*m + m. Which is bigger: 2 or m?
2
Let z = -6 - -10. Let p = z + -6. Let x = 1 + p. Which is smaller: -2/3 or x?
x
Let s = 13/2 + -27/10. Is s at least as big as 5?
False
Let m be 4*(-2 + 63/12). Suppose 5*z = z - b + m, -b + 10 = 3*z. Suppose 3*x = z*w - 9, 9 = -2*w - 7*x + 4*x. Is 2 at least as big as w?
True
Suppose 3*o + 0*o = 0. Suppose 4*t = -5*g + 79, t + 3*g - 25 = -0*g. Let s be (-4)/16*t/(-6). Which is bigger: o or s?
s
Let z = 7 + -10. Is -4 <= z?
True
Let b be (-6)/(-9)*3/2. Suppose 5*y - b + 2 = -4*k, 0 = 3*y - 9. Which is greater: -2 or k?
-2
Let r = -3/755 + -68687/4530. Let p = -16 - r. Is p bigger than -2?
True
Let l be 16/7 + (-8 - -6). Let t be 0 + -3 - 2*-1. Let f be -1 - (-1 - t) - -1. Is l > f?
True
Let a = -2.7 - -2.6. Which is greater: a or -1/4?
a
Let j be (4 + -5)/((-2)/28066). Let n = j + -1305089/93. Let s = n - -3/62. Which is bigger: s or 0?
0
Let c be (-56)/42*10/(-8). Which is greater: 1 or c?
c
Suppose -w + 3*o - 6 = 7*o, -w - o + 3 = 0. Let q = -17 + w. Is -10 bigger than q?
True
Let g be ((-9)/(-30))/((-12)/10). Let z = 0.97 + 0.03. Which is bigger: z or g?
z
Suppose 13 - 1 = -3*h - 4*z, 4*h + 4*z = -12. Which is smaller: h or -5/31?
-5/31
Let c be -1 + -1 + 1*2. Let s be 0 - (-1 - (-3)/(-1)). Let d = s + c. Is d >= 5?
False
Let y = -2 - -5. Suppose -2*l + u - 6 = -y*u, 0 = -3*l + 3*u. Suppose -l*v - 4 = -2*v. Is v greater than -3?
False
Suppose -25 = 5*i + 3*j, i + 0*j = j - 5. Let h = i - -5. Let q = 2 - h. Is 2/3 at most q?
True
Let d = 4 - -1. Let t = -8 + d. Suppose -18 = -i + 4*p - 1, -5*i - p = -1. Are t and i non-equal?
True
Let c = 6 - 5.8. Which is greater: -2/3 or c?
c
Let o(j) = j**2 - 7*j + 2. Let d be o(6). Let r be (-28)/(-6) - 3/(-9). Suppose 5*q + 34 = -2*s - s, -r*s + 2*q - 5 = 0. Which is smaller: d or s?
d
Let x = -0.02 + 1.02. Let l = 16.1 - 16. Is l bigger than x?
False
Let q = -4 - -4. Suppose z - 3*z = q. Suppose 2*d + 0 - 2 = z. Which is smaller: d or 3?
d
Let m be (-119)/(-35) - (-4)/(-10). Suppose -4*k = i + 9, i = -m*k - 9 + 1. Which is smaller: k or -2?
-2
Let q be 1/(-14 + -1)*-3. Let z(o) = 20*o - 9. Let l(w) = 7*w - 3. Let b(i) = 17*l(i) - 6*z(i). Let g be b(2). Which is bigger: q or g?
g
Suppose 3*z = z. Suppose 5*a = -z + 5. Which is smaller: -3/10 or a?
-3/10
Let d(m) = m**2 - 7*m - 7. Let k be d(7). Let y = k + 12. Suppose w + 8 = y*l - 3*l, 2*w - 20 = -5*l. Is w != -2?
True
Suppose 4*k + 3*f = -28, -2*k + 4*f = k + 46. Let t = -20 + 10. Is k < t?
False
Let t = -0.24 + 0.14. Is 2 > t?
True
Let s be ((-12)/10)/((-2)/(-10)). Let j = s - -3. Is j bigger than -1?
False
Suppose -5*s + 7*s + 4 = 0. Is -1 