 3). Let a be i/(-12) + (-10)/3. Let r = a - -3. Solve r = -7*k + 4*k + 12 for k.
4
Suppose 0 = -0*a + a - 50. Suppose -f + 6*f = -4*n + a, -2*n - 10 = -f. Suppose 0 = -2*h - 2*h. Solve h = 5*c - f for c.
2
Let y be 0 + (-1 + 0)/(-1). Let j(t) = 2*t + 10. Let x be j(-8). Let b = -2 - x. Solve -b*h + 3 + y = 0 for h.
1
Let n be 1/(10/(-11) - -1). Suppose -3*a = -n - 7. Solve -3*q = a - 0 for q.
-2
Let b(k) = 2*k**2 - 4*k - 10. Let c be b(7). Suppose -2*l = -6*l + c. Solve -5*g + 0*g = l for g.
-3
Suppose -2*p + 11 = 1. Suppose 5*h + 10 = -4*g, 5*h + 5*g + 10 = -p. Suppose o + 0 = h. Solve -4*f = -o*f for f.
0
Let m be (-20)/35 - (-95)/7. Solve 5*x = m + 12 for x.
5
Let z(c) = 7*c - c**3 + 5 - 1 + 0 + 6*c**2. Let b be z(7). Solve 0 = -b*x - x for x.
0
Let v(d) = -d**3 + 24*d**2 + 24*d + 47. Let y be v(25). Solve 5*u + 3 + y = 0 for u.
-5
Suppose 4*u + 1 = -3*g + 7, 0 = -4*u + 3*g + 18. Solve u*f + 3 = -3 for f.
-2
Let z = -14 + 16. Suppose a + 22 = u - 6*u, 0 = 3*a + u - 4. Suppose s + 1 = h, 14 = z*h + s + a*s. Solve 2*b = h*b for b.
0
Suppose 0 = 2*n + 4*l - 0*l - 22, 5*l = -3*n + 29. Solve n*q - 1 = 2 for q.
1
Let a = -3 - -11. Suppose 4*b - 6 = 2. Let u be (-3)/(b/(-1) - -1). Solve -u*l - a = 4 for l.
-4
Let k(p) = p**3 + 4*p**2 + p + 7. Let l be k(-4). Solve 0 = 4*r + l + 5 for r.
-2
Let y be 0/3 + (-9)/(-3). Suppose y*z = 5*d - 3*d - 4, z = -d + 2. Solve z = -3*p - 5 + 2 for p.
-1
Suppose -2*u + 3*l - 12 = -3*u, 0 = 4*u - 4*l - 80. Solve -u = -4*t - 6 for t.
3
Let f(v) = v**3 + 5*v**2 - 2*v - 4. Let c = 5 + -10. Let z be f(c). Solve -2*g - z = -5*g for g.
2
Let t(d) = 2*d**2 + 12*d - 10. Let h be t(-7). Solve -27 = -h*y - 7 for y.
5
Let p = -12 - -12. Solve p = -d - d + 4 for d.
2
Suppose 4*g = -20, 23 + 4 = u - 5*g. Solve -u*l + 7*l = 25 for l.
5
Let x be 3/(-15) + 46/5. Let d = x - 4. Suppose -2*v = 4*s - 3*v - 9, 0 = 3*s + v - d. Solve s*y = -0*y for y.
0
Suppose 0 = 4*n - 6*n + o + 43, -3*n = 4*o - 81. Solve 0 = 5*u + n - 8 for u.
-3
Suppose -4*p - u + 0*u + 9 = 0, -4*p + 3*u = -5. Let r be 1*(9 + -1 + p). Suppose 5*y = 20, -3*y = -k - 12 + 2. Solve r = -4*n + k*n for n.
-5
Suppose s = 2*m - 4*s + 2, 0 = -2*m + 4*s. Solve 0 = m*j - 0*j - 4 for j.
1
Let j be (2/8)/((-20)/(-880)). Solve -3*b - j = -2 for b.
-3
Let f be 1*5 + -1 + -1. Let c(a) = 2*a**3 + 2*a**2 - 1. Let d be c(1). Solve 0 = 4*p - d*p - f for p.
3
Let r be 12/(-42) + 4/14. Solve r = k - 0*k for k.
0
Suppose -3*d - 2*d = 0. Let z(u) = -2*u - 13. Let w(v) = v + 7. Let m(y) = 5*w(y) + 2*z(y). Let i be m(0). Solve d*g + i = 3*g for g.
3
Suppose -x + 0 + 6 = 0. Solve x = -5*a - 14 for a.
-4
Let t(y) = y - 9. Suppose 3*p - 51 = -4*b, -4*p - 19 = -4*b - 3. Let r be t(b). Solve r*h = -3*h + 9 for h.
3
Let l be (1 + 0)*20/4. Suppose l + 13 = 3*c. Suppose c*m - m = 0. Solve m = -2*s + s + 4 for s.
4
Suppose 4*u = 8 + 4. Solve -u*a + 3 + 0 = 0 for a.
1
Let r(q) = 3*q**2. Let u be r(1). Suppose -1 = -n + 1. Suppose 0 = -u*w + 2*t + 19, w + n*t = -t - 12. Solve 20 = -o - w*o for o.
-5
Let p be 41 - (3 - 4 - 2). Suppose -5*a + m = -p, m + 29 + 6 = 4*a. Solve -3*f + 3 - a = 0 for f.
-2
Suppose -2*d + 4*o + 50 = 0, 2*d - 2*o + 25 = 3*d. Solve 5*j - d = -0*j for j.
5
Let g be (6 - 5)*2/((-6)/(-15)). Solve g*b + 20 = b for b.
-5
Let k be 50*((-24)/(-15))/4. Let u = k + -32. Let o be (u/(-10))/(4/30). Solve -y - o = -4 for y.
-5
Let c(l) = l**3 - 6*l**2 - 6*l - 5. Let k be c(7). Let s be -1*(0 - (6 + k)). Let o = -4 + s. Solve o = p - 0 for p.
4
Suppose -73*l = -77*l + 8. Let g = 1 + -1. Solve g - 6 = l*k for k.
-3
Let o(a) = -a**2 + a + 24. Let n be o(-4). Solve -6*g = -n*g - 2 for g.
1
Let b be ((-2)/(-6))/((-3)/(-18)). Solve b*d = 3*d for d.
0
Let u = 12 + -10. Let c be u + -2 + 2 - -2. Solve c*d + 6 + 2 = 0 for d.
-2
Let m(b) = -b**2 + 15*b - 19. Let d be m(13). Solve 3*l = -d - 5 for l.
-4
Let t = 4 - 1. Suppose -2*g + x = -3 + 30, 3*g + 42 = t*x. Let o = -1 - g. Solve -2*p - p = -o for p.
4
Let z be -1 + 1 - 0 - -12. Solve -k = 3*k - z for k.
3
Let n = 11 + -7. Let y be (1 - (-15 - 2))/1. Suppose 9*t = 11*t - y. Solve -z - t = -n for z.
-5
Let u = 8 + 7. Suppose -u = -2*d + 3*j, -4*j + 2*j = -d + 10. Let b(a) = -2*a. Let p be b(-3). Solve -4*h + 18 - p = d for h.
3
Let x(g) = -g**3 + 6*g**2 - 3*g - 5. Let t be x(5). Suppose -45 = -q - t*i, -4 = q - 5*i + 1. Solve -u - 3*u = -q for u.
5
Suppose -4*n = -2*n. Solve n*d - 3*d = 15 for d.
-5
Suppose -3*z = t - z + 8, -z - 5 = 0. Solve 4 = -k + t*k for k.
4
Let j = 52 - 50. Solve 2 = -j*z + 3*z for z.
2
Suppose 3*f + 3 - 9 = 0. Let t(d) = -d + 2. Let j be t(f). Solve j = -3*w + 2*w - 5 for w.
-5
Let a = 4 - 3. Let w = 4 - a. Suppose -j + w = -2. Solve -5*o = -j - 15 for o.
4
Suppose -3 = 3*m - 18. Solve 0*a - m = -a for a.
5
Suppose -3*s = -s. Let m be 3 + (s - 2) + 3. Solve 0 = -c + 2*c - m for c.
4
Let c be 3 - 1*0/(-2). Solve -3*i = -3 - c for i.
2
Suppose -3*z - 2*l = z + 30, -l = -5*z - 27. Let s be 3*(z/(-9) - -1). Solve -s*t = -18 - 7 for t.
5
Let k(a) = a - 4. Let d be k(6). Let q be d/(-1) + 6 + 3. Solve -20 = -q*b + 2*b for b.
4
Suppose -2*l = -7*l. Suppose -5 = -z + 4*z - 4*s, 0 = 2*z - 2*s. Suppose 2*t = 5*x - 9, z*t - 4*t = -2. Solve j - x = -l*j for j.
1
Suppose 5*l - 3*i - 22 = -0*l, 16 = -4*i. Let g = 18 - l. Solve g = 3*z + z for z.
4
Suppose 0 = -3*j + 6 + 15. Solve -j + 3 = -2*t for t.
2
Let f(l) = -2*l + 6. Let c be f(7). Let y = 9 + c. Let k be (12/9)/(y/3). Solve -9 = k*w - w for w.
-3
Suppose -2*i + 4 + 36 = 2*q, q - 4*i = 20. Let m(v) = -v**3 - v**2 + 1. Let y be m(-2). Suppose -15 = -y*u - 5. Solve u*l + 3*l - q = 0 for l.
4
Let m(x) = x - 4. Let b be m(6). Suppose -2*y = 3*y - 10. Suppose 3 + y = l. Solve 3*r + l = b for r.
-1
Suppose 5*j - 122 - 38 = 0. Solve j - 12 = -4*k for k.
-5
Suppose 0 = v - 0*v + 2*k - 13, 4*v - 4*k = 4. Solve v*q = 5 + 10 for q.
3
Let z = 0 - -7. Let v(c) = c**2 + 4. Let t be v(0). Let f = -15 + 24. Solve z*q + f = t*q for q.
-3
Let s = 16 - 8. Solve 5 = -9*g + s*g for g.
-5
Let b(v) be the second derivative of -v**5/20 - 5*v**4/12 - 5*v**3/6 + 2*v**2 - 4*v. Let t be b(-4). Suppose -3*n + t*n = 25. Solve u + n = 1 for u.
-4
Let v = 4 + -4. Suppose n = 3 - v. Solve j + n + 0 = 0 for j.
-3
Let d be 130/(-6) - 8/(-12). Let z be (-24)/(-14) - 6/d. Solve b = z*b for b.
0
Let m be (-12)/(-3 - -3 - 1). Solve -5*h = -2*h + m for h.
-4
Let v = 13 - 11. Let l = 3 - 1. Let x = l + -2. Solve x = -w + v*w for w.
0
Suppose 0 = 3*g + 2*g + 15. Let m be 1/g + (-30)/(-9). Suppose -s - m*k - 1 = 3, 4*s - 2*k = 12. Solve -3*t = s*t for t.
0
Let q(n) = n**3 + n**2 - 3*n + 1. Let l be q(0). Solve 9 = 4*w + l for w.
2
Let n be 2/(-5) + -6*(-27)/30. Solve 16 = k - n*k for k.
-4
Let w be -3 - -2*3/(-6). Let n(l) = 10*l**2 - l - 1. Let s be n(-1). Let v = s + w. Solve 0 = 3*m - v + 18 for m.
-4
Let l be (-8)/(-14)*(-7)/(-1). Solve -c = c + l for c.
-2
Suppose 5*b = q - 2*q + 31, -4*b = 3*q - 27. Suppose -h - 2*h - 5 = -d, d - 4*h - b = 0. Let z be (0 - 0 - d)*-2. Solve z*a = 2*a + 6 for a.
3
Suppose -2*o + j + 13 = 0, -j + 3*j + 1 = -o. Solve -o*z + 6*z - 3 = 0 for z.
3
Let b be 2 - (-1 + -14)/3. Solve -4*i = -b*i - 6 for i.
-2
Suppose -q - q = -18. Suppose 4*z + 10 = q*z. Solve 0 = s - z*s - 5 for s.
-5
Suppose n = -3*g - 2*n + 12, -2*n = -2*g. Suppose h = -d - g*d + 4, 0 = d + 5*h + 8. Solve -d*b + 3*b = 0 for b.
0
Let p be (-2)/(-6)*(4 + -10). Let b be -4 + (-7)/2*p. Solve b*w = 2*w + 1 for w.
1
Let a be 3*(0 - -3)/9. Let b = a - 1. Suppose 0*q + 2*h = 3*q - 10, b = 4*q - 5*h - 11. Solve z + z = -q for z.
-2
Let h be 5*2*1/2. Suppose 2*x - 2 = 0, -h*q + 4*x + 6 = 5*x. Solve -2 = t - q for t.
-1
Let u be (-144)/12*14/(-4). Solve -17 = 5*i - u for i.
5
Let w be (-8)/(-7)*70/20. Solve -w*u + 1 - 5 = 0 for u.
-1
Let p(g) = g**2 - 17*g - 18. Let c be p(18). Solve c = -3*y - 15 for y.
-5
Let c be (-2)/(-8) + (-18)/(-24). Solve 0 = 4*q - 7 - c for q.
2
Let k(i) = i**2 + 17*i + 46. Let v be k(-14). Suppose -12 = -5*o + 3*o. Solve -z + o = -v*z for z.
-2
Let g(l) = -l - 3. Let q be g(-3). Solve 0 = -q*w - 5*w for w.
0
Suppose 3*k + 3*y + 3 = 0, 2*y + 0 = -2. Solve r - 3 = -k for r.
3
Let a be ((-2)/(-3))/(4/24). Suppose 3 + 1 = a*w. Solve -n + 2 = w for n.
1
Suppose -2*z = -3*h + 6, -2*z + 0 = -4*h + 6. Solve -6*v 