q + 5 = -h*q. Is -4 at most as big as q?
True
Let i be (((-4)/(-9))/(-4))/(82/369). Which is bigger: i or -4?
i
Let u = -381/374 + -21/34. Which is bigger: u or 0.08?
0.08
Let u(l) = -l**3 - 27*l**2 - 17*l + 107. Let i be u(-26). Which is smaller: i or -123?
i
Let c be (-1 - 6/(-8))/(3/(-12)). Suppose -n = 3*v - c, 4*n = -2*v + 3*v + 4. Which is smaller: v or 2/109?
v
Let c = -62.3 + 69. Let t = c + -7. Let z = -0.3 - t. Is -0.1 less than or equal to z?
True
Let c(a) = -a**2 - 6*a + 60. Let h be c(-11). Suppose -m + 5*q = h, 43 = m + 3*q + 16. Which is smaller: 63/4 or m?
m
Let b(i) = i**3 - i**2 + 1. Let f be b(-3). Which is bigger: -26 or f?
-26
Let c(m) = -2*m - 69. Let s(d) = d + 23. Let r(w) = 4*c(w) + 11*s(w). Let y be r(6). Which is smaller: -16/3 or y?
-16/3
Let f(w) = -w**2 - w - 1. Let p be f(-1). Let n be (-25)/(-6) + (-6)/36. Suppose 6*m - n = -4. Is m equal to p?
False
Let c = 11413 - 56799/5. Which is greater: c or 54?
54
Let h(n) = -2*n + 9. Let w be h(0). Let j = w - -3. Let c be (2/j)/((-10)/(-170)). Which is smaller: c or 3?
c
Let j = -75/13 - -863/91. Let w be 1/((-2)/3 + 1). Is j smaller than w?
False
Suppose 0 = -2*b + b. Let g = -14 - -16. Suppose j + o + b - g = 0, 2*o = 3*j - 11. Is j > 1?
True
Let y = 1099 - 1064. Is 275/8 greater than or equal to y?
False
Let p be 53/(-1)*(7 - 8). Suppose 5*k - 2*k = -c - 36, -4*k = 3*c + p. Is k < -8?
True
Let b = 0.9 - 4.9. Let k = 4.9 + b. Let a = 31/35 - 3/5. Which is smaller: k or a?
a
Let i be 7*(-3 + (-72)/(-21)). Suppose i*v - 31 = 23. Suppose -b - 3*b = -s + 9, -s - v = 5*b. Which is greater: b or 0?
0
Let a be 32*(-2)/(-4)*-2. Let r = a + 48. Suppose 5*b = 3*p - p - 40, -p - 4*b + 7 = 0. Which is smaller: r or p?
p
Let g = -204 + 204.233. Let o = g - 0.183. Let x(t) = t + 2. Let n be x(0). Which is smaller: o or n?
o
Let a(m) = 49*m**2 - 2*m + 1. Let f be a(1). Let p be 21/f*-1*15/(-35). Is -1 at least as big as p?
False
Let h = -64 - -70. Let b be (h/(-27))/(-1) + 17/(-36). Which is greater: -1/6 or b?
-1/6
Let h(k) = -k**3 + 10*k**2 + k - 4. Let g be h(10). Suppose 0 = -3*t + g*t - 12. Let l be 0*-4*(-1)/t. Is -3 less than l?
True
Let x(k) = 3*k + 4. Let d be (-6)/4 + (-1)/2. Let n be x(d). Let w be 2/7 - (-2)/42. Which is smaller: w or n?
n
Let w(m) = -3*m - 23. Let h be w(-7). Let k be ((5 + -1)/h)/(-1 - 1). Which is bigger: k or -2/47?
k
Let u be 5/((-45)/(-6))*3. Let l be u/((-44)/(-2))*4. Let w = -4 - -3. Are l and w unequal?
True
Suppose -7 = 3*l + 2*i, i = 4*l + 10 + 3. Which is bigger: l or 23?
23
Let x be ((-1773)/(-117) - -5) + 4/(-26). Is 26 at most x?
False
Let q(k) = k**2 - 17*k. Let z be q(18). Let w = -2 - -2.4. Let x = 1.4 - w. Which is greater: x or z?
z
Let c = 99.16 + -108. Let s = 9 + c. Let p = s - -1.84. Is -1/4 bigger than p?
False
Let u be (49/6)/((-198)/297). Which is smaller: u or -4?
u
Suppose 4*x - 48 = 4*y, 0 = 2*x - 0*x + 2*y - 12. Let r(b) = -b**3 + 10*b**2 - 9*b + 6. Let n be r(x). Is 13/2 <= n?
False
Let o = -281/58 - 3281/1334. Are o and -7 equal?
False
Suppose 0 = -4*c + 8 - 0. Suppose d = 8 - 6. Suppose 0 = -8*q + d*q + 12. Is c less than or equal to q?
True
Let n = -0.9017 - -0.0017. Let y = 0.2 - 0.3. Let d = n + y. Is d less than -1?
False
Let f be (-2)/(-3) - 18/(-81). Suppose -5*m + 31 = j, 7*m - 2*m = 4*j + 26. Suppose -2*z = m*s - 4*s, -5*s = z. Does f = s?
False
Let l be (-4 + 8)*2/(-4). Let b = l - -3. Let o be (-10)/(-28)*21/(-35). Which is smaller: b or o?
o
Let x = -2212 - -2204. Which is greater: -5/13 or x?
-5/13
Let y(a) = -16*a. Let q be y(-1). Suppose -5*i = q + 24. Let o be (-1 + -2)/(7 + i). Which is greater: o or 2?
o
Suppose -v + 93 = 2*v. Is 39 less than or equal to v?
False
Let s = -13 - -19. Let b = 7 - s. Suppose 3*x = 8*x. Is x < b?
True
Let z = -29.96 + 1.76. Let j = 28 + z. Which is bigger: j or 10?
10
Let i(g) = -2*g**3 - 14*g**2 - 10*g. Let u be i(-8). Are u and 208 non-equal?
False
Let m(g) = g. Let x be m(-2). Let q be (0 - -2)*2/(-4). Let w be (-2 + 3)*q - x. Which is smaller: -0.5 or w?
-0.5
Let i = 2.57 + -2.47. Is 227 not equal to i?
True
Let s be 21*2*(-18)/(-21). Let b be (-9)/s + 41/4. Let m be (8/b)/((-280)/(-100)). Which is bigger: m or 1?
1
Let t = -179.77 + 180. Is t at most as big as 1?
True
Suppose -a + 10 = -5*y, -5*a + 15 = 5*y - a. Which is smaller: 3/263 or y?
y
Let w = 0.31 - 0.01. Let z = -21651 - -21656. Which is bigger: w or z?
z
Let a(f) = -f**2 + f + 11. Let y be a(-4). Suppose -4*s - 16 = -4*r, -1 = -3*r - 4*s + 18. Let n = r + y. Is n bigger than -2?
False
Let q be (248/12 - -4)*3. Suppose -2*x + 156 = -2*g - 6*x, 0 = -g - 4*x - q. Are -83 and g nonequal?
True
Suppose -148 = -4*w + 4*u, w - u + 185 = 6*w. Is w at most as big as 40?
True
Suppose -4*l - l = -3*i + 7, 5*l = -3*i + 17. Let f be -46*14/162 + i. Which is bigger: f or -1?
f
Let x be (2 + 122)/(1 - 0). Suppose 2*d = -3*d - 5*u - 310, -2*d + 2*u = x. Let s = d + 808/13. Which is greater: 0 or s?
s
Let b(y) = y**3 + 25*y**2 + 134*y - 17. Let n be b(-8). Which is smaller: -1/213 or n?
n
Let u = 17.43 - 0.43. Let k = u + -16. Is 4.3 < k?
False
Let w be (1 + -3 + 3)*7 - -295. Which is bigger: w or 303?
303
Let q(b) = -18 + 26 - 5*b - 21. Let u be q(-4). Are 7 and u non-equal?
False
Let g be 2/(57/(-21) + 3). Let r = 6 + -8. Let c be r/(-3)*(-42)/(-4). Is c < g?
False
Let h be 4212/(-104)*(38/39 - 1). Is 1 greater than h?
False
Let v(y) = 2*y**2 + 2*y + 11*y**3 + 123 - 3*y**2 - 124. Let d be v(1). Is 0.1 greater than or equal to d?
False
Let m(z) = 229*z + 81. Let p be m(-1). Does p = 3?
False
Let p be ((-16781)/776)/((-1)/2). Which is smaller: 0.1 or p?
0.1
Let d be ((-90)/(-40))/((-6)/(-32)). Suppose -66 - 30 = -d*q. Let y be ((-14)/(-8))/((-1)/(-4)). Are q and y unequal?
True
Suppose y = -3*y + 8. Suppose 2 - 14 = -y*z. Which is bigger: z or 0?
z
Let o be (-1)/(((-10)/8)/5). Let t be (6/6)/((-6)/(-18)). Which is smaller: t or o?
t
Let c = 5.4 - 5.3. Let p = -15 - -25. Let z be (4/10)/((-12)/p). Is z greater than c?
False
Let t be (6/5)/(1/(-70)). Let j = 5/3696 + 103589/1232. Let r = j + t. Do 1 and r have the same value?
False
Let u(d) = 2 - 4*d**2 - 9*d + 3*d**2 - 2*d**2 + 2*d**2. Let j be u(-8). Are 7 and j nonequal?
True
Let k(w) = -w**3 - 4*w**2 + 28*w + 49. Let c be k(-7). Is -22/45 greater than c?
False
Let w be 2/(-9) + (-7704)/3240. Is 0 bigger than w?
True
Suppose -2*f + 1 = -7. Let w = -373 - -582. Let q = 208.9 - w. Which is smaller: q or f?
q
Let m = 5.8 - 5. Let i = m + 0.2. Let x = 12.9 + 0.1. Is i equal to x?
False
Let x(a) = -a**3 - 2*a**2 - a. Let h be x(-2). Suppose 2*l = h*t + 5 + 1, 0 = -l. Let q be 4/t + (11 - 11). Which is greater: -1 or q?
-1
Let a = -428/3105 + 1/135. Suppose 275 = -7*o + 282. Are a and o equal?
False
Suppose -6*c = -176 - 274. Let f = -81 + c. Which is greater: -3 or f?
-3
Suppose -9*t + 437 = 437. Is 38/53 at least as big as t?
True
Suppose 2*g = 6*g + 12. Let o = 148 - 154. Which is bigger: g or o?
g
Suppose 4*r + 28 = 3*x, 2*x + 6 + 6 = -5*r. Let k be ((-8)/12)/(x/(-222)). Let o be -1 - (k/(-20) + 1). Which is smaller: -1 or o?
-1
Let t be ((-1)/(4/(-26)))/(3/(-402)). Is t at most as big as -870?
True
Suppose f - 143 = -i - 29, f = -4*i + 129. Which is smaller: f or 111?
f
Let r(w) = -w**3 - 3*w**2 - w + 1. Let v be r(-3). Let z be (14/8)/(v/4). Suppose 99*i - 88*i - 22 = 0. Which is smaller: z or i?
z
Let m = -1852 - -1851.7. Is m < -147?
False
Let y be (-2)/11 + (6 - 11008/440). Which is greater: -20 or y?
y
Let l(z) = -4*z - 27. Let g = -23 - -18. Let u be l(g). Is u not equal to -5?
True
Let i = 67.2 + -67.6. Suppose 0 = 3*f, 3*f = -3*l - 2 - 4. Which is smaller: i or l?
l
Suppose 5*x = -2*n + 11, 4*x = -4*n - 0*n + 16. Suppose -3*d = 21 - 3. Let f = d + 8. Which is greater: f or n?
n
Suppose 630 = 6*d - 27*d. Is -37 < d?
True
Let b = -595.783 - 0.217. Is b less than or equal to -0.1?
True
Suppose 2*i = -z - 35, 0 = 2*z - 2. Let p be (4/10)/(i/15*1). Which is bigger: -1/22 or p?
-1/22
Let l(x) = -x**3 - 2*x**2 + 1. Let d be l(1). Let p be ((-4)/258)/(d/3). Is 0 bigger than p?
False
Let t = -4/765 + -251/765. Which is smaller: t or 0.104?
t
Let w = -49 + 43. Let q = -6.1 - w. Do q and -51 have different values?
True
Let a = -21509/23 - -935. Is -1 < a?
True
Let k = -481 + 