e 13/2 + g/(-2). Suppose 2*y + 5*d = -o, 0*d = -5*y - 5*d. Is y at least as big as 1?
True
Let a = 56.6 + -48. Let d = -2.4 - a. Let q = -16 - d. Is 0 greater than q?
True
Suppose -r - 7 = 3*y + 4*r, y = 5*r + 11. Which is smaller: y or -1?
-1
Let w = -37 + 145/4. Let k be (-10)/15 + 40/6. Let p be 6/(-9)*k/4. Which is smaller: w or p?
p
Suppose 0*n + n = 2. Let x be (-3)/27*(-9)/2. Is x < n?
True
Let s = -130 - 31. Let j = -1772/11 - s. Is -1 greater than or equal to j?
False
Let x = -348 + 8006/23. Let d be (0 + 0)*3/(-9). Which is bigger: d or x?
x
Let w(y) = y + 4. Let u be w(-3). Let z = 2 + u. Let m be (-2)/(1/(2/(-4))). Is z equal to m?
False
Let b = 1 + -0.9. Is b != 8?
True
Let m be (-30)/23725*(-7305)/12. Let a = -1/1898 + m. Are 1 and a nonequal?
True
Suppose -2*o = -0*i - 3*i + 14, 4*i - 12 = -4*o. Let z be (o - 2)*1/(-18). Which is smaller: 1 or z?
z
Let l = 19315 - 1738309/90. Let b = -2/45 - l. Which is bigger: 10 or b?
10
Suppose 0*u + 18 = 5*n + 3*u, -3*n = -3*u - 6. Suppose -n*f + 9 = 3. Which is bigger: -1 or f?
f
Let p(g) = -4*g + 5*g + 3*g - 4 - 5*g. Let k be p(-3). Is 0 less than or equal to k?
False
Let x = 2.141 + -0.041. Let w = 0.9 + x. Let d = 0.2 - 0.3. Which is smaller: d or w?
d
Suppose 0 = -5*d + 1 - 11. Let q be (4/(-2) + d)*1. Let r be -1 - 0 - q/2. Which is smaller: r or 2/7?
2/7
Suppose 0 = -3*w - 19 + 1. Are w and -7 equal?
False
Suppose 5*k = 2*y - 0*k - 27, 2*y - 3*k = 17. Which is smaller: y or -12?
-12
Let l = 4 + -3. Let d = l - 2. Let z(p) = p**3 - p**2. Let a be z(d). Is a equal to -1?
False
Suppose 3*q + 5 - 2 = 0, -1 = 2*t + 3*q. Let w be ((-4)/168)/((-2)/8). Is w at least t?
False
Let a(k) = k**3 - 9*k**2 + 8*k - 2. Let i be a(7). Let z be (1 - -3)*(-2)/i. Which is greater: 1 or z?
1
Let r = 8 + -11. Let p be (6/27)/(r + 4). Which is smaller: 0 or p?
0
Let w be 4/(-27)*33/88. Which is smaller: w or -1?
-1
Let x = -0.9 + 1. Let c = 0.32 + -0.32. Are c and x equal?
False
Suppose 0 = n - 5, 4*c + 3 = 2*n - 7. Do c and 16 have the same value?
False
Let z = -0.01 + -0.49. Does z = 2?
False
Let l be ((-2)/(-40))/((-9)/(-36)). Let h = -14 + 14. Which is bigger: h or l?
l
Let a(p) = 19*p + 6. Let r be a(-9). Let g = -1149/7 - r. Which is greater: 1 or g?
1
Let g = 14 - 14.2. Is 0.6 equal to g?
False
Let s(n) = -n**2 + n - 2. Let u be s(-3). Which is greater: u or -11?
-11
Let l = 114/187 + -15/17. Let s be 4/(-14) + -1*(-2)/7. Is l less than s?
True
Let h = -1/7 + -9/35. Is -1/5 bigger than h?
True
Let t = 102 - 100. Is 26 at most as big as t?
False
Let k = 0 - -0.1. Let r = 97 + -69. Let u = r - 28. Is u smaller than k?
True
Let y be (-1)/(300/(-3 + -1)). Are -1 and y equal?
False
Let f = -3.3 - -0.3. Let l = -4.93 + -0.07. Let p = f - l. Which is bigger: p or -2/5?
p
Let h be (-1 + 1)*(5 - 6). Suppose 2*s - 5*s - 30 = 3*i, 5*i + 3*s + 46 = h. Is -6 at most i?
False
Suppose 0 + 4 = -2*p. Let k = 221 + -1109/5. Which is bigger: k or p?
k
Let p = -1 + 0.8. Let b = 1.2 + p. Let v = 20 + -24. Is b greater than or equal to v?
True
Let w(c) = -c - 6. Let i be w(0). Let y be (3/i)/(6/8). Let m(p) = -p**2 - 4*p - 2. Let o be m(-4). Which is greater: o or y?
y
Let y = -419 + 8803/21. Are 0 and y unequal?
True
Let w be 3986/8 - 1/4. Suppose 0 = -h + 4 - 1, -h + w = z. Let n be -3*5/(z/(-6)). Is -1 greater than n?
False
Let k = 3.1 - 3. Let g = 56 + -56.3. Which is bigger: k or g?
k
Let d(b) = b - 8 + 1 + 9. Let r be d(-2). Which is greater: r or -1/2?
r
Suppose -4*t + 28 = 3*t. Suppose 2*b = 6*b + t. Which is bigger: 1 or b?
1
Let w be (-4*4/(-48))/(-1). Is w greater than or equal to 1?
False
Let g be (1/2)/((-25)/(-12)). Let q = g - 79/225. Which is bigger: 0 or q?
0
Let u(p) = -5*p - 1. Let z be u(1). Are -6 and z non-equal?
False
Let v be (8 + -4 - 1)*-7. Is v greater than -21?
False
Let c be 3/6 + 9/6. Suppose -7 + c = m. Are m and -6 unequal?
True
Let q = -57 - -57. Which is smaller: 14/13 or q?
q
Let u = -0.43 - -0.03. Which is smaller: u or -2?
-2
Let v(z) = 3 + 2*z - 4*z - 6. Let n be v(-4). Suppose -n*b = -b. Are b and -1/4 equal?
False
Suppose 5*l - 1 = 4. Suppose 0 = -0*m - 4*m + 5*b + 28, -4*m - 2*b = 0. Which is smaller: m or l?
l
Suppose -16 - 14 = b. Which is bigger: 0.1 or b?
0.1
Suppose 0 = 2*t - 1 + 7. Let d(l) = l**2 + l + 1. Let b(h) = -4*h**2 - 3*h - 8. Let g(x) = b(x) + 5*d(x). Let n be g(t). Which is smaller: 1 or n?
n
Let u = -15 - -11. Which is smaller: u or -3?
u
Let t(j) = -j**3 + 6*j**2 - 3*j + 17. Let q be t(6). Let u = 35/31 + -1723/1581. Are u and q unequal?
True
Let f = -9 - -3. Let h be f + 2 + 3 + 3. Is h at least 7/4?
True
Let a be 17212/63 - (-2)/9. Let w = a + -273. Let c = 51/70 - w. Is 0 > c?
False
Let z = -21 - -83/4. Let a = -0.2 - 1.8. Which is smaller: a or z?
a
Let j(d) = d**2 + 14*d + 25. Let w be j(-12). Let p be (0 + -2)*1/1. Let n be (-1 + 1)/((-4)/p). Which is smaller: w or n?
n
Let d = 197/56 + -22/7. Let h = 55 - 55. Is d greater than h?
True
Let a = -2 - -13. Suppose 2*w - 3*w = -a. Let i = 8 - w. Is -2 equal to i?
False
Let i be (-3 + 15)*1/3. Which is greater: i or 0.1?
i
Let g(d) = -d**3 - 7*d**2 - 6*d - 5. Let t be g(-6). Which is greater: -6 or t?
t
Suppose -r - 4*k = 103, 3*r = -2*k + 190 - 549. Is -123 smaller than r?
False
Let d(a) = -9*a - 37. Let r be d(-5). Which is bigger: 6 or r?
r
Let t = 13 + -11. Suppose 12 = 4*x - x. Let r be ((-12)/(-8))/(2/x). Is t less than or equal to r?
True
Suppose 3 = 4*n - 3*n + i, n = 3*i - 9. Let b be 2 - (6/(-2) - -1). Let p be b/6 + 16/(-6). Is n greater than or equal to p?
True
Suppose 2*y + 4*a = 10, 2*y = y + 5*a + 26. Suppose -3 = 4*u - y. Are 2 and u equal?
True
Let y = -93 + 88. Suppose -q + 28 = -0*g - 5*g, -12 = -4*q. Is y greater than g?
False
Let a(n) = -7*n**3 + 11*n**2 + 3*n - 9. Let c(p) = -4*p**3 + 6*p**2 + 2*p - 5. Let i(b) = -3*a(b) + 5*c(b). Let k be i(3). Is 4 equal to k?
False
Let x be 2/(-4 - (-10)/3). Which is smaller: 0.02 or x?
x
Let v be (2/(-8))/((-114)/(-24)). Which is smaller: -1 or v?
-1
Let x = -28 - -32. Which is greater: x or 11/4?
x
Let r = 11.8 - 19. Let a = r - -8. Let i = a - 0.5. Is i at least as big as -1?
True
Let i(t) = 2*t + 8. Let n(q) = 1. Let o(g) = -i(g) + 5*n(g). Let b be o(-2). Is b > 0?
True
Let m = 12.9 + -14. Let c = 1 + m. Are c and 0.04 equal?
False
Suppose v - 6 = -v. Let r(p) = -p**3 + 3*p**2 + p - 2. Let l be r(v). Let k = l - 0. Is k greater than or equal to -3/7?
True
Let q = -81317/7 + 11638. Let m = -21 + q. Let s(f) = -f**2 + 5*f - 2. Let d be s(5). Is m less than d?
False
Suppose -c - 2*d + 3 = 2*d, 5*d = 3*c - 9. Let v(y) = y**3 + 3*y**2 + 2*y + 2. Let z be v(-2). Is c greater than or equal to z?
True
Let t = 0 - -4. Suppose t*h + 2*u = 22, -2*h - 5*u = -3*h. Suppose -2*z = -h*p + 11, 5*p - 5*z + z - 17 = 0. Which is greater: p or 2/7?
p
Let k = 0.71 - -7.29. Suppose 4*d - 3*d - 2*v + 2 = 0, -4*d - 5*v + 18 = 0. Are d and k non-equal?
True
Suppose 1 - 6 = -q. Which is smaller: 6 or q?
q
Let t(g) = g**2 - 5*g - 3. Let p be t(4). Is 1 <= p?
False
Let x be (1/12)/(45/198). Let b = -1/5 + x. Is b at most -1?
False
Let o(g) = -g**2 + 12*g - 6. Let k be o(11). Suppose 1 + 3 = 2*b. Suppose -b*u = -k + 3. Which is bigger: u or 4/3?
4/3
Let t be -1 - (0 - 10 - -3). Let g be (-20)/45*t/(-4). Let q be 1/(((-6)/(-4))/3). Is q at most as big as g?
False
Let w = 489/7 + -59651/854. Are 1 and w equal?
False
Let j(d) = d**2 - 10*d + 11. Suppose m - 14 = q, -3*q + 25 + 5 = 5*m. Let z be j(m). Let l = 0.3 + -0.2. Does z = l?
False
Let o = 46612/21765 + -12/1451. Let n = o - 7/3. Which is smaller: n or 1?
n
Suppose -5*i = -p - 0*p + 57, -2 = -p. Which is bigger: i or -12?
i
Let w = 3 - 4. Is 1/4 greater than or equal to w?
True
Let f be 0/(3 + 1)*1. Which is smaller: -2/65 or f?
-2/65
Let d = 7 + -4. Let f = d + -3.2. Which is smaller: f or 2?
f
Suppose 92 = -4*r + 88. Is r at least as big as -2/177?
False
Let k = 5 + -2. Let u be ((-4)/k)/((-1)/(-6)). Is u < -8?
False
Suppose 0 = -y - 4*y + 5. Let f be ((-7)/2)/7 + y. Which is smaller: 0.1 or f?
0.1
Let d = 5 + -3. Let v(u) = u**2 + 4*u - 2. Let y be v(-5). Is y greater than or equal to d?
True
Let s = 12 - 4. Let j(r) be the first derivative of r**4/4 - 8*r**3/3 + r**2/2 - 6*r - 1. Let u be j(s). Which is greater: -0.3 o