 n be w(15). Let x = 3 + -23. Let o = x - -22. Which is smaller: n or o?
o
Suppose 19*t = 569 + 1. Is t at least as big as 30?
True
Let q be (-2770)/42 + 58/87. Which is smaller: -65 or q?
q
Suppose -52 = -2*d + 20. Let z = -31 + d. Which is bigger: z or 3/7?
z
Let k = 69 + -70.4. Let o = -0.15 - -1.45. Let w = k + o. Is 3 greater than or equal to w?
True
Let a(v) = -7*v - 171. Let h be a(-43). Which is bigger: 132 or h?
132
Let x = 1 + -0.4. Let o = -2.4 - x. Let h = -1/78 + -149/546. Which is smaller: h or o?
o
Suppose -n - 8 = 4*q + q, 3*q - 9 = 4*n. Let z = 119/4 + -611/20. Let x = z + 6/5. Are x and q equal?
False
Suppose -a - 19 = -6. Let k(y) = 3*y - 1 + 0*y - 17 - 2*y. Let d be k(6). Is d greater than a?
True
Suppose l + 2*s - 2 = 0, l + 3*s = 7 - 1. Is 18 greater than l?
True
Suppose 0 = -v + 2*m - 1, -2*v - 2*v + 2*m = -14. Suppose 8 = v*i + 3*f, -4*f - f = -3*i + 32. Suppose 4*c - 2*c = i. Is c < 0?
False
Let o(j) = 5*j**3 - 26*j**2 + 9*j - 25. Let k be o(5). Is k greater than -37/9?
False
Suppose 7*t + 6*t = 0. Which is smaller: t or 4/91?
t
Let b = -454 - -431. Is -11 not equal to b?
True
Let z(g) = -g**3 + 6*g**2 - 1. Let h be z(6). Let k = 254 + -84. Let l be 40/(-16)*(-12)/k. Are l and h unequal?
True
Let n be ((-4545)/30)/((-126)/(-208)). Let h = -250 - n. Is -1/3 <= h?
True
Let i = 129 - 128.9. Let w be 3/(-2)*(-16)/(-6). Let f = w + 1. Is f smaller than i?
True
Let o be 32/24*45/(-3). Let k be -2 - (55/o + 1). Is k less than 1?
True
Let q be -1 + 2/(-6)*1. Let p be 1139/34 + 1/2. Let w = p - 33. Which is bigger: w or q?
w
Let c(o) = o**3 - 3*o**2 - 5*o. Let q be c(4). Let s be ((-14)/q)/((-1)/(-2)). Let w(i) = -i**3 - 48*i**2 - 559*i + 22. Let l be w(-20). Is s <= l?
False
Let b = -115 - -117. Is 33 less than b?
False
Let r = 7.4 + 12.6. Is r at least as big as 1?
True
Let q(v) = 2*v**3 + 2*v + 1. Let x be q(-1). Let u(p) = -p**2 + 7*p - 6. Let j be u(4). Suppose 0 = -3*i + 4*n + 2 + j, 0 = i + 2*n + 14. Is i bigger than x?
False
Let j = -179 + 207. Is j at least -0.5?
True
Let k = -0.72 - -0.12. Let b = k - -0.66. Let m = b + 0.04. Which is smaller: 1 or m?
m
Let b = 17696/126205 - 2/2935. Is 1 greater than b?
True
Let q be (-27519)/(-138) + (-1)/(-2). Let v = 200 - q. Let m = 11 - 10. Is v smaller than m?
True
Let x = 28 + -26. Let n be x/88*80/70. Which is bigger: 1 or n?
1
Let q be 19 + 3/(60/8)*5. Is 19 < q?
True
Let l = 161 + -159. Is 8 greater than or equal to l?
True
Let s = -11235 + 13066303/1163. Let f = 1239/44194 + s. Suppose 0 = -98*n + 100*n. Is n less than f?
True
Suppose 3*j + 5*x = -16, -x - 1 = 2*j - 2. Suppose z + p = -3*z - 79, 0 = -j*z + 2*p - 62. Let h = z + 20. Which is smaller: h or 0.09?
h
Let h be (1 + -754)*(-77)/(-231). Which is bigger: -252 or h?
h
Let m = -6 - -8. Suppose -m + 0 = 2*x. Let l = 1059 - 22241/21. Which is bigger: x or l?
l
Let c be (-42)/105*(-5)/9. Is 199 != c?
True
Suppose 4*r + 4 = 2*l - 4, 4*l - 5*r = 10. Suppose 0 = 3*t, l = 2*n + 3*n - 2*t + 20. Is -10/3 less than or equal to n?
False
Let h = 2947/44 + -267/4. Is h not equal to 1?
True
Let g = 1608/25 + 6709/50. Is g less than 2/3?
False
Let z(o) = -2*o**3 - 51*o**2 + 31*o + 130. Let v be z(-26). Let d be (-3 - -1) + 40/19. Which is bigger: v or d?
d
Let i = -27 + 26.79. Let a = i + -0.69. Let g = -0.9 - a. Is g at least 1?
False
Suppose 11 = -4*r - i, 3*r - r + 4*i = 12. Let z be r/14 + 3/(-14). Which is greater: z or 0?
0
Suppose -8*p + 41 + 39 = 0. Suppose 2*k - 18 - p = 0. Suppose 4*w - m = m, w = 4*m - k. Is w greater than 1/7?
True
Let y be (-1989)/(-306) + (0 + -15)/3. Let q = 426 - 15761/37. Let n = q + -41/148. Which is smaller: y or n?
n
Let k = -96.19 - -1.19. Let m = -94 - k. Suppose 2*y + 19 = -n + 1, 2*n - 27 = 5*y. Which is smaller: m or y?
y
Let a = -0.0755 - -14.0755. Is 19 > a?
True
Let p(r) = -4*r. Let u be p(-5). Let y = -12.67 - -10.67. Which is smaller: y or u?
y
Let w be (13/34 + 0)*60. Let x = w + -4630/187. Which is smaller: -3 or x?
-3
Let b be 340/92412*6/5. Is b != 1?
True
Let u(m) = -m**3 - 7*m**2 + 9*m + 11. Let a be u(-8). Suppose 2*k + 7 = a*x + 2*x, 0 = -2*x + 4*k + 6. Which is smaller: -2/19 or x?
-2/19
Let i be (-8)/20 + (-2)/(-6). Suppose s + 11 = -5*p, 4*p - 3*p = 4*s + 128. Let v = s - -32. Which is smaller: i or v?
i
Let q(o) be the first derivative of o**4/12 + o**3/3 - 5*o**2 + 4*o - 9. Let c(a) be the first derivative of q(a). Let z be c(-4). Which is bigger: -4 or z?
z
Let o = 2/2019 - 209990/14133. Which is greater: -16 or o?
o
Let l(s) = -s**3 + 5*s**2 + 2*s - 4. Let y be l(5). Let d(b) = -2*b**2 - 16*b + y*b + 3 - 8. Let w be d(-4). Are w and 3/2 non-equal?
True
Suppose -9 = -4*q - 1. Let r be q/6*(2 + 5)*-3. Is r >= -7?
True
Let x be (((-7)/2751)/((-1)/2))/(-1). Is 0 >= x?
True
Let w(f) = f**3 + 5*f**2 - 8*f - 11. Let z be w(-6). Let i(x) = 2*x**2 - 4. Let l be i(2). Which is bigger: z or l?
l
Let m(u) = -3*u + 37. Let y be m(8). Which is bigger: 11 or y?
y
Let s be (1/2)/(4*4/(-1856)). Let j = s + 347/6. Does -2 = j?
False
Let w = 41.342 + -41.3. Which is smaller: 6 or w?
w
Let w(j) = -j - 1. Let r be w(0). Let z be (1/r)/((-3)/(-3)). Let l = 7963/12 + -664. Is l at most as big as z?
False
Suppose -w = 5*r - 2*w - 117, -3*r + 3*w = -75. Let d = r - 14. Let x = 49 + -49.2. Is x < d?
True
Let x(z) = 39 + 6*z**2 + 33*z - 13*z - 5*z**2. Let h be x(-16). Is -24 smaller than h?
False
Suppose -4*a + 8 = -12. Suppose -5*x - 11 - 26 = 2*r, -x = a*r - 11. Which is smaller: x or -5?
x
Let f = 0.02 - 20.02. Let a = -14 - f. Let v = a - 3. Are v and -3/2 nonequal?
True
Let q = -380/559 - -16/43. Let h(f) = -f**3 - 2*f**2 + 4*f + 3. Let u be h(-3). Is u < q?
False
Let j = -158 + 156.7. Is j bigger than -1?
False
Let g be ((-4)/(-30))/(16/174). Let i = g - 5/4. Which is greater: i or -1?
i
Let b = -12895 - -64993/5. Which is greater: 103 or b?
b
Suppose -3*o + 5*o + 19 = -3*j, 0 = 4*o + 4*j + 32. Let y(u) = -10*u**3 - u**2. Let g be y(1). Let s = g - o. Which is smaller: -5 or s?
s
Let g = 386 + -210. Let l = g + -1234/7. Which is smaller: l or -16?
-16
Let m(y) = -y + 3. Let j be m(0). Suppose x + 3*a = -3*x + 22, j*x - 4*a = 29. Let r = 22/3 - x. Is r bigger than 1?
False
Let p(d) = -d + 4. Let x be p(9). Let b(j) = j**3 + 7*j**2 - 2*j - 15. Let s be b(x). Is s not equal to 45?
False
Suppose -4*u = -7*i + 2*i + 697, 1 = i. Is -173 less than u?
False
Let g = 318 + -320. Let m = 3 + -5. Are g and m equal?
True
Let a be 0/((1 - -1) + -1). Let x(z) = -3*z**3 + z**2 + z - 1. Let i be x(-1). Suppose o - i*o - 6 = a. Is -6 greater than or equal to o?
True
Let y be 3/(-5) + 1 + (-44)/10. Let v = -408 - -2018/5. Which is smaller: v or y?
v
Let x = -15.4 + 78.4. Let y = x - 54. Is y > -1?
True
Let j = 4643/4120 + -1/515. Is j at most as big as 0?
False
Let r = 13 + -2. Let y(g) = 6*g - 67. Let q be y(r). Are 50 and q non-equal?
True
Let t(j) = 3*j - 2. Let g be t(2). Suppose -2*h = -s - 2 + 7, g*s - 4 = 4*h. Let v be ((-6)/(-15))/((-1)/(-20)*-4). Is v <= s?
False
Let z be (12 - 780/72) + 1/(-2). Which is greater: 5 or z?
5
Let d(a) = -19*a + 21. Let g be d(0). Is g bigger than 11?
True
Let s = -1262.815 + 1263. Is s <= -1?
False
Suppose -2*y + 32 = w, 5*y + 56 + 17 = 2*w. Let q(c) = -34*c + 4*c**2 + w*c. Let o be q(1). Which is bigger: o or 5?
5
Let p be (150/(-40))/((-7)/(-1028)). Let v = 552 + p. Which is greater: 1/3 or v?
v
Let d(f) = 2*f - 10. Let m(w) = 2*w - 10. Let l(c) = -4*d(c) + 5*m(c). Let y be l(2). Suppose -j = -0*j + 7. Which is bigger: y or j?
y
Let c be 14/49 - (-1318)/(-4564). Let a = 2605/978 - c. Let n = 3 - -1. Which is bigger: a or n?
n
Let p(l) = -2*l**3 - l**2. Let j be p(1). Let h be (-12)/3*2/4. Let v = h - j. Is v less than or equal to -2/9?
False
Let c = -38869/114 - -1022/3. Do 0 and c have the same value?
False
Let x = 65/804 + -372293/10452. Which is smaller: x or -37?
-37
Let f be 2/10 + (-4)/20. Let a be -2 + ((-174)/26)/(-3). Which is bigger: a or f?
a
Let x be ((9 + -8)*26)/2. Which is bigger: x or 97/8?
x
Suppose -2*d - s = -677, 0 = 8*d - 11*d - 3*s + 1017. Let b be (-37106)/(-110) + 4/10. Let r = b - d. Is -1 smaller than r?
True
Let b = -1946 + 1974. Which is smaller: 63 or b?
b
Let z = 29063/3232 - 283/32. Is -1 greater than z?
False
Let q(m) = -m**3 + 3*m*