uppose 36 + 14 = -2*s. Let p = -17 - s. Let l be 15*p/(-72) - 1/3. Which is smaller: -8 or l?
-8
Let x = -647 + 860. Let s = 0.099 + 0.001. Which is smaller: s or x?
s
Suppose -2*p + 3*m + 50 = 0, 0 = -p - 80*m + 76*m + 14. Are 268/13 and p nonequal?
True
Suppose -14*d = -10*d - 5*a + 466, -a = -5*d - 614. Do -95 and d have different values?
True
Let y(f) be the second derivative of -11*f**4/6 + 4*f**3/3 + 9*f**2/2 + 4*f - 9. Let u be y(-1). Is u bigger than -3?
False
Let u = 0.05898 - -0.04102. Is u at least as big as -9751?
True
Let p = -1792/29 + 15896/261. Is p >= 98?
False
Let d(i) = 2*i**2 + 100*i + 1242. Let s be d(-23). Is -5/114 smaller than s?
True
Let w be 14/2*(26/78 - 13/21). Suppose -3*d + 40 = d. Is d at least w?
True
Let o = -0.121 - 52.879. Let f = -71 - -125. Let q = o + f. Which is smaller: -3/2 or q?
-3/2
Let r = -146 - -146. Suppose 4*w + 5 - 9 = r. Which is smaller: 3 or w?
w
Suppose -5*g - 469 = -12*g. Let m = g + -68. Is m at most -5/8?
True
Let o be -4*(-12)/(-16) + 0. Let s be o - -3*(-669)/(-675). Let a(n) = -n**2 - 3*n - 2. Let x be a(-2). Which is smaller: s or x?
s
Let y = -205/19 + 577/57. Is y at most 1428?
True
Suppose -3*c - 3*d - 610 = -85, -4*c = -4*d + 700. Suppose 69*s = -9742 - 4455 + 2122. Is c at most s?
True
Let n(g) = -254*g**2 + 106*g + 316. Let p be n(-3). Which is bigger: p or -2292?
p
Let j = -10585 + 328137/31. Let v = 1 - 3. Let m be 3/v*8/12. Is m < j?
True
Let j = -16/2145 - -1294913/6435. Let p = -201 + j. Let s(n) = -8*n**2 - n. Let q be s(1). Do q and p have the same value?
False
Let y = 6591 - 204311/31. Is -1 < y?
True
Let y be 17731/196 - (-2)/7. Suppose 553 = -8*t - 175. Let c = y + t. Is 1 bigger than c?
True
Let t = -2523 + 2194. Do 0.1 and t have different values?
True
Let g = -12.074 - -0.074. Let i = 12.1 + g. Which is bigger: i or -0.4?
i
Let d = 271682/3 - 91427. Is d at most -866?
True
Let v be 10 - -3*(-1300)/(-48). Suppose 132 + 141 = 3*g. Is g >= v?
False
Suppose -25 = -5*t + 10. Suppose 0 = 2*b + 5*b + t. Which is greater: b or -0.48?
-0.48
Let j = -0.10033 - 0.00267. Let o = 0.4058 + 1.4912. Let f = j - o. Is f not equal to -30?
True
Let y = 1983164/4641 - -30/1547. Is y != 427?
True
Let q = 0.072 + -0.122. Let u = q - -0.15. Which is smaller: u or -1/4?
-1/4
Let n = 16 - 10. Let s = -10270.98 + 10271. Which is greater: s or n?
n
Let h = -11.2 - 84.7. Let u = -97 - h. Let j = -0.5 - u. Is -0.2 <= j?
True
Let y = 92.82 - -4.23. Let p = y + -97. Let a = p - -0.05. Is -18 smaller than a?
True
Let s = 109 - 48. Let z = s - 57. Let r be z/(-4)*33/3. Which is bigger: r or -10?
-10
Let q = -3437 - -3437. Let w = 138 + -1250/9. Which is smaller: q or w?
w
Let q = 213 + -213. Suppose q = -0*m + 2*m + p - 8, -4*m = p - 16. Do m and 1.1 have the same value?
False
Let i = 3322 - 3321.3. Which is smaller: i or 466?
i
Let o = -192 - -10548/55. Which is smaller: o or 0.19?
o
Let t be 2/(-39)*-36 + (-2)/(-13). Let c be -4 + 5*(93/114 + 0). Let o = c + 143/114. Do o and t have the same value?
False
Let b(j) = 5*j - 23. Let o be b(5). Let l = 73.84 - 0.84. Let z = l - 62. Which is bigger: o or z?
z
Let m = 4 + 14. Suppose m = 4*b - 18. Suppose -32 = -b*s - 95. Which is smaller: -0.03 or s?
s
Let x(z) = -36*z. Let l be x(-2). Let v(y) = -y**3 + 10*y**2 - 10*y - 12. Let q be v(6). Is q greater than or equal to l?
True
Let c = 3323 + -2146. Which is greater: 1175 or c?
c
Let h(i) = 3*i**2 + 6*i + 12. Let m be h(-4). Suppose -4*a = -4*v - m, -3*v - 2*a = 2*v + 73. Let k = v + 27. Is 13 less than k?
True
Let m = -343 - -3777/11. Suppose 12*l - 1 + 49 = 0. Let t be 6/(-24)*l/1. Are m and t unequal?
True
Let v = -0.06969 + -0.04881. Is v < 0.06?
True
Let t be 31/(1302/36) + (-65254)/98. Is -1 smaller than t?
False
Let s be (56/(-10))/((-38)/4009). Which is smaller: 590 or s?
590
Suppose 20*h + 368 = 4*h + 9104. Do 542 and h have the same value?
False
Suppose 0 = -85*s + 89*s + 2*i + 14, -3*i - 9 = 0. Let m = -13 - -17. Suppose m*c - 3 = c. Is s at least c?
False
Suppose -5 = g, -l - 2*g + 146 = 155. Is l greater than or equal to 2/31523?
True
Let n be (-8)/36 + 187/(-9). Let j be (-3)/27*n*(-318)/2. Which is smaller: 2/5 or j?
j
Suppose 2*p = -r + 9, 0*p - 2*p - 4*r = -6. Suppose 0 = -z + 2*z + 4*v - 234, 1147 = p*z - 3*v. Are 230 and z unequal?
False
Let l(d) = -d**3 - 8*d**2 + 4. Let m be l(-8). Let s be ((-72)/75 - -1)/(m/(-18516)). Let k = s - -185. Which is smaller: k or -1?
-1
Suppose 129 = -7*b - 2*w, 4*w - 22 = -3*b - 71. Which is greater: -52 or b?
b
Let u(c) = 2400*c - 3. Let j be u(-1). Let w be j/(-36)*((-8)/(-6))/2. Let k = w + -43. Is k not equal to 2?
True
Suppose -33*l + 4*q = -29*l - 10368, -7756 = -3*l - 2*q. Which is smaller: 2589 or l?
l
Let x(n) = -n**2 - 6*n + 9. Suppose 4*t = 3*d - 40, -3*t = 2*t - 5*d + 55. Let r be x(t). Let i be r/(-5) + (-6)/210. Which is smaller: 0 or i?
i
Suppose 3*r + 7*d - 1 = 2*d, 2 = 3*r + 4*d. Suppose -2*p - 166 = -r*m - 22, -5*m = 5*p + 370. Is 0 equal to p?
False
Let d = 2287/424 + -43/8. Let w(c) = 3*c**2 - 7*c + 15. Let n(z) = z**2 - 2*z + 5. Let f(t) = -8*n(t) + 3*w(t). Let v be f(1). Does d = v?
False
Let h be (-1 - 28 - -16) + (-580718)/(-44670). Is h greater than 0?
True
Let m = -139 - -142. Let p be (-6)/((-108)/(-102))*18/m. Are -36 and p equal?
False
Let w = 16277 - 16277. Which is greater: 64/273 or w?
64/273
Let u = 35 - 34.87. Let h = u - 16.13. Let y = 21/62 + -26/31. Is y less than h?
False
Suppose -20 = z + 5*m, -20 = 6*m - m. Let c be 3 + z - 3942/1326. Which is smaller: c or 1?
c
Let v = -404 + 627. Suppose -4*d + 164 = -4*k, 5*k + 5*d - 68 + v = 0. Let q be ((-4)/(-7))/(k/(-42)). Is 0 <= q?
True
Let x = -2438.1 - -2438. Which is greater: 149/13 or x?
149/13
Suppose -2*r - 2*k = -9 - 13, 2*k = -r + 15. Suppose 6*v = -1 + r. Which is smaller: v or 12?
v
Let g = 3298 + -3297. Is g not equal to 259?
True
Let o = -11.003 - -11.00765. Which is greater: o or -0.4?
o
Let d be (1920/9)/5*(-9)/(-3). Suppose 0 = 2*w - 4*b + d, -8*w + b - 249 = -4*w. Let p = 62 + w. Does p = -1/38?
False
Let s be (442/(-2295))/(16/(-20)). Is s <= -1?
False
Let h = -40 - -43. Suppose -h*q + 2*k = -130, 2*q + 2*k = 65 + 15. Is q >= 41?
True
Let i be ((-45690)/120)/((-10)/(-24)*3). Is i at least -306?
True
Let v = 0.1 - -34.9. Let l = 5277500/31 + -170242. Are v and l equal?
False
Let p = 5005 + -4140. Is p at least as big as 870?
False
Let k(l) = l**2 + 48*l - 3558. Let s be k(-89). Is s at most 74?
False
Let d = 0.208 + -138.208. Let i = -125 - d. Which is smaller: 2 or i?
2
Let x(s) = 2*s**3 - 4*s**2 + 2*s - 4. Let u be (6/9)/2*6. Let f be x(u). Which is smaller: -0.3 or f?
-0.3
Let g be 58/25 + 1/(-1). Let r be (1/(-16) + 270/12000)/(1/(-18)). Let i = r - g. Is i <= -2?
False
Let c(x) = -17*x - 4747. Let w be c(-110). Is w greater than -2875?
False
Let o = 414 + -410. Suppose 4*u = 4*x + 2*u + 1004, x + o*u = -269. Is 2/7 less than x?
False
Let d = 139423/15086 + -351/38. Let l = -4 + 3. Which is smaller: l or d?
l
Let f be 16/(-65) + (-344)/2236. Let a = -12.2 + -179.8. Are a and f nonequal?
True
Let s = 98 - 92. Suppose -4*u = 5*w + 213, -s*w + 5*w + 4*u = 57. Let z = w - -57. Which is smaller: 5 or z?
5
Let y = 0.66 - 0.6. Let t = y - 0.135. Let u = -5.075 - t. Which is greater: u or 2?
2
Let w = 62327879489/157 - 396994883. Let s = 2020 + w. Which is smaller: s or 1?
s
Let g(q) = q**2 + 16*q - 1943. Let o be g(43). Which is bigger: o or -6?
o
Suppose 3*c - 6 = 0, 0 = -3*p - c + 5*c - 1004. Is p not equal to -327?
True
Suppose 7*r - 11*r = -8. Suppose 630 = 4*i + 2*g, -36*i - r*g - 483 = -39*i. Is 158 not equal to i?
True
Let i(r) = -7*r**2 + 111*r - 195. Let w be i(14). Is w <= -7?
True
Let c = 347 + -386. Let j = c + -172. Is j equal to -212?
False
Let k be (-3)/(-6)*8 + -7. Let z be 4 - (k + (16 - -3)). Let o be (1/6)/(3/z) + 28. Which is greater: 27 or o?
o
Let i(q) = q**3 - 18*q**2 + 387*q - 7696. Let z be i(19). Let f = 39 - -33. Suppose 28 + f = 5*r + 5*n, -r = -5*n - 14. Is z at least r?
False
Let n = 466203/259 + -1800. Which is bigger: n or 1?
1
Let n = -441 + 440.7. Is n smaller than 671?
True
Let i = -64 + 72. Suppose -2444 = i*f - 748. Which is smaller: f or -213?
-213
Let q = 138697/30285585 + 2/46665. Let n = q + -25/18172. Which is 