se
Suppose 0 = 4*b + 2*u - 4*u - 26, 0 = -3*b - 3*u - 3. Let j be ((-3)/b)/((-10)/320). Let o = -50 + 74. Is j less than o?
False
Suppose -14 + 4 = -3*s + u, 0 = -2*s - u + 15. Suppose 5*d - 2*d + 113 = -2*o, -s*o = d + 42. Is -2 at most as big as d?
False
Suppose -4*u + 150 = -5*n + u, -4*n - 84 = 5*u. Is n less than or equal to 13?
True
Let x(g) be the third derivative of g**6/120 + g**5/30 + g**4/24 + 16*g**3 - 33*g**2. Let j be x(0). Is j > 96?
False
Let s(x) = x**3 + 12*x**2 - 5*x - 3. Let c be s(-11). Suppose 8*g = z + 12*g - 174, z + 5*g = c. Do 178 and z have the same value?
True
Let q = -8137/537 - 5/358. Is q not equal to 2/5?
True
Let w(k) = 36*k**3 + 14*k**2 - 7*k - 6. Let z be w(-2). Which is bigger: -198 or z?
-198
Let m(v) = -44*v + 704. Let s be m(16). Is -1/1868 greater than s?
False
Let q = -7731/115 + 29/230. Which is bigger: -66 or q?
-66
Suppose -16*t = -t + 3*t - 0*t. Is -20/369 less than t?
True
Let z = -370/71 + 464421/89105. Let d = -3584 + 3585. Which is smaller: d or z?
z
Let h(k) be the first derivative of k**3/3 - 25*k**2/2 - 38*k - 117. Let n be h(24). Is n not equal to -184/3?
True
Suppose -16*r + 15*r = -7*c - 274, 0 = c - 2*r + 41. Is c less than -42?
False
Let k = 21.9 + 29. Let x = k + -24.9. Are 2/13 and x equal?
False
Let x = -2213/116 + 546/29. Which is smaller: -331 or x?
-331
Let k = -3/1440856 + 57429638607/76365368. Let z = k + -752. Let y = z + -155/2703. Which is bigger: 0 or y?
0
Let a be 40385/2300 + (-2)/(-40). Which is greater: a or 17?
a
Let q = -238 + 22849/96. Let d = 7074 + -7075. Which is smaller: d or q?
d
Suppose w + 5*u = 3 - 22, -5*w = -3*u + 95. Suppose 4*i = 2*i - 2*f - 2, i - f = 7. Which is smaller: i or w?
w
Let u = 201.7 + -197. Let v = -0.303 + 0.108. Let b = v + 0.095. Is u smaller than b?
False
Let i = -53.066 - -6.166. Which is smaller: i or -8?
i
Let c = 122186 + -472737/4. Which is smaller: c or 4001?
4001
Let r = -2539/777 - -320/37. Let f = r + -37/7. Which is smaller: 0.12 or f?
f
Let a be 55463/4 + (51/(-238))/((-4)/(-14)). Is 13864 less than or equal to a?
True
Let w be 240/(-54) - 8/(-18). Let m = 7016/45 + -794/5. Is w != m?
True
Suppose -3*d + 4*h = -5204, d + h - 429 - 1308 = 0. Suppose -5*c = -12*c + d. Which is bigger: 247 or c?
c
Let q = -33.075 + 33. Let y = 0.118 - q. Let s = y + -0.053. Which is smaller: s or 1/3?
s
Let k = -4 - -4. Let c be ((-1)/308)/(-6 + 1270/212). Let m = c + 5/22. Which is greater: m or k?
m
Let k be 5163/30 - (3 - (-11)/(-4)). Let z = k + -172. Which is bigger: z or 0?
0
Suppose -8*j = -2*j + 2*j. Suppose 9*x - 14*x - 5 = j. Are 1/4 and x non-equal?
True
Suppose -71*v + 62*v = -2565. Let q be (2 - v/120) + 1/8. Is -139 at most q?
True
Let s be -3 - 4083/(-1168) - (-2)/(-4). Let z = -149539/8176 - s. Which is bigger: z or -18?
-18
Suppose 2*c - 63 + 73 = -3*j, 3*j - 2*c - 10 = 0. Suppose j = 42*r + 19*r + 244. Is 41 at most r?
False
Let g(q) = q**3 + 67*q**2 + 132*q + 130. Let j be g(-65). Which is smaller: -196/145 or j?
-196/145
Let n(s) = 11*s**2 + 3*s + 2. Let b be n(-1). Let r be (34/(-85))/(199/b). Is 1 at least as big as r?
True
Suppose 4*g - 2*g = 48. Let k be g/(-30) + (-14)/(-5). Suppose 5*q = 2*c + 12, -k*c = -2*q + 7*q - 8. Are c and -2/11 nonequal?
True
Let q be 305/(-360) + 2/9. Let t(f) = f**2 + 2*f + 9. Let h(a) = -a + 1. Let z(p) = 3*h(p) - t(p). Let i be z(-4). Do i and q have the same value?
False
Let n(w) = 2*w**3 + w**2 - 5*w + 3. Let g be n(2). Suppose 5*t = 3*z, t - g = -4*z + 10. Let i = -4 + t. Which is smaller: 5 or i?
i
Let k = -479 - -714. Let c = k - 234. Let i be 34/(-128) - (-6)/24. Which is smaller: c or i?
i
Let n = 912 - 1137. Let d(p) = -3*p**2 - 6*p + 14. Let x be d(-10). Which is greater: x or n?
n
Let r = -14650 + 14753. Let x = 2.22 + -104.22. Let w = x + r. Is -19 greater than w?
False
Let c(a) = 9*a - 138. Let t be c(16). Suppose f = -t*f. Which is smaller: f or -9/34?
-9/34
Suppose 9*k = 5*k - 72. Let w be -1 - -3 - (-26)/k. Suppose -2*b + 1 = -2*z + 3, 2*b = -2*z - 2. Which is bigger: w or z?
w
Let r = -79785.1 - -79785. Let p = 0.8 - -0.2. Let n = 0.9 - p. Is n at least as big as r?
True
Let f(k) = k**2 + 13*k + 1. Let t be f(0). Suppose -5*c + 26*i - 28*i = -t, 4*i = -8. Which is bigger: -2 or c?
c
Let u = 22.07 - 21.47. Let z = -17 - -26. Is u at most as big as z?
True
Suppose -3916 = -7*g - 514. Suppose -138 = -4*i + g. Which is smaller: i or 155?
155
Let t be (-3 + 0)*(2 + (-13)/3). Suppose 0 = 6*d + t*d - 78. Suppose 2*h - 14 = 2*o, 0 = -0*h + 3*h + 3*o - 33. Is h smaller than d?
False
Let r = -0.7521 - -0.4821. Is 1/18 >= r?
True
Let h(n) = -n**3 - 7*n**2 - 4*n + 4. Let y be h(-4). Let s be ((-12)/(-15) + (-182)/(-10))*6. Suppose -4*w = -2*i + s, -3*w + 5*i - 61 = -w. Is w > y?
False
Let a be 11667/(2 + ((-15)/6)/5). Is 7778 equal to a?
True
Suppose 33*m + 967 = -69*m + 49. Is 2.68 < m?
False
Suppose -2*w + 4*w = 2*g + 228, -2*w + 116 = -g. Suppose -p + 3*b - 67 - 29 = 0, -116 = p + b. Which is greater: g or p?
p
Let y = 8170 + -8171. Which is greater: 1/7111 or y?
1/7111
Suppose 10 = 11*f - 1. Let s be 106/(-6837)*(19 + -1). Which is greater: f or s?
f
Let w = 5494 + -6078. Which is smaller: -580 or w?
w
Let n = 78.85 + -132.727. Let z = n - 0.123. Let k = z + 46. Is k > -2/7?
False
Let t = -623.8 + 624. Which is bigger: t or 796?
796
Let j(k) = -k**3 - 5*k**2 + 8*k - 9. Let s be j(6). Let u be 119/s - (284/399 - 1). Which is smaller: u or 1?
u
Let z = -18876/17 - -1107. Let p be -5*42*18/945. Which is smaller: p or z?
p
Let d(o) be the first derivative of -2*o**3/3 - 31*o**2/2 - 4*o + 2. Suppose 21*r + 33 = -303. Let c be d(r). Is -21 not equal to c?
True
Suppose 27*s + 20*s - 64775 = 85108. Is 3187 at least as big as s?
False
Let f = -6.99 + 75.99. Let v = -68 + f. Which is bigger: -389/4 or v?
v
Suppose 0*i - 4*i = -2*i - 434. Is i at most 1082/5?
False
Let w = -1.2 + 1. Let f = -3238 - -3242. Is f <= w?
False
Suppose -j = 38*j - 12948. Suppose -2110 = 22*m + j. Which is smaller: 1/2 or m?
m
Let z = -11.9311 - -12.0311. Let w be ((-1908)/(-10))/(63/(-30)). Let p = w - -91. Which is bigger: p or z?
p
Let v = 103 + 12. Let n = -229/2 + v. Are 231 and n equal?
False
Let z(h) = -4*h**2 - 162*h - 699. Let f be z(-24). Which is smaller: 893 or f?
f
Suppose -3*l - 5 = w + 5, -4*l + 5*w = -12. Let t be (l/(-5))/((-9)/90). Let r(p) = -p**2 + 28*p - 108. Let a be r(5). Do a and t have different values?
True
Let w(q) = -760*q + 2247. Let r be w(3). Which is smaller: -159 or r?
-159
Let g(z) = -452*z + 3406. Let j be g(6). Which is smaller: 691 or j?
691
Suppose -4*v - 52 - 1 = t, 0 = -5*v + 25. Let q = t + 248. Which is smaller: 174 or q?
174
Let j(b) = b**2 + 4*b + 48. Let o be j(0). Suppose o = 9*z - 12*z. Is 1 > z?
True
Let d(x) = -2 - 20 - x**2 + 112*x - 100*x. Let j be d(5). Suppose 14 = y - 0. Which is bigger: y or j?
y
Suppose 0 = -14*j + 7*j + 7. Let c = -20713 + 186689/9. Let t = 268/9 - c. Which is bigger: t or j?
j
Suppose 14*n = i + 17*n - 7, i = 4*n. Suppose -i*o = 4*m + 436, -2*o = -o + 3*m + 113. Is -105 bigger than o?
True
Let a = 3732 + -3732.02. Which is smaller: a or 24/7?
a
Let k = 1729.4 - 1733. Which is bigger: 8 or k?
8
Let g = -2106 - -2103.6. Let i = 6 + -5.6. Let h = i + g. Are h and -0.4 equal?
False
Let v be (11/(9 + -20))/((-2)/(-4)). Is v equal to -96/67?
False
Let v be (-8)/(-6)*(-2)/8. Let x be (-3)/(-15) - (-779)/6080. Let u = -11/64 - x. Is u at least v?
False
Let h = 5769/20 - 1285/4. Let d = 979/30 + h. Is 1 equal to d?
False
Let j = 2070 - 2070.841. Let z = -0.541 - j. Let h be (-1)/(-11)*(2 + 0). Which is bigger: z or h?
z
Let n(t) = 3*t**2 - 6*t + 2. Let g(i) = -3*i + 21. Let l be g(5). Let f be n(l). Suppose -2*o - 3*k - 46 = -6, 4*o + f = -3*k. Does -16 = o?
False
Let u(o) = -339*o + 4192. Let c be u(7). Which is smaller: c or 1823?
c
Suppose 0 = 4*v - 0*s - 5*s + 18, 16 = -3*v + 5*s. Let d = -3839/158 + -16/79. Let w = d - -24. Which is smaller: w or v?
v
Suppose 0 = 4*h + y + 1319, -7*h = -3*h - 5*y + 1325. Let s = h - -380. Does s = 54?
False
Let d = -0.25 - -34.25. Let s = 1.868 + -36.028. Let m = d + s. Which is greater: m or -0.2?
m
Let a = 7331 + -8496. Which is greater: -1 or a?
-1
Let u be 6 + ((-12)/2 - -1). Let g(t) = -t**3 + 3*t**2 - 3*t. 