Is 21 at least as big as g?
True
Let h = 0 + 0. Let u(y) = y**2 + y - 9. Let t be u(h). Let j = 55 + -63. Which is smaller: j or t?
t
Let q(j) = -1. Let u(n) = n + 6. Let v(c) = 6*q(c) + u(c). Let y be v(-3). Let l be 2/7 + 81/(-63) + -3. Is y smaller than l?
False
Let h = 65 + -53. Suppose -h*a - 11 = -a. Is a at most as big as 1/8?
True
Let p = -1 - 1. Let o = -74 - -53. Let j = -21.5 - o. Is p greater than j?
False
Let p = -59660/22841 - 6/1757. Which is bigger: p or -4?
p
Let h be 18/5*20/6. Let d(x) = 2*x**2 - 9*x - 10. Let k be d(h). Let j = -1532/9 + k. Are 0 and j unequal?
True
Let a = -34185/8 + 4267. Which is bigger: a or -6?
-6
Suppose -4*r + 5 = -5*d, 0 = -22*r + 26*r - 3*d - 3. Let n = 103307/103 - 1003. Is r at least n?
True
Let f = -378569/30 + 25175/2. Let x = f + 4174/105. Is 8 > x?
False
Let b be 5/2*(1 - 3). Let z(w) = -w**3 - 4*w**2 + 6*w - 2. Let u be z(b). Which is greater: 1 or u?
1
Let i(v) = -v**3 - 10*v**2 + 12*v - 9. Suppose r = 5 - 16. Let y be i(r). Let q = -13 - y. Does q = 7?
True
Let i = -13.9 - -1.9. Let l = 12.1 + i. Which is bigger: l or 12?
12
Let y = -364/11 - -8229/253. Which is bigger: y or -2?
y
Let j(k) = -k**3 + k**2 + 3*k + 3. Let w be j(-2). Let f be (-2)/(-16) - (-20)/(-1120)*-49. Is w smaller than f?
False
Let z = -769 + 702. Is z equal to -63?
False
Let t be ((5 - 2 - 3)/(-2))/1. Which is bigger: 3/118 or t?
3/118
Let b be -217 + -4 + -8*4/(-16). Is b smaller than -220?
False
Let f = 30.1505 - 0.1505. Which is smaller: 3/8 or f?
3/8
Let k(r) be the first derivative of r**5/120 + r**4/8 - 5*r**3/3 - 8. Let c(b) be the third derivative of k(b). Let z be c(-2). Are -1/7 and z equal?
False
Let i(r) = -r**3 + 15*r**2 - r + 22. Let h be i(15). Suppose w - 78 = h*w. Is w <= -1?
True
Let p be 2/5 + 6/10. Let a be (-2 + p)/((-3)/12). Let i be 20/2*(-10)/(-20). Which is bigger: a or i?
i
Let p = -14 - -118. Let i = p - 726/7. Are 2/47 and i unequal?
True
Let b = 55 + -54.9. Let r = 4.4 - 0.4. Let n = r + -6. Which is smaller: n or b?
n
Let b be 2/(-16)*(-5 - 388/(-44)). Is b greater than 1?
False
Let p = -2.5 - -3.77. Let o = p - 1.3. Let r = 0.07 - o. Which is bigger: r or -0.7?
r
Let c = -118 - -118. Which is smaller: 1/139 or c?
c
Let t = -69 - -49. Let c(o) = -o**2 - 5*o + 16. Let h be c(-9). Let g = h - t. Which is smaller: g or -1/8?
-1/8
Let q = 416 - 412. Which is smaller: q or -2/13?
-2/13
Let w = -184 - -183. Is 3/62 < w?
False
Let y be (4/(-6))/(-11 - (-1100)/99). Which is smaller: -5 or y?
y
Let d = -62 - -63. Let s be (2*(0 - 4/8))/d. Which is smaller: s or 1/17?
s
Let i = 10 + 5. Let r = i - 15. Which is smaller: -1 or r?
-1
Let p = -0.43 + 0.3. Let v = 40.13 + p. Which is smaller: v or -0.2?
-0.2
Let d(w) = 5*w**2 + 24 - 19*w + 724*w**3 + 4*w**2 - 725*w**3. Let u be d(6). Which is greater: 19 or u?
19
Suppose 0 = 5*x + 15, w = -3*x - 8 - 1. Let z = -14459/15917 - 1/1447. Is w < z?
False
Let b(m) = m**3 - 4*m**2 + 6*m - 3. Let a be b(2). Let q be ((-476)/(-8) - 3)*2. Let x = q - 1018/9. Which is smaller: x or a?
x
Let x = 6 + -3. Suppose -4 = t - x*t. Is t less than or equal to -4?
False
Suppose -8*y - 133 = -27*y. Is 22 >= y?
True
Let n = -280 + 281. Which is smaller: 119 or n?
n
Suppose -2*h = -0*h. Let l = 2045/22 - 187/2. Which is bigger: l or h?
h
Let w be (-406)/(-147)*(-1 - -24 - -1). Which is smaller: w or 66?
66
Let u = 0.053 - -3.947. Are u and -9 nonequal?
True
Let h = 77 - 59.8. Let w = h - 13. Let i = -4 + w. Is i bigger than -6?
True
Let y be (1331/55)/((-4)/20). Is y less than 2?
True
Let l(s) = -s**3 - 21*s**2 - 22*s - 42. Let p be l(-20). Which is smaller: p or -2/13?
p
Suppose 2*a - 5*a = -15. Let f be a + -2 + -8 + 5. Suppose f = 2*u - 4*u + 4*j + 14, u - 11 = 3*j. Which is greater: 0 or u?
0
Suppose -14*c - 288 = -6*c. Let u = c - -34. Let g(t) = -2*t**2 + 2*t - 3. Let o be g(2). Which is bigger: o or u?
u
Let z be (-57)/76 - 221/(-284). Let r = z + 132/355. Which is greater: -1/8 or r?
r
Let j(o) be the second derivative of -o**4/12 - o**3 + o**2 - 4*o. Let x be j(-7). Let d = -8 - x. Is d smaller than -3?
False
Let f = 9 + -2. Suppose -13 = -j - 4*l, 4*l - f*l = -5*j - 4. Let m be (-3)/51*(-3 + j). Is m > 0?
True
Let f = 321 - 328. Is -98/13 > f?
False
Suppose 3 = -2*f - 3*n, -3*f + n - 2*n = 1. Let k be f + 3 + 693/(-225). Which is greater: -1 or k?
k
Let q = -45/26 - -2161/858. Are q and 0 equal?
False
Let r be -1 - (54/(-63) - (-674)/(-14)). Is r > 0?
True
Suppose -l - l = 3*w + 84, 5*w + 138 = -4*l. Let s be 2/(-6) - (-1310)/w. Which is greater: s or -45?
s
Let f be (((-21)/(-9))/7)/(16/(-24)). Is f bigger than -244?
True
Let c(d) = -2*d**3 - 32*d**2 - 3*d - 35. Let j be c(-16). Suppose 64 = -4*v - 3*t + j, 4*v + 66 = 2*t. Is v <= -4?
True
Let y = 2071 - 308578/149. Is -1 at most as big as y?
True
Let m(j) = j**3 + 5*j**2 + j. Let s be m(-5). Suppose -w + 0 + 6 = 0. Suppose -b - w = -0. Are s and b unequal?
True
Let y = -31 - -18. Let o be (-13 - y)/((-2)/(-1)). Let k(h) = -h**3 - 2*h**2 + h - 8. Let s be k(-3). Are s and o non-equal?
True
Let n be 27*(0 + (-6)/9). Let r be (-9794)/462 - n/(-63). Let w = -65/3 - r. Which is smaller: 0 or w?
w
Suppose -n + 2*j + 2*j = 10, 0 = 2*n - 4*j + 4. Suppose 16 = 2*r - 4*x, -x + 10 = n*r - 3*r. Suppose -7*p = -r*p - 3. Which is greater: p or -1/13?
p
Suppose -3*a + 19 = -4*j, -4*a - 5 = j - 24. Which is smaller: j or 1/65?
j
Suppose -2*q = -2*x + 22, 0*q = 3*q. Let r = 13 - x. Suppose r*j + 3*j + 10 = 0. Which is smaller: j or -3?
-3
Let v = 4 - 2. Let k be (-7)/(-84) + 13/4. Which is smaller: k or v?
v
Let z = -473.06 - -473. Which is smaller: z or 61?
z
Let l = -1.027 + 1.131. Which is greater: l or -1/9?
l
Suppose 2*c + c = 2*c. Which is bigger: c or 21/73?
21/73
Let i(g) = -2*g - 6. Let x(h) = 2*h + 5. Let m(r) = -5*i(r) - 6*x(r). Let o be m(-1). Let k be (o/2)/((-18)/(-2)). Which is greater: -1 or k?
k
Suppose 9 = x + 7. Suppose -u + x*r + r = 0, 4*u + 4*r = 0. Which is greater: u or -1/107?
u
Let p = -167 - -181.3. Let y = 11 - p. Let l = y + 2.3. Are l and -4 nonequal?
True
Let s be (3/(-36))/((-6)/(-16)). Let y = -101.8 + 102. Let d = y + -0.4. Is s smaller than d?
True
Suppose 3*g = 2*g + 7. Let j be (21/2)/g*(-2)/18. Is j at least -1?
True
Let n = 115 - 115. Suppose -2*u - 4 - 12 = n. Is -12 bigger than u?
False
Let m = -1.23 + 0.59. Let s = -0.6 - m. Which is bigger: s or -2/3?
s
Let n = -192.8 + 15.8. Let c = -171 - n. Is c at most -1/5?
False
Let k be -4*(8932/840 + 4/(-30)). Which is greater: k or 0?
0
Let x = -577 + 577. Do x and 17/12 have different values?
True
Let k be (-99)/165 - 2/(-20). Is -55 at most k?
True
Let b = -7/6 - -1/2. Let f be (8/(-48))/((-2)/(-12)). Is f less than or equal to b?
True
Let w(o) = o**3 + 8*o**2 - 9*o + 3. Let z be w(-9). Let g be (-3)/(1*(2 - z)). Suppose -2*n = g*n - 10. Which is smaller: 4 or n?
n
Let f = -20 - -20.13. Let b = f + 0.87. Let k = 17.7 - 17. Is b at most as big as k?
False
Let z = 49 + -63. Let x be (1/3)/((-42)/z). Is -1/4 at most as big as x?
True
Suppose 0 = 5*j + 2*b - 16, -3*b + b + 14 = 4*j. Suppose -j*d = -d. Let a = 6411/7 - 917. Which is greater: a or d?
d
Let t = 0.7 + 5.3. Let m = 4 - t. Let u = -1.23 - -1.43. Which is bigger: m or u?
u
Let b be 0 - (-2)/(1 + 1). Let p = 0.55 - -22.45. Let q = -22.9 + p. Which is greater: b or q?
b
Suppose -8 = -w - 3*w. Suppose 0 = -0*i - w*i. Is i smaller than -4/17?
False
Suppose -2*g + 2 = -3*v + 3*g, -2*g + 20 = 2*v. Let p(o) = 2*o - 5 + 2 - 3 - o. Let u be p(11). Which is bigger: u or v?
v
Let y = -1062 - -3196/3. Which is smaller: y or -51?
-51
Let w(k) = k**2 - 4*k - 8. Let x be w(6). Suppose -5*q + 15 = 3*v + 2*v, -2*v + 3*q + 21 = 0. Let y be v + -3 + (4 - 3). Is y not equal to x?
False
Let f(z) = -z**3 - 4*z**2 + 14*z + 15. Let j be f(-6). Which is smaller: j or 63?
j
Suppose 2*s + 2*s + 4 = 0. Let v be (-14)/49 - (426/(-448))/3. Is s less than v?
True
Let r = 1157/10 + -3907/30. Let i = r + 1054/75. Is i at least as big as 0?
False
Let i be 2/2 - (-14 + 2). Suppose -5*g + p = 117, 0 = -3*g - p - 38 - 37. Let j = g + i. Is j bigger than -10?
False
Suppose 5*r + 4*a = -849, 111*r - 110*r - 4*a + 189 = 0. Which is smaller: r or -171?
r
Let p = 57 + -57.97. Let k = -0.03 + p. Is -6 bigger than k?
False
Suppos