t x = 13 + -7. Solve -5*p + x = -3*p for p.
3
Let l(o) = -o**2 + 20*o + 25. Let d be l(21). Solve 0*s - 2*s + d = 0 for s.
2
Suppose -2*z = -4*s - 20, -2*z + s + 5 = -0*s. Solve z = a + 3 + 2 for a.
-5
Let t(p) = -p**2 + 11*p - 7. Let u be t(8). Suppose -2*d = -w + u, 7*d = -5*w + 3*d + 15. Solve -b = -w + 3 for b.
4
Let x be -1*2/(-3 - -2). Suppose 5*q - x*o + 28 = 0, 5*q + 0*o + 5*o = 0. Let y be 4 + 1 + q/2. Solve -4*a = -17 - y for a.
5
Let t(s) = -4*s + s**2 + 2 + 0*s**2 + 0*s - 2*s**2. Let c be t(-4). Solve 0*m = c*m - 8 for m.
4
Let h be -1 + -1*(-2 + 3). Let d be 3 + 3 - h*1. Solve -7*g + 3*g = -d for g.
2
Suppose 3*z - 2 = -3*p + 22, 5*z = 2*p + 19. Let s be (0 + -1 + 2)*0. Let h = s - 0. Solve -3*y - 2 + z = h for y.
1
Suppose 0 = 3*x - 4 - 11. Suppose 3*d - n - 20 = 6*d, -2*d + 3*n = 6. Let u = d + 17. Solve u + 9 = x*v for v.
4
Let z be (20/6)/(4/6). Suppose 0 = 2*w + i + 1, -w - 8 - z = 3*i. Solve d = -w*d - 6 for d.
-2
Let j(y) = -y - 3. Let f be j(-5). Suppose f*z = -z. Let l be -1*(1 - (4 + 0)). Solve -v + l*v + 10 = z for v.
-5
Suppose 3*w + 5*m = 3 + 14, 2*w = -4*m + 12. Let h = 9 - w. Solve -u - 20 = -h*u for u.
5
Let j(h) = h - 6. Let i be j(26). Solve -i = -d - 4*d for d.
4
Let p(u) = -5*u**2 + 16*u + 5. Let t(i) = 6*i**2 - 16*i - 5. Let s(k) = 7*p(k) + 6*t(k). Let q be s(-16). Solve 0 - 10 = -q*g for g.
2
Let o(r) = -4*r + 32. Let h be o(7). Solve -2*k + 3*k = -h for k.
-4
Suppose 0 = 4*h + 5*h - 72. Solve 3*j = h + 1 for j.
3
Suppose 2*z - 7*z = -15. Let x = 6 - z. Suppose 0 = x*g + 2*y + 5 - 1, -5*g + 2*y + 4 = 0. Solve g - 6 = -3*b for b.
2
Let h be (12/(-8))/(3/(-8)). Solve c - 2*c = -h for c.
4
Let j be (-5)/15 - (-1)/3. Solve j*d = -5*d - 10 for d.
-2
Suppose 2*x - 2 = -a, -3*a - a = -8. Solve x = -5*i + i + 12 for i.
3
Let n(y) = -5*y**3 - y**2 - 2*y - 1. Let a be n(-1). Let k be 1 + a - (-1)/(-1). Suppose -5*i + 13 = -g + 4, 5*i - 5*g - 5 = 0. Solve i = -3*z + k for z.
1
Let t(l) = 3*l**2 + l - 2. Let f be t(-2). Suppose 13 - 2 = 3*a + j, -2*j = a - 12. Let g = 3 + -1. Solve -a*z + f = g*z for z.
2
Suppose -4*u - 5*p + 25 = u, 2*u = -p + 5. Suppose 9 = -u*z + 3*z. Solve 0 = z*t - t for t.
0
Let j(s) = s**3 + 4*s**2 - 6. Let b be j(-3). Suppose b*i - m - 2 = 0, -4*m + 1 - 9 = 4*i. Solve -r + 4*r + 15 = i for r.
-5
Let p be 4/((1 - -4) + -4). Solve -3 - 5 = p*u for u.
-2
Let w be ((-35)/(-2) + (-15)/10)/2. Solve -w*x - 25 = -3*x for x.
-5
Let l(a) = -a**3 + 5*a**2 + a - 7. Let y be l(5). Let v be (-3)/3 - y*11. Suppose -5*w + 9 = -v. Solve p = -p + w for p.
3
Let m = 8 + 6. Suppose 2*p + 5*z + 14 = 4*p, m = 4*p - 3*z. Suppose 4*s = -0*s. Solve s*f + 10 = p*f for f.
5
Let h(v) = -6*v**3 + v**2 + v - 1. Let p be h(1). Let f = p + 13. Suppose 0 = 2*a + 3*a. Solve 2*c + f = -a*c for c.
-4
Let i be 1/(-3)*(0/2)/(-6). Solve -2*s - 2*s - 4 = i for s.
-1
Let d = 126 + -116. Solve 5*i = -30 + d for i.
-4
Let j(s) = s**3 - 5*s**2 + 2*s + 8. Let p be j(5). Let v(d) = -8*d - 5. Let l be v(-4). Let x = l - p. Solve -4*h - 7 = x for h.
-4
Suppose 4*y - 14 = -3*y. Solve -3*s = y*s for s.
0
Suppose 8 = 3*n + c, 0 = n + 4*c - 14 + 4. Solve 1 = -n*b - 7 for b.
-4
Let i be 24/(-60) - 2/(-5). Solve i*j - 15 = -3*j for j.
5
Suppose -o = -5 - 3. Let c be (o/6)/(4/6). Suppose -3*d + c = -2*d. Solve 2*j = 4*j + d for j.
-1
Let o = -3 + 8. Suppose -q + 0*f - 4*f - 8 = 0, o*q - f - 2 = 0. Suppose 0 = -3*y - y - 16, q = 2*s + 2*y - 32. Solve b - 5*b - s = 0 for b.
-5
Let u be (-2 - 0) + (-2 - -2). Let c be 0 + 1 - (-1 - u). Solve -g + c*g = 1 for g.
-1
Suppose 0 = r + 2*r - 21. Let h = r - 3. Suppose -2*d + 0*t = h*t + 12, 0 = 2*d + 5*t + 17. Solve 3 = d*c - c for c.
1
Let d be 1/(0 + -1) - -1. Let h = 3 - d. Suppose 0 = 5*u - 4*n - 33 - 103, 3*u - h*n - 84 = 0. Solve -u = -4*v - 4 for v.
5
Suppose b - 4*b + 51 = 0. Suppose 0 = 3*r + b - 47. Solve r = 3*w + 1 for w.
3
Suppose 2*o = 1 + 5, 0 = -4*v - 4*o + 12. Solve v = -h + 2 for h.
2
Let t be 12/30 - (-26)/10. Suppose 2*s = 4*j + 10, j = -4*s + t*j + 8. Solve i - 1 = s for i.
2
Let u(a) = -a**3 + 2*a**2 - 2*a + 5. Let l(o) = -o**3 + o**2 - 3*o + 6. Let t(x) = -2*l(x) + 3*u(x). Let r be t(4). Solve -r*q = q for q.
0
Suppose 4*j = -4*s + 48, 0*j - 5*s = -2*j + 45. Solve i = 4*i + j for i.
-5
Let s(g) = -g - 14. Let t be s(-16). Let f be (10/(-30))/(t/(-12)). Solve -u = -3 - f for u.
5
Let u be (2 + 1 + 1)/1. Suppose 0 = -f + 277 - 276. Solve o - f = -u for o.
-3
Suppose -31*c = -32*c + 4. Solve 3*h + 8 + c = 0 for h.
-4
Suppose -3*t + 15 = -4*t + 5*v, -t + 2*v = 0. Suppose 0 = -5*p - 0*p. Suppose u - 12 = k - p*k, -3*k - 6 = 0. Solve 5*d - u = t for d.
4
Suppose 4*n + 13 = -23. Let h(l) = -l**2 - 9*l + 8. Let d be h(n). Solve -3*g + 4 = -d for g.
4
Let h be (3 + (-26)/8)*(-4 - 4). Suppose 5*c + 6 = -24. Let j = c + 10. Solve h*p = -0*p + j for p.
2
Let r(c) = c**2 + 6*c - 7. Let p be r(-5). Let f = 14 + p. Solve u - f*u + 5 = 0 for u.
5
Suppose -a - 3*a + 8 = 0. Let d be 0 - (-6 + 1 + 3). Let l = d - a. Solve 0 = -2*o - l + 4 for o.
2
Suppose -7*q = -2*q. Suppose -3*i + u + 14 = 0, -5*i = u - 0*u - 10. Solve -i + q = -f for f.
3
Suppose 3*g + 2*f - 3*f + 319 = 0, 3*g + 339 = -3*f. Let c be (-4)/(-14) + g/(-14). Solve -4*k + c = -0 for k.
2
Let s be 2 - 6/2 - -2. Suppose -2*r - s = -11. Suppose -4*u - 2*w = 4, -r*u + u = -3*w - 6. Solve u*d + 2*d = 10 for d.
5
Suppose -3*n + 5*n = 6. Let o be ((-4)/n)/((-18)/27). Solve 8 = 5*m - o for m.
2
Let g(j) be the third derivative of -j**5/60 + 5*j**4/12 - 3*j**3/2 - 2*j**2. Let a be g(9). Let w be (-14)/(-7) - (a - 0). Solve w*v = -v + 15 for v.
5
Suppose -2*s - 3*s - 150 = 0. Let z be (s/(-8))/((-6)/(-16)). Let m = -7 + z. Solve 2*r - r = -m for r.
-3
Suppose 0 = 4*c - f + 16, 0*c = c - 4*f - 11. Let k(q) be the first derivative of -q**2/2 + 1. Let b be k(c). Solve 0 = 5*m - 0*m + b for m.
-1
Let h(o) = -o + 7. Let f be h(3). Solve -15 = f*t - 9*t for t.
3
Let b be ((-100)/15)/((-2)/3). Suppose 2*o - 33 = -5*l, 5*l - 41 = -3*o - 4. Suppose -2*f = -5*t - f + 10, -o*f = -2*t - 14. Solve 2*y + t*y = -b for y.
-2
Suppose 4*o = b + 28, o + 0 = -2*b - 2. Solve -o = 5*j + 19 for j.
-5
Let h = 93 - 86. Solve -z + 4 = h for z.
-3
Let c be 3/(-5) - 6/15. Let y(o) = -5*o**3 - 2*o**2 - 2*o - 1. Let x be y(c). Solve 0 = x*n + n for n.
0
Suppose 6*p = 13 + 5. Solve 2 = p*a + 14 for a.
-4
Suppose 0 = -2*x + 4*f - 14, 1 - 6 = -x - 2*f. Let l be 0/((0 - -2) + x). Solve l*n = -n + 5 for n.
5
Suppose 8*l - 6*l = 8. Suppose 0 = 2*g + 2*s - 2, -l*g + 1 = 6*s - s. Solve w + g*w - 10 = 0 for w.
2
Suppose -p = -z + 2*p + 2, 2*z + 4*p = 4. Suppose -2*l = -4*l. Solve l = -z*o - 2*o for o.
0
Let q(y) = -y**2 - 9*y - 2. Let o be q(-8). Let t(n) = -n**2 + 6*n + 2. Let x be t(o). Solve x*w - 12 = 5*w for w.
-4
Let u = -43 + 50. Solve -5*d - 10 = -u*d for d.
5
Let k be (1 - 0)/(133/(-70) - -2). Solve 4*b - 2 = k for b.
3
Let l = -1 + 1. Suppose u - 2*z = -6*z + 15, l = -3*u - 3*z + 18. Suppose m = -u*q - 3*m - 3, -3*m = 2*q + 3. Solve -g = q*g for g.
0
Let p(n) = -n**3 + 10*n**2 - n - 13. Let w be p(10). Let x = -13 - w. Let k be (4/x)/(1/15). Solve -4*v + 6 = -k for v.
3
Let j(u) = -2*u + 2. Let r be j(-2). Suppose r*o = 3*o + 12. Solve -o*v + 16 = 4 for v.
3
Suppose j = 3 - 1. Suppose a - 6 = -j*a. Solve a*x = -x for x.
0
Let j = 38 + -37. Solve q + 0 = j for q.
1
Suppose 7*f = 11 + 3. Solve f*m - 3 = 3*m for m.
-3
Suppose -3*l + 5*u = -19, -4*l = -4*u - 2 - 18. Solve 3*k + 0 + l = 0 for k.
-1
Suppose 0*j - 2*j + 8 = 0. Let f(d) = -d**3 + 7*d**2 - 5*d - 3. Suppose -23 = -4*b - v, -19 = -4*b - v - 4*v. Let m be f(b). Solve m*i = 16 - j for i.
4
Let p be (0 + 16)*(-1)/(-4). Solve 3*m + 2 = -p for m.
-2
Suppose 63 + 12 = 5*d. Let r be (-14)/(-3) - (-5)/d. Let j be (-2)/r + (-60)/(-25). Solve n = j*n for n.
0
Let f = 42 + -27. Solve 0*b + f = 5*b for b.
3
Let o = -1 - -2. Let u(f) = 4*f**2 + f - 1. Let k be u(o). Solve 8 = 4*a - k for a.
3
Let a(p) = -p**3 + 4*p**2 - 4. Let g be a(3). Let i = g + -4. Let j(f) = 4*f + 1. Let l be j(i). Solve 0 = c + l - 0 for c.
-5
Suppose 8*t = 7*t + 4. Let q(p) = -p**3 + 5*p**2 - 3*p - 1. Let m be q(t). Solve -m = -j - 4 for j.
-1
Let b = 4 - 6. Let n(g) be the third derivative of g**5/60 - g**3/6 - g**2. Let v be n(b). Solve -v*m = m for m.
0
