 3. Let a be b(-3). Let r = -6 + 2. Let v be (0 + r)/(4/a). Solve v = 2*c - 0 for c.
3
Let q(g) = 2 - 3*g + 4*g + 0 - 3*g. Let u be q(0). Solve -u*t = t + 3 for t.
-1
Suppose 2*a + 4 + 8 = 0. Let x = -14 + a. Let c be (-75)/x + 1/4. Solve -c*v + 3 = -5 for v.
2
Let n = 6 - -5. Solve 1 = 3*w - n for w.
4
Suppose 2*g - 6 = 6. Solve g = k + k for k.
3
Let b be 0*(5/(-2))/5. Let l(a) = a**2 + b*a + 2*a + 2*a. Let v be l(-5). Solve 1 = -x + v for x.
4
Suppose -3*t + 73 = -62. Suppose -3*v = 2*v - t. Suppose 2*k - v = -3. Solve q = -k*q for q.
0
Suppose -5*j + 0*j + 65 = 0. Let x = j - -12. Solve -x = q + 4*q for q.
-5
Let w(s) = s**3 + 3*s**2 - 4*s + 5. Let u be w(-4). Suppose -1 = -3*g + u. Solve g*n = 3*n + 3 for n.
-3
Let z be (20/7)/(2/7). Solve -o - z = o for o.
-5
Suppose -8 = o - 11. Solve -2*x + 1 - o = 0 for x.
-1
Suppose -4*h = -p - 17 + 5, 14 = 3*h - 2*p. Solve h*n - 20 = 6*n for n.
-5
Suppose -3*r + 15 - 3 = 0. Let m(s) = -s**3 + 3*s**2 + 5*s. Let k be m(r). Solve -k*x = x for x.
0
Let t be (-1)/(2*4/(-24)). Solve h - 4 = t*h for h.
-2
Suppose -2 - 10 = -2*a. Solve -a = y + 2*y for y.
-2
Let u(l) be the second derivative of l**5/4 - l**4/6 + l**3/3 - l**2/2 + 3*l. Let z be u(1). Solve 0 = z*q + 2 - 14 for q.
3
Suppose 18*n - 2*n = 160. Solve -5*d + 0 - n = 0 for d.
-2
Let j(u) = -2*u - 4. Let m be j(-7). Let w = 4 + m. Let i be 8/12 + w/6. Solve -i*q + 6 = -q for q.
3
Let b be (2/6)/(2/18). Solve s + b*s - 16 = 0 for s.
4
Let a = 65 - 48. Solve -4*c + 1 - a = 0 for c.
-4
Suppose o - 4*o = -9. Let n(u) = u**2 + 2*u - 1. Let b be n(-3). Solve -p + b*p = o for p.
3
Let n be (-1)/(-6) - (-46)/12. Suppose 2*c + 5*t + 5 + 5 = 0, -5*c - 10 = 5*t. Solve 2*h + 0*h - n = c for h.
2
Let u(n) be the second derivative of -n**5/40 - n**4/24 - n**3/3 + 2*n. Let q(d) be the second derivative of u(d). Let c be q(-3). Solve c = -4*o + 24 for o.
4
Let f be (0/(-1))/(0 + 1). Let g be (0 - f)/((-6)/6). Suppose g = c - 22 + 2. Solve 7*a - 3*a + c = 0 for a.
-5
Let u = 15 - 9. Solve 0 = k + k - u for k.
3
Let j be (5/(-2) + 2)*0. Let k be 7 - (-2)/(-4)*j. Suppose y = 8 - 3. Solve -y*q + 13 = -k for q.
4
Suppose 27 = w - 4*s - 1, -3*w - 2*s = -56. Suppose 3*d - 5*k = w, 4*k - 3*k = -1. Solve 2 = -3*c + d for c.
1
Let r be (-9)/2*8/(-12). Suppose 0 = r*z + z. Solve z = -p - p - 6 for p.
-3
Let i(u) be the second derivative of u**5/20 - 2*u**4/3 - u**3/6 + 11*u**2/2 - 3*u. Let a be i(8). Suppose 0 = a*p - 6*p. Solve 0*y - 4*y - 16 = p for y.
-4
Let v = 18 - 6. Suppose 0*u + 3*u = v. Solve u = -0*z - z for z.
-4
Let c be (-2 - -3)*(-1 - -1). Let h be (c - -1)/(4/40). Solve h = s + 4*s for s.
2
Suppose -7*c = -50 + 15. Solve 0 = -8*x + 3*x - c for x.
-1
Suppose 2*n - 7*n + 40 = 0. Solve 0 = -h + 3*h + n for h.
-4
Let u = 6 + -4. Solve -u*p = -4*p + 8 for p.
4
Let q(x) = -x**3 + 6*x**2 - 3*x. Let w be q(5). Let d = -7 + w. Let k be (1 - 6/10 - 0)*15. Solve -k = -0*s + d*s for s.
-2
Suppose 0 = -2*s + 4*s. Solve s = -0*b - b for b.
0
Let i = -19 + 21. Suppose -2*v = -h - 2, 5*v = -h + i*h + 11. Solve -v*l + 0*l + 3 = 0 for l.
1
Suppose 3*y - x = x + 37, 5*x + 70 = 5*y. Solve 0 = -5*n - 6 - y for n.
-3
Suppose 0 = -2*v - 0*v + 4. Suppose 4*l + 3*h - 18 = 0, -2*l - 1 = -4*h + 1. Suppose 1 = -2*p - 5*t, 0*t - 4 = -l*p - 2*t. Solve -v*z + 8 = p*z for z.
2
Let i(q) = 2*q + 57. Let b be i(-26). Solve -g = -b - 0 for g.
5
Let t = 1 + 1. Suppose -14 = -4*y - 0*a + 3*a, -2*a = t*y. Suppose y*o = o. Solve n - 2 = -o*n for n.
2
Let h be (-2 - -2)/(4 - 5). Solve 2*m + h*m = 2 for m.
1
Let a = -3 + 6. Let g(y) = 4*y - 2. Let t be g(a). Solve t = -3*z + z for z.
-5
Let k(y) = y**3 + 10*y**2 - 11*y - 4. Let x be k(-11). Let s be (-22)/x*(4 - 2). Solve 5*c - 1 + s = 0 for c.
-2
Let b be (5 + 0)*(-9 - -12). Let f = b + -15. Solve f = 3*c + 2*c + 15 for c.
-3
Let t(y) = -y**2 - 11*y - 10. Let o be t(-10). Solve o = -f + 1 for f.
1
Suppose -11*p = -9*p - 6*p. Solve -2*b + 0*b = p for b.
0
Let k = -8 - -11. Solve -k = -p - 2*p for p.
1
Let b(c) = -c**2 - 5*c - 4. Let t be b(-3). Let z be t*(2/(-4) + 0). Let q = z + 2. Solve q = u - 4 for u.
5
Let d be 2*2/4 + 1. Suppose -d*r = 2*r. Suppose r*f = -f + 31. Solve 5*n = f - 11 for n.
4
Let v(w) = w. Let p be v(3). Suppose u = -5*b - 14, -2*u - 5*b - 50 = -7*u. Solve -3*y = p - u for y.
1
Let k be (-4 + 2/2)*(-48)/36. Solve 2*r + k = 3*r for r.
4
Suppose 0 = -4*v + 2 + 10. Suppose 18 = v*m + 3*k, k = -m + 5*k - 14. Solve -2*j = m*j for j.
0
Let a = 9 + -3. Solve -4*i - a = -14 for i.
2
Suppose 0 = -5*y - 4 + 19. Solve y*v = v for v.
0
Let b = 5 - 7. Let u be (-13 - 2)*2/b. Solve -2*v + u = v for v.
5
Let v = -11 + 7. Let u = 6 + v. Solve -l - u + 0 = 0 for l.
-2
Let n = -38 - -50. Solve 0 = -2*k + 6*k + n for k.
-3
Let v = -8 + 10. Suppose 2*s = v*r, 1 - 9 = s - 3*r. Solve 12 = z - s*z for z.
-4
Suppose 19 - 131 = -8*h. Solve -h = 5*r + 1 for r.
-3
Let k be (2 - (2 - -1)) + 3. Suppose -o - 112 = o + 5*p, k*o = -4*p - 116. Let c be o/(-10) + (-8)/(-20). Solve -c = 3*s - 1 for s.
-2
Suppose -2 = 3*w + 2*a, 5*w + 1 = -7*a + 6*a. Solve w = -14*l + 17*l - 9 for l.
3
Suppose z + z = 4. Solve 0*r - z*r = 0 for r.
0
Let c(x) = -19*x**3 + 2*x**2 - 1. Let m be c(-1). Let h be 2 + -1 - (0 - 0). Suppose -2*s + h = -9. Solve 0 = -s*l + m - 0 for l.
4
Let n = 25 - 22. Let o be ((-9)/n)/(3 - 4). Solve -6 - 3 = -o*z for z.
3
Suppose 15 = 3*w - 0. Solve 2*k - 3 = w for k.
4
Let t be 2 + -1 + 3/(-1). Let r be ((-5 - t) + 4)*13. Solve 0 = -5*m - 3 + r for m.
2
Let m be 192/14 + 2/7. Suppose 0 = -n + l + 8, 0*n - 5*l = n - m. Solve 0 = 3*z - 0 - n for z.
3
Let s be (4/6)/((-3)/(-9)). Suppose -20 = 5*a, s*u - 4*a = -0*u + 20. Solve 0 - 2 = u*j for j.
-1
Suppose 5*u = 9 + 6. Let y be 6*(-3)/(u/(-2)). Solve -y = -5*j - 2 for j.
2
Suppose 0 = -z + 3 - 1. Solve -1 = z*d + 3 for d.
-2
Let q be -2*1 + (-1 - -5). Solve 7 - q = t for t.
5
Suppose -2*w = -7*w + 100. Let d be (0 + -1)/(3/(-12)). Solve 0 = u + d*u + w for u.
-4
Let j = 4 - 9. Let h = j + 7. Suppose -5*i = h*u - 43, 2*u - 5*i - 1 + 8 = 0. Solve -3*a = -0*a + u for a.
-3
Let k(w) = -w - 2. Let z be k(-2). Let y be 2 - z/(-4*1). Solve -y*i = i for i.
0
Suppose -3*j + 3*s + 0 = -3, 0 = j - 3*s + 3. Solve -2*h - j*h = -10 for h.
2
Suppose 4*b - 12 = 3*p, 2*p = 5*b + p - 4. Let v = 0 + 2. Solve -q + 2 + v = b for q.
4
Suppose 6*p = 2*p. Solve p = -0*v - v + 1 for v.
1
Let w = -41 - -44. Solve 5 - w = 2*b for b.
1
Suppose -3 = t - 4, 5*v + t = 11. Solve v - 3 = a for a.
-1
Let z be 0*(-3 - -5 - 1). Solve z = 4*p - 3*p + 3 for p.
-3
Suppose -3*d - 12 = d. Let v(w) = -2*w**2 + 2*w - 5*w + 4 + 4*w**2 - 3*w**2. Let p be v(d). Solve -p*g = -g + 9 for g.
-3
Let a = -8 - -9. Solve 0 = 2*h - 3 - a for h.
2
Let m be (35/231 + 4/22)*15. Solve 0 = 5*i - m - 0 for i.
1
Let g(c) = 3*c + 0*c - 4 + c**2 + 0*c. Let a be g(-4). Solve 4*u = 4 - a for u.
1
Suppose 3*q + 2*l = 1, -1 = 2*q - 4*q - l. Suppose -11 = -o - q. Solve 0 = m + m + o for m.
-5
Suppose f = 4*j + 6, 5*f + 5*j - 3 = f. Let q(c) = 7*c**2 - 2*c + 1. Let k be q(1). Suppose 56 = -2*d + k*d. Solve -4*i - d + f = 0 for i.
-3
Suppose 5 = 3*w - l, 5*w - 4*w = -2*l - 10. Let x = 2 + 2. Solve x*j - 4 = -w for j.
1
Suppose -5*c = -6*c + 2. Solve q + q = -c for q.
-1
Let n = 4 - 2. Suppose k + 3 = n*k. Solve -g = -0*g + k for g.
-3
Let u(p) = p**3 + 5*p**2 + 3*p + 19. Let b be u(-5). Solve b*k + 11 = -9 for k.
-5
Let r(b) = -b - 1. Let s be r(-7). Suppose 2*g - d = 72, g - s*g = -2*d - 178. Suppose 4*y - 14 = g. Solve m + 2*m = -y for m.
-4
Suppose 0*h - 5*h = 3*w + 13, -17 = 2*w + 5*h. Solve 2 = -2*x - w for x.
-3
Suppose 20 = 5*k + 4*f, 2*f - 4 = -k + 3*f. Solve 5*z = k*z + 5 for z.
5
Let m(l) = -l**2 + 3*l + 1. Let i be m(3). Solve -3 - i = 2*r for r.
-2
Let v(w) = -w**3 + 7*w**2 + 7*w + 11. Let l be v(8). Solve z - l = -0 for z.
3
Let u = 2 + 0. Suppose 0 = u*d + 3 - 7. Suppose -2*t - 5 = -17. Solve 0 = -d*i + t*i for i.
0
Let r be 18 - 0 - (7 - 6). Suppose -3*f = -3*t, -r = -2*t - 4*f + 7. Let w = 7 - t. Solve 0*v + w*v = 0 for v.
0
Let d be (0 + 8)*(1/(-2) - -1). Solve -d = -4*i - 0*i for i.
1
Let r = 7 - 0. Suppose -2*u + 2*b - 55 = -r*u, 0 = 4*b. Let t = 6 - -3. Solve -u = -5*c + t for c.
4
Let j(f) = 4*f - 11. Let g be j(7). Suppose -3*v + 6*v + g = m, 4*v + 