p for p.
0
Let t(l) = l - 1. Let v(y) = 3*y - 5. Let p(m) = -4*t(m) + v(m). Let h be p(1). Let o(i) = -i**3 - 2*i**2 - 4*i - 3. Let b be o(h). Solve -b*a - 20 = 5 for a.
-5
Let m(n) = 3*n. Let u be m(1). Suppose -h - u = -2*h. Suppose 0 + 6 = j. Solve h*y - j + 0 = 0 for y.
2
Let h be 300/108 - 2/(-9). Solve -h*m + 1 + 2 = 0 for m.
1
Let i(s) be the first derivative of 7*s - 2*s**2 + 3*s**2 - 2 - 2 + 5. Let w be i(9). Solve 0*h = -5*h + w for h.
5
Let x be 12/(9/(-3))*-1. Suppose -x*m = 3*y - 76, -4*y = 3*m + m - 80. Suppose -2*l + m = 2*l. Solve -3*v + l = -2*v for v.
4
Suppose 2 = -0*j + 2*j. Suppose -26 + j = -5*m. Suppose -2*a - 12 = a, -m*a = -2*n + 26. Solve 2*i + 5 = -n for i.
-4
Suppose 9*r = 2*p + 4*r - 7, 5*p - 65 = 3*r. Let c = -11 + p. Solve c*o + 15 = -0 for o.
-3
Suppose 43*z + 24 = 45*z. Solve z = -0*t + 4*t for t.
3
Suppose -2*u = i - 11, 2*i = 5*u - u - 2. Solve -i*r - 16 = 4 for r.
-4
Suppose -7*x + 4*x + 9 = 0. Solve -i + 2*i - x = 0 for i.
3
Suppose -g + j - 3*j = -48, 4*g = -5*j + 177. Suppose -2*t - m = 2*t + g, -2*t - 2*m - 16 = 0. Let c = t + 13. Solve 1 - c = -2*p for p.
1
Let n(b) = b**2 + b - 1. Let c be n(-2). Let s(l) = 6*l + 1. Let f be s(c). Solve -4*o + 3 = f for o.
-1
Let o(n) = -n**2 - 6*n - 2. Let d be o(-5). Solve s - d = -2 for s.
1
Let x be (1 + -1)/((-36)/(-18)). Solve -5*w = -x*w + 25 for w.
-5
Let q(y) be the third derivative of -y**5/60 - 2*y**4/3 + 11*y**3/3 + 7*y**2. Let x be q(-17). Solve x*k - 5 = -20 for k.
-3
Let j be ((-9)/(-6))/((-3)/(-8)). Suppose j*r - 8 = -4*h, 0 = 3*r + r + h - 14. Solve r*t - 6 = 6*t for t.
-3
Let v be -3*1*4/(-6). Suppose -3*o = -5*t - 2*o - 6, 5*t - v*o = -2. Let y be 3*-10*t/12. Solve y*i + 2 = -8 for i.
-2
Let d(a) be the third derivative of 2*a**2 + 1/60*a**5 + 1/2*a**3 + 0*a - 1/120*a**6 + 0 + 1/24*a**4. Let g be d(0). Solve -2*w - g - 5 = 0 for w.
-4
Suppose 4*k + 8 = 0, -25 = -2*p - 3*p + 5*k. Let t be 5/(5/(-3)) + 4. Let o be t/(28/(-16) + 2). Solve -o = p*l + l for l.
-1
Let x be 1/(((-15)/9)/(-5)). Let n(w) = -w. Let k be n(3). Let l = 3 + k. Solve x*u - 2*u = l for u.
0
Let p be (-2)/4 - (-28)/8. Suppose 17 + 7 = p*r. Solve -3*q = -q - r for q.
4
Let b be ((-2)/(-3))/((-6)/(-36)). Solve z = -b*z + 20 for z.
4
Suppose -k = -6*k + 40. Solve 0 = w - 3*w - k for w.
-4
Suppose -m + 0 = 2*p - 20, 0 = -3*p + 2*m + 37. Let z = -6 + p. Solve 10*g = z*g + 5 for g.
1
Let t(a) = -a**2 + a + 2. Let d be t(2). Let u be (-4)/(-1) - 1/1. Solve -u = h - d*h for h.
-3
Let m(g) = g**2 + 4*g - 4. Let y be m(-4). Suppose -v = -2*w - 11, 0 = 2*w + 2*v + 1 + 1. Let l = w - y. Solve 3*n + 2*n + 10 = l for n.
-2
Suppose 33 = -0*j - 3*j. Let u be -2 + 1 + (-1 - j). Solve p = -2*p - u for p.
-3
Let l = 12 - 3. Let t(z) = z**2 - 10*z + 11. Let u be t(l). Solve 0 = u*p - 5*p for p.
0
Let i(l) = l**2 + 7*l - 6. Let d(o) = -o**3 + 6*o**2 + 5*o + 6. Let w be d(7). Let r be i(w). Solve -r*s - 5 = 3 for s.
-4
Let o(b) = b**2 + 4*b + 8. Let j be o(-6). Suppose 2*k + 2*k = 12. Solve -k*q - 2*q = -j for q.
4
Suppose -2*r + 4 = -0. Suppose 0*d + 4*c + 8 = r*d, -d = 3*c - 4. Suppose -5*f + 11 = 1. Solve 0 = f*w - 0 - d for w.
2
Let b(n) = n - 1. Let i be b(1). Let u = 18 - i. Solve 4*f = 2 - u for f.
-4
Let g(d) be the first derivative of d**3/3 - 3*d**2 - 10*d - 2. Let r be g(8). Let h be 32/r - (-5)/(-15). Solve 0 = y - 0*y + h for y.
-5
Let x = -6 - -11. Let t = -40 - -43. Solve 8*h - x = t*h for h.
1
Let k(s) = -8*s**2 + s. Let z be k(-1). Let r = z - -12. Solve -r*h + 21 = 6 for h.
5
Let p(w) be the second derivative of -1/20*w**5 - 1/6*w**3 + 0 + 1/3*w**4 - w + 2*w**2. Let y be p(4). Solve y*t + 3*t = -15 for t.
-5
Let g(l) = -3*l + 0*l + 4*l + 4*l. Let c be g(1). Let d be (30/(-9))/((-2)/3). Solve -d + 0 = c*p for p.
-1
Let b(c) = c + 11. Let a be b(-8). Suppose 3*d = 12 + a. Let j = d - 2. Solve j*v + v = 4 for v.
1
Let n(g) be the second derivative of g**4/12 - g**3/3 + g**2/2 + 5*g. Let z be n(3). Solve 0 = -0*f - z*f + 20 for f.
5
Let l be 3 + -1 + -2 + 1 - 0. Solve -o + l = -4 for o.
5
Let b(q) = q - 13. Suppose -3*f - 7 + 52 = 0. Let h be b(f). Solve 0*j = -h*j for j.
0
Let u be ((-5)/(-4))/((-3)/(-12)). Let k = -5 + 30. Let t(g) = g**2 - 13*g + 30. Let i be t(10). Solve i*q - u*q = k for q.
-5
Let m = -16 - -22. Let i be (10/m)/((-1)/(-3)). Suppose u - 5*o = -2*u + 13, -u + 3*o + 7 = 0. Solve 3*j - i = u for j.
2
Let b = -12 + 17. Suppose -19 = -b*y + 5*d - 4, -5*y - 2*d - 6 = 0. Let c(i) = -i**3 + i**2 + i + 3. Let a be c(y). Solve 3 = -0*j - a*j for j.
-1
Let a(p) be the first derivative of p**3 - p**2/2 - 1. Let t be a(1). Suppose 2 = h - t. Solve -h*w = -3*w for w.
0
Let q be (-3)/(-2) + (-2 - 20/(-8)). Solve -3 = -q*u + 3*u for u.
-3
Suppose -2*p - p + 12 = 0. Solve -p = 3*z + z for z.
-1
Let a(h) = -h**2 - 8*h + 5. Let j be a(-8). Solve 0*c + 20 = -j*c for c.
-4
Let x(b) = 0*b**2 - b**3 - 5*b**2 + 4 - 1. Let o be x(-5). Let n be (-16)/(-20)*(-5)/(-2). Solve 1 + o = -n*w for w.
-2
Let s(b) = 2*b - 6. Let x be s(5). Let o(m) = -m + 7. Let l be o(x). Let k(v) = v**2 - 6*v - 21. Let f be k(9). Solve g = l*g - f for g.
3
Let b(k) = -k**2 + k + 3. Let r be b(0). Let t(q) = 2*q - 9. Let d(p) = -p + 1. Let o(f) = 3*d(f) + t(f). Let z be o(-6). Solve r*u = -z*u - 12 for u.
-4
Suppose 4*k = -k + 15. Suppose -5*g - 4*y + 120 = -65, k*g - 143 = 4*y. Suppose -3*f = 3*b - 3, 4*b + g = 3*f + 3. Solve 0 = 3*z - 0*z + f for z.
-2
Suppose o + 2*n - 8 = 0, n - 4*n + 18 = 3*o. Solve q = -3*q + o for q.
1
Let u = 3 - 0. Suppose -6 = 3*v + 21. Let r be (v/6 + 1)*0. Solve r = z - 0 - u for z.
3
Let w(k) = 3*k + 12. Let v be w(3). Solve v - 6 = 3*z for z.
5
Suppose -3*l + 2*l = -3*l. Solve -3*m + 5 + 10 = l for m.
5
Let d be (-20)/6*8/(64/(-12)). Solve d*z - 7*z - 2 = 0 for z.
-1
Let y(s) = -s**3 + s**2 + s + 2. Let o be y(0). Suppose r - 12 = o. Solve -4*w - 6 + r = 0 for w.
2
Let b be ((-3)/(-6))/((-2)/(-16)). Let a = b - -1. Solve 0 = -a*p - 1 - 24 for p.
-5
Let u = 4 + -2. Suppose -2*s + 10 = -g + 5*g, u*s = 5*g - 8. Solve -c = -g*c for c.
0
Let k(w) = -2*w + 19. Let c be k(8). Let z be (-16)/24 - (-8)/c. Solve 0 = 5*v - z + 27 for v.
-5
Let a = -3 + 7. Suppose a*o - 3 = 5*f - 1, -4*o + 16 = 2*f. Solve -10 = z - o*z for z.
5
Let u be 21/9 + 4/6. Let s = -3 - -7. Let c(a) = a**2 - 3*a - 3. Let z be c(s). Solve -z = r - u for r.
2
Suppose -4*y = -0*y - 72. Suppose 0 = -2*m - 10, -w - m + 3*m = -y. Solve -w - 1 = -3*n for n.
3
Suppose 6 - 11 = -o. Solve -o*h = -3*h - 10 for h.
5
Let a be (3/(-6))/(-1)*120. Suppose 3*i = -2*i + a. Let t be 0 + -1 - -1 - 0. Solve -i = 3*u - t for u.
-4
Let r = -10 - -22. Let d be (-3)/r - 1/(-4). Solve d = 4*x - 0*x - 12 for x.
3
Let w(i) be the third derivative of 0 + 0*i + 1/20*i**6 + 1/30*i**5 - i**2 - 1/6*i**3 + 0*i**4. Let s be w(1). Solve s = 2*o + 1 for o.
3
Let g(j) = -7*j - 4. Let h be g(-1). Solve -4*d - 15 + h = 0 for d.
-3
Let q be (15/(-25))/(2/(-50)). Solve 3*f = q - 3 for f.
4
Let n be 12/(-27)*-3*-6. Let i(l) = -l**2 - 9*l + 4. Let f be i(n). Suppose -4*z + 3*p = p - 54, 0 = -4*p + f. Solve o = -4*o + z for o.
3
Let h = 10 + -6. Solve 4 = -h*t - 0*t for t.
-1
Let j(v) be the first derivative of v**2/2 - 13*v - 1. Let x be j(7). Let w = -3 - x. Solve 2*r + r = -w for r.
-1
Let v be -4 + -4 - (1 - 0). Let r = v + 13. Let n(k) = 4*k**2 + k + 1. Let h be n(-1). Solve h*c + 8 + r = 0 for c.
-3
Let u(a) = 5*a**2 + 16*a - 14. Let t(m) = -11*m**2 - 33*m + 29. Let d(f) = 6*t(f) + 13*u(f). Let l be d(6). Solve 2*q = -2*q - l for q.
-4
Suppose 4*q = -2*q. Solve q*n = n - 5 for n.
5
Let i be (-32)/8*-1*1. Suppose -3*q - 2*f + 10 = 0, 5*q + 0 - i = 3*f. Suppose q*u + 0*u = 0. Solve u = 2*w + 3*w - 10 for w.
2
Let i be ((-32)/6)/(-2*1/3). Solve 5*c + i = c for c.
-2
Let u be 4/(-6)*27/(-6). Let a(l) = 2*l + 43. Let w be a(-19). Solve -u*m = -1 - w for m.
2
Suppose 0 = -k + 6*k. Let n be (k - 1/1)*-1. Let g be (-1)/(n + -2)*20. Solve 0 = 3*z + 2*z + g for z.
-4
Let t(i) = -4*i**3 + 6*i - i**2 + 0*i**3 + 3 + 3*i**3. Let w be t(-3). Solve -5 = -w*a - 2*a for a.
1
Let h(w) = -w**3 - 4*w**2 + 4*w. Let q be h(-5). Solve 0 + q = -5*r for r.
-1
Let y(x) = x + 4 + 2*x - 3. Let c be y(5). Solve -4*h - c = -0*h for h.
-4
Let u = -6 - -8. Suppose u*h - 11 = b, 4*b = 8*h - 3*h