ch is smaller: -116 or v?
-116
Let c be (272/32 + -16)*4/(-5) + 21191. Which is smaller: c or 21198?
c
Let s be (-24)/(-10)*(-175)/(-70) - 2. Let u = 1123/4 - 57173/204. Let r = 1450/357 - u. Which is greater: s or r?
s
Let s(q) = -q - 4. Let i be s(-3). Suppose -12245*p + 12261*p + 96 = 0. Let o = p + i. Is o less than or equal to 2/5?
True
Let z = 980.0775 + -0.0775. Which is smaller: -3/2 or z?
-3/2
Let c = 198 + -920. Let k = 721 + c. Is 1/168 bigger than k?
True
Suppose -61*h + 65*h - 52 = 0. Suppose -44 = -h*c + 86. Is -5 less than or equal to c?
True
Let t = -90 - -92. Let o be (74/8)/(2 - (6 - t)). Which is smaller: -5 or o?
-5
Let n = -29247 + 29177.99. Is 0.2 > n?
True
Let a(v) = v**3 + 10*v**2 + 9*v - 7. Let b(h) = -5*h**2 + 2*h. Let n be b(-1). Let r be a(n). Is 77 smaller than r?
False
Let r = -24536/40271 + 13/523. Is -2 greater than r?
False
Let g be (6/968*-6)/((-258)/(-344)). Do 0.2 and g have the same value?
False
Let g = -0.04 - 0.66. Let b = 1000.0807 + -1000. Let l = b + 0.0193. Are l and g nonequal?
True
Suppose -75*c + 80*c + 20 = -5*b, 9 = -3*c. Let y be 4 - (2 - (-7632)/3819). Which is bigger: b or y?
y
Let q be -8 - 266/(-4 - ((-2652)/(-101) + 3)). Which is smaller: 1 or q?
q
Suppose 0 = -7*o + 8 + 20. Suppose 5*h - k = 4, 3*h - 16 = -0*k + o*k. Which is bigger: -4/61 or h?
h
Suppose 2*y - 4*n - 28 = 0, y = 3*y - 5*n - 33. Suppose -13*z + 43 - y = 0. Suppose d - l = 0, 5*l - 6*l - 16 = z*d. Is -60/11 smaller than d?
True
Let k be 5032/306 + -16 - 5044/11322. Which is smaller: k or -1?
-1
Let z = -10811 + 10799. Let t(v) be the third derivative of -v**4/24 - v**3/6 + 2*v**2. Let u be t(1). Is u at least z?
True
Let u = 12186592 - 548423692/45. Let n = -601 - u. Which is bigger: n or -1?
n
Let v = 656 + -395. Let i = 262 - v. Is -129 less than or equal to i?
True
Let k = -0.0705 - 338.9295. Let h = k - -333. Which is bigger: h or -6/11?
-6/11
Let g = 24.87 + 0.93. Let s = -24.8 + g. Is s >= 2/5?
True
Suppose -14*m + 89 = -12*m + 263. Which is bigger: -2002/23 or m?
m
Let o(i) = 46*i**2 + 4. Let k be o(-3). Let c = 5.233 + -4.233. Is c smaller than k?
True
Suppose 0 = 45*z + 55*z + 200. Is -70/47 >= z?
True
Let z be (10/125*-10)/((-2)/5). Let u = 148 - 732/5. Is z at least u?
True
Let j = 2448317/135 + -18136. Is 1 at least as big as j?
True
Suppose -82*t = -97*t - 9105. Let h = 607 + t. Is h less than 1/24?
True
Let m = 3 + -5. Suppose -3*q = -q - q. Let y be 2/3 - q/(-9). Which is smaller: m or y?
m
Suppose 25 = 5*f + 4*w, -4*f + f = -5*w - 52. Suppose -f + 104 = 5*l. Is l not equal to 18?
True
Let n be (1 - 6/9)*12. Suppose -5*x = -n*x - 7*x. Let y be (x + 0)*(-4)/(-16). Which is bigger: y or 2/143?
2/143
Suppose 2*h + 3*m - 2*m = 15, -3*h = 3*m - 30. Suppose -h*u + 10*u - 15 = 0. Suppose -4*l - u*l + 7 = 0. Does -1/6 = l?
False
Let v = 18 - 11. Suppose -28*m + 2225 = -25*m + h, 5*m = 5*h + 3675. Let s = -736 + m. Which is greater: v or s?
v
Let l be 9/(1215/294) + -2. Suppose -1182*z + 5 = -1191*z + 14. Which is bigger: l or z?
z
Suppose -3*a = p + 593, -3*a - p - p = 598. Let d = a - -216. Let g = -1 - -1. Which is smaller: d or g?
g
Suppose -628 - 628 = 21*g - 1256. Which is bigger: -14/369 or g?
g
Let y be ((-21)/(-7)*(0 - -1))/(34/(-4)). Which is smaller: y or 0?
y
Suppose m = 4*s - 8, -4*m + 77 = 93. Let i be s/(6/(-36)*39). Which is bigger: 78 or i?
78
Suppose -4*c + 3*m = -2, -5*c - 3 = 3*m - 4*m. Let t = c - 2. Let a be -26 + 22 - (0 + t). Is -3/20 at least a?
True
Suppose 2*u = -0*u. Let q(h) = -h**3 - h**2 + 12*h. Let j be q(5). Let o = 1707/19 + j. Is o less than u?
True
Let f = 4/11801 + -33905/65212326. Are -1 and f equal?
False
Suppose -7*g = -11*g - 3*f + 6891, -5*g = -f - 8590. Which is greater: 1720 or g?
1720
Let s(r) = 4*r + 4. Let y be s(1). Let j be (y/5)/((-26)/(-715)). Is j at least as big as 46?
False
Let l be 40/(-100) + (5 - (-90)/(-25)). Is l < 1/5909?
False
Suppose 0 = 10*z - 12*z + 32. Let j(x) = x**3 + 6*x**2 + 3*x - 8. Let y be j(-5). Let k = y + 13. Is k less than or equal to z?
True
Let u be 4565/(-275) + 26/10. Which is smaller: -238 or u?
-238
Let s(d) = -d**2 + 5*d + 8. Let a be s(6). Let h = -15.4 - -43.4. Let n = h - 26.4. Do n and a have different values?
True
Let u be -13 - -1 - 1360/(-112). Is 0 < u?
True
Let o(f) = -f**3 - 7*f**2 + 44*f - 2. Let a be o(4). Let u be 8646/(-110) - a/(-5). Which is bigger: -76 or u?
-76
Let u = 1.062 + 42.938. Which is smaller: 15 or u?
15
Suppose 3*o = 4*q + 10 + 83, 4*o - 146 = -2*q. Let u = o - 32. Which is greater: 5 or u?
5
Let x = 16.8 + 0.2. Let q = x + -27. Suppose 4*j - 8 + 12 = 0. Which is greater: q or j?
j
Let x(z) = z**3 - 14*z**2 + 11*z - 20. Let l be x(11). Let m = l + 263. Which is smaller: m or -5/157?
-5/157
Let l = -91 - 7.6. Let u = l - -106.58. Let q = u - 7.9. Is -1 smaller than q?
True
Let k = -293 - -113. Let x = 4498/25 + k. Are x and 12 equal?
False
Suppose 3 - 27 = -3*o - 3*x, -x + 17 = 4*o. Let v(y) = -y**2 - 20*y - 24. Let u be v(-12). Let q be (-2)/(-3) - (o - 159/u). Is -1 at most q?
True
Let x be 1 + 3 - (-3565)/(-1147). Which is bigger: x or 1?
1
Suppose 9*o - 28*o - 48*o = -19631. Which is smaller: o or 1459/5?
1459/5
Let p(x) = -x**2 + 6*x + 3. Let b be p(8). Let u(j) = -23*j - 213. Let n be u(b). Is n != 84?
True
Let u(l) = l**3 + 17*l**2 + 82*l + 18. Let i be u(-11). Suppose 5*f = -794 + 19. Is f >= i?
True
Let g = 873.58 + -876.58. Let q be (-6)/(-16)*2/(-9). Which is smaller: g or q?
g
Let i(d) = -d**2 + 8*d + 7. Let n be i(7). Suppose 7*f + 4*a = 4*f + n, 11 = 2*f + a. Let b be (-2)/f + -3 + (-201)/(-9). Which is smaller: 5 or b?
5
Let l be 105*((-5814)/(-357))/(-57). Let n(j) = -j**3 + j**2 + j. Let t be n(0). Which is bigger: t or l?
t
Suppose 33*f - 35*f - 2*s + 1052 = 0, -3*f + 5*s = -1594. Which is bigger: 529 or f?
529
Let d be 20*(-15)/(-2100) + (-128)/161. Is -3 at most d?
True
Let b = 36 - 23. Let d = -9 + b. Let j = -84 - -335/4. Which is smaller: j or d?
j
Suppose -3599 = -3*m + 2776. Is 2124 greater than or equal to m?
False
Let n = 136.1 - 154.1. Let y = -9.9 + 0.9. Which is bigger: n or y?
y
Let h be -93 - (-1 - 1)/1. Let b(c) = 8*c**2 + 14*c**2 - 4*c**2 + 0*c**2 - 10*c - 2*c**3 - 2. Let q be b(9). Is h not equal to q?
True
Suppose 3*x - 188 = 4*n, -3*x + 5*n + 142 = -51. Which is greater: x or 447/8?
x
Let r = -206025 - -206025.17. Let t = 1 - 0. Let u = t + -0.9. Which is smaller: r or u?
u
Let z = -1471/16652 + 1/724. Let g = z - -1/23. Let m(a) = 3*a - 52. Let w be m(17). Which is smaller: g or w?
w
Let a = 1257 + -1236. Which is bigger: 6 or a?
a
Suppose -9*n - 1857 = -14*n - 4*o, 1873 = 5*n - 4*o. Is 382 <= n?
False
Suppose 18*c - 15*c + 810 = 0. Let o be c - (-6 + 24)/(-6). Is -267 at most o?
True
Let n(y) = -y**2 - 31*y - 87. Let t be n(-28). Let r be ((-140)/105)/((-10)/t). Is r equal to 8/15?
False
Suppose -6*z + 9 = -9. Let v = 0.093 - -0.307. Is z >= v?
True
Let k = -94 - -99. Let a be 1 + 0 - (-45)/(-400)*k. Is a equal to 0?
False
Suppose 28*p + 25 = 33*p. Let g = -160 + 158. Which is bigger: g or p?
p
Let s(l) = -3*l**3 - 4*l**2 + 12*l + 7. Let w be s(4). Let k = w - -85. Let y = -117 - k. Which is greater: -1/135 or y?
-1/135
Let x = 8.503 - -0.177. Let w = 9 - x. Let c = w + -0.32. Which is smaller: 20 or c?
c
Let t = -4884 + 4382. Which is smaller: t or -500?
t
Let j be (2128 - 2)*(2 + -5 + (-4)/(-4)). Does -4254 = j?
False
Suppose -4*r - 19 = -2*i - 3*r, 5*i + 4*r = 67. Let q = -148.05 + 148. Is i > q?
True
Suppose 0*a + a - 292 = 0. Let b = -2624/9 + a. Let i be (-560)/68 + 9 - 76/(-323). Is b > i?
False
Let q be -10 + (-11)/((-275)/260) + 532/(-930). Let l be (-2)/(-16) + 9/(-72). Which is greater: l or q?
l
Suppose -m - 8 = 2*c + c, 0 = 4*c - 3*m - 11. Let p be (-158)/(-16) - (69 + -58). Which is greater: p or c?
c
Let z be (-77)/(-28)*(-78 - -2). Let q = z + 97. Let p = -195 - q. Is -83 at least p?
True
Let a = 107 - 30. Let g = -73 + a. Let y be ((-42)/8 + g)/(2/104). Are -65 and y non-equal?
False
Let c = 71143/5 + -14229. Which is greater: -333 or c?
c
Let l = -39118/3 + 13040. Is -982 greater than l?
False
Let o(j) = -2*j**3 - 13*j**2 + 3*j - 18. Let y be o(-8). Suppose 0 = 15*v - 60 + y. Does v = -6?
True
Let d = 0.7197 + -0.679. Let x = -6.0407 + d. Which is s