 -70 = -5*d - 5*z, z = d + 5*z - 14. Solve j*f - d = -2 for f.
3
Let x be 10/45 + (-2)/9. Suppose 2*q = -x*q + 16. Suppose 4*u = 3*z - 31, 2*z + 32 = 6*z - 3*u. Solve 33 = z*j + q for j.
5
Let k(w) = w**2 - 2*w - 4. Let a be k(4). Suppose 4*x = 4*f + a - 16, -6 = -f + 2*x. Solve -8*h + 3*h + 5 = f for h.
1
Suppose t + 36 - 36 = 0. Solve t = -a + 2 - 0 for a.
2
Let u be (2/2 - 3)/((-4)/8). Solve f = -u*f - 20 for f.
-4
Let p(o) = -o**3 + 2*o**2 + o + 17. Let i be p(0). Solve -3*m + i = 5 for m.
4
Let i(o) = o**2 + 12*o - 20. Let d be i(-14). Solve 0*g = -4*g + d for g.
2
Suppose -2*w + w = -2. Solve -p = -w*p + 4 for p.
4
Let i(b) be the second derivative of b**4/12 + b**3/6 - b. Let v be i(0). Solve m + 3 - 1 = v for m.
-2
Suppose 5*p = 8 + 32. Solve 4*a + 4 = -p for a.
-3
Suppose 0 = -5*i - 40 + 150. Solve 2 - i = -5*y for y.
4
Suppose 0 + 2 = -x - 3*l, 0 = -5*x - l + 18. Suppose 5*h = -5*c - 5, -h = 3*c + 1 - x. Suppose 0*t - 12 = -4*t. Solve 0 = t*k - c*k - 2 for k.
2
Let i = 4 + -5. Let h = -11 - -8. Let t = i - h. Solve t*o - 12 = -o for o.
4
Suppose -2*a = -4 - 4. Suppose 11 - 3 = a*w. Solve w*x - 10 = 4*x for x.
-5
Let g(t) = t**2 + 8*t - 7. Let f be ((-6)/4)/((-7)/(-42)). Let j be g(f). Solve 0 = -4*b + 10 + j for b.
3
Let i be -6*(68/(-12) - -3). Solve -2*s + 6*s = i for s.
4
Let k be 415/20 - (-1)/4. Solve k = 5*p + 1 for p.
4
Suppose 0 = 3*p + 4*p - 7. Solve z - p = -6 for z.
-5
Let y = -180 - -183. Suppose 0*f = 3*f. Let d be (-12)/(-2) - (2 + f). Solve y = -d*p + 3*p for p.
-3
Let d(z) = 4*z**2 - 3*z. Let f(h) = -9*h**2 + 7*h. Let j(v) = 7*d(v) + 3*f(v). Let x be j(-2). Solve -x*p + 5 = 25 for p.
-5
Let h be 4 + (-2)/2 + 1. Let r be h/14 - 26/(-7). Let i(v) = -v**3 + 4*v**2 - 3*v. Let f be i(3). Solve f = -9*t + r*t - 15 for t.
-3
Let s be (-18)/(-81) + 808/9. Suppose 18 - s = -4*u. Let z(r) = -r + 8. Let b be z(0). Solve 2*v + u = b for v.
-5
Suppose -2*a + 8 = -4*a. Let l = a - -8. Suppose -b + l = b. Solve -k = -b*k for k.
0
Suppose 6 = 2*u - 0. Let x(d) = -2*d + 6. Let z be x(u). Solve 6*s - s = z for s.
0
Suppose 6*k - 2*k = -16. Suppose -3*w + 17 = 53. Let v = k - w. Solve 4*x = v*x for x.
0
Let n(b) = -b**3 + 6*b**2 + 6*b + 8. Let m be n(7). Let l be 10 + -3*1/m. Solve -l*v + 8 = -3*v for v.
2
Let q(z) = -z**2 + 8*z + 13. Let y be q(9). Suppose y*g - 4 = 2*v, -5*g + 5 = -4*v + 3. Solve -7 - 3 = v*d for d.
-5
Suppose 0 + 0 = -6*z. Solve 0 = -z*w + w - 3 for w.
3
Let h be (-18)/5*(-50)/30. Solve a - h = -2 for a.
4
Let l(j) = j**3 + 6*j**2 - j - 6. Let m be l(-6). Let a be m - (-3)/2*2. Suppose -5*s = -a*b - 35, -4*s + 28 = 4*b - b. Solve 2*w + s = 1 for w.
-3
Let g = 8 + -2. Suppose -3*z - g = -a, -3*a - z - 10 = 4*z. Solve a = 5*y + 12 + 13 for y.
-5
Let y = 6 - 6. Suppose 4*u + 11 - 91 = y. Suppose -n - n + w = -2, 6 = -n - 3*w. Solve -u = -n*q + 5*q for q.
-4
Let p = -6 + 11. Suppose 5*k + 17 + 3 = 0, 0 = -a - p*k - 2. Suppose a = 2*g + 2. Solve 3*w - g = 7*w for w.
-2
Let k = 23 - 14. Let f = 29 - k. Suppose -h = -6*h + f. Solve c = -c + h for c.
2
Let a be (32/(-6))/(2/(-6)). Let q = 11 - 8. Solve q*p + p = -a for p.
-4
Suppose 18 = 5*x + 3. Let h = 5 + x. Let g be 6/4*4/3. Solve 3*s + g - h = 0 for s.
2
Let n = 0 + 3. Solve n*h + 0 = -3 for h.
-1
Let m(o) = o**3 + 4*o**2 + o - 4. Let g be m(-3). Suppose 0 = g*d - 3*d. Let t be 10 - (0 - (4 + -2)). Solve d = -b - 2*b - t for b.
-4
Let s(t) = t**3 + 14*t**2 + 14*t + 15. Let p be s(-13). Let q be -6 - 1 - 6/(-3). Let d be (-3 + 3 - q)*3. Solve -p*x = 3*x - d for x.
3
Suppose 4*i - 5*i - 14 = 5*s, 4*i - 16 = 4*s. Solve 4*q + 7 = -i for q.
-2
Let h be (-3)/(-3) - (1 + 16). Let c = 24 + h. Solve -3*y + 7*y = -c for y.
-2
Suppose -2*g + 6*g - 24 = 0. Let r be 13*-2*3/g. Let y be r/(-3) + (-1)/3. Solve 0 = -5*j + 3*j - y for j.
-2
Let z(d) = -d**3 - 5*d**2 + 4*d - 7. Let n(j) be the second derivative of j**4/12 - 3*j**2 + 3*j. Let q be n(0). Let w be z(q). Solve 7*i - w*i = 0 for i.
0
Let a(h) = 9*h - 36. Let d be a(4). Solve d = 2*q - 0*q + 8 for q.
-4
Let x(o) = 2*o + 14. Let t be x(-6). Let q be -2*-4*(-8)/(-2). Let p be t/(-7) - q/(-14). Solve -p - 1 = -f for f.
3
Suppose -5*f = -4*n + 140, 4*n + 29 = -3*f + 201. Let p be -2 - (n - 0)/(-2). Solve -2 + p = -4*c for c.
-4
Suppose 12 = 5*n - 8. Let w = 127 - 122. Solve w*z = z - n for z.
-1
Let u be ((-2)/(-4) - -1)*2. Suppose -3*y = -4*z + y + 84, -z = -4*y - 36. Solve m = -u*m + z for m.
4
Let t(p) = p**2 + 26. Let o be t(0). Suppose 0 = -3*c + 2*u + 58, 0*c = -c + 2*u + o. Suppose c = 5*w + 1. Solve -4*f + w*f - 1 = 0 for f.
-1
Let p = -11 + 18. Let m = p - 4. Solve -2*w - m*w = 15 for w.
-3
Let s be (5 - 0)*24/30. Solve -5*b - 24 + s = 0 for b.
-4
Let h be 2/(-6) + (-204)/(-18). Solve -h = -3*w - 2 for w.
3
Let f(t) = t**2 - 3*t - 4. Let q be 0 + -1 + 4 + 1. Let d be f(q). Solve d*i = i for i.
0
Suppose 4*b - 7 - 19 = -2*l, 3*l + 3*b = 24. Suppose 5*s + 0*h = -2*h + 23, s - 15 = -l*h. Suppose 0 = s*r - 50 - 46. Solve 5*z = 7 - r for z.
-5
Let b be 3/(-15) - 0 - 2/(-10). Solve b*u - 4 = u for u.
-4
Suppose -5*b - 2*i - 5 = 3*i, 2*b - 5*i = -2. Let u = b - -5. Solve -16 = -0*n - u*n for n.
4
Let p = -4 + 16. Let k be (0*3/p)/(-2). Solve t + 2 + 1 = k for t.
-3
Suppose 2*i + 2 = 3*j, 5*j - 1 = 4*i + 1. Solve 0 = j*c - 5 - 5 for c.
5
Let g = 7 - 2. Let v(d) = 2*d**2 + 1. Let l be v(-1). Suppose -4*y + l = -g. Solve y*m + 5 = m for m.
-5
Let w = 2 + 6. Solve 0 = -5*u - 7 - w for u.
-3
Let v = 21 - 4. Suppose 3*t = 7*t - 20. Solve -t*y = v + 3 for y.
-4
Suppose -3*f = -0*f - 12. Suppose 16 + 24 = f*k. Let l = -10 + k. Solve -2*v + 7*v = l for v.
0
Let n(h) = 3*h**2 + 3*h + 1. Let t be n(-3). Solve -3*q + t - 4 = 0 for q.
5
Let s = 3 - -7. Solve 0*p + 2*p - s = 0 for p.
5
Let p be (-9)/(-6)*(-4)/6. Let y be (-5)/((0 - -1)/p). Suppose -9 = y*j - 39. Solve j*c - 6 = 4*c for c.
3
Suppose 0 = 2*b - 3*b - 28. Let r(h) = -h + 19. Let t be r(11). Let p be t/b + 16/7. Solve -2 = p*x - 8 for x.
3
Let z be (1 + -4)/(-3) - -7. Let l be -5 + z - 2/2. Solve j - l*j = 5 for j.
-5
Suppose 0 = 3*i + 4*z + 20, -3*i + 2*z = -z - 15. Solve i*b = -3*b - 9 for b.
-3
Let h(c) = 3*c**2. Let w be h(-1). Suppose 3*v + 0 - 12 = 0. Let u be 1 + (-20)/(8/(-4)). Solve 0 = w*r - v - u for r.
5
Suppose -a = -k - 10, -4*a = -9*a - 5*k. Solve 0*b + a*b = 10 for b.
2
Let t(q) = -q**2 + 1. Let w be ((-2)/6)/((-2)/(-6)). Let a be t(w). Let i = 7 + -3. Solve a*y - 20 = -i*y for y.
5
Let r = -5 - -9. Solve -r = 4*n - 12 for n.
2
Let h = 5 - 3. Suppose -2*f - 2*z + 10 = -f, -3*f = -h*z + 10. Solve 2*d + f*d = -10 for d.
-5
Suppose 0 = 4*x - x + 21. Let a = x - -9. Let w be (18/(-8))/((-6)/16). Solve 4*y - a*y = w for y.
3
Suppose 2*b = 5 + 1. Suppose -b*s + 12 = -0. Solve -s*g + 5 = g for g.
1
Suppose -5*q + 10 = -4*q. Suppose 0 = -2*t + q + 8. Suppose 3*n = 24 + t. Solve n + 9 = 4*w for w.
5
Suppose -m - 2*o - 2*o = 4, m - o = 6. Suppose 2*h = -3*p + 5, 4*p - 2*h - 20 = 2*h. Suppose 0*q + q - 2 = -p*g, 4*q = g + 8. Solve -m = q*b - 0*b for b.
-2
Suppose 3*x + 20 = 4*x. Suppose 2*o - 6 = 4*o. Let l = 1 - o. Solve h = -l*h + x for h.
4
Let a = -12 + 14. Suppose a*c - 12 = -c. Solve c*q - 5 = 11 for q.
4
Suppose 5*g + 0 = 4*n + 5, 5*n + 31 = -2*g. Let x be (-7)/(-3) - 2/g. Solve 0 = -4*q + q + x for q.
1
Suppose -4*k - 7 + 15 = 0. Solve 0 = k*y - 0 - 2 for y.
1
Suppose -c + 11 = 2. Suppose -c = 2*d + d. Let j be 1/d - (-26)/6. Solve j*l = 3 - 15 for l.
-3
Let m = -11 - -19. Solve m = -f + 5*f for f.
2
Let x be (-2)/3*3/2. Let y be (x - 1) + (-42)/(-6). Solve 3*b - y = 4 for b.
3
Suppose -3*a = 5*f - 42, 6*f - 2*f - 12 = 3*a. Solve -f = -t + 4*t for t.
-2
Let g(t) = -t**2 - 6*t. Let p be g(-7). Let l = 8 + p. Solve 6 = 5*h + l for h.
1
Suppose 2*a = -a + 3. Solve -1 = s + a for s.
-2
Suppose 0 = -2*p - 11*p + 52. Solve 3*z - p = z for z.
2
Let x = -31 + 31. Solve 0 = 2*w - x*w for w.
0
Let r = 1 + 5. Let n be (4 - (2 - -1))*r. Solve -5*x = -n - 4 for x.
2
Suppose 29 + 1 = 5*y. Suppose -d - 25 = -y*d. Solve d*o = -3 - 2 for o.
-1
Suppose 2*d + 0*r + 3*r - 1 = 0, 0 = -4*d - 2*r + 14. Suppose d*u - u = 0. Solve -15 = -u*c + 5*c for c.
-3
Let i = 29 - 29. Solve -q - q - 6 = i for q.
-3
Suppose 0 = 5*j - 0*j. Let d = -7 - -8. Suppose -15 = -2*o + 3*n + d, 5*o + n = 23. 