Is -2/3 < f?
True
Let a(n) = -3*n + 2. Let p be a(-7). Are 22 and p unequal?
True
Suppose 0 = -3*p - g + 4, -7*p + 3*p - 2*g = -4. Suppose v = -4*d - 0*v - p, v - 5 = 3*d. Is -4/9 > d?
True
Let v = 0.6 - 5.6. Let f = v - -4.98. Which is greater: -1/3 or f?
f
Let h be (6/(-15))/(2/(-50)). Suppose 2*p - h = 4*l + 8, 2*l = -3*p - 5. Which is smaller: p or 0?
0
Let i = 12 + -10. Suppose 2*h + 3*h = -5*v + 15, 0 = 4*v + 3*h - 15. Which is smaller: i or v?
i
Let i(g) = g**3 - 2*g**2 - 3*g + 3. Let k be i(2). Which is bigger: -1 or k?
-1
Let m be 86/(-9) - (21 + -25). Are -5 and m non-equal?
True
Let u = 5 + -16/3. Which is greater: 0.6 or u?
0.6
Let h = -13 + 14. Let t = 3 + h. Which is bigger: -2/7 or t?
t
Let u(p) = -p**3 - 2*p**2 + 4*p + 1. Let v be u(-3). Let y be 1/v*8/(-20). Let n = -1 + 1. Are n and y equal?
False
Let t(p) be the third derivative of -p**5/60 + p**3/6 + 3*p**2. Let s be t(2). Which is smaller: 0 or s?
s
Let s = -11/321 + -3335/15087. Let a be (-1 - 92)*22/(-20163). Let z = a + s. Does z = 0?
False
Let c(l) be the third derivative of -l**6/120 + 3*l**5/20 - 3*l**4/8 + 3*l**3/2 + l**2. Let n be c(8). Which is bigger: n or 2?
2
Let o(a) = a**3 - 5*a**2 - 6*a. Let b be o(6). Is 4/19 != b?
True
Let h = -0.03 + 0.05. Let y = 0.12 - h. Are y and -4 unequal?
True
Let z = -3 + 2. Let m = 6.5 - 6.2. Is m less than or equal to z?
False
Let c be 2/18 + 245/63. Is 4 greater than or equal to c?
True
Let n = 14 + -18. Is n at most as big as 1/2?
True
Let s = 2 - 0. Let z = -12 - -8. Let b = z + s. Which is smaller: b or 0.1?
b
Let v = -3 + 8. Let r(t) = -2*t + 9. Let i be r(v). Which is greater: i or -1/5?
-1/5
Let f = 105/2 + -521/10. Which is greater: f or 0?
f
Let l = 139 - 971/7. Which is smaller: -4 or l?
-4
Let k = -7 + 11. Let v be k/(-14) + 2/5. Let j = -82/105 + v. Which is greater: -2 or j?
j
Let q(t) = t - 3. Let n be q(7). Let d(l) = l**2 - 5*l + 6. Let u be d(n). Suppose 3*j + 4 = -u. Is j < -1?
True
Let s = 0.115 + 0.685. Let l = 1 - 1.1. Which is bigger: l or s?
s
Suppose 4*w = 0, 0 = -p - 2*w + 2. Let h(x) = -p*x**2 + 3 - x + x**2 + 2*x. Let q be h(0). Are 3 and q equal?
True
Let u(v) = v. Let i(m) = 6*m - 4. Let z(q) = i(q) - 5*u(q). Let d be z(2). Which is smaller: d or 0?
d
Suppose 0 = -5*d - 187 - 88. Let u = 221/4 + d. Let l(i) = -i**2 - 2*i - 1. Let y be l(-1). Is u greater than y?
True
Suppose 2*a = -4*a + 120. Let j = 19 - a. Does 1/3 = j?
False
Let y = -2/5007 - -610864/25035. Let n = -36 + 12. Let g = n + y. Do g and -1/5 have different values?
True
Let w = 6 - -3. Suppose 5*h + w = 6*j - 3*j, h = -3*j + 9. Which is bigger: 4/5 or h?
4/5
Let v be (1 - (-13)/(-7)) + 1. Suppose 0 = 2*q - 5*y - 25, -2*q + 4*y + 14 = -6. Which is greater: q or v?
v
Let x be (20/(-12) - -2)*3. Which is bigger: 4/7 or x?
x
Let s = 8.7 - 9.7. Which is greater: s or 46?
46
Let i = 16 + -17. Which is greater: -3 or i?
i
Let k(n) = -11*n - 2*n**2 - 2*n**2 - 3 + n**3 - 4*n**2 + 13. Let f be k(9). Is -7 equal to f?
False
Let c be (-1)/(3/12) + (0 - -2). Is -7/11 > c?
True
Let x(m) = 2*m**2 - 2*m. Let g be x(-2). Let a = g - -12. Let q be 32/a*3/2. Is 5 less than or equal to q?
False
Let o(v) = -v**2 - 2*v + 3. Let k be o(-3). Which is greater: k or -3/4?
k
Let n(f) = 3*f + 9. Let u be n(-4). Is u less than -3?
False
Suppose 3*r + 3 = -18. Let j = r - -7. Let d = 110/3 - 37. Which is bigger: d or j?
j
Let l be -3 + (-126)/39*-1. Which is bigger: -1 or l?
l
Suppose 40 = 2*k + 3*c, -5*k + 4*c - 49 + 149 = 0. Let r be ((-15)/k)/((-30)/16). Which is smaller: r or -1?
-1
Suppose 3*r = -m + 4*r - 1, 0 = -3*m - 4*r - 10. Let f be (-3 + m)*(-2 + 3). Is -3 < f?
False
Let y = 3.9 - 4.9. Is y less than -2/49?
True
Suppose 3 = -2*w + 3. Is 1/9 smaller than w?
False
Let c(t) = t**3 + t**2 - 4*t - 2. Let u be c(-3). Let r be (476/(-8))/7 - -1. Is u less than r?
True
Let k(b) = -b**3 - 2*b**2 + 2*b - 2. Let d be k(-3). Which is smaller: d or -1?
-1
Let v be (-24)/9*(-6)/(-4)*-6. Is v at most as big as 25?
True
Suppose 0*b + 2*b = 20. Which is smaller: b or 12?
b
Let c = -1551019 + 41884184/27. Let p = 247 - c. Is p at most -1?
False
Suppose -p + 11 = 2*k, 4*p - 16 = -2*k - 2. Which is bigger: -1/4 or p?
p
Let q be 18/12 + 19/(-10). Which is smaller: 0 or q?
q
Let k be 72/20*(-20)/(-12). Is 3 less than k?
True
Suppose -17 - 15 = -3*r + 5*s, 2*s = r - 10. Is r less than 15?
True
Let n(d) = -d**3 - 6*d**2 - 6*d - 4. Let b be n(-5). Let f = -4.7 + 0.7. Let c = f - -3.9. Is b at most as big as c?
False
Let y = -0.08 - 0.12. Let q = -1.1 + -6.9. Let l = q + 6. Which is greater: y or l?
y
Let h be 9/21 - 2 - -1. Is h less than 0?
True
Let t(r) be the first derivative of r**2 + 2*r + 1. Let z be t(2). Which is bigger: 8 or z?
8
Let h = 1327 + -9307/7. Are -4 and h unequal?
True
Let b = -2 - -2.2. Let v = 16.98 + -17. Is b less than or equal to v?
False
Let m(t) = t**2 - 3*t. Let g be m(5). Suppose 2*b - 6*b + 8 = 2*k, 5*k + g = 0. Let s be 3/6*-2*b. Is -3 less than or equal to s?
True
Let o be (-19)/17 + 6/51. Is 4 > o?
True
Let m(c) be the second derivative of -c**5/20 + c**4/3 - c**3/2 + 2*c**2 - 3*c. Let f be m(4). Which is smaller: -9 or f?
-9
Let a be 1/6 + (-85)/(-30). Suppose -3*c = h + a*h - 79, -4*c + 110 = 3*h. Suppose -4*z - 9 = -c. Which is greater: 4 or z?
z
Let c(f) = -f**3 + 8*f**2 + 10*f - 8. Let t be c(9). Is t greater than 1/9?
True
Let c = -979/2568 - -2/321. Let j = c - -45/56. Let x(n) = n + 2. Let a be x(-2). Are a and j non-equal?
True
Suppose 2*b - 3*p + 6 = 0, -3*b = -p + 4 - 2. Let n be b/(-1) - (15 + -12). Is -4 greater than or equal to n?
False
Let z = 11 - -1. Let t be (-2)/(-8) + 1/z. Is t < -2?
False
Let i = -3616/13 + 278. Which is greater: -1 or i?
i
Let k = -6001238109/18805723 - -2/1106219. Let j = k + 319. Is -1 greater than j?
False
Let y = -7/6 + 5/6. Suppose -f + 2*f = 0. Let z be (f - 3)*4/9. Is z equal to y?
False
Let h(q) = -q**2 + 4*q. Let y be h(-3). Is y >= -21?
True
Suppose 1 - 6 = -5*t. Are 2/123 and t equal?
False
Let z be 1 + 2/((-6)/(-9)). Let v = z + 0. Suppose -6*s + v*s = -4. Is 2 at most s?
True
Let d(n) = n**3 - 5*n**2 + 6*n - 4. Let a be d(4). Suppose y - a*y = -15. Suppose 32 = c - y*c. Is -7 smaller than c?
False
Let d = 0.35 - -0.05. Let q = d + -0.4. Which is smaller: 2 or q?
q
Let n = -2 + 3. Let s = -3.9 - 14.1. Let j = 20 + s. Which is smaller: n or j?
n
Let u be -2*23253/(-23268) + -2. Let v = -158449/3878 - u. Let l = v - -41. Which is bigger: l or 0.1?
l
Let h(z) = -z**3 + 5*z**2 + 3*z + 3. Let b be h(5). Suppose -5*a + 5*g + 14 = -6*a, 5*a - b = -3*g. Is 5 equal to a?
False
Let s = -46 - -32. Which is smaller: -7 or s?
s
Let a = -1 + -8. Let s = -5 - a. Is s smaller than 5?
True
Suppose -8*u + 3*u = -15. Suppose -s = u*s. Is -2/13 at least as big as s?
False
Let w = 13 + -13.2. Is w greater than -0.16?
False
Let g = -48 + 47. Which is smaller: g or -1/70?
g
Let y = 0.11 - 5.11. Let p = -6 - y. Let k = -26 + 236/9. Which is bigger: k or p?
k
Let h = 479 - 7667/16. Is h bigger than 0?
False
Let l(w) = -w**2 - 2. Let k be l(4). Let n be ((-5)/(-15))/(2/k). Let g(z) = -z**2 - 5*z - 6. Let v be g(-4). Which is bigger: n or v?
v
Suppose 0 = -3*z + 3*k + 7 + 2, -3 = -5*z + 2*k. Does -1/12 = z?
False
Suppose -14 = -n - n. Suppose 3*h = -16 + n. Which is smaller: -4 or h?
-4
Let n = 58 - 53. Let i be 1/2 - (-18)/4. Is n greater than i?
False
Let p = -54 - -38. Let x = p - -17. Which is bigger: x or 2/55?
x
Suppose -160 = -4*r - 3460. Let n = r + 1195. Let d be 4/(-14) - n/(-70). Does 9/2 = d?
False
Suppose 0 = -3*k - 3*k. Is k < 0?
False
Let y be 10/(-40) - (0 - 0). Is -4 greater than y?
False
Suppose -2*y = -0*y. Suppose -3 = -3*h + 9. Let m be (-20)/h*(-4)/10. Is y greater than or equal to m?
False
Let y(b) = b**2 - 5*b - 8. Let k be y(6). Let a(s) = s**2 - 10*s + 2. Let q be a(-7). Let r = 481/4 - q. Is r <= k?
False
Suppose -2 - 6 = m. Is -8 greater than or equal to m?
True
Let l be -2 - -5 - 3 - 13. Let j = l - -2. Which is smaller: -10 or j?
j
Suppose -5 = -3*d + 7. Suppose 8*r = d*r. Is r not equal to -1/10?
True
Let d(n) = -n**3 + 7*n**2 + n - 21. Let c be d(6). Which is smaller: c or 22?
c
Let s be (3/(-9))/(2/(-90)). Suppose s*c - 1 = 14*c. Which is bigger: c or 1/3?
c
Let b = -14/13 + 128/143. I