, -k*l - o - 15 = 0 for l.
-3
Let l be 2/4 - 3/(-6). Let h = 13 + l. Suppose 3*w = -o + h, w - 8 = -0*o - 2*o. Solve -3*t - t + 2*j = o, 3*t + 2*j + 12 = 0 for t.
-2
Suppose 3*k - 4*p = 35, 3*k + p - 3*p = 25. Solve 4*u - f = -0*u + k, u + 1 = f for u.
2
Let t = -24 - -24. Solve -5*m = -4*x + 11, t*x = -5*x - 5*m + 25 for x.
4
Suppose 0 = 4*a + c - 51 - 32, -77 = -4*a + c. Suppose 5*x + 4*u - a = 0, -x - u = -2*x + 4. Let z = 5 + -5. Solve -x*h = 5*w - 0*h - 5, -w + 3*h + 1 = z for w.
1
Let u(d) = -d - 5. Let k be u(-3). Let y(w) = -3*w - 3. Let a be y(k). Solve 4 = -a*o - 4*r + 11, -16 = -2*o + 3*r for o.
5
Suppose 4*c + 1 = -23. Let p = 21 - 25. Let t = p - c. Solve -4*m + 4*x + 24 = 0, 5*m - t*x + x = 14 for m.
2
Let r be 5 - 2 - 2/2. Solve -3*v + 3*k = 2*v + 7, r*v - 5*k - 1 = 0 for v.
-2
Suppose 6*l - l - 15 = -5*i, -2*l = i - 7. Suppose l*k - h - 20 = -k, 3*h + 20 = 5*k. Let a be 1 + 1 + 0 + 0. Solve -x = a*b + 5, x + 12 = -k*b - 3*x for b.
-2
Let m = -13 + 13. Suppose m*n = -n. Solve 3*c - 3*q - 6 = n, -4*c - q = -7 - 1 for c.
2
Let i = 24 - 20. Solve 0*c + i*q = -3*c + 6, 0 = 3*c + 2*q for c.
-2
Let x = 0 + 0. Let m be (x - -1)/((-1)/(-3)). Let r = -2 + 7. Solve -r*a + 6*t + 5 = m*t, 5*a = 2*t for a.
-2
Suppose 2*u - 4 = b - 12, 3*b = u + 9. Let w = b + 3. Suppose -v - 3 = -5*v + a, -3*a = -5*v - w. Solve -13 = -c - g + 6*g, -v*c = 2*g + 10 for c.
-2
Suppose 15 = 3*t, -t - 2*t = -5*b. Solve 2*h - 3*q + 21 = 2*q, b*h - 6 = -5*q for h.
-3
Suppose 4*s - 14 = -10. Solve 4*v + 14 = -5*i, s = 2*i - v + 4 for i.
-2
Let v(f) = -6*f**2 + 3*f - 2. Let o(k) = -7*k**2 + 2*k - 1. Let i(p) = -5*o(p) + 6*v(p). Let b be i(6). Solve -b*w + x + 3 + 15 = 0, 6 = -3*w - 5*x for w.
3
Let q(t) = t + 27. Let k be q(-26). Solve l = i + k, 0 = -2*i - 3*l + 2 + 1 for i.
0
Let o(l) = l**2. Let j(c) = 5*c**2 + 11*c - 5. Let h(n) = j(n) - 6*o(n). Let i be h(4). Solve -5*a = -a + 3*z + i, 0 = -a - 5*z - 27 for a.
-2
Suppose -3*w + 0*w = 0. Suppose 5*t - 2*l - 3*l + 5 = 0, -5*l + 5 = w. Let i(n) = n**3 + n + 3. Let x be i(t). Solve 6 = -3*s - x*c, s = -4*c - 0*c + 4 for s.
-4
Let x = 38 + -38. Suppose 5*t - 6 = 4. Suppose t*k - 40 = -3*q, q - 12 - 8 = -2*k. Solve x = -3*z + 4*z + 5, 3*z = -5*s - q for s.
1
Let k(x) be the first derivative of x**4/4 + 11*x**3/3 - 3*x**2/2 - 11*x + 4. Let r be k(-11). Solve 5*z - 2 + 15 = -2*g, -2*z = 5*g + r for g.
-4
Suppose 61 = 15*a - 29. Solve 4*q - 2*q + a = -2*z, 3*z + 9 = 5*q for q.
0
Let r(j) = -j - 2. Let t be r(-7). Suppose n + 0*n = t. Solve l - 1 = -x, n - 1 = 4*x + 3*l for x.
1
Let h = -6 - -11. Suppose d = 5*d - 20, 2*f = d - h. Let o be -1 + f + (-2 - -5). Solve 3 = o*r + 5, 0 = -3*z - 3*r + 3 for z.
2
Let v(n) = -n**2 - n + 2. Let a be v(0). Let y be ((-1)/(-2))/(a/60). Let r be ((-6)/(-9))/(2/y). Solve 5*j - 20 = -5*p, -r*p + 6*j = j + 30 for p.
-1
Let s be ((2 - -3) + -4)/(2/4). Solve -5*h + 5 = -2*y, 2*h - y + 0 = s for h.
1
Suppose 6*f - 3*f = 0. Suppose 5*m - 82 = 3. Solve 0 = -f*n - 2*n - 5*j + m, -5*n + 5 = 5*j for n.
-4
Let k = 5 + 1. Let m = k + 0. Suppose -5 - 1 = -3*n. Solve 0 = -l - n*q + 2, -3*l - 6 = -m*l + 5*q for l.
2
Let a(p) = p**2 - 3*p. Let c be a(4). Suppose 5*f + 0 - 13 = 2*y, c*y = 4. Solve 14 = x + 5*i, 3*x - i = 7 + f for x.
4
Let u(z) = z**3 - 2*z**2 + 4*z - 3. Let b be u(2). Solve -6*m = -m - 10, -b*i = -m - 13 for i.
3
Let i(a) = a + 3. Let v be -2*(75/(-6))/(-5). Let n be i(v). Let m be (0*1/n)/2. Solve 4*t + 16 = m, -2*j - 2*j - 4*t - 36 = 0 for j.
-5
Let t(q) = q**3 - 4*q**2 - 3*q + 7. Suppose -14*x + 10*x = -20. Let o be t(x). Solve 3*j = 4*a + o, -3*j + a + 13 = -a for j.
3
Let r(b) = b**2 + 5*b - 6. Let t be r(-6). Let u = 3 + t. Solve u*x - 9 = -3*k, -2*x = -1 - 7 for k.
-1
Suppose -20 = -u - 4*u. Suppose 3*z + 2*z - 37 = u*l, -3*z + 27 = -4*l. Solve -2*r + a = -a, 0 = z*r + 2*a - 7 for r.
1
Let w = -16 - -22. Solve -2 = -a - 4*b + 21, 3*b - w = 3*a for a.
3
Suppose -57*b + 63*b = 24. Solve 5*z = b*d - 2, -3*d + z - 2*z - 8 = 0 for d.
-2
Let q(m) = 4*m - 1. Let c be q(1). Suppose -29*g = -24 - 63. Let j(x) = -x - 4. Let v be j(-6). Solve 3 = c*d + v*h, -6 = d - g*h + 4 for d.
-1
Let s be (-1)/((-2)/(-6))*1. Let q be (3 - (-10)/s)*-39. Solve -4*j + 5*z - 2*z - 18 = 0, 2*z = 3*j + q for j.
-3
Let t(w) = -w + 5. Let p be t(0). Let l(n) = -n**2 - 8*n - 4. Let a be l(-7). Solve p*o + 5 = -3*i, 5*i + 9 = -a*o + 2*i for o.
2
Let q = -24 - -14. Let d = 15 + q. Suppose -m + 0*m = d*p - 19, 5*p - 4*m = 24. Solve -p = z + 3*c, 4*z + 2*c = 2*z for z.
2
Suppose -5*y = j - 4, j + 3*y = -2*j + 12. Suppose 0 = -j*a + 3*a + 13. Solve i = 2*t + a - 2, -4*t = 12 for i.
5
Let z be (-1)/(2/12*-2). Let h = -1 + z. Let f = 20 + -5. Solve 3*x = 2*l + 11, -x + 4*l + h = -f for x.
1
Suppose -p + 49 = s + 4*s, 5*s = -2*p + 48. Solve 16 = 3*v + v, 5*v = -5*q + s for q.
-2
Suppose 38 + 32 = 14*h. Suppose 15 = 3*c - 0. Solve -4*d + h = k - 3*d, 0 = c*k + 3*d - 15 for k.
0
Let j be -2 + (6 - (-1)/1). Suppose 0 = 2*z - 3*c - 0 + 2, j*z = 3*c + 4. Suppose -7*r + z*r = 0. Solve r*f - f = -5*q - 17, q - 3*f + 9 = 0 for q.
-3
Let z be 2 + (0 - 2 - -2). Suppose 4*i = -2*p - 5 + 15, 0 = -p - 5*i + 5. Solve -p*m - 20 = 4*b, -z*m + 5*b = 2*m - 25 for m.
0
Suppose -3*a = b - 5, -2*a + 4*a - 10 = b. Suppose -10 = a*w + 2*p, -8*w + 3*w + 25 = -5*p. Solve -4*f + 2*n + 12 = w, -f = -n - 3 - 2 for f.
1
Let c = 6 - 5. Let w = 2 - c. Solve r = -s + w, -6*r + 3*s - 3 = -r for r.
0
Let s(k) = -k**2 - 6*k - 7. Let l be s(-8). Let j = 38 + l. Solve -2*d = -6, 0*d + j = 3*a + 3*d for a.
2
Let h be -11*-3*2/3. Suppose -3*x = -h + 7. Solve 1 = 3*b - y - 4*y, 5*b + x = 5*y for b.
-3
Let a be (-4)/(-4)*(27 + 4 + -8). Solve -h + 4*j = -0*j - a, -3*h + 29 = -4*j for h.
3
Let y(i) = i**2 + 9*i - 8. Let w be -6 - (-2 - -5) - 1. Let u be y(w). Solve -q - u = 2*f, f + 5*q - 14 = -f for f.
-3
Suppose -f - 2 = -5*k, 5*k + 3 = 3*f - 1. Solve 0 = f*b - 6, -12 = -5*q + b + 6 for q.
4
Suppose -3*p = -2*h - 6, -h = -0*p - 2*p + 4. Solve 2*q - q + 2 = k, -p*q - 2*k = 0 for q.
-1
Suppose 0 = 5*y - 2*t - 2*t - 30, -5*t = 4*y + 17. Solve y*b = -4*n - 6, 3*n + 9 = -5*b - n for b.
-1
Suppose -5 - 3 = -4*a. Suppose 0*w = -w + a. Solve 2 + 15 = z + 3*p, -2*p - w = -2*z for z.
5
Let r = 1 + 0. Let j = 4 - 0. Suppose 2*c + 24 = 3*x - c, -8 = 2*x + j*c. Solve -2*h + 12 = -s - s, s = -x*h - r for h.
1
Suppose 0 = i - 3 - 2. Suppose 0 = 4*y + 4*v, i*v = 3*y - 10 - 6. Solve -2*d = -3*j + 5, 0 = -3*j + y*j + 5 for d.
5
Let n(i) = i + 14. Let c be n(-10). Solve t = -3*a - 12, c*a - 3*a + 18 = -5*t for t.
-3
Suppose 0*z + 27 = 9*z. Solve -z*r + 14 + 1 = -3*j, 0 = -3*j - 4*r - 8 for j.
-4
Suppose 2*d - 3 = w + 4*d, 1 = 5*w + 2*d. Solve -2 = 5*y + 3*p + 1, -4*y = p + w for y.
0
Let w = 4 + -4. Suppose w = -p - p. Solve -3*s + 31 = -4*t, -5*s + 41 = -p*s - 4*t for s.
5
Let x(r) = r + 12. Let h be x(-8). Solve 5*y - 4 = 2*w, -h*y + 5*y = 3*w - 7 for y.
2
Let t be ((-28)/(-10))/(10/25). Suppose -3*j = -t*j. Solve q + 0*w - 3*w - 9 = j, 12 = -4*w for q.
0
Let c be ((-3)/12*0)/1. Suppose 5*d + c*b - b - 27 = 0, 3*d - 5 = -5*b. Let s(j) = j**2 - 4*j - 2. Let n be s(5). Solve 0 = -n*a + 3*h, 5*a + 3 = h - d for a.
-2
Suppose -6*m + 4 = -2. Solve -4*u = 5*h + m, -4*h = u + 3*u + 4 for u.
-4
Let v = -4 - -5. Suppose a - 5 = -v. Suppose 4*t + 18 = 3*j + 3, -4*j - 11 = 5*t. Solve b + w + 6 = 0, -2*w - 7 + j = -a*b for b.
-1
Suppose 2*a = -2*w + 5 + 1, -a + 3 = -w. Suppose 4*h + 20 = w, -h = v - 0*v - 9. Let y = 36 - 20. Solve 2*o - 6*o - y = 0, 3*o + v = u for u.
2
Suppose -23 + 15 = -2*a. Solve -3*d + 11 = -5*f + a*f, 2 = -4*f - 2*d for f.
-2
Suppose c = -5*z + 11, 0*z - 5*c - 35 = -5*z. Let s = 5 - z. Solve -4*j - 10 = -3*r - 2, 2*r = 2*j + s for r.
-4
Suppose 0*l = -l + 15. Suppose 5*t - 2*t = l. Solve -2*k = 2*h - 5 + 3, 5 = -t*h for k.
2
Let s = -25 + 35. Let o be ((-8)/s)/((-6)/15). Solve -5*m = -o*p - 11, -5*p + 6 = -4*m + 25 for p.
-3
Let r(h) = 2*h + 6. Let x be r(-3). Solve 4*w = -x*w + u - 15, -3*w = 4*u + 16 for w.
-4
Suppose -2*l + 10 = -4. Solve 5*w + 19 = 4*u, 2*w = 2*u + 5*w + l for u.
1
Let j = -10 - -9. Let m(i) = i**2. Let q be m(j). Let u be (q/2)/(5/50). Solve 0 = 2*l - u*p + 13, 5*l = 3*p - p - 22 for l.
-4
Let m = 1 + 2. Suppose a - 3*a + 10 = m*n, -16 = 