*p, -16 = -l*p - z - 4 for p.
5
Let f(g) = g + 2. Let u be f(0). Let m be (-3)/((15/u)/(-5)). Let v be -2 + m + 1 + 1. Solve 3*z = -v*o - 7, z + 11 = -0*z - 5*o for z.
-1
Let y be ((-20)/(-2) - 2) + -3. Suppose 0 = -5*s + 2*s + y*b - 18, -2*s - 4*b = -10. Let m be s + 1 + (5 - 0). Solve 5*k - m = -4*o, -2*o = 5*k + 9 - 4 for k.
-3
Suppose -g + 5*g = -3*d + 15, 3*d + 9 = 0. Solve r - 2*p + 5 = 0, -g*r - 15 = -3*r - 4*p for r.
-5
Suppose 0 = d - 0*d. Suppose d*y = y + 4. Let a be 2/y*(-2 + -4). Solve -2*j + 4*z + 18 = 0, -3 = j + 3*z + a for j.
3
Let o = 9 - 7. Suppose o*g - 5*p = 5, -3 - 14 = -4*g + 3*p. Solve 0 = -2*f - 2*a - a + 16, -g*f + 15 = -5*a for f.
5
Let r be 56/10 + (-15)/25. Suppose 3 = 2*v - 7. Let d = r - v. Solve -4*x = 4*k + 40, d = -2*k - 0*k + 2*x for k.
-5
Let p = 29 - 23. Solve -3*o + 2*s = -o + p, -3 = -o + 4*s for o.
-5
Suppose 2*f - 4*f = 10. Let w be -1 - 2 - f*1. Solve 2*d = -5*c - 9, -2*c + w*d + 7 = -5*c for c.
-1
Let u = -67 + 71. Solve 2*s + 4*p - 14 = 0, -3*s - u*p - 6 + 25 = 0 for s.
5
Suppose -14 = -m + 22. Suppose -42 = -3*y + m. Solve 3*a + 5*s = -y, 5*a - 3*s - 3 + 1 = 0 for a.
-2
Let w(q) = -3*q**2 + 52*q - 16. Let o be w(17). Solve -3*p + 3*a + 5 = -o, 3*a = -3*p + 12 for p.
3
Let q(h) = -h**3 - 13*h**2 - h - 9. Let m be q(-13). Suppose 4*n - m = 3*n. Solve 0 = -3*p - n*g - 22, 2*g + 18 = -5*p - 0*g for p.
-2
Suppose 0*t = 2*t + 4, 2*t = 4*i - 28. Solve 2*g + l + 7 = i*l, -g - 2*l = -10 for g.
4
Let s(r) = r**3 - 3*r**2 + 2*r. Let h be s(3). Suppose -3*c + h + 21 = 0. Solve 0*m + 23 = 3*m - 2*y, -m + y = -c for m.
5
Let p = 12 - 2. Solve 2*s + p = 4*j, -2*j = -4*j + 3*s + 7 for j.
2
Let v = 2 - 3. Let j be ((-6)/4)/(v/4). Solve i - j = -4*h, -5*h + 0 + 8 = i for i.
-2
Let i(y) = -y. Suppose -25 = 5*m - 4*g, m + 11 - 5 = g. Let p be i(m). Let s be (0 - p)*0/3. Solve s = -u + 2*h - 7, 0 = h - 0 - 3 for u.
-1
Let d(i) = i**3 + 3*i**2 + i + 1. Let g be d(-2). Let m = g + 2. Suppose 3*o + 2*o - 60 = 0. Solve -o = 2*f - s - s, -3*f - 20 = -m*s for f.
-5
Let s = 10 + -6. Suppose -s*p = 8 - 24. Solve -3*x + z - 20 = 0, 0 = -x + p*x + 3*z for x.
-5
Let i = -4 - -10. Suppose 5*t = -5*u, 2*u + 6 = -5*t + 3*u. Let h be 4*-1*t/1. Solve -4*x + 6 = -3*a, 2*x + i = a - h*a for x.
0
Let a(h) = -h + 4. Suppose -5 = -y, 3*n - 8 = -5*y + 23. Let i be a(n). Solve i*r - 3*z + 15 = 0, 2*z = 3*r + 2 + 8 for r.
0
Let y(c) be the first derivative of -c**2/2 + 8*c + 3. Let i be y(8). Solve 5*z - p = -2, i = -3*z + 3*p + 2 + 4 for z.
-1
Let i = 18 - 12. Let f be -6 + 4*3/i. Let t be 6*(f/3 - -2). Solve 5*w + 3*b - 8 = -0*b, -t*b = -3*w + 28 for w.
4
Suppose b - 27 = -2*b. Let l be (-2)/6 - (-129)/b. Let r = 7 - 2. Solve -24 = 4*n - r*t, -4 = -2*n - 5*t + l for n.
-1
Suppose -32 + 15 = -x. Solve 0*c - 2*c - 2 = 4*l, 0 = 2*l - 5*c - x for l.
1
Suppose m = -2 - 3. Let f = 12 + m. Solve 0 = -4*t + 5*s + 11, -4*t + f + 6 = -3*s for t.
4
Let y(b) = -b**2 + b. Let w be y(1). Suppose -m - 4*m + 15 = w. Solve 5*u - 4 = 2*a, -5*u + 5 = m*a - 14 for a.
3
Let i(v) = v**3 - 3*v**2 - 4. Let l be i(3). Let d = -3 - -1. Let f = d - l. Solve -3*u + 2*k = -15, -f*k = 7*u - 4*u - 3 for u.
3
Let x = 4 + -3. Suppose -5*u = -4*i - x, -3*i - 22 = -5*i - 2*u. Suppose -i = -m - 2. Solve -6*f + m*f = -d + 7, -5*d = -5*f - 25 for f.
-2
Suppose 4 = 15*m - 26. Solve 0 = m*w - 2, -5*w - 3 = -2*r - 0*w for r.
4
Let r(s) = s**2 + 13*s + 19. Let u be r(-12). Solve -3*w - 13 - 15 = 5*a, 2*w = -a - u for a.
-5
Let p(r) = -5*r + 32. Let f be p(6). Solve -2*l - 22 = f*l + 2*q, -4*q = -3*l + 11 for l.
-3
Suppose t + 2 + 12 = -4*m, 2*m + 10 = 0. Solve -t = 5*o - 2*o + 3*z, -3 = -3*z for o.
-3
Let p be 2/(-8) + (-9)/12. Let v(b) = -b**2 - b + 1. Let x be v(p). Let h = 16 - 14. Solve 2*j - x = -3, -3*w + 2*j = -h for w.
0
Let x be (-3)/(-1) + 12/(-4). Suppose x = -3*v - 2*v + 25. Solve -v*l + 0 = -4*r + 6, 5*r - l - 18 = 0 for r.
4
Let p be 0/((-3)/(15/(-20))). Solve 2*i + x + 17 = 2, p = -5*i + x - 20 for i.
-5
Let l(n) = -n**3 + 5*n**2 - n + 7. Let z be l(5). Suppose -o = -z*o. Let p = -3 - -5. Solve p*w = u - 1, o*w = w - u + 3 for w.
2
Let q = 4 + -1. Let c be q/12 + 46/8. Suppose 6 = 2*b - c. Solve -6 = 2*w + f - 1, -2*f + b = 0 for w.
-4
Let v = -23 + 26. Solve 5 + 2 = v*y - l, -3*y - l + 17 = 0 for y.
4
Let v be 3/6 + (-22)/(-4). Solve x + 14 = o + 4*x, 0 = 5*o - x - v for o.
2
Let r(n) = 4*n**2 + n - 1. Suppose 2*h = 12 - 0. Let j = -5 + h. Let y be r(j). Solve -2*a + 14 = y*p - 2*p, 23 = -p + 5*a for p.
2
Suppose 0 = -2*i + 5*f + 50, 8 = -3*i + 3*f + 65. Solve -3*v + i = -3*p, -v - 3*v - p = -20 for v.
5
Suppose 2*v = 2*n - 4 + 2, 0 = 2*n - 5*v + 7. Let w = -91 + 107. Solve x = -3*x + w, -q - n*x = -17 for q.
1
Let r be (-12)/66 + (-2)/(-11). Suppose -2*m + r*d = 2*d - 8, -5*d + 5 = 2*m. Solve h + 4*w - 2*w + 14 = 0, m*h = -3*w - 35 for h.
-4
Let j(d) = -d**2 + 14*d - 10. Let o be j(10). Solve w + 17 = 3*g, -3*w + 4*g = 2*w + o for w.
-2
Suppose 5*k = -0*l + 2*l + 97, 0 = k + 5*l - 41. Solve 5*q = -f - k, -f - 1 = -4*f + q for f.
-1
Let a(m) = -83*m**3 + m + 1. Suppose j + 0*j = -1. Let u be a(j). Suppose 0 = 3*n + 3, 4*c - u = n - 6. Solve 5*q - 30 = 5*k, q - 1 = -5*k - c for k.
-4
Let j be (-40)/(-4)*(1 + 0). Suppose -2*c = -p - 2*p + 6, 5*p = j. Suppose 3*x = 9 - c. Solve 0 = -2*k - x*i - 14, -k - i = 7 - 2 for k.
-1
Suppose 13*h - 22 = 2*h. Suppose -y = 2*g - 3, 3*y + 49 - 14 = 5*g. Let s = y - -7. Solve -4 = -d - 2*m + s, -h*d + 4*m = 28 for d.
-4
Let r(g) = g**3 + 7*g**2 + 5*g + 14. Let d be r(-6). Solve 4*j = h + 10, h + 4*h = 5*j - d for j.
2
Suppose 2*t = f + 2*f - 22, 0 = 4*f - 5*t - 41. Solve 5*n + f + 1 = 2*j, 4*n - 3*j = -4 for n.
-1
Let v(f) = -f**2 + 4*f + 3. Let l be v(4). Solve 2*s = 4*s - 3*o - 14, -6 = l*o for s.
4
Suppose -x = -2*x + 24. Suppose h + x = -3*h. Let s(m) = -m - 3. Let v be s(h). Solve 5*k - 25 = 0, 4*k = j + 3*k + v for j.
2
Let i = -15 + 19. Solve -4*u = -3*j + 22, -i*u = 20 - 4 for j.
2
Let n be 9 + -9 - (-4)/1. Solve 4*x + 21 = k - 2*k, -n*k + 3*x = -11 for k.
-1
Let i = 11 + -7. Suppose -2*y = i*a - 18, 4*a - 5*y + 12 = -y. Solve j = a*z - 0*z - 2, -j - 4*z + 16 = 0 for j.
4
Suppose -10 - 10 = -5*y. Solve 0*t + 25 = -5*t + y*o, -3*o = 0 for t.
-5
Let w(t) = t**2 + 5*t + 2 + 6 - 2. Let c be w(-4). Suppose 0*f + f + 1 = -4*s, 3*s - 3 = -c*f. Solve 5*n - 13 = -3*o - f, o + 3*n - 10 = 0 for o.
-5
Suppose -44 = 6*x - x + b, 0 = -5*x + 4*b - 24. Let q = 13 + x. Solve 0 = -u - 3, -q*v + 12 + 4 = -2*u for v.
2
Suppose 3*q + z - 15 = -0*z, 0 = 5*q + 3*z - 25. Suppose -6 + 31 = q*c. Let m be 4/(-2)*c/(-2). Solve -x = 3*y + 2, -4*x + y + 0 = -m for x.
1
Suppose 5*p + 3*l = -0*p + 64, -25 = -2*p - l. Solve 2*f - 5*b = -0*f - 25, f = 2*b - p for f.
-5
Let m = 26 - 23. Solve 2*w = 6*w - 5*t - 6, m*w - 5 = 4*t for w.
-1
Let h(g) = 6*g**3 + g**2 - g**2 + 1 - g**2 - 2 + g. Let w be h(1). Suppose -w = -3*c + 2*c. Solve -c*y = -2*r - 25, y + r - 2*r - 8 = 0 for y.
3
Let w = 1 + -1. Let j be w/3*2/2. Suppose 5*s - y - y - 17 = 0, -2*s = 5*y - 30. Solve 2*q - 11 = 3*c, 0 = 4*c - j*q + s*q + 30 for c.
-5
Suppose 19*h + 12 = 22*h. Suppose -2*s - 29 = -5*b, h*s + 19 = 3*b + 2*s. Solve -p = 4*p - 2*t + 2, 0 = -b*p - 3*t - 22 for p.
-2
Suppose -99 = -2*t - 3*w, -5*t - 7*w + 2*w + 260 = 0. Suppose -q - 2*q = -t. Solve -7 = 5*j - a + 16, -3*a = -5*j - q for j.
-5
Let x(t) = 7*t**2 + t. Let q be x(-1). Let f = q - 2. Suppose -f = 2*r, -4*z + r + 24 = -r. Solve z*v = 4*d + 26 + 4, 4*d + 10 = -5*v for v.
2
Let v be (1 - 1)/(1 + 0). Suppose 0 = a + 2*a - 75. Suppose -9*u + a = -4*u. Solve -3*o + u*w + 4 = -18, w + 5 = v for o.
-1
Let z = -13 + 20. Solve -r + t = -1 - z, -t = r for r.
4
Let k be (2 + -5)*(-56)/12. Suppose -4*u = -3*u - 3*i - k, 0 = -i - 3. Solve -2*v - 4*a = -18, -30 + 0 = u*v - 5*a for v.
-1
Let w be (2 + -25)/((-1)/(-2)). Let n = w + 66. Solve n = -0*g + 3*g + 5*j, 2*g - j = 9 for g.
5
Suppose -39*u + 72 = -15*u. Let m(k) = -k**3 - 5*k**2 - 5*k. Let s be m(-4). Solve q + 2 = 2*v - u*v, -4*q = v - s for v.
-4
Suppose 2*z - 52 = 56. Let f = 26 - z. Let a be (-4)/6 - f/6. Solve 0 = -2*v + a*q + 2, 4*v + 4*q = 8 + 20 for v.
5
Suppose -4 = -2*t + 4. Solve 9*v - t*v = i + 21, -5*i - 21 = -4*v for v.
4
Let b be 1*(-1 + -3 + 3). Let m be (-14)/(-