2*z - g = -2*z + 14. Let x = -5 + 9. Suppose -x = -r + z*r. Is r less than -1/2?
True
Let c(m) = m**2 + 11*m + 25. Let q be c(-8). Is 1/45 less than q?
True
Let l(u) = -2*u**3 + u + 1. Let w be l(-1). Suppose 4 = 3*b + t + 3, b - 2 = -2*t. Is b at least w?
False
Let g = 138558/5 - 27871. Let j = -160 - g. Suppose 2*q - k + 6 = 3, 5*k - 15 = -3*q. Is q <= j?
False
Suppose 2 = 4*g - 3*n, 2*g - 6*g - 4*n = -16. Let k be 516/(-240) + g*1. Which is smaller: 0 or k?
k
Suppose 12*h - 9*h = -54. Is h bigger than -19?
True
Suppose -3*k - 9 = 5*o - 7*k, -5*k = 3*o + 35. Let x be (o - -1) + (-3)/(-1). Is x <= 1/22?
True
Let t = 2.3 + -5.1. Let m = 1.2 + -1. Let a = t - m. Is a at least as big as 1?
False
Let p(j) = 2*j. Let y be p(3). Let a be ((-4)/y)/(2/(-6)). Let r be (-8)/(-6)*(-3)/a. Is r > -3/2?
False
Suppose 2*d - 22 = 8. Suppose -4*v - v - d = 0. Let s be -2 + 3 + v + 1. Is s greater than 1/3?
False
Let b = 0 + 2. Suppose 3*g + 1365 = -5*f, -b*g + 101 = -f - 172. Let a = f + 4639/17. Which is smaller: a or 1?
a
Let n = 8 + 2. Suppose 4*u - 2*m + n = 0, 2 = 3*u - 4*m + 7. Is u < -3?
False
Suppose -y - 2 = 1. Is y at most -3?
True
Let u = -1/79 - -321/395. Suppose 5*f - 4 = 2*g, -5*g + 17 = f - 0. Which is bigger: u or f?
f
Let b be (10/15)/((-4)/(-30)). Suppose 2*g = -4*j + 2, -4*j + b*j = 3*g + 4. Which is greater: 10/7 or j?
10/7
Let l = -5 + -33. Let h be -2*(l/(-24) - 2). Is 2 at least h?
True
Let a = 16 - 17. Is -2/277 greater than or equal to a?
True
Let s = 4.98 - 6.97. Let v = 2 + s. Let q = -0.09 - v. Is q < 2?
True
Let x = 2 - 1. Let n = -60969/13 - -14065/3. Let y = 5/3 + n. Which is smaller: x or y?
y
Let b be 3/570*(-5)/2. Which is smaller: 1 or b?
b
Let y = 0.88 - -9.02. Let b = 10 - y. Which is smaller: 2 or b?
b
Let q = -6 - -5.92. Let b = q - -0.14. Is 0.1 < b?
False
Let t be 2*(-1)/(-68)*12/3. Is -1 smaller than t?
True
Let o(j) = -j**3 - 12*j**2 - 12*j - 11. Let i be o(-11). Suppose i*l + 14 = 2*l. Is 7 <= l?
True
Let y(v) = -v**3 + 7*v**2 + 9*v - 11. Let f be y(8). Let m be -2 + 48/9 + f. Which is smaller: m or -1?
-1
Let j = -1.3 + 2.3. Is -3 at most as big as j?
True
Let r be ((-3)/(-9))/(1/9). Suppose q + r*q = 20. Suppose -7*x = -2*x + 3*h + 21, -5*h = -5*x - q. Is -1 bigger than x?
True
Suppose -3 = -2*s + 1. Suppose -7*x = -11*x + 4. Which is bigger: x or s?
s
Let u(v) = -v**2 - v + 1. Let m be u(1). Which is smaller: m or -2?
-2
Let n = 0 + 0. Let b be (n - 0)*1/(-2). Which is greater: 1 or b?
1
Let h be 1/((-1)/3) - -11. Let y = h + -11. Is -2 greater than y?
True
Let u = 249 - 6221/25. Is u smaller than 0?
False
Suppose 5*c - 4*c + 3*z + 12 = 0, 0 = 5*z + 25. Which is greater: 2 or c?
c
Let p be 0 - 2*(-1)/2. Let m(y) = -y**3 - y**2 + 2*y. Let s be m(2). Let x be 2/s*(0 + -2). Is p <= x?
False
Let j = 2.85 - -0.15. Is 2 at least as big as j?
False
Suppose 4*w = w - 15. Let a = 0 + w. Let m(f) = f**3 + 5*f**2 + f + 5. Let y be m(a). Which is bigger: 1/5 or y?
1/5
Let i = -35 + 75. Which is smaller: i or 38?
38
Let q be (-1)/((1*-4)/(-12)). Which is bigger: -4 or q?
q
Let z(u) = -u**2 + 7*u + 8. Let f(o) = o - 3*o**2 + 5*o + 5*o**2. Let w be f(-4). Let h be z(w). Which is smaller: -1 or h?
-1
Let y = -0.04 - 0.11. Let t = y + -0.05. Which is smaller: t or 2/3?
t
Let w(r) = -r**3 - 9*r**2 - 7*r - 9. Let u be w(-6). Let c = u + 227/3. Which is bigger: 0.4 or c?
c
Let b = -37 + 37.2. Do b and 8 have different values?
True
Suppose 0 = b - 6*b + 15. Let u be 0 + b - (-1 - -21). Which is bigger: u or -16?
-16
Let l(x) = x**3 + 16*x**2 - 18*x - 17. Let r be l(-17). Let s = -1.1 - -1. Which is bigger: r or s?
r
Let q = 630 - 10713/17. Do q and 1 have the same value?
False
Let n = -563/44 + 49/4. Which is greater: -2 or n?
n
Let z be (3 + -1)*(-3)/(-2). Let b = z - 4. Is 2/9 bigger than b?
True
Suppose 3*t + 42 + 28 = -2*q, -2*q - 62 = t. Are q and -31 equal?
False
Suppose -2*t = -5*t + 6. Which is bigger: 1/2 or t?
t
Let n(u) = u**2 - 10*u + 18. Let x be n(8). Suppose x*s + 6 = -0*s. Let l = 6 + -8. Is s != l?
True
Suppose -9*a + 5*a + 8 = 0. Which is smaller: a or -0.02?
-0.02
Let g = -0.05 - -0.07. Let d = 0.04 - g. Let f = 0.12 - d. Which is bigger: 2 or f?
2
Let u = 9 + -8. Which is smaller: u or -16?
-16
Let o = -2.02 - -0.02. Let v = -2.2 - o. Let n = -16.5 + 16.8. Do v and n have the same value?
False
Let b(a) = 2*a**2 - a - 2. Let z be b(-1). Let i be 1/4 - 14/(-8). Suppose -i*o - 3*o = 0. Which is smaller: o or z?
o
Suppose r + 1 - 6 = 0. Which is bigger: r or 3?
r
Let y = -5 + -2. Do y and 0 have the same value?
False
Suppose 0 = 4*z - 3*u - 14, -4*z = -u - 10. Suppose p = -3*i + z*p + 4, 0 = -2*p + 4. Is 0 less than i?
True
Suppose 4*z - 21 - 27 = 0. Let d be 3*(-3)/(18/23). Let h = d + z. Which is smaller: h or 1?
h
Let d(f) be the first derivative of -10*f - 1/2*f**2 + 1. Let t be d(-8). Is t != 0?
True
Let d(u) = -3*u**3 + u + 1. Let x be d(-1). Suppose -24 = j + x*j. Suppose 2*f + 3 = -c - 3, 5*f + 4*c = -9. Is f at least j?
True
Let d = 92 + -97. Let n be 10*((-1)/(-2))/1. Suppose 15 + n = -5*b. Is d > b?
False
Suppose -3*z = 1 + 29. Is -10 bigger than z?
False
Let z = 0.5 - 0.3. Let p = z - 0.1. Let d = -1.1 + p. Which is smaller: d or 1?
d
Suppose -6*w + 10 = 4*n - w, 2*w + 9 = n. Suppose 3*g + 18 = n*g. Let v be 8/(-3 - -2)*(-24 + 23). Are v and g equal?
False
Let s = 502 - 943/2. Let b = s + -31. Which is smaller: -1 or b?
-1
Let r(c) = -2*c + 12. Let j be 2/(-6) - 420/(-45). Let u be r(j). Do -6 and u have the same value?
True
Suppose -11*q + 6*q + 20 = 0. Let l(z) = 4*z**2 + 2*z - 1. Let d be l(1). Is d >= q?
True
Let o be ((-12)/(-10))/(6/15). Let p = o + -1. Let w = 24/19 + 4/57. Do p and w have the same value?
False
Let y = -15 + 11. Suppose -1 + 5 = 4*a. Is y > a?
False
Let j be ((-4)/(-3))/(4/6). Suppose 3*a - 16 = j*q, 4 = -a - 2*q - 4. Which is smaller: 0.3 or a?
0.3
Let h = 337/225 + -18/25. Is 2 at most as big as h?
False
Let g(z) = z**2 - 2*z. Let b be g(1). Let c(v) be the second derivative of -v**4/12 - v**3/3 + 2*v**2 + 3*v. Let a be c(-3). Which is smaller: a or b?
b
Let q = 611 - 2475/4. Which is smaller: -8 or q?
-8
Let h = -0.3 - -0.1. Let t = -0.22 - h. Let x = -5/32 - 3/32. Are t and x unequal?
True
Let c = 8 + -8.08. Let k = c + 0.11. Let o = k - 0.13. Which is smaller: o or -1?
-1
Let w(a) = -a**2 - 4*a + 5. Let f be w(-4). Let r be (-15)/(-5) + (-12)/f. Is r >= 2?
False
Suppose -4*k + 2*o = -k - 21, 0 = 3*k + 4*o - 3. Suppose -3 = -c - 2*z + k*z, -3*z - 3 = 2*c. Let n(y) = y**2 - 2*y - 3. Let l be n(3). Is c bigger than l?
False
Let w = -5.2 + -0.8. Let k = 2 - 2. Is k smaller than w?
False
Let l = -101 + 805/8. Let a(h) = -h**3 - 3*h**2 + 2*h + 6. Let q be a(-3). Which is greater: q or l?
q
Suppose -46 = -5*n + 9. Let x = 119 - 108. Are x and n nonequal?
False
Suppose 5*d = -9*k + 4*k - 5, -17 = 5*d + k. Let z = d + -1. Which is greater: -4 or z?
-4
Let b = -7376/455 + 210/13. Which is smaller: -1 or b?
-1
Let m be 2 - 2/(-85)*447. Let d = m + -62/5. Is 1 > d?
True
Suppose 10*j - 144 = 266. Is j >= 42?
False
Let p = -3 + 5. Suppose -3 - 7 = -p*h. Suppose 10 = -x - 5*m + 21, 2*x = h*m - 8. Which is greater: x or 0?
x
Let t = -15 + 7. Let b be 4*((-12)/t)/(-3). Are -2 and b nonequal?
False
Suppose -4*l + 25 - 69 = 0. Let g be (-2)/11 + (-46)/l. Is g at least as big as 5?
False
Suppose -4*v - 2 = 2. Suppose -4*f + 15 = 2*n - 5, -n = -4*f + 8. Suppose -2*c + 8 = -f*p, 5*p + c = 3 + 1. Which is greater: p or v?
p
Let m = -12 - -17. Let u be m + -4 - 4/(-2). Suppose 4*p + 4 + 10 = -3*a, -u*p - 10 = 2*a. Is p less than or equal to -2?
True
Let g = 12.7 + -13. Which is greater: 0 or g?
0
Suppose 4 + 4 = s. Let l(w) = -w**3 - 8*w**2 + 18*w - 11. Let q be l(-10). Which is greater: s or q?
q
Let p = 0.874 + 0.126. Is p >= 44?
False
Suppose -3*q = -3*u - 4*q, u - 13 = 4*q. Suppose -c = -u - 2. Suppose 3*z - 2 = -2*i - 0, 5*i + c*z - 14 = 0. Is i > 2?
True
Let b be 28/16 - (-6)/(-4). Is b less than or equal to -1?
False
Let h be 18/(2 + 0) - 0. Let x(i) = -1 + 0 + 7 - i. Let v be x(h). Is -4 smaller than v?
True
Suppose 2*y + 0*y = 0. Let l(z) = -z**2 + z + 2. Let v be l(y). Let b be (0 - (-6)/(-4))/(-3). Which is smaller: v or b?
b
Let p be (25/15)/(1/(-3)). Let l = -3 - p. Let n = 0 + l. Is