24, 2*x - 4*s + p = 0. Is x at most g?
False
Let b be 9406/(-17)*74/(-112)*-1979. Let q = -723459 - b. Let f = q - 19/7. Is -1 smaller than f?
True
Suppose -w - 3*w + 27 = 3*n, 13 = -5*n + 3*w. Is n < 3318?
True
Suppose -3*l - g + 681 = -5*g, -4*l = -3*g - 908. Let m(a) = a**3 + 227. Let t be m(0). Is t at least as big as l?
True
Let x be (-432)/(-243) + 4/18. Let a be (392/(-115))/2 + x/5. Is a smaller than -1?
True
Suppose 4 = -2*t + 4*w, -70*w - 5 = 5*t - 75*w. Is t at least as big as -0.3024?
True
Let a be (-15)/6 + 1 - 91/14. Let d be (a/(-56) + (-141)/7)/(-1). Let f be d/6 - (-6)/3. Is f less than 4?
False
Let n(g) = -g**3 - 5*g**2 + 10*g + 9. Let q be n(-6). Let r be 7*3/4*4. Suppose -4*s - 43 = r. Are q and s nonequal?
True
Let n = 4898 + -4922.87. Let y = 0.87 + n. Let j = 23.9 + y. Are 1/23 and j unequal?
True
Suppose 34*y = 32*y + 6, -2*p + 5*y - 77 = 0. Let t(s) = -s - 35. Let f be t(0). Which is greater: p or f?
p
Let o be (-1)/7 + (-339)/(-21). Suppose 0 = -2*p - 2*p, -2*p = 4*a + o. Which is greater: a or 26?
26
Let g = 17009 - 68087026/4003. Which is smaller: -1 or g?
-1
Suppose -5*f - 5 = 0, 0 = -y - y + 2*f + 48. Suppose y*q + 13 = 36*q. Which is greater: 2/1229 or q?
q
Suppose -3*g - y = -79, -5 = -3811*y + 3806*y. Let a = -2675 + 18908/7. Is g < a?
True
Let z = -487/273 + 38/21. Let i be -4*(-9)/(-48) + (-146)/8. Let b = -20 - i. Which is bigger: b or z?
z
Let j be ((-33)/(-6) - 3)*(17 + (-858)/52). Let g(d) = -d**2 - 6*d + 1. Let v be g(-6). Let x = 1 - v. Which is bigger: j or x?
j
Suppose 6*j = 86 - 98. Let x be 108/(-810)*(8 + (j - 0)). Is x >= 0.29?
False
Suppose 2*n = 3*n + 5*f, 5*n + 3*f = 88. Suppose -2*z + 4 = -3*j + n, 4*z + 3*j + 14 = 0. Is -29/8 bigger than z?
True
Let t = -10 + 10. Let i be (-11521)/6068 - 2*21/(-24). Which is greater: i or t?
t
Let y = -9634 + 7947. Is y greater than or equal to -1691?
True
Let a = -707 + 504. Suppose 4205*c = 4206*c + 202. Is a less than or equal to c?
True
Let f = 9 + -30. Let z = 0.259 + -18.259. Let s = z - f. Which is smaller: s or -8?
-8
Suppose 0 = -3*a - 2*k - 33, 4*k = 6*a - 2*a + 24. Let v be (-1318)/3990 - 3/a. Which is smaller: 1 or v?
v
Let p = -94 - -88. Let h be (-8)/(p + -4 - -6). Do h and 31 have different values?
True
Let g(y) = y**3 + 29*y**2 - 26*y + 253. Let c be g(-32). Which is smaller: -1988 or c?
-1988
Let r = -712.7 - -678. Let l = r - -34.8. Do 144 and l have the same value?
False
Let q be ((-25)/(-2) - 11) + (-3)/2. Is 7119 smaller than q?
False
Let r be 5310/(-36) + (-6)/4. Let v = 160 + r. Which is smaller: 10 or v?
10
Suppose 0*z + 234 = -3*z. Let n = -111/380 - -4/95. Which is smaller: n or z?
z
Let i(o) = 7*o - 206. Let j(t) = -17*t - 134. Let s be j(-9). Let x be i(s). Which is greater: x or -74?
x
Suppose -9316*p + 2183 = -9279*p. Let c = 0.9 + -1. Is c at least as big as p?
False
Let y = 1764 + -1753. Which is smaller: y or 0.18?
0.18
Let r = -618 + 1116. Let f be (-2)/4*(-16 + r). Does -241 = f?
True
Let j = 546 + -572.1. Let p = -26 - j. Let k = -10.9 - p. Which is greater: 2/5 or k?
2/5
Let g = 121 + -112. Let y = 5/517 - -86761/9823. Is y > g?
False
Let y(o) = -o**3 + 17*o**2 + 2*o - 27. Let w be y(17). Suppose w*h = -3*h - 10. Let m be (-518)/(-84) - (2 - h)*-1. Which is smaller: m or 9?
9
Let y be ((-4)/(-3))/(13/(-6)). Let g = 457 + -457. Suppose 6 = -2*j + 5*v + 27, g = v + 5. Which is greater: y or j?
y
Let s = 486 + -424.2. Let d = s + -62. Which is greater: d or -2/85?
-2/85
Suppose -21*u = -16*u + 680. Let v = u + 135. Is -2 at least v?
False
Suppose -38*j + 43*j - 4*f - 7 = 0, -4*f = -4*j + 8. Which is smaller: 4/7511 or j?
j
Let d be (-3180)/(-660) - 2/(-11). Suppose 3*u + 21 = -5*n, u - n - 6 = -d. Which is greater: 10 or u?
10
Suppose 0 = -4*i - 17 - 3. Let x be (16 - 0)*i/10. Let h(u) = u**2 - 72*u + 326. Let b be h(5). Is b bigger than x?
False
Let p(y) = 2*y**3 + 10*y**2 + 4*y + 4. Let j be p(-4). Let f be (-192)/40 + (-24)/j. Which is bigger: f or 3?
3
Let c(h) be the second derivative of h**5/20 + 3*h**4/4 + 5*h**3/3 - 17*h**2/2 + 1072*h. Suppose 6*w + 35 = w. Let f be c(w). Is 11 bigger than f?
False
Let v be (-8)/(-5) + -1 - 110/(-25). Suppose 12*f - v = 11*f. Suppose -281 = -f*x - 41. Are -0.1 and x unequal?
True
Let o = -6681/2 - -3341. Which is smaller: 335 or o?
o
Let j = -0.09164 - 0.00516. Which is smaller: 0.1 or j?
j
Let p(h) = 6*h**2 + 2*h - 16 + 41 + 2*h. Let t(j) = j**2 + j + 5. Let u(i) = 2*p(i) - 11*t(i). Let x be u(4). Is x equal to 2/39?
False
Suppose -65*f + 4497 = -3888. Let j = -0.7 - 3.3. Is f not equal to j?
True
Let m = -75/14 + 867/154. Suppose -10 = -5*c - 5*z, -2*c + 2*z - 1 = 3*z. Let v be -1*(-2 + c)/(-5). Is v less than m?
True
Let y(n) = -66*n + 408. Let u be y(6). Suppose j + 48 = u. Are -39 and j nonequal?
True
Let y = -220 - -231. Let x be 15/30 - y/6. Which is greater: -2 or x?
x
Let q be ((-54)/(-30))/(9/5370). Suppose 38*k + q = 276. Is k >= -22?
True
Let s(k) = 51*k + 124. Let u(y) = y**3 - 8*y**2 + 16*y - 7. Let c be u(4). Let a be s(c). Is a not equal to -232?
True
Let h = -2.3 - 4.7. Let c = h + 6.991. Which is smaller: c or 1?
c
Let u be (-12)/54 - (-32)/(-18). Let y be u - -7 - (18556/2320 - 3). Is y >= 0?
True
Let f = 76040 - 76043. Let z(x) = x**3 + 5*x**2 - 3. Let u be z(-6). Is u at least f?
False
Let j be (-5)/(5285/(-1833)) + 4/(-1). Let a = j + -3/151. Is a > -5/3?
False
Let t(q) = -4*q + 20. Let g be t(-28). Suppose -25*s = -29*s + g. Let j(l) = 6*l - 4. Let w be j(6). Which is smaller: s or w?
w
Let b be 3*56/(-15) + 4. Let t = 1372 - 1380. Which is smaller: b or t?
t
Suppose 8*m - 2370 = 2310. Let j be (-5)/3*299/m. Is j > -2?
True
Suppose 28*n - 36*n = 16. Let p be -116 - (n - -9) - -6. Is -119 <= p?
True
Suppose -4*v = 12*v - 144. Let l be 15/(-5)*v/((-18)/8). Is 12 less than or equal to l?
True
Let s = -6 + -20. Let v = s - -25.7. Let q = 0 - v. Is -0.2 <= q?
True
Let m(i) = -8*i**3 + 32*i**2 + 70*i + 8. Let x(k) = 19*k**3 - 65*k**2 - 141*k - 16. Let h(d) = 7*m(d) + 3*x(d). Let p be h(-26). Is 294 at most as big as p?
True
Let k(l) = -3*l**3 - 3*l**2 + 4. Let d be k(-2). Let j be 4/10 - (-18)/(-45). Suppose j = 7*b + 5 + d. Which is smaller: b or -25/6?
-25/6
Let n = -121835/1311314 + -1684574432567/64667449910. Let o = n + -1/7045. Are -27 and o unequal?
True
Let n = 408 - 277. Let l = n - 53. Suppose 18*h + 4*h = 22. Is l at most as big as h?
False
Let l be 0 + (-1)/(-5) - (-5106)/(-30). Let a = -2121 + l. Let u = 36671/16 + a. Is 0 != u?
True
Let z = 3/713969 - -333422620/214904669. Let v = 36/43 - z. Let t(f) = 2*f + 3. Let i be t(-2). Which is bigger: i or v?
v
Let j = -402.27 - -404. Let t = -1.73 + j. Let g = 22/27 + -736/837. Is g greater than or equal to t?
False
Suppose -85*m - 10 = -87*m. Let i be -1 + 15/(-3) + m. Is i smaller than -1/388?
True
Suppose v + 148 + 3 = 0. Let u = 452/3 + v. Let a = 0.65 + -1.15. Is a greater than or equal to u?
False
Let l = -1864 - -1864.01576. Which is bigger: 0.1 or l?
0.1
Let v(q) = -2*q**3 - 27*q**2 + 14*q - 9. Let z be v(-15). Suppose -46*w = -38*w + z. Is -58 at most w?
True
Let r = 15194 - 28197/2. Let b = 785 - r. Which is greater: -312 or b?
b
Let f(y) = -y**3 - 21*y**2 + 3*y + 59. Let r be f(-21). Let q be (0 - r) + (-56)/14. Are q and 28/27 equal?
False
Let d(s) = -s**3 - 10*s**2 + 5*s - 60. Let v be d(-11). Let u be 14*v/(-12) + -4. Which is smaller: u or -9?
u
Let g = 91200/101 - 903. Let v = g - 89/404. Which is smaller: v or -8/3?
-8/3
Let c = 244 - 133. Let w = -110.9 + c. Let s = -42.21 + 42. Which is smaller: w or s?
s
Let o(v) be the first derivative of 2*v**2 + 21*v - 12. Let r be o(-4). Suppose -3*p + 13 = -8. Which is smaller: p or r?
r
Let j(t) = -3*t + 8. Let y be j(-2). Suppose -l + y = -8*l. Is 108 bigger than l?
True
Suppose -2*j - b = -10, 2*b + 11 + 9 = 4*j. Suppose -j*i = 3*s - 3*i + 31, s - 2*i + 5 = 0. Are -11 and s unequal?
True
Let w be 125/(-10) + 1/2. Suppose -156*g - 9 = -306*g + 151*g. Is w at least g?
False
Let j be (6/14)/(28/(-49)). Let t = 9.859 + -0.059. Let l = -10 + t. Which is smaller: l or j?
j
Let r = -0.0434 + 38.0434. Let z = 16 + -46. Let f = z + r. Which is greater: -4 or f?
f
Let m = -54 - -57. Suppose -5*u + 33 = k, m*u = -2*k + 17 + 7. Let n(g) = -g**2 + 6*g + 4. L