 -2*h - 4 = 2*h + 4*b, -u*h - 2*b - 17 = 0. Do -5 and h have the same value?
True
Let t = 0 + -2. Let v = -1 + 1. Which is greater: t or v?
v
Let o(h) = 13*h**2 - 2*h - 1. Let y be o(5). Let g = y + -5340/17. Suppose -d + 2*d = 0. Which is greater: g or d?
d
Suppose -1 = -3*r - p + 7, -r - 2*p + 11 = 0. Let k be (2 + r + -3)/2. Which is smaller: -1/3 or k?
-1/3
Suppose 2*n = f + 5 - 4, -19 = -2*n - 5*f. Suppose -n*q + 3*s - 7*s + 6 = 0, 16 = -4*q - s. Is -5 >= q?
True
Suppose 4*j + 2*o - 7*o + 5 = 0, -3*j = 2*o + 21. Which is bigger: -9/2 or j?
-9/2
Let j = -2 + 2. Let x(w) = -w**2 + w - 1. Let u be x(j). Let d be (3/(-2) - u)*-2. Is d bigger than 1?
False
Let j(l) = l**3 - 17*l**2 - 17*l - 19. Let z be j(18). Is 6 at least as big as z?
True
Let c = 0 - 0. Let u be -1 + -1 - (-42)/28. Which is bigger: c or u?
c
Let v be (-3 - -5) + (-8)/(-2). Let u = v + -12. Let n be (-4)/u*-3 - 0. Is n greater than or equal to -3?
True
Let l(a) = -3*a**3 + 2*a**2 + 2*a. Let o be l(2). Let c be (22/(-55))/(o/10). Let n be 21/(-27) + 4/(-18). Does n = c?
False
Let f be 8/(3*2/(-129)). Let v = f + 1546/9. Which is smaller: -2 or v?
-2
Let u be (6/6)/((-13)/(-3)). Which is bigger: u or 1?
1
Let m = -0.02 + 3.02. Let k = 0.1 + -0.2. Is k at most m?
True
Suppose 2*k - 10 = 5*p, 2*k - 10 + 0 = -3*p. Suppose -8*g + 3*g + k = 0. Let u = 34 - 33. Is u less than or equal to g?
True
Suppose 2*n + 0*n + 60 = 0. Let b be 1/2 - 3/n. Suppose 0 = j + 4*j - 5. Is j at most as big as b?
False
Let t = 28 + -33. Are t and -5 nonequal?
False
Let z(k) = k**3 - 13*k**2 + k - 12. Let f be z(13). Suppose 0 = 3*b + 2*a - 6, 0*b - 10 = -5*b + a. Let v be b/(-24) + 2/6. Is f less than or equal to v?
False
Let p be (3/(-2))/((-5)/(-10)). Let t be (2 - p)/(1/(-3)). Let u = t + 43/3. Is -2 >= u?
False
Suppose 3*f + 294 = a - 4, -2*f = a + 197. Which is smaller: -100 or f?
-100
Let r be (-24)/(-18) + 2/3. Let w be 0/r - 8/(-32). Which is smaller: -1 or w?
-1
Let d be 8/14 + (2/(-7) - 0). Which is bigger: 10 or d?
10
Suppose 7*y - 4*y - 29 = 4*s, 5*y - 2*s - 39 = 0. Which is smaller: -1 or y?
-1
Let w be 1/(-74)*(4 - 0). Which is bigger: -2 or w?
w
Let m = 15/4 - 17/4. Do -0.08 and m have the same value?
False
Let m be 2 - (41/15 + -1). Is m less than 1?
True
Suppose d = -2*h + 1, -2*d = -4*d + 6. Is 2/37 != h?
True
Let c = -1 - 0. Let x = c + 2. Does x = 3/2?
False
Suppose 0 = -5*q + 13 - 53. Let p = 7 + q. Is p <= 0?
True
Let k be (4/6)/((-1)/3). Let i = -9 + 9.8. Let h = -0.6 + i. Is h less than k?
False
Suppose -2*b = 2*f + 3*f + 12, 5*f - 4*b + 6 = 0. Let k be 14 - 17 - f/4. Which is greater: k or -2?
-2
Let v = 61771/225 + -12944/25. Let g = v - -243. Is g > 0?
False
Let r(f) = -f**3 + 6*f**2 + 2*f - 14. Let h be r(6). Which is smaller: h or -1/2?
h
Let z = 28 + -18. Which is smaller: z or 2?
2
Suppose -5*c + 9 = -2*c. Let v(r) = -r + 3. Let b be v(c). Suppose -2*m + 3 + 3 = b. Is m > 1?
True
Let l(o) = o**2 - 6*o - 4. Let r be l(7). Let f = 0 - r. Which is bigger: f or -4?
f
Let y(v) = -v**2 - 4*v. Let s be y(-2). Suppose -3*o + 7*o = s*q + 24, o = -5*q. Let h = o + -3. Which is greater: h or 1?
h
Let y = -1116 + 34602/31. Is 1/2 bigger than y?
True
Let l = -1.05 + 0.05. Is l != -2/3?
True
Let u be (-12)/(-5) + (-3)/(-5). Suppose w + 1 = u. Which is bigger: w or 1?
w
Let t = 3.03 - 0.03. Suppose -5*m + 7 = -13, -5*a - 39 = 4*m. Let o = -21/2 - a. Which is smaller: t or o?
o
Let d = 2/53 - -41/318. Let x(q) = -q**3 - 6*q**2 - 2*q - 12. Let z be (-1 + 0 - 0) + -5. Let r be x(z). Which is bigger: d or r?
d
Let x be 6/(-27) - 2/(-9). Suppose x*k + 4*k + 4 = 0. Are k and -4/7 equal?
False
Suppose 5*t - k + 9 + 15 = 0, -24 = 3*t - 3*k. Let r be ((-2)/t)/((-5)/26). Let f = -101/35 - r. Is f at least as big as 1/4?
False
Let g(v) = -v**2 - 6*v + 6. Let j be g(-6). Let o = -1 + j. Suppose c = 4*c - 4*b - 11, -4*b - 13 = -o*c. Does 1/7 = c?
False
Let x be 15 + -16 - (-20)/18. Suppose -3 + 4 = -q. Is x at most as big as q?
False
Let i(b) = 4*b**2 + 5*b - 6. Let t be i(-7). Suppose 4*k + 93 = -3*v - 0*v, -4*v + 5*k = t. Let s be 0 + 0 - (-10)/v. Which is smaller: 1/3 or s?
s
Let w be (3/1)/(-9)*-9. Suppose -t + 1 = -w*o, -o + 3*t = 4*o - 1. Do o and 2/19 have the same value?
False
Let n(o) = -o + 3. Let m be n(4). Let c(x) = 20*x. Let v be c(m). Let f be ((-4)/10)/(8/v). Is -2/7 greater than f?
False
Let h be ((-4)/6)/(12/18). Suppose u - 2*k = 2*k + 19, -24 = -u + 5*k. Is u <= h?
True
Suppose t - 5*h = -h - 20, -4*h + 20 = t. Is 2/25 equal to t?
False
Let d(j) be the second derivative of -j**4/12 - 2*j**3/3 - 3*j**2/2 + 2*j. Let w be d(-2). Which is smaller: 2/17 or w?
2/17
Let o(m) = m**3 + 6*m**2 + 4*m + 1. Let g be o(-5). Suppose 0 = -z + 2*z - g. Let t be (-4)/z - (-2)/9. Is -1 less than or equal to t?
True
Let r = -0.226 + 0.026. Which is bigger: r or 3/10?
3/10
Let c be (-2 + 22/12)/(-1). Let q = -241/1044 - -1/116. Let l = q - 8/45. Is c bigger than l?
True
Let b be ((-15)/9)/((-3)/9). Suppose -3*l + b*l + 16 = 0. Let k = l - -5. Which is smaller: -2 or k?
k
Let c(h) = -h**2 + 10*h + 8. Let p be c(9). Which is bigger: p or 0?
p
Suppose -2*j + 5*r + 12 = 4, 0 = -4*j + 5*r + 6. Are -2 and j unequal?
True
Let k be (16/(-32))/(1/6). Is -4 < k?
True
Let g(v) = 21*v. Let r be g(1). Let b(w) = -w**3 + 4*w**2 + 3*w - 6. Let p be b(4). Suppose 5*h + p = r. Which is bigger: h or 4?
4
Suppose 3*r - 22 = -112. Let u be (r/8)/(7/(-4)). Let j = -61/35 + u. Is j < 0?
False
Let d = 29 - 30. Which is smaller: d or -2/97?
d
Suppose 4*v - 2*r - 63 = 3*r, -4*v + r = -67. Do v and 16 have the same value?
False
Let g(i) = 3*i + 17. Let b be g(-5). Which is greater: 1 or b?
b
Let s be 8/20 - 6/15. Suppose 2 - 6 = -g - n, s = -5*g - 2*n + 11. Is 1/8 at most as big as g?
True
Let c = 0.01 + 0.09. Is 15 smaller than c?
False
Let m be (2/2)/4 + 0. Let q = -0.27 - -0.37. Which is greater: m or q?
m
Let t(c) = 3*c**2 - 3*c + 2. Let g be t(2). Let a be (4/g)/((-2)/(-20)). Is 6 at least as big as a?
True
Let z(b) = -b**3 + b**2 - 3*b + b**2 + 10*b. Let r be z(4). Let s = 2 + -2.1. Is s <= r?
False
Let u = -989/273 - -25/7. Which is smaller: 2/5 or u?
u
Let c = 18 - 33. Which is smaller: c or -7?
c
Let a be ((-55)/(-33))/((-3)/2). Suppose -y = -3*y - 2. Are a and y equal?
False
Suppose 0 = -f - 13. Let o = 29/2 + f. Which is greater: o or 1?
o
Let a = -13.8 + 4. Let c = -10 - a. Which is greater: c or -1?
c
Let x = -7.07 + 7. Let r = x + 0.17. Which is smaller: -2/7 or r?
-2/7
Let j(w) = -2*w**3 - 3*w**2 - w - 1. Let u be j(-2). Suppose h + u = 6*h. Let k = 176/255 - 2/85. Is k less than or equal to h?
True
Let j = -25/36 - -4/9. Let w = 2.7 - 8.4. Let z = w - -6. Is z >= j?
True
Suppose 3*w = -2*l + l - 5, -w - 3 = -l. Let f be 3*((-179)/45 - -4). Which is greater: l or f?
l
Let c = 4337/9 - 92309/198. Let t = c + -222/11. Are -4 and t nonequal?
True
Let j(n) = -n**2 - 4*n + 3. Let l be j(-3). Suppose -39 = -3*x + l. Suppose 3*u + 3 = 4*t, 4*u = -4*t + 3*u + x. Is t <= 3?
True
Let w be 2/(-5) - 6/10. Which is greater: w or -2?
w
Suppose -2*g + 5*u + 1 = -9, 4*g = -5*u - 40. Suppose -6 + 42 = -6*r. Are g and r equal?
False
Let y(l) = 6*l**2 + l - 1. Let r be y(1). Let x = 9/2 - r. Is x >= -1?
False
Suppose 0 = d + 2*d + 6. Let j = 0.04 - 5.04. Let k = 5.1 + j. Is d >= k?
False
Let p be 4/(-342)*1/(-2). Let c = 227/171 + p. Which is greater: 0 or c?
c
Let i = 18 + -16. Which is greater: i or -3?
i
Let s = -0.03 - 0.07. Let w = 2 - 1.8. Let n = 1.8 + w. Are s and n nonequal?
True
Let p = 0 + 2. Suppose -3*v + p*b = -7, 0*b - 20 = -5*v + 5*b. Let x be (4/(-20))/((-8)/(-10)). Is v greater than or equal to x?
False
Let x = 138 + -93. Let p = -43.94 + x. Let n = p + -0.06. Which is bigger: 2 or n?
2
Suppose 0 = -x + 4*x. Let j = 10 - -13. Let h = 24 - j. Which is greater: x or h?
h
Let z(b) = 3*b + 1. Let i be z(1). Let l = i - 9. Are -3 and l nonequal?
True
Suppose 0 = -y - y. Which is greater: 2/67 or y?
2/67
Let m = 17 - 24. Which is bigger: m or -2?
-2
Let a = 12 + -7. Suppose -5*g - 13 = -q, -3*q + 5*q + a*g = -4. Is q at most as big as 2?
False
Let m = -39635 + 3765278/95. Let x = 2/19 - m. Is -1 at most as big as x?
True
Let j = -3 + 2. Let f = -24 + 23. Is f < j?
False
Let h = -12 + 5. Let z = -6.8 - h. Is -0.1 >