Let p be m(-3). Let b = -115 - -110. Let z be (6/b)/(44/p). Is z at most as big as 1?
True
Let q be 0*(-3)/9 - -3. Let m be (((-3)/1)/q)/1. Let j be (2 + m - 1)/(-2). Which is smaller: -2 or j?
-2
Suppose -14*p = -13*p + 1. Which is smaller: 2/13 or p?
p
Let z = -3/52 - -113/156. Is 2 less than z?
False
Suppose 0 = -k + 3*k. Let u be (-14)/54 - 10/(-30). Is k bigger than u?
False
Let b be (-2)/4 + 9/4 + -2. Are -0.1 and b non-equal?
True
Let s = -65381 + 587504/9. Let f = 103 + s. Let z(y) = -2*y**2 - y. Let l be z(-1). Which is smaller: f or l?
l
Let v(d) = 15*d**2 - 5*d - 2. Let h be v(-3). Let i be h/28 + (-6)/21. Is i at least as big as 6?
False
Let u be 6/8 + 3/12. Let y be 2/u*4/2. Which is greater: y or 3?
y
Let t(i) = -i + 5. Let d be t(5). Suppose 14 = 3*u + o, d = -3*u - o + 3*o + 8. Let v = -9 + 13. Is u >= v?
True
Let o = 46.885 - -0.115. Which is smaller: o or -1?
-1
Suppose 2 = 3*y - 4. Suppose -4*f + y*f - 8 = 3*t, 0 = -5*f - 20. Let s = -80 + 1522/19. Is s at most t?
False
Let x be 0*(2 - (-15)/(-10)). Is -1/4 <= x?
True
Let f be 4/(-5) + -2 + (-70)/(-25). Let o = -0.2 + 0.4. Which is smaller: o or f?
f
Let c(l) = 5 + l**2 - l + 2 - 1 - 4*l. Let j be c(4). Which is greater: j or 3?
3
Let v = 1.3 - 1.3. Which is smaller: v or 1.2?
v
Suppose -4*q + 4*x = 32, 2*x - 14 - 17 = 5*q. Let j(r) = 6*r - 6*r**2 + 4 + 7*r**2 + 0*r**2. Let y be j(q). Which is smaller: y or -2/7?
y
Let p = -2.8 + 2.858. Let q = p - -3.042. Let w = q + -3. Is -2 greater than w?
False
Let n(g) = 2*g - 15. Let i be n(7). Which is bigger: i or 0?
0
Suppose -3*q + 8 = 4*z + q, 3*q + 3 = 0. Suppose 4*v + y = -9, -z*v + 2*y + 12 = -y. Are -1 and v unequal?
False
Let p be (-7)/(12/(-4)*-1). Let a(h) = -h**3 + 4*h**2 + 4*h + 3. Let x be a(5). Which is greater: p or x?
x
Let g(t) = 2*t**2 + 8*t - 2. Let c be g(-4). Is c >= -2?
True
Let o = -0.01 - -0.21. Let f = 0.3 - o. Let x = 2 + -5/3. Is x bigger than f?
True
Suppose 0 - 2 = m. Let c(d) = d**3 - 3*d**2 - 3*d - 5. Let t be c(4). Let z be t*(-2 - -1 - m). Which is bigger: z or 2/23?
2/23
Let z be 0/2 - (-3)/(-258). Which is bigger: z or 0?
0
Let j be (-30)/(-16) - (2 + 0). Suppose -10*r = -5*r. Which is smaller: r or j?
j
Let j be 4 + (-3 - (0 - 1)). Let z = 3 - 1. Is z < j?
False
Let i be ((-9)/(-3))/(3/(-9)). Which is smaller: -5 or i?
i
Let p be 5*1/((-2)/(-14)). Let g = -7/2 + p. Let a = 32 - g. Are 0 and a equal?
False
Suppose w + y = -3 + 11, 20 = 2*w - 2*y. Is 8 bigger than w?
False
Let g = 5.7 + -6. Let o = 69 + -70. Is g at least o?
True
Suppose p + 18 = -5*w, 8*p - 4*p + 5*w + 12 = 0. Let r = 2 + p. Is r at least 4?
True
Let q = 8.06 - 0.06. Let n = q + -8. Which is smaller: -3/5 or n?
-3/5
Let s = -37 - -18. Are -19 and s nonequal?
False
Let c be (-150)/5*(-14)/3. Suppose h + 3*h + c = 0. Let k be (-15)/h*(-4)/(-3). Is k <= 1?
True
Let m = -6 - -6.6. Let t = m - 0.5. Which is smaller: -20 or t?
-20
Let q = 7 - -11. Let d = q + -13. Which is greater: 4 or d?
d
Let y(n) be the second derivative of n**4/12 + n**3 + 3*n**2 - 3*n. Let o be y(-4). Let r be ((-2)/o)/((-2)/(-6)). Which is smaller: r or 0?
0
Let g = -76 - -382/5. Let w = g + -1/15. Let l = -3 - -2. Which is smaller: l or w?
l
Let a = -3 - -5. Suppose a*f + 8 = p, p - 18 = -2*f + 10. Let l be 2/12 + (-3)/p. Is -3 at most as big as l?
True
Let u = -6 - -8. Is -1 at most u?
True
Suppose 0*i + 10 = 5*i. Suppose 0 = 2*o - 2*z - 4, 0 = 2*o - z - i. Which is bigger: o or -1/11?
o
Suppose -3*m = -4 + 10. Let x be (140/50)/(m/3). Which is smaller: -5 or x?
-5
Let f be 0 - ((-15)/3 + 3). Let x be ((-1)/f)/((-2)/(-36)). Let y(v) = v**3 + 10*v**2 + 10*v + 6. Let d be y(x). Which is bigger: d or -2?
-2
Suppose 3*g - 4*g = 8. Let y = 0.13 - 0.23. Is g at least y?
False
Let w be 29/(-25) + (12 - 11). Are w and -1 unequal?
True
Let a(j) = -j**2 - 6*j - 6. Let g be a(-5). Let d = 10 + -16. Let m be 15/(-9) - 2/d. Which is smaller: m or g?
m
Let l be 40/3 + (-2)/6. Let x be ((-1)/l)/((-3)/(-6)). Let z(r) = -4*r**3 - 14*r**2 - 7*r - 4. Let s be z(-3). Does s = x?
False
Let v = -6/85 - 28/85. Suppose -5*y + 2*t - 2 = 3, y + 4*t = -1. Is y smaller than v?
True
Let u(c) = c - 2. Let x be u(0). Let d be (1 - 1)/(x - -3). Suppose -5*o = -2*b - 7, -b - 5 = 2*o - 6*o. Are d and b nonequal?
True
Let i be 14 + -13 - -1*11. Which is bigger: 13 or i?
13
Let m(t) = 4*t**3 - 1. Let w be m(1). Let h be 5*6*(-1)/(-10). Is w smaller than h?
False
Let s be (-28)/8*-2 - 0. Suppose -s + 6 = -m. Are 1 and m equal?
True
Let d = 11 - 7. Suppose -3*h = 2*x - 9, d*x + 0*h - 4*h = -12. Let g = -2621/14 + 187. Which is smaller: x or g?
g
Let h = -41.3 + 40. Is -1/4 at most h?
False
Let y(c) = -c**3 - 6*c**2 + 2*c + 4. Let p be y(-6). Let v be p/9*(-2)/4. Suppose 0 = -h - 3 + 4. Do h and v have the same value?
False
Let f(a) = 9*a - 1. Let u be f(-1). Which is bigger: u or -12?
u
Let g(x) = 33*x**3 + x**2 - 32*x**3 - 4*x**2 - 3*x - 1. Let l be 2/(0 - (-2)/4). Let i be g(l). Does i = 4?
False
Let d(f) = -f**2 - 6*f. Let j be d(-6). Let m = 9157/11 + -833. Is m not equal to j?
True
Let i be (4/1 - 3) + 1. Suppose q - 4*u - 1 - 9 = 0, -i*u = -2*q + 8. Suppose -5*b = -q*b + 6. Which is smaller: b or 0?
b
Let r = 2 + -3. Is -0.4 > r?
True
Let a = -96.07 - -98. Let f = 0.07 + a. Which is bigger: 2/13 or f?
f
Let d(k) = k**3 - 8*k**2 + 9*k - 8. Let h be d(7). Let s be h/(-27) + 11/9. Let n be (-26)/12 + 3 + -1. Which is smaller: s or n?
n
Suppose 3*o - 4*l = 22, -5*o + l - 3*l + 2 = 0. Suppose o*p - 3*p = 2. Let s be (-3 + 6)/(-3 + p). Is s at most as big as -1?
False
Let t(y) = -y**2 + 7*y + 5. Let n be t(7). Let w = n + -14/3. Which is bigger: w or -7?
w
Let k = 154 - 172. Which is smaller: k or -16?
k
Let j be (4/(-9))/(4/(-18)). Let y(l) = l - 4. Let z be y(6). Is j greater than or equal to z?
True
Let l = 14/3 + -109/24. Let v be (-7)/(14/(-4)) - -1. Suppose g = v*g + 2. Which is smaller: g or l?
g
Suppose -29 = -2*z - t, -5*t - 8 = -4*z + 43. Let p(f) = f**3 + 3*f**2 - 2*f - 1. Let r be p(2). Is z > r?
False
Suppose 0 = 5*h - 23 + 3. Is h bigger than 2?
True
Let p(x) = -x - 2. Let m be p(1). Let y = 4 + -2. Let t = y + m. Is t less than or equal to -1/4?
True
Let b = 10 + -2.8. Let r = b - 7. Which is bigger: r or 1/4?
1/4
Let c be (16/(-6))/(5/15). Does 2/9 = c?
False
Let i = -2 + 3. Let f = -1/3 + i. Which is greater: 0 or f?
f
Let b be (-3)/3 + (-2 - -1). Let v = b + 6. Is 5 <= v?
False
Let x be (6/4)/((-6)/(-56)). Let j be 1/(-3) + x/6. Let s = -14 + 15. Are j and s equal?
False
Let n = -758/5 - -152. Which is smaller: n or -10.4?
-10.4
Let b = -10 - -6. Let r = b + 3. Let d = -3/10 - 6/5. Which is bigger: d or r?
r
Suppose -2*s = 12 - 2. Let u(o) = o**2 - 5*o - 6. Let j be u(6). Do j and s have the same value?
False
Suppose -3*i - 4 = -1, -4*q + 4*i + 28 = 0. Suppose 3*t - 3*g - 9 = 0, g + 0*g + 3 = 0. Suppose t*b = 3*b - 15. Is b less than q?
True
Let o(u) = -u**2 + 3*u + 2. Let c be o(3). Suppose 12 = r + 5*r. Are r and c nonequal?
False
Let a = 13 + -13. Is a equal to 0?
True
Let v be -1*(((-138)/(-42) - 2) + -1). Let m(q) = -q + 1. Let h be m(-3). Suppose -4*d + 3*p - h = 0, 5*d = -5*p + 3 - 8. Is v less than d?
False
Let s be (10/(-3))/(3/(-9)). Let u = 0 + s. Let x(r) = r**3 - 10*r**2 - r + 9. Let j be x(u). Which is bigger: j or -3/5?
-3/5
Let u(s) be the third derivative of 1/24*s**4 + 1/6*s**3 + 0*s + 0 + 3*s**2. Let q be u(0). Which is smaller: q or -1/15?
-1/15
Suppose -5*d + 26 = x, -4 = 4*x + 4*d - 28. Let q be 1*(-2 - -1)*0. Suppose q*g - g = -2. Which is greater: x or g?
g
Let w = 2.03 + -2. Let t = w + 0.97. Let a = -0.9 + t. Is 1 != a?
True
Let l = 17 - 7. Suppose -3*o = 2*o + l. Which is greater: o or -1?
-1
Let k = -4.5 + 5. Let y = -0.4 + k. Which is smaller: y or 2?
y
Let p = 183 + -108. Let r be 2/(-9) - p/27. Let v = r + 1. Which is bigger: v or -2/3?
-2/3
Suppose t + t + 3*v = -1, -2*t - 2*v - 2 = 0. Let b = 3.01 + -0.01. Is t equal to b?
False
Let b = -9 + 25. Let r be (48 + 0)*1/3. Is r at least b?
True
Let t = -6.1 + 6. Is t less than -2?
False
Let l(d) = d**3 - 2*d**2 - 3*d + 4. Let q be l(3). Suppose 0 = -m + q - 2. Which is smaller: 0 or m?
0
Suppose 5*t = 25 - 65. Are -4 and t non-equal?
True
Let u(r) = 4*r + 1. Let s(j) = 7*j + 3. Let q(w) = 3*s(w) - 5