e (-40)/(-16) - x/(-4). Which is bigger: -2 or n?
n
Let f = -8 - -11. Let r = 0 + f. Is r equal to -1/2?
False
Let n = 0.3 + 0.1. Let q = 0.4 - n. Let z = -14 + 15. Which is bigger: q or z?
z
Suppose k + 5 = 2*k. Suppose -4*p - 3*h = -2*p - 3, 3*p + 5 = k*h. Suppose -2*w = -2*o - 10, -4*w + o = 2 - 10. Which is greater: w or p?
w
Suppose 2*n - 4*q + 20 = 0, -n + 15 = q + 2*q. Let z be 92/(-90) + (-14)/(-21). Let d = z + 1/45. Which is smaller: d or n?
d
Let r be 1/((10/3)/(-2)). Let c = 31 - 125/4. Let g = -7/12 - c. Which is smaller: g or r?
r
Let h = 483 + -1027/2. Suppose 5*i = -v + 5 + 1, 2*v - 37 = -5*i. Let w = v + h. Which is bigger: 1 or w?
1
Suppose -c = 0, -7*c + 3*c = -f + 2. Let z be (f*(1 + -2))/(-2). Let l = 2 + 1. Is z equal to l?
False
Let v = 1.5 + 17.3. Let a = v - 20. Which is bigger: a or -0.1?
-0.1
Suppose -4 = 2*a - d, 3 = -5*a + 2*d - 5. Let f(y) = -y**3 - y**2 - y - 4. Let h be f(a). Which is smaller: -3 or h?
h
Let n = -1 + 3. Suppose -14 = -2*j - 3*h, 3*j - 42 + 19 = -5*h. Let p be j/4 + (-42)/(-120). Which is bigger: p or n?
n
Let p be -1 + -2 - 100/(-36). Which is smaller: p or -1?
-1
Let b = 13 + 4. Which is smaller: 16 or b?
16
Let p = 1068/5995 + 2/545. Does 0 = p?
False
Let y(a) = a**3 + 7*a**2 + 3*a - 7. Let r be y(-6). Are r and 9 non-equal?
True
Let y = -42 + 27. Is y at most as big as -16?
False
Suppose -q - q = 0. Suppose -2*k + 5*s = -5*k + 20, q = -2*s + 2. Suppose n = k*b + 26, -n = -0*b + b + 4. Which is smaller: n or -2/15?
-2/15
Let f = -5 - -8. Let k(v) = v + 4*v - 7*v + 2. Let q be k(f). Do q and 0 have the same value?
False
Let r = 46 - 45. Suppose 3*y - 2*s = 2, 0 = -2*y + 2*s + 5 - 3. Is r smaller than y?
False
Let y be (1/(-5))/(4/(-5)). Let w = 4 + -3.7. Is w greater than or equal to y?
True
Suppose 0 = -4*r + 564 - 1716. Let d = r - -3162/11. Let o = -109 + 108. Which is smaller: d or o?
o
Let t(j) = -j - 3 - j**3 - 3*j**2 + 4*j + 2*j**3. Let i be t(3). Suppose 0 = -0*m - 2*m - i. Is -3 at most m?
True
Let s = 12/13 + -6/91. Which is greater: s or 0?
s
Let b = 57.9 + -58. Is b at most 2/3?
True
Let x = -1.9 - -2. Let t(u) = u + 2. Let l be t(-4). Let i = l - 1. Which is smaller: i or x?
i
Let w = 333258/131 + -2544. Which is bigger: w or 1?
1
Suppose 0 = 3*p - 15 - 0. Suppose p*k + 25 = -4*c, -6*k + k + 10 = -3*c. Let o = -1 + 0. Are o and k unequal?
False
Let v = 0.38 - 0.32. Let b = -0.2 + 0.3. Which is bigger: b or v?
b
Let i = -10 + 12. Let l = i + -7. Let v be (-62)/(-30) + 2/l. Do v and 2 have the same value?
False
Let g = 14.2 - 12. Let y = -0.8 - g. Is y less than 1?
True
Suppose -2 - 2 = -2*a. Suppose 4*m - w - 7 = 12, 4*w = -4*m + 4. Is a smaller than m?
True
Let p be (1 - 3)/(44/55). Is -2 at most as big as p?
False
Let o = 9 + -9. Let g = 9 + -43/5. Which is bigger: g or o?
g
Let z = -0.25 + 0.08. Let a = z + 0.37. Which is smaller: a or 2?
a
Let b(o) = o**2 - 5*o + 7. Let m be b(3). Is 3 bigger than m?
True
Let w = -24439/104 + 235. Let a be (-343)/(-520) - 1/4. Let r = w - a. Which is smaller: -1 or r?
-1
Suppose -4*x + 0 = -4. Suppose j + x = 2*j. Let o = -10/21 + 19/21. Which is greater: o or j?
j
Suppose -2*p = 2*b + 8, b + 2 - 14 = 3*p. Suppose b = 4*s - 4*c - 12, -4*s + 7 + 5 = c. Suppose 3*q = -6 - s. Is q <= -2?
True
Let z be (-150)/40 - (-2)/8. Is -5 at most z?
True
Suppose -x + 3*x - 90 = 0. Let j be ((-1)/(-3))/((-35)/x). Which is bigger: j or 0?
0
Let t = -126 - -1390/11. Which is bigger: -1 or t?
t
Suppose 5*b - 10 - 14 = a, -5*a - 10 = -3*b. Let w be -3*(21/(-27))/7. Which is greater: w or a?
a
Let d(h) = -h**3 - h**2 + 5*h + 3. Let k be d(-3). Suppose 2*o + 3*t - 29 = k, 3 = -t. Suppose -i - 5 = j, -3*i + 5*j + o = -7*i. Which is greater: i or -2?
-2
Let y be (6/15 + 0)*-10. Let v be y - (-3 - -2) - 1. Which is smaller: v or -5?
-5
Let u = 9 + -0.8. Let i = u - 7. Let r = i - 0.2. Is -3 at least as big as r?
False
Suppose l + 2 = 0, 3*x + 0*l + 7 = 4*l. Which is smaller: -4 or x?
x
Let l = -16 - -64. Let t = l + -334/7. Do 0 and t have the same value?
False
Let m(c) be the second derivative of c**4/12 - 7*c**3/6 + 4*c**2 + c. Let p be m(6). Suppose -p*u + 3 = -3. Is 5/2 bigger than u?
False
Let m = -15 - 2. Is m less than -1?
True
Let o be (-13)/(-21) - (0 + 2/6). Do o and 1 have different values?
True
Let i = -3 + 2. Suppose 0 = 4*v + 532 + 1000. Let r = v - -8807/23. Is i < r?
True
Suppose 30 = -0*r + 5*r. Let m = 5 - r. Let t be (-10)/24 + m/3. Is t at least as big as -1?
True
Let f = -12 - -11. Which is smaller: -4 or f?
-4
Let g be (-4)/6*-3*1. Suppose -3 = k + g. Which is greater: k or -6?
k
Let n(v) = -v + 1. Let y be n(2). Let m = 1/87 - 21/145. Is m smaller than y?
False
Let o = -11.44 - 0.36. Let r = o + 1.8. Which is smaller: r or 0?
r
Let m(d) = -5*d + d**3 - 3*d**3 + 2*d**3 - d**3 - 7*d**2 + 7. Let j be m(-6). Is j < 4/5?
False
Let b = -12 + 7. Let y be b/(-3)*(-6)/8. Are y and -1 equal?
False
Let i = -0.37 + 0.17. Let c = -1.3 + 0.3. Let k = 0 - c. Which is greater: k or i?
k
Let o(i) = -i**2 + 5*i - 3. Let b be o(3). Suppose 4 = 5*j - 6*j. Let c = b + j. Does c = 1/4?
False
Suppose -4*w - 6 + 2 = 0. Let x be 1/(-3) + 129/(-9). Let l = x + 15. Is w >= l?
False
Let k(b) = 4*b**2 - 2*b. Let n be k(5). Let g be n/21 - (-4)/(-14). Let r be -3*g/(-6) - 0. Is r < 2?
False
Let p(q) = q**3 + 6*q**2 + 5*q - 1. Let c be 5 - -3*(-2)/(-2). Let k be (-42)/c - (-1)/4. Let j be p(k). Which is greater: 1/9 or j?
1/9
Let d be (-3)/(-9) + (-22)/(-6). Suppose 3*q - 1 = 4*q - m, 4*m + 12 = -d*q. Let z = 79/3 - 27. Do q and z have the same value?
False
Suppose -9*x + 5*x + 100 = 0. Is 23 <= x?
True
Let t(s) = s**2 - 4*s - 3. Let f be t(7). Is f less than 1?
False
Let u = 1.86 - -7.14. Which is smaller: 6 or u?
6
Let y = -107/6 + 18. Suppose 3*c - 116 = -116. Which is smaller: c or y?
c
Let c = 25708/3 + -183280/21. Let l = c + 158. Let d be -1 + 1*(-1 + 2). Which is smaller: l or d?
l
Let m be (-320)/72 - (-4)/(-18). Is -5 greater than or equal to m?
False
Let q = -991/847 + -14/121. Which is smaller: -2 or q?
-2
Let p = 8 + -3. Let t = 5 - p. Are t and 0.6 non-equal?
True
Let p = 33/43 + -453/86. Suppose 0*v - 12 = 3*v. Is p at most as big as v?
True
Let d = 0.009 - -0.491. Let c = -3 - -2. Is d < c?
False
Let n = 6 + -8. Let l = -6 + 1. Let w = l + 3. Is w at least as big as n?
True
Let r = -0.148 - -0.118. Is r at least as big as -6?
True
Let b(q) = q**2 + 16*q - 13. Let f be b(-16). Suppose 4 = -3*n - 35. Is n at least f?
True
Let c = -34 - -35. Is c <= 2/25?
False
Let l = 22 - 19. Suppose -2*s + 3 = -1. Which is greater: s or l?
l
Let w(x) = x**2 + x - 1. Let c be w(2). Let n be 38/c - 32/(-80). Which is smaller: n or -1?
-1
Let q = 12 + -8. Let w = 0.88 + 0.22. Let z = w + -1. Is q >= z?
True
Let v be (5 - 6) + (-4)/(-2). Which is smaller: 6/13 or v?
6/13
Let n = 146 - -152. Let i = -1482/5 + n. Let h(k) = -7*k + 232. Let v be h(33). Which is smaller: v or i?
v
Let i = 0.045 - 0.984. Let s = i + -0.041. Let w = s - 0.02. Is 3 less than or equal to w?
False
Suppose -2*i + 6*g = 3*g - 8, i - 2*g = 4. Suppose 0 = -2*f - v + 12, 3*v + 8 = f + i*f. Suppose -f*a + a + 12 = 0. Is a smaller than 3?
False
Let y be (-4)/2 + (-10792)/(-1760). Let j = -46/11 + y. Let u = j - -27/140. Which is smaller: -1 or u?
-1
Let r(s) be the first derivative of -s**4/4 - 2*s**3 - s**2/2 - 6*s - 6. Let o be r(-6). Which is smaller: 1/21 or o?
o
Let o be (0/(-2))/(3 - 4). Let l be -1 + 1 - o/(-5). Let b = 14.1 - 14. Which is smaller: l or b?
l
Let a be 3/(-1*(-318)/4). Is -0.1 < a?
True
Let s be (-5)/(-2)*(-8)/30. Suppose -3*o + 5 = 2*o. Which is greater: s or o?
o
Let s be (11*(-3)/6)/((-5)/40). Which is smaller: 43 or s?
43
Suppose 0*j - 15 = 5*j. Let d be (-2 - -1) + (-3)/(-1). Suppose r = -3*g + d, 2 = -3*g + 8. Which is smaller: r or j?
r
Let r be (-106)/26 - -4*(-5)/(-5). Is r at least -1?
True
Let f be 1 - 2 - -1 - -4. Is 6 >= f?
True
Suppose 6*v = v - 10. Let b = -4 - v. Is -1 at least as big as b?
True
Let p = -310/9 - -34. Does p = 0?
False
Let a = 4 + -4.7. Let d = -2 - -2.5. Let c = d + 0.5. Which is greater: a or c?
c
Suppose -3*r - 8 = -5*r. Suppose 0 = r*q - 6*f + 3*f + 28, 2*q + 12 = 2*f. Let x be q/(-25) + 26/10. Is x smaller than 2?
False
Let v = 0.7 - -3.1. Let b = -0.0