4. Solve 2*x + a = 10 for x.
3
Suppose 3 + 7 = 5*y. Let w be -1*20*y/(-2). Solve 3*x + x - w = 0 for x.
5
Let s be (-2)/(-10)*-1 + 936/180. Solve 0 = 8*r - 3*r - s for r.
1
Let c(l) = 5*l - l + l**3 - 3*l - 3 - 3*l**2. Let y be c(3). Suppose 0*s - 4*s = 5*f - 15, 2*s + 5 = -5*f. Solve y*x + 2*x = s for x.
5
Suppose -2*m + 5*a + 6 = 0, 2*m + 2*a = -m + 9. Solve 0 = f + m for f.
-3
Let q = 78 + -42. Suppose -s = -3*s + q. Suppose 3*d - d - s = -3*u, 5*d - 5*u = 95. Solve -2*x + d = x for x.
5
Let j(c) = -c - 1. Let h be j(-1). Let u be 2 + 3/6*h. Solve -u = -l + 2 for l.
4
Let j be 0 - (-12)/20 - 42/(-5). Solve j*a + 1 = 10*a for a.
1
Suppose z = 3*f + 3, -3*f = -2*z + 3*z - 3. Suppose 10*o - z = 7*o. Solve 4*k = 5*k - o for k.
1
Let q(z) = 4*z**2 + z. Let n be q(-1). Suppose -12 = -d - 0*d - 4*j, 0 = -2*d + 2*j + 4. Suppose d*m - 12 = m. Solve n = m*g - 9 for g.
3
Suppose -5*w = -3*w + 428. Let q be (-10)/35 + w/(-14). Solve 0 = -3*y - 0 + q for y.
5
Let o be 2 - (-6)/(-5 + 2). Suppose 4*v - 3 = -5*a, -5*v - 5*a + 5 = -o*v. Suppose v*i + 0*i = 8. Solve i*k = 2*k - 10 for k.
-5
Let h be (22/5)/((-14)/(-35)). Suppose -7 = -2*t - 3*g + 2*g, h = 5*t - 4*g. Let z be 2 - (2 - t)/1. Solve 0 = 3*d - 0*d - z for d.
1
Let a be (-1)/3 - (-5)/(-3). Suppose 5*j = 4*c - 1, 3*j - 6*c + 3 = -3*c. Let z be 0/j*a/(-2). Solve z = -5*i - 5 - 5 for i.
-2
Suppose -q = -2*q. Solve c - 1 = -q*c for c.
1
Let t = -4 + 12. Solve 0 = 4*h - 8 - t for h.
4
Let j(f) = -f**2. Let z(i) = 3*i**2 - 2. Let k(t) = -4*j(t) - z(t). Let y be k(0). Solve q = y*q - 4 for q.
4
Suppose -5*z = -4*j + 3, -4*j + 3*z + z = -8. Solve 2*u - j*u = 0 for u.
0
Let i(q) = q**2 - 7*q + 4. Let x be i(7). Suppose 2*j = x*j - 8. Solve -b = -2*b + j for b.
4
Suppose 0 = 4*c - 2*c - 2. Solve -2*u + 3*u = c for u.
1
Let r(k) = k**2 - 5*k - 84. Let f be r(13). Solve -f = -4*j - j for j.
4
Let z(t) = 3*t - 4. Let o be (-40)/(-10) - 2*1. Let d be z(o). Solve 0 = -d*b + b for b.
0
Let s = -12 + 14. Solve 12 = 6*a - s*a for a.
3
Let q(b) = -b**2 + 2*b - 2. Let h be q(3). Let m = h + 9. Let y be 6/4*m/2. Solve -3*o + y = -0*o for o.
1
Suppose 5*q + 4 = q, 0 = -3*t - 2*q - 2. Solve t = -2*m + 4*m for m.
0
Let w = -97 + 103. Solve t + t = w for t.
3
Suppose 3*h + 3*t = 33, 80 = 5*h - 4*t + 7. Suppose h + 2 = 5*j. Solve j*w = -2 - 1 for w.
-1
Let f be 21/2 - (-2)/(-4). Let g = 10 - 18. Let d be (4/5)/(g/(-60)). Solve -d = -4*a + f for a.
4
Suppose -2*p + 4*x = 20, 0 - 10 = -5*p - 2*x. Suppose -2*t + p = -4. Suppose 2*k = -2*k - 3*z + 30, -z + 2 = 0. Solve t*y = k*y + 12 for y.
-3
Let z = -48 - -56. Solve -x + z = x for x.
4
Let j(f) = -f**2 + 9*f - 5. Let h be (-32)/6*(-9)/6. Let i be j(h). Solve -a = i*a + 16 for a.
-4
Let j be (-12)/(-20) - 7/(-5). Suppose -m + j*i = -3*m + 32, m - 4*i - 6 = 0. Let p = 22 - m. Solve 0 = 4*y + 12 + p for y.
-5
Let q(h) be the first derivative of -h**4/4 - 3*h**3 + 5*h**2 + 4*h + 2. Let s be q(-10). Solve -25 = -s*v - v for v.
5
Let n = 17 + -29. Let z = -33 - -54. Let s = n + z. Solve -v - 2*v = s for v.
-3
Suppose 0 = -16*s + 19*s - 24. Solve 4*q = -0*q + s for q.
2
Suppose -5*m + 9 = -6. Let b be -1 + (5 - (3 - 1)). Solve -b*v + m = -3*v for v.
-3
Let j(p) = -p**2 + 7*p + 2. Let t be j(7). Solve c = -t*c for c.
0
Let u(d) = d - 6*d**2 - 6 + 5*d**2 - 14*d. Let x be u(-10). Suppose -i = -4*f - 1 + 18, x = 3*i + 3*f. Solve i*c + 16 - 1 = 0 for c.
-5
Suppose -5*b = -0*b - 90. Let l be (12/b)/(4/30). Solve 10 = -l*q - 0 for q.
-2
Suppose 2 = 3*a - 16. Suppose 2*h + x = -2*x - 3, -12 = -5*h - x. Let m = 7 + h. Solve b = a*b + m for b.
-2
Let d(l) = -2*l + 10. Let i be d(2). Solve 0 = -3*s - 0 + i for s.
2
Suppose 0 = 2*q + 4*l + 16, -11 = 4*q - 2*q + 3*l. Solve -2 = -q*a + 2 for a.
2
Suppose 0 = -6*z + 2*z + 4. Solve -2*c - 5 = z for c.
-3
Let q(v) = -2*v + 1. Suppose x - 6 = -2*x - 5*a, 0 = -4*x - 5*a + 8. Let d be q(x). Let u be (-28)/d + (-1)/3. Solve 4*z - z = -u for z.
-3
Let l(f) = f - 6. Let n be l(6). Let i(r) = -r + 6 + n - 3. Let v be i(0). Solve -v*x - 2*x + 20 = 0 for x.
4
Suppose -45 = -4*g + 3*q, -4*g - 2*q - 46 = -8*g. Let n = 12 - g. Solve n = -4*a - 0 - 12 for a.
-3
Suppose 4*f - 8 = 4*v, -3*v - 6 = -2*f - 0*v. Solve 6*u - 2*u = f for u.
0
Let i be 48/456 + 452/38. Solve -u - i = -4*u for u.
4
Let d(y) = -y**2 - 11*y - 7. Let u be d(-10). Let t(x) = x**3 - 3*x**2 + 3*x + 1. Let g be t(u). Solve 0*f + 2*f = -g for f.
-5
Let j = -2 - -2. Suppose -q + 14 = 5*i - 2*i, i = 4. Solve j = 3*a - q*a - 3 for a.
3
Let v = 0 + 1. Suppose 3*t - 4*f + 11 = 0, -5*f - 3 = t - 12. Let q be (-1)/4 - t/4. Solve 0*g + g - v = q for g.
1
Let w = 1 - 1. Let j(t) = -t**2 + 3*t + 5. Let k be j(3). Solve b + w*b = k for b.
5
Suppose 3*t - 15 = -4*p - 49, 4*p + 16 = 0. Let j(a) = a - 11. Let d(k) = -2*k + 16. Let s(m) = 5*d(m) + 8*j(m). Let l be s(t). Solve -4*f - l - 12 = 0 for f.
-4
Let z = 0 + 0. Suppose -24 = h - 7*h. Solve h = -i - z for i.
-4
Let h = 58 - 55. Solve -g = -4*g + h for g.
1
Suppose 3*j - 3 = 2*j. Suppose 4*h - 4 = j*h. Solve 0*g + h = -g for g.
-4
Suppose -3*i + 0*i + 16 = 2*k, 2*k - 2*i - 6 = 0. Solve -k*y = 11 - 6 for y.
-1
Suppose -u = 3*u - 4. Suppose -v = l + u, 2*l - 2*v = -3*v - 1. Let x be 0 + 0 + 2/2. Solve x = -k - l*k for k.
-1
Let o = 90 + -69. Solve 4*s - 5 + o = 0 for s.
-4
Let j(k) = -k + 16. Let g be j(8). Let y(n) = n**3 + 7*n**2 - 9*n - 5. Let m be y(-8). Solve m*c + c = g for c.
2
Let g be (-1 - (-1 + 2))*-1. Suppose 3*r + g*r - 100 = 0. Solve r = 4*z - 0 for z.
5
Let d(z) = 2*z + 11. Let s be d(-3). Solve 7 = -s*m - 3 for m.
-2
Let x(w) be the first derivative of w**2/2 - 7*w + 1. Let z be x(7). Let s(c) = 2*c**3 - 2*c**2 - 3*c + 3. Let n be s(2). Solve 5*p + n = -z for p.
-1
Let l(d) = -d**3 + 7*d**2 - 5*d - 7. Let y be l(6). Let v be (7 - 0 - -1) + y. Let z = v - 4. Solve 2*c + c = z for c.
1
Let t(c) = c + 4. Let l be t(5). Solve -l = 2*r + r for r.
-3
Suppose -f + 2 = -0. Solve 4*x + f - 22 = 0 for x.
5
Let c be 3*-2*(-15)/9. Let v = c + -15. Let h = v + 5. Solve h - 3 = -b for b.
3
Suppose 5*y + c - 19 = y, -2*c = 2. Let l be 3/(-5 + 2) + 1. Let x be -2*(l - y/2). Solve -10 = -x*o - 0*o for o.
2
Suppose -6*h + 4*h - 5*h = 0. Solve h = x + x for x.
0
Suppose 0 = -2*f - 4*p + 20, -p + 12 = f + 2*p. Solve f*y - 2*y = 0 for y.
0
Let u be -1 - (-4 - (-1 - (-6 + 3))). Solve -r = -u + 3 for r.
2
Let v = 31 - 27. Suppose -v*k + 6*k = a + 1, -5*a + 3*k + 9 = 0. Solve -12 = -a*r - r for r.
3
Suppose 4*i + 2*x = -14, 4*i + 0*x = x - 5. Let v be 1*i/6*-6. Solve -v*f - 9 = -3 for f.
-3
Let l = 2 + -1. Let j be l*(-1)/(2/(-12)). Solve 3*f - j - 6 = 0 for f.
4
Let o = 0 + 4. Suppose -5*u + 14*u - 36 = 0. Solve -o*l + u = -0 for l.
1
Suppose 17*s - 20 = 12*s. Solve 0*o + 16 = -s*o for o.
-4
Suppose -4*u = 3*u - 28. Solve 18 = -u*j - 2 for j.
-5
Let v be (-1 - 2)*1 - -11. Suppose -12 = -v*o + 4*o. Suppose -5*f + 9*f - 50 = a, 0 = o*f - 4*a - 44. Solve s + 3*s = -f for s.
-3
Suppose p = g + 3*g + 8, 5*p - 15 = -5*g. Solve p*x + 12 = -0*x for x.
-3
Suppose 3*a = 4*s + 6, 2*a - 3 - 1 = 2*s. Solve 2*g - a = -0 for g.
1
Let j be -5 + 3 + 6/3. Solve 2*o + 8 + j = 0 for o.
-4
Suppose 0 = -2*p - 3*x + 3, -p - 4*x + 4 = -2*p. Solve 2*y = -p*y + 6 for y.
3
Let p(t) = -t**3 + 23*t**2 - 20*t - 29. Let o be p(22). Solve 7*f - 10*f + o = 0 for f.
5
Suppose -5*w + 0*d = -4*d - 24, 4 = d. Suppose -5*t - 4*q + 0 + 4 = 0, 0 = 4*t + q - 1. Solve -2*g + w + 2 = t for g.
5
Let j(w) = w**3 + 3*w**2 + w. Let r be j(-2). Suppose -t + 17 = 5*l - 13, 0 = 5*t. Let x = l - r. Solve 4*i + x = 2*i for i.
-2
Let h = 13 + -13. Suppose 7*j - 4*j = 60. Suppose 4*i = 9*i - j. Solve h = -0*y - i*y for y.
0
Suppose 4*x + u - 7 = 13, 0 = 4*u. Suppose 4*z - z + x*i + 15 = 0, 2*z - 15 = 5*i. Solve z = -k - 1 for k.
-1
Suppose 2*f + 26 = 3*w, 5*w - 8 = f + 12. Let v be ((-12)/f)/((-24)/(-80)). Suppose v*g = 2*g + 6. Solve b = 2*b + g for b.
-3
Let v(f) = f**2 + 10*f - 9. Let h be v(-11). Solve 2*q + 8 = -h for q.
-5
Let n be 7/(-3)*-3 + -2. Let z = -24 - -42. Suppose -2*f + 6 = -8. Solve z + f = -n*x for x.
-5
Let r = -17 - -29. Solve m + r = 4*m for m.
4
Let n be (-9)/(-2)*8/12. Suppose -3 = -n*p + 24. Let x be 3/18*2*p. Solve -x*s + 8 = -1 for s.
3
Let o be ((-3)/(-6))/((-2)/20). Let f be (-2)/4 +