*a = c - 5 for c.
-5
Let x be 2 - (-1 + (2 - 2)). Let f(d) = -d - 5. Let p be f(-6). Let a be ((-35)/x)/(p/(-3)). Solve -a = 5*m + 2*w, 5*m + 2*w + 3*w + 50 = 0 for m.
-5
Suppose 0 = j - 8 + 4. Suppose -4*y = l - 6, j*l + 2*y = -0*y + 24. Solve -4*r - 6 = -2*o - 0*o, o + r - l = 0 for o.
5
Let q(n) = -n**2 - 8*n + 4. Let p be q(-8). Solve -3*l = -p*b + 27, -2*b - 2 = l - 3 for b.
3
Let x(s) = 3*s - 25. Let m be x(10). Solve m*w - 5*h + 3*h = 2, -2*w + h = 0 for w.
2
Suppose 3*d - 126 = 3*t, 4*d = 5*d + 4*t - 17. Let a = 57 - d. Solve 0*f + 2*f = 4*r + a, 3*r + 17 = 2*f for f.
4
Let z be (48/40)/((-2)/(-5)). Suppose -12 = -n - z*n. Solve -b + 3 = -v + 4, 4*v = n*b + 6 for v.
3
Let r be (-2)/2*(8 - -2). Let a = -8 - r. Let x = -3 + 5. Solve 5*c + 15 = 2*m, -a*m - x*c = -3*m + 6 for m.
0
Let x(k) = -k**3 + 3*k**2 + k - 2. Let q be x(2). Solve 4*r - 9 = 2*i + 9, -3*r + q*i + 26 = 0 for r.
2
Suppose 4*j + 1 = 4*x + 5, j + x - 5 = 0. Suppose 3*u - 21 = -2*l - 2*u, 4*l + 3*u = 21. Solve -j*o = r + 14, l*o + 2*o - 5*r = -30 for o.
-5
Let q be 4/(8/6) - -21. Suppose 0*d - q = -4*d. Solve 2*m + 3*g + 16 = 0, -3*m - 4*g - d = 16 for m.
-2
Suppose 39*s = 46*s - 35. Let w(g) = -3*g - g + g. Let b be w(-1). Solve -s*u + b*u - 4*l = -20, -5*u - 4*l = -20 for u.
0
Suppose -3*v - 10 = -3*f + 2, -2*v = f - 1. Suppose -4 = -4*q, 3 = -4*c - 3*q - 2. Let u = c + 6. Solve 6*z + 5*s = 2*z + 7, u*z - 9 = -f*s for z.
3
Let s be (-32)/(-3) + 4/(-6). Suppose -3*b + 17 = -s. Let m = b - 6. Solve -4*o - 46 + 6 = -5*w, -o = -m*w + 17 for w.
4
Let b = 3 - 0. Suppose 2*d - 28 = -2*d. Suppose -d*s + 10 = -2*s. Solve -c - s*n = 2*n + 3, -b*c - 9 = 2*n for c.
-3
Let b be (-4)/(-10) - (-23)/5. Suppose -5*j + 3*x = -32, -3*j + 2*x + 8 = -12. Solve 4*s - 8 - 8 = 4*r, 29 = j*r + b*s for r.
1
Let a be (-4)/(-8) - (-25)/(-2). Let q be (2/6)/((-4)/a). Solve 0 = 5*b - 2*l + 12, l + 2 = -2*b - q for b.
-2
Suppose -3*m + 2*m + 4 = 0. Let o(j) = j**2 + 5*j - 1. Let f be o(2). Solve f = -2*b - q, q - 6 = b - m for b.
-5
Let a = 16 - 34. Let n be (-6)/((a/4)/3). Solve -5*w + 12 = n*f - 29, -5*w = -2*f - 17 for f.
4
Let j(o) = o**3 - 6*o**2 + 3. Let y = 18 + -9. Let k = 15 - y. Let m be j(k). Solve -3*v - 20 + 8 = m*t, -3*t = 5*v + 14 for t.
-3
Suppose 5*m - 13 = 7. Let f(k) = 2*k**2 - 4*k + 2. Let s be f(3). Solve -m*j + 4*h + s = 0, 5*j - 13 = 3*j + 5*h for j.
-1
Let v be (1 - (0 - 0))*2. Let y = 3 - -2. Suppose 0*m = -y*m + 20. Solve 8 = -4*d + 3*t, 4*d - m*t - 6 = v*d for d.
-5
Suppose -3*t + 2*k + 6 = 0, 12 = k + 3*k. Solve t*z = 3*f + 35, f = -z - 2*f - 10 for z.
5
Let f(j) = j**3 - 2*j**2 + 2. Let t be f(2). Let d be 1*(-1 - (-1 - -1)). Let n be d + (1 - 0/(-1)). Solve -t*x + 11 = -p + 3*x, n = -5*x + 10 for p.
-1
Let b be 6/(-5)*(-20)/6. Solve -6*x + 2*d - 10 = -x, 4*x - 4*d = b for x.
-4
Suppose -5*b + 2*q = -22, -3*q - 19 = 3*b - 7*b. Solve -3*o = -2*g + 2 + 2, -5*g - b*o - 13 = 0 for g.
-1
Suppose -5*f = -5 - 35. Suppose v - 3*j - 16 = 0, 3*v + 5*j = -0*v - f. Suppose 5*d = 109 + 36. Solve -3*o - 18 = m, 2*m + v*o = -m - d for m.
-3
Let w(v) = -v**3 - 11*v**2 + v + 12. Let d be w(-11). Let c(t) = d - 3 + 2*t - t. Let q be c(6). Solve 8*n + 12 = 2*k + q*n, -10 = 2*n for k.
-4
Let i(c) = -c + 9. Let u be i(7). Let m be u + 2 - 3/(-3). Let s be 0 + 2 + 0 + 0. Solve -2*a - 8 = -0*a + 2*p, s*a - 20 = m*p for a.
0
Let u(g) = -4*g**2 + g + 3*g + 0*g**2 - 1 + g**3. Let i be u(3). Let h be (-4)/6*(-15)/i. Solve -21 = -4*a - s - h, 5*a + 2*s = 17 for a.
5
Let k = 24 - -9. Suppose 2*z + k = -z. Let j = z - -31. Solve 5*s - j = 5*b, 2*b - 5*s + s + 8 = 0 for b.
-4
Let c be (-6)/8 - (-95)/20. Suppose m + c - 23 = 0. Solve -p - 10 - 4 = 3*v, 5*p - 2*v + m = 0 for p.
-5
Let a(o) = o**2 + 12*o - 9. Let h be ((-4)/(-6))/(6/(-117)). Let m be a(h). Solve -4*n - 20 = 2*j, -5*j + 25 = -m*j - 5*n for j.
0
Let w = -140 - -151. Solve -3*p - 4*u - u - w = 0, 4*u = 2*p - 22 for p.
3
Let b(x) = x - 9. Let v be b(12). Let w(n) = n**2 - 8*n - 1. Let f be w(7). Let l be (-45)/(-12) + (-2)/f. Solve 0*a = -4*j - l*a - 20, j - v*a - 7 = 0 for j.
-2
Let l(x) = -x + 8. Let m be l(6). Suppose -16 = -m*k + k. Suppose 0*z = -c - 3*z + 15, -c = z - 7. Solve -k = 4*f + 4*h, -4*f + 3 = c*h + 18 for f.
-3
Let u = -4 - -6. Let m(h) = h**3 + 3*h**2 - h - 2. Let n be m(-2). Solve n*z + 1 = f, -2*z = 2*f + 6 + u for z.
-1
Let b(g) = g**2 - 2*g. Let c be b(4). Suppose 5*t - 38 = 2. Solve 3*q - c = 5*y - 0*q, 0 = 2*q + t for y.
-4
Suppose 9*m - 10 - 17 = 0. Solve n - 3*q - 3 = 5*n, m*n = -q - 6 for n.
-3
Let z(i) = i + 10. Let x(o) = -o**2 + 5*o + 2. Let y be x(4). Let c = y + -11. Let t be z(c). Solve m - 4*m + 3 = -3*w, 0 = -3*w + t*m + 5 for w.
-5
Suppose -2 = -n - 0. Solve 2*s - 12 = 5*c - s, 2*s - 8 = n*c for c.
0
Let n(i) = 4*i + 3. Let h(q) = q + 1. Let m(j) = -7*h(j) + 2*n(j). Let z be m(4). Solve 2*a - 4*r + 3 + 13 = 0, -3*a = 3*r - z for a.
-2
Let q(h) = 2*h**2 + 2*h. Let y be q(-2). Suppose 0 = y*p - 2*k - 12, -5*p + 3*k + 9 = -2*p. Solve -3*w = 4*l + 22, -p*w - 4*l = -l + 18 for w.
-2
Let b be 7 + 2*(-9)/6. Let q be (-1)/b + (-42)/(-8). Solve -d - 5*y + 21 = 0, -d - q*y + 41 = -5*d for d.
-4
Suppose -2*d = -q - 3, -4*q + 4*d = 12 - 0. Let y = q - -3. Solve -4*f = 2*x, -2*x + f - 2 + 12 = y for x.
4
Let d be (64/(-48))/(20/(-6) + 2). Solve -2*o + 1 = -d, 0 = -3*t + 4*o - 1 for t.
1
Let p(a) = -a**3 + a**2 + a + 9. Let d be p(0). Suppose -3 = 3*q, -5*w + 3*q = -2*w - d. Let n be w/(-8) - (-82)/8. Solve -s - n = s - 3*b, -5*b = 0 for s.
-5
Let g be 24/5 + 1/5. Solve -4 = -2*b, -5*l - 14 = -2*b + g*b for l.
-4
Let r be 56/98*1*7. Solve 2*j = 3*q - q - 12, r*j + 4*q = 8 for j.
-2
Let x be 2 - (-3)/(-2)*-2. Suppose 2*m + 0*m = 4. Let s(f) = -f**3 + 4*f**2 - 2*f - 2. Let a be s(2). Solve k = -a*p + m, p + 0*p = x*k + 23 for p.
3
Let u(n) = 1 + 3 + 0 + n**2. Let t be u(0). Suppose -3*m = 2*z - 4*m - 7, 2*z - 12 = -t*m. Solve 0*c + z*y = -c + 6, -y = 5*c - 11 for c.
2
Let w = 12 - 8. Suppose w*n = n. Suppose j - 6*j = 0. Solve -4*y + j*g - 3 = -3*g, 5*g - 25 = n for y.
3
Let s be ((-4)/(-10))/(8/40). Suppose 3*i - 6 = -0. Suppose -s*w + 4 = -i. Solve -2*o - 10 = d, -w*d - 3*o + 7 = -7*d for d.
-4
Let q(j) = -j**3 + 3*j - 3. Let u be q(-3). Let t be ((-2)/3)/((-1)/u). Suppose 5*a - 9 = 16. Solve 25 = a*d, t*y - 45 = 5*y - 4*d for y.
5
Let s = -13 + -43. Let q = 81 + s. Solve -h - 5*l = -q, -4*l + 20 = -0*l for h.
0
Let d = 66 + -64. Solve g = -4*b + d, 2 = 3*b - 2*g - 5 for b.
1
Let b = -3 - -4. Let l = 1 + b. Suppose 4*w - l*w = 3*p + 15, 0 = -3*w - 2*p + 3. Solve -g - 2*g - 5*n + 22 = 0, w*g - 4*n - 4 = 0 for g.
4
Suppose -7*c + 10 = -2*c. Suppose 4*x = -7 + 19. Suppose -r - x*r = 0. Solve u - 4*o - 12 = r, -3*o - 10 = -u - c for u.
-4
Suppose 100 = 2*v + 2*v. Solve -q - 4*t = -13, -2*t - 3*t + v = 3*q for q.
5
Let q be 3 + -3 + 0 + 5. Solve 4*r - q*b - 21 = 0, -3*r + 3*b + 2 = -13 for r.
4
Suppose -4*h - 12 = 0, -5*t + h + 13 = -0*h. Solve c - t*w - w + 17 = 0, -4*w + 11 = c for c.
-5
Let l be (48/(-40))/((-12)/100). Solve 4*i - 2 = -2*v - 0*i, v - l = -5*i for v.
-5
Suppose -d + 24 = 4*s, 9 - 3 = d - 2*s. Suppose -4 = -3*h - 1, 5*y = 4*h - 39. Let k = d + y. Solve -5*f - 15 = 0, 0*x = x + 2*f + k for x.
1
Suppose 2*l = -l - 9. Let a = 9 + -7. Let r be (a*-4)/(l - -2). Solve 3*y + 3*h = -y - r, -4*y - 4 = 4*h for y.
-5
Let q = 19 - 18. Let h be 6/(2/4 + q). Solve -h*s - 5*j = -17, -s + 4*s + 5*j - 19 = 0 for s.
-2
Let o be 8 - (0 - -3 - 1). Let j = 6 + -4. Let f = 1 + j. Solve -f*z - 3*c - o = -15, -5 = 3*z - 4*c for z.
1
Let h(d) = -d - 6. Let o be h(-6). Solve -4*v + 2*r - 21 = r, o = 5*v + 3*r + 5 for v.
-4
Suppose -j - 7 = 2*a, -j + 10 = -2*a - 3. Let i = -18 - a. Let h = -8 - i. Solve 4*q = -3*k + 19, -h*k - 3*q + 20 = -8 for k.
5
Let u(q) = -q**3 + 1 - 4*q**2 + 1 - 4*q**2. Let b be u(-8). Let o = -9 - -14. Solve b*d + 2*l - 3 = -7, o*l = -3*d - 6 for d.
-2
Suppose -4*h + 2 = l - 8, 8 = 3*h + l. Suppose -h*o + 10 + 24 = 0. Solve 4*r + r = -2*c + o, -c - 5 = -2*r for c.
1
Suppose -7*i + 35 = 7. Solve -i = -4*p, 2 + 2 = -4*y + 4*p for y.
0
Suppose 12*z = 8*z + 20. Solve s + 1 = 2*d - 1, 5*d - z = 4*s for s.
0
Suppose t - 1 = 1. Suppose 0 = 5*k + t*y - 28, -3 = -2*k + 5*y - 15. Suppose 0*o + k*o = 4. Solve 5*a - 4 =