-4*w + 5 = -3. Suppose w*o = 7*o - 25. Let t(d) = 3*d - 2. Let b be t(2). Which is greater: o or b?
o
Let w be ((-2)/(-3) + -1)*3. Let d be (4/30)/(24/18). Are w and d unequal?
True
Suppose -4*s - 8 = -5*h + 2, 4*s + h = 2. Suppose -f + 0*f - 9 = s. Is -10 != f?
True
Let o be (-15)/4 - (-2)/(-8). Let u = 74 - 75. Which is smaller: u or o?
o
Let a(w) = -w + 3. Let n be a(0). Suppose 0 = -n*f + 2*f - 3. Let y = -2 - f. Is 0 at least as big as y?
False
Let g be (20/(-2))/(2 + -3). Suppose 0 = 5*w - 12 - 8. Let d be 6/g - w/(-10). Are d and 2 nonequal?
True
Suppose -8 = -2*a - 2*n, -2*a - 14 = -5*n - 1. Does a = 1/8?
False
Suppose 0 = -2*g - 8 + 10. Does 11 = g?
False
Suppose 3*g - 24 = 4*g - 4*f, -2 = -2*g - 2*f. Let r = g - -3. Suppose 2*z - 17 = -2*k - z, -2*k + 2*z = 8. Which is greater: k or r?
k
Let h = -42 + 40. Let a = 2 - 2. Which is greater: a or h?
a
Let h be (-2)/(-102)*126/21. Which is bigger: 1 or h?
1
Let f be (-90558)/330 - (-4)/(-10). Let m = f + 275. Which is greater: -1 or m?
m
Let w = 1.18 - 0.18. Are w and -18 unequal?
True
Let i(m) = -m**2 + 4*m - 1. Let c be i(5). Let w(d) = -d**2 - 5*d - 1. Let s be w(c). Do 0 and s have the same value?
False
Let c(i) = -i**3 - 9*i**2 - 10*i - 3. Let k be c(-8). Let u = k - 18. Which is greater: u or -1?
-1
Suppose 5*h = -3*s + 4, -2*s - 4*h - 2 = -4. Suppose 18 = -t - s*y + 4*y, 5*y + 57 = -2*t. Let l be -2 + 4/((-24)/t). Is 3 less than l?
False
Let f = 60007/85 - 706. Which is greater: f or -1?
f
Let t = -0.3 + 0.3. Let g = -6 + 7. Let n = -2 + g. Is t > n?
True
Let y = 2 + 2. Suppose 0*i - 8 = -y*i. Let w be 4/i*(-1)/2. Is 1/4 less than w?
False
Let p be (-40)/(-6) + (-15)/(-45). Is 2/5 > p?
False
Suppose -f = -4*h + h + 8, -3*f = 2*h + 13. Let y be (-893)/(-72) + (-4 - -1). Let v = y - 88/9. Is h at most v?
False
Let z be 1 + 5 + 602/(-100). Is 1 less than z?
False
Let j be (-2 - -3) + -10 - 1. Are j and -7 unequal?
True
Let r = -22/39 - 4/39. Suppose 0 = -0*y + 2*y + 12. Let q = -8 - y. Do r and q have different values?
True
Let s(w) = w**3 - 18*w**2 + 32*w + 13. Let c be s(16). Is c >= 68/5?
False
Suppose -p = -4*w + 15, p - 6 = -4*w - p. Let c be (72/(-13))/w + 2. Is -1 equal to c?
False
Suppose -3*w - 3*h = -24, 2 = 4*w + 2*h - 4*h. Let p(i) = -i**3 + 4*i**2 - 3*i - 4. Let q be p(w). Is -6 equal to q?
False
Let a be ((-20)/3)/(3/9). Let q be (-1)/4 + (-5)/a. Is 3 greater than or equal to q?
True
Let w = 42.08 + -42. Is w <= -1?
False
Let c = 22 + -10. Let l = -14 + c. Suppose a = -a + 2. Do l and a have different values?
True
Suppose -24*n + 22*n = 28. Which is smaller: n or -15?
-15
Let l be ((-2)/(-4))/((15/8)/(-5)). Let b = -0.1 + 0.1. Let m = b + 0.1. Which is bigger: l or m?
m
Let k(o) = o + 1. Let n be k(1). Suppose -n*a = -0*a + 10. Is -5 at least a?
True
Let l be 3/(-12) + (-3)/4. Let t be l - 3/((-756)/244). Which is smaller: t or 0?
t
Suppose 6 = -21*m + 18*m. Is -3 at least m?
False
Suppose 2*l = 2*b - 3*l - 28, -3*b + 4*l = -42. Suppose -11 = 3*t + 7. Let u be (2/t)/(b/6). Which is greater: 1 or u?
1
Suppose -5*i - 3*g + 35 = 0, g + 23 = 2*i + 4*g. Let h be i/22 - 212/440. Which is smaller: h or 0?
h
Suppose 0 = 3*h - 0 - 12. Suppose 0*g + 8 = 2*g. Is g smaller than h?
False
Let r = -1471/35 - -42. Suppose -2*k - 5*t = -18, 0 = -5*k + t - 9. Which is greater: k or r?
r
Let h = 23 - 38. Which is bigger: h or 0?
0
Let i(r) = -3*r. Let o be i(-1). Suppose o*n - 3 = 6. Suppose -2*z + 9 = b + n*z, 3*b - 9 = 3*z. Which is smaller: 1 or b?
1
Let o = 701/91 + -55/7. Which is smaller: -3 or o?
-3
Let d(c) = c**2 - 2*c**2 + 3 + 8 - 7*c. Let y be d(-8). Let b = 0 - -3. Is b less than or equal to y?
True
Let u(n) = 2*n**3 + 2*n**2 - n - 2. Let a be u(-2). Which is smaller: a or -9?
-9
Let f be (-106)/(-10) - (-33)/(-11). Let v = f - 36/5. Which is greater: v or 0?
v
Suppose -24*y + 19*y = 5. Which is greater: y or -3/10?
-3/10
Let i = -329/185 - 60/37. Is i less than -2?
True
Let r = 13.91 + -14. Let w = 0.91 - r. Is w equal to 1?
True
Let n be 1/15 + 4/(-6). Let p = -3 + 3. Is p less than or equal to n?
False
Let h be (2/3)/(10/15). Which is smaller: h or -1/6?
-1/6
Let n(v) = -v**3 + 5*v**2 + v - 2. Let g be n(5). Let p be (g/(-4))/(12/(-8)). Is 2 bigger than p?
True
Let d be ((-33)/(-27) - 1)*6/(-4). Suppose 2*t + 15 = -3*z, -4*z - 5 = 4*t - 3*z. Which is greater: t or d?
t
Let d(i) = -i. Let p be d(6). Let l be ((-15)/p)/((-2)/(-4)). Is l equal to 5?
True
Let b = 31/140 - -1/35. Which is smaller: 2 or b?
b
Let c = -106 - -105. Are 70 and c nonequal?
True
Suppose 3*v + 11 = 4*k, 24 - 6 = 2*k - 4*v. Suppose 0 = 2*y + 2*d - 34, -y + 19 = d + d. Let b be ((-6)/8)/(y/(-8)). Which is smaller: k or b?
k
Suppose -10 = -2*v - 4*n, 3*v - 2*n - 9 = -6*n. Let c be v - (1 - 16)/(-3). Is -7 not equal to c?
True
Let s(d) be the second derivative of d**4/12 + 3*d**2/2 + 3*d. Let k be s(0). Suppose 0 = -k*r + 5*r - 10. Is 5 smaller than r?
False
Suppose 3*h + 56 = -h. Which is smaller: -0.1 or h?
h
Suppose -5*x - 72 = -7*x. Let o be (-8)/x - (-320)/(-18). Is o at least as big as -19?
True
Suppose 3*n = 3*p - 7*p - 18, 2*p + 2 = -5*n. Is p bigger than -4?
False
Suppose 4*a = 2*a - 16. Let s be (1/(-2))/((-2)/a). Let n be (-5)/(-2)*(-1)/5. Is s < n?
True
Let i = -11 - -11. Let a(v) = v**2 + 8*v + 13. Let w be a(-6). Which is bigger: w or i?
w
Suppose 0 = q + 3*f, 7*q - 3*q - 2*f + 28 = 0. Are -6 and q nonequal?
False
Let z(b) = b**3 - 2*b**2 + 4*b - 3. Let i be z(3). Is 35/2 equal to i?
False
Let p = -10 + 11.8. Let u = p - 2. Let a = 19/16 + -25/48. Which is greater: a or u?
a
Let m(r) = -r**2 + 7*r - 4. Let h be m(6). Suppose 0 = 2*x - 0*x - h. Is x > -1?
True
Let v = 27/5 - 157/30. Suppose -i - 4*t - 2 = 5, i - 7 = 3*t. Is i at most as big as v?
False
Let q be (-1 + 0)*(-1 - -4). Which is bigger: -2 or q?
-2
Suppose 2*o = -o + 9. Suppose -4*i - 11 = -i - 4*h, 3*h = -o*i + 24. Suppose 0 = i*t - 5*t + 2. Which is bigger: -2/9 or t?
t
Let w = 22 - 22. Which is bigger: -1/16 or w?
w
Suppose 0*a - 3*a - r = 19, 0 = -3*a - 2*r - 17. Is -4 > a?
True
Suppose -4 = -11*w + 15*w. Is 3 greater than w?
True
Let n be (1/2)/((-168)/(-432)). Which is bigger: n or 2?
2
Let y = 3 + -5. Is -3/5 < y?
False
Let j be (1 - (0 - 0))*1. Let o(f) = -f + 5. Let v be o(5). Suppose v = 2*r - 6*r. Which is smaller: j or r?
r
Let v = -36 - -36.2. Which is greater: v or -2/13?
v
Let h = 69 + -61.6. Let z = 9 - h. Let f = -0.4 - z. Which is greater: f or 0?
0
Let p = -9 + 21. Let v be (27/p - 1)*4. Suppose -v*y + 24 = -3*c, -4*y + 9 = c - 0*c. Is c >= -3?
True
Let s(l) = 6*l - l**2 + 4 + 1 - 3 + 8. Let j be s(8). Suppose -2*v - 5 = -v. Which is smaller: j or v?
j
Let m = 0.37 + -0.24. Let z = 0.87 + m. Is -1 >= z?
False
Let q = -5 + 5. Let w be (1 + 5)/(12/(-40)). Let h be (-1 - q)/(w/4). Do -1 and h have different values?
True
Let b = 127 + -231. Is -104 at least as big as b?
True
Suppose -g = 4*s - 16, s + 0*g = 5*g - 17. Suppose 0 = 2*l - 7*l + 10. Is s greater than or equal to l?
True
Suppose p + 5 = -4*p. Let o be (-3 - 0) + 0 - 0. Which is smaller: p or o?
o
Let h = 31 + -47. Is -16 less than h?
False
Suppose 2*u - 5 = -3*u. Which is smaller: 0 or u?
0
Let k be 5/15 + 1/(-3). Suppose k = 2*m - q, 3*m + 0*m = -3*q. Is m not equal to -2?
True
Suppose -9 = -2*w + 5*m, 3*m + 18 + 33 = 5*w. Let j be 4/w + 17/3. Suppose a - j*a = 0. Which is greater: 1 or a?
1
Let x = -4.4 - -0.4. Let y = 3 + x. Let m = 149/5 - 30. Is y at most m?
True
Let k = 85 - 597/7. Which is smaller: k or -1?
-1
Suppose 0*w + 3*c + 4 = w, w - 6 = 4*c. Let z be ((-4)/(-2))/2 + -3. Let d be z/4 - (-2)/(-4). Which is smaller: d or w?
w
Let n = 14 - 11. Which is bigger: n or 10/3?
10/3
Let c(y) = y**2 - 7*y - 2. Let z be c(6). Let q = 13 + z. Let h = 7 - q. Which is smaller: h or 1/2?
1/2
Let c = -2.88 - 0.12. Which is greater: -1 or c?
-1
Let p = -10/23 + 413/897. Is p at most as big as 1?
True
Let z = 619/153 - 35/9. Which is greater: 1 or z?
1
Let n be (-67)/3 + (-9)/(-27). Let a be 4/16 + n/(-8). Is 3 greater than a?
False
Let b = 6.7 - 7. Let p = b + -1.7. Let o = p + 1. Is -1 at most as big as o?
True
Suppose -5 = -3*a + 3*k + 1, -5*a + 2*k = -13. Let r be -5 - (a + -2 - 1). Let v(z) = z**2 + 4*z - 3. Let h be v(r). Is -2/3 greater than or equal t