 z = -8.4 + 8. Which is smaller: h or z?
z
Let u(d) = -d**2 + 2*d + 3. Let y be u(3). Let k be 0 + (y - -4) + 0. Let l be k/(-10) - (-48)/70. Which is smaller: l or 1?
l
Let y = 2 + -1.9. Let n = -0.9 - 0.1. Which is bigger: n or y?
y
Let l = 15 - 6. Let a = l - 10. Which is smaller: a or 1?
a
Let v be 3/((-6)/(-8))*-1. Let z = 6 + v. Let w = 43/18 - 8/9. Is z greater than or equal to w?
True
Suppose -5*r + 1 = -6*r. Let t(h) = -2*h + 1. Let b be t(r). Which is greater: b or 4?
4
Let v = 55 + -34. Let u = -38 + v. Let m be (-2)/u - 0/(-5). Is m at most as big as 0?
False
Let h = 2 + 7. Suppose 3*j = -0*j + h. Let b(n) = -n**2 + 4*n. Let p be b(3). Is p greater than j?
False
Suppose 0 = -5*m - 0*b - 4*b + 9, 2*m + 3*b = 5. Suppose -z - 3*j = -9, 4*j - 16 = z - 4. Is z greater than or equal to m?
False
Let y = 13.8 + -15. Are y and -2/3 nonequal?
True
Let a = 362/7 + -52. Is 2/3 smaller than a?
False
Let g be 2/12*2*3. Let o = g - 1. Suppose 0*a - 3*a - 12 = o. Does -3 = a?
False
Let x be 5/(20/16) + -1. Let g(w) = -w**3 - 4*w**2 - 5*w - 2. Let p be g(-3). Does p = x?
False
Let r = -6 + 6. Let h be (0/(-2 - r))/(-2). Are -1/7 and h nonequal?
True
Suppose -3*w - 2*w + 35 = 0. Is w less than 7?
False
Let w = 124 + -130.1. Let n = -6 - w. Are n and -0.2 unequal?
True
Let k = -6.7 + 7. Which is bigger: -0.3 or k?
k
Let l be (15/(-12))/((-1)/(-4)). Let j = l + 6. Are 0 and j unequal?
True
Suppose -2*r - 3*b = -0*r + 12, 2*r - b = -4. Suppose 4*j - 4*l + 5 = 1, 3*j - 18 = -4*l. Suppose -8 = j*m - t, -t + 16 = 4*m - 8*m. Is m at most r?
True
Let q = -0.3 + 2.3. Let p = -72.6 - -73. Do q and p have the same value?
False
Let j(z) = 3*z**2 + z + 2. Let o(f) = -16*f**2 - 4*f - 11. Let x(a) = -11*j(a) - 2*o(a). Let q be x(-3). Let n = -17 - -49/3. Which is greater: n or q?
q
Let t(j) = j**3 + j**2 + j - 2. Let a be -5 + 1 - (-1 + -3). Let k be t(a). Is 2 < k?
False
Let c = -29 - -57/2. Which is smaller: c or -1?
-1
Let y = -29 + 30. Is 0.04 > y?
False
Let s be 3825/(-7) + (-5)/(-15). Let t = 546 + s. Which is smaller: t or -1?
-1
Let t(q) = -q**3 - 6*q**2 + 8*q + 2. Let y be t(-7). Let v be y/(-5)*1/(-3). Which is bigger: -4 or v?
v
Let j(t) = -t**3 - t**2 - t + 5. Let v be j(0). Suppose o - 5 = 0, -r - 2*o - 8 = -4*r. Is v bigger than r?
False
Let o be -3*(30/(-9) - 2). Let n = o + -11. Let c = -3 + n. Is c less than or equal to 1?
False
Let d(b) = 2*b - 5. Let u be d(6). Which is greater: u or 33/5?
u
Let k be -1 + 3 - 0 - -3. Suppose 3*g - 1 = k*x, 6*g = 2*g + 8. Let d be 3 + (-3)/x + 2. Which is greater: 3 or d?
3
Let x = 503/1710 + 1/171. Let m(z) = -z - 5. Let o be m(-5). Is o smaller than x?
True
Let n = 0.3 + 0.7. Let w = -0.7 + n. Is -0.1 at least as big as w?
False
Let m = 11.1 - 1.1. Let i = m - 10.01. Which is greater: i or 1/5?
1/5
Let f(x) = -3*x + 6. Let v be f(4). Let n be 6/9 - (-52)/v. Let g be 8/(-21) + n/28. Is -2 < g?
True
Let h = 2/207 + -5183/828. Which is smaller: h or -7?
-7
Let b be (24/40)/((-1)/(-5)). Let h be 2*b/((-6)/5). Is -6 greater than h?
False
Let q = -3 - -0.9. Let g = -2 - q. Is g at least 0?
True
Let n = 2 + -5/2. Let o = 1.54 - 0.04. Which is smaller: n or o?
n
Suppose -2*u + 2*r = 8, -4*u - 2*r - r - 37 = 0. Is -9 at least as big as u?
False
Let l(n) = -4*n**3 + n + 4. Let t be l(-2). Which is smaller: 32 or t?
32
Let h = -25.1 - -25. Which is smaller: 103 or h?
h
Let z = -1 + 0. Let a = 4 - 4. Which is bigger: z or a?
a
Let m = 28 + -26. Let l be ((-8)/(-10))/(1/(-5)). Let h be -2*l/(8/3). Is m > h?
False
Suppose -2*s - 4*c + 38 = 14, -5*s + 4*c = 10. Let v(n) = -n + 1. Let d be v(s). Which is greater: d or -3?
d
Let z(n) = -n**3 - 7*n**2 - n - 5. Let p be z(-7). Let m be (12/(-117))/(p/(-3)). Is m >= -1?
True
Let v be 2/3 + (-30)/45. Let j be -6 + (0 - 2) + 4. Let n be j/6*2/6. Which is smaller: n or v?
n
Let x(z) = 18*z**3 + 3*z**2 - 5*z + 3. Let q be x(1). Is q less than or equal to 20?
True
Suppose 2*f = -y, 0 = -y - y - f - 9. Which is smaller: 7 or y?
y
Let m(q) = -2*q - 4. Let o be m(-3). Suppose -o*a = -4*r + 6, 4*r - r + a - 12 = 0. Are 3 and r non-equal?
False
Let i(a) = -a**3 + 7*a**2 + 2*a - 10. Let r be i(7). Suppose 3*g - b = 5, -2*g - 4*b + 28 = 2*g. Which is smaller: g or r?
g
Let p = -83 - -99. Is 19 bigger than p?
True
Let s be (-2)/(-4) - 39/54. Let f(w) = -w**3 - 7*w**2 + 5. Let l be f(-7). Suppose -z = -l*z. Are s and z unequal?
True
Suppose -5*r = -7*r + 2. Which is bigger: r or 1/20?
r
Let y = -75.53 + 79.5. Let g = 0.03 + y. Does -1/2 = g?
False
Let s be ((-1)/(-3))/(13/117). Which is smaller: 1 or s?
1
Let k(b) be the first derivative of b**4/4 - 3*b**3 + 4*b**2 - 6*b + 4. Let z be k(8). Is z at most as big as -4?
True
Let b = 0.2 - 0.1. Let q = 0 + 0. Is b greater than or equal to q?
True
Suppose 3*z - 5*o = -34, 3*z = 5*z - 2*o + 16. Let g = z - -3. Which is bigger: -6/5 or g?
g
Let q = -3.06 + 0.06. Let k = -2.9 - q. Is -1 greater than k?
False
Let x = -0.03 - 4.97. Let b = -11 - x. Is -1 at most b?
False
Let n = 79/40 + -8/5. Suppose -z = p + z - 5, -2*p = 2*z - 6. Which is bigger: p or n?
p
Let l(v) = 3*v - 19. Let i be l(8). Let k(c) = -c**3 - 7*c**2 + 4. Let s be k(-7). Do s and i have the same value?
False
Let q = 22 - 22. Let m be q - ((-3)/(-1))/3. Are m and 12 equal?
False
Let l = 5.4 - -0.6. Let m = l + -6.1. Which is smaller: m or -4?
-4
Suppose 2*w - 3 = 3*z, -4*z + 5*w = 2 + 2. Let b(a) = 3 + 2*a - 6 + 4. Let r be b(z). Is -3 less than r?
True
Let s(m) = -m + 4. Let c be s(13). Let x = c + 9. Is x at least 0?
True
Let k be 0/(-1) + 3 + -2. Is -1/6 at most as big as k?
True
Let c be -2*6*2/(-8). Suppose u + 18 = c*u. Is 0.1 equal to u?
False
Let v = -10.6 - -10. Which is smaller: -2 or v?
-2
Let h(i) = -i**2 + 5*i + 8. Let p be h(6). Suppose 0 = 2*k - 0*k - g + 5, 0 = 5*k + 4*g + 6. Which is bigger: p or k?
p
Let v = 3 + 2. Let i(o) = 6*o**2 - 4 - 4*o + 0 - 2*o**3 + o**3. Let q be i(v). Which is smaller: 1/4 or q?
1/4
Suppose -4*c - 1 + 17 = 0, 3*r = -5*c + 14. Let m = 110 - 158. Let h = m + 142/3. Is r > h?
False
Let a = 14 + -7. Which is smaller: a or 8?
a
Let p be (-4)/(-26) - 196/91. Let n be (-10)/4 + 2 - p. Is n at most 2?
True
Let w(q) = q**3 + 10*q**2 + 11*q + 13. Let v be w(-9). Let l(c) = c**2 + 7*c + 3. Let x be l(-6). Let r = v - x. Is r at least as big as -4/5?
False
Let o = 3 - 0. Suppose 0*l + l - o = 0. Let t(j) = -j**2 - 5*j - 3. Let r be t(-4). Do r and l have different values?
True
Let u = 0.2 - -0.8. Let s = 293 - 297. Is u at least as big as s?
True
Let w(r) = -r**3 + 9*r**2 + 11*r - 10. Suppose -5 - 5 = -g. Let d be w(g). Let c = -135 - -943/7. Is c less than or equal to d?
True
Suppose 2*w - 2*x = x, 5*w - 11 = 2*x. Suppose 4*v - 3 = -3*q - v, 3*v = -2*q + 2. Let b = 5 - q. Which is greater: b or w?
b
Suppose 3*h = -0*w + 4*w - 4, -4*w = -16. Suppose 2*f + a = 9, -5*f + 17 = 2*a - h. Is f smaller than 2?
False
Suppose -3*g = g + 24. Let t = g + 0. Let k be t/(-20)*(-4)/(-9). Which is bigger: k or 0.1?
k
Let q(z) be the first derivative of z**3/3 - 4*z - 4. Let u be q(3). Suppose -2*o + 5*o = -3*p - 21, 0 = u*p + 5. Which is smaller: -5 or o?
o
Let l be (44/2)/(-12*(-5)/20). Which is greater: 6 or l?
l
Let q(v) = -v**3 + 16*v**2 + 1. Let p be q(16). Are p and 1 non-equal?
False
Suppose -5 - 21 = 2*t. Is -9 at least t?
True
Let a = -55 + 80. Is 24 > a?
False
Let w be (-127)/8*2 - 1/4. Is w < -32?
False
Let i(w) = w**2 + 4*w + 1. Let p be i(-4). Is p < 6/7?
False
Let g be 21/28 + (-6)/8. Suppose r - 2*y - 4 = g, -3*y + 3 = -2*r + 7. Let q be (-3)/1*8/6. Is r not equal to q?
False
Let c = 0.41 + -0.91. Is c < 1?
True
Suppose 3*k + 3*q = 0, -4*k + k - 2*q + 2 = 0. Let c be (-4)/(-12) + 8/6*2. Does c = k?
False
Suppose 2*d - 14 = 3*r, -6*r + r = 3*d - 2. Let l be 34/(-10) + r/(-5). Is l at most -4?
False
Let x(a) = -a**2 + 24*a - 49. Let u be x(22). Is -5 smaller than u?
False
Suppose -16*t - 8 = -12*t. Let g = -29 + 57/2. Which is greater: t or g?
g
Suppose 2 = -2*m + 10. Let w be 384/756 + m/(-14). Which is smaller: w or -1?
-1
Suppose 76 = 4*y - 144. Let w be (-4)/10 - 33/y. Is 3/19 <= w?
False
Suppose d = -d + 2. Let b = 1873/5 + -373. Is d at most b?
True
Let w(a) = -9*a**3 - 4*a**2 + 4*a + 4. Let p be w(-4). Let k = p - 9502/19. Let h = 0 - 1. Which 