3*q - 12 = -5*p, -17 = -n*q + 2*q - 5*p for q.
-1
Let a(i) = 3*i**2 - 1. Let y be a(1). Suppose -2*h + 2*d = -16, 21 = 4*h - d - y. Let k = h - 0. Solve k*f - 30 = 3*u, 9 = 5*f - u - 11 for f.
3
Suppose -4*l + 65 = 5*b - 0*b, b - 77 = -4*l. Suppose -3*q - l = -7*q. Let k = 7 + -2. Solve 0 = 6*j - j - 3*p - k, 0 = -p + q for j.
4
Let v(d) = -d**2 - 9*d + 5. Let a be v(-9). Suppose a*y - 14 = -2*w - 0*w, 4*w - 8 = 0. Solve 4*x + 0*o - 20 = -y*o, -o = -x - 1 for x.
3
Suppose 32 = 2*r - 4. Solve -f - 1 = -3*j, -4*f = -0*f - j - r for f.
5
Let t(r) = r**3 - 3*r**2 - 2*r - 5. Let g be t(4). Solve -g*s + 8 = -4*w, -w + 20 = -5*w for s.
-4
Let m be (8/3)/(4/12). Let x = 13 - m. Let a = x + -1. Solve -9 = -t + 5*v, -3*v + 11 = a*t + 2*v for t.
4
Let u = 19 + -21. Let n(h) = h**2 + 5*h - 1. Let z be n(-3). Let s = u - z. Solve -4 = 4*j + s*i, -6*i = j - 2*i + 1 for j.
-1
Let x(l) = -l**2 - 4*l + 2. Suppose 5*b + 10 + 5 = 0. Let p be x(b). Solve 0 = -v - 3*f - 6 - 9, 5*v - 5 = p*f for v.
-3
Let y(t) = -t**2 + 6. Let f be y(0). Let l be 2*(-1)/2*-3. Suppose -2*o - o + 3 = -2*h, l*o - h = 6. Solve -4*j = -s + 14 + 3, 3*s = -o*j + f for s.
5
Suppose 12*g - 6*g - 108 = 0. Solve 4*q + 24 = -4*s - 0*q, s - 5*q = g for s.
-2
Let z = 1 + 20. Solve 2*k + 2*o - 16 = -o, 0 = 3*k + 3*o - z for k.
5
Suppose -x + 2 = -4*u - 28, -3*x - 3*u = -75. Suppose -v = -4*d + 13, -5*v - 3*d + 4*d = -11. Let l = 6 - v. Solve 4*g - 25 = -0*t - l*t, -2*t + x = 5*g for g.
4
Let y be 3/(1/1) - 3. Suppose 5*l - g - 21 = y, -4 - 13 = -l - 3*g. Solve -z - 4*z + 11 = 4*m, -l*z = m - 14 for z.
3
Let q be 6*6/6 + -1. Suppose 5*k - 10 = -5*y, -y = -3*y + 5*k + 39. Solve -5*x = 2*o - 33, 8 = -q*o + y*o for x.
5
Let y = -6 + 10. Suppose -9 = -3*x - 0. Let v = 2 + x. Solve 3 = -y*p - v*l, -l - l = p for p.
-2
Let j be 2*((-39)/(-6) + -3). Let u(n) = n. Let h be u(3). Let a = j - h. Solve -3*c - 2*d + 15 = 0, 2*c - a = d - 1 for c.
3
Let r(x) = -x**2 - 10*x - 9. Let p be r(-9). Solve 5*j + 0*y = -2*y + 5, p = j - y - 1 for j.
1
Let t(m) = -7*m**2 + 1. Let h be t(-1). Let v(a) = a**3 + 5*a**2 - 8*a - 7. Let l be v(h). Solve l*y = -3*d + 28, 0 = -3*y - 2*d - 2*d + 19 for y.
5
Suppose -5*s + 5 = 3*b - 7, -2*b - 2*s = -8. Solve 2*w - 10 = 0, w - 20 = n - b*w for n.
5
Suppose y - 110 = -105. Solve 3*j - y*l + 31 = 0, -l + 3 = -j - 4 for j.
-2
Let v(f) = 9*f**3 - f**2 + f. Suppose 0 = -5*t + 3 + 2. Let c be v(t). Solve -4*y - 12 = -6*u + 4*u, 3*y + c = 4*u for y.
-3
Let u = 5 - 4. Let d be u/(-2) + (-98)/(-4). Let w = -1 - -1. Solve 4*c - 2*x + 26 = 0, -3*x = -w*c - 3*c - d for c.
-5
Let s be 3*-3*(-5)/9. Solve -s*z - m - 21 = -2*m, -z = 3*m + 1 for z.
-4
Let q(h) = h**2 + 2*h + 3. Let m be q(-4). Solve -w = -2*k + 5*k + m, 21 = -k + 4*w for k.
-5
Suppose -15 = -5*u + 90. Let q = -16 + u. Solve 4*d - 8 = -2*y + 6*y, 3*d = q*y + 16 for d.
-3
Let b(g) = 3*g**2 - 2. Let v be b(3). Let s(l) = -l - 4. Let p be s(-9). Solve -7*k = -2*k - v, p*k = -2*d + 35 for d.
5
Suppose 3*w + 3*o = 36, 3*w = -w - 5*o + 46. Solve -3*j - 11 = -4*m, -m + w + 6 = 5*j for j.
3
Suppose g + 0*g + 29 = 0. Let b be (-9)/6*(37 - -1). Let k = g - b. Solve -32 = 2*a + 3*a - 4*u, 4*a - 4*u + k = 0 for a.
-4
Let m = -19 + 35. Let y be 4/(-4) - m*-1. Let a = y - 7. Solve -4*b - 2*n = -a, -5*b + 0*n - 5*n + 15 = 0 for b.
1
Let l(t) be the second derivative of t**3/6 + 5*t**2 - 5*t. Let j be l(-7). Solve -j*v + h - 11 = 3*h, 4*h = -4 for v.
-3
Suppose 5*u = u. Suppose -4*w + 5 + 15 = u. Solve -3*i - 12 = w*c, 2*i + i + 12 = 5*c for c.
0
Let j = 2 + -2. Suppose j = -4*r + r + 3. Let t = 46 - 38. Solve 3*w + 2*u - t = -r, 0 = 3*w - 5*u - 35 for w.
5
Let d be (12/10)/(21/70). Solve 0 = -3*j + d*j - i - 1, j - 9 = 5*i for j.
-1
Let g(y) = -y**3 + 6*y**2 + 2. Let t(b) = -b**3 - 5*b**2 - 6*b - 2. Let c be t(-4). Let v be g(c). Solve v*n + a = -5, -n + 0*a - 7 = -a for n.
-4
Let g = -1 - -14. Let f be 1/(((-15)/6)/(-5)). Let v = g + f. Solve -5*u - 4*d + v = 0, u - 3 = -6*d + 4*d for u.
3
Suppose -8*u = -4*u + 2*o + 2, -5*o - 5 = 2*u. Let j(f) = f**3 - f. Let c be j(u). Let r be c + 24/3 - -1. Solve 2*w + 6 = -2*w + 2*l, -5*w = -l + r for w.
-2
Let v = -37 - -52. Solve 5*n + v = 5*q + n, -n = 0 for q.
3
Let u = -17 + 8. Let z be 1*((-3 - -20) + 2). Let v = u + z. Solve -2*f + 0*f + 14 = -5*a, -5*a = v for f.
2
Let f(c) be the second derivative of 0 + 1/12*c**4 - 2*c + 5*c**2 + 3/2*c**3. Let h be f(-8). Solve s = -h, 4*i - 5*i = 2*s for i.
4
Let h = 29 + -26. Solve -h*u + 1 - 11 = -f, 6 = -f - 5*u for f.
4
Suppose 2*d - 40 = -5*l, -5*d + 5*l = -9 - 21. Solve -3*m + 2*m + y - 2 = 0, 5*y = -5*m + d for m.
0
Suppose 4*k = -3*m + 17, -2*k = -5*k - 4*m + 4. Let x = 0 - -4. Solve -b - x = l, l - 3*l - k = b for b.
0
Suppose 0 = -0*r + 2*r - 30. Suppose r = -l + 6*l. Solve 4*p - 4*d + d + 29 = 0, -4*p - 11 = l*d for p.
-5
Suppose -5*v + 0*v + 25 = 0. Solve 2*c + 3 = 3*c - j, 21 = v*c + j for c.
4
Let x be (-6)/54 + (-20)/(-18). Suppose 5*l = 10 + 5. Solve 0 = -i - h + x - 4, -13 = l*i + 4*h for i.
1
Let t = 6 + -2. Let b be (4 + -13)*(-7)/3. Suppose 3*a - 2*k = 7, b = t*a + a - k. Solve -5*f + a*y = 5, -2*f + 7*f = -5*y + 35 for f.
3
Let v(b) = -7*b - 3 + 2 - b. Let f(t) = -2*t**2 + t. Let n be f(1). Let w be v(n). Solve p + 5*i = -5, 3*p = w*p + i - 18 for p.
5
Let w(t) = t**2 - 6. Let r(s) = -s**2 + 5. Let u(q) = -4*r(q) - 3*w(q). Let l be u(-2). Solve l*n + o = n, 5*o + 24 = n for n.
4
Suppose -5*r + 60 = -r. Suppose l + 3 = 5*t - 2, 3*l + r = -4*t. Solve -5*q - 4 = x, -q - 20 = 5*x - t*x for q.
0
Let k be 4 + -1 + -2 - 2. Let f = k + 3. Solve 0 = 2*o - s - 11, 2*s - 2 = -f*o - 6 for o.
3
Let z(v) = v**2 - 4*v + 5. Let g be z(3). Suppose 0 = 4*y + 8, 41 = -0*a + 5*a + g*y. Suppose -3*h = -6 - 9. Solve -h*c + 1 = 3*i - a, 2*c = i + 15 for c.
5
Let j = -8 - -38. Let c be ((-40)/j)/((-2)/3). Suppose 10 = 2*s + 3*s. Solve -s*p - c*r + 2 = 0, 5*p + 0*r + 5 = -3*r for p.
-4
Let x = 10 - 10. Solve 4*u + 2*g - 19 = 9*u, x = 3*u + 2*g + 21 for u.
-5
Let g = -108 - -122. Solve -a - 3 = -b - 0, 3*b = -2*a + g for a.
1
Suppose s + 12 = 5*s. Suppose -s*t - 7 = 23. Let u be t/(-3) + 3/(-9). Solve -2*n = -u*d - 15, 5*n + 5*d + 25 = -0*n for n.
0
Let t(v) = -v**2 + 7*v - 4. Suppose 2*k - 2*x + 28 = 6*k, -4 = -2*x. Let n be t(k). Solve h + 2*f - 23 = -n*f, 0 = 5*h + 5*f - 40 for h.
3
Suppose 2*x = -2*x + 20. Solve 5*a = -5*f - 25, -x = f - 2*a + 5*a for f.
-5
Suppose 0 = 2*p - 5 - 1. Suppose -2*f = -4*f + 4. Let a be (-84)/(-9) + 4/6. Solve g = -f*y - p*g + 4, -y + 4*g = a for y.
-2
Let m be 4/(-18) - 220/(-18). Suppose -9 = 4*p - p - 4*x, 4*p + 4*x = -m. Let o be 2/(-4)*-2 - p. Solve -o*q - 2 = 2, -10 = -3*h - 5*q for h.
5
Let a be 4 - ((-13)/(-1) - 4). Let m(u) = u + 5. Let r be m(a). Suppose -3*h = v - 10, 5*h - 2*v + 5*v - 10 = 0. Solve -f - 4*s + 1 = 3, r = h*f + s - 9 for f.
2
Let z(m) = 4*m - 22. Let v be z(6). Solve v*s = -3*o + 17, 3*o + 1 - 6 = s for s.
4
Suppose -3*a = -22 + 7. Solve 0 = -h - 2*r - a + 16, 2*h = r - 3 for h.
1
Let m = -64 - -69. Solve m*f = 2*i + 2, 5*f + 2 = i + 8 for i.
4
Let s(d) be the first derivative of -d**2/2 + 4*d + 2. Let c be s(4). Solve l - 22 = -5*n + 4*l, -5*n - 2*l + 27 = c for n.
5
Let o = -20 - -23. Suppose l = -0 + o. Suppose s = -s + 12. Solve l*p = s, d + 28 = 5*d + 4*p for d.
5
Suppose -h + s + 3 = 0, 5*h - s - 3 = 16. Solve -3*c = -2*p - 7, 0*p - 1 = -h*p + 3*c for p.
4
Let s(l) = 2*l**2 + l. Suppose -5*t - 22 = -f, 4*t - 5*f = 2*t - 18. Let y be s(t). Solve k = 3*k - 2*x - 4, -x = 5*k - y for k.
5
Let d = -35 - -49. Suppose -4*k + 9 - 1 = 0. Let p(a) = a**2 + 1. Let r be p(k). Solve -r*o = -5, 4*z + o = -o - d for z.
-4
Let a(p) be the second derivative of p**5/20 + p**4/2 - p**3/6 - 3*p**2 + p. Let s be a(-6). Solve -3*z = -5*h - 1 - 4, s = -3*z for h.
-1
Suppose -3*s - 91 = -16*s. Solve 2*m + o = -1, m = 4*o - s*o + 12 for m.
-3
Let c = 0 + -2. Let m be c/(3*(-4)/6). Let d = m + 2. Solve -d*y - 3*g = -6*y, 0 = -3*g for y.
0
Let h = -6 - -15. Let y(c) = -c**3 + 9*c**2 + c - 4. Let r be y(h). Solve r*u = 2*n - 31, -n + 5*u + 4 = -24 for n.
3
Let i = 1 + -13. Let z = 12 + i. Solve c + 13 = -2*r, 0 = 2*c - 3*r - z*r - 2 for c.
-5
Let t(u) = u + 3 - 2 - 1 + 1. Let y be t(1). Let h be y/(-8) + 187/44. Solve 0 = i 