-162*u - 153*u + 309*u = -7188. Is 4787/4 greater than u?
False
Let u = 1568.054 + 1.946. Is u greater than or equal to 1?
True
Let x(t) = -t**3 - 29*t**2 - 24*t - 29. Let p be x(-16). Which is smaller: -2972 or p?
p
Let w = 95 + -94.941. Let m = w + -23.559. Let s = -22 - m. Is 1 greater than s?
False
Let s = -260 + 259.97. Is -185 <= s?
True
Suppose -2*n - 3694 + 544 = -8*t, 2*t + 3*n = 819. Which is smaller: 386 or t?
386
Suppose -5*i - 5 = 4*q, -4*q - 4*i - 11 = -7. Suppose x = -f + 223 - 20, q = -f - 5*x + 187. Are 209 and f equal?
False
Let s be (2/(-10))/(11/(-2365)). Let o(r) = -r**2 - 24*r - 65. Let p be o(-18). Is s equal to p?
True
Let x be (-32)/56 - 40/(-70). Which is smaller: x or -2/371?
-2/371
Let g be -1046*(-5)/88 - (117/(-12) + 9). Is 59 < g?
True
Let y(a) = 2726*a - 103084. Let g be y(38). Suppose 2*r - 2012 = -2*r. Which is smaller: g or r?
r
Suppose 5*i + 159 = 5*h - 1, -4*i = 4*h + 152. Which is smaller: i or -68?
-68
Let t(o) = -6*o - 4. Let u be -1 + (1 - 3) + 0. Let b be t(u). Let x = 3061 + -3042. Which is smaller: x or b?
b
Suppose -115*p + 25 = -125*p - 285. Suppose -4*o = -5*t - 148, -4*o - 17 - 31 = 2*t. Which is smaller: t or p?
p
Suppose 14743 = 11*n + 14754. Let z be 2/(-6) - (-2995)/9075. Is n less than or equal to z?
True
Let i = -36.485 - -2.485. Is 0.21 at least as big as i?
True
Let r = 102 + -84. Suppose r = -0*i - 6*i. Let y be (2/122)/(0 - (4 + i)). Which is bigger: -1 or y?
y
Let b = 1/1949 - 1966/33133. Is b equal to 364?
False
Suppose 0 = -g + 4*c - 18, 0 = -2*g - 0*c + 4*c - 16. Suppose 3*j - g*p = 29, -2*p + 2 + 2 = 0. Suppose -10*u = -j + 81. Are -7 and u unequal?
False
Let u = 3755 + -3770. Let o = -15 + 11. Let t = o - -2. Which is smaller: t or u?
u
Let w(a) = a**3 + 4*a**2 - 7*a. Suppose -33*t + 5 = -38*t, -3*j = -t + 14. Let y be w(j). Is y at most 12?
True
Let b be (-72231)/(-714) + 639/126 + -5. Which is smaller: b or 100?
100
Let s(q) = -q**3 + 8*q**2 - 7*q + 1. Suppose 5*h = 6*h + 3*z - 22, -55 = -5*h - 4*z. Let r be s(h). Suppose 11*d - 15 = 51. Which is bigger: r or d?
d
Suppose 2*d = 2*t - 4 - 6, 4*d + 12 = 3*t. Let w be (t/(-6))/(4 + 136/(-36)). Suppose -4*m = -x + 24, -m + 3*x = x + 13. Which is smaller: w or m?
w
Let a = -112755/4 - -28150. Let h be (2 - 0)*(-1)/(-7). Which is greater: a or h?
h
Let d = 395.04 + -395.34. Let j = 24.26 + -24. Which is bigger: j or d?
j
Let k(i) be the second derivative of 5*i**3/3 - 257*i**2/2 + 8*i - 2. Let d be k(23). Let f = -98 + 70. Which is greater: d or f?
d
Let k = -0.08 - 1.02. Let q = k - -14.1. Let a = -47.17 - -47.27. Which is smaller: q or a?
a
Let d = -4157 - -3979. Do -1612/9 and d have different values?
True
Let m = -992 - -1001. Let l(p) = 21*p - 188. Let c be l(m). Let d(s) = s**2 - 7*s - 10. Let o be d(8). Is o bigger than c?
False
Let h = -128 + 352. Let l = -223 + h. Let n = -10549/15 + 703. Which is smaller: l or n?
n
Suppose -372*x + 488*x = -1272288. Is x at most as big as -10967?
True
Let k = 436 + -428.92. Let w = -6.98 + k. Is -131 equal to w?
False
Let k = -17/49 - -2337/7301. Which is greater: k or -1?
k
Let a = 1173 - 1151.6. Is a at least as big as -2?
True
Suppose -3*w - 23 + 38 = 0. Suppose 0 = 5*y - 3*i - 1005 - 211, w*y - 1218 = 4*i. Suppose -346 = -12*q + y. Does q = 50?
False
Suppose -4*x - 23 = 3*b, -5*x - 149 = -124. Is 3/6023 <= b?
False
Suppose 0*h = 4*h - 14904. Which is smaller: 3725 or h?
3725
Let t be -2 - 5 - (6 - (98/7 + -3)). Which is bigger: 98 or t?
98
Let y = -27.046 - -0.046. Let o = -22.2 - 42.8. Let t = o - y. Which is bigger: 1/4 or t?
1/4
Let j = -17 - -20. Let l be (j - 0)/((-4)/(-28)). Suppose l*x = 16*x + 95. Is x at most as big as 20?
True
Let f be (-31)/3 + (-2)/(-6). Let o = f + 14. Suppose 3 - 87 = -o*w. Is w at least as big as 21?
True
Let d = -19460 + 19460. Which is smaller: 28/281 or d?
d
Suppose 5*t - 42*a = -45*a - 7, -a = 4*t. Which is greater: t or 5/881?
t
Let a(o) = 30*o**3 - o**2. Suppose 0*v - 2*v + 3*r - 4 = 0, 2 = r. Let j be a(v). Let d(q) = q**2 - 30*q - 10. Let f be d(j). Is f greater than -1?
False
Suppose -2*m = 3*b - m - 349, -b + 113 = 2*m. Suppose -5*d + 73 = -b. Are 38 and d equal?
True
Suppose -9*y + 158 = 5*y - 29046. Is 2085 > y?
False
Let g(d) = -3*d + 1. Let t be g(-2). Suppose 11*n - 3*a - 13 = t*n, -n - 2 = a. Is -6/65 greater than n?
False
Suppose 181*q + 4*r - 484 = 186*q, 0 = 3*q + 3*r + 258. Is -1839/20 at most as big as q?
False
Suppose 66*v - 61 = 5*v. Let s be -6*((-556)/(-279) - 2). Which is smaller: v or s?
s
Suppose -5*n - 21 = -6*b + 3*b, 4*n = 3*b - 18. Which is smaller: -101/28 or n?
-101/28
Let l be (14/4)/((36/(-56))/9). Let t = -53 - l. Let s be ((-5 - -2) + 4)*(1 - t). Which is smaller: s or 4?
4
Let a be (-2)/(-2) - 6*68/6. Let c = a - -67. Let f be (-2)/6 - 46/(-102). Is f at least c?
True
Suppose -2*i - i + z - 152 = 0, -4*z = -5*i - 258. Let q = i - -85. Is 33 bigger than q?
False
Let k = -4525 + 4866. Is k < 0.1?
False
Let u be (6/(-15) - 0)/((-20)/(-275)*22). Let h = -523.0421 - -523. Which is bigger: u or h?
h
Suppose 0*z - 6 = 2*i - 3*z, 0 = 2*i - z - 2. Suppose -2*k + c = 1, -c = k + i*k - 1. Let t(w) = -w**2 + 2*w - 14. Let f be t(k). Is f < -13?
True
Suppose 5*h + 719 - 31 = -3*y, 2*h = -y - 276. Let l be (-4)/14 + 80*430/h. Does -247 = l?
False
Let v(p) = -p**3 - 1. Let w = 77 + -71. Let b(f) = 5*f**3 - 24*f**2 - 26*f - 24. Let j(k) = w*v(k) + b(k). Let x be j(-23). Is x != 40?
True
Let w = 99 + -157. Let q = w - -84. Is q <= -1?
False
Let z be 63/(-7) - (-1582 - 7/(-7)). Which is bigger: z or 1571?
z
Let j(l) = -7*l + 102. Let c be j(14). Suppose 17*p = -c*p - 21. Is p bigger than 261?
False
Let g = -32.09 + 5.39. Let i = g + 26.8. Is -315 smaller than i?
True
Let i(y) be the second derivative of -y**5/20 + y**4/12 + 17*y. Let b be i(1). Suppose 2*a + 5*f - 9 = b, 0*f - 7 = -4*a + f. Is -1 < a?
True
Let l = -23/2 - -12. Let b be (-20)/10 + (3 - (139 - -3)). Let h = b + 143. Which is greater: h or l?
h
Let w be (-11)/102 - (-3)/(-18). Suppose 212*o - 147*o = -65. Is w less than or equal to o?
False
Let c = -0.021 - -9.421. Let l = 2990 + -3023.6. Let x = c - l. Which is smaller: -1 or x?
-1
Let b(a) = a**3 - 8*a**2 + 12*a + 21. Let g be b(-6). Which is smaller: -557 or g?
-557
Let o be 14/63 - (-4126)/(-18). Which is smaller: -230 or o?
-230
Let v(f) = -f**3 + 11*f**2 - 6*f. Suppose 4*x - 3*s + 4*s - 18 = 0, -30 = -4*x + 5*s. Let p be v(x). Is 121 less than or equal to p?
False
Suppose 0 = -6*y - 37 + 19. Let s be (-1005)/(-804)*87/(-5). Which is smaller: s or y?
s
Let j = -717/2726 + 15/94. Which is smaller: 0 or j?
j
Suppose 19*t + 12 = 22*t. Suppose g + d + 5 = 0, -5*d - 7 - 9 = -t*g. Which is greater: 1/33 or g?
1/33
Let x be 2/(-4) + 447/(-2). Let u = 26241 + -26464. Which is bigger: u or x?
u
Let v be (-6)/(-69) - (546/(-69) - -3). Suppose 0 = 17*h + h + v*h. Let p be (10/(-14))/((-6)/7). Which is bigger: h or p?
p
Suppose 5*h - 19 = -z, -5*z + 3*h + 8 = -h. Suppose 2*r = r + 39. Suppose -3*a + r = -5*n, 0 = 3*a + z + 2. Which is smaller: -4 or n?
n
Let w be ((-57)/(-6))/((-2)/(-24)). Let z = w - 111. Suppose z*n - 64 = -34. Which is smaller: 26/3 or n?
26/3
Let x = 0.1249 - -4.7751. Is -0.78 less than or equal to x?
True
Let n = -482.05 - -7.05. Which is greater: n or -0.2?
-0.2
Let z be -8 + (149/1043 - 62/(-7)). Let f = 662/7973 - 5/67. Which is smaller: f or z?
f
Let x = -35099 + 35099. Let n = -101 - -91.9. Does n = x?
False
Let x = -4 - -4.06. Let y = x + -0.06. Let b = -4056 + 4053. Which is bigger: y or b?
y
Suppose -d - 16 = -4*j, 0 = -d + 5*j - 40 + 19. Suppose -7 = d*v + n - 24, v = -2*n + 13. Which is smaller: 44/17 or v?
44/17
Let o(u) = -u**3 + 27*u**2 - 2*u + 71. Let v be o(27). Let s be (-2)/50*(v - 14). Which is smaller: s or 0?
s
Suppose 8*q - 13*q - 2*n - 3054 = 0, q + n + 609 = 0. Let g = -26927/44 - q. Is g equal to -1?
False
Suppose 103*h = -18*h + 10769. Let w = 1.3 + -2.3. Which is smaller: w or h?
w
Suppose -7*r - 170 = 10*r. Let t be 5/(-6) - (40/12)/r. Which is bigger: t or 0.07?
0.07
Let i = 52 + -28. Suppose -5*q = -11*q + i. Suppose q*k = -2*k - 12. Which is greater: k or -4/7?
-4/7
Let p = -25111 - -25135. Let v = 39 + -23. Is v >= p?
False
Let b = -764 + 533. Let x be 501/(-1778) + (-66)