28. Are w and -18 equal?
False
Suppose -5*v = 2*i - 12, -3*i - v + 2*v = -1. Suppose i + 5 = 3*j. Let a = j + 12. Do 13 and a have the same value?
False
Suppose 6*h + 143 = 371. Let j = -23 + h. Is j smaller than 1/3?
False
Suppose 2*q - 75 = 5*b, -4*q + 2*b + 135 = -3*b. Let a = -69 + 100. Is a at least as big as q?
True
Suppose -2*r = 3*b - 0*b - 25, 2*r - 24 = -2*b. Let c be (0 + -1)*-1*r. Which is smaller: c or 9?
9
Let o = 27.37 - 27. Let g = o + -4.37. Is g less than -1?
True
Let m be -4*(-1)/(2/97). Let o = 337 - m. Let d = -575/4 + o. Is d at most -2?
False
Let q be (-10 + 9)*42/2. Is q not equal to -22?
True
Let j(h) = 6*h + 1. Let u be j(-3). Let r = 1/2447 + -75859/4894. Which is smaller: u or r?
u
Let j = 4 - 1. Let c be j/(-26)*(-2 - 0). Let k(m) = -m**3 + 4*m**2 - 11*m + 23. Let x be k(3). Is c less than x?
False
Let g = 70 - 68. Suppose p + 21 = 4*s, -3*p + 5 = 2*p + g*s. Is -9/4 less than p?
True
Let r be 48/56*7/2. Let n be -4*(r + (-120)/39). Suppose 0 = -2*b - 4 + 6. Are b and n non-equal?
True
Suppose -32 = 2*g - 6*g. Let v = g + -22. Let r be (0/(-1))/(v/7). Which is smaller: -5 or r?
-5
Let b = -6/589 + 8991/15314. Is 1 > b?
True
Let g be (364/(-42))/(2/123). Is g >= 1?
False
Suppose -4*l + 2*c = 3*c - 17, l = 3*c + 14. Let g be (l/(60/9))/(66/(-16)). Which is smaller: -1/2 or g?
-1/2
Let q be (40/(-120))/((-1)/12). Which is greater: q or 26/5?
26/5
Let l = 1.2 - 74.2. Let k = l - -69. Which is smaller: 3/2 or k?
k
Let m = -13 + 14. Suppose 2*k = -4*q - 40, q + 1 - 6 = k. Let a = 10 + k. Which is bigger: m or a?
m
Suppose 9 = x + 2*p, 5*x = p - 5 + 17. Suppose -x*q - 4 = -7. Let u(y) = -y**3 + 5*y**2 - 1. Let v be u(5). Is v < q?
True
Let s be (-4)/60 + 215/1200. Which is bigger: 1 or s?
1
Let s(h) = -2*h**2 + 1 - 9*h - h + 3 - 2. Let n be s(-4). Which is greater: 8 or n?
n
Let y be 1 - 0 - 1 - 0. Let p be y*(-4)/(1 - -11). Is p at least -5/21?
True
Let a = -13375/13 + 1029. Is 1 smaller than a?
False
Let d be ((-5788)/(-1448) + -4)*-5. Let r = -1259/38734 + d. Which is smaller: r or 1?
r
Let l = 1292 + -1115. Which is greater: 1 or l?
l
Suppose 1106*w = 1094*w + 180. Which is smaller: 8 or w?
8
Let g = -45 + 40. Which is bigger: -84/17 or g?
-84/17
Suppose 10*k - 21 = 7*k. Suppose 6 = -6*m + m + 4*c, 5*m = -5*c - 15. Let f be m*(-3)/(18/15). Which is bigger: f or k?
k
Let q = 43 + 37. Let n be ((-180)/q)/(1/(-4)). Which is smaller: 8 or n?
8
Let w = -117 - -117.1. Is 167 at least as big as w?
True
Let g = 26 - 16. Let a = -4 + g. Suppose -f - 14 = -3*f. Is a at most as big as f?
True
Let i = -0.1405 - -60.1405. Is 13 >= i?
False
Suppose 4*h + p - 11 + 49 = 0, 10 = -2*h - 5*p. Let s(g) = -g**3 + 20*g**2 - 19*g - 10. Let w be 2/4*(-494)/(-13). Let k be s(w). Are k and h equal?
True
Suppose 4*n = -0 + 4. Let y be n/(-3)*1 - 0. Which is smaller: y or 0.5?
y
Suppose -4*w = 5*j + 25, j + 20 = w - 3*j. Suppose w = -8*h + h + 63. Is 1 greater than h?
False
Let w(m) = -2*m**2 + 7*m + 3*m**2 + m + 1. Let a be w(-4). Let z be (-66)/10 + 6/a. Which is greater: z or -6?
-6
Suppose -41*j + 4824 = -33*j. Is j at least as big as 603?
True
Let z(s) = s**3 - 7*s**2 - 11*s + 9. Let f be z(9). Let a be (-176)/f*(-3)/4. Let x be (-2)/(0 + 2) + 4. Is x > a?
True
Let i = -72 - -34. Is i smaller than -38?
False
Let m be 12/18*4905/20. Is 164 at most as big as m?
False
Let j(u) = -2*u**3 + 2*u**2 + 2*u - 2. Let a be ((-2)/(-5))/(4/20) - 0. Let g be j(a). Which is smaller: 2/11 or g?
g
Let q(o) = -2*o**3 - 20*o**2 - 19*o - 8. Let r be q(-9). Let n be (r/(-7))/((-45)/(-30)). Is n greater than 1?
False
Let y = -31/4 + 15/2. Let j = 75 + -74.86. Let r = j - -0.46. Is y at most as big as r?
True
Let c = 28 + -27.9. Let s = 0.26 - c. Let n = 1.16 - s. Which is greater: n or -1?
n
Let t = 1 + 0. Let p be (t - (-2 - (-3 + 0))) + -1. Which is smaller: 3/67 or p?
p
Let z be (3/(-9))/((-8)/(-736)). Which is bigger: -32 or z?
z
Let x = 199 + -181. Which is smaller: 22 or x?
x
Let l(c) = c**3 + 5*c**2 - 2*c - 7. Let v be l(-5). Let u be ((-2)/(-4))/(5/(-60)) + v. Is -0.6 smaller than u?
False
Let d(h) = -2*h**3 + 118*h**2 + 44. Let k be d(59). Are k and 41 equal?
False
Let w = 12 + -17. Let y(m) = -9*m - 147. Let d be y(-16). Which is smaller: d or w?
w
Suppose -45*t + 48*t + 216 = 0. Let h = t + 72. Is h bigger than -1?
True
Let l = 5/12 - -13/84. Suppose 0 = -7*c + 3*c. Do c and l have the same value?
False
Let x = -2 - 13. Let b = 60 - 76. Is x <= b?
False
Let n(q) = -q**2 + 24*q + 26. Let m be n(15). Is -0.2 at most as big as m?
True
Let h(o) = -11*o - 4. Let p be h(-2). Suppose l = 3*l - 4*w - 10, 3*l + p = -5*w. Which is greater: -1/39 or l?
-1/39
Let b be (-5)/25 - 0 - 174/(-670). Let z = b - 253/871. Suppose -3*s - 3 = -6*s. Is s smaller than z?
False
Let s = 0.196 - -0.104. Is s less than -0.041?
False
Let z be (-42)/(-70) - 8/1. Let q be 526/70 - (-4)/14. Let u = q + z. Is -1 > u?
False
Let g = 0.0556 + 5.9444. Is g at most as big as -3.5?
False
Suppose -4*f = -5 - 7. Suppose 0 = -x - f*o - 13, 3*o + o = -3*x - 14. Let s be ((-10)/6)/(-5)*(8 + -1). Is x smaller than s?
True
Suppose -17 = -f + 2*y - 3*y, 0 = -5*f - 3*y + 85. Let t = -12 + f. Suppose v = -v + 3*r + 12, t*v + 4*r - 7 = 0. Which is smaller: 1 or v?
1
Let d = 110 - 221/2. Let y = 27/364 + -15/52. Let v = d - y. Which is smaller: -0.1 or v?
v
Suppose -4*p + 309 - 46 = -5*v, -5*v + 109 = 2*p. Let w be (-1)/(-3)*140178/766. Are p and w nonequal?
True
Suppose 0 = 5*h - h + 3*s + 10, 0 = -2*h - s - 6. Let g be ((h - -1) + 7)/(3/6). Which is bigger: 10 or g?
10
Let y = 0.0707 + -120.0707. Is -4 >= y?
True
Suppose 13*k + 66 = 15*k. Suppose 0*l - k = 3*l. Which is bigger: l or -10?
-10
Let a(w) = -w - 38. Let c be a(-19). Let f = 19 + c. Is 8/7 < f?
False
Let u(j) = 18*j + 637. Let q be u(-15). Is q bigger than 367?
False
Let k = 140 - 141. Is k smaller than 60?
True
Let c = -474 - -226. Let b be -3 - 24*(-73)/7. Let p = b + c. Which is greater: -1 or p?
p
Let l = 1 - 0. Let a be -2 - (-4)/(l - 0). Suppose -79 + 79 = -12*q. Is a < q?
False
Let c be 8/1 - (-3484)/(-26). Which is smaller: -124 or c?
c
Let o(r) = 2*r**3 + 7*r**2 + 4*r + 3. Let a be o(-3). Let k = 5.01 - 5. Is k at least as big as a?
True
Let f = -304.8 + 305. Which is greater: -1.21 or f?
f
Let h = -6.58 + 7. Which is smaller: 1/3 or h?
1/3
Let g = 33 + -20. Suppose -g = -j - 27. Which is bigger: j or 1?
1
Let y(x) = x**2 - 35*x - 123. Let b be y(37). Which is smaller: -41 or b?
b
Let m(g) = g**3 + 6*g**2 - 11*g - 2. Let d be m(-9). Let w be 3*136/14*5. Let t = d + w. Is t greater than -4?
True
Let i(a) = a**3 - 6*a**2 - 8*a + 22. Let s be i(6). Let k = -26 - s. Which is greater: k or 5/6?
5/6
Let h be -4 - 750*(-2)/(-3). Let p be (h/(-15) + -2)*40/16. Do 78 and p have the same value?
False
Let y = 34 + -50. Let p = y + 16. Let r be (p - 2) + (-58)/(-10). Is r greater than or equal to -1?
True
Let i = 184 + -184.1. Is -0.063 at most as big as i?
False
Let v = -5 + 3. Let w = -294 - -291. Which is smaller: v or w?
w
Suppose z + 3*z = -4. Let t be (-9 - -5)*z/14. Let q be 1*(2 + (-7)/3). Does q = t?
False
Suppose 0 = -28*s + 46*s - 21780. Do s and 1210 have the same value?
True
Let j be (0 - 3) + 58427/(-3158). Let u = 2/1579 + j. Which is bigger: u or -21?
-21
Let z = -363 - -283. Is z at least -81?
True
Let a(q) be the third derivative of -q**4/24 - q**3/3 - 2*q**2. Let g be a(-4). Let y be g/(-6) - (-13)/21. Which is greater: y or 0?
y
Let z(n) = 21*n + 59. Let v be z(4). Is 141 greater than or equal to v?
False
Let f be (10/25)/(16/(-2230)). Is f at least -56?
True
Let q be 0 + 4/8*16. Suppose -5*f = -4*j + 17, -6 = f + j - q. Which is smaller: -5/9 or f?
f
Suppose a + 4*a = -30. Suppose -4*h - 19 - 1 = 0. Which is smaller: h or a?
a
Let x(h) = h**3 + h**2 - h + 4. Let n be x(0). Suppose -i = 170*a - 168*a - 12, a = 3*i - 15. Which is bigger: n or a?
n
Let c = 1.42 - 2.37. Let y = -3 + 2.95. Let n = c + y. Which is smaller: n or 17?
n
Let x(z) = 2*z**2 + 4*z - 8. Let b be x(-11). Does 191 = b?
False
Let w(d) = 15*d + 1. Let m be w(1). Let j be m/(-28) + 0 + 9/(-21). Let s be (-76)/42 - 4/(-6). Which is bigger: s or j?
j
Let n be (1/2)/((-2)/(-76)). Let p(x) = -x**3 - 4*x**2 - 5. Let o be p(-5). Which is smaller: o or n?
n
L