 = -2*o - 3*j, 4*j + 11 + 93 = 4*o. Let c be ((-2)/o)/(4/(-8)). Which is bigger: -1 or c?
c
Let n = 103 - 115. Which is bigger: n or -7?
-7
Let p be (4/(-14) - 0)*1. Let o be 3/6 + (-2)/12. Is o bigger than p?
True
Let q(g) = -g**2 - g - 3. Suppose -5*f = -6*f. Let n be q(f). Let s = -10 + 7. Does s = n?
True
Let m = -136872 + 6979745/51. Let y = m + 173/12. Let n = y + 10/17. Which is greater: n or 2?
2
Suppose 2*v + 6 = 5*n, -5*v + v = -8. Is -4 < n?
True
Suppose -4*d = -4*g - 220, -5*d = -4*g - 119 - 152. Let h be -3*(-2 + d/27). Let v be (0 + 1)*(1 - 0). Which is smaller: h or v?
h
Let y = -9/140 + 7/20. Let i = 2 + -1. Is y < i?
True
Let m = 32 + 10. Suppose m = -h + 43. Is 2/5 at least as big as h?
False
Let k = -18853/45 - -419. Is k at most 0?
False
Suppose 0 = 3*z + 3. Let f be ((1 - -1)*z)/(-2). Is f >= 2?
False
Let j(b) be the first derivative of b**3/3 + 3*b**2 - b - 1. Let f be j(-6). Let t be (-1 + -1 - -5)*(-24)/120. Is t less than or equal to f?
False
Let c(w) be the second derivative of -w**5/2 - w**4/6 + w**3/3 + w**2/2 - 2*w. Let y be c(-2). Let i = y - 344/5. Which is smaller: 1 or i?
i
Let m = -488 + 17078/35. Which is smaller: 1 or m?
m
Suppose -4*u + 12 = 4*h - 0*u, -u = -2*h. Suppose 2*p + 16 = 4*a, -5*a + 4*p + 2 = -7*a. Which is greater: h or a?
a
Let m = -5 + 9. Suppose m*b + 36 = -4*w - 0*b, 5 = 5*b. Let v be 4/(-10) - (-16)/w. Which is bigger: v or -1?
-1
Let u = -23 - -23.04. Which is bigger: u or -2?
u
Let x be ((-1)/(-3))/(3/27). Let g = -3 + x. Let b be (-4)/10 + (-5)/(-25). Which is greater: g or b?
g
Let u = -14.78 - 0.22. Let n = u - -5. Let o = n - -10. Is -0.1 < o?
True
Let t = -8 - -2. Let i = -5 - t. Let b = i + -1. Which is bigger: b or -2?
b
Let p = -1 - -9. Let m = p + -11. Which is smaller: -2 or m?
m
Let v(j) = -j**2 - 4*j + 2. Suppose -3*i = 2*s + 16, -5*s - 4 - 2 = -i. Let x be v(i). Suppose 2*a = -x*a - 20. Which is bigger: -6 or a?
a
Let h = -77 - -75. Are h and -3 nonequal?
True
Suppose -3 - 1 = -2*y. Let h be (-5 + y)/(-3) + -1. Which is bigger: 1/4 or h?
1/4
Let f = 858/765737 + -6468374386/11595555391. Let a = 204/797 + f. Let k = a - -3/19. Which is bigger: -1 or k?
k
Suppose 0 = 3*r + r. Suppose -u + 4 = -s, -5*u + r = -s - 12. Let n be 1 + (-1 - s/9). Which is smaller: 1 or n?
n
Let m = 4.2 - 4. Let d = -0.1 + m. Let c = 0.2 - 0.1. Does d = c?
True
Let c be (-1)/2 - 5/(50/(-95)). Is 28/3 greater than c?
True
Let m be ((-6)/(-4))/(9/6). Let f be 5*m - (-36)/(-12). Is 2 <= f?
True
Let g(u) = u**3 + 7*u**2 + 5*u - 7. Let d(l) = l - 2. Let x be d(-4). Let b be g(x). Is 1/5 at most b?
False
Let o be 4/(-42) + 187/(-21). Is o smaller than -8?
True
Suppose -273*f = -269*f - 4. Let d = -9891/17 - -582. Which is smaller: d or f?
d
Let j be (-8)/(-5)*(-5)/(-2). Let s be 1*(1 + 8/j). Is s at least 3?
True
Let b = 28 - 27. Is 0.3 < b?
True
Let u be 114/22 + (-8)/44. Suppose 71 = u*r - 89. Suppose 16 = -5*n + q, 4*q + 0*q + r = -4*n. Is -4 > n?
False
Let g(h) = h**2 - 19*h - 3. Let t be g(18). Which is smaller: -18 or t?
t
Let a(s) = -s**3 + 11*s**2 + s - 1. Let t be a(11). Are 11 and t unequal?
True
Let q be (-75)/27 - 2/9. Suppose -12 = -n + 5*n. Are q and n non-equal?
False
Suppose 1 = -y - 3. Suppose 2*n - 12 + 4 = 0. Let b = n - 7. Which is smaller: y or b?
y
Let m = -326611/10 + 32755. Let p = 94 - m. Which is smaller: p or 1?
p
Let k = 4921 - 4079510/829. Let o = 8283/5803 - k. Which is smaller: o or 0?
0
Suppose -5*s - 3*v - 24 = 0, -5*s + 5*v = -0*v. Let m = 8 - 5. Let g be (5/(-5))/(1/m). Is s > g?
False
Suppose 5*b - 35 = 4*v, b - v - 4 = 4. Is b less than 3?
False
Suppose b + 5*u + 16 = 0, 7*b - 4*u = 3*b + 56. Let f = b + -7. Which is smaller: 0 or f?
0
Suppose 0 = 6*g - 2*g + 4. Is g <= 2/29?
True
Suppose 5 = -3*t + 8. Let g(j) = -j**3 - j**2 - j. Let b = 6 + -7. Let w be g(b). Does w = t?
True
Suppose u - 32 = -3*f, u - 10 - 46 = -5*f. Which is smaller: 1 or f?
1
Suppose 19*u = 17*u + 56. Is u at most as big as 29?
True
Suppose 2*q = -3*d - 18, 4*q - q - 3 = 3*d. Which is greater: d or -3?
-3
Let n = 2089/23670 - -1/1578. Let i = 26/45 + n. Suppose 4*p - 3*y + 8 = y, 0 = 3*y - 6. Is p equal to i?
False
Suppose -3*l = 2*l. Which is greater: -1/8 or l?
l
Let v be 7/4 - (-1)/4. Suppose 4*t - 16 = 2*n, -v*n = 4*t + n + 4. Is 3 at least as big as t?
True
Suppose 1 = -w + c, -4*w + 3*c - 7 = -2*c. Does 5/3 = w?
False
Suppose v = 3*g - 13, 4*v = 2*g - 5*g + 38. Suppose g*m = 2*m. Is m greater than or equal to 2/7?
False
Let c = -17 + 22. Suppose 0 = -3*b + 3*d + 15, 0 = -2*b + 5*d + 5 + 2. Is c less than b?
True
Let z = -0.4 + 5.4. Let k = -5 + z. Let h = -0.2 + k. Is 1 less than or equal to h?
False
Suppose 9*g + 305 = 4*g - 4*b, -2*b = -5*g - 275. Is g > -56?
False
Let c = 1.06 + -0.06. Let v = 7.3 + -7. Is v smaller than c?
True
Let k be -3 + 3 - (-3 + 2). Let x be (-28)/(-36) + (-1)/k. Are x and 1/3 unequal?
True
Suppose 2*s = -2*d - 2*s + 18, -5*d - s + 9 = 0. Suppose 0 = 3*p - d - 2. Let w(h) = -h**2 + 8*h + 2. Let a be w(8). Which is greater: p or a?
a
Let t = 8 - 5. Suppose 0 = t*o - o + 10. Which is bigger: -1 or o?
-1
Let r be 1469/130 + -2 + -3 - 6. Let c(i) = i**3 + 2*i**2 - 2*i + 2. Let h be c(-3). Which is smaller: h or r?
h
Let d = -47 + 43. Is d at least as big as -5/2?
False
Let t be ((-2)/(-6))/(3/18). Let b be 4/10*(7 - t). Suppose 3*k = -b*y + 2*k, -2*y = -5*k - 12. Which is bigger: -1 or y?
y
Let q = 0.07 + 0.01. Let w = 3.92 + q. Let f = w - 4.1. Which is smaller: 4 or f?
f
Let k be 2*62*-1*(-4)/(-16). Is k greater than -31?
False
Let b = 0.12 + -0.12. Is b greater than -1?
True
Let i = 2140/9 + -238. Are i and -0.1 non-equal?
True
Suppose -5*m - 1 = -6*k + 2*k, -4*k + 25 = 3*m. Suppose 7 = -0*b - 5*b - m*q, 5*b = -4*q - 11. Let l be 0*(0 + b + 0). Is l greater than 0?
False
Let x = -0.26 - -0.24. Is 0.5 less than x?
False
Let f = 132 + -132.1. Is f less than -97?
False
Let b be (-2)/2 + (-40)/(-48). Let z = -0.06 - 0.34. Let s = 0.3 + z. Which is bigger: b or s?
s
Let j = -25 + 25. Let p = -0.31 - -2.41. Let g = p + -2. Does g = j?
False
Let j be ((-111)/(-148))/((-273)/8). Is 0 >= j?
True
Let v be 1/((-4)/(-4)) - 41. Is v bigger than -40?
False
Let h = 0.133 - 0.033. Is 1/17 smaller than h?
True
Let g be (-7)/(-2)*(-238)/7. Which is greater: -120 or g?
g
Let n = 14.6 + -12. Let u = n + -3. Let x = 0.6 - u. Which is bigger: -3 or x?
x
Let n(k) = -k - 4*k + 3*k - k**2. Let i be n(-2). Let p = -3.1 + 3. Which is bigger: i or p?
i
Suppose 0 = -3*a - 0*a + g, -5*g = -2*a. Suppose a = -2*t - 3*r, 2*r = t - 0*t. Is t smaller than 0?
False
Let r = -321/970 - -3/97. Let i = 2 + -2. Is i != r?
True
Let t be 14/4*3/21. Let d(s) = s**3 + s**2 - 1. Let k be d(1). Let v = k + -1. Which is greater: v or t?
t
Let p = -25/26 + 4623/4862. Let o = -159/2618 + p. Is o greater than 1?
False
Let s be (-8)/6*(11 + (-1570)/140). Let c = -1.1 - -0.1. Which is smaller: c or s?
c
Let d be -3 + 2 + (4 - -4). Let g be 0 + (1 - 2) - -7. Is d at most g?
False
Let c(r) = 4*r**3 + r**2 + r - 1. Let n be c(1). Suppose 10 = -3*k - 2*i, -i - 9 = n*k + 3. Let x be k - (-3)/(6/10). Which is greater: 3/2 or x?
x
Let o(q) = -q - 5. Let w be o(-6). Which is greater: -1 or w?
w
Let z(k) = 3*k + 1. Let a be z(-2). Let t = -3 - a. Which is greater: t or 9/7?
t
Let u be 0/(1 + (0 - 0)). Suppose u = -3*d - 4*j + 11, 0 = 2*d + 3*d - j + 20. Is d greater than -2?
False
Suppose 4*c = 4 + 8, 3*i + 3*c = 0. Which is smaller: i or -2?
i
Let i be (3/21)/((-2)/(-6)). Let w(l) = l**2 + l - 1. Let f be w(-3). Let v = f + -5. Does i = v?
False
Let t = -0.1 - 0. Let c = -0.3 - t. Let h = -2 + 2.1. Which is bigger: c or h?
h
Let g = -51.13 - -51. Which is smaller: g or 1?
g
Suppose -4*n = -5*n + 3*f + 10, 12 = 5*n + 4*f. Which is smaller: n or 5?
n
Suppose -3*j + 2*x = 10, -2*j - 4*x + 20 = -4*j. Let t = j - -5. Suppose 4*h = t*h. Which is smaller: -2/9 or h?
-2/9
Let o = 31 + -31. Which is bigger: -1/6 or o?
o
Let t = -115 - -113. Which is smaller: -5 or t?
-5
Let s be 0/(-9) - (1 - 1). Let d be 2/(-3) + 93/(-9). Let u be ((-3)/d)/(9/6). Is u bigger than s?
True
Suppose 3 = -3*n + 6. Suppose -n = h - 4. Which is smaller: h or 1?
1
Suppose 29 = m + 3*m - 5*a, 3*m + 7 = -2*a. Suppose -m = -s - 0. Which is bigger: 3/2 or s?
