*v - 4, 4*o + 3 + 1 = 4*v for o.
0
Let v be (1 - 3)/((-12)/(-66)). Let o = v + 14. Solve s = 3*q - 13, 0 = -4*s - o*q + q + 18 for s.
2
Suppose -24 = 3*x - 75. Solve -a + 5*v = x, -a - 4*v = v - 23 for a.
3
Let w(c) = -c**2 + 9*c + 30. Let z be w(11). Solve 0 = 3*v - z*v - 4*q - 23, -7 = -v + 5*q for v.
-3
Suppose -3*k - 2*k = 0. Let t(b) = b + 5. Let c be t(k). Suppose 5*u - 16 = -s - s, c*u - 10 = 0. Solve -p = -d - 3, 0 = s*d + 2*d + 15 for p.
0
Suppose -4*r + 0*r - 8 = 0. Let s = r - -7. Solve -s*c = 15, -2*i + 3*c = -3 - 2 for i.
-2
Let x(i) = -i**3 + 2*i - 1. Let c be x(1). Solve -7 = 3*b - 5*h, 4 = -2*b + 4*h - c for b.
-4
Let j(q) = q - 1. Let b be j(3). Solve 2*r = b*w - 0*w - 14, -w - 5 = 5*r for w.
5
Let a = -6 - -11. Suppose -1 + 86 = a*i. Suppose 0 = -0*n + 4*n. Solve 0*l - l - 5*m + i = n, 0 = 2*l + 2*m - 10 for l.
2
Suppose -5*y = -5*r - 15, -2*y + 10 = y - 2*r. Solve -z + 3 = 0, -5*n - z - 3 = y for n.
-2
Let b(h) = 5*h**2 + 2*h + 4. Let j be b(-2). Solve 3*z + 0*s = s + j, -5*z = s - 20 for z.
5
Let t be ((-5)/20)/((-3)/36). Solve -5*q - 4 = -s - t*s, s - 2*q = 4 for s.
-4
Let l be (4 - 5)*(1 - 21). Suppose 4*y + y - l = 0. Solve 0 = -3*b + y*b - 3*i + 10, 5*i - 45 = -4*b for b.
5
Let c(t) = -8*t**3 - 2*t**2 + 1. Suppose 0 = -3*q + s - 7, -5*q - 6*s = -3*s - 7. Let o be c(q). Solve -2*z + 4*h = 2, 2*z - o*z = 3*h + 31 for z.
-5
Let l = 4 + -4. Suppose l = 2*y + y - 9. Suppose -5*v - 30 = -5*z, -y*v = 4*z + v. Solve z*o = -d - 5, 4*d = -5*o + 4 - 24 for o.
0
Let u(w) be the first derivative of 4*w**3/3 - 5. Let t be u(1). Solve t*k = -3*i + 16, k = i - 4*k + 1 for i.
4
Let z(i) = -i - 7. Let k be z(-10). Suppose -13 = -2*o - k. Solve 0 = -3*g + 4*a + 2, o*g - g - 7 = a for g.
2
Suppose 0*t + t - 2 = 0. Solve 0*c = -2*c - 3*i - 1, 0 = t*c - 3*i - 5 for c.
1
Let i be 0 - (1*-5 + 1). Let o(f) = 7*f + 6. Let u(d) = -15*d - 13. Let z(a) = 13*o(a) + 6*u(a). Let r be z(i). Solve -w + 5 - 19 = -5*h, r*w = -5*h - 6 for w.
-4
Suppose -8 = -f - 0. Solve 3*v = -3*b + 12, -2*v - b + 3*b - f = 0 for v.
0
Let q(m) = 3*m - 1. Suppose v + 5*a = 6, 2*v + 0*v + a = 3. Let s be q(v). Solve 3*k = -5*w - 2, -s*k - w + 3*w = 12 for k.
-4
Let k = 0 - 0. Suppose -s + 2*v - 18 = -6*s, 5*s + 4*v - 16 = k. Suppose 0 = s*t + t. Solve -10 = 5*q - t*q - 5*i, 8 = -4*q - 5*i for q.
-2
Let n = 3 + 21. Solve -3*q - q = -5*l + n, -3*q = l - 1 for l.
4
Let u(n) = n + 7. Suppose 2*r - 2*k = -3*k - 13, -2*r = -5*k - 5. Let m be u(r). Solve 2*j + 1 = f, -2*f = -3*f - m*j + 1 for f.
1
Suppose -2*t = 4*l - 10, -l - 5*t = 1 + 1. Solve -4*y - 7 = 3*s, -l*s - y - 2 = 2 for s.
-1
Let k be -1 + 8 + 0 + -2. Suppose 3*t - 5*b - 32 = 0, 2*b - 4 = -3*t - 0*b. Suppose -3*a + t*a = 0. Solve 4*i - k = -3*h, a*i + 3*i = -h + 5 for h.
-1
Let c(j) = -5*j - 51. Let m be c(-13). Solve 0 = b - y + 2, 5*b + m = -4*y - 14 for b.
-4
Suppose a + 9 + 16 = 0. Let f be (a/15)/((-3)/9). Solve 5*z + 0*v - 35 = f*v, 3*z + 2*v + 4 = 0 for z.
2
Suppose d - f + 10 = 4*f, -d + f - 2 = 0. Let j(a) = 0*a + d*a - a - 1. Let q be j(-1). Solve -2*x - 5*l + 4*l - 11 = q, 4*x + 5*l = -37 for x.
-3
Let d(v) = 17*v. Let m be d(1). Suppose w - 42 + m = 0. Solve 0 = 5*q + 3*a + 2*a - w, 2*a = q + 10 for q.
0
Suppose 6*r = 11*r. Solve 0 = a + 2, 2*l - 2*a = -r*a + 4 for l.
0
Let q = -27 - -34. Suppose 5*y - 2 = 13. Suppose -4*k = z + 4, -y*z + q*z - 5*k = 5. Solve -4*p + 8 = -8*p - 3*i, z = -5*i for p.
-2
Suppose 0 = 2*h - 4*w - 36, 0*w + 30 = 2*h + 2*w. Solve -2*l = -5*b - 0*b + 19, -2*l = 2*b - h for l.
3
Let m(v) = v**3 + 3*v**2 - 4*v - 2. Let h be m(-4). Let i be ((-2 - h)/2)/(-2). Solve i = -5*n - 2*y - 3, -4*n + y - 9 = -4*y for n.
-1
Let b(u) = 9*u - 5. Let w be b(5). Let s be (6/(-8))/(5/w). Let g be -1*(-5)/((-10)/s). Solve 4*h - h = -3*d + 6, -g*h + 14 = -d for d.
-2
Suppose 3*h = -2*h + 60. Solve -3*j - 4 - 6 = 2*s, -2*j = 4*s + h for j.
-2
Let j(y) = -3*y - 3. Let g be j(-2). Suppose g*r - 2*r = 1. Let x(m) = -m**3 + 3*m**2 + 2*m + 11. Let i be x(4). Solve s + 3*o = -s + 12, r = i*s - 4*o for s.
3
Suppose -2*p = -10 + 4. Let m be 2*1/(-4)*-6. Suppose -5*q + q - 3*c + 28 = 0, m*c - 4 = 2*q. Solve -2*o = -5*x - 8 - 15, -p*x - q*o = 19 for x.
-5
Suppose 6*i = i + 10. Suppose p - 4 = -3*c + 4, 0 = -3*p + i*c + 24. Solve -3*j = 2*t + 19, 0*t + p = -4*t for j.
-5
Suppose 0*q - 9 = -3*q, 0 = -4*p - 4*q + 32. Let s = -5 + p. Solve 2*l = -5*a - 21, s*l = 3*l - a - 11 for l.
2
Let p(k) = -3*k**2 - 2. Let f be p(2). Let x = -11 - f. Solve 4*u = -o + 10, o + x + 5 = 5*u for u.
2
Suppose -3*j - 9 = -2*n, 3*n - j = 3*j + 12. Solve n = -2*a - 5*p + 1, -2 = 4*p - 2*p for a.
3
Let m be (-15)/(-2)*112/35. Let s = 29 - m. Solve 4*d + 30 = s*j, -2*d + 3*d - j = -7 for d.
-5
Suppose 5*i - 16 = 3*q + 12, -5*i + q = -36. Solve -3*z = -2*x + 13, 4*z = -i + 4 for x.
5
Suppose -3*b + 7 = 1. Solve 2*q - 4*y + 26 = 0, -8 = -0*y - b*y for q.
-5
Let o(z) = z**2 + 5*z - 9. Let y be o(-7). Solve -2*l + 0*l - y*v + 1 = 0, -3*l + 6 = 3*v for l.
3
Suppose c + 1 = 0, 0*g - 11 = -2*g + 3*c. Let m be 0/(1*1/(-1)). Suppose m*k + 3*k = 6. Solve k*d + 2 = -2*h, -5*d = 3*h - g*h + 17 for d.
-3
Suppose 5*r + 7 + 17 = 3*z, 8 = -r - z. Let o be ((-4)/(-3))/((-2)/r). Let m be (1 - o)*(-4)/6. Solve 3*v = -5*j - 4, -m*j + 4*v = 2*v - 8 for j.
1
Let l be (4 + -5)*-1*(2 + 2). Solve -h + 3*k = -18, 0 = -l*h + k - 6*k - 13 for h.
3
Let z = 12 + -18. Let a = z + 9. Solve 4*c = 0, 1 = 4*l + 2*c - a for l.
1
Suppose 0*i + 6*i = 48. Solve 8 = -4*x + 2*o, 4*x - 4*o + o = -i for x.
-2
Suppose 3*s + 9 = -3*i, 9 = 2*i - 3*s - 5. Solve 5*q + u + i = 3*q, u = -q for q.
-1
Let a be (2 + -2)/(0 + -1). Suppose a = -n + 4. Solve -n*v = 2*c - 10, -v - 25 = c - 5*v for c.
-5
Suppose -2 + 12 = -5*u. Let j be u/7 + 46/14. Solve -4*a + 1 = j*l, 3*a = -2*l - l for l.
-1
Let m = -35 - -40. Solve o + 3 + 7 = 2*p, m*p = -4*o + 12 for p.
4
Let o(s) = -2*s + 2. Let u be o(-2). Suppose -5*a = -2*l - 4, -5*l - 6 + 50 = a. Let v be u/15 + l/5. Solve -21 = -3*y - 2*f, -6*f = -v*f - 12 for y.
5
Suppose -s = -2*s + 6. Let t = 10 - s. Suppose t*j + j = 0. Solve -4*p - 3*i - 3 = -8, -2*p + 3*i + 7 = j for p.
2
Let k be 6/4*(-16)/(-6) + -1. Solve 2*l - k*j + 7 = -0*j, 0 = -5*l + 2*j + 10 for l.
4
Suppose 45 = 5*a - 35. Solve 3*u + d = -0*u + a, 0 = -u + d for u.
4
Suppose 3*p + p = -8. Let j be p/6 + (-30)/(-9). Let r be (3/(-2))/(2/(-4)). Solve 0 = -r*o - 3*x - 24, -j = -0*x + x for o.
-5
Let s = 92 + -90. Solve 3*l - z = -16, -s*l = -4*l + z - 12 for l.
-4
Suppose -5*n + 84 = 2*n. Solve 2*d - 4*a - 14 = 4*d, -3*a - n = 3*d for d.
-1
Suppose -2*a - 29 = -4*n + 3*n, 2*n - 2*a - 64 = 0. Suppose 2*y - 6*y + 20 = 0. Solve -5*q - y = -0*q - 4*g, 3*q = -4*g - n for q.
-5
Let m = -1 + -3. Let o = 14 + m. Solve 3*v + 0*z = -4*z + o, v + 6 = z for v.
-2
Let d = -6 - 29. Let a = -15 - d. Solve 10 = -3*p + 2*y, -2*y + a = -5*p + 3*y for p.
-2
Let r(a) = a**3 - 3*a**2 + 2*a - 2. Let m be r(2). Let c be 0*m/(-6) + 0. Solve 3*d = -d - u - 12, -d - 5*u - 3 = c for d.
-3
Suppose -26 = -5*l - 6. Let g be 2/l - 44/(-8). Let f be 16/(-6)*(-9)/g. Solve v - 3*u = 10, 2*v = -2*v + f*u for v.
-5
Suppose -2*s = -3*s + 4. Suppose -s*i + 52 = -0*i. Suppose b - 7 - i = 0. Solve 0 = -5*m + 5*n - 10, 4*m + b = -n - n for m.
-4
Suppose w - c - 1 = 0, 11 = w + 5*c - 2. Solve 2*q - q + 3*u = w, -2*q - 5*u + 6 = 0 for q.
3
Let x(a) = a - 3. Let h be x(5). Suppose -h*t + 80 = 3*t. Suppose 3*g + t = 7*g. Solve 2 = 2*p + 4*n + g, 0 = -5*p + 2*n + 19 for p.
3
Let c be ((48/(-15))/4)/(4/(-170)). Solve -u - 2*u = 5*a - c, -3*a + 9 = -2*u for a.
5
Let m(b) = b - 7. Let k be m(7). Solve k = -3*l + g - 0 + 8, 4*l - 3*g = 4 for l.
4
Let q(c) = c**2 + 14*c + 17. Let x be q(-13). Suppose -4*i + 10 = -2*d, -3*i - 19 = -4*i - 5*d. Solve 4*u - x*n - 4 = -12, -4 = -i*n for u.
-1
Suppose 6*r - r - 20 = 0. Suppose -70 = -d - r*d. Suppose -2*f = -f - 3. Solve -d = u - f*u - 2*q, 0 = 2*u + 3*q - 17 for u.
4
Suppose 0 = 2*l + 2*l - 12. Let o(n) = n + 7. Let v(a) = -6. Let b(h) = 2*o(h) + 3*v(h). Let y be b(l). Solve 3 = y*x - 6*x - c, 4*x + 6 = 2*c for x.
-1
Suppose 2*l - 5*f = -2, -2*l + 10 = -0*f + f. Suppose l*q - 6 = -2. Let z be 4 - q - (6 + -7). Solve 0 = -z*o + 22 - 2, 4*j + 3 = 3*o for j.
3
Suppose 10 = -0*d + 5*d. Let m(f)