 - -1687. Solve h + 5*h + 30 = w for h.
-5
Let a = 15 - 18. Let i be (a + 4)*(6 - 2). Solve 3*c - 4*c - i = 0 for c.
-4
Let d = 28 - 7. Let k = d - 21. Solve k = t + 1 + 1 for t.
-2
Suppose 4*l - 3 = -4*x + 7*x, -6 = l - 3*x. Solve 2*o + l = o for o.
-3
Let p(r) = r + 11*r**2 - 6 - r**3 + 17 - 4. Let g be p(11). Let o = -17 + g. Solve -5*h + 6*h = o for h.
1
Suppose 2*g + g = 5*h + 2, -4*g - 5*h = -26. Solve -2*q + g = 8 for q.
-2
Let v(k) = 48*k**2 + k + 1. Let n be v(-1). Let h = n - 48. Solve h*z = -z - 3 for z.
-3
Let l be -13*(100/15 - 7)*3. Solve l*a - 3*a = -40 for a.
-4
Let j be 14/28*(-2 - -10). Solve -j*h + 10*h + 30 = 0 for h.
-5
Let d(m) = m**2 - 21*m + 80. Let k be d(5). Solve -6*l + 12 - 6 = k for l.
1
Suppose 122*f - 352 = 90*f. Solve c + 10 = f for c.
1
Let h(s) = 9*s**2 - 9*s + 2. Let p be h(1). Let t(q) = -q**3 + q**2 - q + 5. Let y be t(0). Suppose 4 = -v + k + 11, k + 15 = y*v. Solve -v - 4 = -p*a for a.
3
Suppose 2*a - 18 = -7*a. Let k(u) = 2*u**2 + 3*u + 2 - 2*u - 3*u**2. Let y be k(a). Solve y = 4*f - 12 for f.
3
Let g be -2*(33/(-22) + -1). Solve 0 = -g*a + 67 - 92 for a.
-5
Let q = -221 - -252. Solve -5*p - q = -6 for p.
-5
Let k = 703 + -698. Solve -k*c = -225 + 210 for c.
3
Let u(n) be the first derivative of 3*n**2/2 - 15*n + 20. Let t be u(5). Solve t = -2*b - b for b.
0
Let u(j) be the third derivative of -1/120*j**6 + 3/2*j**3 + 0*j - 1/3*j**4 + 4*j**2 + 0 + 2/15*j**5. Let g be u(7). Solve -12 = -2*o - g*o for o.
3
Let d be 93/(-62)*1/((-6)/28). Solve d*j - 2*j = -25 for j.
-5
Let u(f) = f + 19. Let n = -2 - 13. Let z be u(n). Suppose -c = -z*c + 18. Solve -c = -v + 3*v for v.
-3
Let t(f) = 60*f + 196. Let v be t(-3). Solve 0 = -5*b - v + 11 for b.
-1
Let y(u) = -u**3 + 5*u**2 + 4*u + 9. Suppose -6*o = -o - 5*z - 55, -3*o - 4*z - 2 = 0. Let j be y(o). Let q = j - -8. Solve -2*n - q = 3*n for n.
-1
Let l(w) = -w + 1 - 3 + w**2 + 0*w. Suppose -4*x = 3*b - 8*b - 16, x + 5*b = 4. Let n be l(x). Solve -2*r - 2 = -n for r.
4
Let r(a) = -2*a**2 - 11*a + 8. Let z be r(-6). Solve z*y - 20 = -3*y for y.
4
Let u(m) = -m**2 + 5. Let s be u(0). Solve -r = -r - s*r for r.
0
Suppose -7 - 15 = -2*d. Suppose 0 = 14*a - d*a - 6. Solve 0 = -3*y + 7 + a for y.
3
Suppose 3*r - 20 = -5*w, -3*r + 15*w - 16*w + 16 = 0. Solve -r*o = -8 + 3 for o.
1
Suppose 2*g = g + k + 5, -23 = -g - 5*k. Solve -12 = -5*o + g for o.
4
Suppose 12 = 6*d - 6. Solve 4*f = d*f + 5 for f.
5
Let a = 5 - 16. Let i = a + 24. Let n = 13 - i. Solve n = 2*g - g + 1 for g.
-1
Let a(u) = -u**3 + 14*u**2 + 16*u - 14. Let p(m) = m**3 - 13*m**2 - 15*m + 14. Let c(j) = 3*a(j) + 2*p(j). Let v be c(17). Solve -v*t + 8 = -t for t.
4
Suppose 0 = -w - 3*w + 2*m + 26, -5*m = 5. Suppose 2*v + 5*j = w*v + 47, -2*v = 3*j + 51. Let r = 20 + v. Solve -r = -i + 1 for i.
3
Let r be -5*(-27)/(-30)*16/(-12). Solve 42 = 9*t + r for t.
4
Let w = 1848 - 1698. Solve 6 = w*h - 153*h for h.
-2
Let m(r) = -r - 1. Let x(l) = -9. Let k(t) = m(t) + x(t). Let j be k(-15). Solve 5 + 0 = j*a for a.
1
Let b = -1 - 0. Let x be (b/2)/(1/(-30)). Let u = 8005 - 8000. Solve u*f = -0*f - x for f.
-3
Suppose 2*b - 24 = -b. Let g be (3 - -13)/(-4) + b. Solve 2*k = -g + 2 for k.
-1
Let o = -25 - -97. Suppose -x - 3*x = o. Let b be x/(-3) + (-1 - 0). Solve 3*s = b*s + 8 for s.
-4
Let z be (-2)/(-4) - ((-51)/(-6))/17. Solve -9*f + 16 - 43 = z for f.
-3
Let a(l) = -11*l**2 + 8*l - 11. Let c(m) = 5*m**2 - 4*m + 5. Let t(q) = 2*a(q) + 5*c(q). Let p be t(1). Solve 0 = -p*f + 3*f - 2 for f.
2
Let y = 6 + 2. Let h = 3 + -4. Let q = h + 4. Solve q*g - y = g for g.
4
Let g(c) = -2*c**2 - 10*c + 12. Let f be g(0). Solve 7*t + f = t for t.
-2
Suppose 3*m + 3*o = 51, 4 = o - 1. Solve -2*y - 4*y + m = 0 for y.
2
Let b = -22 - -27. Suppose 5*n + b*q - 50 = -0*n, -q + 26 = 3*n. Solve -3*p + n*p - 25 = 0 for p.
5
Suppose -f = -4*x + 79, 3*x = 6*x + 3*f - 63. Suppose q - 5*q + x = 0. Solve -q*i + 10*i = 0 for i.
0
Let m be (-1)/((-8)/(-6))*-4. Let o be (-410)/(-492)*(-12)/(-5). Let z be o + 4/(m + -5). Solve -3 + z = -d for d.
3
Let m(r) = 7*r - 16. Let f(i) = 6*i - 15. Let w(j) = 6*f(j) - 5*m(j). Let a be w(12). Solve 0 = y - a*y for y.
0
Let s be ((-27)/(-18))/((-3)/(-8)). Suppose s*w + 6 = -c, 4*c + 2*w - 5 + 1 = 0. Solve -2*y - c*y = 20 for y.
-5
Suppose 0 = 2*o - 5*o + 12. Suppose m - 5*q = -24, 4*q = o*m + 5 + 11. Let u(s) = -s**2 + 5*s + 26. Let w be u(8). Solve -f = -w*f - m for f.
-1
Let c = 71 - 67. Suppose -4*z + 12 + c = 0. Solve -2*m - 2 = -z for m.
1
Let r be 12/(-16) - (-4 + (-108)/16). Solve -12 = -r*t - 2 for t.
1
Suppose 4*p + 2*t = 12, 36 = -0*p + 4*p - 4*t. Solve 0 = q + p*q + 30 for q.
-5
Suppose 12 = 3*t, 150*j - 155*j = 5*t - 95. Let g be 0 - (1 - 3)/2. Solve -g - j = -4*o for o.
4
Let q = 86 + -49. Solve -q = 5*j - 17 for j.
-4
Suppose 5*a - 4*c = 7*a - 60, c = -4*a + 92. Solve -4*t + a = 6 for t.
4
Let a = -1480 - -1486. Solve 0 = -a*m + 13*m - 14 for m.
2
Let s = -17 + 15. Let j be ((-1)/4*0)/s. Suppose 0 = 5*p + 2*k + 9 - 67, -3*k = -2*p + 27. Solve j*i - p = -3*i for i.
4
Let r be -1 - -1*15/3. Suppose 4*t + 0 = -r. Let g be t*2 + (12 - 8). Solve 0 = -0*d + g*d + 4 for d.
-2
Suppose 2*s - 2*i = 44, -4*s - 36 = -2*i - 116. Suppose 2*g - s = -g. Suppose 3 + 9 = -a - 5*u, -3*a = 5*u + g. Solve a*c = c + 10 for c.
5
Suppose 0 = -10*k + 11*k - 9. Solve -6*n + k*n = 12 for n.
4
Let p(s) = -10*s + 235. Let y be p(19). Solve k = 16*k + y for k.
-3
Let b(h) = 2*h - 44. Let n(f) = -6*f - 2. Let q be n(-4). Let x be b(q). Solve -r = -x + 2 for r.
-2
Suppose -8*k + 3*k + 4*d = -4, -3*k + 32 = 5*d. Suppose -5*g + 15 = -2*b, -2*g - 15 = -g - k*b. Solve 15 + 10 = -g*i for i.
-5
Let x(p) = p**3. Let c(a) = -5*a**2 + 4*a. Let d(y) = c(y) + x(y). Let j be d(5). Suppose 0 = -0*z + 5*z - j. Solve z*w = w + 3 for w.
1
Let l be 1359/81 + -11 - 4/(-18). Solve 8 = -o + l for o.
-2
Let r(u) = u**3 + 4*u**2 - u + 1. Let n be r(-4). Solve n*a + 5 = -10 for a.
-3
Let g be ((-136)/(-56) + -7)/(4/(-14)). Solve 3*b = g - 10 for b.
2
Suppose 4 = -2*x + 44. Let r(g) = g**3 + g**2 - 14*g + 10. Let b be r(3). Solve x = -b*h - 0*h for h.
-5
Suppose -3*z + 30 = 3*z. Suppose -z*q = 2*m - 11, q = 4*m - 0*q - 11. Solve v + 20 = -m*v for v.
-5
Let g be 6/(-14) - 85/(-70)*16. Suppose -4*b - 3 = -g. Solve 0 = -d - 3*d + b for d.
1
Let b(i) = i**3 + 3*i**2 - 8*i - 4. Let z be b(-6). Let a be z/(-24) - (-6)/(-9). Solve -q - 6 = -a for q.
-4
Let q(y) = -y**2 - 8*y - 5. Let s be q(-7). Solve 0 = -a + s*a for a.
0
Let r = 5 - 5. Let i(o) = 2*o. Let s be i(1). Suppose 4*x + 25 = 4*b - 7, 2*x + 13 = b. Solve s*t + 1 - b = r for t.
1
Let w = 10 - 8. Suppose -2*s + 0*s = -w. Suppose -j = -4*v - 20, 5*j - 5*v + s = 41. Solve y = 3*y - j for y.
2
Suppose 7*w = w + 18. Suppose -2*a = k, -a - w*a - 3*k - 4 = 0. Solve -a*d + 4*d = 0 for d.
0
Let a be (-250)/(-40) + 10/(-8). Solve 2*d + 5 - a = 0 for d.
0
Let h(g) = g**3 - 3*g**2 + 9*g - 12. Let i be h(3). Solve 4*j + i = 9*j for j.
3
Let x = -32 - -35. Suppose 0 + 4 = -l - 5*s, -12 = -3*l - x*s. Solve -7*q + l*q = 0 for q.
0
Suppose -5*l + 562 - 62 = 0. Suppose 40 = -3*b + t, -5*t - l = 8*b - 3*b. Let k = b - -17. Solve -k*a - 2 = -4*a for a.
1
Suppose -5*x - 5*x = -100. Suppose -5 = -4*u + 3*u. Solve x = u*z + 25 for z.
-3
Let u = -1 - -13. Suppose 4*q = u + 4. Suppose -q*r - 3*t = -r - 15, 5*r - 2*t = 18. Solve -11 = -r*l + 1 for l.
3
Suppose -10*w + 4*r = -7*w - 34, -2*r - 12 = -w. Solve w*i = 6 + 24 for i.
3
Suppose -5*x + 51 - 6 = 0. Let k(v) = -v**3 - 78*v**2 - 296*v + 4. Let g be k(-74). Solve -x*r + g*r + 5 = 0 for r.
1
Let k(u) = u**2 - 5*u - 8. Let o be k(8). Let s = -14 + o. Let y = -2 - -4. Solve y*l = l - s for l.
-2
Let w(u) = -2*u - 44. Let i be w(0). Let v = i + 63. Solve -4*l + v = 3 for l.
4
Let o(l) = -l - 11. Let b be o(-13). Suppose 0 = -3*z + 2*z + b. Let x be (6 - 2)*z/4. Solve -k = x*k for k.
0
Let x be (-2)/(-4)*-3*-10. Let r = 82 + -77. Solve -r*w + x = 5 for w.
2
Let v(q) be the third derivative of q**4/24 + 17*q**3/6 + 11*q**2. Let b be v(-13). Solve 0*j = b*j + 20 for j.
-5
Suppose -731 - 1978 = -43*f. Solve f*c = 67*c - 8 for c.
2
Let j be (-5 - 1) + -2 - -3 - -7. Solve -j*v + 4*v = 0 for v.
0
Let l be 48/(-40)*15/(-9). Solve -l*c + c + 4 = 0 for c.
4
Suppose c + 11 = -3