 = x + 9. Is -3 >= x?
True
Let n(s) = 2*s - 1. Let b be n(5). Suppose p - 11 - b = 0. Suppose 0 = -6*o + o + p. Is 5 smaller than o?
False
Let m = 9 - 13. Let z be (-5)/(110/m) - 0. Which is smaller: 0 or z?
0
Let h be (-26)/(-12) + (30/9)/5. Is h at most 4?
True
Suppose -13*j + 15 = -28*j. Which is smaller: j or -5?
-5
Let d = 161/415 - -1/83. Let v be (-12)/40 - (-2)/5. Let r = v + d. Which is bigger: r or 0?
r
Let i be 1 + -2 - (6 - 515/75). Suppose 0 = -2*p + 7*p - 10. Let n be 0*p/8*2. Is n less than i?
False
Let d = 3 - 0. Is 7/3 less than or equal to d?
True
Let t = -0.04 - -0.44. Let g = -1.4 + t. Let l = 0 + -1. Is g at least as big as l?
True
Let m be 259/(-140) + (-3)/(-1) + -1. Is 0 greater than m?
False
Let w = -24 + 13. Let k(z) = -z - 3. Let m be k(7). Which is greater: m or w?
m
Let n be 3 - -1*(-2)/(-1). Suppose -q - n = 4*v, q - 2 + 1 = 2*v. Let b = -18/205 + -1/82. Is v bigger than b?
False
Suppose 5*t + 0 = 10. Let m(r) = r**3 - 2*r**2 + 1. Let z be m(t). Which is greater: z or 2/11?
z
Let i(f) = f**3 - 9*f**2 + 5. Let k be i(10). Let d be (-11)/k + (-1)/(-5). Which is bigger: 0 or d?
d
Let b = -76 - -79. Is -2 not equal to b?
True
Let i = 3 - 8. Let p = 5 + -7. Let m = i - p. Is 1 at least m?
True
Let t = -4 - 4. Let x = -24 + 16. Is x not equal to t?
False
Let n = 3.06 + -3. Let v = n - 0.16. Is v > 1/10?
False
Suppose l - 20 = -2. Suppose 4*r - 25 = -x, -3*x = x + 2*r - 72. Are l and x equal?
False
Suppose 5*o + 235 = 2*n, -2*o - 3*n + 94 = -4*o. Which is greater: o or -48?
o
Let l(o) = -o**3 + 8*o**2 - 7*o + 6. Let y be l(7). Are 4 and y unequal?
True
Let l = 0 - 0.1. Let j = -0.1 - l. Let t = -0.7 - -1.7. Is j >= t?
False
Let s = -8 + 8. Is s at most -2?
False
Let k = -3 + 11. Let y = k + -13. Let x(g) = -g + 1. Let m be x(4). Is m at most y?
False
Suppose 2*h = 3*s + s - 4, -5 = -5*s + 4*h. Is s >= 11/7?
False
Let a(q) = -q - 11. Let s be a(-13). Let k(o) = -3*o + 7. Let n be k(5). Let w = -6 - n. Are w and s unequal?
False
Let w = -7.9 + 8. Is w less than or equal to -3?
False
Let c = -10/43 + 276/817. Suppose -r = 2*s + r - 8, 2*r = 5*s + 15. Does s = c?
False
Let y = 1 - 5. Let p be (24/(-20))/(y/10). Let b = p + -2. Are 1/2 and b nonequal?
True
Let a be 1 - (2 + (0 - 2)). Let j(n) = n**3 - 8*n**2 + 7*n + 8. Let t be j(7). Let w be 4/t + a/2. Which is smaller: 3 or w?
w
Let u = -7 - -18. Let c = u - 5. Let x be ((-4)/30)/((-1)/c). Which is bigger: x or 2?
2
Let b(o) = 25*o + 6. Let h be b(2). Which is smaller: 55 or h?
55
Let d(q) = q**3 - 10*q**2 + 12. Let l be d(10). Suppose 4*a + 18 = -2*k, -2*k - k - 3*a - l = 0. Which is bigger: k or 2?
2
Suppose 8 = -5*k - 3*q - 1, -5*k + 4*q = 23. Let j be k/(-9) + (-2)/6. Let x be (1 - j)*(1 + -2). Is x at most as big as -2/7?
True
Let p = -1 - 2. Let z be 2 + -1 + 231/4. Let w = 59 - z. Which is smaller: p or w?
p
Suppose -7 = -q - 0. Let k = q + -8. Are k and 1/4 equal?
False
Let z be ((-10)/8)/((-3)/(-24)). Let h be (2/5)/(1/z). Which is smaller: h or 0.1?
h
Let s = 0 + 1. Let i be 3*s + (5 - 3). Suppose -7*p + 18 = -17. Are i and p unequal?
False
Let z be (-42)/4*4/3. Let m be (-102)/z - (-4)/(-14). Suppose -16 = -3*p + 2. Is m less than or equal to p?
False
Let a(x) = 3*x + 6*x**2 - 128*x**3 + 127*x**3 + 4*x - 3. Suppose 4 - 39 = -5*r. Let i be a(r). Is -1 bigger than i?
True
Let a = -5 + 3. Let x = -2 - a. Suppose x = o - 1 + 3. Are -5/6 and o non-equal?
True
Let v = -71/2 + 37. Suppose 0 = -4*u + 6 + 6. Which is bigger: v or u?
u
Let d be (-60)/(-12)*(-2)/(-225). Is d >= 0?
True
Let l(a) = a**3 + 9*a**2 - 12*a - 9. Let u be l(-10). Which is smaller: u or 12?
u
Let l = -2452/153 + 140/9. Is l equal to -1?
False
Let q(x) = x. Let n be q(1). Let y = 14.248 - 0.048. Let s = 14 - y. Which is bigger: n or s?
n
Let j be 4*62/(-20) + (-6)/10. Is j less than -12?
True
Let x = 10 + -10.19. Let w = x - -0.05. Let z = -0.06 + w. Is 0.1 at most as big as z?
False
Let o = -125 - -117. Suppose 3*z - 5 = 8*z. Which is smaller: z or o?
o
Let l = -255470 + 378081. Let v = l + -1351117/11. Let u = -218 - v. Which is greater: u or -1?
u
Let y = -6 + 2. Let g be 2/y - (-388)/744. Let l = g + 73/930. Which is smaller: l or 0?
0
Let t(n) = 5*n - 4. Let o(y) = 10*y - 9. Let f(i) = 3*o(i) - 7*t(i). Let u(m) = m + 4. Let l be u(-3). Let d be f(l). Are -1 and d equal?
False
Let o be ((-1)/3)/(2/42). Which is smaller: -37/5 or o?
-37/5
Let x = 5.85 + 0.15. Let q = -6.8 + x. Let j = 1.1 + q. Is -1/2 smaller than j?
True
Let h = 23 + -22.91. Let s = h - -0.01. Which is smaller: 0 or s?
0
Let y = 10 + -7. Let i(g) = -g**3 - 11*g**2 - g - 8. Let j be i(-11). Does y = j?
True
Let o(t) = -t**3 - 7*t**2 - 8*t - 8. Let p be o(-6). Let w(n) = 2*n**2 + 4*n. Let f be w(3). Let g be p/f*(-12)/(-4). Is -1 > g?
False
Let x = 0.05 - -0.15. Which is smaller: 2/13 or x?
2/13
Let x = 25/7 - -53/42. Is x smaller than 6?
True
Let z = -0.112 - -0.112. Let l = 0.24 + 0.06. Is l <= z?
False
Let u = -1221/154370 - 1/718. Let f = -88/215 - u. Let k = -0.35 + 0.05. Is k bigger than f?
True
Suppose -4*i = -i - 15. Suppose -8*g + i = -3*g. Which is greater: 1/19 or g?
g
Let o = -13 - -18. Suppose -2*y + q - o = 0, -19 = -y - 5*q + 6. Which is smaller: y or -3/5?
-3/5
Let x = -4.2 + 5.15. Let a = -0.05 - x. Is a != 2?
True
Let a = -18 + -1. Is a smaller than -19?
False
Let b = 7 - 12. Let r(g) = -g - 6. Let t be r(b). Let u be 6/2*6/(-9). Is t greater than u?
True
Suppose -2*x = -4, 3*j + 3*x = 5*x + 14. Is 2 >= j?
False
Let d be 1*14*2/4. Let u(f) = f**3 - 7*f**2 + f - 7. Let s be u(d). Let w = -131/201 + -1/67. Which is smaller: s or w?
w
Suppose -279 = 11*g + 95. Is g bigger than -34?
False
Let a = -0.62 - 0.08. Suppose 0 = -5*u - 4*w + 4, -2*u + 4*w = 2*u + 4. Is u less than a?
False
Let x = 87/5764 - -1/131. Is 1 != x?
True
Let x = 2.2 - 0.7. Which is smaller: x or -1?
-1
Let r be (3/20)/((-4)/5). Let n be 3 - 3 - -1 - 0. Which is bigger: n or r?
n
Let b(m) be the third derivative of m**4/24 + 11*m**3/6 - 4*m**2. Let x be b(-10). Is -2/23 at most x?
True
Suppose -6 = -q - g + 2*g, 2*q - 22 = 4*g. Which is greater: q or 9/7?
9/7
Let q = 16 - 10. Let u(g) = -g**3 + 5*g**2 + 6*g - 2. Let h be u(q). Is -3/4 at least h?
True
Let x(q) = -4*q**3 + q - 2. Let a(k) = 13*k**3 - 4*k + 7. Let p(c) = -2*a(c) - 7*x(c). Let b be p(1). Let d be -1 + (-2 - -1 - -5). Is b < d?
False
Let q(h) = -h**3 - h**2 + h + 1. Let l be q(-2). Suppose -4*p = -5*p + 2. Is p >= l?
False
Let g = -5 - -2. Let l be (g/(-6) + -1)*-4. Let q(k) = k**2 + 9*k + 4. Let o be q(-9). Is l equal to o?
False
Let i be 2/(-44) - (0 + 0). Let m be 1/3 - (12/9)/(-2). Are m and i equal?
False
Let p(n) = -n - 2. Let f be p(-2). Is -1/2 bigger than f?
False
Let s(v) = -v + 2. Let u = 1 - 0. Let r be s(u). Let h = 109 - 323/3. Which is smaller: r or h?
r
Suppose -h - 5 = 1. Let x be h*((-8)/6 - -2). Which is smaller: -3 or x?
x
Let m(g) = -2*g - 7. Let k be m(-9). Suppose 0 = 4*p + 2*j - 6*j - 4, 3*j + k = -p. Let t be 6/3*2/4. Is t less than p?
False
Let n = -8 + 9. Is n at most as big as -3/14?
False
Let q be 3 - 206/34 - -3. Are 0 and q nonequal?
True
Suppose l + 2 - 3 = 0. Let x(r) = -r - 27. Let a be x(-12). Let f be 2/(6/a)*l. Which is smaller: f or -3?
f
Let k = -5 + 0. Which is smaller: -2 or k?
k
Let p = -1 - -3. Suppose -5*w + 3*b + 26 = 0, 2*b + 1 = 7. Let v = w + -4. Is p equal to v?
False
Let l be 12/42 + (-23)/7. Let u be l/2 - 7/(-14). Does u = -1/5?
False
Let g = -52 + 52. Is g < -1/3?
False
Suppose 6*y - 10*y = 0. Let k be (6 - y)*2/30. Which is greater: k or 1?
1
Suppose 4*s - 3*c - 2*c = -16, 4*s - c = 0. Let b = 220 + -217. Which is smaller: s or b?
s
Suppose 4*g + 10 + 11 = 3*l, -3*l = -2*g - 15. Suppose 4*u = -4*m + 28, -4*u - 2*m + 3*m = -l. Which is bigger: u or 1/2?
u
Let p be 4*(-1)/(-724)*-2. Which is smaller: p or -2/5?
-2/5
Let k be 2/((-140)/44 + 3). Which is smaller: k or -7?
k
Let l = 605399338/10419011 - -2/548369. Let o = 58 - l. Which is smaller: o or 0?
o
Let j = 3.5 - 3. Let c = 3.5 + j. Let h = c - 3.9. Which is smaller: -0.1 or h?
-0.1
Let u = -0.229 - -0.19. Which is smaller: 1 or u?
u
Suppose -10*n + n - 306 = 0. Is n bigger than -34?
False
Let c(x) = x**2 + 3*x - 4. Let p be c(-4). Suppose -4*u - 12 = -p*u. Let h = 3 - 3.2. A