 2*w + 3*w + 9 = 0. Suppose 63 = -f*u + 23. Is u >= d?
True
Let k = 18605 + -18457. Which is bigger: 168 or k?
168
Let q = 1.9 - 2. Let p be (-104)/1092 - (0 - 6890/21). Let z = p + -985/3. Which is greater: z or q?
q
Suppose 3*f - 3 = 0, -f = -5*i - 6*f - 40. Let d(o) = -o**2 + 14*o - 22. Let a be d(12). Let p = i - a. Is p at least as big as -21/2?
False
Suppose -5*u = -2*p - 8, -3*u - u - 20 = 5*p. Suppose -4*v = -12, 9*w + 4*v - 33 = 6*w. Let b = u + w. Is 29/5 at most as big as b?
True
Let g be (30/(-210) + 4/(-21))*-2091. Is g greater than 697?
False
Let r be (-5250)/(-1470)*(-8)/34. Is r <= -1?
False
Let i be (4/4 - (-22)/(-18))*-18. Let k(d) = -3*d**2 + d. Let z be k(i). Let j = 158/3 + -52. Which is bigger: j or z?
j
Suppose 3*x + 3*r - 4*r = -13, -22 = 4*x + r. Let h be 2*(-16)/(-1 - x). Let k be ((-48)/(-44))/(-1)*(-2)/h. Is 2 greater than or equal to k?
True
Let z be (-77356)/120 + 6/(-36). Let g = z + 645. Is g equal to -1?
False
Suppose 2*b - b = 6. Suppose -b*v = -3*j - 2*v + 68, 3*j + v - 43 = 0. Suppose -i - 5*u + 10*u = 22, 2*u - j = 4*i. Are i and -2 non-equal?
False
Suppose 2*t + 4*r - 526 = 0, -10*r - 1026 = -4*t - 5*r. Is -17 greater than or equal to t?
False
Suppose 15*a + 7*a + 38*a = 3300. Let z(o) = -o**3 - o + 4. Let l be z(0). Suppose -4*n + l*h + 215 = 3*h, 2*n - 103 = 5*h. Which is bigger: a or n?
a
Let q = -272 - -937. Let o be (-2)/(-5) + 1159/q. Is o >= -1?
True
Suppose 10*u = 2*z + 13*u + 18293, 4*u - 36536 = 4*z. Do z and -9139 have the same value?
True
Let t = -0.0883 - 0.0217. Let f = 0.3 - 0.1. Let q = 0.5 - f. Which is smaller: t or q?
t
Let q be 30/(-18) + 4/6. Let t be (16*q/(-610))/(2/15). Which is greater: t or 1?
1
Suppose 4 = -3*l + 2*s, -3*l = -3*s - s + 2. Let m be 1*(-3 + (6 - (0 - l))). Let z(a) = a - 2. Let h be z(2). Is m at most h?
False
Let i = 1754 - 1880. Which is bigger: i or 0.2?
0.2
Let q = -8.91264 + -0.08736. Which is smaller: q or -369?
-369
Suppose -2*v = -5*w + 7786, 2*w + 2*v - 3841 = -721. Is 1559 bigger than w?
True
Let c = 3.9 - 77.9. Let f = c + 71.3. Let r = 3.4 + f. Is r bigger than -0.1?
True
Let x = 1136 + -789. Let m = x - 316. Which is greater: -0.1 or m?
m
Suppose 0 = -17*n + 16*n + 8. Let z be 75/(-5 + n) + -1. Is 21 < z?
True
Let v(z) = z**2 + 6*z - 202. Let s be v(-17). Which is greater: -15/8 or s?
-15/8
Suppose -2*d - 2*s = -7*s + 169, -71 = d + 2*s. Let l be 0/(22/d + 23/7). Which is bigger: 35/33 or l?
35/33
Suppose -3*x + 2*u = -8, 24 = 4*x - u + 5. Let s be (-3)/x + (-3)/12. Let l(i) = i + 4. Let v be l(-6). Which is smaller: s or v?
v
Let p be (((-5)/6)/(3/(-1146)))/((-1)/(-3)). Which is smaller: p or 2869/3?
p
Suppose 3*k + 119 = 95. Let l be ((-18)/k)/(-12 + 108/(-24)). Is l at most as big as -1?
False
Let s = -0.07 + 0.04. Let b = s + 0.02. Let q be (-33)/6 + ((-84)/(-2))/6. Which is greater: q or b?
q
Suppose 0 = -5*h - 4*l + 10, 6 = -4*h + 7*h + 2*l. Suppose -7*c = -4*c - h*z - 121, -z + 4 = 0. Suppose c = -3*k - 59. Are k and -32 equal?
False
Let f = 0 + -1. Let x be ((-1)/(-8) + (-4338)/38160)*(0 - 1). Are x and f equal?
False
Let w = -604 - -242. Let b(s) = -7*s**2 + 12*s + 66. Let v be b(-7). Does v = w?
False
Let m = 1598/145 - 308/29. Is m != -3064?
True
Let k be 16/(-6)*(45 - 3915/90). Let p = -6226/1703 + 96/131. Is p smaller than k?
False
Let a(w) = 34*w**2 + 4. Let j be a(2). Let z(o) = -4*o**2 - 170*o - 258. Let i be z(-40). Is j at least i?
False
Let w = -553 - -21569/39. Let s(a) = -a**3 + 9*a**2 + 9*a + 13. Let q be s(10). Which is smaller: w or q?
w
Suppose 9*b - 21*b - 25*b = 0. Which is smaller: b or -4/1183?
-4/1183
Suppose -v - 112 = -475. Let b be 7 + (-4362)/v + (6 - 1). Is b bigger than -1?
True
Let c(y) = -4*y**3 + 6*y**2 + 85*y + 980. Let z be c(-12). Which is smaller: z or 7737?
z
Let f(o) = -8*o + 1. Let q be f(-1). Let r be (-10)/20*1*-46. Which is bigger: q or r?
r
Suppose 2*q - t = 2*t, -4*t = -4*q. Let w be 30/(0 - (-5 + q + 7)). Is w at most as big as -17?
False
Let r be -4*1 + (-8610)/66. Let n = r - -135. Is 1 greater than or equal to n?
True
Suppose 0 = 4*j - 4*t + 852, -5*t + 159 = 3*j + 838. Let k(f) = f + 2. Let d be k(-2). Is j != d?
True
Let a be (4 - 12)/(1 + 0). Suppose 0 = -62*q + 55*q + 35. Suppose 0*t + 5*t - 50 = q*s, -4*s = -5*t + 42. Is a <= s?
True
Let n = -330487/340 + 22071/20. Which is smaller: 131 or n?
131
Let l be 3/(-132)*-172 - 3. Suppose -k + d = -9, d - 1 = -k + 6. Suppose -2*r - 7*b = -2*b - 4, -4*r = -2*b - k. Which is greater: l or r?
r
Let y(w) = 2*w**3 + 69*w**2 + 125*w + 5. Let j be y(-33). Is j smaller than 3?
True
Let p = 20 - 17. Suppose 0 = p*d + m - 21, d + 25 = 6*d + 5*m. Suppose -25*l = -22*l - 24. Is l at least d?
True
Suppose 2*s - 5*y - 1595 = 0, 2*s + 166*y = 161*y + 1665. Is s at most as big as -2?
False
Suppose -8*d - 57*d - 93328 = 11*d. Is d bigger than -1230?
True
Let d be ((-1727)/33)/((-3)/9*-19). Is d at least -9?
True
Suppose -2*y = y - 6, 4*b - 2*y = -4. Suppose -4*f - f - 20 = b, -x - f = 1. Suppose 8 = -4*u - 4*g, -u = 3*u + 3*g + x. Is 25/6 smaller than u?
False
Let n = 13826 + -12234. Is n less than 1587?
False
Let l = 21.912 - 21.8303. Which is bigger: -8 or l?
l
Suppose 4*v + 3*l = -2486, 423 + 195 = -v + l. Let c = v - -4325/7. Let a = 568 + -571. Which is smaller: a or c?
a
Let s = -3.2 - -0.2. Let n = -2.8 - s. Let m(z) = -15381*z - 123048. Let q be m(-8). Are n and q unequal?
True
Let f = -11/31 - -19943/465. Which is bigger: f or 43?
43
Let l be (3/(-75))/((-18)/135) + 5686/380. Which is bigger: l or 15?
l
Suppose 5*g - 94 + 84 = 0. Let b be g/(465/95 - 5). Which is smaller: 1 or b?
b
Let s(b) = -b**2 + 13*b - 8. Let a be s(11). Let c be a/(-21) + 235/(-3). Let j = c + 79. Is -3/38 greater than j?
False
Let j be (101/4)/(-7 + 57/8). Suppose -6*h = j + 170. Is -62 smaller than h?
False
Let k = -17451 - -32022584/1835. Which is smaller: 0 or k?
k
Let t(p) = 6*p**2 + 5*p - 744. Let r be t(0). Is -748 greater than r?
False
Suppose 0 = 2*s - 4*m - 272, 0 = -3*s + 4*m - 35 + 433. Let q be 153/s + 6/(-4). Is q at least 5?
False
Suppose b - 1247 = -4*o + 4489, 4*o = 3*b - 17288. Is b >= 5756?
True
Let p be 0 + -2 + (-34)/(-16). Let a = -82668128759/2361 - -35014033. Let b = 2/787 - a. Is p at most b?
False
Let n be (-15)/7326*196/147. Do n and -1 have the same value?
False
Let l = -107 - -120.8. Let z = 46.38 - 46.48. Which is smaller: z or l?
z
Let z(u) = -u**2 + 3*u + 9. Suppose 5*c - 5*b - 8 = 32, -5*c - 5*b = -10. Let m be z(c). Which is greater: 1/107 or m?
1/107
Let p = -0.3679 + 356.5679. Let j = -356 + p. Is j not equal to 3/56?
True
Suppose 4*h - 868 - 2437 = -5*v, 0 = -5*v + 25. Is h less than 4106/5?
True
Let h = 456839/408 - -53/408. Let r = -1115 + h. Is 4 smaller than r?
True
Suppose -2*t + 5*t = -3*f + 1584, 5*t + 3*f - 2644 = 0. Let s be 96/t - (-6 + 155/25). Let d = s - -249/1961. Which is bigger: d or -1?
d
Let h be (2 - 1) + (-10 - -4 - -2). Let p be (-3 + 5)/((h/12)/1). Let z be (-4)/(-14) - (-360)/(-35). Is p at most as big as z?
False
Let f(y) = 2*y**3 - 2*y**2 - 3*y + 4 - 5 - y**3. Let k be f(3). Let w = -47261 - -283559/6. Do w and k have the same value?
False
Let o(g) = -2*g**3 - 17*g**2 + 6*g - 21. Let f be o(-9). Suppose -f*v + v - 135 = -5*c, -5*c + v = -143. Let s = c - 44. Are -15 and s equal?
True
Let w = 3690 + -3677. Is w smaller than 1.59?
False
Let h(x) be the first derivative of x**4/4 - 17*x**3/3 + 15*x**2/2 + 25*x + 83. Let k be h(16). Is 2 greater than or equal to k?
False
Suppose 423 = -4*u - 381. Let c(n) = 63*n - 13. Let i be c(-3). Is u less than or equal to i?
False
Let i = 132 - 240. Let n = i + 156. Let l = 6957 - 6910. Which is smaller: l or n?
l
Let f be (-8)/(-1) + 1 + (128 - 3). Which is greater: f or 141?
141
Let a be (471652/18868 - 11) + -14. Is a < 1?
True
Let h = 45.01 + -44.96. Which is smaller: 525 or h?
h
Let b = -27/22 + 8/11. Let j = -2465.49 + 2464. Which is smaller: j or b?
j
Let t be (12/(-18))/((-3)/9). Let w be (t - (1 + 222/224))*10. Which is bigger: w or 1?
1
Let f = 45 + -33. Suppose -f = 2*w - 18. Suppose -9 = -n - 2*n + k, k = -w*n + 3. Which is greater: n or 2/3?
n
Let a = 470491201/26378 - 35673/2. Is a <= 0?
False
Let m = -4409/445655 - -13/535. Which is smaller: m or -1?
-1
Suppose -3*d - d 