h = 4*n - 8*t. Which is greater: -6 or n?
-6
Let l = -18 + 18. Is l at least as big as 1/10?
False
Suppose 20 = 4*q + q. Is 8/3 less than or equal to q?
True
Let o = -2 - 5. Which is bigger: 2 or o?
2
Let p(x) = -x - 7. Let o be p(-6). Which is smaller: 1 or o?
o
Suppose 0 = -3*u - 15, 2*w = 4*w - 3*u - 13. Let y be (-34)/72 - w/4. Is y smaller than 1?
True
Suppose -4*g - 1 = 7. Which is greater: g or -3/2?
-3/2
Let x = -16 - -16. Let o(j) = -j**2 + 6*j + 5. Let t be o(6). Suppose g = -t*w - 22, w = 2*g + 2*w + 17. Is x at most as big as g?
False
Let s = -0.04 - 0. Let h = s - -5.04. Let t = -5.1 + h. Which is smaller: -6 or t?
-6
Let r be 8/((4/(-3))/2). Is -1/3 at most as big as r?
False
Let f be ((-8)/470)/((-2)/5). Let s = 63 - 62. Is s less than f?
False
Let m be (-4)/(-8) - (-22)/4. Suppose c - 18 = -c. Let d = m - c. Do -2 and d have the same value?
False
Suppose 5*p + 19 = 4, -4*u = -p + 1. Suppose 4*g - 6 = -3*o, -2*o - 7*g + 4*g + 4 = 0. Let r be 1/o*(-4)/(-5). Is r != u?
True
Let m = 1.082 + -1.03. Is m at most 0?
False
Let a(y) = 7*y - 3. Let v be a(7). Suppose 5*d + 5*p - 16 = -v, -2*p - 34 = 4*d. Let f = d + 7. Are f and -2 non-equal?
True
Let z be -5*(-6)/15 - 7. Let q = z - -6. Which is smaller: 4/3 or q?
q
Suppose -2*o + 10 = -2*q, 4*o - q + 3 = 8. Suppose 3*l = -0*l + 12. Let n be (3/16)/(l/(-16)). Which is smaller: n or o?
n
Let t = 0.27 + -0.07. Let y = -0.5 + t. Let w = 0.2 + y. Are w and 0.4 non-equal?
True
Let t be ((-24)/(-30))/((-4)/(-10)). Let r be t/(1 - 3)*1. Which is greater: 2/7 or r?
2/7
Let f = 2 - 0. Suppose -12 = 2*d + 4*q, d + f*q = 6*d - 6. Is -2/11 smaller than d?
True
Let f be 2/(((-8)/(-2))/2). Suppose 11 + f = 3*q. Let u be 0 + q*(-2)/(-52). Which is smaller: u or -1?
-1
Let q = 9 + -5. Suppose -5*r + q*w = -13, -5*r = 4*w + 4 - 1. Let n be (6/(-14))/((-9)/(-6)). Which is smaller: n or r?
n
Let d(f) = f. Let y be 1 + 1 + -2 + -1. Let l be d(y). Let h be (-2)/30 + l/3. Is h less than 0?
True
Let y(d) = d + 2. Let m be y(-2). Let t be (0 + 3/6)*m. Suppose t*v - 3*v = 0. Which is smaller: -1/2 or v?
-1/2
Let p be (-46)/(-7) + 9/21. Which is smaller: 4 or p?
4
Let l(p) be the first derivative of 1 + 5/2*p**2 + 6*p - 1/3*p**3. Let q be l(6). Is q at most as big as 2/19?
True
Let x = 0.051 + 0.549. Which is greater: 0 or x?
x
Let w be 2*((-36)/(-8))/9. Is w at most as big as -2/33?
False
Let k be 1/(-2) + 39*(-5)/(-270). Let f be 0*(2 - 5/2). Which is greater: k or f?
k
Let z be (-3)/5 + (-2)/5. Let g = -223229/981 - -2048/9. Let u = 71/545 + g. Which is smaller: u or z?
z
Suppose -3*j - 9 = 5*q - 5*j, -27 = 5*q + 4*j. Is q less than -7?
False
Let d(q) be the first derivative of q**2/2 - 11*q + 3. Let k be d(8). Suppose 0 = g + 2 + 2. Which is greater: g or k?
k
Let b(q) = -q**2 + 5*q + 1. Let p be b(5). Let s be 6/21 - (-171)/308. Let o = s + -12/11. Do p and o have the same value?
False
Let b(a) = a**2 + 5*a - 2. Suppose 18 = -4*m + 2. Let i(w) = -w**2 - 5*w + 1. Let l(p) = m*i(p) - 5*b(p). Let n be l(-6). Is n > 1?
False
Let n = -1.06 + 2.06. Is 0.2 less than n?
True
Let y be ((-8)/9)/(-2) + -1. Let m = 19/18 + y. Suppose -3*d + q - 3 = -2*q, 4*d = -3*q + 17. Which is bigger: m or d?
d
Let u be 4 - 0 - (-96)/(-21). Which is greater: u or 7?
7
Suppose -3 + 15 = 4*h. Let a(k) = -k + 3. Let z be a(h). Which is bigger: -3/4 or z?
z
Let b = 17/8 + -909/424. Do b and 1 have different values?
True
Let s(g) = 2*g**2 + 5*g + 2. Let u be s(-2). Let z be ((-4)/(-10))/(11/5). Are z and u unequal?
True
Let d = -17/7 - -109/42. Let i(x) = -3*x + 6. Let n(m) = 8*m - 18. Let w(u) = 11*i(u) + 4*n(u). Let q be w(-5). Which is bigger: q or d?
d
Let f = 6/7 - 17/28. Let i be (-3)/9 - (-2)/6. Suppose -4*h = -i*h. Is f greater than h?
True
Let o = -5.3 + 1.3. Let r = -3 + 2. Let l = r - 0. Do o and l have different values?
True
Let l be (2 - -43)*(-200)/(-105). Let d = l + -86. Is d bigger than -1?
True
Let m be (-4)/(-6)*6*-28. Let h = 44 + m. Let d = 409/6 + h. Is d less than 1?
True
Let s = -1 + 1.2. Let y = 0.2 - s. Let b = y + -0.1. Is b at least as big as 1?
False
Let h be -6*(4/(-3))/(4/(-9)). Which is bigger: h or -17?
-17
Let s(v) = -v**2 - 7*v - 9. Let b be s(-2). Is 1/3 at most b?
True
Suppose 2*g - 1 = 3. Let l = 8 + -4. Suppose -g + l = -2*m. Which is smaller: 0 or m?
m
Suppose -2*j = -3*x + 53, j = -4*x - x + 84. Are x and 1 nonequal?
True
Let v = -383 + 1533/4. Let f = -6 - 2. Which is greater: v or f?
v
Let i = -2/117 + -568/7839. Which is smaller: i or -1?
-1
Let h be 5 + (5 - 4 - 5). Let a = -31 - -21. Let c be -1 - 26/a - 2. Which is smaller: h or c?
c
Let u = 0.4 + -0.2. Which is smaller: u or 8?
u
Let v = 60 - 52. Is 13 not equal to v?
True
Let o be (-12)/20 + 4/(-10). Which is smaller: o or -3/4?
o
Let h = -24 - -35. Suppose -4*p + 3*f = -9, 2*p + p = -2*f + h. Let l be -1 - p/6*-2. Which is smaller: l or -2/17?
-2/17
Let l be 2/6 + 0 + -1. Let m(x) = 2*x**3 - 8*x**2 + 2*x - 9. Let g(j) = j**3 - 7*j**2 + j - 8. Let n(i) = 3*g(i) - 2*m(i). Let t be n(-5). Is t less than l?
True
Suppose 3*i - 15 = 2*i. Suppose 0*t = -t - i. Let n be 2/10 + 6/t. Is -1 less than n?
True
Let n be (-27)/(-45) - (-6)/(-10). Which is smaller: n or 2/21?
n
Let d be (-16)/(-40)*(1 - 31). Let p = -10 - d. Let m be (4/(-2))/(-2*1). Which is bigger: m or p?
p
Let y be (-2 + 2)/(0 + 2). Suppose y = 5*b + 5*c - 25, 2*b - 3*b + 4*c = 0. Suppose 35 = -5*i - a, i + 2*i + 21 = -b*a. Are i and -7 equal?
True
Let q be (6 - 165/20)/(9/48). Which is bigger: q or -9?
-9
Let h = 1/19 + 33/95. Which is greater: h or 1?
1
Let m = 2/72533 + -8631583/5657574. Let v = -1/39 - m. Which is smaller: 3 or v?
v
Let t be ((-5)/(-3))/(3/(-9)). Let b(x) = -x + 3. Let p be b(t). Let o = -2 + 9. Is o less than p?
True
Let u(m) = -2*m**2 + 12*m. Let w be u(6). Let n be -1 + 36/11 + -2. Which is bigger: n or w?
n
Let a = -63/2 + 32. Let m(o) = 4*o - 1. Let j(r) = -r. Let l(k) = 3*j(k) + m(k). Let i be l(1). Are i and a equal?
False
Suppose -f - 11 = -2*d, 3*d + 5*f - 2*f - 21 = 0. Suppose -d*h = -11*h. Is 2 at least h?
True
Suppose 282 = -7*d + d. Is -47 greater than or equal to d?
True
Let x be 2 + (-4 + 2 - -3). Suppose -x*h = -n + 5 - 18, 4*h = -2*n + 34. Is h less than 9/2?
False
Suppose 5*t - 16 = -71. Let n = 10 + t. Let f = 2/9 - 8/9. Is n at least f?
False
Let v = -764 - -3883/5. Do v and 14 have the same value?
False
Let f(d) be the third derivative of d**6/120 + d**5/6 - d**4/24 - 5*d**3/3 - d**2. Let j be f(-10). Is j != 0?
False
Let i(b) = b**2 + 7*b - 31. Let n be i(-10). Let v = 7 - 14. Is v <= n?
True
Let w(r) = -r**3 - r**2 + r. Let z = -1 - 1. Let o be w(z). Is 3 <= o?
False
Let z(w) = 2 + w + 0*w + w - w. Let f(v) = -v + 1. Let t(h) = 3*f(h) - z(h). Let r be t(-1). Are r and 6 nonequal?
True
Let k = 23.9 + -24. Let c = -3 - -5. Which is smaller: k or c?
k
Let q be 10/40 + (-61)/4. Are -2/3 and q equal?
False
Let j(d) = 2*d**2 + 6*d - 4. Let z be j(-5). Suppose z = -3*i + t, 5*t = -3*i + 3*t - 4. Is i != -4?
False
Suppose n + 3 + 4 = -5*s, -n = -5*s - 13. Suppose -5*y - t - 13 = 0, -5*t - 5 = n*y + 16. Let l = -1 + y. Is -3 smaller than l?
False
Let f be 3*((-4)/3 + 2). Let u = 3 - 1. Is f greater than or equal to u?
True
Suppose 0 = 3*f - m - 1, -m + 15 = 2*f + 3*f. Let o = 0.1 - -0.1. Let t = o + 0.8. Which is smaller: t or f?
t
Suppose -p - 64 = -4*y, -y - 2*p - 77 = -6*y. Is y equal to 17?
True
Suppose -5*k + 25 = -2*h + 3, k = -3*h + 1. Suppose -4*l - k - 4 = 0. Let r be (-29)/28 - (-2)/7. Which is bigger: r or l?
r
Let t = 7 - 9. Which is bigger: 0 or t?
0
Let k = 3 + -3. Let a = 0.03 + k. Let m = a - 0.13. Is m greater than -3?
True
Let z = -2 + 7. Let b(f) = f - 3. Let k be b(z). Is k < 2?
False
Let f be (10/(-4))/5*-12. Let n(q) = -q**2 + 7*q - 6. Let k be n(f). Which is bigger: 3/8 or k?
3/8
Let w = 3 + -2.55. Let g = -0.5 + w. Are g and 1 nonequal?
True
Let g = -2.6 + 0.6. Let r = 101 + -102. Is r >= g?
True
Let u = 401/130 - -29/26. Is 4 less than or equal to u?
True
Let s(a) = -3*a + 1. Let y be s(1). Suppose 14*k - 15*k - 1 = 0. Is y less than or equal to k?
True
Let j be (-1 - -16)*(1 + 0). Let t be 2/j + 6/9. Is 1 <= t?
False
Let i(y) = 1 - y + 2 + 0. Let x be i(0). Let r = -0.1 - 0. Is r at most x?
True
Suppose 4*x - 4 = 3*x. 