olve -4*p + f*p = -4 for p.
1
Let k be (-3 - (-3 - 2)) + -13. Let c be -1 - (-34)/(0 - -2). Let x = c + k. Solve 3*n = -20 + x for n.
-5
Let j(c) be the first derivative of -c**3/3 - 11*c**2/2 - 10*c - 10. Let a = -21 + 11. Let l be j(a). Solve -25 = -l*i + 5*i for i.
-5
Suppose 31*z - 34*z = -6. Solve z + 3 = -p for p.
-5
Let a(y) = -y**3 + y**2 - 1. Let w be a(0). Let h = w - -1. Solve h*b = -b + 1 for b.
1
Suppose 2*t = -5 + 7. Solve t = -5*w + 6 for w.
1
Suppose -3*j - 2*i = -8*j + 34, -5*j = 3*i - 24. Suppose 3*p = p + j. Let l = p - 1. Solve 2*n = -l*n for n.
0
Let a be 11/(-11) + (-1 - -4). Let r(c) = -2*c - 6. Let y be r(-4). Suppose -3*m = y*m. Solve m = -a*l + l - 4 for l.
-4
Let v = 25 + -29. Let y be 3/((-10)/v + -2). Solve -y*z = -3*z for z.
0
Let u be 74/6 + (-6)/(-9). Suppose -2*c - u + 46 = -5*x, 13 = 2*c - x. Solve r + c = 1 for r.
-3
Let t(r) = r + 1. Let w(g) be the second derivative of -g**3/2 - 3*g. Let k(c) = 2*t(c) + w(c). Let n be k(2). Solve -4*a - 7 - 13 = n for a.
-5
Let i be 4/(-1)*-5 - -2. Suppose q + 2*r - 7 = 0, 3*r = -4*q + 3*q + 7. Solve -3*o - q = -i for o.
5
Suppose -16 = -2*x - 0*w - 2*w, -4*x - w + 41 = 0. Let r = 19 - x. Solve -7 - r = 5*v for v.
-3
Let t = 0 - 0. Let l = 4 + t. Let y(x) = x + 3. Let n be y(4). Solve -6 = -l*u + n*u for u.
-2
Let w(x) = x**3 - 4*x**2 + 2*x - 4. Let n be w(3). Let u = n + 10. Solve -m + u*m = 0 for m.
0
Let s(v) be the first derivative of -v**4/4 - 4*v**3/3 - v**2/2 + 4*v - 2. Let k be s(-4). Suppose -k - 7 = -5*g. Solve 6*t - g*t = 15 for t.
5
Suppose 5*b - 15 = 5. Suppose -2*m - 2 = -10. Suppose m*k = -k. Solve 4*h = -k*h - b for h.
-1
Suppose 0 = 4*l - q - 25, 2*q = -5*l + 4*q + 35. Solve 0*o + l = -o for o.
-5
Let z(r) = -r - 1. Let o be z(10). Let g = 15 + o. Solve -g*j + 5*j + 1 = 0 for j.
-1
Let z be (-3)/((-6)/8*1). Suppose -4*i + 4*b - z = -8*i, -5*i + 3*b = -37. Solve 0 = -3*w + 2*w + i for w.
5
Suppose 5*u + 38 = -17. Let n = 23 + u. Suppose 4*s + n = -4*y, -3*s + s = -4*y + 12. Solve -2*d + d = y for d.
-1
Suppose -2 - 6 = -4*y. Solve y*a = -2*a + 16 for a.
4
Let o(q) = q + 1. Let z be o(0). Let a = z + 1. Suppose a*i = 3*u + 21 - 0, -i = 4*u + 17. Solve 0*s + 3*s = i for s.
1
Let x(b) = 12*b**2 + b - 1. Let c be x(1). Suppose 4*t - c = 2*t. Suppose -q = q - t. Solve 6 = q*z - 9 for z.
5
Suppose 0 = -2*i + 4, 6*i - 3*i + 9 = 3*l. Let t = 710 - 1774. Let m be (-4)/(-18) - t/72. Solve -5*h - l - m = 0 for h.
-4
Let s = 1 + 1. Let o be (-1)/((-5)/8)*(-75)/(-30). Solve s*r - 8 = -o for r.
2
Let j(x) = -x**2 + 1. Let v be j(0). Solve -4*u - 11 = v for u.
-3
Suppose 7 = -5*j - 13. Let z(r) be the second derivative of -r**4/12 - 5*r**3/6 - r**2 + 17*r. Let m be z(j). Solve -4*y - 4 = -m*y for y.
-2
Let p = 0 + 0. Suppose 6*b - 4*b = 4. Solve p = -0*l + b*l - 2 for l.
1
Let n be (8/6)/((-110)/(-45) - 2). Solve -n*p - 15 = 2*p for p.
-3
Suppose 3*c - 5*s - 9 = -c, 0 = -4*c - s + 3. Let q be 8*1 + (1 - c). Let d = -5 + q. Solve -d*v = -1 + 10 for v.
-3
Let j(z) = -2*z - 9. Let y be j(-7). Solve -2*u - 3*u + y = 0 for u.
1
Suppose 2*m - 2 - 2 = 0. Let q = m + 3. Suppose -q*u = -26 + 6. Solve -1 = -u*z + 19 for z.
5
Let r be ((-1)/(-2) + 3/(-3))*-12. Solve r*v - 7*v - 1 = 0 for v.
-1
Let w = 2 + -3. Let c be w/(-3) - (-1)/(-3). Suppose 5*q - 2 - 13 = c. Solve 0 = -q*n + 13 + 2 for n.
5
Suppose 5*k + 2*k - 21 = 0. Let x = 0 + 5. Solve -2*t - k = -x*t for t.
1
Let m(a) = 17*a**2 + 4 - a - a**3 + 7*a - 12*a**2. Let w be m(6). Suppose 0 = -0*s - w*s + 24. Solve -c - s + 1 = 0 for c.
-5
Let r be (-3 - -2)*(1/1 + -2). Suppose 2*g = 2 - 0. Solve c + r + g = 0 for c.
-2
Let f be (-1*1)/(2/(-4)). Suppose -q - f = -2*q. Suppose q*v = -3*v. Solve 0 = -v*i - 4*i for i.
0
Let u be 38/10 - (-11)/55. Let q be (u - -1) + 3/(-1). Solve z = -q*z for z.
0
Let h be (-6)/(-4)*(-28)/(-21). Solve -h*k + 5 = 3 for k.
1
Let y be -1*(-1)/3 - 85/(-15). Suppose -6 + 21 = 3*b. Suppose -3*q + b*q = y. Solve -r = q*r - 20 for r.
5
Suppose c + 18 = 21. Solve c*k + 5 = 4*k for k.
5
Suppose v = 3*v - 8. Suppose 4*d = 3*f + 41, 0 = d - 3*f + f - 14. Suppose 0 = -4*z + z + 12. Solve -v*p + d*p = -z for p.
-1
Let p = -27 - -33. Solve -20 = -2*a + p*a for a.
-5
Suppose 8*r + 36 = 14*r. Solve 0*j - r = -2*j for j.
3
Let a(x) = -6*x + 8. Let f(w) = -19*w + 25. Let y(p) = -7*a(p) + 2*f(p). Let r be y(4). Solve -2*o = -7*o - r for o.
-2
Suppose 0*n - 5*n + 15 = 0. Suppose -4*r = 4, -4*z - 2*r = n*r - 3. Suppose z = s - 2. Solve -s*b = -b for b.
0
Suppose -7*p = -3*p - 20. Solve p*o = -17 + 7 for o.
-2
Suppose 0 = -4*u + 3*f - 8 + 47, 5*f = -3*u + 51. Suppose -2*p + u = -4*h, p + 2*h + 9 = -h. Solve p = -2*z - 0*z + 2 for z.
1
Suppose -15*p = -17*p + 12. Solve 0 = -2*c + p*c + 8 for c.
-2
Let d(b) = 6*b - 4. Let g be d(3). Suppose 2*a = -l + g, -l - 2*l + 7 = -a. Suppose -8 = -4*q - l*z, q = 4*q + 4*z - 4. Solve 6 + 2 = -q*p for p.
-2
Suppose -5*a + 5 = -0*a. Solve -3 = -t - a for t.
2
Suppose 0 = 4*x + 3*t - 57, x + 4*t - 6 - 5 = 0. Solve -7*o - x = -2*o for o.
-3
Let u(b) = -b**2 + 9*b + 24. Let m be u(11). Suppose -9 = -2*r + 1. Let f(n) = -n + 5. Let p be f(r). Solve p*q = 2*q - m for q.
1
Let w be (1/3)/((-1)/(-15)). Suppose 2*g - b - 6 = 0, b = -g - 2 + 8. Solve -3*a - g = w for a.
-3
Suppose -4*h - 1 = 3*u, 2*u = 4*h + 6 - 20. Suppose h*z = -2*z. Solve z = 3*f + f + 16 for f.
-4
Suppose 2*y - 5*d = -15, 0 = 4*y - d + 1 + 2. Let m = y - -2. Solve b + 12 = -m*b for b.
-4
Suppose 0 = -5*g + 7 + 3. Suppose -g*q = -0*q + 2. Let m be 0 - ((q - -3) + -2). Solve 5*s + m*s = 5 for s.
1
Suppose -3*y - 2*y - 10 = 0. Let c be 0/2*1/y. Solve -5*b + 1 + 4 = c for b.
1
Let u be (-3 - 2)*1*-1. Suppose 6 = u*y - 14. Solve -y*v + 8*v = -8 for v.
-2
Suppose 9 + 3 = 2*k. Let v(y) = y + 4. Let z be v(k). Solve -5*p + z = -5 for p.
3
Suppose 3*l = -2*c - 5 - 3, 0 = -5*l - 2*c - 8. Suppose l*n + n - 3 = 0. Solve v = 4*v - n for v.
1
Let v = -5 - -8. Suppose v*l = -3, -4*s + 2*l = -2*l - 52. Solve a + s = 4*a for a.
4
Let c be 2/4*5*24/30. Let g be ((-8)/(-10))/(8/20). Let r be 13 + g/3*3. Solve -5*m - r = -c*m for m.
-5
Let m(d) = d**2 + d - 1. Suppose -5*u - 11 = -3*y, -2*u - 4 = -u. Let z be m(y). Suppose 9 = s + 2*s - 3*j, -s + 3 = -z*j. Solve h = s*h for h.
0
Let q be 4/7*21/2. Solve -5*h + q = -2*h for h.
2
Let u be 3/3 - (-2)/1. Solve -g - 10 = -u*g for g.
5
Suppose -9*z + 7*z = -24. Solve 4*f = -0*f - z for f.
-3
Let z(i) = 5*i + 1. Let x be z(5). Suppose -2*w - x = -2*p, -3*w - 2 - 1 = 0. Solve 0 = -2*l - l + p for l.
4
Let r(w) = w**3 + 5*w**2 - 9*w - 7. Let i be r(-6). Solve -2*m - 5 = -i for m.
3
Let l be (-6)/4*8/(-6). Suppose l*m - c = 7*m - 72, -4*m - c = -57. Suppose 5*o + 0*o - m = 0. Solve 6 + 0 = -o*b for b.
-2
Let w be (-6 + 2 - -7) + 1. Solve 3*c = 8 + w for c.
4
Let c = -4 - -6. Suppose -4*h + n = -24, c*n = -2*h - 3*n - 10. Let b = -2 + 2. Solve -j + b - h = 0 for j.
-5
Let l(z) = -2 - 9 + z - 1 + 4. Let t be l(12). Solve -u - u = -t for u.
2
Let o = 7 + -3. Solve -4 = o*g - 2*g for g.
-2
Let g = 1 + 4. Solve g*o + 5 = -0 for o.
-1
Let j = 8 + -1. Suppose -2*v + 23 = j. Let q = -4 + 6. Solve 2*u + q = v for u.
3
Let t(k) = 2*k - 1. Let h be t(-2). Let w = h + 8. Solve -w*u + 20 = 8 for u.
4
Let u(j) = -3*j**3 - j**2 - 2*j - 1. Let r be u(-1). Solve r*y - 2 = 5*y for y.
-1
Let l(j) be the second derivative of j**4/6 + j**3/2 + 2*j. Let n be l(-2). Solve 0 = -u - n - 1 for u.
-3
Let y = 0 + 9. Let k be 36/y - (4 + -1). Solve 3*r - k = 5 for r.
2
Suppose -5 = -m - 2. Solve -m*g = -5 - 4 for g.
3
Let s = -3 - -9. Let w be (4/s)/(4/6). Suppose -3*x + w = -8. Solve 0 = -x*f - 0*f for f.
0
Let g(f) = f - 6. Let y be g(10). Solve 0*m = -y*m for m.
0
Let r = -1 + -4. Let u = 13 + r. Let h = 2 - -1. Solve -2 + u = h*q for q.
2
Suppose 5 = -o + 8. Solve -o*r + 2 = -4*r for r.
-2
Suppose -4*b = -4*s - 20, s + 3*b - 5 = 2*b. Solve 2 = -s*i + i for i.
2
Let u(r) = -r**3 - 8*r**2 + r + 10. Let b be u(-8). Let f = b + -2. Suppose f*s - 3*s = -9. Solve 17 = -s*p + 5 for p.
-4
Let u(n) = n**3 - 8*n**2 + n - 8. Let r be u(8). Solve 2*a = -r*a for a.
0
Let u(i) = i**2 - 11*i + 14. Let s be u(10). Solve -2*p = -s*p - 4 for p.
-2
Let k = -114 + 117. Solve c = -k - 1 for c.
-4
Suppose 7*z = 6*z - 4. Let k be 7 - -1*(z + 8). Sol