3*k, 21 = 2*o - 0*o - 3*k for o.
3
Let s be (-12)/6*(-7 + 2). Suppose -5*r + s = -5. Solve -3*t = -2*y + y, r*t = -3 for y.
-3
Let k(a) = -a**3 - a**2 + 2*a + 2. Let p be k(-2). Let l = p + 1. Let c(i) = 3*i - 1. Let y be c(1). Solve -l*z - 2*z + 19 = 2*m, -y*m - 16 = -2*z for z.
5
Let t be 0 + 1/(5/5). Solve -y = -3*l + 12, y + 19 = 5*l + t for y.
-3
Suppose -10 = -q - 2*j - 4, -q + 5 = 3*j. Let i = q + -6. Suppose 2*l - 8 + i = 0. Solve -4 = -f, -3*z + 1 - 4 = l*f for z.
-5
Let f be (2/1 + 9/(-2))*-8. Solve 5*c = f, -4*c = 3*r - 15 - 10 for r.
3
Let n(h) = h**2 + 11*h + 18. Let z be n(-9). Solve 3*c + 11 = -p - p, -5*p + 4*c + 30 = z for p.
2
Suppose 0 = -2*f - 4*l - 0*l - 10, -5*l = 3*f + 10. Solve o = -r - 3*r - 7, -f*o + 7 = -r for o.
1
Let f(s) = -s**2 - 7*s - 6. Let o be -9 - (-3 + -3)/2. Let h be f(o). Solve -3*r + 3*p - 30 = h, -2*r - 16 - 14 = -4*p for r.
-5
Let n(q) = q**2 + 2. Let f be n(2). Suppose f*a = a. Solve a = -g - 4*x - 13, -3*g = -g - x - 1 for g.
-1
Let c = 19 + -15. Solve h + 5*y = 5*h - 13, 3*h = c*y + 11 for h.
-3
Suppose 0 = -i - 0*i + 2. Suppose 0 = -0*q - i*q + a + 3, 5*q - 18 = -a. Solve -2*o - o - 9 = -q*f, 3*o + 4 = 2*f for f.
5
Suppose 2 + 10 = 4*r. Solve 0 = 5*i - 5*o - 5, o = -3*i - o + r for i.
1
Let y be (-75)/(-20) - 1/(-4). Suppose c + c + 2 = y*d, c - 4*d = -5. Solve -q + 5 = -0*q + 2*b, c*q + 3*b - 3 = 0 for q.
-3
Let g be (-1 - -1) + (3 - 0). Solve 4*w = 3*d - 4*d - 3, -g*d = 3*w + 9 for d.
-3
Suppose 0 = g - 2*v - 66, -v = -g + 2*v + 64. Suppose 0*f + g = 5*f. Solve -3*z - 48 = 5*c - f, -2*c + 5*z = -5 for c.
-5
Let g be (2/(-3))/((-20)/90). Solve -9 = g*p, -2*a - 4*p = p + 9 for a.
3
Let y = -5 + -1. Suppose 5*f - 33 = 2*f. Let d = f + y. Solve d = 3*j + i, 0*j - 5*i = 5*j - 5 for j.
2
Let k be 18/(-117) + (-4)/(-26). Solve k + 8 = 3*z + 4*g, -9 = -3*z - 3*g for z.
4
Let s be 1/(1 - 6/9). Suppose -s*c = 2*c - 50. Solve 2 + 3 = b - t, 3*t = 2*b - c for b.
5
Suppose 70 = 9*p + 25. Solve -7*n - p*x + 25 = -2*n, 4*n = -5*x + 20 for n.
5
Let s(r) be the second derivative of -r**4/12 + 3*r. Let u be s(0). Solve -2*y + u*y + 5*k = -23, 3*y + 4*k = -23 for y.
-1
Suppose 6 = 2*r - 10. Suppose 0 = -4*p + 16, -9 = -a + 5*p - 26. Solve -3*s - a*w = -4*w - 5, 4*s - r = 2*w for s.
1
Suppose -2*m + 6 = -8. Suppose 3*v = -5*d + 2*v + 7, 2*v + 6 = 0. Suppose 0 = 4*t - d*t - 8. Solve t*i = 5*r, 4*r - m*i + 3*i + 4 = 0 for r.
4
Let p be ((-2)/6)/(2/(-6)). Let g = -1 - p. Let d = 3 - g. Solve -2*u + 11 = 3*t, d*t - 12 = -5*u + 13 for u.
4
Suppose -2 - 2 = -4*j, 0 = -v + 4*j - 54. Let q = -14 - v. Let o = -12 + q. Solve -3*x + 4*f - 3 = 2*f, -5*x = 3*f + o for x.
-3
Suppose -5*p = -4*s + 22, 0 = -4*s + 3*p + 15 + 3. Let k be -1 - -6*56/12. Let r = -13 + 18. Solve -s*q + 9 = 3*z, -r*z - k + 7 = -2*q for z.
-2
Suppose -13 + 8 = -l. Solve 3 - 10 = 3*t + 4*s, 23 = -l*t - s for t.
-5
Let v be 6/(2 - (1 - 0)). Suppose 3 = 3*f - v. Solve u = -f*o + 11, 4*u = -5*o + 3 + 13 for u.
-1
Let q be -1 + (3 - 4) - -4. Suppose -q*a = -3*z - a + 9, 2*a = 2*z - 10. Solve 5*o = -5*u + 10, z*o = -5*u - 1 - 4 for o.
5
Let x(v) = 2*v**2 - 3*v - 4. Let h = -1 - -4. Let w be x(h). Suppose 0 = -w*c - 5*q - 15, 0*q = -4*c + q + 13. Solve -2*s = -3*t - 6, s = c*t - 0*t + 5 for t.
-4
Let b = 6 + -2. Suppose 0 = 3*z + 3, -4*n = z - 7 - b. Solve -3*s + 3*h = 0, -s + n*h - 7 = 3 for s.
5
Let y = -5 + 5. Suppose -2*b + y*b - 96 = 0. Let c = -15 - b. Solve 2*r + c = -5*z, 0 = -r - 3*r + z - 11 for r.
-4
Suppose 4*o - 22 = 2*s + 4, 0 = -5*s - 5*o - 50. Let w = s + 14. Solve -g = -5*g - 3*d + w, -3*g + 3*d = -18 for g.
3
Let w = 7 - 2. Solve -w*y - 17 = -3*y - 5*d, d = 2*y + 5 for y.
-1
Let y(h) = 21*h + 36. Let v(o) = -4*o - 7. Let j(t) = 11*v(t) + 2*y(t). Let i be j(-5). Solve -i*l + 3 = 2*b, -2*b - 3*l = 2*b + 1 for b.
-1
Suppose -11 = -9*q + 25. Solve -4*m + 20 = 0, -2*y = -q*m + 14 + 4 for y.
1
Let n(w) = w**2 - 4*w + 2. Let h be 1*-3 - (-6 - 1). Let d be n(h). Solve 4*s + d*j - 24 = 0, -3*s + 2*j + 2 = -9 for s.
5
Let f(t) = -t**2 + 4*t - 1. Let a(w) = -5*w**2 - w. Let n be a(1). Let y = -4 - n. Let p be f(y). Solve 2*b = 5*q, 7*q + 25 = 2*q - p*b for q.
-2
Let o = -36 + 38. Solve y + 3*s = 7, -y + 1 = o*s - 3 for y.
-2
Suppose 0 = -3*d + v + 20, -4*d - 3*v + 10 = -v. Let p be 4/14 - 498/(-21). Solve -2*b - b = -5*z + 32, z - p = d*b for b.
-4
Let z(f) = -f**3 + 6*f**2 - 6*f + 7. Let p = 0 - -5. Let n be z(p). Solve 3*v - 2 = -n*m, 37 = -m + 5*v + 12 for m.
-5
Suppose 3*j + 7 + 47 = 0. Let l = j - -30. Suppose -2*z - 14 = -5*z + r, -2*z + 2*r + l = 0. Solve -2*i + 0*a = -a + 1, -4*i + 4 = -z*a for i.
-2
Let n(p) = p**3 - 4*p**2 - 11*p - 1. Let x be n(6). Solve x*t + 7 = 2*j, j + t = -4*j - 23 for j.
-4
Suppose 4*l + 16 = -2*k, 5*l + 20 = k - 0*k. Let m be 1 + 0 - (-24)/1. Solve k = -j - 4*g - 16, -5*j + m = -2*g - 5 for j.
4
Let r(o) = 2*o - 7. Let z(f) = f + 1. Let m be z(8). Let l be r(m). Solve -3*q + 5*k = -13, -3*q + 2*k + 2*k = -l for q.
1
Let c = 3 + 1. Solve -13 = -c*y + 3*f, -y - 3*f + 6 = -f for y.
4
Suppose -2*i + 56 = 2*i. Suppose -i = -5*l + 21. Let g = -5 + l. Solve 0*a + 3*a - 4*s = 7, 0 = 5*a + g*s - 29 for a.
5
Suppose -5*m = -1 - 9. Suppose m*r = 6 + 4. Solve -5*h = -r, -y + 6*h = 4*h + 3 for y.
-1
Suppose 5*y - n - 2 = 13, 0 = 4*y - 2*n - 18. Solve 0 = -2*b - 2*p - 4, 4*b = y*p - 9 + 1 for b.
-2
Let d(t) = -t**3 + 6*t**2 + 8*t - 4. Let u be d(7). Let h(n) = 2*n**2 + 7*n - 1. Let q be h(-5). Solve 0*y = -2*y + u*f - 11, -5*f = y - q for y.
-1
Let a(h) = -h - 4. Let o be a(-3). Let l(j) = j**2 + 4*j + 3. Let y be l(o). Solve y = -i - 4*d - 1, -15 = 2*i + d - 6*d for i.
-5
Suppose 5*c = 6*c. Solve -1 = 4*p - 3*t - c, 1 = 4*p - 5*t for p.
-1
Let a be 18/(-4)*6/(-9). Let y be (-22)/(-6) - 2/a. Solve -s = -3*k - y, k - 12 = 6*k - 4*s for k.
0
Let c(f) = 2*f - 2. Let i be c(3). Suppose -i*j - 57 = -7*j. Solve 0*n - j = -3*n + 2*h, 0 = 2*n - h - 12 for n.
5
Let y(h) = 2*h + 12. Let m be y(-5). Solve -4*u - m = -5*r, u - 2*r = -0*u - 2 for u.
2
Let x be 4*(1*-3)/3. Let h(s) = -s**3 - 3*s**2 + 5*s + 1. Let m be h(x). Let d be (m/2)/((-1)/4). Solve 1 = i + a - 2, 5*a - d = -2*i for i.
3
Let y(s) = 3*s**3 - 2*s**2 - 1. Let c be (-1)/(-1 - (-4)/8). Let v be y(c). Solve -5*f + v = 3*j, 0 = -5*f - 2*j + j + 5 for f.
0
Let f be (-9)/(-3)*(-3 - -4). Let p be 1 - ((-3)/f + -1). Let i(u) = 2*u**2 - 4*u + 2. Let n be i(2). Solve 0 = -n*k + 2, -v + 5*k = -0*v + p for v.
2
Let l = 39 + -55. Let m = l - -9. Let z = -4 - m. Solve 3*s = -z*q + 18, -4*s - 3*q + 9 = -11 for s.
2
Let i(s) = s**2 + 3*s - 1. Let y be i(-4). Suppose -4*o + y*w + 4 = -1, 3*o - 3 = 3*w. Solve r - 5 = -l + o*r, 5*l - 4*r - 22 = 0 for l.
2
Let m = 14 - 0. Solve 5*h - m + 4 = 0, 3*h - 6 = -2*t for t.
0
Let y = -12 + 13. Let c be -1 - (-2 - y) - -1. Solve 21 = f - 5*s, -8 - 5 = c*f + 4*s for f.
1
Let g(b) = 4*b**2 - 2. Let o be g(-1). Solve w - f - 6 = 3*w, -2*f - o = -w for w.
-2
Let m(l) = 3*l + 2. Let a be m(4). Suppose -j = -3*j - 3*z, -3*j - z + a = 0. Let p be (-2)/(-4) - (-21)/j. Solve 5*q + 7 = 3*x, p*q + 4*x = x + 16 for q.
1
Let x be (-6)/(-4)*20/(-15). Let n be 16 + (2 - 1) + x. Solve 3*p - n = 3*h - 0*p, -3*p = 2*h - 5 for h.
-2
Let n(b) = -b**3 + 7*b**2 - 7*b - 12. Let t be n(5). Solve 0 = 3*l - 5*x - 6, 0 = -2*l + t*x - x for l.
-3
Let r be (-10)/4*2*-2. Solve -j + g + r = 0, j = 2*j - 2*g - 15 for j.
5
Suppose 0 = k + k - 26. Let i(t) = -t**3 + 13*t**2 + 4*t - 17. Let g be i(k). Solve -3*z + x + g = 5*x, -2*z - x = -15 for z.
5
Let y(x) = -2*x**3 - 3*x**2 - 2*x - 6. Let g be y(-3). Let a = 39 - g. Solve -11 = 5*j + 3*i + 3, 2*j + a = 2*i for j.
-4
Let k(c) = c**2 - 9*c + 5. Let z be k(10). Suppose 0 = d + 2*d + z, 12 = -2*n - 4*d. Solve 0 = -n*q + 8*q - 4*s, q = -2*s + 9 for q.
3
Suppose -4*q = 2*f + 6, -3*q + 1 - 4 = 2*f. Solve w - 1 = 3*x - 5, f*x = -w + 8 for w.
2
Suppose 39 = 8*p + 5*p. Solve -x + 3*x + 12 = 2*a, 0 = -p*x + 5*a - 24 for x.
-3
Suppose -8*a + 20 + 20 = 0. Solve -5*c + a*f + 20 = 0, 3*c + 2*f - 3*f = 6 for c.
1
Suppose 5*c + 0 - 30 = -5*r, 6 = 5*r - c. Solve -4 = -2*a - r*k, 10 = -0*a - 2*a + 5*k for a.
0
Let u be 0/(3*-3*(-5)/(-15)). Solve u = 4*p - q - 1, 6*p - 2*p - 10 = -2*q for p.
1
Let u = -127 - -147. Solve -2*x = -2*r - u, 6*x - 3*x = 5*r 