 or -2?
-2
Let k(j) = j**3 + 15*j**2 + 13*j - 18. Let l be k(-14). Which is smaller: -1 or l?
l
Let l(u) = u**3 + 3*u**2 + 2*u. Let r be 3/(-15) - (-9)/(-5). Let j be l(r). Is j at least as big as -5/6?
True
Let z = 13.9 + -14. Which is bigger: z or 0.2?
0.2
Let n = -9 - -14. Let f = n - 0. Which is smaller: 1 or f?
1
Suppose 10*x = -47 - 23. Let w be 18/(-4) + 1/2. Which is greater: w or x?
w
Let c = 103 - 105. Which is smaller: c or -0.1?
c
Let a(v) = v**3 + 4*v**2 + 3*v - 2. Let w(b) = -2*b**3 - b**2 + b - 1. Let y be w(1). Let z be a(y). Let u be 6/(-4) - -1 - z. Is 2 not equal to u?
True
Let p(q) = 5*q + 6. Let z be p(-9). Let m be 115/4*(-12)/(-9). Let l = m + z. Which is smaller: -6 or l?
-6
Suppose 10*m - 8*m = 30. Does 13 = m?
False
Let s = 0.75 - -0.95. Which is bigger: 4 or s?
4
Suppose 6*v - 11*v = 5*y - 355, 5*v + y - 351 = 0. Is 69 > v?
False
Let o = -3.2 + 3. Let a = 7 - 31/4. Which is smaller: a or o?
a
Suppose 7 = -2*o + 3. Let f = 76 + -77. Is f != o?
True
Suppose -4*n + 8*n = -12. Which is greater: n or -5/3?
-5/3
Let z be 7/(-1) - (-3)/(-3). Let a = 5 + z. Which is bigger: -0.1 or a?
-0.1
Let j(m) = -m**3 - 3*m**2 - 3*m - 3. Let i(v) = v**2 + 9*v - 12. Let h be i(-10). Let r be j(h). Let n = -1/69 + -133/345. Is n at most r?
False
Let l(v) = v**2 - 4*v + 2. Let o be l(2). Let j be 7/(-2) + o/4. Suppose 5*r - 4*x + 9 = -26, 5*x - 34 = 3*r. Which is greater: j or r?
r
Let k = -25 + 11. Let c be (-2 + 1)*(16 + -1). Does k = c?
False
Suppose p = -p + 2*x - 6, -2*x = -p - 8. Let z be (6/8)/((-135)/(-72)). Which is bigger: p or z?
p
Let b be (-3)/(-2) + 3/6. Suppose 0*g + 4*g = 8. Are g and b equal?
True
Let k(t) = t**3 + 17*t**2 + 17*t + 13. Let v be k(-16). Which is smaller: v or -4?
-4
Let k = -131 + 118. Which is bigger: -5 or k?
-5
Let w = -16 + 16. Is w less than -2/73?
False
Let f = 3 - -3. Are f and 5 nonequal?
True
Let h = -53/12 + 19/4. Let j = -7 - -7. Which is smaller: h or j?
j
Let a(i) = -i + 2. Let q be a(10). Let u = q - -9. Is 1 at most u?
True
Suppose -4*f + 190 = 5*c + f, 3*c - 120 = 3*f. Are 37 and c unequal?
True
Let m be 10/15*(-6)/(-32). Suppose 4*x + 2*y = 44, 0*y - 24 = -2*x - 2*y. Let j = -11 + x. Is m < j?
False
Let n = -1.4 - -4.4. Let c(k) = k**2 + 2*k - 1. Let i be c(-2). Are i and n nonequal?
True
Let x = -18253/21 + 869. Let q = 5/84 - x. Let p = -2266/9 - -252. Are q and p non-equal?
True
Suppose -3*y = 11 + 19. Let j be (y/45)/(2/6). Let u = -0.2 - -0.2. Which is smaller: j or u?
j
Let u(c) = -c**3 + 5*c**2 - 2*c - 3. Let w be u(4). Suppose w*v + 3*r = -5, -5*v = -2*v + 4*r + 14. Suppose -v = 4*f - 6. Is f smaller than -4?
False
Let h be (1 + -3)*(-3)/2. Let j = 5 - h. Suppose 7 = -5*b + j. Which is bigger: b or -2/5?
-2/5
Suppose 9*b + 14 = 2*b. Is -7 > b?
False
Suppose 3 = -5*y - 2. Let t = 0 + y. Let d = -583/5 + 117. Is d <= t?
False
Let r be (-3)/(-5) + 1/(-1). Suppose -264*i + 4 = -265*i. Is i equal to r?
False
Let w be -3 - (-5)/(1020/621). Let a = w - 219/340. Let m = -3.2 + 3. Which is greater: m or a?
m
Suppose -2*f + z = 122413, 5*f = -2*z - 161364 - 144673. Let q = -427453/7 - f. Let s = q + -142. Which is smaller: s or 0?
0
Let l = -441.096 - -445. Let j = l - 0.004. Let z = j + -4. Which is bigger: 0 or z?
0
Let w be 0 - 0 - (8 - -1). Let x be (-30)/w - (-2)/(-6). Let c(l) = -l**2 + l + 4. Let s be c(x). Which is greater: -4 or s?
s
Let u = -154 + 176. Which is smaller: 21 or u?
21
Let a = -4 + -2. Let g be (-3)/6 + (-5)/a. Let d = -5 - -6. Are d and g non-equal?
True
Suppose 6*o + 7 + 11 = 0. Which is greater: o or 0?
0
Suppose 7 = -k + 3. Let n be 1 - (-14)/k - 0. Is n equal to -4?
False
Let h = 0.04 - -0.36. Let f = -0.5 + h. Let o = -0.9 + f. Is o not equal to 1?
True
Let p be (4/10)/(24/27). Do -1 and p have different values?
True
Let k be (-6)/(-34)*(-6)/36. Which is smaller: 0 or k?
k
Let i(x) = -x**3 - 4*x**2 - 2*x + 2. Suppose -o + 3*o = 0. Suppose -b + 5*b + 8 = o. Let c be i(b). Which is greater: -2/3 or c?
-2/3
Let s(i) = i**2 + 7*i - 7. Let d be s(-8). Let f be -1*d*(-1)/2. Which is smaller: f or -6?
-6
Let u(f) = 3*f - 6. Let n be u(2). Which is greater: n or -2?
n
Let h = 10 - 10. Which is bigger: 1 or h?
1
Suppose 5*t - 38 = 2*q, 4*t - 3*q - 10 - 19 = 0. Suppose 4*v - t*v = -28. Is 8 bigger than v?
True
Let c be 2 + (-48)/28 + 0. Are c and 1 nonequal?
True
Let u be (7/(-84))/(6/16). Is 1 bigger than u?
True
Let i = 124.5 - 226.3. Let b = 94 + i. Let g = b - -8. Which is smaller: g or -2?
-2
Suppose 0 = 5*g - 2*v - 76, -4*g + 44 = 2*v + 2*v. Let u be 4/(-7)*g/(-12). Is u less than -6?
False
Suppose -8*f + 4*f - 24 = 0. Let u = 8 + f. Let w be 15/20*2 - 1. Which is greater: w or u?
u
Let q = -4 - -2. Let h(d) be the second derivative of -d**3/3 - d**2/2 - 4*d. Let b be h(q). Which is smaller: b or 2?
2
Let f = -2.98 + -0.02. Let a = f - -9. Let s = a + -5.8. Which is bigger: -1/3 or s?
s
Let q(r) = -r**3 - 2*r**2 - r - 3. Let u be q(-2). Let s be 1/u - (-205)/195. Which is greater: s or 0?
s
Let k be 3/12 + 3/(-12). Suppose c + u - 3 = k, -u + 0*u + 1 = 2*c. Are c and 3 equal?
False
Let u be (-1)/(-3)*18/(-1338). Let t = u - 1558/669. Let j = -3 + 0. Which is bigger: j or t?
t
Let s = 31 - 18. Let w = s - 11.6. Let h = -0.6 - w. Which is greater: 2/5 or h?
2/5
Let p be (2/6)/(2/6). Let g be -5*(1 - 8/5). Let u be (-2 + g)*(-4)/(-8). Which is bigger: p or u?
p
Let n(f) = -8*f - 3. Let t(v) = -7*v - 4. Let a(x) = -6*n(x) + 7*t(x). Let c be a(-7). Let i = 3 + c. Is -6 at most i?
True
Let m = -68 + 59. Which is bigger: -17/2 or m?
-17/2
Let k = 9.6 + 2.4. Let w = k - 12.1. Let r = 0 + -0.1. Is w at most r?
True
Suppose -v - 220 = -5*v. Which is smaller: -1/4 or v?
-1/4
Suppose -10 - 47 = 3*s. Which is greater: s or -24?
s
Let m be 1 - (-1 + 0 + 2). Let g = 10.94 - 11. Let j = 1.94 - g. Is m smaller than j?
True
Let i = -4 + 1. Let h(x) = 2*x - 9. Let q be h(6). Suppose 3*g + v + 9 = 2*v, -g - 5*v - q = 0. Do g and i have the same value?
True
Let g(k) be the first derivative of k**2/2 - 4*k - 1. Let l be g(5). Is -1/8 greater than or equal to l?
False
Let u be (-6)/21 - (-258)/21. Let l = -11 + u. Which is greater: -0.2 or l?
l
Let a = 25 + -26. Is a <= 0?
True
Let u be (-321)/(-105) + -3*1. Which is smaller: u or -1?
-1
Let j be (-6 - -4)/((-2)/8). Let r = -10 + j. Does -2 = r?
True
Let n(j) = j**3 + 7*j**2 + 3*j + 9. Let r be n(-6). Let u = 12 - r. Is u <= -15?
True
Suppose 0 = -5*r + 4 + 6. Let z = r - 0. Let x be (-2)/15 - (-68)/60. Does z = x?
False
Let z = -11 + 15. Let u = -0.3 - -0.2. Is z not equal to u?
True
Suppose -72 = 4*x - 5*g + 65, 0 = -2*x + 5*g - 81. Let w be ((-6)/x)/((-24)/(-80)). Is 0 greater than w?
False
Suppose 0 = 5*r - 4*r + 1. Is 2/9 smaller than r?
False
Let g(p) = p**3 - 4*p**2 + p - 2. Let d be g(4). Let n(t) = -2*t - 1. Let z be n(1). Let r = d + z. Is -2/9 less than or equal to r?
False
Suppose 0 = 3*v + 3*o + 33, 0 = -0*v + v + 4*o + 17. Let u be -3 + v/(-6)*-1. Which is smaller: u or -5?
-5
Let m = -6 + 11. Suppose 0 = m*f + 2*u + 9, 0 = 2*f - 3*f + u + 1. Let y = f + 2. Is 0 at most y?
True
Let n be (-5)/(-15) + 3/(-6). Do n and 1 have the same value?
False
Let t be 5/5 + (-1 - -1). Is -4/13 bigger than t?
False
Let d be ((-6)/(-20))/((-9)/(-24)). Let t = -117 + 117. Is t equal to d?
False
Let y(f) = 10*f + 1. Let p be y(-1). Let i = p + 6. Let v be 16/(-12)*i/(-2). Which is smaller: -4 or v?
-4
Let f = 19 + -53. Which is greater: -35 or f?
f
Let w(t) = -t. Let p be w(3). Let n be p + 0 + 0/(-2). Suppose 4*f = 0, -f - 3*f = -3*v - 9. Does v = n?
True
Let u(x) = -x**2 - 4*x + 3. Let g be u(-4). Suppose -3*d - 6 = -2*f, 2*d = -g*f + 8 + 1. Let v = 0.16 - -0.14. Are v and d unequal?
True
Let b be (5 + (-8004)/1602)/(-1). Is -1 smaller than b?
True
Let k = -511 - -4111/8. Is 2 <= k?
True
Let u = 3 - -1. Suppose -3*f = 0, 0 = 2*s + u*f - 2 - 6. Suppose 2*k = s*t - 5*t + 3, -4*t = -2*k - 12. Is 1/12 less than k?
False
Suppose t = -s + 4, 4*t + 2 - 8 = -2*s. Is 5 >= s?
True
Let w = -125 + 255/2. Suppose -77 = 3*d + i + 161, d + 77 = 2*i. Let m = 393/5 + d. Is m != w?
True
Let d = -4 - -3.92. Let n = d - -1.08. Let u = n + -1. Is 0 greater than u?
False
Suppose -2*o - 6 = 2. Let j be (o/(-6))/(4/(-6)). Is -1 greater than or equal to j?
True
S