+ 20 = -5*j for l.
5
Let t(c) = -2 + 1 - 7 + c. Let i be t(8). Solve x = -i*x + d + 2, 3*x + 14 = -d for x.
-3
Suppose -3*r - 16 = -5*a, -2*a + 7*a - 2*r = 14. Solve 3*g + 5*k - 3*k + a = 0, 5*g = 2*k - 14 for g.
-2
Let v(m) = -m - 1. Let f be v(-9). Let l(x) = -x**3 + 4*x**2 + 6*x. Let h be l(5). Let j = f - h. Solve -j*z = -5*k - 15, -4*z + 2*k + 6 = -0*z for z.
0
Let p(j) = j**3 + 6*j**2 + 4*j - 2. Let x be (-1)/(-5) - 52/10. Let z be p(x). Let s be (-16)/(-10)*45/6. Solve z*n = -3*y - s, -8*n - y = -4*n + 16 for n.
-4
Let w be 10/(-4) + 1/2. Let m be -1*(4 - 1) - -2. Let y be (1*w + 2)/m. Solve 0 = -5*s + 2*q, 2*s + y*s = -2*q + 14 for s.
2
Suppose -4*y + 320 = y. Suppose 3*j - y = -j. Let f(u) = 2*u + 2. Let x be f(5). Solve 5*k - c = -x + 1, -j = 4*k + c for k.
-3
Suppose -2*z - z = -12. Suppose 0 = -z*x - x. Solve 0 = -x*c - 5*c - 4*t + 5, -1 = -c - 5*t for c.
1
Let w be (-2)/(-8) - (0 - 7/4). Solve w*f - f = 3*g, -4*g = -5*f + 11 for g.
1
Let o be ((-40)/30)/((-2)/(-39)). Let q = -16 - o. Solve -5*k = -q*k - p - 25, 2*k + 10 = -2*p for k.
-5
Let x = 30 - 28. Let v = -1 + 4. Let i = x + v. Solve -5*g = i*z - 0*g + 30, -3 = -z + 2*g for z.
-3
Let r(a) = 2*a**2 - 1 - a - a**3 - 3*a + 0*a**3 + 2*a**3. Let q be r(-3). Solve 4*h - 4*l + 8*l = -32, h + q*l = -13 for h.
-3
Let f(l) = -l**2 + 10*l - 11. Let u be f(8). Solve -q = -5*r - 0 - 6, 2*q + 3 = -u*r for r.
-1
Let g be ((-136)/20)/((-4)/10). Let a = g - 14. Solve 2*f + 3*s - 6 = -4, a*s + 4 = 4*f for f.
1
Suppose 7*t - 4*t - 6 = 0. Solve -4*m = -t*f - 3*m - 7, -5*f = -m + 10 for f.
-1
Let l(g) = -g**3 + 13*g**2 + 16. Let c be l(13). Solve 3*k + 10 = -v, -4*k = -0*v + 2*v + c for k.
-2
Suppose 5 + 3 = -2*z. Let h = z - -6. Suppose 0 = -4*q - m + 6 + 21, -4*m = h*q + 4. Solve 0 = -3*j + 2*x - 2 + q, -3*j - 3*x - 9 = 0 for j.
0
Let v = -20 - -23. Solve 0 = -v*q + 2 - 11, 5*w + 4*q + 22 = 0 for w.
-2
Let b(a) = -7*a**2 - 2*a - 1. Let w be b(-1). Let k = 6 + w. Solve 5*n + 3*g - 5 = k, -4*n - 28 = 2*g - 6*g for n.
-2
Let y be (7*2)/(3 + -1). Let s = -27 + 6. Let p = s + 23. Solve y = 3*t - p*d, -2*d = -t + 3*d + 24 for t.
-1
Let y(h) = -13*h - 1. Let o(k) = 7*k + 1. Let x(a) = -11*o(a) - 6*y(a). Let u be x(7). Solve -2*p - 3*p = f + 7, -5*f - 8 = -u*p for p.
-1
Let k(a) = a**3 - 12*a**2 + 12*a - 8. Let d be k(11). Solve -o - 2*m = -0*o + d, o = -3*m - 7 for o.
5
Suppose 8*a - 8 = 4*a. Solve 0 = -2*x - 3*m + 7, a*x + 3*m - 1 = 3*x for x.
2
Suppose -4*d + 0*d - 3*s + 19 = 0, 5*d - 3*s = 17. Suppose -r = -5*o + 2, d*r + 5*o - 15 = 2. Solve -y + 2*y - 5*l = 20, -5*y - 12 = r*l for y.
0
Let p(l) = -59*l**2 + l - 1. Let f be p(1). Let z = -41 - f. Suppose z = 3*j - 2*y - y, 3*j - 2*y = 14. Solve 5*t - 4 = -j*d - 3, -4*d = -5*t + 13 for t.
1
Suppose -7*k + k = -30. Solve 0 = 3*a - 4*b + k - 20, -4*b = 0 for a.
5
Suppose s = 7 - 4. Suppose 9 = -s*z + 4*z. Suppose -2*v = -5*v + z. Solve v*u + 4*i = 19, -5*u - i + 8 = -1 for u.
1
Let r be 0/(3/3 - 3). Let p = 2 + r. Let l = 7 - p. Solve l*m + 0 = 3*w + 18, -2*w + 2*m = 8 for w.
-1
Let a(w) = -w**3 - w - 4. Let j be a(-2). Solve -j*v + v - 25 = 0, -b = v + 9 for b.
-4
Suppose 0 = -5*u + u + 8. Let i be 2*(2 + 0) - 4. Suppose 0 = 5*c - 18 - 7. Solve 0 = -i*b + u*b - 2*x + 8, -c*b - x - 2 = 0 for b.
-1
Let t(u) = u**3 - 6*u**2 + 5*u + 5. Let n be t(5). Suppose -b - 1 + 6 = 0. Solve -g - n*v + 7 = -6*v, 10 = -b*v for g.
5
Let u(i) = 4*i + 5 - 1 - 5*i. Let x(s) = -s**2 - 5*s. Let z be x(-5). Let r be u(z). Solve 4*w + 11 = -t, -r*w - 35 = -3*t + w for t.
5
Let x be 3/((-9)/6)*-1. Let n(b) = 11*b. Let m be n(x). Solve -4*p = 2*h + 18, -2*h - 2*p + 6*p = -m for h.
1
Let h be (-2)/10 - (-114)/(-30). Let l = 1 - h. Suppose 6*a = l*a + 30. Solve 5*x - 5*c - a = 0, 2*x + 3*c = 4*x - 13 for x.
5
Let w(a) = -a**3 - 5*a**2 + 6*a. Suppose 2*t = 2 + 2, -2*t = 4*o + 20. Let x be w(o). Suppose -y = -x*y. Solve 2*p = y, p + 8 = -4*g - 4*p for g.
-2
Let l be ((-2)/3)/((-28)/126). Suppose u = 5*u - 16. Let t be (u - 3)*3*1. Solve t*y = -l*r - 0*y, 8 = -4*y for r.
2
Let z be 5*(2 + (-1)/1). Let j = -1 + 2. Let p be ((-9)/15)/(j/(-5)). Solve p*b + 4*m + 29 - 4 = 0, -z*m = 20 for b.
-3
Let i be (-2)/(-3)*(2 + 1). Let k(t) = 2*t**3 - 2*t - 1. Let p be k(i). Solve -2*a = -3*q + p, -1 = 3*q + 2*a - a for q.
1
Let c(i) be the first derivative of i**4/4 + 7*i**3/3 + 3*i**2 - 7*i + 2. Let z = -12 - -7. Let t be c(z). Solve -a - 3*x + t = 0, -a - 8 = 4*x - 26 for a.
-2
Let y(n) = n**2 - 3*n + 2. Let m be y(3). Solve 0 = -5*o + 2*k + 35, k - 4 = -m*o + 1 for o.
5
Suppose 3*f - 5*r = 2 + 35, -f + 29 = -5*r. Solve 3 = f*n - 2*x + 3*x, -4*n - 5*x = 17 for n.
2
Suppose -2*k + 4 = 2*b - 0*b, 10 = -2*k + 5*b. Suppose k = 3*m - 4*m + 1. Solve -9 = -3*l + 2*p, -2*l = -4*p + 1 + m for l.
5
Suppose 4*x - 2*x = 0. Suppose x = -5*j - 0*j + 20. Solve -2*t = 3*v + 19, t + 3 = 2*v + j for t.
-5
Let r be ((-144)/(-96))/(3/10). Solve i + 4*t - 5*t - 5 = 0, 0 = r*i + 3*t + 15 for i.
0
Suppose 3 - 9 = 2*p, 5*p = -5*x + 45. Solve 2*y + x = 2*r, 2*y + 2*r = -3*r + 16 for y.
-2
Let t be 6/9 - 16/6. Let p be -1*(-6)/(-4)*t. Let z(y) = -y + 11. Let c be z(11). Solve -p*m = 5*v - m - 19, -2*v + m + 13 = c for v.
5
Suppose z = -4*y + 10, -z - 4*z = -5*y. Solve 0 = -5*k - 0*k + b - 20, y*b = k + 4 for k.
-4
Let r(z) = -z**3 - z**2 + 2*z - 3. Let l be -2 + 2 + -3 - 0. Let n be r(l). Solve -5 = 5*o - 5*t, o - 5 = -2*t + n for o.
4
Suppose 4*g + 4*v + v - 14 = 0, 3 = -3*g + 3*v. Let j be 13 - ((-3)/g + 1). Solve j = -5*d + i, 0 = -5*d + 4*d - i - 9 for d.
-4
Let n = 30 - 20. Let d(o) = -o**3 + 9*o**2 + 11*o - 9. Let r be d(n). Let a be 5*(r - 9/15). Solve 0 = a*l - u + 1, 4*u + 1 = 4*l - 3 for l.
-2
Suppose 3*d = -i + 11, 2*i = 2*d + 2*d - 18. Solve z + 5 = -3*z + p, p - 5 = -d*z for z.
0
Let v be (-1)/(-2) + (-11)/(-2). Suppose 0 = v*q - 2*q. Let x = q - -5. Solve -3*b + a = 6*a, -5*b = -x*a for b.
0
Suppose -4*d - 17 + 1 = -4*i, 3*i - 12 = -2*d. Solve -i*u = -0*q - 5*q - 1, -q - 3*u = -15 for q.
3
Suppose -3*j = 6, -j = -l + 6*l - 63. Solve s + 10 = o - 3*o, o - l = 4*s for s.
-4
Let s be (-348)/(-24) - (-2)/(-4). Let k be 1/(((-4)/(-4))/s). Solve -b + 0*b + r = 0, -4*r = 3*b - k for b.
2
Let r(h) = -h**2 + 8*h + 3. Let b be r(8). Solve -2*j + 4*g + 7 = -3*j, -b*g - 29 = -4*j for j.
5
Suppose 117 = 5*y - 3*a, 2*y + 89 = 7*y + 4*a. Suppose 3*w - 5*g = 0, g - y + 8 = -2*w. Solve -4*b - 3 = m, -w*b = 3*m + m + 12 for m.
-3
Let j = -14 + 16. Suppose -f = -0*f - j. Solve 5*g + 6*r - 2 = 2*r, -f*g - 3*r - 2 = 0 for g.
2
Let d(w) = w**3 + 5*w**2 + 3*w - 3. Let c be d(-4). Solve -f = c - 0, 5*h + 12 = -2*f for h.
-2
Let y(t) = 2*t**2 - 5. Let k be y(2). Solve 2 = -2*n, k = -2*b - 2*n - 1 for b.
-1
Suppose -2*h = -5*h - 18. Let g = 9 + h. Let f(v) = v**2 + 2*v - 1. Let p be f(2). Solve 0 = -l + g*j - 4, -j - p - 5 = -3*l for l.
5
Let t(u) be the first derivative of u**2/2 + 9*u + 3. Let y be t(11). Solve 8*r = v + 5*r - y, 0 = -3*v + r + 20 for v.
5
Let m = -201 + 207. Solve 0 = -3*r - 2*a + 4*a + 12, 0 = -3*r - 4*a - m for r.
2
Let v be -2 - (1*-6 - -3). Let k(h) be the first derivative of 2*h**2 + h + 1. Let m be k(v). Solve 0 = m*q - 10 - 10, 4*g + 32 = 4*q for g.
-4
Let f(p) = -13*p + 4. Let l be f(2). Let q = l + 22. Solve c - 4*o = 17, -3*c - 1 = -q*c + o for c.
1
Let l(k) = 6*k - 65. Let n be l(12). Solve 4*j = -5*x - 31, -2*j - 20 = n*x - 3*x for j.
-4
Let r(j) = 5*j**2 + 7*j + 9. Let c(f) = -6*f**2 - 6*f - 10. Let q(x) = -3*c(x) - 4*r(x). Let i be q(-4). Solve -3*z - 9 = -3*g, i*z = z - 4*g + 7 for z.
-1
Suppose -w + 6*w - 10 = 0. Suppose 4 - 2 = 2*d + 3*i, i + 10 = w*d. Let n(v) = 2*v - 1. Let g be n(1). Solve -o + 2 = d*p - g, 4*o + 5*p = 1 for o.
-1
Suppose -8*t = -10*t. Suppose -2*v + k + 9 = -t*k, 2*v - 4*k = 24. Solve -v*n - 3*w - 2 = 2, -9 = n + 5*w for n.
1
Suppose 3*y - 6 = -24. Let w(n) = -n**3 - 4*n**2 + 10*n + 7. Let z be w(y). Suppose -2*g + g = -z. Solve -2*o - 3*s = -0*s + g, 0 = -o - 4*s - 22 for o.
-2
Suppose 2*k + 3*k = 20. Suppose 0 = 2*m + 30 + k. Let j be 2/(m/(-8) - 2). Solve 12 = -3*v - 3*q, -j = 5*v - 2*q + 4 for v.
-4
Let w = -14 + 10. Let d = -5 - w. Let r be 5 - (-1 - d)/(-1). Solve -2*t + 21 = r*b, -t + 2*t - 3*b = -6 for t.
3
Let t(u) be the second derivative of -u**3/2 - u. Le