*p for p.
1
Suppose -3*q = 4*f - 31, -3*f + 36 = -q - q. Solve f = -8*g + 3*g for g.
-2
Let q = -9 + 13. Suppose i - 2 = -q*p, -p - 8 = -4*i - 2*p. Solve -i*x - 6 = x for x.
-2
Suppose 0 = 3*s - s. Let a be 2/4*(-20)/(-2). Solve s = -i + a*i for i.
0
Let w(b) = b**3 + 8*b**2 - 9*b - 8. Let o be w(-9). Let x be (-5 + 2)*o/6. Solve -x*z = z - 10 for z.
2
Let j(q) = -13*q**3 - 28*q**2 + 32*q + 4. Let d(s) = 3*s**3 + 7*s**2 - 8*s - 1. Let r(h) = -9*d(h) - 2*j(h). Let m be r(-8). Solve -5*y + m = -4 for y.
1
Let h(x) = -x**3 + x + 3. Let b be h(0). Let q = b - -1. Let s = 0 + q. Solve o - 10 = -s*o for o.
2
Let m(l) = 2*l**2 + 3*l + 5. Let o be m(-2). Solve -2*p = -o*p - 5 for p.
-1
Let s = 4 + -1. Solve -6 = -0*w + s*w for w.
-2
Let y = 1 - -1. Solve -15 = y*r + r for r.
-5
Let w = -6 - -10. Solve 0 = -w*s + 4 - 0 for s.
1
Suppose z + 6 = 7. Solve 0 = 2*u + z + 9 for u.
-5
Suppose 0 + 8 = 2*t. Suppose 0 = -0*y + y - t. Solve 9 + 7 = y*i for i.
4
Let j be (-4 + 3)*1/(-1). Let g(r) be the third derivative of r**6/120 - r**5/30 + r**4/24 + r**2. Let m be g(2). Solve -v = j + m for v.
-3
Let i = 9 + 5. Solve -4*d = 6 + i for d.
-5
Let y = -14 + 8. Let h = 11 + y. Suppose h*z = 4*j + 48 - 13, 0 = -4*z + 4*j + 32. Solve -z*t = -8*t for t.
0
Let b(z) = 2*z**2 - z. Let v be b(-2). Let l(i) = 6 - i - 4 - i**2 + 4*i. Let f be l(2). Solve -f = -3*u - v for u.
-2
Suppose 2*v - j = -51, -88 = 3*v - 4*j - 24. Let z be (3/(-2))/(21/v). Suppose 0 = -k + 3*k. Solve k = w + z*w + 6 for w.
-2
Let f(v) = v - 16. Suppose 18 = -3*b + 66. Let g be f(b). Solve 0*s - 5*s - 5 = g for s.
-1
Let g(c) = -c**2. Suppose -3*u + 2 - 17 = 3*q, -4*u + 4 = -2*q. Let a(l) = l**3 - 4*l**2 - 2. Let d(f) = u*a(f) - g(f). Let w be d(5). Solve -w*o = o for o.
0
Let g = 15 - 15. Solve g = -z + 5 for z.
5
Suppose -d + 8*r - 3*r = 16, 3*d = r + 8. Solve 9*k = d*k + 20 for k.
4
Suppose 5*b + 0*b = 0. Suppose 12*j + 2*j - 28 = 0. Solve b = 4*a - 14 + j for a.
3
Suppose 2*g + 2*b - 4*b = 24, 2*b = g - 15. Solve -4*y + g = -y for y.
3
Let l(h) = -h + 13. Let a be l(9). Solve -2*p + 0 - a = 0 for p.
-2
Suppose 3*m + 3*n + 7 = -2, n + 9 = 2*m. Solve 4*c = 3*c + m for c.
2
Suppose u = 2*u - 6. Let b be 8*(3 - 5/2). Suppose 48 = -0*d + b*d. Solve 0 = u*a - 3*a + d for a.
-4
Let j(m) = -m**3 + 17*m**2 + 2*m - 25. Let k be j(17). Solve 5*y + k + 6 = 0 for y.
-3
Let o = 3 - -4. Suppose -2*d = -3*d + 13. Suppose 2 = 5*f + 2*u - u, 4*u = -5*f + 8. Solve f = -5*x + d + o for x.
4
Suppose 0 = 5*r, 10 = -3*u + 5*u + 4*r. Let s = 7 - u. Solve 0 = -5*y - 18 - s for y.
-4
Let g(m) = 4*m**2 + 4*m - 3. Let x be g(-4). Suppose -5*l - j = 45, -3*l = 2*l - j + x. Let o(v) = -v + 1. Let s be o(l). Solve -2 = 2*a - s for a.
4
Suppose 120 - 30 = -5*x. Let q = -3 - x. Solve -g - 2*g + q = 0 for g.
5
Let u = -3 - -5. Let h(l) = l**3 - 2*l + 1. Let n be h(u). Solve -n*f + 6 = -9 for f.
3
Let k(n) = -n**2 - 6*n - 2. Suppose 0 = -l - l - 12. Let u be k(l). Let q = 4 + u. Solve -g - q*g = -12 for g.
4
Let z = -28 + 34. Solve -z = -3*o - 0 for o.
2
Let q(c) = c**2 - 2. Let s be q(0). Let x = s + 6. Solve -10 = 6*i - x*i for i.
-5
Let o be (-3)/3 + 1/(-1). Let i be 3 + o + 0/1. Let c be 0/(0 - (i - -1)). Solve c = k + 3*k - 20 for k.
5
Suppose -6*z - 104 = 5*f - 2*z, -3*z - 108 = 5*f. Let g = 44 + f. Let v = -8 + 13. Solve -g = v*o - o for o.
-5
Let n(c) = c**2 + 7*c - 5. Let r be n(-6). Let o = -6 - r. Suppose -5*p + 0*p = -o*j - 15, -5*j = -2*p + 9. Solve p*t + 2*t = -4 for t.
-1
Let a be (1 - (2 - 1)) + 2. Suppose -a*p = -5*p + 3. Solve 0 = -4*u + 19 + p for u.
5
Suppose 15 = -5*k + 5*w, -8*w + 26 = 3*k - 4*w. Solve -k*i = i for i.
0
Let f = -5 - -8. Suppose m - f = -0. Solve 7 = -4*u + m for u.
-1
Let d = -13 - -15. Solve -d*m + 11 = 5 for m.
3
Let c(q) = q + 15. Let u be c(-11). Solve u*o = -2*o - 30 for o.
-5
Suppose 3*f = 2*f + 14. Suppose 2*q = -g, -3*g - q + f + 1 = 0. Let l be 0/(-1)*g/12. Solve -p + 1 - 3 = l for p.
-2
Let s(l) = -2*l**3 - 2*l**2 - l - 13. Let m be s(-3). Solve 4*x - m + 10 = 0 for x.
4
Suppose 0*j = 5*j - a, 5*j - 3*a = 0. Solve 1 = t - j for t.
1
Let a = 15 + -13. Let i = a - 2. Solve -2*p - 10 + 4 = i for p.
-3
Let q = 12 - 21. Let m = -4 - q. Solve m*i = 2*i - 15 for i.
-5
Let k be ((-24)/(-16))/(4/((-32)/(-6))). Solve 0 = k*q + q - 9 for q.
3
Let j(o) = -o - 1. Let c(i) = -2*i - 2. Let m(k) = -2*c(k) + 5*j(k). Let s be m(-3). Suppose -6 = -r + s. Solve -3*b = b - r for b.
2
Let s(a) = -1 - 8*a + 4*a + 0. Let b be s(-1). Solve 0 = 3*v - b - 6 for v.
3
Let b = 128 + -125. Solve 0 = -y + b for y.
3
Let q be (-142)/(-6) + 2/6. Let j = q - 18. Solve -j = -v - 2 for v.
4
Let h = 7 - 0. Solve 0 = -h*n + 9*n + 4 for n.
-2
Let h = 21 + -15. Let v = h - 3. Let q be (-9)/(-4)*8/v. Solve -2*k - q = -0*k for k.
-3
Suppose n = -3*n + 4. Let i = 3 + n. Suppose -10 = -m - i. Solve u = -m + 2 for u.
-4
Let z = 27 - 53. Let g be z/(-6) - (-6)/9. Solve 4*r = -r + g for r.
1
Let a = -33 - -33. Solve a*s + 5*s - 10 = 0 for s.
2
Suppose -4*w + w = -9. Suppose -u + 6 = l - 2*u, -3*u - 8 = -2*l. Solve t = w*t + l for t.
-5
Let v be 135/36 - 1/(-4). Let m = v - -3. Suppose -5*q + 19 = -3*n, 2*q - m = -n + 2*n. Solve 2*k = -q*k + 20 for k.
5
Suppose -4*o = -10 + 2. Solve 5 = -o*r + 1 for r.
-2
Suppose 13 = 6*n + 1. Solve -6 = a + n*a for a.
-2
Let h = 3 - 0. Suppose 3*j = 2*a, 2*a + 30 = 5*a + h*j. Solve 0 = 4*c - a*c for c.
0
Let m be 0 + (-4 - (3 - 7)). Solve 0*p + p = m for p.
0
Suppose -u + 4*u - 93 = 0. Suppose -4*w + 8 + u = -5*p, 3*w + 3*p - 63 = 0. Solve w = 6*k - 2*k for k.
4
Let f(p) = p**3 - p**2 + p + 4. Let c be f(0). Suppose 0*t = -c*t + 48. Solve 0*g - t = 3*g for g.
-4
Let p(z) = 0*z + 2*z - 3 + 3. Let b be p(1). Solve u = b*u + 3 for u.
-3
Let r(q) = -3 - 1 - 3*q + 2*q. Let u be r(-8). Let w be (u + -2)*(-3)/(-2). Solve 0*y + w*y - 6 = 0 for y.
2
Let x = 4 - 1. Let u(i) = -2*i + 22. Let r be u(6). Solve x*v - v = -r for v.
-5
Suppose 0 = 2*u - 5 - 1. Suppose 2*i = 4*i. Solve i*f + u = f for f.
3
Suppose z - b + 5 = 0, z = -2*z + 4*b - 13. Let y(f) = -3 + 0 + 0*f - f. Let x be y(z). Solve x*o + 2 + 14 = 0 for o.
-4
Let b = -12 - -13. Suppose 0 = 3*q - 2*i - 12, 2*q - 6*q - 3*i - b = 0. Solve 0*w = w + q for w.
-2
Let l(h) = -h**3 - 21*h**2 - h - 21. Let p be l(-21). Solve 3*c + 4 + 5 = p for c.
-3
Let n = 87 - 82. Solve -3*i = 2*i + n for i.
-1
Let i(m) = 2*m - 4. Let n = 8 + -4. Let l be i(n). Suppose 0 = -4*k - 0*c - 3*c - 7, -l*k + 3 = c. Solve 0*t = k*t + 6 for t.
-3
Suppose 5*l + 2 + 3 = 0. Let b be (-3 - l)*(-10)/20. Solve -b = 3*o + 2 for o.
-1
Suppose -3 = -u + 6. Let a = u + -8. Solve 5*h = a - 21 for h.
-4
Let h be (-5)/(3/(0 + -6)). Solve -a + 3*a = h for a.
5
Let v = -11 + 8. Let d be v/(-5)*(2 + 3). Solve -d*c + 8 = -7*c for c.
-2
Let x be ((-1)/(-2))/(2/(-4)). Let b be 6 + x + 0/(-6). Let i(u) = -u**3 + 4*u**2 + 4*u + 5. Let k be i(b). Solve k = t + 1 - 4 for t.
3
Let m be (-1 + -3)*4/(-8). Solve -m*s = -0*s for s.
0
Let l = 30 + -28. Solve l*u = -u + 6 for u.
2
Let z be (3 + -4)*3/((-6)/8). Solve -21 = -z*d - 5 for d.
4
Let c(l) = l - 1. Let t be c(3). Suppose -3*g = 4*b + 4 - 1, 0 = -2*g - 4*b - 6. Suppose 3*f - 2*y = -8, -g*y + 12 = -3*f - f. Solve j = -f*j - t for j.
-2
Let l(d) be the third derivative of d**5/60 - d**4/4 - d**3/2 - 4*d**2. Let b be l(7). Solve 0 = t - b - 0 for t.
4
Suppose -k + 9 = w + 3*w, -2*w + 12 = -2*k. Suppose c - i - 14 = 0, w*c + 3*i - 35 = -i. Solve -7 - c = -5*p for p.
4
Suppose 3*d - 24 = -3*x, -d - d - 8 = -4*x. Solve 3*w - x*w = 5 for w.
-5
Let l(i) = -3*i - 17. Let j be l(-6). Solve b - 3 = -j for b.
2
Let c(s) = s + 11. Let m be c(-5). Solve m*p + 9 = 3*p for p.
-3
Let l be ((-3 - -3)/3)/1. Suppose l = g + g - 4. Let d(t) = t + 8. Let w be d(-6). Solve 2*c - g = w for c.
2
Suppose 7*c - 25 = 2*c. Let n(l) = l - 5. Let m be n(c). Let w be (40/30)/(1/3). Solve m = -w*b + 3*b + 3 for b.
3
Let u(m) = -m**2 + 10*m - 4. Let y be u(6). Suppose 2*w - 6*w + y = 0. Suppose 5*j - 1 = -3*t - w, -5*j - 20 = -5*t. Solve 5 = t*c - c for c.
5
Suppose -c + 31 - 7 = 4*x, x - 2*c = 6. Let i be ((-12)/(-10))/(x/40). Solve -i - 2 = 5*t for t.
-2
Let s(k) = 2*k - 5. Let o be s(5). Let t(z) be the second derivative of z**3/3 - 7*z**2/2 - 2*z. Let r be t(o). Solve 4*j + 