
Let r be (1 - -2)*-3*(-2)/(-18). Which is smaller: 0 or r?
r
Suppose -3*p - 20 = 5*y + 23, -y = p + 9. Let w be (-26)/7 - y/(-28). Are -4 and w equal?
True
Let i = -15 - -11. Suppose 3*x - 5*h = 8, -5*x + h = -2 - 4. Suppose -x = -2*f - 7. Is i equal to f?
False
Let n = 0.3 + -0.4. Which is smaller: n or 0.2?
n
Suppose 0 = 33*s - 29*s + 92. Which is smaller: 0.2 or s?
s
Let s = 113 - 112.8. Which is smaller: 4/5 or s?
s
Let a(m) be the second derivative of -m**4/3 + m**3/6 + m**2/2 + m. Let n be a(2). Let f be ((-1)/((-1)/2))/n. Is 0 less than or equal to f?
False
Let s = -1.2 + 1.2. Let k = -5.08 + 0.08. Let y = k - -3. Which is greater: y or s?
s
Let b = -4 + 2.4. Is -1 <= b?
False
Let k(c) = -c**3 - 4*c**2 + 2*c + 6. Let q(w) = -w**3 + 3*w**2 - 2*w + 2. Let t be q(3). Let p be k(t). Let s = -4 + 3. Is p <= s?
True
Let r = -2.103 - -0.103. Is 2/11 greater than or equal to r?
True
Let y = -1 + -1. Let a(w) = 2*w**2 + 2*w - 2. Let l be a(y). Suppose p + 0 - l = 0. Is 2/3 greater than p?
False
Let n(j) = 2*j**2 + j - 2. Let x be n(-2). Suppose v + 8 = -3*i, 3*v = -x*i - v - 16. Is 0 < i?
False
Let x = 4/9 + -2/45. Let v(s) be the first derivative of s**3/3 - s**2 - 2*s + 1. Let q be v(3). Which is bigger: q or x?
q
Suppose -2*n + 3 = -1. Suppose -b + 0 = -n. Is 0.1 smaller than b?
True
Let a = 130 + -156. Which is smaller: a or 3?
a
Let z = -27 + 25. Which is greater: z or -0.2?
-0.2
Suppose 5 = -7*c + 2*c. Let b = 6 - 8. Are c and b nonequal?
True
Suppose -3*f = -4*x + x - 6, -3 = 3*x - 2*f. Which is smaller: -0.05 or x?
-0.05
Let d be ((6 - 4) + 0)/(10/4). Which is smaller: 2 or d?
d
Let h be (-3)/(-6)*-4 - -2. Are 2/11 and h equal?
False
Let r = 0.3 + -0.2. Is -3 < r?
True
Let t = 203/3 - 68. Which is smaller: 0 or t?
t
Let p be ((-4)/6)/(34/(-9)). Do 0 and p have the same value?
False
Suppose 4*b = -12, -1 - 4 = -5*u - 5*b. Suppose -u*y + 4 = f, 4*f + 1 = y - 0*f. Suppose 3*v + 12 = -3*c, -7 - y = -c + 2*v. Are c and 0 nonequal?
False
Suppose -5*g = -13*g + 40. Let w = -23 - -36. Let a = -8 + w. Is a <= g?
True
Let r be (2 - (-2)/(-2)) + 0. Let f = 2/553 - -5/553. Let b = 169/869 - f. Is b >= r?
False
Let c be 1 - (345/252 - (-4)/(-14)). Is -1 bigger than c?
False
Suppose 5*v - v = 4. Let a be v*-5 + (6 - 5). Is a at least -2?
False
Let i(s) = -s**2 + 3*s + 1. Let w be i(3). Is 6 less than w?
False
Suppose 57 = -z + 49. Is 0.1 <= z?
False
Suppose -1 - 5 = 2*k. Is k at most -3?
True
Let g be (0 - 8/(-10))*5. Suppose -3*n = -l - 15, -2*n = -g*l - 4*n + 10. Let x = -2 - -1. Are l and x nonequal?
True
Let k(c) = 56*c + 3. Let j be k(5). Let g = j - 4234/15. Let i = g + -1/15. Which is greater: i or -1?
i
Let d be ((-2)/(-4))/((-3)/(-6)). Let q = d - 0. Let f = 1 - q. Is f greater than -0.1?
True
Let l be 1/2 - 6/(-4). Let v = 15 - 11. Let i(o) = -o + 5. Let g be i(v). Is l equal to g?
False
Suppose 20 = 2*y + 5*q, 5*y = 2*q - 8 - 0. Which is greater: -1/15 or y?
y
Let w = -5 - -11. Suppose -5*b + 3*b = w. Let n be (1*-2)/(b/1). Which is bigger: n or 4?
4
Suppose -t = -5*t - 8, 0 = -4*g - 4*t - 28. Is g <= -8?
False
Let w be 40/(-18) + (-4)/(-18). Let y be w/(-5) - (-42)/(-30). Which is bigger: -2 or y?
y
Let y = 72 + -75. Suppose -2*i - 4*p = p - 23, -4*i + 32 = -4*p. Let l = i + y. Is l less than 6?
False
Let i be 6/8 - 1495/1940. Let l = i + -275/776. Is -0.1 at most l?
False
Suppose 1 = -i + 5. Which is smaller: i or 6?
i
Let i(h) = h**2 + h - 2. Let q be i(-3). Suppose 2*j - q*j - y + 21 = 0, 15 = 5*y. Let c = -11 + j. Is c at most -2?
True
Suppose -4*b = 5*z + 32, -3*b + 40 = -8*b + 2*z. Let n(j) = -2*j + 2. Let c be n(6). Let u = c - b. Which is bigger: -3 or u?
u
Let h = -163/7 - -24. Let d be (-2 - -1) + 0 + 2. Are d and h equal?
False
Let m = -2.1 - -0.1. Let y = 0.03 + -1.03. Let n = y - -1. Which is smaller: m or n?
m
Let c = 1/279225 - 42553897/1954575. Let d be ((-148)/30)/((-2)/(-9)). Let t = d - c. Which is bigger: t or 0?
0
Let j be 2/27*(1 + -4). Let o = -93 - -94. Which is smaller: j or o?
j
Suppose -y - y = 0. Suppose y*p - 2*p = 0. Suppose 3*d + j + 7 = p, -d + 0*d + 4*j = -2. Which is bigger: -1 or d?
-1
Suppose -2*a + 6*a = 3*w + 11, 3*w = a - 14. Let t(p) = -3*p + 92. Let g be t(30). Is w at least g?
False
Let r = 0.5 + -0.4. Let i = -0.6 + 0.2. Which is greater: i or r?
r
Let i(k) = 3*k**2 - 5*k - 4. Let q be i(4). Let o be (q/20)/(6/(-20)). Which is smaller: -2 or o?
o
Let p(g) = 7. Let u(t) = -t + 13. Let w(s) = -7*p(s) + 4*u(s). Let l be w(2). Is l at most as big as -5?
True
Let h(w) = -4*w**2 - 2. Let i be h(-2). Let l be (i/(-3))/((-3)/(-2)). Suppose -5*p = -c + 1, -4*c - 2*p - p + l = 0. Which is smaller: 1/2 or c?
1/2
Let w = -25 - -31. Does w = -1/4?
False
Let y = 1.1 - 2.1. Let f = y + 1.1. Which is smaller: f or -2/23?
-2/23
Suppose -3*a + m = -11, 2*m = -0 + 2. Let b = 3 + -1. Suppose 0 = -3*j + 2*k + 11, -2*j + b = -a*k - 8. Do 4 and j have different values?
True
Let p be 5*1*(-1)/1. Let v(m) = -m**2 - 5*m + 3. Let u be v(p). Suppose u*w + 4*f - 2*f = 7, 5*w + 15 = 2*f. Is w smaller than 3/7?
True
Let h = -5.95 + 6. Let q = h - 0.09. Let i = -1.04 - q. Are 0 and i unequal?
True
Suppose -17 = -5*t - 2. Suppose -2*l + 18 = -t*s, 3*s + 6 = 2*s + l. Is s not equal to -6?
False
Let b(p) be the second derivative of -p**5/20 - 7*p**4/12 + 7*p**3/6 - 3*p**2 - p. Let o be b(-8). Suppose 5 = -3*n + 8*n. Is o <= n?
False
Let w = 11 - 27. Which is bigger: w or -14?
-14
Suppose 2*g - 2 = -s, -10 = -9*g + 4*g. Let w be (2/(-10))/((-5)/s). Is w at most as big as 1?
True
Let y be ((-9)/30)/(3/4). Suppose g = -3*r - 0 + 7, 0 = -3*g + 3*r + 57. Let n be 20/g*(-2)/(-5). Which is smaller: y or n?
y
Let b = -9/43 + 1867/86. Let i = b + -22. Which is smaller: 1/3 or i?
i
Let k be 1/(-5) + (-1853)/85. Is -89/4 greater than k?
False
Let m = 0.3 - 0.2. Let y(p) = p**3 - 4*p**2 + 3*p + 1. Let u be y(3). Let x be (0/(-3))/(-1 - u). Which is bigger: m or x?
m
Let d = 2 - 3. Let f = 31 + -30. Which is smaller: f or d?
d
Let y = -5.82 - 0.18. Let d = y + 2. Is -1 != d?
True
Let v = -2.7 - -0.7. Is v greater than -1?
False
Let n = 5 - 5. Suppose n = -2*p - 10. Which is greater: p or -6?
p
Let i(f) = f + 7. Let c be i(-6). Which is bigger: c or -2/19?
c
Suppose 5*k + 90 = 3*h, 4*k - 199 = -5*h - 49. Let v be -2 + (-3)/h*-32. Is 0 at least as big as v?
False
Let i(b) = 26*b**2 - 5*b + 4. Let o be i(2). Let l be o/(-270) - 12/(-30). Do l and -1 have different values?
True
Let f = -12 - -10. Which is greater: -0.2 or f?
-0.2
Let q = -9.03 - -9. Suppose 0*k = k. Which is bigger: q or k?
k
Suppose 8*h - 6*h - 4 = 0. Is 13 at most as big as h?
False
Let h be (-3 + 2)/(1/(-3)). Suppose 5 = h*i + 2. Let t be 32/(-14) - (-3 + i). Is t smaller than 1?
True
Let r(m) = -m + 3. Let c be r(3). Suppose 4*g - 41 = -5*v, 5*g - 5*v = -8 + 48. Which is greater: c or g?
g
Suppose -5*m - 3 + 18 = 0. Suppose -m = 2*t + t. Is t at most -2/7?
True
Suppose -4*f + 6*y - 2 = 3*y, -f - 5*y + 11 = 0. Is -0.6 < f?
True
Let m be 2/(-6) + (-28)/42. Which is bigger: -5/3 or m?
m
Let i(b) = -b**3 + 4*b**2 + 2. Let g be i(4). Suppose -j = -g, -4*k + j = -2*j - 10. Which is smaller: -1 or k?
-1
Let w(y) be the second derivative of -y**4/12 - 2*y**3/3 + 3*y**2 + 3*y. Let j be w(-5). Which is greater: 2 or j?
2
Let a = -1 + 1. Let z be (0 - 1)*(-28)/245*5. Which is bigger: z or a?
z
Suppose -12*g - 28 = -5*g. Is g bigger than -1?
False
Let u = -2.5 - -0.5. Let h = 353 - 353. Is h greater than or equal to u?
True
Let x(d) = -2*d + 59. Let i be x(29). Is -4/17 less than i?
True
Let k = 12 + -12. Let w = k + 0. Which is smaller: -2 or w?
-2
Suppose -3*r + 12 = 0, 3*r + 8 - 23 = -y. Suppose -y*u - 4*o + 32 = -u, 5*u - 5*o - 5 = 0. Let g = -8 + u. Which is smaller: g or -0.3?
g
Let v = -16 - -21. Are 5 and v equal?
True
Let f = 8 + -10. Let w = -1.9 - f. Which is smaller: 0.2 or w?
w
Suppose -3*j = 2*z - 7, 0 = -3*j - 6 + 15. Is z at least 0?
False
Let m = 28710 - 1722733/60. Let o = 25/12 + m. Is 1 at most as big as o?
False
Let i be 2/(-1) + (-17)/(-9). Let l = i + 4/9. Let s = -0.5 - -0.7. Which is smaller: l or s?
s
Let d be (-1)/(-5) + 6/70. Let t be (-4)/10 + (-32)/(-280). Which is bigger: d or t?
d
Let w(h) = h**3 - 9*h**2 + 9*h - 2. Let z be w(8). Let k = -3 + z. Let y