be y*(-1 - 10/(-6)). Is s bigger than x?
True
Suppose -3 = 4*u + 5. Is u > -7/9?
False
Suppose 3*k + m - 14 + 3 = 0, 0 = k + 3*m - 9. Suppose 0 = -4*n + 9 + k. Suppose -q = -3*f - 9, 0*f + f = 2*q - 8. Is q less than or equal to n?
True
Let x(l) = -l - 4. Let w be x(-7). Suppose 5*h + 35 = 4*i, -4*h = -i - w*i + 36. Suppose t - i = s - t, t + 9 = -3*s. Is -3 < s?
False
Let v = -8 - -15. Let g = v - 6. Are -0.1 and g equal?
False
Let g be 132/(-126) - (-2)/(-7). Suppose -m - 12 = -4*m. Let r be m/8 - (-2)/(-4). Which is bigger: g or r?
r
Let x be (-6)/18 - (-2)/(-3). Let i(m) = -m**2 + 5*m. Let s be i(6). Is x smaller than s?
False
Let n(p) = -7*p - 30. Let x be n(-4). Is x >= -1/8?
False
Suppose -5*w = -3*r - 86, r + 0*r = -w + 14. Are w and 17 nonequal?
True
Let k(a) = -a**3 - 51. Let z be k(0). Let q = -2908/57 - z. Let s = -20/57 - q. Which is smaller: s or -0.04?
s
Let m = 0.04 + 4.96. Let o = m + -6. Which is bigger: -10 or o?
o
Suppose 0 = -0*q - q. Let c be (-1)/2*(-9 - -1). Suppose -2*w = -q*w - c. Which is smaller: 3 or w?
w
Let z(s) = -s + 9. Let g be z(8). Let b be 1/3*(g + -3). Let y = -0.2 + 0.3. Is y <= b?
False
Let l be 12 + -4 + 0 + 0. Suppose 7*w - l*w - 5 = 0. Which is smaller: -2 or w?
w
Let r(s) = s**3 - 5*s**2 + 5*s - 1. Suppose -4*m + 12 = a, -2*a - a + 2*m + 8 = 0. Let h be r(a). Is h less than or equal to 13/3?
True
Let m(i) be the first derivative of -i**3/3 + 7*i**2/2 + 1. Let f = -12 - -19. Let n be m(f). Which is smaller: n or -3/7?
-3/7
Let z(l) = l + 13. Let w be z(-10). Which is bigger: w or 4?
4
Let m(t) = -t**3 - t**2 + 4*t - 1. Let i be m(-3). Suppose -2*y + 6*w = 4*w - 8, -i*y + w = -12. Let b = -1 - -2. Which is bigger: b or y?
y
Let s = -0.3 + 0.2. Let o = -1.8 - -13.8. Let f = -11.9 + o. Is f equal to s?
False
Suppose 0 = 4*z - 8, -4*u - 2*z + 42 = 3*z. Is u >= 11?
False
Let l = 283.97 + -275. Let n = 0.03 + l. Let j = -8.7 + n. Is 1/3 smaller than j?
False
Let f(x) = 17*x - 2. Let k be f(-14). Let w = k - -2164/9. Is w at least 0?
True
Suppose -14 - 1 = -5*x. Suppose -x*t + 2*j - 4*j + 4 = 0, -t + j - 2 = 0. Let l be -1 + (-1 - -3)/1. Is l less than t?
False
Let d = 5 + 4. Let h be (4/(-12))/(2/d). Do 0 and h have the same value?
False
Let j(a) = a**3 - a**2 - 2*a. Let v be j(0). Which is bigger: -3/8 or v?
v
Let q = -11595/11 - -1051. Is q >= -2?
False
Let w = 1 + -1. Suppose -5*h + 27 = -23. Suppose -2*u + 7*u = h. Is u <= w?
False
Let v(b) = -3*b**3 + 9*b**2 - 8*b - 11. Let p(h) = -h**3 + h**2 - 1. Let x(o) = 4*p(o) - v(o). Let u be x(-6). Are -5 and u equal?
True
Suppose -5*o + 11 = 2*u - u, -o - 5*u - 17 = 0. Suppose 0 = -2*c + o + 5. Suppose m - 6 + 3 = 0. Which is greater: c or m?
c
Let h(t) = -1. Let r(z) = -2*z + 5. Let u(l) = -5*h(l) - r(l). Let n be u(-2). Let o be (-12)/(-112) - 3/n. Which is greater: o or 1?
1
Let j(k) = 2*k + 17. Let m be j(-8). Is m <= 1?
True
Let j = -2/23 - -31/92. Let x be ((-4)/16)/(1/(-4)). Let m be 5/4 - x/4. Is m != j?
True
Suppose 5*y + 5*o - 20 = 0, 3*o + 16 = 4*y + 4*o. Suppose 4*l + 24 - 4 = 0. Let s = l + y. Which is smaller: -3/2 or s?
-3/2
Let r = -15 + 21. Suppose -r*c + 3 = -5*c. Which is bigger: 1 or c?
c
Let x = 8.9 - -0.1. Let r = 10.7 - x. Is -1 at least as big as r?
False
Suppose -3*r - 4 = -10. Suppose 1 + r = d. Let h be 10/8 + (-2)/(-8). Is d less than h?
False
Let p be 494/(-185) + 10/5. Let n = 10/37 + p. Let g = 12 + -12. Is g greater than n?
True
Suppose -4*f = 4*j - 216, -3*j = 5*f - 90 - 72. Is j greater than 2/9?
True
Let x = 107 - 853/8. Suppose -1 = g - 0. Which is bigger: x or g?
x
Let p be ((-20)/(-2055))/(4/6). Let d = -980810547/685 + 1431841. Let r = p + d. Is 1 equal to r?
False
Suppose 4 = w + o, 3*w = o + 7 + 13. Suppose 2*u - 25 = -5*f + w*u, -f + 6 = -u. Is 1/23 greater than or equal to f?
False
Let a be 699/6 + 1/2. Suppose 22 = -5*y + a. Do y and 19 have the same value?
True
Let t = 1.72 - -0.28. Which is smaller: -0.1 or t?
-0.1
Let o = -8.11 - 0.89. Is o less than 0.2?
True
Let u = -141/28 - -30/7. Suppose 2*p + h - 7 = 7*p, h - 5 = 3*p. Which is greater: p or u?
u
Let y be (3*(-4)/18)/(6/57). Do y and -6 have the same value?
False
Let b = 10 + -6. Suppose -b*f + 10 = -3*d - 5, -4*d - 20 = -f. Suppose -2*z = 2, f = 3*x - x - 5*z - 3. Which is bigger: -3/4 or x?
-3/4
Suppose 31 = 5*u + 11. Let x be 6/u*(-2)/(-3). Which is smaller: -2 or x?
-2
Suppose 3*q - 2*x + 4 = 0, 4*q + 0*x + 3*x + 28 = 0. Is -40/9 at least q?
False
Let o = -1368 + 4162/3. Which is smaller: 19 or o?
19
Let t(a) be the second derivative of -a**4/12 + a**3/6 + 51*a**2/2 + 2*a. Let g be t(0). Let n = g - 305/6. Which is greater: n or 1?
1
Let q = 25 + -21. Let g = -99.06 - -103. Let r = g - q. Is -0.1 smaller than r?
True
Suppose -f + 18 = x, -3*f - 14*x = -16*x - 49. Which is bigger: f or -0.3?
f
Suppose 0*h - 4*h = -12. Let c = 5 + h. Let k be (-2)/c*(0 - 2). Is k at most as big as 1?
True
Suppose -5*m + 74 = -121. Suppose -p - s - s = 0, -m = -4*p + 5*s. Let x be 2*(-2)/p*3. Which is greater: x or -1?
-1
Let t = 2 + -3. Suppose -2*k = -3*k. Which is bigger: t or k?
k
Let w = -587/30 + 59/3. Which is smaller: w or -1?
-1
Let b be 83*2/174 - 1. Let l = b + 202/609. Is l bigger than -0.3?
True
Let c = 5 + -27. Let d = -13 - c. Is d >= 9?
True
Suppose 0*i + 44 = 4*i. Suppose -1 = -5*h - y - 10, -i = 4*h - 3*y. Let b be 1 - (-1 - 0 - -5). Is h greater than b?
True
Let i(p) = 5*p - 16. Let a be i(4). Is a at most 4?
True
Let b = -1/26 - -20/13. Are 2 and b non-equal?
True
Let b be (9/(-108))/((-6)/(-16)). Is 6 >= b?
True
Suppose 0 = 5*k - 5, 3*p + 0*k + 28 = k. Which is smaller: p or -8?
p
Let i be (-2)/(-12) - 350/588. Which is bigger: 0 or i?
0
Let z be (-1)/(((-2)/(-1))/2). Which is greater: 4/25 or z?
4/25
Suppose 0 = 4*a, 0*a + 2*a = -3*i + 6. Are 12/5 and i nonequal?
True
Let t be ((-1)/(-6)*20)/((-1)/3). Which is smaller: 1 or t?
t
Suppose 2*o - 4*o = 6. Let h be 2/(o/(-1) + -2). Let j be (-2)/8 + h/8. Is j equal to 1/4?
False
Suppose u + 2*m - 6*m + 17 = 0, -6 = 3*u - 3*m. Suppose -56 = 3*q - 68. Does q = u?
False
Let j(z) be the first derivative of -z**2/2 - 11*z + 2. Let g be j(-7). Which is smaller: -6 or g?
-6
Let p be (4/(-3) + 2)/((-12)/126). Does -1 = p?
False
Let q(a) = 3*a - 1. Let n be q(1). Suppose 0*c = n*c. Let r = 3 + c. Are r and 3 non-equal?
False
Let f = 8 + -5. Let q(j) be the third derivative of j**6/120 - j**5/20 + j**4/12 + j**3/3 + 2*j**2. Let m be q(2). Which is bigger: f or m?
f
Let l(r) = r**2 - 8*r - 11. Let f be l(9). Which is smaller: f or -9?
-9
Let y be (3 + (-30)/9)*(-6)/421. Which is smaller: y or -1?
-1
Let q = 97.92 + -98. Which is smaller: q or 0.1?
q
Let m be (-2)/(-7) + (-120)/322. Suppose -3*f - 4*y - 5 = 5, -3*f - 2 = 2*y. Suppose -f*j = -n - 1, 0 = -2*j + 2*n - 0*n + 2. Which is smaller: j or m?
m
Suppose -s - 3*s - 12 = 0. Let g be (2/s)/(2/3). Let u = 567 + -2843/5. Is u < g?
True
Suppose -2*s - 4 = -0. Let x be s/(-72) + (-2)/(-9). Suppose -8*b - 8 = -4*b. Are b and x nonequal?
True
Suppose 0 = -3*i + 2*w + 1 + 16, 2*i - 4*w - 6 = 0. Suppose -1 = q, 3*t = -3*q + 5*q - i. Which is bigger: 0 or t?
0
Suppose 28 = 23*j - 19*j. Do -4 and j have the same value?
False
Let p be 15800/6*(9 - 0). Let a = p - 165612/7. Let n = a + -41. Is 1 at most as big as n?
False
Let i = 34 - 17. Let c = -17.04 + i. Which is smaller: 2/3 or c?
c
Let b(r) = -r**3 - 9*r**2 + 7. Let z be b(-9). Let w be 11 + (2 + -4 - 0). Suppose -35 = 4*f - w*f. Is z greater than f?
False
Let c = -10 - -5. Let v = -8 - c. Let j = 1 + v. Is j less than 0?
True
Suppose -4*z + 61 = -3*p, 3*p + 11 + 24 = 2*z. Which is smaller: z or 12?
12
Suppose 5*a - 33 = i, -1 = -4*a - 5*i + 8. Let z = a + 0. Let j be 22/(-20) + 3/z. Is -1 less than or equal to j?
True
Let x = 21 + -19. Suppose 22 + x = 4*j. Which is smaller: 5 or j?
5
Let z be (-2)/(-6) + 7/(-18). Do -1 and z have the same value?
False
Let l = 6 - 5.7. Let b = 357 + -352. Which is bigger: b or l?
b
Let r be (-3 - (0 - (5 - 3))) + -1. Suppose 4*d - 6 = -t, -3*t + 5*d = -0 - 1. Suppose -1 = -t*z - 3. Which is smaller: z or r?
r
Let o be -3*(-4)/(-6) + 5. Suppose -2*r = -o*r. Which is greater: 1/4 or r?
1/4
Suppose -5*r = -18 - 12. Suppose -4*i - 1 = 11. Let w = r + i. Which is smaller: w or 4?
w
Let a(