Solve l = 5*z + w - 20 for z.
3
Let o(i) = -2*i + 11. Let v be o(4). Solve 0 = v*r + 2*r + 20 for r.
-4
Suppose y - 2*y = -5*d - 10, 0 = y + 3*d - 26. Suppose -13*p - 234 = -0*p. Let o = y + p. Solve 0 = o*l - 15 + 5 for l.
5
Let c = 391 + -388. Solve 12*j = c*j for j.
0
Let d(h) = h - 7. Let b be d(7). Let r = -307 + 311. Solve 0 = -b*n + r*n - 8 for n.
2
Suppose 27*k + 17*k = 132. Solve k = -n - 1 for n.
-4
Suppose 2*z - 3*o - 91 = 0, 0 = -2*o + 2. Suppose -z*q = -44*q. Suppose -2*m + 3 = -3. Solve -2*g + m*g + 1 = q for g.
-1
Let d = 473 + -417. Solve d = -2*g + 62 for g.
3
Let u be ((-5)/2)/(6/(-12)). Solve a - u = -4 for a.
1
Let h(k) = k**2 + k - 1. Let u be h(2). Let f be (-104)/u - 7/35. Let m = f + 23. Solve -m*b - 6 + 0 = 0 for b.
-3
Suppose 4 + 12 = 4*r. Let s(a) = a**2 - 3*a - 3. Let c be s(r). Solve -g - 1 = c for g.
-2
Suppose 16 = 3*o - 4*f, 3*o + 3*f = 6*o - 21. Solve -d - 5*d - o = 0 for d.
-2
Suppose 0*h + h = 0. Suppose 2*v + 0*v - 3*p - 5 = 0, h = v - 5*p - 6. Let g be 7 - (v - 2/2). Solve 0 = -2*z - 1 - g for z.
-4
Suppose j = -6 - 3. Let k be 3*((-66)/j + -3). Let b = 22 - k. Solve m + 2*m = b for m.
3
Let a = 38 + -18. Let w be a/90 + (-16)/(-9). Let s be (w/(-5))/(1/(-40)). Solve -3*v + 7*v = -s for v.
-4
Let g be (-256)/(-32) - (-8)/(-2). Solve 4*a = -g*a for a.
0
Let z be (-10)/15 - 8/(-3). Let g be 6/2 - (z + -5). Let l be -3 + (5 - g/(-2)). Solve h = l*h - 12 for h.
3
Let v = -1 + 26. Let a = -159 + 165. Solve v = -m + a*m for m.
5
Let f(o) be the second derivative of -o**5/10 + 7*o**4/6 + 8*o**3/3 + 5*o**2 + 14*o. Let p be f(8). Solve -p = m + m for m.
-5
Let b = 9 + -5. Suppose 82 = b*i - 2. Let f = i - 18. Solve -j = -f - 1 for j.
4
Suppose -46*i - i = 0. Solve i = 2*j - 6 + 10 for j.
-2
Suppose -40 = -7*v - 19. Let k be (v/(-6))/(2*(-3)/12). Solve 0 = n - 5 + k for n.
4
Suppose 0 = 4*x - n - 9, -2*x - 8*n = -3*n + 1. Let s be (-1)/(-2)*((x - -2) + 22). Solve -s*m = -8*m + 20 for m.
-4
Let u = -4 - -7. Let z = 115 + -110. Solve u*c = 8*c + z for c.
-1
Suppose -5*v + 52 = 8*v. Solve v + 14 = 6*r for r.
3
Let i be ((-238)/35 - -6)*(-3 - 2). Solve x = i*x + 9 for x.
-3
Suppose 4*b + 4*q = -104, 6*b - q = 2*b - 99. Let s = -20 - b. Solve s*h = -13 + 33 for h.
4
Let q(o) = o**3 + 5*o**2 + 2*o - 4. Let p be q(-4). Solve -50 = -p*y + 14*y for y.
-5
Suppose -4*r - 28 = -0*r. Let x = r + 3. Let u be (-2 - x) + -3 + 5. Solve u*q = q + 15 for q.
5
Let f = 12 - 9. Suppose -f = i - 12. Let l be (i/(-12))/(3/(-8)). Solve -q = l*q for q.
0
Suppose -3*i - 2*s = 6 + 4, 5*i = s + 5. Let j be (i + -2)*30/(-20). Solve -z = j*z - 4 for z.
1
Let p(i) = -2*i**2 + 18*i + 22. Let n be p(10). Suppose -n = -5*g - 2. Solve g*o + 4 = o for o.
4
Let w = 39 + -42. Let b be w*4/(-24)*10. Let y(n) = n**2 - 2*n - 7. Let u be y(b). Solve -2*s = -u - 2 for s.
5
Suppose -3*v + 1 = g - 24, -5*g + 77 = 3*v. Solve -46 - 6 = -g*y for y.
4
Let b = 26 + -29. Let w be (4 - (-12)/b)/(-2). Suppose w = 4*q + 6 - 18. Solve h - 2*h = -q for h.
3
Suppose -26 = 8*v - 10. Let p be v*3/(-12)*0. Solve 5 = w - p*w for w.
5
Suppose 5*x + 10 + 30 = 0. Let a = x - -3. Let y = -1 - a. Solve 4*p - 2*p = -y for p.
-2
Let b = -736 + 748. Solve b*s - 4*s + 8 = 0 for s.
-1
Let a be -3*((-5)/10)/(1/6). Solve 0 = a*l - 11 + 2 for l.
1
Let u = -20 - -24. Let f be 8*u/(-8) - -9. Solve 0 = -3*z + f + 4 for z.
3
Let b(s) = s**3 - 7*s**2 - 9*s + 11. Let l be b(8). Suppose 2*k = 5*w + 5*k - 41, 0 = l*w + 4*k - 18. Solve w = d + 6 for d.
4
Let z(t) = -2*t + t**3 - 2*t**3 + 7*t**2 + 8 - 3*t - 2*t. Let h be z(6). Let m be h + 12/4 - 1. Solve 5*j + m = j for j.
-1
Let w be 3/((-6)/(-32)) - 0. Suppose 0 = -215*r + 214*r + 27. Let o be (r/(-6)*48/18)/(-2). Solve w = -5*z + o for z.
-2
Suppose -2*x = -4*t + 5 + 3, -4*x - 4*t + 8 = 0. Suppose x = -0*u - 5*u. Suppose u = v + 4 - 13. Solve -3*c + v = -6 for c.
5
Suppose 2*l - c - 20 - 28 = 0, 5*c - 59 = -3*l. Solve -19*x = -l*x for x.
0
Let y = -104 - -109. Solve 0 = 6*v - 5*v + y for v.
-5
Suppose -3*x + 3*g + 15 = 6*g, -3*g + 7 = -5*x. Let p be 4/18 - (-4)/(-18). Solve p = 3*f - 13 + x for f.
4
Let b = 626 + -596. Solve -i = 5*i + b for i.
-5
Suppose 7*r = 30 + 26. Solve -r = -0*q - 2*q for q.
4
Suppose b = -0 + 58. Let j = -40 + b. Solve -2 = -4*c + j for c.
5
Let r(g) = 4*g**2 - g. Let m be r(2). Suppose c + 5*w = 0, -w - 6 = -0*c - c. Let t(f) = -f - 1. Let z be t(-7). Solve -m = c*i + z for i.
-4
Suppose -31*r - 2*r = -594. Solve r*l - 20 = 14*l for l.
5
Let h(f) = -f**3 - 2*f**2 + 2. Let v be h(-2). Solve -v*w = -5*w - 9 for w.
-3
Suppose -7*b + 0*b + b = 0. Let a be (b/1)/((-4)/2) - -15. Solve 2*n + n = -a for n.
-5
Suppose -7 + 3 = -2*z. Suppose -6*b = -z - 16. Solve 2*x + b = -7 for x.
-5
Let f(d) = -7*d**3 + 42*d**2 + d + 1. Let r be f(6). Let i be -1 + (0 - (-1 + -3)). Let c be r - i*4/3. Solve 0 = -2*z + c + 1 for z.
2
Let s be ((-10)/(-4))/((-30)/(-60)). Suppose -2*c = -3*m - 12 - 3, -c + 3 = 3*m. Solve c*j + s = j for j.
-1
Let v = 20 - 20. Solve -2*q = 10 - v for q.
-5
Let m(a) = a**3 + 2*a**2 - 7*a + 2. Let y be m(2). Solve y*q - 4 + 0 = 0 for q.
1
Let q be 2 + (-2 + 2)/4. Suppose -49 = g + 4*i - 17, 44 = -2*g - 4*i. Let k be (-3)/(-4) - 39/g. Solve k = 2*t + q*t for t.
1
Suppose 5*h - 1628 = n, -1362 + 47 = -4*h + 5*n. Solve -h*k + 319*k + 18 = 0 for k.
3
Suppose 0 = 5*q + 5*f - 7*f - 1300, -5*f - 1040 = -4*q. Solve q*a = 258*a + 10 for a.
5
Let c be 16 - 17 - (-1 + 0). Suppose -z + 5*o = -14 - 10, c = z - 2*o - 12. Solve 2*i = 6*i - z for i.
1
Let a(l) = -5*l + 15. Let s(w) = 4*w - 15. Let r(g) = 2*a(g) + 3*s(g). Suppose c = -3*c + d + 42, 0 = 4*c + d - 38. Let k be r(c). Solve k*h - 15 = -5 for h.
2
Let l(t) = t**2 - 6*t + 10. Let g be l(6). Solve g = 2*z - 7*z for z.
-2
Let t be (10974/531)/((-4)/(-6)). Solve -t = -6*j - 7 for j.
4
Let u(z) be the second derivative of -z**5/20 + 7*z**4/12 - z**3/2 + z**2 + 23*z. Let w be u(6). Solve r + w = -4*r for r.
-4
Suppose -13*w = -20*w. Solve 5*z - 6 - 4 = w for z.
2
Suppose 5*l - 4 = 2*q, 41*l - 8 = -4*q + 43*l. Solve 6*y = q + 3 for y.
1
Suppose -5*i = -2*k + 8, -5*k - 2*i = -58 - 20. Let n = -84 - -95. Let s = k - n. Solve -3*c - 6 = -s for c.
-1
Let p(j) = 2*j + 7. Let t be p(-3). Suppose y + 3*y - 16 = 0. Solve y = d + t for d.
3
Let i(n) = -22*n - 176. Let r be i(-9). Let c(x) = x**2 + 4*x - 3. Let a be c(-7). Let b = r - a. Solve b*z - 22 + 6 = 0 for z.
4
Let n be (-6)/(-2)*(-17)/3. Suppose -96*f = -98*f + 66. Let x = f + n. Solve -4*c + 4 = x for c.
-3
Let u(l) be the second derivative of -l**3/6 - 11*l**2/2 - 7*l. Let j be u(-15). Let z be (-3)/(-2)*(-16)/(-12). Solve -j*a = -14 - z for a.
4
Let t be (-8 - 1)*(4 + -3). Let s(z) be the third derivative of -z**4/24 - 2*z**3/3 - 34*z**2. Let l be s(t). Solve 4*q - l = -q for q.
1
Let u = 7 + -1. Let g(r) = -r**2 + 7*r + 6. Let b be g(u). Let n be (b/15)/(2/5). Solve n*c + 6 = -0 for c.
-3
Let m be (0/6)/(-3 - -2). Let t = m - -9. Suppose 0 = 5*y - 2*y - t. Solve d = y*d for d.
0
Let p(u) = -6*u**3 - u**2 + u + 1. Let i be p(-1). Suppose 4*a - 12 = t, -5*t + 4 = -i*a + a. Let g = 2909 + -2904. Solve -1 = g*f - a*f for f.
-1
Let l = 126 + -6. Suppose 0*z - 6*z = -l. Solve 7*x - 2*x - z = 0 for x.
4
Suppose -14*r + 5 = -9. Solve r - 21 = -4*z for z.
5
Suppose w + 6*w + 63 = 0. Let h be (-42)/w + (-9)/(-27). Solve -q = -h*q for q.
0
Suppose m = -5*v - 5, -4*v - 1 - 3 = -3*m. Suppose 4 = 2*k - 2*y, -4*y + m = 4*k - 8. Solve -k*b = -2 + 12 for b.
-5
Suppose -18*h + 13*h = 0. Suppose m - 12 + 8 = h. Suppose -1 = -y, -t - m*y + 7 = -y. Solve 0 = -k + 1 + t for k.
5
Let i be (12/4 - 5) + 42. Suppose 4*y + 76 = 3*q + q, 4*q - i = -5*y. Suppose 5*k = r + 57, 6 = -3*r + q. Solve 0 = -5*o - 3 - k for o.
-3
Suppose -38*y + 36 = -44*y. Let d be y/4*(-4)/6. Let s = -2 + 5. Solve -s*w - d + 10 = 0 for w.
3
Let s(o) = -2*o - 5. Let k be s(-5). Suppose -2*f - 70 = -3*i - i, -k*f = 5*i - 125. Suppose 3*j + 3*m = 12 - 15, -5*m = 3*j + 5. Solve 2*y + 3*y + i = j for y.
-4
Let q be (-80)/(-12) + 40/(-60). Solve -q*r + r - 25 = 0 for r.
-5
Let f = 2987 + -2982. Solve f*j - 3*j = -10 for j.
-5
Let s(f) = 5*f**2 + f. Let v be s(-1). Suppose v*x - 5 + 1 = 0. Suppose 2*a + x = -3*q + 5, 5*q = -3*a + 7. Solve -z = q - 1 for z.
-1
Let u = -2277 + 233