+ 0 = z for n.
-1
Suppose -u - u = -6*u. Solve -3*w - 3 - 6 = u for w.
-3
Suppose 33*z = 35*z - 4. Solve 4*r - z = 2 for r.
1
Let u(t) = t**2 + 5*t - 9. Let v = 10 + -17. Let p be u(v). Solve -p*y + 2*y = 9 for y.
-3
Let z be 1*((3 - 1) + -8). Let u = -4 - z. Suppose r + 19 = 3*a - 3, 0 = -u*a + r + 13. Solve 4 = -k + a for k.
5
Let u(k) = k + 8. Let q be u(-8). Solve o - 1 - 2 = q for o.
3
Let f(r) = 5*r**2 + r + 2. Let x(v) = -v**2 + 5*v - 6. Let j be x(4). Let m be f(j). Solve 4*o + 0*o = m for o.
5
Let h be (2 - 12/7) + 304/112. Solve -t = h*t for t.
0
Let x = -56 + 59. Solve t - 16 = -x*t for t.
4
Let i(x) = -x**2 - 9*x - 6. Let y be i(-8). Solve -y*c = -4*c for c.
0
Suppose 4*f + 17 = 65. Suppose -2*k + 4 = -f. Solve 2*l = -2*l - k for l.
-2
Suppose -3*b = 4*b - 21. Solve b*v + 2*v = -10 for v.
-2
Suppose -13 = -m + 4*a, 4*a = -m + 3 - 6. Solve -5*i + m = -20 for i.
5
Suppose -3*b + 10 = 2*b. Let w be 3/5*(6 + -1). Suppose 0 = -0*q + w*q. Solve q = -4*f - 10 + b for f.
-2
Suppose z = -3*s + 8, 5*s - z + 3*z = 12. Let n = 1 - 1. Suppose 4*r = -n*r. Solve r = 2*m - s*m for m.
0
Suppose u - 3 = -11. Let l = u - -15. Let i = l + -3. Solve i*r = -5 - 15 for r.
-5
Let w = 22 - 13. Solve n - 4*n + w = 0 for n.
3
Let u(k) be the second derivative of -k**3/2 - 6*k**2 + 3*k. Let r be u(-5). Solve 2*n = 1 - r for n.
-1
Suppose 2*g - 11 = -3. Solve -g*q + 8 = 4 for q.
1
Let x = 10 + 0. Let d = x - 20. Let o be (-4)/10 - d/25. Solve 5*t - 3*t - 8 = o for t.
4
Let x = -5 - -8. Suppose -h - x*h = 0. Solve -3*i - i - 4 = h for i.
-1
Suppose -3*x + 12 + 20 = -4*s, 4*s = 5*x - 48. Let i = -6 + x. Suppose 0 = -g + i + 3. Solve -o + g = 3 for o.
2
Let x = 2 + -7. Let o = 10 + x. Solve 0 = -0*i + o*i - 5 for i.
1
Let y be (-288)/(-162) - 2/(-9). Solve 2*p + y*p - 20 = 0 for p.
5
Let i be (-1)/3 - 46/6. Let n(b) = -b**2 - 8*b + 9. Let p be n(i). Let t(d) = -d + 11. Let m be t(p). Solve -g = 3 - m for g.
-1
Let d be ((-4)/10)/((-3)/15). Suppose -d*y - 6 = -5*y. Let i be (-14)/(-3) + 8/(-12). Solve i*g + y + 6 = 0 for g.
-2
Let a(m) = -m**3 - 9*m**2 - 11*m - 4. Let z be a(-8). Solve -r = 3*r - z for r.
5
Suppose 0 = 5*u + 5*l, -l = -4*u - 2*l + 12. Let i = u - 3. Let s be i/(-4) - (-99)/12. Solve -3 = h - s for h.
5
Suppose 0 = 2*z - z - 5. Let o(w) be the first derivative of w**4/4 - 5*w**3/3 + 2*w - 6. Let x be o(z). Solve x*a - 20 = -3*a for a.
4
Let v = -8 - -4. Let o be 2*(-3)/(-6) - v. Suppose 5 + 0 = o*s. Solve 2*r - 3 + s = 0 for r.
1
Let a = -26 + 16. Let d = 25 + a. Suppose 1 = 4*w - h - 16, -3*h - d = 0. Solve -w = -4*k - 11 for k.
-2
Let g(i) = 8*i + 2. Let u be g(1). Let k = -11 + 12. Solve 3*o - u = -k for o.
3
Suppose 3*z = 0, 3*m - 10 = -2*m - 5*z. Solve 4*v = m*v for v.
0
Suppose 3*p = -4*l - 20, 0*l + 2*l = -p - 10. Let i = 0 - p. Let k(t) = -t**2 - t. Let z be k(i). Solve 4*o = -z*o for o.
0
Suppose 2*u + 2*r - 6*r + 10 = 0, 0 = -3*u - 4*r + 35. Let c = 8 + -6. Suppose -2*t - w + 20 = 0, 5*t - 42 = -c*w + 6. Solve u*k = 3*k + t for k.
4
Suppose d - 3*d = -3*t + 14, t = -5*d - 18. Let u be 50/15 + d/(-6). Let p be (-6 - -2 - -2) + u. Solve p*z - 1 + 7 = 0 for z.
-3
Let s = 81 + -73. Solve -4*w + s = -8 for w.
4
Let i be 2/4*(-7 - -11). Solve -i*b - 13 = -5 for b.
-4
Let m be ((-2)/(-2))/((-4)/16). Let b = -4 - m. Suppose 4*n + 12 = b, 3*n = k - 1 - 10. Solve 11 = k*z + 3 for z.
4
Let n = -1 - -7. Let o(w) = w - 5. Let t be o(n). Solve -4*k = t + 11 for k.
-3
Let n(l) = -2*l - 2. Let j be n(3). Let m = j - -10. Solve 2*h = -m*h - 20 for h.
-5
Suppose -10 = -3*l - 2*l. Solve 0*b + 10 = l*b for b.
5
Let b = 74 - 68. Solve -3*q + b*q = 12 for q.
4
Suppose -18 = 2*j - 24. Solve -j*f + 11 = 2 for f.
3
Let l = -1 + 0. Let b = 1 - l. Suppose -10 = b*w - 4*t, -2*w = t - 4 - 1. Solve 13 = 3*h + w for h.
4
Suppose -y + 10 + 4 = 0. Let o = y + -11. Solve 0 = -o*a - a - 16 for a.
-4
Suppose -33 = o + 2*o. Let j = -7 - o. Solve -3 - 1 = j*w for w.
-1
Suppose -30*f - 200 = -40*f. Solve 0 = 4*g - f for g.
5
Let l be 3 - (16*2 - -1). Let r be ((-18)/l)/(1/10). Solve 0 = -4*y - 2 - r for y.
-2
Suppose 0 = 3*a + 2*a. Suppose a*n = 5*n - 4*u - 11, 0 = -4*n - u + 13. Suppose -2*w + 0*v + 12 = 3*v, -n*w + 8 = 2*v. Solve w - 2 = -f for f.
2
Let z = 5 + -17. Let c = -10 - z. Suppose 4 + 0 = 2*o. Solve d + o = c*d for d.
2
Suppose 4*n - j = 4, 3*n - 2*j + 2 = -0*j. Let p(s) = s + 5. Let l be p(-5). Solve l = -r + n + 1 for r.
3
Let c(p) be the third derivative of -p**4/24 - p**3/6 - 4*p**2. Let h be c(-1). Solve 4*r + h*r = 20 for r.
5
Let d(b) = b**2 + 4*b + 4. Let h be d(-4). Solve h*y + 7 + 1 = 0 for y.
-2
Suppose -22*p = -27*p + 20. Suppose -5*j + 70 = d, -50 = -j - p*j - 5*d. Solve 7*y - j = 2*y for y.
3
Let t(o) = o - 2. Let l be t(1). Let a = 2 - l. Solve a*f - 7 - 8 = 0 for f.
5
Let h = 10 - 8. Let n be 0/(-2*h/4). Suppose -2*t = v - 0*t - 2, 0 = 5*v + 5*t - 35. Solve n = -6*j + 3*j + v for j.
4
Suppose -2*r + v + 20 = -2*v, 0 = 4*r - 5*v - 36. Suppose -4*q + 10 = 2*o, 0*q + 5*o + 3 = r*q. Suppose -q*j - 2*j = -4. Solve -j = -d - 0 for d.
1
Suppose -5*d - 10 = -5*r, -r + 6*r + 5*d - 30 = 0. Solve r*m + 7 = 3 for m.
-1
Let h = 19 + -18. Solve 2 = t - h for t.
3
Suppose -8 = -2*p - n, p - 3*p + n = 0. Suppose l = p*l, 0 = -5*z - 3*l - 15. Let v be -3*(-2 + (-4)/z). Solve v*w - 4*w = 0 for w.
0
Let p be (-242)/(-8) - (-1)/(-4). Suppose -3*u - 4*a + 5*a + 20 = 0, -p = -4*u + 2*a. Solve 2*x - 7*x - u = 0 for x.
-1
Suppose -h - 2*c = 5 - 1, 4 = -2*h - 3*c. Solve -5*o - h = 21 for o.
-5
Suppose 3*d - 2*u + 4*u = 355, -3*d = -5*u - 362. Suppose -5*l + d = 19. Solve 4*s - l = -0 for s.
5
Let w(b) = b. Let q be w(0). Let h be (2 - q) + (3 - 3). Suppose -2*t + h = -2. Solve -4*m = -t*m + 2 for m.
-1
Let b be (4 + -5)*1*-9. Solve 2*k - 1 + b = 0 for k.
-4
Let f = 2 + -2. Suppose f*i = -2*i + 6. Suppose 2*r - 65 = -i*u, 5*r - 100 = 3*u + 10. Solve -7*x = -2*x + r for x.
-5
Let k be (-9)/(-2)*12/18. Solve -4*s - k = -11 for s.
2
Suppose 4*x - 48 = -0*x. Let u(v) = 4 + v + v**2 - 4. Let o be u(-1). Solve -3*s + o*s = -x for s.
4
Suppose -l - 3*o = 10 - 1, 0 = 2*l - o - 17. Solve -l = -2*x - 16 for x.
-5
Let h be 0/(2/(-1)*-1). Let y(j) = -j**2 - j + 23. Let o be y(h). Suppose 3*g - 5*z = 30, 5*g = z + 5 + o. Solve -q - 3 = -g for q.
2
Let f = 3 + -2. Let s(g) = g**3 - 11*g**2 + 9*g + 13. Let b be s(10). Suppose b*z - 29 = f. Solve 4*h + z = -h for h.
-2
Let l(g) = g + 4. Let c be l(-12). Let w be -4*(-4)/c - -4. Solve w*h + 2 + 0 = 0 for h.
-1
Suppose u - 3*u + 4 = 0. Suppose -2*w + 4*w = 8. Suppose f = w - u. Solve 0 = 4*b - f - 6 for b.
2
Let q = -1 + 4. Let g be ((-2)/1)/(2/(-17)). Suppose 0 = -2*f - 8, 2*f + g = q*n - 0*n. Solve -2*u + n = u for u.
1
Suppose -5*p + 2*u = u - 43, 5*p = 3*u + 49. Suppose 0 = c + 3*c - p. Solve c*j + 5 = -1 for j.
-3
Let j(l) = 4*l + 3*l + 2 - 4*l + 0*l + 2*l**2. Let f be j(-3). Solve 6 = v + f for v.
-5
Let j = 2 - 4. Let m be j/4 - (-1)/2. Solve 0*h - 5*h + 5 = m for h.
1
Let k be (-3)/(1 + 2)*-1. Let z be 3*1*(2 + 1). Solve 2*u = k + z for u.
5
Suppose 4*b + 5*t + 8 = 0, 2*b - 3*b - t - 3 = 0. Let y = b - -7. Solve y*l + 2*l = 0 for l.
0
Let f(o) = -o - 2. Let h be f(-2). Let q(z) be the third derivative of z**4/24 - 7*z**3/6 + 3*z**2. Let j be q(9). Solve -j*r + 8 - 2 = h for r.
3
Let a = 16 - 7. Solve y - 4*y = -a for y.
3
Suppose -2 = 4*o + 3*c + 14, -2*o - 8 = 3*c. Let v be o*(-3)/(-12)*-2. Let a = 1 + -1. Solve a = j + v*j for j.
0
Let d be 3 - (0/(-2) - (-15)/5). Solve -4*q + d = -8 for q.
2
Let r be -3*(-1 + 0)/(-5 + 6). Solve 0*x + 15 = -r*x for x.
-5
Suppose 2 = c - 1, 2 = 4*a - 2*c. Suppose 0 = -4*b + j - a, 2*b + 0 = -4*j + 8. Solve b = -2*h + 10 - 2 for h.
4
Let w be (2/7)/(1/7). Solve -w*u + 3 = u for u.
1
Let x(y) = y**3 - y - 1. Let j(a) = -2*a**3 + 2*a + 1. Let c(m) = -2*j(m) - 5*x(m). Let i be c(0). Solve 2*t = 5*t + i for t.
-1
Let b be (-1 - 1) + 12 + -6. Solve -b*r = -3*r + 3 for r.
-3
Suppose -3*q - i = -2, -i = -3*q - 2 - 0. Let x = 3 + q. Solve -x*a + 15 = 2*a for a.
3
Suppose 4*s = -0*s + 8. Suppose -3*f = 4*b - 20, -4*b + 3*f - 8 = -f. Suppose -3*p = b*p. Solve -y + s*y - 5 = p for y.
5
Let m be 1*(-9)/((-18)/4). Solve 0 = -m*y - 1 + 7 for y.
3
Suppose -3*p + 8 - 2 = 0. Let j = -316 - -316. Solve j = r + p f