0*v - 1353. Let f = -1139301 + 19360452/17. Let k = v + f. Is k < 0?
False
Suppose -o + 4 = 0, -3*o + 2*o = -5*z - 24. Let t be 18/z*4/(-3). Suppose -q = -3*q - t. Are q and -2 non-equal?
True
Suppose 0 = 2*l - 8. Suppose g + l*d - 1 = 0, -4*g + 0*g = -5*d - 25. Which is smaller: g or 2?
2
Let v be (5/3)/(2/(-12)). Let x = v + 8. Let r be x/(-6) + (-4)/6. Is r > 0?
False
Let a(o) = o**3 - 7*o**2 - 7*o - 8. Suppose -5*u + 40 = 3*k, 0*k = -4*u + 2*k + 32. Let x be a(u). Are -3/14 and x unequal?
True
Suppose 0 = 23*f - 22*f + 11. Which is smaller: -1 or f?
f
Let f = -26 - -25.89. Let k = f + -0.59. Let i = k - -1. Which is smaller: i or -2?
-2
Let q = -5 - -41. Let p be 8/q*(-3)/4. Which is greater: 2 or p?
2
Let v = -3 - -12. Let c be (-8)/12 + 6/v. Which is greater: c or 3?
3
Let o be -1 + 0 + (-16)/20. Which is smaller: -2 or o?
-2
Let u = 0 + 18. Which is bigger: -1 or u?
u
Suppose -5*l + 2*l = -12. Suppose 12 = -3*i, -l*a + 0*i = 5*i + 36. Which is smaller: 0.1 or a?
a
Suppose -3*k = 5*c - 31, -c + 6*k + 17 = 3*k. Is 11 greater than c?
True
Let h be 12/50*40/32. Is h > 0?
True
Let r = -0.3 + 0.4. Let c be (-2)/(-9) - (-36 + -5). Let f = c - 41. Which is smaller: r or f?
r
Let f = -83/2 - -41. Are -2/33 and f nonequal?
True
Suppose 2*t = 8, 0*o = o - 2*t + 6. Let q(w) = w**2 - 1. Let z be q(1). Let u = z - -4. Is o at most u?
True
Suppose 5*r + 4*t = 45, -4*r + 5*t + 12 = -65. Suppose 5*m + 2*p + r = -0*p, -5*m - 18 = -3*p. Let z be (-8)/(-6)*(-1 - 2). Which is bigger: z or m?
m
Suppose 5*t - 4*l - 16 + 5 = 0, 5 = 5*l. Let w(k) = k - 12. Let q be w(0). Let v be -2 + 3 + q/(-6). Are v and t unequal?
False
Let j = -0.2 - -0.2. Let q = j + 0.2. Is -0.1 bigger than q?
False
Let a = 7966/9 - 886. Is a at least as big as -1?
True
Let w = 30 + -28. Let x = 10/3 + -3. Is x bigger than w?
False
Let k be (-8)/(-2)*(-4)/8. Let n = 1 + k. Which is smaller: n or -2?
-2
Suppose 0 = -4*c - 3*x + 7*x - 12, 0 = -5*c + x - 3. Let k = -370758097/1320 - -1123511/4. Let v = k - 1/264. Which is bigger: v or c?
v
Suppose 3*x - 12 = -3*z, -z + 4 = -3*x - x. Suppose -s = -x*s + 11. Is 0 smaller than s?
False
Let g = 0 - 0. Suppose g = 3*b - b. Which is smaller: b or -1?
-1
Suppose 0 = 3*h - 0*h - 6. Let v(z) = h + 2 + z + 0. Let a be v(-5). Are a and -1/4 non-equal?
True
Let l be (6/(-26))/((-6)/4). Let z = -39 - -15. Let h = -23 - z. Which is bigger: h or l?
h
Let q = -28 + 36. Is q greater than or equal to 11?
False
Let w(v) = -3*v + 55. Let a be w(25). Is -19 < a?
False
Let a = 3833/14 - 274. Let q = 13/28 + a. Let x = 4 - 4. Is q at most as big as x?
False
Let h be (0/(-2))/(3 + -2). Let x = h - -2. Let n be x/(1/1) - 3. Is -2/21 equal to n?
False
Let v = -95/812 + -3/116. Suppose -4*t + 13 - 4 = p, -5*t + 5*p = 20. Which is greater: t or v?
t
Suppose 0 = -4*i - 3 - 1. Is 2/29 at least i?
True
Suppose 85*x = 83*x + 4. Let c = 21 - 11. Let j be (-12)/15 - 2/c. Which is greater: j or x?
x
Suppose 440 = -5*g + 3*q, 5*g + 243 = -5*q - 237. Let h = -369/4 - g. Which is smaller: -1 or h?
h
Let w be 2/((-4)/(-6)) - 2. Let j(m) = m**3 + 5*m**2 - 2*m - 5. Let g be j(-5). Suppose 5*u = -10, -2*i - 3*i - 5*u + g = 0. Which is smaller: w or i?
w
Let b = 1.4 - 0.4. Let f = 2 - 2. Let k = f + 1. Is b greater than k?
False
Suppose -3*s + d + 4 = 0, 2*s + 2*s = -d - 4. Suppose -3*b - 12 = s, -6*b + b = -h + 20. Let t = -1249/7 - -178. Which is smaller: t or h?
t
Let d = -1 - 0. Let g(f) = f**3 + 3*f**2 + f + 2. Let p be g(-3). Let h = p - d. Is -2 >= h?
False
Let c be -2 - (-8)/1 - 0. Let f = 7 + -6.6. Let h = f - 0.3. Is h >= c?
False
Let b = 0.3 - 0.3. Let o = b - 0. Let t = 0 - o. Is t >= 0.1?
False
Let w(q) = q**2 - 13*q - 2. Let z be w(13). Which is bigger: z or -1/2?
-1/2
Let j be ((-9)/27)/(2/(-9)). Are j and 3 nonequal?
True
Let z(h) = -h**3 - 2*h**2 - 4*h - 3. Suppose 4*y - 4*a = -20, 5*y - 3 = 2*a - 19. Let l be z(y). Is l at most as big as 6?
True
Let u = -1.2 - -6.2. Let i = -5 + u. Which is bigger: -7 or i?
i
Let b be 26 + 0 + -6 + 6. Suppose -5*a = -b - 14. Let v be a/(-6)*(-9)/(-114). Is v equal to 1?
False
Suppose -2 = -m + 2. Let r be -3*m/3 + -1. Is r <= -3?
True
Suppose 0 = f - 1 + 2. Is f smaller than -7/3?
False
Suppose -t = -3*d - 4*t + 51, 3*t + 45 = 5*d. Suppose 0 = -4*s + d - 0. Suppose 4*r - 2*h = s*h - 9, 4*r + 3 = -h. Which is bigger: r or -2?
r
Let m be (-3)/8*(-4)/6*4. Let d be (-4)/15 - 4/(-6). Which is greater: m or d?
m
Let d = -2 + 6. Let j = d - 3.9. Is 0.2 bigger than j?
True
Suppose j = 0, -2*q + 3*j = -0*j. Suppose -g + 3*i - 5 = 0, 7 = -3*g - q*g + 5*i. Let r be 1 + -2 + 2 - 0. Is r less than or equal to g?
True
Let t(u) = u**3 + 3*u**2 + 2*u + 2. Let x be t(-2). Suppose 5*b + x*m = 15, -9 = -3*b + m - 4*m. Let v = 93 + -89. Which is smaller: b or v?
b
Suppose v + 1 = -0. Which is greater: -8/9 or v?
-8/9
Let g(d) = -1 + 4*d + 0*d**2 - d**2 + 2 - 5. Let s be g(3). Are s and 0 nonequal?
True
Suppose 0 = -b, h + 0*b = 4*b + 189. Let k be -2 + ((-1335)/h)/(-5). Let v = -10/21 - k. Is 1 bigger than v?
True
Suppose i + 18 = 4. Is -1 at least i?
True
Let z(y) be the first derivative of -y**3 - y**2/2 - 3*y - 5. Let k be z(-2). Is -14 at least k?
False
Let l = 0.48 - 1.56. Let c = l + 0.08. Are -5/3 and c non-equal?
True
Let l = -0.2 - -1.2. Let a = -19 + 19.11. Let d = a + 0.29. Is l smaller than d?
False
Let g = 65 + -581/9. Suppose 5*v + 6*h = h + 5, 5 = -5*h. Suppose -v*w - 10 = -w + 5*y, 4*w + 10 = -5*y. Is w <= g?
True
Let p be -1 + 0 + (-2 - -2). Let m = 269/264 + -23/24. Is m greater than or equal to p?
True
Let a = 1.1 + -1. Is -5/2 at least as big as a?
False
Let b be (4 - 2)*(-1)/(-2). Suppose 2*u - 4*o + 26 = 0, -4*u - 2*o = 14 + 8. Let y be u/(-3) + 3/(-9). Is y smaller than b?
False
Let u = 11 - 9.7. Do 0.4 and u have the same value?
False
Let h = -118/207 + 8/23. Is 3/5 less than h?
False
Let j = -5717/24 - -238. Let r = 1/12 + j. Which is greater: r or 1?
1
Let j be 2/(((-7)/(-6))/7). Is j at least 14?
False
Let i(a) = -a**2 + 2*a - 8*a - a - 3. Let f be i(-6). Let t be 4/2 - (-2 + f). Which is bigger: 0 or t?
t
Suppose 3*o + 179 + 349 = 0. Let m be o/(-420) - 2/7. Is m < -1?
False
Let r(a) = -a - 3. Let p be r(-5). Let j be 1/p*(25 - 1). Let u be ((-1)/(-11))/((-6)/j). Which is smaller: 1 or u?
u
Let j = -15 + 3. Let m = -11 - j. Let w(l) = -l**2 - 5*l + 2. Let r be w(-5). Is r at most as big as m?
False
Let i(o) = o**3 - 2*o**2 + 1. Let b be i(2). Let p be b + 6*(-1)/4. Let j = -0.2 - -0.3. Is p equal to j?
False
Suppose d + d = 0. Let c = 2 - 4. Let b be 1*(c + (-1 - -3)). Are b and d equal?
True
Let q(t) = -t**2 + 3*t - 3. Let k be q(2). Suppose -2*h + h - 3 = 0. Let v = h - k. Is 0 less than v?
False
Let t(k) = -5*k**2. Let r be (14/21)/(2/3). Let f be t(r). Is -6 at most as big as f?
True
Suppose 0*i - 30 = 2*i. Let j be 32/i + 4 + -2. Is 1 smaller than j?
False
Suppose -5*a = -c + 23, -3*a + 1 = -c - 4*a. Suppose 5*i - c = -m, 3*i = 4*m + 12 - 1. Is 0 greater than i?
False
Let n(r) = -r**2 - r. Let q be n(1). Let y be q*(1/(-2))/(-1). Suppose -4*k - 2 = 5*p + 11, -2*k + 2*p = 2. Which is smaller: k or y?
k
Let r = 2/6209 + -108216/6209. Is -18 not equal to r?
True
Let h be -2 - 7/((-7)/6). Let x(q) = -q**2 + 4*q. Let c be x(h). Is 2/5 at most c?
False
Let q = 1/9 + -61/387. Is q at least as big as -1/4?
True
Let d(p) = 3*p. Let z be d(1). Suppose 1 = -z*f - 2. Is -1/4 != f?
True
Suppose 6 = -s + 4*s. Let c = -7 + 4. Let d = c + 2.9. Is s != d?
True
Suppose b + 0*b + 0*b = 0. Is 2/85 smaller than b?
False
Suppose 5*t + 6 = -2*d, -5*t + 3*t - d - 3 = 0. Suppose i + t*i = 2. Is 3 smaller than i?
False
Suppose 0 = -2*p + 21 - 7. Let c(k) = -7*k**3 - 2*k**2 + 1. Let y be c(-1). Is y > p?
False
Let n(b) be the third derivative of b**5/20 - b**4/24 + 2*b**3/3 - 9*b**2. Let y be n(2). Is y equal to 14?
True
Suppose -o = 3*g + 3, 3*g + o = 4*o + 9. Let n = -9 + -12. Let p be g + 15/n + 1. Do 0 and p have the same value?
False
Let x(d) = d + 5. Let i be x(3). Let u be ((-2)/(-3))/(10 - i). Suppose 0 = 4*z - 17 - 3, -4*z + 20 = -w. Are u and w non-equal?
True
Let s be (-1 + 3)*2/4. Let y be (5/(-10))/(2 - s). Which is bigger: 5 or y?
5
Suppose -4*g - 15 - 49 = 0. Is -16 != g?
False
Let w = -0.05 + 4.05. Is 1/3 greater than or equa