-6 - -16. Let c be (-92)/o*(-10)/(-42). Let n = 20/7 + c. Which is bigger: 1 or n?
1
Let x = 36.3 + -29. Let y = x + -1.3. Let n = 5.6 - y. Which is greater: n or 0?
0
Suppose 5*u = 2*u. Suppose -2*p + 13 - 1 = u. Which is greater: p or 11/2?
p
Let t(u) = -9*u + 27. Let o be t(3). Which is smaller: o or -4/83?
-4/83
Let x be (37 + -2 + -3)/2. Let m = -17 + x. Which is smaller: m or 2/31?
m
Let j(k) = -k**3 - k**2 - 2*k - 1. Let z be ((-2)/(-4))/((-1)/2). Let b be j(z). Which is greater: b or 1/2?
b
Let p = 2.052 - 0.052. Is p > -10/7?
True
Let u(h) = h**3 - 6*h**2 - 1. Let s be u(6). Which is greater: 4 or s?
4
Let f be (-4)/8 + 2/(-8). Is f bigger than 2/5?
False
Let w(q) be the second derivative of -3*q**2 + 2*q + 0 - 1/3*q**3. Let p be w(-4). Is p at most as big as 2?
True
Let w = -7.16 - -7. Let a = w + 0.06. Is -0.4 >= a?
False
Let v be -2 + -1 + 930/306. Is -1 smaller than v?
True
Let v = 4 + -4. Suppose v*h = 3*h + 6. Let f(g) = -2*g - 2. Let t be f(h). Is 4 > t?
True
Let w = 0.2 + -0.3. Let u = -0.16 + 1.06. Let t = u + 0.1. Which is smaller: w or t?
w
Let z = 0.1 - -0.7. Let d = -0.84 + z. Let l = 0.04 + d. Is 0.3 <= l?
False
Let x = 1.09 - -0.11. Let q = 1 - x. Let u = 0.5 + q. Is u equal to -0.1?
False
Let y = 0.08 + -0.03. Let v = y - -0.25. Is 0 bigger than v?
False
Let p = 7 + 3. Let y be 4/p - 8/20. Which is bigger: y or -2?
y
Let t(w) = -w**3 + 5*w**2 - 2*w - 8. Let m be t(4). Is m != 40?
True
Let j(r) = r**3 - 3*r**2 + 1. Let z be j(3). Suppose -196 = 5*h - 4*c, 2*c - 3*c - 140 = 4*h. Let m = h - -75/2. Which is smaller: z or m?
z
Let c(x) = -x**2 - 5*x + 7. Let l be c(-6). Let i be (-3*2/l)/(-2). Let q = 0 - -3. Is q greater than or equal to i?
True
Let v = -1085/500973 - -1/9823. Let a = -40/969 - v. Is a greater than -1?
True
Let i be (-4)/(-6) - 2/(-6). Let p be 18/((2 - 0)*i). Let v be (6/8)/(p/2). Is v less than or equal to 1?
True
Let p be (-30)/4*(-4)/(-5). Let n be 2/3*p/4. Suppose 0 = -6*q + 4*q - 4. Is q at most n?
True
Let a(j) = 2*j + 0*j + 0*j - 2. Let r be a(4). Suppose 4 = 2*b - r. Which is smaller: 0 or b?
0
Let n = 0.3 + -0.37. Is 1 equal to n?
False
Suppose 2*q = -6, -v - 25 + 4 = q. Let p be (-30)/154 - v/63. Is p < 0?
False
Let o = 1.4 + -2.4. Let g be (-3 - -2) + (-8)/(-7). Do g and o have different values?
True
Let g be (0 + 3)/(2/2). Let i(w) = w - 4 + g + 2. Let l be i(-2). Which is bigger: l or 0.1?
0.1
Let o = 16699/8 - 2084. Let c = -97/24 + o. Which is bigger: -2 or c?
c
Suppose 5*j + 138 = -37. Is j at most as big as -35?
True
Let p be -2*1*2/(-18). Let u = -4 + 7. Which is greater: p or u?
u
Let n = -0.3 + -0.5. Are n and 1 nonequal?
True
Let k = -0.15 - -1.15. Is -8/3 at least k?
False
Let m = 5 + -3. Suppose m*h = -0*h + 10, h = -3*u - 1. Let d = u - -4. Which is smaller: 1 or d?
1
Suppose j - 11 = -3*z + 2*j, -4*z + 2 = 5*j. Let g be 1*z + (-3)/3. Let r be g*2*(-3)/(-6). Is 3 <= r?
False
Suppose q + 0*k = -2*k + 4, k - 1 = 0. Suppose q*i + 10 = -3*i. Let w = 5 + -6. Is w != i?
True
Let o = -12087/14 + 864. Which is smaller: o or 2?
o
Let i = 2 - 1. Let n be i/2 - (-22)/(-36). Let q = 36 - 36. Which is greater: q or n?
q
Let i(s) = -2*s - 2*s + 5*s - 4 + s. Let g be i(4). Let r be 2/(-5) + g/20. Which is smaller: 0 or r?
r
Let k = 0 + -0.2. Let q = k + 2.2. Which is smaller: q or 3?
q
Let j = -9.1 + 9. Let i(y) = y**3 - 3*y**2 - y + 4. Let w be i(3). Suppose -w = -0*x + x. Which is greater: j or x?
j
Suppose 15 = s + 3*j, 0*j = -5*s + 4*j + 18. Let g be 248/144 + s/(-4). Let u be (0 - -2)*(-1)/2. Is g less than or equal to u?
False
Let h = 5.1 + -10.5. Which is smaller: h or 0.1?
h
Suppose 5*k = -3*d - 43, -3*k - 19 - 10 = 2*d. Is -17 greater than d?
False
Let w = -14 + 20. Let p be (1*w)/(12/8). Let c = -4 + p. Is c != 0.1?
True
Let d = 12 + -14. Which is smaller: -7 or d?
-7
Let k(o) = -o**2 - 18*o - 2. Let p be k(-18). Is -6/11 bigger than p?
True
Let u = 1/7 - 2/7. Let k be (-1 - 2)*1 + 7. Suppose -k*w - 2 = -2*w. Which is bigger: w or u?
u
Let s = 7 - 2. Let v(r) = 8*r + 1. Let n be v(1). Let i = n - s. Is i != -0.1?
True
Let k = 6 + -1. Suppose h - 142 = -3*h - z, -5*h + k*z + 190 = 0. Let m be 53/h + 12/(-54). Which is smaller: 0 or m?
0
Let z = -3.2 - -3. Let g = 0.3 + z. Let x = 0.8 + -0.9. Is g at least x?
True
Let c be (7 + -3 + 2)/10. Which is greater: 0 or c?
c
Suppose 4*u - 8 = 0, -o - 3*u = -2*o + 8. Let z = o + -67/5. Let n = -1 + 3. Is z at least as big as n?
False
Let a = 21278 + -169971/8. Let h = 32 - a. Let c = -4 + 3. Which is smaller: h or c?
c
Let r = 3 + -3. Let g be (4/6)/((-57)/(-9)). Is r <= g?
True
Let p = -1 - -1. Let z be (0/(p + 2))/2. Suppose 4*b - 5 - 7 = z. Which is smaller: b or 4?
b
Suppose -71 = 4*j - 23. Is 1/4 greater than or equal to j?
True
Suppose 5*g = 5 - 10. Is g < 1/4?
True
Suppose 4 = p + 3*p. Let i be -2 - ((-48)/9)/p. Which is bigger: i or 3?
i
Let g be ((-69)/6)/(1/12*-3). Is 46 at most as big as g?
True
Suppose -3*u = -2*v - 79, -2*v - 2*v + 3*u - 149 = 0. Is v bigger than -1/5?
False
Let s = 37 - 37. Which is greater: -2/13 or s?
s
Let j be -3 + -6 - (-5 - -2). Let t be 91/(-21) - 2/j. Which is bigger: -5 or t?
t
Suppose 9*j - 11*j - 44 = 0. Which is greater: j or -21?
-21
Let n = 52/3 - 17. Let t(b) = b**3 + 2*b**2 - 4*b - 2. Let w = -8 + 5. Let s be t(w). Are s and n equal?
False
Suppose -3*j = -7 + 1. Suppose -3*h - k + 14 = -3*k, 2*h - 5*k = j. Let b be (3/9)/((-2)/h). Is b smaller than -1/2?
True
Suppose 4*f - 2*f - 16 = -5*v, -3*v = 3*f - 6. Which is greater: -14/13 or f?
-14/13
Let x = -7 + 9. Suppose -5*s + x*l = -2*l + 52, -4*s - 5*l = 17. Are -8 and s nonequal?
False
Let h(j) = j**2 - 3*j + 2. Let y be h(3). Let g(c) = -c - 1. Let z be g(0). Let p be (-2 - z)*(-3 - -2). Is p bigger than y?
False
Let a = -709/1204 - -3/172. Is a at least 1/2?
False
Let h = 2 + -5. Let p(s) = -3*s**2 + 1. Let g be p(1). Which is bigger: h or g?
g
Suppose 3*l - l - 235520 = 0. Let q = l + -1297701/11. Let t = q + 213. Are -1 and t non-equal?
True
Let c(a) = -a - 11. Let d be c(-9). Let r = d + -2. Suppose 3*i - 3 = -15. Is r at least i?
True
Let j = 56 - 29. Suppose -7 = h + 5*m + 15, -4*h + j = -3*m. Suppose a + 8 = 5*d, -h*d = 5*a + 9 + 3. Is -2/7 < d?
True
Let d be 236/(-24) - (-4 + 75/18). Which is bigger: -11 or d?
d
Let a = -0.75 - 0.25. Is a <= 8?
True
Let k be ((-3)/2)/((-3)/8). Suppose 77 = -k*q - 35. Let d = q + 55/2. Do -1/3 and d have different values?
True
Let c = 19.98 - 20. Is -0.3 at most as big as c?
True
Suppose 0 = -0*m - 3*m. Which is smaller: 4/13 or m?
m
Let a = -1158/7 + 166. Let v = 3 - 3. Which is smaller: v or a?
v
Let h = 19064/21 + -908. Is h <= -2/3?
False
Suppose -a = -4*a - 6. Let g(i) = 2*i + 1. Let w be g(-1). Let b = -2 - w. Which is greater: b or a?
b
Let r = 7 + -7. Let y = 1.31 - 0.01. Let a = y + -0.3. Which is greater: r or a?
a
Let l = 0.042 - -0.058. Is 30 <= l?
False
Let q = -18 - -11. Is q at least as big as -7?
True
Let z be ((-2)/(-6))/(15/45). Is -1/47 < z?
True
Let u be ((-94)/13)/2 - 1. Let h = u - -686/143. Are h and 0 non-equal?
True
Let u be 4/(-8) - (-3)/(-2). Let q be 6*1/(u/4). Let c be (-1)/(-4) - q/16. Is c not equal to 1?
False
Suppose -4*c = -5*c - 5. Let n(q) be the second derivative of -q**5/20 + q**4/4 + q**3/3 + 5*q**2/2 - 5*q. Let m be n(4). Is c at least m?
False
Let w be (-100)/132 - (-8)/12. Which is greater: -1 or w?
w
Let p = 0.014 - 5.014. Which is smaller: -1 or p?
p
Suppose 0*z + 4*z - 68 = 0. Suppose z = 4*h + 5. Suppose -1 = h*r - 4. Is r greater than 2?
False
Suppose -3*w + 4*v + 37 = -0*w, -3*w - 2*v = -13. Suppose 0*n - 36 = -4*n. Is n less than w?
False
Let s = 0.55 + 0.25. Let b = 0.9 - s. Is 0.1 greater than b?
False
Let j = -0.426 - -0.026. Let d = 0.1 - -0.3. Let z = d + -0.3. Does j = z?
False
Suppose 5*w = 4*w - 2. Let z be w/5 - (-34)/10. Is 2 at most z?
True
Let a = 0.037 + 0.063. Does 12 = a?
False
Let i = -15.9 + 16. Is 0.1 bigger than i?
False
Let s = 10.6 + 35.4. Which is smaller: s or 0?
0
Suppose -2 = -q - 0*q. Let z be (2 + (-10)/2)/1. Let h = 6 + z. Do h and q have the same value?
False
Let u(v) = -v + 2. Let i be u(-3). Suppose 4*d - i*d - 3 = 0. Is -3 less than d?
False
Suppose l + 3 = -3*f, 0 = -0*f - f - 4*l - 12. Let u = 42/5 - 892/105. Which is great