 -3*p + 7 - h for p.
1
Let o(v) = -v + 6. Let q = 3 - -2. Let x be o(q). Solve a - 4 = -x for a.
3
Let y(v) = -v**3 - 10*v**2 + 11*v. Let b(n) = -n**3 + 16*n**2 - 11. Let g be b(16). Let c be y(g). Solve -3*w = -c*w - 15 for w.
5
Suppose 3*f + 4 = 4*f. Let g = f - 1. Suppose -g*l - 3*n = -8*n - 28, -l + 4*n + 21 = 0. Solve 0 = s - 1 - l for s.
2
Let k(q) = q**2 - 4*q - 8. Let t be k(6). Let l(p) = -p**2 + 6*p - 6. Let d be l(t). Solve 0 = -d*b - 2*b for b.
0
Let s be 8*(27/(-12))/(-3). Suppose 0 = -5*z - 0*z + 15. Solve y = z*y + s for y.
-3
Let a be 1/3*(0 + 3). Let x = a + 7. Solve 5*n + x = 3*n for n.
-4
Let n = -8 + 18. Solve -6 = 4*z + n for z.
-4
Let u(l) = -l**3 + 6*l**2 - 4*l + 3. Let p be u(5). Suppose 0 = 2*c + 5*n - p, c - 16 = 2*n - 3. Suppose -3*t + 0*t + c = 0. Solve t*z = -z + 4 for z.
1
Let o = 4 - 1. Suppose m + o*m = -4*b + 52, -5*b - 35 = -5*m. Solve -4*c = 6 + m for c.
-4
Suppose -4*z + 4 = -3*z - h, 5*z + 5*h - 70 = 0. Solve 0 = -z*g + 11*g + 10 for g.
-5
Suppose -2*v = 2*v + i - 4, -3*i = 4*v + 4. Let w(d) = -d**3 + 15*d**2 + d - 11. Let l be w(15). Suppose l*a - 36 = 4. Solve -v*p + 0*p - a = 0 for p.
-5
Let v = -7 + 5. Let a = 4 + -4. Let q = a - v. Solve -q + 6 = g for g.
4
Let t(m) = -2*m - 2. Let n be t(-2). Let a be (2 - 2) + n + -2. Suppose -4*z + 6 - 2 = a. Solve -z = 3*r + 2 for r.
-1
Let q(p) = -p**3 + 2*p**2 - 1. Let o be q(-1). Suppose -o*i = 3*i - 10. Solve r - i*r = 0 for r.
0
Let h = -6 + 11. Suppose u - 12 - 2 = -h*j, -u - 4*j = -13. Solve 0 = 4*g - u*g + 25 for g.
5
Suppose 6*a = 3*a - 5*h + 8, -5*a = -2*h - 3. Let m be (4/2)/(2 - a). Suppose -m*f - 6 = -r, 4*f - 2 = -3*r - 2*r. Solve -r*y = y - 12 for y.
4
Suppose -p + x + 2 = 0, 5*p - 16 = -3*x + 2. Let a be (3/(-1) - 0) + p. Solve a = -v - 2*v - 9 for v.
-3
Let p(i) = i**3 - 4*i**2 - 4*i - 3. Suppose -12 = -5*z + 13. Let v be p(z). Suppose v*b = -b. Solve b*l + 4 = l for l.
4
Let j(z) = -z**3 + 6*z**2 - 2*z - 7. Suppose 0*r - 3*r = 0. Suppose v - 2*v + 5 = r. Let s be j(v). Solve b = 5*b + s for b.
-2
Let t be (6/4)/(39/104). Solve t*d = -2 - 2 for d.
-1
Suppose 4*s + 58 = 5*m + 15, 9 = m - s. Let q(z) = -z**3 + 6*z**2 - 4*z - 2. Let a be q(5). Suppose 2*h = a*h - 3. Solve h*f - m*f = 20 for f.
-5
Let n(q) = q**3 - q**2 + 2*q - 2. Let p be n(2). Solve -o - p = 2*o for o.
-2
Let q = 68 - 28. Suppose 2*z = 5*f - q, -f - 23 = -4*f + z. Solve -3*s + 0 = -f for s.
2
Let p be -4*(-1)/2*1. Suppose -2*f + 2*l = 8, p*f = -f + l - 4. Let a be f/(0 - 1 - 0). Solve -12 = -a*q + 3*q for q.
-4
Suppose 15 = 4*u + u. Suppose u*n = 10 - 1. Solve n*y = 5*y for y.
0
Let z be ((-5)/15)/((-1)/3). Suppose -13 = -t + z. Solve -t = -5*n - 4 for n.
2
Suppose -5*q = -p + 2*p - 140, -5*p + q + 596 = 0. Let h = p - 168. Let d = -22 - h. Solve 0 = -4*x - 6 + d for x.
5
Suppose -16 = -3*a + k, -3*a + 8*a = 5*k + 30. Solve 2*m - 6 = a*m for m.
-2
Let m be 6/6*1*9. Suppose q - 5 = m. Solve 4 = -2*t + q for t.
5
Suppose 0 = -3*w - 2 + 41. Solve -w = 2*a - 3 for a.
-5
Let v(g) = -4*g**2 + 3*g + 1. Let n(f) = f**2 + f. Let t(o) = 3*n(o) - v(o). Let s be t(1). Solve -s*d + 6 = -3*d for d.
2
Let l(r) = -r**3 - 3*r**2 + 4*r. Let c be l(-4). Solve -2*q + 3*q + 4 = c for q.
-4
Let y be (1/2)/(8/48). Solve -n = -y*n + 8 for n.
4
Let y be -1*(-21)/14 + (-6)/4. Solve 5*a + y*a - 10 = 0 for a.
2
Suppose -7 = -2*x + 1. Suppose x*c - 4 = -5*j + 6, -3*j + 6 = c. Solve -j*h - 15 = -7*h for h.
3
Let v = 4 + 1. Solve v = -u + 2 for u.
-3
Suppose 0 = o - 39 + 1. Solve 5*s - o + 13 = 0 for s.
5
Let f = 2 + 8. Suppose -i - 3*i = 3*c, 0 = 5*i + 5*c + 5. Solve -i*s - f = -s for s.
-5
Let y(m) = m - m + 0*m - 16 + 3*m. Let c be y(8). Solve 6*z = 2*z + c for z.
2
Let h be 6/9 + 2/(-3). Let v = 6 + -4. Solve h*p = v*p + 10 for p.
-5
Let f = -9 + 11. Suppose 0*j = j - f. Solve -j - 2 = o for o.
-4
Let u be 5*(-1)/2*-2. Suppose -c - 1 = -3*p + 2, -u*c + 2*p + 24 = 0. Solve -c = -6*r + 3*r for r.
2
Suppose -4*k + 2*y = 26, 0*k = -5*k - 4*y - 26. Let b be k/(-10) + (-21)/35. Solve b = -4*v + 6 - 2 for v.
1
Let l(v) = v - 20. Let g be l(15). Let z = 8 + g. Solve -z*r = -r for r.
0
Suppose 2*g - 10 = -4*w - 2, 0 = -3*g - 2*w + 12. Suppose 13 = 3*j - h, g*j + 3*h - 24 = 6*h. Solve k + 1 = -j for k.
-4
Let r(f) = -2*f - 1. Let t be r(-3). Suppose -u + 10 = -0*u - t*m, -2*u - 3*m - 6 = 0. Suppose 0 = -3*a + 21 - 6. Solve 0*b + b - a = u for b.
5
Suppose 2*p + 0*g + 2*g = 20, -5*g = -4*p + 4. Let a = p + -6. Suppose a*z + 3*z = 9. Solve 6*i - 15 = z*i for i.
5
Let z = -101 - -65. Let r be 4/10 + z/15. Let q be 4 + r - (1 - -1). Solve -5*o + o - 20 = q for o.
-5
Let o = 4 - -4. Solve o = 3*b + b for b.
2
Let i = -30 - -36. Solve 5*d = i + 4 for d.
2
Let i(w) = -3*w**2 - w**3 - 9 - 2*w + 1 + 8. Let a be i(-2). Solve 0*r - r - 2 = a for r.
-2
Suppose 5*t = -0*t + 45. Solve t*c - 25 = 4*c for c.
5
Let p be ((-15)/(-20))/(2/8). Solve 4*y + 1 + p = 0 for y.
-1
Suppose -o = -3*o. Let r(u) = -u + 6. Suppose 0 = 3*k + w - 0 - 10, 4*k - 22 = 3*w. Let c be r(k). Solve -c*j = -o*j + 10 for j.
-5
Let v = 13 - 13. Solve 0 = n - v*n - 3 for n.
3
Let h(k) = k**3 + 6*k**2 + 5*k + 4. Let i be h(-5). Suppose -i*x = -1 - 3. Let y(l) = l**3 - 4*l**2 + 5*l - 7. Let z be y(4). Solve -4*g - z + x = 0 for g.
-3
Suppose h - 5*y + 7 = 31, -4*y = -4*h + 32. Solve 5 = -h*u + 5*u for u.
5
Let q(h) = h**3 - 10*h**2 - 10*h - 7. Let d be q(11). Suppose -2*a = -10 + d. Solve 3 + a = -2*w for w.
-3
Let x(g) be the second derivative of -g**5/20 - g**4/2 - g**3/6 - 2*g**2 - 5*g. Let o be x(-6). Solve 3*l - 15 = -o*l for l.
3
Let z = -50 - -55. Solve -j + z*j = 8 for j.
2
Suppose -5*g - 20 = 0, 0 = 3*j + 4*g - 3*g - 2. Suppose 15 = 5*k + 55. Let z(u) = u**3 + 9*u**2 + 9*u + 11. Let q be z(k). Solve -q*n = j*n - 10 for n.
2
Let k be 2/((-12)/(-45))*2. Suppose -k = 2*b - 7*b. Solve -8*p + 20 = -b*p for p.
4
Let o(v) = 2*v**2 - 5*v - 2. Let i be o(4). Suppose -5*m + 4*u + 6 = 2*u, 4*m - i = -u. Solve -3 = c + m for c.
-5
Suppose 0*b = -b. Solve -p + b*p = 0 for p.
0
Let x = -17 + 19. Solve -7*d = -x*d for d.
0
Let b(t) be the first derivative of -1/4*t**4 - 4*t - 1 - 7/3*t**3 - 7/2*t**2. Let a be b(-6). Solve -n = a*n for n.
0
Suppose 0 = -2*z + z + 10. Let f = z - 0. Solve -f = 2*a - 4 for a.
-3
Let a(n) = -n**2 - 10*n + 3. Suppose 3*q + 12 = 0, -3*i = -0*i - 2*q - 8. Let s be -11 + i/2 - -2. Let f be a(s). Solve -2*l = l + f for l.
-4
Let m be ((-4)/(-6))/((-2)/(-18)). Let f(d) = -d**3 + 6*d**2 - 5*d. Let r be f(5). Suppose -4*s - 3*a + 21 = r, 3 = -a + 6. Solve -s*q - m = -q for q.
-3
Let k(w) = w**2 + w - 47. Let x be k(-8). Solve 8*o = x*o + 1 for o.
-1
Suppose 4*b - 5 = 15. Suppose -b*t = 5*h - 70, -5*h + 10 = -0. Solve -2*f = -5*f + t for f.
4
Suppose -6*c = -5*c - k, -c - 4 = -5*k. Solve -h + c + 3 = 0 for h.
4
Let y = -17 + 22. Suppose -2*k = y*j + 10, 25 = k - 3*j - 2*j. Solve u - 2*u + k = 0 for u.
5
Let f = 9 - 6. Suppose -18 = -4*h + 5*k - 4*k, -3*k + 6 = f*h. Solve 0 = -3*b + h*b for b.
0
Let k(o) = o + 6. Let s be k(6). Let j = s - 8. Solve 1 = j*p - 3*p for p.
1
Let c = -1 + 1. Suppose 4*a - 56 - 32 = 0. Suppose 5*q - 2*m + 0*m = a, 4*q + 5*m - 44 = 0. Solve c = -3*y - q + 15 for y.
3
Let a = -44 + 46. Solve -g = a*g for g.
0
Let u = 35 + -22. Solve -5 = 2*t - u for t.
4
Suppose -2*q + 7 - 3 = 0. Let m be (0 - (q + -3)) + 6. Solve 0 = 4*a - m + 15 for a.
-2
Let c be -5*(0 + 0 + -1). Suppose -5*s + 10 = 0, 2*n + c = -2*s + 15. Suppose 2*x + n*x - 15 = 0. Solve x*p + 6 = -3 for p.
-3
Let w(d) = -d + 6. Let s be w(4). Solve s*b + 5 = 1 for b.
-2
Let j be (1 - 2)/((-9)/(-225)). Let b = j - -26. Suppose 5*w = 2*p + 3*p - 20, -5*w - 8 = p. Solve p*z + b = -1 for z.
-1
Suppose -4*c = c - 10. Let j be (-8)/(-6) + c/3. Suppose a = 2*a - j. Solve -4 = -2*t - a*t for t.
1
Let d be (2/6)/((-6)/(-72)). Suppose d*b - 13 + 1 = 0. Let f be 14/b - 2/3. Solve -1 = f*m - 5 for m.
1
Suppose -2*i = -2*g - 12, -29 = -3*i - i + 5*g. Let u be (-9)/(i/((-6)/(-9))). Let v = -4 - u. Solve 20 = -v*l + 6*l for l.
5
Let p be ((-7 - -3)/2)/(-1). Solve -p*h + 8 = 4 for h.
2
Let a = 20 + -15. Solve -a*m - 20 = -0*m for m.
-4
Let g = -2 + -6. Let u(y) = y**2 - 5. Let t be u(-5). Let k be ((-4)/5)/(g/t). Solve 0 = 3*j - 4 - k for j.
2
Let j(z) = -12*z - 7. Let u be j(-2). 