 a/(-14) + (-6)/(-21). Is -1 > h?
False
Let t = 229 - 3436/15. Which is smaller: 0 or t?
t
Let h be -3*(2 - (-4)/6). Suppose -8 = 2*d - 3*d + 2*k, 3*k = -4*d - 23. Is d bigger than h?
True
Let x = -5 - -9. Suppose -4*q + x + 4 = 0. Suppose 0 = -5*c + q*b, -c + b + 0*b = 0. Is -1 > c?
False
Suppose o + b + 8 = 0, -5*o + o + 4*b - 64 = 0. Is -10 at most as big as o?
False
Suppose 5*o = -p + 3*p - 29, -2*o - 20 = -5*p. Let f(c) = p*c**2 + c**3 - 11 + 11. Let n be f(-1). Which is smaller: n or -1/10?
-1/10
Let x be 77/(-14) - 2/4. Which is greater: x or -5?
-5
Let o = -0.25 - -0.15. Which is greater: 2/5 or o?
2/5
Let h = 6 - 6.1. Which is smaller: 3/13 or h?
h
Suppose 0 = -3*x - 3*u + 21, -u = -2*x - 6*u + 29. Suppose x*f + 3*f = 5. Let j be (f - 0) + (-2)/2. Which is smaller: j or -1?
-1
Let v be -2 + 6*(-1)/2. Let z(a) = a - 2. Let m be z(v). Are m and -7 non-equal?
False
Suppose 0*m = -2*m + 6. Suppose i = -2*i - m. Let r = -11/30 - 2/15. Which is smaller: r or i?
i
Let p = 113353/15 + -7552. Let r = p + -21/5. Does 0 = r?
False
Let h(g) = -g**2 + g - 6. Let n be h(0). Suppose -a - 4 = -3*d, -a - a = -4*d + 4. Suppose 4*o - 1 = 5*m, a*o - 14 + 1 = 5*m. Does o = n?
True
Let i = -0.7 - -1. Let y = i - 0.4. Let j = 0.5 - 0.4. Is y at most j?
True
Let z = 6 + -4. Is z not equal to 8/5?
True
Let y = -3623/10 + 362. Is y less than -1?
False
Suppose 5 = -4*c + v, 0 = 2*c - v + 4 - 1. Is c smaller than -10/3?
False
Let f = -62 + 63. Which is smaller: f or -53?
-53
Let p be 4*(-2)/(-4) + -4. Let a = -2 - p. Which is smaller: -3/5 or a?
-3/5
Suppose 2 = -2*x, 0 = r - 2*x - 3*x - 4. Let g(p) = -3*p**3 - 2*p**2 + 1. Let k be g(r). Let i = -34 + 35. Which is smaller: i or k?
i
Let p = 0.9 + 0.1. Let a = -11 - -7. Let k = a + 8. Is p > k?
False
Let v be (8/2)/(-4) - -2. Is 9/10 bigger than v?
False
Let p(o) = -o**3 - 10*o**2 - 9*o + 1. Let a be p(-9). Which is bigger: 6 or a?
6
Let i = -5 - -5. Let a be i - 0 - 0 - 1. Let t = 2 - a. Which is greater: 4 or t?
4
Let s(d) = -d - 16. Suppose 2*b + 3*r = -b - 39, 2*b = -4*r - 28. Let o be s(b). Is o < -5?
False
Let p = -8 - -9. Suppose 2*i = -5*j - 37, 0 = -j - p - 4. Let g be (i/9)/((-2)/(-3)). Which is bigger: g or -1/10?
-1/10
Let b = 2/3 + -7/9. Let s(v) = v**2 - 4*v - 1. Let q be s(4). Is b < q?
False
Let w(s) = s - 5. Let y be 3/9 - 14/(-3). Let z be w(y). Let d = -2.1 + 2.2. Is z bigger than d?
False
Suppose w - 2*f + 4 = 0, 5*f + 1 = -2*w + 11. Let k = 240 + -1677/7. Which is bigger: w or k?
k
Let g be 4 + (-2 - -3) - -2. Let k(t) = -t + 8. Let y be k(g). Let z be (y/2)/(4/(-24)). Which is bigger: z or -5/2?
-5/2
Let h = 0.44 - 2.44. Let g be 3*(-1)/((-6)/(-4)). Are h and g unequal?
False
Let q = 43 + -30. Is q at most 13?
True
Let l = -2896/21 - -138. Which is smaller: 0 or l?
0
Let w = -0.56 - 0.44. Which is smaller: -6 or w?
-6
Let y = 0.2 + 2.8. Let f = -3 + y. Let t = -1 - -0.5. Is t at most as big as f?
True
Let j(i) = 2*i + 13. Let y be j(-6). Are y and -4/15 nonequal?
True
Let s be ((-18)/(-54))/((-1)/109). Suppose 5*o + 2*x + 172 = 0, -3*o + 2*x - 5*x = 96. Let n = s - o. Is 1 greater than n?
True
Suppose -c = -0 - 1. Suppose i = -g + 5, 3*i = -2*i - 3*g + 21. Suppose -4*p + 2*r = 2, i*p - 3*r + 8 = -c. Is p > 0?
True
Let m = 21 + -22. Let d = -5 + 8. Are d and m unequal?
True
Suppose 3*q + 6 = 2*d, -7 = 4*q - d - 2*d. Is -28/11 at least q?
True
Suppose 5*t - 26 = -b, -b - 3 - 16 = -4*t. Let k = -21/4 + t. Is k >= 0.1?
False
Let r = 4/7 + -47/70. Suppose -n = 4*n - 4*x - 3, -5*n = -5*x - 5. Which is greater: n or r?
r
Suppose -10*z = -5*z - 10. Let i be z/(-5) - (-36)/15. Which is greater: 5/2 or i?
5/2
Let t be (-6)/(-10) - (-15 - -16). Which is greater: 0 or t?
0
Let u = -3629/4 + 897. Which is greater: -11 or u?
u
Suppose 3 = 5*w - d, -3*w - 3*d + 3 = -4*d. Let h = w - 0. Suppose x + 2*x = h. Are x and 0 unequal?
False
Let o = 1 - -2. Which is bigger: o or 0.03?
o
Let o be ((-2)/(-2) - 1)/(-1). Let u be (14/8)/((-2)/(-8)). Suppose o = 3*x - u + 1. Which is bigger: 3/2 or x?
x
Let r be (-2)/11 - (-312)/22. Suppose 5 = -3*z + r. Suppose d - 8 = -2*u, 0 = u - 2*u + z. Is d smaller than 2?
False
Let h = 18 - 17. Is -1/3 at least as big as h?
False
Let b(c) = 4*c + 2 + 2*c**2 - c**3 - c + c**2. Let m be b(4). Let l be ((-1 - -2)*0)/m. Is l greater than -2/3?
True
Suppose 4 = m - 0*m. Suppose 2*q - 4 = m*q. Which is greater: q or 0?
0
Let x(j) = j**2 + 4*j + 2. Let t be x(-4). Suppose 0 = -3*i + 3*n - 57, 2*i + t = 5*n - 51. Is -13 < i?
False
Let s = -5 - -3. Let q be s/((3/4)/3). Let f be (q/12)/(4/6). Which is bigger: -5/4 or f?
f
Suppose -3*b + 10 = -2*b. Suppose -5*p + 23 = 3*r, 4*r + b = p - 13. Is p bigger than 7?
False
Let n = 72.19 - 73. Let q = 0.01 + n. Let y = q + -0.2. Is -0.1 greater than y?
True
Suppose u - 4 = -0*u. Suppose -4*b - 3 - 14 = -a, u*a = -b. Does a = 0?
False
Let x(z) be the second derivative of -z**3/6 - z. Let h be x(6). Let q = 4 + h. Is q <= 0?
True
Let r = -5 + 3. Let w = -61 + 40. Let v be w/7*(-1)/(-3). Is v at least as big as r?
True
Suppose -4*o = 2*o. Let d be 2/(-4)*0 + -1. Is d greater than o?
False
Let u be ((-2)/(-2))/((-2)/118). Let d = 8210/3 + -2679. Let f = d + u. Which is bigger: -1 or f?
-1
Suppose g + 15 = -4*g. Let q = 14 - 13. Let h be (1 - q) + g/2. Which is greater: h or -2?
h
Suppose -2*w + 55 = 3*w. Let n be w/1 + -3 + 1. Let z = n - 8. Is 0 equal to z?
False
Let v = -1524/697 + 38/17. Is 1 >= v?
True
Suppose 0 = 15*w - 12*w + 9. Is -2 at most as big as w?
False
Let h(f) = f + 8. Let j be h(-11). Let x = -0.01 - 0.99. Which is bigger: j or x?
x
Let w = 2 + -2. Suppose -4*g = 5*j - 18, 0 = -5*j - g + 12 - w. Let k = 5 - j. Is k != 4?
True
Suppose -4*c + 0*c = s - 6, 5*c = -2*s + 9. Is -1/27 at least s?
False
Suppose -2*o - 8 = -3*o. Suppose 3*l = 2*l + o. Suppose 6*v + l = 4*v. Is v <= -4?
True
Suppose 0 = -2*z - 2*z. Is z not equal to -1/5?
True
Let j(k) = -k**2 + 3*k - 2. Let a be j(2). Is -2/5 greater than or equal to a?
False
Let p = -1272/6403 - 4/337. Which is smaller: 0 or p?
p
Let z be -17 + 1/(3/9). Is z >= -14?
True
Let v be (-12 - -6)*(-2)/57. Is v greater than or equal to -1?
True
Let q = 83/267 + 2/89. Suppose b = 5*b + 32. Let f = 8 + b. Which is smaller: q or f?
f
Let q = 0.78 - 0.7. Let f = q - -1.92. Let p = 4/43 - 59/172. Is p at most as big as f?
True
Let n(v) = 4*v - 2. Let j(h) = -3*h + 2. Let i(f) = 6*j(f) + 4*n(f). Let m = 89 + -84. Let q be i(m). Is q != 0?
True
Let x = -24.5 - -25. Let a = -16.5 + 23. Let z = a + x. Are z and -1 unequal?
True
Let h be 4 - (4/(-1) - 1). Which is greater: h or 7?
h
Let d = 153 + -152.42. Which is smaller: -2/5 or d?
-2/5
Let w(k) = -k**3 + 7*k**2 + 9*k - 9. Let q be w(8). Suppose -m + 6*m = -v - 25, 0 = 3*v + 4*m + 20. Suppose v*a = 4*a. Is q at most a?
True
Let x(r) = -r**3 - 4*r**2 - 4*r. Let w be x(-3). Let q = w + 2. Are q and -1 unequal?
True
Let h be (-68)/18 + 2/(-9). Which is greater: h or -3?
-3
Suppose 2*l - 4*p = -2*l, -5*l - 5*p + 10 = 0. Let t = l + 4. Let h = -3 + t. Is h > 3?
False
Suppose -6*z = -2*z - 20. Suppose 5*w = x + 20, -2 = -3*w + 5*x + 10. Let j = w - z. Is 1 != j?
True
Suppose -17 + 2 = -3*h. Suppose 9 = 3*v - h*t, -3*v - 2*t - 18 = -6. Is -3 <= v?
True
Suppose s - 2*l = -6, -11 = 4*s - 2*s - 3*l. Let b = 5 + s. Which is greater: b or -2/13?
b
Suppose -4*a = -a. Which is smaller: a or 4/119?
a
Suppose 0 = -2*z - 3*c - 5, c = -3*z + 6*c + 40. Suppose z*i + 6 = -3*u, u = -0*i + i - 2. Which is greater: -2/37 or i?
i
Let u(b) = -b**3 + 8*b**2 - 10*b - 8. Let c be u(6). Suppose -z + 2*z - 6 = 0. Let k be (-20)/z*(-6)/5. Is k <= c?
True
Suppose 2*s = -2*r, 4*s = -5*r - 0*r + 1. Let d be (-26)/60 + (-2)/(-4). Which is smaller: d or s?
s
Let j(i) = -i**3 + 13*i**2 - 11*i + 2. Let x be j(12). Let l be x/(-4)*1/(-7). Which is bigger: 5 or l?
5
Let f = 44 - 29.8. Let b = f + -14. Which is bigger: b or -4?
b
Let w be ((-8)/5)/((-16)/40). Let l(i) = i**2 - 4*i - 2. Let q be l(w). Which is smaller: q or -2/3?
q
Let s be (-12)/(-6)*2/12. Is 0.7 smaller than s?
False
Let n = 1 - 1.4. Let h(i) = -i - 4. Let l be h(-6). Do n and l have different values?
True
Let f = 0.8 - -0.2. Suppose -3 = c - 5. Which is smaller: f or c?
f
Let s be 2/7 - 8/14. Does s = 0.3?
False
Let c = -0