r j.
4
Suppose 0 = -13*t + 10*t + 24. Let x = -6 + t. Solve 0 = k - x + 3 for k.
-1
Let w = 20 - 16. Solve w*u + 1 = 5 for u.
1
Let g(k) = k**3 - 2*k**2 - 3*k + 7. Let p be g(3). Suppose -w - 2*w = -c - 9, 0 = -5*c + 2*w + p. Solve -2*b - b + c = 0 for b.
1
Suppose -6*i = -7*i. Solve -2*m + 4*m - 4 = i for m.
2
Suppose -8 = -5*q + 2. Solve -6 = -q*h + 5*h for h.
-2
Let n = -944 + 964. Let k = 12 + -5. Solve -n = -3*r + k*r for r.
-5
Let f(x) = 2*x**2 + 3*x - 4. Let q be f(-3). Solve 1 - 11 = -q*m for m.
2
Suppose 9*i = 3*i. Solve -5*u - 18 - 2 = i for u.
-4
Let n(w) = -w**3 + 4*w**2 - w + 3. Suppose f + f = 5*q - 5, 2*q + 2*f = 16. Let j be n(q). Solve -j = 3*c - 0*c for c.
-3
Let z = -7 - -3. Let o = 18 + -12. Let x = o + z. Solve -x*n - 10 = -0*n for n.
-5
Let n = 2 + -2. Solve -6*a + 5*a + 1 = n for a.
1
Suppose -3*x - y + 27 = 0, y - 45 = -3*x + 6*y. Solve 6*m = 8*m - x for m.
5
Let x = 27 + -23. Let g = -2 + 4. Let t be 10/3 - g/6. Solve -x*p + t*p = -2 for p.
2
Let p be ((-6)/3 - -3)*5. Suppose p*q = 9*q. Solve -5*c + 2 + 3 = q for c.
1
Let o = 0 + 2. Let n be (-4)/(-12)*-2*-6. Solve 0 = -o*m - 4 - n for m.
-4
Suppose 4*q - 2 = 10. Suppose -q*z + 4*z = 2. Suppose 4*c = -4*r + 24, r = -2*c - 0*c + 9. Solve s - z = c for s.
5
Let l(v) = -3*v - 6. Let a be l(-6). Solve 0*q = -3*q - a for q.
-4
Suppose 2 = 4*l - 3*l. Suppose 2*q + 3*s + 3 = 0, 2*q + 3*s + s + 6 = 0. Solve -l*g - 5 - q = 0 for g.
-4
Let y be (2*4)/2 + 2. Let u(p) be the first derivative of -p**4/4 + 7*p**3/3 - 7*p**2/2 + 9*p - 13. Let j be u(y). Solve -t + 0*t = j for t.
-3
Let p(h) = -h. Let s be p(-3). Solve s*i + 2*i - 20 = 0 for i.
4
Let u be ((-10)/(-4))/((-1)/(-6)). Let j(f) = 7*f + f**2 - 2*f + 1 - 5. Let t be j(-7). Solve -5*d - u = t for d.
-5
Let r(u) be the first derivative of -u**4/2 - 2*u**3/3 - 3*u**2/2 - u - 1. Let n be r(-2). Suppose -3*k - 4 = -n. Solve -k*p = -4*p for p.
0
Let c(j) = -2*j - 5. Let u be c(-4). Suppose 2*h + 45 = 5*i, -3*i + 9 = -2*i - 5*h. Let w = i + -7. Solve -w + u = -b for b.
-1
Let s be (-2 - 4/(-2))*1. Let j = 8 + -6. Suppose s*d = -d + 5*x + j, -2*d - x = -4. Solve 6*l - d*l = -4 for l.
-1
Suppose -5*b + 3*b + 2 = 0. Let i be (2 + 0)*2/b. Let m be (2/8*0)/(-2). Solve s + i*s = m for s.
0
Let c(p) = 4*p**2 + p. Let q be c(-1). Suppose 0 = u + q*u - 12. Solve 0 = -u*m - 0 + 9 for m.
3
Let o be 2/(4/(-6)) - -3. Suppose 5*t + 0*t - 15 = o. Solve 0 = t*s + s for s.
0
Suppose 3*v = -0 + 12. Suppose -4*k + 5*k = 3. Suppose 5*x - 2 = 2*c - 3, 11 = k*c + 2*x. Solve n + c*n = -v for n.
-1
Let u(i) = 2*i**2 - 4. Let h be u(2). Let b(g) = -g**2 + 8*g - 5. Let m be b(5). Solve h*w + m = 2*w for w.
-5
Let z(p) = 3*p**2 - 3*p + 2. Suppose -2*v - 2 = 4. Let j be (0 - 2)*v/2. Let a be z(j). Solve 0 = -6*o + o - a for o.
-4
Let p(w) = -w - 10. Let n(d) = d**3 - 4*d**2 + d - 3. Let s be n(3). Let g be p(s). Let t be (-4 - 1)*1*g. Solve t*i = 4 - 19 for i.
-3
Suppose -2 = j - 10. Solve 3*i - 1 = j for i.
3
Let z be ((-116)/(-12))/((-2)/(-6)). Suppose 5*k + l + 0*l = -z, -2*l = 3*k + 16. Let u be k/12*(-1 - -1). Solve -r - 6 + 3 = u for r.
-3
Let j(h) = -h + 1. Let g be j(-3). Solve -24 + g = 4*w for w.
-5
Suppose 3*p = b - 9, -1 = 4*b - 4*p - 5. Let o be ((-9)/6)/b*-2. Let c = 1 + o. Solve 3*m - m - 4 = c for m.
2
Let n(z) = -z - 3. Let l be n(-4). Suppose -2*r + 7 = l. Solve -3*v = 18 - r for v.
-5
Let u = -14 + 14. Solve -h - 2 + 4 = u for h.
2
Let u(y) = -y**2 - 2*y + 4. Let c(z) = -z - 1. Let n be c(2). Let i be u(n). Solve i = b - 1 for b.
2
Suppose 3*t = 2*a + t - 10, -12 = -2*a + 4*t. Let f be 12/a + 1/1. Solve 15 = f*c + c for c.
3
Let j = -150 - -153. Solve -2*s + j + 3 = 0 for s.
3
Let h(x) = -x**2 - 8*x - 5. Let p be h(-7). Suppose -2*g + p + 8 = 0. Solve 2 = -g*o - 3 for o.
-1
Suppose 4*t = 4*j + 9 - 33, -2*t - 7 = -j. Solve -11 = -2*r - j for r.
3
Let c be 0 + 0*(0 - 1). Let o = 7 + 3. Let i = 12 - o. Solve f - i + 3 = c for f.
-1
Let m = 68 - 68. Solve 0 = -5*b - m*b - 15 for b.
-3
Let z(u) = -2*u - 4. Let n be z(-3). Let l be (2 + n)/4 + 1. Solve 7*a = l*a + 25 for a.
5
Suppose 3*f - 6*g - 38 = -5*g, -5*g = 3*f - 26. Solve -u + f = -4*u for u.
-4
Suppose -5*y - 17 = -2*g + 14, 3*g = 3*y + 24. Solve j = g*j for j.
0
Suppose 0 = -3*k + 6*k - 12. Let m = 2 - k. Let g be (-6)/m + 3 + -2. Solve -g*w - 4 = -2*w for w.
-2
Let i be ((-16)/(-40))/(1/10). Solve 2*c + 0 = i for c.
2
Let x(v) = v**2 - 18*v - 19. Let t be x(19). Let c = 15 + 14. Suppose c = 3*b + 5*s, -5*b - 4*s = -17 - 14. Solve t*m + b = -m for m.
-3
Let s(h) be the first derivative of -h**3/3 - 9*h**2/2 - 10*h + 4. Let x be s(-7). Suppose -2*b - 4*n = 0, -5*n = 5*b + 7 - 27. Solve -8 = x*d + b for d.
-4
Let k = 4 - 0. Let p be (3 + -3)/(-4) + k. Solve 3*b + 1 = p*b for b.
1
Suppose 4*c + 0*i = 4*i + 20, 2*i + 10 = 0. Solve -k - 3 - 2 = c for k.
-5
Let v(g) be the third derivative of -g**5/60 - g**4/6 - 8*g**2. Let j = -2 - 2. Let q be v(j). Solve q = -4*l - 1 - 3 for l.
-1
Suppose 2 + 2 = 4*n. Solve 0*l = -l - n for l.
-1
Let r(v) = -v**3 + 5*v**2 - 4*v + 1. Let t be r(4). Solve t = -4*s - 11 for s.
-3
Suppose -8 = 3*y - 4*j - 0*j, -y - 4*j = -24. Suppose y*o + z = 132, 2*o - z - 44 = 4*z. Solve -o + 7 = -5*w for w.
5
Suppose -8*j + 4*j = -24. Suppose -j*f + 12 = -3*f. Solve n + f = -n for n.
-2
Let k(h) = -h. Let d be k(-3). Suppose -4*b - n + 4 = -5*n, 4*b - 5*n = -1. Suppose 0 = b*g - 2*g. Solve g = -m - 2*m + d for m.
1
Let l = 34 - 24. Solve -4*x = x + l for x.
-2
Let b be 10*(96/(-30) + 4). Solve -f = -b + 3 for f.
5
Let n be (-2)/2 + 4/1. Suppose -5*k = -5*z, n*k - k = -z + 15. Solve -k*r + 2 = -18 for r.
4
Suppose -10 = k - 5*y, 3*y + 0*y = 3*k - 18. Let t = 14 - k. Solve -q = -5*q + t for q.
1
Let s(f) = 11*f - 1. Let z(o) = -6*o. Let l(p) = 3*s(p) + 5*z(p). Let a = 22 - 20. Let t be l(a). Solve 0 = 2*u + t*u - 25 for u.
5
Suppose -3*h + 5*h = 10. Let d(i) = -i**3 + 6*i**2 - 5*i. Let x be d(h). Solve x*o = o - 1 for o.
1
Let l = 9 - 0. Let f be (4 + -2)/4*0. Solve -5*t - 6 - l = f for t.
-3
Suppose -u = -0*u - 2*t + 7, -5*u - 5*t - 50 = 0. Let p be (-4)/18 - (-61)/u. Let j = -5 - p. Solve -j*g + 0 = 4 for g.
-2
Let i = 10 + -6. Suppose -5 = 5*t - w, -3*t + w + i*w = 25. Let c be (-4 - (-44)/12)*(-6 - 0). Solve 10 = -c*p - t for p.
-5
Suppose -2*j - 3 + 5 = 0. Let s be j*(2 - 2) + 3. Solve 0 = -s*m + m + 8 for m.
4
Let j(s) = s**3 - 3*s**2 - 2*s - 4. Let x be j(4). Suppose -2*o + 2 = -x*p + 4, 0 = -2*o + 2*p. Solve 4 = z - o for z.
5
Suppose -3*w + 5*w - 4 = 0. Suppose 3*b - w*b = 2*n - 8, -2*b + 2*n - 8 = 0. Solve 0 = -b*j - 2*j - 2 for j.
-1
Suppose 5*f = -5*j + 40, 3*f - 20 = -11*j + 9*j. Solve j*u - 16 = -0*u for u.
4
Suppose -4*k + 2*k - 4 = 0. Let o(v) be the third derivative of -v**5/60 - v**4/8 - v**3/6 + 2*v**2. Let l be o(k). Solve 2*z + l = -5 for z.
-3
Let t(q) = -3*q**2 - q. Let d(m) = 8*m**2 + 3*m + 1. Let l(y) = -4*d(y) - 11*t(y). Let j be l(3). Solve -j*c = -4*c + 8 for c.
4
Let l be -1 - 0 - (37 - 2). Let c be 19/4 - (-27)/l. Solve 2*u = u + c for u.
4
Suppose 2*z = -3*n - 2*n + 4, -z = n - 2. Suppose 7*s = z*s + 30. Suppose 0 = -q + 4*p - 4, q - 2 = -5*p + 12. Solve h - q*h = -s for h.
2
Let r = 68 + -64. Solve -r*g = -g for g.
0
Suppose -4*r + 7*r + 5*l + 91 = 0, 0 = -l - 2. Let j be (16/6)/((-6)/r). Suppose 0 = -3*o - o + j. Solve o*q - 4*q = -5 for q.
5
Suppose -4*k + q - 17 = 0, -5*q - 6 = -3*q. Let f = 9 + k. Solve -f - 1 = o for o.
-5
Suppose -h - 2 = -0. Let u be (2 + -1)/(h/(-10)). Solve -3 + 18 = u*g for g.
3
Let x(f) = f**2 + f - 3. Let d be x(-3). Solve u = -2*u - d for u.
-1
Let t be 0*(4 - 9)/15. Solve t = n - 2*n + 5 for n.
5
Let v(m) = 2*m + 1. Let f be v(2). Suppose 20 = 5*w - 5*b, -13 = -4*w + f*b + 1. Solve -3*o + o - w = 0 for o.
-3
Let y be 6/(-8) + 104/(-32). Let b be -2*(-2)/y - 0. Let r be 8 + 3/(1/b). Solve -r*q + 1 = 6 for q.
-1
Let t(l) = 2*l - 4. Let u be t(7). Solve -2*f - u = 3*f for f.
-2
Let d be 8/(-12) - (-22)/6. Solve -d*m - 2 = -5 for m.
1
Suppose 0 = 4*a, -22 = -5*d + 5*a - 7. Solve 0 = -o - d for o.
-3
Suppose -f + 2*f - 5 = 0. Suppose -4*b - 2*h = -14, f*h - 1 + 8 = 4*b. Let z = -1 + 1. Solve -p - 2 + b = z for p.
1
Suppose b - 6 + 3 = 0. Suppose 2*r + 2*q + 12 = -2*q, 5*q + 14 = -b*r. Solve r*k + 4 = k for k.
-4
Su