1*b - 1. Let p(w) = 6*g(w) - 7*j(w). Let x be p(-1). Let r = -195/4 + x. Which is smaller: r or -0.1?
r
Suppose 5*h - 11 = -2*c + 2*h, -4*h + 8 = -4*c. Let n be (3/12)/(3/4). Does c = n?
False
Suppose -d = d - 20. Is d less than 10?
False
Suppose -4*i - i = -60. Let v be 4/(-8)*i/10. Is v >= -2?
True
Let b be 4/(-2 - (-6 + 2)). Suppose 4*p - 2 = b. Which is greater: p or 2?
2
Let x be (-5 + 6)/((-2)/(-4)). Let y(d) = d**3 - d**2 - d. Let p be y(x). Suppose -2*n = -4*n + p. Which is greater: 1/15 or n?
n
Let c = 3 + -4. Suppose 0 = -3*r + 3. Suppose 0 = -5*k + 4*b - 17, b - r = -2*k - 0*b. Is k > c?
False
Let n be (-1 + 1)/(1 - -1). Suppose 0*k + 5*k = n. Suppose -2*j + 2*c - 8 = k, j - 3*c = -11 - 1. Are j and 6/7 equal?
False
Let d = -0.249 + -0.051. Is -2 greater than or equal to d?
False
Let b be (-268)/8 - (-3)/12*-2. Is -35 greater than or equal to b?
False
Let l be 11/(-9) - 4/(-18). Which is smaller: l or 4?
l
Let c = 14 + -10. Suppose t - 4 = v - 13, t - c*v + 6 = 0. Let g(d) = -d**2 - 10*d. Let y be g(t). Is -1 not equal to y?
True
Let q = 72 - 66. Is q less than -2/7?
False
Let w be 54/10 + (-6)/15. Suppose 5*n + 5 = p - 15, 4*p - w = -5*n. Is -3 < n?
False
Suppose 0 = -5*t + 3*t. Which is smaller: t or 1?
t
Suppose 1 = -2*y - 9, -3*f = 4*y + 269. Let n = -1077/13 - f. Which is bigger: 1 or n?
1
Suppose 0 = s + 2*s. Let q be s/(-1) + 10 + -2. Let w = 11 - q. Is 3 less than w?
False
Let b be (0/2 + 0)/(-1). Suppose 6 = -3*f + 21. Let o be 4/f*(-15)/(-6). Do o and b have the same value?
False
Let h(x) = -x**2 - 9*x - 4. Let q be h(-8). Let v be (-139)/(-6)*6/q. Let u = -35 + v. Which is smaller: u or -1?
-1
Let x = -0.06 - 1.94. Suppose -i - 68 = -13. Let z be 33/i - 74/(-90). Do z and x have different values?
True
Let r be -18*(-6)/4 + -5. Does r = 24?
False
Let d(g) = g**3 - 4*g**2 - 5*g + 6. Let k be d(5). Let c be (27/(-6))/(k/8). Let i(m) = -m**2 - 6*m + 3. Let h be i(c). Which is smaller: 4 or h?
h
Let s be (6 - 5)*(0 + 2)/(-2). Suppose z + 17 = 2*j + 53, -236 = -5*z - 4*j. Let i = z + -222/5. Which is bigger: s or i?
i
Let w = 1.8 + -9.8. Is 1 smaller than w?
False
Let u = -1/143 - 279/1001. Suppose -5 = -0*x + 5*x. Is u at least x?
True
Suppose -4*t + 6 = 2*q, 0 = -2*t - 2*t + q - 9. Suppose b + 0 = -1. Let m be ((-20)/18 - b)/(-1). Is t smaller than m?
True
Let h = -0.21 - 0.05. Let k = h + -0.04. Let s = 136 - 271/2. Which is greater: s or k?
s
Let s be -2 - (-4)/6*3. Let t be (3 + s)*4/3. Suppose 2*v = -0*v - t. Which is bigger: 0 or v?
0
Let o = 51 + -29. Is 23 < o?
False
Suppose -5*g + 90 = 30. Let h = g - 37. Let n be 20/h - (-2)/(-10). Which is greater: n or 0?
0
Let h = -0.23 + 1.03. Which is smaller: h or 1/5?
1/5
Let g(b) = 9*b + 20. Let v be g(-3). Is -7 > v?
False
Let p = 0 + 0. Which is smaller: -0.1 or p?
-0.1
Let q = -171/4 - -43. Suppose 3*u + t = 5, -8 = -2*u - 0*t - 3*t. Which is greater: u or q?
u
Let h = 5 - 3. Suppose 2*l + h*l - 4 = 0. Let r be l*2/(-1) + 0. Is -2 greater than or equal to r?
True
Let v = -2.5 + -0.1. Let l = 2 + v. Is l less than or equal to 1?
True
Let g = -59/28 + 27/14. Which is smaller: 0 or g?
g
Let v = -0.5 + -5.5. Let y = v - -6. Let m = y - -0.1. Is m at most as big as -2/9?
False
Let x be 12/5*20/(-6). Let h = x - -8. Is h at least as big as -0.4?
True
Let f(q) = 3 + 2 - q + 2. Let b be f(3). Suppose -b*h + 8 = -4. Which is smaller: h or -0.2?
-0.2
Let o = 38.1 + -36. Let u = 4.9 + o. Is u less than or equal to 0.1?
False
Let u(r) = -3*r + 10 - 2 + 4*r. Let p be u(-10). Let y be (p + 5)*(-1)/6. Is -1 equal to y?
False
Let m = 110 + -991/9. Which is greater: 0 or m?
0
Let z = 0.24 - 0.3. Let m = -0.06 - z. Let p = -3 + 5. Is m smaller than p?
True
Let h(c) = -c**3 + 12*c**2 - 2*c + 17. Let z be h(12). Which is greater: -23/4 or z?
-23/4
Let o(t) = 7*t**3 - t**2 - t + 1. Let u be o(1). Let p be (-1)/(-1*(-2)/u). Is p smaller than -2?
True
Let c(q) = -3*q - 1. Let j = 9 + -1. Suppose -2*p - j = 0, -5*y + 13 = -4*p + 2. Let t be c(y). Is 1 not equal to t?
True
Suppose -16 = -5*p - 4*x, 0*x + 5*x - 20 = 0. Which is smaller: 4/11 or p?
p
Let v = -200/483 + -1/69. Let p = v - 0. Which is greater: p or 1?
1
Suppose 5*n + 4*s = -122, 3*n + 0*n - 4*s + 86 = 0. Which is bigger: n or -23?
-23
Let w(c) = c**2 - 2*c + 5. Let a(v) = v. Suppose 4 = -y + 1. Let q(u) = y*a(u) + w(u). Let m be q(4). Which is greater: m or 0?
m
Let k be (-1)/4 - 15*3/108. Which is smaller: 11 or k?
k
Let b(g) = -g - 8. Let d be b(-7). Let q be ((-2)/44)/(d/(-8)). Let z(w) = -w + 1. Let m be z(2). Are m and q non-equal?
True
Let n be (-171)/84 - (-4 + 2). Let a = n + -51/140. Is a less than 1/5?
True
Let x = -0.13 + 0.13. Suppose 0 = 5*j - 3 - 7. Let s be -1 - j*(-15)/6. Is s > x?
True
Let c be ((-1924)/(-8))/(1/(-58)). Let w = -69112/5 - c. Let a = w + -127. Which is bigger: -1 or a?
a
Let g = -14.3 - -14. Let j = 2 - 3. Which is smaller: j or g?
j
Let i = -4 - -6. Let c = -2 - -4.2. Let p = i - c. Is -1/4 at most as big as p?
True
Let g be 2 - 1*(-2)/1. Let f(j) = -3*j**2 - 13*j - 4. Let y(o) = -2*o**2 - 7*o - 2. Let l(q) = -3*f(q) + 5*y(q). Let k be l(g). Is 2 less than or equal to k?
True
Let d = -2 + -2. Let q(s) = s + 2. Let o be q(d). Let y be (-3)/(-6)*(o + 0). Is -1 greater than or equal to y?
True
Suppose x + 3 = 0, 5*v + 6*x - 4*x + 11 = 0. Let i(w) = -w**2 - 3*w + 2. Let s be i(-4). Which is smaller: s or v?
s
Let z = -0.76 - -0.66. Is z less than or equal to 0.032?
True
Let d(v) = 31*v**2 + v - 1. Let s be d(1). Suppose 0 = 5*n + s + 4. Let j = 13/2 + n. Which is smaller: j or 0?
j
Let m = 6 - 1. Suppose -m*y - 2*q = -106, -2*y - q = -0*q - 43. Let z be 13/y + 8/(-20). Does 1 = z?
False
Let f = 33 - 232/7. Do f and 2/7 have the same value?
False
Let g = 25.9 + 143.1. Let t = g - 166.97. Let a = 0.03 - t. Is a bigger than -0.1?
False
Let i = 4 - 9.8. Let k = -6 - i. Which is smaller: k or 1/4?
k
Suppose 3*i = i + 4. Let n = 0 - i. Which is bigger: n or -0.1?
-0.1
Let b be 1/1*(-9 - -10). Which is greater: 1/6 or b?
b
Suppose -c - 2 = 0, -4*j + c - 3*c = 4. Suppose 2*m = -m + 3*p - 15, -m - p + 5 = j. Suppose 0 = -2*v - 2 - m. Is 1/6 >= v?
True
Suppose -3*n = -2*u + 6*u - 12, 12 = -4*u + 3*n. Let w(p) = 1 - 2 - 2*p - p**2 + 0 - p. Let j be w(-2). Is j less than u?
False
Let q be 221/65 + (-4)/10. Let f = q + 1. Is 5 at most f?
False
Suppose -4*d - 8 = -4. Let x(m) = -m**2 - 9*m - 1. Let o be x(-10). Let j be o/(-21) - 8/12. Which is greater: d or j?
j
Let n(g) = g**3 + 9*g**2 - 9*g + 8. Let m be n(-10). Which is smaller: m or 0?
m
Let b = 5 - 10. Let y = -5 - -13. Let d = y + b. Is d equal to 3?
True
Suppose -30*d = -13*d + 1020. Does d = -61?
False
Let b = -37 - -65. Is b greater than or equal to 30?
False
Let d = -459 + 8719/19. Suppose -2*p - 5 = -b - 10, 2*p - 25 = 5*b. Is p < d?
False
Let u(b) be the first derivative of b**4/4 + 7*b**3/3 + 7*b**2/2 + 9*b + 3. Let h be u(-6). Which is bigger: h or 2?
h
Let l = -5 + 9. Suppose -v + 3 = -l*v. Which is smaller: -2 or v?
-2
Let t(n) = -n + 8. Let o be t(7). Let a be ((-4)/(-12))/(2/18). Let r be (1*a)/(5 + 2). Is o at least r?
True
Suppose 0 = 4*i - 12, -3*f - 16 = -7*f - 4*i. Suppose -4*w = -w - 2*d + 3, -4*w - 5*d - 4 = 0. Let x be (w/(-2 + 1))/(-3). Which is smaller: f or x?
x
Suppose 10 = -5*x, 4*n = -3*x - x - 4. Let z be (-1 - 2)/(1/n). Is -3 greater than or equal to z?
True
Let q = 7 + -4. Suppose q*z = -3*a - 3, -z + 5*z - 3*a = -18. Let h = -3 - z. Which is bigger: h or -1?
h
Suppose -8 = -12*n - 44. Let w(k) = k**3 + 2*k**2 - k + 1. Let g be w(-3). Let d = g - -1. Is n smaller than d?
False
Let h = -13 - -8. Let a be (3 + h)*1/26. Which is greater: 0 or a?
0
Suppose -48 = z + 3*z. Are -11 and z unequal?
True
Let t = -7 + 9. Suppose -2*l + 4 + t = 0. Which is bigger: l or 2?
l
Let p be 4/2 - 30/14. Let z = 2 + -3. Is p smaller than z?
False
Suppose 2 - 14 = -4*z. Suppose -p + 3 + 1 = 0, 4*d - 28 = -4*p. Are d and z non-equal?
False
Let g = 14 - 13.4. Which is smaller: g or 0.4?
0.4
Let y(b) = -b**3 + 7*b**2 - b - 8. Let v be y(6). Is v smaller than 24?
True
Let o(x) = -4*x**3 + 4*x**2 - 6. Let b(z) = 5*z**3 - 4*z**2 + z + 6. Let m(p) = 3*b(p) + 4*o(p). Let s be m(4). Suppose -5*r = -2*r - s. Is r smaller than 3/2?
False
Let r be (-4 + (-2)/(-8