2, -4*d = -t + g. Solve 3 = 2*v - t for v.
5
Let i = -42 - -54. Solve 4*x - i = x for x.
4
Let t(c) = 2*c - 3. Suppose s - 13 + 5 = 0. Let z be t(s). Solve 0 = -5*g - 2 - z for g.
-3
Let p = 24 - 24. Solve p*w - 2 = w for w.
-2
Suppose 2*c + 5*d - 42 = 0, 3*c - c = d + 30. Solve 0 = k + 3*k - c for k.
4
Let j = -20 - -14. Let p be (j/(-5))/(9/30). Let h = 1 + p. Solve o + 3 = h for o.
2
Let p(t) = t + 17. Let g be p(-12). Let i be 0 + (2 - 2) + 9. Solve -i = -g*c + 11 for c.
4
Let w be (7/(-28))/((-1)/12). Solve -9 - w = 4*r for r.
-3
Suppose 2*i - 11 = 13. Suppose 2*r = -2*r + i. Suppose -m - 1 = -r. Solve 9 = -m*d - d for d.
-3
Suppose 8 = 4*u - 0*u. Suppose 0 = u*w - 10. Let o be (-4)/10 - (-2)/w. Solve 12 = -3*k - o*k for k.
-4
Let v(f) = -f**2 - 7*f - 6. Let p be v(-6). Suppose -3*h = 2*h - 10. Suppose -h*d + 14 = 8. Solve -d*s = -p - 3 for s.
1
Let u be (2 + -2)*(3 - 4). Suppose u*c = 2*c. Solve 0 = -5*t - c*t - 5 for t.
-1
Suppose 3*o - 7*o = -20, -20 = h - 4*o. Solve -r + h = -3 for r.
3
Suppose -2*p = -5*g + 18, -2*g + 0*g = p. Let y(o) = o**2 - o + 15. Let d be y(0). Suppose -2*s + 3*s - 5*t = d, -2*s - 6 = 2*t. Solve g*x + 10 = -s*x for x.
-5
Suppose 0*m + 7*m = 105. Solve -4*g = g + m for g.
-3
Suppose 2*s + 4 = 4*w, -7*w - 2*s + 14 = -2*w. Suppose z = 3*z. Suppose 2*q - n - w*n = 3, n + 1 = z. Solve q = -2*j + 3 + 5 for j.
4
Let f(z) = -z**2 - 6*z + 2. Let m be f(-7). Let c = 2 - m. Solve -5*x - c = 8 for x.
-3
Suppose -o = 2*o - 3. Solve -3 = 4*f + o for f.
-1
Let h(i) = 4*i + 1. Let b be h(-1). Let o(z) = -2*z - 1. Let r be o(b). Solve -7 - 13 = r*a for a.
-4
Let f = -7 + 11. Suppose -f*n = -14 - 10. Solve n*x - 7*x = -5 for x.
5
Let l be (-47)/(-4) + (-2)/(-8). Solve -4*i + l = -8*i for i.
-3
Let v(o) = 19*o**3 + 2*o**2 - 2. Let d be v(1). Solve 6 + d = -5*j for j.
-5
Let s = -40 + 44. Solve 2*r + 8 = s*r for r.
4
Suppose 0 = -20*m + 16*m + 8. Solve 7 = m*l + 1 for l.
3
Let l be 1 - (-1 + -2 + 0). Solve l*v + v = 20 for v.
4
Suppose 4*q + 8 = -0*q. Let r be (24/(-9))/(q/3). Solve -r*o = -5*o for o.
0
Let n(t) = -2*t + 15. Let u be n(11). Let x(a) = a**3 + 8*a**2 + 6*a - 2. Let r be x(u). Solve 0*o = r*o + 5 for o.
-1
Let h = 35 + -31. Solve 0 = -5*x - 11 - h for x.
-3
Let u(d) = 2*d + 0*d - d - 3*d + d**2 - 2. Let j be u(3). Solve -5 = t - j for t.
-4
Let a(y) = -y**3 + 4*y**2 - 2*y - 2. Let d(v) = 2*v**2 + v + 1. Let x be d(-1). Let z be a(x). Let p be z - (-3 + 1/1). Solve p*l = -0*l - 12 for l.
-3
Suppose -10 = -4*q + 2. Solve -q*b = b for b.
0
Let a(z) = 5*z + 1. Let q be 3 + 0/4 + 0. Let t be a(q). Solve 5*k - k + t = 0 for k.
-4
Let k(r) = -2*r**2 + 23*r + 21. Let v(t) = -t**2 + 11*t + 10. Let h(x) = 2*k(x) - 5*v(x). Let z be h(10). Suppose -z + 0 = -d. Solve 2*u = -d*u + 8 for u.
2
Let p be 6/10 - 12/(-30). Solve 2*q - 3*q = p for q.
-1
Let f = 19 + -16. Suppose y + 2*n + 6 = -f*n, 4*y - 3*n = 22. Solve 3 = -3*p + y*p for p.
3
Suppose 0 = y - 3*v - v + 15, 0 = 2*y - 5*v + 18. Suppose -t - t = -10. Let h = y + t. Solve -2*k = -4*k + h for k.
3
Suppose -t + 1 = -0*t. Let s be t/(-2)*(-2 + -4). Solve i = s*i for i.
0
Let p be (27/18)/((-6)/16). Let g = 6 + p. Solve -6 = -u - g*u for u.
2
Suppose -23*s - 5 = -28*s. Solve 0 = 3*b - s + 10 for b.
-3
Let v(j) = j**3 + 4*j**2 - 6*j - 4. Let b be v(-5). Solve 2*w + 5 = -b for w.
-3
Suppose 0 = 2*s - 3*a + 8, -3*s + 5*a = 2*s + 20. Let o = s + 3. Let p = o - -4. Solve 0*f = -p*f - 15 for f.
-5
Let c be 0/1 - 5/(-1). Let t be (c/4)/((-2)/(-8)). Solve 0 = t*h - 8 - 17 for h.
5
Let k = -12 - -19. Let b(y) = -3*y**2 - 10*y - 3. Let c(i) = -4*i**2 - 11*i - 3. Let l(m) = 5*b(m) - 4*c(m). Let a be l(k). Solve -z + a = 3*z for z.
1
Suppose b - 1 = 1. Suppose 5*o = 4*l + 12, -3*l - 2*l - 3*o + 22 = 0. Suppose -2*s + l*z + 3 + 3 = 0, -z = -2. Solve s*a - b*a = 0 for a.
0
Let c = -1 + 5. Let a(r) = 3*r - 12. Let y be a(8). Let n be (-3)/(-4) - y/16. Solve -c*h - 7 + 27 = n for h.
5
Let k(u) be the first derivative of u**2/2 - 10*u + 3. Let z be k(10). Solve z = 5*l - 24 + 4 for l.
4
Let p be 30/(-10) - (-3 - 2). Solve 0*a = p*a - 4 for a.
2
Let k = -55 - -74. Solve -6 - k = 5*b for b.
-5
Let h be (-4)/(-18) - (129/(-27) + 0). Solve 1 = -3*k - h for k.
-2
Suppose -v - 4*v + 20 = 0. Let n be v/5*(-10)/(-4). Solve c = 4 - n for c.
2
Suppose -2*m = -m - 3. Solve 4*k = -m - 9 for k.
-3
Suppose -4 = -2*d - 2*d. Suppose o + d - 6 = 0. Solve 0*r - o*r + 15 = 0 for r.
3
Let j be (-18)/(-4)*10/3. Suppose -3*p + 12 = 3. Solve 0 = p*o - 0*o - j for o.
5
Let v be 2/(-3 + 32/12). Let b = -3 - v. Solve b*k - 4 - 2 = 0 for k.
2
Let t(i) be the first derivative of -i**3/3 - 5*i**2 - 6*i + 4. Let c be t(-9). Suppose 0 = -2*w + h, 0 = -2*w - 5*h + h + 20. Solve -c*j = w*j for j.
0
Suppose 3*f - k - 8 = 0, -5*k + 13 = 3*f - k. Let j(b) = -b**3 - 3*b**2 - b - 2. Let r be j(-3). Solve f*p = -r + 7 for p.
2
Let a = 62 - 26. Suppose 2*h - 4*h = 3*r - a, -h + 28 = 4*r. Let x be (-2)/h - (-2)/12. Solve -w + 5 = -x for w.
5
Let g = -36 + 42. Solve d - g*d = 0 for d.
0
Let h be ((-4)/(-2))/(-1) + -2. Let y = -2 - h. Solve 0 = -5*f + y + 13 for f.
3
Let i(q) = q**3 - 3*q**2 + 2. Let m be i(3). Suppose -4*k + 102 = k - 3*n, n = -5*k + 106. Suppose -5*p - r - 5 + k = 0, r = -4. Solve m*b = p*b for b.
0
Suppose 3*u - 5*o = 61, -4*u = 4*o - 0*o - 28. Suppose 142*g - 138*g - 12 = 0. Solve -g*w = -0*w - u for w.
4
Let w(z) = z**2 + 12*z - 10. Let k be w(-13). Suppose -2*g = k*g. Solve -3*m = -g - 6 for m.
2
Suppose 0 = 2*p + 4*i, -5*p - 2*i - i = -14. Suppose -u - 4*u + 24 = 3*y, p*u = -5*y + 27. Solve y + 22 = 5*c for c.
5
Suppose g - 3*g = 0. Let c = -12 - -15. Solve h + 7 - c = g for h.
-4
Let m be -3*(3/(-4))/((-36)/(-128)). Solve 3*h + h = -m for h.
-2
Suppose 0 = 205*j - 206*j + 4. Solve -6*u = -j*u for u.
0
Let a = 11 + -5. Let b be (-3)/(-2) - (-3)/a. Suppose -5*p = -0*u - u + 17, -b*u - 8 = 4*p. Solve -2*d = u*d for d.
0
Let k = -3 + 6. Solve -2*y + 2 = -k*y for y.
-2
Suppose 3*y = -46 + 55. Solve g - 20 = -y*g for g.
5
Let t = 8 - 6. Suppose -4 = -r - t. Solve 9 = -y - r*y for y.
-3
Let n be (-16)/40 + 44/10. Solve r = n*r for r.
0
Suppose -6*f = -14 - 22. Solve 0 = f*c - 4*c - 2 for c.
1
Let x(r) = -r + 23. Let u be x(18). Solve 10*h - u = 5*h for h.
1
Suppose -3*c + v = -11, -3*c + 4*v = 2*v - 13. Suppose c*f = -14 + 5. Let l = f + 11. Solve -20 = l*t - 4*t for t.
-5
Suppose 4*y - 8 = 5*a - 54, 4*y + 16 = 0. Solve -2 = 2*w - a for w.
2
Let m be -4*2/(-8)*2. Solve 3*j + m*j = -25 for j.
-5
Let m(j) = j**3 - j**2 - 3*j - 1. Let c be m(-1). Solve c = -p + 4 - 8 for p.
-4
Let t(n) = -n**2 - 10*n - 5. Let d be t(-9). Solve d + 8 = 3*r for r.
4
Let b = -182 - -192. Solve -13 + b = -3*j for j.
1
Let j be (-4)/(-16) - 35/(-4). Let n be j/(-2 - 3/(-6)). Let o(f) = -f. Let i be o(n). Solve 5*u = i - 1 for u.
1
Let u = 9 + -6. Let k be 5 - ((1 - -2) + -2). Suppose -4*l + k = 2*r, 5*r - 6 = 2*r + 3*l. Solve -5*x - u = -r*x for x.
-1
Let c(f) = 2*f**2 - 3*f - 3. Let j be c(3). Let w(m) = -m**2 + 5*m + 6. Let h be w(j). Suppose y - 3*y + 2 = h. Solve -y + 7 = 3*k for k.
2
Let h = -17 + 9. Let d = h + 12. Solve -10 + d = 3*y for y.
-2
Let x(y) = y**3 + 8*y**2 + 7*y + 3. Let v be x(-7). Suppose -q + f = -19, q - v*f + 55 = 5*q. Solve -2*b - q = -6*b for b.
4
Suppose -4*v + 0 = 3*r - 1, 2*v - 23 = 3*r. Let n = r + 6. Solve -2 + n = l for l.
-1
Let p(r) = -r**3 - 8*r**2 - 12*r + 2. Let w be p(-6). Suppose 2*x + 6 = 5*x. Solve 3*q = w*q - x for q.
-2
Let y(j) be the third derivative of j**5/60 - j**4/12 + j**3/6 - 3*j**2. Let b be y(5). Solve u + b = -3*u for u.
-4
Let o(u) = -2*u + 1. Let p be o(-1). Suppose 5*k - 2*k = 0. Suppose -j + k*j = -p. Solve 4*m - 1 = j*m for m.
1
Let c(n) = n**2 - 6. Let a be c(-3). Solve -h + 1 = -a for h.
4
Suppose 0 = -3*j + 5*r - 0 + 35, 3*j = -2*r + 70. Solve -4*v = -0*v + j for v.
-5
Let a be (0/9)/(1 - 0). Solve a = -5*r - 27 + 12 for r.
-3
Suppose 4*i - 23 = -f, f + 3*f - 4*i = -8. Let o be 16/6*24/4. Solve f*h = -h + o for h.
4
Suppose 3*c + x = 19, -x + 1 = -c + 6. Solve 2*h - 2 = c for h.
4
Let s(t) = -t**3 - t - 1. Let m be s(-1). Suppose 5*i = -2*h + 41, -h = h - 3*i - m. Solve q + 3 = h for q.
5
Let u(j) = -j**2 + 7*j + 8. Let o be u(7). Let z(w) = w**3 + 3*w**2 - 4*w + 3. Let l be z(-