Let c be r + -1 + 54/21. Which is smaller: 1 or c?
c
Let h = -3 + 3. Suppose 3*m - 6 = 3. Suppose h = -4*j, -m*j + 2 - 1 = -t. Does t = 1/4?
False
Let k be ((-5)/(-330))/((-1)/4). Is -4 >= k?
False
Let z be (12/9)/((-2)/(-9)). Let s be 24/126*z/2. Is s >= 0?
True
Let n be 332/(-12) - (-1)/(-3). Let l = n + 19. Let u be 6/l + 2/(-6). Which is greater: u or 0?
0
Let z be ((-181)/2)/((-52)/(-10)). Let h = z + 69/4. Let o(a) = -a**3 + a**2 + a. Let c be o(0). Is c greater than or equal to h?
True
Let h be ((-2)/3)/(2/(-12)). Let u = -16 + 6. Let i be 3 + 9/(45/u). Which is greater: h or i?
h
Let w be (-4)/(-2)*(-7 - -6). Let o be (2 - (1 - -1))/w. Is o greater than 1?
False
Let f(s) be the third derivative of -s**4/12 - 10*s**3/3 + 8*s**2. Let j be f(-9). Let a = -4 - -2. Does j = a?
True
Let a = -8 + 8.24. Which is smaller: 1/2 or a?
a
Let m(f) = f**2 - 3. Let n be m(3). Suppose 0 = -2*w + n, -4*g + 2*w - 2 = -0. Which is smaller: g or -3?
-3
Let l = 0 - -6. Suppose 0*k - 8 = -2*k. Let q be 23/k + (-3)/4. Which is greater: l or q?
l
Let b = 17 - 26. Let y = 8 + b. Which is smaller: 0.5 or y?
y
Let g(h) = h**2 - 2*h. Let s be g(4). Let t = 8 - s. Which is smaller: 2/11 or t?
t
Let y(z) = z**2 + 6*z + 6. Let b be y(-6). Suppose 0 = -2*x + b*x + 32. Let v(h) = h**2 + 8*h - 3. Let d be v(x). Which is bigger: d or -4?
d
Let p(n) = 2*n**3 + n + 1. Let b be p(-1). Are b and -4 nonequal?
True
Let x be (4/(-26))/(((-14)/(-1))/(-1)). Which is greater: x or 0?
x
Let j be -2 + 5 + 0 - -3. Is j greater than 7?
False
Let q be ((-15)/20)/((-117)/24). Is q at most 1?
True
Let b be ((-5)/(-15))/((-2)/(-9)). Let p be 55/10 + (-3)/2. Let d = p + -1. Which is bigger: b or d?
d
Suppose -12*w = 64 + 188. Do -23 and w have the same value?
False
Let g be 6 + -9 - 60/(-22). Which is smaller: -1 or g?
-1
Let w = -26 - -9. Let p = w - -14. Which is greater: p or 1?
1
Suppose -2*r + 1 = -3*q, 0 + 6 = 5*r - 4*q. Suppose 4 = 3*h - h. Are r and h nonequal?
False
Suppose 4*y = y - 9. Let m = 3 - 0. Suppose x + 8 = -m*x. Is x greater than or equal to y?
True
Let h = -30 - -29.96. Is h less than or equal to 0.2?
True
Let m = -193 + 194. Let x be (1/(-2))/((-2)/(-4)). Is m < x?
False
Let h be (-33)/5 - 2/5. Which is smaller: h or -2?
h
Let s be 1/5 + 2/(-2). Let g(l) = l + 3. Let y = -17 - -14. Let z be g(y). Is s greater than or equal to z?
False
Let b = -17 + -1. Let m = -14 - b. Let x = -3 - -6. Which is greater: m or x?
m
Suppose 5 = 2*s + 3*s. Let d be (-6)/(-24) - 0 - (-2)/8. Which is smaller: d or s?
d
Suppose -2*r - 2 = -4*v, 4 = 5*r - 1. Suppose -5*a - 4 = -w - 13, 2*a - w - 6 = 0. Let d = a + 0. Is d > v?
False
Let i = 1.04 + -1.14. Which is smaller: 0.52 or i?
i
Let f = -0.3 + 0.2. Let q = 0.3 + f. Let l(y) = y**3 + 4*y**2 + 2*y - 2. Let r be l(-3). Is q < r?
True
Let o(v) = 7*v**2 + v. Let n be o(1). Suppose 99 = 8*x + 3*x. Which is smaller: x or n?
n
Let h = 1 - 2. Is -1 smaller than h?
False
Let r be (-1*2)/(-41 - 20). Which is smaller: r or 0?
0
Let z = -78 - -79.2. Which is bigger: -1 or z?
z
Let t(a) be the second derivative of a**5/20 + a**4/2 - 7*a**3/6 - 6*a. Let o be t(-7). Which is greater: -1/6 or o?
o
Let g = -64/3 + 22. Let v be ((-1)/(-6))/(1/3). Which is smaller: g or v?
v
Let b = 0 - 0.3. Let g = b + -1.7. Let d be (2/(-4)*0)/(-2). Is g at least d?
False
Let w be 13/(-3) - (-12)/3. Which is smaller: w or -5?
-5
Let r = -5 - -8. Suppose 0 = -3*x - 5*j + 2*j - 3, -j = 3*x + r. Which is bigger: -3 or x?
x
Let r(v) = -5*v**2 - 14*v - 8. Let g(a) = a**2 + a. Let s(f) = 6*g(f) + r(f). Let z be s(9). Let t(i) = i + 5. Let x be t(-6). Do z and x have the same value?
False
Suppose 0 = -f - f. Let l(o) = o**2 + 11*o + 29. Let b be l(-6). Is f != b?
True
Suppose -k + 0 = -4. Let b(r) = -r**2 + 7*r - 9. Let z be b(6). Let v = k + z. Is -2/25 > v?
False
Let b be 1/(-1 + (-20)/(-18)). Let t = 6 - 6. Do t and b have the same value?
False
Suppose -10*b = -6*b. Are -2/19 and b unequal?
True
Suppose -i = 4*i + 10. Let o be i - 6/(-2 - 1). Let d be -2 + 12/7 + o. Is d < -1?
False
Let r(v) = -v**2 - 5*v + 3. Let a be r(-5). Let k(h) = 12*h**3 - h. Let n be k(-1). Let t = -8 - n. Do t and a have the same value?
True
Let p = 0.06 - 1.06. Let r = -853/9 + 95. Which is bigger: p or r?
r
Let s be ((-11)/33)/((-2)/(-2)). Suppose u = 2*n + 3, u - 4 + 13 = -2*n. Let m be (-1)/(-3) + (-2)/u. Is m greater than or equal to s?
True
Suppose w + 3*i - 3 = 0, i + 3*i = w - 10. Is w greater than 3?
True
Let w be 48/(-5) - (-12)/20. Let m = w - -7. Is m > -2/3?
False
Let m = -3/44 + -2/11. Suppose x = -4*x + 20. Let t be (2/(-3))/(x/6). Which is greater: m or t?
m
Suppose 0 = 2*u + 2 - 6. Suppose -c - u = -10. Suppose c = 3*y - 7*y. Are -6/5 and y nonequal?
True
Suppose -5*c - p + 8 = -10, -14 = -2*c + 3*p. Suppose 0*t + 5*t = -3*v + 40, -5*v + 50 = 5*t. Which is smaller: v or c?
c
Let p be 2/(-13) - 656/(-208) - 2. Suppose 0*j = -j + 2. Is p bigger than j?
False
Let q be -2 - 6/(0 + -1). Let k = 0.05 + 0.01. Let c = -0.06 + k. Which is bigger: q or c?
q
Let x be (-2)/(-10) + (-609)/245. Which is smaller: x or -1?
x
Let m = -83 - -743/9. Let t = -19/63 - m. Which is bigger: 0 or t?
t
Let z = 98 + -129. Is -148/5 <= z?
False
Suppose 2*n - 15 = 6*h - 3*h, 0 = 4*h + 20. Are 1/197 and n nonequal?
True
Let i(u) = -u + 6. Suppose d = -d + 14. Let w be i(d). Is w at least -2/3?
False
Let i = 43 + -173/4. Let z = -0.05 + -0.01. Which is greater: z or i?
z
Let v = -0.1 + 0.2. Let o = 8 - 8.5. Which is bigger: v or o?
v
Let g be (9/(-36))/(2/(-8)). Are g and 2/9 nonequal?
True
Suppose -5*c - 20 - 10 = -5*j, -5*j - 15 = 4*c. Is 2/13 < j?
True
Suppose 12 = 2*q + q. Suppose 0 = 4*y + 20 - q. Let d = y - 1. Do d and -5 have different values?
False
Let v(o) = -52*o + 1. Let j be v(-3). Let m be -3 + j/31 - 2. Let k = -1 - -2. Which is bigger: k or m?
k
Let v = 0.014 - 0.414. Which is smaller: v or 2/3?
v
Let i be (-2*(-4)/(-24))/((-1)/(-3)). Which is smaller: 6/31 or i?
i
Let t = 1 + 1. Let l be 0*(-3 - t/(-1)). Which is greater: -2/37 or l?
l
Let u be (-1 + 1)/5 + -1. Is 1/6 equal to u?
False
Suppose 0 = -3*z + 11*z - 40. Suppose -2*k - 2 = 5*t + 2, -3*k = 3*t + 6. Suppose t = -w + 4*w + 3*b + 6, -w = -z*b + 14. Are -4 and w unequal?
False
Suppose 5 = -3*p + 2. Let u(x) = x**2 + 8*x - 9. Let r be u(-7). Let v be (4/r)/((-9)/(-4)). Is v at least p?
True
Let h be 1/(-2) + (-1)/(-2). Let p = -1 + h. Which is bigger: 1 or p?
1
Let x be 4/2 + 6*-1. Suppose -z + 19 = 5*d, 11 = -0*d - 3*d + 5*z. Let i be -3 - (-2 + d + -1). Which is bigger: x or i?
i
Let f be ((-2)/(-6))/(4/(-36)). Suppose -4*i = -0*i + 8. Is i > f?
True
Let l be ((-12)/(-8))/((-3)/(-4)). Suppose -4*g - 24 = -l*j - 6, 5*j = -g + 1. Which is smaller: j or -2/13?
-2/13
Let h = -2/37 - -84/185. Let w be ((-2)/3)/(12/18). Let u(t) = 2*t + 1. Let z be u(w). Which is bigger: z or h?
h
Let f(i) = i**3 + 2*i**2 + 2*i + 2. Let h be f(-2). Suppose -5*u = -5*k + 25, 2*u - 5*u = 4*k + 8. Let g = h + k. Which is greater: -2 or g?
g
Let k = -2 - -3. Let h = 3/32 + 1/160. Which is bigger: k or h?
k
Let k be 42/(-8) + (-3)/(-4). Let q = -23/6 - k. Does 2 = q?
False
Let v = 4 + -6. Let z = 5 - -1. Suppose 0 = -4*q + z*q + 6. Do q and v have the same value?
False
Let b be -3 - ((-572)/82 - -4). Which is smaller: 0 or b?
b
Let o be (-4)/10 + (-12)/20. Which is smaller: o or -1.9?
-1.9
Let k(c) = -c**3 - 7*c**2 - 7*c - 5. Let z be k(-6). Let t be 1 + 0 + (-4572)/45. Let p = t - -101. Is p smaller than z?
True
Let c = -97/230 + 1/46. Suppose 0 = -s + 4*s. Let x be (0 - (2 + -3)) + s. Which is smaller: x or c?
c
Let j = 28 + -29. Which is greater: j or 5?
5
Let l = -12.2 + 4.2. Let s = -88.3 - -96. Let r = l + s. Does r = -1/3?
False
Suppose -2*o - c - 3*c = 4, 52 = 4*o - 4*c. Which is greater: 10 or o?
10
Suppose -2*i + 6 = z, -3*i = -i - 4. Suppose s = -z*s. Which is greater: s or 1?
1
Let y = -8.85 + -0.15. Let j = -8 - y. Let a = 3 - j. Is -1 less than a?
True
Let x(k) = -k**2 - 2*k + 2. Let q(u) = 2*u**2 - u - 1. Let z be q(-1). Let w be x(z). Is -5 at most w?
False
Let c = -21 + 32. Are 11 and c equal?
True
Let j be 16/15 + 6/(-9). Which is greater: 6 or j?
6
Let n be (-4)/3 + (-245)/(-189). Is n greater than 0?
False
Let m be (-1)/(((-5)/2)/5). Suppose 