o be n/(-3)*18/(-6). Is o > -2?
False
Let j be 1 + (0 - 2)/(-2). Let w be -1*1/2*j. Let i = 365/7 + -52. Is i bigger than w?
True
Let z(m) = -m**3 + 2*m**2 - m + 2. Let y be z(2). Which is smaller: y or 2/25?
y
Suppose v - 2*v = -3. Suppose -i - v = -4*i. Suppose -3*a + 0*z = z - 7, 5*a = z + i. Which is bigger: 2 or a?
2
Let m be 2*(-2)/(-4) + -2. Let u be (2/(-14))/((-5)/(-5)). Which is smaller: u or m?
m
Let p(l) = 0*l - 3 + l - 1 - 7. Let d be p(14). Is d greater than 4?
False
Let q be (-2)/3 + 4/(-6). Let t(h) = 4*h - 50. Let r be t(12). Is q less than r?
False
Let x be 2 - 0 - 9/5. Let k = -1/12 - 5/12. Which is bigger: x or k?
x
Let k = -0.3 + -3.8. Let j = 0.9 - k. Let t = j - 4.9. Which is smaller: t or -0.1?
-0.1
Suppose -i = 10 - 3. Suppose 3*a - 30 = 8*a. Is a < i?
False
Let k be 326/(-22) + (-22)/121. Which is bigger: -14 or k?
-14
Let l be (-9)/(-6) + 145/(-97). Let p = l - -179/2910. Is p less than -1?
False
Let n(l) be the first derivative of l**4/4 + 10*l**3/3 + 4*l**2 - 9*l - 4. Let c be n(-9). Suppose -2*f + 5*f - 3 = c. Is -1 bigger than f?
False
Let a be (-1 + 1)*2/4. Suppose 0 = d - a*d. Which is bigger: d or -1?
d
Suppose -4*y + 0 = 5*z - 8, y = 5*z + 2. Which is bigger: -4/11 or z?
z
Suppose 3*l - 14 = h, 4*h + l - 14 = -l. Let w = 4 - h. Suppose w*t - 3*k + 18 = 0, 3*k - 13 = -2*t - 0*k. Which is bigger: -2 or t?
t
Let a = -11 + 10. Which is greater: 17.4 or a?
17.4
Suppose 1 = -4*m - 3. Let r(z) = 13*z**2 - 1. Let v be r(m). Let x be 10/v*(-3)/(-2). Is 2 greater than x?
True
Suppose 0 = -4*u + 2*u - 40. Let a be ((-2)/1)/(u/90). Is a greater than 10?
False
Suppose -2*a = -3*b + 3*a - 6, 0 = 4*b + 4*a - 24. Suppose 0 = -0*x + b*x. Suppose -5*h + 4 = -9*h. Are h and x nonequal?
True
Let f be 0/3 - 4/78. Let b = 31/156 - f. Suppose 0*m - 3*m = 0. Is b > m?
True
Let n be 15*(-5)/(-15) - 7. Is n smaller than -9/7?
True
Suppose 2*w - 2*n - 22 = 0, 5*n + 0*n - 15 = 0. Let x be 1/((2 + -1)/13). Which is smaller: x or w?
x
Let w = -0.86 + 1.85. Let h = -0.01 - w. Let t = -0.2 - -0.2. Which is greater: h or t?
t
Let z(x) = -x**3 - 2*x**2 + 3*x + 3. Let v be z(-2). Let q = v - -5. Let c be 35/364 + q/(-8). Is c <= -1?
False
Suppose j = 1 + 3. Which is greater: j or 5?
5
Suppose -n = n. Let m = 68 + -69. Is m greater than or equal to n?
False
Let c(k) = -k**2 + 11*k - 9. Let f be c(10). Let j = -0.2 - -0.16. Let z = -0.44 - j. Which is bigger: f or z?
f
Suppose 3*n - 8*n = 5. Let t be 1/(1/((-6)/n)). Let a be (4 - t)/(-3*2). Is a < 0?
False
Suppose -15 = -9*v + 21. Is v > 5?
False
Let o = -5 - -2. Let d = -4 + 3. Let u = o - d. Which is bigger: u or 1?
1
Suppose -m - 3*m - 468 = 0. Let t = m - -1055/9. Are 1 and t non-equal?
True
Suppose 2*d - 2 + 26 = 0. Let w = d + 15. Is w > 7/3?
True
Let y(z) = z**3 + 4*z**2 - z - 5. Let n be y(-4). Let m be -1 - n - 673/(-5). Let r = m + -135. Is 0 bigger than r?
True
Let q be (1 - -13)*(-24)/28. Let d = -13 - q. Let u = -2/211 + 444/2321. Are u and d non-equal?
True
Let r be (-19)/(-152) + 2/8. Do 0 and r have the same value?
False
Let t = 5 + -4. Let i(w) = -w**3 + 4*w**2 + 6*w - 5. Let k be i(5). Is k at most t?
True
Let l = 2.4 - 17.4. Let k = -14.9 - l. Which is smaller: -19 or k?
-19
Suppose 0 = 2*y, 5*v + 3*y = 5 - 0. Let z = -7 - -10. Let i be 0*(z/(-2))/(-3). Is i at least v?
False
Let c = 2 + -3. Let m = 7 + -5. Let j = m + -2.2. Are c and j unequal?
True
Let t be 8/14*4/16. Let c(f) be the third derivative of f**6/120 - f**5/12 + f**4/6 - f**3/6 - 2*f**2. Let j be c(4). Which is bigger: j or t?
t
Let m = 20.92 + -21. Is m bigger than -1?
True
Let b be 1 + (3 - 18/5). Is -1 smaller than b?
True
Suppose -r = 4*r - 0*r. Let h(d) = -d**3 - 7*d**2 - 7*d - 4. Let g be h(-6). Suppose 2*j - 6 = 0, 3*v + g*j = 7 + 2. Is r at least as big as v?
False
Let l = -2.1 - -1.2. Let u = l - -1. Is u bigger than 1/2?
False
Let d = -47 - -47. Is 3.4 greater than or equal to d?
True
Let l = 0.1 + -0.1. Let z = -0.25 - 6.75. Let j = z + 7.5. Are l and j non-equal?
True
Let w be ((-8)/(-6))/((-5)/(-30)). Suppose -4*n - 2*y - 45 = n, w = n - 3*y. Is -6 less than or equal to n?
False
Let r = -0.12 - -11.12. Let p = 12 - r. Is p > -0.3?
True
Suppose -3 = 3*q + 3*u - 24, -4*q + 60 = -4*u. Let w(d) = -d**3 + 12*d**2 - 12*d + 14. Let b be w(q). Is 3 at least b?
True
Suppose 0 = 4*v - 9 - 7. Is 5 < v?
False
Let t be (-88)/14 - 2/(-7). Let y = 5 - 6. Is y < t?
False
Let y = -2 - -1. Let q be 3 + y/(-6)*-14. Which is smaller: 0 or q?
0
Suppose u + 4*u = -5. Let a be (u/2)/((-3)/(-18)). Let d be a + 1 + 3 + -6. Which is smaller: -6 or d?
-6
Let s = -0.02 + 0.13. Let o = s - -0.89. Let z = 1/3 - 1. Which is bigger: z or o?
o
Let c(t) = -t**2 + t + 1. Let x be c(1). Let m(q) = -q + 1. Let r be m(x). Do 4 and r have the same value?
False
Let j = -13 + 18. Let z be (-19)/(-3) - (-1)/(-3). Which is smaller: j or z?
j
Let h be (55/22)/((-1)/(-2)). Suppose -2*s = 3*s - 4*n - 4, -h*n = -20. Is 6 at least as big as s?
True
Let s be (64/80)/(-1*(-1)/10). Let x(p) = -p**3 - 3*p**2 - p + 4. Let m be x(-3). Is m not equal to s?
True
Let k = -6.14 + 0.34. Let o = k + 6. Is o > 1?
False
Suppose -2*s + 2814 = 870. Let b be 0/1 + s/3. Let j = -4862/15 + b. Which is smaller: 1 or j?
j
Let t be (-8)/(-28) - 36/28. Is t greater than -3/2?
True
Let n be (3/3)/(1/2). Let i = -58 - -59. Which is smaller: i or n?
i
Let q = -264/7 + 4474/119. Which is smaller: q or 2?
q
Suppose -15*g = -10*g + 155. Is g less than or equal to -32?
False
Suppose 0 = -3*f + 2*k + 1, -f + 2*k + 22 = -3*k. Suppose -4*q = -5*m + 10, 2*q + 16 = -0*m - 3*m. Let b = m - 0. Is b less than f?
False
Suppose 4*h = -4*f - 4, 0 = 3*h + f - 3 - 0. Suppose 3*s - h*s = -2*t, -7 = t - 3*s. Is -0.4 less than t?
False
Let c = 3 - 4. Let p = c - 1. Let l(h) = h**2 - 6*h + 2. Let t be l(5). Which is smaller: p or t?
t
Suppose 5 = -3*h + z, 5*h - 5*z = -6 + 1. Is -11/6 greater than h?
True
Suppose -5*z + 5 + 25 = 0. Which is smaller: z or 5?
5
Let o(z) = -z**2 - 11*z + 12. Let f be o(-11). Let s(t) = -t**3 + 11*t**2 + 11*t + 11. Let h be s(f). Are h and -2/11 nonequal?
True
Let y be 363*3*37/102. Let u = y - 395. Which is smaller: 0 or u?
0
Let x(l) = l**2 + 7*l + 3. Let i be x(-7). Suppose 0*a = -2*a + 3*y - 8, -2*a + 12 = 2*y. Which is smaller: i or a?
a
Let z = 0 + 3. Suppose 0 = -b - 1 + 3. Suppose -a = b*a - z. Is 2 less than a?
False
Suppose 12 = -4*m, 2*l - 4*m - 3 = -m. Which is bigger: l or -4?
l
Let q(f) = f**3 + 4*f**2. Let b be q(-4). Is 1/5 bigger than b?
True
Suppose -2*f + 5 = -1. Suppose -2*i = 4*i. Let h(u) = -u**2 + 2. Let k be h(i). Does k = f?
False
Let p(u) = -47*u**2 + u - 1. Let v be p(1). Are -49 and v equal?
False
Let u = 0 + 0.3. Let m = 15 + -8. Let q = m - 7.1. Which is smaller: q or u?
q
Let o be (-3)/(-3)*(1 + 1). Suppose m = -m + o. Is 1 != m?
False
Let d = 112 + -2353/21. Suppose 0 = -6*y + y. Is y at most as big as d?
False
Suppose 10 = g + 3*t, 5*t = -4*g + t + 16. Let v be 2/(-8) - (-34)/8. Suppose d - v*b = -21, 2*d - 3*b = -22 + 5. Is g smaller than d?
False
Let q = 43 - 36. Is 2 bigger than q?
False
Let b = 5 + -4. Suppose -2*z + 14 = 4*f, -z - b = -2*z. Suppose 2*l - 5 = -f*l. Which is greater: 4/5 or l?
l
Suppose 3*d + d = -12. Suppose -4*v + 6*v + 8 = 0. Which is smaller: d or v?
v
Let s be (3/(-6))/(2/28). Let c(l) = -2*l + 13. Let b be c(10). Is b <= s?
True
Let m = 23 - 19. Is 1 smaller than m?
True
Let h be 3 + (-1)/4*(12 - -1). Is h not equal to -49?
True
Let b(m) = 2*m - 1. Let t be b(1). Suppose -4*g = 3*n - 5, -g = -5*n - 4*g + 1. Which is bigger: t or n?
t
Suppose 2*n - 39 = -n. Is n > 13?
False
Let q(z) = z + 1. Let x be q(-6). Let t(g) = g**2 + 5*g + 2. Let m be t(x). Is m at least as big as -0.2?
True
Let r = 14889 - 59269/4. Let k = 71 - r. Is 0 != k?
True
Suppose 3*r - 4*n - 14 = 0, -4*r + 0*n + 2*n + 12 = 0. Let c = -2 + r. Is 0 >= c?
True
Let m = 71/3 + -2053/87. Are 1 and m non-equal?
True
Let h be (1 + -3)/(1*2). Let i(b) = 3*b**2 - 3*b - 2. Let d be i(-2). Let u be (-1)/(-2)*d/(-40). Is u at most as big as h?
False
Let c = 16 + -77. Let j = 304/5 + c. Which is greater: j or 2/7?
2/7
Let g = -4901.37 + 4924. Let p = -22 + g. Let o = p + -0.03. Which is greater: o or -1?
o
Let f(n) = n - 5. Let g be f(6). Suppose 2*