 z.
-3
Suppose 4*m + 19 = 3*n, 2*n + 5*m = 3*m + 22. Solve -16 - n = 5*x for x.
-5
Let m(p) = -p**2 + 11*p + 13. Let o be m(12). Solve 0*a + o = a for a.
1
Suppose -3*w + 4*n = 1 - 2, -w - 4 = 3*n. Let g = w + 3. Solve 3*r + 3 = g*r for r.
-3
Suppose 15 + 6 = 3*f. Let l(v) = v**3 + 3*v + 5*v - 5 - f*v**2 - v**2 + 1. Let t be l(7). Solve 0 - t = -m for m.
3
Let m be 3/(21/12 - 1). Let w = m + 6. Let o = w + -7. Solve -o*n = n for n.
0
Let t(c) = 4*c - 5. Let a(q) = 3*q - 5. Let s(p) = 5*a(p) - 4*t(p). Let u be -2*-3*10/(-12). Let l be s(u). Solve y + 2*y - 6 = l for y.
2
Suppose -5*u + 2*u - 2*o = 7, -2*u - 4*o - 18 = 0. Suppose -3 = -4*b + u. Solve 0 = -3*t + 5 + b for t.
2
Let d(g) = g + 5. Let u be d(0). Suppose -u*k = -2*m - 23, 4*k - 26 = -m - k. Solve -m + 13 = 4*y for y.
3
Let m(q) = q**3 + 14*q**2 - 13*q + 34. Let h be m(-15). Solve 4*z - h = 4 for z.
2
Suppose -3*a = a - 36. Suppose t = 4*z - a*z, 2*z = -2*t. Let l(c) = 5*c**2 + 2*c + 1. Let o be l(-1). Solve z = -2*p + o*p - 6 for p.
3
Suppose -c = -t - 0 + 4, -5*t + 3*c + 20 = 0. Suppose 0 = t*a - 2*l - 2*l - 108, -2*a + 5*l = -60. Solve 4*b = 5 - a for b.
-5
Let i = -18 + 24. Let w = 6 - i. Solve w*v = 4*v + 4 for v.
-1
Suppose 4*g - 5*z - 3 = -0*z, -2*g + 4 = -2*z. Let h = -1 + g. Solve -3*s = -h*s - 15 for s.
-5
Let k(p) = p**3 + p + 4. Let v be k(0). Let d(j) = -2*j**2 - 18*j - 11. Let a be d(-8). Solve 3*r = a*r + v for r.
-2
Let j(f) = -f**2 + 8*f - 1. Let r be j(7). Suppose 0*b - 3*b = 5*o - 11, -b = 3*o - 9. Solve o = g + r for g.
-2
Let h(z) = -z**3 - 3*z**2 + z + 3. Let n be (-12)/1*10/(-8). Suppose -f = 4*f + n. Let p be h(f). Solve 0 = -p*s - 3*s for s.
0
Let z be 12 + -1*(-4)/(-2). Let b = 15 - z. Suppose 2*s - s - b*t = 0, 4*s = 5*t. Solve 0*i + 4*i + 4 = s for i.
-1
Let h = -8 + 11. Suppose -h*k - 18 + 0 = 0. Let y be 6*(k/(-4))/3. Solve 1 + y = -o for o.
-4
Let x = 0 - -3. Suppose -4 = -x*d + 2*w - 3*w, 0 = 2*d + w - 2. Let g = d + 1. Solve g*c + 2*c = 25 for c.
5
Let p = -18 + 22. Solve -p*a = -5*a - 4 for a.
-4
Suppose -b + d = 4, -3*b - 2*d + 2 = 14. Let j be (-3)/(9/12) - b. Solve -5*r = -j*r - 15 for r.
3
Let j = 15 - 41. Let p = j - -27. Solve 0*r - r + p = 0 for r.
1
Let p(y) = y**2 + 8*y + 15. Let s be p(-5). Solve 5*m + s*m - 20 = 0 for m.
4
Let p(d) = d**2 + 9*d + 15. Let o be p(-10). Suppose 3*u + 17 = -7. Let f be 4/(-14) + u/(-28). Solve f*n + 5*n - o = 0 for n.
5
Let i be 0 - (2 - 10/2). Suppose 4*j + 15 + 3 = -i*p, 4*p + 11 = -j. Let l = j - -5. Solve 2*v = 4*v - l for v.
1
Let t(v) = 4*v + 4. Let y be t(-1). Solve y*q - 3*q = -6 for q.
2
Let f be -3 - (-20)/12*3. Solve -4 = -0*t + f*t for t.
-2
Let r be (-2 + 2)/(4 - 7). Suppose r = -8*v + 6*v. Solve v*g = 3*g - 6 for g.
2
Suppose 3*r + 0*r - 6 = 0. Let t = -2 + r. Suppose 5*q - 3*k - 19 - 1 = t, -4*k + 16 = 4*q. Solve -w = q*w for w.
0
Let z(w) = -w**3 + 4*w**2 - w - 2. Let n be z(3). Solve 10 = n*t - 9*t for t.
-2
Suppose 3*l = 5*l - 8. Suppose 2*g + 0*g = l. Solve -6*h + 16 = -g*h for h.
4
Suppose v = -15 + 19. Solve i - v*i = -12 for i.
4
Let u(x) = -x - 9. Let p be u(-7). Let i = 6 + p. Let k(s) = -s**3 + 4*s**2 + s. Let h be k(i). Solve q - h = -q for q.
2
Let y = 3 - 1. Let x = -7 + 5. Let p be (y/3)/(x/(-9)). Solve 2*d + p = d for d.
-3
Let w be 0 + 2 + (-6)/((-15)/(-5)). Solve -c + 2 = -w for c.
2
Suppose -1 = 2*a - 7. Suppose -4*b + a*b = -5. Solve -13 - 2 = -b*k for k.
3
Let n(c) = -c**2 - c + 6. Let q be n(-3). Let r = 0 + q. Solve r*u + 3*u + 3 = 0 for u.
-1
Let z = 63 + -23. Suppose -2*m = -0*d + 4*d - 28, -4*d = -4*m - z. Solve d*c = 3*c for c.
0
Let y be (-2)/(-9) - 115/(-9) - 3. Suppose -4*j - x - 3*x = -12, 0 = 5*j - 3*x - 23. Suppose l - 2 = j. Solve l*d = d - y for d.
-2
Suppose -j - 2 = -1. Let i be 3*(j + -2 + 2). Let u = 7 + i. Solve -1 + 9 = u*z for z.
2
Suppose 4*u + 2*n = -u + 104, u - 2*n = 16. Suppose u = 2*m - 5*a, -2*a = 6 + 2. Solve m = 2*f + 6 + 2 for f.
-4
Let a(c) = c**2 + 8*c + 27. Let v be a(-6). Solve -5*y = v + 10 for y.
-5
Let c(b) = b**2 + 2 + 5*b + 2 + b. Let h be c(-6). Solve 3*y = -h + 16 for y.
4
Let h(c) = -c**3 - 7*c**2 - 6*c + 4. Let o be h(-6). Suppose -s - 3*u - 7 = -24, o*s - u = 16. Solve s*j = -9 - 1 for j.
-2
Let i(x) = x**2 - 5*x + 4. Let k be i(3). Let y = 4 + k. Suppose a + 1 = 0, -y*a = 3*m + a - 3. Solve 0*u + m*u = -2 for u.
-1
Let y = -4 + 7. Let l(u) = u**2 + 13*u + 23. Let i be l(-11). Let j = 1 - i. Solve y*d - 6 + 0 = j for d.
2
Let y = 8 + 0. Let j = -6 + y. Solve -j*q - 3 = q for q.
-1
Suppose -3*x + 2*w + 32 = 11, 4*x - 2*w = 26. Suppose 1 = c - x. Solve 2*t = 4*t + c for t.
-3
Let i = 18 - 9. Let v be 20/90 + 79/i. Solve -c + v = -4*c for c.
-3
Let q(c) = c**2 + 2*c + 2. Let z be q(-3). Suppose 0*j - j + z = 0. Solve j*r + 0*r - 10 = 0 for r.
2
Let c(t) = -t**2 + 10*t - 19. Let h be c(8). Let j = h + 18. Solve o + j = 4*o for o.
5
Let m(d) = -d**2 + 6*d - 3. Let h be m(5). Let n(v) = -v**2 + 3*v + 2. Let y be n(2). Solve -y = -3*i + h*i for i.
4
Let o = 78 - 76. Let f be 6*1/((-2)/(-3)). Solve -u = o*u - f for u.
3
Let x(u) = u**3 + 9*u**2 + u + 9. Let p be x(-9). Solve -2 = -f - p*f for f.
2
Suppose 3 = 4*u - 5. Suppose 0 + u = 2*p. Suppose g - 9*g = -16. Solve -f = -g*f + p for f.
1
Let x = 10 - 6. Suppose 0*y = 2*y. Suppose -5*d + 4*t = -14, 5*d + 2 = t + 13. Solve y*o = d*o + x for o.
-2
Suppose 28*r - 63 = 7*r. Suppose 2*w - 3*w = -2. Solve -r = -w*x - 1 for x.
1
Suppose 5*c = -4*g + 8, -10 = -5*g - 6*c + 2*c. Solve -g*b - b + 12 = 0 for b.
4
Let a = -9 + 9. Solve a = 4*y - 16 for y.
4
Let o be 76/18 - (-2)/(-9). Suppose o*f + 0 = -16. Let k(j) = j + 7. Let x be k(f). Solve x*n + n = 20 for n.
5
Let z(w) = w**2 + 12*w + 24. Let i be z(-10). Solve i*q = -1 - 3 for q.
-1
Suppose -5*v - 11 + 1 = 0. Let d be v*(-4)/4 - 2. Solve 2*q + d = 8 for q.
4
Let i(d) = d + 2. Let z(m) = -m + 1. Suppose 4*b - 2 = -3*u + 2, -2*u = 2*b. Let l be z(u). Let h be i(l). Solve h = -5*r + 22 for r.
3
Let r = 2 + -2. Let k(h) = -h**2. Let w be k(r). Suppose 2*u = 5*u + v - 2, 4*v + 24 = 4*u. Solve w*o + u*o = 6 for o.
3
Suppose -4*v + 7 = 5*u, -3*u - 3*v + 3 = -0*u. Let w be (-2 - -1) + 2 - -1. Suppose w*f + 4*c - 70 = 0, -4*c + c = -15. Solve -u*q - f = 2*q for q.
-5
Let k be (-2)/3 + 8/3. Suppose 0 = -0*z + k*z - 2*d, 3 = d. Suppose -24 = -3*n + 3*o, -o + 7 - z = 3*n. Solve 0*t + n*t = 0 for t.
0
Suppose 30 = -0*r + 2*r. Solve -r*s = -11*s - 8 for s.
2
Let w(v) be the first derivative of -v**2/2 - 7*v + 2. Let s be w(-10). Solve -1 = -2*t + s*t for t.
-1
Let s be (2 + -1)/((-3)/(-57)). Suppose 3*i - 70 = -s. Suppose i = 3*r - 31. Solve 3*h - 7*h = r for h.
-4
Let n(d) = -d**3 - 7*d**2 - 2. Let q be n(-7). Let c be (2/3)/(q/(-12)). Solve 6*o = c*o - 6 for o.
-3
Let v = 12 - 5. Let c(g) = -2 + 0*g**3 - g**3 + 3*g**2 + 3*g - v*g**2. Let t be c(-5). Solve -t*m = -3*m + 20 for m.
-4
Let y = 45 + -29. Solve -u - y = -5*u for u.
4
Let t(m) be the third derivative of -m**4/12 - m**3/6 + m**2. Let v be t(-3). Solve -k - 1 = -v for k.
4
Suppose 0 = 2*u + 3*u + 15. Let v be u + (-1)/((-3)/24). Suppose 3*t - 8*t + v = 0, 12 = a + t. Solve 2*o = a - 3 for o.
4
Let t = 28 + -13. Suppose 0 = -v - 4*v. Suppose -o + 3*o - 3*i = t, v = -3*i - 3. Solve -u - u = o for u.
-3
Let w(k) = k**3 + 2*k**2 - 3*k + 2. Let n be w(-3). Solve -m = n*m for m.
0
Suppose 32 = 5*r + 4*f, 6*f = f + 15. Let q = 2 - -1. Suppose -q*l - l + r = 0. Solve -5*v + 4*v = -l for v.
1
Let w(p) = 2*p**2 - 4*p + 3. Let z be ((-24)/30)/(2/(-5)). Let f be w(z). Let s be 0/2*f/(-6). Solve -3*q + 2 + 1 = s for q.
1
Let z = -8 + 15. Suppose -14*k = -11*k - 9. Solve 5 = -k*c - z for c.
-4
Suppose 17 = -4*r + 5*b, -4*r + 0*b + 18 = 2*b. Suppose 6*j = j - 20. Let s be 4*((-3)/j - 0). Solve -r*d - s*d - 15 = 0 for d.
-3
Suppose 0 = 6*d - 10*d + 8. Let z be d - (0 + -2 + 1). Solve 0*c + c = -z for c.
-3
Let i be 2 - (-2 - -1) - 1. Suppose -10 = -2*c + i*t, 0*c + c = 3*t + 5. Suppose -c*k = 3*l - 31, 2*k = -3*l + k + 11. Solve l*g + 12 = -2*g for g.
-3
Let j be 9/(-2 + (5 - 2)). Suppose -k = -3 - 0. Let n = 11 + -8. Solve -n*q + j = k for q.
2
Let q = 78 + -69. Solve -q = 4*w - 29 for w.
5
Suppose 0 = 2*s - 8. Solve 0 = s*i + i for i.
0
Let r(g) = g**2 - 5*g - 31. Let i be r(9). Solve -4*h = -i*h - 4 for h.