ve 3*a - 15 = 3*r, -4*r = -o*a - r + 16 for a.
1
Let f = 54 - 51. Suppose 0 = -6*y + f*y + 9. Solve y*k - 2 = -5*p + k, 4*p = 5*k + 28 for p.
2
Suppose -2*f + 9*m = 12*m - 17, -5*f + m = -17. Solve 9*w - 5 = f*w + j, 2*j + 10 = 3*w for w.
0
Let s(l) be the first derivative of 3*l**4/4 - l**3/3 + l**2/2 + l + 3. Suppose 6*m - 4 = 2. Let r be s(m). Solve -10 = -3*b + r*b + 5*v, -3*b = -v + 14 for b.
-5
Let p be 169/5 + (-16)/20. Let h = p + -24. Let j(m) = 2*m**2 - 2*m. Let r be j(2). Solve 4*l - 4*a - 36 = 0, r*l + 0*a + 5*a + h = 0 for l.
4
Suppose 23*g = -31*g. Solve -f = -j - g*j, 3*f + 5*j = -24 for f.
-3
Suppose 4*m + 14 + 14 = -2*h, m = 5. Let k be (h/(-15))/(1/5). Let n be ((-6)/(-5))/(58/(-145))*-9. Solve s = -5*l - 2*s - n, -2*s = k for l.
-3
Suppose 2*o + 12 = -o, -8 = -5*u + 2*o. Suppose 7*m - 30 = 2*m. Suppose 0 = 2*x + 1 - 17. Solve 0 = p - i + m, -5*i + 28 - x = u for p.
-2
Suppose -8*f = -6*f - 12. Let m be (-200)/f*(-24)/20. Solve -4*z + 0*z - 4 = 5*y, 5*z = 5*y + m for y.
-4
Suppose -o = -2*j + 39, 2*j - 70 + 25 = -5*o. Suppose -j = -l + 9. Solve u + 3*x - 7 = 0, -7*u - l = -2*u - x for u.
-5
Let s(m) = m + 3. Let r(y) = -y - 2. Let b(z) = -4*r(z) - 3*s(z). Let n be b(6). Solve -l = -3*l - n*a + 16, a + 1 = l for l.
3
Let m(i) = i**2 + 4*i + 4. Let k be m(-3). Let z = k - 0. Solve 4*h = -y + 24, z = -2*h - h + 4*y for h.
5
Let x be (-2)/(-8) + (-4 - (-69)/12). Let t be ((-2)/6)/(x - (-508)/(-252)). Solve 5*p - t = -c, -8 = -4*p - 0*p - 3*c for p.
5
Suppose 17*b - 114 = 22. Solve 3*y = -2*y + 4*z - 8, 4*y + 4*z - b = 0 for y.
0
Let n = 379 - 375. Solve 0 = n*m - p - 0*p - 2, 0 = 5*m - p - 3 for m.
1
Suppose -o - 4*o + 10 = 0. Let m be o/(-4)*(-6)/3. Let s = m - -3. Solve s = -4*l + 6*k - 2*k, -3*l - 3 = 3*k for l.
-1
Suppose 0 = 3*g - 23*g + 80. Solve 2*k = 3*v - g, -v = k + 4*v + 15 for k.
-5
Suppose 18 = -2*l - 0*l. Let o(f) = -3*f - 22. Let q be o(l). Suppose -5*z = -b - 36, -16 = z - q*z + 4*b. Solve -5*j - 10 = 5*g, -4*j + 2 - z = 5*g for j.
-4
Let v = -42 - -30. Let h be -6*2/4 - v. Let g = -4 + h. Solve -2*c = c + 4*j + 3, -g*c + 5*j = 5 for c.
-1
Let b = -676 - -678. Solve 4*h - 30 = 5*f, 7*h - b*h - 15 = -5*f for f.
-2
Suppose 7*y - 72 = 4*y - j, 2*j = 0. Let o(w) = -w + 2. Let d be o(-2). Suppose 0 = s - 0*s. Solve -8*q + d*u = -3*q - 27, -5*q + 3*u + y = s for q.
3
Suppose 0 = -3*t - 9 + 21. Solve 4*g + 3*w - 1 = 7, 4*w - 8 = -t*g for g.
2
Let v = -10 - -8. Let j = v + 12. Solve -18 = -2*r - 4*z, -3*r + 8 = 3*z - j for r.
3
Let a be ((-96)/(-18) + -4)*9/4. Let u(n) = -n**2 + 10. Let j(h) = -h - 3. Let y be j(-3). Let g be u(y). Solve -c + 11 = a*k + 3*c, 2*k = -4*c + g for k.
1
Suppose -4*h - 2*m = 2*m + 92, -h + 3*m = 11. Suppose -2*g - 3 = -49. Let i = g + h. Solve 4*n - 32 = -4*f, -2*f = i*n - 0*n - 19 for f.
5
Let d(n) = -2*n**2 - 20*n + 53. Let l be d(-12). Solve 4*j = r + l*j, 0 = -4*r - 5*j for r.
0
Let c = -56 - -55. Let o(m) = -1 + m**2 - m + 0*m**2 + 3*m**2. Let z be o(c). Solve -t + w + z*w = 16, -7 = -5*t - 4*w for t.
-1
Suppose 0 = 5*u - 15 - 55. Suppose 0 = -u*l + 16*l - 8. Solve 5*k - 15 + 5 = 0, 0 = l*s - 3*k + 10 for s.
-1
Let y = 62 - 59. Let a be (-8)/(-10)*(-50)/(-20). Suppose 2*i = 4*w - 38, 0 + 34 = 5*w + a*i. Solve -y*b = 2*x - 8, -x + w + 3 = 5*b for b.
2
Let k = -9 + 13. Suppose -k*b + 5 = -3*b. Suppose x = 4, 3*x - 1 = b*i + 1. Solve 5*u + j = -3, -i*u = -5*u + 5*j - 13 for u.
-1
Let f = 32 + -21. Suppose 2*p + p + f = 5*z, -z - 2*p = -10. Let w be 12/2 - 0/(-1). Solve -4*l - 4 - 4 = -2*o, z*l = -5*o + w for o.
2
Let p be (-3)/(0 - (0 + 1)). Suppose -4*s - p*f = -30, -2*s + 3*f + 26 = -f. Suppose 2*a = 21 - 15. Solve k = 4*m + 22, -a*k + s = -m - k for m.
-5
Let m = -988 + 998. Solve z + 2*j = 6*j + m, 14 = 4*z - 3*j for z.
2
Let y(i) = i**3 - 2*i**2 + i + 2. Let x be y(2). Let q be (24/(-9))/(x/(-6)). Solve -2*t = 5*k - 11, -7 = -6*k + k - q*t for k.
3
Let c(v) = -20*v**2 - 2*v + 1. Let s be c(1). Let r = s - -21. Suppose r = 5*l - 19 - 1. Solve 0 = a + l, 4*h - 4*a - 32 = -0*h for h.
4
Suppose 5*v = 7*v - 6. Suppose -v*u = 10*u. Let m(z) = -z**2 + 3*z + 2. Let q be m(3). Solve y + u*y = -q*h - 7, 2*h - 8 = 4*y for y.
-3
Suppose -4*g + 3*i = 3, -3*i + 21 = -g + 3*g. Let r = g - 0. Suppose -18*p = 42 - 132. Solve -12 = 5*n + r*b + b, -p*b + 6 = n for n.
-4
Let s be (-11)/(11/(-2)) - (1 - 14). Solve -5*u + 0*u = 3*f - s, -5*u - 5*f + 25 = 0 for u.
0
Suppose -3*s = -5*f + 3, -2*s + 0*f = 4*f - 20. Let k be (-156)/(-60) + s/10. Solve 0 = -k*t + 3*c - 24, -5*t - 5 = 2*c - 0 for t.
-3
Let t = -5 + 10. Suppose -16 = -19*g + 15*g. Solve -t*m = -3*k + 21, 4*m - 2*m + g*k - 2 = 0 for m.
-3
Let w(h) = 24*h**2 + h - 1. Let t be (2/4)/((-1)/2). Let s be w(t). Let l = s + -20. Solve -f - 3 = d, l*f - 3*d - 9 = -f for f.
0
Let k(n) = -2*n + 18. Let s be k(7). Let y be (3/s)/((-3)/(-12)). Solve -4*b + 13 = -5*i, 0 = 3*b - 2*i + y*i + 14 for b.
-3
Suppose 4*k + 4*n - 4 - 56 = 0, -n + 32 = 2*k. Let c = -8 + k. Solve 0 = 3*o, a + 2*o = -2*a + c for a.
3
Let x be (15/4)/((-63)/(-168)). Let d = 4 + -1. Suppose m - d*m = -x. Solve -3*p = -m*n + 1, 3*p - n - 7 = 6*p for p.
-2
Let f(b) = b**3 + 8*b**2 + 8*b - 4. Let y be f(-6). Let z = y + -15. Solve 5*h = -v + 23, -z*h + 31 + 4 = 5*v for h.
4
Suppose -5*c - 4*f + 40 = 0, -3*c + c + 5*f = -49. Solve 0 = 4*u - 3*z - z + c, 3*u + z = -17 for u.
-5
Suppose 0*j - 5*j = -20. Suppose 4*r - 83 = 5*n, 0 = -2*r + 5*r + n - 86. Suppose 2*f - 5 - r = 0. Solve j*i + u - 15 = 2, 0 = 3*i - 5*u + f for i.
3
Let q(j) = j**3 + 8*j**2 + 5*j + 6. Let o be q(-7). Suppose -17*w - 6 = -o*w. Solve -5*m + 0*d - 7 = w*d, 4 = m - 5*d for m.
-1
Let n(l) = -l - 3. Let q(r) = r**2 - 1. Let s(d) = -n(d) + q(d). Let c be s(-3). Solve 5*t = -20, -x - c = t + 2*t for x.
4
Suppose 0 = -4*c - 5*o + 124, c - 2*o - 3*o - 6 = 0. Let r be (-2)/(-13) + 48/c. Solve 2*k - k - 5*n - 9 = 0, r*k = 5*n + 13 for k.
4
Let n(v) = v + 6. Let c be n(-2). Solve s + 17 = c*h, -6*h = -4*h + 5*s + 19 for h.
3
Suppose -61*g = -65*g + 120. Solve 4*h + 0*n = 4*n, 0 = -5*h - n - g for h.
-5
Suppose 5*b - 4*p + 70 = 0, -2*b - 4*p - 13 = 15. Let t be ((-6)/(-21))/((-1)/b). Suppose -2*s + 10 = -0*s. Solve -5*l = -20, -t*w + s*l - 10 = -2 for w.
3
Let q(r) be the second derivative of r**4/12 - 11*r**3/6 - 7*r**2/2 - 11*r. Let t be q(12). Solve -8 = h - 3*w, 4*w = -2*h + t*w - 1 for h.
1
Let i = -9 + 12. Suppose -i*s + 5 = -4. Suppose -4*a + 4*u = 0, -s*a + 2*a - 2*u = -9. Solve 2 = -4*t - a*b + 5*b, 4*t - 33 = -5*b for t.
2
Let t be -5 - (18/(-15))/((-20)/(-150)). Solve -t*s + 5*q = 20, 8 = -2*s + 3*q - q for s.
0
Let f be 1/(0 - 1) - (1 - 5). Suppose f*u - 17 = -2*u + 4*y, 0 = -4*y - 12. Solve 0*i + 3*n + u = 2*i, -3*i + 4 = -2*n for i.
2
Let l = 25 - 10. Solve 0 = -i + 5*m - 0*m + l, 0 = -2*i - 4*m + 2 for i.
5
Suppose 32 = -8*q + 10*q. Suppose -5*z - 3*j = -j - 15, j = 3*z - 20. Suppose 8 = 4*x - 4*t, 2*t - 14 = -z*x + 10. Solve 0 = -x*m + q, 23 = 5*a + m + 4 for a.
3
Let d be 7 + 0 + -9 - (0 - 4). Solve 4*s + 6 = -g + d, 4*g = 16 for s.
-2
Let z(y) = -y**3 - 11*y**2 + 2*y + 22. Suppose 7*x + 58 + 19 = 0. Let b be z(x). Solve 0 = -5*g + 3*l + 25, 0 = -g - b*l - l - 3 for g.
2
Let k(c) = 143*c**2 - c - 67*c**2 - 75*c**2 + 1. Let g be k(0). Solve -20 = 4*t + 4*r, g + 6 = -2*t + r for t.
-4
Suppose 4*y + 3 = 5*y. Let p(n) = 11*n - 13. Let j be p(4). Solve 3 = -y*z + l + 3*l, 5*z + 2*l + j = 0 for z.
-5
Suppose 15*u = 8*u + 14. Solve 0 = v + 4*r + 19, u*v + r = -4*r - 26 for v.
-3
Suppose z - 5*y + 6 - 15 = 0, -z + y = -5. Solve 0 = -5*g + z*v + 5, -2*g + 4*v = 2*g - 8 for g.
-3
Suppose 4*m = -34*u + 39*u - 14, -4*u + 20 = -m. Solve -2*i = 2*g - 7 + 3, 3*i = -u for g.
4
Let j(k) = k**3 + 5*k**2 - 8*k + 4. Let x be j(-6). Let c(h) = 1 - 8*h - 4 + 3 - 2. Let v be c(-1). Solve 2*i = v*i + x, -5*z - 16 = 4*i for z.
0
Let j be (-21)/2*(-14)/21. Suppose -2*y = -j - 25. Solve 5*d + 1 = -3*s + 21, 4*d - y = 5*s for s.
0
Suppose 0*g - 140 = 4*g. Let r = -33 - g. Suppose t = -t + 28. Solve -5*u - 3 = -8, -4*f - r*u + t = 0 for f.
3
Let w be 5/(1 + -3 + 1). Suppose -4*h - 16 = 3*y, 0 = 4*y - 3*h - 8 - 4. Let p = y - w. Solve 0 = 3*k + 4*d - 5, -p*k = -2*k + d + 1 for k.
-1
Suppose 3*z - 3*g + 6 = 0, 2*z + 5*g = z - 2. Let o be 12 + 1