28. Let l be w(3). Let s = -538 - l. Do y and s have the same value?
False
Let l(k) = 2*k**2 - 9*k + 4. Let q be l(8). Suppose 19*v - 15*v = -q. Let f be -1 + 5/((-25)/v). Is f > 0?
True
Let r = -838 + 1177. Let k = r - 336. Let y = -9 + 8.93. Which is greater: k or y?
k
Let x(p) = -p**3 - 21*p**2 - 3*p + 8. Let t be x(-21). Let h = t + -71. Is h less than or equal to 4/7?
True
Let n = 49 - 46. Suppose -35 - 133 = n*r. Let k be (14/r)/(6/(-2)). Is k greater than -2/3?
True
Let s(v) = 4*v**2 + 2051*v + 14298. Let g be s(-7). Is g != 87?
True
Let j(i) = i**2 + 13*i + 26. Let f be j(-11). Suppose 0 = -l - 4*m - 17, 5*m = f*l - 2 - 14. Is -19/11 bigger than l?
False
Let q be (-5055)/45*(-1)/(-545). Let f = 2/327 + q. Let o be -1 - (45/51 - 2). Are f and o equal?
False
Let v be 5 + (-138)/9*(-12)/(-40). Is v >= 308?
False
Suppose -2*t - 2*t - 1 = -1. Do t and -74/85 have the same value?
False
Let u be 15/10*12/(-1). Let t = -12 + 10. Let h be (-620)/(-700) - (t/5 - -1). Is u equal to h?
False
Let r = 12632.95 + -12633. Are r and 2/99 nonequal?
True
Suppose -8*r - 13802 - 1798 = 48704. Which is smaller: r or -8039?
-8039
Suppose -3*x - 5168 = 4*i - 5*x, 5*x = -4*i - 5224. Which is smaller: -6473/5 or i?
i
Let h = -198 - -201. Let o(n) = -26*n + 90. Let b be o(h). Suppose -40 = -3*c - 1. Which is greater: b or c?
c
Let p be -3 + (-46)/(-14) - (-202)/(-756). Let m = 38 + -34. Suppose 6*q - m*q = -h - 7, -4*h = 3*q + 13. Is p <= h?
False
Suppose 89 = -2*w - 103. Let o = w - 143. Is -240 not equal to o?
True
Let g be -4*108/(-288)*(-2)/(-1). Suppose -9*p - 212 = -5*f - 13*p, -g*f - 5*p = -122. Which is smaller: f or 46?
f
Suppose -1145 = -5*u + 2*h, 8*u - 5*u = h + 687. Let o = 0.075 - 0.075. Is o < u?
True
Suppose r + 7 = 0, 180*h - 3042 = 178*h + 2*r. Is 1513 greater than h?
False
Let l = 330 + -148. Let n = l - 141. Which is smaller: 1 or n?
1
Let y = 76 - 82. Let j = 6 + y. Let t be 3/(-9) + 22/102. Are j and t non-equal?
True
Let r be 27/(-63) + (-24)/(-7). Let d be 20/16 + (r - 4). Let i be 2/42*287/82. Which is smaller: i or d?
i
Let u(z) = -38*z**3 + 36*z**3 - z - 25*z**2 - 9*z**2 - 19. Let j be u(-17). Is -1.9 < j?
False
Suppose 0 = -4*d + 203 + 105. Let i = -63 + d. Suppose 10*g + 48 = i*g. Is g less than 1/3?
False
Let a = 769 - 1050. Let i = 151 - a. Does 431 = i?
False
Let m(g) = -g**3 - 16*g**2 + 9*g + 472. Let o be m(-14). Which is smaller: 41 or o?
o
Suppose 3*c - 4 = -s, -3*c - 6 = 3*s + 12. Which is greater: -14 or s?
s
Let u(s) = -s - 2. Let w be u(-4). Let b be 2 + (2 - w) + -1. Let h = 25942/5 + -5188. Is h bigger than b?
False
Let a = 230013931/333636 - -24/27803. Let c = -690 + a. Let q = c + 163/300. Which is bigger: q or 0?
0
Suppose -25*d + 59 = 119*d - 85. Which is smaller: d or 51/79?
51/79
Let f be 180/(-24)*(-4068)/45. Is 3383/5 > f?
False
Let x = 2 - 1. Suppose 2*p + 3 = x. Let w be (-119)/(-255) - (-6)/(-10). Which is smaller: p or w?
p
Let v(q) = 109*q - 2. Let j(a) = -54*a. Let t(z) = 2*j(z) + v(z). Let f(u) = -u + 8. Let g be f(-6). Let h be t(g). Is h equal to 9?
False
Suppose 5*d + 2*v = -128, -4*d - 5*v = 67 + 32. Is d equal to -175?
False
Let q = 41412140 - 19571597. Let d = q + -6486635083/297. Let h = d - 230/11. Which is smaller: h or -1?
-1
Let m be (9/(-6))/((-162)/(-672)). Let a = m - -62/9. Which is smaller: -1.15 or a?
-1.15
Let y(z) = -2*z**3 - 48*z**2 - z + 15. Let s be (-450)/15 - -1*6. Let x be y(s). Is 2 equal to x?
False
Let s be 4/(-12)*(-1 + -2). Suppose s - 5 = -4*z. Let g be (z + 8/(-6))*12. Which is bigger: g or -8?
g
Let a(q) = q**3 + q**2 + q. Let u be a(0). Let y = -32098 + 18958. Let m be (-2)/15 - 1932/y. Are u and m nonequal?
True
Let f = -16 + 21. Suppose 2*o + 154 = -f*o. Let j = o + 32. Is j <= 12?
True
Let p = 125.1 - 138.3. Let g = 1.5 + -1.5. Which is greater: p or g?
g
Let b(u) = 4*u + 7. Suppose 0 = -208*p + 202*p - 12. Let w be b(p). Let d = 1830/7 - 261. Is d bigger than w?
True
Let s(g) = 521*g**3 - 4*g**2 - g. Let z be s(1). Let o = 1564/3 - z. Which is greater: 5 or o?
o
Let d = -10203.672 + 10204. Which is smaller: d or -0.12?
-0.12
Let a be 14*((-350)/74 + 6). Is a > 19?
False
Let a be 1/2*20 - 5. Suppose a*d = -n - 6, 0 = -5*d - 4 - 1. Which is greater: 2/659 or n?
2/659
Let d be -6*(-12)/(-72) + (-4)/24*1301. Which is smaller: d or -219?
-219
Suppose 0 = -34*g + 94 + 8. Let t be 11 + -16 - ((-12)/g - 2). Is t not equal to 1/67?
True
Let h = 0.4487 + -6.4487. Is 0.074 > h?
True
Suppose -619*c - 426776 - 129934 = -137*c. Which is smaller: c or -1154?
c
Suppose -g - 44 = 5*u, 0 = -2*g - 3*g + 2*u - 112. Let l = -6.56 - -6.66. Do l and g have the same value?
False
Let y be (1 - 6/(-6))*20062/(-28). Is y bigger than -1433?
False
Let l be -4 + 5 + -6 + 10. Suppose -3*m + 37 = -4*v + 379, 0 = l*m - 2*v + 584. Is m at most as big as -117?
True
Let x = 416.14 - 29.14. Which is greater: 2/15 or x?
x
Let s(f) = -82*f + 5288. Let l be s(64). Let o(m) = -11*m + 2. Let t be o(-3). Which is greater: l or t?
l
Let y(u) = -58*u - 4172. Let d be y(-165). Which is smaller: 5394 or d?
5394
Let i be (-69)/(-12) - (-1)/4. Let w be 1*-7*1/i. Let m(a) = a**3 + 5*a**2 - 14*a. Let u be m(-7). Which is smaller: w or u?
w
Let d = -28 + 20. Let v be 24*3*2/d. Suppose -7*i = 69 + 63 + 8. Which is smaller: i or v?
i
Let p(j) = -1753*j - 4030. Let g be p(-4). Which is smaller: 2983 or g?
g
Let a(w) = 3*w**2 + 8*w - 16. Let g(i) = -4*i + 25. Let s be g(8). Let d be a(s). Let t = -79 + d. Is -12 not equal to t?
True
Let g = -514 + 558. Is g at least -0.03?
True
Let k = -16 + 38. Suppose 63*w = 68*w + 5. Let p be (1 - (0 - 3))*w/(-10). Which is bigger: p or k?
k
Let v = 8/699 - -619/6990. Are v and 2.35 equal?
False
Let l = 53725/43803 - 280/279. Let j = -7979/34383 + l. Is 0 greater than j?
True
Suppose -3*q = 3*r - 1149, -5*r + 0*r = -5. Is 383 less than q?
False
Let p = -12.71 + 12.8. Is 0.27 equal to p?
False
Let k = -3479 + 3592. Are 87 and k equal?
False
Let v be (-7)/(2/18*-3). Let z be 3/(-3) + -327*(-3)/45. Which is greater: z or v?
v
Suppose 14*r - 2 = 152. Suppose 3*p = -3*z - 345, -4*p - 14*z - 463 = -r*z. Do p and -116 have different values?
True
Let x(b) = b**3 + 19*b**2 + 33*b - 182. Let g be x(-18). Which is smaller: g or -450?
g
Let r = -13/596 - -4327/171052. Is r at least 0?
True
Suppose -37*g + 4*g = 0. Suppose 8 = 3*i - 5*t - 0*t, g = -5*t - 20. Is i less than -4.5?
False
Let a = -282 - -296. Let k(p) = p**2 - 11*p - 72. Let z be k(a). Which is smaller: -201/7 or z?
z
Let l = -30.15682 - -0.06682. Let k = l - -30. Which is greater: -4 or k?
k
Let z = -2140 - -2170.86. Let h = 16.67 - z. Let t = 0.19 + h. Which is greater: 3 or t?
3
Let f(o) = -o**2 - 32*o - 67. Suppose 8*s + 7 + 225 = 0. Let d be f(s). Is 18 less than or equal to d?
True
Let i be (-130)/(-13)*((-1)/(-2))/1. Suppose 4*h - 41 + 33 = 0. Suppose -i*w + h*w = 36. Which is greater: w or -14?
w
Let g be 11000/(-14205) + (-22)/(-33). Which is smaller: 0 or g?
g
Let a be 70/(-4)*(1 - 119/35). Suppose -x = -3*n + 20, -3*x - a = -5*n + 2. Is x at least -9?
True
Let f = 76 - 1164. Which is smaller: 1 or f?
f
Let d(z) = -z**2 + 17*z + 419. Let v be d(-14). Which is smaller: -310/21 or v?
v
Let m = -2/7 + 4/7. Suppose -5*j + 2*d + 393 = -232, 5*j - 3*d - 625 = 0. Let n = 124 - j. Which is greater: m or n?
m
Let q = -161570 - -13086820/81. Which is smaller: -4 or q?
q
Suppose 5 = -30*t - 115. Let q(r) = -31*r - 19. Let h be q(t). Is 105 at most as big as h?
True
Let m be 86/(-1161) + ((-63776)/427572)/(-2). Which is smaller: -4 or m?
-4
Let t = 0.05926 - -12.04074. Is -7/4 greater than or equal to t?
False
Suppose 5*j + 95 - 2405 = 0. Let w be j/9*3 - -2. Is 154 bigger than w?
False
Suppose 4*r - r + 216 = 0. Let y = 34 + r. Let w = 81 + -118. Does w = y?
False
Let m = -3834133/79 - -48534. Which is smaller: m or 1?
m
Let d be 324372/17*70/315. Let l = d - 4240. Which is greater: l or 0?
l
Let t = 96397/48 + -60469055/30096. Let v = t - 2/209. Is v >= -2?
True
Let r = 218 + -35. Suppose 5*v + 170 = 3*g - 68, 2*v + 3*g = -70. Let y be r/(-22) + 8/v. Is y less than -10?
False
Let g = 800.7 + -882. Let n = -0.123 + -78.877. Let k = n - g. Is -1 bigger than k?
False
Let c = 2029 - 2029. Is -1/3698 at most c?
True
Suppose -3*j - 8 = u 