 -x - 4*x - 15 = y for x.
-3
Suppose 2*m + h - 41 = 0, 234 = 3*m - 5*h + 166. Solve -m + 19 = -c for c.
2
Let p be (-6)/9 - 32/(-12). Suppose -2*q = p*o - 40, -1 + 41 = 2*o - q. Let u = -3 - -6. Solve -o = u*x + 2*x for x.
-4
Let q be (-2266)/(-58) + 82/(-1189). Solve q - 33 = 6*o for o.
1
Suppose 0*c = 2*c + 16. Let w = -11 - c. Let f = 1 - w. Solve 2 = f*u - 6*u for u.
-1
Let g(p) = -4*p**3 + 4*p**2 + 5*p + 2. Let k(b) = -4*b**3 + 3*b**2 + 4*b + 1. Let c(z) = 3*g(z) - 4*k(z). Let d be c(1). Solve d = 5*q - 0 for q.
1
Suppose i + 2*i - 4*c - 137 = 0, -5*i + 5*c + 225 = 0. Let t = i - 38. Solve 9 - t = 4*x for x.
1
Let r = 8 + 4. Suppose -x = 3*x - r. Let b(t) = -t**2 + 5*t + 6. Let n be b(5). Solve 3*d + x = n*d for d.
1
Let m = -140 + 141. Solve 0 = -4*r - 11 - m for r.
-3
Let u(j) = j**2 + 2*j + 1. Suppose -2*c = -4*s + s - 4, c = 2*s + 3. Let g be u(c). Solve g*m - 1 = -m for m.
1
Let v be -5 + (1 - -8) + 3/3. Solve -v*d = -2*d - 15 for d.
5
Let j be 21/14*(-4)/(-3). Suppose -4 - j = -2*d. Suppose 6*b - 30 = d*b. Solve 5*c - b - 5 = 0 for c.
3
Suppose -42*w + 35*w = -70. Solve w*l = -l - 33 for l.
-3
Suppose 2*g + 2*g = -300. Let a be ((-60)/g)/((-4)/(-10)). Let u(t) = t + 3. Let q be u(a). Solve q = 4*r + 25 for r.
-5
Let o be 6/(-7)*(12 - 19). Suppose o*b - 17 = 1. Solve b = -u + 4 for u.
1
Suppose -2*h + z = 11, 7 + 42 = -3*h - 5*z. Let y be 15*(34/40 - h/(-32)). Solve -2*l = -5*l + y for l.
3
Let h be (-5 - -3) + (-13 - -1). Let s be (-16)/(-64) + h/(-8). Solve 5*q + 15 = s*q for q.
-5
Suppose 3*c + 43 = 241. Let b = c - 62. Solve -z - 15 = -b*z for z.
5
Let a be ((4 - 2) + 0)*(-92)/(-23). Let z(m) = -m - 5. Let n be z(-5). Suppose -5*r - 4*h + 17 = -3*h, -3*r + 2*h + 5 = n. Solve 7 = -r*j - a for j.
-5
Suppose 2*n + j = 8, 0 = 3*n - 12*j + 10*j - 19. Solve n*h + 20 = -0 for h.
-4
Let c be 0/(2 - (-12)/(-3)). Suppose -2*l + l = c. Solve 0*b + b + 4 = l for b.
-4
Let w(j) = j**3 - 13*j**2 + 9*j + 44. Let z be w(12). Solve 9*a = -1 - z for a.
-1
Let x(u) = -u**2 + 22*u - 84. Let g be x(15). Solve -10 = 16*y - g*y for y.
2
Let d = -486 + 489. Solve d = 8*g - 37 for g.
5
Let g(v) = -2*v + 19. Suppose b = -2*b + 21. Let t be g(b). Solve -13 = -t*f + 2 for f.
3
Let n be (-4 - -4) + (-1 - -3). Let p(g) = g**2 - 2*g + 3. Let c be p(n). Let t be (-9)/c*1 - -3. Solve u = -t*u for u.
0
Let p = -7 - -3. Let y = -8 - p. Let a be 6/9 + y/6. Solve a*h - h = 0 for h.
0
Let z be 152/7 + (-20)/(-70). Let i = z - 21. Solve -c - i = 2 for c.
-3
Let r(w) be the second derivative of w**4/4 + w**3/3 - w**2 - 3*w. Let d be r(-2). Let y be (-2)/(-2)*1*2. Solve d*f - 20 = y*f for f.
5
Let d be (1989/(-442))/(1/(56/(-6))). Solve -d*p = -40*p - 4 for p.
2
Let z be (-62)/(-22) - (-34)/187. Let w(b) = -2*b - 4*b + z*b. Let d be w(-3). Solve -y - d = 2*y for y.
-3
Let s(m) = -15*m - 26. Let t(h) = 7*h + 13. Let w(n) = 6*s(n) + 13*t(n). Let a be w(-12). Solve 2*x - 11 = -a for x.
5
Suppose 147 = -36*r + 40*r - d, -2*d - 78 = -2*r. Solve r*z - 17*z = -76 for z.
-4
Let z(u) = 2*u**2 - 55*u - 22. Let c be z(28). Solve -2*t = -c*t + 12 for t.
3
Let u = -123 + 127. Suppose t = 12 + 2. Suppose 5*o = -4 + t. Solve 2*w - o = -u for w.
-1
Let n(y) = y**2 - 6*y - 13. Let l be n(-2). Solve -10 = -8*m + l*m for m.
2
Let j be 28/3*(-3)/(-2). Let c be 2/14 + 240/84. Suppose -5*g + 3*a = -4, -c*g - 5*a = -g - j. Solve -i - g*i = 3 for i.
-1
Let f be (2/13)/((-53)/(-1378)). Solve -2*o - 2*o = f for o.
-1
Suppose 4*p + 160 = 2*s + 2*s, -5*s - 4*p + 200 = 0. Let r be (1/(-4))/((-5)/s). Solve r*l + 20 = -2*l for l.
-5
Let u = -405 - -522. Solve 0 = 2*p - 113 + u for p.
-2
Let o(p) = p + 0 + 4 + 3 - p**3 + 5*p**2. Let a be o(5). Suppose c = -3*c + a. Solve w = c*w + 6 for w.
-3
Suppose -3*d + 18 = 3. Let h = 1867 - 1867. Solve d*y + h*y = 0 for y.
0
Let a(l) = l**2 + 11*l - 138. Let k be a(8). Solve k*o + 43 = -27 for o.
-5
Suppose 7*w + 5*p = 12*w - 45, 3*w - 34 = -4*p. Solve 4 = -14*v - w for v.
-1
Suppose -20*s - 9*s + 58 = 0. Solve s*n - 2 + 0 = 0 for n.
1
Let a be 48/(-40) + 1/(-5)*-6. Solve a = c + c for c.
0
Let j = -12 + 23. Let s = -8 + j. Suppose -5*v = -3*r - 5, -2*v + 3 = 1. Solve s*p = -r*p - 3 for p.
-1
Suppose 0 = 4*v - 596 + 552. Solve v*d - 20 = 2 for d.
2
Suppose 5*p - c = 2*c + 42, 3*c = -4*p + 12. Let r be ((-36)/15)/(p/(-15)). Suppose 0 = 2*n - 4. Solve -n*x + 12 = -r*x for x.
-3
Let c(p) = -2*p**2 - 27*p + 16. Let j be c(-14). Solve -4 = -j*z + 6 for z.
5
Suppose 5*f = 3*y - 10, 5*y + 12*f - 10 = 17*f. Solve y = -56*z + 58*z + 2 for z.
-1
Let o(i) = i**3 + 17*i**2 + 14*i - 26. Let b be o(-16). Suppose s + 2*t + b = 2, -1 = s + t. Solve -s*h = -5 + 3 for h.
1
Let k = 81 + 6. Let o = 87 - k. Solve -b + o = -4 for b.
4
Suppose 6*y + 63 = 45. Let r(a) = -2*a**2 - 9*a - 7. Let x be r(y). Solve 6*t - x*t = -8 for t.
-2
Let j(g) = -2*g**2 - 10*g - 4. Let n be j(-4). Suppose 4*p + 3*m = 7, 4*p - n*m - 1 = -m. Solve 5 = 2*s - p for s.
3
Let j be (6/8*6)/((-3)/66). Let u be 1/((-33)/(-126)) - 18/j. Solve -u*t = t for t.
0
Let g(m) = -m**3 + 5*m**2 - 3*m - 2. Let q be g(4). Suppose -44*r = -46*r - 60. Let y be 6/(-10) - 18/r. Solve y*s = -q*s + 10 for s.
5
Let i be (-32)/(-40) - (4 + 273/(-15)). Solve 16*y = i*y + 4 for y.
4
Let i = -24 + 26. Suppose -49 + 11 = -i*r. Suppose 5*u - r = 11. Solve u*w - w + 15 = 0 for w.
-3
Let q be 22/6 - 13/(117/6). Let i(a) = -a - 2*a - 5 + 0*a**2 - a + 2*a**2. Let o be i(5). Solve o = q*x + 2*x for x.
5
Suppose -4*z = 27 - 11. Let r be z*42/(-56)*(0 + 1). Solve -r = 11*h - 14*h for h.
1
Let n be ((-1)/(-2))/(8*(-13)/(-4784)). Solve n - 6 = 17*v for v.
1
Let u(o) = -15*o + 4. Let x be u(0). Solve -5*c - x = -c for c.
-1
Let b be 34/10 - 15/(375/10). Solve -b*u - 3 = 3 for u.
-2
Let w(f) = -3*f**2 + 3*f + 11. Let i be w(4). Suppose 71 = -4*h + 3. Let x = h - i. Solve -20 = -3*c + x*c for c.
-4
Let o(q) = 6*q**3 + 3*q**3 - 10*q**3 + 3 + 6*q**2. Let z be o(6). Solve -f = -8 + z for f.
5
Let z(c) = 6*c**2 + 0*c - 3*c**2 - 2*c**2 + 5*c. Let w be z(-5). Solve 9 = 3*m - w*m for m.
3
Let u = 109 - 104. Solve u*a - 5 = 4*a for a.
5
Let b(y) = -3*y + 3. Let o be b(-6). Suppose r = -r - 5*l - 14, -o = -3*r + 3*l. Let w(z) = z**3 - 4*z**2 + 2*z - 6. Let n be w(4). Solve -n*j = -1 + r for j.
-1
Suppose 84*i - 85*i = 0. Let a(v) = 3*v - 2. Let y be a(2). Let u be (5 + -1)*2/y. Solve 0 = -u*j - i - 2 for j.
-1
Let k be (-837)/18*(-4)/6. Let s be -1 + k + 0/(-4). Suppose -2*x = y + 3*x - s, -y + 3*x = 2. Solve -3*t + y = -2 for t.
4
Let v be -8*((-6)/1 - -4). Let f = -9 + v. Solve -f*a = -6*a + 1 for a.
-1
Let v(s) = -s**3 + 10*s**2 - 2*s + 20. Let g be 3/2*(-140)/(-21). Let z be v(g). Let m = 11 - 8. Solve m*t + 1 + 5 = z for t.
-2
Suppose 2*b + 12 = 46. Let h = -15 + b. Suppose 2*u - 5*y + 8 = 0, -y = -u - 3*u + h. Solve -i + 1 = -u for i.
2
Suppose 0 = 696*h - 704*h. Solve -8*g + 60 - 20 = h for g.
5
Let l = 4 + -11. Let m(n) = -n**2 - 10*n - 17. Let z be m(l). Suppose y + z = 3*y. Solve 0 = 7*q - y*q for q.
0
Let d = 1935 - 1924. Solve -2*g + d = 13 for g.
-1
Let b be (19/21 + (-70)/(-735))*4. Solve -39 = 17*u - b*u for u.
-3
Let l(p) = p + 7. Let v(j) = -j**2 + 8*j + 10. Let o be v(8). Let k = -17 + o. Let u be l(k). Solve u = -2*y - 0*y + 4 for y.
2
Let k be -8 + (-8)/((-32)/68). Solve 2*g - k = -5 for g.
2
Let d = 15 - 8. Solve -18 - 3 = d*h for h.
-3
Let w(v) be the first derivative of -v**3/3 + 7*v**2/2 - 2*v + 8. Let t be w(6). Let l be t/10*(11 + -1). Solve 1 + 7 = l*c for c.
2
Suppose -5*l + 4 = -9*l, -5*l + 43 = 3*q. Solve 5*u + q = 6 for u.
-2
Suppose 0 = 6*j + 6*j - 7*j. Solve -4*l + 2*l + 6 = j for l.
3
Let v = -111 + 115. Suppose 2 = 3*z - 1, d - z = 19. Solve -v*o - o = d for o.
-4
Let u(h) = 8*h + 2. Let m be u(1). Suppose -9*o - 11 = -m*o. Solve -4*w + o - 3 = 0 for w.
2
Suppose -688 = -69*k + 554. Solve 4*a + k = 26 for a.
2
Let c(g) = -11*g - 396. Let f be c(-36). Solve -6*k + 13*k - 7 = f for k.
1
Suppose -260 = -8*u - 44*u. Solve -u*a + 7 - 2 = 0 for a.
1
Let n be 15/(-6) + (-1)/(-2). Let s be 1 - (1/1 + n). Suppose -5*f + s*f + 9 = 5*q, -4*f + 41 = -3*q. Solve 2*u + 0*u = f for u.
4
Let s be 3 + -7 + (7 - 3). Solve -7*a = -s*a + 14 for a.
-2
Suppose 3*s - o = -6*o - 13, 4*o - 4 = 0. Let a be -5 + 3 + (s - -1). Let w be (2 - a/(-