 - 4*j - 6, 5*v - 30 = q*j for v.
3
Suppose -4*k + 0*k - 4 = 0. Let l be 7/(-4)*4/k. Solve p = -p + 3*z - l, 3*z - 5 = 4*p for p.
1
Let k = 6 + -3. Let c = k + 16. Solve 0 = -2*x - 3*x + 2*s - 29, -3*x - c = -2*s for x.
-5
Suppose 0 = -4*y - 5*n - 72, 0*y - 73 = 5*y + 2*n. Let l = y + 22. Solve -5*b = -2*r - 3*b - 10, 3*r = -3*b - l for r.
-4
Let c(t) be the first derivative of 3*t**4/4 - t**2/2 + 4. Let l be c(1). Suppose a + 6 = m + 2*a, l*a = 3*m - 3. Solve v = g + m - 2, g = 5*v - 17 for g.
3
Let z = -34 - -38. Solve -4*q = -3*a - z, -4*a = -q - 2*a + 6 for q.
-2
Let k be 0/(-1) + -3 + 22. Let u = k - 16. Solve -u*d + 6 - 17 = -2*c, -4*c = -16 for d.
-1
Let o(v) = v**2 - 4*v + 3. Let q be o(3). Let g = 9 - 2. Let h = 10 - g. Solve q = h*a - x + 13, x + 14 = -2*a - x for a.
-5
Let p be (-5*(-15)/50)/((-9)/(-12)). Solve 5*s + 5*b + 25 = p*s, b = -4*s - 5 for s.
0
Let c(a) = a**2 + a - 1. Let w be c(2). Let s = -6 + 11. Suppose -2*l = -s*l. Solve -5 = -5*h - l*u + 5*u, w*u + 1 = h for h.
1
Suppose 0 = -3*j - 5*q + 3*q + 10, -2*j - 3*q + 15 = 0. Suppose -3*c = 2*i - 20, 0*i + 3*c = 2*i - 32. Solve 0 = -j*t - 3*t - 2*p - 14, -p - i = 3*t for t.
-4
Suppose 9 = 4*v + 37. Let h = v + 9. Solve o = 3*i + 19, 0*i + 12 = -4*i - h*o for i.
-5
Suppose 6*s + 16 = 130. Solve 5*y = -4*t + 27, -4*y + 2 = 3*t - s for y.
3
Suppose 5*k + 3*u = 41, -2*k - u + 8 = -8. Suppose -h = -3, 0 = -a - 2*h + 3 + k. Suppose a = 3*f - 11. Solve f*z + 16 = -3*s + 4*z, 4*s + 4*z + 32 = 0 for s.
-4
Let f(x) = -26*x + 2. Let g be f(-1). Suppose 2*y + 19 = 6*y - o, 4*o + g = 4*y. Solve -y*z - 23 = 5*b, z - 2*z + 4 = -2*b for b.
-3
Let z(i) = 2*i - 9. Let d be 2/(2 - 1) + -2. Suppose -j + 3*j - 14 = d. Let w be z(j). Solve 0*q + w*h = 2*q + 3, 0 = -5*q - h - 21 for q.
-4
Let b = 10 + -8. Let q be -4*(14/(-8) + 1). Suppose -7 = -2*y + q. Solve -5*c + 6 = b*g - 4*c, 3*g = y*c + 35 for g.
5
Let j(g) = -g**2 + 9*g - 15. Let k be j(5). Solve k*x + 0*p - 5*p = 10, -2*x + 3*p + 9 = 0 for x.
-3
Suppose -4*h - 2*k = -58, 2*h - 40 = 3*k - 7. Suppose -15 = -3*t + h. Solve -5*r + 3*d = 10, t = -0*d + 2*d for r.
1
Suppose 0 = -8*z + 5*z + 6. Solve -4*y - 4*r = 4, z = 2*y + 5*r - 2 for y.
-3
Suppose 0 = 3*u - r - 0*r - 7, -u + 3*r = 11. Suppose u = 3*k - 2. Solve 2*z - 3*g = k - 1, -12 = -4*z - 4*g for z.
2
Let t = -96 + 97. Solve a = -g + 2, g + t = 3 for a.
0
Let v(w) = -2*w - 14. Let j be v(-9). Solve -2*g - 2*r = -j, -g + r = -0 + 2 for g.
0
Suppose 3*j + 3*z = -j + 63, 32 = j + 4*z. Suppose -3*b + 0 = -6. Suppose -s + b + 3 = 0. Solve -q + 4*q = s*l + 18, 0 = 4*l + j for q.
1
Let z = -8 + 24. Suppose -g - 5 = -z. Solve -13 = -3*m - 2*j - 2*j, 0 = 4*m - j - g for m.
3
Suppose -6*o + 3 = -3*o. Solve -2 + 14 = -4*u, 4*g - u = -o for g.
-1
Suppose 12*t - 6*t - 30 = 0. Solve 4*k - 21 = t*v, 2 = 2*k - 6 for v.
-1
Let a = 81 + -79. Solve x = -a*q + 9, -4*q - 1 = -4*x + 11 for x.
5
Let w(b) = b**2 - 3*b + 12. Let c be w(5). Solve 2*z = -5*k + 18, 0*k + 3*k = -4*z + c for z.
4
Suppose 2*w = 3*r - 0*w - 6, 3*r = -2*w + 18. Solve -4*m - 4*n = r, -4 = 2*m - 5*n + 26 for m.
-5
Suppose a = 3*u - 1, -u = -4*a + 2*u + 32. Solve -4*k = -5*k - 2*y + 1, 2*k - a = 5*y for k.
3
Let s(d) = 2*d. Suppose -2*p - 3*w = 1 - 4, 3*p - w - 10 = 0. Let u be s(p). Solve -u*v + 2*v = -16, 5*v - 30 = -5*o for o.
2
Suppose 6*w - 3*w = 57. Solve -4*i + a = -3*a - 28, -a = -4*i + w for i.
4
Let v be (0 - 3/(-9))*9. Let g = 12 - v. Suppose 6 = 5*u - g. Solve -h = -0 + 2, -u*h = a + 10 for a.
-4
Let k be (-3 - 20/(-8))*-4. Let d = -2 + 4. Suppose -d = -2*q + k. Solve -4*t - z - z = 14, 0 = q*t + 5*z + 19 for t.
-2
Let q(d) = 3 - d**2 + 4*d + 2 - 6*d. Let k be q(0). Solve -k*z + 15 = -2*b, 4*z - 11 - 1 = -2*b for b.
0
Let j = -2 + -8. Let v = -7 - j. Solve 0 = p - 3, -4*p + 4 + v = x for x.
-5
Let u(b) = -b**3 + 5*b**2 - 4*b - 4. Let o be u(4). Let w = o + 6. Solve 1 = w*m + t + 2, -3*m - 9 = -t for m.
-2
Let f(h) = -8 + h + 3 - 1. Let k be f(5). Let m be k/3*(-2 + -7). Solve r - m*x - 16 = 0, -4*x - 4 - 12 = 4*r for r.
1
Let w = -4 + -1. Let l = 7 + w. Solve 3*s - 4 = l*i, -5*i - s + 8 = -16 for i.
4
Suppose 18 + 30 = 3*d. Solve -3*b + d = -9*q + 4*q, -4*q - 2*b = 26 for q.
-5
Let q be 208/20 + (-2)/5. Suppose 0 = 2*n + 3*z - q, 2*n - 15 = -n + 3*z. Solve -l + 2 - 3 = -k, -2*k + 5 = -n*l for l.
-1
Let u = 0 + 3. Solve m + p = 8, 3*m - 9 = -p + u*p for m.
5
Let c(j) = -j. Let d(u) = -u**2 + 5*u - 2. Let a(y) = c(y) - d(y). Let v be a(6). Solve v*l + 0*f - 3*f - 20 = 0, -4*f = -4*l + 32 for l.
4
Let q = 0 + 4. Suppose -2*f - 7*a = -4*a - 13, 4*a = -2*f + 14. Solve -d = f*n - 26, 0*d + 19 = q*n - d for n.
5
Let u(s) = s. Let c(w) = -4*w + 6. Let x(d) = -c(d) - 3*u(d). Let i be x(8). Let l be 2/1*(-3)/(-2). Solve -i*v + 2*z = l*z + 11, -4*z = v + 16 for v.
-4
Let t be 14/42 + (-1 - (-17)/3). Solve m = 4*s - 3*m, -t*m = 3*s + 16 for s.
-2
Let l be 10/15 + 8/6. Let x(i) = 2*i - 2. Let s be x(l). Solve -6 = -3*n + 3*r, -5*r - 10 = -s*n - 0*r for n.
0
Let k = 3 - 3. Suppose k = 2*o + 3*a - 1 + 4, 4*o - 2 = 2*a. Suppose 6*g - 4*g - 6 = o. Solve -5 = -5*i, -g*i + 9 + 2 = -2*n for n.
-4
Suppose 0*o + 2*o - 6 = 0. Let p(r) = 5*r + o*r**2 - 2*r - 2*r**2. Let l be p(-4). Solve -2*t + 2*q = -2, l*q + 8 + 0 = 3*t for t.
-4
Let x be (150/(-3))/(-10 - -8). Solve -4*z + 2*z + x = -5*t, z - 5*t = 25 for z.
0
Let j(n) = n**3 + 6*n**2 - 3*n - 14. Let c be j(-6). Solve 3*u - 7 - 2 = 0, -4*q + c*u = 12 for q.
0
Let s be (1 - (-2 - -2))/(2/4). Solve -2*m - a = 2*m - 4, -3*m = s*a + 2 for m.
2
Let q = 1 + 2. Let k = -116 - -122. Solve -4*p - 5 = -q*j, k*j - j + 20 = p for p.
-5
Let z(p) = p**3 + 3*p**2 + 5. Let t be z(0). Solve t = -3*d + 3*b - 4, -b = -4*d for d.
1
Let l = 6 - 6. Let d(v) = -v**2 - v + 3. Let p be d(l). Suppose 5*h + 2 = -4*a, 4*h - 3 = a + 8. Solve 4*r + 5*u - 7 = 0, -p = -h*u - 5 for r.
3
Suppose u = -3*u + 32. Let f be 1/(-4) + 2/u. Solve 2*y + 9 = -3*i, f = 3*i - i - 5*y - 13 for i.
-1
Let q(p) = -p**2 + 3*p. Let a be q(2). Solve 5*j + a*m + 13 = 0, -3*m = 2*j - 5*m + 8 for j.
-3
Let m(w) be the first derivative of -w**2 - 3*w + 3. Let g be m(-9). Let n be (1 + -2)*g/(-3). Solve -4 = 4*f, n*f + 8 - 4 = -o for o.
1
Let j(t) = -t**3 - 3*t**2 - 2*t - 3. Let g be j(-3). Let p = 4 - 2. Let f = g + p. Solve -u = f*k + 8, -6*u = -k - u + 14 for k.
-1
Let d = 4 - 0. Suppose l - d*l + 6 = 0. Solve -l*j + 12 = 2*m, 21 = 3*m - 2*m + 4*j for m.
1
Suppose 0 = -4*r + 20, -30 + 115 = 3*d + 2*r. Solve 5*i = d, 0*z - 35 = 4*z - 3*i for z.
-5
Suppose -2*d - 3*s + 19 = 0, 0 = -2*d - 4*s - 0*s + 24. Suppose -5*w = -7*q + d*q + 20, -4*q + 15 = -3*w. Solve q*k = -4*l - 8, 0 = -2*k + k - 4*l - 8 for k.
0
Suppose -41 = -4*h + 3*t - 2, 4*t = -5*h + 10. Let m be -1 + 2 + h + -5. Solve 3*c - 7 + 1 = -r, -5*c = -m*r - 10 for r.
0
Let s = 6 - -1. Let b(m) = -m**2 + 6*m + 7. Let i be b(s). Suppose -2*g - 3*x + 10 = i, 0*g - x = g - 4. Solve g*a - 5*u - 5 = 0, 4*u - 7 = -a + 2 for a.
5
Suppose -4*m = l - 13, 4*l = -9 + 29. Suppose 0 = -3*o - 2*o - 5, -4*c + 2*o = -22. Solve 0*h + 5*b = -2*h + 22, m*b - 13 = -c*h for h.
1
Let q(t) = -4*t. Suppose -2*z = -0*z + 2. Let d be q(z). Let v be 2/(-5) + 62/5. Solve 0 = d*a + 2*k + 3 - 17, 2*a = -2*k + v for a.
1
Suppose -2 = 2*i - i. Let l = i - -15. Solve -5*g + 0*u = -3*u + l, 2*g + 2*u = -2 for g.
-2
Let a(r) = r**3 - 15*r**2 - r + 18. Let s be a(15). Let u(w) = -w**2 + 5*w - 2. Let m be u(4). Solve 3*z - s*n + 7 = -m, -23 = 5*z + 3*n for z.
-4
Let m = 10 - 7. Let k be 2/(32/(-20))*-20. Suppose 2*g - k = -m. Solve 0 = p + 3*l + 18, 0 = 3*p - 2*l - 2*l - g for p.
-3
Let i be (2 - 4) + (6 - -5). Solve 3*g = 15, -x - i = x - 3*g for x.
3
Let t(q) = 28*q**3 - q**2 + 1. Let f be t(1). Suppose 15 = -x - 4*a, -15 = -2*x - 3*a + 4*a. Solve -2*k + 3*p = -20, -k + f = k - x*p for k.
4
Let v(p) = -p**2 + 4*p - 1. Let c be v(3). Suppose 4*n = 10 + c. Solve 2*a + 3*a - 5 = 3*d, -3*a + n = 0 for d.
0
Let i = -24 - -25. Solve 3*u = -5*k - 2*u - 10, -2*u = k - i for k.
-5
Let t be 40 - 9/(-3) - 1. Suppose -c - t = -4*c. Let y = c + -9. Solve y*f + 4 + 36 = -5*i, 5*i + 36 = -4*f for i.
-4
Let z(g) = -g**3 - 5*g**2 + 6*g + 3. Let k be z(-6). Let l(h) = 2*h - 1. Let v be l(k). Solve 3*t - 3 = 2*p, -17 = 2*p + 2*p + v*t for p.
-3
