 o*n + n, 3*n + 5*g = -19 for n.
2
Let h(m) = m**2 - 3*m. Let j be h(2). Let i = j + 5. Let z = 4 + -3. Solve 0 = -o - z - i, 5*v - 3*o - 32 = 0 for v.
4
Let l(h) = h. Let i be l(-2). Let o(c) = 8*c - 3. Let j(u) = u - 1. Let s(a) = 2*j(a) - o(a). Let n be s(i). Solve 2*f - 2*w + n = -3*w, -f = w + 8 for f.
-5
Let a(m) = m**2 - 5*m + 6. Let u be a(5). Solve -5*h + h = -3*f - 3, -3*f + h + u = 0 for f.
3
Let s be 7 - (0/3 + 5). Solve 0 = 5*b + l - s, 4*l - 2 = 3*b - 17 for b.
1
Suppose -3 = -3*b + t - 10, 5*b - 2*t = -10. Let z = b - -6. Solve 2*m + z*m = -4*q - 4, -4 = -3*q + 4*m for q.
0
Let g(n) = n + 1. Let b(w) = 7. Let m(z) = -b(z) - 2*g(z). Let x be m(-7). Solve -3*t + 3*l + 12 = 0, 5*l + 5 = -x for t.
2
Let r = 13 - 11. Solve r*j - 3*t = 2*t - 11, -2*j - t - 5 = 0 for j.
-3
Suppose -2*h = -h + 1. Let y be h + -2 + 6 + 1. Solve -c - z - 5 = -2*c, -y*z = 8 for c.
3
Suppose -2*x - 3*n = -2 - 1, -5*x + 12 = 3*n. Suppose -x = -z + 20. Solve -2*b + z = 3*l, -21 = 2*b - b - 5*l for b.
4
Suppose 2 - 20 = -3*h. Solve -2*j + h = 3*y - 0*y, 13 = j + 4*y for j.
-3
Let z(b) = b**2 + b + 2. Let x be z(0). Let d = -1 + x. Suppose -1 - 5 = -3*m. Solve 3*n = -s + 2*n - d, -2*n = -5*s + m for s.
0
Let c be 0*-1*(6/4 + -2). Solve -h + 3*o - 11 = c, -2*h - 16 = -0*h - 4*o for h.
-2
Suppose 5*t = 4*p - 12, -4*t = p - 2*t - 3. Suppose i + 8 = -p*i. Let j be (0/i)/(-2) + 20. Solve 24 = -4*n + 4*h, -5*n - h - 4*h = -j for n.
-1
Suppose -z + 0*z - 9 = -3*i, -i = 5*z + 13. Solve f + i*l = 4*l - 13, -l = -5 for f.
-3
Let m = -2 - -12. Let k be m/6 - 2/(-6). Solve 0 = -5*h - 5, -2*r = r + k*h - 13 for r.
5
Let u = -1 + 4. Let r(d) be the second derivative of d**3/2 - 2*d**2 - 2*d. Let b be r(u). Solve -3*l + 5*q = 3*q + 4, 0 = -5*l - b*q - 40 for l.
-4
Let o = -8 + 12. Suppose o*y = 5 + 67. Solve 7*t - y = 3*t - 5*a, 0 = -4*t + 5*a - 2 for t.
2
Let k(g) = -g - 5. Let c be k(-10). Let w = 3 + 0. Solve -2*t = -c*q - w, -q + 2*q = -3*t - 4 for q.
-1
Let b be 5/((-2)/(2 + -4)). Solve 0 = -4*o - 4*j - 8, b*j + 32 = o + 10 for o.
2
Suppose 2*f = 5*i - 23, -2*i = -2*f - 4 - 10. Let s be 30/7 - 4/14. Suppose s*j - 11 = 3*l, -2*j + 0*j = l - 13. Solve -2*a = -g - 1, i*a + j*g - 15 = 19 for a.
3
Let q(a) = -a**2 + 16*a - 36. Let o be q(13). Solve 4*s + o*n + 20 + 8 = 0, -4 = -3*s + 4*n for s.
-4
Let z = -26 - -31. Solve -l - l = -2*i - 10, -i - 25 = -z*l for l.
5
Let x(f) = f**2 - 10*f - 5. Let u be x(11). Solve 0 = -3*t + m + u, -6*t + 3*m + 11 = -4*t for t.
1
Let a be 3 - 4 - 1 - -4. Solve 3*j = -a*l - 13, 3*j + 17 = -2*l + 4*l for l.
1
Let q = -4 - -10. Let c(x) = -x**2 + 6*x. Let b be c(q). Solve -s = 5*u + 32 - 7, 4*s - 3*u - 15 = b for s.
0
Let x be (-8)/4 - (0 + 2). Let t(q) = q**2 + 2*q + 4. Let d be t(x). Suppose 3*y - 2*c - 6 = c, 3*y = c + 8. Solve -3*v - d = y*p, p - 5*v - 18 = 4*p for p.
-1
Suppose 3*h - 7 = -1. Suppose 0 = h*n + n - 24. Solve 0 = 3*w - 4*m - 2, 8*w - m = 3*w - n for w.
-2
Let f be ((-21)/63)/(1/(-21)). Solve i = 5*b + 17, 2*i - f = 3*b - 1 for b.
-4
Let i be (45/(-12) - -3)*-4. Suppose x = 4 - 1. Solve -x*p = -5*m - 5, m + 1 = p - i*p for m.
-1
Let r be 4*2/(0 - -4). Suppose -3*f = -5*t - 55, 5*t + 4 = -6. Let x be 2/(-3)*(3 - f). Solve -2*k + x = -r*s, -2*k = -4*k - s + 11 for k.
5
Suppose 0*c + 3*j = -4*c + 21, -5*j - 11 = -c. Solve -3*g = -6*g + 4*q + 14, 0 = -g - 4*q - c for g.
2
Suppose -3*c = -5*t - 2, 5*c - 9 = 5*t + 1. Suppose c*q - 5 = 3. Solve 14 = -o - q*w, 0*o + 4*o + 3*w + 31 = 0 for o.
-4
Suppose -n - 7*n = -24. Solve 0 = 4*f + 3*m + 23, m + 2 = n*f + 3 for f.
-2
Let t(p) = 2*p**2 - 4. Let k(i) = i**3 + 7*i**2 + 6*i - 2. Let v be k(-6). Let x be (-1)/v + 63/18. Let g be t(x). Solve z + z = -4*h + g, h = -2*z + 13 for h.
5
Let f be 100/55 - 2/(-11). Solve 3*s + f*i - 6 = 0, 3*s - i - 6 = i for s.
2
Let n be 10/3 - (-1)/(-3). Solve -k + 16 = 4*x - x, -n*k = 2*x - 13 for x.
5
Suppose g = t + 4, 0 = -2*t - 1 - 1. Solve 0*i - r = g*i - 14, 2*i = r + 1 for i.
3
Suppose 5*s + 3 = -7, -3*s = q + 2. Suppose 4*j - q*c = 3 - 7, -3*c = -9. Solve -3*l = -4*d + 11, j*d - 1 = -6*l + 3*l for l.
-1
Suppose 2*c - c + 182 = 5*t, 5*t + 3*c = 174. Solve g - 24 = -6*o + 2*o, 0 = 4*o + 4*g - t for o.
5
Suppose w - 2 = -0. Let t be 5*(1 + -1 - -1). Let i = 48 + -27. Solve t*f = -x + 10, -4*x + f + i = w*f for x.
5
Let j = 147 - 147. Solve 3*u = -5*b - 14 - 2, 5*u + 3*b = j for u.
3
Let v be (-184)/12*6/(-4). Suppose -4*n + b = -5*n + v, 0 = -n - 5*b + 15. Solve c + 3*q - 10 - 10 = 0, 0 = -3*c - 2*q + n for c.
5
Let r = -2 + 4. Let w = r - -3. Suppose 4*s + 3 = w*s. Solve -4*b + 5 = -s*m, b + b + 2*m - 6 = 0 for b.
2
Suppose -6*u = 125 - 137. Solve -g + 3*k = 10, -u*g - 8 = -3*k + 3 for g.
-1
Suppose -6 = -4*v + 2*m, v - m = 2*m - 6. Suppose -v*d = -d - 6. Solve g = -d*i - 1 + 3, 4*g = 3*i - 22 for g.
-4
Suppose -12 = -4*m + 2*v, 0 = 3*m - 4*v - 14. Let p be m + (-5)/(15/(-6)). Solve 2*k - 13 = 3*s, 0 = 2*k - p*s - 3 - 11 for k.
5
Suppose 24 = 4*v + 4*w, 12 = -0*v + 2*v - 4*w. Solve v = -2*c + 3*b + 1, 5*b = -3*c + 2 for c.
-1
Suppose -2*g = 4*u - 6, -7*u - 3*g + 5 = -2*u. Let w(i) = i**3 - 2*i**2 - 5*i. Let j be w(u). Solve 2*t - 3*t = -5*n - 1, -4*n - j = 2*t for t.
-4
Let d = 6 - 4. Let p = 3 - d. Solve -7 = -5*v + 2*z, 3*v - 4*z + 6 = -p for v.
3
Suppose 0 = -4*w - 3 - 5. Let j = 9 + w. Suppose j - 1 = 2*n. Solve n*x + 12 = -3*y, 8 = x - 5*x for y.
-2
Let u(j) be the third derivative of -j**4/24 + 3*j**3/2 - 4*j**2. Let n be u(6). Solve -2*y = -5*x - 1, -11 = 4*x - n*y - 2*y for x.
1
Let u be (-5 - -1)/2 + 2. Let a = 4 + u. Solve a*o - d - 10 = 0, -3*d - 16 = -4*o + d for o.
2
Suppose 5*u - 10 = -2*m + 3, 3*m = -3*u + 15. Solve 3*y = -5*t + 22 + 4, 5*t = m*y + 12 for t.
4
Let m(s) = -s**3 + s**2 + 2*s + 1. Let z be m(2). Let b be z/(0/2 + 1). Suppose -b + 13 = 2*g. Solve 4 = -f + g*f + t, 3*f = -t + 2 for f.
1
Suppose 0 = -5*c + 35 - 10. Solve -6*x = -2*x + c*b - 25, 4*x = 3*b + 17 for x.
5
Let o(q) = q**3 - q**2 + q - 2. Let b be o(2). Let y(l) = -l**3 + l**2 + l + 15. Let x be y(0). Let m = x - 0. Solve 5*r + b = -2*z, -4*r + 3*z - m = 2 for r.
-2
Suppose 2*i = -4*i + 24. Solve u = -i*n - 20, 3*u + 0*n = n + 5 for u.
0
Let d = 6 + 0. Suppose 4*t = d*j - 2*j - 32, -3*j + 19 = -2*t. Suppose 7 = 5*v - 3*m - 23, 0 = 4*v + 3*m + 3. Solve -j*w - v*b = b - 8, w = -4*b for w.
4
Let u(f) = -f + 5. Let v be u(0). Suppose -5 = -x + 5. Solve 3*q - v = 2*q + 2*w, 3*q - w + x = 0 for q.
-5
Suppose 5*q + 5 = 6*q. Solve -2*y = 2*z - 10, 25 = q*y - 0*z - 5*z for y.
5
Let j = 87 - 85. Solve -j*c - h = 3, 5*c + 8 + 7 = -4*h for c.
1
Let k(d) = 2*d**2 - 4*d + 0 + d - 1 + 5*d. Let w be k(1). Solve 0 = -3*a - 2*z, w*a + 7 = 4*z - 11 for a.
-2
Suppose 2*n - 9 = -n. Let z be (57/15 + -3)*15. Let k = z + -8. Solve -n*b + b + 4 = f, -k*f = 0 for b.
2
Let n(d) = -d**3 + 12*d**2 + 2*d + 17. Let r be n(12). Suppose -2*u = -3*u - r. Let g be u/(-3) - (-12)/(-18). Solve 4*x + j + 2 = -g, 4*x + 14 = -2*j for x.
-4
Let a be (-1 + 3)*3/(-6). Let h = a + 5. Solve 2*v - 11 - 5 = h*n, -3*n - v = 2 for n.
-2
Let a = 6 - 3. Suppose 5*j - 85 = -5*v, -j - a*v + 0*v + 7 = 0. Solve s = -5*z - j, -47 = 4*z - 5*s - 12 for z.
-5
Suppose 63 = 3*v + 2*v + 4*u, 6 = v + 3*u. Suppose 4*x - v = x. Solve 0 = -g - 5*c + 16, -3*g - 4 - 8 = -x*c for g.
1
Let z be 0 + 12/((-9)/(-3)). Solve 4*y - 5 = -z*d + 3, 2*y = -d - 1 for d.
5
Suppose 2*t - 12 = i, 0 = 5*t + 4*i - 2*i - 12. Solve -5*s - 2*o = 5, -o - t = 3*s + s for s.
-1
Let q(a) = -2*a + 21. Let c(h) = 10*h - 1. Let b be c(1). Let g be q(b). Solve 3*n + 6 = 3*k, -2*n = -g*k - 2*k + 4 for k.
0
Let z be (4/10)/(2/20). Solve -z*b - 2*o = 6, -4*b + 13 = -o + 4 for b.
1
Let i(v) = 2*v + 7. Let l be i(4). Solve j + 23 = 5*d, 4*j + 5*d - 18 - l = 0 for j.
2
Let s(w) = w**2 - 5*w - 10. Let l be s(7). Suppose l*r + 20 = 2*u + u, 4*r = -3*u - 20. Solve u = -2*m + m - 5*y - 16, -m = -y - 2 for m.
-1
Let c be (-84)/(-35) - (-2)/(-5). Let k = 7 - c. Solve -2*t + k = y, -13 = -5*y - 3*t - t for y.
1
Suppose -6 = -3*p, -5*q + 39 = 3*p + 8. Solve -q*x + z - 2*z = 24, 2*z = 2 for x.
-5
Suppose -9*p + 16 = -11*p. Let h = p + 13. Solve -3*n - h*i - 2 = 0, -n - 7 = -3*i + 3 for n.
-4
Let l be (0 - -2)*(-4 + 6). Solve -4*h + l*u + 7 + 5 = 0, 4*h - 3*u - 8 = 0 for 