ose -4*h - h = 4*h. Which is greater: h or -1/18?
h
Let i = -4 + 2. Let u = 0 + -1. Let z = u + 2. Is i smaller than z?
True
Suppose 2*y - 4*y - 20 = -3*h, h + y - 10 = 0. Let l be 2/(-6)*h/36. Which is smaller: 1 or l?
l
Suppose 2*z - 5*i = 4*z + 12, 5*i = -z - 16. Let u be (-10)/((z + -3)*2). Are u and -5 nonequal?
False
Suppose -m = -4*m. Suppose -3*v = -m*v + 12. Is v greater than -6?
True
Let h be (-30)/16*(-2)/(-5). Are -2 and h unequal?
True
Let u(a) = -a + 2. Let w be u(-3). Suppose -4*m + w = -3. Which is greater: 1 or m?
m
Let q(u) = u + 3 - 1 + 0. Let m be q(-3). Is -1/2 equal to m?
False
Suppose 0 = n - 4*n - 5*r + 31, 0 = 3*r - 6. Let k = -11 + n. Let a = -9 - k. Which is smaller: a or 1?
a
Let i be -1 - ((-2)/(-4) + 0). Which is greater: i or -1?
-1
Let w = 0 + 2. Suppose -v + w*v = -8. Is -8 at least as big as v?
True
Let p be 1 + (-4 + 2 - -1). Let k(s) = -s - 1. Let u be k(p). Let r = -1/456 - -923/5016. Are u and r nonequal?
True
Let z = -583 - -7009/12. Let f = 4/3 - z. Are f and 0 non-equal?
True
Let x = 0.12 + -0.07. Is 2 at most x?
False
Let t = -10 + 72/7. Let o = 44 + -32. Is o != t?
True
Suppose 4*t = -21 - 15. Which is bigger: -28/3 or t?
t
Let w be 2/1 + (-4 - -2). Which is smaller: w or 3/10?
w
Let b(m) = m**2 - 6*m + 6. Let a be b(4). Let r = -307/45 - -56/9. Are r and a nonequal?
True
Let q = 8.9 + -0.9. Let n = q - 7.94. Let y = n - 1.06. Is -1 greater than y?
False
Let x(h) = h**3 - 4*h**2 - 6*h - 1. Let q be x(5). Let a = 6 + q. Let z be (1 + 0)/((-10)/4). Which is smaller: z or a?
z
Let s be (-119)/70 + (-6)/(-4). Is -0.2 at most s?
True
Let w(l) = l**2 - 7*l + 12. Let p be w(3). Is -4/17 less than p?
True
Suppose 2*x + 14 = k, x + 5*k = 2*x + 25. Let u be (x - -7)*17/(-2). Does u = -17?
True
Let b be ((-4)/3)/(4/(-6)). Let n = b - 4. Let l be n + 3 - 0/2. Which is smaller: 2/23 or l?
2/23
Let b = -54 + 379/7. Is b < -3/5?
False
Let z be 14/(-35) - (-104)/10. Let c = z + -10. Is c < 2/7?
True
Let w = 0.34 - 0.04. Let p = -0.7 - w. Let t = -6.3 - -6. Which is bigger: p or t?
t
Let q = -9 + 13. Let t be (-10)/q*12/(-20). Suppose 2*m + 0*m - 4 = 0. Is m >= t?
True
Let k be 5 + (-2)/1 + -6 + -1. Which is smaller: k or -6?
-6
Let b(i) = i**2 - 8. Let g be b(4). Let w(s) = s**3 - 2*s - 2*s - 3 - 7*s**2 - 4*s. Let q be w(g). Which is greater: q or -2?
-2
Let i = 5 - 4. Let k be 1/(-2) - i/2. Let l be (k - (0 + -1)) + 1. Is l bigger than 1?
False
Suppose -4*o + 4*g - 24 = 0, -2 = -g + 2. Which is smaller: 0 or o?
o
Let f(h) = -h**3 + 6*h**2 - 5*h + 5. Let t be f(5). Which is smaller: t or 4?
4
Suppose p - 2 = -p. Let l = -55 - -382/7. Which is smaller: l or p?
l
Let b(d) = -d + 9. Let h be 9/(-6) - (-38)/4. Let u be b(h). Which is bigger: 2 or u?
2
Suppose p + 11 = 6*p - 4*l, l = 4*p. Let w be (-28)/(-2) + 2 + 2. Suppose -3*o = 3*t - w, -6 = -t - 2*o - 0. Does t = p?
False
Suppose -5*b + 97 = -4*p, -4*b = -0*b - 3*p - 77. Suppose 3*t - c + b - 4 = 0, 5*c = 5. Let g be (t - (-1 + -2))*0. Is 1/2 > g?
True
Let p = -92 + 92.2. Is p greater than or equal to -0.13?
True
Suppose -f + 6*o - 5 = 3*o, -2*f - 5*o = -1. Let t = -11.26 - -0.26. Do f and t have the same value?
False
Let d = -2.7 + 5.7. Let m = 2.5 + 0.7. Let c = d - m. Is c smaller than -1?
False
Suppose -2 = -3*p + p. Which is smaller: p or -1/9?
-1/9
Let s = -738 - -7371/10. Is s >= -2?
True
Let f be 1/(((-10)/(-6))/5). Suppose 0 = -5*j + 5. Is j equal to f?
False
Suppose -4*r + 6 - 2 = 0. Let p = -16/7 + 263/112. Is r at most p?
False
Let c = -3 - -3. Which is smaller: c or 3/7?
c
Let z = -11 + 14. Suppose -3*j + q + z = -0*j, 5*j = -5*q - 15. Is j at least -1/20?
True
Let k(u) = -u**2 + 4*u. Let n be k(4). Let w = 0 - n. Let q be 80/(-126) - 5/(135/6). Which is smaller: q or w?
q
Let u = 8.1 - 8.8. Which is greater: -0.4 or u?
-0.4
Let s = -31 + 30. Is 0.2 <= s?
False
Let u = 63.9 + -64. Is u at least as big as -4/13?
True
Let w = 2/3 - 71/120. Which is greater: w or -0.2?
w
Let i = 3 - 1. Suppose 2*x - i*b = 6, -x + b + 5 = 2*x. Is 3/2 at least x?
True
Let z(k) = 3*k - 80. Let j be z(25). Is -23/4 greater than j?
False
Let g = 0.6 + -0.1. Suppose 0 = -o - 2*y + 3*y + 1, 2*o - y - 5 = 0. Suppose 5*p = o*b - 7, 9 + 4 = 4*p + 3*b. Is g > p?
False
Let m(j) = j**2 - 16*j + 42. Let y be m(13). Which is bigger: y or 5?
5
Let g be 14/(-18) + 2/(-9). Suppose -2 + 8 = -3*k. Let r be (k/(-1))/((-10)/45). Which is smaller: r or g?
r
Let m be 6/9 - (-34)/(-6). Let c(w) = -w**3 + 3*w**2 + 8*w + 5. Let s be c(5). Is s <= m?
True
Let p = 1563/5 - 313. Let x be (0 - 2)/(-2) + -2. Which is bigger: x or p?
p
Suppose o - 4 = 4*s, -4*s + 5*o = 13 + 7. Let k be s - 10/(-2 + 0). Is 4 less than k?
True
Let p be (8/10)/(1/30). Let q be p/20*(-40)/(-6). Suppose 0 = 5*m - m + q. Which is smaller: m or 1?
m
Suppose 4*i = -3*z + 19, 5*i - 3*z + 12 = 2*i. Let v be (-3 + 0)/((-1)/2). Let b be (-5)/10 - (-5)/v. Which is bigger: b or i?
i
Let r(t) = 2*t**3 + 3*t**2 - 2*t + 6. Let d be r(4). Let i = 1221/7 - d. Is i greater than or equal to 1?
False
Suppose -71 = -u - 3*g, 4*g + 0 + 64 = u. Is u equal to 68?
True
Let d(y) = -y**2 - 6*y - 6. Let n be d(-5). Let p be (n/6)/(2/(-6)). Let c = -58 + 59. Is p greater than or equal to c?
False
Let o = 5504/11 - 500. Let h = o - -3/22. Which is smaller: -3/4 or h?
-3/4
Suppose 4*o - 21 + 1 = 0. Suppose -l + 13 = 5*y - 3, -o*y = -20. Suppose -4*c - 6*s + s - 32 = 0, 0 = 3*c - 5*s - 11. Is l > c?
False
Let v = 1/224 + 9/32. Let x(g) = g + 3. Let k be x(-3). Is k < v?
True
Let z(m) be the second derivative of -m**4/12 + 3*m**3/2 - 3*m**2/2 - 9*m. Let t be 3/4*2*6. Let g be z(t). Is g > -2?
False
Suppose -593 = -12*f + 367. Which is smaller: f or 81?
f
Let d(a) = -3*a**3 + 3*a + 3. Let y be d(-2). Let j be (28/(-6))/(14/y). Let n(o) = -o**2 - 7*o + 1. Let b be n(j). Is b != 1?
False
Let s = 60 + -63. Which is smaller: -4 or s?
-4
Let h = -5 - -2. Let v(t) = -t**2 - 2*t + 4. Let q be v(h). Let o be 3/2 + ((-1)/2 - -1). Which is smaller: q or o?
q
Let d = -20.7 - -22. Which is smaller: d or 1/2?
1/2
Let l = 3 + -2.7. Let d = l + -1.3. Which is smaller: 1/3 or d?
d
Suppose 3*n = 3*k + 135, 2*n - 62 = 4*k + 20. Is n at most as big as 48?
False
Let v be (15/(-12))/(4/32). Suppose -6 = -2*s + s. Let f = s + v. Are -4 and f equal?
True
Suppose 5*w = -5*y + w + 20, 0 = y - 4*w - 4. Suppose -y*o + 4*x + 2 = 2*x, 4*x = o + 3. Let j be (-18)/54*3/8. Which is smaller: o or j?
j
Suppose -4*l = 2*b + 5 + 9, -3*l = 5*b + 21. Let w(q) = 2*q - 5. Let d be w(7). Let u be (d/12)/((-2)/8). Are b and u nonequal?
False
Let s = -7/1339 - -6715/1028352. Let n = s - 6161/13056. Let v = n + 49/68. Is 1 at least as big as v?
True
Suppose -4*q - 46 = -5*r - 8*q, -3*q + 6 = -r. Does r = 4?
False
Let x(q) = 3*q + 20. Let m(k) = -k - 7. Let w(c) = 11*m(c) + 4*x(c). Let g be w(-3). Let h = 2 - g. Are 2 and h non-equal?
False
Let s = -8 - -8. Let v = s - 0. Which is bigger: -1 or v?
v
Suppose 0 = 4*k + 3*v - 8, 3*v - 4 = -2*k + 4*v. Which is greater: 30/11 or k?
30/11
Let l be 48/266 + 6/(-21). Let s = -1 + 2. Which is smaller: s or l?
l
Suppose 18*z = 27 + 45. Suppose 12 = 5*h - 2*h. Is z at least h?
True
Let z be 2/8 + (-77)/(-28). Let l be z + -4 + 2/6. Which is bigger: -1 or l?
l
Suppose -i - 2 = -2. Is 1/16 at most as big as i?
False
Let o = 1/12 + -47/132. Is 1 at most as big as o?
False
Suppose -b = 2, 2*z - 2*b - 90 = -0*z. Let m = 217/5 - z. Is m <= -1?
False
Suppose -19 = -0*z - z + 5*c, -2*z + 6 = -2*c. Let o = z - 6. Is o <= -1?
True
Let k = 111 - 111. Is 1/58 smaller than k?
False
Let n(q) = q**2 + 12*q + 5. Let b be n(-11). Let x be (2/10)/(3/b). Which is greater: 1 or x?
1
Let z be 6/2 - (4 + -6). Let o(q) = -q**2 + 3*q + 6. Let v be o(z). Let a be (-6)/(-4) - v/(-8). Which is smaller: -1 or a?
-1
Let c(v) = v**2 - 7*v - 6. Let w be c(8). Let p(i) = 2*i**3 + 4 + 8*i**w + 2*i - 12*i**2 - 3. Let t be p(2). Is 5 less than or equal to t?
True
Suppose -3*k = k - 16. Which is smaller: 5 or k?
k
Let b = 13 - 19. Let s be -4*(3 + 9/b). Let x(r) = r + 6. Let q be x(s). Is -3/11 < q?
True
Let g = -601 + 590. Suppose -2*u - 4 = -w + 2*u, -3*w - 48 = 3*u. Which is smaller: g or w?
w
Let x = -4 - -4.5. Let d = -2 + 2. Let i = x + d. Is -0.1 less than or equal to i?
True
Let k(o) =