 Is n greater than or equal to -18?
False
Suppose -24 = -3*l - 6. Suppose 2*u = l*u + 4. Let v = 10/11 - 8/11. Which is smaller: v or u?
u
Let h = 0 + 1. Let v = 0.26 - 14.26. Let u = -20 - v. Is h smaller than u?
False
Let t(g) = -g**2 + 6*g + 6. Let u be t(7). Is -2/9 < u?
False
Let k(f) = -f**3 - 7*f**2 + 1. Let y be k(-7). Let u(g) = -g**2 + 8*g - 7. Let c be u(5). Let t be c/10*(-1)/2. Is t at least y?
False
Let n be -45 - -32 - 2/(-1). Suppose 5*d + o - 21 = -80, 0 = -2*d - 2*o - 30. Are n and d non-equal?
False
Let q be 20/12 - (-6 - -3 - -4). Which is smaller: q or -11?
-11
Let n be (1/5)/(2/(-32)). Which is smaller: n or -4?
-4
Let d(w) = w**2 - 4*w + 1. Let b = 13 + -8. Let t be d(b). Suppose 4*q + 3*o + t = q, -4*q = -2*o - 4. Which is smaller: q or 2?
q
Suppose 4*q = -2*g + 54, -g - 9 = -q - 0*q. Let z be (-15)/10*2/q. Which is smaller: -1/2 or z?
-1/2
Suppose 4*v + 28 = -3*k + 7*k, -5*k + 14 = 2*v. Suppose -k*m = -11 - 21. Do 7 and m have the same value?
False
Suppose -5*v + 4*d = 2*d + 20, -3*v + 9 = 3*d. Let z be 7 + (v - (-2)/2). Suppose z = -t - t. Is t at most -3?
True
Let b(y) = -2*y**2 + 0*y + 0*y - 2*y + 1. Let w be b(1). Let v be 2/(-1) - (2 + w). Which is bigger: v or -1/3?
-1/3
Suppose -2*d - 1 = -3*d - 5*y, 97 = -3*d + 5*y. Is -24 less than or equal to d?
True
Let c = -10.3 + 12.3. Is 9 < c?
False
Let l(r) = r**2 - 6*r - 5. Let v be l(5). Which is bigger: v or -45/4?
v
Let n = -253 + 2275/9. Is -1 less than or equal to n?
True
Let s = 3 - 3. Let k = s - -6. Which is smaller: 7 or k?
k
Let z = 1/4 + 1/4. Let q(a) = -10*a**2 - a**3 + 0*a + 2 - a + a. Let d be q(-10). Is z greater than d?
False
Let b = -39 + 22. Let i = b - -24. Let y = -0.3 - 0.7. Which is smaller: i or y?
y
Suppose 3*m = -0*m + 6. Is 2 <= m?
True
Suppose 4*r + 3*s - 3 = 6*r, -3*r = -5*s + 5. Which is smaller: r or -1/7?
-1/7
Let m(u) = u**3 - 6*u**2 + 5*u - 3. Let v be m(5). Let a = -25 + 47/2. Are v and a equal?
False
Suppose -f = -k + f - 12, k = 3*f - 13. Let q = -280 - -579/2. Let x = k + q. Which is smaller: 0 or x?
x
Suppose -5*z + z = 4*h + 24, 3*h = 5*z + 6. Which is greater: -28/11 or h?
-28/11
Let n be ((-1)/(-5))/(14/70). Let f be n/(-3) + (-30)/(-78). Which is smaller: f or 0?
0
Suppose -3*l - 15 = 0, 4*t + 10*l = 6*l - 40. Which is smaller: t or -17/4?
t
Let t(n) = n - 2. Let z be t(0). Let f = 2 + z. Is 2 < f?
False
Let o = -2 + 1.98. Let k = -1.02 - o. Let l = 0.1 + -0.2. Is k < l?
True
Let i(l) = 5*l**2 + 2*l - 2. Let x(y) = -14*y**2 - 7*y + 6. Let f(h) = -11*i(h) - 4*x(h). Let v be f(-7). Let o = 27 - 26. Are v and o non-equal?
True
Suppose 0 = -2*u - 3*c + 5*c + 8, -4*u - 20 = 5*c. Which is smaller: 2/41 or u?
u
Let l(q) = q**3 + 4*q**2 + 3*q - 1. Let c(k) = -k**2 + 4*k + 2. Let g(a) = 2*a - 3. Let b be g(4). Let y be c(b). Let p be l(y). Which is bigger: p or 0?
0
Suppose 0 = 3*q - 9 + 3. Suppose 20 = 4*x, -3 = -5*l + 5*x + q. Suppose l*o + 40 = o. Which is bigger: -9 or o?
o
Let k be (-2 + 1)*(-1 + 0). Is 9/8 less than k?
False
Let b = 31.9 - 32. Let w = 5 - 4. Which is smaller: w or b?
b
Let s be (-2 - -3)*0 - -3. Let m be 6/28*(-2)/s. Which is bigger: -1 or m?
m
Let z be ((-15)/30)/(1/12). Is -7 greater than or equal to z?
False
Let d = 1 + 2. Let g be d + 3 + (-88)/14. Which is smaller: 1 or g?
g
Let n = -1148/5 + 3367/15. Let f = 5 + n. Let i(r) = r**3 - 7*r**2 + 7*r - 6. Let v be i(6). Which is smaller: v or f?
f
Let r = -0.3 + 1.3. Let p = 0.07 - -1.03. Let d = p - r. Is 2 at least as big as d?
True
Let h be (4/(-24))/(4/(-8)). Which is bigger: h or 1/67?
h
Suppose -2*o = 4*i - 60, -4*o + 3*o + 34 = -2*i. Which is greater: o or 34?
34
Let u(k) = -k**2 + 7*k + 1. Let y be u(5). Let q be -4 - (-1)/1 - (-8 - -3). Suppose -3 - y = -q*w. Which is smaller: 8 or w?
w
Let d = 0.17 - 0.17. Let v = 0 + -0.1. Let y = v + 0.3. Which is greater: d or y?
y
Let f = -2.3 + 0.3. Let z = 0 + f. Do z and 1 have the same value?
False
Let q be (5/30)/((-1)/(-2)). Which is bigger: -2/5 or q?
q
Let h = 23 - 22. Let q = -6 - -10. Let b = -3 + q. Is b less than or equal to h?
True
Suppose 3*z = 5*z + 18. Is z bigger than -8?
False
Let a(p) = -p**2 - 2*p - 1. Let o be a(-1). Let m be 3 - 1 - 68/40. Which is greater: m or o?
m
Let d(y) = y**2 + 9*y - 37. Let m be d(3). Is -2/361 at most as big as m?
False
Let g = 3 + -1. Suppose -10 = 4*m + x - 3*x, 0 = m + g*x - 10. Which is smaller: m or -2?
-2
Let i = 15 + 3. Let a = 24 - i. Let g be (-1*1 - -1) + 5. Which is smaller: a or g?
g
Suppose 2*m + 22 = 4*z, 0*z + z = 5*m + 28. Let o(l) = -l**2 - 3*l + 4. Let p be o(m). Is p <= -4?
True
Suppose 5 = -5*f - 0*f. Let j be (-2)/(-1) - 16/6. Which is smaller: f or j?
f
Suppose y + 5*v = 4, 16 = 4*y - v + 5*v. Suppose 6 = t - y*t. Let j be (2 - 22/6) + 2/3. Which is greater: t or j?
j
Let s = -8 + 6. Let w = 0 + s. Let j be (-9)/(-2) - 2 - 3. Which is smaller: j or w?
w
Let o be (2/3)/(((-2)/(-3))/(-1)). Is o greater than or equal to 6?
False
Suppose -24 = -2*z - 4*o, -5*o + 38 = 3*z - 0*o. Are z and 20 nonequal?
True
Let r(u) = -2*u**2 - 7*u + 5. Let i be r(-4). Is 2/83 greater than or equal to i?
False
Let u(l) = -l - 1. Let k be u(0). Let m = 1 + k. Suppose w = -m*w. Which is smaller: w or -2/9?
-2/9
Let d = 2 + -1.7. Let t = 0.4 - d. Let b = -2 - 1. Which is greater: b or t?
t
Let b = -4 + 4. Which is smaller: b or 8?
b
Suppose 26 = -2*d + 4*b, 5*d - b - b = -65. Let p = 14 + d. Which is smaller: p or 2?
p
Suppose -36 = -0*p - 4*p. Let j be (-1)/3 + (-24)/p. Let a = 0.5 - 0.3. Is a at least as big as j?
True
Let r = 300 - 292.96. Let j = 2.26 + r. Let z = 9 - j. Which is smaller: -0.1 or z?
z
Suppose 3*w = -4*g + 67, -30 + 12 = -g - w. Suppose g = 3*n + 2*v, 0 = -0*n - 2*n + 5*v - 23. Let q be 3/(((-18)/(-4))/(-3)). Does n = q?
False
Let g be (-10)/(-48) - (-3)/(-9). Is 1 greater than g?
True
Let b = -16 - 4. Let y = b - -20. Which is smaller: y or -1/2?
-1/2
Let d = 35 + -33.1. Let j = 2 - d. Let t = j + 0.9. Which is smaller: 1/5 or t?
1/5
Let w = 8 + -5. Suppose -t - 2 = w. Which is bigger: t or 2?
2
Suppose -2*l - 5*g - 14 = 0, -3*g = -l - 7*g - 4. Is l greater than -13?
True
Let x = -4.16 - -4. Let p = x - -0.06. Which is smaller: p or 2/9?
p
Let g = -5/18 + 4/9. Suppose v = -3*v + 16, -4*o - 3*v + 24 = 0. Suppose -b = o*b - 4. Which is bigger: g or b?
b
Suppose -5*s = 153 + 297. Is s at most -90?
True
Let z(j) = -j**3 - 7*j**2 - 5*j + 8. Let h = 16 + -22. Let x be z(h). Suppose -x*f - f = 9. Do -1 and f have different values?
True
Let q = 11 - 10. Let s be q*(-3 - -6 - -2). Which is smaller: 3 or s?
3
Let y = 24 - 20. Suppose 0 = 4*u + 2*v - 48, -4*v = -2*v - y. Which is smaller: 12 or u?
u
Let h be (3/6)/(1/91). Let a = 47 - h. Is a bigger than 2?
False
Let m = 18 - 5. Let k = 7 - m. Let u be (-5 - k)*1/5. Which is bigger: 0 or u?
u
Let u(n) = -n - 7. Let t be u(-6). Let y be 0 - t - 45/39. Suppose -2*g = 2*g. Which is smaller: y or g?
y
Let n(w) = -w**2 + 4*w - 1. Let y be n(4). Let i = y - -1. Let s be 18/21 - 1/1. Is s less than or equal to i?
True
Let j = 0.03 - 3.03. Let u = j - -2. Let t be (72/15 + -4)/(12/10). Which is bigger: u or t?
t
Let z be (-980)/30*(-6)/(-4). Is -49 at most as big as z?
True
Let y(a) = -3*a - 11. Let x be y(-5). Suppose -v = x*v. Is v at most as big as 2/47?
True
Let g(i) = -3*i**2. Let m be g(-1). Suppose -y + 0*y - 5*r + 1 = 0, 5*r = 2*y + 13. Is m at least y?
True
Let n(u) = -u**2 + 4*u - 1. Let z(x) = x**2 - 1. Let k be z(2). Let q be n(k). Let c(o) = o**2 + 2*o + 3. Let s be c(-2). Which is bigger: q or s?
s
Let y = 4 - 4. Suppose f = -y*f + 5. Suppose 5*l - f = h - 3*h, 0 = -5*l - 3*h + 5. Is l at most as big as 2/3?
False
Let v = -400 + 1078. Let o = v - 27796/41. Which is greater: 0 or o?
o
Let g(n) = -n**3 - 7*n**2 - 9. Let o be g(-7). Let b = 11 - 19. Which is smaller: o or b?
o
Suppose 2*a - 3*o - 16 = -2*o, 5*o + 10 = 0. Let f = 11 - a. Suppose f*t = t. Which is smaller: -2/11 or t?
-2/11
Let s = -1 - 3. Let z be (-2)/s*(-1 - 13). Let q = 9 + z. Is 2 <= q?
True
Let o(n) = n + 17. Let y be o(-14). Suppose 0 = -j + 5*j - 160. Let l be j/6 + 1/y. Is 1/2 at most l?
True
Let q = 64492 - 452657/7. Let i = -173 - q. Which is greater: i or 1?
1
Suppose -4*a = -4*g + 48, g - 24 = 3*a - 2. Let i = 11 - g. Let s be 