7 - p for n.
-3
Suppose 4*l - 20 = 2*u, -u - 20 = -4*u - 4*l. Solve u = -r - 0*r for r.
0
Let i be ((-7)/(-2) - 3)*-12. Let p be 2*(-3)/12*i. Solve -1 - p = s for s.
-4
Let a = 22 - 3. Suppose -4*c = 3*g + 11, g + a = -g - 5*c. Suppose -j + 8 = g*l, -2*j - j = -4*l + 2. Solve 6 = -l*b - 2 for b.
-4
Suppose -c = 4*d - 17, -2*c + 2*d + 7 = 3. Let g be (-3 - -5)*(99/(-6))/(-11). Solve 2 = -g*y + c for y.
1
Suppose 0*y = 4*y. Solve 4*t - 6*t - 8 = y for t.
-4
Let z = -16 + 18. Solve 3*f + 3 = z*f for f.
-3
Let j be (16/(-28))/(4/(-14)) - 2. Solve -4*f + j*f = 12 for f.
-3
Suppose -2*w + 78 = 28. Solve 5*x = -0*x - w for x.
-5
Let w = -19 + 9. Let f be (w/4)/(2/(-4)). Solve f*m = 2*m + 15 for m.
5
Let h = -6 + 3. Let s(y) = y**3 + 4*y**2 + 2*y - 1. Let n be s(h). Suppose -5*q + n*q = -3. Solve q = -2*w - 3 for w.
-2
Suppose 5*c - 11 = -m, -21 = -3*c - 0*m + 3*m. Let u be (-10)/20 + 9/2. Solve -5 = c*f + u for f.
-3
Suppose 2*i - j - 7 = 13, 5*i - 3*j = 51. Solve -4*n - i - 7 = 0 for n.
-4
Let d = 7 - 12. Let g(s) = -s**3 - 5*s**2 + 4. Let v be g(d). Suppose 3*j - 5*j = 0. Solve i - v = -j*i for i.
4
Let p(x) = -2*x**2 + 17*x - 2. Let r be p(8). Solve -1 + r = -5*f for f.
-1
Let j be 30/40*(-4)/(-3). Solve 2 = -a - j for a.
-3
Let j = 17 - 16. Solve j = -x + 5 for x.
4
Suppose 0 = 3*v - 0*v. Suppose 5*l - 22 - 8 = v. Let o be ((-2)/(-2))/(-1) + l. Solve -4*w + o = 1 for w.
1
Let i = 35 + -31. Solve 0 = i*q - 7*q for q.
0
Let s = 34 + -34. Solve s = 4*d + 22 - 6 for d.
-4
Suppose 4 = 2*s + 4*n - 12, -2*n + 10 = 0. Let p be 153/15 - s/(-10). Solve -d - d = -p for d.
5
Let l(y) be the second derivative of 1/12*y**4 + 3*y**2 - 2*y + 0 - 7/6*y**3. Let o be l(6). Solve o = -r + 2 for r.
2
Let r be (-5)/2*24/(-30). Solve 0 = -5*u + 3*u - r for u.
-1
Suppose -9*o + 80 = -4*o. Solve o = -q - 3*q for q.
-4
Suppose 2*b - 30 = -3*b - 5*p, 4*b - 24 = -2*p. Let z(v) = -v**2 + 9*v - 9. Let h be z(b). Suppose 3*r = -2*n + 9, h = 3*n + 4*r - 3. Solve i + 2 = -n*i for i.
-2
Let k be -2*(3 - (-18)/(-3)). Suppose -t = 2*t - k. Solve t*o + 0*o + 6 = 0 for o.
-3
Suppose 5*h - c - 16 = 0, 2*h - c - 3 = 4. Solve -8 = -h*y - y for y.
2
Let j(q) = q**3 - 6*q**2 + 2*q - 8. Let c be j(6). Solve 2*f - c*f = 6 for f.
-3
Suppose -4*p = 8, -5*m + 26 = 3*p + 2. Suppose 0 = -2*t - t + m. Solve 6 - 2 = -t*q for q.
-2
Let o be (-5)/(-20) + (-17)/4. Let v = 1 + -3. Let q = v - o. Solve 0 = -0*h + q*h - 10 for h.
5
Suppose 33*l = 30*l + 6. Solve -o - 15 = l*o for o.
-5
Let w = -27 - 18. Let x be (8/(-6))/(10/w). Let v = x + -4. Solve 0*l - v = l for l.
-2
Let v(c) be the first derivative of -1/2*c**2 + 2 - 4*c. Let p be v(-7). Solve 0 = -4*m + 19 - p for m.
4
Suppose -2*j = -0*j + 54. Let g be (-424)/(-10) + (-2)/5. Let z = j + g. Solve m - z = -4*m for m.
3
Suppose 3*v + 0 - 3 = 0. Suppose s + 2 = 3*b + v, -b = 5*s - 27. Let h be (-13)/(-4) + (-2)/8. Solve -b = -j - h for j.
-1
Let u be (-15 - 0)*2/(-6). Let c be u/10*(1 - -3). Solve -c*s = -7*s - 5 for s.
-1
Let s(b) = b**3 + 5*b**2 + 5*b + 4. Let v be s(-3). Suppose 0*u = -4*u + x - 21, 3 = -x. Let g = v + u. Solve y - 2*y = -g for y.
1
Let o(w) = -w**3 - 14*w**2 - 13*w. Let y be o(-13). Suppose y = -b - 2, 1 = z + 2*b + 3. Solve -4*x - 10 = -z*x for x.
-5
Let a be (1 + -3)*(-42)/4. Let o = -48 + a. Let j be (4/(-3))/(6/o). Solve -2*l + 12 = -j*l for l.
-3
Let g be (1 - 1)*(1 - 2). Suppose 2*q + 29 = x, q + 17 = -q + 5*x. Let c be 18*(q/6 + 3). Solve o + 2 - c = g for o.
4
Suppose -4 = -2*r + 6*r. Let l(n) = n + 1. Let t(g) = -6*g - 4. Let p(u) = 5*l(u) + t(u). Let a be p(r). Solve 0*b + 2 = a*b for b.
1
Suppose 2*n = -x + 9, -5*n + 2*x + 12 = x. Let d(j) = 0*j + 3 - 2*j**3 - j - j**2 - 4*j**3 + 5*j**n. Let z be d(0). Solve -z*s = -4 - 5 for s.
3
Suppose 0 = 3*p - 4*q + 6, -2*p + 2*q - 4 = -p. Suppose -p*n + 4 = 3*w + 17, -4*n = -w - 9. Solve 5*u + n = 11 for u.
2
Suppose 0 = -5*v + 48 - 8. Suppose 4*y - v = 4. Suppose -u + 65 = 5*o, 0*u + 27 = o + y*u. Solve -s = 2*s + o for s.
-4
Let j(s) = -s**2 - 3*s + 7. Let m be j(-4). Suppose -k + m*l + 97 = 3*k, 0 = -2*k - 5*l + 55. Solve -2*h = -7*h - k for h.
-5
Let m be (20/12)/(2/(-6)). Let s = 5 + m. Solve s*p = 3*p - 6 for p.
2
Let s(k) = k**3 + 8*k**2 + 5. Suppose -4*y = 3*u + 2 + 6, -y = -2*u - 20. Let d be s(u). Solve -r = -d*r - 12 for r.
-3
Let h = -2 - -5. Suppose 70 + 20 = h*z. Suppose 5*x = 5*i + z, 3*x = x - 2*i + 24. Solve 1 = -2*o - x for o.
-5
Suppose 5*w - 21 = q, 0 = 5*q - 3*w + w + 59. Let l = 15 + q. Solve m - 9 = l*m for m.
-3
Suppose -2*q = -6*q + 32. Let t be (q/12)/(2/3). Suppose t + 9 = 5*d. Solve n - 3 = d*n for n.
-3
Let u = -61 - -62. Solve 0 = -s + u - 5 for s.
-4
Let g(k) = -1. Suppose -2*x - 2 = -2*r, 4*r + 2*x - 1 = 3. Let c(u) = 2*u - 4. Let m(i) = r*c(i) + 3*g(i). Let n be m(5). Solve -2*w = n*w - 10 for w.
2
Let b(f) = -7*f - 26. Let x be b(-5). Solve -2*y - x = y for y.
-3
Let p(g) = -g**2 + 6*g + 1. Let w be p(6). Let q be 10/2 + (-5 - -8). Suppose 2*o + q = 0, -h + o - 4 = -10. Solve h*b - 5 = -w for b.
2
Let j(h) = -2*h**2 - 34*h + 45. Let q be j(-18). Solve q*w = 12*w - 15 for w.
5
Let a = 20 + -12. Solve 2*v = -0*v - a for v.
-4
Let j = 24 - 21. Solve j*n - 4*n = -2 for n.
2
Let m(j) = j**3 - 15*j**2 + 8. Let q(w) = w**3 - 14*w**2 + 7. Let k(s) = -6*m(s) + 7*q(s). Let u be k(8). Let r be 1/u*-2 - -11. Solve 2*a - 5*a + r = 0 for a.
3
Let j(z) = -z - 18. Let w be j(-10). Let h be (1/(-4))/(2/w). Let r = 1 - -6. Solve -2*m + h = -r for m.
4
Let c(q) = 4*q - 3*q + 1 - 13 + 2*q. Let d be c(6). Solve -4*w + d = 26 for w.
-5
Let p be 0 + -3*(-4)/12. Solve -7 = 4*b + p for b.
-2
Let k be 5 - (-3 + (-9)/(-3)). Suppose 13 = k*s - 2. Solve m - s*m = 0 for m.
0
Let j = -105 - -106. Solve 3*l = 14 + j for l.
5
Suppose -5*o + 1 = -19. Suppose 4*v - 28 = 4*p, -2*v - 3*v - o*p + 17 = 0. Solve 16 = f - v*f for f.
-4
Suppose z = -z + 24. Let w be -1 - (-1)/(2/10). Suppose -3*m + 3*b = 6, -m - w*b = 2*m - 22. Solve 2*r + m = z for r.
5
Suppose -x + 0*x - 17 = 5*b, 2*b = 2*x - 14. Solve 8 = -x*s + 5*s for s.
4
Let g(m) be the second derivative of -m**4/12 + 4*m**3/3 - 3*m**2/2 + m. Let n be g(7). Solve -n = v - 3*v for v.
2
Let q(t) = -t**2 - t + 4. Let l be q(0). Suppose 3*i - 15 = 0, -5*u + 2*i = 9 + 11. Let o be (u + 3)/1*5. Solve -o*v = -l*v for v.
0
Let w(d) = -5*d - 1. Let k be w(-1). Suppose -4*n + 2*r = -k, -1 = -n + r - 0. Let u = 3 + -1. Solve u = -o - n for o.
-3
Let i = -3 + 3. Suppose 4*r + r - 70 = i. Solve r + 1 = -3*u for u.
-5
Suppose 2*u = 17 + 33. Solve -5*h - u = -0*h for h.
-5
Let i(o) = o - 8. Let x(n) = n**3 + 3*n**2 + 1. Let p be x(-3). Let r = 7 + p. Let b be i(r). Solve f + f = b for f.
0
Suppose 5 = -v - 2*f, -2*v - 3*f + 20 = -5*f. Let i be -1*3*8/6. Let d = i + v. Solve 2*b = b + d for b.
1
Suppose 4*t + l + 18 = 3*t, 3*t - 5*l + 62 = 0. Let i = -13 - t. Solve 0 = -3*k - i - 6 for k.
-4
Let c = 0 + 2. Let x(h) = h**2 - 2. Let u be x(c). Suppose 43 = u*t - n, 2*n = 3*t - 97 + 31. Solve v = -4*v - t for v.
-4
Let v be -3 + 1 + (1 - 4). Let r = v + 12. Solve -r*d = -2*d - 5 for d.
1
Let o be (27/(-15))/((-1)/5). Solve -3*p - o = -3 for p.
-2
Let y = 15 + -9. Let h be 0*2/(-4)*1. Solve -2*j + y*j + 12 = h for j.
-3
Let x = 2 + 0. Suppose -3*u - 18 = -3*t, 12 = -t - 4*u - 7. Let l = t + x. Solve y = -l*y for y.
0
Let c(m) = -m + 1. Let x be c(5). Let q = x + 6. Solve -q = -4*k - 22 for k.
-5
Suppose 0 = 5*k - 27 + 2. Solve 2*c = -k - 1 for c.
-3
Let m be 6/(-2) - (-6 - -1). Solve 3 = -m*n - 7 for n.
-5
Suppose -7*g = -2*g - 45. Let l = -14 + g. Let a = l - -11. Solve a*r - 20 = 2*r for r.
5
Let k(a) = -5*a**2 + 22*a + 41. Let i(r) = -2*r**2 + 7*r + 14. Let s(n) = 8*i(n) - 3*k(n). Let f be s(-8). Solve 4*p - f = -p for p.
1
Let n = 0 - -3. Suppose 2*u - 4 = 6. Suppose -u*f + 32 = -f. Solve -c - f = -n*c for c.
4
Let u = -157 - -161. Solve 4*o - u = 3*o for o.
4
Let t(c) = -c**2 - 5*c + 2. Let u be t(-4). Let z = 10 - u. Suppose 0 = 3*a - 7*a. Solve 0*q + q + z = a for q.
-4
Let m(h) = -h**2 - 6*h + 3. Let q be m(-6). Suppose -2*l = -c, q*l = -4*c + 24 - 2. Suppose 0 = l*p - 4, -4*p + 8 = 5*y. Solve y = -3*i - 2*i + 5 for i.
1
Let i(z) be the second derivative of z**6/240 - z**5/120 + z**4/4 + 3*z. Let f(q) be the third derivative of i(q). Le