 = y*z + z - 3 for z.
1
Let v be (-1)/(-2*(-3)/(-18)). Suppose -v*q = -2*q - 6. Suppose q*k - 4*k + 25 = s, -85 = -5*s + 2*k. Solve 4*y - 5 - s = 0 for y.
5
Let b be (-7)/28 - 21/12*-3. Solve -b = -j - 4 for j.
1
Suppose 4*n - 15 = -n, 2*h + 2*n = -18. Let k be h*1*(-3)/9. Solve -11 - k = 3*b for b.
-5
Let j = 17 + -12. Let v = 45 + -40. Solve -10 = -v*g + j for g.
3
Suppose 3*n = 3*d + 12, -n - 3*d = 3*n - 44. Let s(i) = 4*i**2 + 4*i + 2. Let u be s(-2). Let a = u - n. Solve a*o + 5 = 11 for o.
3
Let f(w) = w**2 - 1. Let j be f(6). Let y be 12/5 - 14/j. Solve 0 = -4*u + 2*u + y for u.
1
Let h(l) = l**2 - 10*l + 7. Let f be h(9). Let q be (5 + f)*(-2 - -3). Suppose q*a - 20 = -5*w - 0*a, -3*a = 2*w - 8. Solve 0*g + w = -4*g for g.
-1
Suppose 0*m - 3 = m. Let g be (-10)/m + (-2)/(-3). Suppose g*a - a = 21. Solve 3*q + a = 1 for q.
-2
Suppose 2*q + j - 13 - 11 = 0, -3*j - 12 = -q. Let z = 12 - q. Solve -o - 2*o = z for o.
0
Suppose -2*x = 2*x + 8. Let t be (-1)/(-2) + (-3)/x. Solve k - 4 = t*k for k.
-4
Let o = -6 + 9. Let q be o + 2 + (-1 - -1). Solve 2*k = 1 + q for k.
3
Let u(m) = -4*m - 1. Let n(k) = -3*k. Let d(p) = 3*n(p) - 2*u(p). Let z be d(0). Solve z*i = i for i.
0
Let s(k) = k**3 + 12*k**2 - 14*k - 13. Let f be s(-13). Suppose 0*x = -x. Solve f = -x*q - 3*q for q.
0
Suppose 0 = 3*y - 4*y - 3*x + 5, 2*y - 3*x = 1. Suppose -7*l + 3*l - 12 = 5*q, -4*q + 2*l = -6. Solve q = -0*a + a - y for a.
2
Suppose -4*q + 3*y + 2*y = -18, -6 = -q + 2*y. Let d = -2 + q. Solve d = p - 6*p + 25 for p.
5
Suppose 3 = -5*g - 32. Let w(s) = s. Let d(k) = -3*k - 8. Let a(c) = -d(c) - 2*w(c). Let v be a(g). Solve 5*o = -14 - v for o.
-3
Let t(q) = 2*q**2 - q. Let d be t(0). Solve d*n = 4*n for n.
0
Suppose -15 = -4*n - 4*k + 3*k, -k - 1 = 0. Let f be (-15)/(-2)*n/6. Let h(r) = -r. Let a be h(-3). Solve -f*u + 2 = -a*u for u.
1
Suppose -h = -6*h + 4*z + 22, -h + 2*z = -8. Suppose -h*f = -13 + 3. Suppose 2*v + 0*v + 2*g = 8, f*g = -4*v + 14. Solve 0 = j - 3*j + v for j.
3
Let l be 0 - (-3 - (2 + -3)). Let p be 15/2*8/10. Let g(m) = m**2 - 4*m + 4. Let a be g(6). Solve l*u = p*u + a for u.
-4
Suppose -4*j = -j + 4*g - 26, 5 = 5*j - g. Solve 0 = v - j - 3 for v.
5
Suppose 0*p - 3*p = 0. Solve p = 3*o + 1 - 4 for o.
1
Suppose -4*v = v. Suppose -l - 3*l + 12 = 0. Suppose -19 = -4*q + 3*w, 0 = -2*q - 2*w - 3*w + l. Solve v*m - q = 2*m for m.
-2
Let r be (-1)/(-3)*3 + 4/4. Solve 0 = r*m + m + 12 for m.
-4
Let m(q) = 4*q**2 + 3*q + 4. Let p(w) = 3*w**2 + 2*w + 3. Let g(j) = -5*m(j) + 7*p(j). Let o be g(0). Solve -5 + o = -4*t for t.
1
Let s be (-70)/(-21) + ((-2)/3)/2. Solve -s*u - 4 = -10 for u.
2
Let v(z) = -z**3 - 5*z**2 - z - 5. Let r be v(-5). Solve r*s - 10 = 5*s for s.
-2
Let v = 94 + -47. Suppose -i - 10 - 7 = -2*y, -2*y - 5*i = -v. Solve y = -2*o + 1 for o.
-5
Let f = 37 + -37. Solve 2*j + f - 8 = 0 for j.
4
Let b(m) = 1 + 0 + 12*m - 5*m. Suppose 2 - 4 = -2*w. Let v be b(w). Solve 0 = 4*i - 8 - v for i.
4
Suppose i - u = 7, 0 = i + 4*u - 7 - 15. Suppose 5*o + 0*o - 15 = 0. Suppose 0 = o*w - 7*w. Solve 0 = 5*g + i - w for g.
-2
Let j(p) = 3*p - 3. Let c be j(2). Let s = c - 3. Solve s*z = 3*z + 3 for z.
-1
Let j(v) = 2*v**2 + v - 2. Let r be j(2). Let s(l) be the second derivative of -l**4/12 + 7*l**3/6 + 4*l**2 + l. Let k be s(r). Solve k = 3*f - 6*f - 6 for f.
-2
Suppose -4*r = 2*z, -3*r = 4*z - 6*r. Solve 5 = 5*u - z for u.
1
Let d = -13 - -15. Let z = 6 + d. Solve -z + 2 = -2*s for s.
3
Let b = -2 - -6. Solve b*d + 12 = 4 for d.
-2
Suppose 5*x + 0*x = -4*v + 128, -128 = -4*v + 3*x. Suppose i - 2*i = -g, -3*i + v = 5*g. Solve 6 + g = 5*l for l.
2
Suppose -13 = 3*u - 4. Let o be (-1 + (-3)/u)*-1. Solve -5*z + 0*z = o for z.
0
Suppose -5*f = -2*y + 10, 2*y + 5*f = 2*f + 10. Solve 3 = -4*p + y*p for p.
3
Let m be 7 - ((-36)/(-6))/(1 - -1). Solve -t = m + 1 for t.
-5
Suppose y - 3 = 1. Suppose -2*n + y + 2 = 0. Suppose 5*t = n*t + 10. Solve -t = -c + 2*c for c.
-5
Suppose -u + 4*k = 8, 5*k - 5 = -4*u + 5. Suppose -5*j = -t - 4*t - 25, u = -2*t - 4*j + 20. Solve t*v + 2 = -2*v for v.
-1
Suppose -8 = -4*d + 12. Suppose -10 = d*o, 12 + 6 = 2*w - 4*o. Solve 7 = w*g + 17 for g.
-2
Let j(m) = m**3 + 2*m**2 - 2*m + 3. Let c be j(-3). Solve c = -f - 4*f + 5 for f.
1
Let l = -8 - -11. Suppose -2*r = -l*x - 0*r + 76, -41 = -3*x - 5*r. Suppose -4*o = q - x, 2*o - 11 - 5 = -3*q. Solve o*z = z - 8 for z.
-2
Suppose -4*b + 10 = -6. Suppose z = -b*z. Solve z*d = 3*d for d.
0
Suppose 3*b = 25 - 7. Solve -b*l - 15 = -l for l.
-3
Suppose -3*y - 5 = -4*y. Let s(r) = 5*r**2 + 24*r - 3. Let a be s(-5). Solve -y*d - 3 = a for d.
-1
Let u be (10 - 10)/(1 - -1). Suppose 2*o - 3*o - 6 = -2*h, 26 = 4*h + 5*o. Let j = h - -10. Solve -5*b - j - 11 = u for b.
-5
Let u be (-9)/18 - (-18)/4. Suppose -u*q - 13 = z - 4*z, -2*z + 2*q + 8 = 0. Solve 2 = i + z for i.
-1
Suppose -2*o - 267 = -5*l, 4*o - 171 = -2*l - 45. Let f = 80 - l. Let a = f + -8. Solve -a + 2 = -5*y for y.
3
Suppose -8*y - 5 = -3*y - 5*l, 4 = -5*y + 4*l. Solve y*a + 2 = 2*a for a.
1
Let t(a) be the second derivative of -2*a + 1/2*a**4 + 0 + 1/2*a**2 - 5/6*a**3 - 1/20*a**5. Let p be t(5). Solve -j = p + 1 for j.
-2
Suppose y + 2*y = 9. Suppose 0 = -2*c + y*u + 4, -c = -0*u - 3*u + 1. Solve 5*j - c = -20 for j.
-3
Let h = -16 - -20. Solve 0*q + 20 = h*q for q.
5
Let v be -1*3*(-4)/3. Suppose 0 = 5*c - 3*l - 24, 3*c - 2*c + v*l = -9. Solve -12 = c*f + 3 for f.
-5
Suppose 0 = 3*o - 2*o. Let t(r) = -r**3 - r**2 + 5. Let y be t(o). Suppose 13 - y = 4*z. Solve w = z*w for w.
0
Suppose 0 = -0*q - 3*q. Solve 3*o + 2*o + 5 = q for o.
-1
Suppose -p = 3*p + 5*f - 1, 0 = -2*p - 3*f - 1. Suppose -s - p = -5*s. Solve s = q + 2 for q.
-1
Suppose 0 = -0*k - 4*k + 4. Let b be -2 + k + (-1 - -3). Solve -b = 2*r - r for r.
-1
Let a be 5*(-1 + 6 + -4). Solve 1 - a = 4*w for w.
-1
Let t be (-84)/(-9) + 2/(-6). Suppose -4*p - d = -t*p - 25, -3*p + d = 13. Let q(a) = -a - 4. Let s be q(p). Solve -1 = 3*o + s for o.
-1
Suppose -4*d + 3 = -3*w - 0*d, 2*w = 2*d. Solve 0 = -3*p - w - 0 for p.
-1
Let i = 3 + -2. Suppose 0 = n + 5*w - 13, -3*w + 4 = -n + i. Solve 15 = -0*x + n*x for x.
5
Let h = -18 - -10. Let f be h/(-12)*(-18)/(-4). Solve -6 = 5*a - f*a for a.
-3
Suppose 10*j - 5*j = 10. Suppose -2*u = j*u - 20. Solve -4*w + u = w for w.
1
Let y be (-112)/(-12) - 16/12. Solve 0*n + 2*n = -y for n.
-4
Let u(a) = -8*a - 37. Let z be u(-5). Solve -z*t = -4 - 11 for t.
5
Let a be (36/(-6) - -16) + (-2)/2. Suppose 4*g = g + 33. Solve 5*t - g = a for t.
4
Suppose -2*n + 5*x - 10 = 0, -4*n = -2*x - x - 8. Solve n*y = -9 - 1 for y.
-2
Let s be 11 - 3/((-3)/(-2)). Let n = -7 + s. Solve 1 = n*y - 5 for y.
3
Suppose -2*t + 21 - 11 = 0. Solve -5 = t*w - 0 for w.
-1
Suppose j = -2*t + 6, 4*t - 15 = 3*j + 17. Solve -t*f = 35 - 10 for f.
-5
Suppose -36 = -3*k + 78. Suppose -5*j + k = -17. Suppose -5*d + 4 = -j. Solve s = -d*s + 12 for s.
3
Let f = 7 - 6. Solve 2 + f = j for j.
3
Suppose -3*w - 2 = 28. Let b be -4*-54*(-3)/24. Let u be w/25 - b/5. Solve 0 = 2*k + 1 - u for k.
2
Let n be 1/(-4) - (-9)/4. Solve -6*z = -n*z + 12 for z.
-3
Let t(i) = 19*i**3 + 1. Let y be t(-1). Suppose h = -7 - 18. Let w = y - h. Solve -4*n - 9 = w for n.
-4
Let v = 3 - 1. Suppose 3 = 5*k - 3*u - 12, -4*k + 12 = v*u. Solve 0*m = -k*m + 9 for m.
3
Suppose y = -y. Suppose y*v - 4*v = 0. Solve 5 = -v*j - j for j.
-5
Suppose 0 = i + o - 14, -4*i + 4*o = -o - 20. Let l = 14 - i. Solve 0 = -l*s - 0*s for s.
0
Let n be 1 - (-2)/(-1 - 1). Solve 3*g + 9 + n = 0 for g.
-3
Suppose 2*c = -0*c - 2. Let q = 1 + c. Solve 5*j + q = -5 for j.
-1
Suppose 0 = 2*t - 0*t. Suppose v = 2*s - 5 - 1, 3*v = t. Solve -3*r = -0 + s for r.
-1
Let j be (-114)/(-15) - (-2)/5. Solve -5*s + 3 - j = 0 for s.
-1
Let a be (6/(-9))/(2/(-6)). Suppose a*d - 20 = -4*n, 4*d - 6*n + 2*n = -8. Solve d*v = 5*v - 12 for v.
4
Let u be -3 - (1 + -1 + -8). Solve -u*b - 5 = -30 for b.
5
Suppose h = -3*x + 64, 2*h = 4*x + h - 97. Solve -5*d - x = 2 for d.
-5
Let a(d) = d**2 + 10*d + 10. Let u be a(-9). Solve 3 = i - u for i.
4
Suppose x + 2*x = 12. Let f be (-10)/6 - 14/(-21). Let n be 24/4*f/(-2). Solve 3 = n*u - x*u for u.
-3
Suppose -18 = 3*t - 5*t. Suppose 5*x - 2*s - 10 = 0, -2*x + 5 = -x - s. Suppose -m = 5*p - x*m - 55, -m - 