e p(6). Solve 0 = -5*h + x for h.
4
Suppose 0 = b - 4*b. Solve b = 3*x - 2 - 1 for x.
1
Let m be (-1)/2*(12 - 20). Solve -m*z = 13 + 3 for z.
-4
Let h(p) = -p**2 + 11*p - 2. Let n be h(10). Suppose -n*s - 20 = -9*s. Solve -3*m + s = 2*m for m.
4
Let v be 2*1 - (0 + 0). Let s = 4 + -1. Let l = s - -3. Solve -v*y = -l*y for y.
0
Let l be -2 + 3/((-3)/(-2)). Solve -a + l*a = 0 for a.
0
Suppose -2*f + 0*f = -4. Solve 6*j = f*j + 12 for j.
3
Let n be ((-6)/(-15))/(1/10). Suppose -2*q = 3*q. Suppose 4*g - 9 - 11 = q. Solve g*v + n = 3*v for v.
-2
Let c(q) = 2*q**3 - q**2 + q + 1. Let m be c(2). Let h = 8 + -8. Let p(n) = -n**3 + 6*n**2 - 6*n + 7. Let x be p(5). Solve -a - x*a + m = h for a.
5
Suppose 4 = g, 2*l - 2*g = -0*l + 8. Solve 0 = 2*r - l - 0 for r.
4
Let t be (-6)/(-15) + (-24)/(-15). Let s(m) = -m**2 - 6*m - 5. Let u be s(-4). Let g be (-1 + (2 - 1))/2. Solve u*x + t + 10 = g for x.
-4
Suppose -j + 6 = j. Solve -3 = -j*k - 9 for k.
-2
Let m be (18/8)/(18/48). Solve 0*o - 2*o = -m for o.
3
Let u(p) = -p**3 + p**2 - p. Let q(j) = 4*j**3 + j**2 - 3*j + 5. Let f(z) = q(z) + 3*u(z). Let o be f(-5). Solve 0*b = 5*b - o for b.
2
Suppose -5*k = 5*m, 0 = -k - 3*k + 4*m + 32. Let p = 12 + k. Solve z - p = 5*z for z.
-4
Suppose 3*g - g - 30 = 0. Let q be 4/(-6)*g/(-10). Solve 5*r - 9 - q = 0 for r.
2
Let r(v) = 3*v + 3. Let w be r(-4). Let m(c) = -c - 5. Let g be m(w). Solve 12 = -d + g*d for d.
4
Let p(q) = -q**2 + 2*q + 3. Let d = 6 - 3. Let g be p(d). Solve g = -0*j - 3*j for j.
0
Suppose 0 = 4*y - i - 10, 4*y - 5 - 1 = -i. Let c = 14 - 7. Solve 1 = y*g - c for g.
4
Let w = -5 - -9. Let p be 5*w*(-1)/(-2). Solve 0*q + 5*q = p for q.
2
Let a(s) = 4*s. Let q be a(3). Let g be q*(6/(-3) + 3). Solve -4*d + d + g = 0 for d.
4
Suppose -3*c - 3*q = -135, 2*q + 223 = 5*c + 6*q. Suppose 3*u - 17 = c. Solve x + 4*x = u for x.
4
Let w(y) = -10*y. Let c be w(1). Let f be (4/c)/(2/(-20)). Suppose 69 = f*h - 2*r + 3*r, 2*r - 70 = -4*h. Solve -5*u - h - 3 = 0 for u.
-4
Let i(y) = y**3 + 10*y**2 + 8*y - 5. Let u be i(-9). Solve b - 3*b = u for b.
-2
Let d(v) = -v**2 + 5*v - 3. Let b be d(3). Solve -7 = b*g + 8 for g.
-5
Suppose -3 = -g + 2*x, -3*g - 2*x + x + 9 = 0. Solve 0 = -g*n - 3 for n.
-1
Suppose -5 = 2*w + o - 17, -3*w - o = -17. Suppose -22 = -0*a - 2*a + 2*n, w*a - 59 = n. Solve z - a = 4*z for z.
-4
Let j(f) = -4*f - 2. Suppose 4*i + 5 + 3 = 0. Let n be j(i). Let d be -34*(-2 - n/(-4)). Solve -d = -4*a - 1 for a.
4
Let y be 4/10 + 13/5. Suppose 0 = 2*g + y*g. Let j(t) = -t**3 - 5*t**2 - 7*t - 10. Let f be j(-4). Solve -f*m + 7*m - 20 = g for m.
4
Let v be 0/((-5)/(15/(-6))). Suppose -3*n + v*n + 9 = 0. Solve -n*l + 7 = 16 for l.
-3
Suppose 0*g = g + 5*g. Solve 7*h - 6*h + 2 = g for h.
-2
Suppose 7 = -3*p + 19. Suppose 0 = -y + p*y - 9. Solve z - y = -2*z for z.
1
Suppose 8 + 52 = 5*r. Solve 0 = -n - 2*n - r for n.
-4
Let d = 3 - 3. Let b be 0/(4 - 2/1). Suppose b = 2*y + 2*y. Solve -3*m + 9 + d = y for m.
3
Suppose 2*y - 28 = -5*o, -2*y - 5*o = -5*y - 8. Suppose -v + y*r = -2*v + 10, -3*r = -3*v. Solve -4*j + 2 = -v*j for j.
1
Suppose -2*v - 2 = -0*v - 4*i, -2*v - 3*i + 19 = 0. Suppose -9*q + 4*q = -v. Solve 3 = 4*y - q for y.
1
Suppose -21 + 9 = -4*b. Solve 0 = 2*m - b + 9 for m.
-3
Let j be (-78)/(-9) - (-1)/3. Suppose 0 = -2*b - 5*y + 6, -4*b + 3*y = -b - j. Suppose -u = 2*u. Solve -b*h + 8*h - 20 = u for h.
4
Suppose 2*z - 1 - 23 = 0. Suppose 0 = 3*c + 5*x - 11, c - 6*c - 2*x + z = 0. Suppose 0*y + 6*y = 0. Solve -o - c = -y*o for o.
-2
Suppose -4*z = -0*z. Solve -4*h + 5 + 11 = z for h.
4
Let h be (-38)/(-14) - (-4)/14. Let i be h/((-6)/(-10)) + -2. Solve 0 = -5*p + i*p - 10 for p.
-5
Suppose 0 = -4*f + 15 - 3. Suppose -7*c + 2*p = -f*c - 16, 2*p + 10 = c. Suppose -j = d, 0 = -0*j + j - c*d - 9. Solve -8 = -j*w + 7 for w.
5
Let h be (-3)/(-2)*(-80)/(-60). Suppose -g + 5 = -4*b + 1, -12 = -h*b - 3*g. Solve b = p - 6*p + 20 for p.
4
Let i(h) = 5*h. Let u be i(1). Solve -z = -u*z + 4 for z.
1
Let i(m) = -2 - 3*m + 4*m**2 - 2*m - 3*m + 7*m. Let c be i(2). Solve 0*x = 4*x + c for x.
-3
Let c(v) = -v**3 + 3*v**2 + v + 6. Let b(p) = -4*p**3 + 13*p**2 + 4*p + 24. Let h(r) = -2*b(r) + 9*c(r). Let y be h(0). Solve 0 = -t + 4*t - y for t.
2
Let h = -7 + 7. Suppose h = 2*k - 0*k. Let b be (-5)/(-15)*(24 + k). Solve -b = s + s for s.
-4
Suppose -2*s = -2*r, s + 3*s - 4 = 2*r. Suppose -2*q + 2*z - 8 = 0, -4*q + 3*z = -r*q + 12. Solve -p = -q*p + 1 for p.
-1
Suppose 0*g = -5*g. Solve -2 = -i - g*i for i.
2
Let l be 2 - 1/(-1)*2. Let b = -2 + -2. Let c = b + l. Solve c + 8 = -4*f for f.
-2
Let g(j) = j**2 - 4*j - 3. Let h be g(4). Let w be 12/h*1/(-2). Solve -9 = w*l + 1 for l.
-5
Let n(f) = 2*f**2 + f - 1. Let s be n(1). Let y be (-2)/(-1) + (-4)/s. Solve -g + 1 + 0 = y for g.
1
Let x = 2 + -2. Let m(i) = -i - 3. Let n be m(-8). Suppose -n*y + 2*y + 39 = x. Solve -y + 4 = -3*k for k.
3
Suppose -2*r + 10 = 5*n + 2*r, -3*r - 2 = -n. Solve -n = i - 4 for i.
2
Suppose -o - 44 = -4*x - 5*o, -4*o = -5*x + 64. Solve 2*h - x = -2 for h.
5
Suppose -4*p = -8 - 8. Solve p*v = -v + 10 for v.
2
Suppose 0 = 2*m - 3*b - 25 + 9, -5*b - 20 = -2*m. Solve -1 = -m*w - 6 for w.
-1
Let t = -18 + 23. Suppose -v = 2*o - 5, -t*o + 5 = v - 6*v. Solve -2 = -o*q - 0*q for q.
1
Let g be 6/(-45) + 1098/135. Solve 0 = -d + 3*d - g for d.
4
Let i be 4/6 - (-30)/(-18). Let r be (i - 0) + 7/7. Solve r = -2*k - 2 + 4 for k.
1
Let l = -17 - -25. Solve -o - o = l for o.
-4
Suppose w + 6 = 2*w. Solve w - 2 = -4*y for y.
-1
Suppose 5*v = -3*m + 1 + 6, 3*v - m - 7 = 0. Let q = -10 + 18. Let o be 10/q - (-5)/(-20). Solve -o = 3*w - v*w for w.
-1
Let i(j) = -j - 5. Let c be i(-10). Solve -c*b + 5 = -0 for b.
1
Let g(h) = -3*h**2 + 21*h + 2. Let i be g(7). Solve i*k - 2 + 4 = 0 for k.
-1
Let h(d) = d**3 - 11*d**2 + 10*d + 9. Let y be h(10). Let s(p) = p**3 - 8*p**2 - 9*p + 5. Let a be s(y). Solve -20 = -m + a*m for m.
-5
Let i = -70 - -71. Solve -3*x = -4 + i for x.
1
Let n = -1 + 1. Suppose n = -2*d - 5*j + 15, -j - 1 + 4 = 4*d. Solve 0 = w - d*w - 4 for w.
4
Let l = 47 + -7. Suppose 0 = 4*j - 20 - l. Solve -j = 2*z - 5 for z.
-5
Let k = 9 + -6. Solve k*c = 7*c for c.
0
Let w(v) be the first derivative of 4*v - 2 - 1/2*v**2. Let j be w(4). Solve -u = -j*u - 2 for u.
2
Let h = 12 - -1. Suppose 4*s - 28 = -2*p, -s = -p + 3*p - h. Solve p*w = w for w.
0
Let f(o) = 2*o - 3. Let a(u) = -1. Let t(b) = -b + 1. Let q(w) = 2*a(w) - t(w). Let n be q(8). Let s be f(n). Solve -c - 3 = -s for c.
4
Suppose -3*i + 80 = 4*u + i, -4*i = 3*u - 55. Let r = 17 + -10. Suppose -2*b - s = -r*b + u, -b + 11 = s. Solve -b = -4*f + 6*f for f.
-3
Let o(p) = p**3 - 2*p**2 - 2*p + 1. Let q(x) = x + 3. Let t be q(0). Let s be o(t). Suppose 20 = -s*b + 3*w + w, 2*w - 10 = b. Solve b = 2*j + 1 - 11 for j.
5
Suppose -5 = -b - 3. Suppose 3*l + 0 = -b*w - 2, 0 = 4*l - w - 1. Solve l = -0*j - j for j.
0
Let z = 5 - 6. Let x = 2 + z. Suppose 0 = -k + x + 5. Solve 0 = n - k*n - 25 for n.
-5
Suppose -2*v + v = -3*d + 4, -3*d = 3*v - 24. Suppose w = 4*p - 57, -d*w + 7 = -2. Solve 0 = 4*m - m + p for m.
-5
Suppose -6 = 3*x + 9. Let v = x - 27. Let q be v/(-3) + (-8)/12. Solve 2*t + 3*t = q for t.
2
Let n(h) be the first derivative of -h**4/4 + 11*h**3/3 + 13*h**2/2 - 8*h - 3. Let f be n(12). Solve 0 = -i - f - 0 for i.
-4
Suppose 2*g = -3*g + 20. Suppose -1 = 2*d - 7. Solve -g*i + 5 = -d*i for i.
5
Suppose n = 2*n - 5. Solve -3 - n = -4*c for c.
2
Let g(t) = 6*t - 1. Let z be g(1). Let s = 19 + -3. Let p = s + -12. Solve -z*h + p = 14 for h.
-2
Let f(s) = -2*s + 36. Let m be f(12). Solve -p = -4*p - m for p.
-4
Suppose 0 = -0*h - h. Solve z - 2*z = h for z.
0
Let p = 5 + -3. Let c be ((-4)/(-10))/(5/(-25)). Let w be c/(-1) - p/(-2). Solve -2*r + 25 = w*r for r.
5
Suppose t + 353 = 4*z, -301 = -3*z + 2*t - 35. Suppose -m + 5*m = z. Solve 4*r + 2 = m for r.
5
Suppose -2 = 5*h - 12. Let g(s) = s + 9. Suppose 2*c = -0*c. Let u be g(c). Solve -h*n + u = n for n.
3
Let a = 10 + -11. Let n(d) = 10*d - 1. Let o be n(a). Let s = o + 13. Solve 0 = c + c - s for c.
1
Let u(f) = f**3 + 3*f**2 + 2*f. Suppose -x + 5*x + 8 = 0. Let g be u(x). Solve l + g*l = -4 for l.
-4
Suppose 3*i + 0 = -4*f + 28, 5*i - 32 = -3*f. Solve f*c + 4 + 4 = 0 for c.
-2
Let d(