+ 5*s - s, 5 = j - m*s for j.
-3
Let v be (2/3)/(1/3). Suppose 0 = c - 5*c. Solve -3*w + 4*w = 2*r, c = v*w + 5*r for w.
0
Suppose 3*t + t - 352 = 0. Suppose 3*p + 70 = 2*n + 2*n, 4*p + t = 5*n. Solve 2*o + a = 0, 4*o - 2*a + n = -0*a for o.
-2
Let r = -12 + 17. Suppose -5*h + 3 = y, r*y - y = -h + 12. Suppose -a - 2 = y*g - 12, 3*g - 14 = -2*a. Solve 4*w = 8, 5*l - g*l = w + 7 for l.
3
Suppose 5 = -2*d - v, d + d = -5*v - 1. Let s = 3 + d. Solve -2*z + 6 = s, -w + 15 - 6 = 4*z for w.
-3
Let m = 21 + -16. Solve 0 = 4*s + s - 20, -m*a + 3 = 2*s for a.
-1
Suppose -2*x - 3*x - 4*l = -37, 2*x = 3*l + 1. Solve -7*o + 2*o = 3*m - 8, -m = x*o - 6 for m.
1
Let s be (-12)/(-18)*(3 + 0). Suppose 3*f - 4*v - 6 = -0*f, 10 = 5*f - s*v. Suppose 3*c + f = 11. Solve 0*i + i = -4*n + 3, 0 = 2*n - i + c for n.
0
Suppose -2 = -m + 2. Solve 4 + 2 = -2*n + 4*o, m*o = 4*n for n.
3
Let p be (-4)/6*(-18)/4. Let d(u) be the second derivative of u**4/12 - 2*u**3/3 + 3*u**2/2 + u. Let c be d(p). Solve -4*k = -4, -3*o + k - 10 = -c*k for o.
-3
Let h(r) = r + 4. Let l be h(-3). Suppose -5*i - l = -146. Solve -3*v = -5*f - i, 2*f - 5*f = 5*v - 3 for v.
3
Let z(x) = -2*x + 2. Let f be z(2). Let o be 52/12 + f/6. Solve 2*m + o*t + 9 = 3*m, -4*m + 17 = 3*t for m.
5
Suppose y - 6 = -4. Suppose a = u - a - 13, 0 = y*a + 10. Let m(s) = s**2 + 4*s - 8. Let x be m(-6). Solve -3*l + k = u, -8 - 4 = x*k for l.
-2
Let n(o) = 5*o**3 - o**2 + o - 1. Let f be n(1). Suppose -5*w = -2*m - 2, 5*m = -3*w + 29 - 3. Solve 4*b = 4*u + 28, w*u = -2*u - 4*b + f for u.
-3
Let m = -70 - -70. Solve 4 + 8 = -4*j + 4*c, -2*c + 10 = m for j.
2
Let f be 4/(-14) - 6/(-21). Suppose -2*y = -f - 6. Solve y*m + 0*p + 1 = 5*p, 4*m = -2*p + 16 for m.
3
Let l = -6 + 9. Suppose 13 + 2 = l*y. Solve 0 = -5*w + 5*p + y, -2 = 4*w - 9*w + 4*p for w.
-2
Suppose 5*r = 10, -4*t - 4 = -2*t - 4*r. Let d(c) = c + 1. Let a be d(4). Suppose -4*k = m, k - 13 - 6 = -a*m. Solve 3*x - t*g = -g - 4, -m*g = 20 for x.
-3
Let v be -1*5*(1 + -4 + 1). Solve v = -5*d, -2*p + 0*p = 4*d + 18 for p.
-5
Let r be (-149)/(-7) + (-2)/7. Suppose -34*y + 157 = 21. Solve 3*o + y = -4*w - 4, w = 5*o + r for o.
-4
Let s = 3 - -1. Let g = s - -1. Solve -g*v - 35 = -5*z, z = 4*v + 3*z - 2 for v.
-2
Let r(c) = -2*c**3 + c**2 - 4*c - 5. Let p be r(-2). Solve 6*k + 2*t - 21 = k, 3*k = 4*t + p for k.
5
Let o = 123 - 78. Let x(q) = -q**2 + 5*q. Let s be x(5). Solve s = v - u + 10, -5*v = -8*u + 4*u + o for v.
-5
Let w be 2/(-7) + (-4)/(-14). Let j be 0 + w + 0/1. Solve -5*d + 4*g + 25 = j, 2*d + 0*g - 10 = -3*g for d.
5
Suppose u + 4*i - 15 = 0, -3*u = -0*u + 3*i - 18. Solve 3*x + 6 = -3*t, u*t - 2*x + 6 = 15 for t.
1
Let c = 35 - 29. Solve -2*d - c = 2, -12 = 4*i + 2*d for i.
-1
Suppose 5 = f, -3*f - 10 = -3*r + 8*r. Let q = -5 - r. Solve -x + p = -p, x - 5*p + 3 = q for x.
2
Let o(s) = 5*s + 20*s**2 - 17*s - 21*s**2 - 11. Let p be o(-8). Solve 3*f + 31 = -4*v, -5*f - 2*v + 3*v = p for f.
-5
Let u be 39/6 + (-9)/(-6). Suppose -3*i + 1 = -u. Solve -3*r + 2 = 4*q + 14, -q + i*r = 3 for q.
-3
Let x(r) = r - 4. Let v be x(6). Solve 2*h - 2*j + v = 0, 2*j - 7 = -2*h + 3 for h.
2
Let l be (4 - 3) + 42/3. Suppose -4*v - b + 13 = 0, -5*v + 8 = -b - l. Solve -3*g = -3*q - 3, -4*q + 24 = -g + v*g for q.
3
Suppose -2*i + 3*j + 6 = 2*j, -j - 12 = -4*i. Suppose 4*t - i*t = 0. Solve 4*m + 5*p + 36 = t, 0 = 4*m - p - 5 + 17 for m.
-4
Suppose -5*t - 27 = -4*f, 5*t + 18 = 3*f + 2*t. Solve -2*x = z, -f*x = -3*z + x - 20 for z.
-4
Let q be 3 - (0 + -2)/2. Suppose q*i = 6*i. Suppose -3*z + i = -9. Solve z*o = -0*l + l + 11, o + 3*l - 17 = 0 for o.
5
Let f(p) = -2*p**3 - 3*p**2. Let a be f(-2). Suppose -a*h = -1 - 7. Solve 0 = -q - h*l - 2, -3 = 5*q - 3*l + 7 for q.
-2
Let o(k) = -k**3 - 3*k**2. Let a = -1 - 2. Let q be o(a). Solve -4*h = p - 10, q = -2*h + 6 - 0 for p.
-2
Let j = 3 + 0. Suppose d = -j*d. Let s be (-36)/(-48) + (-2)/(-8). Solve -2*f - g + 11 = s, 2*g = d for f.
5
Let y = -3 - -7. Let h = 12 + -12. Let n = y - h. Solve t - n*u = -t + 4, -5*u - 8 = -t for t.
-2
Suppose 2 = 5*d - 18. Suppose w - 29 - d = 0. Solve -5*i + w = -4*h - 10*i, -3*i = -h + 13 for h.
-2
Suppose y + 5 = -u - 0, 2*y - 4*u = -16. Let q = 9 + y. Solve 4*k = -2*d + d - 9, -5*k - 24 = -q*d for d.
3
Suppose -4*d + 2*h = -0*d + 18, 2*h - 15 = 3*d. Let c be 10/(d - -1 - -1). Let x be (-18)/(-5) - 4/c. Solve -3*o - 12 = 4*y, -3*o - x = y - 1 for y.
-3
Let s(x) = -3*x - 10. Let n be s(-4). Solve 5 = n*m - 4*r - 9, 5*m - 2*r = 19 for m.
3
Let r = 18 + -6. Solve 4*b - a - r = -5*a, 3*b - 2*a + 16 = 0 for b.
-2
Let l = 62 - 42. Let v = -3 + 13. Suppose v = u - 0*u. Solve 4*b - 5*x - l = 0, -6 = -b + 4*x + u for b.
0
Let p be 2 + (-24)/((-8)/(-2)). Let i be (-2)/((12/3)/p). Solve -3*z + i*s - 1 = -0*s, -4*z + 1 = -5*s for z.
-1
Suppose -2*y + 6 = y. Let g = y + -1. Let v be g + (-2*1)/2. Solve v = -4*j - 5*f + 32, 14 = 2*j - 0*j + 2*f for j.
3
Suppose -h - 5*g = -4*h + 16, -h = g. Let d be (-18)/((-9)/3) - h. Suppose -2*b + d = -2. Solve -2*i + 0*i = -2*y + 8, b*i - y + 10 = 0 for i.
-3
Suppose 4 = -r, -3*k + 194 = -3*r - 208. Suppose 0*h + 5*h - 128 = 4*n, 0 = -5*h + 5*n + k. Solve -4*g - x - h = x, -3*x = -g + 8 for g.
-4
Let n be ((-2)/(-3))/(2/(-9)). Let a be n*4/(-12) + 2. Solve -a*j = -4*g + 1, j - 3 + 0 = -2*g for j.
1
Let l(p) = -p**2 + 10*p - 4. Let t be l(4). Solve -2*g - 18 = -4*c, -6*g + g + 5*c = t for g.
1
Suppose -2*g = -3*g + 8. Suppose 8*z - g = 4*z. Let s be (-2)/(z/1) + 29. Solve -3*u = 5*o + s, 0 = 5*o - 2*u + 6 + 17 for o.
-5
Let y = 37 + -22. Suppose 0 = -4*j - j + y. Solve 0 = 3*q + 4*b + 21, j*q + 6 = b - 0 for q.
-3
Let b(v) = -v + 8. Let x be b(6). Suppose -10 = -x*r - 0*r. Suppose 0*c - 4*c = -r*d - 53, -2*c - 3*d = 1. Solve -6*q - c = -q + 3*a, -q - 3*a - 11 = 0 for q.
1
Let h = -66 + 70. Solve -g = 4*g + h*x + 19, 0 = x + 1 for g.
-3
Suppose 0*k + 45 = -k. Let l be 4/(-30) + (-6)/k. Solve l = -3*w + 5*v + 37, -w - 3 + 17 = -2*v for w.
4
Suppose n + 2*n - 62 = -v, 0 = 2*v - 4. Suppose -6*z = -2*z - n. Solve 0 = -4*y + y + z*q + 2, 5*q + 8 = -3*y for y.
-1
Let b(c) be the third derivative of 7*c**4/12 + c**3/3 - 8*c**2. Let h be b(2). Solve 0 = 4*o - 4*z - 36, -2*o + h = -2*z - 3*z for o.
5
Let u = -7 - -5. Let i(h) = -h - 2. Let o be i(u). Suppose 3*a - 2*a - 8 = o. Solve -5*s + 4*g - 21 = 0, -4*g + 3*g = -4*s - a for s.
-1
Suppose -23 = -4*p + 89. Solve 4*q - 14 = -3*f - 7, 4*f + p = 4*q for f.
-3
Let p = 7 - 4. Suppose 0 = p*u - 7 - 38. Solve m - 14 = -3*d, -5*d = -2*d - u for m.
-1
Let b(w) = w**2 - 6*w + 3. Let q be b(6). Let f(r) = 2*r - 8. Let x be f(7). Let n = x - q. Solve -m - 7 = -n*h - 0, -16 = 4*h + 5*m for h.
1
Let o be (1 - 17)/((-2)/4). Let g = -24 - -28. Solve -2*n + 8 = -g*u, -3*n + 0*u = 5*u + o for n.
-4
Let t be 2/(-2 - (1 + -4)). Let s be (2 - (t + -4))*-3. Let y(q) = -q**3 - 13*q**2 - 12*q + 1. Let x be y(s). Solve a = 5*f + x, -3*a + 3*f + 4 - 13 = 0 for a.
-4
Let v(u) = 4*u - u - 2*u + 1. Let p be v(0). Suppose -8 = c - 4*f, c - 9 = -2*f + p. Solve c*x - 3*x - 7 = 3*o, o + 5*x = -13 for o.
-3
Suppose -5*u + 2*m + 187 = 17, -m = -5*u + 165. Solve -z + 2 = -3*y - 3, -4*y = 5*z + u for z.
-4
Let i(y) = y**3 - y**2 - 6*y + 5. Let d be i(3). Solve 2*b - d*j - 15 = -2*b, j - 11 = -2*b for b.
5
Let s = -2 - -6. Let o = -4 + s. Let m be (o/(-3))/(-2 - -1). Solve 2*r - 2*c - 14 = 0, m*r - 5*r - 4*c + 8 = 0 for r.
4
Suppose -32*b + 37*b = 10. Suppose 0 = 2*m - 3*m - 4, 5*z - 23 = 2*m. Suppose -2*a + 7 - z = 0. Solve v = -b*v - a*r - 1, -r = 3*v - 4 for v.
3
Suppose -h + 2 = -1. Let u be (12/(-10))/((-3)/10). Let x(b) = b**2 - 6*b + 3. Let f be x(6). Solve -4*k + f*j + 0 = u, -h*k = j - 10 for k.
2
Suppose 6 = 2*m - 2*i, m + 4*i = -4*m + 60. Let w(f) = -f**3 + 9*f**2 - 7*f - 8. Let y be w(m). Solve 2*v = p - 2, -5*v - 5 = -y*v + 4*p for v.
-1
Let k(x) = -2*x**2 - 1. Let r be k(1). Let s(d) = -12*d - 7. Let g be s(r). Solve 4*m + 5*n = g, 4*m = -3*n - 0*n + 19 for m.
1
Suppose 11 + 16 = -3*z. Let v = z - -19. Suppose -60 = -5*n + 5*u, 2*n = -u + 46 - v. Solve 15 = -3*t + 5*g, -2*t + 4*g + 4 = n for t.
0
Let u be (138/15)/2 - 6/(-15). Solve 2 = -4*t + 2*p - 16, -u*t = -3*p + 23 for t.
-4
Let k(m) = m**2 - 2*m + 3. Let l be k(2). Let g be 1/2*(l - -1). Solv