 -2*c for c.
1
Suppose -22 = -2*p - 0*p - 4*d, 5*p - 2*d - 7 = 0. Let c be (267 - 274) + 24/2. Solve -p*v - 3*r + 0*r - 6 = 0, 0 = c*v - 3*r - 30 for v.
3
Let n = -12 + 15. Suppose -2*g - 21 = 2*m + n*m, m + 13 = 4*g. Solve 0 = 2*s + g*l + 16, 2*l = 2*s + 3*s + 19 for s.
-5
Suppose 15*k - 148 = -28. Solve 0 = 2*r + 3*r - 3*w + 17, 4*r = w - k for r.
-1
Let q(b) = b + 3. Let x be q(2). Let c = 3 - 2. Let v = x - c. Solve 4*t - 4 = -3*u - 12, -2*t - 14 = v*u for u.
-4
Let m be 15/(-6)*(3 + -5). Suppose 27*n - 24 = -3*f + 23*n, 3*f - 5*n + 3 = 0. Solve 29 = 5*v - f*z, -m*v + z + 28 = -2*z for v.
5
Let t be ((-2)/6)/((-1)/6). Suppose -t = -w - 0*w. Solve -w*n = 2*a + 4, -8 = -3*n - n for a.
-4
Let a = -1306 + 1306. Solve -3*v + 9 = -u - 9, -4*v + 2*u + 26 = a for v.
5
Let x = 96 - 86. Solve 3*y = 4*f + x - 3, 0 = 3*y + 4*f + 1 for y.
1
Let m(z) = -z - 3. Let x(s) = -s + 10. Let a be x(7). Suppose 0 = -2*g - 2, -3*c + a*g - 21 = c. Let u be m(c). Solve u*d = 4*h + 6, 1 + 4 = 5*d - 5*h for d.
-2
Suppose -5*x = 4*o - 24, 0*o = 2*x + 2*o - 8. Suppose 0 = -5*j + 4*j + 2. Solve 3*k + x = -4*q + 1, 0 = 2*k + 4*q + j for k.
-5
Let h(j) = -3*j**2 - 2*j + 1. Let s be h(-3). Let m = -5 - s. Solve 0 = -3*d - 4*z - m, 2*d + d - 2*z = -15 for d.
-5
Suppose 931*h + 216 = 955*h. Let m = 3 + -3. Solve 3 = 3*g, -4*u + u + 3*g + h = m for u.
4
Suppose n - 8 = -0*n - 5*s, s - 73 = 4*n. Let w = n - -30. Solve -2*r = -3*u - w, 6 = 4*r - u - 5 for r.
2
Suppose 9*w = 4*w + 5, 19 = 4*b - w. Solve -4*q - 3*j = -6, 4*j = b*q - j + 10 for q.
0
Suppose 45*x = 26*x + 76. Solve p - 3*v = 4, 4*p - 9 = -x*v - 41 for p.
-5
Suppose 196 = -2*a + 6*a. Suppose 4*o - 5*t = a, -t - 23 + 0 = -3*o. Suppose -p + 3*l = 0, o*l - 5 = l. Solve -p*j - 3 = 3*z, 4*z + 10 = 2*z - 4*j for z.
3
Let n(x) = 11*x**2 + 4*x. Let w be n(-2). Let l = w + -31. Suppose -24 = -5*c + 2*g + g, 4*g = l*c - 27. Solve 4*r - 5*b + 2*b = 31, -3*b = 3*r + c for r.
4
Let n = 569 + -566. Solve 2*t = n*w + 15, 9 = -2*w - 4*t - 1 for w.
-5
Let b be (3 - 2) + -1 - (-1 - -2). Let u be (b - 1 - -27)*(-6)/(-10). Solve -2*h - 4 = -6*h - 4*o, 5*o + u = 5*h for h.
2
Suppose -c + 0*c - 3 = 0. Let w be 2/3*27 - c. Let g = w + -16. Solve 2*j + 10 = -b, 3*b + g*j + 25 = b for b.
0
Let k be (-2 - (-8)/6)*-6. Suppose -5*j = -i - 44, 3*j = -j + i + 36. Suppose 0 = -4*g + j*g - 48. Solve b - k*b = 0, -3*f = -b + g for f.
-4
Suppose -156*b = -162*b + 18. Solve -15 = 5*f - 3*u, -b*f - u + 5 = -8*f for f.
0
Let c(x) = 2*x**2 - 11*x - 46. Let m be c(-3). Solve -3*o + 0*o + m*p - 15 = 0, 2*p = o + 5 for o.
-5
Let f be 2*(18/(-4) + 1). Let r = f + 8. Let a be -3 + (5 - 2)*r. Solve 8 = -2*t - a*t - 2*m, -3 = m for t.
-1
Let y = -517 + 530. Solve 3 = -3*n - 5*t - 9, -4*t = -n + y for n.
1
Suppose -3*a = -2*i - 46, -3*i = i + 3*a + 74. Let j be 0/(5*(-4)/i). Solve l + 6 = -j*s - s, -4*s = -5*l + 15 for l.
-1
Let n = -715 - -717. Solve -3*l + 2*l + 4*k + 4 = 0, -2*k - n = -l for l.
0
Let j(i) = -6*i + 62. Let c be j(10). Solve 0 = 2*q + 3*m - 1, c*q - 4 = 2*m + 2 for q.
2
Suppose -2*p + 3*t + 1 = 0, 16 + 9 = 5*t. Suppose p*q - 93 = 67. Solve 5*c - q = 5*r, 6 = -4*r + 2*c - 2 for r.
0
Let z(m) = 7*m**3 - 2*m**2 + m. Let b be z(1). Let d(u) = 88 - 70 + 9*u + 6*u + u**2. Let x be d(-14). Solve -x*f - 4*y = 20, -b*f - 2*y = -5*f + 6 for f.
-4
Suppose 17 = y + 3*r, -4*y + 4 + 12 = -r. Solve -3*z + 9 = 3*f, z = -2*f + 3*f + y for z.
4
Suppose -5*v - 6 = -8*v. Suppose 2*a = -v*l - 80, -4*a = -5*l - 3*a - 176. Let u be (-8)/l - (-25)/9. Solve -2*x + 3*c + 7 = 2*x, 0 = u*c + 3 for x.
1
Suppose 0 = 2*k + w - 2, k - 19 = 5*w - 7. Solve v - 3*v = -k*b, 4*v = 2*b for b.
0
Suppose -s - 8 = -5*s, -4*f - 5*s + 42 = 0. Let h = f + -4. Let z be (2/(-3))/((-1)/6). Solve -z*x = u + 3*u, 9 = -h*u - x for u.
-3
Let s be 2 + (1 - (-8)/4). Solve -s*h - 22 = 3*p, -2*h + 4*p + 0*p - 14 = 0 for h.
-5
Suppose 19*g + 49 = 125. Solve -5*j = 4*h - 12, -4*h + g*j - 6 = -6*h for h.
3
Suppose m - 9 = -2*a, -27 = -3*m - a + 25. Suppose -m = -5*c - 9. Solve -c*i = -k - 5*i + 7, -19 = 5*k - 3*i for k.
-2
Let b = 14 - 22. Let j = -6 - b. Let z be (-416)/(-72) + j/9. Solve 0 = k - s + 6, 3*s + z = -4*k - 2*s for k.
-4
Suppose 2*d + 110 = -2*d - 2*j, 0 = 3*j + 15. Let m = d + 29. Solve -4*a + 2 + m = -2*w, -16 = -4*a + 4*w for a.
-1
Let n be 5 + (-5 - (1 + -7)). Suppose -6 = -2*m - g, -2*m - g = -n*m + 6. Solve q + 5 - 1 = x, -2*x + m = q for q.
-2
Let i be (-8)/(-16) - 4/((-16)/18). Solve u + 5*c + 30 = 0, -i*c - 18 = -u + 2 for u.
-5
Suppose 0 = 3*w + 2*j + 32, 2*w + 2*j - 40 = 5*w. Let l be (-12)/(-10)*(-80)/(-6). Let p = w + l. Solve 0 = -5*x - 7*i + 4*i - p, -10 = 2*x + 4*i for x.
1
Suppose 0*i + 2*i = 64. Let v(s) = 5*s + 207. Let j be v(-41). Solve i = 7*y - 3*y + 4*p, -4*y + j*p = -8 for y.
4
Let o(w) = 5*w - 10. Let h(g) = 21*g - 17*g - 4 - 5. Let d(f) = -4*h(f) + 3*o(f). Let x be d(4). Solve -6 + 21 = 3*m, 0 = -2*u + x*m - 8 for u.
1
Suppose -17*c + 4*c + 91 = 0. Solve 1 = -2*w + f, -c*w + 3*f - 1 = -3*w for w.
-1
Let l be 5/3*12/10. Let u(w) = 4*w - 5. Let n be u(l). Solve 7 = -m + 2*y, 11 = n*m + 2*y - 0*y for m.
1
Let r(t) = -2*t + 5. Let l be r(3). Let p(g) = 2*g**2 - g - 1. Let o be p(l). Solve -5*b + 3*d - 2 = -6, o*b + d = 6 for b.
2
Let n = -591 + 607. Solve -2*a = -5*s - 21, -3*a + 5*s + 3 = -n for a.
-2
Let r(i) = i - 1. Let v be r(5). Suppose 0*s - v*s + 20 = 0. Solve -10 = -c - 4*a, 0 = c + a + 4 - s for c.
-2
Suppose -1 = s - 3*v, -16*v = 5*s - 21*v - 5. Solve 4*a - 2 = b, -b = s*a + a - 5 for b.
2
Let p be (2/(-9)*-3)/(36/1350). Suppose 0 = -5*t + 130 - p. Solve 0 = -5*d + b - t, 5 = -2*d + 5*d - 5*b for d.
-5
Suppose -5*v + 24 = 7*v. Solve 2*k = -s + 10, v*k - 16 = -5*s + s for k.
4
Suppose -2*u - 2*u + 19 = c, -3*c + 25 = 4*u. Suppose -4*k = -s - s - 20, -25 = 4*s - 5*k. Solve -t = u*t - 5*a + 20, -a + 1 = s for t.
-3
Let x(h) = -2*h**2 + 10*h - 9. Let u be x(2). Solve b - 5*l = -l - 14, -u*b - 6 = -3*l for b.
2
Suppose 22*a - 17*a = -105. Let h be 4/14 + (-120)/a. Solve -5*j - 2*w = -3*w - 3, 2*j - 2*w = h for j.
0
Suppose -g - 5*n = -0*g - 31, -5*n + 7 = -3*g. Suppose -d - g = -3*d. Let h = -1 + d. Solve -4*j = -h*x + 2, 3*x - j = x + 8 for x.
5
Let t(l) be the first derivative of l**4 - l**3/3 - l + 1. Let d be t(1). Solve -6*w + 3*w = 2*c + 23, -d*w = 3*c + 22 for c.
-4
Let s(z) = -2*z + 3. Let t = -22 + 21. Let i be s(t). Solve 5*j + i*k - 19 = -64, 2*j = -k - 14 for j.
-5
Let c = 1013 - 1013. Solve -2*u + q = -4, -q + c*q = -4 for u.
4
Let a(y) = y**2 - y + 2. Let v be a(2). Suppose v*k - 5*m - 35 = 23, 2*m = -4*k + 44. Suppose -z + 32 = 3*z. Solve -k = -5*l - j - 2*j, -l + z = -5*j for l.
3
Let b = 24 - 9. Suppose -2*f = f - b. Suppose 0 = -4*w - w + 15, -4*k = w - 15. Solve 2*y - 14 = f*i, -4*y + 4*i + 13 = -k*y for y.
-3
Suppose 2*l = -5*p + 27, 2*l + 0*l = 2. Let r(t) = 5*t - 21. Let c be r(7). Solve 4*k + p*i - 2*i = -c, 12 = -4*k - 4*i for k.
-5
Suppose 0 = -2*k + 4*k - 88. Let w be (33/k)/(3/20). Solve 0 = -5*x - w*c + 25, -3*x + 4 + 3 = -c for x.
3
Let s be (-4)/(-14)*(10 + -3). Let p = -22 + 26. Suppose -p*a + 9 = -3. Solve -5*f - 19 = a*v, v + f = s - 5 for v.
2
Let g be (-176)/(-77)*(-7)/(-2). Let i(c) = c**3 - 7*c**2 + 2*c - 9. Let y = 9 - 2. Let a be i(y). Solve -g = -2*z + a*s - 0, -4*s = -4*z + 4 for z.
-1
Suppose -2*a - 20 = -4*v, -4*a - 4*v = -8*v + 28. Let d be (-1 + -3*2/(-12))*a. Solve 2*u + y + 8 = 3*y, -5*u - 8 = -d*y for u.
0
Let q = -39 + -6. Let l be 94/18 + 10/q. Suppose 3*t + 28 = l*t. Solve -3*h + 0*a + 3*a - 18 = 0, a + t = -4*h for h.
-4
Suppose 28*n + 22 = 30*n. Let d = n - 0. Solve 0 = -3*u - 2*f + d, -3*u - 4*f + 6 = -7 for u.
3
Let p be (-2)/8 + 315/28. Suppose 2*y + 5 = p. Solve -2*i + 6 = 4*a, y*a - 3*i - 1 = 4*a for a.
2
Let z be 2/2*(4 - 3). Let f(p) = 7*p**2 - p. Let w be f(z). Let h = 471 + -457. Solve 0 = -2*q + 4*l - h, 4*q - 3*l - 27 = -w*l for q.
3
Suppose -9*l - 22 = -67. Let k(u) = 3*u**2 - u. Let b be k(1). Solve l*o = -b*y - 5, 3*y - 3*o + 0 = 3 for y.
0
Let w(c) be the first derivative of c**3/3 - 5*c**2/2 - 19. Let x be w(5). Solve 4*j - 6 = -x*j - n, 2*j - 2*n = 8 for j.
2
Suppose 0 = -27*w - 170 + 251. Solve b - w = k - 2, 5*k - 3*b = -9 for k.
-3
Let x be (16*(-2 + 1))/(3 - 5). Suppose -w + 6 = w