= -j**2 + 8*j - 6. Let r be o(7). Let t be u(r). Let c be 4/(-45)*t/(-4). Is 0.1 at least c?
False
Let d = -350 - -667/2. Let q = -17 - d. Is -1 at most q?
True
Let n be 12*2/(-2)*1. Let k be (-2)/n + 4/8. Let h = -4 - -6. Which is greater: k or h?
h
Let y be 198/(-12)*(-1 + -83). Let i be (-24)/(-84) + (-424)/y. Are i and 1 non-equal?
True
Suppose 2 = 4*k - 6. Is k at least 12?
False
Let u = 0.1 + -0.1. Let k = 0 + u. Let s = -47 - -46. Is s bigger than k?
False
Let y(s) = 6*s**2 - 2*s - 10. Let c be y(-2). Suppose -4*k - 36 = -6*k. Is c not equal to k?
False
Suppose 0 = 5*r + 6*r - 209. Which is bigger: r or 17?
r
Let k = -0.37 - 8.63. Which is smaller: 0 or k?
k
Let s be 71/5 - 16/(-20). Are 15 and s unequal?
False
Suppose 0 = 4*g + 28 - 12. Which is smaller: -1 or g?
g
Suppose 0 = -2*p + p. Let l = -19/4 - -71/20. Which is smaller: p or l?
l
Suppose -15 = -5*c, -5*m - c = -3*c + 1. Is m greater than or equal to 0?
True
Let x = 6367/14 + -455. Which is smaller: 1 or x?
x
Let g be 17/(-5) - 18/(-45). Let s(i) = -4*i**2 + 1. Let k be s(1). Are g and k equal?
True
Suppose 5*n = -5*t + 20, 2*n + 8*t - 11*t + 12 = 0. Let d be (-239)/(-14)*10 - 1. Let w = d - 170. Which is greater: w or n?
n
Let k be -7 + 7/(21/9). Which is smaller: -1 or k?
k
Let f = -0.4 - -0.4. Let h = f + 1. Let s = 0.3 + -1.3. Which is bigger: s or h?
h
Let f(w) = w**3 - 7*w**2. Let q be f(7). Suppose -5*u + 8 + 2 = q. Let n = -1 + u. Is n > 1/3?
True
Let i be 4/15*10/(-4). Suppose 0*k = -2*k. Suppose 0 = 4*h - k*h. Does i = h?
False
Let y be 1/4*-2*-2. Let n(x) = 2*x + 1. Let g be n(y). Let v = 12 + -10. Is v at most g?
True
Let y(n) = -3*n**3 - n**2 + n + 1. Let h be y(-1). Suppose -h*b + 2*a = -0 + 6, 4*b - 2*a = -6. Let k be 2/(-21)*(-3 + b). Do -1 and k have different values?
True
Let w(o) = o - 21. Let x be w(-5). Is -26 greater than x?
False
Let x be 10/15 + (-26)/(-6). Suppose k = -4*s + 5, -4*s - 3*k = -4*k + x. Is s smaller than 0?
False
Suppose 5*x + 13 = -k, 2*k - 2*x - 1 = -3*x. Suppose 5*v + 11 = n, -2*v - 2*n - 20 = k*v. Let g = v + 2. Is g != -1?
False
Let i(n) = n + 13. Let m be i(-10). Suppose 2*b = -1 + m. Is b at most as big as 2?
True
Let f be 138/9 + 4/(-12). Let b be (-36)/40 + 6/f. Is b greater than or equal to 0?
False
Let y(d) = d + 7. Suppose 0 = 5*c - 2*s + 29, 2*c + 5*s + 37 = 8. Let z be y(c). Suppose 5*k - 5*x - 2 - 8 = 0, 0 = 5*k + 5*x. Which is smaller: k or z?
z
Let d(c) = c - 12. Let m be d(5). Let i = m - -15. Let q be (i - 6)/(4/(-6)). Is -3 bigger than q?
False
Let u be 2/10 - 231/1205. Let l = u - 293/6266. Let i = l + -19/13. Which is bigger: -2/7 or i?
-2/7
Suppose 0 = -k - 11 - 4. Which is smaller: k or -14?
k
Let t(c) = 4*c**2 + 2*c + 1. Let h be t(-2). Are 12 and h equal?
False
Let b be (-1)/8*(14 + -12). Let z = -1 - -2. Is z > b?
True
Let q = 128 - 127.47. Let n = 0.07 + q. Let c = -0.4 + n. Which is smaller: c or -0.1?
-0.1
Let z = -49/90 + 1/10. Which is smaller: 0 or z?
z
Let f be ((-2)/37 - 0)*(-23)/46. Which is smaller: f or -1?
-1
Let f = -0.051 - 5.949. Which is bigger: f or 0?
0
Let v = -13 - -13.2. Do 1.5 and v have different values?
True
Let a be ((-20)/6)/(82/123). Is -4 less than a?
False
Let w = -6 + 13. Let m = w - 5. Let f be -2 + m + 2 + -4. Is f > -2?
False
Let x = -98 - -98.1. Which is smaller: x or -61?
-61
Suppose -l + 1 = -3*t + t, -5*t = -20. Which is greater: 10 or l?
10
Let j be (2/(-5))/(4/(-20)). Let s be -1*j/6*3. Let k = -1 + s. Is -2 less than or equal to k?
True
Let o = -0.27 - -0.17. Is o > 0.2?
False
Let k = -9 - -12. Suppose 2*j - 2 - 2 = 0. Is k <= j?
False
Suppose 4 = -4*z - 4. Let f be 500/(-16) + (-1)/z. Let v = 31 + f. Which is greater: v or -1/2?
v
Suppose 5*m - 4*m = 16. Let i = m - 14. Is 0 bigger than i?
False
Let q(h) = h + 8. Let o be q(-8). Which is bigger: o or -5/4?
o
Let q = 0.12 + 5.88. Let x = -5 + q. Let i(s) = -s + 2. Let y be i(0). Which is smaller: y or x?
x
Let b = -0.7 - -0.72. Which is bigger: 4 or b?
4
Let c be (-69)/27 + -5 + 188/36. Which is bigger: -1 or c?
-1
Let l = -0.108 + -0.052. Is l less than -2?
False
Let i = -92 - -642/7. Suppose m - 3*m = -8. Let j be ((-5)/(-50))/(2/m). Do i and j have the same value?
False
Let l = 104 - 103. Which is bigger: l or 30?
30
Let m = -11 - -22. Let a = m - 6. Suppose 0 = a*s - 3*y - 5, 0 = -5*s + y + 3 + 2. Which is smaller: -1 or s?
-1
Let y(u) = 6*u**2 + 1. Let c be y(1). Let v(p) = -17*p + 16. Let x(r) = -8*r + 8. Let w(m) = -6*v(m) + 13*x(m). Let z be w(c). Is z greater than -7?
True
Suppose -3*l + 4*x + 26 = 0, -3*x - 2*x = 4*l + 17. Let v = 4 - 2. Let d = v - l. Is -2/7 != d?
True
Suppose -27 = -f + 1. Which is smaller: -1 or f?
-1
Let n be -2*2/20*5. Which is smaller: 1/8 or n?
n
Suppose 39 = t - 4*u + 3, t + 3*u = 8. Suppose -n - t = 4*n - 3*f, n - 14 = -3*f. Which is greater: -5/3 or n?
n
Let x be (-2)/3 + 144/27 - -4. Is -2 > x?
False
Suppose 9 = 2*v + v. Let p(y) = -y**3 - 35*y**2 + 36*y + 1. Let z be p(-36). Is v < z?
False
Let u = 1.6 - -3.5. Let v = u - 5. Are v and -1 non-equal?
True
Suppose 0 = -4*h - 3*k - 177, 21 = 3*h - 5*k + 132. Which is smaller: h or -41?
h
Suppose -2*g - 2*g = 3*v - 32, -3*g - v = -19. Suppose 0*b + 21 = -5*t + 4*b, -g*b = 2*t - 18. Is t > 0.2?
False
Let y(t) = 2*t - 1. Let z be y(2). Suppose -z*n + 7 = -8. Which is smaller: n or 4?
4
Let t be -5*(-4)/10 - 2. Let u be (2 - 2/4)*8. Suppose 2*b + 7 = -b - m, 4*b - 4*m = u. Is t at least as big as b?
True
Let q = -2/29161 + -6444561/291610. Let u = q + 22. Which is bigger: u or 0.2?
0.2
Let f(q) = -q**3 + 5*q**2 + 1. Let x be 3/6*-6 - -8. Let p be f(x). Let b be ((-2)/28)/((-4)/16). Which is bigger: b or p?
p
Let k be (6/12 - -4)*2. Is 11 bigger than k?
True
Suppose 5*t - 2*t - 36 = 0. Let f be (4/t)/(2/18). Let i = 3 - f. Is 2/3 less than i?
False
Let i = 21 - 7. Suppose 3 + 2 = 5*j + 4*c, 3*j + i = c. Is -3 at most as big as j?
True
Suppose 0*a + a = -2*h - 5, 3*a = -h + 10. Suppose a*c = 5*i - 10, 4*i = -5*c - 0*i - 19. Is c greater than -4?
True
Let p = 2/119 - -216/1309. Which is smaller: p or -4?
-4
Let x = -23 + 33. Suppose 0 = -2*f + 3*d - x, -3*f + 5*d = -4*f + 8. Which is greater: -7 or f?
f
Suppose -14 = -4*t - c - 3, 3*t + 5*c = -13. Suppose t*f = -0*l + 2*l, 0 = 5*l + 5*f + 15. Is -4 less than or equal to l?
True
Let k be ((-6)/4)/(6/40). Does 0.1 = k?
False
Let a = -2 - -3. Are -2/13 and a unequal?
True
Let s(x) = -x**2 + 8*x - 3. Let w be s(5). Let p be (-18)/w*10/(-3). Suppose z - p*i - 16 = 0, -1 = 2*z - 3*i - 12. Does 0 = z?
False
Suppose 4*v + 22 = 6. Let b be (-1)/1 + (-2 - 2 - -4). Which is greater: b or v?
b
Let x be (-36)/(-45) + 1/5. Is 1 > x?
False
Let d = 0.6 + -0.82. Let n = 0.12 + d. Is n < -0.1?
False
Let y(k) = k**3 - 3*k**2 + 2*k - 12. Let p be y(3). Which is smaller: -31/6 or p?
p
Suppose 5*t + 10 = 4*t. Let a be t/(5 + (-3 - 0)). Which is greater: a or -4?
-4
Let v(l) = l**3 + 4*l**2 + l + 1. Let x be v(-2). Let g be (-95)/(-15) + (-2)/6. Are x and g equal?
False
Let c be (-32)/110*-7 + -2. Let t = c + 104/165. Suppose 7*n = 5*n. Is n bigger than t?
False
Let v(o) = -4*o - 4. Let d be v(-7). Let z = -119/5 + d. Is 0 < z?
True
Suppose 19 = 4*q - 5*h, -h = -q + 3 + 1. Suppose -4*l + 15 = -5. Is l >= q?
True
Let t = 16 + -142/9. Suppose -22*r + 20*r = 2. Is t at most r?
False
Let u be (-2)/(-4) + (-9)/(-6). Let t be (4/(-28))/(u/(-7)). Which is smaller: t or 0?
0
Let t = 2144/25185 + 2/1095. Suppose -6 = -7*x + 4*x. Suppose -x*z = 1 + 1. Is t > z?
True
Let u be 0*(1/4 - 3/4). Let t(z) = -z**3 + 5*z**2 - 2. Let f be t(5). Let x = f - -2. Are x and u nonequal?
False
Suppose -5*v - 4*g + 5 - 43 = 0, 0 = g + 2. Let w = 4 + -10. Is w less than v?
False
Suppose 2*y - 12 = -4*u, 3*u + 17 = 3*y + 2*y. Which is smaller: 3/43 or u?
3/43
Suppose 2*k + 4 = 3*k. Let b = 7 - k. Suppose 2*x = 3*s + 19, s + b*x = -9 - 12. Which is bigger: -8 or s?
-8
Suppose -8 = 3*i - 2*i. Let d(x) = -x**2 + 3*x + 2. Let q be d(3). Suppose -3*m + q + 7 = 0, 4*v + m = -33. Which is greater: v or i?
i
Let m = -1.2 + 1. Let j = -13 + 0. Let n = j - -14. Do m and n have different values?
True
Let y = -12.3 - -1.3. Let d = 11.1 + y. Which is smaller: d or -1/3?
-1/3
Let w be (6/18)/((-2)/103). Let j = -1121/66 - w. Let a be (-4)/9 + (-2)/(-9). Wh