4. Is t not equal to 3?
True
Suppose -3*o = -0 - 12. Suppose o*n - 2 = -6. Suppose 0 = -3*b - 4*b. Which is smaller: b or n?
n
Let c = 144 + -126. Which is smaller: c or 12?
12
Let n(c) = c**2 - 9*c + 7. Let g be n(8). Is g >= -4?
True
Let s = 111/2 - 164/3. Which is bigger: 1 or s?
1
Suppose -5*z - 5*j = -4*j - 4, 0 = -z + 5*j + 6. Let n = z + -1. Are -3/8 and n nonequal?
True
Let m = 79/4 + -19. Let g = -1832 - -51279/28. Let k = g + m. Is k smaller than 1?
True
Let z(r) = 3*r + 17. Let j be z(-5). Is -37 at most j?
True
Suppose -2*u = 3*a - 3, 0 = -5*a - 5*u - 0*u. Suppose -a*d + d - 6 = 0. Are -2 and d non-equal?
True
Let w = 13 - 13. Suppose -3*g + 4 = -2. Is g equal to w?
False
Suppose 4*m + 11*p = 6*p + 42, 22 = 2*m + 3*p. Is 4 less than or equal to m?
True
Let z(g) = g - 11. Let o be 6 - 1 - (0 + -2). Let w be z(o). Which is smaller: -2 or w?
w
Let c(w) = w**3 - 9*w**2 + 7*w + 9. Let f be c(8). Which is smaller: 10/9 or f?
f
Let m be 1/2 + (-247)/105. Let l = m + 31/15. Which is smaller: l or 0?
0
Let b = 0.65 - -0.05. Let g = 3.8 + b. Let o = g + -5. Is o bigger than -1?
True
Let p = 18 + -15.4. Let d = 0.6 - p. Let b be 13/273 + 2/7. Which is smaller: d or b?
d
Suppose 9*d + 3*w = 8*d + 14, -4*d - 4*w + 24 = 0. Which is smaller: 26/11 or d?
d
Let x = -1742/9 + 194. Which is smaller: x or 1?
x
Let n = 9 - 1. Let m be 3/(-6) + (-12)/n. Is -5/6 bigger than m?
True
Suppose -2*v - 8 = -0*v. Let f(y) = 9*y. Let r be f(-1). Let b = 4 + r. Is v > b?
True
Let f(p) = -2*p**3 + p**2 + p - 1. Let q be f(1). Let o be (4/6)/(q/3). Let h be 4 - (-32)/(8/(-2)). Is h > o?
False
Let p = 3 - 5. Let j(s) = 2*s + 3. Let a be j(-2). Is p > a?
False
Let t = -10 - -14. Suppose -t*y + 3*b = -4 + 8, -2*y = 4*b + 2. Is y greater than -4?
True
Let v = -8 + 6. Let j be 26/(-12) - 11/(-11). Is v >= j?
False
Let q = -6598/135 + 244/5. Is 1 at least as big as q?
True
Let c be 1/(-4)*(-16)/102. Let y = c - 19/51. Is y <= 2?
True
Let y(m) = 8*m**2 - 5 + 2*m**3 - 11*m - m**3 + m. Let g be y(-9). Let u be (-20)/(-6) - (g + -1). Which is smaller: u or 1?
u
Suppose 4*h - 83 = 61. Let v be h/15 + -2 - 0. Is -2/3 >= v?
False
Let s(i) = -i + 1. Suppose w + 4 = r, -4*r + 8 = -8*r - 2*w. Let n be s(r). Which is smaller: 0 or n?
0
Let t be ((72/15)/(-3))/((-1)/(-5)). Which is smaller: t or -34/5?
t
Let c(m) be the second derivative of -13*m**5/10 - m**4/12 + 10*m. Let n be c(-1). Is 25 less than n?
False
Let x = -21/10 + 3/5. Are x and -0.08 equal?
False
Suppose v - 2 = 2. Let u = -5 + v. Let j = -6 - -5. Are u and j unequal?
False
Let g = -2 + 2. Let n be -7 + 4 - (-1908)/14. Let d = -133 + n. Is g > d?
False
Let w(f) = 3*f**3 - 1. Let m be w(1). Let d be 3*(-1 - 0) + m. Which is smaller: 1/13 or d?
d
Let y = -3 + 4. Is 0 less than y?
True
Let u be (-66)/(-90) - (-2)/(-6). Let j = -4.12 - -0.12. Is u at least j?
True
Let z = 14 + 5. Suppose -7 = -4*n - z. Suppose 4 = -w - 0*w. Is n greater than or equal to w?
True
Let f be (-4)/11 - (-24)/132. Which is greater: f or -2?
f
Let v be 24/(-30) + 1/(-5). Let f(c) = -c**3 - c**2 - 1. Let j be f(v). Is j less than -1/10?
True
Let h = 7 + -9. Let f = h - -2. Is -3/4 != f?
True
Let q = -0.1 - 0.9. Let a = q + 2. Let m = 0.1 + -0.3. Which is bigger: a or m?
a
Let o(p) = -p**3 - 5*p**2 - 3*p + 3. Let z be -2*(225/(-6))/3. Suppose 5*t + z = 5. Let g be o(t). Which is smaller: 1/4 or g?
g
Let q(v) be the third derivative of -v**2 - 1/120*v**6 - 1/60*v**5 + 1/24*v**4 + 0*v + 1/6*v**3 + 0. Let c be q(-1). Which is greater: c or 1?
1
Let g = 4 + -4. Suppose 5 = -l - g. Which is greater: l or -6?
l
Let j be 9/21*35/(-10). Which is greater: j or -1?
-1
Suppose -2*p = 4*f - p - 23, -5*f = -5*p - 10. Suppose f*v = 3*x - 12, 3*v - 7*v = -x + 4. Are -4/3 and v unequal?
True
Suppose -f = 1 + 1. Let n be (0 - 2/6)/f. Which is greater: -1 or n?
n
Let y be -3 + 3 + (-1 - 0). Does -3/7 = y?
False
Suppose -b + 3 = 4, -3*b + 13 = -4*y. Let a(u) = u**3 + 3*u**2 - 6*u - 4. Let f be a(-4). Let j = f + y. Is 0.2 at least as big as j?
True
Suppose 0*y - 2*y = 0. Suppose y*f = -4*f. Which is bigger: f or 1?
1
Let k be 2/3 + (-2)/(-6). Suppose -3 = 2*d + k. Let f = -197/357 - 1/51. Which is bigger: f or d?
f
Let h = 126 + -105. Is 21 < h?
False
Let w = -0.22 - -0.22. Which is smaller: 2/7 or w?
w
Let l be ((-8)/24)/(2/6). Which is greater: l or -1/98?
-1/98
Let c = 8.5 + -4.7. Let k = -2 + c. Let b = k - -0.2. Which is smaller: 0.2 or b?
0.2
Let j(z) = 14*z + 9. Let i be j(-6). Let q = i - -223/3. Is q bigger than -2?
True
Let n = 10 - 18. Let b be n/2*(-3)/12. Is b >= -2/11?
True
Let o be (-164)/(-14) + 6/21. Suppose -4*b + o = -8. Which is bigger: 4 or b?
b
Let l = -28 + -12. Which is greater: l or -39?
-39
Let s = 2 - 3/2. Let a = 161/204 - 2/51. Are s and a equal?
False
Let x = 33 + -33. Which is smaller: x or 0.1?
x
Suppose 0 = -w + 5 + 13. Let o = w - 13. Suppose -2*a = -o*a - 6. Which is smaller: a or 0?
a
Let s(q) be the first derivative of q**3/3 - 3*q**2 - 9*q + 1. Suppose -3*b = 9 - 30. Let f be s(b). Is f greater than -1?
False
Let c be (-16)/(-5) - 20/100. Let k(u) = 2*u**2 - u - 2. Let h be k(2). Which is smaller: h or c?
c
Let g = -4 - -3. Let q = 3 - g. Let u = -3 + q. Which is smaller: 1/2 or u?
1/2
Suppose 4 = -3*w + 5*w. Which is bigger: w or 3?
3
Let q(p) be the third derivative of -p**5/60 + p**4/6 + p**3/6 - p**2. Let x be q(4). Is -1 bigger than x?
False
Let i = 33 + -31. Which is smaller: 2/11 or i?
2/11
Let p = 30 + -29. Which is smaller: p or 2/67?
2/67
Suppose -2*j - j = 12. Let n(w) = -w + 4. Let a be n(j). Let r(i) = i**3 - 7*i**2 - 9*i + 10. Let f be r(a). Which is greater: f or 1/2?
f
Let l = -5.1 - -5. Are l and -0.16 equal?
False
Let p(v) = 3*v + 35. Let t be p(0). Suppose 5*q = -2*x - 25, 2*q = x - 0*q + t. Are x and -25 unequal?
False
Let k = 213 + -632/3. Suppose 2*q - 5 + 3 = 0. Which is smaller: q or k?
q
Let f(k) = k**2 + 7*k + 4. Let b be f(-7). Let t be 1 - 2 - (-3)/b. Is 1 not equal to t?
True
Let c(v) = v - 3. Let a(m) = m + 7. Let z be a(-4). Let b be c(z). Let g(s) = -2*s + 7. Let y be g(5). Which is bigger: y or b?
b
Suppose 4*g = -6 - 18. Suppose 4*q + 20 = -q. Let m be (6 + -8)/(q/(-10)). Which is greater: g or m?
m
Let t(w) = w - 1. Let d(y) = -y + 1. Let k(f) = d(f) - t(f). Let z be k(0). Which is bigger: z or -2?
z
Suppose -3 = 5*m - 38. Let r be (-1 + 2)/(m/14). Let b be -1 + (r - -1) + 2. Is 3 at most as big as b?
True
Let t(n) = n**2 + 6*n + 6. Suppose 10 = 2*j + 20. Let w be t(j). Which is smaller: -2/9 or w?
-2/9
Let n = 0 - -2. Let g = 0 + 20. Suppose 0 = -n*l - 3*l + g. Is l bigger than 4?
False
Suppose 3*m - 9 = 48. Let o = 131/7 - m. Are o and 1 nonequal?
True
Let l = 10 - 8. Suppose -4 - 2 = 4*m + l*u, -4*m - 3*u - 11 = 0. Which is smaller: m or 6/7?
6/7
Let v = 12233/6 - 2025. Let m = -14 + v. Which is smaller: -1 or m?
-1
Suppose n = -f - 2, f - 4*n - 8 = 4*f. Is f < 6/5?
True
Let y = 823/4 - 208. Is 0 not equal to y?
True
Let z = -0.28 - -6.28. Which is smaller: -3/4 or z?
-3/4
Let o be ((-60)/(-81))/(2/(-3)) + 1. Suppose 3*a - 2*a = 0. Which is greater: o or a?
a
Let w = 0.4 - 0.5. Let y = w - -0.12. Let m = y - -1.98. Is -1 at most as big as m?
True
Let k = 0.01 - 0.61. Let r = k + -1.4. Which is smaller: r or -3?
-3
Let v = 17/3 + -6. Is 3 equal to v?
False
Suppose 5*w = 9 + 16. Suppose 3*b - w = -2*b. Is 3/2 at most b?
False
Suppose -2*w + 8*w + 6 = 0. Is 1/7 less than w?
False
Let z = 0.7 + -1. Let a = -8.2 + 8. Let s = z - a. Which is bigger: s or 0.1?
0.1
Let g = -55 - -57. Which is greater: g or -5?
g
Let m = 2 + -8. Let n = 15 + -11. Suppose 0 = -2*c + 3*c - n*d - 6, 3*c + 5*d = -33. Is m smaller than c?
False
Let g = -8.7 - -9. Let k = g - 0.4. Let b be (-1)/(-6) + 1/3. Is b less than k?
False
Let f = -71 - -70. Let s be 8/6*(1 + 5). Suppose 0 = 5*z - 3 + s. Is f <= z?
True
Let r = 3 - 5. Let y be 1/(1*(-2)/(-6)). Suppose 0 = -6*d + y*d. Which is smaller: d or r?
r
Let i = 49.1 + -0.1. Are i and 0 equal?
False
Let q(s) = -s**3 - 3*s**2 + 5*s - 2. Let t be q(-4). Let z(c) = -c**2 - 7*c - 1. Let g be z(t). Let u be (-2 - 6)*21/(-28). Are g and u nonequal?
True
Let h = -0.4 + 1.4. Which is greater: h or 0.2?
h
Let d = -7.1 - -11.8. Which is smaller: 0 or d?
0
Suppose -2*c + 5*c = -2*s +