t i = -3 - -3. Let x = i - 0.1. Let z be -5 - 9/(36/(-32)). Is x less than z?
True
Let b(i) = 2*i**3 + 6*i**2 - 11*i - 12. Let r be b(-4). Which is smaller: 1/4 or r?
r
Let o = -0.1 - -0.2. Let b = -0.8 - -4.8. Is o greater than or equal to b?
False
Suppose 4*r - 3*o - 41 = 0, 16 - 4 = 3*r + 4*o. Let t = r - 17/3. Is 3 less than or equal to t?
False
Let u = 15 - 15. Which is bigger: -6/11 or u?
u
Suppose -2 - 2 = 2*d. Is 11 greater than or equal to d?
True
Let b = 11 + -11. Which is smaller: -1/7 or b?
-1/7
Let h = -384/17 - -4020/187. Is 0 equal to h?
False
Let l(m) = m**3 + 24*m**2 + 25*m + 43. Let o be l(-23). Which is smaller: o or 1?
o
Let i be 8/(-12)*(-15)/(-2). Let g(q) = q + 7. Let o be g(i). Suppose -2*l + 1 + 1 = 0. Is o greater than l?
True
Suppose 2*z = 2, -3*l + 5*l = 5*z + 33. Are l and 20 nonequal?
True
Let p be (2 - 19/9)*3. Which is greater: 1 or p?
1
Suppose 2*d - 5 - 15 = 0. Let z be d/24 + 2/(-8). Which is bigger: -1 or z?
z
Suppose -5*x - 6 = -3*l, -x + 34 = 4*l + x. Let d = -332 + 206. Let r be 3/d - 1/l. Which is greater: 0 or r?
0
Let v = 14 + -15.9. Let a = -0.3 - -0.2. Let r = a + v. Which is smaller: r or 2?
r
Let w = -3 + 6. Is 5 equal to w?
False
Suppose -a - 3*w = -0*w + 12, w = -3*a - 20. Which is smaller: -5 or a?
a
Let z(g) = -14*g**3 - 3*g + 3. Let l be z(2). Let d = l + 803/7. Is d less than 1?
True
Suppose 4*f - 5 + 9 = 0. Which is smaller: f or -2/15?
f
Let s = -10 + 7.7. Let f = s - 0.7. Let q = f + 2. Is q at least as big as -5?
True
Let s = -699/91 - -50/7. Is 0 less than s?
False
Let z = -6 - -10. Let b be (-16)/(-9) - z/(-18). Do -2/7 and b have the same value?
False
Let b be 1/5 + 12/(-30). Which is smaller: -1 or b?
-1
Suppose d + 11 = 4*t, -t = 2*d - 0*d - 5. Suppose 2*b = -t*b. Let i = b + 1. Is i > 0?
True
Let m be (2/(-65))/(-1)*-5. Is -3 greater than or equal to m?
False
Let a(m) = -m**2 - 6*m + 9. Let i be a(-9). Which is bigger: -17 or i?
-17
Let q = -0.8 + 1. Let u = 3.9 - 4. Let c = u - -0.3. Is c at least as big as q?
True
Let r(m) = m**2 + 4*m + 2. Let n be r(-4). Suppose -5*z = -n*i + 29, 18 = -4*z - 2*i + i. Let f be (2/z)/(6/(-15)). Is 1 less than f?
False
Let h be 171/15 + 2/(-5). Suppose 0 = -2*v - v + 30. Which is greater: v or h?
h
Suppose -3*c + 5*c - 10 = 0. Let k = 2 + c. Let i(z) = z**2 - 8*z + 6. Let t be i(k). Which is smaller: t or -1/5?
t
Let o = 48 - 39. Which is greater: o or 10?
10
Suppose 15 = -2*j - 11. Are -13 and j equal?
True
Let w = 77.88 + -83. Let j = 0.12 + w. Let x = -4.7 - j. Is -1 > x?
False
Let s = 589 - 29969/51. Let i = -13/11 - -353/187. Let d = s - i. Is d greater than or equal to 1?
False
Let i be -1 - (-11 - -1)/1. Let a be ((-2)/3)/((-12)/i). Is a >= 0?
True
Suppose -d - 4*v = -5*d + 308, -3 = -v. Let f be (-4)/10 + 22/d. Is 0 less than f?
False
Suppose 5*k + 3*q - 2 + 7 = 0, q = k - 7. Suppose k*c - y - 3 = 5, c + 5*y + 7 = 0. Suppose -h = c*i + h - 6, 3*i - 6 = -3*h. Are -0.1 and i non-equal?
True
Suppose -10 + 11 = q. Which is greater: q or 11/5?
11/5
Suppose -5*p + 1 = -3*v, -2*p + v = p - 3. Suppose p = -j - j. Let r = -1 - -2. Are j and r nonequal?
True
Let u = 67 + -73.6. Let o = u + 7. Is 2/7 at most o?
True
Let u = 67 + -334/5. Which is bigger: -1 or u?
u
Suppose -4*b - 238 = -2*j, -5*b - j - 20 = 274. Which is smaller: b or 0?
b
Suppose -f - 4*v - 18 = 2, 3*v = -5*f - 15. Let l be 10/30*(f - -1). Let r = 1 - -1. Which is smaller: l or r?
l
Let n(p) = p - 3 + 2*p - 2*p. Let z be n(5). Suppose -j = 2*a, -2*a + z = j + 2*a. Does j = 1?
False
Let n = -25/4 - -13/2. Suppose 5*c - 8 = -3. Which is greater: n or c?
c
Let x(r) = -2*r + 7. Let z be x(5). Let k(h) = -2*h + 7. Suppose -25 = -2*l + 3*u, 0 = u + 2*u + 15. Let j be k(l). Do z and j have different values?
False
Let j be 13/(-20) + (-2)/(-5). Suppose 9*v + 1 = 8*v. Which is smaller: j or v?
v
Let u = 7 - 4. Suppose -u*d + 0*d = 0. Let p be ((-15)/(-8) + -2)*-2. Which is smaller: d or p?
d
Let t(s) = -3*s + 2. Let g be t(2). Let n(u) be the first derivative of -u**2/2 - 9*u - 2. Let z be n(-5). Is g at most z?
True
Let d = 234.1 - 222. Let y = d + -9. Let m = 0.1 - y. Which is greater: m or -0.1?
-0.1
Let a be (-3)/(7*(-1 - -2)). Suppose 5*x - g = -3*g - 5, -4 = 4*x + g. Let s be 2*(-1)/(-2)*x. Which is smaller: a or s?
s
Let y be (-60)/357 + (-4)/34. Is 2 at most as big as y?
False
Let m = -74 + 30. Do m and -43 have the same value?
False
Let d(a) = -a + 4. Let w be d(4). Let m(s) = s**3 - 2*s**2 - 3*s - 1. Let y be m(3). Which is greater: y or w?
w
Let n = -0.03 - -0.13. Let t = n - 1.1. Let l = -6/23 - 39/115. Is l greater than or equal to t?
True
Suppose 5*z - 4*z = 0. Suppose -3*x + 3*g = 9, -5*x + z*g - 14 = -4*g. Let d be (-1)/x + (-10)/4. Which is smaller: -3 or d?
-3
Let q(u) = u**2 + 11*u + 30. Let o be q(-7). Is 2 at most o?
True
Let v = 145/3 + -49. Which is greater: -6 or v?
v
Let l(c) = -2*c + 2. Let a be l(-4). Let u be ((-2)/(-6))/((-2)/(-12)). Suppose -3*r - u*k = -r - a, 20 = r + 4*k. Is -1/2 smaller than r?
True
Let v = 18/7 - 22/7. Which is greater: v or 2?
2
Let y(n) = n**2 - 11*n - 8. Let m be y(12). Let v(k) = -k**3 + 3*k**2 + 5*k - 1. Let t be v(m). Which is bigger: 3/2 or t?
t
Let c be 4/((4/6)/(8/(-12))). Which is greater: -2 or c?
-2
Let n be 1530/(-36)*2*(-1)/5. Are n and 16 unequal?
True
Let p = -5 + 4.8. Let b = -0.18 - p. Which is greater: b or 2?
2
Let h = -172 + 65. Let d = 1392/13 + h. Which is bigger: 1 or d?
1
Suppose -4*j = -h - 62, -3*h - 4*j = -h + 76. Does h = -44?
False
Let v = -5/24 - 1/8. Do v and 4/9 have the same value?
False
Let o be 3 + 38/(-8) + 0. Is -3 less than o?
True
Let l(o) = -o + 3. Let g be l(1). Let z = 0 - g. Is z greater than -2?
False
Let y = 84/5 - 1082/65. Let j(l) = 7*l**2 - 9*l - 5. Let g(h) = 8*h**2 - 10*h - 5. Let p(w) = -6*g(w) + 7*j(w). Let c be p(4). Which is smaller: y or c?
c
Let h be -17 - (1 - (0 + 2)). Let y be (-7)/(-9) - h/72. Which is greater: -3/8 or y?
y
Let g(l) = -2*l - 1 + 2*l - 4 + l. Let b be g(4). Is -2 greater than or equal to b?
False
Let i(p) = -p**2 - 5*p - 4. Let x be i(-3). Suppose v + 1 = -n + 2*v, 2*n = 3*v - 1. Let y = n + x. Which is bigger: 2 or y?
2
Let q(c) = -c + 3. Let b(a) = -1. Let o(t) = 5*b(t) - q(t). Suppose 18 = 3*n - 6. Let d be o(n). Do 0 and d have different values?
False
Let k = 3/41 + 32/123. Which is bigger: -1 or k?
k
Let d be (-5 - -8) + (-6)/2. Which is smaller: d or 5/4?
d
Let m(a) = 2*a + 1. Let w be m(-1). Suppose 2*q = -q + 9. Suppose -4*g + q*g = 0. Is w less than g?
True
Let l be ((-2)/(-6))/(1/(-3)). Is l < -2?
False
Let m = 118/1143 - -1/127. Let i = -2/9 - m. Let b = 0 - 0.1. Is b > i?
True
Let q = 2.26 - 28.86. Let l = 27 + q. Let v be 4/54*-1*3. Which is smaller: l or v?
v
Let m be 48*((-2)/(-10))/(4/(-10)). Is -25 smaller than m?
True
Let i(h) = -6*h**2 - 5*h - 2. Let k be i(-2). Does k = -5?
False
Let v = 69 + -68. Which is bigger: v or 1/206?
v
Let b = -165 - -165. Which is bigger: 8/9 or b?
8/9
Let g be (-2 + (-18)/(-10))/((-22)/275). Let a(j) = 2*j**3 + 2*j**2 + j - 2. Let n be a(2). Let x be n/10 + (-4)/10. Do g and x have different values?
True
Let y = -10 + 11. Let l = y + 2. Let x be l - (2 + 3 + -1). Which is smaller: x or 2/7?
x
Let i(k) be the first derivative of -k**2/2 + 4*k - 3. Let a be i(5). Let y be 35/49 - (-1)/a. Which is greater: 1 or y?
1
Let p(k) = k**2 + 8*k - 5. Let n be p(-9). Suppose n*a + 0 = -4. Is -0.1 greater than a?
True
Let n = -19 - -13. Which is bigger: -9/2 or n?
-9/2
Suppose 0 = -4*b + 10 - 2. Suppose -s = 3 - b. Which is smaller: 1/8 or s?
s
Let z be (1/2)/(5/30). Suppose -2*x + 1 = z. Let a be -2 + 1 + (-1)/(-5). Is a < x?
False
Suppose 10 = 4*n + n. Let p(v) = 0*v**n - 1 + 2*v**2 - 2 + 0*v**2 + 3*v. Let s be p(-3). Which is bigger: s or -2/7?
s
Suppose 5*a = j + 4*j - 685, j = 5*a + 141. Let s = j + -1081/8. Let f = 43/40 - s. Are f and 1 equal?
False
Let y(z) = 9. Let t(s) = s - 46. Let j(f) = -2*t(f) - 11*y(f). Let n be j(-3). Which is smaller: n or 1/10?
n
Let s = 8 + -6. Suppose 3*b = -3*c - 2*c - 12, 0 = -b + 3*c + 10. Which is smaller: b or s?
b
Let y = -6 - -9. Suppose 0 = -y*w - 7 + 28. Suppose 3 = 3*q, 9*o = 4*o - 2*q + w. Which is smaller: o or 4/5?
4/5
Suppose 97*d = 100*d - 123. Is 42 < d?
False
Let l = 6 + -9.