 -p - 4*l - 9 - 1 for p.
2
Suppose -20 = 2*o + 4*y + 76, 0 = -5*o - 4*y - 210. Let x = -18 - o. Solve -2*u = -4*h + u - x, -2*u = 4*h for h.
-2
Let l(q) = q**3 + 3*q**2 - 5*q - 1. Let b be l(-4). Let c be (-5)/(60/8)*-3. Solve 8 = -4*g, b*v + c*g = 4*g - 5 for v.
-3
Let j(b) = -b + 3. Let n be j(0). Suppose -4*k - 5 + 17 = -f, n*f + 18 = 3*k. Solve 5*w - m = m - 29, -k*w - 5*m = 0 for w.
-5
Let t(h) = 3*h**2 - h + 15. Let m(f) = 2*f**2 - f + 8. Let g(a) = 5*m(a) - 3*t(a). Let u be g(4). Solve u*o - 6*o + 28 = -5*w, -4*w = -2*o + 22 for w.
-5
Let m(d) = -d**3 - 6*d**2 + 3. Suppose 10 - 28 = 3*n. Let i be m(n). Solve -5*f + 2*r - 9 = 0, r - 3 = i*f - f for f.
-3
Suppose -5*d = -d. Let p(n) = -n**2 - 9*n + 13. Let j be p(-10). Suppose 2 + j = t. Solve 2*u + x + t = 0, -4*u + 3*x + x - 40 = d for u.
-5
Let c be 2/(-3*-1*(-10)/(-45)). Solve 3*i - 17 = z, 5*i + c*z = -0*i + 5 for i.
4
Suppose -4*h + 35 = h. Suppose 4*b + 4*m + 20 = 0, -5*m - h = 18. Solve 7*p + 2*t = 2*p - 22, 4*p - 2*t + 14 = b for p.
-4
Suppose -4*n = -16, 5*n - 4 = -l - 3*l. Let h be (-4 + 12)*(-2)/l. Solve 6 = h*z + 2*o, 0 = -0*o - 4*o + 4 for z.
1
Suppose v + z - 2 = -z, 3*v + 2*z = 6. Suppose -v + 0 = -u. Suppose 28 = 4*l + 5*t, 4*l + 0*l + t - 44 = 0. Solve -l = 5*g + 2*p, 3*g + 16 = 3*p - u*p for g.
-4
Let n(r) = -r**2 - 2*r + 2. Let t be n(-2). Solve 5*w - 2 = 3*w + 4*a, 0 = -w - a - t for w.
-1
Suppose 0*y = -3*y. Suppose y = z + 1 - 6. Solve -z*v = 2*c - 29, -2*v + 1 = 3*c - 15 for v.
5
Let a(v) = -v**2 - 7*v - 9. Let i be a(-4). Solve -i*k + 5 = -2*r - 0*r, -k = 4*r - 11 for r.
2
Let s = 52 - 47. Solve -6 = 3*u, 21 = -s*v - 2*u - u for v.
-3
Let o(j) = 3*j**3 - 4*j**2 - 3. Let u be o(2). Let y be 10/4*4/5. Suppose 5*q = y*q + 9. Solve 3*x = u*s + 5, -q*x = -4*x + 4*s + 11 for x.
-5
Let m(p) = 3*p - 34. Let n be m(12). Solve 5*t + h + 15 = -0*h, 5*t + n*h = -15 for t.
-3
Suppose c - p = 9, -4*c - 2*p = 2*p + 4. Let m = 10 + -7. Solve 5 = -c*v + x, 2*v - m*v + x = -1 for v.
-2
Let w = -106 + 111. Let s be (-40)/(-18) + 4/(-18). Solve -3*h = s*c + 12, w*c - 2*h + 16 = -6*h for c.
0
Let d be (-1 + 4)*4/6. Let h = -1 + 1. Suppose h = -d*p + 3 + 7. Solve p*n - 5*g + 3 - 8 = 0, 0 = -2*g + 4 for n.
3
Let o = 34 + -29. Let m(c) = 13*c**2 + 2*c + 1. Let r be m(-1). Solve -o*v + 4*t + 2 + 35 = 0, 4*t = -r for v.
5
Suppose -s + 11 - 7 = 0. Solve 3*z = -2*p - 16 + 5, s*z - p = -11 for z.
-3
Let h be -2 + 5 - (1 - 8). Let t(s) = -4*s - 1. Let f(m) = -m**2 + 2*m - 1. Let z be f(2). Let a be t(z). Solve l = -5*c + 25, c - 4*l = a*c - h for c.
5
Let b = -5 - -7. Suppose -3*j = b*j. Solve 15 = -5*t, 4*s - 3*t - 2*t - 3 = j for s.
-3
Let d(i) = -5*i**2 + 22*i - 3. Let r be d(4). Suppose -3*s + 21 = 3*y + 2*y, -2*s = -4. Solve r*h + 3*z + 0 + 16 = 0, 0 = -y*h - 5*z for h.
-5
Let g be 0*(10/(-4) - -2). Let q = 14 + g. Solve -q = -4*a - o, 3*a + 2*o - 10 = -2 for a.
4
Let l be -3 - -2 - (-1 + 0). Suppose -w + 0*w + 2 = l. Let c be -8*(4 - w)/(-4). Solve -c*s + 7 = -3*p, 2*s + 5 = -p + 6*s for p.
-1
Let s(c) = c**2 - c - 4. Let z be s(3). Solve 2*v - 6 = 2*x, 0*x = z*x + 4 for v.
1
Let b = -1 - -1. Suppose b = -0*y + 3*y - 6. Solve -6*z + z = 3*k - 7, -3*z + 8 = -y*k for z.
2
Let g(y) = y**3 + 2*y**2 - 3*y + 4. Let i be g(-3). Solve -b = -2*v - 2*b + 6, -4*v = -i*b for v.
2
Let a(d) = d**2 + d - 4. Let k be a(-4). Suppose k = n - 5*f - 12, -4*n + f = -23. Solve 4*w + n*s = -37, 0 = 3*w - 2*s + 4*s + 19 for w.
-3
Let k = 2 + 2. Solve 0*t + 4*t + 2*l + 12 = 0, -3*t + k*l = -2 for t.
-2
Let z(g) be the second derivative of 5*g**4/12 - g**2/2 + 4*g. Let l be z(1). Solve -5*n + 2*y = -n - 8, -l*n - 3*y = -28 for n.
4
Let n(j) = -3*j + 4*j - 2*j + 5. Let i be n(0). Solve -i = 5*t - 4*k - 22, -3*k = t + 8 for t.
1
Suppose -4*t = -t. Suppose t*p + 19 = -5*p + 3*l, -3*p - 9 = -l. Let o = 4 + p. Solve o = -5*v + 2*s, 2*v - 5*v = -2*s + 2 for v.
0
Let u be (-128)/(-20) + (-4)/10. Let k = u + -4. Suppose 2*r - 35 = x, 22 = 2*r + 2*x + k. Solve 5*d = r, 0 = 3*g + 2*d - 6*d + 12 for g.
0
Let x = 5 - 3. Let y(f) = -12*f**3 + f**2 + 2*f + 1. Let v be y(-1). Solve 0 = 2*n - 5*k + 21, -v = n - k - x*k for n.
-3
Let f(d) = -3*d - 12. Let p be f(-10). Suppose 3*y + p = 3*j, -4*y = j - 3*y - 2. Suppose -12 = -2*s - 2*s. Solve s*g - 3*l = 4*g - 3, -j*g - 22 = -5*l for g.
-3
Let h = 64 - 61. Solve h*g - 5*y = 10, -10 = -2*y + 7*y for g.
0
Let b be (-2)/(1 - 21/15). Solve 2*z = 2*i + 6, -b*i - 2 = -2*z + 13 for i.
-3
Suppose 2*q = d - 8, -3*d + 2*q = 2 - 18. Solve 6*u - 8 = 2*u + w, 4*u + 12 = -d*w for u.
1
Suppose -12*r + 111 = 25*r. Let p(s) = s**3 + s**2 + 4. Let a be p(0). Let i = -5 + 10. Solve -i*x + 0*k - 3*k = -10, 2*x - r*k = a for x.
2
Let w = 21 + -19. Solve -5*j - 4*g = 13, -w*j + 3*g = -6*j - 11 for j.
-5
Let i be (-6)/((-48)/(-20))*2. Let f = 7 + i. Solve f*a - 3*o + 10 = 0, -3*o - 5 = 3*a + 10 for a.
-5
Let p(v) = -v + 14. Let n be p(6). Let a be (-8)/(-32) + 206/n. Let l = a + -14. Solve -2*h - 2*k = 3*k + 24, 2*h = -2*k - l for h.
-2
Let l(h) = 6*h + 54. Let y be l(-8). Solve 1 = -w, -4*w = -q - y*w - 5 for q.
-3
Suppose 3*b - 13 = g, -4*g = -b + 4*b + 7. Let i = b - 7. Let d = i + 6. Solve -d*a = -3*u - 16, u + 2*u = -3*a - 6 for u.
-4
Let x(u) = u**2 - u - 13. Let f be x(0). Let w = f - -13. Solve w = p + 4*v - 11, 0 = 4*v - 0*v - 16 for p.
-5
Let b be 2/3 - 56/(-6). Suppose -2*w - 9 + 25 = 0. Suppose m = 5*v + 3*m - b, -w = -4*v - 2*m. Solve 5*l + v*i + 2 = l, 0 = 5*l - 4*i + 35 for l.
-3
Suppose 4*x - 16 = -2*s, 3*x + 1 = s + 3. Solve -3*i - 5*h + 8 = 0, -x*h - 3*h = -20 for i.
-4
Suppose -i = -3*i + 10. Suppose -3*k + 5 = -d - 4, -i*k + 13 = -d. Let x(r) = r - 2. Let q be x(4). Solve k*a - 3*c + q*c - 5 = 0, -2*a + 8 = -2*c for a.
1
Suppose -46 = -4*j - 3*x, -x = -4*j - 0*x + 38. Solve 2*y + 4*s + j = 0, 0 = 2*y + 3*s - 1 + 9 for y.
-1
Let l(c) = c**3 - 5*c**2 - 5*c - 6. Let f = -15 - -21. Let q be l(f). Solve 3*i + 2*w + 1 = 0, q*i - i + 3*w = -18 for i.
3
Let y be (-11)/2 - -4 - (-94)/4. Solve -x - 2*x = 3*v + 6, -4*v = -3*x + y for x.
2
Suppose -5*h - 15 = 0, 5*h + 7 + 8 = 3*f. Solve 2*s - 5*r - 25 = f, -4*s + s - r = -12 for s.
5
Let x(v) = v**3 - 8*v**2 + 8*v - 5. Let z be x(7). Solve 4*i + z = -2*j, 4*j - 2*i = 3*i - 30 for j.
-5
Suppose -1 = -5*o - s + 3, -5*s + 20 = 0. Suppose 4*n - 3*z - 1 = o, 5*n + 5 = -4*z + 45. Solve 0 = 2*q + 2*m - 4*m, 21 = 3*q + n*m for q.
3
Let y = 9 + -6. Suppose 0 = -5*u - 3*t - 7, -2*u - y = 2*t - 1. Let q be ((-15)/12)/(u/8). Solve -p - 4 = -q*w - 1, -3*w - p + 5 = 0 for w.
1
Let t = -14 - -18. Solve 2*l - 4*h - 19 = -h, -2*l + t*h = -22 for l.
5
Let l be ((-9)/18)/(((-21)/54)/7). Solve 0 = 3*i, 3*a + i = -i + l for a.
3
Let m be 4/(-8) + 45/6. Solve 5*z = -x - 11, -x + 2*x - z = m for x.
4
Let w(o) = -3*o + 24. Let p be w(7). Solve g - p*v - 10 = -6*v, 3*v = 4*g - 10 for g.
4
Suppose -3*l + 7*l + 112 = 5*a, 3*l - a = -95. Let i = -21 - l. Solve p - 2*d + 7 = -d, -2*p + d - i = 0 for p.
-5
Suppose -8*b + 7 + 17 = 0. Solve -b*n - 5*s = 26, -3 + 9 = -5*n + s for n.
-2
Let g = -2 - -5. Suppose -2 + 14 = -4*t. Let u = t + g. Solve -4*m = -u*i - 4*i - 12, m = -2*i for i.
-1
Let m(v) = -2*v + 1. Let h(t) = -4*t + 2. Let w(p) = -3*h(p) + 5*m(p). Let l be w(4). Solve -5 = -a - 4*o, l*a + 2*o = 2*a - 11 for a.
-3
Let m(n) = n**3 - 2*n**2 + 3*n - 3. Let o be m(2). Suppose -1 = -o*l + 11. Solve -3*w + 4*p = 6, l*w - p - 4*p = -7 for w.
2
Let h be ((-3)/4)/(13/312). Let s = 23 + h. Solve 4*g + d - 2 - 1 = 0, -d + 3 = -s*g for g.
0
Let c = 1 + -2. Let f = c + 3. Solve -j + 0*j + u = 0, 6 = -f*u for j.
-3
Let m(b) = 5*b. Let v be m(8). Solve 3*g + 3 = 4*c, 3*c + 2*c + v = -5*g for g.
-5
Suppose -6*r + 19 - 1 = 0. Solve 2*f = f + 1, -5*p = r*f + 2 for p.
-1
Suppose 0 = 64*a - 59*a - 25. Solve a*x + 4*c - 3 = 1, x = -3*c - 8 for x.
4
Suppose 0 = -2*k + 1 - 3. Let v be (-2)/(k/2*2). Let r be (3/4)/((-6)/(-24)). Solve -n - 1 = 3*o, 0 = -v*o + n - 4*n - r for o.
0
Let d be (-4)/(2*(-1)/2). Let f(a) = -a**2 + 7*a + 2. Let l be f(7). Suppose d*w - l*w - 6 = 0. Solve 3*q + 5 = -4*k, -2*k + w*q = 5*q + 4 for k.
1
Let z(x) = -7*x + 2. Suppose 3*h = v + 1, 2*v + 12 = -6*h + 2*h. Let u be z(h). Solve 3*f - u = -5*q, f - 4*q = 3*f - 8 for f.
-2
Suppose -20 = -2*l - 3*l, -2*g + 22