b + 7 + 5. Let l = b + -1. Suppose l = -6*k + k + 40. Solve -q = 3*q - k for q.
2
Let k(h) = -h - 8. Let r(z) = z + 9. Let w(l) = -6*k(l) - 5*r(l). Let f be w(0). Let x be 45/12*8/f. Solve 0 = 5*a + x for a.
-2
Suppose 0 = 3*y - 6*y + 27. Solve 2*q = -q - y for q.
-3
Let n be (-6)/(-6) - (-19 - -2). Let w = n + -14. Solve 7*b = w*b + 12 for b.
4
Let i = 21 + -3. Let q be (-12)/10*(-60)/i. Solve q*n + 16 = -4 for n.
-5
Suppose 2*a = 29 + 3. Suppose -3*o = -2*t - 15, 6*t - t - 3*o = -15. Suppose t*x + 4*x - 5*y = 25, -3*x = -5*y - 25. Solve x = 4*i + a for i.
-4
Suppose 4*b = 3*y - b - 29, -5*y = 2*b - 7. Solve z + y*z = 0 for z.
0
Let d(r) = 2*r - 2 + 0*r + 3*r - 6*r. Let m be d(-2). Solve m*w - 3*w + 6 = 0 for w.
2
Suppose -4*q + 5*q - 11 = -4*s, -q - 7 = -2*s. Let u = 3 + s. Suppose 6*i - u = 3*i. Solve 3 + 5 = -i*l for l.
-4
Let m(k) = -k**3 - 7*k**2 + 7*k - 8. Let o be m(-8). Let y(s) = -5*s**3 - s**2 + 1. Let c be y(-1). Let v be (0 + 2)*20/8. Solve v*h + o = -c for h.
-1
Let x = 5 + -1. Suppose -26 + 10 = -x*t. Solve -r = -0*r + t for r.
-4
Let s = 59 - 55. Solve -w - 3 = -s for w.
1
Let q be 177/21 + 3/(-7). Let i = -8 + q. Solve i = -3*f - f + 12 for f.
3
Let x(c) = -3*c - 16. Let k be x(-7). Suppose -5*z = k*p - 45, 0*z - 5*z = 2*p - 36. Solve -z*v = -v - 15 for v.
3
Let r = 7 - 8. Suppose -3*f + 2*n + 3 = 5*n, 4*f - 2 = -5*n. Let h be ((-1 + 1)/f)/r. Solve h = -2*z + 8 for z.
4
Suppose -17 - 8 = -5*f. Suppose 3*k - 9 = -p, 0 = -2*p - f*k + 20 - 4. Solve -g = -p*g + 8 for g.
4
Let m = 58 + -41. Suppose -11 = -2*o + t, -4*o = -2*t + 5*t - m. Suppose -2 = -o*l + 3. Solve 0 = 2*w + 1 + l for w.
-1
Let h be (-6)/(-9)*(-5 - -2). Let n = 1 - h. Solve 0 = -0*o + n*o for o.
0
Let w = -11 - -11. Suppose -3*q + w*q = 0. Suppose 0 = 2*t + 2, t - 1 = -p + 1. Solve q*n = n + p for n.
-3
Let w = -9 + 9. Let a = w + 3. Solve 2*s - a*s = -4 for s.
4
Let n be (3 + 0)*-1 + 5. Let l be n*1 + (10 - 7). Solve l*s + 11 = 1 for s.
-2
Let r be 1 + (2 - 2) - -3. Solve -17 = r*c - 1 for c.
-4
Let k(x) be the third derivative of x**5/60 + 5*x**4/24 + x**2. Let f be k(-5). Solve r = -f*r + 3 for r.
3
Let b be 7 - (1 - 2)*-2. Suppose 4*z - 4 + 8 = -2*n, 2*n + z - 2 = 0. Let m be 4/3 - n/(-3). Solve b*p = m - 7 for p.
-1
Suppose -2*b + 20 = 6*a - 2*a, -5*b = 4*a - 14. Solve a*f - 2*f = 16 for f.
4
Let i be (-6)/4*(-10)/1. Let p(z) = -z**2 - 8*z + 3. Let j be p(-9). Let l = j + i. Solve -2*o + l = o for o.
3
Let x(z) = -z + 17. Let h be x(9). Suppose 2*p - h = -2*p. Solve 3*q + 7 + p = 0 for q.
-3
Let n be 2/4 - 85/10. Let c(y) = -y**3 - 7*y**2 + 8*y + 2. Let u be c(n). Solve -a = u*a for a.
0
Suppose x + 4 - 8 = 0. Suppose 3*t + 0*t = 6. Let a be (30/(-25))/(t/(-5)). Solve a*g - x = 2*g for g.
4
Suppose 0 + 4 = r. Suppose 0 = -r*a - a. Solve p = -a*p + 2 for p.
2
Let v(n) = -n**3 + 3*n**2 + n. Let b be v(2). Suppose -22 = -b*i + 2. Solve -f = i*f + 25 for f.
-5
Suppose x + 5*n + 10 = -3*x, 2*n = -x - 4. Suppose 6 = 3*p - x. Suppose p*a + a = 0. Solve 2*k - 10 + a = 0 for k.
5
Suppose 515*j - 521*j = -30. Let i be 0*(-1 + 6/4). Solve 5*f + j - 25 = i for f.
4
Suppose 0 = -2*y - 6, v + 2*y - 186 + 72 = 0. Suppose -4*w - w + v = 0. Suppose x = -0*x + 2*p + 10, 4*p = 3*x - w. Solve 5 = -9*k + x*k for k.
-1
Let x(p) = p + 1. Let f(i) = 1. Let o(k) = f(k) + x(k). Let n be o(0). Let s be (3 - 3) + 1/1. Solve -n*t - 5 + s = 0 for t.
-2
Let x(k) = 2*k - 3. Let t be x(2). Suppose 10 = 5*g + 2*q, q + t = 4*g - 7. Solve -5 + 1 = -g*h for h.
2
Let c = 4 - 3. Let l = c + 12. Solve 2*b + l = 5 for b.
-4
Let o be 12/2 + -2 + -2. Let a be (0 - 3)/((-27)/45). Solve 7*r = o*r - a for r.
-1
Let i(h) = -h**3 - 19*h**2 + 20*h + 12. Let b be i(-20). Solve -4*d + d + b = 0 for d.
4
Let p be (-1 + 0)/((0 + -2)/10). Solve 2 - 17 = -p*n for n.
3
Let x(t) = t + 5. Let d be x(-5). Solve 0*u - 5*u - 25 = d for u.
-5
Suppose 4*o + 5*f = 4*f + 9, -3*f + 15 = 0. Solve -s - o - 2 = 0 for s.
-3
Suppose 3*h + 1 = -2*a, -a + 2*h + 4 = a. Suppose 0 = -u + 3 - a. Let g = -24 + 25. Solve -u + g = -r for r.
1
Suppose -2*m - 19 = -29. Solve -5*d = m - 0 for d.
-1
Let b(k) = k**3 - 2*k**2 - 2*k - 1. Suppose 3*y + 9 - 18 = 0. Let o be b(y). Solve -u + o*u = 3 for u.
3
Suppose s = 2*p - 7, p + 2*s - 11 = -0*s. Solve -3*f = p + 1 for f.
-2
Suppose 3*t + 10 - 28 = 0. Let g = t + -3. Solve 0*z - 9 = g*z for z.
-3
Suppose 48 = 5*y + 13. Suppose 3*x + 8 = -4*u, -1 - y = -2*x. Let n = u - -7. Solve 3*j + n*j = 0 for j.
0
Let l(b) = b**3 + b**2 - 4*b - 1. Let y be l(-2). Solve -16 = -k - y*k for k.
4
Suppose 0 = w + 2*b - 8, -3*w - 8 = -w - 2*b. Let p be 4/16 - (-50)/(-8). Let d = -2 - p. Solve w*q + d*q = -12 for q.
-3
Suppose 5*z = 10, 4*h + z - 5 = 1. Solve 5*f = -h + 11 for f.
2
Let f(d) = -d - 1. Let t be f(-6). Suppose 0*p + 2*p = 6. Suppose p*o - 23 = -5*a, -5*a + a - 2*o = -18. Solve 0 = a*z - t - 7 for z.
3
Suppose -4*y + 0*y = 0. Solve g - 5*g - 4 = y for g.
-1
Let z(d) = -d**2 + 6*d - 3. Let m be z(4). Let t = 189 - 181. Solve m*o - 3*o = -t for o.
-4
Let x(u) = u - 6. Let l be x(7). Suppose -3 = -n + l. Solve -2 - 2 = -n*i for i.
1
Let p = 169 - 167. Solve -7 = p*y + 3 for y.
-5
Suppose 0 = -8*n + 5*n + 4*z + 19, 0 = 2*n - 5*z - 15. Suppose -4*s = -n*s + 3. Suppose -s*p - 4*c - 6 = 0, 5*p = p + c + 11. Solve 0 = 4*w - p*w - 4 for w.
2
Suppose 0*w = 2*w - 30. Solve a + w = 6*a for a.
3
Suppose 4*c - 14 = -z + 5*c, 4*c = 5*z - 68. Suppose -3*d - z = -6*d. Solve -d = -m + 3*m for m.
-2
Let a(b) = b**2 + 9*b - 5. Let d be a(-7). Let t = -17 - d. Solve -2*h = t*h - 4 for h.
1
Let d be -2*(0 + -2) - 4. Solve 0 = -d*o - 2*o - 2 for o.
-1
Let w = 11 + -4. Let l(m) = -36*m**2 - 2 + 9*m + 3 + 35*m**2. Let h be l(w). Solve a - h = -2*a for a.
5
Suppose 10*d - 5 = 9*d. Solve -g - 8 = -d*g for g.
2
Let k = -45 + 52. Solve 5*i = 18 + k for i.
5
Let r = 8 + -6. Suppose 0*d + r*d - 4 = 0. Solve -3*l + d*l = -2 for l.
2
Let k be (1 + -6)/(2/(-6)). Let c be (-5)/k + (-28)/(-3). Solve 0 = 3*o + c - 3 for o.
-2
Let v = 84 - 79. Suppose 18 - 3 = 5*b. Solve -v = -b*x - 2 for x.
1
Suppose 9 = 3*d - 3. Suppose 0 = -5*p + 15, -5 = 4*o - 2*p + 1. Solve d*f + 16 = -o*f for f.
-4
Let d(s) = -8 - 5 + s + 4 - 2*s. Let y be d(-13). Solve 0 = y*k + 6 + 10 for k.
-4
Let f = -10 - -8. Let q be 12*f/(-4)*2. Solve 2*c + q = -c for c.
-4
Suppose 2*b = -b + 3, -1 = -2*z + 3*b. Solve z*c + c = 0 for c.
0
Let p(o) be the second derivative of 1/20*o**5 - 3*o + 0 - 2/3*o**4 - 3/2*o**3 + 5/2*o**2. Let m be p(9). Solve 0*f = -f - m for f.
-5
Let g(x) = 3*x**3 - 8*x**2 + 4*x - 9. Let b(i) = i**3 - i**2 + i. Let f(d) = -2*b(d) + g(d). Let t be f(6). Let o be 30*2*2/6. Solve 0 = 2*h + t*h + o for h.
-4
Let x be 5 + (1 - (-1 + 3)). Suppose 4*i - 8 = -2*u + 5*i, 4*u - 4 = 5*i. Let z = -2 + u. Solve -z*q - 20 + x = 0 for q.
-4
Suppose -3*n - 18 = -0*n. Let j = 4 + n. Let k(a) = -5*a - 3. Let l be k(j). Solve 3*v + 20 = l*v for v.
5
Suppose 16 = -18*m + 70. Solve -m*l - l = 0 for l.
0
Suppose 3*d + 7 - 55 = 0. Solve -4*u + 4 - d = 0 for u.
-3
Let f(v) = -v**3 + 8*v**2 - v + 15. Let c be f(8). Solve -c = 2*p + 1 for p.
-4
Let h be (4 + -9)/((-10)/12). Solve -4*s + h*s = 4 for s.
2
Suppose -46 = 2*n + 3*f, -3*f = 3*n - 4*n - 14. Suppose 2*z + 3*a + 28 = 3*z, a = 0. Let s = n + z. Solve k - 5*k + s = 0 for k.
2
Suppose -2*z + 10 = -0*z. Let f(j) = j**3 - 5*j**2 + j - 1. Let p be f(z). Suppose -2*n - 4*w + 8 = 0, -2*n + 5 = w + p*w. Solve 5*d - 10 = n for d.
4
Suppose 12*b = 7*b. Suppose 0 = w + 4*l - 18, w + l = 2*l - 2. Suppose -4*a - 2 = -10. Solve w*m + a*m = b for m.
0
Let n be (-1 - -3)*20/8. Solve -21 = n*g - 1 for g.
-4
Suppose -2 = -p + 1. Let u be (-30)/(-4)*8/6. Suppose -2*r = -r - u. Solve -p*k - 2*k = r for k.
-2
Let o(l) = -l**2 - 6*l - 4. Let q be o(-6). Let m be (54/(-6))/(3/q). Solve 2*w + w = m for w.
4
Let c = -31 + 35. Solve 2*w = c*w + 4 for w.
-2
Let k be (-1)/(-3) + 15/9. Suppose 0*s = k*s. Suppose y + y = -5*z - 9, s = 2*y + z - 3. Solve y*l - 9 = 6*l for l.
-3
Let u be (4/(-5))/(4/(-40)). Suppose 3*s - u*s = -20. Suppose -r = -n + 5, -12 + 2 = -s*n + 2*r. Solve -3 + n = -q for q.
3
Let y(b) = 2*b**3 - 11*b**2 - 7*b + 6. Let u be y(6). Let m be 3/2*(-16)/(-6). Solve u*k - 4 = m*k for k.
-1
Suppose 7 = 3*y - 3*l + 1, -3*y = 4*l + 