3*j = 7*j - 35 for z.
5
Let o(m) = 3*m + 1. Let j be o(-1). Let i be ((-8)/7)/(j/7). Solve -5*w + i*h - 3 = 0, 2*h = -w - 2*w - 15 for w.
-3
Let d be (-2)/6 - 76/(-12). Suppose -4*s = -s - d. Let l(g) = -5*g - 1. Let n be l(-2). Solve -t = -4*x - n, -t + s*t + 2*x = 3 for t.
5
Let y(t) = t**3 + 8*t**2 - t - 5. Let d be y(-8). Suppose 0*a + 3*a - d*w + 3 = 0, -a + 5 = w. Solve 2*j + j - 3*c + 12 = 0, -5*c + 20 = a*j for j.
0
Suppose h = 2*h - 3. Solve h*m + 11 = -2*n, n + 0*n - 8 = 3*m for m.
-3
Let p = -3 + 7. Suppose 5*y - y = 0. Let i be (2 + 3)*(-1 + 2). Solve i*k - 19 = p*z, -3*k + 6 + y = 3*z for k.
3
Let v(g) = -g + 4. Let z be v(0). Let u be z/5*150/12. Let h = u - 6. Solve f = -2*s - h, -3*s + 20 = -5*f - s for f.
-4
Let x = -4 + 10. Let z = x + -3. Suppose -z*m = a, -4*m = 2 + 10. Solve -4*g + 1 = -2*p - p, -a = -5*p - 4*g for p.
1
Let l = 8 + -5. Solve l*r + 24 = 5*v, 2*r - 7*r = 5*v for r.
-3
Let s(q) = 5*q**3 + q - 1. Let j be s(1). Suppose -20 = -3*m - j*r, 4*m - 5*r + 20 = -m. Let l = m + 3. Solve 5*d - 34 = l*b, -4*b - d + 6 = 13 for b.
-3
Suppose 71*j = 79*j - 24. Solve 4*x - j*n = 11, 0 = -4*x - n - 2*n + 5 for x.
2
Let f = -4 - 0. Let y be ((-63)/(-6))/(f/(-8)). Solve -2*o - o + y = -4*p, 5*p = -5*o for o.
3
Suppose -a + 0 + 2 = 0. Solve -3*o + 15 = -a*w, -2*o + o - 3 = 2*w for o.
3
Suppose 8*l - 15 = 3*l. Solve -7 = -l*n - 5*b + 27, 0 = -5*b + 25 for n.
3
Suppose 19 = 8*f + 3. Solve -4*z = -f*i + 8, -4*i + 2 = -5*i - z for i.
0
Let d = 3 + -1. Suppose -5*m + 20 = 5. Suppose -d*w + 15 = m*w. Solve 3*b - 5*b + 16 = 4*a, -w*a = b - 11 for b.
2
Let z(o) = o**2 + 4*o - 1. Let j be z(-5). Let x be ((-9)/27)/(1/(-3)). Solve -j*n - 5*r = 0, 5*r - 4 = -5*n + x for n.
5
Suppose 0*z + 5*t - 30 = -4*z, -5*z + 2*t + 54 = 0. Let j be 6/(-5)*z/(-4). Suppose -1 = h - j. Solve 4*x - 3*y = 2*y - h, -4*x - 14 = y for x.
-3
Let n = 12 + -21. Let z = 8 + n. Let s = z - -5. Solve 0 = -s*f - 4*l - 20, f - 2*l - 4 = -0*l for f.
-2
Let a = 39 - 39. Solve 0 = 4*i + 2*x + 4, -2*i = 3*x - 2 - a for i.
-2
Suppose 4*b - 2*h - 22 = 0, 3*b + 11 = -4*h - 0*h. Solve -5*t - 25 = 3*a, 4*a + b*t + 26 = -0*a for a.
-5
Let s(q) = -q**3 - 8*q**2 - 2*q + 9. Let a(r) = r**3 - 3*r**2 - 3*r + 2. Let w be a(2). Let n be s(w). Solve 3*b + n = 4*b - 5*v, 5*b - 33 = 2*v for b.
5
Suppose -29 = -10*p + 21. Solve -5*j = p*d + 35, 0 = -4*d + 3*j - 6*j - 26 for d.
-5
Let s be -1 + 0/3 + 3. Solve j + 4*r = 14, -r = s*j + j - 9 for j.
2
Suppose -2*p - 6 = -26. Let q be (-7 + 1)*2/(-3). Suppose q*h - 10 - p = 0. Solve h*g = -3*s - 9, 0*s + 2*g = 4*s - 14 for s.
2
Suppose 2*v - 45 = a, 50 = v + 2*v + 2*a. Let y = v + -12. Suppose -2*x = -4 - 6. Solve -3*t = g + y + 2, 2*g - x = -t for g.
5
Suppose -2*l + l = -3. Let n(s) = -3*s + 3*s - 3*s - 2*s - 2. Let t be n(-4). Solve l*r - 4*d = 14, -5*d - t - 1 = -3*r for r.
-2
Let v(p) be the first derivative of p**2/2 + 7*p + 3. Let c be v(-7). Solve b - 2*u + 11 + 1 = c, 0 = 4*b + 4*u - 12 for b.
-2
Suppose 0 = 3*k - 4*k. Suppose -4*r + 10 + 2 = k. Let x = 33 + -20. Solve -2*f - 14 = -4*n, -r*f + 4*f - x = -2*n for f.
3
Suppose 4*i = 6*c - 3*c - 32, 5*i + 37 = 3*c. Solve 4*a = -0*v - 4*v + 8, -c*v = a - 11 for v.
3
Let p = -5 - -4. Let q be 14/((-2)/(1/p)). Let y be 111/21 - 2/q. Solve 0 = r - 3*z - 11, -2*r - 6 = -y*z - 24 for r.
-1
Let s = 3 - 0. Solve -5*t - 15 = 5*f, -5*t + 4 + 5 = -s*f for f.
-3
Let r(p) = p**2 + 5*p - 21. Let s be r(-9). Solve -4*j = x + 2*x - 13, 3*x + s = 3*j for x.
-1
Let x(j) = j**2 + 7*j - 6. Let l be x(-7). Let h = l - -12. Solve -r + 5*d = 19, -d - 31 = 4*r - h*d for r.
-4
Let l = -2 - -7. Suppose -j + 2*f = 2, 3 = -5*j + l*f - 2*f. Solve -4*q - 27 = -4*x - 11, 4*x - 20 = j for q.
1
Let y be 105/(-28) + 4 - (-15)/4. Solve -y*a + 2*a + 8 = -4*c, -5*c + 3*a - 11 = 0 for c.
-1
Let f be (1 - (6 - 4))/(2/(-10)). Solve -5*d + 0*w + 4*w - 20 = 0, -f*w = 0 for d.
-4
Let b(j) = j - 1. Let q be b(-6). Let w(f) = f + 7. Let r be w(q). Suppose r = -2*m + 3 + 7. Solve -t - 5 = g, -m*t + 2*g + 3 = -0*g for t.
-1
Let q(f) = 0 + 4 - f + 4*f. Let g be q(4). Solve -4*d = -2*w - 20, -2*d + 0*w + 4*w = -g for d.
4
Let i = -4 - 0. Let g = 2 - 4. Let q = g - i. Solve -5*v + 4*y + 13 = 0, q*v + 3*y + 4 = -0 for v.
1
Let j = 19 + 13. Suppose j = h + 3*h. Suppose -5*t = -9 - 11. Solve 3*k + 0*k = -2*q + h, -q - t*k = -4 for q.
4
Let n(b) = 2*b - 6. Let t be n(4). Let w be ((-4)/2*-1)/(-2). Let l = w + 4. Solve 4*j + 4 = -3*r, j = t - l for r.
0
Let r = -17 + 19. Solve 1 = 2*x - 3, -3*x + 14 = r*g for g.
4
Suppose 2*c + 17 = 3*a, 5*a - 15 = -5*c + 5. Solve 0 = -5*x - 2*j - 35, x = 2*j - a*j - 20 for x.
-5
Suppose 3*o - 16 = x, 0 = 2*o + 2*x - 4*x - 16. Solve 0 = -5*v - 15, o*k + 2 - 1 = v for k.
-1
Suppose 0 = d + 1 - 4. Suppose 0*i = d*i. Suppose 3*n + 7 + 3 = c, -3*n = 9. Solve 2*y - c - 2 = -w, -2*w - 2*y + 4 = i for w.
1
Let w = 177 - 172. Solve -w*o + 0 - 5 = 5*v, -4*o + 5*v + 41 = 0 for o.
4
Suppose -5*d + 6*d = 7. Suppose -5*s + 31 = 3*z, 0*z + 2*z - 14 = -2*s. Solve i - d = -o - 3*o, -5*o = -s for i.
3
Let y = 8 + -1. Suppose -y = h - 9. Solve h*x = t + 1, 0 = -t - 7*x + 2*x + 13 for t.
3
Let x = 14 - 10. Suppose 5*l + 0*d + 5*d + 10 = 0, -l - 4*d - 17 = 0. Solve -c - x = c, 4*c = l*f - 5 for f.
-1
Let l = 19 - 16. Solve -2 = 3*s - g, -s + 1 + 1 = -l*g for s.
-1
Let z be (-8)/4 + (-2 - -9). Solve -11 = -z*x - 4*k - 0, -k = -2*x - 6 for x.
-1
Suppose -5*v + 39 - 9 = 0. Suppose -v = -4*t + 2*t. Suppose t*m - 11 = -2. Solve 2*s - z - 7 = 0, -m*z - 13 = -2*s - 0*z for s.
2
Suppose -v + 0 = -5. Solve 0 = -v*c - 4*m + 3*m + 7, 2 = -5*c - 4*m for c.
2
Suppose 23 - 7 = 4*a. Solve 5*b + 18 - 5 = 3*p, -a*b = -p + 9 for b.
-2
Let q(b) = -b**2 - 15*b - 42. Let p be q(-11). Solve -5*m + 5 = 0, p*v + 2*m + 8 = 4*v for v.
5
Let s be -1*(1 + 1) - -5. Suppose 1 = -n + 3*b, 0*n = -4*n + b + 18. Suppose y + 15 = n*u, 4*y + 3 + 11 = -3*u. Solve 4*i = d + 17, -i + s = u*i - 4*d for i.
5
Suppose -28 = 6*x - 10*x. Solve 0 = -f - 5*b - 7, -2*f + b - x = -5*f for f.
3
Let f = 12 - 7. Let x = -39 + 55. Suppose -5*k + x = -k. Solve -k*y = 3*h + 9, 2*h = -f*y - 1 - 5 for h.
-3
Let l be ((-2 + 4)*2)/(4/8). Solve -l = -4*f, -4*f = 4*b - f + 10 for b.
-4
Let k(o) = o**2 - 22*o + 77. Let p be k(18). Solve p*q - t + 16 = 0, 5*q = -t - t - 13 for q.
-3
Suppose -4*v + d = -44, -21 = -2*v + 3*d + 11. Solve 0 = a - c - 4, c - 2 - v = -3*a for a.
4
Let c = -22 + 11. Let f = -8 - c. Solve -f*w - 2*p + 13 = -5, -11 = w - 5*p for w.
4
Let d(k) = -k + 2. Let u be d(0). Solve -4 = -0*i - 4*i - 4*z, 0 = u*i - 4*z + 16 for i.
-2
Let t be (-4)/(4*1/(-2)). Suppose 0 = 4*x - t*x - 4. Suppose -36 = -o + 5*k + 6, 0 = -4*o + 2*k + 78. Solve x*v = -2*r - v - 14, 3*v = -5*r - o for r.
-1
Suppose 5*r - 3*r - 4 = 0. Let b be (0 + 0/1)/2. Solve -z + r*i = -6, 4*z + 4*i + b*i - 12 = 0 for z.
4
Let f(s) = 5*s**2 - 2*s + 1. Let r be f(1). Suppose -2*d = 3*d - 55. Solve d = -4*g + 2*g + 3*u, r*u = g + 13 for g.
-1
Let j(q) = 2*q**2 + 45*q + 24. Let p be j(-22). Solve -t = -o + 5, -2*o - p = 2*t - t for t.
-4
Let s be ((-1)/2)/(2/(-12)). Let t = 20 + -29. Let i be (-21)/t + s/(-9). Solve -3*g + 0 = -3, 3*r + 7 = -i*g for r.
-3
Suppose -5*o = 3*t - 11, 0*t = -t - o + 3. Let c be 8 + t*(2 + -1). Solve 0 = -2*f - 4*j, 3*f - c = 5*f - j for f.
-4
Suppose 0 = -s + 2*p, s - 4*p + 0 = -6. Let x be (-20)/(-6) + s/9. Solve x*n = 5*j - 17, 3*j + 3*n - 9 = 5*n for j.
1
Let j(t) = t**2 - 5*t. Let b be j(5). Let s = 5 - b. Let f = 64 - 40. Solve 0 = -3*y + 4*k + f, 5*y - 36 = s*k - 1 for y.
4
Let g(l) = l**2 + 7*l - 2. Let k = 8 - 15. Let z be g(k). Let h = z + 7. Solve 4*s - 4 = 5*x, -3*x + 0*s = h*s - 5 for x.
0
Let b(f) = -f - 1. Let w be b(-3). Let h be w/(-1 - (-6)/4). Suppose c + 1 = h. Solve 5*v - 20 = 4*k, -c*v - 15 + 0 = 3*k for v.
0
Let a be 1*(-1 + -5) + -1. Let x = -4 - a. Suppose j + 0 = 5*y + 3, 3 = x*y. Solve -2*o - 4*i = j, 0 = -3*o + 4*o + i + 2 for o.
0
Let r = 13 + -11. Solve 2*z - 2*b + 4 = r, -z - 6 = 4*b for z.
-2
Let q be (-7 + 2)*(-6)/(-15). Let l be q/3 - (-24)/9. Solve -l*z = 3*j + 12, -3*z = -7*z - 2*j - 16 for z.
-3
Let b be 1/(-2) - (-5)/10. Solve b = -5*i + 3*i - 5*f - 14, 10 = -5*f for i.
-2
Let m = 142 + -139. Solve z + 29 = -5*p - z, 6 = -m*z for p.
-5
Suppose -