3. Let x be a(5). Let i be 4/x - 1 - -2. Solve -v - i = 2*v for v.
-1
Let t = -5 + 8. Suppose 2*w + 7 = t*k, -2*k + 3*w - 12 = -5*k. Solve 1 = k*a - 8 for a.
3
Let t be -3 - (-2 + 12)*-1. Suppose -13 = -a - t. Solve w - 4*w = -a for w.
2
Let u = -9 + 3. Let h = 2 - u. Let q(f) = f - 4. Let g be q(h). Solve 0 = g*y - 0 + 16 for y.
-4
Let h be 14/10 - 4/10. Let x = 4 + 11. Solve 4*s = x + h for s.
4
Suppose 2*p + 10 = 3*y, 3*p + 0*p = -4*y - 15. Solve -2*z - 9 - 1 = y for z.
-5
Suppose -4*w = w - 10. Solve w*p = -0 + 10 for p.
5
Suppose 2*d - 7*d = -a + 14, -5*d = -2*a + 18. Let k(l) = 2*l - 3*l - 3*l + 6*l + 2. Let f be k(0). Solve f*r - a = 3*r for r.
-4
Let i be 2*-1*(-3)/6. Suppose l = 3*p - i, 3*p + 2*l = -0*l + 16. Let y(c) = 6*c**2 - c. Let w be y(-1). Solve w*t - 15 = p*t for t.
3
Let y(d) = d - 3. Let c be y(9). Let w(g) = -2*g. Let t be w(-1). Solve t*k + c + 0 = 0 for k.
-3
Suppose -4*o - 5 = 3*p, 6*p - 4*p + 6 = 0. Solve x = 2*x + o for x.
-1
Suppose -3*b = -5*v - 15, 8*v = 2*b + 3*v - 15. Solve -5 = -k - b*k for k.
5
Suppose 0 = 4*u - 2*u + 28. Let o be 2/u - 154/(-49). Solve c = -o*c - 8 for c.
-2
Suppose 4*w = -3*a - w + 5, -3*a - 1 = -w. Let b(l) = l**3 + l**2 + l + 5. Let x be b(a). Solve p - x = 2*p for p.
-5
Let n = -9 + -1. Let h be (-72)/(-30) - (-4)/n. Solve h = 2*i - 0 for i.
1
Let m be (3 + 0)/3 - 1. Solve y + 0*y - 4 = m for y.
4
Let z = 5 - 1. Let c(m) = m**3 + 13*m**2 - m - 10. Let d be c(-13). Let q be 2 + (-3 - (d + -7)). Solve q*u + z = u for u.
-2
Let v = 72 - 47. Solve 0 = -q - 4*q - v for q.
-5
Let f be 2/(-3) + 2/3. Let b be (-1)/2*6/(-1). Let j be ((-3)/9)/((-1)/21). Solve -b*d + j*d = f for d.
0
Suppose -3*v + 4 = c, -2*v + 7 = -3*v - 2*c. Suppose -v*q + 42 - 12 = 0. Solve -3*h - q = -5*h for h.
5
Suppose -r - 2*f + 12 = 0, -2*f - 6 = -0. Solve -3*l - r = -3 for l.
-5
Suppose 2*z - 10 = -0*z. Suppose y = z*y. Suppose -q - t = -4, 3*t = -y + 12. Solve q = -0*f - 5*f - 20 for f.
-4
Let c = -11 + 12. Solve -2*n - 3 = -c for n.
-1
Suppose 3*f - 15 = -3*m, -4*m - 3 = -f - 8. Suppose f*o = 15, 2*o - 12 = -q - 2*o. Let i = q - -9. Solve h - 3 = -i for h.
2
Let s(j) = -2*j + 6. Let f be s(-7). Let x be (-168)/f - 4/(-10). Let q be (-14)/x + (-1)/(-4). Solve 7*p - q*p + 25 = 0 for p.
-5
Suppose 20 = -5*x - 0, 0 = 2*k - 3*x - 22. Suppose k*j = 2*j + 6. Solve 0*l + j*l - 6 = 0 for l.
3
Suppose -4*b + 78 = -b. Let k = b + -15. Let f = k - 6. Solve f*p + 26 - 6 = 0 for p.
-4
Suppose -3*z = z - 12. Solve -z*o = 2*o - 5 for o.
1
Let b = 30 - 14. Suppose -b = -f - f. Solve 3*t + f = t for t.
-4
Suppose -3*m = -4*j - j + 109, 5*j = -4*m + 88. Solve 6*o = o + j for o.
4
Let i = -18 - -30. Let r(z) = -z**2 + 11*z + 14. Let q be r(i). Solve -6 = -q*g - g for g.
2
Let s = 10 - -6. Suppose 0*y = 4*b - 2*y + 24, 3*b - 2*y = -s. Let o be 4/(-5)*20/b. Solve 3*a - a + o = 0 for a.
-1
Let n(b) = -b - 5. Let k(t) = t. Let y(a) = 3*k(a) + n(a). Suppose 8 = 3*o - 4. Let l be y(o). Solve 1 = -q + l for q.
2
Let m(d) = 2*d**2 + d. Let l be m(1). Suppose -4*h - 5*y = -17, 5*h + 2*y = y + 16. Suppose 0 = -h*t - t. Solve t = x - 2 - l for x.
5
Suppose 0 = -3*a - 2*u + 13 - 5, -5*a + 4 = u. Let v be 12/(-54) - 76/(-18). Suppose a = -v*q + 16. Solve 5 = -3*i + q*i for i.
5
Let w be (-33)/(-3) + -3 + 1. Solve -2*h + w = h for h.
3
Let c be (-4)/6*84/(-8). Let k(x) = -x**2 + 9*x + 2. Let z be k(c). Suppose 0 = -14*y - 30 + 72. Solve -o - z = y*o for o.
-4
Let m be (3/(-4))/((-5)/20). Let k(h) = 4*h**3 - 4*h**2 + 2*h. Let v be k(2). Solve m*q + q = -v for q.
-5
Suppose 63 = 14*x + 21. Solve 0 = x*f + 3 - 12 for f.
3
Suppose 0 = -4*q - d + 29, q + 4 - 3 = -3*d. Suppose 14 = 5*t - 1. Solve -l + t*l - q = 0 for l.
4
Let p be 4/(-10) - 12/(-5). Solve 6 = -0*u + p*u for u.
3
Let y = -12 - 6. Let s = -12 - y. Solve s = -r - r for r.
-3
Let p(a) = a**3 + 8*a**2 - 10*a - 7. Let d be p(-9). Suppose -5*n + 3*n - 2 = -4*w, d*w - 13 = -3*n. Solve n*b + b = 0 for b.
0
Let a = -2 + 2. Suppose -4*s + 0*s = a. Solve n + 3 + 2 = s for n.
-5
Let n = 15 + -7. Let d(w) = -w + 9. Let u be d(n). Let o(v) = 12*v**2 + v - 1. Let a be o(u). Solve -4*t - a = -0*t for t.
-3
Suppose -3 = -2*x - x. Suppose -v + 4 = -x. Solve -v + 0 = -d for d.
5
Let h(n) = -n**3 + 8*n**2 - n + 11. Let x be h(8). Solve x*w + 0*w = -3 for w.
-1
Let g(k) = -k**2 - 9*k - 5. Let a be g(-7). Let u be 4/4 + a + 1. Suppose -2*r - 5*o + 8 + u = 0, -o - 6 = -r. Solve 3*q + 4 = r*q for q.
1
Let r be (-2)/(-4) + 321/6. Let k be 0 + r/((-6)/(-2)). Solve 2 + k = 4*t for t.
5
Let o(w) = -7*w + 5 + w**3 + 6*w**2 + 2*w - w**2. Let g be o(-6). Let z be (-3 - -2)/(g/8). Solve -z = 5*m - 23 for m.
3
Suppose 2*b - x - 5 = 0, 0 + 3 = -x. Solve 3 = 4*j - b for j.
1
Let q = -7 - -12. Let r be (-6)/(-10) + 2/q. Solve 0 = 4*g - r - 15 for g.
4
Suppose 11*v - 15 = 18. Solve x = 4*x + v for x.
-1
Suppose 9*w = 4*w - 10. Let b(m) = -2*m**3 + 3*m**2 + 3*m + 1. Let t be b(w). Suppose -t = -5*c - 8. Solve -c*l = -l + 2 for l.
-1
Let z be (0 - 1) + -3 + 4. Suppose z = 5*u - 2*u. Solve u = -i - i - 6 for i.
-3
Let g be ((-1)/2)/(1/(-10)). Solve g - 1 = -2*v for v.
-2
Let v be 1/(-4) + 9/4. Suppose 2*k - v = 8. Solve 0 = -7*r + 2*r + k for r.
1
Let t(z) be the third derivative of -z**4/12 - 2*z**3/3 + 3*z**2. Let p be t(-3). Solve -p*m + 0 + 8 = 0 for m.
4
Suppose -3*n + 5*n = -6. Let q be (-14)/n - 2/3. Solve 3*g = q*g for g.
0
Let k = 71 - 66. Let m(o) = -3 + 1 + 7 - o. Let z be m(5). Solve z*n = 5*n + k for n.
-1
Let k be (-2 + -4 + 10)*1. Solve -k*i + 8 = -0*i for i.
2
Let k(w) = -w + 4. Let o be k(-4). Suppose -6*p = -2*p - o. Solve 2*b - 4 = -p for b.
1
Let f(b) = b**3 + 4*b**2 + 4*b + 3. Let j be f(-2). Let d be 1*j/(-6)*-22. Let p = d + -5. Solve -p*q = -3*q for q.
0
Suppose 5*f - 9 = -2*x, -4*f + 3*x - 4 = -2. Solve 0 = 2*z - f - 3 for z.
2
Suppose n + b = 9, -3*n + 4*b + 48 = -0*b. Solve 0 = -5*m - 37 + n for m.
-5
Suppose q + 3*q - 36 = 0. Let g = q + -1. Solve 3*h - 7 - g = 0 for h.
5
Suppose g + 2*g - 18 = 0. Let h(o) = -o**3 + 7*o**2 - 5*o - 1. Let v be h(g). Solve 0*y = v*y for y.
0
Suppose 5*n = 2*w + 20, 3*w - 2*n + 4 = -n. Let h be 0/(-3) + w + 2. Let y = -1 - -3. Solve -y*r - h*r = -12 for r.
3
Suppose 0 = -4*u - 75 + 123. Solve h - u = 4*h for h.
-4
Suppose 0 = 15*i + 4*i. Solve -k - 2 = -i for k.
-2
Suppose -4*p + 3*d = 1 + 2, -3*d = -2*p - 3. Let r be (-130)/2 + p + 1. Let w be r/(-6) + (-4)/6. Solve 3*g - g - w = 0 for g.
5
Let z = 7 + -4. Let l be 18/10 - 2/(-10). Solve z*h = -4 - l for h.
-2
Suppose q - 2*p - 24 = 0, q + 3*p = p + 4. Let y = 4 - 2. Let b = 5 - y. Solve -b*l - 1 - q = 0 for l.
-5
Let s = -12 - -14. Suppose -s*b = 3 - 11. Solve b*t - 8 = 2*t for t.
4
Suppose 10 = 5*p + l - 11, -4*p + 4*l + 12 = 0. Solve p = d - 0*d for d.
4
Let n(v) = 3*v - 10. Let d be n(4). Solve 0 = d*l + 3 - 7 for l.
2
Suppose 4*j + 5 = 13. Suppose 24 = u + 2*u. Solve 0*b = -j*b + u for b.
4
Let v = 70 - 66. Suppose 2*n - 10 = -3*n. Solve n*f = v*f - 4 for f.
2
Let n = -13 + 19. Solve -n*w + w + 5 = 0 for w.
1
Suppose 2*g - 4*j = -7*j - 3, -4*g - 3*j + 3 = 0. Let d(x) = g + x - 3 + 3. Let p be d(0). Solve -p*i + 5 + 1 = 0 for i.
2
Let x = -4 + 6. Solve -x*n = -0*n - 2 for n.
1
Let b be (-1 + -2)/(3/4). Let c = b - -7. Suppose 3*j - 48 + 18 = 0. Solve -c*v = -v - j for v.
5
Suppose -14 - 8 = -11*w. Solve -3*u = -4*u + w for u.
2
Let h(m) be the first derivative of -m**3/3 - 5*m**2/2 + 2*m + 2. Let l be h(-4). Solve -3*y + 3 = -l for y.
3
Let a be 710/30 - 1/(-3). Suppose -5*u + a = o, -u + 5 = 1. Solve -l + o*l + 3 = 0 for l.
-1
Let p(o) = o**2 + 5*o - 4. Let j be p(-6). Suppose -y + j = -1. Solve t + y*t = 0 for t.
0
Let i be (-2)/(-12) - 2299/(-66). Solve -i + 10 = 5*t for t.
-5
Suppose 2*b = -0*b - 4. Let n(s) = -s**2 - s + 2. Let h be n(b). Solve h = -0*z + 2*z - 10 for z.
5
Let j(z) = 3*z + 8. Let u be j(6). Suppose 5*r - 1 = 19. Suppose -13 = -5*s + 5*m + 27, -5*s = -r*m - 42. Solve u = 4*y + s for y.
4
Suppose 0*z + 12 = 3*z. Suppose 3*j = -3*i + 6, -3*i = -i + 3*j - z. Solve i*l + 12 = -l for l.
-4
Let l be (-18)/(9/(-24)*-4). Let c(r) = r + 16. Let s be c(l). Let p = s - 2. Solve -p*i = -3*i - 4 for i.
-4
Let c be (-5)/(((-2)/6)/1). Let d be 5 + c - 2/2. Solve 4*k = -d - 1 for k.
-5
Suppose 2*q + 7 - 1 = 0