55, 4*s - 5*b = 23. Let f be q(s). Are f and 1/2 non-equal?
True
Let d = -37 + 49. Let c be 14/6 + 8/d. Suppose -4*h = -2*x - 44, x + 19 = c*h + 3*x. Are h and 31/4 non-equal?
True
Let p be (0 - (-2055)/4) + 72/(-96). Let b = p + -514. Which is smaller: b or 3/82?
b
Suppose 5 + 103 = 4*o + a, o + 5*a = 27. Suppose -o*u = -32*u + 450. Suppose 0 = 8*y - 13*y + u. Which is greater: 20 or y?
20
Let d be 93/310 + 13113/90. Suppose -5*b + 373 = -352. Which is bigger: d or b?
d
Suppose -3*a + 9 = 0, -5*o + 561 = -8*o + 3*a. Let n = o - -189. Let q = 2893/763 - 24/109. Is q > n?
False
Suppose -2*d + 7*d + 975 = 0. Let j be ((-30)/(-4))/(-5)*66736/516. Is d < j?
True
Suppose 50 = 30*y - 40. Suppose -3*u - 53*n + 39 = -48*n, -y*u + 2*n + 18 = 0. Is 43/6 < u?
True
Let o(y) = -y**3 - 10*y**2 - 29*y + 157. Let a be o(13). Are -4106 and a nonequal?
True
Let t be ((-9)/3 + (-800)/(-268))*(-171 - -190). Is 0 greater than t?
True
Let b = 108.94 - 106. Let l = 2.84 - b. Which is smaller: -113 or l?
-113
Let m = 11937.036 + -11937. Is m greater than 137?
False
Suppose 2*k + c = 433, 3*c - 299 = -5*k + 785. Let t be (-172)/k + (108/10 - -2). Which is smaller: t or 71/6?
71/6
Let w = 572/15 + -1099/30. Is w < -8/71?
False
Let t = -22 + 27. Let h be -3 - (2 - t - 8). Let c be (h/(-24))/(0 - 3/(-9)). Are -2/11 and c unequal?
True
Suppose 5*a - 5 = 5*r, -6*r + 3*r = 5*a - 13. Let u be 7*(1430/357 - 336/84). Are r and u nonequal?
True
Let c = -1.408 - -5.858. Let p = -4.31 - -0.01. Let k = p + c. Which is greater: k or 1?
1
Let x be 0 + 8/2 + -4. Suppose x = -n + 5*n - 20. Suppose -2*t + 2*s = -0*t - 16, 0 = -n*t - s + 40. Is 1 greater than or equal to t?
False
Suppose 0 = 3*m + w - 3*w - 16, 18 = 2*m - 5*w. Suppose m - 31 = -p - 5*k, -2*k + 8 = 0. Suppose 8*j - p*j = -8. Which is smaller: -10 or j?
-10
Let r = 17639 - 17634. Let g = -1354 + 6801/5. Is r at most as big as g?
True
Suppose -3 = -5*n - 8, -3*n = -5*c + 13. Let z be (-13 - -8)*(c - 1). Let l be 405/(-63) + ((-6)/(-14))/1. Which is smaller: l or z?
l
Suppose -3 = f, -5*v - 253 = 5*f - 788. Suppose -v - 42 = 4*i. Let r = i - -43. Which is bigger: 1 or r?
r
Let c be (-2)/(-10) - 84012/159960. Let w = -3/86 - c. Do 1 and w have different values?
True
Let v = 8 + -11. Let m(o) = -10*o**2 - 26*o + 6. Let i be m(-3). Which is smaller: i or v?
i
Suppose -3*p - 14 = 2*p + 4*m, -4*p + 4*m = 4. Let z be (-70)/(-95)*7/((-7)/3). Is p at most as big as z?
False
Suppose -742 = -149*h + 156*h. Is h != -105?
True
Let d be (44/(-28) - -5)/((-2)/(-28)). Suppose 0 = 2*a + k + 22 + d, -3*k = -a - 21. Let x be (-10)/(-12)*a/11. Which is greater: x or -0.1?
-0.1
Let m = -281 + 288. Suppose -4*x - m - 9 = 0, -2*x = 3*z + 194. Are -65 and z nonequal?
True
Let y = -0.04821 - -4.44821. Are y and 0 unequal?
True
Suppose -k = 3*i - 195, -29*k + 24*k + 897 = 2*i. Let n = 70 + 107. Is k at most n?
True
Let j(g) = 10*g**2 + g + 58. Let a be j(-6). Let h be (3 - 1)/(a/84 - 5). Which is smaller: h or -23?
-23
Let k(n) = -4*n**3 - 18*n**2 - 124*n - 185. Let y be k(-10). Is 3253 at least as big as y?
False
Let v be -9 - (-11 + 138/(-30)). Which is smaller: v or 7?
v
Let g = 20 + -21. Let k = -0.226 + 0.278. Is g bigger than k?
False
Let v = 7154/31 - 234. Which is smaller: v or -3?
v
Let o = -42307/4 - -584894283/55300. Which is smaller: -1 or o?
-1
Let y(q) = 5*q**2 + 7*q - 47. Let l be y(5). Let x = 285917/11 + -26106. Let r = l + x. Which is bigger: -1 or r?
r
Let l be (-13 + (-15 - -20))*22/(-10). Which is bigger: l or 18?
18
Let p(g) = 5*g - 38. Suppose 0 = 3*s - 107 + 98. Let i(w) = -2*w. Let y(v) = s*i(v) + p(v). Let t be y(11). Which is greater: t or -48?
-48
Suppose -2*g - 4 = 0, -2*u + 6*g - 550 = 3*g. Let t = 259 + u. Is t equal to -19?
True
Suppose 0 = 19*q - 558 - 4854 + 16. Which is smaller: q or -18?
-18
Let y = 43/18795 - 2/105. Let u = -259/5907 + y. Is u > -1?
True
Let z be (3838/(-4))/((-58)/116). Is 1919 less than z?
False
Let h = -2367145/468 - -5058. Let v = -10762 + 10763. Which is greater: v or h?
v
Suppose -5*c + 2 = -3. Suppose 56*l = 59*l + 678. Let o be 108/135*5/l. Which is smaller: o or c?
o
Let b = 61 - 18. Suppose -5*m - 28 = -3*d, -4*m + 5*d = -8*m - 15. Let x(q) = 2*q**3 + 12*q**2 + q. Let h be x(m). Which is smaller: h or b?
b
Suppose 2*c = -t - 20, 4*c - 4*t + 27 - 11 = 0. Let j be c - (0 + -9)/3. Let z = 0.4 + -0.36. Is j not equal to z?
True
Let k = -17.871 + 362.871. Is k greater than -4?
True
Let q = -186.24 + 248.24. Which is greater: -3 or q?
q
Let w(o) = -o**3 - 19*o**2 + 30*o + 5. Let z be w(-14). Which is smaller: -1393 or z?
z
Let d = 1682762/555 - 3032. Let q(s) = 7063*s + 35315. Let c be q(-5). Which is bigger: c or d?
d
Let v be 0 - (0 + (-32)/(-7)). Let p(l) = -32*l**2 + 676*l - 88. Let x be p(21). Is x smaller than v?
False
Let i = 16803 - 9393. Let k be -1 - -2 - (8 + (-51890)/i). Do k and -1 have different values?
True
Let o be (1 - 2)*((-21924)/(-4) - -1). Let c be ((-4)/42)/((-18)/1034262). Let v = c + o. Are v and -11 equal?
False
Let p(s) = -s**2 - 19*s - 85. Let r be (-21)/2*(-26)/(-39). Let h be p(r). Let j = 122/3 - 368/9. Is j less than h?
False
Let u = -9952/19029211 - 3/14023. Which is greater: -2 or u?
u
Suppose -5*n - 1298 = 4*q, -4*n + 9*q - 4*q - 1022 = 0. Let d be ((-4)/((-32)/(-12)))/(n/1). Are 1 and d non-equal?
True
Let w = 331 - 345. Let x be (240/35 - 2/w)/(-1). Is -19/3 less than or equal to x?
False
Let u = -4.4 - -4. Let g = -6987 - -6997. Which is bigger: g or u?
g
Let c(r) = r**3 + 13*r**2 - 5*r - 30. Let v be c(11). Let z = 582 + v. Let k = z - 91817/27. Is 0 equal to k?
False
Let j = 12.7 + -13.9. Suppose 0 = -b + n - 1, 2*b - 5*n + 2*n = -3. Which is smaller: b or j?
j
Suppose -5 - 34 = -13*w. Suppose f + 15 = 46. Suppose -5*d + 4*r - 1 = -9, -4*d - 5*r = -f. Which is bigger: w or d?
d
Let g(z) = -z**2 + 21*z - 42. Let p be g(19). Let t be (-9)/18 + (-62)/(-4). Let n be 128/8*t/(-52). Which is smaller: n or p?
n
Let j be -3 + 1 - (50/5 + -13). Which is smaller: 6/1355 or j?
6/1355
Suppose -4*o - u - 4305 = -9*o, -2*o = 4*u - 1744. Let n = o + -656. Are 206 and n non-equal?
False
Let h(j) = j**2 - j. Suppose -5*a - 4*y - 12 = 3, -4*a = 4*y + 16. Let p(x) = -4*x**2 + 4*x - 1. Let t(k) = a*p(k) + 3*h(k). Let v be t(1). Is v greater than 0?
False
Suppose -53 - 31 = -12*h. Suppose k + h - 5 = 0. Which is smaller: -0.132 or k?
k
Let t be 5*(-371)/(-245) + (-6)/(-14). Suppose 10*d - 4 = t*d. Suppose -d*v - 60 = -4*o, -4*o = -4*v - 0*o - 128. Is v at most as big as -34?
True
Suppose -53 = 7*f - 4. Let g(c) = 4*c**2 + 8*c + 4. Let a be g(f). Suppose -a = -17*k + 11*k. Which is smaller: -1 or k?
-1
Suppose 5*g + 3*w - 6746 = 0, -4*g = -7*g - 2*w + 4049. Is g at least 1345?
True
Let v(x) = 31*x + 94. Let u be v(5). Let j = 244 - u. Is j bigger than 24?
False
Let j = 5.1 - -66.9. Let k = j + -71. Let o = -13.09 + 13. Which is smaller: k or o?
o
Suppose -2*h + 20*x + 14 = 24*x, h + 9 = 2*x. Let s be (-1716)/(-2835) - (-6)/(-10). Is s bigger than h?
True
Suppose -5*g - 746 = y + 1075, -5*y - 1097 = 3*g. Let u = 209 + g. Is -154 smaller than u?
False
Suppose -32 + 26 = -n. Let g be 0/(2/1) + n. Which is smaller: g or -7?
-7
Let v(x) = -x**2 - 30*x - 45. Let k be v(-15). Suppose -d + 3*l - k = -48, -d + 5*l = 130. Which is greater: d or -267/2?
-267/2
Let k = 71 + -69. Suppose -k*d = -161 - 91. Is 126 greater than or equal to d?
True
Let k = 67 + -115. Let a = 74 + k. Let n = a - 26.1. Is 10 at most n?
False
Let x = -945 - -378. Is -564 != x?
True
Suppose 4*q + 32 = 2*u + 22, -3*q = 2*u - 3. Suppose -2*c + 227 = 3*r - 108, r - u*c - 97 = 0. Which is smaller: r or 106?
106
Suppose 11*r = 14*r - 279. Let v = -96 + r. Are v and 2/9 nonequal?
True
Suppose 4*p = k + p + 3, -5*k + 4*p + 18 = 0. Let l be 12/30 - k/15. Let n be 4/(-6) - (-2 - l). Is 5 equal to n?
False
Let t be (-327)/(-10) - (-84)/630. Is t greater than 32?
True
Suppose 0 = 2*o + 5*c - 364, 9*c - 11*c = o - 180. Let w(x) = -x**3 - 12*x**2 + 32*x - 23. Let d be w(-15). Is d at least o?
True
Let q be 3 - (399/147 - (-4)/14). Are 2/6073 and q equal?
False
Let b = -5075 + 5075.1. Is b > 58.46?
False
Let i be (2/2 + 99)*30/75. Suppose 6*h = -4*h + i. Let r be (-2)/h*4 - -3. Are r and -2/301 unequal?
True
Let k = 1.36