 for s.
-3
Suppose 3*u - 12 = -15. Let a be (18/63)/(u/(-14)). Suppose 3*n = 3*t + 30, -a*t - t + 31 = 4*n. Solve 0 = 7*z - 2*z + 5*m + 15, -m = -2*z + n for z.
2
Suppose 2*n - 12 = -0*h - 3*h, -5*h - 3*n + 20 = 0. Suppose 4*m + 0*m = 28. Solve -2*p - h*g = -6, -2*p - 2*g = -m*g + 21 for p.
-3
Suppose 0 = -0*j + 4*j - 4. Suppose 2*y - 9 = j. Solve y*r + 2*u = 4*u - 2, 3*r + u + 10 = 0 for r.
-2
Suppose -a = -2*a + 3*l - 2, 0 = -5*l + 5. Suppose 2*h + h = -n + 22, -3*h + 17 = 2*n. Suppose -27 = -6*o - h. Solve -4*c = o*g + 15, 3*c - a + 11 = -g for c.
-3
Let t be 5*1*(3 + -2). Let u = 1231 - 1231. Let y be (-6)/1*4/(-6). Solve -o + 5 = 2*m - y*o, u = t*m - 3*o + 10 for m.
-5
Let v(m) = m**2 + 4*m. Let h be v(-6). Suppose 6*o - 65 = -4*j + o, 3*o + h = j. Let z be (-5 + (-31)/(-6))*12. Solve j = z*l - 5*l - x, -x + 20 = -4*l for l.
-5
Let d be (-58)/87*78/(-4). Solve 2*j + d = 5*a, -4*a + 5*j + 5 + 19 = 0 for a.
1
Let p = 17 - 12. Suppose s - 17 = -3*x, 0 = 4*x - 9*x + 5*s - p. Solve 2*c + 11 = -3*w, 2*w + 2 = -x*c - 8 for w.
-3
Let q(f) = f**3 - 8*f**2 + 11*f + 9. Let u be q(6). Solve -4*y - g = -u*g - 8, -5*y = g - 17 for y.
3
Let j = -13 + -1. Let d(p) = -4*p + 17. Let q be d(7). Let f = q - j. Solve -4*x + 3*h + 9 = 0, -x + 2*h = -f*h - 15 for x.
0
Let n = -5 + 8. Let u be (-8)/(-6) - (-2)/n. Let l = -408 - -412. Solve 0*r = -4*v - u*r, l*v + 6 = r for v.
-1
Let j(o) = -o**2 - 13*o + 118. Let s be j(-19). Solve -22 = -2*g - 3*g + 3*x, -4*g + s*x = -16 for g.
5
Let h = -195 - -199. Solve -4 = -3*w - 0*t - t, -t = 2*w - h for w.
0
Suppose 4*g + 3 = -0*g + 3*p, 2*p = 10. Suppose 0 = g*d - d - 5*i + 11, -3*i + 5 = -2*d. Solve -3 = -d*u + u + 4*c, -3 = u + 2*c for u.
-1
Let v(a) = -a**2 + 6*a - 5. Let z be v(4). Let t be 15*(-1*1 - 24/(-36)). Let b be (30/18)/t*6/(-2). Solve -b = 5*q + 2*m, 5*q + z*m - 2 = -1 for q.
-1
Let r = -244 + 250. Solve -6 = -3*k + z, -2*z = -r*z for k.
2
Let c(g) = g**2 + 11*g + 2. Let j be c(0). Solve -12 = 4*m, 0*m = j*s + 3*m - 1 for s.
5
Let t be (-3)/(-9)*(4 + 2). Let v = -312 - -316. Solve -v*s = -t*l - l + 15, -4*l - 8 = 4*s for l.
1
Suppose -3*h + 24 = -2*p - 23, -3*h + 42 = 3*p. Solve -1 = -5*o + 5*f - 36, 0 = 5*o + 5*f + h for o.
-5
Let m(y) = -15 - 12 - 11*y - 4*y**2 + 3*y**2 + 12. Let c be m(-8). Solve -5*j - c = i - 2*i, -2*j + 2*i - 10 = 0 for j.
-1
Let m = 4 + -1. Let q be (6 - -2) + (-9)/m. Solve -5*j + 25 = i + 7, 5*i = q*j for j.
3
Let s be (-1 + 1 - -2) + 15. Let a = -9 - -3. Let d = s + a. Solve 3*g = 4*g + 2*h + 1, 3*g - 2*h + d = 0 for g.
-3
Suppose -11*r - 93*r + 2392 = 0. Solve 3*a = 18*o - r*o - 17, 21 = -4*a - 5*o for a.
-4
Let d be (2/6)/1*(23 + -26). Let s be d/(-2*1 + (-30)/(-18)). Solve 0 = 2*x - 4*z, -x = s*z - z - 8 for x.
4
Suppose 264 = -26*z + 29*z. Let r = z + -83. Solve 0 = -0*g + r*g - 3*a - 6, g - 10 = 5*a for g.
0
Suppose -3*d = -4*f - 5, -2*d - d = -5*f - 4. Solve 2 = 5*o + 2*t + d, 0 = -4*t - 12 for o.
1
Let z = -18 + 23. Suppose -5*s - z*y = -70, -2*s + y - 1 = -14. Solve 0 = j + 4*f - s*f + 7, -20 = -4*j - 4*f for j.
3
Let t be 4 + -2 + 1 - -1. Let w(n) = n**2 + 19*n + 11 + 3 - 7*n. Let h be w(-11). Solve 4*l - 2*f + 2 = 0, -h = -2*l + t*f - 1 for l.
-1
Suppose -17*d + 23*d = 0. Solve d = 4*l + 8, 24 = 5*g + 4*l - 6*l for g.
4
Suppose 0 = -6*q + 23 - 11. Solve -5*z = -3*h - 10, q*z + 15 = -2*h + 7*h for h.
5
Let p be -2*1 + 1 + 16. Let j be 1246/182 - 2/(-13). Let g(b) = b. Let i be g(j). Solve p = -5*s, u - s = -u - i for u.
-5
Suppose -t - 6 = -10, 0 = o + t - 11. Solve p - 3 = -3*c + 2, -4*c = p - o for c.
2
Let k be -7*2*(3 - 4). Suppose k*n = 34 - 6. Solve -5*f + 12 = -2*z, n*f - 20 = -0*f - 3*z for f.
4
Let j = -152 + 152. Solve -4*f = -j*f - k + 24, 4*f + 3*k = -8 for f.
-5
Let d = -61 - -65. Solve -5*s = d*k - s - 16, -3*k - 5*s = -16 for k.
2
Let i = 56 - 52. Solve 5*t + 15 = x, -2*x = x - i*t - 23 for x.
5
Suppose 455*p + 16 = 471*p. Suppose 12 = 4*n - 20. Let m = n - 6. Solve m*z + p = 3*i + 24, 0 = z + 4*i + 16 for z.
4
Let a(x) be the third derivative of -x**6/120 - x**5/15 - x**4/12 - 2*x**3/3 + 3*x**2. Let m be a(-4). Solve -m*y - 3*u = -u + 8, -3*y - 15 = -3*u for y.
-3
Suppose -3*w = -5*h + 33, 3*h = -4*w - 13 - 2. Let p(a) = a**2 - 2*a - 3. Let t be p(4). Solve -4*k - 3*x = -10, -h*x = -t*k + 2*x + 30 for k.
4
Let c = -195 - -195. Suppose -2*p + 20 = 3*p. Suppose 0 = -2*i - u + 9, i = p*i + 4*u - 16. Solve b - 3*k + 1 = 0, -i*k = -b - c*k - 1 for b.
-1
Let f(r) be the second derivative of -r**3/6 + r**2/2 - r. Let v(i) = 3*i**2 + 7*i. Let l be v(-1). Let t be f(l). Solve -5*c + 3 = -22, 4*w - 9 = -t*c for w.
-4
Let n(y) = -y**3 - 9*y**2 + 2*y + 20. Let g be n(-9). Solve -3*d = -3*o + 3, 2 + 0 = 2*d + g*o for d.
0
Suppose 0 = -2*t - 2 + 10. Solve 6 = -p - a - 1, -5*p = t*a + 33 for p.
-5
Let j = -61 + -59. Let r = -117 - j. Solve -5*c - 18 = -g, -r*c + 6 = -3*g + 24 for c.
-3
Let g(y) be the first derivative of 4*y**3/3 + y**2/2 - 2*y - 2. Let l be g(-2). Let i = 582 - 577. Solve -2*z - i*q = -15, z + 0*z - 4*q + l = 0 for z.
0
Suppose 9*v - 360 = -21*v. Solve 0 = 5*b - n - 7, -v*b - 2*n = -9*b + 1 for b.
1
Let t(g) = 13*g - 16. Let f be t(4). Suppose 4*x - f = x. Suppose -5*s = 3*z - 2*z - 24, -2*z + x = s. Solve i = -2*a + 1, -a + 2 = -5*i - s*a for i.
-1
Let z = -5 + 17. Suppose -z = 3*o - 9. Let m(s) = 2*s**2 - s. Let n be m(o). Solve 22 = -3*k - 2*y, -n*k + 2*y - 1 = 1 for k.
-4
Let b = -8 - -12. Suppose -4*r - r = 2*q - 59, 5*q - 37 = -4*r. Solve 0*u = 3*u - 2*p + r, -b*p = -2*u - 22 for u.
-1
Let i be (-18)/10*65/(-39). Solve -3*x + 2*m + 8 = 3, 2*x + i = -5*m for x.
1
Let r(f) = f**2 + 5*f - 18. Let y be r(-8). Suppose 0 = o - y + 2. Solve z + z - 5*i - 35 = 0, o*i - 5 = -5*z for z.
5
Suppose 2*n - 5*c = 9, 4 = 4*n - 2*c + 6*c. Suppose 2*a = -5*i - n*a + 16, -3*i + 4*a = -16. Solve -4*o + p = i, -4*o - 5*p + 21 = 1 for o.
0
Suppose 5*k - 10 = 3*k. Let x(y) = -y + 2 - 5*y + k*y. Let s be x(1). Solve s = -2*b + 5*m, 2*b - 1 = -4*m + 7 for b.
2
Let l(u) = 3*u**3 + 9*u**2 - u + 3. Let a be l(-3). Solve -8 = -a*b + 3*b - p, -3*p = -b - 4 for b.
2
Suppose -45 + 135 = 18*o. Suppose -3*q = -5 - 37. Let u = q + -10. Solve -4*a - 32 = u*h, 4*a - 3*h + o = 2*h for a.
-5
Let n(u) = 12*u - 178. Let o be n(15). Solve 4*a - 1 = -5*b + 5, 0 = -4*a - b - o for a.
-1
Let s(i) = -2*i**2 + 25*i + 18. Let t be s(13). Let x be ((-14)/6 + 1)*-3. Solve x*h + 22 = 5*l - 3, l - t*h = 26 for l.
1
Let r(i) be the first derivative of i**3 - 9*i**2/2 - 2*i - 34. Let x be r(4). Solve -2*t - 4*a + 9*a = -18, -3*t - a = -x for t.
4
Suppose -a = -2*a + 3*o - 7, -3*a = 5*o - 21. Suppose 5*r = -a*r + 42. Solve -y = -4*p + 17, -3*y + 11 = -r*y + 2*p for y.
-1
Let a(n) = -n**3 + 3*n**2 + 1. Let x be a(2). Suppose x*u - 11 = 9. Suppose -9*s + 18 = -0. Solve u*i = 3*y + 8, -s*i = -3*y - 6*i - 16 for y.
-4
Let k = 38 + -36. Suppose -w = h - 0*h + k, 2*h = w - 1. Let l be h*(-4 + -3 - -3). Solve l = v, 4*y - 1 = -5*v + 31 for y.
3
Suppose 30 = 8*b - 2*b. Suppose 3*l = r + 10, r + r = -b*l + 24. Let f(o) = -2*o - 7. Let t be f(-5). Solve l*w = t*w + j + 5, w + 3*j = 5 for w.
5
Let z(a) be the second derivative of a**4/3 + 4*a**3/3 + 3*a**2/2 + 29*a. Let q be z(-2). Solve 3*k - 2 = 1, -4*d - q*k = 1 for d.
-1
Suppose -h + f + 8 = 0, 16 = 3*f + 25. Solve -5*q + h*i - 3*i + 7 = 0, -q - 2*i = 1 for q.
1
Let f = -425 - -428. Solve 0 = -2*p + 6, o + 5*p = f*p + 10 for o.
4
Let y(t) be the first derivative of t**4/2 - 4*t**3/3 + t**2 - 2*t - 7. Let n be y(2). Let g = 23 - 12. Solve g = 4*f - w, n*w + w = -f + 19 for f.
4
Suppose 31*z + 4 = 33*z. Solve -3*t + 2*h - 1 = h, 0 = -z*t + 2*h + 6 for t.
-2
Let n(k) = -k - 1. Let c be n(-1). Suppose -26 = -3*m + 9*j - 5*j, -4*m = -j - 13. Solve -5*q + 0*q + 13 = 2*b, -m*q + 3*b + 9 = c for q.
3
Suppose 0 = 2*w - 4*w + 6. Suppose -n - w = -10. Suppose 0 = 4*d + 5*j - 37, 49*j - 48*j - 5 = 0. Solve -n = h - d*b, h + 0 + 2 = -2*b for h.
-4
Let q(w) = 3*w**3 + 27*w**2 + 23*w - 8. Let m be q(-8). Solve m = 4*u + 3*y - 0 + 1, 5*u - y + 25 = 0 for u.
-4
Let w(j) = -j**3 - 9*j**2 - 8*j - 7. Let a be w(-8). Let x = a + 9. Suppose 7 = 3*o + 1. Solve 2*f + f - 4*y = -35, -o*f - x*y = 0 for f.
-5
Suppose 0 = -t - 5*s + 29, 0 = 29*t - 33*t + 5*s - 9. Let k be -4 + (-2