 = 5*p - 16, 7*p - 9 = 4*p + q for p.
2
Suppose -c + 0*c - 4*f = -11, -5*f = -5*c + 5. Let r = 3 + c. Solve -5*l + r*v - 20 = v, 2*v = 0 for l.
-4
Let s = -5 - -6. Let t(w) = s + 0 + 0 + 21*w**3 - 2. Let f be t(1). Solve -4*g - 8 = 0, 5*n - 5*g - f = -0*g for n.
2
Suppose -m = -4*o + 16, o + 3*m + 21 = 4*o. Suppose -z + 5*z = 8. Solve -2*k = 4*j + o + 7, 4*j = z*k - 22 for k.
3
Let t be 10 - 2/4*-2. Let b be (74/6 + -11)/((-2)/(-18)). Solve 2*m - 3*v - b = 0, -m + 4*v + t = -0*v for m.
3
Let d(n) = n**2 + 7*n - 8. Let r be d(-6). Let p be -53 + 0 - (-1 + 0/5). Let j be (-12)/(-42) + p/r. Solve -2*b + 5*b - 8 = 2*l, -14 = j*l - 5*b for l.
-1
Suppose 0 = -5*x + 3*o + 20, -3*o - 8 = -2*x + o. Solve 3*t + 0*c = c, 3*t - x*c = 0 for t.
0
Let m(y) = -2*y - 7. Let a be m(-5). Suppose 0*w + 3*s = w + 3, a*w = 5*s - 1. Solve -23 = -5*l + o, -l + w*l = -5*o + 20 for l.
5
Suppose 27 = -2*t + 67. Suppose -2*z = 2*v - v - 9, -5*v = -3*z + t. Solve p = -z*b + 22 - 5, -5*p = -b + 19 for p.
-3
Let h = -18 + 20. Solve 4*v = 4, -h*c + 3*v = -0*c + 1 for c.
1
Let y be (-26)/(-10) - (-4)/10. Suppose 28 = 5*g - g. Let t be (3 - g/2)*-4. Solve y*k = -3*z + 12, t*z + 3*z = 4*k + 29 for k.
-1
Let d(g) = -g**2 - 9*g - 16. Let u be d(-5). Solve u*t - 3*c = -t + 23, -11 = -4*t - 5*c for t.
4
Suppose 3*u + u - 16 = 0. Let s(j) = 1. Let f(i) = -i + 3. Let x(t) = -f(t) - 6*s(t). Let b be x(9). Solve h + 8 = -a, -h + b*h + 3*a + u = 0 for h.
-5
Let w(r) = r**2 - 6*r + 9. Let i be w(4). Solve -2*n = n, -m + 5*n + i = 0 for m.
1
Let c be (2 - -1) + 12/3. Suppose 3*w = c*w. Solve u - 3 = -3*a - 4, -a + 4*u - 22 = w for a.
-2
Let g = 1 + 4. Suppose -2*x - 4*m = -m + 34, 3*x + 5*m + 53 = 0. Let l be x/(-3) + (-1)/(-3). Solve o - 5*b = -4*o, g*o = 4*b + l for o.
4
Let j = -3 - -9. Suppose -4*a + j = -a. Solve 3*q = -2*n + 2, n = 4*q - a*n + 3 for q.
0
Suppose 4 = 7*t - 3*t. Solve -4 = -a + s - t, -2*a + 4*s = -2 for a.
5
Let x(h) = 2*h**3 + h**2. Let q be x(1). Let s(y) = -y**3 - 7*y**2 - 9*y - 7. Let f be s(-6). Solve i = -i - 4*p - 14, 0 = q*i + p + f for i.
-3
Suppose -14 = -4*z + 2*f - 0, -z + 1 = -3*f. Let q(k) = 6*k**2 - 4*k + 1. Let o be q(1). Solve 6 = -z*s + 2*u, s + 16 = 2*s + o*u for s.
1
Let a = -13 - -16. Solve -a*w + 0 = -2*d + 1, -w = 4*d + 19 for w.
-3
Let x = 23 - 20. Solve o - 2*b - 14 = 0, 4*o + 2*b - x*b - 21 = 0 for o.
4
Let v(q) = 2*q**2 - 15*q + 7. Let s be v(7). Solve s = 5*o - 4*g + g + 5, -9 = -2*o - g for o.
2
Suppose 0 = -2*q - 156 - 84. Let y be q/(-9) + 4/6. Solve d + 0*d = 4*b + y, 3*b = 4*d - 17 for d.
2
Let z(s) be the first derivative of s**4/2 - s**3/3 - s**2/2 - 2*s + 1. Let m be z(2). Solve m = 2*j, 3*l + l - 8 = -4*j for l.
-2
Let v(q) = -q**3 - 3*q**2 + 3*q - 2. Let d be v(-4). Suppose -u + 2*u - d = g, 3*g - 29 = -4*u. Solve 3*l - 5*j - 13 = 4, 0 = -2*l - 5*j + g for l.
4
Let g(v) = v**2 + v + 3. Let i be g(-2). Solve 4*d - 12 = -4*z, -i*d = -4*d - 3*z - 3 for d.
3
Let g(m) = -m**2 - 8*m + 4. Let q be g(-8). Suppose -q*h = -2*v - 8, -3 + 23 = 4*h. Let k = v - 4. Solve 4*d = 0, -k*f + 4*d - 7 = -1 for f.
-3
Let i(m) = -3*m**2 + 19*m - 5. Let q(l) = l**2 - 9*l + 2. Let o(k) = -2*i(k) - 5*q(k). Let n be o(-7). Solve 15 = 3*v - 5*j, n = 3*v - 0*v + j + 3 for v.
0
Let u(x) = x**2 + 2*x + 1. Let d be u(-1). Solve 0 = 5*h + 2*l - 3, d*h + 3*h - 2*l = -11 for h.
-1
Suppose -x + 8 = -4*l + x, 0 = -3*l + 4*x - 6. Let s(o) = -o. Let z be s(l). Solve 3*w + 11 = -q + 3*q, z*w = -4*q + 14 for w.
-1
Suppose 3*a + 16 = -a. Let h be (-19)/(-2) + (-2)/a. Let n be 13 + 1*(0 + -1). Solve 5*u = -3*i + n, i = 5*u - 2*u - h for u.
3
Suppose -2*s + 6 = 0, 5*t - 2*t + s = 162. Let k be (-6)/2 + (2 - -2). Solve 3*c = 2*v + k, -5*c = 5*v - t + 18 for c.
3
Let n(j) = -7*j + 3*j**2 - 4*j**2 - 6 + 2*j**2. Let t be n(10). Solve 3*i - v + 6 = -2*v, -4*i + 4*v - t = 0 for i.
-3
Let i(j) = 7*j**2 + 7*j - 4. Let d(q) = 3*q**2 + 3*q - 2. Let o(c) = -9*d(c) + 4*i(c). Let h be o(-2). Solve -4*w - h*k = k - 1, -5*w - 3 = 2*k for w.
-1
Suppose -6*g = -2*g + 28. Let l = 12 + g. Solve -3*q = 4*d - 14, -4*q = 4*d - l - 11 for d.
2
Let k be (15/(-10))/((-3)/44). Let j(m) = 4*m - 8. Let c be j(6). Solve -b - 5*w + k = 0, -4*b - w - w + c = 0 for b.
2
Suppose j = 6*j + 5*v - 5, v + 1 = 0. Solve d - 3 + 0 = -4*o, j*d = -3*o + 6 for d.
3
Let a = 56 + -51. Solve -4*p - 16 = 4*g, a*g + 0*p = -4*p - 18 for g.
-2
Suppose -2*v + 1 = -4*v - 5*i, -2*i - 8 = -3*v. Suppose -v*k = 2*k. Solve 0 = 2*m - 5*u + 29, -21 = -k*m + 3*m - 3*u for m.
-2
Let o(y) = -y - 10. Let m be 0 - 33/(-9)*-3. Let f be o(m). Solve 0 = -2*k + 3*n + 6 - f, -4*n = 12 for k.
-2
Suppose -5*z + 3 = -7. Solve 4*q + 3*y + 2 = 0, 0 = -5*y + z*y - 6 for q.
1
Let x = -8 - -15. Let o = x + -4. Solve -3*v - 12 = o*z, 3*v - z + 16 = -0*z for v.
-5
Let g(q) = q - 4. Let y be g(6). Solve -2*p + p - v - y = 0, -1 = v for p.
-1
Suppose -2*l + 5*l = -9. Let u be 3/(-1)*l/3. Solve -y = 6*r - 2*r - 5, -u*r - y + 5 = 0 for r.
0
Suppose 5*s - 51 = 29. Let q(a) = 4*a - 48. Let u be q(13). Solve 3*j - u*c + s = 3, j + 19 = 5*c for j.
1
Let n(w) = -2*w - 17. Let f be n(-9). Solve 0 = 5*p, -4*m + p + 7 + f = 0 for m.
2
Suppose -5*n = 44 - 59. Suppose r = -r + 16. Suppose -n*g + r = g. Solve -5 = g*s + 5*l, 2*l - 4 = -3*s + s for s.
5
Let b be (2/(-4))/(7/(-42)). Suppose 5*l + 21 = b*u, -4*u + 2*l = -3*u - 8. Suppose 5 = u*q + 1. Solve -k - 2*k = 6, 2*i = -q*k + 2 for i.
3
Suppose -13 - 2 = -3*a. Let f = a - 5. Let o be -1 - (f - 5/1). Solve o*m = -3*v - 24, 3*v - m - 3*m = 0 for v.
-4
Suppose 0 = -3*u + w + 5, 0*w - 11 = -5*u - w. Solve g - 3*a = u*g + 4, -2 = 2*g + 3*a for g.
2
Suppose 2*r = 19 + 19. Suppose r - 60 = -5*v - s, 4*v + 3*s = 35. Solve 3*k + z = -v, 0 = k - 0*k + 4*z + 21 for k.
-1
Suppose -3 = 2*l - 5. Suppose -o = -0*o + 7. Let s = -3 - o. Solve s*j + j = 4*p + l, 3*j - 6 = -3*p for j.
1
Let v = 23 + -23. Solve q + 2*l = 4*q - 6, -2*q + 4*l + 12 = v for q.
0
Let n be (-42)/(-8) + (-1)/4. Suppose -4*f - 4*g + 15 = -n*g, 2*f - 4 = 4*g. Solve 0 = -f*t + 8, 11 = 4*k + 2*t - 5 for k.
3
Let n(t) = t**2 - 2*t - 4. Let i be n(4). Solve 12 = i*a - 4*f, a - 15 = 4*a + 3*f for a.
-1
Let j be (-3)/(9/(-3)) + -3 - -7. Solve -5*h + 15 = j*d, -h + 2*h = -5*d + 7 for h.
2
Let o = -61 - -65. Solve 3 = -o*p + 3*p - 4*z, 7 = p - z for p.
5
Suppose -w = -4*a + 103, 3*w + 1 + 8 = 0. Suppose 0 = -6*z + z + a. Solve -z*q + 14 - 5 = v, -q - 11 = -3*v for v.
4
Suppose q - 1 - 2 = 0. Suppose q*s + 10 = 2*i, -i - 15 = -4*i + 3*s. Solve 3*b - 3*n = -5*n + 5, -i*b + 13 = n for b.
3
Suppose -2*y + 0 = 6. Let b = y - -3. Solve 2*j - 2 = 0, -3*h - 3*j + 24 - 6 = b for h.
5
Let d = -2 + 6. Solve l + 5 = 4*b, 20 = -d*l + b - 3*b for l.
-5
Suppose 2*u = -2*x, -x + 8 = u + 2*u. Suppose -2*a + 3*o + 13 = 0, 0*a = -2*a - u*o + 6. Suppose n + 4 = 3*n. Solve -r - a = j, 0*j - n*j = 0 for r.
-5
Suppose -2*c - 3*c = 4*s - 98, 5*c - 116 = 2*s. Suppose -5*a - 6 = -y - c, -2*y = 2. Solve 0 = -a*f + 4*q - 2 + 14, -q = 5*f - 20 for f.
4
Suppose 5 = 5*z - 80. Let j = z + -12. Solve -3*w + j*i = 15 - 4, -3*w + 17 = 2*i for w.
3
Suppose -4*m - 25 = 11. Let b = -7 - m. Solve -2*v + 3 = 2*v + 3*i, v - b = -i for v.
-3
Let c = -4 - 0. Let f(l) = -3*l - 6. Let a be f(c). Solve -x - 12 = 3*t, -a*x + 4 = -t - 2*x for t.
-4
Suppose -n + 40 = 4*n. Solve n = 4*y + 4*h, 3*h + h = 5*y + 8 for y.
0
Suppose -4*v = -14 - 30. Let q = -9 + v. Solve 3*j = q*w + 21, 2*j = 6*j - 5*w - 35 for j.
5
Let k(g) = g**3 - 4*g**2 + 5*g - 2. Let w be k(3). Solve -2*c = w*h + 2, -h - 2 = 4*c - 2*c for c.
-1
Suppose -3*d + 3*a = 0, -d - 5*a = d + 35. Let f be (0 - 1 - -2) + d. Let y(t) = -t - 1. Let m be y(f). Solve -2*n + m*b + 2*b - 3 = 0, -3*n + b = 11 for n.
-4
Suppose -5*g - 78 = -98. Suppose 0 = 5*t - 5, 0*z + 8 = 3*z - t. Suppose -5*y - 80 = -5*a, 2*y = 3*a - 1 - 47. Solve -z*l - x - 7 = -5*x, 0 = g*l + x - a for l.
3
Let n(b) = -b**2 - 6*b. Let s be n(-6). Solve 3*a = 3*q - 9, s*q + 5 = -3*a + 2*q for a.
1
Let i be 50/15*(-1 - -4). Suppose -v + 2*t + i = v, -9 = -3*v - 3*t. Solve -h + 7 + 6 = -4*w, -v*h - w + 18 = 0 for h.
5
Let q be (-4)/18 - (-140)/(-18). Let n(s) = -s**3 - 8*s**2 - 3*s - 9. Let a be n(q). Solve -5*w = 4*y - a, 2*w = 8 - 2 for y.
0
Let u(v) = v - 2. Let z be u(3). Suppose 2*q = 