pose 3 = 4*k - h - 4, -4*k + 13 = 5*h. Let s be (3/4)/(k - 5). Which is bigger: 0 or s?
0
Suppose -i - 2*j - j + 17 = 0, 0 = 2*i - j + 1. Let b be -1 + (i/(-1))/(-2). Let w = -346/5 - -69. Do w and b have the same value?
False
Suppose 4*x - 2 = -2*a - 6, 5*x - 3*a + 27 = 0. Let o be (-6)/(1 + 1) + x. Let p = 7 + o. Do p and 2 have different values?
True
Suppose -34*l + 40*l - 6 = 0. Is l greater than or equal to 1?
True
Let f be (4 + -6)/(1/(-2)). Let r be 5*56/(-68) + f. Which is greater: -1 or r?
r
Suppose -5*s + 8 = -s. Let g be (s/(0 + 12))/3. Are g and 0 nonequal?
True
Let t be (-31 + 23)/(2/(2/(-3))). Let j be (-3)/((-27)/(-2))*-15. Let n = j - t. Is n smaller than 0.4?
False
Suppose -5*d + 4*d - 2 = 0. Let p be -2 + 0 + 398/(-80). Let i = p + 43/8. Are d and i equal?
False
Let j be 150/280 + 1/(-4). Suppose -6 = -4*m - 3*c - 3, 0 = -3*m + c - 1. Is m >= j?
False
Let s(u) = -u - 3. Let n be s(-6). Suppose 4*o = -4*g - 8, 2*g = g + 5*o + 16. Suppose 2*i + g = n*i. Is -2/7 greater than or equal to i?
False
Let u(s) = -2*s - 12. Let w be u(-8). Suppose -a - 5*j = w*a - 25, -24 = -4*a - 5*j. Suppose 2 = -4*h - 2*i, -3*i - 2*i - 17 = 4*h. Which is bigger: a or h?
h
Let j = -62/23 + 1210/483. Let p be (13/12)/((-35)/10). Let x = j + p. Is x < 0?
True
Let w = 0.055 - 0.055. Which is greater: 21 or w?
21
Let i be 1*(2/6 - 1). Suppose 3*d = 2*d + 24. Let r be d/(-27) + 4/18. Is r greater than i?
False
Let r = -11.9 + 12. Which is greater: -0.1 or r?
r
Suppose g + 5 = q, 7*g = -5*q + 2*g - 5. Suppose 0 = 5*b + 5*j + 10, b = 5*b - q*j + 2. Let l be (-65)/45 - (-1 - 0). Is b < l?
True
Let q = 2490/11 - 226. Which is greater: 1 or q?
1
Let s(l) = l**3 + 4*l**2 + 2*l - 1. Let r be s(-2). Let c = r - 6. Let j be (2 - 2)/(c - -2). Is j smaller than -1?
False
Let q = -0.124 + 0.074. Let t = 5 + -4.9. Is t >= q?
True
Let t(o) = -2*o - 27. Let b be t(-13). Is 3/11 smaller than b?
False
Let p = 202 - 1408/7. Are 5/6 and p unequal?
True
Let z be ((-133)/6)/(-7) + -3. Let a = -1/3 - z. Let m = 0.1 - 1.1. Is m smaller than a?
True
Let y = 9.2 + -3.2. Which is smaller: 0.1 or y?
0.1
Let g = 53 + -54. Let r = -13748/9 - -1526. Which is smaller: r or g?
r
Let h = -8.9 - -10. Let r = 1 - h. Is r at least as big as 1?
False
Let s = -63 - 257. Let p be (-4)/(-22) - s/55. Let i be 4/12 + 4/p. Are i and 1/6 non-equal?
True
Let p = 213/248 - 601/217. Let q = p - -13/8. Is q != -0.2?
True
Let r be 0 - (1 - 2/1). Suppose 0 = 2*o - 5*t + 2, 0 = 3*o + 8*t - 3*t - 22. Let n be (-48)/26 + -2 + o. Is n >= r?
False
Let s(n) = -n**3 - 4*n**2 - 4*n - 1. Let y be s(-3). Suppose -v + 2*v - y = 0. Suppose 5 = -5*p + b - v*b, -20 = -p + 4*b. Which is greater: p or -1?
p
Let m = -51 + 44. Let v(x) be the second derivative of -x**4/12 - 4*x**3/3 - 3*x**2 - 2*x. Let j be v(m). Is 0 at least as big as j?
False
Let y(d) = d**2 + 4*d - 4. Let v(z) be the third derivative of -z**5/60 + z**4/24 + z**3/6 + 3*z**2. Let m be v(3). Let c be y(m). Is -2 at least c?
False
Let h be ((-18)/2)/((-1)/1). Suppose -3*o + 12 + h = 0. Let p = -43/6 + o. Which is smaller: p or 0?
p
Let k(d) = -d**3 - d**2 - 11. Let n be k(0). Which is bigger: n or -10?
-10
Suppose 3*y = 2*y + 4*y. Which is smaller: -3/11 or y?
-3/11
Let v = 0.3 - 1.3. Is 2 <= v?
False
Suppose 0 = -2*j - 9 - 33. Let f(s) = s + 1. Let t be f(6). Let h be t/j - 2/3. Which is smaller: 0 or h?
h
Suppose -t = -5*f - 10 - 6, -4*t = 4*f - 112. Suppose 6*c = -2*d + c + 23, -d = -5*c + t. Are -1/7 and d nonequal?
True
Let k = -4 - -9. Let n = 1 - k. Let m(i) = -2*i + 7. Let v be m(5). Which is smaller: v or n?
n
Let r be 2/(-10)*-2 + 0. Let g = 0 + 1. Let d = -3 + g. Is r at most as big as d?
False
Let d(o) = -o**3 - o**2 - o. Let g(x) = 5*x**3 + 4*x**2 + 3*x + 1. Let c(t) = -4*d(t) - g(t). Let q be c(1). Suppose -20*a = -25*a. Which is bigger: q or a?
a
Let j = 17 - 12. Let b = 9 - j. Let f = b - 5. Which is smaller: 0 or f?
f
Let i be -10 + 7 + (-9 - -1)/(-2). Is -1/12 greater than i?
False
Suppose -2*n - 1 = -11. Let a = 11 - n. Let j be 2/((-3)/(9/a)). Is j at most -1?
True
Let u(p) = p + 2. Let l be u(-3). Let r be 0 - (-3)/((-1)/l). Is 0 > r?
False
Let t = -877.82 + 887. Let g = -0.18 + t. Is 1/3 > g?
False
Let c = -38 + 20. Is -20 != c?
True
Suppose -5 = -5*p + 15. Which is greater: p or 5/2?
p
Let j be 3/(-2)*(-4 - (-14)/3). Which is smaller: j or 4?
j
Let x be 8/12 - (-4)/(-6). Which is smaller: x or 1/4?
x
Let y be 707/742*2/32. Let z = y - 3/106. Which is bigger: z or 1?
1
Let l(u) be the first derivative of -u**3/3 + 3*u**2/2 - u + 1. Let j be l(3). Is j >= -2?
True
Let d = 17 + -17. Are -3 and d non-equal?
True
Let x be (24/(-40))/((-2)/10). Suppose -1 = n - x. Is n less than or equal to 2/3?
False
Let k be (33/55)/(1/5). Let h be (2/k)/(-1*7). Are h and 0 unequal?
True
Let q = 0.048 - 1.048. Is -23 != q?
True
Let x be 6 - 6 - (-5 + -1). Suppose -o - 1 = -x. Suppose -6 = -d - o. Do d and -1 have the same value?
False
Let s be (-4)/(-2 - -6) + (-1 - -3). Is s equal to 6/5?
False
Suppose 6*p = 3*p - 3. Let o be (5/(-56) + 2/(-7))*4. Is o at most as big as p?
True
Let y be (-10)/(-1 + (-4)/(-2)). Let g = y - -61/6. Let t be -4 - (-1 + -2)/(-4 - -5). Which is greater: g or t?
g
Let o be ((-2)/(-10))/((-3)/6). Let k be (1 + 2)*8/6. Suppose -3*c - n = 3*n - 5, 4*n + k = 0. Is c bigger than o?
True
Let y = -5.4 + 6.4. Let m = -1.96 + -0.04. Let a = 1 + m. Is a at least y?
False
Let x be -4 + 0 - 0/(-2 - -7). Is x bigger than -9/2?
True
Let b be (9/(-6) - 0)*-2. Suppose -15 = -n + 5*n + b*s, 20 = -4*s. Let c be -3 - 1/(2 + -1). Is n bigger than c?
True
Let v be (0 + 1)/(1/3). Let p = 124 + -122. Is p < v?
True
Let s be (-3 - -2)/(3/39). Let z(b) = b**2 + 14*b + 10. Let h be z(s). Which is greater: -5 or h?
h
Let g be (0 - 531)*(0 + 3). Let l be (-2)/(-4) - g/(-12). Let q = l + 133. Which is smaller: 1 or q?
q
Let o = -17 + 16. Is 1/15 less than o?
False
Suppose 4*z + 5*u + 29 = 0, 2*u + 2*u + 15 = 5*z. Let x be 0*z/6*2. Let r be x + (-1 - 3/(-15)). Are -1 and r nonequal?
True
Suppose 3*z - 32 = -11. Which is bigger: 5 or z?
z
Suppose -12 = 5*v - 7. Which is smaller: v or -18?
-18
Let j(s) = 2*s + 23. Let p be j(-12). Let k be (-2)/4*(-12)/(-9). Which is smaller: k or p?
p
Let z = -0.03 + 2.43. Let k = 0.4 - z. Is 2 not equal to k?
True
Let r = -0.17 - -0.17. Let x = 185613/20 - 9285. Let u = x + 23/5. Is u >= r?
True
Suppose 0 = 5*b - 5*z + 15, -15 = -9*z + 4*z. Let y be 1/(-2)*(-51)/39. Let w = 2/13 - y. Which is greater: b or w?
b
Let p = -4 + 7. Suppose -4*w = -3*t - 6*w - 5, 5*t = p*w - 2. Let n be 0/(2 + 0 + t). Which is bigger: n or 1?
1
Let g(t) = -t**2 - 4*t - 1. Suppose -5*o - 2*a = -0*o - 6, 0 = -5*o + 2*a + 14. Let c be (o + 0)/(2/(-3)). Let d be g(c). Is 1 at least d?
False
Suppose 3*j + 3*s = 2*j - 22, 0 = 2*j - 3*s + 8. Let i be (18/(-30))/((-4)/j). Which is greater: -2 or i?
i
Let t be ((-2)/(-22))/((-2)/8). Which is bigger: -1 or t?
t
Let h = 1.6 - 2. Let g = h + 0.5. Is -3 > g?
False
Let h(t) = t**2 + 32*t - 37. Let g be h(-33). Let q be 2 + -1 + 2 + -7. Is g not equal to q?
False
Let b = 11/138 + 2/23. Let p = -8 - -3.8. Let v = 4 + p. Is b >= v?
True
Suppose -4*w = -3*w. Let j be 9/(-12) + (-22)/(-40). Which is smaller: j or w?
j
Let v = 69.9 + -67. Let o = -3 + v. Which is smaller: -2 or o?
-2
Let z be (1 - 1) + -1 + 8. Let u be z/2 + (-3)/(-6). Let n(b) = -b + 2. Let v be n(u). Is -2 at least as big as v?
True
Suppose 5*q = -6 - 9. Let s = q + 1. Do 0 and s have the same value?
False
Let x be 9/15 - 2/(-5). Let i be 1/(2/(-1 - -5)). Suppose 3*g + 5 = v, -i*g = 4*v - 4 - 16. Which is bigger: x or g?
x
Suppose -82 = -7*u - 12. Which is bigger: u or 11?
11
Let u be (-1)/1 + (-18)/24. Is u bigger than -1?
False
Let w be (-9)/28 - (-24)/32. Do 0 and w have the same value?
False
Let c = 5.3 - 4.37. Let u = c + 0.07. Which is greater: u or -1?
u
Let t = -4 - -7. Suppose 2*p + 22 = 2*r - 2*p, -t*r + 23 = -p. Let q = -5 + r. Is q greater than or equal to 1?
True
Let d = -56 + 55. Do d and -1/17 have different values?
True
Suppose 0 = 3*l - 21 - 12. Which is greater: 10 or l?
l
Let i = 7 - 3. Let k be i/14 - 173/(-7). Let t = k - 176/7. Is t smaller than 0?
True
Let u = -3/43 - 123/86. Which is smaller: u or -3?
-3
Let h = -402