= 2*w + 4, 4*w = 2*h + 12. Let x = h + -2. Which is smaller: 1/4 or x?
x
Let w(s) = s**3 + 7*s**2 - 10*s - 12. Let m be w(-8). Let d(b) = b**2 - 8*b + 9. Let q be d(m). Is q at least as big as -7?
True
Let z be 475/38*(-12)/(-190). Which is smaller: 1 or z?
z
Let t = 9/5 + -2. Let b = -2 - -1. Are b and t nonequal?
True
Let a be (-6 - -5) + -2*2/(-4). Which is smaller: 0.8 or a?
a
Let i(j) = -j**2 - j. Let g be i(-2). Let d(f) = -f**2 - f - 192. Let l be d(0). Let o be (l/(-21))/(-4) + 2. Which is greater: o or g?
o
Let b(f) = -f - 2*f**3 + f**3 - 4*f - 7 + 3 - 4*f**2. Let x be b(-3). Suppose 6 - x = 4*j. Is 1 greater than or equal to j?
True
Let f be 4/(-10) + 674/660. Let r = f - 5/11. Let x be (-7 - -5)/(-3 - -7 - 2). Which is bigger: r or x?
r
Let i be 1 - 5 - (-3 + 0). Is -6/19 smaller than i?
False
Let c be 3 + (3 - 40/7). Suppose -14 = -2*s - 3*b + 7*b, 4*s = 5*b + 16. Which is bigger: s or c?
c
Let s = 23.18 + -23. Let j = -0.11 + s. Let v = j + -0.17. Which is smaller: v or 1/3?
v
Suppose 0*r - 4 = -2*r. Let c(z) = -40*z + 2. Let t be c(r). Let h = t - -309/4. Which is bigger: 0 or h?
0
Let u = -4.97 + -0.03. Which is smaller: u or 2?
u
Let l = 0 - 8. Let u = -15 - l. Is 2/5 smaller than u?
False
Suppose 2*f - 3*f = 0. Let h be (2 - -4) + f + 1. Suppose 5*a = -0*m - 4*m + h, -5*m + 2 = 4*a. Which is greater: -1 or m?
-1
Let p = -0.7 - -0.7. Let b = 0 + -0.2. Let j = b - p. Which is greater: j or 0.2?
0.2
Let f be (-1)/1 - (0 - -1). Let x be f/(-5) - (-2)/(-5). Let k be (-14)/5 + (2 - -1). Which is bigger: k or x?
k
Let a(q) = -7*q**2 - 5*q + 2. Let u = 13 - 19. Let j be a(u). Let f be (-3)/2 + j/(-136). Which is smaller: -1/4 or f?
-1/4
Let z = 874/7 + -7796/63. Does 0 = z?
False
Let x(c) = 3*c - 11. Let o be x(5). Suppose -o*r + 2*r = 2. Is r not equal to -1?
False
Let d = -2 - -4. Let h be d*-1 + (0 - -3). Let v be (460/966)/(15/14). Which is smaller: h or v?
v
Suppose -n = -0 - 3. Suppose -z - n*p - 6 = 0, 8*z + 16 = 3*z - p. Which is bigger: z or -2?
-2
Let d be (-4 - -2)/(2/(-3)). Let z = d - 2. Let i = z + -3. Which is smaller: i or -4/3?
i
Suppose 0*i - 4*k = 5*i + 12, -12 = 2*i - 2*k. Which is bigger: -5/2 or i?
-5/2
Let v = -8/2373 + 67939/208824. Let k = 1/24 + v. Is -1 >= k?
False
Let g(a) be the third derivative of -a**6/120 + 7*a**5/60 + a**4/24 - 4*a**3/3 + 4*a**2. Let q be 7*1/(-3)*-3. Let v be g(q). Which is bigger: -1/10 or v?
-1/10
Let m = -20 - -18. Let b be -3*(0 + (-3)/(-9)). Which is smaller: b or m?
m
Let n = 66 - 89. Is n != -24?
True
Suppose 7*f + 23 = z + 3*f, 5 = 5*z + 2*f. Is 2 greater than or equal to z?
False
Suppose 5*g - 10*g = 5. Which is greater: -10 or g?
g
Let q(u) = -5 + 5*u - 2*u + 4 - 1. Let d be q(-1). Are d and -6 unequal?
True
Let a(t) = t**3 - t**2 - 10*t + 1. Let z be a(4). Which is smaller: z or 11?
z
Let o be 9 - 5 - 114/(5 - 2). Which is greater: o or -35?
o
Suppose -4*p + 40 = -9*p. Are -9 and p unequal?
True
Let k = -27 - -47. Let c = -103/150 - -14/75. Which is bigger: k or c?
k
Let v(s) = s**2 + 4*s. Let r be v(-4). Let d be 2 + (0 - 16/9). Do r and d have different values?
True
Let j(u) = 6*u**2 + 8*u + 2. Let z be j(-3). Do -2 and z have different values?
True
Suppose 5*i + 4*k - 17 = -5, -2*i = 5*k - 15. Is i greater than or equal to 4/17?
False
Suppose 3 = -5*g - 2. Which is bigger: -7/4 or g?
g
Let a = -46 - -154. Suppose 5*j - 180 = -5*s, 4*j = -s - 2*s + a. Let k be (-3)/s*-2 + 0. Is k > 1?
False
Let u be (0 + -1)/((-1)/3). Let q = 13.1 - 2.1. Let s = q + -12. Is u bigger than s?
True
Suppose 2*i + 2*i = 4. Let g(b) = b**2 - b + 1. Let n(a) = a**3 - 7*a**2 - a + 7. Let j be n(7). Let v be g(j). Are i and v unequal?
False
Let k(u) = 3*u**2 - 3*u. Let w be k(2). Suppose w = -3*t - 3*o, -4*t - 2*o + 4*o = -10. Does 1 = t?
True
Let o = 15.2 + -19. Let j = 4 + o. Let s = -4.8 - j. Which is smaller: s or 1?
s
Let w = -239/1254 - -1/114. Suppose -4*y + 4*p + 16 = 0, 4*y + p = -4*p - 29. Is w >= y?
True
Let h = 168.2 + -168. Let v be (-4)/14 - (-3)/(-63). Are v and h nonequal?
True
Let c be 1 - 8 - (-4)/((-4)/3). Are -8 and c non-equal?
True
Let c(u) = u**3 + 13*u**2 + 12*u + 8. Let n be c(-12). Is 11 != n?
True
Suppose -3*h + 0*h - 3*g = 18, -5*h = g + 26. Suppose -2*a - 4*a = 30. Is h less than a?
False
Let c = -0.1 - 4.9. Let x = -5.1 - c. Is -0.1 greater than x?
False
Let t(b) be the second derivative of -b**4/12 + 5*b**3/6 - b**2 - 2*b. Let z be t(4). Let c be 8/12 + 8/6. Are c and z non-equal?
False
Let o = 17 + -10. Let n be (-6)/4*2*-2. Is n at least o?
False
Let t(l) = l**3 + l**2 - 2*l - 2. Let c be t(-2). Let n be (50/24 + c)/1. Let z = -15 - -15. Which is bigger: z or n?
n
Let q be (-2)/9 - 31/(-45). Let j = 4/5 - q. Let x be 1 + 1 - (6 - 5). Which is smaller: j or x?
j
Let u = 6 - 4. Let p be 1/(-2)*u*0. Is p greater than or equal to 1?
False
Let q be 1 + (2 - 2/(-1)). Let r(d) = -d + 6. Let c be r(q). Suppose b = -0*b + 5*y + 13, 0 = -2*b - 5*y - 4. Is b at most as big as c?
False
Let v = -3781/11 + 31157/143. Let h = 126 + v. Which is greater: h or 1/2?
1/2
Let b = -0.4 - -0.4. Let v = b + -0.1. Let g = 6 + -5. Which is greater: v or g?
g
Let i(u) = -u + 1. Let w be i(4). Let a = w + 7. Do a and 2 have different values?
True
Suppose -3*k = -k. Which is greater: 1/13 or k?
1/13
Suppose 0*r - 5*r - 200 = 0. Let h be r/(-78) + (-4)/(-26). Which is smaller: h or -10?
-10
Suppose z = 6*z - 85. Suppose 3*k = 4*s - s + 9, 5*s + z = 4*k. Is -3 at most k?
True
Let k be (2/(-1))/((-10)/(-2)). Let d(c) = c**3 + 5*c**2 + 7. Let y(t) = -t. Let x(f) = -d(f) - 5*y(f). Let l be x(-6). Is l greater than k?
False
Let l be ((-16)/3)/8*3. Which is greater: -17/6 or l?
l
Let t be (-12)/8*(-1)/(-12). Which is bigger: t or -1?
t
Let b = -2 + -2. Let s be 1*1/b*1. Suppose 0 = -o + 7*o. Which is bigger: s or o?
o
Let t be ((-5)/(-80))/(2/20). Is 0 < t?
True
Let k be (-1)/12*2*-2. Which is smaller: -1 or k?
-1
Let h(q) = -q + 9. Let d(x) = -1. Let k(w) = 2*d(w) + h(w). Let p be k(6). Which is greater: 3 or p?
3
Let d(h) = -4*h. Suppose 3*g + 0*g = 3*j + 3, -g = -3*j - 1. Let o(v) = -v + 1. Let a(m) = g*d(m) - 3*o(m). Let r be a(-4). Is r at least as big as 2/5?
True
Let g(t) = -2*t**2 + 2*t - 1. Let v be g(1). Let s(m) = m**3 + m**2 - 2*m - 1. Let k be s(v). Let q be (-2)/(k + 2 + -1). Which is greater: q or -2?
q
Let v = -2 + 1.4. Let z = 0.4 - v. Let i = z - 0.9. Which is smaller: -0.1 or i?
-0.1
Let c(p) = p**3 - 2*p**2 - p + 1. Let g be c(1). Let z be 30/5 + 1*g. Suppose 0*m - z = 5*m. Is m > 2/11?
False
Let j = -0.0238 + -26.2762. Let u = j - -28. Let p = u + 0.3. Is p equal to 2?
True
Suppose 5*d - 3*d + x - 57 = 0, -2*d - 4*x + 48 = 0. Let s = d - 89/3. Let o(g) = g**2 + 6*g - 6. Let q be o(-7). Is s less than or equal to q?
True
Let s(m) = -m. Let d be s(-3). Suppose 4*h = 9 + 3. Let t be (-2 - d/h) + 2. Which is bigger: 3/7 or t?
3/7
Let j be ((-10)/(-33))/(1/3) + -1. Which is greater: 0 or j?
0
Let t(a) = -a - 1. Let y be 12/9*-3 + 1. Let k be t(y). Suppose 2*o = -k*o + 4. Is -1/4 < o?
True
Let i be (-3)/6*(342 - -2). Let c be (-2)/(-9) - i/36. Suppose -2*x - 27 = -c*y, 4*x + 19 = 3*y - 0*y. Are y and 5 non-equal?
False
Let z = 6 + -2. Suppose -2*s = f + 11, -z*s = -f - 2*f + 47. Which is smaller: s or -7?
s
Let g be (60/(-45))/(2/(-63)). Let k be ((-56)/g)/((-4)/(-6)). Is k > -2?
False
Suppose g + 40 = 6*g. Is g greater than or equal to 8?
True
Suppose -2*k = -2*n - 53 - 17, 5*k = 3*n + 115. Is -29 greater than n?
True
Let g = 20 + -18.2. Let o = g + -1.89. Which is smaller: o or 2/7?
o
Let z be (6 + -4)/(1 + -2). Let n be 2/(1/2*z). Is n bigger than -2?
False
Let y(q) = q**2 - 9*q - 1. Let x be y(9). Which is greater: 2/3 or x?
2/3
Suppose -4 - 95 = 3*h. Let t = 111 + h. Let v = t + -389/5. Which is greater: 2 or v?
2
Let g be -4*1/10*-5. Suppose 3*w = 3*k + 15, 4*k = -5*w + g*k + 4. Is w at least as big as -1?
True
Let j(y) = -3*y**2 - 8*y**2 + y**3 + 3 - 2 - 12*y. Let g be j(12). Let i be 2/(-6) - 29/(-33). Is i at most as big as g?
True
Let n = 5/21 + -19/21. Which is smaller: -2 or n?
-2
Let r be (2/4)/(2/4). Suppose 305 = -0*b + 5*b. Let m = -303/5 + b. Is r less than m?
False
Let b(m) = -11 - m**2 - 10*m - 1 + 3. Let v be b(-6). Suppose 0 = -2*y - 4*w - 39 + v, 5*w + 29 = -