Let g be (-2)/(2*2/(-8)). Suppose 2*k + 4 = -2. Let d = g + k. Which is smaller: -0.1 or d?
-0.1
Suppose -2*d = -3*j - 35, -3*j - 2*d = -j + 40. Let v be 3/6 - j/(-36). Let y = -3 + 2. Which is greater: y or v?
v
Let l(y) = y**3 - 7*y**2 - 12*y + 12. Let k be l(8). Let i be (5/k)/(1/4). Which is bigger: 1/6 or i?
1/6
Let k = 2 + -5. Let h be k - (6*-1 - 3). Suppose 5*t = -1 + h. Which is bigger: -1 or t?
t
Suppose -3*l + 6*l = 30. Suppose 4*n = 5*v - l, 0*v - 3*n + 2 = v. Which is bigger: 5/3 or v?
v
Let i = 16 + -15. Which is smaller: i or -2?
-2
Let i = 13 + 15. Is i at least as big as 28?
True
Let i = -4 - -2. Let h = -11 - 6. Let o = 14 + h. Which is greater: o or i?
i
Suppose 0 = -90*z + 86*z + 12. Is 0.07 equal to z?
False
Suppose 2 = 44*f - 46*f. Suppose 0 = -5*x - 7 - 3. Which is smaller: x or f?
x
Let v = 0.08 + 0.02. Let g = 2.59 - 0.09. Let i = -2 + g. Which is smaller: i or v?
v
Let a = -34/31 - -566/403. Is 5 less than or equal to a?
False
Let g be (-27)/21 + (-3)/((-63)/6). Are -3/20 and g nonequal?
True
Let m = -19 + 18.89. Let k = m + 0.11. Let v = 13 - 8. Which is smaller: k or v?
k
Let m be (-2)/2 + 1600/(-7). Let d = m - -230. Is 1 greater than d?
True
Let c = -29 - -31.95. Let k = c + 0.05. Is 0.2 != k?
True
Suppose -u + 4*u = -12. Let w = u - -4. Is 0 smaller than w?
False
Let q = 8 + -5. Let z(u) = -7*u + 0*u**3 + 10 + u**3 + q*u**2 + 4*u**2. Let w be z(-8). Is 3 != w?
True
Suppose -s = s - 4. Suppose 2*k = -3*w + 2 - 7, 5*w + 3 = s*k. Is k smaller than 1?
True
Suppose 0 = -u + 1 + 1. Suppose u*z + 3*z = 0. Which is smaller: 2/9 or z?
z
Let a = 0.3 + -0.2. Let q = a - 0.2. Let c = -17.2 + 17. Do c and q have the same value?
False
Suppose -d = -5*p - 3*d + 8, -3*d + 12 = -4*p. Suppose 0 = -f + 1 - p. Which is bigger: 13 or f?
13
Let z(a) = -a**3 + 14*a**2 - 2*a + 24. Let b be z(14). Which is smaller: -1/13 or b?
b
Suppose -2*y + 90 - 22 = 0. Is 34 less than or equal to y?
True
Suppose -2*d = 5*w - 3*d - 105, -60 = -2*w + 4*d. Is w at least 18?
True
Suppose 0 = -i + 8*i - 7. Let y(p) = -p**3 + 5*p**2 + p. Let r be y(5). Which is smaller: i or r?
i
Let a(r) = -r - 9. Suppose 2*l = -3*p - 11 + 1, -5*l = 3*p - 2. Let h be a(p). Is -2 at most h?
False
Suppose 3*k = 3*c + 3, -5*k - 5*c = 3 + 2. Suppose k*u = u - 2. Let g be 2/(-1) + 15/6. Which is greater: u or g?
u
Let b be -6 - (-3 + 0/(-2)). Which is greater: -14 or b?
b
Let y = -26 + 25.77. Which is bigger: 0 or y?
0
Suppose 0 = 5*k + 17 + 8. Is k at least as big as -5?
True
Let i(c) = -5*c - 2. Let g = -25 + 22. Let z be i(g). Which is greater: z or 12?
z
Let m = 182 + -1276/7. Let g be 1 - (-2)/(22/(-9)). Which is smaller: g or m?
m
Let d = 2597/8 + -325. Which is greater: d or 0.3?
0.3
Let s = -96 + 1729/18. Is s != 1?
True
Suppose -4*u + 2 = -6. Suppose -2 = z - 1. Which is smaller: z or u?
z
Suppose -7*r = -3*r - 52. Suppose 2*d + 10 = 0, 0 = 2*c - 5*d + r - 40. Are c and 1 equal?
True
Let l(p) be the second derivative of -p**5/20 - p**4/6 + p**3/2 + 3*p**2/2 - 2*p. Let s be l(-3). Let k be s + -1 - -1 - 0. Are 3 and k nonequal?
False
Let k be -1 - ((-3)/1 - 0). Let j = 29 + -27. Is k less than j?
False
Suppose 3*p - 18 = f - 4, -4 = -3*p - 4*f. Suppose 5*s + 24 = x, -4*x - 5*s = 6 - 2. Is x greater than p?
False
Suppose -2*z = z - 36. Suppose 5*s - a + 3 = 2*s, -3*s = -4*a + z. Let k = 2 + s. Is 0 greater than or equal to k?
False
Suppose m = -0*m + 3*j + 1, 5*j = 5*m - 45. Do m and 11 have the same value?
False
Let y = -2/75 - 254/1725. Is y greater than 0?
False
Let c = 10 - 15. Let a(d) = d + 8. Let t be a(-7). Is c bigger than t?
False
Let x(g) = -g + 1. Let a be x(-1). Let i = a - -1. Is 3 bigger than i?
False
Suppose 5*a = -n + 1, -4*a + 9*a = 0. Suppose 0 = -r, -3*y - 4*r = -y + 6. Let m = 3 + y. Which is smaller: m or n?
m
Suppose 3*p - 34 = 2*p. Let i be p/10 + 0 + -3. Which is bigger: i or -2/5?
i
Let m = -0.13 + 2.13. Let u = -6 + m. Which is smaller: -0.2 or u?
u
Let w(y) = 5*y**2 - 7*y + 4. Let j(v) = -11*v**2 + 14*v - 8. Let k(r) = -4*j(r) - 9*w(r). Let l be k(6). Suppose 0 = l*a - 7*a. Which is smaller: a or -1?
-1
Let x = 2.6 + -0.3. Let g = x + -0.3. Let j = -2 - -3. Is j not equal to g?
True
Let z be (4/(-14))/(3/(-7)). Let n(a) = -a**3 - 4*a**2 - 5*a - 4. Let s be n(-3). Let g = 0 + s. Is z <= g?
True
Let v = 0.02 - 0.03. Let f be 6/2*(-2)/(-2). Suppose -2*s - 2 = 0, 3*i = -0*i - 3*s - f. Which is smaller: i or v?
v
Let c = 0.04 - -0.16. Which is smaller: c or 6?
c
Let d = 0.22 + -0.4. Let c = -0.82 + d. Which is smaller: c or -0.7?
c
Let k be (1 + 6/4)*-4. Let z be 1/((-225)/55 + 1 + 3). Which is bigger: k or z?
k
Suppose 3*p - 3*x = -p - 78, -5*p + 2*x - 101 = 0. Is -20 != p?
True
Let z = 52.41 + -48.3. Let y = z - 0.11. Let g = y - 3. Is 3 < g?
False
Let r be (-10)/2*(1 + 1). Let l be (-5)/10 - 9/r. Suppose o - 4 = -4*y, 5*y + 2*o = y + 8. Is y != l?
True
Let g(l) = -l**3 + 6*l**2 + 9*l - 10. Let z be g(7). Suppose 45 = z*b - 5*r, r = -2*b + 3*r + 22. Are b and 10 non-equal?
False
Suppose -3*y = -4*y + 3*p + 19, 0 = -5*y + 2*p + 56. Suppose y*o = 5*o + 10. Suppose u + 2 = -o. Which is greater: u or -3?
-3
Let w be 21/14*(-6)/9. Is -1/3 less than w?
False
Suppose 4*k - 18 = -3*s, 2*k + 0*s - 2 = 2*s. Suppose -15 = k*w - 0. Is -4 smaller than w?
False
Let x be 1*(-2 + 2)/1. Suppose 0 = 4*u, 0 = -4*s - 5*u + 4. Is s > x?
True
Let v = -10.2 + 9.6. Is v < -1?
False
Let o = 0.1 + -8.3. Let m = o + -0.8. Let z = m + 5. Are z and -1 non-equal?
True
Let q = -4 + 9. Let p(r) = -r - 14. Let g be p(0). Let o be 129/21 + 2/g. Is q != o?
True
Suppose 0 = 2*m - 5 - 9. Let d(p) = -p - 12. Let r be d(-5). Let i = 0 - r. Is i less than m?
False
Let y = 5 - 5. Suppose z - 2 = 2*z. Is y equal to z?
False
Let z be ((-3)/(-4))/(3/12). Let u = -8 + z. Is u bigger than -5?
False
Let t be (2/4*0)/1. Suppose -2*m = a - 39, 2*m + 3*a - 17 = 28. Let w be -1 - 11*(-2)/m. Is w smaller than t?
False
Let c = -169/5 + 33. Suppose -16 = 2*g + 3*l, -5*l - 17 - 5 = g. Which is greater: g or c?
c
Let a = -1 - -2. Let z = 6.74 + -6.65. Which is bigger: z or a?
a
Let s = 15 - 11. Suppose g = 5 - s. Let n be 1 + (2 - (-34)/(-14)). Which is greater: n or g?
g
Let r = -7.3 + 7. Let d = 8 - 8.1. Which is smaller: r or d?
r
Let h = -38.99 + 39. Which is smaller: h or -1/3?
-1/3
Let z = -0.1 - -0.1. Let f = 0 + 0.5. Let w = -0.4 + f. Is w bigger than z?
True
Suppose 5*r = 3*f, -r - 3*r + 5*f = 0. Let n = 596.96 - 597. Which is smaller: n or r?
n
Suppose -4*d = 3*q - 2 - 3, 0 = d + 4*q - 11. Is d at most as big as -6/5?
False
Let j = -6 - -4. Let b be (-1)/j*16/(-4). Let l = -7 - -4. Is l at least as big as b?
False
Let b = 78.6 - 79. Which is smaller: -1/6 or b?
b
Let d(c) = c**3 + 6*c**2 + c + 7. Let w be d(-6). Let f be (-4)/(-2*1)*1. Let a be (w + -2)/(f/(-2)). Which is greater: a or -1/3?
a
Let r = 1/326 - -637/4890. Is r greater than or equal to 0?
True
Let f be 5 - (5 + -2 + 0). Suppose -f - 4 = 3*h. Does h = -2/3?
False
Let i(t) = -2*t + 12. Let q be i(8). Suppose 5*r + 12 + 8 = 0. Is r smaller than q?
False
Suppose 4*j + 3*s - 4 = 12, 5*j + 5*s = 20. Suppose -4 = h, d = 4*d - 4*h - j. Is -6 smaller than d?
True
Suppose 2*n + 11 = f, n = -3*f - 0*n - 2. Is 1/10 at least f?
False
Let q = -0.3 - -0.4. Let x = -0.3 + 0.5. Let k = 0.3 - x. Is q != k?
False
Let w = 0 + 2. Let k be ((5 - w) + -2)/1. Is k bigger than 1?
False
Let b = -0.701 + 0.001. Is 1/3 at least b?
True
Let n(i) = i**2 - 2. Let t be n(-2). Let p be -2*(-1 + 2) - (-3 + 1). Is p equal to t?
False
Suppose 5*l - 3*f - 15 = 0, -4*l = -0*l - 2*f - 10. Which is greater: l or 3.4?
3.4
Suppose -413 = 3*i - 2348. Let t = i + -14838/23. Let v = 90/161 + t. Is -1 smaller than v?
True
Let i be (-52)/(-20) + 4/10. Let r be (-2)/3 + (-13)/i. Let h be 1 - r/(15/(-4)). Do 0 and h have the same value?
False
Let f(h) = 2*h - 12. Let p be f(6). Suppose -15 = 6*m - m + 2*o, p = -3*o. Let c be (1 + 0)/(2/(-6)). Do c and m have different values?
False
Suppose -p = -4*p - 6. Let i be (-4 - -4)*p/2. Let c = 2/29 - -21/116. Is c < i?
False
Let o = -0.054 - -2.044. Let x = o + -2.1. Let y = x + -0.09. Which is smaller: 0 or y?
y
Let b = -0.06 + -0.1. Let z = b + -0.04. Is z != -0.2?
False
Suppose 2*o + 12 = 2*t - 2*o, 28 = -4*t - 5*o. Let s = 