+ 4*x. Let o = 6 - b. Suppose f + a = 3*a - 4, -3*a = -f - o. Solve -t - 3 + 1 = f for t.
-2
Suppose -x + 12 = x. Let r(b) be the first derivative of b**4/4 + b - 23. Let v be r(-1). Solve v = x*i - 2*i - 20 for i.
5
Suppose -36*d = -40*d + 40. Solve -d*c - 14 + 4 = 0 for c.
-1
Let l(n) = -3*n**2 - 4*n**2 + 1 + 3*n + n**2 + 7*n**2. Let j be l(-3). Solve -5*r + 4 = -j for r.
1
Let z(i) = -i**3 - 6*i**2 - 6*i + 12. Let s be z(-7). Let d = 109 - s. Solve y + d = 3*y for y.
3
Let u = -23 + 9. Let n = -13 - u. Suppose 0 = -4*t - 4*q - 8 + 28, 5*t - n = 3*q. Solve 5*w = t*w - 12 for w.
-4
Let z = -2159 + 2164. Solve z*n - 16 = 9 for n.
5
Suppose 2*q + 3*h + 23 = 0, 2*q + 5*h + 18 = -3. Let p(a) = a**3 + 12*a**2 - 14*a - 7. Let o be p(q). Solve -3 = -3*j + o for j.
3
Let d be (-86)/(-30) + (-40)/(-300). Solve 0 = -y + d - 5 for y.
-2
Let m(v) = v**3 + 12*v**2 - 45*v + 7. Let z be m(-15). Suppose -2*x - z = -13. Solve -3*t + x - 18 = 0 for t.
-5
Suppose 129 - 108 = 21*h. Solve a = -0 - h for a.
-1
Let l(q) = 6*q + 161. Let o be l(-25). Solve -64 = -o*p - 31 for p.
3
Let s be (0 - 90/25)*10/1. Let d = -31 - s. Solve d*b = b - 16 for b.
-4
Suppose 5*d - r - 11 = 0, 5*r + 11 = 31. Solve 3 = d*v - 3 for v.
2
Suppose -5*r + 10 = -0. Let a(x) = 3*x**3 - 2*x**2 - 3*x + 3. Suppose 2*u + u = 5*y - 19, 0 = -u + 2*y - 8. Let i be a(u). Solve 5*p + r = -i for p.
-3
Let k be 4/(-18) + (-112)/(-18). Let q = -2614 + 2616. Solve -k = q*u + 2 for u.
-4
Suppose 16 = -4*m - 2*j, -8*m + 6*m = -5*j + 32. Let f(n) = n**2 + 6*n + 10. Let o be f(m). Solve o = 2*d - 0 for d.
5
Let x be (-18)/33 + (-1554)/(-66). Solve -21*h + x*h = 0 for h.
0
Let n be (-17)/(-2) + (-3)/2. Let p(f) = f**2 + 3*f + 1. Let i be p(-4). Let a = n - i. Solve -a*z = -z for z.
0
Let u be 41/((-2)/(-10)*5). Solve 15*c - 101 = -u for c.
4
Let j = -807 - -835. Solve 2*p + j = 30 for p.
1
Let d(j) = j**2 + j - 4. Let z = -25 + 21. Let v be d(z). Solve -v = -2*p + 2 for p.
5
Suppose -5*k - 3*o = -33 - 11, 5*k = 5*o + 20. Solve 7*c + k + 7 = 0 for c.
-2
Let c(f) = -5 + 3*f + 6*f + 31*f**2 - 32*f**2. Suppose -4*g - 13 = -45. Let s be c(g). Solve -s*y = -y + 10 for y.
-5
Let y be -2*((-6)/6)/(1/1). Suppose -g = -2*p - 4, -g + 2 = y*p - 2. Solve -8 + p = -4*n for n.
2
Let u(s) = s**2 - 15*s + 31. Let k be u(13). Solve -3*t - k*t = -32 for t.
4
Let g be (0/(-1) + -1)*(10 - 9). Let r be 2*(-1)/((-4)/6). Let b = g + r. Solve 0 = -b*y + 3*y + 2 for y.
-2
Suppose 4*o + 20 = -5*j, 2*o = 3*j + 4*o + 10. Suppose k + j*k - 18 = -2*n, 3*k = 3*n + 18. Solve m - k = -m for m.
5
Let t(o) = o**2 + o - 3. Let a be (-12)/(-5) - (-38)/(-95). Let b be t(a). Solve 0 = b*x + x for x.
0
Let h(a) = a - 2. Let v be h(0). Let b be 10/35 - 0 - v/(-7). Solve 5*f - 4*f - 4 = b for f.
4
Let w = 8 - 8. Let j(k) = -k**3 - 2*k**2 - k + 3. Let u be j(w). Solve u*p = 2*p + 5 for p.
5
Suppose 0*r - 5*r + 4*h = -15, 0 = 4*h. Suppose r*t - 4*y + y - 24 = 0, -3*y + 1 = 2*t. Let u = -5 - -5. Solve u = t*f + 14 + 11 for f.
-5
Let m = -12 - -36. Suppose -m + 4 = -5*n. Suppose 31 = 5*w - n. Solve 3*h - 2 = w for h.
3
Suppose -14*r + 76 + 22 = 0. Solve 13*y + r = -19 for y.
-2
Let t = 1400 + -1400. Solve 5*o + 46 - 26 = t for o.
-4
Let t = -222 - -243. Solve 7*w + t = -14 for w.
-5
Let t = 138 + -134. Solve -j = -t*j + 15 for j.
5
Suppose 0 = t - 28 + 16. Suppose -120 = 6*g - t*g. Solve -o - 4*o + g = 0 for o.
4
Let h = -119 + 123. Let j(k) = -k**3 - 6*k**2 - k + 2. Let n be 3/(-2)*(0 - -4). Let l be j(n). Solve -4*c + l = -h for c.
3
Let g be ((-4)/8*0)/1. Suppose g = c - 3*c + 4. Suppose l - 3*d - 6 = 0, -2*d + 10 = -c*l + 34. Solve -k + l = 2*k for k.
5
Suppose -3*s + 1793 - 1721 = 0. Solve -s = -3*d - 9 for d.
5
Let d = 103 - 98. Let l be 10/(-25) - (-2)/5. Solve 0*j - d*j + 15 = l for j.
3
Suppose 4*z - 10*y - 8 = -15*y, 0 = 4*z + 2*y - 8. Solve -z = -2*a - 12 for a.
-5
Suppose 0 = -x + 2*x - 14. Let y = 22 - x. Let v = 318 - 313. Solve v*w + y + 12 = 0 for w.
-4
Let k(a) = -8*a**2 + 28*a - 4. Let w be k(4). Let r be (w/6)/(3*(-4)/18). Solve -r*i = -0*i - 5 for i.
1
Let o be 2/(-22)*2 + 124/(-44). Let a(d) = 2*d**2 + 6*d + 4. Let z be a(o). Solve 1 - z = -j for j.
3
Suppose -8 = 2*d + 2*d, 5*r - 3*d = 6. Suppose -21 = -5*i - 5*k + 19, 5*i - 4*k - 13 = r. Suppose -3*m = -15, 2*l - i*l + 2 = -2*m. Solve -6 = -b + l*b for b.
-2
Let b = 46 + -58. Let j(c) = 16 - 5*c + 18*c + c**2 + 2. Let n be j(b). Solve -s + n = 2 for s.
4
Suppose -3*u = 52*h - 49*h - 21, u + 26 = 2*h. Solve 20 = h*r - 2 for r.
2
Let g be (-96)/(-64) + 39/(-6). Let i(m) be the first derivative of -m**4/4 - 2*m**3 - 7*m**2/2 - 6*m - 1. Let l be i(g). Solve 2*x = l*x + 10 for x.
-5
Let d be ((-24)/(-3))/(-4)*-2. Suppose -8*k + 8 = -d*k. Solve 2*t + k = -0*t for t.
-1
Suppose -26 = -4*h - 2*m, -4*m = 6*h - 10*h + 44. Solve 4*x + 0*x + h = 0 for x.
-2
Let h be 171/24 + (-23)/184. Solve -10 = -h*x + 5*x for x.
5
Suppose 0*x = -r - 2*x - 11, 41 = -5*r - 3*x. Let d = r - -10. Solve -11 = -d*c - 2 for c.
3
Let k(r) = -r**3 - 33*r**2 + 50*r + 548. Let q be k(-34). Let j = -18 + 27. Solve -j + 1 = -q*y for y.
2
Let k be 19 - (-4 - -2)/(3 + -2). Solve 26*j = k*j + 15 for j.
3
Suppose -30 - 26 = -2*w - 3*a, a = -2. Solve -w*o + 37*o = -12 for o.
-2
Let g be 0 + (-424)/(-28) + 6/(-42). Solve 43 - g = 7*h for h.
4
Suppose 5*l = -3*l + 40. Solve -25 = -l*f - 0*f for f.
5
Suppose 0 = 2*s + 2, -3*c - 3*s = -s - 115. Let l = -24 + c. Solve 3*n = -0*n + l for n.
5
Let h(b) = -b**3 + 2*b**2 + 2. Let q be h(2). Let u be (-16)/20*35/(-14). Suppose -3 = 4*f - 5*v, 0 = -3*f + u*v + v. Solve q*a + f = 9 for a.
3
Suppose 2*z = 3*t + 299, -t = -0*t - 4*z + 103. Let g = t - -110. Solve 19 - g = 2*j for j.
4
Suppose -2*i = 0, -2*l - 27*i = -25*i - 10. Solve -15 = l*x - 8*x for x.
5
Suppose 4*m = 5*k - 88, -14 = 18*k - 19*k - m. Solve 4 = -3*c + k for c.
4
Suppose -2*x - 1 + 5 = 0. Suppose 4*p - 6 - x = 0. Solve 0 = -p*a - 0 - 6 for a.
-3
Suppose -6 = 5*n + 9. Let u = n - -3. Suppose -2*d + 11 - 1 = u. Solve -d*g - 1 = 19 for g.
-4
Let i = 17 - 1. Let a be i/14*2 - (-6)/(-21). Solve -k - a + 0 = 0 for k.
-2
Let w be 3/1*28/(-6). Let a be w/(-49) + 4/(-14). Suppose 26 = 4*r + y - 10, -4*y = 4*r - 36. Solve -2*o + 5*o + r = a for o.
-3
Let t(x) = 17*x - 522. Let g be t(31). Solve 11*a - 18 = g*a for a.
3
Suppose -4*k + 2*f + f = -14, 4*k + 5*f = -2. Suppose 0 = 2*j + 2*j - 16, k*v = j - 8. Let w be 3/v + (-55)/(-10). Solve -8*r = -w*r for r.
0
Suppose -4 = -2*g + 4. Let i be (24/15)/(g/10). Suppose 0 = 4*s - i*b + 20, 0 = s + s - 3*b + 15. Solve 2*t + s*t = -10 for t.
-5
Suppose 0 = 5*s - 2*s - 15, -4*s + 5 = -5*l. Suppose -8*q = -3*q + 5*v + 5, 20 = -4*v. Solve l*c + 5 = -q for c.
-3
Let t(u) = -u**2 - 14*u - 44. Let a be t(-6). Solve -4*i + a*i = -4*i for i.
0
Let n(a) = 4*a**2 - 3*a**2 - a + 5 - 2*a + 9*a. Let u be n(-6). Let g be 11/(-55) + 41/u. Solve -3*v = v - g for v.
2
Let m be (-8)/6*(-3)/2. Suppose 66 = -24*g + 46*g. Solve 5*n = -m - g for n.
-1
Suppose -3*y = 8 - 41. Suppose -29329*t - 96 = -29353*t. Solve t*i + 9 = -y for i.
-5
Suppose 0 = 5*z + 3*p - 62 + 10, 0 = -5*p + 20. Suppose 3*r = -0*r - 15, 4*r = -3*k - z. Solve -4 = -k*o - 16 for o.
-3
Let l = -247 + 249. Solve 4*v = l*v - 8 for v.
-4
Suppose -5*c - 105 = -5*r, -4*r = -7*r - 4*c + 28. Solve -r = t - 17*t for t.
1
Let i be (-9)/(-2) + (1 - 6/4). Solve 65 = -i*v + 53 for v.
-3
Let z(i) = i**3 - 4*i**2 - 4*i - 2. Let j be z(5). Suppose 0*u = j*u. Suppose u = 4*m - m - 9. Solve 2*c + 5 = m*c for c.
5
Let b(i) = 3*i**2 - 2*i - 51. Let t be b(5). Solve -8 = 3*l - t for l.
2
Let m(j) = j + 6. Let p be m(-1). Let t(b) = -b**2 + 10*b - 22. Let n be t(p). Solve n*v = -2*v for v.
0
Let z(f) = f**2 + 17*f - 56. Let r be z(-20). Solve t = -0 + r for t.
4
Let i be 6/(-15) - 34/(-10). Let x be (-4)/1*i/1. Let m = 12 + x. Solve 4*r + m*r = 20 for r.
5
Let s be (-5)/100*-5 - (-21)/12. Let o = 8 - 5. Solve -s*h = -o*h for h.
0
Let v(m) = -4 + 4*m - m**2 - 3*m**3 + 3 + 0 + 0. Let x(j) = -6*j**3 - 2*j**2 + 9*j - 2. Let i(p) = 13*v(p) - 6*x(p). Let t be i(-1). Solve 2 = -t*d + 17 for d.
5
Let k = -9 - -13. Suppose -y = k*y. Let p = 16 - 13. Solve p = -3*j - y for j.
-1
Let d be (-2)/((-2)/(-2)*1/(-2)). Let z be (-8)/3*(-30)/4. Solve -d*o + 0 = z for o.
-5
S