/(-1). Let k be (-8)/(-44) + i/(-11). Is o >= k?
False
Suppose 9 = 8*c - 17*c. Which is smaller: c or -11?
-11
Let l(y) = -30*y**2 + 5*y + 5. Let q be l(-2). Is -125 bigger than q?
False
Suppose 5*u = 2*u + 3. Suppose -i - 4*i - 10 = -4*h, -4 = 2*i. Are h and u non-equal?
True
Let z = -1.51 - 0.39. Let b = -1.4 - 0.6. Let f = z - b. Which is greater: f or -4?
f
Suppose 4 + 4 = -2*n. Is -3 >= n?
True
Let x(y) = -y**2 - 17*y - 28. Let u be x(-15). Let k(n) = n**2 + 5*n - 8. Let t be k(-6). Which is smaller: t or u?
t
Let t = -96 - -109. Which is greater: -3 or t?
t
Suppose 6*q + 25 = q. Let l = 6 + q. Is 1 at most l?
True
Let t(a) = 0*a - 2*a + a - a**2. Let z(d) = d - 2. Let r be z(3). Let p be t(r). Is p >= -3?
True
Suppose 2*x + 5*u - 80 = -0*u, -5*u + 110 = 3*x. Let r = -152/5 + x. Suppose 4*l - 2 = 3*i, -l - 4*i - 12 = -3. Which is greater: r or l?
r
Let z = -0.071 + 0.091. Which is smaller: z or 2/11?
z
Let v(s) = s + 3. Let b be v(-2). Which is bigger: b or -2/5?
b
Let d be ((-46)/(-42) + -1)/(-2). Let p = -5/7 - d. Let n(v) = v**2 + 4*v + 2. Let y be n(-2). Is y greater than p?
False
Let d = 3.93 - -0.07. Let p = -1.5 - -0.8. Let c = -0.8 - p. Do c and d have the same value?
False
Let l(q) = 95*q - 1. Let f be l(-1). Let r = -478/5 - f. Which is smaller: r or 1?
r
Let b = -8 - -11. Suppose 0*g + g - b = 0. Suppose -2 = g*k + 1. Which is smaller: -1/6 or k?
k
Let o be (-3)/(-12)*4*(0 + 1). Which is smaller: 3/22 or o?
3/22
Let q(c) = c**2 - c - 7. Let p be q(-3). Suppose 4*w = 3*b + 11, w = p*b - 0*b + 7. Let f be (6/9)/(7/3). Which is smaller: f or b?
b
Suppose -h - 4*n = 15, -3*h - n - 8 = 4. Suppose -2*p = 3*z - 9, -4 = -2*p + z + 1. Let q(w) = -w - 1. Let t be q(p). Does h = t?
False
Let i(s) = s**2 + 7*s - 1. Let g be i(-8). Let f be ((-20)/40)/(g/12). Suppose 3*u = -0*u - y + 3, 4*u - 6 = -2*y. Do u and f have the same value?
False
Suppose 5*k + 2*q = -2*q - 35, 0 = 2*k - 4*q - 14. Let n be ((-1)/k)/(16/96). Which is greater: -0.2 or n?
n
Let v(q) = -q**3 - 7*q**2 + q + 7. Let t be v(-7). Suppose t = 3*z - 1 - 5. Suppose 5*p + 25 = -2*h, -z*h = -4*p + 3*h - 20. Which is smaller: p or 1?
p
Suppose -4 = -a - 2. Suppose a*o - 1 = o. Is o > 2?
False
Let q be 2/(-3)*(-2 - 1). Let c = -6 - -9. Let a be 3/2*c/6. Which is smaller: q or a?
a
Let g be 1/(-3)*-6 + -6. Is g bigger than -4?
False
Let g(o) = -o. Let c be g(-5). Let s(f) = f**3 - 6*f**2 - 6. Let v be s(6). Let n be -2 + 1 + -1 - v. Which is greater: n or c?
c
Suppose -449 = 8*l - 57. Which is smaller: -48 or l?
l
Let r(j) = 2*j**3 + 13*j**2 + 3*j + 2. Let c(o) = -o**3 - 6*o**2 - o - 1. Let y(h) = -9*c(h) - 4*r(h). Let w be y(-3). Is -3/7 greater than or equal to w?
False
Let z = 28 + -25. Which is smaller: -0.02 or z?
-0.02
Suppose -3*s = 2*s. Which is bigger: s or 2/25?
2/25
Let p = 1.28 + -0.68. Which is smaller: p or 1/5?
1/5
Suppose 0 = -5*y - 2*d - 3, -6*y = -4*y + 4*d - 2. Let x be -1 + (y/4 - -1). Is -3 < x?
True
Let b = 24 + -24. Let f = 2 - 1. Is f bigger than b?
True
Let i(b) = b**2 + 5*b - 7. Let n be i(-6). Let j = n - 5. Which is bigger: j or -5?
-5
Let a = 14 - 16. Let o be (-6)/3 + 0 + a. Is o at least -2?
False
Let d = -1038/79 + 87721/790. Let s = d - 98. Which is bigger: 0 or s?
0
Let s be (-7 - -1)*5/5. Let a be (-2)/1*(s - -4). Suppose 3*z + a = 1. Which is smaller: z or -4/5?
z
Let j be -1*(2 + -2 + -1). Let a be j + (15/7)/(-3). Let i = -12 + 11. Which is smaller: i or a?
i
Suppose 2*d + 2*d = -i + 42, 5*i = -5*d + 270. Let k = i + -988/17. Is 0 at least k?
True
Suppose -h + 15 = -6. Which is smaller: 22 or h?
h
Let k = -110 + 75. Which is smaller: 1/4 or k?
k
Let o = -0.16 - -3.16. Which is bigger: -3 or o?
o
Suppose 5*b + y = -9, -2*b + 2*y + 3 = 3*b. Let w be (5/2 + -3)*0. Which is smaller: w or b?
b
Let s be (-10)/6 + 3/(-9). Let c = 1 + s. Which is bigger: 0 or c?
0
Suppose -19 = -4*l - 3. Which is bigger: l or -2?
l
Suppose 6*s = 3*s + 3. Let w be 32/(-16) + -2 + s. Is w at least -3?
True
Let n(v) = -v**3 + 18*v**2 + v + 19. Let q be n(16). Let w = -11485/21 + q. Is 0 at least as big as w?
False
Let b be (-8 - -2)*(-1)/(-1). Let f be (b/(-12))/(1/2). Let g be f + (35/(-9))/5. Which is smaller: g or 0?
0
Let k = -156/133 + 6/19. Let u(n) = -n**2 + 9*n - 8. Let f be u(8). Do f and k have different values?
True
Suppose 4*b + 2*g = 9*b - 3, -7 = -5*b - 2*g. Let o be 2/3 - (-56)/(-57). Which is bigger: b or o?
b
Let o be 1/(1/(-3)) - -2. Let f = -2 + 0. Let c be (-2)/3 - f/(-6). Is o not equal to c?
False
Suppose 3*x = 5*r + 46, 2*r + 3*x - 2 = -12. Suppose -2*i + 8 = 2*h - 0*i, 0 = 2*i + 6. Let g = h + r. Which is bigger: 1/7 or g?
1/7
Let v be (-2)/(4/(25 + -1)). Do v and -12 have different values?
False
Suppose -c + 5 - 12 = -2*g, c + g + 13 = 0. Let a = -5 - c. Let k = -4 + a. Which is smaller: k or 3?
k
Let i = 1 - 1. Suppose 0 = 8*z - 4*z - 5*p - 219, -4*z - p = -225. Let r be (-6)/39 + z/26. Do i and r have the same value?
False
Let v = 4 + -11. Let i(a) = a - 6. Let r be i(6). Let x = -6 + r. Is v at most x?
True
Let o = -0.1 - 0.9. Let b = -0.156 - -0.056. Are b and o non-equal?
True
Let z be (-18)/(-81) - (44/(-18))/(-2). Is z equal to -6/7?
False
Suppose -20*y + 28*y - 8 = 0. Which is bigger: 9 or y?
9
Let o(m) = -m**2 - 12*m - 1. Let i be o(-12). Let k = -2 - i. Do k and -2 have the same value?
False
Let h(i) = -i**2 - i + 4. Let c be h(0). Suppose -5*n = c*t - 18, 2*t - 4 = -0. Let s = 1349/6 + -224. Which is bigger: s or n?
n
Let q be (-3)/(-2 - (-97)/2). Let g(m) = m**3 - 9*m**2 + 6*m + 16. Let w be g(8). Which is greater: w or q?
w
Let x be (2/(-5))/((-1)/(-35)). Which is smaller: -13 or x?
x
Let d(m) be the first derivative of 2*m**3 + m**2/2 + 3. Let w be d(-1). Suppose -w*p = -p + 8. Is -1 > p?
True
Let b be 11/((6/(-3))/(-2)). Let g = -15 + b. Let s be -4 + (g/(-2) - 0). Is s at least -1?
False
Let m = 3.5 + -3.6. Which is smaller: 4/5 or m?
m
Let j = -2 + 0. Let q = 8 - 5. Let r be (1/q)/(j/(-12)). Are 2 and r non-equal?
False
Let z be 2*4/(16/6). Suppose -a = z*a + 8. Suppose -4*n + 3 = -7*n. Is a > n?
False
Let a = 87 + -86.7. Is a greater than 2?
False
Let n be 64/160*10/4*2. Which is bigger: n or 3?
3
Let p = 0.5 + -0.8. Is -0.3 < p?
False
Let a(z) = z**3 - 6*z**2 + z. Let o(u) = 5*u**2 - 2*u - 1. Let q be o(-1). Let g be a(q). Is g greater than or equal to 6?
True
Let h be (-9)/21*(-8)/(-12). Let a = -0.2 - -0.2. Is h smaller than a?
True
Let i be 1/(-3) + 154/(-42). Let m(h) = -4*h - 4. Let o be m(3). Let c = o + 11. Is i greater than or equal to c?
True
Let a(k) = k**3 - 5*k - 4 + 4 + 3 + 5*k**2. Let d be a(-6). Suppose -2*b + 7 - 11 = 0. Is d < b?
True
Let a = 49.027 - 49. Is 1 at most as big as a?
False
Let s = 0.4 - 0.1. Do -1/7 and s have different values?
True
Let b be 91*2/5 + 2. Let z = b - 5558/145. Is 1 >= z?
True
Let b = -90 - -89.9. Suppose 0*z - 3*z - 6 = 0. Is z less than b?
True
Suppose -3*z + 0*g = -5*g + 35, 0 = -5*z - g - 21. Let u = z - -6. Are u and 1 nonequal?
False
Suppose 2*z + 4*t = -z - 13, 0 = -2*z + 5*t + 22. Which is bigger: z or -6/29?
z
Let r be (0/(1 + 1))/(-1). Suppose s + 10 = 3*k - 20, r = -5*s + 2*k - 98. Let t be (1/s)/((-3)/4). Which is greater: 0 or t?
t
Let j = 14.2 - 14.8. Which is greater: j or -2?
j
Let r be (-13023)/(-6210) - (-1)/(-6). Let q = r + -3/23. Is 3 smaller than q?
False
Let m = 15/2 + -49/10. Is 3 at least m?
True
Let d be (-4)/(-6) - 2/3. Let l be -1 + d + (-1 - 0). Let s = 12 - 16. Which is smaller: l or s?
s
Let j be 13/(-11) + 30/165. Do 5 and j have the same value?
False
Let i be 8/(-384) - (-2)/(-12). Which is smaller: 1 or i?
i
Suppose -3*f - 4 = 2. Suppose -11 = 8*k + 5. Is k bigger than f?
False
Let q(i) = i**3 + 3*i**2 - 6*i - 3. Let l be q(-4). Let z be 15/120 - (-9)/(-8). Which is greater: z or l?
l
Let k = -3/58 + -139/116. Is k > 2/9?
False
Let d(u) = 5*u - 4. Let t be d(7). Let q = t - 218/7. Let c be 2*2/4 - 1. Which is smaller: q or c?
q
Let q = -206/7 - -974/35. Let p = -1 + 0. Which is greater: q or p?
p
Let p be 3*2/(5 - -1). Suppose 4*l = -9*i + 4*i + 47, 1 = -2*i + 5*l. Let k(s) = -s**3 + 6*s**2 + 8*s - 6. Let w be k(i). Is w >= p?
True
Let w = 639/7 + -91. Let h be ((-4)/(-10))/((-12)/10). Which is smaller: h or w?
h
Let i = 8 - 5. Let h = -3.2 + i. 