1 greater than or equal to h?
True
Let f(q) = -q**3 + q**2 + q. Let k be f(2). Let w = k + -10. Let g be (21/9 - 2)/(878/w). Which is smaller: -1 or g?
-1
Let t be (-1 - -5) + (-27 + 1)*-3. Suppose 86*i - 32 = t*i. Let f be 0 + -1 - i/(-14). Which is bigger: 1 or f?
1
Let t(w) = -w - 5. Let y be t(-7). Let f be (-3)/6 - (-9)/y. Suppose -l - 3*l + f*p = -4, -3*l = 4*p + 11. Is -7/4 not equal to l?
True
Suppose -5587 = 2*c + 61*q - 64*q, 4*c + q + 11209 = 0. Is c less than or equal to -2802?
False
Let i be (4 + 1/((-5)/15))*43. Let h = 113 - i. Which is bigger: h or 72?
72
Let k = -6.8 + 0.8. Let t = 173.79 + -173. Let m = 0.99 - t. Which is greater: m or k?
m
Suppose -91*v = -71*v - 20. Are v and -4/361 unequal?
True
Let t be 34 + -34 - 2/(4/24183374). Let b = t - -568351352/47. Let m = b - 895. Is m less than or equal to 1?
True
Let x = -166.84 + 165.84. Which is bigger: x or 9408?
9408
Let l = -1910/7 - -1908/7. Are 5/57 and l non-equal?
True
Let o(s) = -21*s**2 - 8*s. Let b be o(-2). Let h be (56/12 + -4)/(b/6). Does h = 0?
False
Let g = -46 + 98. Suppose -4*u - g = -6*u. Let b = 84 + -83. Is u greater than or equal to b?
True
Let o = -122 - -123. Let b(d) = -5*d - 17. Let q be b(-4). Let t be ((-3)/(-9))/(79/q). Is t smaller than o?
True
Let w = -3467 - -1421. Is -2045 bigger than w?
True
Let c(b) = -7*b - 245. Let r(l) = 2*l + 61. Let s(v) = 2*c(v) + 9*r(v). Let h be s(-20). Are h and -21 unequal?
False
Let z = 20.7 + -91.7. Let w = 70 + z. Do w and 16/5 have the same value?
False
Let j(w) = -25*w**2 - 17*w + 58. Let y be j(3). Is y not equal to -218?
False
Suppose 0 = 4*m - 12*m + 1136. Suppose -5*h - 3*z = -m + 45, 39 = 2*h + z. Do h and 18 have different values?
True
Let h be 638/642 + 0 + -1. Let p = 47504 + -47504. Which is smaller: h or p?
h
Let k(u) = u**3 - 2*u + 1. Let y be k(-2). Let n be ((-8)/(-24))/(4/y). Let v = -0.001 - 0.009. Do v and n have the same value?
False
Let h be -2295 + (18 - (-5 - -9)). Is -2280 less than or equal to h?
False
Let g be 3 + (0/(-5))/4. Let i be 152*(20/(-8) + g). Suppose 0 = 3*j + j - i. Is j equal to -0.1?
False
Let s = 48 - 13. Let x = -69/2 + s. Let f = -0.09 - -40.09. Is f less than x?
False
Suppose -11*v = -7799 - 9129 + 3673. Are v and 1205 unequal?
False
Let t be 5 - (-5 - (-9 - -6)). Let c be (35/(-20))/t*5 - -1. Which is bigger: c or 6?
6
Let c(y) = 11*y - 6. Suppose 8*d + 2*d + 10 = 0. Let g be c(d). Is -16 less than or equal to g?
False
Let b be (12 - 14)/((-8)/142). Let t = b + -635/18. Suppose 0 + 3 = 3*o. Which is smaller: t or o?
t
Let q be ((-2148)/9)/((-8)/6). Let s = -176 + q. Which is smaller: 20/13 or s?
20/13
Let t be (3/3)/(4 + -5). Let q be (22/(-4) - t)/(72/480). Do -29 and q have the same value?
False
Let q = -10024 - -18925311/1888. Is q at least 0?
False
Let v = -8.8 + 2.2. Let u = -2.6 - v. Let c be 0 + -2*(-2)/(-6). Which is bigger: c or u?
u
Let w = -72 + 72. Suppose -k - 3*x + 38 = w, 3*k + k = 2*x + 166. Suppose 79 = -4*m - k. Are m and -31 nonequal?
True
Suppose -1064 = 58*n - 54*n. Let f be 2 + ((-3)/12 - n/8). Let g be f/(-300) + (-2)/(-8). Which is smaller: 0.5 or g?
g
Suppose 0 = 2*l - 4*d - 5488, -6*l + 7*l + 4*d = 2714. Suppose 27*k = l + 2828. Is k >= 205?
True
Let s(k) = 23*k + 126. Let n be s(-5). Suppose 3*a = 8 - n. Is a greater than or equal to 5/38?
False
Suppose 224*g = -207*g + 48*g - 107*g. Do -2/9133 and g have different values?
True
Let t = 45778.8 + -45770. Let w = -5 - -3. Which is greater: t or w?
t
Let n = -1.62 + 24.62. Let z = 23.08 - n. Which is smaller: z or 1/4?
z
Let c = -0.8 + -0.2. Let p = -18916 - -19008. Do p and c have different values?
True
Let n = 55 - 28. Let q = n - 27. Which is smaller: -1/222 or q?
-1/222
Let m be 8/(-6) - 2352/(-1386). Let p = 59 - 59. Which is bigger: m or p?
m
Let l = -21001.1 + 3189.1. Which is smaller: l or -1?
l
Let d be ((-1)/((-30)/8610))/(((-2)/(-10))/1). Which is bigger: 1434 or d?
d
Let k = 4/359 + 29071/718. Suppose 0 = -141*l - 581 + 6362. Which is smaller: k or l?
k
Let i = -1.3943 - 57.6057. Is -9 at most as big as i?
False
Suppose 2*m + 16 - 4 = 4*z, 3*z - m - 11 = 0. Suppose 4*a - 3*a - 33 = z*j, 3*a = 9. Which is bigger: j or 12?
12
Let b(n) = n**3 - 4*n**2 - 21*n + 232. Let i be b(-6). Which is smaller: i or -108/67?
i
Let f be (-2 + 165/(-63))/((-1541)/993). Let s = 204/67 - f. Let m = 5/23 + s. Which is smaller: -2/3 or m?
-2/3
Let r(w) = -w**2 - 3*w + 22. Let z be r(-6). Suppose 0 = 4*g - 5*o + 22, -z*g + 4*o = o + 18. Let k = 1 + -2. Which is bigger: k or g?
k
Let o = 175 - 172. Suppose 3*h = -2*d - 16, 2*h - 22 = -o*d + 4*d. Which is bigger: -46/3 or d?
d
Suppose -5*t - 106 = -126. Let m be 21/t - ((-296)/(-32) + -9). Which is bigger: 7 or m?
7
Let v = 15071 + -15041. Suppose -f - f = -58. Is f smaller than v?
True
Let f(z) = -117*z - 116*z - 122*z - 119*z - 4 + 479*z - z**2. Suppose -8 = -2*c - 0*k + 2*k, -5*k = -3*c + 20. Let q be f(c). Which is smaller: q or -27/8?
q
Let q = 38.00963 + -0.00963. Suppose -c - s = s + 19, 0 = -5*c - s - 50. Which is smaller: c or q?
c
Let h(x) be the first derivative of -2*x**2 + 9*x + 53. Let b be h(3). Suppose -2*y - 3 = 5. Which is smaller: b or y?
y
Let f = 23.346 - 23.146. Is f at least -5150?
True
Let z be (7/(-13))/(66/154 - (-30)/(-168)). Is -2 > z?
True
Suppose -4*f = 3*b + 263, -b - 22*f = -27*f + 56. Suppose 0*a = 2*a + 156. Is a smaller than b?
False
Let r be (4 + -18)/((-6)/(-9)). Let s be (-170)/(-357) + 6/r*1. Is -1 bigger than s?
False
Let q = 2 - 8. Let x be (-1215)/125 - q - (-6 - -2). Is -1 <= x?
True
Suppose 4*z - 2 - 50 = 0. Suppose z*y + 8 = 9*y. Which is bigger: y or -1?
-1
Let a = -2091 - -1797. Which is greater: -295 or a?
a
Let t = -14612.75277 + -10.23923. Let s = 14547 + t. Let c = s + 76. Which is greater: -2/9 or c?
c
Let n be 2 + (-40)/25 + 104/(-235). Let j be (-6)/(-2 + -4)*(1 + -1). Is j greater than n?
True
Let j = -3258.736 + 3190.1. Let v = 0.636 + j. Which is smaller: 0.2 or v?
v
Let i = 1635 - 1636. Is 2/1345 at most i?
False
Let y = 30997 + -10477. Which is smaller: y or 20519?
20519
Let w be -8 + (-3003)/(-605) - -3. Is 1 greater than w?
True
Let x = -105 - -105.1. Let i = -1161/92 - 164/23. Are x and i equal?
False
Let c be 8*((-105)/36 - -2). Let k(y) = -y**2 - 3*y - 8. Let o = -39 - -36. Let j be k(o). Is c greater than j?
True
Let i(k) = -30*k**2 - 7*k + 7. Let n be i(15). Let f = n + 34124/5. Let z = 104/5 + f. Is -2 less than z?
False
Suppose 15*p = 13*p - 8. Let j be p*(36/8 - (-1 - 3)). Let l be -3*-2*(-44)/8. Which is greater: j or l?
l
Suppose 0*l = -u + 3*l + 12, -2*u = 5*l + 31. Let n(s) = 2*s + 4. Let b be n(u). Let j be (65/(-35))/(28/(-49) - (-11)/7). Is j not equal to b?
True
Let t = -3088 + 3089.5. Is -2/237 at most t?
True
Suppose -h + 4*h - 18 = -w, 0 = -h + 3. Let m be (3/(-12))/((-1)/8). Let z be (-11)/(m - (-4 + 7)). Which is smaller: z or w?
w
Let t be 156/(-208) - 19279*1/(-25708). Which is smaller: t or 0?
t
Let s(g) = -g**3 + 37*g + 99. Let d be s(-3). Which is smaller: d or -208?
-208
Let d(u) = -2*u - 37. Suppose -40 = 11*x - 9*x. Let m be d(x). Let w be m*(-6)/(-36) + (-1)/(-2). Is w at least 3/31?
True
Let a be 16*(-3)/(-28)*(-8 + 1). Let j(m) = 6*m + 85. Let l be j(a). Is 13 less than l?
False
Let o(q) = -325*q + 3806. Let a be o(11). Which is smaller: a or 227?
227
Suppose 4*s + 413 = -3*j, -j - 99 = s + 4*j. Let c = 122 + s. Let h = 35 - c. Which is smaller: 16 or h?
16
Suppose -z = -299 + 270. Suppose 5*a = -24 + z. Which is smaller: a or 3/280?
3/280
Let f(b) = 7*b**2 + 2*b + 6. Let r(v) = -15*v**2 - 5*v - 13. Let w(n) = -9*f(n) - 4*r(n). Let z be w(3). Let u be (-22)/z + 21 + -22. Are u and 0 unequal?
True
Suppose -36*a - 36 = -38*a. Let n = -26 + a. Let t be ((-4)/(-10) - 1)/(n/(-10)). Is t at least -1?
True
Let g = 40 + -41. Let b be 2/(-7)*g - (-36)/(-28). Let s = -12/11 - -85/88. Which is smaller: b or s?
b
Let p be 5/20*-1 - (-36)/16. Suppose 4*i - p*i - 565 = -5*h, 2*h - 197 = 5*i. Which is greater: h or 1?
h
Suppose -38*t = -41*t - 5*m + 2194, 2*m = -8. Which is smaller: t or 739?
t
Let a = 213 + -209. Suppose b = -a*b - 5. Let u = 31 - 900/29. Which is smaller: b or u?
b
Let f(s) = 35*s + 551. Let a be f(-42). Is -922 at least a?
False
Let u = -15857/7332 - -5/564.