 -3*h - v*p - 11 = 0, 0*h - h = -p - 7. Suppose -4*q + h*q + 3*n - 9 = 0, 5*q + 3*n = 9. Solve 0 = -k - q*k for k.
0
Let s(b) = -b**3 + 6*b**2 - 6*b + 7. Let p be s(5). Let w = -2 + p. Solve -5 = -x - w*x for x.
5
Suppose -2*j = -2*w + 3*j + 20, 0 = 3*w - 5*j - 20. Solve w*o = -o + 3 for o.
3
Let n = -5 + 10. Solve 11*a - 6*a + n = 0 for a.
-1
Let y = -19 + 24. Solve -7 = -3*k + y for k.
4
Let f = 3 + 0. Suppose 1 = f*t - 5. Solve -t*y + 25 = 3*y for y.
5
Let c(l) = l**2 + l - 1. Let u be c(-2). Let z(t) be the third derivative of t**4/24 + t**3/6 + t**2. Let b be z(u). Solve 2*j - 4*j = b for j.
-1
Suppose 7 = -5*q + 3*z, 3*z = -2*q + 15 - 1. Solve -2*u + q - 3 = 0 for u.
-1
Let o be (6 - (4 - 2)) + -1. Solve 0 - 6 = o*d for d.
-2
Suppose -4*h + 12 = -4*m, 2 = -h + 3*m + 1. Solve -v = h - 6 for v.
1
Suppose 2*o = -8, 9*k = 4*k - 2*o - 3. Let x be -1 + 2 - (2 - k). Let l = x + 0. Solve 3*z = -l*z + 9 for z.
3
Let j(b) = -b + 1. Let r be j(1). Let n be -2 - (r/(-4) - 3). Solve y - n = -0 for y.
1
Let l = -8 - -4. Let r be l + -5 + (-1)/1. Let i = r - -13. Solve -i*s = -7 - 2 for s.
3
Let n(y) = y**2 + 5*y + 4. Suppose -4 + 0 = x. Let b be n(x). Suppose h + 2*a = a + 5, a = b. Solve h*q + 11 = -9 for q.
-4
Let y be (1/2)/((-2)/(-8)). Let k = -16 + 23. Let v = k - y. Solve v = -0*c + c for c.
5
Let k be ((-21)/(-6))/(-7)*0. Solve 4*y + y - 25 = k for y.
5
Let q(a) = a**3 - a**2 - 2*a. Let t be q(2). Solve 3*y + t - 6 = 0 for y.
2
Let t be 192/15 - (-2)/10. Let p = 1 + 1. Solve -p*n + 5 = t for n.
-4
Suppose 3*g + 10 + 13 = 4*l, -7 = -l + g. Let y be (11 - l)*(-2)/(-6). Suppose y*n + c = 5*n + 3, -5*c = -3*n - 22. Solve n = -b + 2 for b.
1
Let q(i) = -i**2 - 7*i - 7. Let f be q(-5). Solve f*l + 2*l = 0 for l.
0
Suppose -3*m = -2*g - 32, 0*m = -m - 4*g - 8. Suppose 2*h = -6*f + 5*f + m, 3*h - 6 = -f. Let s be (1 - 0) + 1 + 1. Solve s*d = -f - 3 for d.
-5
Let f be 75/6*8/(-10). Let m = f - -11. Let a(n) = n**2 + 5*n + 3. Let d be a(-5). Solve 5 = -d*i - m for i.
-2
Let l = 24 + -16. Suppose -3*c + 21 = 4*n, 3*c - l = -n + 4. Let k = -1 + n. Solve k*t - 1 = 3 for t.
2
Let r be 1 + (-4)/(-4) + 2. Let g be 2*(1 + (-2)/r). Solve -5*u + g = 6 for u.
-1
Let q(c) = -c**2 + 9*c - 12. Let i be q(7). Solve 6*w = i*w for w.
0
Let c(a) = -a**3 - 6*a**2 + 6*a - 2. Let t be c(-7). Let d = 7 + -2. Suppose 0 = -d*j + 9*j - 20. Solve -4*r + j*r = -t for r.
-5
Suppose 0 = 5*z + n - 5 - 0, 5*n + 33 = 4*z. Solve -4 = -2*o - z*o for o.
1
Let w = -3 + -6. Let u = -4 - w. Suppose -u*a - 3*m = -8, m - 1 = -3*a + 3. Solve -a = -q + 2*q for q.
-1
Let l = 7 + -11. Let b(z) = -2*z - 6. Let a be b(l). Suppose -20 = a*t + i + 3*i, -2*i - 10 = 4*t. Solve t*s + 6 = -2*s for s.
-3
Let p(d) = d**2 - 2*d - 3. Let f be p(5). Solve 3*l + l - f = 0 for l.
3
Suppose -2*p + 5*d + 6 = 0, 2*p = -p + 3*d + 9. Solve j + 1 = p for j.
2
Let d be (0/3)/(-3) + 2. Suppose d*l = 7*l. Solve -2*g - 3*g - 10 = l for g.
-2
Let o = 15 - 8. Let h be (0/(-1))/(o - 6). Suppose v - 4*v + 3 = 0. Solve h = -2*j + j - v for j.
-1
Let t(v) = -v**3 + 19*v**2 + 5. Let u be t(19). Solve -2*q + 3*q = u for q.
5
Let q(o) = o**3 - 4*o**2 + 1. Let v be q(3). Let h be -5 + 8 - -10*1. Let g = v + h. Solve g*u - 3 = 2 for u.
1
Let w = 14 - 12. Solve -7*q - 15 = -w*q for q.
-3
Suppose 5*u - 14 = -4*h, 4*h + 6 = 4*u + 2. Suppose -33*p = -28*p. Solve j = -p + h for j.
1
Let z(f) = -f**3 - 3*f**2 - 2*f. Let d be (-9)/5 - 3/15. Let v be z(d). Suppose v = n + 1 - 4. Solve -n*k - 4 = 5 for k.
-3
Suppose p = -4*p - 5. Let l = 3 - p. Let c = -42 + 62. Solve -l*a + c = -0 for a.
5
Suppose 4*a - 8 = -0. Let q be (4 + -2)*(-6)/(-4). Solve -q*d - a = -d for d.
-1
Let p(n) = -n + 19. Let x be p(11). Solve -x*c + 13*c = -5 for c.
-1
Suppose 4 + 20 = 3*z. Let x be 2/(-2)*(-112)/z. Suppose g = -4*t - 11, 0*t + t - 1 = -4*g. Solve x = 3*o - g for o.
5
Suppose -23*s + 16*s + 21 = 0. Solve 4*n = 5*n - s for n.
3
Let l(k) = -2*k + 5. Let i be l(2). Solve 3 = 4*f - i for f.
1
Let f = -87 + 95. Let q be 2 + 2 + (0 - 1). Solve -q*u + f = 23 for u.
-5
Let i = 13 + -10. Suppose -5*k = -i*k. Solve 4*u + 1 - 17 = k for u.
4
Suppose 3*t + f - 4*f - 18 = 0, 4*t - 2*f = 20. Suppose 4*k - 5 = 3*k. Suppose -a - 2*g = 8, -4*a + t*g - k*g + 3 = 0. Solve a*z - 3 = 1 for z.
2
Let x(y) = y**2 - 11*y. Let i be x(11). Solve i = 4*n - 0*n - 12 for n.
3
Let f(b) = b + 0*b - 4 - 2*b. Let m be f(-4). Let x = 4 + -2. Solve m*z + x = 2*z for z.
1
Suppose 5*p = 3*g + 30, -5*p - 2*g + 23 = -7. Let q = p + 4. Let n = -5 + q. Solve u - 16 = n*u for u.
-4
Suppose -23*u + 10 = -21*u. Solve u = -i + 1 for i.
-4
Let m(c) = -2*c**2 + 1. Let w be m(1). Let l = 15 - w. Solve -3*z - z = -l for z.
4
Let m be (2 - 2/2) + 10. Solve 4*x + 5 = -m for x.
-4
Let u be (5 + -5)/(2 + 0). Suppose 0 = -3*n + g + 6, -n - 3*g + 11 + 1 = u. Solve 0*p - n*p = 15 for p.
-5
Let r(j) = -4*j**3 + 2*j**2 + j - 2. Let p be r(1). Let g(o) = -3*o - 2. Let m be g(p). Solve 2*l + m + 3 = 0 for l.
-5
Suppose -a - 34 = -5*h, 3*h = h + a + 16. Solve 0 = u + 2*u + h for u.
-2
Suppose -2*f - 5*r + 22 = -f, -12 = -3*r. Suppose 2 = 4*x + 10. Let l = f + x. Solve -3*i - 9 = -l for i.
-3
Let p be (-20)/6*(-18)/15. Suppose 0 = p*v - 3*j - 2*j - 83, 0 = -4*v - 5*j + 53. Suppose -5*x + 8 + v = 0. Solve 0*t - x = t for t.
-5
Suppose 4*b - 14 = -2. Solve -2*z + 5 = b*z for z.
1
Suppose -2 - 1 = -3*u. Suppose -c - 2 = -u. Let f = 1 - c. Solve 4*b - 4 = f*b for b.
2
Let p = -148 + 150. Solve p*x = -0*x - 4 for x.
-2
Let m(g) = -g**2 + 6*g - 5. Let z be m(3). Solve 0 = -z*d + d + 15 for d.
5
Let g be 0 + (-1 - -3) + -1. Let j = 4 - g. Solve c - j = -2*c for c.
1
Let k be -1*2/(5 + -3)*-1. Solve 0 = 2*a - k - 7 for a.
4
Let u(p) = -p**2 - 14*p - 4. Suppose -j = 2*j + 9, -5*y - 51 = -3*j. Let v be u(y). Solve -5*g + v = -0*g for g.
4
Let j(r) = -2*r**2 - 9*r - 6. Suppose 4*b - b = 6. Let n(z) = z**2 + 4*z + 3. Let c(o) = b*j(o) + 5*n(o). Let m be c(-2). Solve -m*w = -w for w.
0
Suppose 3*o - 3*w - 31 = -4*w, -4*w = 5*o - 40. Solve -o - 3 = -5*d for d.
3
Let j be (0 + 1)*1/((-4)/(-28)). Suppose -3*g + 27 = 3. Let p = g - j. Solve -2 - p = x for x.
-3
Let w = 149 - 146. Solve -q = w*q - 16 for q.
4
Let n(r) = 2*r + 22. Let z(x) = x**2 + 13*x + 3. Let o be z(-12). Let s be n(o). Solve s + 0 = w for w.
4
Let h(j) = 2*j - 20. Let l be h(10). Solve -m - 1 + 4 = l for m.
3
Let p = 22 + -20. Solve -5*l + p = 17 for l.
-3
Suppose -22 = -3*j - 2*h, -3*j + 0*h - h = -20. Let x(m) = 2*m. Let u be x(j). Solve 2*o = -u + 2 for o.
-5
Let n be -1 + -18 + (3 - 4). Let j = 20 + n. Solve 5*k + 25 = -j for k.
-5
Suppose -6*r + 3*r - 36 = 0. Let u be r/3 - -8 - 0. Solve 0 = -4*j - 8 - u for j.
-3
Suppose 12 + 0 = h. Suppose 5*b + 5 = -5. Let y be (-11)/(-4) + b/(-8). Solve 0 = -n - y*n + h for n.
3
Suppose 26 = 3*f - 4*g, 0*f + 3*f + 5*g - 35 = 0. Suppose 0 = 4*b + p - f, 5 - 17 = -b - 5*p. Solve d + b = 5 for d.
3
Let k(l) = -5*l. Let t be k(-1). Solve -t*o - 6 - 14 = 0 for o.
-4
Suppose -2*i = b - 4*b - 13, -4*b = -i + 14. Suppose -i*c = -11 + 7. Solve -c*t + 0*t = 4 for t.
-2
Suppose 5*b + 6 - 71 = 0. Suppose 0 = 4*z + y - 0*y - b, -2*z + y = 1. Suppose 4*p - 10 + z = 0. Solve p*h + h = 0 for h.
0
Let q = 15 + -11. Suppose 0*b - 12 = -4*b. Suppose -16 = -5*o + 3*o + 5*f, 16 = 2*o - b*f. Solve q*y - 2*y = -o for y.
-4
Suppose -n + 4*f = -6, f - 24 = -4*n - f. Solve -12 = n*y - 3*y for y.
-4
Let s(a) = a**3 - a**2 + 5. Let x be s(0). Suppose -5*n = -n + 2*o, -4*n = x*o. Suppose -2*d = -4 - n. Solve 15 = u + d*u for u.
5
Suppose -2*c + c = 3*i + 20, 0 = 4*i - 4*c + 16. Let p be 3/i*1*0. Suppose -r + 1 = -p. Solve d - r = -2 for d.
-1
Let q = -36 + 31. Let r = 3 + -10. Let f = q - r. Solve 0 = -z + 2*z - f for z.
2
Let z be 2*(27/6 - 2). Suppose -t + 3*u + 1 = 10, z*t + 2*u - 23 = 0. Solve -8 = t*v + 4 for v.
-4
Let n(t) = -t**2 + 5*t + 10. Let m be n(6). Solve 0 = -m*k - 13 - 3 for k.
-4
Let v = -3 + 6. Suppose -3*r - 2*r = -20, 4 = -v*g + 4*r. Let k(o) = -o**3 + 6*o**2 + 3. Let l be k(6). Solve l*u + g = -u for u.
-1
Suppose s - 10 = 2*n, -26 = -5*s + 2*n - 0. Suppose -x - 1 = -2. Let b = 4 - x. Solve b*r = s*r for r.
0
Let n be (-10)/(-3) - 2/6. Suppose -n*c = -8*c - 10. Let y = 2 - c. Solve 0 = y*p - p for p.
0
Suppose 3*q - 4*a + 2*a