p = 2*f + 12 for f.
1
Let v = -2 - 1. Let c = 25 - v. Let q be c/21 - 2/(-3). Solve -4*m + x = 2*x + 8, 0 = -q*m - 5*x - 22 for m.
-1
Let x be 63/4 + (-8)/(-32). Let k = x + -14. Suppose 3*z = k*z. Solve -t - 3*t - f + 15 = z, 0 = 4*t - 3*f - 3 for t.
3
Let s(i) = i + 11. Let c be s(11). Let t be c*1/2 + -1. Suppose -8*p + 3*p + t = 0. Solve -4*h - l = l - p, 0 = h - 5*l + 16 for h.
-1
Let x = -14 + 17. Suppose -a - 1 + 5 = 0. Suppose 0 = -d - a + 10. Solve d = -x*v, 5*v + 10 - 2 = -o for o.
2
Let j(i) = i**3 + 55*i**2 - 66*i - 556. Let h be j(-56). Solve 0 = v + 3*v - 5*c - 16, v + 2*c = h for v.
4
Suppose 2*l - 20 = 4*i, 3*l = -5*i + 4 - 7. Suppose k + k - 8 = -2*h, -4*h - l = -k. Solve 4*o = 5*p + 23, 22 = -0*p - k*p + 5*o for p.
-3
Let g = -747 + 750. Solve -11 = -g*v - 2*y, -7*v - y + 7 = -4*v for v.
1
Let o be ((-17)/(-17))/(1/(-8)*-2). Suppose u - 2 + o = 3*w, -2*u - 4 = 3*w. Solve 0 = -0*v + 2*v + 8, 5*b - 5*v - 45 = w for b.
5
Let j be (-2 - -1) + -1 + 2. Suppose j = -7*n + 3*n. Suppose 7*o - 6*o = n. Solve -5*q + 11 = 2*v, 4*v - 5*q + q - 8 = o for v.
3
Let i(o) = -o + 27. Let m be i(8). Let d = m + -18. Solve 2 = -5*q + 4*y, -4*q + y + d = -2*q for q.
2
Let b(s) = -s + 11. Let t be b(0). Let n = -15 - -9. Let z = t + n. Solve 3*j + 0*h = h + 9, 0 = z*j + 3*h - 15 for j.
3
Suppose 2*l = 5*l + 42. Suppose -92 = -5*f + 3*s, 0 = -0*f + 5*f + 4*s - 64. Let v = l + f. Solve -4*k = -4*i - 8, -2*k + 2*i = 6*i + v for k.
1
Let i be 73/(-3) - (-24)/18. Let j = i - -39. Solve -4*v = 5*a + 37, j = -5*v - 3*a - 14 for v.
-3
Let h be 58/12 - (-4 - (-116)/24). Solve 12 = 2*g + g + 2*i, 0 = -4*g + 4*i - h for g.
2
Let k be (-6)/(12/5) + 13/2. Solve 3*m - 11 = 3*x - m, -2*m = -k for x.
-1
Suppose -u + 168 = 2*u. Suppose y = -4*n + 10 - 57, -4*n = 4*y + u. Let z = 29 + n. Solve -2*p + z = 2*d, -5*d + 5*p = -4*d + 15 for d.
5
Suppose 0*o - o + 5 = 0. Solve -4*y + 16 = -3*a, 4*a - o*y + 1 = -19 for a.
0
Suppose -5*y + 4*m = 5*m - 2, 0 = -y - 2*m + 4. Let k be (-2)/(-1) - (y + -3). Solve 35 = -5*h + k*t, 0 = -h - 2*t + 8 for h.
-2
Let k be (-1)/1 - (-84)/12. Suppose -4*y + k + 2 = 0. Suppose -62 = -4*h - y*v, 3*h - 4*v = 63 + 11. Solve 5*f = 3*x + 35, 5*f - 12 = 2*x + h for x.
-5
Let a be (10 + -14)*-2*1/2. Solve 0 = -3*o + x + 15, 0*x = -2*o + a*x + 20 for o.
4
Suppose 0 = -5*c - 5*p + 5, -3*p - 6 = -p. Solve c*l = -16, -2*r + 5*l + 21 = -3 for r.
2
Let s(l) = l**2 + 2*l + 1. Let h be s(-3). Let t be (-6)/h*(-8)/6. Suppose 42 = q + t*q. Solve 0*b - 5*b - 19 = -3*u, -b - q = -4*u for u.
3
Let p be (60/14)/(6/210). Suppose 6*z = z + p. Let c be (36/z)/(6/20). Solve 3*d + 7 = -3*q + 5*q, 20 = c*q for d.
1
Suppose 0 = m - 1, 3*v = -3*m - 2*m + 14. Solve -4*u - v*x + 19 = 0, -3*x = -0*u + 3*u - 18 for u.
1
Suppose -18 = -3*h + 12. Suppose -4*z - h = -z - 5*r, 2*r - 32 = 4*z. Let n be ((-8)/z)/((-10)/(-25)). Solve 4 = -2*g - 2*f, 2 = 3*g - n*f - 12 for g.
2
Let m(w) = w**2 + w. Let o be m(0). Let j(x) = 156*x - 1244. Let u be j(8). Solve 6 = -u*k - o*r - 3*r, 4*r = 5*k - 8 for k.
0
Let b = -28 - -31. Suppose 3*l = -0*f + 5*f - 3, 0 = -f + b. Solve 0 = -4*n - 4*v - l, 4*n + v + 1 = -0*n for n.
0
Let s be (-10)/(97 + 3) + (-204)/(-40). Solve 4*n + 3*y = 2*n - 4, -s*n + y + 24 = 0 for n.
4
Let w = 18 + -15. Let t be (0 - -2) + w - 2. Let k(c) = c**3 - 7*c**2 + 6*c + 2. Let s be k(6). Solve 4*h = -2*y - s, -h + t = -2*h for y.
5
Suppose 10*z = 9*z - 4. Let h(s) = s**3 + 2*s**2 - 12*s - 11. Let d be h(z). Solve -5*f - d*u = -13 + 53, 2*f + 7 = u for f.
-5
Let n = -1068 + 1074. Solve 4*t = 2*y + n, 4*t = 5*y - 24 + 33 for y.
-1
Let y = -1 + 4. Let v be (-2 - -3)*(0 + 5). Suppose -r = 7*r - 16. Solve v*u + 6 = -r*h - 7, -u - 6 = -y*h for u.
-3
Suppose 12*f = -f + 39. Solve 6*v - v = 4*h + 27, f*v - h = 12 for v.
3
Let z(t) = -17 + 4*t + 1 + 3 - 16. Let u be z(8). Solve u*v + 18 = -f - 0*f, -f = -5*v - 22 for f.
-3
Suppose -3*m - m = -32. Let g(k) = -5*k - 4*k - 5 + k**2 + 16. Let t be g(m). Solve 8*f - t*f + 4*v + 28 = 0, -v = -2*f - 6 for f.
-4
Suppose 5*p = 5*z - 35, 3*z - 3*p - 17 = -p. Solve -3*y - 5*t = 20, 0*y - t - 4 = z*y for y.
0
Suppose 4*i + 64 = 8*i - 2*a, 2 = a. Suppose 11*m - i - 16 = 0. Solve 2*b - 4 = -2*j, -m*j + 8 = -7*j for b.
4
Let f = -10 + 9. Let c be (-2 + 1)*(f + -1). Let y = -9 + 11. Solve -y*l = 2*l, 2*r = -l + c for r.
1
Let j be (-7 - -7)*(-1)/(-1). Let v(h) = 2*h + 10. Let d be v(j). Suppose k + d = 5*w, 0*k + w - 24 = -2*k. Solve x - 2*o = -15, -k = x + 3*x + 2*o for x.
-5
Suppose -10*q = 68 - 118. Solve 0*u + 5*u = -2*v + 11, q*v = -3*u + 18 for v.
3
Suppose 37*g = 198 - 13. Solve g*n = 2*v + 8, v - 3*v + 8 = 3*n for v.
1
Let p = 133 + -123. Let l be p/(-3 - 2) - -6. Solve -2*f - r = 6, -f = l*f - 5*r + 30 for f.
-4
Suppose 4*t = -4*i - 136, -i = 2*t - 0*i + 66. Let m = t - -35. Solve -3*k + 9 = -3, 2*d - m*k + 16 = 0 for d.
-2
Suppose -n + 40 = 4*n. Let f = 12 - n. Solve -1 = -5*i - h, -i - f*i + 5*h + 25 = 0 for i.
1
Let f(n) = -3*n**2 + 2*n**2 - 62*n + 20 + 54*n. Let s be f(-10). Solve s*y - 3*y + 5*g + 11 = 0, 2*y = 2*g + 2 for y.
-3
Let r = -114 + 130. Let n = -13 - -18. Solve 0 = 4*y + 4*s - r, -n*y + 4*y = 5*s - 20 for y.
0
Let p(d) = 4*d + 3. Let n be p(7). Suppose -3*i - 4*b = -0*b - n, 4*i + 4*b - 36 = 0. Solve 2*l + 5 = -4*r + 15, -3*l - 7 = -i*r for r.
2
Let t = -46 + 50. Suppose 25 = 4*o - 2*j + 3*j, -2*j = t*o - 30. Solve a = r - 5, 4*a = r - o - 9 for r.
2
Let k be 4 - 328/84 - 836/(-42). Solve -4*b = -3*g - k, 2*g - 5 = 4*b - 5*b for b.
5
Suppose -5*k = 3*w - 32, 2*w + 6*k - 3*k = 23. Let c = -16 + w. Solve -2*m = -c*m + 2*l - 4, 5*l - 24 = -m for m.
4
Let g(r) = 4*r**2 + 13*r - 13. Let b be g(1). Solve 0 = 4*a + 4, -4*u - b + 17 = -5*a for u.
2
Suppose -2*o + 4*o = -2*k - 42, 4*o + 69 = -k. Let r = 20 + o. Suppose -4 = 3*w - 5*w. Solve 0 = -5*n + 5*d, 1 = -5*n + r*d - w for n.
-3
Suppose 3*t + 0*t + 15 = 0. Let n = -5 - t. Let j = 6 - n. Solve 5*d + 14 = -2*v - 1, j = -2*d - 5*v for d.
-3
Let l(q) = q**2 - 27*q + 110. Let k be l(22). Solve -2*x = -4*w + 12, k*x - 2*x - 9 = -w for x.
-4
Let u(z) = -z - 2. Let r be u(-6). Suppose -l = -r*l + 27. Let j(g) = g**2 - 8*g - 9. Let h be j(l). Solve -3*y - 2*k = 2, 2*k - 6 + h = -y for y.
-4
Let y = 1 - -15. Let p = -8 + y. Solve 4*s = 2*c - p, 5 = 3*c - c - 3*s for c.
-2
Let a = -22 - -40. Suppose -2*z = 4 + 2, 4*u - 2*z - a = 0. Solve -4*v = -4*d + 4, 0*v + 2*v - u*d = -2 for v.
-1
Suppose 4*j = -6*j. Suppose j = -f - 5, y = -4*y - 5*f - 5. Solve -5 = 5*m - 0*m + 5*n, -2*n = -y*m + 26 for m.
4
Suppose -5*t = -3*t - 6. Let q = 3 - 0. Suppose q*v - 8 = -v. Solve -3*s - 3 = -t*y, 4*s + v = 3*y + 2*y for s.
-3
Let s = -592 - -595. Solve 5*z - 2 = 3*o - 39, -s*o - 3*z = 3 for o.
4
Suppose 3*f + 3*z = 156, 20 + 12 = f - 3*z. Suppose f = 2*h + 13. Suppose -5*b + 65 = 5*o, 2*o - h = -5*b + 39. Solve l - 6 = -3*p, -5*p = -2*l - 2*l - b for l.
0
Let r = -117 - -122. Solve 2*q + 5*m + r = 3*q, -4*q - m = -20 for q.
5
Let h(g) = 79 + 4*g + 5*g - 4*g - 2*g. Let l be h(-25). Solve s - y + 4 = 0, -l*y + y = -5*s - 12 for s.
0
Suppose 0 = -5*v + 6*v + 2. Let l(w) = -3*w - 1. Let y be l(v). Solve -3*h - 8 = -5*s, 0 = -h - y*s + 12 + 12 for h.
4
Suppose -2*w + g - 4*g + 22 = 0, -5*g + 20 = 0. Solve 4*d - 3*s - 13 = 0, -d = w*s - 8 - 1 for d.
4
Suppose n - 3*n + 8 = 2*t, -3*t = 0. Suppose -39*m + 25 = -34*m. Solve -f - m = 3*g - g, 0 = n*g + 20 for f.
5
Let v be 3/(-4)*28/(-7). Solve -v*a + 6 = 0, 4*a = 5*i + 17 + 16 for i.
-5
Suppose 0 = 3*s - 25 + 64. Let x(i) = 2*i**3 - 3*i**2 - i - 7. Let r be x(3). Let c = r + s. Solve -5*z = 5*u - 35, -2*u - c = -2*z + 2 for z.
5
Suppose -3*m - 12 = 4*k, -m - 4*k - 1 - 11 = 0. Suppose -q + 0*q = -a + 10, -q - 2 = m. Let s = 17 - a. Solve -5*w + 0*d = 2*d + 23, w - 4*d + s = 0 for w.
-5
Suppose 1 = -3*i + 7. Let k = -1 + 36. Let u be 15/k - (-18)/7. Solve -3*o + 2 = i*c, o - 3*o + u = 3*c for o.
0
Suppose -6*q + q + 38 = b, -3*b + 94 = 5*q. Suppose 2*v + 12 = 5*v. Suppose v*i + 0 = 16. Solve 2*p = a + 10, 0*p - i*a = -4*p + b for p.
3
Let x(y) = 2*y - 56. Let u(k) = -k + 28. Let t(h) = 13*u(h) + 6*x(h). Let d be t(25). Solve 2*f = 5*l - 12 + 34, 17 = -5*l - d*f for l.
-4
Suppose -5*c - f = -5, 4*f - 5*f - 4 = -4*c. Let x be -2 - (c + -3 - 2). Solve -