y - y - k - 7 = 0, -4*y + 5*k - 13 = 0 for y.
3
Let u = 18 + -5. Suppose 4*j - u - 67 = 0. Suppose -5*m = -m - j. Solve -2*q - m*z - 12 = 0, -5 = 4*z + 11 for q.
4
Suppose 3*k - 3 = 0, -4*c - 3*k = 1 - 20. Solve c*p = f + 9, -2*f - 3*p = -18 + 3 for f.
3
Let t(g) = -3*g**2 - 8*g - 21. Let k be t(-6). Let n = 84 + k. Solve -21 = 4*c + n*v, 0*v - v = 3 for c.
-3
Suppose 14*t - 8*t = -9*t. Solve -1 = -c + o - 0, t = -4*c + 5*o + 1 for c.
4
Let c = 18 + -7. Solve -19 = -3*k - 5*i, 0*k + i - c = -3*k for k.
3
Suppose 0 = 10*y + 6 - 6. Let x(v) = -3*v + 7. Let b(o) = 4*o - 6. Let l(a) = 2*b(a) + 3*x(a). Let c be l(y). Solve 3*z + 0 - 5 = 2*w, 5*w = 4*z - c for w.
-1
Let y = -3 + 3. Suppose f = -5*j + 10 + 5, -2*f + 10 = y. Suppose -5*l + 56 = j*c, -3*l + c + 0*c = -27. Solve 0 = -2*k - 3*k, -l = 2*o - 5*k for o.
-5
Suppose v = -5*c + 4*c + 4, 16 = -v + 4*c. Solve -5*p = -3*q - 4, -2*p - 2*p + 3*q + 5 = v for p.
-1
Suppose q = -1 + 3. Let t(n) = -n**3 + 4*n**2 + 2*n - 5. Let r be t(4). Let k be r*(-1 + q + 0). Solve a - k*i - 8 = 0, 2*i + 6 = -0*a + a for a.
2
Let u(i) = 5*i + 180. Let m be u(-35). Solve 0 = 3*d - 6, 3*p + m*d = 16 for p.
2
Suppose 0 = 8*g - 6*g + 3*k - 1, 3*k = 3*g - 9. Solve 2*w - j + 4*j + 19 = 0, -g*j = 6 for w.
-5
Let v(x) = 7*x**3 - 25*x**2 + x - 14. Let l(a) = a**3 - a**2. Let f(g) = -6*l(g) + v(g). Let b be f(19). Solve -b*q + 11 = k, -q + 3*q - k - 10 = 0 for q.
3
Suppose -16*i - 4*i = -27*i. Solve -q + 4*q + 2*b + 10 = i, -2*q - 5*b - 14 = 0 for q.
-2
Suppose 0 = 4*t + 2 - 30. Let d be t + -10 + (-1)/(-1)*29. Solve -m = m + 4*u - d, m - 8 = -u for m.
3
Let t(u) = 2*u**2 - 12*u - 23. Let b be t(8). Solve 0 = -3*h - 0*y + 2*y + 6, -3*y = -5*h + b for h.
0
Suppose -4*w - 2*g = 56, 4*w - 5*g + 100 = -w. Let p be (-2)/w*2 - 76/(-16). Solve -2*y + 3*c = -p, 10 = c - 3*c for y.
-5
Let k(o) = o**3 + 11*o**2 - 4*o + 101. Let j be k(-12). Solve j*r - 24 = q, -3 = -q + 3*q - r for q.
1
Suppose -2*k = -11 - 79. Suppose -k = -16*c + 7*c. Solve 0*f + 2*f = -5*b + 21, -4*b + 10 = c*f for f.
-2
Let o(b) be the third derivative of b**5/60 - b**4/8 - 5*b**3/3 - 10*b**2. Let x be o(5). Solve x*g = 5*g - 3*p - 13, -2*p = -g - 3 for g.
5
Suppose q + 4*v - 5 = 0, -2*q + 2 = 5*v - 8. Solve 2*y = -5*c + 19, -4*y + 0*c - 37 = -q*c for y.
-3
Let n = -122 - -126. Solve -4*i - 4*j + 4 = 0, -2*i - i - n*j = -7 for i.
-3
Let p(v) = -v**3 - 2*v + 3. Suppose 12*a = 6*a + 6. Let r be p(a). Solve -3*h - 2*w - 19 = 3*w, 3*h + 3*w + 9 = r for h.
2
Let h = -18 + 13. Let o(t) = 2*t**2 + 8*t - 5. Let c be o(h). Let j be c + ((-3)/1 - -1). Solve -5*n + 25 = 5*f, -j - 2 = -n + f for n.
5
Let m(f) = -f**3 - 6*f**2 + 6*f - 1. Let p be m(-7). Suppose -n + 3*n - 28 = 0. Let c = -11 + n. Solve 4*s = -c*a + 18 - 3, -3*s = -3*a - p for s.
3
Suppose 0 = -235*i + 245*i - 20. Solve -2*k = -4*z + 12, -i*z = 5*k + 2*z - 40 for k.
4
Suppose 4*r + 4 - 28 = -2*d, -5*r - 3*d = -28. Solve -11*y + 8 = -r*y + 4*o, 0 = -4*o + 8 for y.
0
Let f(g) = 7*g - 10. Let c be f(7). Suppose -r + c = 36. Solve -2*u = -x + r, x - 13 = 4*u + 6*x for u.
-2
Let z be -4 - (1 - 147/(-3)). Let u = 57 + z. Solve 0*m + m - 3*w + 3 = 0, 3*w = -2*m + u for m.
0
Let w(u) = u**3 - u**2 + u - 9. Let x be w(0). Let j = -10 - x. Let t be (2 + 1)*j/(-1). Solve z - 2 = -t*h - 0*z, -2 = -z for h.
0
Let q be ((-12)/9)/((-4)/102). Let s = q - 28. Let z be 6/s - 6/(-2). Solve 2*c + z*w - 4 = 0, 0*c - 19 = 4*c - w for c.
-4
Let t = 118 + -111. Suppose 0 = -t*k + 7 + 7. Solve 3*p + 2*o - 5 = 0, 2*p = -5*o + k + 5 for p.
1
Let g(n) = -n + 18*n**2 + 19*n**2 - 1 - 35*n**2. Let d be g(-1). Solve -3*r + d*c - 8 = -0*c, 0 = c - 4 for r.
0
Let c(w) = 2*w**2 + 3*w + 1. Let o be c(-2). Let s = o + 0. Let h be 1 + 8/14 + (-33)/21. Solve -4*k + 0*k + 19 = x, s*k - 5*x - 20 = h for k.
5
Let z(h) = -h**2 + 21*h + 14. Let y be z(13). Let o = y + -113. Let t = -13 - -18. Solve -n + t*x = o, -4*n + 0*x = -4*x + 4 for n.
0
Let c(s) = 5*s - 10. Let t be c(7). Let h = 25 - t. Let v be h + -2 + (9 - 2). Solve 8 = -m - 3*j, 7*m = 2*m - v*j - 30 for m.
-5
Let t(v) = v**3 + 4*v**2 - 4*v + 9. Let z be (-52)/12 + (-4)/6. Let m be t(z). Solve 0*k + k - 2*q = -7, -2*k - 2*q = -m for k.
-1
Let d(v) be the first derivative of v**3/3 - 2*v**2 - 7*v - 10. Let y be d(6). Suppose -17 = -3*z + 1. Solve -3*p = -2*q - 13, -9 = -y*p + z for q.
-2
Let g(c) = -2*c**2 + 12*c + 9*c - 6*c + c**2 + 16. Let o be g(16). Solve -2*s + o*q = 5*q - 5, 0 = -4*s + 4*q - 32 for s.
-5
Let y = -16 - 9. Let i = -22 - y. Suppose -2*p = -1 - i. Solve p*d = 4*v + 16, 5*d - 13 = v - 0*d for v.
-3
Suppose 5*n = 2*l - 4*l, 2*l - 5*n = 40. Solve 5*s - l = -5*j, 0 = -4*j - s - 0*s - 4 for j.
-2
Let m(y) = -y**2 + 23*y - 52. Let g be m(21). Let r be (1 + 0)/(g/(-30)). Solve -v + 3*j + 4 = 4*j, 0 = -r*v + 5*j + 12 for v.
4
Let g = 35 - 5. Let a = g - 24. Suppose -a*b + 12 = -0*b. Solve t + 2 = 3*v, 4*t + 22 = -4*v + b*v for v.
-1
Let q be 3/(-3) + 6*4/6. Solve -4*z - 16 = -q*y, 4*z + 3*y = -0*y + 8 for z.
-1
Let b = -32 + 34. Let y = -15 - -4. Let u = y - -15. Solve -2*m - u = 0, -m + 1 - 7 = -b*g for g.
2
Let d(c) = c + 1. Let h be d(2). Let g be ((-20)/6)/(-5)*6. Solve -3*z + h*m = z, m = g*z + 8 for z.
-3
Let x = 25 + -19. Suppose -4*l - 4 = -x*l. Let k = 3 + -2. Solve -u - 3 = b, l*u = -4*b - 1 - k for u.
-5
Let w be (36 - 1)*50/125. Solve -l + 18 = -u - 2*u, -4*u = 2*l + w for l.
3
Let h(p) = 20*p + 323. Let t be h(-16). Solve -3*u + 14 = -4*w, 0 = t*u + 5*w - 10 + 41 for u.
-2
Let x = -14 - -15. Let w = x - -6. Solve -5*h = -5*t - 5, -4*h + w*t + 9 = 2*t for h.
-4
Suppose -3*u + 5*u = m + 1, m - u - 2 = 0. Solve -9 = -m*l + 4*z, 2 = 4*l + 3*z + 1 for l.
1
Let k(i) = i**2 + 10*i + 2. Let p be k(-9). Let t be ((-4)/p)/(-1) + (-90)/(-35). Solve 4*r - 3*u - t*u + 27 = 0, -4*u = -12 for r.
-3
Let q = -3 + 1. Let k be 2 + -4 + q - -7. Solve -k*w = -2*l + 2*w + 31, 3*l - 4*w = 29 for l.
3
Let o be -3 + (1 - (-2 + -2)). Let a(p) = 4*p**2 + 2*p - 7*p - o*p - 3*p**2 + 4. Let j be a(7). Solve -2*n = -3*f + 23 - 4, 0 = -5*f + j*n + 33 for f.
5
Let f(o) = -o - 4 - 5 + 6. Let u be f(-6). Let g be 2*1/(-3)*-12. Solve 2*s = -y - 3, -s = u*s + g for y.
1
Suppose 0 = -6*b + b. Let l(r) = -r + 3. Let a be l(b). Suppose -a*y = -19 + 4. Solve q = n - 0*n, 8 = -y*n + q for n.
-2
Suppose 30 + 5 = 5*p + 5*q, 20 = 4*p + 2*q. Solve 2*b - 4 = -2*n, -7 = p*n - 1 for b.
4
Let z = -2262 - -2267. Solve 3*w - 6 = -2*u, 2*w - z*w + 18 = -2*u for u.
-3
Suppose 4*b - 61*d = -57*d, -3*d + 40 = 5*b. Solve 0 = 3*a + 4*l + 12 + 17, 3*a - b*l - 16 = 0 for a.
-3
Suppose 0 = -19*v + 25*v - 12. Solve 5*h = v*h + 3*g - 6, -4*h + 19 = 5*g for h.
1
Let u = -77 + 80. Suppose z = i, 2*i = 5 + u. Solve 0*m + 25 = 5*f + 2*m, z*m = -4*f + 20 for f.
5
Let j = 33 - 31. Let k(y) = -y**3 - 4*y**2 + 2*y + 4. Let z be k(-5). Solve z - 5 = 2*u + j*n, -4*u + 24 = 3*n for u.
3
Suppose 9 + 31 = 5*q. Let h be -9 + q - -2*23. Suppose -5*x + l + 90 = -4*l, h = 4*x + 5*l. Solve -2*i + 4*y - 12 = 0, -x = i - 0*i - 5*y for i.
0
Let m(d) = -2*d + 1. Let j be m(-1). Let v(o) = 15*o + 2. Let z be v(0). Solve -19 = j*r - 2*s, -2*r + z*s + 11 = -5*r for r.
-5
Let g be ((-4)/5)/(6/(-15)). Let r be -2 - -4 - (g - 3). Suppose 0*m = s + 4*m - 4, r*m = -2*s + 3. Solve -4*u - 5*l + 3 = 0, s - 9 = 4*u + l for u.
-3
Let v be 3/(18/(-20) - (-18)/12). Solve 3*o + 5*m - 3 + 0 = 0, -5*o = -v*m - 5 for o.
1
Let m = 20 + -19. Let y be (m*(-4)/10)/(6/(-30)). Suppose 5*q = -0*q + 25. Solve -2*u = -q*c + 23, y*c - u = 3*c - 6 for c.
5
Let j = -28 + 28. Let k(m) be the first derivative of -m**4/4 - 2*m**3/3 + 2*m - 5. Let c be k(-3). Solve 5*s - c = -3*p - 3, -p - 2*s + 3 = j for p.
1
Suppose 5*h - 16 = h. Suppose h*s + 1 = u - 2, -3 = -u - 4*s. Solve b + 20 - 7 = u*f, -3*b + 3*f - 21 = 0 for b.
-4
Let l = 205 + -203. Solve 13 - 31 = -3*n - 3*d, 0 = n - 3*d + l for n.
4
Let h = -26 - -28. Suppose -h*c = c - 6. Let d(p) = 15*p. Let f be d(1). Solve c*m + 13 = -s, 5*m + f = 2*s - s for m.
-4
Let y = -34 - -34. Suppose y*o = 3*o - 12. Solve -3*n + 2*k = 1, -n - 2*n + o*k + 7 = 0 for n.
-3
Let x(u) = 17*u + 195. Let n be x(-11). Solve -2*b = 2*i - n, -i + 15 - 1 = 3*b for b.
5
Let r be (-1 - 0) + -2 - 0. Let d be 0*r*(-1)/6. Let n(k) = 5*k**2 + 24*k + 24. Let x be