-2414765/15116. Let n = 159 + d. Which is smaller: n or -2?
-2
Let n = -32 - -31.9. Which is smaller: -23 or n?
-23
Let t = -44 + 17. Let a = -17 - t. Which is bigger: a or 0?
a
Let q = -15 - -2. Let y be (-24)/q - 1*2. Let n(w) = -w**2 - 21*w. Let a be n(-21). Which is smaller: y or a?
y
Let j = 4.3 + -4. Let v = 0.4 - j. Let c = 5/4 - 7/12. Which is greater: c or v?
c
Suppose -2*l + 12 = 5*v - 9, 4*l = -3*v + 7. Suppose -i + 2*w = 3*i - 18, -5*i - v*w = 15. Let s be (-22)/(-6) + 4/(-6). Which is greater: i or s?
s
Suppose -2*r = -2*l - 14, 5*r - 3*l - 11 = -4*l. Which is bigger: r or 5?
5
Suppose 0 = -5*g + d + 22, -4*g - d = d - 12. Let a be g/(2*10/(-4)). Are 0 and a nonequal?
True
Let i = 53 + -38. Suppose -i = -5*p - 0*p. Let s be (-3 + p)/(1 + 1). Which is smaller: -1 or s?
-1
Let z be (-2)/(2 + (-18)/(-4)). Are 1 and z equal?
False
Suppose 4*w + r + 6 = 0, -2*w + 6 = -w + 4*r. Let y be (1/w)/((-2)/28). Which is smaller: 6 or y?
6
Let g be 326/510 + (-12)/20. Is g > 1?
False
Let w = -159/7 - -4922/217. Is 1 greater than or equal to w?
True
Let f(w) = -w**3 + 6*w**2 - 5*w + 1. Let x be f(5). Which is bigger: x or 8/5?
8/5
Suppose -25*w - 23 = -2*w. Let k be 4/(-14) + 18/14. Is k at most as big as w?
False
Let m(z) = z**2 + 7*z + 6. Let q be m(-6). Which is smaller: -5/4 or q?
-5/4
Let o = -10 - -32. Let f = o - 24. Which is smaller: f or 4?
f
Let o be (1 - (-2)/(-8))/(2/(-8)). Is -5 less than o?
True
Suppose n = -3*n - 4. Which is smaller: n or 1?
n
Let g = 1 + -1. Let b(f) = f**3 + 3*f**2 - 2. Let x be b(-2). Suppose j - 4*j + x = l, 2*j - 4*l - 6 = 0. Is g at least j?
False
Suppose 48*o = 47*o. Let i = 73/4 - 18. Which is smaller: i or o?
o
Let h = -0.19 - -0.29. Does 0.2 = h?
False
Let f be (0 + 14)/(3 + -1). Is f greater than or equal to 17/3?
True
Let d = -0.24 + -0.06. Let x = -0.015 - -0.015. Is x greater than d?
True
Let v = 3 - 2.9. Let f = -3 - 0. Let l be ((-2)/1 - f)/(-2). Which is smaller: v or l?
l
Let c = 0.8 - 0.8. Which is smaller: c or 6?
c
Let q be -6*((-6)/(-5))/(-6). Is 2 >= q?
True
Let z(b) = -14*b + 32. Let v be z(6). Is -51 at most as big as v?
False
Let a = -17.96 + 18. Let z = -0.14 + a. Is -2/15 > z?
False
Suppose 0 = -2*a - 0*a + 4. Let d = 2 - a. Is 0 less than d?
False
Let g = 15.27 - 0.27. Let n = -14 + g. Which is bigger: 5 or n?
5
Let s be ((-12)/(-18))/((-1)/(-111)). Let w = s - 369/5. Let b = 0.2 - 0.3. Is w greater than or equal to b?
True
Let i = 2/221 - -157/7072. Which is smaller: i or 0?
0
Suppose -2*b + 20 = -7*b. Which is greater: -14/5 or b?
-14/5
Let a(x) = x**3 + 6*x**2 + 1. Let f be a(-6). Suppose 6 = 2*d - 2*z, -3*d - z + f = -0*z. Is d > 0?
True
Let x = -3 - 0. Let l = 0 + x. Let k = 0.1 + 0. Which is smaller: k or l?
l
Let h be (2/1)/((-6)/(-15)). Suppose 4*m = 3 + 21. Is h smaller than m?
True
Let x be (-48)/5 - 2/5. Let u(n) = n**2 - 12*n + 10. Let g be u(11). Let r be g/((-3)/(12/x)). Is r at least as big as 1?
False
Suppose 4*v - 1 - 31 = 0. Let a = v + -7. Is a less than or equal to 2/7?
False
Let h be ((-1)/(-3))/((-1)/(-3)). Suppose -h - 3 = -a. Suppose a*k = 2*k - 4. Which is smaller: -3 or k?
-3
Let n = 2.68 - 0.38. Let f = 0.3 - n. Is f equal to 2?
False
Let n = -2 + 2. Suppose -4*d - 5*m = -n*d, 3*d = m. Let l be (-16)/20 + d + 1. Is l < -0.2?
False
Let w = -51.1 + 49. Let g = -1.1 - w. Let o = 0 - g. Is -2 smaller than o?
True
Let t = -60 + 94. Is 35 equal to t?
False
Let q = 2 + -4. Let m be 1 - (q + 37/9). Does 0 = m?
False
Let m = -7 - -18. Suppose 2*q - 2*p = -m + 3, 0 = -3*q - 2*p + 13. Which is smaller: q or 2/11?
2/11
Let m = 185/4 - 47. Suppose 0 = -2*f + 2, 4*o + 3 = -0*o + 3*f. Which is smaller: o or m?
m
Let z = 12 + -19. Are -6 and z non-equal?
True
Let o(y) = -y**3 + 5*y**2 - y + 3. Let n be o(5). Let a be 1/4 - (-2)/(-8). Suppose a - 2 = 2*x. Is x >= n?
True
Let h = 10 + -8. Let d be (-2)/(-4 + h) - 2. Is -10/9 at most as big as d?
True
Let a = 0.2 + 0.2. Let h = -43.8 - -44. Is a at least h?
True
Let x be 75/378 + 1/(-6). Is 1 at least x?
True
Suppose 4*h + 4 - 25 = t, -3*t - 8 = -h. Which is smaller: 1/10 or t?
t
Let s = 13 - 11.1. Let a = s + -2. Is a greater than 2?
False
Suppose 3*t + 1 = -5*g - 4, -3*t = 2*g - 7. Suppose -3*p - 4 = -4*s, 5*p + 2*s + 3 = t*s. Let l be 2 - (2 + 1 + -2). Which is smaller: l or p?
p
Suppose -15*a - 14 = 1. Let r = -2 + 3. Is a at most as big as r?
True
Let o(f) = f - 1. Let u be o(3). Let x be 3 + (6*u)/(-3). Are -4/3 and x equal?
False
Suppose -g = -3*l + 6*l + 14, 4*l - 4*g = -8. Let n = -3 - l. Are 1/3 and n unequal?
True
Let v = 389 - -147. Suppose -4*o - v = 2*u + 3*u, -4*o + 2*u = 564. Let g = 971/7 + o. Is 0.2 at least as big as g?
True
Let s be (-1)/1*4 - 8. Let v = 12 - 5. Let k = s + v. Is -4 less than or equal to k?
False
Let q(y) = y - 1. Let u be q(-1). Let r(m) = 3*m + 2 - 2. Let n be r(-1). Which is smaller: u or n?
n
Let i(l) = -l**3 + l**2 - 2*l + 1. Let a be i(0). Which is smaller: a or -4/11?
-4/11
Suppose 15*s - 19*s + 56 = 0. Are s and 10 equal?
False
Suppose -3*l = -1 - 2. Is 1/4 bigger than l?
False
Let m = 27 + -28. Are -1/21 and m equal?
False
Let c(n) = n**3 + 7*n**2 - 8*n - 5. Let u be c(-7). Let m be (-3)/u*(-2 + 0). Is m at most 1?
True
Suppose -5*h + 3*h = -5*m - 7, 0 = -5*h - 2*m + 3. Is h > 4?
False
Suppose -17*i = -19*i. Which is smaller: i or -2/55?
-2/55
Let f be (-3 - -1)/(2/214). Let k = f + 649/3. Let r = k + -2. Which is bigger: -2 or r?
r
Let q = -2.9 - -3. Let z = 35.6 + -41. Let n = z - -0.4. Which is greater: n or q?
q
Let r be (-3)/(-7)*(-1 + 0). Let q be (20/30)/((-4)/(-6)). Is q not equal to r?
True
Let a be 4 + -4 + (-1 - -1). Suppose j + 2*j = a. Let q(b) = -2*b + 4. Let z be q(2). Are z and j non-equal?
False
Let i = 2314082539/51 + -45377046. Let l = -2879 - i. Let r = l - 4/17. Which is bigger: r or -1?
r
Let x = -27 - -25.1. Let r = 1.81 + x. Which is bigger: r or 0?
0
Let b = -674 - -312. Let y = -1818/5 - b. Which is greater: -3 or y?
y
Suppose 0 = -4*p + 12, 3*q + 3*p = 47 - 8. Is 10 > q?
False
Let a = -5.2 + 2.2. Is -1 bigger than a?
True
Let q be (6/(-5))/((-21)/140). Which is smaller: q or -1?
-1
Let f = -2 + 19. Is 17 <= f?
True
Let u = -56.9 - -57. Which is smaller: -55 or u?
-55
Let p be 2 + (-9)/(18/8). Do -5 and p have different values?
True
Let w(p) = p**2 - 7*p - 8. Suppose 29 - 5 = 3*r. Let c be w(r). Suppose 4*t + c = -4. Are t and 0 unequal?
True
Let c(s) = s**2 - 3*s + 2. Let k be c(2). Suppose k = 3*g - b - 2*b - 78, -4*g - 5*b = -95. Suppose f + 5*r + 5 = 14, -5*r + g = 5*f. Which is smaller: 3 or f?
3
Let b(h) = -h**2 + 7*h - 5. Suppose -9 = -4*z - 1. Suppose -5*x + z*d = -x - 18, -9 = -x - d. Let l be b(x). Which is bigger: 3 or l?
3
Let y = 9 + -9. Suppose -11 = 5*a - 3*k + 14, a - 3*k + 17 = y. Do -3 and a have the same value?
False
Let l be ((-18)/12)/(9/(-16)). Let v = l - 44/21. Is 1 < v?
False
Let r = -0.125 - -12.425. Let d = 12 - r. Is d <= 0.2?
True
Let u = 11 - 9. Suppose j + 1 = u. Let v = 42 - 211/5. Which is bigger: v or j?
j
Let m = -0.07 + 2.07. Let d = 0.7 - 1.7. Which is smaller: d or m?
d
Let n be -2*(2 - (-2 - (-17)/4)). Which is smaller: -14 or n?
-14
Let f be ((-2)/(-9))/(5 + 85/(-15)). Let y = 2.95 - 3. Is y greater than or equal to f?
True
Let j = 15 + -16. Are -0.03 and j equal?
False
Let u(r) = 2*r - 5. Let z be u(5). Suppose d + z = 1. Let l = d - -6. Are l and 3 nonequal?
True
Let u(j) be the third derivative of j**5/60 + 5*j**4/24 + j**3/2 - 3*j**2. Let t be u(-4). Is t != 1/4?
True
Suppose -4*r + 57 = 17. Let v be (-216)/(-210) + (-6)/r. Which is smaller: v or 0?
0
Let f = -8 - -9. Let h = f + -1. Let i be (-10)/(-8)*2/15. Is i > h?
True
Suppose 11*a + 1 = 10*a. Is -1/4 at most a?
False
Let q be 2/6 + (-12)/9. Let t = 1 - 5. Let d be 162/420 - t/(-14). Is d less than q?
False
Let a(p) = p**2 + 10*p + 5. Let h be a(-10). Suppose -2*j = h*l + 4, -2*j + 3*l = -4*j. Let d = -2 + 4. Which is smaller: d or j?
d
Let f be 4/8*(-8)/6. Let h = -25.9 - -26. Which is smaller: h or f?
f
Let i = 0 - 0.1. Let g = -2.86 + 2.73. Which is smaller: i or g?
g
Let k be 1/(-3) - 5/3. Let g(o) be the second derivative of o**5/20 + o**4/3 + o**3/2 + o**2/2 - 15*o. Let p be g(k). Is 0 less than p?
True
Let i = 5 - 5.02. Let v = i - 0.08. Which is s