/2. Which is bigger: b or -1/5?
b
Let b(j) = j**3 - j**2 + j - 7. Let h be b(0). Are -5 and h equal?
False
Let z = 48 - 45. Let u be (-22)/(-30) - (-2)/(-6). Does u = z?
False
Let k = 11 - 11.2. Is -0.1 > k?
True
Let k be 4/(-6)*2/(-4). Suppose 8 = -2*s, 2*s = -2*n + 3 - 1. Suppose 0 = -n*x - 0*x + 5. Which is greater: x or k?
x
Suppose 4*j - 1 = -5. Let q be -5 + ((-4)/j - 2). Which is smaller: q or -4?
-4
Let p be 40/70 + (-4)/7. Which is greater: p or 1/7?
1/7
Let v = 16 + -10. Is v less than or equal to 3?
False
Let u(a) = 2*a**3 + 1. Let w be (0/(-3) - -2) + -1. Let q be u(w). Is 3 at least q?
True
Let s = 11 + -12. Let m = 59/5 + -423/35. Which is smaller: m or s?
s
Let t(f) = f + 14. Let o(i) = i**3 + 6*i**2 - 7*i - 8. Let c be o(-7). Let y be t(c). Suppose -7*k = -4*k - y. Which is smaller: k or 0?
0
Let q = 177 - 176. Which is bigger: 0.4 or q?
q
Let f be (-2 + 14)/((-6)/(-3)). Let q = 4 - f. Let u = -8 - -5. Is q bigger than u?
True
Let h = -7 - 3. Let i be (-2 - -1)/(2/h). Is 6 at most i?
False
Let x = -104.3 + 104. Is -3/10 != x?
False
Let j = -0.11 - 0.89. Which is smaller: j or -5?
-5
Let h be (4 - 3)*(-6)/(-8). Is h != 0?
True
Let n(y) be the third derivative of y**6/120 + y**5/15 - y**4/4 - 5*y**3/6 + 4*y**2. Let b be n(-5). Which is smaller: b or 3/7?
b
Let i(w) = 3*w - 1. Let p be i(2). Suppose -17 = -5*g + j, -p*g = -2*j - 1 - 13. Let u(t) = t - 10. Let h be u(9). Which is bigger: g or h?
g
Let v be 1 - -5*2/(-8). Let p(q) = -q + 7. Let o be p(7). Is o less than or equal to v?
False
Let c = -0.6 + 0.4. Which is bigger: 0.2 or c?
0.2
Let q = -4.3 + 4. Let k be (-6)/8 + 970/(-40). Let h be 4/2 - k/(-10). Which is smaller: h or q?
h
Suppose -1010 - 618 = 11*r. Is 1 at least as big as r?
True
Let a be (2/(-6))/(7/63). Is a bigger than -11?
True
Suppose -3*o + 9 = -4*w, -3*w - 2*w = 2*o + 17. Let y = -3 - w. Is 2/3 bigger than y?
True
Let v = -13.3 - -6.3. Is -5 less than or equal to v?
False
Suppose -2*b = -2*q, 0 = 5*b - 0*b + 2*q - 28. Let a be ((-4)/(-12))/((-2)/b). Which is smaller: 1 or a?
a
Let g = -4.959 + -0.141. Which is bigger: g or -0.1?
-0.1
Let w be (4/(-6))/(10/15). Which is smaller: w or 1?
w
Let u = 1.4 + 0.6. Let b = 2 + -2.2. Which is smaller: u or b?
b
Suppose 4*x = 3*d + 17, -5*x + 5*d + 10 = -10. Let k = 69 + -64. Does x = k?
True
Suppose -4*t - 1 = 3. Let u be -1*(9/(-5) - t). Suppose -4*b = -0*b. Which is bigger: b or u?
u
Let c = -48 + 93. Is c < 44?
False
Let r = -1.18 - -1.305. Which is greater: r or 2/7?
2/7
Let j be (-6)/(-272)*(-339)/(-9). Let i = j - 12/17. Which is bigger: i or 1?
1
Let m = -103 - -304/3. Which is greater: 0.3 or m?
0.3
Suppose -7 = -2*j - 3*s, s = 3*j + 4*s - 15. Is 4 less than j?
True
Suppose 0 = 6*g + 35 + 1. Is -54/11 >= g?
True
Let z = 1 - -4. Let n = -5.4 + z. Let u = n + 0.6. Which is greater: 2/7 or u?
2/7
Let m be 5*(3 - (-147)/(-15)). Are m and -34 non-equal?
False
Let h be (-4)/6 - (-40)/6. Let i be 3/h*8/10. Suppose 0 = 4*f + 5*k - 11, -7*f + 1 = -2*f + 2*k. Which is smaller: f or i?
f
Let i be (-1)/((-10)/6)*(2 - -3). Suppose 4*g = 14 + 10. Suppose 0 = -z + 3*z - g. Is z greater than i?
False
Let r(s) = -s + 9. Let a be r(6). Suppose -a = -2*k - 1. Which is smaller: k or 3?
k
Let a be (3/(-2))/(3/(-6)). Let w(o) = -2*o + 7. Let k be w(a). Let s = 2713/11 + -247. Is s smaller than k?
True
Let t be (-20)/8 + (0 - -2). Are t and 0 non-equal?
True
Let t(y) be the first derivative of -y**4/4 + 2*y**3 - 2*y**2 - 7*y + 1. Let s be t(5). Let o be 1/(-10) - 4/10. Which is bigger: s or o?
o
Let k(l) = l. Suppose 3*r = -2*b + 14 - 2, -3*b = 4*r - 18. Let h be k(b). Suppose 0 = -5*n + h - 1. Is 1 at most as big as n?
True
Let r = -19 - -19. Are 2 and r unequal?
True
Let t be -5 - (1 - 0) - -3. Let l be t/(-12) + 13/(-4). Is l at least as big as -4?
True
Let y be 6/6 - 474/(-10). Let m = y - 48. Is m at most 0?
False
Let f = -100.1 - -100. Which is bigger: f or 4/7?
4/7
Let a = -49724 - -348885/7. Let r = a + -117. Is 1 less than r?
False
Suppose 5*j = 0, 3*q - 3 = 2*j + 24. Let n = 14 - q. Is n >= 6?
False
Let l(y) = y**3 + 8*y**2 - 15*y + 7. Let s be l(-10). Which is smaller: -44 or s?
-44
Suppose -5*v + o = -5, -4*v - o = 7 - 2. Let z = 3 - 2. Is z at most as big as v?
False
Let m = -58 - -60.2. Which is greater: -2/7 or m?
m
Let u = -19 + 18. Which is bigger: -2 or u?
u
Let i be -6*2/(-12)*-3. Which is greater: -4 or i?
i
Let j(p) = p**3 + 7*p**2 - 10*p - 7. Let g be j(-8). Suppose -5*c + g = -4*i + 4, 2*i + c = 1. Suppose i = -5*f - 0*f. Which is smaller: -1/3 or f?
-1/3
Let f = 0.049 - 4.949. Let x = -5 - f. Which is smaller: x or 6?
x
Let w = -0.04 - 0.36. Which is smaller: 0.06 or w?
w
Suppose 3*c = -4 + 1. Which is smaller: -5/8 or c?
c
Let u = 5 + 5. Suppose 0*t = t - 25. Let p be (-35)/t - (-4)/u. Is -1/6 at most as big as p?
False
Let g = -3.9 + 0.9. Let w = -3 - g. Which is smaller: w or 0.2?
w
Let s be 0/((-2 - -1) + -1). Suppose -16 = 4*q + 4*k, s*k - k = -5*q + 4. Suppose q*w = -w. Is w at most as big as -0.1?
False
Let b = 42 + -28. Let l = b + -15. Which is smaller: -2/27 or l?
l
Let f = 16 - 6. Does 10 = f?
True
Let x = -107.2 - -107. Let n = 0.2 - 0.1. Is x greater than or equal to n?
False
Suppose 0*d = -d + 4. Suppose -b + 4*j = -19, 2*b = -d*j + 9 - 31. Suppose -2*o = -4*v + 8, 13*o - 16*o - 6 = -4*v. Which is smaller: b or o?
b
Let j be (-16)/(-56) + (-16)/7. Let k be (8/(-24))/(j/18). Which is greater: -0.2 or k?
k
Let v be (-7)/3*2926/57. Let w be (-3)/(-1 - 39/(-40)). Let a = v + w. Is -1 smaller than a?
True
Let c be (14/45)/7*5. Suppose 3*i = w + 15 - 2, 4*w - i - 3 = 0. Suppose 0*s + w = 2*s. Is s > c?
True
Suppose -3*q + 4*h + 0*h - 1 = 0, -q = -2*h + 1. Suppose -r - 6 = -q. Is r at most -4?
True
Suppose -18 = v - 4*v. Suppose x = 3*z + 36, 4*x - 60 = v*z - z. Is -12 < z?
False
Let b = -0.2 - -0.1. Let q = -97 - -97. Is b at least q?
False
Suppose -p + 6*p = 10, -5*n + p - 7 = 0. Is -1/56 < n?
False
Let j be ((-3)/(-138))/((-7)/(-42)). Which is greater: j or -1?
j
Let n = -11 + 11.1. Let s = -1.1 + n. Which is bigger: -2/5 or s?
-2/5
Let h = 4 + 1. Let o(x) = x - 3. Let r be o(6). Suppose r = -p + 2*p + z, 24 = 5*p - 4*z. Which is smaller: p or h?
p
Let o = -29 - -20. Let u be (-1 - -1)/(o + 11). Is u > 2?
False
Let f be (3/6)/((-2)/(-16)). Suppose -f*b - 5*v = 16, -5*b = -5*v + 3*v - 13. Is -2/35 less than b?
True
Let k = 18.87 - 19. Let x = 5 + -4.9. Is x < k?
False
Let w be (-4)/(-20) - 1/5. Is w at most as big as -4/11?
False
Let t = -27/8 - -259/72. Which is greater: t or 0?
t
Let o(q) = q**2 + 4*q - 19. Let f be o(-13). Let a = f - 1077/11. Is -1 bigger than a?
False
Suppose 5*t = 116 - 41. Let z = -14 + t. Let b be (2/5)/(1 + -2). Which is smaller: z or b?
b
Let w(z) be the second derivative of z**4/12 - z**3 - 3*z**2 - 3*z. Let x be w(7). Let i be 9*(x/(-3) - -1). Which is smaller: i or 0?
0
Let u = -13804/11 + 1254. Let q = 0 + 0. Are q and u nonequal?
True
Let f = 1 - 5. Let b = -4.1 - f. Is b not equal to 1?
True
Let y(r) = -r - 1. Let b be y(-4). Suppose 0 = b*q - 9 - 3. Suppose 0 = 4*n - 0*n + q. Is 0 > n?
True
Let k = 130/11 + -12. Do 5 and k have the same value?
False
Let f = -697.01 - -700. Let t = -0.01 - f. Which is bigger: t or -1?
-1
Suppose 3*u = 2*g - 12, -2*g + 0*u + 4*u + 14 = 0. Suppose k + g*c = -12, k = -4*c - 2 - 14. Is -1/7 < k?
True
Let g = 209/309 - 1/103. Is g greater than 1/5?
True
Let q be (2/6)/((-3)/(-9)). Let b = -12 - -4. Let p = b + 5. Is p smaller than q?
True
Let n(f) = -f**2 + 5*f + 6. Let p be n(6). Which is smaller: -1 or p?
-1
Let a be (-15)/10*2/6. Suppose 8 = -3*q - q. Let m = 2 + q. Is a at least as big as m?
False
Let v(p) = 7*p**2 - 7*p + 3. Let o(a) = -4*a + 6 + 3*a**2 + 1 - 5. Let j(s) = -5*o(s) + 2*v(s). Let m be j(5). Is m less than 1?
False
Let h(n) = -n**3 - n**2 - n. Let x be h(-1). Let o be 3 + 11880/(-2668) + 1. Let f = o - -12/23. Is f >= x?
False
Suppose 0*a - 2*a = -i - 4, 0 = -4*a + 5*i + 2. Suppose 2*t - 5*o = -a, t - o + 4 = 4*t. Which is smaller: t or 0?
0
Let o be (1/(-4) - 0)/((-58)/232). Let h = 8 - 5. Suppose 2*u = h*u. Are o and u unequal?
True
Let g = 0.079 + 0.021. Are -5/3 and g non-equal?
True
Let m = -12 + 11. Which is bigger: m or 3/32?
3/32
Let b = 9 - 8.1. Let o = b - 