t r be 2 + 0 + 11*(-111)/12. Which is bigger: r or b?
r
Suppose -14*w + 26*w = -24. Let i be w/(-4) - (-16296)/(-112). Which is bigger: -144 or i?
-144
Let b = -219 + 222. Suppose 0 = b*l + 2*v - v + 9, 3*l + 9 = -3*v. Which is bigger: -15/4 or l?
l
Suppose 2024 = -7*j - 4*j. Let z be (-6)/56 + 138/j. Which is smaller: -2 or z?
-2
Let p = 6762.5709 - -1.4291. Which is smaller: -1 or p?
-1
Let j(x) = -x**3 + 46*x**2 + 6*x - 321. Let s be j(46). Do -16 and s have the same value?
False
Let y = -599.6 + 622. Let i = -21.4 + y. Which is bigger: 275 or i?
275
Let c = -234 + 333. Let j = c - 85. Let o be (j/8)/((-11)/(-12) - 1). Is -21 less than o?
False
Let i be (-1)/4 + -13 + 2049291/(-36). Let n be 8 - 3/((-21357)/i). Are -1 and n non-equal?
True
Let p(r) = r**2 + 4*r + 3. Let n(d) = -d**3 + 5*d - 5. Let w be n(2). Let b be p(w). Is 3/10 bigger than b?
True
Suppose -2*r = -5*t + 285, 2*t - 144 = -3*r + 4*r. Let i = -170 - r. Suppose -1 - 56 = 3*x. Which is smaller: i or x?
i
Let l(s) = -728*s + 4367. Let f be l(6). Is -1/5500 != f?
True
Let u be 0/((0 - -2)/2). Let b = 989/6 - 10843/66. Is u at most as big as b?
True
Let f = -15 + 15. Suppose -l - 5*b = l - 197, -l - 3*b + 100 = f. Suppose -3*a = -5*x - l, 5*x - 2*a = -39 - 55. Which is smaller: x or -18?
x
Suppose w = 3*w - 5*u - 302, 785 = 5*w - 5*u. Let h be 1 + 1595/10 - ((-10)/(-4) - 2). Is w != h?
True
Suppose 0 = o - f - 4, 0 = -5*f + 8 - 23. Let z be 1/2*(-4)/1472. Which is bigger: o or z?
o
Let n = -589/20 - -148/5. Let y be 80/(-35)*(-28)/40. Let h = y + n. Which is smaller: h or 3?
h
Let a = -235 - -161. Let f = a - 58. Is 0.2 > f?
True
Let u be 9 - ((-9)/3 - -1). Suppose u = 3*g - 2*n - 11, 0 = 4*g + 5*n - 14. Let v be 5 + g*3/9. Is v < 3?
False
Suppose -2*y = -7*o + 6*o - 729, 3*o - 709 = -2*y. Is y > 362?
False
Let u = 2.04 + -193.04. Let t = 199 + u. Which is greater: 3 or t?
t
Let z = -174 - -178. Let g be (z*(-14)/4)/(6/255). Which is bigger: -594 or g?
-594
Suppose -3*s - 18 = -3*h, 2 = -4*h - 5*s + 8. Let k be ((-2)/4)/((-2)/8). Suppose -b + h*n + 85 = k*b, 5*n = -b + 3. Is -1 > b?
False
Let v = 42657 - 42729. Which is greater: v or 0.12?
0.12
Let h = -624 + 623. Let r = -60 - -36. Does r = h?
False
Let y = -171 + 184. Let m = 26 + -14. Let o = m - y. Which is smaller: 1/20 or o?
o
Let q = 5 - 153. Let n be ((-1 - -1)/3)/(0 + 1). Which is smaller: q or n?
q
Let f = 45.65 - -4090.35. Which is smaller: 1 or f?
1
Let x = -52661 + 51291819/974. Which is bigger: x or -1?
x
Let w = 11.87 - 12. Let p = w + 0.08. Let t be (((-72)/30)/(-6))/(77/55). Is p >= t?
False
Let v be (-337)/(-510) + 4/(-6). Let g(n) = 2*n**3 + 16*n**2 - 6*n - 181. Let a be g(-6). Which is bigger: a or v?
v
Let o = 23291 + -35656. Is o greater than -12365?
False
Let m = 1002 - 35073/35. Let l = -14994 - -14994. Do l and m have different values?
True
Suppose 4*c - 5*k - 67 = 78, -4*c - 5*k + 175 = 0. Let a = c - 38. Suppose -5*p = z - 4 - 0, -a*z + p = -8. Is 6 greater than z?
True
Suppose 4*q - 5 = -5*m, -13*m - 5*q + 2 = -11*m. Which is smaller: m or -11/108?
-11/108
Let t(w) = 134*w**2 + 80*w - 82. Let x be t(1). Let m(c) = -c**2 - 22*c + 13. Let g be m(-12). Is x greater than or equal to g?
False
Let j(b) = -b**2 + b - 1. Let g(n) = n**3 - 9*n**2 - 20*n - 15. Let y(d) = g(d) + 5*j(d). Let l = 23 + -8. Let a be y(l). Which is bigger: a or -22?
a
Let a = 81 + -79. Let k(u) = 9*u**3 - 3*u**2 + 5*u - 4. Let r be k(a). Let m be (-6)/(-4) - (r/(-4) + 5). Do m and 15 have the same value?
False
Let q be (-679)/840*-2 - (-8)/10. Let i(y) = y**3 + 17*y**2 - 39*y - 17. Let k be i(-19). Which is bigger: q or k?
q
Let i be (108/54)/(-1 - 0). Which is smaller: -89 or i?
-89
Let a(p) = -13*p + 91. Let v be a(11). Let s = -62 + 11. Is s != v?
True
Let j = -11795 - -8853. Which is smaller: j or -2944?
-2944
Let t = -45 - -127. Let v = t + -101. Are -73/4 and v nonequal?
True
Suppose -5*f + 12*f = -245. Let p(q) = -39*q**3 + 2*q**2 + 4*q - 2. Let y(s) = 79*s**3 - 4*s**2 - 9*s + 4. Let x(v) = 7*p(v) + 3*y(v). Let b be x(1). Is b <= f?
True
Let g(w) = -w**3 - 5*w**2 - 3*w - 3. Let c be g(-5). Let q = -1041.92 - -5.92. Let x = -1036.1 - q. Is x < c?
True
Let p be ((-441)/91 + (-4)/26)/((-7)/(-413)). Suppose 2*d - 6 = 2*u, -4*u = d + 13 + 4. Are d and p non-equal?
True
Let n be (6/(-8175))/((-3)/(-15)). Let l = -149 - -149. Which is bigger: n or l?
l
Let z(v) = 9*v**2 + 2*v - 1. Let p be z(1). Suppose -2*l - 6 = -p. Suppose 5*g = -10, -l*a - 3*g + 12 = -6*g. Which is greater: 16/7 or a?
a
Suppose 6*p = 5*p - 95. Let o = -84 - p. Let t be (-3 - -14) + 0 + 0. Is o at least t?
True
Let v = 2 - 59. Let l = v + 58. Is 1/36 smaller than l?
True
Let j = -3068 + 3246. Is j less than 176?
False
Let l be 6/11 + 4897984/(-308) + -12. Do -15914 and l have different values?
False
Let k = -0.3 - 2.7. Let m = 4 + 68. Let x = m - 72.1. Which is greater: x or k?
x
Suppose 3*c = -2*c + 65. Suppose 25 = 2*b - i, 437*i - 438*i = -4*b + 51. Is b at least c?
True
Let q = 277 - 382. Let n be (q/(-5))/7 + -2. Let h be 214/(-678) + (-1)/(-3). Is h at least n?
False
Let r = -4.73 - -3.73. Let i = 0.059 + 107.941. Let y = 61 - i. Is r < y?
False
Let w(y) = -7*y**3 - 7*y**2 + 15*y + 5. Let t(i) = 8*i**3 + 6*i**2 - 15*i - 6. Let n(j) = 5*t(j) + 6*w(j). Let b be n(-7). Do -65/9 and b have different values?
True
Let i be 3400680/(-427728) + (-1)/19 + 8. Which is smaller: i or 0?
i
Let x = -8969 + 8261. Do x and -0.1 have different values?
True
Let w be -42 - 1/(3/(-6)). Let i = 36 + w. Let g = i + -31. Is -35 smaller than g?
False
Let d = -54907/422191 - -1/5483. Which is greater: d or 0?
0
Let s(k) = 113*k**2 + 26*k + 88. Let p be s(-5). Which is smaller: p or -0.1?
-0.1
Let k = -1306 - -1285. Which is smaller: k or 2/11?
k
Suppose -6426 = 1731*b - 1729*b. Is b <= -3213?
True
Let s = -346 + -1124. Is -1/3 less than or equal to s?
False
Let r = 122233969/16 - 7636363. Let g = r + -3259. Is 2 greater than or equal to g?
True
Let n(u) = -28*u + 83. Let a be n(3). Let i be ((-1)/22)/(a/(33 - -1)). Is 2 > i?
True
Suppose -849*c + 851*c - 177 = -5*z, 0 = z + 3*c - 25. Is z greater than or equal to 28?
True
Let l(s) = -2*s - 7. Let k be l(-5). Let g = -331 + 333. Suppose -g*h = -1073 + 1063. Is k != h?
True
Let k be (-27)/(-6)*40/(-12). Let d be ((-16)/2360*k)/4. Is -1 not equal to d?
True
Suppose 2*d - 16*d = -770. Let q = 56 - d. Is q > -2/231?
True
Suppose 61*m - 10*m = -2*m - 8904. Which is smaller: m or -1170/7?
m
Suppose -11*w = -14*w - 1083. Let p = w - -361. Is p bigger than -2/1009?
True
Let s(f) = -2*f**2 + 26*f + 30. Let b(a) = 6*a + 26. Let t be b(-2). Let c be s(t). Which is greater: 37/12 or c?
37/12
Suppose -38*h + 196262 = 51991 - 72633. Which is greater: h or 5706?
h
Let p = -19.7 + 32.4. Let m = p + -12.5. Suppose 10*l - 11*l = 7. Which is bigger: l or m?
m
Let h = -31411 - -31383. Which is greater: 595 or h?
595
Let m = 258 + -255. Suppose 923*w = 920*w + m. Are -165 and w equal?
False
Let m = 183 - 346. Let n = m - -163.7. Is -18/11 greater than n?
False
Let f = -248 - -246. Is -29/16 less than or equal to f?
False
Suppose 2*p - 10 + 0 = 0. Let i = 5326410/7 - 762217. Let h = i - -1306. Which is smaller: p or h?
h
Let q be (-2 - -2)*(-3)/9. Suppose 0 = 5*g - x - 4140, -828 = -g + 5*x - 2*x. Let n be (-7 - (-5787)/g)*(7 + -1). Is n greater than or equal to q?
False
Suppose 3*y + 13 - 28 = 0. Suppose -13 = l + 3*p - y, -2*l + 3*p = 34. Let a = l + 13. Which is greater: a or -5/4?
a
Let u be 1*(48/6 + -7 + -3). Let b be 3 - 1*32/(-4). Which is bigger: u or b?
b
Let k be 3 + 30/(-5) - -182. Let i = k - 181. Is 4/5 not equal to i?
True
Let i = -5220.9 + 5221. Are i and -2868/13 equal?
False
Suppose 4*m = -16, -5*j + m - 3 = -7. Let y be 27 - 22 - ((-501)/(-108) + j). Which is smaller: -1 or y?
-1
Let h(b) = -57*b**3 + 3*b**2 + 36*b + 77. Let z be h(-3). Is z equal to 1535?
True
Suppose 0 = -2*l - v + 1, 4*v - 13 = 6*l - 5*l. Is l at most -102/59?
False
Suppose 0 = -16*r - 602 - 230. Let o be 13/r - (-285)/1236. Are -1 and o equal?
False
Suppose g = k + 32 - 34, -5*k + 3*g + 12 = 0. Suppose 2*p - 10 = -15*w + 20*w, k*p - 15 = w. Which is bigger: w or 2/111?
2/111
Let m = -5.310829 - -0.050229. Let s = -0.0394 + m. Let p = 0.3 - 0.5. Which is smaller: