+ 2*d, -7*n + 5*d + 10 = -2*n. Let i be (1 - -1) + n + 0. Which is bigger: 1 or i?
i
Suppose 4 - 9 = -5*w. Is 2/5 greater than w?
False
Let h = -37 + 53. Let t be ((-4)/(-6))/(h/5). Let s = 1/24 + t. Which is smaller: s or 0?
0
Let p = -3 + 3. Which is greater: 43 or p?
43
Let u = -91174 + 1003664/11. Let h = -68 + u. Suppose -2*o + 0*o = 0. Which is smaller: o or h?
o
Suppose -n + 14 = 3*z + 3, -5*n = -5*z + 25. Let a = -17/4 + z. Which is smaller: a or -6?
-6
Suppose 5*l - 2*u + 81 = 0, l = -0*u + 2*u - 13. Let o be 4/10 - l/(-5). Is o at most -3?
True
Let u(r) = r**2 + 7*r + 4. Suppose 2*i = 0, a + 2*i = 5*a + 24. Let w be u(a). Let y = -11 + 10. Which is smaller: y or w?
w
Let i = -3.6 + 4. Let a = -0.5 + i. Let f = 2 - 2.1. Is f > a?
False
Let u = 0.0464 + 2.8236. Let m = 0.13 + u. Are m and -1 equal?
False
Let w be (16/40)/((-34)/(-3)). Let l = 477/935 + w. Which is smaller: 0 or l?
0
Suppose 0 = -0*m - 3*m - k + 8, -2*m = -2*k - 8. Let u be (-1)/m + (-10)/(-48). Which is smaller: 0 or u?
u
Let u be (-1 - 8/(-6))/2. Suppose -t + 2 - 1 = 0. Is t smaller than u?
False
Let q be -2 - -3*(-150)/9. Let p be 2/(-8) + q/(-16). Let o = p - 6. Is o less than or equal to -3?
True
Suppose 6*w = -3*n + 3*w - 9, 0 = w + 2. Is 2/5 <= n?
False
Let z = -217/8 - -28. Is z >= 2?
False
Suppose 4*p = -3 - 1. Let s = -4 - p. Let c(b) = -b**2 - 4*b - 3. Let z be c(s). Which is bigger: z or -2/7?
z
Let w be 0 + (-3 - ((-6)/3 - 1)). Which is smaller: 3/22 or w?
w
Let m = 131 + -267/2. Let x(i) = -i**2 - 6*i - 2. Let p(u) = u**3 + 5*u**2 + 7*u + 6. Let r be p(-4). Let d be x(r). Is d greater than or equal to m?
True
Let x(s) = s - 6. Let v be x(5). Let b be (-2)/(-8) + (-2)/40. Which is smaller: b or v?
v
Let n = 15 - 11. Let w be ((-6)/(-3) - n)*1. Let r be 1*(21/(-12) - w). Which is smaller: -1 or r?
-1
Let x = 3 + -3.2. Which is smaller: x or 2?
x
Suppose 0 = 4*g - 8*g. Suppose 3*b - 3*a = -18, g = -4*a - 2 + 6. Let p be -1 - b/((-15)/(-12)). Is p greater than or equal to 4?
False
Let a = 38 - 20. Is 13 greater than a?
False
Let q = -16 + 21. Let s = 18 - 12. Is q bigger than s?
False
Let c = 2435/1041 - 2/347. Let d be 4/(-18) - (-44)/36. Is d <= c?
True
Let z = -406/3 + 137. Let m = -2 + 3. Which is smaller: z or m?
m
Suppose 0 = 2*i + 2*i + 16. Let m(y) = -y**2 - 8*y - 2. Let h be m(-8). Is h at most as big as i?
False
Let z = 0 + 0.7. Is z at most as big as 3?
True
Let k = 6 - 4. Suppose 5*x - k*s = 25, 0 = 2*s + 10. Suppose -6 - 6 = -3*y. Which is smaller: x or y?
x
Let d = 71 + -71. Is -4 bigger than d?
False
Suppose t - 5*q = -4*t - 15, -2*q = 2. Let x be (t/8)/(1/(-2)). Is -2/5 at least as big as x?
False
Suppose -s = -5*s + 12. Let t be (1/s)/(1 + 2). Which is bigger: 0 or t?
t
Let t(z) = -z**2 - 3*z - 1. Let b be t(-2). Let l(m) = -5*m - 1 + 6*m - 2*m**2 + 0. Let s be l(b). Is -3 greater than s?
False
Let f be 2/(-6) + (-12)/(-9). Suppose 2*b + d + 8 + 36 = 0, -d - 116 = 5*b. Let s = b + 49/2. Is s smaller than f?
True
Let d be (-14)/21 - (-8)/9. Which is smaller: d or -1?
-1
Let a(s) = -s**3 - 4*s**2 - 2. Let k be a(-4). Suppose -4*f = 20 + 8. Let w(o) = -o**3 - 8*o**2 - 8*o - 10. Let d be w(f). Is d <= k?
True
Let g be (-2)/6*4 + 2/(-3). Which is bigger: -9/10 or g?
-9/10
Let f = 8 - 5.8. Let g = f - 2.1. Is 1 > g?
True
Suppose 0 = -2*u + 4*r + 4, -3*u + 3 = r - 4*r. Let a be u/4 - 2/(-8). Do a and 0.2 have the same value?
False
Let c = -2/27 - 19/108. Let m be ((-3)/9 + 1)*3. Let h be (m/(-4))/((-2)/(-4)). Which is smaller: c or h?
h
Let b = 3.1 + -3. Which is greater: -13 or b?
b
Let x = -128 - -129. Is x greater than 2/119?
True
Suppose -2*g = -3*g + 3. Let i(v) = -v**2 + 2*v. Let t be i(5). Let l be 4/g - 10/t. Is 0.1 less than or equal to l?
True
Let x be 1*((-6)/1 + 4). Let r be (-26)/21 - 4/(-6). Are r and x equal?
False
Let j = -6.7 - -5.7. Is j greater than or equal to 4?
False
Let z be ((-8)/6)/(14/(-21)). Suppose -10 = 5*s, -z*x + 3*s = 4*s - 2. Let a = 0 + x. Which is smaller: 4 or a?
a
Suppose -3*a + 14 = 2. Let c(f) = -f - 1. Let m be c(2). Let t = m + a. Is t equal to 1/7?
False
Let h = 2.9 - 2.94. Which is smaller: 2 or h?
h
Let l(g) = -g + 6. Let j be l(6). Suppose j*f - 2*f = 12. Let a(b) = b**2 + 5*b - 6. Let m be a(f). Is 0.1 >= m?
True
Let d = 0.08 - 0.38. Let c = d - 0.7. Let i = -11 + 16. Is i <= c?
False
Let q = 0.001 - 13.001. Let n = 0 - 0.1. Which is smaller: n or q?
q
Suppose -2*j - 7 = 5*j. Which is bigger: j or -3/7?
-3/7
Let h be (-4 + 4)*(-2)/4. Suppose -3*b = -4*x - 11, 5*b + h = x + 7. Let j be (-20)/8*6/5. Is x at least j?
True
Suppose -4*j + 9 = -13*j. Are j and -4/3 unequal?
True
Let x be ((39/(-210))/(-13))/((-4)/(-10)). Is -1 bigger than x?
False
Suppose 3*k + 2*i = 4, -5*k = -4*i - 0*i - 36. Suppose -k*t = -2*t. Let n = -3 - -3.02. Which is greater: n or t?
n
Suppose 0 = 3*v + 3, 4*v = 2*j - 12 - 0. Are -3 and j equal?
False
Let s = 5 - 12. Let t be (-1)/(-2 + s/(-3)). Which is bigger: t or -1?
-1
Let c be 4 + 1*-8 + 7. Suppose -c*l = 2*l - 20. Is 4 less than or equal to l?
True
Let k = 111 - 109. Which is greater: k or 33?
33
Let i = -5.4 - -8.4. Which is smaller: -4 or i?
-4
Let o be 2/(-7) - (-8)/(-70). Let j(p) = -p**2 + 4*p - 2. Let h be (-10)/(-3) + (-2)/6. Let i be j(h). Which is smaller: o or i?
o
Let s be 3/(-5) - 44/10. Let y be 19/s + 3 - -2. Is 0 > y?
False
Let i be -2 + (-2)/(836/(-4614)). Let l = 100/11 - i. Let n = -22/57 + l. Is n bigger than 1/4?
False
Suppose 4*b + 35 = 11. Let d be 2*(3 - (-3)/b). Let g = -3 + d. Which is smaller: 3 or g?
g
Let p = 0.1 - -25.9. Is p bigger than -1?
True
Suppose 0 = -2*z + 7*z - 15. Let t be 1 - ((-3)/z - -1). Let u be (-3)/9*3/(-4). Is t > u?
True
Let p = 6 - 3. Let y = 28 + -4. Suppose h - y = -2*n - 4*h, -12 = -3*h. Which is greater: n or p?
p
Let l = 17 - 11. Is l greater than -5/3?
True
Let n(z) = z**3 + 7*z**2 - z - 5. Let q(o) = -o - 3. Let w be q(4). Let d be n(w). Is 2 > d?
False
Let c = -12 + 6. Let p = c + 5.2. Let u = p + 1. Which is bigger: u or -2/3?
u
Let r be (-4)/(1 + 10/(-6)). Which is bigger: r or 5?
r
Let t = -10 - -12. Suppose -7*l + 3*l + 32 = 3*o, -t*o - 8 = -l. Let b be (-1 + (l - 1))/1. Are 5 and b non-equal?
True
Let c(s) = -s**3 - 10*s**2 - 19*s + 6. Let k be c(-6). Is k at least as big as -25?
True
Let x be (0 - -6)*3/6. Suppose -x*i = -7*i + 4. Let w be (2/(-3))/(6/9). Which is greater: w or i?
i
Let n(g) = g + 2. Let f be n(3). Suppose -2*o = f*m - o + 11, 0 = 5*m - 4*o + 6. Let q be 3/(-14) - 6/21. Which is smaller: q or m?
m
Let w = 0.05 - -4.95. Let x = 51144/7 - 7376. Let l = -70 - x. Is l <= w?
True
Let q = 1 - 6. Let a(t) = -t - 5. Let g be a(q). Let f be (1 + g)*(0 + 0). Are -1 and f equal?
False
Let j = -5 + -6. Let l = -11 - j. Is 1/38 greater than or equal to l?
True
Suppose -3*g + 8 = -1. Let s be (8/(-12))/(2/g). Let h = -4 + 4. Is s not equal to h?
True
Suppose p - 21 = 2*w + 2*w, -5 = w. Let m = p - 1. Which is bigger: 1/4 or m?
1/4
Let n(v) = -2*v + 4. Let g be n(6). Suppose 0 = -5*i - 3*f + 15 - 2, -4*f = 4*i - 4. Suppose 4*o - 4*r + 40 = 0, -32 = i*o + 2*r + 2*r. Is g at least o?
True
Let p(t) = -16*t**2 + 1. Let s be p(1). Is s greater than -13?
False
Let a(w) = -5*w + 2. Let x(y) = 4*y - 3. Let j(m) = 3*a(m) + 4*x(m). Let t be j(4). Are t and -3 nonequal?
True
Let o = -0.03 - -0.14. Let l = o - 0.71. Is l smaller than 1/3?
True
Suppose -7*x + 3*x + 68 = 0. Suppose -t = t + 4*l - 26, -2*l = -5*t + x. Is 3 <= t?
True
Let f = -3 + 8. Suppose -3*w + 27 = -f*g, 2*g + 5 = 2*w + 3*g. Let z be w/6 - (-8)/(-24). Is z greater than or equal to 1?
False
Let j(p) = -p**2 + 2*p. Let g be j(2). Suppose 3*o = -g*o + 9. Which is greater: 4 or o?
4
Let s(r) be the first derivative of 2*r**3/3 - 3*r**2/2 + 3*r + 1. Let g be s(2). Do g and 6 have the same value?
False
Let r = 180 + -177.98. Let c = -0.01 - 0.01. Let k = c + r. Do k and 2 have the same value?
True
Let b = -8 - -11. Suppose d - 2 = b*x + 3*d, 5*x - 26 = 4*d. Suppose -4*c + 3 + 5 = 0. Is x smaller than c?
False
Let k = -61/4 + 15. Let q = -15.6 - -11.6. Are k and q unequal?
True
Let c = 147 + 7. Which is greater: 0 or c?
c
Suppose -7 = -3*d + 2. Let x be ((-45)/5)/3 - -5. Which is smaller: d or x?
x
Let p(g) = g**2 + 2*g - 2. Suppose -4*h + 6 = -h. Let n be p(h