- 2. Let o be u(1). Suppose -l = l - o. Is 7 greater than or equal to l?
False
Let k be 6/9*(-39)/2. Let a = -54 + 42. Which is greater: k or a?
a
Let l = -3.296 + 0.236. Let s = l - -0.06. Let a = -0.1 + 0.1. Is s equal to a?
False
Suppose -9 = -2*v - f - 46, -2*v - 28 = -2*f. Which is bigger: -16 or v?
-16
Let p(c) = c**2 + 2*c + 3. Let k be p(-3). Let o = -1 - -6. Suppose -o = -k*v + v. Is -2/11 <= v?
True
Let i = -13 - -12.91. Let v = 0.01 - i. Is v smaller than -2/5?
False
Let d = -4 - -4.6. Is 4/7 equal to d?
False
Let a = 1 - 1. Suppose 90 = 5*w - 105. Let x be ((-3)/w)/(1/(-2)). Is a >= x?
False
Let h = -8.3 - -8. Let f = h + 0.4. Let u = f - 0. Is u less than 3?
True
Let x = 16 - 11. Suppose 15 = -x*y - 15. Which is smaller: -4 or y?
y
Let a = -2 + 3. Suppose a - 3 = f. Let t = 2 + -3. Is t at most f?
False
Let p(x) = x**3 - 16*x**2 + 16*x - 17. Let i be p(15). Which is smaller: -3 or i?
-3
Let b(h) = -h**2 - 15*h + 55. Let u be b(-18). Which is bigger: u or 2/239?
u
Let m = -3 - -2.9. Let x = -72 + 69. Which is bigger: m or x?
m
Let p be 3 + -2*(-258)/(-171). Let z = -25/19 + p. Which is smaller: -2 or z?
-2
Suppose 0*i = 2*i + 3*t - 12, -3*i + 5*t - 1 = 0. Suppose 3*k = 4*m - 3*m + i, 5*m + 4*k = 4. Do m and 0 have different values?
False
Let j = -5/9 + 34/45. Let b = 0.1 - -0.1. Are b and j unequal?
False
Let y be (-2)/6*(-7)/(-63). Which is greater: y or 0?
0
Let y = 234311/79 - 2966. Let u = 137/553 - y. Which is bigger: 0.1 or u?
u
Let w = -2 - -2. Suppose -4*i = 5*l + 13, 5 = -2*l - 3*i - 3. Which is bigger: w or l?
w
Suppose -2*r = 5*r - 35. Which is greater: 0 or r?
r
Let h be 105/54 - (3 - (-1 + 2)). Which is smaller: h or 1?
h
Suppose -8 + 3 = 5*a. Let j = 229/3 + -77. Which is bigger: a or j?
j
Suppose 0 = -2*b + 4 + 6. Suppose 1 + 2 = t - 5*i, b = -3*t + i. Which is bigger: t or -3?
t
Let i be -3 + -2 + (-9)/(-3). Is i at least -2?
True
Suppose 19 = g - 3*n, -4*n + n - 23 = -2*g. Let i be 42/(-10) - 1/(-5). Let w = i + 8. Is g < w?
False
Suppose 4*u = -2*o - o + 17, u - o + 1 = 0. Suppose -a - 1 = -r, 4*a - u*r + 1 = 3. Are 0.3 and a equal?
False
Let f = -4/11 + -3/22. Let x(b) be the first derivative of b**4/4 + 3*b**3 + 7*b**2/2 - 9*b - 4. Let g be x(-8). Which is bigger: g or f?
f
Let b = -1.9 + 1.93. Is 0 < b?
True
Let u be ((-52)/8)/((10/4)/(-5)). Suppose -7 = -h + 6. Is u >= h?
True
Let v(c) = 2*c - 21. Let d(a) = -6*a - 44. Let b(p) = -p - 9. Let y(q) = 11*b(q) - 2*d(q). Let k(f) = -3*v(f) + 5*y(f). Let h be k(9). Are h and -2 equal?
False
Let p be 132/21 - 2/7. Suppose 0 = p*s - s - 20. Which is smaller: s or 3?
3
Let t be (5/(-15))/(2/102). Let v = t - -10. Let q = -3 + -3. Which is bigger: q or v?
q
Suppose -2*h = -3*h. Is h at least 2?
False
Let c be (8/(-6))/((-16)/24). Suppose -c*p + 2 = -v, -p - 1 = -v - 4. Which is greater: p or -5/9?
-5/9
Let f = 2 + -3. Let m be (-35)/(-28) - (-3)/(-12). Let t = m - f. Is 2/3 bigger than t?
False
Let u be 2*(-3 + 2 + 3). Suppose -10 = -u*t - 2. Suppose t*k + 4 = -0. Is k bigger than -2?
False
Let n = 1 - -9. Suppose -n = 4*w + w. Let k be w - (2 + 26/(-4)). Which is smaller: 4 or k?
k
Let z = 8 - 5. Let w be (-7 - -3) + z + 3. Is w bigger than 1/2?
True
Let x be 8 + -3 - 3/3. Let i(j) = -j + 3. Let f be i(x). Which is smaller: -2/13 or f?
f
Let o(u) = -u**2 - 5*u - 2. Let a be o(-7). Let i = a + 15. Let f(j) = -j**3 + 4*j**2 + 5*j - 1. Let n be f(5). Is i smaller than n?
False
Let k = -109/306 - 3/34. Is k >= -1?
True
Suppose 7 = -0*x - 2*x + 5*d, -3*x - 3*d = -21. Suppose 2*o + 18 = -x*c, -5*o - 17 - 4 = -2*c. Let v be (o + 1)/(0 - -1). Are -4 and v nonequal?
False
Let h be 1 + (3 - 3) + -3. Let z be 1*h/(-9) - 0. Which is greater: -4 or z?
z
Let v = 54 + -48. Which is smaller: v or 1?
1
Let j = -55 + 443/8. Is j less than 0?
False
Let h(q) = q**2 - 5*q + 2. Let t be h(6). Suppose g = -3*l - 4*g - t, -g - 4 = 3*l. Let p be (12/9)/(12/9). Is l at most p?
True
Let s be -1*(-3)/3*8. Let q = s + 2. Which is greater: q or 9?
q
Let d = 0.05 + -4.05. Let n = d + 4.1. Which is smaller: n or 0?
0
Let n = 71.1 - 71. Which is smaller: n or 1?
n
Let x = 11/2 - 39/4. Is -4 less than x?
False
Let h = -6.22 - -0.22. Let z = -4.97 + -0.03. Let r = h - z. Is 6 bigger than r?
True
Let q = 31 + -28. Which is bigger: 16/5 or q?
16/5
Suppose 6*z = 3*z - 5*m - 25, -4*z + 10 = -2*m. Is -1 less than z?
True
Let u = 0.19 - -0.01. Let m = u + -0.1. Let c = m + -2.1. Is c smaller than 0.2?
True
Let s = 0.07 + 0.93. Let m = s - 2. Let k = -8 + 8.08. Is m less than or equal to k?
True
Let n be 3/2*(-36 - -14). Is n less than or equal to -33?
True
Let z(i) be the second derivative of 0 + 1/12*i**4 + 3*i + 0*i**2 + 1/3*i**3. Let l be z(-1). Is -1 greater than l?
False
Let a(y) = -y**3 + y - 27. Let l be a(0). Let s = l - -20. Which is greater: -5 or s?
-5
Let c(p) = -3*p + p - 3*p - p**2. Let a be c(-6). Let d be (-2)/a*(-1 - -4). Is 0 at most as big as d?
True
Let a = -21 - -20. Is -1/2 <= a?
False
Suppose -5*p = 141 + 39. Do p and -38 have different values?
True
Let m = 0.122 + 0.078. Is m less than 37?
True
Let v be -1 + 7/((-630)/(-356)) + -3. Is -1 bigger than v?
False
Let k be (-3)/(-24) - (-7)/8. Which is smaller: k or 1/9?
1/9
Let m = -809/1122 + 15/22. Which is bigger: m or 1?
1
Suppose -9 = 5*y + 1. Let x be y/(-4) + (-780)/(-8). Let t be ((-21)/x)/(6/(-8)). Which is greater: 1 or t?
1
Let t = 1 + 15. Suppose -4*b + 0*b = t. Let s = -12 - -7. Which is bigger: b or s?
b
Suppose 5*k - 9 = 2*k. Let h(a) = 2*a - 3. Let f be h(k). Which is bigger: f or 2?
f
Let n(g) = g**3 + 7*g**2 + 6*g + 2. Let v be n(-6). Let x be v - (-14)/6*-1. Let w be 2/5 + 99/(-135). Is x smaller than w?
False
Let h(x) = 5*x**3 + x**2 + x - 1. Let v be h(1). Suppose 5*a + 7 + 2 = 3*y, 2*a - v = -2*y. Suppose y = 3*k + 6. Which is bigger: k or -1/4?
-1/4
Suppose -10 = p - 2*n - 1, 4*p + n + 18 = 0. Let l = -29/50 - -2/25. Which is greater: l or p?
l
Let v = 53.8 - 50. Which is greater: v or 2/7?
v
Let z be 2 - 1 - (-48)/(-80). Suppose -3*w + 5*o + 10 = -13, -2*o = -3*w + 11. Suppose -6 = -5*m - w. Is m at least z?
True
Let n(z) = z**3 - z**2 - z + 1. Let f be n(1). Is 2 > f?
True
Let i = -0.8 + 1. Let g be -3*(-2 + 67/33). Are g and i unequal?
True
Suppose 4*c - 3*b = 24, 0*b + 5*b + 24 = 4*c. Let t = -10 + c. Let a = t - -2. Is -1 != a?
True
Suppose -2*u + 10 = 2. Let l = u + -3. Let a = l + -6. Which is greater: -7 or a?
a
Let i(q) = -4 - 1 + 0 + q. Let n be i(4). Let c = -59/220 - -9/20. Which is bigger: c or n?
c
Suppose -4 = -2*d + 3*d. Let f = 7 + -2. Suppose f*u + 14 = -6. Is u greater than d?
False
Let v = -12 + 1. Let m = v + 10. Is -1/7 bigger than m?
True
Let f be (4/(-10))/((-2)/(-10)). Let o(p) = p**3 - p - 1. Let s be o(2). Suppose -5 = s*n + 10. Which is smaller: n or f?
n
Let a(o) be the third derivative of o**6/40 + o**4/24 - o**3/6 - o**2. Let t be a(1). Is 2 bigger than t?
False
Let l be -1 + (3 + -5)*1. Suppose -5*n + 5*s - 30 = 0, 4*n + 3*s + 0*s - 11 = 0. Which is greater: n or l?
n
Let h = -15 + 12. Which is greater: 1 or h?
1
Let w be 0 - ((-4)/(-1))/(-2). Let x be -3 - -3 - (3 - w). Let q = 2/37 + 29/148. Which is bigger: q or x?
q
Let m(a) = -a**2 + 8*a - 5. Let d be m(5). Let l = 2 + 3. Let p be (-14)/d - (-10)/l. Is p greater than or equal to 0?
True
Suppose 0 = 3*z - 2*z - 5. Suppose -z*i + 0*w = -5*w - 5, 0 = 2*i - 4*w + 4. Suppose -2*r - i = -6. Which is bigger: r or -2/9?
r
Let f = 32 + -33. Let o = 4 - 0. Do o and f have different values?
True
Suppose 6*x - 4*x = 4. Suppose 3*b - 136 = -4*y - x*b, -5*y + 161 = 4*b. Suppose 0 = -4*h + i - 31, 3*h = -0*h - 5*i - y. Which is smaller: h or -7?
h
Suppose 2*i - 1 = -i + 2*o, -4*o = -2*i - 2. Let c be 46/14 - (-3)/(-1). Which is smaller: c or i?
c
Let o = 1.94 - -0.06. Let h = 14 + -15. Are h and o non-equal?
True
Suppose 0 = w, -w - 27 = -3*s + w. Do s and 5 have the same value?
False
Let q = 11 + -10.97. Let o = -4.03 + q. Are o and -2 equal?
False
Let r = -17 + 12. Let x = r + 3. Is x less than or equal to -2?
True
Suppose -5*v = 4*d - 6, -v = -4*d - 3 - 3. Does -1 = d?
True
Let o be (-2)/5*10/(-8). Let y(c) = c**3 - 3*c**2 + c - 3. Let h be y(3). Suppose -v - v = h. Which is greater: o or v?
o
Suppose -3*o + 0*o = 15. Is -4 >= o?
True
Let