-2*w + c = -w for w.
1
Let d be ((-4)/5)/(6/(-15)). Suppose d*z = z. Suppose -3*n - 3*v + 17 = 2, -3*n + v = -7. Solve -n*a + z = 6 for a.
-2
Suppose -3*i = j - 10, -22 = 4*i - 5*j - 67. Solve 0 = -i*q - 7 + 2 for q.
-1
Let k = -9 - -11. Suppose k*z - 3 = -3*f, 0 = -0*z - 2*z - 5*f + 5. Solve z = -y - 1 for y.
-1
Let n = -44 + 45. Solve -n = m + 3 for m.
-4
Let v be (8/14)/((-16)/(-56)). Suppose 5*k - v = 28. Solve -2*w - k = -0*w for w.
-3
Suppose t + 5 + 13 = 0. Let d be (-1 - 0)/((-2)/t). Let b = 16 + d. Solve 5*o = -b - 13 for o.
-4
Suppose -o = -0 - 15. Suppose 0 = r + 2*r - o. Suppose -5*v = 4*n - 24, -3*n - 34 + 6 = -2*v. Solve v + 7 = -r*p for p.
-3
Suppose -7 = -2*n + 5*z, 0 = n + 3*z - 6 - 3. Suppose 0*u = -2*u + 18. Let l = 0 + u. Solve l + n = -3*b for b.
-5
Let w(c) = -c**3 + 17*c**2 + 2*c - 14. Let u be w(17). Solve 0 = -33*q + 28*q + u for q.
4
Let g(n) = 90*n**2. Let z be g(-1). Solve 0 = 32*t - 50*t + z for t.
5
Let c(n) = n**2 + 30*n - 16. Let h be c(-32). Solve 45*x = h*x - 12 for x.
4
Let a = 31 - -5. Let b = 50 - a. Let c = 17 - b. Solve d + 10 = c*d for d.
5
Let k(q) = 41*q - 281. Let o be k(7). Solve 8*p - 22 = -o for p.
2
Suppose 13*j - 8*j = -20. Let c(i) = i**3 + 5 + 3*i**2 - 3*i + 4*i + 2*i**2 - i**2. Let g be c(j). Solve 0 = r - g - 2 for r.
3
Suppose -n + 176 = -m - 4*m, 4*n + 124 = -3*m. Let d = -32 - m. Solve -g = -3*g + d for g.
2
Let l = 244 + -126. Let q = l - 116. Solve q*s + 1 + 5 = 0 for s.
-3
Suppose -6*c + 25 = -c - 5*y, 0 = 4*c - 5*y - 21. Suppose -4*h + q + 4*q = -10, 2*h + 2*q = -c. Suppose 4*j + 0 - 4 = h. Solve 0 = -b - j + 4 for b.
3
Let p = 46 - 49. Let m be 0/((1 + p)/1). Solve 0 = -m*d - 2*d - 10 for d.
-5
Let m(p) = 3*p + 6. Let a be m(11). Suppose 33 = 3*o + 3*t, -o - 5*t = 8 - a. Solve 2*f + 2 = o for f.
2
Let z = -25 - -30. Suppose -150 = -m - z*m. Solve 0*o = 5*o - m for o.
5
Suppose x - 5*x - 2*a - 26 = 0, -27 = 4*x + 3*a. Let u be x/(-27) - (-68)/18. Solve -u*r - 9 = -1 for r.
-2
Suppose 2*i + 4*z = 26, 4*i + z - 39 = i. Let h(o) = -o**3 + 12*o**2 + 12*o + 14. Let j be h(i). Solve -j = -x - 5 for x.
-4
Let s(q) be the third derivative of -q**6/120 + 7*q**5/60 - 5*q**4/24 + 2*q**3/3 - 2*q**2. Let v be s(6). Solve v = 4*z - 6 for z.
4
Suppose -3*s - 2*s - 20 = -5*a, 0 = a + 4*s - 9. Suppose p + b = -3, b + 0*b = -a*p - 3. Solve p = -3*d - 1 - 5 for d.
-2
Suppose l = 3*n, 3*n + 32 = -5*l + 50. Solve 0 = 9*i - 8 - n for i.
1
Let x = -122 + 122. Solve -4*g + 3*g + 1 = x for g.
1
Let g = 173 + -110. Suppose 2*i + i = -g. Let k = i + 33. Solve -4*r = -k - 8 for r.
5
Suppose -70 = c - 78. Let a be 6/(3*-1) + 10. Suppose -a = -4*r + c. Solve r = 2*g + 2 for g.
1
Let j(k) = -k**3 + 4*k**2 + k. Let g be j(4). Suppose -44*r + 48*r - 57 = -3*w, 2*w = -3*r + 43. Solve p - g*p + r = 0 for p.
5
Let z = -102 - -104. Solve 5 - 1 = z*r for r.
2
Let p be (-8)/(104/(-143)) + -6*1. Let u(c) = c**2 - 2*c. Let g be u(2). Solve g = 2*m + 5 + p for m.
-5
Let c(h) = -13*h - 338. Let b be c(-26). Solve i - 4*i - 15 = b for i.
-5
Let k = -42 - -49. Let s be (3 + (3 - k))/(-1). Solve x + 0 = s for x.
1
Suppose 4*z + 2*i = 10, 4*i - 3 = 2*z - 13. Let o be 40/30 + (-16)/12. Solve -h + o*h = -z for h.
3
Let x = -442 - -450. Solve 0 = -15*g + x*g - 14 for g.
-2
Suppose 0 = -4*k - 8, 0*s - 4*s - 2 = -3*k. Let j = 9 + s. Let x be 18*(4/(-6))/(-1). Solve x = 3*i - j*i for i.
-3
Suppose -3*m - 4 = -10. Suppose 0 = 2*n - 5*c, m*n + 0*n = -c. Solve 2*h - 4*h + 6 = n for h.
3
Let h(b) = b**2 + b - 6. Let u be h(-2). Let t be (-6)/3*u/(-8)*-3. Solve t*s + 10 = -5 for s.
-5
Suppose -3*o - 4*b + 33 = 0, -o - 1 = -b - 5. Solve -3 - 25 = o*w for w.
-4
Suppose 6*f - 35 = f + 5*u, -4*f + 4 = 4*u. Suppose 13 = 5*y + 3*j, -5*y + 4*j + 7 = j. Solve y*i - f*i - 8 = 0 for i.
-4
Suppose -10 - 1 = -5*v - f, 0 = v - 5*f + 3. Suppose 0 = -5*c + 2*d - 0*d + 104, -2*d + 36 = v*c. Solve 0 = 5*n + 5 - c for n.
3
Let q be -6 - (-2 + 1 + -5). Solve 2*k + 0*k + 2 = q for k.
-1
Suppose -4*r + 4 = 0, -2*r - 26 = 3*y + 2*r. Let g be 294/15 - 4/y. Solve 5*w = w - g for w.
-5
Suppose -3*g + 70 = -4*z + 101, -z + 19 = 3*g. Solve 0 = -v - z*v + 22 for v.
2
Suppose -3*x - 4*j = -10, -4*x - j + 14 = 4*j. Suppose -x*v + 30 = 4*c - 4*v, 5*c = v + 34. Suppose -6*q + c*q = 15. Solve g = -2*g + q for g.
5
Let h = 17 - 32. Let y = -14 - h. Let b(r) = -r**2 - r + 2. Let i be b(0). Solve -3*k - i - y = 0 for k.
-1
Let o = 15 - 6. Let a = 3 - o. Let c be (-2)/12 - 1/a. Solve q = -c*q for q.
0
Suppose 0 = -3*w - 5 - 1, 3*c = 4*w + 2. Let u(n) = n + 5. Let m be u(c). Solve 6 = m*y - 0 for y.
2
Suppose 17 = -2*u + 23. Let x be 3/(24/42 - u/(-7)). Solve -p + 6 = -x*p for p.
-3
Suppose 5*p + 40 = 13*p. Solve 6*c + p = c for c.
-1
Suppose -4*x + 3 + 9 = 0. Let r = -11 + 17. Let b = r + -1. Solve -2*m + x = -b*m for m.
-1
Let c be 27/(1 - -2) - -2. Suppose c = -8*r + 35. Solve 7*j - r = 6*j for j.
3
Let a be (3/3)/2 - 15/(-10). Solve -7*n + a = -19 for n.
3
Let f = 2959 - 2935. Solve 13 = f*d - 59 for d.
3
Let k = 150 + -146. Suppose 1 = -5*u + 4*s, 9*s - 32 = -k*u + 4*s. Solve q - u = -0*q for q.
3
Let m be 18*(-1)/3*-2. Suppose 9*y + 3*z = 5*y - 25, 0 = -2*y - 4*z. Let i = m + y. Solve 13 = 5*x - i for x.
3
Suppose 0 = 2*x + 3*v + 4 - 0, 0 = -x - v - 1. Let s(w) be the second derivative of w**5/5 - w**3/2 + w**2/2 - 2*w. Let n be s(x). Solve 2*o - n = -12 for o.
-5
Suppose -38 = -z - z - 2*v, -5*z + v = -89. Let n(g) be the second derivative of -g**3/6 + g**2/2 + 8*g. Let p be n(-3). Solve -2 + z = -p*c for c.
-4
Let v = -111 - -111. Suppose v = 6*l - 9 - 3. Solve -3*i - l = -i for i.
-1
Suppose -2*n = -166*q + 162*q - 20, -3*n + 5 = -q. Let o(p) = -p**2 + 4*p + 2. Let d be o(4). Solve -d*j + 4*j = n for j.
0
Suppose -791*h = -794*h + 9. Let w be -1*(-1 - -2) - 1. Let f be 0/(w*(-1)/(-2)). Solve 0 = -f*t + h*t + 12 for t.
-4
Let c = -1572 + 1574. Let d(m) = 2 - 2*m + 4*m + m**2 - 5*m. Let j be d(4). Solve -c*i = -0*i + j for i.
-3
Let a(x) = x**3 + x**2 - x + 2. Let n be a(0). Let u = 299 - 289. Solve u = n*r - 0*r for r.
5
Suppose -3*c - 103 = -2*h, -4*h - 3*c + 182 + 51 = 0. Let u = 58 - h. Solve 0*s + 8 = -u*s for s.
-4
Let z be 68/8 - -5*(-3)/10. Solve 3*x - z = -16 for x.
-3
Let d = 39 - 78. Let i = 42 + d. Solve -i*s - 2*s + 15 = 0 for s.
3
Let o(i) = i**3 - 5*i**2 - 4*i - 8. Let y be o(6). Suppose 0 = -80*l + 81*l - 3. Suppose 3*c - 15 - 7 = 5*f, 3*c = 4*f + 20. Solve l*n = y*n + c for n.
-4
Suppose 3*l + 5 = -4*v, -l - l - 4 = 2*v. Let x be 3/6*0/(l - 1). Suppose j = -2*t + 7, -2*j - 1 = 1. Solve t*i + 8 = -x*i for i.
-2
Let d = -71 + 76. Let h(x) = 4*x - 18. Let j be h(d). Solve 6*q = j*q for q.
0
Let n(b) = b**2 + b. Let l be n(4). Let i = -15 + l. Suppose 31 = i*c + 1. Solve -8 = -2*h + c*h for h.
-2
Suppose 0 = -3*w + 3 + 12. Solve -w*v = -95 + 90 for v.
1
Suppose 0*s = 3*s + 3*g - 48, 3*s - 4*g = 48. Let q be ((-19)/(-57))/((-1)/(-33)) - 8. Solve q*m = -4 + s for m.
4
Let v = 95 - 90. Solve 0 = 5*a - 5 - v for a.
2
Let p be -6 + (8/(-14) - 5928/(-133)). Solve j - p = -33 for j.
5
Suppose 0 = -7*n + 20*n - 130. Solve 8*h = 3*h + n for h.
2
Let v be (5 + -5)/(-5) + 5. Suppose 4*t - v = 5*o, o = t + 4 - 5. Solve t*p = -p for p.
0
Let o be (18/(-21))/((-14)/147). Solve 8 - 17 = -o*g for g.
1
Suppose -6*i + 30 = -4*i. Solve -i + 3 = -4*b for b.
3
Let a = 22 - 20. Suppose -a*t + 7 = 3. Solve -n - 3 = t*n for n.
-1
Let t = 203 + -198. Solve t*u = -2*u + 5*u for u.
0
Let l(p) = -4*p - 74. Let w be l(-19). Solve w*a - 20 = 7*a for a.
-4
Suppose -2*m + 10 = -76. Let f = -35 + m. Solve -f*g + 3*g + 20 = 0 for g.
4
Let c(f) = f**3 + 7*f**2 + 4*f - 7. Let b be c(-6). Solve 4 + b = 3*d for d.
3
Let k(c) = 2*c**3 - 5 + 7*c**2 - 3*c**3 + 5 - 6*c. Let g be k(6). Let j be (-2)/(-9) + (-112)/(-63). Solve m + m + j = g for m.
-1
Let d(q) = -q**2 + 11*q - 10. Let x be d(10). Suppose x*w = 5*v + w - 102, -3*v = -3*w - 54. Solve -j - v = 3*j for j.
-5
Suppose -4*g - c - 36 = c, 0 = -5*g + 5*c - 45. Let p be 8/(16/(-10)) - g. Solve p*u - 1 = 3*u for u.
1
Suppose s + 17 = 5*l, -3*s - 22 = -16. Solve 0 = u - l for u.
3
Let o(t) = -t**3 + 3*t**2 + 6*t - 6. Suppose 6*p - 11*p = -20. Let w be o(p). Solve -v = -w*v - 4 for v.
-4
Let q(m) = 3*m**2 - 2*m. Let a be q(-1). Suppose -3*x + 2*