28. Let r = -1.474 - -0.474. Is h at least r?
False
Suppose 7*h - 3*h = 280. Let w = 81 - h. Let k(p) = p - 9. Let l be k(w). Is l less than or equal to -18?
False
Let h be 19 - ((0 - 6) + -1853). Is 1877 bigger than h?
False
Let w be 7*(19 + 90/(-126)). Let x = -196 - -323. Do x and w have the same value?
False
Let p = -6 - 0. Let n = -3.8 - p. Let x = 39.38 - 39.58. Is x not equal to n?
True
Let a be 52192/5264 - (12 + -2). Is a smaller than 1?
True
Let b = 1374 - 1360.1. Which is smaller: -22 or b?
-22
Let d = -0.18 - 6.82. Let x = d - -12. Let p = 129.92 + -130. Is p less than or equal to x?
True
Let m = -5 - -4. Let d = m - -0.6. Let h = -12.2653 - -12.2253. Does h = d?
False
Let i be -42*(0 - ((-2586)/(-8))/((-111)/(-74))). Is 0.1 at most as big as i?
True
Let i be (-2)/((4840/12)/(-11)). Let a = -2 - -2. Which is smaller: a or i?
a
Let y = 172757/1400 - 51/200. Is -6 greater than or equal to y?
False
Let b be (-4)/18 - (-1154140)/(-414). Do b and -2787 have the same value?
False
Suppose -4*w = 0, 3*w = 5*r - 0*w + 20. Let y = r + 2. Let i be ((-1 - y) + 0)*-1. Is -1/124 equal to i?
False
Suppose -5*d - m = -0*d - 22, -3*d = -2*m - 21. Let x be d/1*21*3/(-15). Let y be ((-4)/x)/((-117)/(-182)). Is y < 0?
False
Suppose -8*z + 1680 = -5*z. Let a(k) = k**2 - 21*k + 539. Let l be a(22). Does z = l?
False
Let p = 313 + -334. Let j be (-18)/7 - (54/p - -2). Let a = 3 + -2. Which is smaller: j or a?
j
Let r be 4/(0 + 1 - -1). Let o be (-1 - 0/(-3)) + r. Let c be (-18)/(-27) + 0/3. Which is smaller: o or c?
c
Let b = -53 + 46. Let g = 1 + b. Let f be (-2)/(-12)*g/(-4). Is f < -1.6?
False
Let w be 115/((-4)/(-6)*(-15)/(-20)). Let g be 28*(8 + w/(-35)). Which is smaller: 45 or g?
g
Let a(q) = 3*q**2 + 2*q - 1. Let o be a(1). Suppose 10*b = 12*b + o. Let c be (2/(-2)*1)/b. Are c and 2/5 equal?
False
Let y be 9 + 0 + (-1 - -1). Suppose 5*x = -2*h + 1505, 3*h = -3*x + 4*x - 318. Let i = x - 292. Which is greater: y or i?
i
Suppose 2*n = 29*n - 837. Suppose -32 = c + n*c. Which is greater: -4/223 or c?
-4/223
Suppose 107*u - 74*u = 2772. Let l be -4*9/u*-14. Which is bigger: 21 or l?
21
Let w be ((11 - 21) + 11)/(1/(-124)). Let g be w*(10/2)/10. Which is smaller: -365/6 or g?
g
Let n = 11281 + -11231. Is n at least -59/5?
True
Let v be (-3 + 1)*1/2*-2. Suppose 3*w - 2*c = 4*w - 1495, w - v*c - 1495 = 0. Let o be (-1)/(-5) - 624/w. Which is greater: -1 or o?
o
Suppose 0 = 2*z - 56 - 32. Let g = z + -45. Let i be g/6 - 83/42. Which is greater: i or -1?
-1
Let t = -240959/223071310 + -1/81235. Which is greater: t or -1?
t
Let b = 19.88 + -16.88. Which is bigger: -14/101 or b?
b
Let f be ((-3)/6)/(-1*2/(-764)). Is -185 > f?
True
Let a = -217 + 663. Suppose -47*u = -45*u + a. Which is smaller: u or -222?
u
Suppose 5*m - 4 = 6, 10 = -3*u + 5*m. Suppose -v - 3*l + 15 = u, -v + 3 = -2*v + 3*l. Suppose -v*b + 3*b = 4*x - 15, -2*b - x + 15 = 0. Is 0.7 >= b?
False
Suppose -10 = -3*h - 4. Let z be -7 + 0/2 + h. Let t = 3863 + -3863. Do t and z have the same value?
False
Let d be 10/25 + (5 - -20 - -4)/(-70). Let v = 2 + -1. Let u = v - 1. Which is smaller: d or u?
d
Let c be 786 - (8 + -12 - -2). Let u = c - 55163/70. Which is greater: u or -1?
u
Let x = -0.5 + 0.8. Let y = x - 0.2. Let m be ((-210)/84)/((-20)/(-8)). Is m greater than y?
False
Let u = 546 - 581. Let w = -46 - -7. Which is smaller: u or w?
w
Let o = 0.78 - 1.15. Let i = o - -46.37. Let k = i - 66. Which is smaller: k or 0?
k
Suppose 66*l + 4 = 68*l. Suppose -86 = 2*d - 3*x + 8*x, 0 = -l*d + x - 98. Which is bigger: 1 or d?
1
Let u = -11562 - -23123/2. Is u greater than 10723?
False
Suppose 5*y + 55 = 125. Suppose -2*q + 4*p = -y, q - 34 = -3*p - 7. Is q at least 15?
True
Suppose 0 = -4*j + 957*y - 952*y + 38, y + 16 = 5*j. Is j bigger than 5746?
False
Let i = 0.138 + -0.158. Let y = i - -9.02. Is 12 bigger than y?
True
Suppose 1586*b - 13 = 1573*b. Let u = -14 - -13.961. Let g = u - -22.039. Which is greater: b or g?
g
Suppose -2*o + 521 = -523. Suppose 2*b - 4*q = 4*b - 192, 5*b - 4*q = o. Which is smaller: 103 or b?
b
Let o = -420 + 424. Suppose n = o, 5*u + 6*n = 8*n - 23. Which is bigger: -34/3 or u?
u
Suppose 17*h - 20*h - 3*c = 0, 0 = 3*h - 2*c - 5. Which is bigger: h or 19/22?
h
Let n = 2.8471 + 93.1049. Let j = n - 96. Let f = j + -41.952. Do f and 2/7 have the same value?
False
Let o(m) = 16*m + 5. Let l = 70 - 78. Let u be o(l). Let t = u - -863/7. Which is smaller: t or -0.6?
-0.6
Suppose -4*n - 1722 = -12*d + 13*d, -2*d + 5*n - 3431 = 0. Is d < -1718?
False
Let m = 32.57 - 33.47. Which is smaller: m or -7.7?
-7.7
Let j be (-6 - (-9 - -1))/(1*-2). Is -27/65 equal to j?
False
Let g = 831794 - 4172059/5. Let h(f) = -5*f**2 - 68*f + 68. Let a be h(-31). Let q = a - g. Which is bigger: q or -11?
-11
Let o = -12 + 88. Let h = o - 108. Let m = h + 32.8. Is 0 < m?
True
Let t = 939.2 + -939.23. Do t and -2/145 have the same value?
False
Let d be 4/144*-8 + 3953/9. Let t = -461 + d. Is 5 at least t?
True
Suppose -46*p + 43*p + 4*n - 42826 = 0, -3*p - 42871 = 5*n. Is p at most as big as 1?
True
Let n be 632/(-18) - ((-232)/(-1566))/((-12)/9). Let v(u) = -3*u**2 + 2*u + 1. Let a be v(-3). Is a != n?
True
Let w be ((-104)/(-325))/((-4)/(-2960)). Which is greater: w or 237?
237
Let o = -43611/2 - -400919/18. Which is bigger: 469 or o?
469
Let b(o) = -o**3 + 14*o**2 - 26*o + 26. Let k be b(12). Suppose 3*i - k*l - 2*l + 16 = 0, 12 = -2*i + 3*l. Are 18/47 and i non-equal?
True
Let g = -18/241 - -105/11086. Do 15/8 and g have the same value?
False
Let n be ((2 - 2735/3) + (45 - 43))*6. Which is greater: n or -5444?
-5444
Let b = 80 + -79.936. Let v = 0.164 - b. Let t = 38 + -11. Which is bigger: v or t?
t
Suppose -10015*j = -10030*j - 15. Is j smaller than -36/17?
False
Suppose -5*y + 2*y = 5*f + 1, -f + 4*y - 14 = 0. Let w be -5*f/65 - (-506)/(-78). Suppose 41 - 13 = -4*j. Which is smaller: w or j?
j
Suppose -3*h + 5*x - 7*x = -467, -5*x = 25. Is 185 not equal to h?
True
Let k = 34815 + -34831. Which is greater: k or 0.334?
0.334
Let z = -1.74 + -12.16. Let y = z + 13.6. Is 11 at least y?
True
Let r be (-2)/5*483/46 - -9. Does r = 7/2?
False
Suppose -8*c + 166 = -9*c. Suppose 4*t - 2*t = 3*k + 506, 0 = k + 4*t + 150. Does k = c?
True
Let y(k) = k**2 - 274. Let c be y(0). Let v be ((-2)/(-5))/(c/10). Let x = v + 288/959. Is x at most -0.17?
False
Let n be (-8)/(-28) + 0 - (-2640)/(-6300). Which is bigger: n or -3/133?
-3/133
Let y(r) = r + 11. Let g be y(-9). Let i = 9.58 - -14.4. Let j = i + -24. Which is greater: g or j?
g
Let g be 0/(-2 - 10 - -7 - -3). Which is smaller: g or 1/261?
g
Let p = 8.065 + -8.1. Let t = p + 0.135. Is t > -98?
True
Let j be ((-5)/(300/(-195)))/(9/(-176)). Is -65 smaller than j?
True
Let v(k) = 7*k**3 + 4*k**2 - k + 3. Suppose 0 = 2*s, w - 3*s + 0*s - 2 = 0. Let z be v(w). Are 74 and z nonequal?
True
Let q(z) = 7*z**2 - 61*z + 552. Let c be q(8). Is c less than or equal to 507?
False
Let l(b) = -75 - 455*b + 146 - 80 + 453*b. Let z(p) = p**3 - 5*p**2 - 8*p + 1. Let s be z(6). Let w be l(s). Which is bigger: 12 or w?
w
Let m be (2/2)/((-4)/(-12)*-21 + 8). Which is smaller: m or -24/89?
-24/89
Let a(q) = -q**3 - q**2 + q + 1. Let w(f) = 30*f**3 + 4*f**2 - 2*f - 2. Let d(p) = -3*a(p) - w(p). Let m be d(-1). Let k = 23 + 1. Does m = k?
False
Suppose 4*d - 3*c + 56 = -168, 4*d - 2*c = -224. Let s be d/(-40)*(-6)/7. Let q be 5*2/(-8) - 21/28. Which is greater: q or s?
s
Let f = -279.1 - -206. Let p = 73 + f. Suppose -241 = 4*m + 31. Is p <= m?
False
Let h(x) = x**3 - 44*x**2 - 38*x + 814. Let j be h(19). Which is smaller: -8931 or j?
j
Suppose 4*b - 7 = -j, -21 = -2*b - 119*j + 116*j. Is b less than or equal to -140/201?
False
Let w be ((-624)/(-90))/2*5/(-34). Let b(c) = -2*c + 37. Let j be b(19). Is j at most w?
True
Let y = -0.0198 - 70.0802. Let i = y - -79.2. Is i at most -0.2?
False
Let x be 14/(-4)*(-18)/63. Let c be ((-1238)/25)/(288/(-30)). Let n = -26/5 + c. Is n > x?
False
Suppose 10*a + 1442 - 602 = 0. Let p be -41*24/a + 4*-1. Let t = 13 - 6. Is t smaller than p?
True
Let u(o) = 2*o**3 - 13*o**2 + 8*o - 6. Let t be u(6). Let l(p) = -4*p + 2 + 2*p + 1. Let c be l(t). Is c less than -8?
True
Let m be 1473*(1 + (-7 - -7)). Which is smaller: 0 or m?
0
Let y = 360 - 