*g - 18, 3*w = 6. Let h be (-6)/(3*(-4)/g). Suppose p = -h*p - 16. Are p and -8/3 unequal?
True
Suppose 2*o + 8 = -h, h + 12 = 3*h - 3*o. Suppose h = -56*q + 67*q + 77. Is q greater than -12?
True
Let c = -1391 + 235077/169. Let m(o) = 0*o**2 - 71 + 44 + o**2 + 11*o. Let i be m(-13). Which is greater: i or c?
c
Let t(d) = -d**3 - 4*d**2 + 5*d + 9. Let c be t(-4). Suppose -18*h - 48 - 168 = 0. Are c and h equal?
False
Let j = -28 + 33. Suppose -2*n = -j*n + 45. Let c be (0 - n/2)*24/(-10). Do c and 17 have the same value?
False
Suppose 2*o - 3*b = 19, -67*b - 33 = -2*o - 62*b. Is -15/1436 less than o?
False
Let z = -359/76 + 50353/2052. Is 19 greater than z?
False
Let r be (-6)/4*(-8)/6. Let s = 3.625 + -2.47. Let c = s + 0.045. Is c not equal to r?
True
Suppose 0 = -5*c - 4*m + 24, -16*m + 15*m + 6 = 4*c. Which is smaller: -30/707 or c?
-30/707
Let w = -818847/34 + 24082. Is w equal to -1?
False
Let v = -9 - -37. Let c = v - 28.2. Let b = 2.828 - -0.172. Is b > c?
True
Suppose -x - 121 = -33. Let m be x/(-24) + (-6)/9. Suppose m*a - 52 = a. Which is smaller: 27 or a?
a
Let a(j) = -j**3 + 4*j**2 + 5*j - 1. Suppose -46 = -3*y + f, -4*y + 0*y + 3*f = -63. Suppose -3*v - y = -6*v. Let c be a(v). Which is smaller: c or 1/3?
c
Let q be 2/(-164)*(-60)/(-110). Let m = 2243/1804 - q. Is m < 36?
True
Let k(q) = q**3 + 4*q**2 - 13*q - 2. Let v be k(-6). Suppose 0 = -v*h + 7*h + 5*i + 1, -2*i = 5*h + 27. Is 17 at most h?
False
Let m = 181 + -300. Let c = m - -174. Let r = c + -455/8. Which is greater: -1 or r?
-1
Let m = 119/53 + -5055/1378. Is m > -2?
True
Let y(j) = -j**3 + 28*j**2 + 20*j + 258. Let c be y(29). Which is bigger: c or -218/67?
c
Let u be -3 - (-3 + (-6934)/1670). Let d = 8/167 + u. Let k be (704/968)/((-2)/(-11)). Is d <= k?
False
Let t be 281/28 + 2/(-7). Let q(a) be the second derivative of 6*a**3 + 95*a**2 - a + 45. Let r be q(-5). Is t smaller than r?
True
Let v = 265156/833 - 5394/17. Which is smaller: v or 0?
0
Let k = 23/593 - 18518/64637. Which is smaller: 2 or k?
k
Let p(w) = w + 43. Let s be p(-44). Let i be (-1 + s)/(11 - -6). Is -8 less than i?
True
Let i = 367.396 + -368. Let w = -0.126 + i. Let v = -0.73 - w. Which is smaller: -6 or v?
-6
Let x be 52/(-52)*(18/45 - (-57)/370). Which is greater: x or -1?
x
Let t = 31 + -40.5. Let v = t + -5.5. Is 10 at least as big as v?
True
Let r = -0.154 + 3.124. Let p = r + -186.97. Which is smaller: 1 or p?
p
Let d = -633/2 - -13289/42. Let f(y) = 2*y - 3. Let o(k) = k**2 - 11*k + 2. Let q be o(11). Let r be f(q). Are r and d nonequal?
True
Let n = -461 - -47023/102. Let i = 29908 + -29908. Which is greater: n or i?
n
Let u be (-76)/22026*(-12168)/27. Let r = 2/3671 + u. Suppose s - 2*g = -10 + 3, -2*s + 3*g = 9. Is r smaller than s?
True
Let w be 24/18 - (-3 - (-6265)/1290). Is w at most -1?
False
Let y(n) = 10*n - 47. Let p be (-170)/(-40) + 2/(-8). Let f be y(p). Is -5 at least f?
True
Suppose 924 - 105 = 7*d. Let g be 2 + (3/3 - 70). Let x = g + d. Are 50 and x unequal?
False
Let w = 2.1 - 2. Let d = -0.204 + -2.636. Let g = -4.84 - d. Which is smaller: g or w?
g
Let l be -60*(150/36 + -4)*-3. Suppose 3*t = 6, -3*k + 5*k - 5*t + l = 0. Are k and -30 equal?
False
Let v = 2.473 - 4.073. Which is smaller: 10 or v?
v
Let w = -11402 + 11412. Suppose 5*i = -p + 2*p + 220, 0 = 3*i + p - 132. Suppose 2*n = -2*n + i. Is w at least as big as n?
False
Suppose 7*y - 8*y = 1, -4*y = x - 117. Suppose 3*l - x = -5*i, -42*i + 39*i + l + 67 = 0. Is 27 at least as big as i?
True
Let h(f) = f**2 + 8*f + 8. Let d be h(-6). Suppose -2*n = -54*r + 55*r + 3, 0 = 2*r + 3*n + 14. Which is smaller: r or d?
r
Suppose -117 = 5*z - 72. Let n be (-3)/(-10)*(2 + (-24)/z). Let m = -3 + 1. Is m bigger than n?
False
Suppose -4*g - 308 = -0*g. Let q = g - -82. Suppose -q*s = 5*d, 2*d + 7 = 2*s + 3*s. Is 2/229 greater than d?
True
Suppose -28*p + 58 = p. Suppose -s + 4*q = -4*s, p*s = 4*q. Is s <= 1/676?
True
Let m = 424 - 158. Suppose -267*x + m*x = -8. Is 10 at most x?
False
Let t(x) = -8*x + 29. Let u(o) = 9*o - 28. Let j(g) = 3*t(g) + 2*u(g). Let a be j(-3). Which is smaller: a or 47?
47
Let w = 4245 + -4246.2. Which is smaller: -5/28 or w?
w
Let w be (-632)/88 - -7 - 35/(-11). Suppose -4*k - 5*q = 19, -3*q - 14 = 8*k - w*k. Which is smaller: -10/53 or k?
k
Let q be (21/((-315)/60))/3814. Let y = 28 - 28. Which is bigger: q or y?
y
Suppose -3*t = -4*k - 12, 5*t - 8 = -5*k - 23. Let c = 1290/7 + -724973/3934. Let w = c + -565/1686. Which is smaller: t or w?
w
Suppose -3*q + 220 = 4*x, x + 4*q - 60 = -5. Suppose 4*p + x = -w, -2*p - 3*w = -6*p - 59. Let m be 5 - 214/(-600)*p. Is m greater than 2/3?
False
Suppose -4*q + 60 = 4*o, 0*q - 4*q + 6*o + 20 = 0. Let b(d) = 9*d**2 - d + 1. Let f be b(1). Suppose -2*s + q - f = 0. Which is smaller: 1/106 or s?
1/106
Let p = 27 + -24. Suppose 3*j - 10 = 2*y, -3*j + 4*y - y = -15. Suppose j = -2*o + p*m, -4*o + 0*o - m = 14. Which is smaller: o or -1?
o
Suppose 2*h - 5 = 6*o - o, 5*o = -3*h - 5. Suppose h = y + 5*y + 150. Let d = y - -26. Is d <= -3/11?
False
Let j(s) = -s**3 - 6*s**2 + 3. Let f be j(-6). Let o be (-7 - -13)*((-10)/(-3) + -3). Let b be ((-30)/63 + 1/o)*4. Is f less than or equal to b?
False
Let a be (-2)/(-12) + 120/144. Is a > 2/193?
True
Let v be -1 + -3 - (27 - 13). Let k be ((-198)/(-27))/((-4)/v). Is 35 <= k?
False
Let z(r) = r - 5. Let d be z(8). Suppose -4*q = c - d*q, -c - 2*q = 0. Let b be (-52)/16 - (7 - (10 - 0)). Is c less than or equal to b?
False
Suppose 2*h + 43 = -15. Let y = h + 32. Suppose 8 = -y*l + 14. Which is smaller: 3 or l?
l
Let i be (-1)/7*(-16 - 32)/24. Which is bigger: i or -0.0488?
i
Suppose -5*x - 2*y - 10 = 0, -2*y + 5*y = -15. Let l be x + 8 - 75/30. Which is smaller: l or 7?
l
Suppose 9*j + 1285 = 1762. Is j at most as big as 671/13?
False
Let k be 1967/2810*8/(-266). Is k not equal to -2/25?
True
Let x = -3005.97528 + -0.02472. Which is smaller: x or 1?
x
Let u = 133505 - 656831/5. Let w = 2152 - u. Do w and 14 have different values?
True
Suppose 0 = 2*j - 2*r - 10, r - 8 + 33 = 3*j. Let f(d) = 7*d - 17. Let s be f(j). Let u = s - 52. Is u less than 1/30?
False
Let s be (-8)/(-48) + (-1030)/(-12). Suppose 0 = -4*r + s + 442. Let t be r/(-9) + 4/6. Is t at least as big as -14?
True
Let u be (4/26 - 0) + 2378/(-754). Let y be 0*u*3/(-9). Let x be (-1)/4 - (-69)/(-108). Which is bigger: y or x?
y
Let k be (6/8)/(((-5)/(-1540))/(-1)). Let b = k + 230. Is 189 != b?
True
Let v = 138 - 139. Suppose 0 = -m + 4*m - 81. Let z = 24 - m. Which is smaller: v or z?
z
Let v = -252 - -253. Let u = 9.24 + -9. Let r = u + -0.35. Which is smaller: v or r?
r
Let m = -6137 + 300715/49. Which is smaller: 1/10 or m?
m
Let b = 573 - 575. Let d be (-3)/(33/b) + 153/187. Let l(x) = 4*x**3 + 3*x**2 - 4*x + 1. Let c be l(-3). Which is greater: c or d?
d
Let t(w) = -186*w - 121. Let r be t(-12). Is r bigger than -0.1?
True
Let r(x) = -48*x + 275. Let a be r(4). Suppose -6*c + c = 2*b - 159, -3*b - 4*c + 242 = 0. Which is bigger: b or a?
a
Suppose -42 = 21*x - 27*x. Suppose 2*n = -2*f + 4*f, -5*f = 2*n - x. Let a be 2/(-6) - 57/(-117). Which is smaller: f or a?
a
Suppose 0 = -2*f + h + 3, 6*h = -f + 4*h + 4. Let y be 4/10 + 19/15. Are f and y non-equal?
True
Suppose -v - 3 = -0. Let f = -214.9769 + -0.0231. Let k = f + 215. Which is bigger: v or k?
k
Let h be 3/(-9)*(-1935816)/395. Which is smaller: h or 1635?
h
Let q be -1 - 1 - (26 + -30). Suppose 10 = 4*y + q*s, -2*s = -y - s + 4. Is 2 less than or equal to y?
True
Let p = -2.2 - -2.3. Suppose -d + 82 + 2 = 0. Let j be 110/7 + 24/d. Which is smaller: p or j?
p
Let g(j) = -j**3 + 2*j**2 + 2*j + 3. Let n be g(3). Suppose 3*i = 4*o - i - 16, 2*o + i + 7 = n. Is o less than 2/37?
True
Let z be -3 - (-10 + 5)/(-5). Let u(i) be the second derivative of -i**5/20 - i**4/4 - i**3/6 - 21*i**2/2 + 5*i. Let n be u(z). Which is bigger: n or -2?
n
Let h(x) = -1526*x - 307. Let i be h(-1). Is 1221 bigger than i?
True
Let b = -0.8013 + 1.8013. Is b equal to -3056?
False
Let y be (30/(-7) + 4)*7. Let t = 1313 + -22339/17. Is y at most as big as t?
True
Suppose 251*b + 4*o + 636 = 252*b, -3*o - 2531 = -4*b. Is b != -0.4?
True
Let b = -36 + 53. Suppose 5*g = b + 43. Suppose 2*k + 7*p + 2 = 3*p, -p - 50 = -4*k. Which is