et c = 162 - 2108/13. Is p <= c?
False
Let o = -211 + 1047/5. Which is smaller: -2 or o?
-2
Let m be 1/(0 + 10/(-14)). Let p be 0 - 16/9 - (-4)/(-18). Do p and m have the same value?
False
Let f = -1 - -2. Which is bigger: -1/9 or f?
f
Let j = 39.9 - 40. Which is bigger: j or -26?
j
Let i be ((-3)/(-9))/(1/3). Suppose -2*n = -g + i, 0 = 5*g + 4*n - 3*n + 6. Does g = 1/16?
False
Let k = 25 + -51/2. Let q(b) = 2*b - 15. Let a be q(12). Let i be 9/(-6)*2/a. Which is smaller: k or i?
k
Suppose -3*w + 4*l - l = 6, -5*w + 2*l = 7. Suppose t + 3 = -0*t. Let m = 2 + t. Are w and m unequal?
False
Let i = 16 + 66. Let m be (i/4)/((-15)/40). Let j = 54 + m. Are j and -0.1 non-equal?
True
Let l = -2 + 4. Suppose -24 = -l*b - 2*b. Let s = 6 - b. Which is smaller: s or 3?
s
Let t be ((-9)/18)/((-1)/4). Suppose -4*f = -5*x - 13, -t*x = -f - 0*f + 7. Let u(d) = -d**2 - 4*d + 3. Let y be u(-5). Is f at most y?
True
Let w = -27 - -80/3. Which is bigger: w or 0.5?
0.5
Let c = 11 - 6. Let b be -2*(-1)/((-6)/(-9)). Let r = c - b. Which is smaller: 1 or r?
1
Suppose -5*o + 3 = -2. Let a = -793/7 - -113. Is o not equal to a?
True
Let f(w) = -4*w. Let t be f(-1). Let o = t + 5. Is 8 greater than or equal to o?
False
Let q = -41.05 - -41. Which is bigger: q or 0.1?
0.1
Let v = -0.03 + -0.07. Let y = v - 0.3. Let s = y + 3.4. Is 2 <= s?
True
Let j(s) = -7*s**2 - 5*s - 5. Let m(b) = 3*b**2 + 3*b + 2. Let h(u) = 4*j(u) + 9*m(u). Let n be h(6). Let d be 1/(-4) + 34/8. Is n <= d?
True
Let l be (1/2)/(7/2). Let t = -18 + 18. Let b = t + 1. Is l > b?
False
Suppose -2*t - 50 = -t. Let h be (4/t)/(32/(-40)). Is -1 >= h?
False
Suppose -10 = -z + 2*w, 0*w - w = 4. Let v(k) = k**3 - 3*k + 2. Let n be v(z). Suppose h = 2*f + n, 12 = -f + 5*h - 2*h. Is f less than 1/4?
True
Let d be 5122/56 - (-2)/7. Let s = 91 - d. Which is smaller: s or -1?
-1
Let x = 50 - 49.993. Is x less than 0.1?
True
Let o = 4.2 + -4. Let r = 0 - -0.1. Let j = r + -0.1. Which is smaller: o or j?
j
Let u = 0.56 - 0.36. Which is smaller: u or 5?
u
Let i = 82 + -83. Are i and -14 non-equal?
True
Let y be 73/21 + (0 - 1/3). Is 3 >= y?
False
Suppose r - 20 = -4*r. Is 4 < r?
False
Suppose -3*u + 2*u + 5 = 0. Let b(z) = z**2 + 4*z - 8. Let f be b(-6). Suppose u*m = f*m + 1. Which is bigger: 4/3 or m?
4/3
Let l = -1/33 + -7/11. Suppose 0 = -4*n - n. Which is bigger: l or n?
n
Suppose 0 = 2*x + 79 - 209. Let u = 3/3431 + -675916/10293. Let k = u + x. Which is bigger: k or 0?
0
Let z(f) = 2*f**2 + 6*f - 8. Let w be z(3). Is w > 28?
False
Let b = 2 - 3. Let k = -33.4 + 33.8. Which is greater: b or k?
k
Suppose 27 = h - 0*h. Let v = -15 + h. Let w be (-1)/4 + (-9)/v. Is -1/4 > w?
True
Suppose 4*s - 3*l + 302 - 120 = 0, -2*l + 184 = -4*s. Which is smaller: 1 or s?
s
Let c be (3 - (7 + -3))/(-1). Let k = c + 3. Suppose -k*t - 12 = -0*t. Does 0.1 = t?
False
Let p be 6/(-10) + 10/(-25). Let o be 4/(-3) + 2/(-3). Is p at least o?
True
Let p be (-27)/456*4/3. Which is smaller: -1 or p?
-1
Let w be (-5 - 1)*16/6. Let o be (-10)/15*(-6)/w. Which is greater: o or 1?
1
Suppose 0 = -5*v + 3*v. Let d = 0 + v. Let r be (2/6)/(15/(-9)). Which is smaller: d or r?
r
Let j = -4.48 - -4.5. Let b = 2 + -4. Let q = b + 1.9. Are q and j nonequal?
True
Let o(c) be the second derivative of -c**3/3 - c**2/2 + 2*c. Let g be o(-3). Let a = -6 + 10. Which is smaller: g or a?
a
Suppose h - 1 = g, -3*h - 3*g + 0 + 3 = 0. Let r = -1.1 - -1. Do r and h have different values?
True
Let m = 40165/8872728 + 5/9017. Let f = m + 77711/4920. Let c = -16 + f. Is c equal to 0?
False
Suppose -5*l - t - 24 = t, -5*t = -3*l - 2. Do 2 and l have different values?
True
Suppose 8*j + 7 + 1 = 0. Which is bigger: -2/173 or j?
-2/173
Let q = 3 + -2. Let s = -477 + 5243/11. Is s not equal to q?
True
Let f = -3/67 - 317/402. Is f at least 0?
False
Let k = -17 - -16. Is 3 at least k?
True
Let v(a) = a**3 - 7*a**2 + 8*a - 2. Let z be v(6). Which is smaller: 12 or z?
z
Let k = -51 - -51. Which is smaller: 0.163 or k?
k
Suppose 0 = -2*y + 2 - 0. Let r = 0 - y. Which is greater: 3/2 or r?
3/2
Let a(c) = 4*c**3 - c**2. Let x be a(1). Let i be (-3)/(-1) - (4 + x). Let z(q) = 2*q + 2. Let p be z(-3). Are i and p unequal?
False
Let j = -21 - -83. Is 61 greater than or equal to j?
False
Let u(v) = v + 4. Let i be u(3). Which is smaller: 9 or i?
i
Suppose 2*j + 3*j + 16 = -2*s, 3*j = -4*s - 18. Suppose o + 4*b - 2 = 0, 3*o + 2*b = -2*b + 22. Suppose 5*w = -o - 0. Do w and j have different values?
False
Let v(l) = 6*l**2 - l + 1. Let d be v(1). Let z = -7 + d. Is 0.1 greater than or equal to z?
True
Suppose 4*f = -2*d + 12, -2*d - 3*f + 8 = -d. Let t be (-10)/(33/(-9) - -3). Let w = -11 + t. Which is greater: w or d?
w
Let w(z) = -5*z**3 + z**2 - z. Let s be w(1). Let i = s + 5. Is i not equal to 0?
False
Let h = -1 + 2. Is h equal to 1/26?
False
Suppose d - 4*x - 31 = 0, -5*x - 35 + 10 = 0. Is 11 greater than d?
False
Suppose 0 = f + 9 - 19. Suppose -5*u = -0*u - f. Suppose u = -4*g + 6. Which is smaller: -3/7 or g?
-3/7
Suppose 5*o - 5 = 0, -k - 1 - 4 = -2*o. Suppose 8 + 4 = -4*a. Is a <= k?
True
Suppose 0*d + d + 3*r = 8, 0 = -2*d + 4*r - 4. Let z = -10 + 13. Suppose 0 = d*m - z*m + 3. Which is smaller: m or 4?
m
Let r be -3 - (-15 - (2 - 3) - 3). Is 14 greater than or equal to r?
True
Suppose -13 = -4*m + 47. Let p be (-1)/(1/(-14)) + -3. Suppose p = -5*f - h - 2*h, 3*f = h - m. Is f at most as big as -4?
True
Let v(i) = -i**3 - 3*i**2 + 2*i - 4. Let k be v(-4). Let m = k + -13. Is m not equal to -9?
False
Let w be 1/4 - 9718/56. Let h = w - -173. Let t = 3 + -2. Is t smaller than h?
False
Let d(n) = 2*n**2 + 18*n + 7. Let m be d(-8). Is -26/3 at most m?
False
Suppose -n = -2*v - 9, 3*v + n + 10 + 1 = 0. Let s(p) = -p**3 - 5*p**2 - 6*p - 6. Let m be s(v). Suppose -2*g + 3*g = 0. Which is smaller: g or m?
g
Suppose 2*l + l - 6 = 0. Suppose 0*v = l*v + 16. Let s be (-4)/(v/10) - -1. Is 7 greater than s?
True
Suppose 5*b - 28 = 5*h + 3*b, -5*h - 4*b = 4. Let t be 2*(h/3 + 1). Is 0 at least as big as t?
True
Let i = 4 - 3. Let z = -15 + 24. Which is smaller: i or z?
i
Suppose -7 = j - 8. Let s be 16/(-6)*(-1)/(-36). Is s at least as big as j?
False
Let b = 13.019 - 0.019. Let k = 4 - 5. Which is bigger: b or k?
b
Let t be (-3)/(-6) - (1 - 0). Suppose -4*d + 3*j - j - 10 = 0, 0 = -3*d + 5*j - 18. Is t > d?
True
Let r = -12 + 8. Let c be 0/(-2) + 0/r. Is -1 smaller than c?
True
Suppose 3*h + 5*d = 5*h + 3, h - 6 = -5*d. Let m be -1 - (-3 + 3 - h). Which is smaller: 1 or m?
m
Let y = 3 - 5. Let d be 1 + -5 - y*1. Suppose -12*l = -44*l - 32. Which is smaller: l or d?
d
Suppose 2*c + 3*q - 19 = 0, 4*c + 2*q - 16 = 2. Is 2 bigger than c?
False
Let l = -6023 + 6019.911. Let h = -0.011 + l. Let q = h - -3. Which is bigger: 1/4 or q?
1/4
Let m be (-136)/32 - (2 + -6*1). Which is smaller: m or -24?
-24
Let c be 2/(-7) + 459/63. Suppose 5*n + 5*q = c + 3, q = n + 2. Which is smaller: 2/11 or n?
n
Let x be 8 - (-3 - (-2 - 1))/(-1). Which is smaller: 20/3 or x?
20/3
Let j(i) = -i**3 - 23*i**2 - 8. Let z be j(-23). Which is smaller: z or 2?
z
Let x be (-1 - 0) + (-25)/(-19). Which is smaller: 1 or x?
x
Let n = 0.2 + 0.8. Let x be 4*-1*(-5)/4. Suppose -x*q - 7 = -2. Is q equal to n?
False
Let h = -118/9 - -41/3. Let b = -34/45 + h. Is b < -2?
False
Let c = 7 + -6.9. Which is smaller: c or 6/7?
c
Let v be (-26)/12*224/(-1360). Let h = 2/85 - v. Let n = -2.02 - -0.02. Is h != n?
True
Let x(u) = -u**3 + 9*u**2 - 4*u - 1. Let v be x(8). Suppose v - 6 = -5*f. Are -3 and f unequal?
True
Suppose -3*r + 7 = 2*b - 6, 3*b + 4*r = 17. Are b and 3/49 equal?
False
Let f = -3.6 - -0.6. Let x = f - -2. Is -1 greater than x?
False
Let s(t) = -t**2 - 2*t. Let c be s(-3). Let m be 40/(-30) - 1/c. Do m and -1 have the same value?
True
Let i = -17 + 17.3. Which is smaller: i or -0.3?
-0.3
Suppose -v = 4*z - 78, -4*z + 0*z + 148 = 2*v. Let w = v - 14. Let f be 14/(-18)*(-32)/w. Which is greater: 0 or f?
f
Let x(r) = -r**3 - r**2 + 3. Let w be x(0). Suppose 0 = -3*q - w + 18. Let a be q/2*8/(-50). Is a less than or equal to 1/9?
True
Let x(l) = -l + 2. Let d(q) = -1. Let p(u) = -4*d(u) - x(u). Let n be p(-5). Let h be 5/n*4/50. Which is bigger: h or 0?
0
Suppose -2*n - 9 = -5*n. Let t be ((-5)/(10/24))/(-2). Is n