 10 = -3*q, 37 = -3*o + q. Let u(c) = c**3 + 11*c**2 - c - 3. Let g be u(o). Let k be -1 - 1 - g/(-4). Is k greater than or equal to 3/10?
False
Let j = 7.8 + -52.8. Let g = 44.8 + j. Let u = -4 - -6. Which is smaller: u or g?
g
Suppose 0 = y + 2*n + 7, -2*y + 5*n + 4 = 3*n. Let b be (-18)/(-8) - y/(-2). Let z be (-1 - -19)/(-6)*1/(-3). Which is smaller: z or b?
z
Suppose 0*w - 4*w - 13 = n, -3*w - n - 9 = 0. Let x(p) = -9*p - 1. Let c be x(1). Let l(a) = a**2 + 12*a + 18. Let j be l(c). Which is greater: j or w?
j
Suppose 0 = y + s + 73, 4*y = -24*s + 27*s - 306. Is -77 at least as big as y?
False
Let u(y) = y**2 + 10*y + 8. Let w be u(-9). Let f = 18/19 - 239/152. Which is smaller: w or f?
w
Let a be 8/16*(-34924)/7. Let c = a - -3842669/1540. Let n = 3/44 - c. Is n != -2?
True
Let j = 420 + -453. Which is smaller: j or -32?
j
Suppose -2*t + 13562 = 13720. Which is bigger: t or -394/5?
-394/5
Let n be 10/8 - 2/8. Let y = n - 0. Let g be (-4)/42*((-144)/(-40) + -5). Which is smaller: g or y?
g
Let g be (-8)/(-10)*(-2)/8. Let a be 2 + -5 + 3 + -4. Let l be ((-2)/a)/((-5)/10). Is g != l?
True
Let b = -0.032 + -0.085. Which is smaller: 0 or b?
b
Let w = -15 + 6. Let f be (260/15)/(-1 + -1). Are f and w non-equal?
True
Let z(b) = -2*b**3 - 40*b**2 - 39*b - 20. Let p be z(-19). Is p greater than or equal to 4/749?
False
Let u = -1265.7 - -1266. Which is bigger: -179 or u?
u
Suppose 6 = 3*o - a, -9*o + 7*o + 12 = 2*a. Suppose 2*j = 5*u - 59, 5*j + 84 = -4*u - 146. Let p = 44 + j. Which is bigger: p or o?
o
Let b = -8093/315 - -180/7. Is 0 > b?
False
Let k(h) = 92*h - 5. Let p be k(-1). Let o(t) = -99*t**2 + 2*t - 1. Let l be o(1). Is p greater than or equal to l?
True
Let s(y) = -y**3 + 3*y**2 + 3*y - 2. Let v be s(2). Let u(f) = f + 2. Let n be u(3). Suppose 2*o + 0*o - q - 19 = 0, -n*o + q = -46. Is v at most as big as o?
True
Let n = 15 - 12. Suppose -2*y + 12 = 4*g, -5*y + 16 = -n*g - g. Suppose -9 + 25 = -y*p. Do p and -5 have different values?
True
Suppose -73988 = 155*x + 83957. Is -1019 >= x?
True
Suppose 6*o - 4*o - 2 = 0. Let t be 12*(5 - (-109)/(-22)). Which is smaller: t or o?
t
Let g = -36/23 + 533/414. Which is smaller: g or 1?
g
Let j = 26.69 + 5.31. Which is smaller: j or 1/4?
1/4
Let w be -4*9/72 - 0. Do w and -4/147 have the same value?
False
Let n be ((-2)/4)/((-43)/(-26746)). Are n and -311 nonequal?
False
Let b be (-23 - 0)*2/(-10). Let x = -215/411 + 176921/34935. Let a = x - b. Which is smaller: -1/3 or a?
-1/3
Let g = -194 - -204. Is 2/5 <= g?
True
Suppose 3*n - 9 + 6 = 0. Is n less than 308?
True
Let h be 0 + (-6)/(-27) + 1595/(-6732). Are h and -9 non-equal?
True
Suppose -2*c + 4 = -4*o + 112, -2*c - 3*o = 101. Which is bigger: -67 or c?
c
Let q be -2 + 1 + -9 + 1. Let j = -55 - -58. Suppose -x - 4 + 0 = n, -j*n - 32 = -x. Are q and n unequal?
False
Let g = 5.11 - 5.8. Let f = 0.74 + g. Is -0.2 at least as big as f?
False
Let l be ((-32)/7120)/(4/(-10)). Is l smaller than 1?
True
Let n = 66 - -14. Suppose -72 - n = -5*w - 3*h, -5*h - 64 = -3*w. Let a = w + -194/7. Which is bigger: a or -0.2?
a
Let p = -5 - -11. Let s be p/8 + (-3)/(-12). Let c be (34/18 + -2)*s. Which is bigger: -1 or c?
c
Let a(x) = 2*x**2 + 14*x - 158. Let u be a(-13). Is -33/29 bigger than u?
True
Suppose 13*d - 18*d - 15*d = 0. Which is smaller: d or 12/85?
d
Let o be 55/25 - 8/(-10). Suppose 4*g = 39 - o. Let f be (g/(-6))/((-69)/4). Are 0 and f equal?
False
Suppose -13*m = -9*m + 492. Which is smaller: -124 or m?
-124
Let u(j) = -5*j**2 + 6*j - 9 + j**3 - j**2 - 4*j. Let m be u(6). Let x be (2 - (-24)/(-9))*-3. Is m less than x?
False
Suppose 3*j = -2*j - 5*g + 30, j - 4*g = -4. Let v be 4 - (j + -3)*4. Is -1 <= v?
True
Let k = 1642 + -1560. Is 0 at least as big as k?
False
Let n = -1317 + 1139. Is -2/5 at least as big as n?
True
Let z(f) = -f**3 + 5*f**2 - 3*f + 3. Suppose -3*y + 22 - 7 = 0. Let j be z(y). Let i be 2/j + 7 + -7. Which is bigger: i or 1?
1
Let u(r) = r**3 + 2*r**2 + 1. Let a be u(-2). Is a at most as big as 31/30?
True
Let d = -7 + 16. Let a be (-18)/(-27) + (-6)/d. Suppose -5*g - 5*x + 7 = -3*g, 0 = -4*g + x + 3. Is g bigger than a?
True
Let k = 445 + -342.8. Let j = -102 + k. Is -14 < j?
True
Suppose 2*o + 2 = 0, y + 5*o = -2 - 2. Let w = -8 - -9. Let d be (w - 1)*(-7)/14. Is d less than or equal to y?
True
Let s(a) = 2*a + a - 4*a - 26 + 3*a. Let t be s(10). Which is greater: t or 2?
2
Let k(i) = i**2 - 3*i - 12. Let y be k(0). Let q = 8 + -4. Let n be (11/(-2))/(2/q). Which is smaller: n or y?
y
Let t be 152/(-3)*(-54)/(-252). Is t at most as big as -10?
True
Let r be 6/12*(-4 + 2). Which is smaller: r or 6/17?
r
Let u be 118184/177408 + (-4)/6. Which is greater: u or 1?
1
Let g = -74 - -73. Which is smaller: g or -5/8?
g
Suppose 5*x + 178 + 152 = 0. Is x less than or equal to -2/5?
True
Let n be -6 - (0/(-1) - (-2 - 2)). Let b be (120/(-4) - -4)/n. Is b >= 2/7?
True
Suppose 0 = -2*m + 3*f + 2*f + 68, 8 = -2*f. Let z = 12 - m. Which is smaller: 1 or z?
z
Suppose -2*m = -8 + 14. Let z be -16*(4/m + 1). Is z >= 4?
True
Suppose 24*n = 9*n. Which is smaller: n or 5/21?
n
Let z = -12 + 13. Suppose -25 = -3*c + 47. Let n = c - 17. Is n less than z?
False
Let z be (-1)/(-2) + (-1)/2. Let j = 6629/6 + -1105. Are z and j equal?
False
Let z(l) = -3*l + 16. Let x be (12/(-14))/(-3 + (-40)/(-14)). Let d be z(x). Does 0 = d?
False
Let t = -502 + 5528/11. Let q = -74 + 73.6. Which is greater: q or t?
t
Suppose 0 = 2*m + 2*f - 7 + 5, -5*f = 3*m - 5. Which is smaller: -1/929 or m?
-1/929
Suppose 4*v - 16 = 0, 4*p + 4 = v - 0. Suppose 20 = 3*d - 7*d. Let h = -6 - d. Which is greater: p or h?
p
Let h = -158/21 + 125/7. Let f = h + -9. Which is greater: f or 2?
2
Let o be -7 + 86/(-13) + -6. Which is smaller: o or -21?
-21
Let q(b) = b**3 - 8*b**2 + 10*b + 2. Let m be q(7). Suppose 3 = -5*o + m. Suppose 8 = -2*g, 4*a - o = -3*g - 56. Which is greater: -11 or a?
a
Let t = -568/651 + 30/31. Let u = t - 67/42. Is u < -1?
True
Let y be (28/(-10))/((-3)/(-15)). Let g be (-1 - -3) + -3 + 23. Let a = g + y. Which is bigger: a or 3?
a
Let f(s) = s**3 - 22*s**2 - 21*s - 46. Let o(v) = -v**2 - 19*v - 25. Let c be o(-16). Let r be f(c). Which is bigger: -1/13 or r?
r
Let m = -1/829 + 14963/33989. Is m at least -1?
True
Let c = 4805/19 + -253. Which is greater: c or -2?
c
Let q = -0.64 + 31.64. Let v = 318.2 + -287. Let h = q - v. Which is bigger: h or -12?
h
Let g be (-10)/(-12) - 150/180. Which is smaller: g or -3/25?
-3/25
Let g(b) = b**2 + 2*b - 3. Let j = 20 - 12. Let c = j + -11. Let w be g(c). Which is smaller: w or 2/13?
w
Let a = 113.9 - 114. Is a at least -0.2?
True
Let j(m) = m + 20. Let b be j(-14). Let a(k) be the first derivative of k**2/2 + 16*k - 7. Let f be a(-9). Is b less than or equal to f?
True
Let t be (-3 - -5) + (19537/(-1953) - -8). Do -1 and t have different values?
True
Let i = 51 - 46. Suppose -i*d + 23 = -62. Is 17 equal to d?
True
Suppose -315 = 3*f - 12. Does 1/4 = f?
False
Let p(y) = -3*y**2 + 18*y + 91. Let l(i) = i**2 - 6*i - 30. Let t(m) = -7*l(m) - 2*p(m). Let r be t(9). Which is bigger: -10/23 or r?
r
Suppose 4*r = 2*r - o + 94, -4*r - 3*o + 186 = 0. Let g = r - 91. Which is greater: g or -44?
g
Let b(w) be the third derivative of 2*w**5/5 + w**4/12 + w**3/6 - w**2. Let g be b(-1). Let c = g - 24. Is -1/26 < c?
False
Let n = 10676/301017 - 2/5281. Let l be (10/(-4))/(4/(-8)). Suppose -4*q - 12 = 4*v, -l*q - v = -3*q + 2. Which is bigger: q or n?
q
Suppose 78 = 5*p - 4*q, 2*q + 2*q = -8. Suppose 3*z + 0*h = 2*h - p, 0 = -4*z + h - 17. Let k be z/(-14) + (-168)/931. Which is greater: -1 or k?
k
Let y = 0 - 0.12. Let v = -0.02 - y. Which is smaller: 2/59 or v?
2/59
Let m be (48/9)/((8/24)/(-1)). Are m and -4 non-equal?
True
Let t(d) = -d + 7. Let k be t(6). Suppose -3 = -5*b - 3*s, 3*b = 2*b + s - k. Let q be (0 - 1)/(b - -1). Which is greater: q or -3?
q
Let y = -222 + 226. Let p = -164.97 + 163. Let t = p - 0.03. Is y <= t?
False
Let z be (2/(-22))/(7/14)*-1. Let v(g) = g**2 + 4*g - 4. Let n be v(-5). Does z = n?
False
Let r(l) = -2*l**3 - 2*l + 1. Let c be r(1). Let k be ((-2)/(-4))/(3/(-1430)). Let b = k - -236. Which is smaller: c or b?
c
Let h(f) = -f**2 - f + 5. Let b be h(2). Let y be 0 + b + -19 + 20. Is 2/3 smal