73/21 - 8923. Let m = l - 28/3. Is m greater than 1?
False
Let o(l) = -l + 1. Let u be o(-2). Let b = -3 + u. Let a = -9 - -8. Is a at least b?
False
Let v be (-43)/(-51) - 0/(-8). Let i = v + -3/17. Which is greater: -2/13 or i?
i
Suppose 3*v = 2*o + 427, -v + o = 4*o - 157. Is v not equal to 145?
False
Suppose 9*d + 75 = 6*d. Is 1 < d?
False
Suppose -4*b - 4 = 4*t - 0, 3*t = -b + 1. Suppose t + 8 = -3*u. Which is smaller: -2 or u?
u
Let m = -4.33 + 1.28. Let n = m - -0.05. Let r = -3.2 - n. Is r greater than or equal to -1?
True
Let s be (2/5)/(1/5). Is s <= 1?
False
Let x be (2 - 5/2)*2. Which is bigger: -2/17 or x?
-2/17
Let a be 8/3*6/4. Suppose -2*m + 4*d + d = -3, a*d = 2*m - 4. Is m at least 1?
True
Let k(d) = d**2 + 2*d + 2. Let t be k(-2). Suppose 0 = -2*u - 3*b + 21, t*u + 3*b = -2*u + 33. Is u not equal to 0.1?
True
Let b be (8/(-6))/((-6)/9). Let n be -5*(b + 36/(-15)). Which is greater: n or 4/5?
n
Suppose -1 = 3*c + 2. Let o be (-4)/((-4)/3) + (2 - 13). Is c less than o?
False
Suppose 6 = 5*j - 14. Is 5 equal to j?
False
Let u be ((-5)/(-20))/((-2)/(-2)). Is -1 less than u?
True
Suppose -5*g - 88 - 27 = 0. Are -1 and g non-equal?
True
Let l = 23/3060 + -3/85. Does 0 = l?
False
Let l(y) = -9*y**3 + 2*y**2 + 2*y + 1. Let a be l(-1). Let n = a - 9. Let c be 2*(-3)/(-198)*3. Is c less than or equal to n?
True
Let n be (-12)/40*(26/8 - 2). Suppose 2*m = -2*m. Which is greater: m or n?
m
Let o(v) = -v. Let z be o(-3). Let g(n) = 2*n - 7. Let k be g(z). Are k and -4 equal?
False
Let v = 48 + -46. Which is bigger: v or 11?
11
Let d be 2/(-8) + 1/4. Let c = d + 1. Is 5/6 greater than c?
False
Let z be ((-4)/44)/(3/6). Are z and -4 equal?
False
Suppose -27 = -3*b + 2*x + 24, 0 = 3*x. Is -0.1 greater than b?
False
Let u(b) = -b**3 + 9*b**2 + b - 11. Let i be u(9). Does -2 = i?
True
Suppose 3*t - 12 = -t. Is 4 greater than t?
True
Let h be 14/3 + -2 - 2. Let a = -175/78 + 14/13. Which is smaller: h or a?
a
Let p be (-1 + 2)*3/3. Suppose 2*x - 5 = p. Suppose 5*a - 8 + x = 0. Which is greater: 0 or a?
a
Let o be (-1*3)/(1/(-3)). Let i be -9*(15/o)/5. Which is bigger: i or 1?
1
Suppose 0 = 3*c - c. Let k = 339/10 - 34. Is c bigger than k?
True
Suppose -7 - 5 = -4*x, -4*f - 14 = -2*x. Is f greater than or equal to -1?
False
Suppose 3*m - 4*m = 12. Suppose 0 = -4*b - 5*k - 19, 7 = k + 2. Is b <= m?
False
Let s = 4 + -7. Let c(k) = k**2 - 5*k + 1. Let t = 7 + -3. Let h be c(t). Is s not equal to h?
False
Let a(u) = u**3 + 13*u**2 + 12*u - 3. Let v be a(-12). Suppose 0 = -4*b + 8, -6 = 4*p - 0*p + 3*b. Let j = p + 3. Are v and j equal?
False
Let w = 773/22825 + -6/275. Let c = 43/668 + 98177/166332. Let n = w + c. Which is bigger: 1/2 or n?
n
Suppose 0 = c - 5*c. Which is smaller: c or 2/3?
c
Let b(h) = -3*h + 6. Suppose -k - 2 + 6 = 0. Let o be b(k). Which is smaller: o or 0.1?
o
Let l = 0 + -5. Let g be (-2)/l - (-13)/(-20). Is g <= 2?
True
Let j = -6 - -4. Let v = 4/23 - -11/69. Are j and v equal?
False
Let p = 0.26 + 3.74. Let h = p - 3. Do h and -1 have the same value?
False
Let a = 4 - -1. Let q be -2 - 39/(-9) - 2/(-3). Suppose -q = -a*f + 5*z - 8, 2*f - 3*z + 2 = 0. Is f equal to -3/2?
False
Let g = -67 + 34. Which is smaller: g or 0.1?
g
Let a(i) be the first derivative of -i**3/3 - 2*i**2 - 3. Suppose d = -3*o - 3*d, 3*d - 9 = 0. Let g be a(o). Is 0 != g?
False
Let t(i) = -i**2 + 9*i - 8. Let w be t(8). Let z be w - 0 - (-2)/(-4). Is z at least as big as 0?
False
Suppose 6*b + 5*j - 15 = 2*b, 0 = -b + j - 3. Suppose -o + 8 = 4*n, -5*o = -2*o - 12. Is n not equal to b?
True
Let z = 5 - 4. Let c be ((-1)/z)/((-11)/55). Suppose -c*n = -14 - 11. Which is greater: 6 or n?
6
Let v be (-8)/3 + 2/(-6). Let i be 0 + -4 + (v - -1). Is -5 at least as big as i?
True
Let i = 3 + -1. Suppose 36 = i*a - 34. Let t be a/5*(-1 - -2). Are t and -1 nonequal?
True
Let o = -39 - -157/4. Suppose -6 - 10 = 4*r. Let j = 4 + r. Is j at least as big as o?
False
Suppose -5*z + 10 = -4*o, -4*z + 8*z - 8 = -o. Suppose 18 = z*f + 2. Let c(x) = x**3 - 8*x**2 + 1. Let p be c(f). Is p smaller than 1?
False
Let i = -1 - -1. Let j be 3/(0 + 9/15). Suppose j*h - h = i. Which is smaller: -1/2 or h?
-1/2
Suppose 15*y - 8*y = 49. Which is smaller: 51/7 or y?
y
Suppose -p = -0 - 1. Let w(j) = -3*j - 10. Let f be w(-4). Which is smaller: p or f?
p
Suppose 0*w + 18 = 3*w. Let a be w/(2/(-3)*-3). Let h be (a - 1) + (5 - 7). Is h >= -4/3?
True
Let z(u) = u**2 - 5*u - 6. Let l be z(-6). Let o be l/33 - (2 + 0). Is o not equal to 1?
True
Let i = -6 - -6. Suppose 3*d - 30 = -i*d. Let p be 1*3/6*d. Are p and 3 equal?
False
Let y be 54/7 - 2/(-7). Let v be (y + 1)*(-4)/(-12). Let s be 3 - v*(2 - 1). Is s less than -2/7?
False
Suppose 2*m + 4*l = m + 3, 5*m + 2*l - 33 = 0. Let b = -7 + m. Let q be (b/5)/(4/(-2)). Which is bigger: q or 1/5?
1/5
Suppose -t + 3*a + 0 = 4, -4*a = -8. Which is smaller: -8 or t?
-8
Let v be 8/(-32) - (-114)/(-8). Is v smaller than -15?
False
Let v be -1 + 2 - (-90)/5. Let j = v + -10. Which is smaller: j or 10?
j
Let j(n) = -n**2 - 9*n - 16. Let w be j(-3). Is 2 smaller than w?
False
Let g = -16 + 10. Let x be 11 + -5 + 2*-2. Suppose -5*p + x*o - 8 = 0, -o - 4 = p - 1. Which is smaller: p or g?
g
Let q = 11 + -7. Does 7 = q?
False
Let n(v) = -4*v - v**2 + 3*v - 7*v**3 - 7*v**3. Let r be n(-1). Let o be ((-16)/(-28))/(4/r). Which is greater: o or 3?
3
Suppose 4*d = 4*v + 28, 0 = -2*d - v + 2*v + 9. Let k be 33/9 + 3/9. Let m be (3 - 4) + (k - 2). Is m bigger than d?
False
Let b be ((-2)/8)/((-99)/(-88)). Which is greater: b or -1?
b
Let y be 24/14 - 4/(-14). Suppose 4*b - 4 = 2*f, 5*f - 5 = -4*b - 1. Which is greater: f or y?
y
Let w = -1.65 - -0.65. Which is smaller: -34 or w?
-34
Let z = 28 + -39. Is z > -10?
False
Let t(s) = -s**3 - 16*s**2 - 28*s + 19. Let a be t(-14). Which is greater: 21 or a?
21
Suppose -4*w + 1 = -5*w. Let j be ((-3)/(0 - 3))/w. Let i be (-3)/(0 + 3*j). Is 1/4 <= i?
True
Let n = -31 - -401/13. Let y be (8/12)/((-6)/(-9)). Which is bigger: n or y?
y
Suppose -42 = -5*y + 4*j, 2*y + 0 - 6 = -2*j. Suppose -4*r + y = -r. Suppose 5*n = r*n. Which is smaller: n or 2/5?
n
Let b = -0.13 - -0.03. Which is bigger: -9 or b?
b
Let u = 16 - 8. Let s = u - 4. Suppose 0*p - 2*p - s = 0. Are p and -2 equal?
True
Suppose 2*g + 6 = -0*g, 5*g + 15 = -3*d. Let o = -4 - d. Is -3 less than o?
False
Let d = 3.6 - 0.6. Let k = 1 + 0. Is d <= k?
False
Let n be 64/(-56)*7/(-2). Is n at most as big as 2?
False
Let s = -45 + 69. Let f be (-4)/(-10) - s/(-15). Which is greater: f or 4/3?
f
Let t = -37.1 + 37. Is -2 < t?
True
Let n = -5 - -8. Let y(a) be the second derivative of -a**5/20 - a**4/2 + a**3 - 5*a**2/2 + 3*a. Let b be y(-7). Is b < n?
True
Suppose 3*d = 0, 2*d + 0 = 2*v - 2. Is v at most as big as 1?
True
Let y be (-9)/27 + (-118)/(-318). Let u = -57/106 + y. Which is bigger: u or 0?
0
Let b be 1/(-2)*(-1 + -3). Suppose -n + 10 = 4*n. Suppose -5*p = n*c - 13, 2*p + b*c = -3*c + 1. Is p at most as big as 2?
False
Let m = -6 + 11. Suppose 3*v - 25 = 6*v + m*d, 2*v - 4*d - 20 = 0. Let r = -1.3 + 0.3. Are r and v non-equal?
True
Suppose -2*q + 13 = 5. Suppose 0*b + 2*v = b + 10, 0 = -4*v + q. Are -9 and b equal?
False
Let j be 11/(-33) + 13/12. Is j < 1?
True
Let a = -5 + 3. Let c be -2 + (0 - a) + 0. Let l = 1/7 - 5/7. Which is smaller: l or c?
l
Let h = -22 + 31. Suppose u + 3 = h. Suppose -u*v + 2*v = 4. Is -1 smaller than v?
False
Suppose -20 = 4*h - 9*h. Suppose -h = 2*o + 4. Which is smaller: o or -5?
-5
Let j be 1/((-3 + 1)/(-196)). Let i = j - 979/10. Which is greater: 1 or i?
1
Suppose 7*y + 3*y = -240. Which is smaller: y or -26?
-26
Let c be (3/(-15))/((-40)/25). Is 0 at least c?
False
Let y be 50/12 - 4/8. Is 4 at most y?
False
Let d be (-2)/(-3) + 13/3. Suppose -w + 3*r = 10, -4*r + 10 = -d*w + 2*w. Which is smaller: w or 0?
0
Let t(i) be the third derivative of 1/12*i**4 - 1/2*i**3 + 0 + 0*i - 3*i**2. Let n be t(3). Is n bigger than 3?
False
Suppose c + a + 39 = 2*c, 0 = 2*c + a - 72. Suppose -3*z - 5*f = c, z - 3*z + 2*f + 2 = 0. Let l = -3 - z. Which is greater: 0.3 or l?
l
Let h = 5 - 5. Let a = -46 - -645/14. Which is greater: a or h?
a
Suppose -3*s + 0*s = 2*s. Is -1/27 bigger than s?
False
Suppose 0 = 5*i + 5*z, -5*i - 11 - 17 = -2*z.