. Let h(f) = -f. Let b(g) = -c(g) - 4*h(g). Let n be b(6). Which is greater: 3/13 or n?
3/13
Let p = 5 + -4.92. Let z = p + -0.18. Let a be 6/3 + 20/(-9). Is z at most as big as a?
False
Suppose -5*p = -k - 11, 3*k - 1 = 3*p + 2. Suppose 0*w + w = 0. Suppose -y = -p*n + 4, -3*n = -5*y - 20 - w. Is 0.1 less than y?
False
Let i = 7 + 0. Which is bigger: 0.1 or i?
i
Let x(z) = 15*z + 1. Let d be x(1). Let s be 2/(-3) - d/(-60). Let p(k) = k**2 - 7*k + 6. Let l be p(6). Which is smaller: s or l?
s
Let g(d) = -d**3 - d**2 - d. Let b be g(-1). Suppose 0 = 2*n - 5*w + 11, 4*n - 14 + 3 = -w. Suppose -n*r - b = 3. Do r and -2 have the same value?
True
Let p(i) = 30*i**2 - 4*i - 4. Let m be p(-1). Do 30 and m have the same value?
True
Let n be 1*9 - (-2 - -5). Let m be n/8 + 407/44. Is 12 > m?
True
Suppose 3*o = -2*o. Let v(s) = s**2 + 5*s + 6. Let r be v(-5). Let y be 3/2*(-4)/r. Which is bigger: y or o?
o
Let c be -1 - (2 - 3)*-1. Let o(f) = 2*f**2 + 3*f + 2. Let v be o(c). Which is bigger: 5 or v?
5
Let o = 76 - 76. Which is smaller: 3/52 or o?
o
Suppose 3*s = -5*m + 27, -s - 23 = -3*s - 5*m. Suppose -i + s*i = 3. Is -1/3 bigger than i?
False
Suppose -4 = -4*j + 2*o, -2 + 1 = j - o. Suppose 3*r + 5 = 2, 3*t + j*r + 9 = 0. Suppose -8 = 5*s + 2. Is s >= t?
True
Suppose -4*l + 5 = l. Let t = 0 - l. Let z be (4 - (-102)/(-14)) + 0 + 3. Is t less than or equal to z?
True
Let y = -10 + 13. Is y < 3?
False
Suppose 4*c = 2*t - 42, c = -5*t - 2*c + 66. Suppose n = -n. Suppose 2*m + 2*m + 5*h + 11 = n, 0 = 5*h + t. Does 1 = m?
True
Let b(f) = f**2 + 10*f - 7. Let r be b(-9). Let d be (r/6)/((-4)/6). Suppose 3*q - 20 = -d*k, k - 4*q = q - 18. Is k bigger than -0.2?
True
Suppose -2*o - 4 = -3*o + 5*a, 0 = -a - 1. Let n be 2 - (1 - (o + 0)). Which is smaller: n or 2/17?
n
Let b be 682/1288 - 12/(-42). Let f = b + -3/46. Is 2 < f?
False
Let i be (0 + -1)*15/3. Let u = 9/2 + i. Suppose -l + r + 1 = 0, 4 = -5*r - 6. Which is greater: l or u?
u
Let a = -26 - -27. Which is bigger: a or 2/47?
a
Suppose 6*d - 1029 = -333. Which is smaller: d or 117?
d
Suppose 2*k - 4 = 2*f, 2*f + 0*f + 2*k - 8 = 0. Let i be 3*2/(5 + f). Suppose -6*o + 7*o - i = 0. Which is smaller: -6/7 or o?
-6/7
Suppose -9*w + 40 = 202. Which is smaller: -17 or w?
w
Let m(o) = o**3 + 9*o**2 - 8*o + 14. Let f be m(-10). Let n = f - -4. Is 0 less than or equal to n?
False
Let j be ((-2)/76)/(9/6 + -1). Which is smaller: j or 1?
j
Suppose 0 = 5*p + 5*r, 3*r + 8 + 1 = 0. Suppose 5*k + 9 = -2*h + 4*k, 0 = 2*h - 4*k + 4. Let n be (3 - 1) + h/8. Which is smaller: p or n?
n
Let q = -8 - -7. Let x(g) = g**2. Let r be x(q). Which is bigger: r or 1/7?
r
Suppose u + 4 = 3. Let c(o) = o - 5. Let p be c(4). Is u greater than p?
False
Let g = 31/231 - -1/21. Suppose 3*w + 5 = 4*h, 2*w - w = 5*h - 9. Let d be ((-1)/2)/w*0. Is g at most as big as d?
False
Let p(z) = 4*z + 76. Let h be p(-19). Is h at least -1/46?
True
Let b = -2 + 1. Suppose 3*j - 2 = -2*h, -3*h - 10 = -j - j. Do j and b have different values?
True
Let f = -9 - -26/3. Which is smaller: -2.9 or f?
-2.9
Suppose -33 = -4*a + 15. Let r(b) = b - 17. Let x be r(a). Do -6 and x have the same value?
False
Suppose -7 = 5*z + 8. Let a = z - -1. Is -2 <= a?
True
Let v(t) = t**3 + 10*t**2 - 3*t - 4. Let g be v(-10). Is g less than or equal to 27?
True
Let u(r) = r + 6. Let j be u(-7). Let b be -1*1*(-6)/j. Let x = -17 + 12. Which is smaller: b or x?
b
Let j be ((-36)/1728)/(2/10). Is j at least -1?
True
Suppose -x = 2*i - 4*x - 2, -4*i + 4 = 2*x. Let v = i + -5. Which is smaller: v or -5?
-5
Suppose 2*b - 25 = b. Let f = 13 - b. Is f equal to -12?
True
Let h be 8/64 - 23/56. Which is bigger: -23 or h?
h
Let p = 4/7 - 90/133. Which is greater: 1 or p?
1
Let v be 1/((-2 - 0)/2). Let z(r) = -2*r**3 + 3*r**2 - 3*r + 1. Let b be z(2). Let f be (0 - -2) + b/5. Is v greater than f?
False
Suppose -31 = 4*z + 5. Let t be (-137)/z - (-4)/(-18). Let q be (-2 - t/(-6))/2. Which is smaller: 1 or q?
q
Let q(i) = -2*i**2 + 5*i. Let g be q(4). Let k = -10 - g. Suppose -d - k = d. Which is smaller: 2/13 or d?
d
Suppose -3 - 12 = -5*k. Let p(h) = 2*h + 39. Let v be p(-17). Are k and v non-equal?
True
Let y = -3 - -8. Suppose -1 = 3*q - y*h, 1 = -2*q + 3*h - 0. Do -2 and q have the same value?
True
Let q = 182 + -196. Is -14 greater than or equal to q?
True
Suppose 4*w + 14 = 10. Which is greater: w or -1/16?
-1/16
Let j = -4 - -3. Let c be (-54)/12*5/(-105). Is j equal to c?
False
Let z be 22/16 + (-3)/3. Let k = 8 + -8. Suppose k = -j + 4*l + 7, -2 = j - 2*l - 5. Is j less than z?
True
Let q be -4*3*10/(-8). Which is greater: q or 14?
q
Let o = -61 - -82. Is o smaller than 0?
False
Let v be (4/(-136))/(3/36). Which is bigger: v or 0?
0
Let s(t) = -1 + 1 + 2 - t. Let m be s(-6). Suppose -3*v - v = -m. Which is greater: v or 1?
v
Let u(m) = -m**2 - 12*m + 5. Let x be u(-13). Let t be (-3)/(-22)*x/(-6). Which is smaller: t or 1?
t
Let h(a) = a**3 - 9*a**2 - 13*a + 22. Let f be h(10). Which is greater: -28/3 or f?
f
Let r be (-1)/(6/(-9))*4/30. Which is smaller: -1 or r?
-1
Let u be -13 + (0 - -1 - 3). Let i be 0*(2 + u/6). Is -2/11 bigger than i?
False
Suppose 2*w - 6*q = -8*q + 10, w + 5*q = 5. Let c = 7 + -7.3. Let i = -0.2 - c. Is i greater than or equal to w?
False
Let s = 97 - 487/5. Let m = 10 + -9. Which is bigger: s or m?
m
Let m(g) = -g**3 - g**2 + 3*g + 3. Let u be m(-2). Let a be u*-2*(-6)/(-4). Is a >= -4?
True
Let c = -5/7 - -39/35. Let u = -1 + 0.9. Is u greater than or equal to c?
False
Let g = 11 - 10. Is g less than -6/17?
False
Let w = 0.3 + -0.5. Suppose -3*n = 2*n + 15. Let f be 2*((-4)/n + -1). Is w less than or equal to f?
True
Let g be (2/(-9))/((-12)/(-18)). Which is bigger: -3/14 or g?
-3/14
Let w(a) = 2*a + 4. Let s be w(-3). Is s less than or equal to 0?
True
Let x(g) = g - 1. Let l be x(1). Suppose -2*d = -5*u - 0*d + 15, l = 4*u + 4*d + 16. Is u less than or equal to -2/15?
False
Let a = -232/23 - -10. Is 0 less than or equal to a?
False
Let x = -11 - -5. Let g be 2/6 - (-2)/x. Let m(r) = r**2 + 4*r + 4. Let j be m(-3). Which is bigger: j or g?
j
Suppose l = -4*l. Let u be 2 - (l + 0)*1. Suppose u*s + 6 = -s. Is s bigger than -3?
True
Let g = 12988 + -90313/7. Let r = 86 - g. Is r > 0?
False
Let q(z) = z**3 - 6*z**2 - z + 7. Let s be q(6). Is s bigger than -3/10?
True
Let n be (-1 - 5)*38/4. Let w be (-4)/(72/n) + -3. Is -1 bigger than w?
False
Suppose 0 = 3*y + 19 - 16. Which is bigger: y or -2/81?
-2/81
Let u = -7/22 - -343/110. Is u > 4?
False
Let a = -6 + 7. Let l(r) = -r**3 + 3*r**2 - r + 1. Let p be l(3). Do p and a have the same value?
False
Let a be (-76)/18 - 6/(-27). Let u = -2 - a. Let m = u - 5. Is -2 greater than m?
True
Let j(x) = -2*x**3 - 13*x**2 + 9*x - 3. Let d be j(-7). Is d bigger than -18?
True
Suppose 0 = 6*y - y. Suppose -5*d - 5 + 0 = y. Let s be ((-2)/(-3))/((-20)/18). Does d = s?
False
Suppose 0 = -3*x + 2*x + 24. Is -2/5 at least x?
False
Let v(w) = -w**3 + 14*w**2 + 10*w + 9. Let y be v(15). Is -66 < y?
False
Let a be 57/(-2 - (-3)/6). Which is smaller: -37 or a?
a
Suppose 21 - 66 = 5*s. Let b = s + 12. Is 3 bigger than b?
False
Let p(g) = g**2 + 4*g**2 + 3 + 2 - 4*g - 4*g**2. Let m be p(4). Which is greater: m or 4?
m
Suppose 166*j = 165*j. Which is smaller: -3/101 or j?
-3/101
Let l be (-117)/450 - 4/(-8). Which is greater: l or -1?
l
Let p = -2 + 6. Let t be -2*(-2)/p + -2. Is -2 bigger than t?
False
Let b = -3 - -1. Let x be 8/4*(-32)/b. Let w be 2/(-6) + x/78. Which is greater: w or 1?
1
Let t = -358.87 - -361. Let z = t + -0.23. Let d = 2 - z. Are d and 1 equal?
False
Let v = 0.71 - 0.11. Let h = 0.4 + v. Let j = 1 + 2. Is h > j?
False
Suppose 0*c + 5*c - 85 = -4*s, -s = 0. Which is smaller: 18 or c?
c
Suppose 3*b + 3*s + 22 = 4, 4*s - 4 = 3*b. Is b at least -5/2?
False
Let x = -0.5 - -0.5. Suppose 2*z - 5*z = 5*r - 23, -5*z = -2*r - 90. Is x < z?
True
Let q(v) = v**3 - 10*v**2 + 8*v + 4. Let p be q(9). Let c be 2/4 - p/10. Let a be 2/(-7) - (-82)/42. Which is greater: a or c?
a
Suppose 0 = 4*i + 2*n + 6, 0 = -3*i - 3*n + 4*n - 17. Let s be -2 - (4 + (i - -1)). Let j = -743/321 - 2/107. Which is greater: s or j?
j
Let q be (-15)/(-10)*((-6)/(-9) - 0). Which is smaller: q or -2/83?
-2/83
Let j = -2 + 5. Let z = -3 + 