) + -2. Is w < d?
True
Let i be (-1)/3 + (-7)/(-3). Let w(n) = n**2 + 7*n - 8. Let l be w(-8). Is i less than l?
False
Let v be (-3)/(3 + -2 - 0). Is v less than or equal to -3?
True
Let m be (18/(-12))/((-1)/2). Let d = 8 + -6. Suppose r = d, r - 16 = -4*f - r. Do f and m have the same value?
True
Suppose -2*a + 4*o + 14 = -10, -2*a + 14 = -2*o. Is a less than or equal to 7/4?
False
Let w(m) = -2*m - 14. Let y be w(0). Which is smaller: -16 or y?
-16
Let g = 95 - 153. Which is smaller: g or -57?
g
Suppose 75 = -0*b + 3*b. Suppose 4*c = -c + b. Suppose r = c*r. Is 1/4 equal to r?
False
Let p = -96 - -477/5. Is -7 less than or equal to p?
True
Let y be (6/8)/(7/(-2)). Let f = 14 + -14. Which is greater: f or y?
f
Let l = 5 - 6. Let c = -3 - l. Is c >= 0?
False
Let u = 4 + -2. Suppose 0 - 10 = 3*c + 5*a, -5*a = u*c + 10. Which is smaller: 1/3 or c?
c
Let u = -13 - -92/7. Let w be (-6)/9*(-15)/(-10). Is u greater than w?
True
Let p(f) be the second derivative of f**4/12 + f**3/2 - f**2/2 - f. Let m = -11 + 8. Let i be p(m). Which is greater: i or -2/3?
-2/3
Let u(z) = -z + 11. Let a be 16/(-3)*(-12)/8. Let w be u(a). Is 0 greater than w?
False
Let r(t) = t**3 - 11*t**2 - 26*t. Let m be r(13). Which is bigger: -1/33 or m?
m
Let y be (-36)/(-60) + 17/5. Suppose y*m = 4*a + 8, -10 = m - 6*a + a. Is m smaller than 5?
False
Let c be (-4)/(-16) + 33/12. Let p = 506254/15 + -33765. Let g = -57/5 - p. Is g greater than or equal to c?
True
Suppose -3*o - h + 31 = 0, -o + 4*h = -0*o - 6. Is o <= 8?
False
Let m = 18/7 - 61/21. Suppose -5*p - 2 = 3. Which is greater: m or p?
m
Suppose -5*t - 5 = 5*x, -2*x - 4 = 2*t - t. Suppose t*u + 4*d - 4 = 0, -4*u + 5*d + 25 = u. Which is smaller: u or 2?
2
Let u(a) = a**2 + 3*a. Let x be u(-3). Let j be x + (48/22 - 2). Do -2/7 and j have different values?
True
Let a = -4.772 + 0.072. Let g = -5 - a. Let b be (2/(-6))/(2/3). Which is bigger: g or b?
g
Let z = -94 + 75. Is -19 > z?
False
Suppose -4*d - 110 - 10 = 0. Which is greater: d or -28?
-28
Let c = -0.1 - -1.1. Let h(u) = -u**2 - 8*u - 8. Let s be h(-7). Which is bigger: s or c?
c
Suppose 3*a = z - 4, 0*a + 2 = -3*z + 2*a. Which is bigger: -22/7 or z?
z
Let v be 1/4 + 2/(-40). Let t(y) = 2*y**2 + 4*y - 1. Let i be t(-3). Suppose i*w = w. Which is smaller: w or v?
w
Let x be (-63)/(-108) + (-1)/3. Are x and -3 nonequal?
True
Let w = 171 + -162. Which is bigger: -4 or w?
w
Suppose -d = 2*d. Suppose d = q + 4*i - 21, 0*q = 2*q + 4*i - 38. Which is smaller: q or 18?
q
Let o = -5/156 + -671/156. Which is bigger: o or -1?
-1
Let b = 112 + -119.1. Let t = 7 + b. Is -2/7 >= t?
False
Suppose -5*j - 2 = 5*u - 2*u, -2*j - 16 = 5*u. Let v be 5/((-5)/u) - 3. Which is bigger: -1/4 or v?
v
Let r be 46624/105945 + (-2)/(-15). Let k = -2/1009 + r. Which is smaller: 0 or k?
0
Let f(n) = n + 9. Let r be f(-5). Let g be r/22 - (-329)/308. Which is bigger: g or 2?
2
Suppose -8*u + 223 = -57. Is u < 35?
False
Let u = 212/105 - 26/15. Is u >= -1?
True
Suppose -1 = 3*j - 2*c - 6, 5*j = 4*c + 5. Let a be 1 - -5 - (2 - 1). Is a < j?
False
Suppose 53 = -4*v - 5*o, 5 = -5*v + 5*o - 5. Let l = v + 4. Suppose 0*j = 2*j + 4. Which is bigger: l or j?
j
Let m(p) = -p + 8. Let t(h) = -h**2 - 9*h + 7. Let s be t(-9). Let r be m(s). Is 1 >= r?
True
Suppose -s - 5*s = 6. Does s = 1/163?
False
Let u = 393 - 391. Let j(s) = s + 1. Let c be j(-1). Suppose c = 3*t + 9, -z = 3*z - 5*t - 15. Which is greater: z or u?
u
Let p(t) = -t**2 + 12*t - 8. Let i(u) = u - 1. Let f(b) = 6*i(b) - p(b). Let y be f(6). Suppose 0 = 2*n - n + y. Which is smaller: -1 or n?
n
Let a(m) = -m + 11. Let z be a(8). Suppose 0*u = -p - 3*u - 10, p = z*u + 2. Suppose 3*x - 4*x = 1. Which is smaller: x or p?
p
Let m = -15 + 14. Let z be m/(-3)*9/(-87). Is -1 at least as big as z?
False
Let i = -81 + 90. Does 2/15 = i?
False
Suppose 0*s = -s + 2. Suppose -h + 4 = 0, 3*v + s*h = 9 - 4. Suppose 12 = -3*r - 3*x, -3*r - 6 = x - 0*x. Do r and v have the same value?
True
Let v be (0 - -1)*(-4 + 6 + -3). Let t = 823/11 + -75. Which is smaller: t or v?
v
Let i be (1 + -5)/((-2)/(-3)). Suppose -2*o + 0*o - p - 12 = 0, -5*o - 17 = -4*p. Is o greater than i?
True
Let t be 4/18 - (-14)/18. Let g = 59/21 + -15/7. Is t bigger than g?
True
Let r = -5 + 4.97. Let b = r - -4.03. Do 2 and b have the same value?
False
Let c = -7 - -4. Let a = c - -2.9. Is a smaller than 2?
True
Let u = -7 + 9. Suppose 0*d + 5*v = -u*d - 35, -4*d - 4*v = 100. Let r be 12/10 - (-6)/d. Is r at least 2/11?
True
Let n = 5379 - 1070423/199. Which is bigger: n or 0?
0
Let p = -0.9 - -1. Let w = -1.2 - 4.8. Is w greater than or equal to p?
False
Suppose 8 = -f - 2*a, 0*f + 34 = -5*f - 4*a. Let n be f/4 - 4/8. Suppose -3*z - 5 - 4 = 0. Are n and z non-equal?
True
Let g = -3.8 + 4. Let p = 2 - 1. Which is smaller: g or p?
g
Let m be (-9)/12*(128/(-188))/4. Which is smaller: -1 or m?
-1
Suppose -4*z + 16 = -0*z. Let u be (-7)/30 - z/(-10). Suppose 2*t - 3*c = -3*t + 14, 4*t = -5*c - 11. Which is smaller: t or u?
u
Suppose -5*l + 3*d + 5 = 0, -5*l - 5*d = 4 - 49. Suppose 0 = l*z - 4 - 8. Are -0.2 and z equal?
False
Let v = 0.83 + -0.03. Let j = v + -15.8. Let q = 9 + j. Are q and 2/5 nonequal?
True
Let q = 35876/97539 - 8/793. Let g = -23861/41 - -582. Let u = q - g. Is 0.01 less than or equal to u?
True
Suppose 18 = 4*m - 2, 5*c + 2*m = -50. Is c greater than -11?
False
Let h = 0.02 - -0.48. Let t = 2.5 + h. Which is bigger: -1 or t?
t
Let q = -437 + 3077/7. Which is bigger: q or 3?
3
Let d be 2 + 1 - (15 - 2). Let b be 3/(-2) + (-5)/d. Let x = 146 - 1312/9. Which is smaller: b or x?
b
Let a = 0.02 + -1.02. Which is greater: -2/7 or a?
-2/7
Let c be -1 + 2 - (0 + -91). Let w = 371/4 - c. Let s = -8 + 8. Which is smaller: s or w?
s
Let w(o) = 8*o**3 - o - 1. Let d be w(-2). Let l be (-2)/(-3) + 15/d. Which is smaller: l or -1?
-1
Let u be (-4)/4 - 9/(-1). Suppose -2*x - u = -r, -16 = -x + 5*x - r. Which is greater: x or -15/4?
-15/4
Let l(u) = u - 1. Let v be l(4). Suppose -1 = -4*a + v. Which is bigger: 1/6 or a?
a
Suppose 2*t + 0*t = -4*o - 6, 4*o + 9 = -t. Let m be t/(-9) - 19/6. Let x = 13 - 18. Is m > x?
True
Let c be 1 - (-1 + (1 - 1)). Let i = -15 - -8. Let v be 2/(-1) - i/c. Is 2 equal to v?
False
Suppose 0 = 6*q + 162 - 0. Are q and -1/4 equal?
False
Let q = 29 + -29.2. Which is smaller: q or 2/19?
q
Suppose -4*t - 2*f + 41 = f, -2*t + 27 = -5*f. Let y = t + 5. Suppose 4*c - 8*c = -y. Are c and 3 unequal?
True
Suppose 3*s - 43 = 5*h, -4*h + 20 - 54 = -2*s. Is -0.1 != h?
True
Let g(q) = q**3 - 4*q**2 - 4. Let u(h) = 3*h - 14. Let d be u(6). Let v be g(d). Is v greater than or equal to -3?
False
Let w = 53749 + -8492417/158. Let i = -2/79 + w. Which is smaller: i or 0?
i
Let i be (21/(-9) + 2)*-6. Suppose -v = -4 + i. Let b = 4/95 - -467/190. Which is smaller: v or b?
v
Let r = -6 + 5.6. Let d = r - 0.6. Let f = d - -3. Which is smaller: -2/7 or f?
-2/7
Suppose 0 = -3*w + 3*k - 12, -3*w + 6 = 4*k - 3. Let d be 2/4*(-54928)/(-68). Let n = 404 - d. Which is greater: n or w?
n
Let n = -16039/13 + 1233. Is n at most as big as -1?
False
Let z(r) = r**2 - 5*r - 24. Let m be z(-5). Which is smaller: 23 or m?
23
Suppose 5*y = m - 24 - 26, 4*y + 51 = 3*m. Let n = 10 + y. Let v = 64 - 706/11. Which is greater: v or n?
n
Let o = 8 + -1. Does 2/13 = o?
False
Let l be 1/2 - (2 + 1). Is l < -4?
False
Suppose -5*w + 27 = -2*w. Let c(t) = -t + 18. Let g be c(w). Let m be (3 + -5)*1/g. Which is greater: -1 or m?
m
Let r = 443/4 - 110. Which is greater: r or -3/22?
r
Let a = 33 + -65/2. Is 1 at most as big as a?
False
Suppose -2*k + 10 = 2*h, -4*k - 2*h + 5 + 11 = 0. Let f = -1 + 1. Let j be f/(4 - 2) + 1. Is k less than j?
False
Let c = 0.03 - 0.13. Let s = c - 0.9. Is s >= 5?
False
Let f(y) = y**2 + 10*y + 7. Let r be f(-6). Let m be 1/r*8/(-8). Which is bigger: m or 1?
1
Let w be (-4)/(-27)*(-3)/6. Let v = -7/27 + w. Suppose -z - 5*z - z = 0. Which is smaller: v or z?
v
Let f(j) = -j**3 + 2*j + 1. Let n be f(-1). Is n at most 0?
True
Let k be (-355)/(-250) + 6/(-4). Which is bigger: k or 1/2?
1/2
Let b(p) = 6 + 0 + 0*p + 3 - p. Let d be b(9). Let v be (2 - 3)*d/2. Which is smaller: 2/3 or v?
v
Let d be ((-2)/1 - -12) + 1. Let b be 24/(-16) + d/10. Is 0 less than or equal to b?
False
