or x.
3
Suppose -4*z + 7*a = 4*a + 21, -3*z - 4*a = 47. Let n be 6/27 - (-2)/z. Suppose r + r - 4 = 4*d, d - 13 = -3*r. Solve 2*m + r + 6 = n for m.
-5
Let x(v) = v**3 + 10*v**2 - 10*v + 13. Let l be x(-11). Solve l = 3*h + 11 for h.
-3
Let i(m) = -2*m**2 + 6*m - 4. Let q be i(5). Let v = q - -24. Solve 2 = -p - v*p for p.
-2
Let y(z) = z**2 + 16*z + 13. Let h be y(-16). Solve -7 - h = -4*w for w.
5
Suppose 0 = -14*a + 1 + 69. Solve 8*s + 15 = a*s for s.
-5
Let x be 440/70 - 2/7. Solve -2*p + 16 = -x*p for p.
-4
Let d(r) = 4*r**2 - 2 - r**3 - 2*r + 3 + r. Let t be d(3). Let a = 8 - t. Solve 0 + a = -q for q.
-1
Suppose 4*l + 7 = d, 5*d - l - 20 = 4*l. Let q be (4/6)/(3/9). Suppose -18 + 6 = -q*g. Solve 0 = -g*j + d*j - 15 for j.
-5
Let a be 0 - 7/(7/(-8)). Suppose 3*l = a*l. Solve l - 3 = 3*v for v.
-1
Let s be (-8)/6*6/(-2). Solve -s = 2*x - 14 for x.
5
Let q(x) = x**3 + 6*x**2 + 4*x - 1. Let z be q(-5). Suppose z*w = 8, w = 2*k + 2 - 0. Suppose -3*p = 3*n - 42, 0*n + 25 = 2*p + 5*n. Solve 3*v = -k*v - p for v.
-5
Let a be (-1 - 2)/((-3)/4). Let u be (-156)/(-10) - a/(-10). Suppose 31 = 3*k + 2*k + d, 4*d = -2*k + u. Solve 0 = k*j - j for j.
0
Let o(l) be the third derivative of -l**6/120 - l**4/24 + 5*l**3/6 + 2*l**2. Let m be o(0). Suppose -m*w + w + 12 = 0. Solve -w*n = -0*n for n.
0
Let y(d) = d - 5. Let i be y(0). Let a = -3 - i. Suppose -5*u - 2*v = -30, 5*v = 3*u + a*v + 3. Solve 0 = 4*m - u for m.
1
Suppose -c = -2*c + 2, -3*c = -5*u + 99. Let o = u - 15. Solve 0*k + 3*k - o = 0 for k.
2
Suppose 15*g - 19*g = -60. Solve 6*k - 3*k + g = 0 for k.
-5
Let d be 1/((-33)/(-18) - 2). Let x = 9 + d. Suppose 3*z - 5 = 7. Solve 2*b = x*b + z for b.
-4
Let x(t) = t**3 - 12*t**2 - 12*t - 10. Suppose -2*v - 2*p - 7 = -31, -5*p - 57 = -4*v. Let y be x(v). Solve -y*a - 2 - 10 = 0 for a.
-4
Let s = 42 + -36. Let h be 4/(-10)*5/(-1). Solve 0 = 2*g + s - h for g.
-2
Suppose -4*w + 3*r = -20, 2*w + r - 20 = -0. Let a(x) = 3 + 3*x - x**3 - 1 - 1. Let p be a(-2). Solve w = -p*d + d for d.
-4
Let u = -61 + 65. Solve -u*c + 0 + 8 = 0 for c.
2
Let d be (-21)/(-6) - (15/(-10))/3. Solve d*j - 4 = 8 for j.
3
Let p(t) = -t**3 - 13*t**2 - 13*t - 6. Let u be p(-12). Suppose -4 - u = -2*b. Solve -2*l + 15 = b for l.
5
Suppose -2*a + 4*a = 6. Solve 2*d + a = -5 for d.
-4
Let l = 143 + -77. Let b be 276/l - (-4)/(-22). Solve 0 = -b*d - d - 10 for d.
-2
Let a be (-14)/21*-1*9 + -4. Solve -a*b + b = -5 for b.
5
Suppose -5 - 5 = -5*o. Suppose -b = -o*w, -b + 0 = -w - 1. Solve 0 = -b*l - 1 - 9 for l.
-5
Let l = -12 - -17. Let o(i) = i**2 - 3*i. Let p be o(l). Solve -x + 6*x = -p for x.
-2
Suppose 5 = -3*w + 14. Solve u + 8 = -w*u for u.
-2
Let r(y) = -3*y + 19. Let c be r(8). Let m = 6 + c. Solve -4*t - m = 3 for t.
-1
Let x = -1 + 2. Let k(b) = -b**2 + 10*b + 13. Let n be (-3)/(-12)*-2*-22. Let c be k(n). Solve 1 = c*g - x for g.
1
Suppose 8 = -4*i + 20. Let h = -1 + i. Solve 4 = u - h*u for u.
-4
Let d(z) = -2*z + 9. Let m be (32/20)/((-4)/(-10)). Let b be d(m). Solve -b = 4*r + 15 for r.
-4
Let k(d) = 4*d**2 + 1. Let n = -9 - -10. Let v be k(n). Solve v = 4*f + f for f.
1
Suppose 2 = -d + 3. Let m be ((0 - 0) + 0)/d. Solve m = -w - 2*w for w.
0
Suppose 5*f - 9 + 34 = 3*t, -10 = 2*f. Solve -3 = -3*i - t*i for i.
1
Suppose 0*f = 4*f - 8. Solve -h + 15 = f*h for h.
5
Suppose 0 = -2*y - 3*y + 10. Suppose 6 = -4*a + y. Let c = -1 - a. Solve -4 = k - c*k for k.
-4
Let r = 1 + -9. Let v be (-2)/r - (-24)/32. Solve -6 + v = -5*f for f.
1
Let n(w) = -w**2 - 6*w - 5. Let v be n(-3). Solve -v*i + 13 = -7 for i.
5
Let k = -6 + 4. Let j(c) = c**2 + c - 2. Let z be j(k). Solve m + z = 2 for m.
2
Let d(i) = 6*i + 3. Let h be d(-2). Let p be h/(-12)*4 + -3. Solve p = -0*k + 3*k + 9 for k.
-3
Let p be (1 + (-1)/4)/(6/16). Solve -4 = p*u - 14 for u.
5
Let h be (-10 + 434/35)/((-6)/(-40)). Solve b + h = -3*b for b.
-4
Let w(i) = i - 1. Let h(b) = 15*b**3 - b**2 - 6*b + 7. Let y(n) = -h(n) - 6*w(n). Let a be y(-1). Solve 7*s + a = 4*s for s.
-5
Let s(x) = 2*x - 7. Let p be s(6). Solve z = 2*z - p for z.
5
Let c = -22 - -27. Solve 0 = i - 6*i - c for i.
-1
Let x be (1 - -1)*(-2)/(-4). Let b be 5/(10/6) + 0 + 0. Solve b = -y + x for y.
-2
Suppose -4*v + 3 = -9. Solve -c + 2 = -v*c for c.
-1
Suppose -5*j - 22 = 18. Let y be 9 + j - (-8)/2. Solve 1 = -y*f + 16 for f.
3
Let n(w) = w - 5. Let b be n(10). Solve 4*j - b*j = 5 for j.
-5
Suppose 19 = -p - 4*b, 2*p - 6*p + 2*b = -14. Let u be (15 - 4/(-2))*p. Solve 0 = 4*v + 1 - u for v.
4
Let y be (-8 - -32) + (1 - 1). Let i be (-12)/y*(1 + -1). Solve i = -0*a + 4*a - 20 for a.
5
Let i(b) = -9*b - 26. Let h be i(-4). Solve -2*a - 2 = -h for a.
4
Let s = 4 + -15. Let t = 19 + s. Let v be t/(-12) + (-5)/(-3). Solve -6 = i - v for i.
-5
Suppose 2*r + r - 21 = 0. Let s = -3 + r. Solve s*t - 7*t = 0 for t.
0
Suppose -5*u + 13 = 3*v, -3*v - u + 4*u = 3. Solve -v = -5*n - 6 for n.
-1
Suppose 0 = 2*h + h + 3. Let q be ((-3)/(3/4))/h. Solve 4 = 2*u - q for u.
4
Let t be -2 - 6/4*-4. Suppose 2*o - 6 = 3*u - o, -t*u + o + 7 = 0. Solve -4*k = -u*k for k.
0
Let o be ((-4)/3)/(8/(-12)). Solve -2*u + 12 = o*u for u.
3
Let c(n) = n**3 + n**2 - n. Let i be c(0). Suppose -5*y - 2*j + 27 = i, 7*y - 4*j - 51 = 2*y. Suppose 2 = 3*z - y. Solve -13 = -z*b + 2 for b.
5
Let l = 9 + -7. Solve 0 = j - 6 + l for j.
4
Let m = -115 + 121. Solve -m + 26 = -5*k for k.
-4
Let o be (-4)/(-18) + 76/(-18). Let t be (-3)/5 - o/(-10). Let m be 2 + (2 + -1)*t. Solve 0 - m = -y for y.
1
Suppose -2*c + 5*l - 16 = 0, -5*c + 4*c = 4*l - 5. Let s be ((-15)/4)/(c/8). Solve 0 = 2*u - s + 2 for u.
4
Let n = -7 + 7. Solve -2*c + n*c - 6 = 0 for c.
-3
Suppose -4*j = -6*j + 2. Solve h + 0*h + j = 0 for h.
-1
Suppose 11*w = 9*w. Solve w = -y + 2 - 0 for y.
2
Let f be (-1)/(-1 + 12/11). Let c(i) = i**3 + 11*i**2 + 2. Let v be c(f). Solve -u - u = -v for u.
1
Let f = 13 - 3. Suppose -3*w - r = -16, f*r - 36 = -4*w + 5*r. Solve -3*t + w = t for t.
1
Suppose 5*m = -16 + 6. Let c be -1*(m + (2 - 3)). Suppose 6*n + c*l = 2*n + 38, -3 = -n - 4*l. Solve -3*s = n + 1 for s.
-4
Let p be (-6)/(-15) - 6/(-10). Let u = p - -3. Solve -3*a + u = -a for a.
2
Let r(z) = -3*z - 6. Let p be r(-3). Let g = 8 - 5. Solve -4*o = -g*o + p for o.
-3
Let j be (18*-12)/(-3) - 2. Let g = j + -48. Solve 5*q - g = 3 for q.
5
Let z be (2 - 1) + -1 + 2. Suppose -2*h = l - 37, -z*h - 27 = 2*l - 101. Suppose 5*o - 2*g = -g + 35, 2*o - 5*g - l = 0. Solve -o*b = -b for b.
0
Suppose -1 = -9*m + 17. Solve m*s = -4 - 0 for s.
-2
Let u be 18/(-15) - 3/(-15). Let t(i) = -i + 1. Let y be t(u). Suppose 4*r + y*w = 4*w - 2, 5*r + 4 = 4*w. Solve r*a + a = -3 for a.
-3
Let q(c) = -c**2 + 5*c. Let j be q(4). Suppose 0 = -0*x + j*x. Solve x = g + 2 - 1 for g.
-1
Let n = -8 - -16. Suppose -w + n = -4*g - 0, 5*g = -10. Solve -3*m - m + 12 = w for m.
3
Let s(g) = -2*g - 9. Let k be s(-6). Solve x = k + 1 for x.
4
Suppose 58 - 18 = -4*w. Let l be 136/10 + (-4)/w. Solve -5*s + l + 1 = 0 for s.
3
Let b be -1 + 18*(-2)/(-4). Solve 2*y - b = -0*y for y.
4
Let y(p) = p**2 - 8*p + 4. Let k be y(8). Suppose 0*b + 48 = -k*b. Let l be 3/b + 5/4. Solve o + 3 + l = 0 for o.
-4
Let n be (-2)/(-4)*0/(-1). Solve 12 = -n*d - 4*d for d.
-3
Suppose 2 = 4*i - 5*m - 3, 2*i - 5*m = -5. Suppose -3*k + i = -4. Suppose 0 = -3*x - c + 25, 0 = -2*x - 0*x + c + 20. Solve -4*j - x - k = 0 for j.
-3
Suppose 5*m - 4*m = 0. Solve -4*r + 3*r - 5 = m for r.
-5
Suppose -10*i + 82 = 12. Solve a = -2 + i for a.
5
Suppose 3*y = 22 - 7. Suppose -y*z - a = -z - 13, z - 22 = -4*a. Solve -3*n = z*n for n.
0
Let q = -167 - -182. Solve -q = -2*w - 5 for w.
5
Let s(q) be the third derivative of q**4/12 - q**3/3 + 2*q**2. Let y be s(3). Let n(x) = x + 1. Let c be n(-1). Solve c = 6*t - y*t - 6 for t.
3
Suppose -4*d + 3*d = 5. Let z be 0/((d + 1)/2). Let g be 2 + 3 + (z - 2). Solve 5 = -g*l + 2 for l.
-1
Let z(m) = m**3 + 6*m**2 + 5. Let g be (6/(-3))/(2/6). Let a be z(g). Solve -a*r = 3 - 8 for r.
1
Let j = 5 - 4. Let u = 3 + j. Let i = -2 + u. Solve -s = -1 + i for s.
-1
Let a(z) = 2*z**2 + 5*z + 4. Let b be a(-4). Suppose -b = -8*n + 4*n. Solve 0 = -n*x - 11 + 27 for x.
4
Suppose 5*t - 5*h + 10 = 0, 4*h - 21 = -t - 3. Let p = -19 + 21. Suppose 5*v - 15 = 5*b, -b + 1 + p = v. Solve v*r