= -199.07 - -200. Let k = u + -0.53. Is k at least -9?
True
Suppose -26*z + 438 = -20*z. Let w = 72 - z. Let m be (-1)/w + 413/(-77). Is -3 bigger than m?
True
Let s = -341 + 232. Suppose -7564 - 6640 = -271*o + 405*o. Is s < o?
True
Suppose 3*z - 6*z + 11 = -5*m, -4*m - 4 = 0. Let a(y) = -9 + z - 2*y**2 + 9*y + 3. Let l be a(6). Which is greater: l or -21?
-21
Let i = -142/237 + -16/237. Which is bigger: 1.41 or i?
1.41
Suppose -12 + 0 = -4*y. Suppose -q + 5 = y*m, 2*m - 2*q - 8 = -m. Suppose -40 = m*f + 3*f. Which is greater: f or -15/2?
-15/2
Let n(p) = 42836*p + 6. Let f be n(1). Let w be (-30)/12 - f/(-100). Let y = w - 426. Is y greater than 1?
False
Let r = -22180.002 - -22138. Let w = r - -42. Let z = w - 0.038. Is z < -2/7?
False
Let l be (-364)/(-1200) + (6/9 - 1). Is l not equal to 1/4?
True
Let b(j) = 31*j**3 - 9*j**2 - 66*j - 395. Let a be b(-6). Is a less than or equal to -7019?
True
Let m(d) = -d**2 - 27*d - 54. Let r = -80 + 56. Let a be m(r). Is 20 at least a?
True
Suppose -q = 20*u - 15*u + 4188, 1671 = -2*u + q. Which is smaller: u or -838?
-838
Let h = 20.114 - 29.675. Let s = h + 9.6. Let c = s - -2.961. Which is bigger: c or -3?
c
Let c be ((819/(-26))/(-3) - 11)/(1/312). Which is smaller: -140 or c?
c
Let g be -1*(-5*4)/4 - 459/102. Let m = 0.33 + -0.15. Which is smaller: g or m?
m
Let l = 7/4 + -2. Let v = 8.6 + -145.6. Let p = 140 + v. Is p > l?
True
Suppose 0 = -7*s + 4*s + 3. Let v(i) = 37*i**2 + 2*i - 1. Let o be v(s). Suppose o = -2*l + 46. Which is smaller: -0.1 or l?
-0.1
Let x be (-485)/930 - (-14)/(-84). Which is smaller: 0 or x?
x
Suppose 11 + 10 = 7*o. Let b(f) = -2*f**3 + 3*f**2 + 2*f. Let k be b(o). Let x be -24 - k - 3*1. Is x <= -6?
True
Suppose 56*z - 39*z = 21*z + 31*z. Let f = -366795/131 + 2800. Is z equal to f?
False
Let x = -41 + 52. Let n be 6/9 - x/21. Let d = 11/21 + n. Is d at most as big as 4?
True
Let i(c) = -2*c**3 + 16*c**2 + 22*c - 36. Let f be i(9). Is f bigger than 16/139?
False
Let d = 53 - 50. Suppose -4*x = o - 16, 11 = o + d*x - 1. Let s be (2 + o)*((-18)/4 - 1). Does 0 = s?
False
Let n be (-2)/(-5) + (-4332)/(-95). Suppose 35 = 3*d - n. Let q be (3/d)/((-55)/(-15)). Is 1 bigger than q?
True
Let x be (17 - (-1520)/(-96))*(-540)/896. Which is smaller: x or -2?
-2
Suppose 0*m = -u + 3*m - 1, 3*u - 5*m - 5 = 0. Let x be 143/u - (4 + 88/(-20)). Suppose -5*a = -b + 28, 3*a + b - 9 = -x. Which is greater: a or -3?
-3
Suppose 28600 = 4334*w - 4360*w. Which is bigger: -1098 or w?
-1098
Suppose -5*m = -3*m. Suppose -5*f = -2*o + 5, -3*o + 17 = 2*f - m*o. Let h(j) = -j**2 - 3*j + 5. Let r be h(-4). Are f and r nonequal?
False
Suppose -r + b = -3*r - 18, 5*r - 3*b + 23 = 0. Let t be -2*(153/(-34) - (-10)/2). Let v be t/r*-2 - (-65)/(-91). Is -1.1 less than or equal to v?
True
Let m = -214 - -221. Let f be (-11)/(-51) - m/21. Which is smaller: 0.31 or f?
f
Suppose -21*h = -7*h + 61*h - 159975. Is 2133 smaller than h?
False
Let h(f) = -f**2 + 13*f + 2659. Let j be h(58). Let v be 8/(-6)*(-6)/2. Suppose s = v*s - 141. Do s and j have the same value?
False
Suppose -i - 7 - 6 = -4*v, 4*v = 4*i + 16. Let f be i*((-15)/20 - -1). Is 34/7 at most as big as f?
False
Let p = 4350 - 3936. Which is smaller: p or 1240/3?
1240/3
Let f = 2245 - 2317.02. Let y = -1.02 - f. Let g = 71.3 - y. Is -1 >= g?
False
Let v = 1152.8 - 1154. Which is smaller: -1.8 or v?
-1.8
Let v = 181 + -186. Let r be (0 - (0/v)/(-4))/(-1). Is r < -2?
False
Suppose -28*u - 15*u + 1677 = 0. Suppose 0 = 3*l + 6, 3*k + 4*l + l - 110 = 0. Is k >= u?
True
Let w be 113 - 5/(5/4). Suppose 0 = 16576*m - 16577*m + 109. Is w greater than m?
False
Let y(j) = -2*j + 18. Let z be y(9). Let d = z - 9. Let s be -3*(-2)/d + 2/4. Is s at least as big as 0?
False
Let s = 770 + -770. Does -1.52 = s?
False
Let d = 130 - 432. Let c = -301 - d. Which is bigger: c or -1/266?
c
Suppose 5*c = -4*b + 100, 0 = 6*b - b - c - 154. Let j be 6 + -1 + (-4 - 44/b). Is j at most as big as 1?
True
Let v be 11 - 8*(-8135)/(-40). Which is bigger: v or -1615?
-1615
Let d(m) = -m**2 + 13*m - 25. Let k be d(11). Let x be (k + 49/14)/(2/(-400)). Let p be (-34)/153 + x/(-126) + -1. Which is smaller: p or 0?
p
Let y be -3 + -168 + 10/(-2). Let l = -98 - y. Let a be 3 + l/(-27) + 24/27. Which is bigger: a or -1/129?
a
Let v be (2/5944)/((-135)/(-1620)). Which is bigger: v or -1?
v
Let a be ((-1)/2)/((-2)/104). Suppose -12 = -a*v + 22*v. Suppose -2*c = 5*b - 4, -3*b - 6*c = -v*c - 6. Which is smaller: -1/30 or b?
-1/30
Let l = 10968353/13 - 844221. Let y = -290 + 792. Let t = l + y. Which is smaller: t or 0.1?
0.1
Suppose -21760 = -43*b + 171*b. Which is smaller: b or -5?
b
Let w(c) = -c**3 - 5*c**2 - 4*c + 2. Let d be w(-4). Let v(p) = 5*p - 134*p**d + 66*p**2 + 67*p**2. Let n be v(5). Which is smaller: -1/64 or n?
-1/64
Let m = -76.46 - -76.86. Is m less than -0.2038?
False
Let x be (81/(-90))/(33/(-22)). Is 336/11 > x?
True
Let a(o) = -o - 2. Let t be a(-1). Let x = 3/22606 + -35898343/113030. Let i = 317 + x. Which is bigger: i or t?
i
Let b = 2233.2 - 2235. Which is smaller: b or 25?
b
Let i = -417 + 417.02. Let m = 2/35 + -212/2485. Which is smaller: i or m?
m
Let o(a) = -14*a + 4. Let v be o(8). Let f be 212/1*(8 - (-85)/(-10)). Which is greater: v or f?
f
Let h = -0.86 - 0.44. Let b = 7.3 + h. Which is smaller: b or -0.11?
-0.11
Let a = -791.8 + 791.8. Let b be (4 - 5)*4/34. Which is smaller: b or a?
b
Let o(a) = -a**3 + 8*a**2 - 6*a + 1. Let f be o(10). Let h = f - -258. Is 2/255 at least h?
True
Let y(v) = -2*v**2 - 4*v - 9. Let o be y(-2). Let f be 93/(-4)*(-42)/o. Is -108 < f?
False
Let q = 0.702 + 418.298. Let b = 430.32 - q. Let o = b - 12. Is 0.1 bigger than o?
True
Let k be (-4 - -5)/((11/(-9))/(-2 + 3)). Suppose 7*n = -4*s + 2*n - 19, -5*s + 4*n = -7. Let a = s + 0. Which is greater: a or k?
k
Let i = 680 - 680. Let s(o) = 1. Let r(c) = -c + 47. Let q(j) = -r(j) + 6*s(j). Let d be q(0). Which is smaller: i or d?
d
Suppose -53*t + 61*t = -56. Let o be t/((-11004)/8)*3. Which is smaller: o or 0?
0
Suppose 384 = -243*b + 246*b. Let k = -321 + b. Is k smaller than -193?
False
Let y(q) = -89*q**2 - q + 7. Let o be y(2). Let f be ((-2)/6)/(354/o + 1). Which is bigger: f or 41?
41
Suppose 0 = 4*a - 0*a - 8. Suppose -3*m - a*i = -24, 6*m = 3*m + 5*i + 24. Let j be (m/340)/((-2)/(-10)). Which is greater: j or -1?
j
Let v = 58 + -57. Let j be 8/6 - v - 380/(-30). Suppose 3*h - 26 = -l, 3*l + h = 5*h + j. Is l <= 9?
False
Let f = -162 + 165.9. Let c = f - 3.63. Which is greater: c or -1/3?
c
Let y = -887 - -894. Is -28 greater than or equal to y?
False
Suppose 0 = -2*m - 6, -5*t - m = -4*m + 11. Let h be (t/(-156))/((-7)/(-21)). Is 1 equal to h?
False
Let l(b) = 4*b - 14. Let o be 30/(-9)*12/(-10). Let q(s) = 3*s - 13. Let m(n) = o*l(n) - 5*q(n). Let g be m(-8). Is -4/25 <= g?
True
Let a be (40/70)/2 - (-116)/(-14). Let c be (-5600)/(-21) - a/6. Which is smaller: 267 or c?
267
Let g be (4/(-5))/((-36750)/49). Let z = -2369/463125 + g. Are z and 1 equal?
False
Let i = -59751/1138 - -3/569. Which is smaller: i or -5?
i
Let b = 80194 - 2806984/35. Which is greater: b or -5?
-5
Let t = -16420 - -16539. Which is bigger: 13 or t?
t
Suppose -102 = -6*d - 30. Let g be d/(-5)*(-45)/72*-8. Which is smaller: -18 or g?
-18
Let g = -6291 + 6053. Let m be (3107/(-52))/(1/4). Which is smaller: g or m?
m
Suppose 0 = 4*h + 2*p - 83964, -2*h + 16*p + 41958 = 14*p. Does 20988 = h?
False
Suppose 4 = -4*b, -25 = -3*k - 4*b - b. Let s be (k + -11)*((-2)/(-1) - 3). Which is smaller: s or -8/39?
-8/39
Let z be ((-9198)/6)/7 - (2 + 3). Is z bigger than -214?
False
Suppose 3*f = -y - 5, -3*f = -4*y - 48 - 17. Let m = -16 - y. Let s be (12/(-240))/(m/(-25)). Which is greater: s or 0?
0
Let m = 1402.22 - 1440. Let c = 0.85 - -37.15. Let s = m + c. Which is smaller: s or -0.1?
-0.1
Let v(j) = -j**3 - 22*j**2 - 8*j - 167. Let c be v(-22). Let k = 2.067 - 0.067. Is c not equal to k?
True
Let t = -5/7 - -22/21. Let w = -1.958 + 1.758. Is w at least t?
False
Let t(j) = -2*j**3 + 19*j**2 + 20*j - 9. Let s be t(11). Let n = 230 + s. Is 155/2 <= n?
True
Let x = -7018.59 - -7019. Which is bigger: x or -2/15?
x
Suppose 2*z - 2*q = 8, 3*z + z - 24 = -4*q. Suppose 16*s - 5 = 21*s - 3*u, 2*s - z*u = -2. Is s gr