 64/(-40). Is q at least v?
False
Let q be 2 - ((-2)/8 - 44562/(-168)). Are -262 and q unequal?
True
Let b be 4 + -6 + 2/(-1). Is -29/6 != b?
True
Let f(v) = v + 10. Let t be f(-7). Suppose t*y + 47 - 131 = 0. Let a be 77/y + (-1)/(-4). Is 5 > a?
True
Let v(c) = -c**3 - 14*c**2 - 20*c + 39. Let o be v(-12). Which is smaller: -93/10 or o?
-93/10
Suppose -2*k = -2*v + 12, -k - 24 = -3*v - 14. Suppose f + 0*y + y = 0, -5*y + 20 = f. Let a = f - -8. Is v at most as big as a?
True
Let x = -3.9 - -103.9. Which is smaller: 2/3 or x?
2/3
Let i = -0.2 + -2.3. Let r = i + 5.1. Let m = r + -2.6. Is m at least as big as -6/7?
True
Let n(r) = 5*r - 3. Let v be n(-4). Let k be (-44 + -2)/((23 + 11)/17). Is v greater than or equal to k?
True
Let n(v) = v**3 + 6*v**2 + 4*v - 3. Let t be n(-5). Let s be -309*(68/(-28) + t). Let f = -8345/63 + s. Which is smaller: f or 1?
f
Let d = 118 + -66. Let c = 54 - d. Which is greater: -0.4 or c?
c
Suppose 0 = -6*x - 1795 - 959. Which is smaller: x or -460?
-460
Let m be 2/(-13) - (-201)/39. Suppose -9*v + 4*v = -m. Is v < 1/9?
False
Suppose 27 - 36 = -3*t. Suppose 2*w + 13 = -t*u, -2*w - w = -u + 3. Let g be 6/(-30)*(-5)/w. Which is greater: g or 0.06?
0.06
Let g = 4044.81 - 4005. Let o = g - 40. Let z = o - -1.19. Which is greater: -0.2 or z?
z
Let r be ((-48)/(-32))/((-9)/24*2). Let a = 10 + -8. Suppose 20 = -a*w + 4*x, 5*x - 21 = -4*w - 9. Is w at least r?
True
Let f = -2332 - 1688. Let v be (-3)/45*f/(-3145). Let y = -6/185 + v. Which is bigger: 0 or y?
0
Suppose 19*y - 1022 = 8573. Is 504 at most as big as y?
True
Let x = -7 + 7.01. Let n = x - -0.15. Let b = 0.84 + n. Which is greater: b or -3?
b
Let i = 2910 + -2910.1. Let s = -88 - -39. Is s > i?
False
Let z(u) = 19*u + 30. Let x be z(10). Suppose -12*t - x = -t. Which is bigger: t or -22?
t
Let l(y) = -y + 9. Let i be l(-7). Suppose 0 = 2*p + 3*o - 78, 5*o - 119 = -9*p + 6*p. Let d = p + -18. Is i greater than d?
True
Let n = -4 + -10. Let m = 194 - 208. Does m = n?
True
Suppose -3*w + 387 = 354. Which is smaller: w or -6?
-6
Suppose -5*z - 3*j - 149 = 0, 3*z - 40 = 4*z + 4*j. Let a = z + 29. Which is greater: 0 or a?
a
Let u = -0.023 + -2.177. Let o = u - -2.4. Is o equal to -5?
False
Let m = -8 + 7.5. Let q = 0.9 - 0.5. Let k = m + q. Which is bigger: -8 or k?
k
Let b(h) = 2*h + 152. Let q(z) = -z - 51. Let f(c) = -2*b(c) - 7*q(c). Let s be f(-18). Which is greater: s or -2?
s
Let b(s) = s**3 + s**2. Let j be b(-2). Let n = 794/7995 - 16/123. Let h = -73/260 - n. Which is smaller: h or j?
j
Suppose 8*i = 39*i - 12803. Which is bigger: i or 1657/4?
1657/4
Let j = 454 + -454.06. Let m = 4 - 7. Which is smaller: m or j?
m
Let q = -185 + 1297/7. Suppose -2 = -3*f + 4. Suppose -f*z - 6 = -i + 10, -2*z - i = 16. Is z <= q?
True
Let y be 4/(-10) - (-858)/(-55). Let d = y - -10. Let n be (d/(-3))/2 - 1. Are 5 and n unequal?
True
Let a = 237 + -242. Which is smaller: a or 0?
a
Let r be 2248/5058*3/(-10)*-3. Let f = 5.09 + -0.09. Which is bigger: f or r?
f
Let l = -40 - -121. Let s be l/(-15) - (-10)/25. Let q(u) = -4*u**2 + 1. Let z be q(-1). Is s not equal to z?
True
Let w = 10 + -11. Let s(k) = -k**2 - 7*k. Let x be s(-7). Suppose x = -o + 5*o. Is w equal to o?
False
Let k(g) = -g**3 - 15*g**2 + 20*g - 31. Let r be k(-15). Let l = r + 16549/50. Is 0 at least as big as l?
True
Let o = -0.111 - 52.889. Let b = o - -40. Is b at least as big as -3/5?
False
Suppose -9*y = -6*y - 6. Let m(x) = 179*x**2 + 5*x - 5. Let g be m(y). Let u = 33889/47 - g. Is -1 not equal to u?
True
Let s(g) = g**2 - 13*g + 14. Let k be s(12). Suppose 3*x = -2*w - 7, -k*w - 2*w = 4*x + 16. Which is smaller: 2 or x?
x
Let m(n) = 7 - 3*n**2 + 3*n + n**3 + n**3 - 4*n**3 - n**2. Let i be m(-3). Which is bigger: i or -1?
i
Suppose 2*m = -0*m + 12. Suppose -o - 5 - 7 = -4*x, 2*o = -4*x + 24. Suppose -r - m = -4*v, 4*v = 5*r + v - x. Which is smaller: r or 0?
0
Suppose 203*w - 163*w - 120 = 0. Let j(a) = -a**2 - 9*a - 10. Let p be j(-7). Is w greater than or equal to p?
False
Let q = -1363 - -1358. Which is greater: q or -118?
q
Let z be 8/6 - 2337/(-9). Which is greater: z or 260?
z
Let x be 22/(-5) + (-15)/25. Let i(y) = y**2 + 6*y + 5. Let q be i(x). Which is smaller: q or 2?
q
Suppose 0 = 2*l + 3*h + 13, -8*l + 4*l = 4*h + 20. Suppose 4*s = w - 5, 6*w = -3*s + 2*w + 1. Which is bigger: l or s?
s
Let r be (2/1256)/(-9 - (-273)/28). Which is smaller: r or 0?
0
Let v = 52 + -45. Which is bigger: -7 or v?
v
Let i = 506 + -5593/11. Let l = 443/176 + i. Is l at least 0?
True
Suppose 2*v + 269 = 4*a + 3*v, 4*v - 124 = -2*a. Suppose -3*q - a = 2*j, -6*q + q - 118 = j. Is q at most -24?
True
Suppose -235 = -12*v - 871. Let h = v + 64. Which is bigger: h or 43/4?
h
Let a = 306 - 85. Let s be (a/(-65))/(1/(-5)). Which is greater: s or 18?
18
Let n = 21 + -28. Let z = 22 + n. Let r = -14 + z. Which is bigger: r or -15?
r
Let p = -10 - -10.01. Let o = -0.06 - p. Let i = o - -5.07. Is 1/2 >= i?
False
Let g = -1713 + 1685. Is g at most as big as -31?
False
Let h = 364759/268761 - 137/101. Let f = 31946/18627 - h. Is 3 greater than f?
True
Suppose -i = -s - 6, -3*i - 28 = 3*s + 20. Is 3 < s?
False
Let j(c) = -c - 197. Let k be j(-27). Is k bigger than 1/3?
False
Let n = -3886 - -23381/6. Which is smaller: 12 or n?
n
Suppose 110 = -41*j + 30*j. Is j at most as big as -12?
False
Suppose -5*l + 4*r - 15 = -r, 2*r - 6 = -5*l. Let t be 5/(-5)*1*3. Let f be (4/(-6))/((-2)/t). Are f and l equal?
False
Let r = -27 - -27.058. Let m = 30.942 + r. Which is smaller: -1/3 or m?
-1/3
Let d = 17786/3 - 5870. Which is bigger: 58 or d?
d
Let n = 1350 + 123. Which is bigger: 1474 or n?
1474
Let z = -1829/7 + 261. Let o = 21 - 10. Is o smaller than z?
False
Let k be (-129)/(-110) - (-1)/(-2 + 1). Let m = k + -3/11. Is -2/5 smaller than m?
True
Let m(y) = -4*y + 3*y - 35 - 5*y + 11*y. Let j be m(7). Let b(t) = t**2 - 2*t + 3. Let g be b(2). Is j > g?
False
Let g = -85 - -88. Suppose 2*h + 3*l = 8, 4*l - 8 = 2*l. Let y = g + h. Is 1/2 > y?
False
Let l = -472876/6758037 + 2/47259. Which is smaller: -1 or l?
-1
Let b = -124 + 121. Is b less than 206?
True
Let i be (-48)/(-36)*(-6)/4. Let v be (0 - (2 - -5)) + i. Let b = 11 + v. Which is greater: 9 or b?
9
Let j = -2207/380 - 42/95. Which is greater: j or -7?
j
Let f = 1 - 0.86. Let n = -0.24 + f. Let m be (-2)/8*-2*3/12. Which is bigger: n or m?
m
Let y be (2 - 8) + (-21 - 90/(-18)). Let x = -2.6 - 0.4. Is y != x?
True
Let m = 0.29 + -0.18. Let h = 324/1661 + -2/151. Is m at most h?
True
Suppose 10*l + 7*l = -6409. Which is greater: -376 or l?
-376
Let d(i) = -4*i**3 + i. Let f be d(1). Let y = 4 + f. Let s = -43/15 - -569/195. Which is greater: y or s?
y
Let x = -1921 - -1920.956. Which is smaller: -6/13 or x?
-6/13
Let v = -137 + 144.8. Let m = v - 7.7. Which is smaller: m or 17?
m
Suppose -17*b - 3210 = -11*b. Let d = -46547/87 - b. Is d < 0?
True
Let b be (0 + 22)*351/(-26). Let n = 1775/6 + b. Which is smaller: n or -1?
n
Let v = -43/10 - -19/5. Let l(k) = -k**3 + k**2 + 3*k - 4. Let w be ((-7)/(-3) + -1)*(-24)/(-16). Let f be l(w). Which is smaller: v or f?
f
Let t = 322 + -323. Which is smaller: -97 or t?
-97
Let f(l) = l**2 - 3*l - 4. Let m be f(4). Suppose 1165 = 5*d - c, -d - 2*c + 454 = d. Let y be ((-87)/d)/(-1 + (-1)/2). Is m < y?
True
Let q be 0 - -9 - 5/5. Let u(r) = r**2 - 7*r - 7. Let p be u(q). Let f be -4*(-3)/12*p. Is f less than or equal to 2/15?
False
Let b(z) = 74*z - 432. Let u be b(6). Suppose 3*p - 4*y - 17 = 27, p - 14 = y. Are u and p nonequal?
False
Suppose 2*f = -10, 3*f + 79 = 4*y + 4*f. Let g = y - 16. Let a(n) = n - 3. Let p be a(g). Is 3/5 equal to p?
False
Suppose 3*l + f - 71 = -2*l, l - 2*f - 23 = 0. Suppose l = 5*q - 2*q - g, -5*q + 18 = -4*g. Are q and 1 equal?
False
Let i = -2155 + 2190. Are i and 37 non-equal?
True
Let o = -42 - 1. Let h(a) = -a - 43. Let g be h(0). Is o at most g?
True
Let f be -6 + 17/(2312/768). Is -1 < f?
True
Let w(z) = -z**2 + 4*z - 6. Let d be w(4). Let l be 1*-1 + (d - -4). Let t be (8/(-36))/(2/l). Is t less than 0?
False
Let r(z) = 8*z - 4. Let d be r(2). Let v be 9/(-21) + d/(-21). Is 4/17 at least as big as v?
True
Let h = 41 - 33. Suppose 0 = v - h*v. Which is smaller: v or -2/27?
-2/27
Let r be (1148/123)/(6/81