 58. Which is smaller: g or -1/11?
-1/11
Let y(q) = q + 7. Let l be (-8)/20 + (-56)/10. Let u be y(l). Let h be 6/(-10)*(-3700)/(-4884). Are h and u non-equal?
True
Let f(s) = s**3 + 29*s**2 - 153*s - 19. Let x be f(-31). Suppose -833 + x = 11*k. Which is bigger: 180 or k?
180
Let t = -5640 + 5655. Which is smaller: 13/5 or t?
13/5
Let m be (-3)/(-5) + (-4)/(-10). Let l be m/((-18)/22) - -1. Let n = 66.43889 - 65.79889. Which is bigger: n or l?
n
Let z = -0.03 - -12.93. Let r = 10.9 - z. Let b = 265/6 + -44. Is b greater than r?
True
Suppose 77 = 6*f + 221. Let z(d) = -d**2 - 21*d + 71. Let o be z(f). Is -1/98 less than or equal to o?
False
Let f(i) = 2*i**2 + 31*i - 15. Let r = 64 + -59. Suppose -2*m - 60 = 4*s, -4*s = -0*m - r*m + 74. Let v be f(s). Is 2/3 less than or equal to v?
True
Let o(q) = -5*q + 37. Let p be o(-5). Suppose -p*n - 72 = -56*n. Is n < -5?
True
Suppose 6*x + 15 = 9. Let h be 5 + 4/x - 1. Let v be (-1 - 5/3)/2. Are h and v unequal?
True
Let d be -9 + 0 + (529396/(-70))/(-14). Does 532 = d?
False
Let j = -5298 + 227798/43. Let u = j + 1579/4128. Suppose w + 3*z = -4 + 3, 0 = -z. Which is bigger: u or w?
u
Let b = 5661 + -5701. Which is smaller: 12 or b?
b
Let y be 21/(-12)*((-66)/(-11) - -6). Let k = -25.5 + 29. Let g = k + -3.4. Which is bigger: y or g?
g
Let k = 63 - 74. Suppose 3*j - 6 = j. Suppose -j*s = -7 + 1. Is s >= k?
True
Let o = 5/81 + 461/405. Let a(b) = 85*b + 4*b**2 - 11*b**2 + b**2 + 23*b. Let t be a(18). Which is greater: o or t?
o
Let t = -8590 - -8590. Suppose -2*z - 4*m = -57 + 11, -z = -4*m + 7. Which is greater: t or z?
z
Suppose 221*b - 116*b + 198516 = -321*b. Do -2331/5 and b have the same value?
False
Suppose 3*h + 3 = 0, 2*c - h = h - 54. Let t = -20 - c. Suppose 0 = 4*i - 3*r + 30, 3*i - 5*r = -t - 20. Is -5 != i?
True
Let k = 86 - 96.8. Let v = k + 6.6. Let r = v + 0.2. Is r >= 3?
False
Let f = -1613.824 - -1608. Let l = -2040 + 2040.024. Let x = f + l. Which is smaller: x or 0.1?
x
Let y(z) be the third derivative of z**5/30 + z**4/24 - 4*z**3/3 + 31*z**2. Let i be y(-6). Is 58 at most i?
True
Let j be ((-2939)/15983 - (-32)/176)*(-4)/(-18). Is j at least as big as -1?
True
Let f be -1*((143/(-2))/(-13))/(1/(-6)). Do f and -29 have different values?
True
Suppose -2*a = 3*a + 5*r + 300, 5*a + 301 = -4*r. Suppose -57 - 43 = g - 39. Is a smaller than g?
False
Suppose 0 = p + 3, 77*q - 82*q = 4*p + 16862. Which is bigger: q or -3371?
q
Let a = -0.037 + 1.037. Let c be (-21)/14 - (-1)/((-12)/258). Is c greater than a?
False
Let c = 1 + -6. Let a(p) = 2*p**3 + 10*p**2 - 4*p + 1. Let n be a(c). Is 19 at most as big as n?
True
Suppose -4*c + 93 = 93. Let x be (-1 + c)/(7/63). Suppose 5*o - v + 41 = 0, -o - 39 = 4*o + v. Is o less than or equal to x?
False
Suppose -11 = 14*i + 507. Let a be (-1)/i*-68 - -2. Is -2 greater than a?
False
Let g be -2 + (1/5 - 864/(-80)). Suppose 481 + 2021 = -g*r. Which is bigger: r or -280?
r
Let m(b) = -b**3 - 6*b**2 - 13*b - 35. Let t be m(-5). Let g be (-1)/((-7)/371)*1/t. Let s = 13 - 1. Is s greater than g?
True
Let a = -2.4442 + 2.35. Let c = a - 378.9058. Which is smaller: 2/7 or c?
c
Let c = 6.1 + -6. Let t(x) = -x**3 + 9*x**2 + 9*x + 14. Let q be t(10). Suppose -2*u + q*l = -68, 0 = -8*l + 4*l + 4. Which is smaller: u or c?
c
Let h = 7438 + -7530. Which is bigger: h or -144?
h
Let k(m) = m**2 - 3*m - 31. Let t be k(7). Let c be t/((-27)/(-2)) + 4596/27. Suppose 4*z + 62 = -c. Is z > -57?
False
Let f = 7143 + -7383. Which is greater: -14 or f?
-14
Let k = 114.6 - -34.4. Let q = 223 - k. Let v = 0.068559 + -1.068559. Is q greater than v?
True
Let q be 51/(-34)*(-2)/(-18). Let t = 3.2 - 0.2. Let d = 3 - t. Which is greater: q or d?
d
Let m(s) = -s**3 - 9*s**2 + 9*s - 4. Let u be m(-10). Suppose 7 - 25 = -u*d. Suppose -2*w - 9 = 3*p, p + 2*p + 12 = -d*w. Are -21/5 and w equal?
False
Suppose 5*k - 138 = 177. Let w(m) = m**2 - 5*m - 1. Let l be w(11). Which is bigger: k or l?
l
Let c = -3038 + 593. Which is smaller: c or 0?
c
Suppose 7*z - 35*z = -812. Suppose 13 = -i - z. Is i at most -42?
True
Let y = -5304 - -5659. Which is bigger: 361 or y?
361
Suppose -g + 2*m - 3 = 2, 3*g = m - 5. Let d be (g - 0)*(76/(-2) - -7). Do d and 92/3 have the same value?
False
Suppose 6*u = c - 5, 50*c = 47*c + 15. Which is smaller: 45 or u?
u
Let x = -3834 + 3873.825. Let g = -0.175 - x. Do 1 and g have different values?
True
Suppose -2*x + 4*m + 17 = -23, x = -2*m + 4. Let v be 6/(-230) - x/(-60). Is v < -0.1?
False
Let o be 42/2 + -3 + -3. Let g be (-5)/(o/(-108)) + -3. Let q = 563 - 531. Is g greater than or equal to q?
True
Suppose 150*y - 125*y = 1750. Which is smaller: y or 78?
y
Let d(v) = v**2 - 18*v - 134. Let h be d(-5). Which is greater: h or -16?
-16
Let h be (-13374)/(-102) - (-2)/(-17). Let j be (-27)/(-6)*(-440)/(-15). Do j and h have the same value?
False
Let s(a) = -a - 2. Let h be s(-3). Let u be ((-1)/(-6) - (-265889)/(-140798)) + 216/126. Which is smaller: h or u?
u
Let h = -1650 + 1649.976. Is h > 36?
False
Let a be (-9 + 0 + 1)*(38 - 42)*-2. Is a smaller than -61?
True
Let l be (-22215)/(-4)*(-264)/165. Which is smaller: -1/4 or l?
l
Let x = 8.9 - -161.1. Let n = x + -171.2. Which is smaller: -1/2 or n?
n
Let i = 25.031 - 25.441. Which is smaller: i or -29?
-29
Suppose -668*j + 27144 = 40*j + 228*j. Suppose t - 3*t + 50 = 2*h, -3*t + 115 = -5*h. Is t equal to j?
False
Let f(u) = 104*u**2 + 2287*u - 22. Let t be f(-22). Is t <= 17/250?
True
Suppose 57*d + 135 = 78. Which is bigger: d or -25/48?
-25/48
Let v(o) = -o**3 - 9*o**2 + 2*o - 43. Let x be v(-10). Let a be ((-216)/(-45))/((-2)/(-15)). Is x != a?
True
Let x = -676 - -1022. Let i be (13/26)/(-1 - x/(-344)). Is 88 smaller than i?
False
Let c(r) = -18*r - 71. Let n(s) = -8*s**2 - 2*s + 1. Let x be n(-1). Let j be c(x). Do 15 and j have the same value?
False
Let i(w) be the first derivative of -w**4/4 + 16*w**3/3 - w**2/2 + 19*w - 21. Let n be i(16). Let y be (-4)/3 + 1/3. Which is smaller: n or y?
y
Let c = 328.2 + -57.2. Let d = c + -271.3. Is d at most -0.1?
True
Let t = 18 - 11. Suppose t*v = v. Suppose 10*k - 17 + 157 = v. Which is bigger: k or -3?
-3
Let l = -2152 + 2156. Which is greater: 0.166 or l?
l
Let x be 21/18 + (8 - (-247)/(-26)). Which is greater: x or 148?
148
Suppose 0 = 75*x + 35254 - 4729. Does x = -407?
True
Let m(a) be the second derivative of -a**5/10 + 5*a**4/3 - 2*a**3 - 17*a**2/2 + 2*a + 33. Let x be m(10). Is x at most as big as -137?
True
Suppose -3*m + 72*m + 146370 = -16*m. Which is smaller: -1724 or m?
-1724
Suppose -3*l + 108 = -168. Let p = l + -89. Suppose 0 = k + 2*k - p. Is -2/13 >= k?
False
Suppose -51*o = -53*o + 124. Suppose -2*y + 0*m - 112 = 2*m, 0 = y + 4*m + o. Suppose 109 = -3*h + 5*z - 58, 0 = 5*h - 3*z + 273. Is h >= y?
True
Let b = 3.9058 - 3.969. Is 1 less than or equal to b?
False
Suppose 0 = -6*p + 14*p - 56. Let d be p/(7/(-5))*-31. Is d greater than or equal to 155?
True
Let u = 1593 - 1577. Is 139/9 smaller than u?
True
Let t be (3/(-18))/(552/17122656). Let s = t + 5170. Which is smaller: s or -1?
-1
Suppose 1989 = 13*g + 2028. Which is bigger: g or -146/61?
-146/61
Let t(f) = 394*f + 123. Let p be t(1). Which is smaller: p or -0.04?
-0.04
Let o(a) be the first derivative of 12*a - 31 + 21/2*a**2. Let v be o(-3). Which is greater: -52 or v?
v
Let z = -138 + 2057. Are 1919 and z equal?
True
Let a(q) = 4*q**2 - 6*q - 16. Let p be a(-10). Let j = p - 444. Which is smaller: j or -1/564?
-1/564
Let l = -0.02361 - -10.53361. Is l smaller than -3?
False
Suppose -28 = -4*u, -u + 15018 + 8479 = -5*w. Are -0.1 and w non-equal?
True
Let i = -38.83 - 0.17. Let l = i - -32. Let b = l + 23. Which is smaller: 0 or b?
0
Let a = 109 - -12. Suppose -3*q + 18 = 4*j + 191, 4*q + a = -3*j. Let o = j + 46. Which is bigger: o or -2?
o
Let c = 47/9 - 49/9. Let a = 382 + -384.9. Is a greater than c?
False
Let r = -1627/163 - 445699/3097. Do r and -153 have the same value?
False
Let t be (3/1 - 0) + 105. Let p = t + -523/5. Let a(c) = 2*c**3 + 10*c**2 - 2*c + 64. Let k be a(-6). Do p and k have the same value?
False
Let g = 316 - 153. Let t = -162.89 + g. Let y = -8 - -11. Is t != y?
True
Suppose -4 = 5*y - 4*o, y + 243*o + 1 = 244*o. Which is bigger: y or 6/2003?
6/2003
Let c = 1