- 2*y + 13 = 0 for u.
-1
Suppose 0 = -b + 5*n, 2*b = 4*n - 2*n. Solve b = -h - 2*w + 2, h - 3*w + 5 = 12 for h.
4
Suppose -7*r + 8 = -3*r. Suppose 3*t + r*t = 0. Solve -2*h - 5*b + 27 = 10, t = b - 3 for h.
1
Let u be (754/(-12))/(-13) - (-2)/12. Solve -u*l - 19 = 2*x, -20 = 8*x - 4*x + 4*l for x.
-2
Let n be 6/2*8/(-6). Let a = 7 + n. Suppose 2*d = -0 + 8. Solve 12 = d*i, -3*s - 5*i + 21 = -a*i for s.
5
Let m be 5 - (1 + 1 - (-2)/(-2)). Solve 0*r - m*o + 32 = 4*r, -2*o = r - 13 for r.
3
Let o = 20 + -16. Suppose 0 = -u + 3*y - 2, 0*y = -o*u - 3*y + 22. Solve -4*j = -u*h + 2*h + 10, 5 = h + 4*j for h.
5
Suppose -3 = 2*v - 3*v. Let m be (v/(-9))/(1/(-6)). Let l(j) = -j**3 - 3*j**2 - 2*j - 4. Let b be l(-3). Solve 4*s - b = 2*z, -s - 4 = -0*z - m*z for z.
3
Let n(j) = -j**3 + j**2. Let g be n(1). Suppose 3*p - 9 = -g*p. Suppose -23 = -y - 0*y + p*q, -q - 5 = 0. Solve -2*f + 5*k = 3*f + 30, -4*f + y = 4*k for f.
-2
Suppose 29 = 3*y - 4*c, 3*y + c - 4 = -0. Solve -3*z - 4*o + y = 26, -3*z - 2*o - 13 = 0 for z.
-1
Suppose 4*f = -6 + 34. Let s(q) = 2*q**2 - 29*q + 15. Let x be s(14). Suppose f = w + x. Solve d = -4*i - 15, d - i - 4 - w = 0 for d.
5
Let n(r) be the second derivative of -r**3/3 - 2*r**2 - 3*r. Let s be n(-4). Solve 0 = s*b + 5*k - 29, 0 = -k + 4*k - 15 for b.
1
Suppose 0 = 6*b - 0*b. Solve 2*c + o + 3*o - 2 = b, 0 = -3*c + o - 4 for c.
-1
Let x be (-2)/7 - (-23)/7. Let l(h) = -h**2 - 7*h - 2. Let j be l(-8). Let y be 330/12*(-8)/j. Solve 5*u - x*b + y = 0, b + 2*b = 3*u + 18 for u.
-2
Let j = -1 - -5. Suppose 8 = -j*m + 36. Solve 5*b - m = -3*n, -4*b + 8*n - 24 = 3*n for b.
-1
Let k(y) = -y**3 + 4*y**2 + 5*y. Let o be k(5). Suppose 5 = 3*t - 7. Suppose j = -4, -t = -x - j - o. Solve 4*d = 3*m + x*d - 23, m = -d + 6 for m.
1
Suppose m = -r + 19, 0 = 6*r - 7*r + 3*m + 7. Let z = 37 - 25. Suppose -2*k = k - z. Solve 3*s - d + 10 = -2, -4*s - r = k*d for s.
-4
Let q be (-12 - 0)*((-6)/(-3))/(-8). Solve 2*k = 6*k + 4*u - 12, -u + 1 = q*k for k.
-1
Let m be (-2)/(-2 - 9/(-6)). Suppose 3*s = m*l + 47, -6 + 1 = l. Solve 3*j + 9 = 3*k, -4*j + s*j = 4*k - 14 for j.
-2
Let b(m) = m**3 + 17*m**2 - 7*m - 18. Let c(f) = -f**2 - f + 1. Let u(j) = -b(j) - 6*c(j). Let q be u(-12). Solve 4 = d + x, q*x + 2*x - 8 = 2*d for d.
0
Let d be -1 - (-18)/(-15)*20/(-8). Solve 4*m - 6 + d = 0, -6 = -2*i - 2*m for i.
2
Let x be (8/10)/(2/5). Solve -2*q = 3*r + 3*q + 16, q - 2 = x*r for r.
-2
Let r = 9 - 6. Solve -2*n + 3*n = -2*u + 5, r*u - 5 = -n for n.
5
Let v = 6 - 3. Solve -3*l + 4*q - 4 - 25 = 0, -v*q = -15 for l.
-3
Suppose 3*q - 13 = 3*o + q, 0 = 2*o - 4*q + 6. Let j(y) = 2*y + 3*y + 2*y - 3 - 3*y + y**2. Let h be j(o). Solve 0 = h*t + 8, 2*s - t - 14 = t for s.
3
Let s be 400/180 - (-2)/(-9). Solve 2*d = -i - 10, -s*d + 7 = -4*i - 3 for d.
-3
Let f be (-4)/(-6)*(-8 + 11). Let q(r) = -r**3 - 5*r**2 + 2. Let n be q(-5). Solve -f*w = w, n*b - 4 = -3*w for b.
2
Let k(m) = 2*m - 6. Let b(g) = -g. Let t(s) = -3*b(s) - k(s). Let u be t(-3). Solve 4*j - j = 3*w + 12, -4*w + 19 = u*j for j.
5
Suppose -4 = 2*p - 8. Solve 0*d - d = -p*u - 13, 4*d = u + 24 for u.
-4
Let q(g) = -g**3 + 1. Let s be q(1). Let x be (-3 - s)/(-3)*3. Suppose 0 = -x*u - 3*z + 18, 0 = z + 2*z - 15. Solve -4*c + 15 = -l, -2*l + 17 = 4*c - u for c.
4
Let f be (5 - 28/6)*6. Solve 4*y = -5*o + 9, o + 0*o - 13 = f*y for o.
5
Suppose i - 1 - 9 = 0. Let l = 3 + -3. Solve l*f - 4 = f - n, -3*n = -f - i for f.
-1
Let j = -1 + 3. Let a be ((-3)/3)/((-2)/4). Suppose -5*x - 10 = q, -a*x + x + 2 = q. Solve 5*b - j*c = -2, -6 = -q*b - 0*b + 4*c for b.
-2
Let j be (-2)/(-10) - (-72)/(-10). Let y = j - -10. Solve y*n - 7*g = -2*g - 8, 0 = n - g + 2 for n.
-1
Let b(r) = -r**3 + 5*r**2 - 2*r + 2. Let n be b(2). Suppose -t + 3*t = n. Solve -t*v + 5*j = 5, 4*v + 3 + 1 = -5*j for v.
-1
Let v = 12 - 6. Solve -4*n + 28 = -2*f, -2*n + f = v*f + 10 for n.
5
Suppose -2*q + 4*q = 24. Suppose -3*z + 2 = -0*d + 2*d, d - 2*z = 8. Suppose 2*t = d + 2. Solve 3*k + t*v + q = 0, 0 = -2*k + 5*v + 3 - 4 for k.
-3
Suppose 1 = -3*w + k + 5, 4*k + 3 = -w. Let h be (-21)/9 + (-4)/6. Let p be h*(1/w)/(-1). Solve -p*x - 12 = 3*v, v + 6 = 2*x - x for v.
-5
Suppose 25*x - 25 - 100 = 0. Suppose -4 = 5*s - 54. Solve x*y + 4*r + 0*r = 6, s = y + 3*r for y.
-2
Suppose -5*k - 3*c + 4 = 0, k - 2*k + 5*c + 12 = 0. Let m be 8 - (-3 + k)*-3. Solve -3*h + 30 = 5*v, -h - m*v + 15 = -5 for h.
5
Let h be 3 - 2/4*6. Solve h = -4*l + b + 14 - 3, -3*l = -b - 8 for l.
3
Suppose -5*f + 21 = -f + 5*x, -3*f - 4*x + 17 = 0. Let k = f + -13. Let d be (0 - k) + 0 + 1. Solve -2*r - c + d = 3*r, -5*r - 5*c = -35 for r.
2
Let k be -2*((-3)/(-5))/((-3)/15). Solve -4*y + 2*y = l - k, 2*l - 5 = 3*y for l.
4
Let c be -2*((-45)/(-6))/(-3). Solve c*l - 3*a - 3 - 23 = 0, -l + a = -6 for l.
4
Suppose -14 - 6 = -5*u. Suppose -5 = -2*q + 5. Let k = 8 - q. Solve k*j - 1 = -h - 4, -u*j + 4*h + 12 = 0 for j.
0
Let d be (-2 + 1 - 4)*-1. Let q be 10*3/(-1 + 7). Suppose q*p - 20 = p. Solve -1 = -g - 3*c, -2*g = -7*g - p*c + d for g.
1
Let a(n) = -6*n**2 - 3*n + 9*n + n**3 + 7 - 2*n. Let s be a(5). Let z be -2 - s*-1 - -8. Solve -5*p = -3*h + z - 33, -p = -5 for h.
0
Let v be (0/(-3))/(-1)*-1. Suppose -2 = -2*q - 2*i, 3*i - 1 + 34 = 3*q. Suppose -q = -h - 1. Solve 0 = -o - h*p - 29, 5*o - p + 10 + 5 = v for o.
-4
Let r(w) = w**3 + 12*w**2 - 12*w + 13. Let x be r(-13). Solve -6 = -4*c + 3*i, 5*c + x*i + 5*i + 10 = 0 for c.
0
Let m be -15*(-6)/18 - 3. Solve -4*v = m*g + 24, 4*v + 0*v - 5*g = 4 for v.
-4
Let z(q) = 6*q + 39. Let n be z(-6). Solve l - 11 = 3*p, l - 3*p - 14 = n*l for l.
-1
Suppose 0 = 6*c - 3*c + 30. Let v be 45/(-3)*4/c. Solve 1 = -5*i - 4*r - 5, -4*i - 2*r = v for i.
-2
Let o = -48 + 49. Solve 0*q - o = -q, 4*z - 20 = -4*q for z.
4
Let m be 3*((-6)/(-9) + 1). Suppose n - m = -3*y + 2*y, -y = -3. Let a be n/(-11) - (-46)/11. Solve -2*i - 4 = a*g, -3*g = i + g + 4 for i.
0
Suppose -7*q + 16*q = 216. Solve -2*a = -0*k + 4*k - q, 4*a - 5*k = -17 for a.
2
Let a = 52 + -41. Let f = 7 - 3. Solve 0 = 3*z + l + 9, 2*z - l = f*l + a for z.
-2
Suppose 10*u - 5*u - 13 = 3*q, u - 9 = -q. Solve d = 6*p - p - u, 4*d = 5*p + 10 for p.
2
Let r = 15 - 11. Suppose z - r*z + 3 = 0, -3*p + 3*z = -72. Solve i + p = 3*n - 7*n, -35 = 5*n + 2*i for n.
-5
Let i be (2 - 4)/((-2 - -3)/(-1)). Solve 4*a - 3*a = -3*r + 10, a + i = 0 for r.
4
Let p be 75/12 + -7 + 22/8. Solve 0 = 3*q + 2*k - 11, q + 0*k - 1 = p*k for q.
3
Let b = 0 - -4. Suppose -11 = -5*z - 4*p, z + p + 4 = 7. Let x = z + b. Solve -2 = 2*t + g, 2*t - x*g + 5 = -3*t for t.
-1
Let r = 18 + -13. Suppose r*p = p + 12. Solve 4*f + z - 21 = -0*z, f + p*z = 19 for f.
4
Suppose -3*z + 3*s + 2*s = 13, 4*z + 5*s = 41. Suppose -z*g - 5 = 3. Let j = g - -2. Solve x - 3*c - c = -11, -x - 4*c + 5 = j for x.
-3
Let s be 4/(-18) + (-190)/(-45). Let x(m) = m**2 - m + 3. Let v be x(0). Solve 2 + 23 = -4*q - v*k, 0 = -s*q - 4*k - 28 for q.
-4
Suppose 4*d = d + 6. Solve 3*a = -4*c + d, 0 = -2*a - 2*a + 5*c - 18 for a.
-2
Suppose -q + 660 = q. Let k be q/42 - (-2)/14. Solve 3*h - 1 = 2*z, 0 = -k*z + 3*z - 3*h - 13 for z.
-2
Suppose -4*t = y - 59, 2*y + 10 = 2*t - 12. Suppose 4*d + 3*z = 24, -2*d - 9*z = -11*z + 2. Solve -4*k + 5*j + 11 = 0, -1 + t = -4*k - d*j for k.
-1
Let p(u) = 5*u**2 + 2 - 7*u + u**3 - 5 - 1. Let z(o) = -o**3 - 7*o**2 - 7*o - 12. Let b be z(-6). Let q be p(b). Solve 4*c = -d - 12, -c + 6 = -q*d - 3*c for d.
0
Let c be (-3 - (2 - 0))*-10. Let n be c/15*(-12)/(-5). Let a = -3 + n. Solve 3*l + 0*l + 16 = a*p, 0 = -3*p + l + 8 for p.
2
Suppose 0 = -0*q + 5*q + c - 43, -20 = -4*q + 4*c. Let u(m) = m**3 - 7*m**2 - 6*m - 8. Let r be u(q). Solve -l - r = 3*l + 4*b, -3*b - 2 = -l for l.
-1
Let k = 30 - 28. Solve -15 = -5*f + m, 3*m = f - 1 - k for f.
3
Suppose -2*w + 7 = 4*u - 3*u, -25 = -5*w - u. Solve -3*n + 4*n - 3 = 0, 0 = 2*q + 4*n - w for q.
-3
Let t(c) be the first derivative of c**2/2 - 1. Let o be t(4). Solve 1 = -2*s + 3*g - 1, -o*g = -2*s for s.
-4
Let p(s) = -5*s**2 + 6*s**2 - 7*s - s - 9. Let u be p(9). Solve -x = 3*g + 12, u*x - 9 = -3*x for g.
-5
Let l(j) = j**2 + 2. Let u be l(0). Let t(w) = 31*w - 1. Let a be t(-2). Let p be a/(-5) + 6/15. Solve 5*h - p = 4*h - 3*r, -6 = 2*h - u*r for h.
1
Suppose -5*f = 10, -4*