w*a = 7 - 27 for a.
5
Let g(p) = -p**2 + 3*p + 13. Let k be g(5). Solve -15 = k*t - 6 for t.
-3
Suppose -3*t - t = -r, -5*r + 19 = -t. Solve -t + 17 = 4*q for q.
4
Let a = 0 + 5. Suppose c = 4, -a*v + 11 = -4*c - 3. Solve 0 = 3*b - v - 6 for b.
4
Suppose 2*w = -5*h + 35, 0 = -4*h - 5*w + 73 - 28. Solve b - 12 = h*b for b.
-3
Let w = -8 - -15. Solve 0 = -4*i + w - 3 for i.
1
Suppose -3*n - 2*n = -10. Let l be 6/(-12) + 1/n. Solve 4*g + 19 - 7 = l for g.
-3
Let d = -121 + 123. Solve 2*w - 16 = -d*w for w.
4
Suppose 3*u - u - 30 = 0. Suppose 4*s - 18 = 2*a, 5*a - s - s + 5 = 0. Suppose a = 4*p - u. Solve 3*m = p - 1 for m.
1
Let j = 10 + 2. Let s(d) = -d**2 + d. Let z = 3 + -3. Let q be s(z). Solve 0*u + 3*u - j = q for u.
4
Suppose 0 = 15*w + 33 - 108. Solve 2 = -w*o - 18 for o.
-4
Suppose 3*b - 2*l - l + 3 = 0, -9 = -3*l. Suppose 3*d = -0*d. Solve d = -a - a + b for a.
1
Suppose 9 = d + 2*d + 3*n, 0 = 4*n + 4. Solve 20 = d*p - 9*p for p.
-4
Suppose -5*c + 19 = -71. Let l = -17 + c. Solve y + l = 3 for y.
2
Let o(v) = v + 12. Let b be o(-10). Suppose 0 = 2*h - t - t + b, 4*h - 6 = 2*t. Solve 0 = -s + 1 - h for s.
-3
Let g = -14 - -11. Let y be ((g - -2)*0)/(-2). Solve 3*k - 3 + 0 = y for k.
1
Let h be (4/(-2) - -2)/(-1). Suppose -2*x = -l + 23, h*x = -x - 4. Solve -5*g + 0 = l for g.
-3
Let r(y) = -3*y + 2. Let i be r(9). Let p be (8/10)/((-5)/i). Suppose 4*w - 3*h = 57, p*w + 3*h - 17 = 22. Solve f + w = 4*f for f.
4
Let q(a) = -a**2 + a + 3. Let x be q(0). Let o be (4/6)/((-1)/3). Let z be (9/15)/(o/(-10)). Solve 0 = z*y + x + 3 for y.
-2
Suppose 5*f + 0*k - 11 = 2*k, 3*f - 17 = -4*k. Solve -f*p + p = 0 for p.
0
Let s be ((-40)/(-6))/(4/6). Solve 0*f - s = -2*f for f.
5
Suppose -3*n = n + 2*p + 20, 0 = 2*n - 4*p. Let b be (1 + n)*(-16)/6. Solve -b + 4 = -2*y for y.
2
Let c(q) = -q**2 + 1. Let t be c(-1). Solve 0 = 4*g - 16 - t for g.
4
Let b(n) = n**2 - 9*n + 12. Suppose -t = -5*t + 32. Let a be b(t). Solve 6 = a*s - s for s.
2
Suppose -9*i + 8 = -5*i. Solve 0 = 5*m - 3*m - i for m.
1
Suppose 8*v = -9*v + 7*v. Solve 0*d - 5*d = v for d.
0
Let j = 47 - 28. Let h = -11 + j. Solve h = -3*m - 1 for m.
-3
Let c be 1/(-3) - (-13)/3. Let x(w) = -w**3 - 2*w**2 - 3*w - 3. Let f be x(-2). Suppose -4*p - f*t + 9 = -p, -3*t + c = 2*p. Solve 2*r = p*r - 3 for r.
1
Let x(p) = 6*p - 10. Let r(s) = -s + 1. Let t(z) = 5*r(z) + x(z). Let c be t(9). Solve c*l - l = 6 for l.
2
Let z(d) be the second derivative of 0 - 1/2*d**3 - 1/20*d**5 + 1/2*d**4 - 2*d - 3*d**2. Let p be z(5). Solve -p*w + 7 = -5 for w.
3
Let a be 2 - ((-3 - -2) + 0). Suppose a*l + m - 15 - 7 = 0, 0 = -4*l - m + 28. Solve -4*q + 2*q = l for q.
-3
Let q = -2 + 14. Let r = q - 11. Solve 2*b + 3 = -r for b.
-2
Let n(h) = 2*h**2 + h - 1. Let j be n(1). Suppose -3*m + 0 = j*w - 3, 11 = 3*w - 2*m. Suppose 13 = w*v - 11. Solve -v = -k - 3*k for k.
2
Let l be 246/(-4) + 1/(-2). Let v = l + 42. Let p = v + 30. Solve -2 + p = 4*k for k.
2
Suppose -7*s + 45 = -2*s. Solve 2*j + j + s = 0 for j.
-3
Let z(y) = -3*y. Suppose -4*v = -4*w - 16, -36 = 5*w - 11. Let o be z(v). Solve -t = -o - 0 for t.
3
Let v(t) be the third derivative of t**4/24 - 7*t**3/6 - 3*t**2. Let n be v(7). Solve -3 = 3*l - n for l.
-1
Suppose 0 = -2*v, -3*v = w + w - 14. Suppose 0 = 2*x - l - 11, -x + w = -3*l - 6. Solve x*u + 6 = 2 for u.
-1
Let m be (-54)/(-15)*10/4. Let a be (-14)/(-18) + 2/m. Solve a - 4 = 3*b for b.
-1
Suppose v + 10 = -0*g - 3*g, 5*g + 25 = 0. Suppose 22*d + 18 = 28*d. Solve d*l - v = 1 for l.
2
Suppose -h - 5*b = 21, 2*h - 5*b = -2*b + 23. Solve -2*s + h*s + 6 = 0 for s.
-3
Let y(v) = 2*v**2 + 5*v - 6. Let h be y(2). Solve 2*b + 8 - h = 0 for b.
2
Let q(y) = y**3 - 6*y**2 - y + 8. Let g be q(6). Suppose 16 = 6*d - g*d. Suppose 10*m = 7*m + 4*o + 20, 0 = 5*m + 2*o - 16. Solve m*x = -d - 0 for x.
-1
Let o = 0 + 4. Solve -10 = o*t - 2*t for t.
-5
Suppose -4*c = -4*m + 24, 0*c + 5*m = -c - 12. Let w(r) = -r**2 - 6*r + 12. Let v be w(c). Solve v*f + 20 = -0 for f.
-4
Let s(m) = -m**2 + 6*m - 2*m + 1 - 3*m + 3. Let t be s(0). Solve -t = 3*k - 7*k for k.
1
Suppose t - 4 = -0. Solve t*q + 13 - 1 = 0 for q.
-3
Let w be (-2)/(-8) - (-142)/8. Suppose -2*s + 4*f = -w, -4*f = -4*s - 5*f + 36. Solve -s - 1 = 5*b for b.
-2
Let r(l) = l**3 - 7*l**2 - 7*l - 4. Let d be r(8). Let q = 5 - d. Solve 6 - q = 5*a for a.
1
Suppose -5*j - 4*w = 0, -5*w + 0 = -5*j + 45. Solve -j*y - 21 + 5 = 0 for y.
-4
Let q(r) = 4*r**3 + 2*r**2 + r. Let f be q(-1). Let z = f + 3. Solve z = -n + 3*n + 4 for n.
-2
Let a = -1 + -5. Let f = -6 - a. Solve 3*u + f = 3 for u.
1
Let y(f) = -f + 7. Let j be y(7). Suppose j = -5*n + 7 + 18. Solve 3*v - 2 = n*v for v.
-1
Let n(z) = -z**2 + 10*z - 8. Let m be n(9). Let p = 3 - 1. Solve m = p*f - f for f.
1
Let p(s) = s**3 + 4*s**2 - 4*s + 7. Let c be p(-5). Solve 0 = 2*w + c*w for w.
0
Suppose -i + 5*i - 12 = 2*w, 0 = 2*w - 2*i + 6. Solve j - 2*j + 4 = w for j.
4
Let z be (2 + 39/(-15))/((-1)/5). Solve -2*s - z - 3 = 0 for s.
-3
Suppose -4*s + 124 = 48. Suppose 0 = 3*i + 3, -n + 4*i = 4*n - s. Solve n + 2 = h for h.
5
Suppose 2*d = -t + 1, -t + 4*d - 4 - 13 = 0. Let j = 0 - t. Suppose 3*g = -3*s + 9, -g - 4 = -s - j. Solve -4*r - s = -9 for r.
2
Let h(z) = z + 8. Let j be h(-6). Solve -j*y - y = 6 for y.
-2
Let o(y) be the second derivative of y**4/12 + 2*y**3/3 - y**2 - 3*y. Let b be o(-6). Let p be (-2)/10 - (-22)/b. Solve -p*r - 7 = 1 for r.
-4
Suppose 0 = -2*x - 4 + 10. Solve -c = x*c - 16 for c.
4
Suppose -s - 1 = -5. Suppose 2*v + 8 = -s. Let d be 4 - 2/v*-3. Solve -d*f = -0*f - 15 for f.
5
Let s be 1 + 10/(-25)*-5. Solve 4 + 5 = -s*u for u.
-3
Let h(g) = 5*g + 1. Let p be h(-1). Let z be (24/20)/(p/(-10)). Solve 0 = z*a - 4*a + 4 for a.
4
Suppose -5*c = -7*c. Let z(g) = -2*g**3 + g**2 + g + 5. Let k be z(c). Solve 6*i = i + k for i.
1
Suppose 0 = -4*t - 0*t - 48. Let d be (t/8)/((-3)/4). Solve 25 = d*n + 3*n for n.
5
Suppose 2*y + 8 = -5*u, y - u - 14 = u. Solve y = -2*q - 0*q for q.
-3
Let s = -166 + 403. Let d be s/21 - (-2)/(-7). Suppose 7*o = 5*o + 8. Solve -o*u - 1 = d for u.
-3
Suppose 0 = 2*s + q - 1, 13 = -5*s + s + 3*q. Let f(j) = j - 3. Let i be f(4). Let c = i + s. Solve -6 = -c*r + 3*r for r.
-2
Suppose 0 = -3*n + 6, 5*n = 4*a + 1 + 1. Solve -5 = -a*l - 3 for l.
1
Suppose 2*b = -2*a + 2, 3*b - b - 5*a - 23 = 0. Suppose -b = -s - s. Solve s*g - 1 + 7 = 0 for g.
-3
Let v(w) = w**3 + 3*w**2 - 11*w + 2. Let j be v(-5). Solve j*t - 3*t = -8 for t.
-2
Suppose 2*w + 0*w = 2. Suppose -3 = -2*q + w. Solve 3*s + q*s = 0 for s.
0
Let f be (-111)/(-21) - (-4)/(-14). Solve 4*m - f*m = 4 for m.
-4
Let l(i) = i**3 + 2*i**2 + 2*i + 1. Let m be l(-1). Solve m = u + u for u.
0
Let y be (7/7)/(3/9). Solve -m + 8 = -y*m for m.
-4
Suppose -12 = -3*w + 3. Let b = 45 + -45. Suppose -y - 4 = -n, 2*n + 3*y = -n + 18. Solve -n*r - w = -b*r for r.
-1
Let u be (-34)/(-9) + 2/9. Solve -u*m = m + 15 for m.
-3
Let d = 35 - 33. Solve -3*t + d = -13 for t.
5
Let v(j) = -7*j - 2. Let b be v(-2). Suppose r - b = -3*r. Solve -r*u = 2*u for u.
0
Suppose -2*o + 4*i + 16 + 42 = 0, -i - 145 = -5*o. Suppose -7*b = -3*b - 24. Let x = 10 - b. Solve o = x*q + 9 for q.
5
Let n be 2*((-36)/8)/(-3). Solve -q + n*q - 2 = 0 for q.
1
Let f(s) = 3*s**2 + 5*s. Let d be f(-5). Suppose -d + 10 = -5*q. Suppose -4*p = 0, 0 = 2*n + 3*n + 2*p. Solve 5*c - 3*c + q = n for c.
-4
Let b(x) = x - 10. Let k be b(0). Let u = -4 - k. Solve 4*f - u = 10 for f.
4
Let q(y) = -y**3 - 11*y**2 - y - 11. Let c be q(-11). Solve -h + 2 - 6 = c for h.
-4
Let y(k) = -16*k - 30. Let u be y(-2). Solve -t - 7 + u = 0 for t.
-5
Let j be (-2)/(3 + 3)*15. Let r be j - -4 - (-1 - 3). Solve -r*t = t - 4 for t.
1
Let a = 13 - 11. Solve -a = -g - 0 for g.
2
Suppose 0 = 4*s - 4 - 12. Let q(d) = -d**2 + 3 - 5*d + d + 2*d**2. Let y be q(s). Solve -y*f = -0*f + 3 for f.
-1
Let u = 21 - 34. Let x = u + 17. Solve -x = d - 3 for d.
-1
Let z = 228 - 227. Suppose -4*w = -4*c, 3*w - 12 = -5*c - 4. Solve -w = -y + z for y.
2
Let n(b) = b**2 + 9*b - 7. Let g be n(-8). Let h be g/(-10) + (-6)/4. Solve h = t + 2*t - 15 for t.
5
Suppose -a - 23 = -4*w, 0 = -5*a + 2*w - 6*w + 5. Let n = -3 - a. Suppose 7*l = 2*l + 5. Solve n = 4*t - 9 + l for t.
2
Let m(w) = w - 5. Let c be m(9). Solve -3*y + 