n - 8, 3*m - 4*n - 25 = 0. Solve x = -3*f + 3, -m*x + x = -4*f + 4 for f.
1
Let d(h) = h**2 - 6*h + 7. Let s be d(5). Let u(x) = 5*x**2 + 2*x. Let p be u(s). Solve -c + 6*c = -3*a - p, -5*a = -5*c for a.
-3
Let w = 135 - 132. Solve -w*s + z + 17 = 0, 5*s + z - 8 = 3*s for s.
5
Let x(t) = t**2 - 4*t + 7. Let f be x(6). Let i = 32 - f. Solve -3*c - 27 = -5*m - 8, 5*c = -m - i for m.
2
Suppose -3*r + 6 = -r - h, -r + 1 = -h. Let z be (-6)/(-9) + 50/6. Solve r*o + 0*w + 25 = w, 4*o = -5*w + z for o.
-4
Let k(l) = -5*l + 0*l + 6*l - 6. Suppose -2*u = -4*s - 26, 5*u - 4*s - 35 = -9*s. Let a be k(u). Solve 20 = 2*v + a*n + 4, -4*v + 4*n - 8 = 0 for v.
2
Suppose -x = -2*x. Let m be x*(1 + 1/(-2)). Solve -v - 10 = 2*g, m = 2*g - 3*g - v - 5 for g.
-5
Suppose -2 = a - 7. Suppose -2*s = a*w + 6, 3*s - 2*w - 14 = -2*s. Suppose -5*c - 3 + 8 = -5*i, 0 = -i - s*c + 8. Solve 4*n = -r - 2, -n = -2*r + i*n - 4 for r.
-2
Let y = -6 + 9. Let u = y - 0. Solve 0 = 5*l + 4*n - 11, l - 2*l = u*n for l.
3
Suppose 6*h = h - 15. Let n be 2*h/12*-10. Solve 0 = -2*j - 0*j + 2*q - 8, -n*q = -25 for j.
1
Let d(t) = t**2 + 8*t + 9. Let v be d(-7). Suppose -r = 4*j + 7, v*r + 3*j + 29 = 6*r. Solve r*y - 9 = -4*i - 3, 3*i = -2*y + 8 for y.
-2
Let q be 30/(-12)*-1 + (-1)/2. Solve 12 = -q*g + v, -v + 5*v - 36 = 5*g for g.
-4
Let q = -2 - -4. Let m(d) = -d**3 + 10*d**2 - 10*d - 1. Let r be m(7). Let z be r/6 + 16/(-24). Solve 3*p + q*g - 5*g = -6, 3*g - z = 0 for p.
2
Let h be (-1 - -2) + 0 + 2. Suppose 3*b - 3*y - 8 = -b, h*b - 11 = y. Solve b*i + 19 = -4*u, u = -2*i - 4*u - 11 for i.
-3
Suppose 15 = 3*d + 2*d + 4*n, 9 = 3*d + 2*n. Let y be 63/6 + 6/4. Suppose 8 = 5*v - y. Solve 0 = d*q + r - 2, -q + 30 - 11 = v*r for q.
-1
Let f(b) be the first derivative of -b**2/2 + 5*b + 4. Let v be f(-3). Solve 5*n + 5*z - 10 = 0, 3*z - v*z = -15 for n.
-1
Suppose 5*m - 3 = 12. Suppose m*n = -9, 4*n + 0*n = -2*v - 6. Suppose -3*f = -2*y - 2, 0*f - 10 = -v*f - 2*y. Solve 3*g - 3*b = 0, -5*g = -f*g + 5*b for g.
0
Let a = 20 + -16. Solve r - 3 = -0*r + 2*n, -3*n = -a*r + 2 for r.
-1
Let b = -23 + 28. Solve a + 8 = -z, 0 = 4*z + b*a - 3*a + 26 for z.
-5
Let z(n) = -6 - 6*n + 1 + 5*n - 2. Let r be z(-10). Suppose 0 = m + 5*a - 3, -m + 4*a + r = 0. Solve -w + 5*g = -12 - 11, -m*w + 2*g = -17 for w.
3
Suppose -4*k + 3*h - 3 = 0, 2*k + 0*k + 14 = 4*h. Suppose -3*q + 0*q + 6 = -5*l, k*q + 3*l - 6 = 0. Solve -o + 1 = -z, -2*z + z + q*o - 3 = 0 for z.
1
Let v(d) = 2*d - 13. Suppose -5*u + 54 = 4. Let h be v(u). Solve 18 = -2*x - 4*n, x + h*n + 15 = 2*n for x.
-5
Let k = 49 - 44. Solve 5*f + 4*g - 1 = -12, 0 = -k*f - g + 1 for f.
1
Suppose 84 = 2*w + 2*w. Suppose -w = -5*x + 2*x. Let m be (2 + 1 - 1) + 0. Solve -m*c = -3*o - 12, -3*o - 2 = -c + x for o.
-2
Suppose -6 + 2 = -2*h. Suppose -2*l + 3*z = 2 - 15, h*l - z = 7. Suppose 0 = -t + l + 3. Solve 22 = o - t*o + 5*i, -3*i = -6 for o.
-3
Suppose 4*g = 51 + 29. Solve -t + 12 = -5*o, o = -5*t + 6*o + g for t.
2
Let o(p) = -p**2 + 8*p + 6. Let v(b) = -b**2 + 8*b + 6. Let h(n) = 6*o(n) - 7*v(n). Let g be h(9). Solve l + 2*l + g = -3*y, -4*l + 8 = 0 for y.
-3
Suppose -2 = -2*k + 6. Suppose k*x = x. Suppose 3*z + x*b - 36 = -3*b, -2*z = -5*b - 3. Solve -4*o - 3*g + 6 = -26, g = -o + z for o.
5
Let o(z) = 2*z**3 - 4*z**2 + 4. Let v be o(3). Let r be 105/33 + (-4)/v. Solve 0 = 2*c + 5*i - 23, -i - 4 = -4*c + r*i for c.
4
Suppose 0 = 4*x - 10*x + 12. Let s(a) = -a**2 - 6*a - 3. Let f be s(-5). Solve x*w - 2*l + 5 = 5*w, 4*w - f = 2*l for w.
1
Let u = 30 + -27. Solve -u*l + p + 4 = 12, -l + p = 6 for l.
-1
Let b be 1 + -1 + 0 + 0. Suppose -4*i - 10 - 22 = b. Let v = i + 12. Solve 2*g - 1 + 6 = s, -5*s - 3 = v*g for s.
1
Suppose 4*i - 1 = 23. Let g = i + -3. Solve g*j - 5 = 2*j, 0 = 4*n + j + 15 for n.
-5
Let x = -1 - -2. Let b = -2 + 3. Let j = 2 + b. Solve j*t - g - 3*g = -x, 3*t - 8 = -5*g for t.
1
Suppose 10*g + 6 = 11*g. Let b be g*1 - 6/2. Solve s + 9 = -5*n + 5*s, -n + 7 = -b*s for n.
-5
Let z = 21 - 16. Solve -5*x + 5 = 2*d - 0*x, 2*x = -z*d + 2 for d.
0
Let s = 15 + -13. Suppose s = -a + 5. Solve -4*t = 4*x + 24, -3*x - a = 5*t + 17 for x.
-5
Suppose -2*v + 2*l + 8 = 2*v, -3*v + 3*l + 3 = 0. Solve a + b + b = -3, v*a - 7 = 2*b for a.
1
Let v(o) = -o**2 + 26*o + 29. Let q be v(27). Solve -7 = 3*l - w - 17, q*l - 14 = -3*w for l.
4
Suppose -2*o + 7 = 3. Solve -5*t + 0*t - 3*b = 9, 16 = -4*t + o*b for t.
-3
Let c be ((-1)/(-2))/(2/8). Let x(m) = -2*m. Let j(a) = 3*a - 1. Let k(u) = 3*j(u) + 4*x(u). Let q be k(8). Solve 2*z + t - c = 3*t, 9 = z - q*t for z.
-1
Let v = 55 + -41. Solve 0 = b + 3*z - 18, 2*b - 2*z = 2*z - v for b.
3
Suppose -6*k + 2*k + 12 = 0. Solve m = k*y - 7, 5*y - 79 = -5*m - 34 for m.
5
Suppose -2*t - 16 = 5*a + 4, -2*a - 17 = -t. Let n be 1/(1 + 3/a). Solve -21 = -3*g + n*l, g = 3*l + 2*l + 20 for g.
5
Let i(h) = h - 2. Let m be i(4). Solve 5*c = 0, -2*f = 2*f - m*c + 8 for f.
-2
Let f be (-2)/(-10) - 1/5. Solve f = -4*h + 4*r - 20, 5*r - 13 = 4*h + 11 for h.
-1
Suppose -6*b + 3*b + 12 = 0. Solve 2*i - 15 = 4*o - 1, 2*i + b*o = -10 for i.
1
Suppose 0 = 4*o + 3*x - 17, 4*o - 22 = 3*x - x. Solve 0 = 4*u - 8, 0 = -2*j - o*u - 3 + 11 for j.
-1
Let q = -12 + 12. Let i be (-3*(-1 - q))/1. Solve -3*d - 15 + 1 = j, 0 = 2*j + i*d + 16 for j.
-2
Let i(o) = -o + 4. Let x be i(2). Suppose d = n - 2*d, 3*d - 3 = 0. Solve n*u = -g - 16, 0 + 7 = -u - x*g for u.
-5
Let y(l) = -14 - 5*l + l - 1. Let m be y(-7). Solve -5*z - m = -3*u, -5*z + 2*u = 7 + 5 for z.
-2
Let m(f) = 2*f - 6. Let o be m(4). Solve -o*y - 10 = -2*g, -5*g + y + y = -16 for g.
2
Let m be (-2)/(56/30 - 2). Let y(d) = -d**2 + 9*d - 18. Let u be y(6). Solve -3*r + u*q + m = -3*q, -2*r + 12 = -4*q for r.
4
Suppose -2*i + h = -3*h - 22, -44 = -4*i + 2*h. Solve 2*t + 4*z = -4 - 6, z = 4*t + i for t.
-3
Let a be (8 + (-128)/14)*14/(-4). Solve -8 = a*n - 3*u, 6 = n + n + u for n.
1
Let i(r) = r**3 + 7*r**2 + r + 10. Let v be (0 - 3)*21/9. Let g be i(v). Solve 5*m + 2*n = 5 - 0, 21 = 2*m - g*n for m.
3
Suppose 3*f = -2*f + 45. Solve -3*t = -4*u + 6, 3*u - f - 8 = -4*t for u.
3
Let g be (0 - 1*-1) + 2. Let s be 14/(-49) - 112/(-49). Solve -2*r + 2 = -s*y, -4*y + 3*y + 11 = g*r for y.
2
Suppose 2*g - 10 = -3*g. Solve -4*d + 4*b - 18 = 2, -d - g*b = -10 for d.
0
Let z be ((-2)/(-2) - 4) + -7. Let i = z - -16. Let h be 10/(-15) + 28/i. Solve -3*l - w = -4*l + 2, 3*w = h*l - 4 for l.
-2
Let r = 1 + 4. Suppose -4*n = 3*f - 66, 1 = -2*f + r. Suppose 0 = -5*z + 25 + n. Solve 5*i - 3*i = o + z, 16 = 2*o + 4*i for o.
0
Suppose 0 = -f + 3*o - 2*o + 5, 2*f + 3*o = 0. Let a = 12 + -7. Solve 10*k = a*k + 25, f*y = 4*k - 8 for y.
4
Let n(h) = -h**3 + 5*h**2 + h - 2. Let i be n(5). Let g be 10 + 0 - 24/6. Suppose 14 = g*q + 2. Solve -5*y = i*d + 10, -4 = 4*d - 0*y + q*y for d.
0
Suppose -2*i = 3*i - 50. Let c be 9*((-20)/6 + 3). Let h be (-6)/4*i/c. Solve h*v + 2 + 3 = 5*r, 4*v - 21 = -r for v.
4
Let p(f) = f**2 - 5*f - 31. Let z be p(9). Suppose 5*g - 6 - 14 = 0. Solve 0 = 2*x + 4*s + 14, -27 + g = z*x + 4*s for x.
-3
Suppose -2*z - 3*z = -5. Let u = z + -1. Solve v - 4 = -2*f, -2*f - 3*v - 2*v + 12 = u for f.
1
Suppose 2*l = -2*l + 20. Let w = 5 - l. Solve 0 = -3*p + 5*z - 20, p + 3*z - 12 = -w*z for p.
0
Suppose -4*d + 7*d = 0. Solve -5*t + 4*b - 27 = d, -t + 4*t + 3 = -2*b for t.
-3
Let i(o) = o**2 + 4*o - 2. Let h be i(-4). Let c be 0 + 5 + (h - 1). Let k be ((-4)/6)/(c/(-12)). Solve -f - 7 = 5*b + k, -6 = 3*b for f.
-1
Let q(z) = 2*z - 2. Let o(g) = g - 1. Let h(t) = 5*o(t) - 2*q(t). Let m be h(2). Solve y - s - 1 = -0*y, y = 5*s + m for y.
1
Let i = -30 - -53. Suppose -3*f = -y + 2*f + i, 4*y - 20 = 2*f. Let s(d) = -d**2 - 4*d + 17. Let u be s(-6). Solve -3*k = -l - 5, -y*k + 5*l + u = -20 for k.
0
Let g = 0 - 4. Let a = g - -10. Solve 5*t = -w + 8, w + a = 3*t - t for t.
2
Let v(z) = -z**3 - 9*z**2 + 10*z + 5. Let r be v(-10). Suppose 64 = 4*a + 3*t, -r*a + 8*t + 80 = 3*t. Solve f = 5*q + a + 2, -4*f = 4*q for q.
-3
Let g(r) = r**2 + 11*r + 2. Let n be g(-11). Let l = 3 - -3. Suppose -4*f - l - 16 = -m, -35 = -5*m - 5*f. Solve 20 = 5*q, q = -n*p + 3*q - m for p.
-1
Suppose 2*r - 2*f - 54 = 0, -3*f + 2 = -2*r + 56. Solve -23 = -y - 5*i, -y - 5*i = -2*y - r for y.
-2
Let d(s) = s**3 + s**2 - 2*s + 