x**2 + 145*x - 183. Let m be u(-74). Is 29 at most as big as m?
True
Let v = 12797/2 - 12912169/2018. Which is bigger: 0 or v?
v
Let w = -14846 + 5478. Is w less than -9366?
True
Let o(a) = 2*a + 1. Let q(i) = -i - 1. Let g be (-12)/(-9) - (4/(-6) + 1). Let f(x) = g*o(x) + 5*q(x). Let r be f(-1). Which is bigger: -48 or r?
r
Let x = -19 + 27. Let m = -8 + x. Let v be 17/(-2) + (-990)/(-110). Is m > v?
False
Suppose -q - 15 = 4*q. Let j(y) be the second derivative of -y**4/12 + y**3/6 + 13*y**2/2 + 2480*y. Let u be j(q). Is -1/2 greater than u?
False
Let w = -7 + 9. Suppose 4 = t - w. Let z = 17.5 + -17.3. Which is smaller: t or z?
z
Suppose -4*w - 4*n = -388, 5*w + 3*n - 26 - 469 = 0. Suppose -219 = -2*d + 5*y, 5*d - 4*y = 96 + 426. Is w >= d?
True
Let x be 3 + -4 - 164/(-6). Let a = -8202 - -8228. Which is greater: x or a?
x
Suppose -s - 629 = -2*s + i, -i = -3*s + 1895. Let g(n) = 618*n - n**3 - 19 + 5 - s*n + 17*n**2. Let r be g(16). Which is smaller: 22/13 or r?
22/13
Suppose 2*r + 5*x - 3*x = 96, 0 = x + 4. Suppose -7*c = -r + 136. Let g be (-3)/9 + c/18. Which is bigger: 2/63 or g?
2/63
Let n = -8277 - -12595. Let b = -4358.956 + n. Let r = 0.044 - b. Which is smaller: -1 or r?
-1
Let d = -2 - 1. Let r(c) = -c**3 - 3*c**2 - 21*c - 40. Let y be r(-2). Is d at most as big as y?
True
Let o be 3 - (-9 - -4 - 20). Let i be 120/(-105) + 32/o. Which is smaller: i or 4?
i
Suppose 6*m - 45 = -51. Suppose -13*g = -4*g + 369. Which is smaller: g or m?
g
Let o = -17376288/1141 - -15229. Which is smaller: -1 or o?
-1
Let f(d) = -3*d + 24. Let m be f(8). Suppose z - z - 6*z = m. Suppose z + 5 = c, -2*q + c = 31. Which is bigger: -14 or q?
q
Let z = 362.5 - 360.5. Is 0.57 <= z?
True
Suppose 2*b - 3*z - 13 = 0, 0 = -b - b + 5*z + 15. Suppose 0*i - i = n - 8, -b*i = -3*n + 16. Suppose 1 = -n*m + 6*m. Is m greater than or equal to 2/89?
False
Suppose 4*n - 2*l = -2060, 5*l = -n - 314 - 234. Is -522 smaller than n?
True
Let r be ((-108)/(-42))/(2/28). Let i be ((-43)/(-477) - 8/r)*13295. Let l = 1756 + i. Is 0 equal to l?
False
Let i = 42 - 40. Let m be 8/12*(0 + (-3)/i). Let p be 2/(-12) + 190/924. Which is smaller: p or m?
m
Suppose -12*q - 155 = -839. Let j be (q/190)/(1 - 1/(-5)). Is j less than 31?
True
Let c be (120/14*602/258)/(-2). Which is greater: c or -78/7?
c
Let l = 1.18 + -7.28. Let o = l + 6.7. Is o at least 2/5?
True
Let o be ((-2056)/1026 + 2)/((-12)/(-19893118)). Let h = -6463 - o. Let x = h - 11288/1539. Which is greater: -8 or x?
x
Let v = -967/6567 + 13/1194. Are -0.25 and v nonequal?
True
Let y = 102 + -82. Suppose 2*a + 3*b = 10, 0*a + y = 4*a + 5*b. Suppose s = -3*s + 3*g - 5, 3*g = -a*s + 14. Which is greater: s or 3/20?
s
Let u = 1/72 - 307/1368. Let k = -65/38 - u. Which is bigger: k or -34?
k
Let h = 0.89 + -0.9. Let d = h + -0.59. Let f = -415/1254 - 1/418. Are f and d non-equal?
True
Let s(d) = -10042*d + 261086. Let x be s(26). Let m be 2/7 + (-144)/14. Which is greater: m or x?
x
Let x = -4158.7 - -4159. Which is smaller: x or -1077?
-1077
Let b = -20869 + 21012. Which is smaller: 144 or b?
b
Let y = -80 + 803/10. Suppose 4*g + 17 = 5*q, -2*g - 4*q + 29 = q. Suppose -22 = g*u - 4*s, u + 0 - 19 = -4*s. Is y greater than u?
True
Suppose -29*g - 45593 = -18478. Is -2 greater than or equal to g?
True
Let q = 215.261 + -227.18. Let d = 12 + q. Let h = d - 0.181. Which is smaller: -0.09 or h?
h
Let p(c) = -2*c**2 - 75*c - 437. Let o be p(-6). Is o at most as big as -4/3?
True
Let r = 362.07 - 365. Let y = r - 0.07. Which is smaller: 1/3 or y?
y
Let m be (-7 + 24/4)/1. Let u(l) = 27*l**3 + 2*l**2 - 2*l + 2. Let i be u(2). Let w = i + -9767/44. Is m at least as big as w?
False
Let v(r) = r + 64. Let a be v(0). Suppose -4*u + 2 + 190 = -b, -u - 960 = 5*b. Let l be (1*2)/((30/b)/(-5)). Is a != l?
False
Suppose 2*i + p + 2 - 1 = 0, 2*i - p = -7. Let x be (-1)/i - (-144)/96. Let w be (-3)/(-4)*5/6. Which is smaller: w or x?
w
Suppose -301*g = -238*g - 6363. Which is smaller: 304/3 or g?
g
Let p(a) = -a**2 + 19*a - 25. Let c be p(17). Suppose 6*j + 2*u = c*j - 567, -j = 4*u - 189. Is j greater than or equal to 188?
True
Suppose 25*t - 150 = 20*t. Let q be (-4)/t - ((-3933)/1440)/19. Which is bigger: q or -1?
q
Let j = 2.87 - 153.87. Let s = -280 - j. Let g = s - -128.9. Is 1/115 less than g?
False
Let o(f) = -4*f**3 + 3*f**2 - 4*f + 1. Suppose 0 = -6*b + 2 - 14. Let l be o(b). Is l bigger than 52?
True
Let i be -5 - (-5 - -5 - 2729). Suppose -990 = -51*b - i. Which is smaller: -33 or b?
b
Suppose 2*v + 2 = 4*v. Let x be (-27498)/(-132) + 2/11. Let q = x - 208. Which is smaller: v or q?
q
Let o be -1*(-20)/(-3)*(-135)/18. Suppose 10*z = 32 + 48. Let u be z/(24/165) + -5. Is o at most as big as u?
True
Let l = -3417 + 3416. Which is greater: l or -740/7?
l
Suppose 0 = -706*c + 685*c - 546. Which is smaller: c or 5?
c
Let l(h) = -h**2 + 8*h - 3. Let o be l(5). Let k be (-878)/14 + o/(-42). Suppose -5*j = 5*f + 305, 0 = 2*j - j - 1. Is k smaller than f?
True
Suppose 6*v + 122 + 286 = 0. Let r = 145 - 209. Which is smaller: r or v?
v
Let l = 345 - 342.67. Let c = l - 1.31. Which is smaller: c or 2?
c
Let m be (-4)/3*(-21)/(-7). Let r(u) = -u**2 + u + 21. Let b be r(m). Is 1/6 bigger than b?
False
Let u(y) = y**3 - 101*y**2 - 332*y + 675. Let c be u(104). Which is smaller: -1406 or c?
-1406
Suppose -2*o = 5*z - 3, -z - o + 5 = -2*z. Let k be 2*-1 - z*13. Let w = -0.1174 - -2.1174. Is w at most k?
True
Let k be 13853/308 + (-3690)/1353. Let y = -3 - -4. Which is bigger: k or y?
k
Let j(m) = -7*m - 139. Let q be j(-11). Let w be q*(1/6 - (-13)/(-65)). Are w and 2 equal?
False
Let c = -242 + 234. Let j = 2.198 + -0.198. Are j and c equal?
False
Suppose -27*o - 4*a + 10 = -29*o, -2 = 4*o + a. Let r = -39 + 57. Let q = r + 10. Which is smaller: q or o?
o
Let k be (16/(-40))/((-1)/95 - 0). Let w = -31 + k. Let i = -6 + 13. Is i equal to w?
True
Let q = 3958 - 233516/59. Let p = -13 + 14. Which is smaller: q or p?
q
Let h = 1.53 - -0.36. Let t = h + -2.09. Which is greater: 13/2 or t?
13/2
Let b = 7981 + -151701/19. Let f = -139/95 - b. Which is greater: f or -0.21?
f
Let s = 74519 - 33608054/451. Is s greater than 0?
True
Let m = -36431 + 36562. Suppose -3*g - g + 536 = 0. Which is greater: g or m?
g
Let m = 3934 + -3900. Is m less than 244/7?
True
Let z(o) = -4 + 4 + 1 - o + 0. Let u be z(-15). Suppose -u = -6*n + 8. Which is smaller: n or 3?
3
Suppose 4 = -t + 3*q, -5*t - 4*q + 19 = 1. Suppose t*b + s = -3*s + 24, -34 = -2*b - 2*s. Let i = -4550 + 4569. Are b and i equal?
False
Let x be 6/86*(-13)/(-39). Let n be (-32)/336 + 1/(59598/4353). Let h = n - x. Which is greater: -1 or h?
h
Let k = -47095044/28425631 + -4/168199. Which is bigger: -2 or k?
k
Let j = -50.71 + 51.31. Which is greater: j or 40?
40
Let s = 55 - 60. Let j be (6 + s)/(-1 + 69). Suppose -6*i + 12 - 6 = 0. Which is smaller: j or i?
j
Let z(n) = 21*n**2 + 19*n + 76. Let r be z(-4). Let w be -2*(-6)/(-18)*r. Is -222 at most w?
False
Suppose 518 = 2*m + 142. Is m smaller than 183?
False
Let p be ((-15)/(-6))/(4/(-8)). Let f = p + -5. Let l be ((-38)/(-95))/((-42)/f). Is -1 smaller than l?
True
Let i be 2 + 28/(-21) - 74/3. Suppose 0 = -2*x + c - 62, -6*c + c - 125 = 5*x. Let y = 7 + x. Is i < y?
True
Let l = -24975300829/4899880 - 2/612485. Let z = l + 5104. Let r = z - 7. Is 0 less than or equal to r?
False
Let m = -0.06 - 2.94. Let b = 141.58 - -0.42. Let k = b + -154. Which is smaller: m or k?
k
Let x = 11.99002 + 0.00998. Which is bigger: 55 or x?
55
Let x = 5199 + -426325/82. Which is bigger: 0 or x?
0
Let t = -69 - -221. Suppose 7*r - 145 = -t. Which is greater: r or -6/59?
-6/59
Let b = -9963 - -9013. Which is bigger: -946 or b?
-946
Let k be 1*((-24)/(-108) - (-25)/9). Suppose -3*z - 4*q + k*q = -3, 2*z = -q + 3. Let a = 4555/12 + -379. Which is greater: z or a?
a
Let y(a) = 25*a + 1249. Let u be y(-50). Is 1/2780 less than or equal to u?
False
Suppose 3*x + 1290 - 286 = 4*o, 2*o - x - 500 = 0. Suppose 3*n - 751 = 4*a, 30*n = 28*n - 5*a + 493. Which is bigger: o or n?
n
Let v(j) = 13*j**3 + 10*j**2 + 13*j - 27. Let y(h) = -28*h**3 - 19*h**2 - 26*h + 54. Let i(u) = 13*v(u) + 6*y(u). Let p be i(-15). Are 54/13 and p nonequal?
True
Let z be ((-14)/6 - 3)*-6. Suppose -28 - 