20 - ((-24)/(-32) - (216/32 - -2)). Which is smaller: l or k?
l
Let m = 36462 - 36502. Suppose -t - 25 = 14. Are t and m equal?
False
Let s = -287 - -349. Let a = s + -62.03. Which is greater: -2/5 or a?
a
Let h be 162/(-135) - ((-7131)/105 + 4/(-14)). Which is smaller: h or -3?
-3
Let z = -104.6 + 104.7. Does z = 19.1?
False
Let x(n) = n**3 - 12*n**2 - 16*n + 1. Suppose -9*k = -3*k - 78. Let m be x(k). Let c be ((1/m)/(-1))/((-7)/(-98)). Is 1 greater than or equal to c?
True
Suppose 0 = -14*r + 186 - 116. Let o be ((9 - 4) + -3)/((-2)/r). Is o at least as big as -47/9?
True
Suppose -3*s + 8*u - 3*u = 5639, 8 = -4*u. Is s > -1883?
False
Suppose 0 = -11*v - 15*v + 104. Suppose 6*t = 3*o + 5*t - 1379, -1838 = -v*o + 2*t. Which is smaller: o or 461?
o
Suppose 5*c - 4*w + 10 = 0, -w - 9 = -4. Let l be c/4 + (940/8 - -3). Which is smaller: l or 118?
118
Let n = 62.3 - 65.2. Let i = -0.4 - -3.4. Let a = i + n. Which is smaller: a or -0.6?
-0.6
Let a = 5777 + -5776. Do a and 7/5190 have different values?
True
Let s = -615 - -44279/72. Let i(d) = d**3 + 14*d**2. Suppose -2 = g, 5*g + 1 = z + 5. Let x be i(z). Which is smaller: s or x?
s
Let w = 232 + -111. Let p be (-22)/w - (-1 + 62/22). Is p less than -32?
False
Let s = -626 + 611. Let t be -1*((-40)/8 - s). Which is bigger: t or -12?
t
Let s = -69 + 48. Let y = s + -29. Let n = y + 51.1. Are n and -0.1 nonequal?
True
Let q = -268/41 - 5441/328. Which is smaller: q or -23?
q
Suppose 6*q = 5*r + 2*q - 22, 0 = -4*r - 5*q + 34. Suppose -12*j - r = -14*j. Let f = 7897/7 + -1126. Do j and f have different values?
True
Let x(y) = -1057*y - 4116. Let d be x(-4). Is d at most as big as 113?
True
Let g be (-2 - (-12204)/6090)/(38/5). Which is smaller: 0 or g?
0
Let s(o) = 4*o**2 - 124*o + 276. Let j be s(29). Are j and 20 nonequal?
True
Let n = -0.7937 - -0.5937. Is 0.0482 > n?
True
Let m = 190.87 + -185. Let s = m - 6.07. Are s and -130 nonequal?
True
Let q = 3.98 - -0.02. Let h = 1 + q. Let y = 7413/2 - 3707. Which is smaller: y or h?
y
Suppose n - 1 = -i + 2, i - 2 = -2*n. Let k(c) = i*c**2 - 3*c - 2*c - 3 - c**3 + 5. Let b be k(2). Which is smaller: -2/9 or b?
-2/9
Let h be (7 - 0) + (36 - 40). Suppose h*g - 2*r = -27, -21*r + 20*r = 3*g + 36. Is -2 greater than g?
True
Suppose -19 = -184*c + 189*c - 4*h, 0 = -2*c - 3*h + 20. Which is smaller: 27/155 or c?
27/155
Let g = 322 + -317. Suppose 3*m - 2*h + g*h = 105, -3*h = -4*m + 133. Which is smaller: 33 or m?
33
Suppose -v - 7*y = -2*y + 26, -4*v - 5*y - 29 = 0. Let q = -816017/761642 - 2/54403. Is v >= q?
True
Let a(d) = 25*d**3 - 6*d**2 - 4*d + 5. Let w be a(-3). Let y = 2170/3 + w. Let t(f) = -f**3 + 5*f**2 - f - 4. Let h be t(3). Which is smaller: h or y?
h
Let c be (7/7)/((-1)/(-4)). Let u(v) = 120*v - 59*v - 4 - 60*v. Let f be u(c). Which is greater: f or -1/8?
f
Let i = 154 - 88. Let p = 73 - i. Let s = -11 - p. Are 2 and s nonequal?
True
Let n = -198/307 + 484397/751536. Is n at least 0?
False
Let j = -0.2 + 0.2. Let y = 316/105 + -59/21. Is j < y?
True
Suppose -9*b + 1260 = -99*b. Let x = 0.8 + 0.2. Which is smaller: b or x?
b
Suppose -3*i + 2514 = 2*w, -3*w + 0*i = 5*i - 3772. Let h be w/(-242) + ((-9)/11 - -1). Let n = -0.37 - -0.17. Which is smaller: h or n?
h
Let f = 20871 - 20870.9. Is -347/4 bigger than f?
False
Let l = 12616/2009 - 285/49. Is 2/5 equal to l?
False
Let w = -1.36 + 1.4862. Is 3/7 smaller than w?
False
Suppose b - 39*y + 35*y = 337, -5*y + 1045 = 3*b. Which is greater: 336 or b?
b
Suppose 4*c - 3*c = 2*l + 179, 4*l + 348 = 4*c. Let z = -28523/303 - -81/101. Which is bigger: z or l?
l
Let l(v) = v**2 - 33*v + 94. Let s be l(30). Let f be 7 - 1/(-2)*0. Suppose s*k + f = -193. Which is bigger: -51 or k?
k
Let v be (28/(-84))/((-4)/(-108)). Is -4 at most as big as v?
False
Let q be 2/4 - 948/8. Suppose 46400 + 33092 - 30404 = -416*s. Is s less than q?
False
Let z = -754/3941 + 298541/8831781. Let w = z - -10/83. Does -1 = w?
False
Suppose 2*z + 2*k = 11272, 28228 = 5*z + 284*k - 287*k. Which is greater: 5641 or z?
z
Let u(r) = -r**3 - 13*r**2 - 4. Let x be u(-6). Let z be (-15)/(-4)*x/(-12). Is z at most as big as 78?
False
Let g(c) = -3*c - 8. Let x(u) be the third derivative of 5*u**4/24 + u**3/3 - 4*u**2. Let r be x(-1). Let b be g(r). Which is greater: b or -1.4?
b
Let f = -282 + 280. Let o be (-7)/(7140/f)*-4. Which is greater: 1 or o?
1
Let k = -35403/70 - -2492/5. Which is greater: k or -7?
-7
Let l = -625.01 - -625. Let y be (16/(-15) - -1)/(406/(-609)). Is l at most y?
True
Let w be 37/37 + (-144)/4. Suppose 4*x - 16 = 4*k, 3*k + x + 8 = 5*x. Let i be 3 + ((-856)/w)/k. Is i > -1?
True
Let l be (-4981)/(-6834) + 4/(-6). Which is greater: l or -1?
l
Let k = 373 - 2460. Is k equal to 0?
False
Let l(u) = 2*u**2 - 9*u + 12. Let w be l(5). Suppose 7*q + w = -53. Which is smaller: q or -9?
q
Let y(v) = 2*v**2 - 4*v - 120. Let n be y(0). Let a be (-6)/n*-5*4. Which is smaller: a or 11?
a
Let x = -134 - -8. Let v = 141 + x. Let m = 0 - 1. Which is smaller: m or v?
m
Let x = -2/24177 - 1909913/846195. Which is bigger: x or -1?
-1
Let g = 5/1662 + 170335/6648. Which is smaller: 25 or g?
25
Let j = 94679/10860 + -37/543. Is j smaller than 8?
False
Let i be (-45)/3 + (-3 - -1). Let w = 726 - 335. Let u = w + -407. Which is greater: u or i?
u
Let l = 194356.6 + -194356. Let g = -27 + 43. Let t = g + -26. Is t bigger than l?
False
Suppose 4*k + 3*l - 96 = 36, -3*k - 3*l = -102. Suppose 2*t = 4*h + k, 15 = 4*h - 7*h. Suppose 0 = t*r + 52 - 17. Which is bigger: r or 0?
0
Let x = 3792 - 4334. Which is greater: -548 or x?
x
Let k be 1/2*-1 + 1595/22. Suppose -5*a = -9*a + k. Suppose -9*h = -11*h + 38. Are a and h nonequal?
True
Let l be (136/42)/(6/(-27) + 448/2088). Is l at least as big as -423?
True
Suppose 4*s - 9*s + 190 = 0. Suppose -608 = -26*b + 22*b. Suppose -21*j + 25*j = b. Do j and s have the same value?
True
Let p = 343157 + -343145. Let i = -5 + 19. Is i > p?
True
Let f be 0 - 2 - ((-5547)/(-5))/(33/(-165)). Is 5546 less than or equal to f?
False
Let t(y) = -854*y. Let f be t(-1). Let r(j) = -212*j - 9110. Let z be r(-47). Is z less than or equal to f?
True
Let g(f) = -f**2 + 70. Let w be g(0). Let t be ((7/(-3))/7)/((2 - -1)/(-9)). Which is bigger: t or w?
w
Suppose -70*f = -55*f + 12 + 3. Let c = -1587925/351 + 4524. Is f equal to c?
False
Let w = -2623.8 + 2624. Which is greater: w or -257.9?
w
Let y(m) = m**3 + 7*m**2 - 17*m + 8. Let s be 1/(-4 + 175/45). Let a be y(s). Let w be (a + 1 + -2)/(-2). Is -2/19 at least as big as w?
False
Let l = 419 + -409. Suppose 3*i - 118 - 17 = 0. Let j be ((-8)/6)/((-6)/i). Is j bigger than l?
False
Let p = 7302 - 7303. Are -2432/3 and p nonequal?
True
Let u be (-24)/(-40) - (-6136)/65. Is 78 bigger than u?
False
Suppose 3 = -9*j + 30. Suppose -5*z + 2004 + 2941 = -2*c, 2*c + j*z + 4969 = 0. Let o = 32264/13 + c. Which is smaller: 3 or o?
o
Suppose -236 = -6*f + 124. Suppose -f = -11*i - 71. Is -3/212 > i?
True
Let f = -15.673 + -0.227. Let o = 9.1 - f. Let a = o - 29. Which is smaller: a or -8?
-8
Let n be (-33166)/(-69)*(-3)/(-12). Which is bigger: 120 or n?
n
Let x = 108 + -171. Let l = 512 + -573.8. Let r = l - x. Which is greater: 0.1 or r?
r
Let w = 1.026 + 1087.034. Let b = 1062 - w. Let x = b - -26. Which is greater: x or -1?
x
Let z = -916 - -895.7. Let b = z - -20.3. Let i be (9/(-12))/(2/8). Which is bigger: i or b?
b
Suppose -22*y = -11*y - 176. Suppose -y*r + 8 = -24. Are r and 0.052 equal?
False
Let b be (-6)/21 + 302/(-21). Suppose -57*w + 51*w + 25728 = 0. Let a be w/(-304) - (-4)/38. Which is smaller: a or b?
b
Let h = 10 + -4. Let y(d) = d - 7. Let f be y(h). Let u = 1342 + -42947/32. Which is bigger: f or u?
u
Let y = -12431 + 24980. Which is greater: -1 or y?
y
Let d be 26*7/2*1. Let r = d - 102. Which is smaller: r or -3?
r
Suppose -64*q + 62*q + 90 = 0. Suppose -46*d = -q*d + 297. Which is smaller: d or -298?
-298
Let i = 886 - 1512. Is i at least as big as -627?
True
Suppose -187 = -5*x - j, 2*j + 106 = -4*x + 258. Is x at least as big as 73?
False
Let t = 18.53 - 20.53. Which is bigger: t or 1249?
1249
Let d = 34 - 137/4. Suppose 36 = 112*l - 109*l. Suppose k - 6*k = p - l, 0 = -4*k - p + 9. Which is smaller: k or d?
d
Let x = -15489 + 15488.908. Which is grea