 - a = -5*p + 8, 3*g = -5*p + 15 for p.
3
Let t(v) = 3*v**2 - 30*v + 15. Let x be t(10). Solve -2*j + 7*j + 3*u = 9, j - 5*u = -x for j.
0
Let i(t) = 28*t + 644. Let x be i(-23). Solve -4*c - 2 = 3*v, c + x*c + 2*v = 2 for c.
-2
Let h = 138 - 127. Solve -l - l + h = -o, 0 = -3*l + 5*o + 34 for l.
3
Let t(r) = -13*r - 113. Let a be t(-9). Solve -a = y, -5*j + y - 2*y + 16 = 0 for j.
4
Let h be (3 - (0 + 6))/(-1). Suppose 3*p - 6 = 0, -h*k + 7 = -2*k + 5*p. Let q = 3 + k. Solve 3*u - 5*y + 15 = -3, q = 5*u + 5*y - 10 for u.
-1
Let l(y) = 3*y**3 - y**2 + 2*y - 1. Suppose -7*u + 10 = 3. Let m be l(u). Solve b - 21 = 5*j, 2*b + m*b - 1 = -j for j.
-4
Suppose 35 = 39*g - 32*g. Solve -a - 14 = a + g*s, 4*s + 28 = 4*a for a.
3
Let g(w) = w**2 - 14*w - 14. Let j be g(15). Let b be (2*-1)/j - (-48)/4. Solve -2*u = -4*v + b, v + 16 = 5*v + 4*u for v.
3
Let v be (-11)/(-66)*(-5 - -5). Solve -m + 3*l + 7 = 0, -2*m + l - 2*l - 7 = v for m.
-2
Let p be ((-64)/(-72))/4 + (-6)/27. Suppose 2*l = 3*l - 2. Let t = -23 + 41. Solve 4*f = -f + 3*c + 29, 3*f - l*c - t = p for f.
4
Let d be (-6)/27 + 4/(-72)*-58. Solve s - 2*i - 1 = 0, i + 1 = 4*s - d for s.
1
Suppose -4*z = 5*c - 126, 4*c - 4*z - 80 = -2*z. Let x = 7 - c. Let v = x + 18. Solve -t - 14 = -v*i, 0 = -t - i + 2 for t.
-2
Let y(o) = 56*o + 5. Let c be y(0). Solve 4*x - 28 = 3*l, -5*l - 53 = -c*x - 13 for l.
-4
Let k(n) = 13*n + 120. Let g(w) = 5*w + 40. Let p(m) = 11*g(m) - 4*k(m). Let q be p(15). Solve -5*d - 2*v - 3*v = -30, 0 = -q*d - 4*v + 27 for d.
3
Let o(g) = g**2 + 8*g - 17. Let r be o(-10). Suppose j - 5 = -r. Solve -4*m = 0, -3*x - m = j*m for x.
0
Let b = -30 - -33. Let h be ((-2)/(-3))/((-4)/(-18)). Suppose -5*u - b*q = -39, 0 = h*u + 2*q - 0 - 23. Solve 2*r = -3*t + u, 2*r - 2*t - 1 = 3 for r.
3
Let y(l) = -2*l**2 - l - 1. Let n be y(-1). Let f be (45/27)/(n/(-6)). Let q = -9 + 25. Solve f*o + q + 0 = i, 2*i - 4 = 3*o for o.
-4
Let x(p) = -79*p + 8. Let f be x(1). Let y = 81 + f. Solve y = -2*g, -6 = 5*i + 5*g - 1 for i.
4
Suppose 5*g - 24 = -3*s + 7, 4*s = 3*g - 7. Suppose 6 = 2*m - 0*t + s*t, 2*t = 5*m - 8. Solve m*c = 10, -2*z + z - 3*c = -14 for z.
-1
Let c be 8878/253 - 2/22. Solve -5*r + 0*v = -5*v + c, 4*r - v = -19 for r.
-4
Suppose -s + 0*s + 8 = 2*v, -12 = -2*s - 2*v. Solve 3*d - 6 = 0, 0*d + 8 = -s*l + 2*d for l.
-1
Suppose 0 = 5*m + 5*x, -4 = m - 28*x + 31*x. Solve t + m*a + 6 = 0, 8 = -6*a + 4*a for t.
2
Suppose b + 14 = 2*u, 2*u - 5*u + 3*b = -27. Let q = 8 - u. Suppose 0 = 2*m + q*m - 55. Solve -4*c = -s + m, -5*s + 3*c = -3 - 1 for s.
-1
Let j be (-45)/3 + 8 + 7. Solve -a = -4*l - 4 - 13, -5*l + 2*a - 19 = j for l.
-5
Suppose 2*k - 10 = k. Let f(n) = -n**2 - 18*n + 28. Let u be f(-19). Solve 2*a - 6*r + 4*r - k = 0, 0 = 3*a + 3*r + u for a.
1
Suppose 172 = 3*d + 160. Suppose 4*s = 5*w + 5, d*s - 16 = -2*w + 2*s. Solve 5*b = -3*t + w, -5*b = t - 0*t - 11 for b.
3
Let l(r) be the first derivative of 14*r**3/3 - r**2/2 + 4. Let w be l(-1). Suppose 10*q = 5*q + w. Solve 4*f - q*z - 5 = 0, 5*f + z + 0*z + 8 = 0 for f.
-1
Let n = 508 + -504. Let w(m) = -3*m + 3. Let k be w(-1). Solve -o + 15 = 4*x, -n*x + 3*o = x - k for x.
3
Suppose -12*v + 69 = 21. Solve -3*j - 5*f + 3 = 0, v*j = -0*j + f + 4 for j.
1
Let t(n) be the second derivative of -1/20*n**5 + 2*n**2 + 11/12*n**4 + 7*n - 5/3*n**3 + 0. Let m be t(10). Solve -5*w = 2*f - 10, -2*w + m*f - 29 = -9 for w.
0
Let i(l) = 69*l + 9. Let t be i(3). Suppose -12*z + t = -0*z. Solve 3*r = 3*y + y - z, 2*y - 4 = -r for y.
3
Let j(o) = 10*o**2 + 4*o - 5. Let d be j(1). Solve 0 = 4*a - f + 21, -7*a + d*a + 12 = 2*f for a.
-5
Let x(q) = -q**3 + 6*q - 2. Let a(c) = -c**2 - 9*c - 4. Let n be a(-8). Let l be x(n). Let w = 76 + l. Solve 2*j - 4*g = 3 - 17, 5*g = -3*j + w for j.
3
Suppose -3*i + 4*z - 7 + 0 = 0, 3*i + 11 = 5*z. Solve 4*q - q = i, 2*q = -2*y - 2 for y.
-2
Suppose 2*y = c + 57, 0 = 4*y - 2*y + 4*c - 82. Suppose -2*t + 35 = y. Suppose -6 = -2*s - s. Solve -19 = i + t*i + 4*p, -13 = s*i + 3*p for i.
-5
Let r be (1/(-1))/((-2)/32). Let q = 9 - r. Let m = 10 + q. Solve 3*g = 5*g - l + m, -l - 5 = 0 for g.
-4
Let a be (-6)/(-10) - (-28)/20. Suppose a*d - 59 = -27. Solve -b + 0*b + 3 = -4*v, 2*b = -3*v - d for b.
-5
Let w(o) = 9*o - 221. Let l be w(25). Solve 1 = 4*x - 3*v - 7, -2*x = -l*v + 6 for x.
5
Let j = -6 + 8. Suppose j*q = 10, -2*s + 2*q = -q - 41. Let h = s - 10. Solve -5*t = 5*w, -w - 5*t - 2 + h = 0 for w.
-4
Let d be (-1 - 2/(-2)) + -1 + 5. Suppose 3*u - 2*a + 6 = -u, 3*u - 12 = -d*a. Solve -5*y - 2 = -3*h, u = 3*y + 5*h - 24 - 2 for y.
2
Suppose -25 = -3*w + 11*a - 13*a, w - 2*a = -5. Solve 1 = -t + w*j - 4*j, 0 = 3*t - 5*j + 11 for t.
3
Suppose -5*x = 5*i - 20, 5*i - 2 = 5*x - x. Solve k + 0*k - 8 = y, i*y - 4*k + 26 = 0 for y.
-3
Let u = 175 + -115. Let b be (-1)/(4/u*-3). Solve 2*r = -3*p + 17, r - 2 = -b*p + 17 for r.
4
Let m = -1 - -1. Suppose 3*l - 14 = -2*c, 5*c = 5*l + 7 + 3. Suppose x - c + 0 = m. Solve 0 = o + 2*o - h - 4, o - x*h - 5 = 0 for o.
1
Suppose 0 = 2*f + 2*t - 34, 2*f = -5*t + 15 + 25. Let o be 2/4*(-9 + f). Suppose -20 = o*r - 7*r. Solve 0 = -2*j - r*u, -3*j + 8*j + 2*u = 21 for j.
5
Let j(y) = y**2 - y. Let b be j(0). Let l be ((-21)/(-28))/((-3)/(-8)). Suppose l*d + 2*d = b. Solve m + 4*f + 4 = d, 0 = -0*f + 4*f for m.
-4
Let s be 1/3 + (-35)/105. Solve s = -3*z - 3*d, -2*d + 4 = -3*z - 4*d for z.
-4
Let x be 2 - (0 + -1) - 1. Suppose 2*y + 3*y - 10 = 0. Let c = 1203 - 1203. Solve -3*f + x*f + y*s - 3 = c, 5*f - 5*s + 5 = 0 for f.
1
Suppose -21*p + 4 = -20*p. Let a be -3 + 1 - -13 - p. Suppose k - 10 = a. Solve 13 = 8*i - 4*i + s, 5*i - k = -s for i.
4
Let u = 5 - 2. Suppose 2*x = u*x. Solve 2*t = -x*f - 2*f + 14, 3*t = 3*f - 9 for f.
5
Let a be (-6 + -3)/3 + (-98)/(-7). Solve -3*r + a = 2*k, -k - 3*k = 3*r - 13 for r.
3
Suppose 47*r + 296 = 719. Solve -3*n + r = 5*i, 6 = 2*n - i - 0*i for n.
3
Let k(m) = m**3 - 3*m**2 + 4. Let i be k(2). Suppose i = -3*v - 0 + 12. Solve -4*o + 3*z = 4*z + 7, 0 = 4*o - v*z + 32 for o.
-3
Let h(m) = m**2 + 5*m - 2. Let r be h(-6). Let i be (1 - (4 - 1)) + -10. Let t be 24/14 - i/42. Solve -4 = -4*v + 2*b + t, 2*v = r*b for v.
2
Let x = -53 + 55. Let p be 4806/405 + 3/(45/x). Solve -3*c - p = -3*t, 8*c + 2*t = 4*c + 8 for c.
0
Let a = 2476 + -2474. Suppose -5*v + 27 = 2*y, -5*v - 5*y = -18 - 12. Solve -12 = v*h - a*f - 0, 2*h - 5*f = 12 for h.
-4
Let r = 68 + -66. Suppose r*i = -2*n + i + 11, -3*n - i = -14. Solve -3*q - 3*f + 5*f - n = 0, 5*f = 2*q - 9 for q.
-3
Let r be (-13)/(-5) - 8/(-20). Suppose c = r*c. Let q be 3/((-12)/(-4))*2. Solve -4*h - 27 = -z - 9, c = q*h + z + 12 for h.
-5
Let h(f) = -5*f + 3. Let i(c) = -9*c + 6. Let g(v) = 5*h(v) - 3*i(v). Let l be g(8). Let a be 220/260 + 2/l. Solve 5*t - 9 = 4*r + a, -4*t - 3*r - 23 = 0 for t.
-2
Let w = -70 + 71. Solve 2*y - 14 = -2*d, -3*d - w = -3*y - d for y.
3
Suppose 2*c + 2*x + 18 = 4*c, -5*c = -3*x - 37. Solve -c*k - 5*j = 0, -4*k + 0*j = -j + 20 for k.
-4
Suppose 5*s + 14 = 3*h - 0*h, -13 = -5*h - 2*s. Solve -b + 5*x + 2 = -12, h*b - 3*x = 18 for b.
4
Let n(y) = y**3 + 41*y**2 + 40*y + 7. Let o be n(-40). Solve -2*b = 0, 0 = -2*s - 4*b - 3 - o for s.
-5
Let m be (-27)/(-2)*(20/(-6) + 4). Solve 0*b + 4*b - 5*o = 16, 3*o = 3*b - m for b.
-1
Let w be 44/3 + (-45)/(-135). Solve 3*k - w = 4*d, 4*k = -4*d - 2 - 6 for k.
1
Let f = 40 + -30. Suppose 4*h - 7*c - 5 = -2*c, -h = -5*c + f. Solve -4*w - 4 = -3*o - 2*w, 0 = h*o + w + 15 for o.
-2
Suppose 5*o + 4*z - 4 = 3*o, 0 = -5*o + z + 10. Solve -2*d - 4 = o*c, d + 2 = -4*c + 3 for d.
-3
Suppose u = 1 + 2. Suppose 0 = u*y - 28 - 47. Suppose 2*z + 10 = 0, 3*n - 4*z - y = 2*n. Solve -k + 3*k + n*g + 19 = 0, 3*g + 15 = 0 for k.
3
Let o(h) = h**3 + 8*h**2 + 12*h + 7. Let a be o(-6). Solve -2*c + a = 2*c + 5*z, 5*c = -z + 14 for c.
3
Let w = -2489 + 2493. Solve -3*v + s + 16 = 0, s - 8 = v + w*s for v.
4
Let t be (-15)/(-90) - (-2 - (-39)/18). Solve 3*s - 5*n = -0*n - 5, 2*s - n - 6 = t for s.
5
Let b = -10 - -30. Suppose -3*q + 6*y + 17 = 8*y, 0 = -5*y + b. Solve 0*o = -q*n - 3*o + 12, -3*o = 0 for n.
4
Let h(g) be the second derivative of -1/6*g**3 + 0 + g**2 - 3*g. Let f be h(-2). Solve -y + 1 = 4*u - 19, -f*y = -4*u for u.
4
Let o = 25 + -36. Let g(s) = -s**3 - 1