36 + 6 = -5*o. Let s be (o/(-5))/((-48)/560). Which is smaller: s or 38/3?
38/3
Let v = 3209 - 1176. Which is smaller: v or 2032?
2032
Let c be 10*-3*(-3)/4. Let b = -22 + 26. Suppose -b*u = 3*u - 154. Is u less than c?
True
Let n = 212 + -3. Let i = -208.9 + n. Is i less than 167?
True
Let b be (12/(-120))/((-204363)/(-145)). Does 1 = b?
False
Let n = -96/7 + 850/63. Let q = -2.33 + 2.499. Let c = q + -0.089. Is c > n?
True
Let b be (-16)/(-8 - -4) + 54/1. Let j = b + -112. Let w = j - -700/13. Which is smaller: 13 or w?
w
Let o = -23513/5 - -4671. Which is bigger: o or 12?
12
Suppose -5*m + 45 = 2*t - 34, -3*m = -5*t + 213. Suppose -232 = -4*d + 2*j, 2*d + j - t = 66. Is 60 equal to d?
False
Let x = 108 + 34. Let m = x + -142.4. Is 6/43 at least m?
True
Suppose -2*z + 0*r = -5*r - 18, -z + 2*r + 8 = 0. Let o(h) = -9 + z*h - 7 - 9 + 0*h. Let k be o(4). Is k < -9?
False
Let x(n) = 9*n**2 + 22*n + 222. Let f be x(-10). Let r = -902 + f. Let h = -1.52 - -0.22. Do r and h have the same value?
False
Let z = -65.5 - -60.5. Let h = 51.971 - 52. Let k = -0.371 + h. Is z > k?
False
Let q = -7589 - -7590. Is 4/2347 less than q?
True
Let i = 2 + -2. Let v = -3824/6479 + 291/341. Which is bigger: v or i?
v
Let d = -26476 - -26515. Suppose 164 = 4*a - r, 129 - 41 = 2*a - 2*r. Which is greater: d or a?
a
Let q = -108/1343 + -6669385/16116. Let d = q + 413. Is d greater than or equal to 2?
False
Suppose 4*y + 4*j + 48 = 0, -2*j + 17 + 14 = -3*y. Let u be (10/(-15))/((-24)/(-54))*24. Let m(l) = -l - 47. Let a be m(u). Is a bigger than y?
False
Let y = 5978 - 5108. Is y >= 5215/6?
True
Let f = 45935261644421/1062073176372 + -14112/31963199. Let i = 1/8307 - f. Is i greater than -43?
False
Let w = 0.653 + -344.653. Which is smaller: -23 or w?
w
Let h = -858514 + 858496. Let v = -0.2 + 0.19. Is v less than or equal to h?
False
Let z = 183 - 167. Let q(y) = -2*y + 20. Let k be q(9). Suppose v - 8 = 5*n - 2, -k*n + 20 = v. Is z at most v?
True
Let o = -63 + 65. Suppose -o*a + 75 = 77. Is a equal to -150?
False
Let m = 0.1 - 0.1. Suppose s + 4*y = 59, 0 = 3*y - 5 + 8. Suppose 5*b + g + s = 0, -53*b = -57*b + g - 54. Is m at most b?
False
Suppose -4*b + 12862 = -52166. Which is smaller: 16258 or b?
b
Suppose 0 = -135*t + 106*t - 2233. Is t bigger than 0?
False
Let d = 186 - 74. Let n = d + -113.9. Which is smaller: -0.4 or n?
n
Let g = -99353 + 64480083/649. Which is smaller: 1 or g?
g
Let d be -6*((-100)/15 - -4). Suppose -13*i + 11*i = d. Let h be (0 + -2)*92/i. Which is smaller: h or 24?
h
Let q = -4.099 - -4.78. Are q and 3 non-equal?
True
Let l = -1129 + 2835. Is l at most 1704?
False
Let k be (-26824)/5418 + (1 - -4). Let t = 10727/13545 - k. Which is smaller: t or 1?
t
Suppose 22*b + 4*z = 26*b, -4*z + 8 = 0. Suppose 7*k - b*k = 5*t - 245, 4*t - 208 = -2*k. Is 51 at least t?
True
Let f = 62.7 - 63.2295. Let i = -0.0295 - f. Which is smaller: -3/5 or i?
-3/5
Suppose -5*s + 115 = 5*l, 5*s - 5*l - 83 = -18. Suppose 4*f = -y - 18, -8*f + 3*f - s = -y. Let n(i) = -i**3 - 5*i**2 + 6*i + 3. Let a be n(-6). Is y >= a?
False
Let g = -22 - -13. Let p be (1*-1)/(0 + 11 - (-45014)/(-4121)). Is p at most g?
True
Suppose 23 + 7 = -o. Let v(g) = 243*g - 6. Let q be v(1). Let d = -266 + q. Is o less than d?
True
Let r = 8.78 - 12.39. Let s = r - -1.61. Is -73 equal to s?
False
Let g be 7/(52/((-38896)/170)). Let s be (-2)/4 - (-126)/(-4). Which is smaller: g or s?
s
Let u(o) = -534*o**3 + o**2 + 3*o + 2. Let z be u(-1). Suppose -4*d + 7*d + z = 0. Are d and -179 unequal?
True
Let t = 27471/16 + -1716. Let f be (-4)/6*30/32. Let b = f + t. Does b = 1?
False
Let o = -4154 - -4153.821. Which is smaller: -0.14 or o?
o
Let m = 140.2 - -7.4. Let t = m + -145. Is t <= 0.2?
False
Let l(x) = -x**3 - 9*x**2 - 3*x + 12. Let a be l(-7). Let h = a - -31. Let j(c) = -4*c + 10. Let f be j(11). Is f greater than or equal to h?
True
Let s = 0.031 + -0.045. Let h = -46.986 + s. Let y = 15 + h. Are y and 0 nonequal?
True
Let x(g) = -g**3 - 21*g**2 - 19*g + 18. Let d be x(-20). Let k be d/(-184)*(-5 - 1). Let a = -97 - -98. Are k and a nonequal?
True
Suppose 0 = 3*k - 2*n - 3126, -4*k = -k + n - 3117. Let i be (k/(-34))/4 + 7. Is -2 at most i?
True
Let h be 367608/(-806) - ((-48)/(-26) + -2). Let r = -456 - h. Let k be 2/(-4)*(9 + -9). Which is greater: r or k?
k
Let w = 44 - -18. Suppose 9*s - 109 - w = 0. Is 19 < s?
False
Let n = -8/511 + 754/1533. Which is bigger: n or -1?
n
Let s(g) = 8*g - 4. Suppose -w = 5, h + 4*w + 18 = -h. Let y be s(h). Let a be 2 + 342/12*y/(-6). Is -17 <= a?
True
Suppose -57*d = -69*d - 10392. Let q = d + 7802/9. Let b be (9/6)/(6/8). Is b greater than q?
True
Let c(r) = 36*r**2 - 752*r - 76. Let h be c(21). Let j(g) = -g**2 - 8*g - 6. Let o be j(-5). Which is bigger: h or o?
o
Suppose l - 4*l = -21. Let d(v) = v**3 - 4*v**2 - 9*v - 2. Let b be d(5). Let p = b + l. Which is bigger: -14 or p?
-14
Let n be (2 - 4) + (0 - -1). Let r = 1347709 + -5607817193/4161. Let d = r - -10/219. Is d at least n?
True
Let o(t) = t**2 - 68*t + 808. Let d be o(55). Which is bigger: 49 or d?
d
Suppose 4 = -5*v + 4*v - 4*w, -15 = 5*w. Suppose 244 = -v*j - 76. Is j greater than -39?
False
Let m = 446 - 651. Let f = m - -157. Which is smaller: -143/3 or f?
f
Let j(i) = -i**2 + 13*i - 51. Let n be j(9). Let s be (-6)/(-18)*(-63)/n. Is s != 0.3?
True
Let d = 3.1 - 3.08. Let c = 583 - 580.5. Do c and d have the same value?
False
Suppose 0 = -21*d + 18*d + 2*u + 1214, 4*u = 5*d - 2024. Are d and 0 equal?
False
Let u = -153.36 - 1686.64. Are 0.2 and u non-equal?
True
Let v(o) = -o**3 + 9*o**2 - 13*o - 9. Let n be v(7). Let b(r) = -r**2 - 5*r - 4. Let f be b(n). Which is smaller: 6/7 or f?
6/7
Suppose y = 4*t - 3 - 4, 3*t = -4*y + 67. Let v = 13 - y. Let l be 398/672 - (-24 - 7028/(-294)). Which is greater: l or v?
l
Suppose 7*k = 3*k - k. Let v be k*-4*3/24. Is -2/133 greater than v?
False
Let u be -6*(-3 - 52/(-12)). Suppose -3 = -b + p, -3*p + 0 + 12 = 4*b. Let d be u + (-12)/(-4) + b. Which is smaller: d or 2?
d
Let s be (40/(-4))/(6 + 1232/(-208)). Do s and -147 have the same value?
False
Let b(k) be the second derivative of -10*k**3/3 + 161*k**2/2 - 207*k. Let n be b(8). Is -2/631 greater than n?
False
Let k be (420/182)/(-15) - 652/(-13). Which is smaller: 0.39 or k?
0.39
Let l = 140/421 + 268742/4631. Let d be ((-261969)/2)/(585684/261). Let u = d + l. Which is smaller: u or 1?
u
Let k = 1.2216 - -2.7784. Is k >= 8/185?
True
Suppose 0 = 4*r - 10*r. Let k = 185 - 7954/43. Which is smaller: k or r?
r
Let b = -47.15 + -291.95. Let s = -339 - b. Does 17/2 = s?
False
Let j = -13804 - -22143. Are j and 8338 non-equal?
True
Let u = -575 - -176. Let a = u + 432. Is 0.1 smaller than a?
True
Let p(c) = -c**2 + 5*c - 4. Let x(m) = m**2 - 5*m + 4. Let l(u) = 4*p(u) + 3*x(u). Let w be l(5). Let o be (4/4)/((-6)/w + -2). Is -1 less than or equal to o?
False
Let c be (-869)/(-2233) + 6/(-21). Let g(y) = -y**3 - 5*y**2 + 4*y + 4. Let p be g(-6). Suppose 0 = h - 0*b + 4*b - p, 5*b = 4*h + 20. Which is smaller: h or c?
h
Suppose -g + 6*g + 160 = 0. Let k = 53 + g. Let a be ((-2)/78)/(k/(-567)). Are 1 and a unequal?
True
Suppose -25*r = -8*r + 12*r + 2610. Are r and -153 equal?
False
Suppose 3*l + a - 2 = -1, -2 = -2*a. Let o(m) = 2*m**2 - 5*m - 110. Let n be o(14). Let t be ((-1)/n)/(114/(-152)). Which is greater: l or t?
t
Let d be -25 + 2 - (8 + -2 + -5). Let o be (-188)/10*(-4)/d*-5. Which is smaller: o or 16?
o
Let m = 788 + -575. Which is greater: 212 or m?
m
Let i = 18/1679 + -179123/16551582. Let o = -3391157/49290 - i. Which is greater: -68 or o?
-68
Suppose 2*f + f = 42. Let g(x) = 8*x + 26. Let r be g(-4). Let l be 714/(-7)*1/r. Is l at least as big as f?
True
Let l = 56.77 - 57. Let b = 1.03 + -1.1. Let f = b + l. Is -8/7 at most as big as f?
True
Let r = -97 - -45. Let b = -0.4 + 57.4. Let n = r + b. Which is greater: n or 0?
n
Let l(w) be the first derivative of -3*w**4/4 + 17*w**3/3 + w**2/2 - 12*w - 92. Let u be l(5). Which is greater: -1 or u?
u
Let z = -7/16 - 2319/112. Is -22 bigger than z?
False
Let w = -1332.82 - -1333. Which is bigger: 4 or w?
4
Let h(u) = -45*u**3 + 2*u**2 - 2*u + 1. Let y be h(1). Let m = y + 20. Let p(t) = 41*t + 961. Let f be p(-24). Which is smaller: m or 