23 = -5*s - 6. Let n be (1 - -1) + q + -5. Let k be n/15 - (-33)/9. Is k <= -8?
False
Let q be (1 - -3097) + 2 + (-19 - -9). Is q less than 3089?
False
Let p = 19.49 - 17.4. Let n = p + 160.91. Which is smaller: n or 2/5?
2/5
Suppose -5*z = 4*b + 660, -90 - 181 = 2*z + 3*b. Let v = -125 - z. Let w = -75/2 - -41. Is w bigger than v?
True
Let l = 2/18355 - -807586/312035. Which is bigger: l or 3?
3
Suppose -56 = -71*q + 99*q. Let m = -17/7 - -2/21. Which is smaller: m or q?
m
Let w = 2 - 2. Suppose -5*f + 206 + 74 = w. Let k = -143477 + 143532. Which is bigger: f or k?
f
Let j = -7820 - -7826. Which is bigger: j or 93/14?
93/14
Let j(u) = -3*u + 85. Let x be j(32). Let d be (10 - (-77)/x)*458/6. Is 229 != d?
False
Suppose 12*q - 2989 + 421 = 0. Let l = q + -341. Let b = l - -178. Which is bigger: b or -1/4?
b
Let s be (3 - (-19054194)/(-19998)) + (-7 - -5). Let n = -10470/11 - s. Is n greater than or equal to 1?
False
Suppose 4*b = 7*b - 9. Let a = 133012/5 - 26599. Is a bigger than b?
True
Let m(r) = 11*r**3 - 14*r**2 - 4*r - 21. Let c be m(-7). Let u be (-25)/(-90)*(c/1480 + 3). Do u and 0 have different values?
True
Let l(t) = -272*t - 4470. Let y be l(-14). Which is smaller: y or -663?
-663
Let w(p) = 21*p + 12. Let o be w(-15). Does -305 = o?
False
Suppose 37*k + 4340 = 15*k + 336. Which is bigger: k or -213?
k
Let m = -358.637 - 0.363. Let j = -358.94 - m. Which is smaller: -5/12 or j?
-5/12
Let a(j) = 54*j - 474. Let h be a(17). Which is smaller: h or 443?
443
Let t = -429649058 + 78625537339/183. Let i = -1313 - t. Which is bigger: -1 or i?
i
Let s = -0.05326 - -0.25326. Do s and -1919 have the same value?
False
Let v = -1/144 + -7679/144. Let f = -54 - v. Let y = -2335 - -51367/22. Is y less than f?
False
Let s be ((-1)/((-14)/203))/(92/24 - 4). Let q be (1 - 0) + -1 + -87. Is s smaller than q?
False
Suppose 16*l = -129*l - 8 - 282. Which is smaller: -98/79 or l?
l
Suppose 10 = -f + 3*f. Let p = 91 + -82. Suppose 0 = x + f*t + 16, -x + p = -5*t - 5. Do x and 2/105 have the same value?
False
Let j(b) = 3*b - 5. Let a be j(1). Let n(u) = -u**3 - u**2 - 2. Let l be n(a). Let p be l + 3*4/(-24). Which is greater: 4 or p?
4
Let q be 4277/(-5640)*2/(-42)*-3. Which is bigger: q or -1?
q
Let y be (-56)/16*(-16)/14. Let w be 1128/(y + -12)*1/(-3). Is 45 at most as big as w?
True
Let k be (12 - 8)*(-2)/(-4). Suppose 2*i - 2 = k*c, -2*i - 1 - 3 = 4*c. Are c and -2/89 nonequal?
True
Let t(g) = -g**3 + 5*g**2 + 7*g + 7. Let z be t(6). Let y = z + -11. Suppose 2*d = y*b - 35 + 11, 0 = -4*d - 4*b - 88. Is -17 bigger than d?
False
Let v = -867 + 866.93. Let g = -27/7 - -257/63. Is v <= g?
True
Let k be ((-9008)/732)/((-60)/(-174)). Let v = 16/183 + k. Is -37 greater than or equal to v?
False
Let j = 148 + -154. Let b = 31 + j. Let i(c) = -4*c - 12. Let a be i(-9). Which is smaller: b or a?
a
Let f = -3.5 - -2.8. Let l = -4273.03 + 4273. Is l at least as big as f?
True
Let k(t) = 2*t**2 - 6*t + 6. Let u be k(5). Let w be ((-36)/17)/((-132)/34408*23). Which is greater: w or u?
u
Let v = 360 - 386. Let j(a) = a**3 + 28*a**2 + 50*a - 52. Let k be j(v). Which is bigger: -21 or k?
k
Let j be 0 - -15 - 3120/494 - 1*9. Is -19 equal to j?
False
Let d = 3 + 17. Suppose -4*f + 1225 = 5*a, -a - 17*f + 226 = -d*f. Which is smaller: 240 or a?
240
Suppose 2*b - 1544 = -4*v, 0 = 578*b - 574*b + v - 3039. Is 757 at most b?
True
Let v = -0.0758 - -0.1258. Which is smaller: -0.25 or v?
-0.25
Suppose 0 = w - 2*w + 5*y - 2, 4*y - 2 = w. Let p(m) = 17*m + 14. Let r be p(-8). Let l = r - -119. Is w greater than l?
True
Suppose 134*y - 4*y = -902109 - 1430221. Which is smaller: -17942 or y?
-17942
Suppose 0 = 5*x + a - 28, -2 = -3*x + 4*x + 4*a. Suppose 2*g = -3*m + 8 + x, -17 = -g - 4*m. Which is smaller: -1/11 or g?
-1/11
Suppose 26*a + 752 = -288. Which is greater: a or -48?
a
Let k(f) = 1282*f - 19. Let i be k(2). Let t = 17847/7 - i. Are 4 and t equal?
False
Let r = 90217 - 128649433/1426. Which is smaller: 1 or r?
r
Suppose 3*v + 39 = 48. Suppose -v*t + 6 = -u - 4*t, -u - 6 = -t. Let f be (-21)/u - 2/(-4). Are 5/2 and f nonequal?
True
Let k(b) = b**2 - 16*b + 46. Let r be k(13). Suppose 4*l = r*l - 5*c + 124, 3*l = 4*c - 125. Which is smaller: l or -44?
-44
Let o = 26 - 82. Let b = o - -282/5. Let p = 10609 + -10611.1. Which is greater: b or p?
b
Let m = -2 - 1. Let y be 3/6 + m/2. Let a be 15/(-23 + 7 + 5). Is y less than or equal to a?
False
Let j = 11959 - 108109/9. Is j less than or equal to -54?
False
Let y = 0.9 + -4.9. Let l = -565.7 + 543. Let k = l + 12.7. Do k and y have different values?
True
Let g be -476 + 0/(2 - (9 + -5)). Let d = g - -343. Which is bigger: d or -134?
d
Let i(f) = 9*f**2 + 423*f - 6335. Let y be i(15). Is y at least as big as 10179/5?
False
Let k = -1051 - -62003/59. Suppose -5*m - 2*b + 3 = 2, -5*m - 17 = -4*b. Which is smaller: m or k?
m
Let u(t) = 5*t**3 + 3*t - 2. Let k be u(1). Let y = k + -3. Suppose -y + 4 = x. Is x at most 21?
True
Let b(i) = i**2 - 2*i + 1. Let q(y) = -y**2 + 14*y - 11. Let v = 10 - -3. Let k be q(v). Let d be b(k). Which is smaller: 0.34 or d?
0.34
Let g = 153 - 134.8. Let v = 1.2 - g. Let s = v + 17.1. Is s at least as big as 1?
False
Let z = -2348.3 + 2349. Let s = -2 - -2.5. Is z at most as big as s?
False
Suppose -363*i + 378*i = -45. Let h(g) = g**3 - 7*g**2 + 6*g + 5. Let m be h(6). Let w be ((-14)/21)/(m/i)*27. Are w and 12 nonequal?
True
Let z(o) = -8*o - 2 + 4*o + o - 34. Let f be z(-13). Suppose -3*d = 6, f*w - d + 59 = -161. Is w bigger than -74?
False
Let s = -831917297/626775 - -181794/137. Let p = s + 2/1525. Are p and -129/4 nonequal?
True
Suppose 2*f - 3*f - g = 6, 6 = -2*g. Let q be (29176/(-44))/(-2) + f. Let r = q - 328. Which is greater: r or -0.1?
r
Let t be (8/(-12))/(-6*11/1089). Which is smaller: 195/16 or t?
t
Suppose -74*n - 18*n - 8280 = 0. Which is bigger: -93 or n?
n
Let b = -8146 + 8145.987. Let p = -218 + 218.113. Let u = p + b. Which is greater: u or -10?
u
Suppose 4*f = -0*q - 4*q + 292, 0 = 4*q - 2*f - 274. Suppose 8*v + 66 = -q. Suppose -34 = 3*n - n. Is n less than or equal to v?
True
Let u(b) = 11*b**3 + b**2 - 2*b + 1. Let y be u(1). Suppose 0 = 3*g - y*g + 48. Suppose -4 = -5*o + p + 8, 6 = -3*o + 5*p. Is o greater than or equal to g?
False
Let z(l) = l + 3. Let f be z(-3). Suppose f = -9*d + 56 - 11. Suppose -2*s = -4*x + 12, -5*s + 14 = d*x - 16. Which is bigger: s or 9/5?
s
Let r = -0.06 - -0.114. Let o = 44.946 + r. Let c = -46 + o. Which is smaller: c or -11?
-11
Suppose -2*g + 113 = 7*h, -5*g + 30*h = 35*h - 245. Which is smaller: 21 or g?
21
Let g be (-1)/4 - 7/(-28). Suppose -33*j + 37*j - 4 = g. Let h(v) = v**2 - 3*v + 3. Let l be h(j). Is -10 less than l?
True
Let r = 108 + -189. Let k = r + 82. Let s be k*7/((-126)/(-4)). Is -5/8 at most s?
True
Let m = -16 + 16. Suppose p + 17 = -m*c - c, -3*p - 41 = c. Let a(x) = -x**3 - 21*x**2 - 15*x + 86. Let z be a(-20). Which is smaller: z or p?
z
Let v = 60.54 - 65.54. Is v < -5.7?
False
Let j = 109 + -107.9. Let g = j - 1.1. Let i = -0.2 + g. Which is smaller: 0.2 or i?
i
Suppose 1710 = 10*c + 9*c. Let i be (15/2)/((-4)/(-48)). Is i at least c?
True
Let c be (3 - 30/9)*3. Let t = c + -8. Let r = t + 30. Which is smaller: r or 22?
r
Suppose -14*r + 10 - 38 = 0. Let a be r + 0 - 4*(-9)/15. Let z = 6.49 - -0.51. Which is bigger: a or z?
z
Let h(d) = -18 + 16 - 9 - 4*d**2 - d**3 - 10*d. Let r be h(-5). Suppose 11*n - 3*n - r = 0. Which is smaller: 20/3 or n?
20/3
Suppose 4*y - 9*y = 110. Let b(l) = -5*l + 133. Let i be b(19). Let s = -61 + i. Which is smaller: y or s?
s
Suppose 25*n - 236 = 14. Let d be (-2)/n - 57266/(-288230). Is 0 < d?
False
Suppose v + 3*v - 4 = 0. Let h(w) be the third derivative of -5*w**4/24 + 79*w**3/6 - 59*w**2. Let l be h(16). Which is bigger: v or l?
v
Let m(f) = 51*f - 3. Let s be 1/(4*3/36). Let x(a) = 26*a - 2. Let d(p) = s*m(p) - 5*x(p). Let w be d(1). Which is bigger: -2 or w?
w
Let u = 0.1237 + -1.4237. Which is smaller: u or 2/35?
u
Let k = 258 - 260.42. Let z = k - -1.42. Which is bigger: z or 6?
6
Suppose -f - 2*u + 6*u = 73, 0 = 5*f - 5*u + 305. Which is smaller: -55 or f?
f
Let q = -22 + 29. Let j be ((-12)/10)/((56/(-20))/q). Suppose j*s - 3*b = 141, 5*s - 235 + 10 = 3*b. Is s < 41