 n for p.
2
Let n be (3 - (-44)/12*-1)*-3. Solve 4 = -2*i - n for i.
-3
Suppose 0 = -m - 2, 3*x - m - 44 - 33 = 0. Solve 0 = 10*f - 5*f + x for f.
-5
Let f be (-10)/3*3/(-2). Suppose 5 + 115 = -f*p. Let i be (p/(-15))/((-4)/(-10)). Solve i*s - 3 = 9 for s.
3
Suppose 0*z - 8 = -4*z. Suppose -z*l + 18 = l. Solve 2*d - 12 = l*d for d.
-3
Suppose -y + 5*i - 7 + 17 = 0, 3*i = 5*y - 6. Let u(z) be the third derivative of z**4/24 + 13*z**3/6 - 2*z**2. Let q be u(-6). Solve 4*v + 3 - q = y for v.
1
Let t(u) = -7*u**2 - 12*u + 5. Let x(g) = -8*g**2 - 13*g + 6. Let a(o) = 7*t(o) - 6*x(o). Let b = -4 - 1. Let m be a(b). Solve 12 = -0*q - m*q for q.
-3
Let p(w) = 11*w**3 + 2*w - 1. Let j be p(1). Let i be ((-162)/567)/((-1)/14). Solve -i*t = -t + j for t.
-4
Suppose 12*x = 6*x + 24. Let l be (12/10)/((-1)/(-15)). Suppose 0 = -2*y + 6 + l. Solve -x*m + 0*m = y for m.
-3
Suppose 0 = -12*d - 0 - 0. Solve d = -i - 2 + 1 for i.
-1
Suppose 16 = -67*t + 75*t. Solve -1 - t = 3*f for f.
-1
Let y = 5 - 0. Suppose -2*s = -y*q + 26, -q - 5 - 6 = 5*s. Solve -3 - 9 = q*i for i.
-3
Let p(o) = 5*o - 13. Let c be p(5). Let v be 5 + -2*(-1)/2. Solve -v*t = -3*t + c for t.
-4
Let m be ((-6)/4)/(3/(-8)). Let k(y) = -y**2 + 3*y - 1. Let b be k(3). Let x be (8/(-32))/(b/8). Solve -x*r - m = -6*r for r.
1
Let j = 182 + -87. Let x = 55 - j. Let w = -28 - x. Solve l - w = -2*l for l.
4
Suppose 45 = 2*l - 7*l. Let v = -6 - l. Solve 4*c - 5 = v*c for c.
5
Let t be (-2)/(-4)*(5 - 1). Let p be (-18)/(-5) - t/(-5). Suppose -5*v = 113 - 123. Solve 3*h - p = v*h for h.
4
Let x = 22 - 18. Solve 3*y = x - 1 for y.
1
Let q be (0/(2 - 0))/(87/87). Solve 2*v - 3*v = q for v.
0
Let p = -52 + 58. Solve 2*w = -4 - p for w.
-5
Let c(b) = -b**2 - 5*b - 2. Let w be c(-4). Solve -w - 10 = 3*r for r.
-4
Let r(v) be the first derivative of -v**4/4 + 8*v**3/3 + 4*v**2 + 11*v - 1. Let h be r(9). Solve -h*d - 3*d = 0 for d.
0
Suppose -4*q = 3*l - 47, -19 = -l - 7*q + 4*q. Let u be ((-26)/l)/((-2)/9). Let g = 0 + 4. Solve 5*k - u = -g for k.
1
Suppose -2*v + 4 = -5*s - 3*v, 3*s + v = -2. Let a be -6*(3/(-9) - s). Let j = a - -8. Solve j*i + 16 = -0*i for i.
-4
Let b(l) = -l - 1. Let c be b(-5). Let m be ((-3)/(-2) - 1)*24. Suppose -3*k + m = -12. Solve -k = -c*y - 0*y for y.
2
Let r = -3 - -5. Solve 2*j + r*j = -4 for j.
-1
Suppose 4*g = -7 - 9. Let j be (g/(-3))/(2/6). Solve -j*l = 5 - 1 for l.
-1
Suppose 0 = 2*g + 3*g - 10. Let d(n) = -2*n + 16. Let l be d(8). Let b be (l/2)/((-16)/(-8)). Solve g*r = -b*r for r.
0
Let g = -3 - -6. Suppose b - 1 = g*n, -4*b + 0*n - 29 = -n. Let r be b/(-16)*(0 + 10). Solve 27 - 2 = -r*x for x.
-5
Let i(a) = a**3 + 9*a**2 + 10*a + 21. Let p be i(-8). Solve 2 = -q + p for q.
3
Let v = 26 - 14. Let z = 15 - v. Solve 4*u + 9 = -z for u.
-3
Let v = -28 + 32. Solve -6*d + v*d = 0 for d.
0
Let v = -36 + 51. Suppose 3*k + 2*k + v = 2*r, 5*r + 4*k = -12. Let l be (7 - 4)/((-40)/(-25) - 1). Solve -l = -r*c - c for c.
5
Let v be 9/4 + (-4)/16. Suppose -4*l = -3*l. Let n = 2 + l. Solve n*x = -v*x - 16 for x.
-4
Let k be -2 + 1 + 2/(-1). Let w be (-4)/k*6/4. Let r(o) = 2*o - 1. Let v be r(w). Solve v*x + 8 = -7 for x.
-5
Let u(k) = 3*k**2 + 3*k - 2. Let n(v) = v**2 + v. Let r(i) = 4*n(i) - u(i). Let j be r(0). Solve 15 = 7*s - j*s for s.
3
Let z = 4 + -1. Let o(d) = 0*d**3 + d**3 + 3*d**2 + 0*d**z - 1. Let a be o(-2). Solve 0 = -h + a*h - 4 for h.
2
Let z be (2 - 4 - -3) + 5. Suppose 5*q - 29 = 11. Let r = q - z. Solve -n + r = 6 for n.
-4
Suppose i - 16 = -i. Solve -7*s = -3*s + i for s.
-2
Let g be -3 - 5/(-2)*2. Solve 0 = -b + 3*b - g for b.
1
Suppose -r - 4*w = -2, 2*r + 0*w = -2*w + 10. Suppose -v + 120 = 3*v. Suppose -v = -4*d - 6. Solve r = -3*a - d for a.
-4
Let f be -1 + 7 - (-1 - -3). Solve 0 = -f*x - 0 + 8 for x.
2
Let d = -15 + 18. Let u(l) = l**3 - 2*l**2 + l - 2. Let b be u(2). Let n = b - 0. Solve j + d*j + 4 = n for j.
-1
Suppose 0 = 2*c - 3 - 5. Let z = 0 + c. Solve -3 = z*y + 1 for y.
-1
Suppose 0 = 4*g + 4*g - 32. Solve 3*u - g*u = -4 for u.
4
Let n(m) = -m**3 + 3*m**2 + 2*m + 3. Let p be n(4). Let x = 8 + p. Solve -x*r - 2*r = 0 for r.
0
Suppose -5*n + 1 = 2*f - 6, 4*f - 4*n = 0. Solve f = -2*a + a for a.
-1
Let b(z) = z**3 - 6*z**2. Let c be b(6). Let d be 4/3*(-30)/(-4). Suppose -5*x = -o - 13, 2*x + 4*o - 2 = -d. Solve c = 2*t + x*t for t.
0
Suppose 21 = 3*c + 6. Let x(g) = -41 + 38 - g - 6*g**2 + 0*g**3 - g**3. Let y be x(-6). Solve c*v = -y - 17 for v.
-4
Suppose -6*g = -g - 25. Solve 5 = 5*k - g for k.
2
Let v(r) = -7*r + 10*r - 6 + 6*r - r**2. Let n be v(7). Let z = -6 + n. Solve -2*p - z = -0 for p.
-1
Let d(o) = o**3 + 16*o**2 + 5. Let f be d(-16). Solve 6 = -f*n + 1 for n.
-1
Suppose -103 = -5*a - 4*u - 33, a = -u + 15. Suppose 3*w = -1 + a. Solve w*j - 2 = 5*j for j.
-1
Let y = -2 + 12. Let c = y - 8. Solve c*t + 1 = t for t.
-1
Suppose -4*d + 1 - 13 = 0. Let j = 6 + d. Solve -j*a + 2*a = -1 for a.
1
Suppose -6*b = -38 - 4. Suppose 6*w + 5 = b*w. Solve -w = -q - 0 for q.
5
Suppose d - 25 = -4*d. Let k be 1 - (-1)/(1/1). Suppose 5*t - 34 = -3*o, t - 2*o - k + 3 = 0. Solve 20 = -d*s + t for s.
-3
Suppose 0 = n - 2 - 0. Suppose 3*w - 25 = -n*w. Let k = -3 + w. Solve 3 = k*l - 7 for l.
5
Let y be (-3)/(-1 + 4)*(-7 + 4). Solve y*m - 4 = -m for m.
1
Let g(y) = 8*y**2 + 1. Let u be g(-1). Let a be (-26)/(-14) + u/63. Solve 2*d + a + 2 = 0 for d.
-2
Suppose -2*m = 2 - 12. Suppose m*u = -2*j - 0*u - 23, 5*j - 2*u = -14. Let f = j + 9. Solve 22 = -f*s - 3 for s.
-5
Let k(d) = -d**3 + 11*d**2 - 9*d - 6. Let u be k(10). Let f(c) = c**2 - c + 3. Let i = -1 + 1. Let j be f(i). Solve -u*v - 1 = -j*v for v.
-1
Let g(f) = f - 6. Let m be (0 + -6)/((-15)/20). Let a be g(m). Solve 0 = -v + 2 + a for v.
4
Suppose -7*u = -2*u. Let r be (-20)/8*(-10)/25. Solve -q + 4 + r = u for q.
5
Let d = -2 - -6. Let m(n) = n**2 + 8*n - 7. Let q be m(-9). Solve q*x = d - 14 for x.
-5
Suppose 0*g = -5*g. Suppose -i = 3, -3*f + 5*i - 2 + 11 = 0. Let t be ((0 + -2)/f)/1. Solve g*z + t = -z for z.
-1
Let r = -13 - -13. Solve r*m = 2*m + 10 for m.
-5
Let o = 29 - 11. Let s = -21 - -36. Suppose -s = 5*d - 0*d, l - 8 = d. Solve o = -l*q + 3 for q.
-3
Let p(d) = d - 2. Let w be p(3). Let r = w + 2. Solve r*o + 9 + 0 = 0 for o.
-3
Suppose 1 = 2*n - 3. Let b(g) = g**2 + 3*g - 6. Let j be b(n). Suppose 2*i + i - 9 = 0. Solve -i*v = -j*v for v.
0
Suppose -3*t + 3 = -6*w + 3*w, 0 = 4*w - 3*t + 3. Solve 4*f = -w*f + 8 for f.
2
Suppose 0 = -2*f + o + 6, -17 = -4*f + 5*o + 1. Solve -f = -2*p + 2 for p.
2
Let i = 15 - 13. Suppose -4*q = -10 - i. Solve -q*v - 4 = -10 for v.
2
Suppose -g + 5*g + 12 = 0. Let p be (1 - -1)/(g/(-6)). Solve -f + 0 = p for f.
-4
Suppose 2*d + 10 = 3*z - 0, 0 = 4*z - d - 10. Solve 0 = 4*k - z + 22 for k.
-5
Let o(w) = w + 10. Let l be 38/(-4) - 9/(-6). Let x be o(l). Solve -8 = -x*a + 2 for a.
5
Let b = -36 + 45. Let u = 1 + -1. Suppose u = 4*o - 10 - 6. Solve o*w - b = w for w.
3
Let d = 3 - 7. Let k be 162/39 + d/26. Solve 0 - k = 2*p for p.
-2
Let c = 11 + -12. Suppose 0*i - 4*i = 4. Let l be 92/(-8)*(c + i). Solve -4*u = l - 7 for u.
-4
Let j(l) be the second derivative of -l**4/12 + 2*l**3/3 + 5*l**2/2 + 3*l. Let f be j(5). Solve f = -g + 4 + 1 for g.
5
Suppose -5*f = -2*j - 19 + 5, -3*j - 2*f = -17. Solve z = -4 + j for z.
-1
Let l(i) = i**3 - 5*i**2 - 6*i + 1. Let a be l(6). Let h = 1 - 1. Suppose 0 = -c - h*c. Solve x + c*x = a for x.
1
Suppose -2*j + 4*t + 19 = 3*t, 0 = -j - 5*t - 7. Solve 0 - j = 2*o for o.
-4
Let z(p) = p - 6. Let o be z(8). Solve -o*c - 4 = -0*c for c.
-2
Suppose -4*q - 2 - 11 = v, -4*q = 4*v + 4. Solve -v*r + 8 = -r for r.
4
Suppose -4*k = 4*r - 20, -k - 3*k = r - 11. Suppose -r*p - 1 + 13 = 0. Solve -p + 5 = -d for d.
-1
Let l = -4 + 6. Let x(k) = 22*k**3 - 2*k**2 + 2*k - 1. Let d be x(1). Suppose d = 2*i + i. Solve i*s - 6*s = l for s.
2
Let a = -12 - -14. Solve -o - 1 = -a*o for o.
1
Suppose 0 = -0*z - z - 2. Let f = z - -6. Solve n = -f*n for n.
0
Let r(n) = -6*n**2. Let c be r(1). Let d = -3 - c. Solve -y - d*y + 20 = 0 for y.
5
Let l(c) = -2*c - 10. Let g be l(-7). Let n = 5 - g. Suppose 9*i = 4*i. Solve i*z = z - n for z.
1
Suppose n = -n - 12. Let j = n + 6. Solve j*q + q = 4 for q.
4
Suppose -3 = z - 7. Suppose -4*q = -z - 4. Solve 0 