*s**2. Let p be v(0). Solve 0 = 2*h + h + p for h.
-4
Suppose -3*a = -15 + 6. Let k(w) = 2*w - 9. Let l be k(5). Solve -i - l = a for i.
-4
Let q(z) = -z**2 - 9*z + 2. Let s be q(-9). Solve -s*t = -7 + 1 for t.
3
Suppose -x + 6*x + 5*c = 15, -5*x = 3*c - 17. Let z = -24 + 44. Solve -x*d = d - z for d.
4
Let t(x) = -4*x - 72. Let v be t(-19). Solve v*f = -f for f.
0
Let o = -9 - -25. Suppose o = -5*b + 4*z, 0 = -3*z + z + 8. Solve y - 5*y - 4 = b for y.
-1
Suppose 44 = 4*j - 5*q, 2*j - 28 = 3*q - 8. Let y = -8 - -12. Suppose h = -z + 7, 5 = -h + 3*z - y. Solve j = -h*i - i for i.
-4
Let c(r) = -r**2 - 8*r + 6. Let h be 12/(10/(-4) - -1). Let l be c(h). Suppose -l = -u - u. Solve u*f - 10 = f for f.
5
Let h(j) = j**3 - 4*j**2 + 3*j + 4. Let v be h(3). Solve 7*u - 3*u - v = 0 for u.
1
Let n = -11 + 17. Solve -l - 10 = -n*l for l.
2
Suppose -3*d = 3*u - 7 - 2, 0 = 4*d - 4. Solve u*i = i + 2 for i.
2
Let p be 99/36 - (-3)/12. Solve -2*k = p - 11 for k.
4
Suppose 0*a = 2*a - 4. Suppose z = a, -6*j + j - 2 = -z. Solve 5*k = 10 - j for k.
2
Suppose -2*q - 3*q + 20 = 0. Suppose -5*u - q*y + 19 + 5 = 0, -3*u + 32 = -2*y. Let f be (-4)/6 + u/3. Solve -6 + f = -4*b for b.
1
Let n be -5*-3*(-4)/(-12). Solve -3*v + n = 20 for v.
-5
Suppose 4*i - 60 = -4*n, 2*i - 4*n + 9 - 39 = 0. Let b be i*(2/6)/1. Solve 0*c + 25 = -b*c for c.
-5
Let b(k) = k**2 - k + 2. Let p be b(0). Let o(q) = q**3 - 13*q**2 - 15*q + 20. Let s be o(14). Solve s*z = p*z for z.
0
Suppose 7 = y + 3, -4*k - 3*y = 340. Let p be (2/(-4))/(4/k). Solve 2*c - 3 + p = 0 for c.
-4
Suppose 3 = -5*q + 3*g, -3 = 3*q - q - 3*g. Solve q = -4*r - 19 + 7 for r.
-3
Let g be (12/(-15))/(8/(-20)). Solve a + 0 = -g for a.
-2
Let n be 1/(-4) - (-13)/4. Suppose 2*j - 13 = i, 2*i = -0*j - n*j + 9. Suppose -6 + 1 = -j*s. Solve s = -5*a - 24 for a.
-5
Let y be -2*10/((-2)/1). Let w = 13 + -11. Suppose -3*j = w*j. Solve -5*x - 5 - y = j for x.
-3
Suppose -2*a = 2*a - 12. Let w be (-2 - -7) + 0 - a. Solve -13 + 3 = -w*g for g.
5
Suppose -2*p + 21 = 2*z - 3*z, 0 = 2*p + z - 23. Let c(k) = k - 8. Let h be c(9). Solve -3*f + h = -p for f.
4
Let m(k) = 5*k - 4. Let j(g) = -11*g + 9. Let v(q) = -6*j(q) - 13*m(q). Let c be v(5). Solve -h - c - 1 = 0 for h.
-4
Suppose 0*v = 4*v. Suppose v = -2*w + 3*f + 6, 2*f = -2*w + w + 3. Solve -w*o - 11 = -2 for o.
-3
Suppose 0 = -5*k - 3*p - 43, -3*k = 2*k - 2*p + 38. Let i = k - -10. Solve 4*m + i + 10 = 0 for m.
-3
Let i(g) = -3*g - 6. Let z be i(-4). Let w(v) = -v**2 + 6*v + 4. Let j be w(z). Suppose d + 5*q + 20 = -d, d - j*q = 16. Solve -4*c + 20 = -d*c for c.
5
Let i be ((-6)/(-4))/(2/4). Solve 0 = -i*h - 2*h for h.
0
Suppose -g = 3 - 20. Solve g = 4*r + 5 for r.
3
Let v = 23 - 23. Solve v = 5*l + 26 - 11 for l.
-3
Let x be ((-8)/(-14))/((-14)/(-49)). Let p = x + -2. Solve 0 = -p*q + 3*q + 3 for q.
-1
Suppose 0*u = 5*u - 10. Suppose 4*z - u*z - 40 = 0. Suppose -2*q + z = 2*q. Solve 5*r = -0 - q for r.
-1
Let i = 27 - 26. Let j = 1 + 0. Let h be -1 + i - (-4 + j). Solve -r - h*r = 0 for r.
0
Suppose -5*g + 5 = -a, -2*a + a = -2*g + 2. Solve -5*v - 13 + 3 = a for v.
-2
Let y = -56 - -56. Solve -u + 4 = -y for u.
4
Let r = 120 + -115. Solve -4*t + 5*t + r = 0 for t.
-5
Let u be 4/((-12)/3) - 20. Let m = u - -24. Solve 0 = -0*x + m*x for x.
0
Let z be 6/(-9) - 6/(-9). Suppose -2*d - 4*a + z*a + 24 = 0, 0 = -4*d - a + 27. Let p = d + -6. Solve p*i - 6 = 2*i for i.
-3
Let w be 46 - 9/(-6)*-2. Suppose 5*d + w = 3*c, -c = 2*d + 3*d + 19. Solve o - 25 = c*o for o.
-5
Suppose 5*s = -5*a + 100, -2*s + 56 = s - a. Suppose s = 2*h - 5. Let p = 9 + -1. Solve 4*u - p = h for u.
5
Let v be (-4 - (-25)/10)*-8. Solve h = 4*h + v for h.
-4
Let h = -14 - -28. Let f be 0*(h/(-4) + 3). Let c be f*(1 - -1)/(-2). Solve 4*k + c*k = 4 for k.
1
Suppose 0 = -4*p - g + 14, 0 = -p - g - 0*g + 5. Suppose 519 = 77*t - 20. Solve 5*b = p + t for b.
2
Suppose 5*u - r - 25 = 2*r, -15 = -3*u - 2*r. Suppose -2*d + 10 = w, u*d + 3*w - 24 = d. Solve -4*g = d + 5 for g.
-2
Let g be (-354)/14 - (-14)/49. Let c = -21 - g. Solve -c*v + 9 + 7 = 0 for v.
4
Let h = 8 + -2. Let c(f) = f**2 - 8*f - 4. Let n be c(h). Let r be 2/9 - n/9. Solve r*v = v for v.
0
Let s(d) = 2*d**2 - 5*d + 2. Let f be s(3). Suppose 5*h + 2*k - 8 - 11 = 0, 0 = 3*h - 2*k - f. Suppose -2*q = h*q - 10. Solve m + q = -3 for m.
-5
Let y be 0 - (2 - (1 + -1)). Let d be 8/y*7/(-4). Suppose -2*w = -d*w + 10. Solve 0*g + 10 = -w*g for g.
-5
Let t(c) = c + 6. Let y(d) = -2*d**2 + 5*d - 3. Let r be y(3). Let q be t(r). Let g be q/(-2) - 0/2. Solve 4*k - 4 = -g*k for k.
1
Let n(v) = 7*v**3 - 2*v**2 + 1. Let i be n(1). Let h be 1*2 + (-2)/(-2). Suppose -18 - i = -h*f. Solve f = -2*j + 6*j for j.
2
Let u(o) = 10*o - 5. Let p be u(2). Solve 0 = 6*d - d + p for d.
-3
Let i(c) = 2*c**3 - 4*c**2 - c + 1. Let x be i(3). Suppose -4*y - 45 = y. Let m be x/72 - 16/y. Solve -17 = -5*t - m for t.
3
Let v be (5/2 - 0)*64/40. Solve -3*b + v = b for b.
1
Let l(x) = -x**3 - 6*x**2 - 10*x - 4. Let r be l(-4). Solve -r*y = -7 - 1 for y.
2
Suppose 0 = -9*l - 4*l + 13. Solve -5*v + 9 + l = 0 for v.
2
Let r be (-6)/27 - 2/(-9). Suppose -4*k - 70 = -22. Let j = r - k. Solve -4*l = -l - j for l.
4
Let v(h) = h**2 - 4*h - 8. Let t be v(6). Solve r = -t*r for r.
0
Let c be (0/13)/(1*-1). Solve c = -2*f - 2 - 6 for f.
-4
Let f(v) = -84 + v + 84. Let s be f(2). Solve 0*n - s*n = 8 for n.
-4
Let u(j) = j**2 - 10*j + 3. Let c be u(10). Suppose 18 = -0*v + c*v. Solve -4*z - v = -2 for z.
-1
Let x = 64 - 89. Let w = x + 25. Solve w = -2*r + 3 - 1 for r.
1
Let x(k) = -k - 7. Let v be x(-5). Let z be (0 + -2)*5/v. Suppose 5*g - 25 = -5*j, -4*j + 52 = j - 4*g. Solve q = z*q + j for q.
-2
Let i be 1/4 + (-880)/(-64). Solve -4*b - 6 - i = 0 for b.
-5
Suppose 0*v + 3*v = 0. Solve 5*r - 3 + 18 = v for r.
-3
Let v = 1 - -5. Suppose -4*i - v = 2. Let u be (1 + -1)*(-1)/i. Solve -3*p + 2 + 4 = u for p.
2
Suppose 1 - 31 = -4*d - 3*n, n = d - 11. Solve 4*v + d = v for v.
-3
Let y = -2 + 1. Let p = 2 - y. Suppose 5*t + o - 45 = -4*o, 3*o + 18 = 2*t. Solve -4*m + p = -t for m.
3
Let o(f) = -2*f**3 - 3*f**2 + 1. Let n be o(-2). Let k(x) = -x**2 + x + 2. Let t be k(0). Let c be (-228)/(-14) + t/(-7). Solve c = -n*a + 6 for a.
-2
Suppose -7*t = -2*t - 5*g - 30, -t = 5*g + 18. Suppose -k + 4 = -t. Let l be (-4)/6 - (-52)/k. Solve -5*r = -7 - l for r.
3
Suppose -4*o = x - 2*o + 10, 16 = 4*o. Let i = -13 - x. Suppose -4*v + 6*v = -v, 4*j = 2*v. Solve j = i*z + 5 - 20 for z.
3
Suppose 15 = 5*q + r, -4*q + 8*q = -5*r + 33. Let f be 0/(-9)*(-1)/q. Solve f*n + 12 = 4*n for n.
3
Let z(s) = s**3 + 2*s**2 - 3*s + 3. Let v be z(-3). Let l = 3 - v. Solve 0 = -5*y - l*y + 25 for y.
5
Let s = 9 + -7. Let r be ((0/(-1))/s)/(-2). Let p be r + 21 + 3 + -5. Solve -4*m = 1 + p for m.
-5
Let b(v) = v + 9. Let g be b(-8). Solve -4 = z - g for z.
-3
Suppose -6 - 4 = -5*i. Let o(f) be the third derivative of f**5/15 - f**4/24 - f**3/3 + 13*f**2. Let a be o(i). Solve 2 - a = 2*k for k.
-5
Let a = 3 + 5. Solve -15 = a*y - 3*y for y.
-3
Let b(c) = 2*c + 1. Let v be b(-5). Let d = v - -12. Solve 4 = -d*r + 13 for r.
3
Let l be 1/(-1) - (1 + -7). Let k = -1 + l. Solve 0 = k*i + i - 20 for i.
4
Let y(b) = 7*b. Let r be y(5). Suppose 0 = -5*v + 4*f + r, -40 = -5*v + 3*f + 2*f. Solve v*s + s - 20 = 0 for s.
5
Suppose -2*a + 15 = -3*t - 3*a, 5*a = t - 11. Let g = -2 - t. Suppose 12 = -0*q + g*q. Solve 5*u + q = 2*u for u.
-2
Let i(n) = -n**2 - 13*n - 12. Let s(l) = -l**2 - 2*l - 4. Let a be s(-4). Let g be i(a). Solve -4 = -g*m - 4*m for m.
1
Suppose a = -a + 14. Suppose 0 = -p + a*p. Solve p = t + 4*t - 10 for t.
2
Let f(x) = x**2 - 3. Let s be f(-3). Let n be 12/6*s/2. Suppose -3*m + 4*t + 1 = n, -m = -t. Solve m*g = 8 + 12 for g.
4
Let n(b) = -6 - 2*b + b + 0. Let f be n(-11). Solve 2*m = -3*m + f for m.
1
Let s be 3*((-64)/(-3))/(-4). Let b be (-11)/(-3) - s/(-24). Suppose -l + 5 = b. Solve l*i + i + 3 = 0 for i.
-1
Let w(j) = -j + 1. Let f be w(-5). Suppose s - 4*s + f = 0. Solve 0 = -s*l - 6 + 2 for l.
-2
Let g = -21 + 30. Let q be (2/(-2))/((-1)/4). Suppose -q*y + y = -g. Solve -y = -p + 4*p for p.
-1
Suppose -5*n = 4*m - 17, -2 = m - 0*m. Solve -w - n = -0 for w.
-5
Suppose 4*k - 24 = 4*b, 4*k - k + 4*b = 11. Solve 6 = -k*w -