/3 - a**2/2 + a. Let o be y(3). Let r = o - 5. Solve r*p = 2*p for p.
0
Let p(s) = 2*s + 7. Let x(i) = -3*i - 15. Let r(o) = 7*p(o) + 4*x(o). Let c be r(8). Solve 0 = -c*g - 0*g for g.
0
Let l(c) = -c + 5. Let i be l(4). Let u be -1 + i + (18 - 0). Suppose 3*k + 2*d - 11 = 0, -3*k + 5*d = -k + u. Solve 4*r = 5*r - k for r.
1
Suppose 0 = 11*w - 4*w. Solve w*m = 5*m - 20 for m.
4
Let s(o) = -2*o**2 - 18*o + 1. Let u be s(-9). Solve 4 = 3*b + u for b.
1
Let q be -3 + 0 + -1 + 2. Let x be q/(-6)*27/3. Solve -x*u - 20 = 2*u for u.
-4
Suppose 5*o + t - 15 = 0, 5*o + 0*o = 4*t - 10. Let j = -2 + -1. Let k be (o/j)/((-4)/24). Solve -k*b = -9*b + 25 for b.
5
Suppose -2*g + 13 = 11. Solve 4 = -i - g for i.
-5
Suppose -5*m = 3*c - 40, -35 = -4*m + m - 4*c. Solve 15 = m*b - 0*b for b.
3
Suppose 20*d - 21*d = -5. Solve 3 = -4*v + d*v for v.
3
Suppose -5*y - 12 - 3 = -4*q, 0 = 2*y - 3*q + 13. Let h be (y/(-1))/(3/(-12)). Suppose -4*i + 5*z = 6 + 2, 16 = h*z. Solve 5*d - i = 2 for d.
1
Let r(c) = -2*c**3 + c**2. Let l be r(-1). Solve -w - l = -2 for w.
-1
Suppose 4*d + 24 = 3*g + g, -18 = -d - 5*g. Suppose -3*f - 5*m + 0 + 34 = 0, -5*f + 98 = -2*m. Let x be d/(-4)*(f - -4). Solve -x = 3*z + 4 for z.
-5
Let z(n) = n**3 + 14*n**2 + 26*n + 26. Let a be z(-12). Solve -a*j = -7*j - 15 for j.
-3
Let n = 3 - -2. Let x be 5 - (-1)/((-2)/4). Suppose -3*i + x*b + 9 = 0, 2*i - 2*b - 8 = b. Solve 0 = -4*g + i - n for g.
-1
Let x(s) = -s**3 + 4*s**2 - 2*s + 3. Let o be x(4). Let f = o - -10. Suppose f*u = -p + 10, -p - 11 = 2*u - 4*u. Solve -u*k = -k for k.
0
Suppose f + 4*b - 1 = 0, 5*f + 2*b - b = 5. Let u be (9/3 + f)*2. Solve -8 = -4*g + u for g.
4
Let n = -112 - -120. Solve 7*a - n*a = -4 for a.
4
Let l(z) = -z**2 - 7*z - 6. Let s be l(-6). Let y = 1 + 2. Suppose 3*m = -y*x - 3 + 6, -2*x + 12 = -3*m. Solve s = 2*o - o + x for o.
-3
Suppose -c = 2*c. Solve 4*x + 4 = -c*x for x.
-1
Let q = 9 - 5. Solve -1 = h - q for h.
3
Let z be ((-9)/6 - -1)*-14. Let i be -6*(40/16 + -1 + -2). Solve z*s = i*s for s.
0
Suppose 2*j + g = -0*j, 2*g = 5*j. Suppose -4*t + 26 = 5*f, -2*f - f + 2 = -t. Suppose 0 = -x - t*x + 10. Solve x*d + j = 6 for d.
3
Let y(w) = -w**2 + w - 5. Let h be y(-8). Let c be (-62)/(-22) + (-14)/h. Solve 9 = 2*x + c for x.
3
Let o be ((-12)/(-48))/((-1)/(-8)). Solve 0*n - o*n - 8 = 0 for n.
-4
Let f(x) = 2*x - 6. Let t be f(6). Let s = t - 4. Solve -3*k - s = -2*k for k.
-2
Suppose 4*w = 4*c - 0*w - 12, 15 = 4*c - w. Solve 11*k = 13*k - c for k.
2
Let u be 2/((-88)/(-20) + -4). Solve 12 = -2*d + u*d for d.
4
Suppose -2*w - 5*w = 3*w. Solve w*a = -3*a + 6 for a.
2
Let t = 0 - 6. Let y be 6/9 - 32/t. Solve 2*i = y*i for i.
0
Suppose 3*l = l + 4. Let i = l + 0. Solve -5*o + i = 7 for o.
-1
Suppose 19 = 7*w + 5. Solve -w*z - 1 + 7 = 0 for z.
3
Suppose 3*y = -11 + 26. Solve -y*i + 4 = -11 for i.
3
Suppose -6 = -4*p + p. Suppose 0 = -3*j - p*j + 35. Suppose 3*m - m = 2. Solve 2*l + j = -m for l.
-4
Let v be (3 + (-51)/12)/((-4)/16). Solve -v*k + 26 = 1 for k.
5
Let m(s) = -s**3 + 10*s**2 - 9*s + 5. Let o = 1 + 8. Let x be m(o). Suppose -5*l + 21 - 1 = x*i, -l = -5*i - 16. Solve -2*p = p - l for p.
2
Suppose -6*g + g = 70. Let n = 16 + g. Solve n*u = -u for u.
0
Let a be 1/(2/4)*6. Suppose 4*p - a = 0, 3*j - 4*p + 16 - 4 = 0. Solve -3*o + 12 + 3 = j for o.
5
Let m = 8 + -5. Let t = -1 - -1. Solve -m*a = -t*a for a.
0
Suppose -15 = -2*k - 4*w + 49, -3*k - w = -91. Let p = 13 + -7. Suppose o = p*o - k. Solve 0*b = 3*b - o for b.
2
Suppose 4*k + 1 + 3 = 0, -4*s + 4*k + 28 = 0. Solve -2*n + s*n + 12 = 0 for n.
-3
Suppose 6 = r + 2. Let m be 4/6 + 58/3. Solve r*k = -0*k - m for k.
-5
Let r(d) = -d**2 + 12*d + 18. Let m be r(13). Solve -2*q + 1 = -m for q.
3
Let d = 12 - 9. Solve 5*a + 8 = d for a.
-1
Let d(v) = 3*v - 8. Let x be d(4). Solve x*c + 0*c - 12 = 0 for c.
3
Let w be 13/26*(0 + 0). Solve w*s = 4*s - 4 for s.
1
Let l be (7*(-14)/(-49))/((-2)/(-4)). Solve -5*d + 1 = -l for d.
1
Let s be ((-6)/(-4))/(1/2). Let b be -2*3*12/(-18). Let z = s + b. Solve z = 2*a - 1 for a.
4
Let p(a) be the first derivative of 3*a**3 - a**2 + 2*a + 5. Let y be p(1). Solve y = -4*m - 3 for m.
-3
Let v(w) = 4*w**2 + 2 + 0*w**2 - 2*w + 3*w + w**3 + 2*w. Let z be v(-3). Solve -z*k - 2 - 2 = 0 for k.
-2
Suppose 0 = 11*h - 10*h - 3. Solve -4*i + h*i = -3 for i.
3
Let x = -7 - -6. Let c be ((-3)/(-3))/(x/(-4)). Suppose -2*n - 3*n = -10. Solve 8 = -n*h + c*h for h.
4
Suppose -c + 5*j = -45, -5 = 2*c + 2*j - 59. Solve -c = 5*u - 5 for u.
-5
Let t be 3*4/4*1. Suppose 4*p + t*v = v, 2 = -v. Solve -m = -0*m - p for m.
1
Let m(j) = -j**3 - 5*j**2 - 2. Let v be m(-5). Suppose 0 = -2*i + i + 7. Let z = v + i. Solve 5*t + z + 0 = 0 for t.
-1
Suppose -5*z + g + 24 = 2*g, 3*z + 3*g = 12. Suppose z*x + 2*w + 2*w + 12 = 0, -9 = -4*x + 3*w. Let u be 3 - (x + 3/(-3)). Solve -4 = -2*d + u for d.
4
Let j = -14 - -49. Suppose 4*s + 3 = j. Solve 0*b + 2*b = -s for b.
-4
Let v = -3 - -3. Suppose 5*l + 74 + 41 = v. Let f = l + 32. Solve 3 + f = 3*i for i.
4
Let n(c) = c**3 - 3*c**2 - 4*c. Suppose -2*r + 6 + 2 = 0. Let d be n(r). Solve -5*w + d - 5 = 0 for w.
-1
Let x = 4 - 4. Suppose f = -x*f + 4. Solve 0 = -u + f*u for u.
0
Let q be 1*45/(-9) - (-15 + 0). Let y be 14 + 1 + 2*1. Suppose -7 + y = 5*w. Solve w*r = -q - 0 for r.
-5
Suppose -3*w + 25 = -4*q, 1 = -3*w - 3*q - 2. Suppose -6 = w*f + z - 31, 0 = f + 2*z. Suppose -2*d = -0*d - f. Solve d*b - 1 = -11 for b.
-2
Let m(f) = -f**3 - 9*f**2 - 7*f + 8. Let n = -26 - -18. Let o be m(n). Solve o = -4*s + 16 - 4 for s.
3
Let j = -52 + 58. Solve 10 - j = 2*g for g.
2
Let w be 2/1 + 57/(-1). Let p = -30 - w. Suppose 5 = i - 0*i - x, i = -5*x - p. Solve i = 2*s + s + 3 for s.
-1
Let l(g) be the third derivative of -g**4/12 - g**3/2 - g**2. Let a be l(7). Let m = -7 - a. Solve 0*t + 2*t + m = 0 for t.
-5
Let m be 14/(-21) - (-74)/(-6). Let r(g) = g + 13. Let n be r(m). Solve n*q = -2*q - 4 for q.
-2
Let j(q) = -q**3 + 10*q**2 - q + 13. Let v be j(10). Let a = -6 + 4. Let x be (-1)/a*4 - 0. Solve 3*k = x*k - v for k.
-3
Suppose -12 - 3 = -3*g. Let b be g/(-1)*(-12)/(-10). Let n = -3 - b. Solve n*u = -2*u + 15 for u.
3
Suppose 2*a + 63 = 3*v + a, 2*v = 2*a + 46. Let d = -19 + v. Solve -d = -3*n + 2 for n.
1
Suppose -4 + 10 = 2*l. Let u(g) = 3*g**2 + 1 - 2 - 2*g**2. Let q be u(-1). Solve -l*t = -q*t - 9 for t.
3
Let g be (-3)/18*2*-3. Solve 0 = -0*c + c - g for c.
1
Let l(x) = -x + 2. Let g be l(0). Solve z = -g*z + 12 for z.
4
Let r be (-12)/(-66) + 18/22. Let q = 0 - 0. Solve q*d = -d - r for d.
-1
Let t(o) = -o**3 + 7*o**2 - 10*o + 24. Let d be t(6). Solve 3*j - 15 = -d for j.
5
Let s = 23 - 21. Solve -3*v - s = -8 for v.
2
Let z = -93 + 94. Solve w + z = -0 for w.
-1
Let w = 7 - 6. Suppose -7 - w = -4*s. Suppose s*x + 5*g - 9 = 0, -4*g - 3 = 9. Solve 0*n - x = -4*n for n.
3
Let a be (-1)/(-4) + 57/12. Suppose -5*y + 5 = -z - 4, 5*z - a*y = 15. Suppose -n = 2 - z. Solve 2 + 2 = -n*u for u.
-1
Suppose 2*z = -2*a - 0*a, 4*z + 5*a - 4 = 0. Let n = -2 - z. Solve -n*p - p - 3 = 0 for p.
-1
Suppose -2*r - 3*k = -k - 6, 4 = 4*k. Suppose b = -0*b + j - 3, 4*j - 12 = r*b. Solve 0 = f - 3 - b for f.
3
Let n = -43 - -47. Solve -3*y = y - n for y.
1
Suppose 3*o = -28 - 29. Let h be o/(-7) - (-4)/14. Solve h*p - 9 = 3 for p.
4
Suppose 0 = 5*o - 16 + 6. Solve -o*p + 8 = -0 for p.
4
Let i(l) = -l + 5. Let d be i(3). Let a(y) = y**3 + 3*y**2 - 3*y + 1. Let o be ((-8)/(-4))/((-2)/3). Let z be a(o). Solve -z = -0*f + d*f for f.
-5
Let p(w) = -3*w + 45. Let r be p(15). Solve g - 6*g + 25 = r for g.
5
Suppose -4*r + 1 = -f, -3*r = -4*f + 2*r + 7. Suppose -4*k + f + 5 = 0. Solve i + 4 = k*i for i.
4
Suppose 18 = 4*c - 22. Let f = c - 7. Let n be ((-52)/5)/(-4) - 2/(-5). Solve -n = -3*h + f for h.
2
Let y be 9/6*(-2)/(-3). Let x be 4 + 0/1 - y. Suppose -o + 2*a + 1 = x*a, 0 = o + 4*a + 2. Solve -4*w - o = -3*w for w.
-2
Suppose -3*f + 3*d + 9 = 0, -9 = f - 5*f + d. Solve -2 = -f*v + 4 for v.
3
Suppose -4*p + 12 = 0, -1 + 7 = 5*c + 2*p. Suppose 0 = -3*w + 7*w + 5*d - 36, d = c. Solve -4*q - w + 25 = 0 for q.
4
Let c(d) = 6 - 8*d - 9*d**2 + 9*d + d**3 - 13. Let t(w) = w**3 - 2*w**2 + w - 3. Let k be t(3). Let o be c(k). Solve o + 1 = -u for u.
-3
Let t = -9 - -12. Solve 2 + 4 = t*h for 