-468)*111. Is 0 <= w?
True
Let y(u) = 3*u - 1. Let h be y(2). Suppose -3*j + n = -3*n - 5, 4*n - 16 = 0. Let s = h - j. Do s and -1 have different values?
True
Let t = -0.3 + -1.2. Let x = -0.5 - t. Let d = 1 - x. Is -2/3 bigger than d?
False
Let w(l) = -l**2 - 6*l - 6. Let v be w(-5). Let p = v - -3. Suppose 6*x = 4*x + 8. Is x < p?
False
Let r = -6/127 - -308/1143. Let q = 2 + -10. Let z = q + 7. Which is smaller: r or z?
z
Let n = 2 - 1. Let r(f) = 15*f**3 - 2*f**2 - f + 1. Let j be r(-1). Let p = j + 14. Is n <= p?
False
Let v = -8 - -8. Suppose 0 = -v*k + k. Let l = 1 - k. Is -2/7 < l?
True
Let b = 5 - 4.7. Let q be 44/10*15/7. Let h = q + -344/35. Which is bigger: h or b?
b
Let z = 1576/365 + 6/73. Is z > 4?
True
Let i = 0.3 + -1.8. Let m = i + 0.5. Let c(x) = -x - 8. Let w be c(-8). Is m at most w?
True
Let t be 6/132*-70 + 2/11. Which is smaller: t or -25/6?
-25/6
Let f(o) = -o**3 - o**2 + 1. Let n be f(1). Which is smaller: n or 2?
n
Let b(k) = -k**3 + 8*k**2 + 2*k - 7. Let i be b(8). Let v = i + -14. Which is smaller: -6 or v?
-6
Suppose z - 12 = -3*z. Let i(c) = c**3 - 7*c**2 + 8*c - 7. Let p be i(6). Suppose p*y - 2*y + z = 0. Is -1 less than or equal to y?
True
Let u = -33 + 16. Let h = 17.82 + u. Let t = h - 0.12. Which is greater: t or -1?
t
Let g = -2 - 52. Is -55 smaller than g?
True
Let p(w) = -w**2 + 5*w - 3. Let s be p(2). Let h = 6 + 0. Suppose 2*a = -a + h. Which is smaller: s or a?
a
Let f(g) = -g**3 - 5*g**2 + 5*g - 7. Let b be f(-6). Are b and -5/6 nonequal?
True
Let r = 99.06 + -98. Let a = -0.06 + r. Let f be 2/(-5) + (-1)/(-15). Are f and a non-equal?
True
Suppose -d + 79 = -2*d. Are d and -79 equal?
True
Let b = -213/884 - 2/221. Which is greater: 8 or b?
8
Let g = 21 + -20. Which is greater: g or -3/8?
g
Suppose -6 - 14 = -5*g. Suppose -b - 2 = -g. Which is smaller: 0 or b?
0
Let l = -0.17 + -0.93. Let o = l + 1. Which is greater: o or -3/4?
o
Let b be 3*(-5)/(60/44). Is -10 less than b?
False
Let d(t) be the second derivative of t**4/12 - t**3/3 - t**2 - 3*t. Let k be d(3). Which is smaller: 3 or k?
k
Let b be (-6)/12 + 34*(-3)/4. Does -26 = b?
True
Suppose -5*h + 31 = -2*y, 4*y + 37 = 5*h - 0*y. Suppose -f = -h*f. Is f smaller than 1/10?
True
Let t(m) = 3*m**2. Let u be 28/(-6) + 5/(-15). Let f be (-1 - -4)*u/15. Let s be t(f). Is s <= 2?
False
Let r be ((-1)/(-1) - 3) + 2. Let a = 4 - r. Let q = 2 - a. Which is greater: q or 0?
0
Let t = 24835/364 - 273/4. Which is bigger: t or -1?
t
Let x(g) = -g + 5. Let z be x(0). Suppose -4*w = -z*p + 8, p = -0*p. Let q be (-16)/(-140) - w/(-5). Which is greater: -1 or q?
q
Let r = -48/35 + 1942/1365. Is 1 less than r?
False
Let u = -1 - -3. Suppose -u*n - 12 = 2*n. Let a(h) = 2*h**3 - 9*h**2 + 2*h + 5. Let f be a(4). Is f smaller than n?
False
Let v = 0 - 1. Suppose 5*f = 4*o + 1, -4*f + 3*f + 5 = -2*o. Is f greater than or equal to v?
False
Let q(d) = d**2 - 2*d - 1. Let i be q(4). Suppose -i = 5*c - u, -1 = 4*c - 2*c - u. Is -4 at least c?
False
Let j = -0.036 + 0.09. Is -0.1 less than j?
True
Let z = 105 + -107. Suppose -3*m + 5 = 2. Let a be m + 2/(-4)*3. Which is greater: a or z?
a
Let q be 70/(-20) - (-9)/3. Which is smaller: -43 or q?
-43
Suppose 2*z - 3*g = -3*z + 25, z - 4*g = 22. Let y be -1*z - (-60)/35. Which is smaller: y or 0.1?
y
Let q = 13 + 58. Let d = 782/11 - q. Suppose -2*j = -3*f - 10, f + 6*j = 4*j + 10. Which is greater: f or d?
d
Let l be (72/(-32))/(3/8). Is -19/3 at least as big as l?
False
Let u(l) = l**3 + 3*l**2 - 2*l + 2. Let n be u(-4). Let z be -2*(1 + (-9)/n). Let b be z/(-4) + (0 - 1). Is b less than -2?
False
Let p = -3 - -5. Suppose -6*s + 4 = -p*s. Let r = 6.8 + -7. Which is smaller: s or r?
r
Let f = -32 - -22. Let h = f - 13. Let n be h/28 + 3/4. Is 0 equal to n?
False
Let o = -0.15 + -0.08. Let q = 0.03 + o. Let u = -0.7 - q. Do -2/5 and u have different values?
True
Let f(i) = -i + 6. Let k be f(7). Is k at least as big as 0?
False
Let n = 692.11 - 698. Let d = -6 - -6.11. Let r = n - d. Is 1 > r?
True
Suppose -2*r = -r - 4. Let v = -4 + r. Let i be 0/(-2) + 20/(-130). Which is smaller: i or v?
i
Let u = 0 - -17. Is 16 smaller than u?
True
Let g = -1.71 - 0.09. Let y = 1.7 + g. Let a = -2.03 + 0.03. Do y and a have the same value?
False
Let d be (-1)/6 - 10/(-24). Which is bigger: -1 or d?
d
Suppose -2*t - 3*t - 5*h = -190, 3*t = -h + 122. Are t and 0 unequal?
True
Let b = -3 + 2. Let p be 5/2 + b/2. Suppose -a + 1 - 2 = 0. Which is smaller: p or a?
a
Let g = -8 + 8.1. Let c = 3.6 - 3.4. Which is smaller: c or g?
g
Let b = -78.2 + -24.8. Which is smaller: 1/2 or b?
b
Let o = -0.02 + 0.02. Is 1 smaller than o?
False
Let i = -2 + 3. Let x = -14 + -11. Let q = x - -99/4. Which is smaller: q or i?
q
Let x be (3/(-4))/((-3)/(-2)). Suppose w = 4*w + 12. Let t = 3 + w. Which is smaller: t or x?
t
Let s = -49 + 35. Let c = s - -15. Which is smaller: c or 2/65?
2/65
Let j be (2 - (-96)/(-45))/(24/(-20)). Let u = -1 + 1. Which is smaller: u or j?
u
Let s be (-2)/4*(0 + 0)/6. Do s and 19 have different values?
True
Let a = -11 + 8. Let d(p) = p**3 + 5*p**2 + 5*p + 2. Let z be d(a). Is 5 bigger than z?
False
Let q = 383/78 - 66/13. Let d(p) = p + 2. Let l be d(-1). Is l less than q?
False
Let s(x) = x + 7. Let u be s(-7). Let z(p) = p**3 + 8*p**2 - 9*p - 4. Let m be z(-9). Let l = m - -6. Is l < u?
False
Suppose 2*f = -4 + 2. Let j = f + 0. Let v be (-4)/(-9)*4/(-8). Which is smaller: v or j?
j
Let t be 2/1*(-2 - 0). Let h be 1*(-2)/(-4)*-1. Does t = h?
False
Suppose 2*x - 2*v = 8, -2*v = -3*x - x + 12. Suppose -x + 11 = 3*r. Suppose 1 - r = 2*i. Which is bigger: 0 or i?
0
Let j = 2/15 - 82/165. Is j equal to 1?
False
Suppose -3*c = -7 + 31. Let u(y) = -y - 11. Let b(t) = -1. Let k(i) = 5*b(i) - u(i). Let z be k(c). Is -1 >= z?
True
Let p be (10 + -12)/(10/4). Is p at most -1/4?
True
Suppose -8 - 14 = 2*o. Let r = o + 8. Is -4 at least r?
False
Let r(w) = w**2 - 8*w - 9. Let d = 6 + -11. Let h be 3/(d - -2)*-9. Let b be r(h). Is 2/7 at most b?
False
Suppose 0 = o, -6*w = -2*w + 5*o. Is w less than or equal to 10/9?
True
Suppose -2*k - 4 = 2*f, 3*f = 2*k + f - 16. Suppose 3*b - 1 = -2*b - v, k = 3*v. Are -0.1 and b nonequal?
True
Suppose 2*d = -2*c + 16, 5*d - 3*c - 1 - 7 = 0. Suppose z + d + 2 = 0. Is -6 at least z?
True
Let u = 22.9 - 4.9. Are -2 and u unequal?
True
Let d be 123/(1 - -2) + (-5 - -9). Is -2 bigger than d?
False
Let l be 5/((-50)/6) + (-54)/(-15). Is 13 greater than l?
True
Let p = 15 + -18. Let n be 16*2*p/6. Is n <= -17?
False
Let a be 3/(-6)*((-8 - 3) + -3). Is a less than -2/7?
False
Let q be ((-2)/(-5))/(3/15). Let b be (q/3)/(4/(-6)). Let m = b - -2. Is m greater than 4/9?
True
Let s(k) = -k**3 - 6*k**2 - 3*k - 3. Let a be s(-5). Let q = -74 + 62. Which is smaller: a or q?
a
Let y = 0.6 + -8.6. Let m = y + 5. Which is greater: 1 or m?
1
Let h be (-3)/15 - (-42)/(-15). Is h > -3?
False
Suppose 2 = l - 0. Suppose 4 = 4*r, 5*w + 2*r + l*r - 29 = 0. Suppose 4*n - o + 3*o = 26, 0 = n - 4*o - 2. Is n < w?
False
Let q = -0.15 - 4.35. Let s = q + 0.5. Let i = s - -7. Is 2 < i?
True
Suppose 2*t + 20 = 4*t + 4*q, q = -t + 6. Suppose 16 = 3*c + t*o, -2*c - 4*o + o = -14. Suppose 3*i + c = i. Which is smaller: -5/3 or i?
i
Let v = -0.5 - -0.43. Let d = v + 8.07. Which is bigger: -0.1 or d?
d
Let c = -22 - -19.8. Let a = c + 0.2. Let m = 11 - 11. Which is bigger: m or a?
m
Suppose 0 = -2*r + 5*a - 17, -3*r + 8*a = 3*a + 18. Let g = -23/5 - -197/45. Is r at least g?
False
Suppose 4*g - 21 = g. Let d be g/(-9) - (0 - 1). Suppose 2 = -q, 0 = -2*y - 3*y + 3*q + 1. Which is smaller: d or y?
y
Suppose 0 = 3*x + 3*f + 6, -x + 2*f + 5 = 1. Suppose -v + 2 - 16 = -4*j, -v + 5*j - 17 = x. Which is smaller: v or -3/2?
v
Let c = 0 + 3. Let f be ((-20)/(-105))/(2/(-3)). Is c != f?
True
Let z = 303/5 - 61. Is z at most 1?
True
Let k(h) = h**2 - 4. Let l = 4 + -2. Suppose -2*g + l*q = -g, 4*g - 2*q = 0. Let w be k(g). Is -5 not equal to w?
True
Suppose 0*u - 2*w + 6 = 4*u, 0 = 5*w + 5. Suppose -u*i = 89 - 369. Let z = i + -1821/13. Is z at most -1?
False
Let g = -5479/438 - -2/219. Is g greater than -13?
True
Suppose 0 = -4*q + 5*p + 270, 2*q = -2*q - 2*p + 256. Suppose 5*a - q = -5*s, 3*a = a + 2*s + 34. Let n be (3 - 42/a)*4. Is 1 less than n?
