?
-1/6
Let w(d) = -2*d**2 + d + 33. Let q be w(-6). Which is smaller: q or -43?
q
Let z be (7/2)/((-1)/(-2)). Suppose -5*r = -i + 3, i + 4 - z = -4*r. Let d be (i/(-6))/(2/(-8)). Is d less than 2?
False
Let q be (-168)/40 - 2*-2. Let d = -11/30 - q. Which is smaller: -2/9 or d?
-2/9
Let m = -1.5 + 1.2. Let l = 6 + -5.6. Let d = l + m. Is d > 2?
False
Let h(x) = -x - 7. Let y be h(-9). Let q be y/(-4) - 105/(-154). Let n = q - 12/187. Which is smaller: n or 1?
n
Suppose -4*z - 16 = -4*t, -4*z = 5*t - z - 12. Let n be -1*6/(-3) + 3. Are n and t unequal?
True
Let y be (-3 + 1)*(-6)/(-474). Which is bigger: 1 or y?
1
Suppose -4*p = -22 + 10. Let b be 22/6 + (-2)/p. Suppose 8 = -g - 2*h, 4 = b*g - h - 0. Is 0 less than or equal to g?
True
Let c = 7 - 7.2. Let r = c + -0.1. Which is bigger: r or 3?
3
Let a(p) = -6*p - 74. Let j be a(-13). Let r = -5 - -9. Is j at least as big as r?
True
Let b = 2 + -1. Let p be 2*2*2/4. Let u(k) = k**2 - k - 1. Let a be u(p). Is b at most as big as a?
True
Suppose 0 = -q - 5*t, 3*t = -q - t. Which is greater: -3 or q?
q
Let x = 1/49 + -101/147. Which is bigger: x or 1?
1
Let k(o) = o**3 + 6*o**2 + 5*o + 7. Let s be k(-5). Let f = s - 1. Suppose 0 = -4*u + 22 + 6. Is f >= u?
False
Let r(y) = -y. Let m be r(-1). Let h(c) = c**3 - c + 1. Let z = 6 - 5. Let n be h(z). Is n smaller than m?
False
Let x be 2/(-9) - (-37)/45. Let s = 4.9 + -5. Which is bigger: x or s?
x
Let y = 3/2 + -25/14. Let h be 2 - 0 - 1 - 0. Suppose -3 = -4*a + h. Which is bigger: y or a?
a
Suppose -2*d - 7 = -3*d. Which is bigger: d or 3?
d
Let q = 0.1 - -0.1. Which is bigger: q or 1/3?
1/3
Let z(o) = -o**2 - 5*o + 7. Let g be z(-3). Which is bigger: 8 or g?
g
Let q be (-18)/(-24) + (-1)/(-4). Is 3/20 > q?
False
Let f = -11 + 5. Let y(l) = -l**2 - 7*l - 6. Let n be y(f). Let w(b) = -2*b**2 + 11*b - 3. Let o be w(5). Which is smaller: o or n?
n
Let v(w) = -6*w - 13. Let r(c) = -4*c - 9. Let h(q) = 7*r(q) - 5*v(q). Let y be h(-2). Suppose -2 = d + 3*a - 12, -4*d + 4*a - 8 = 0. Which is bigger: d or y?
d
Suppose -4*j = 16 - 0. Let f be (-2)/(-8) + (-333)/j. Let r = 82 - f. Which is greater: r or -3?
r
Let k = -33 + 15. Let t = k - -11. Are -6 and t equal?
False
Let r = -87 + 86.8. Is 32 bigger than r?
True
Suppose 29 = z + 30. Is 2/31 bigger than z?
True
Suppose u = -k - 3*k + 137, -5*k = -u - 160. Suppose -127 = 4*s + k. Let o = s - -199/5. Which is greater: o or -1?
o
Let c be 6/(-54)*(-1 + 0). Which is bigger: c or 5?
5
Let h(w) = 2*w + 8. Let l(b) = -b**2 - 4. Let p be l(0). Let i be h(p). Which is smaller: i or 3/10?
i
Let s = -0.1 - 0. Let f = 2 + -5. Which is smaller: f or s?
f
Let y = 183 - 1643/9. Which is greater: 5 or y?
5
Suppose 4*m + 4*n = m - 3, 2 = -2*m - 3*n. Let a = -7297/24 + 304. Which is smaller: m or a?
m
Let d(s) = -s**2 - 3*s - 3. Let a be d(-2). Which is smaller: a or 3/16?
a
Suppose -4*b - 117 = -0*b - o, -o = -1. Is -29 bigger than b?
False
Let t = 4 - 1. Is t equal to -0.1?
False
Let g = 4 + -6. Suppose 0 = 4*l - 9 + 1. Suppose 0 = l*d - j - 0*j + 3, 4*d = 3*j - 5. Is d > g?
False
Let o = 2128/11 - 194. Suppose 19*s = -7*s - 26. Which is greater: s or o?
o
Let l be 2/1 + -1 + 2. Let s = l - 1. Is 0.1 less than or equal to s?
True
Let t = 61 - 44. Is 17 greater than t?
False
Let t = 0.4 + 0.6. Let p = 0.2 - -0.8. Is p < t?
False
Let c = 3 + -2. Let i(b) = -7*b - 4*b - 7*b - b**2 + 6*b. Let l be i(-12). Which is smaller: l or c?
l
Let f be (-6)/(-2) - (-35)/(-15). Let w = -1 + 4. Let a = -2.9 + w. Which is smaller: f or a?
a
Let y(t) = t**3 - t**2 - 2. Let z be y(0). Suppose 0 = -3*p + 8 - 2. Suppose -2 = p*o - o. Is o smaller than z?
False
Let m = 0 - 0.1. Let c = -13.2 - -13. Does m = c?
False
Suppose -4*r - 4 = -0. Let x(o) = -o**2 - 8*o - 5. Let s be x(-8). Let d = 4 + s. Is r greater than d?
False
Suppose 40 = b + b. Let g be (b/6)/((-4)/(-6)). Let r(t) = -t + 2. Let z be r(g). Is z bigger than -3?
False
Let x be 297/55 + (-4)/10. Suppose x*o + 30 + 20 = 0. Is o less than or equal to -19/2?
True
Let t = -3 - -7. Suppose 0 = -t*w - 2 + 6. Which is bigger: w or 1/17?
w
Let t be 53/20 - (-2)/(-5). Is t at least as big as 3?
False
Let s(o) = -4*o**3 - o**2. Let l be s(1). Let z be l*3/(-2 - 1). Is z at most 6?
True
Suppose 5*s = -2*p - 13, -p + 2 + 2 = -s. Which is greater: -4 or s?
s
Let c = -2 + 2. Let d = 14 + -15. Let h be (d - 0)*c/(-2). Which is bigger: h or 1?
1
Let l = 944/5071 + -2/461. Which is bigger: l or -1?
l
Let v = 27 + -30. Suppose -2*m + 4*c = -m + 11, -4*m + 36 = 4*c. Let x be m/(-4)*(-6)/15. Which is smaller: v or x?
v
Let z be (-1)/4 + 73/4. Is 18 equal to z?
True
Suppose 4*n + n = -10. Is n <= 3?
True
Let o(i) = -i - 7. Let c be o(-7). Suppose 2 + 18 = -4*b. Does c = b?
False
Let s be (3 + -5)/((-10)/(-4)). Is s bigger than -2?
True
Let w(j) = -j + 1. Let y be w(0). Are y and 2/33 non-equal?
True
Let z = 82 - 80. Do z and 17/5 have the same value?
False
Let v be -24*(5/(-15) - -1). Let u(y) = y**2 - 7*y + 2. Let t be u(3). Let a = t - v. Is a > 6?
False
Suppose 0*x + 15 = 4*x + p, x - 6 = 2*p. Let d be x/6 + (-4)/(-3). Suppose -d*h = -0*h + 2. Is -2 bigger than h?
False
Let l = -32 + 37. Which is bigger: l or -11?
l
Suppose 0 = 6*y - y - 75. Let g = 16 - y. Which is bigger: 9/7 or g?
9/7
Let p be (-6)/76*(-12)/9. Let s(j) be the first derivative of j**4/4 + 8*j**3/3 + 3*j**2 - 6*j - 2. Let d be s(-7). Do p and d have different values?
True
Suppose 5*u - 9 - 1 = 0. Let v(h) = h - 7. Let d be v(7). Is u <= d?
False
Let w = -833/4 - -437/2. Let q = w - 279/28. Let x(h) = h**2 - 1. Let f be x(-1). Is q bigger than f?
True
Let l be 0 + -40 + 9/9. Is l greater than -40?
True
Let h be (3/10)/(6/(-11)). Let c = -1/5 + h. Are 0.2 and c equal?
False
Let u be -3 - (48/(-51) - 2). Which is smaller: u or -1?
-1
Let g = 0 - -7. Let b = 67 - 61. Which is smaller: b or g?
b
Let q = -1.5 - -2.5. Let y = q - 0. Is y smaller than 4?
True
Let l(d) = 2*d - 6. Let p be l(3). Is p > 0?
False
Let c(f) be the third derivative of f**5/60 + 3*f**4/8 + 7*f**3/6 + 4*f**2. Let y be c(-8). Let j be (1 - 0)/(1 - 0). Which is greater: y or j?
j
Let u = -17 + 9. Let h = -6 - u. Which is bigger: -1 or h?
h
Let o be 2/8 + (-11)/(-20). Let y = -93 - -95. Which is smaller: o or y?
o
Let h be (90/(-55))/(0 + 0 + 2). Is h bigger than -1?
True
Let o be 38/(-95) + 24/135. Suppose 3*i = -2*i. Which is greater: o or i?
i
Suppose 3*h = -4 + 1. Let a be 2/2*2 - -1. Which is smaller: a or h?
h
Let x be (-3)/(396/8 - 0). Is 0 > x?
True
Let w be 2/(-5) - 56/10. Let n be ((-1)/2)/(3/w). Let j = 0.7 - 0.6. Which is bigger: j or n?
n
Let y(r) = -2*r + 22. Let i be y(11). Which is smaller: -3/10 or i?
-3/10
Let r be 1/3*0/7. Let a be 0/2 + 1/(-4). Let u = r + a. Which is greater: u or 0?
0
Let q = 66 + -68. Which is greater: q or 3/4?
3/4
Let p be (-5)/30 - (-5 + 4). Which is smaller: p or -0.2?
-0.2
Suppose 0 = -5*n + 2*s + 19, 10 = 3*n + 2*n - 5*s. Suppose -2*r + n - 1 = 0. Let j = 0.95 - -0.05. Which is greater: r or j?
r
Suppose -4*c + 3 = -9. Let h = 4 - c. Let w be 2/(0 + 2 + 0). Is w < h?
False
Let r = 0.32 - 0.12. Is -2/11 less than r?
True
Let f be ((-4)/(-8))/(2/(-4)). Are f and 2/5 non-equal?
True
Suppose -t - 95 = 5*p, 5*p + 3*t - 15 = -110. Are -18 and p nonequal?
True
Let m = 6.1 - 6. Does 10/7 = m?
False
Let d = 7 - 13. Let i = 5 + d. Is 1/10 at least i?
True
Let n be (3/(-45))/(2/4). Is -1 > n?
False
Suppose -4*d + 5 = 1. Does d = 3/4?
False
Let u = 0 - -1. Let n be 2/4*(u - 3). Is n <= -2/3?
True
Let c be -3*(3 + -4) + -2. Let u = 83/3 + -28. Which is smaller: u or c?
u
Let v = -0.4 - -0.2. Let p = -0.04 - 0.36. Let w = 0.3 + p. Are v and w unequal?
True
Let u = 28.1 + -28. Is 0.19 at least as big as u?
True
Suppose -2*u = 2*u + 8. Is -36/13 <= u?
True
Let d = 7 - -13. Suppose 4*h = -3*l - d, -2*h = 10 - 0. Does 0 = l?
True
Suppose 0 = 2*w - 313 + 67. Let o = 1967/16 - w. Which is greater: o or 0.2?
0.2
Let o = 22.1 - 21. Let t = -0.9 - o. Is t at least -4?
True
Let f = 11 + -6. Let p = -25.1 - -25. Is f less than p?
False
Let n = -8 - -12. Suppose -3*u + 5*i = -n + 26, 0 = 3*u - 3*i + 12. Let h be 1*(0/(-2))/u. Which is greater: h or 1/5?
1/5
Let r = 0.08 + -0.04. Let k = r - -0.06. Which is smaller: 1/4 or k?
k
Suppose -24 = 3*s + 2