. Does -1 = s?
True
Suppose 3*n + 3*u + 18 = 2*n, 4*n + 3*u + 36 = 0. Let s be 3 + n - (-33)/12. Which is bigger: 7 or s?
7
Suppose 6*p = -32 - 4. Are p and -6 unequal?
False
Let z(x) = -x**3 + 6*x**2 - 4*x - 5. Let k be z(5). Let n(j) = 0*j - j - 3 + 5*j**2 - 4*j**2. Let o be n(k). Do -2 and o have different values?
True
Let a(v) = -v - 15. Let u be a(-9). Suppose -2*w + 5*w = -18. Is u at most as big as w?
True
Let g(y) = -y + 10. Let i be g(9). Suppose -3*u - 4*r + 567 = 0, 2*r = -3*u + 3*r + 567. Let z = -2082/11 + u. Is z less than i?
True
Let x = -0.029 - -1.039. Let h = x + -0.01. Which is smaller: 7 or h?
h
Let k = -389/15 + 79/3. Let d = -0.2 + 1.2. Which is smaller: k or d?
k
Suppose 14 = 5*x + 4. Suppose x*n + 5*o - 36 = 0, n + 4*o = -0*n + 24. Which is greater: n or 0.1?
n
Let l = 1 + -6. Let m(n) = -n**2 - 14*n - 49. Let r be m(-9). Does r = l?
False
Let a = 1842 - 31304/17. Let b = 113/221 - a. Which is greater: 1 or b?
1
Suppose -x = -k - 7, 4 + 1 = x - 3*k. Let g = x - 8. Let y be (g - 2)/(-5 + -4). Which is smaller: y or 1?
y
Suppose 0 = -p + 3*l - 13, 3*l = -p + l - 23. Let k = -17 - p. Let d(i) = -i**2 - 8*i - 9. Let b be d(-6). Is b at most k?
False
Let j(w) = -2*w + 5. Let q be j(3). Is -0.1 less than or equal to q?
False
Suppose 0 = -2*l - 4*u - 2, 0 = 2*u - 4 + 2. Is l != -3?
False
Suppose 6*y = 3*y. Let b be y + 3 + -1 + -4. Let w be (-5)/(-2)*(-6)/10. Which is bigger: w or b?
w
Let j = -11952/37 - -323. Which is smaller: 1 or j?
j
Let l be -3*(-8)/36*(-6)/(-76). Which is greater: -1 or l?
l
Let t(f) = -f**3 - f**2 + f + 11. Let n be t(0). Let l = 11 - n. Let s be 2/(-4) + (-3)/6. Is s less than or equal to l?
True
Let j be 2 + (-2 - 0/2). Are 1/8 and j equal?
False
Let h be 2 - (-2 + 4053/(-33)). Let k = h - 127. Let z = 0 - 0. Is z greater than or equal to k?
True
Let m(c) = -3*c**3 + c**2 + 3*c + 1. Let p be m(-2). Suppose -y = 3*l + 2*l + 5, 4*l = 3*y - p. Let h be 2*((-9)/2)/3. Which is bigger: l or h?
l
Let u be (-2 - (-7)/3)*3. Let g be u*(62/(-22) - -3). Is g smaller than 1?
True
Let s(k) = -3*k**2 - 30*k - 21. Let f be s(-9). Suppose -3*c = -c - 12. Is c > f?
False
Let l = -2 + -1. Let o = 3.3 + l. Let b = 1 - 2. Which is smaller: o or b?
b
Let r(o) = -o - 1. Let f be r(-1). Let z be ((-4)/6)/(175/15). Is f equal to z?
False
Let n be (4/(-114))/((-22)/99). Is 0 > n?
False
Suppose 24 = 5*g + 29. Which is smaller: -4/11 or g?
g
Let k = 0.3 + -0.2. Let q = -7 - -18. Is k != q?
True
Let u(h) = -h**2 - 29*h - 54. Let m be u(-27). Which is smaller: m or -28?
-28
Suppose -3*u - b = 2*b + 36, b = -5*u - 76. Is u less than -17?
False
Let s(x) = 2*x + 24. Let v be s(-9). Is v > 2?
True
Let u be (-2)/(-17) - (-1101)/(-255). Which is greater: -3 or u?
-3
Let h = -1 - 1. Let s = -3 + 3. Which is smaller: s or h?
h
Let n(w) = -w**2 + 7*w + 1. Let v be n(7). Let t = -2 - 0. Let j = t + v. Is j at most 2?
True
Let z = -1.4 - -1.1. Is 0.4 greater than or equal to z?
True
Suppose 6*j + 11 = 11. Which is smaller: j or -2?
-2
Suppose s + 2*s = 6. Suppose 3*r + 1 = -s. Let g = -194 + 1748/9. Which is smaller: r or g?
r
Suppose -2 = -5*i + 8. Suppose -5*n - 1 + 15 = 2*y, -12 = -n - 5*y. Is i smaller than n?
False
Let f = 8.445 + 0.005. Let q = -11.4 + f. Let d = q + -0.05. Are d and -0.1 nonequal?
True
Let m be (-1)/3 + (-35)/(-15). Let v be (2 + -2)/(-4 + m). Which is smaller: v or -2/5?
-2/5
Suppose -3*n = -m + 11, 0*m + m + 3*n = -7. Let u be 2*m/36*3. Is 2 bigger than u?
True
Suppose c - 6 = -c, -1364 = 4*r - 4*c. Let v = r + 1024/3. Is 4 >= v?
True
Let d(a) = -a**2 - 4*a + 1. Let s be d(-3). Let f be s/1 + (3 - 2). Suppose 5*h + f + 0 = 0. Which is greater: -3 or h?
h
Suppose -4 = -4*t - 5*o, 0*o - o = 3*t - 3. Which is bigger: -2/259 or t?
t
Let r be 66/28 + 9/(-6). Suppose -2*q + q = 0. Which is smaller: q or r?
q
Let q be ((2/(-5))/1)/2. Suppose 2*r - 2*v + 4 = 0, -2*r - 1 - 3 = -5*v. Is q <= r?
False
Let z = 259 - 5179/20. Which is bigger: z or 1?
1
Let q = 38 - 23. Suppose -3*b = -2*f + q, 6*b + 5*f = b. Is -2 less than b?
False
Let h be 1/(-3) + 46/102. Suppose 5*w = -z - 9, -5*w = -5*z - 1 - 14. Is w less than or equal to h?
True
Let b = 4.04 - 0.04. Let i = 3 - b. Let x be 2/5*(-6)/(-4). Is x >= i?
True
Let g = -82 - -88. Are -0.2 and g unequal?
True
Suppose -4*f + 19 = -x + 2*x, -4*x = -5*f + 8. Suppose -2*w - d + 2 = 0, -w + f*d - 1 + 2 = 0. Suppose -3*t - 12 = -4*g, 12 = -5*t - 8. Is g > w?
False
Let y(k) = -k**2 + 4*k. Let w be y(4). Which is smaller: -1/7 or w?
-1/7
Let k be (-150)/14*12/(-30). Which is smaller: 3 or k?
3
Let y(d) = d. Let b(j) = -3*j - 4. Let h(x) = b(x) + 2*y(x). Suppose 2*p = 7*p + 15. Let l be h(p). Is l less than -1/4?
True
Suppose 3*o + 5*d = 65 + 3, -4*o + 3*d = -52. Suppose o = 2*p + 2*p. Let w = -3 + p. Which is smaller: w or -0.1?
-0.1
Let f(b) = -b**2 + 5*b - 4. Let g be 2/4 + (-2)/4. Suppose -o + 3 + 1 = g. Let v be f(o). Which is smaller: v or -2/17?
-2/17
Suppose -f = -4 - 1. Is f at most 3?
False
Let k = -147846015/490886 + 7/44626. Let c = 301 + k. Which is smaller: 1/4 or c?
c
Let j be 2/(-3)*297/(-66). Let f(m) = m + 3. Suppose 0 = -2*r + r. Let n be f(r). Is n >= j?
True
Let u = 26 - 26. Is u bigger than 17?
False
Let m be (36/42)/((-2)/98). Let b be (m/(-35))/(4/(-10)). Let a(s) = -2*s + 5. Let l be a(5). Which is smaller: l or b?
l
Suppose -3*p = 5*m - 4 - 12, -3*m + 15 = 0. Let a be (p/(-9) - -1)*3. Let q(g) = -g**3 + 3*g**2 + 4*g - 3. Let z be q(a). Are z and -3/2 equal?
False
Let g = -0.064 - 0.036. Which is greater: g or 0.13?
0.13
Let x(o) = -o - 1. Let h be x(0). Let c(y) = -y - 15. Let g be c(-13). Let k be ((-4)/g)/(35/(-14)). Which is greater: k or h?
k
Suppose 5*n - i = 11, n + 10 = 4*i - 3. Let l(o) = -o**3 + 4*o**2 - 1. Let r be l(4). Is n at most r?
False
Suppose -3*y = -22 + 19. Which is bigger: -2/59 or y?
y
Let a be 6*1*(-1)/(-3). Let k be (-2)/((-4)/(-1))*-4. Suppose -2*q = 2*b + k*q - 20, -2*b - 12 = -4*q. Is b > a?
False
Let k = -0.2 + -5.8. Let b = k + 5.9. Which is smaller: b or -2?
-2
Let h be (3 - (-66)/(-18))*(-6)/(-22). Let y = 0.4 - 0.4. Which is greater: h or y?
y
Suppose -3*s + 173 = -31. Let w be s/24 + -3*1. Let c = -88/5 - -606/35. Is c < w?
True
Let m = 52/75 - -7/50. Is 1/2 less than or equal to m?
True
Let l(v) = 3*v**2 - 3*v - 4. Let s be l(3). Let r be (s + 0)*(-1)/2. Is r >= -6?
False
Let s(m) = -m**2 - 15*m + 14. Let k be s(-13). Is k greater than 38?
True
Let u be ((-1)/(-3))/(10/(-90)). Which is smaller: u or -19/7?
u
Suppose 0 = -2*h - h + 57. Suppose 3*x = -3*m - 0*m + 15, -3*m = 4*x - h. Let i = 115 + -341/3. Is i < m?
False
Let v be 122/(-4)*2/6. Let b = v + 44/3. Let y = b - 31/6. Which is greater: -1 or y?
y
Suppose -46 - 2 = -6*z. Let y be (1 - 0)*(6 - 7). Which is greater: z or y?
z
Suppose 0 = 2*r - 3*v + 5, -2*r = 2*v + 5 + 5. Suppose -2 = i + 2, -4*j - 2*i = 20. Which is bigger: r or j?
j
Let r = -143 + 158. Which is smaller: r or 16?
r
Let w = 143 + -93. Is 48 less than or equal to w?
True
Let s(b) = -b**3 + 7*b**2 - 7*b - 2. Let z be s(6). Is -8 > z?
False
Suppose -2*r = r. Is -10 greater than or equal to r?
False
Suppose -d + 3*d = -2. Let h = 2 - d. Suppose 5*w = -2*p + 4, -7 - 2 = h*p. Is 1 != w?
True
Let n(a) = -5*a**3 + 1. Let y be n(1). Let x = 1 + 1. Let f = x + -2. Which is smaller: y or f?
y
Let w = -69 - -55. Is w at most as big as -41/3?
True
Let u(g) = -6*g**3 + 4*g**2 - 5*g + 5. Let n be u(4). Let h be ((-6)/(-15))/((-1)/n). Let j = h + -1472/11. Which is smaller: -1 or j?
-1
Let d be 20/8*(-8)/(-5). Let h(a) = -24*a - 6. Let t be h(5). Let q be (-64)/t + d/(-14). Is 0 bigger than q?
False
Suppose 5*n - 5*f = -110, 0 = n - 2*f - 2*f + 22. Let y be 1 + 12/n + -1. Which is bigger: y or 0?
0
Suppose 5*y + 62 + 78 = 0. Let g be 1/2*(-8)/y. Suppose -3*q - 13 = -4*c - 4, -5*q = 15. Is c less than g?
True
Let b = 1 - 4. Let t = 3.1 + b. Let y = -1.5 - -1.4. Is y greater than t?
False
Suppose 0 = 5*p - 15, p - 5 = -j - 0. Let y be j/(-6) - 1/(-3). Let w = -7/6 - -2/3. Which is smaller: y or w?
w
Suppose 5*a + p + 5 = 0, -7*a - 5*p = -2*a - 15. Which is smaller: a or -4?
-4
Let o(n) = 3*n**3 - 2*n**2. Let y be o(2). Let r be (-2)/y*(-1 - 2). Is r less than -1?
False
Let b = 1.1 - 0.1. Let m = -0.9 + b. Let z = 0.05 +