 ((-21)/3 - -4)*-2. Solve 10 = -4*p + d*p for p.
5
Let t = 21 - 21. Suppose 0 = -2*o - y - t*y + 8, 3*y = 0. Solve o + 2 = 3*k for k.
2
Let s(u) = 0*u + 3*u + 3 + u. Let j be s(3). Solve -2*r - r - j = 0 for r.
-5
Let j(s) = -s + 8. Let a be j(4). Suppose -4*c - 4 = a*r, 2*r + 3 - 5 = -3*c. Solve 0*t + c*t = 8 for t.
2
Let u = 54 - 54. Solve u = -4*l - 14 + 2 for l.
-3
Suppose 2*y + l = 3*l + 12, 0 = -4*y - 4*l - 16. Let b = 4 - y. Solve b = j - 0*j for j.
3
Let j(p) = -18*p - 2. Let w be j(-1). Solve 0 = 3*m + m + w for m.
-4
Let s(h) = -4*h**3 - 1 + 0 + 7*h**3 + 2*h**2. Let o be s(1). Suppose 2*g - 2 = -4*d + 2, -g + o*d - 4 = 0. Solve f = -g*f for f.
0
Let l = 4 + 4. Suppose 0 = -4*u + 2*r + 6, 4*r + 12 = -4*u - 0*r. Suppose 5*q - 2*x = 33, u = x + x + l. Solve 5 + 20 = q*f for f.
5
Let l = 44 - 38. Solve -b = -3*b + l for b.
3
Let p = -19 - -21. Solve -3*j + p + 1 = 0 for j.
1
Let u be (-4 - 0) + 0 + -1. Let r(t) = t**3 + 4*t**2 - 6*t - 2. Let v be r(u). Let l be (0/(-1))/(v/(-3)). Solve l = -3*f - 3 - 3 for f.
-2
Suppose 0 = -5*f - 3*o + 9, f = 5*f - 5*o + 15. Suppose 5*g = -639 + 2034. Let s be (-2)/12 + g/54. Solve 0*d + d + s = f for d.
-5
Let t(i) = -4*i - 4. Let k be t(-3). Suppose -5*o = f - 94, -7*f - 38 = -3*o - 3*f. Solve 2*m = -k + o for m.
5
Let y = -40 - -44. Solve 0 = 5*b + 1 + y for b.
-1
Let w(i) = 0*i**2 - 5*i**3 + 4*i**3 + 6 + 3*i - 6*i**2. Let f be w(-7). Suppose -20 = -5*v + m, -v = 2*v - 5*m - f. Solve 2 = l + v for l.
-1
Suppose -3*f + f + 4 = 0. Suppose 5*p - d - 145 = 0, 2*p + f*d - 101 = -31. Solve 10 - p = -4*i for i.
5
Let s(w) = -4*w - 18. Let g be s(-7). Let m(h) = -25*h. Let i be m(1). Let n be (i/g)/(1/(-2)). Solve -n*z + z = 8 for z.
-2
Let s(h) = h + 1. Let f be s(10). Suppose 3*n = -2 + f. Let b be (-8)/(n/(-1) + 1). Solve -x + 3 = -b*x for x.
-1
Suppose -5*t + 24 = 3*a - 42, 5*t - 72 = -a. Let u be (-12)/(-18)*18/(-4). Let r(c) = -c**3 - 4*c**2 - 4*c - 1. Let z be r(u). Solve t = 5*l - z*l for l.
5
Let m(z) = 2*z + 30. Let l be m(-13). Solve 7 + 1 = l*o for o.
2
Let s(a) = -a**3 + 6*a**2 + 3*a - 6. Suppose -2*h - 12 - 2 = -4*q, -3*h - 3 = -3*q. Let w be s(q). Solve -8 = 5*t + w for t.
-4
Let h(i) = -i**3 - i**2 + 7*i + 3. Let b be h(-3). Solve 0 = -b*c - 4*c for c.
0
Suppose -4*x - 5 = -17. Suppose 0 = k - x*k + 6. Solve -k*r + r = 0 for r.
0
Let i(z) = 3*z - 17. Let m be i(8). Solve -m - 8 = 3*x for x.
-5
Let z(o) = o**2 - 8*o + 14. Let a be z(6). Solve a*u = -0*u for u.
0
Suppose 0 = -3*o - 4 - 2. Let z(y) = y**2 + y - 1. Let c be z(o). Solve j + c = 5 for j.
4
Let p be (30/8)/((-1)/20). Let a be (p/60)/((-1)/4). Solve 0 = -a*g + 5 for g.
1
Suppose -8 = 3*t - 23. Let m(r) = r - 9. Let u be m(9). Suppose -3 = -p - 0. Solve u = p*v + 7 + t for v.
-4
Let p be (5/3)/((-5)/30). Let x = p - -13. Solve u + x = -2*u for u.
-1
Let l(n) = n**2 + 7*n - 4. Let o(b) = 2*b**2 + 13*b - 9. Let c(h) = 5*l(h) - 3*o(h). Let p be c(-6). Let s be 4/p*(-25)/10. Solve 0*w + w = -s for w.
-2
Let g = 3 + -3. Suppose 0 = 3*m + 5*z + 3, m + m = -2*z + 2. Solve g*x + m = -x for x.
-4
Let o be 6*((-5)/(-2) - 2). Suppose -o*m + 0*m = -9. Solve -u = 2*u - m for u.
1
Let i be (-1)/5 + 2/10. Suppose 25 = 5*y, 3*n + 3*y - 15 = -0*n. Let l = -5 + 7. Solve i = -n*m - l*m + 4 for m.
2
Let g(y) = 4*y**2 - y + 1. Let w be g(1). Solve -w*q + 7 + 1 = 0 for q.
2
Let z(u) = u**2 - 5*u + 6. Suppose -6 - 5 = -4*w - 5*y, 0 = 2*w - 5*y - 13. Let c be z(w). Solve p = -p - c for p.
-1
Suppose -12 = c - 4*c. Solve 0*y + 16 = -c*y for y.
-4
Let n be 22/(-5) + 4/10. Let q be (-1 - -4) + n + 1. Solve q*f + 12 = 3*f for f.
4
Suppose 6*o + 5 = 4*o + 3*w, 5*o = -w + 13. Solve 0 = -q - o*q - 15 for q.
-5
Let m(n) = n**3 + 6*n**2 + 4*n. Let q be m(-5). Solve 0*z - 10 = -q*z for z.
2
Let l be ((-7)/(-5))/(4/20). Solve -3 = h - l for h.
4
Let k(z) = -z**3 - 6*z**2 + 7. Let p be k(-6). Suppose 5*u = p*u. Solve u*c = 5*c for c.
0
Let n = -2 - -1. Let i be ((-6)/2 + -4)*n. Suppose -c + 3*v = 7, -5*c + i = -0*c - v. Solve 0 = -c*g + 1 - 5 for g.
-2
Suppose -5*y - 5*d + 10 = 0, -5*y + 5 = 3*d - 1. Let u = y + 3. Solve -w = u + 2 for w.
-5
Suppose -18 = -2*q - m, -38 = -5*q - 4*m + 5*m. Solve 4 - q = -4*y for y.
1
Let c(k) = -6*k - 7. Let y be c(-6). Let j = y + -21. Solve -j = -3*g + 7 for g.
5
Suppose 2*p - 6 = -4*p. Solve -q + 0*q - p = 0 for q.
-1
Let u = -4 + 7. Let b(d) = -5*d + 4. Let p be b(4). Let i = -1 - p. Solve -u*z = -0*z - i for z.
5
Suppose t + 3*m + 12 = 0, 0*t + m = 2*t - 4. Solve -5*p + 3*p = t for p.
0
Let q be 2/7 + 48/28. Let w be (0/(-6))/((-2)/q). Suppose w = -r + 1 + 2. Solve 2*g = g - r for g.
-3
Let j = -29 + 33. Solve g = -j*g for g.
0
Let n = -47 + 51. Solve n = 4*u - 8 for u.
3
Let l(m) = 6*m**2 - 4*m + 1. Let f be l(4). Let t = -56 + f. Solve -t = -0*q + 5*q for q.
-5
Let c(t) = -t**2 + 2*t + 8. Let r be c(0). Solve -r*f + 13*f - 25 = 0 for f.
5
Let u(i) = -i**3 - 5*i**2 - 1. Let d(y) = 2*y + 3. Let r be d(-4). Let c be u(r). Let g = c + 5. Solve 0 = -0*z - g*z + 8 for z.
2
Let s(d) = d**2 - 3*d - 1. Let w be s(4). Suppose -w*h + 26 = -4*b, 0*h + 3*h = 5*b + 31. Let f(q) = 6*q + 2. Let j be f(3). Solve h*u + j = 7*u for u.
4
Let x be 1 - (-1)/2*-2. Solve -3*f + 15 = -x*f for f.
5
Let u be (-14)/4*(-20)/35. Let n be 12/3 - u - 2. Solve n*j + 10 = -2*j for j.
-5
Let u be (-12)/42 - 46/(-14). Let r = 19 - 15. Solve u*o + r = -o for o.
-1
Let d(l) = -l**2 - 6*l + 1. Let a be d(-5). Let z be (-6)/9 - a/(-9). Solve z = 6*g - 2*g for g.
0
Suppose 2*m = -3*i + 18, 13 + 1 = 3*m - 2*i. Suppose -5*z + 2*f + m = 0, -2*z - 7 = -4*f - 3. Let x = 5 - z. Solve -x = -3*h + 6 for h.
3
Let h be 22/8 + 2/8. Suppose 5*c - 23 = -h. Solve -c*v - 14 = 2 for v.
-4
Suppose 8 - 12 = -2*c. Solve v + c*v + 3 = 0 for v.
-1
Let t = 137 - 131. Solve 4*j + t = 2*j for j.
-3
Let p be (-1)/((6/(-3))/6). Let m = 1 + p. Solve 4*y + 0 = -m for y.
-1
Let z be (-10)/(-6) - 1/(-3). Suppose 5*o = -z*n - 19, -3*o + 2*o = 3*n + 9. Let k be (2 - -1)/(o/(-12)). Solve 0 = 3*u - k for u.
4
Let u = -5 - -7. Solve 2*k = -0*k - u for k.
-1
Let s(d) = -3 + 4*d**2 - 2*d + 0*d**2 + d**3 + 2*d**3 - 4*d**3. Let y be s(3). Let c(i) = -i**2 + 6. Let p be c(y). Solve k + k + p = 0 for k.
-3
Let v(m) be the second derivative of -m**4/12 - m**3/2 + 2*m**2 - 3*m. Let g be v(-4). Solve -2*f + g = -4 for f.
2
Let o be (60/(-40))/((-3)/16). Suppose -5*y + 2*y = -18. Solve -y*w + 4*w = -o for w.
4
Let a(d) = -d**3 + 6*d**2 + 4. Suppose 4*w = -w + 30. Let k be a(w). Solve z = -k*z for z.
0
Let k = 12 + -9. Suppose -4*d + k*d = 0. Suppose 7*v - 15 = 2*v. Solve -v*h = -12 - d for h.
4
Let p(m) = -m**3 + m - 2. Let d be p(-2). Let f = -5 + d. Let i be f/2 - 14/(-4). Solve -i + 5 = -2*l for l.
-1
Let p(m) = m**3 + 7*m**2 - 2*m - 10. Let a be p(-7). Solve z = -3 + a for z.
1
Let l(d) = d**3 + 14*d**2 + 23*d - 4. Let o be l(-12). Solve o = m + 3*m for m.
2
Let b be 2 + (-4)/2 - -1. Solve -3 = -2*t - b for t.
1
Suppose 3*n - 2*k = -2*n + 41, -15 = 5*k. Solve -n - 5 = 4*c for c.
-3
Suppose -r - 3 = -1. Suppose -4 = -4*v - 0*v. Let d = v - r. Solve 0 = -d*h + h - 8 for h.
-4
Suppose -4*z = -z - 15. Let h(s) = -2*s**2 + 10*s + 3. Let q be h(5). Solve -q*u - z = 2*u for u.
-1
Suppose 5*j + 3*r = 4*r + 24, -5*r - 20 = 0. Solve -j*n + 2 + 14 = 0 for n.
4
Let a(m) = 3*m + 5. Let t be a(4). Suppose n - 4 = -0. Solve -t + 1 = -n*s for s.
4
Suppose -20 = -7*n + 3*n. Solve -1 - n = -2*f for f.
3
Let l = -521 + 546. Let s(d) be the second derivative of d**4/12 - d**3/3 + d**2 + d. Let f be s(2). Solve -3*i - l = f*i for i.
-5
Let g(n) = n**2 + n + 7. Let f be g(0). Let m(w) = -w**2 + 37. Let q be m(0). Let j = -22 + q. Solve 2*o - j = f*o for o.
-3
Let z be (60/9)/(-4)*-3. Solve z*c - 5 = 20 for c.
5
Let d(l) = -2*l - 12. Let p be d(-7). Solve 0 = -4*m + p + 14 for m.
4
Suppose -x + 2*x = 7. Solve x*w - 2*w + 5 = 0 for w.
-1
Suppose -2 = 2*x - 4*a, -5*a = -5*x + 3*x - 5. Let g(c) = c**3 - 10*c**2 - 12*c + 15. Let v be g(11). Solve -v*q + x = -7 for q.
3
Suppose -s + 2*s = 5*w - 23, 0 = -4*w - 5*s + 30. Let z = 8 - w. Solve 2*d - z = 5 for d.
4
Let o be 0*(-3)/(-3)*-1. Suppose o = 5*h - 6*h + 4. Suppose -5*u + 2*u = -15. Solve -11 - u = -h*l for l.
4
Let v be 33/9 + 2/6. Suppose 0*g - g + 4 = 0. Suppose 0*d - d = -g. 