 Solve -4*s + t + 8 = v*t, -5*s + 4 = t for s.
0
Suppose -3*o - 14 + 24 = -2*a, -a - 15 = -4*o. Solve 2*z + o*d = -6, 0*z = 2*z - 5*d - 3 for z.
-1
Suppose -g - 2 = -1. Let j be (g/1)/((-1)/17). Suppose -s + j = -0*s. Solve 3*t - 19 = -2*v + 4*v, -4*t = -v - s for t.
3
Let i be 8/20 - 38/(-5). Suppose -i*r + 4 = -6*r. Let c(h) = h + 2. Let t be c(3). Solve -4*k = -r*k + 8, 0 = t*m + 2*k + 13 for m.
-1
Suppose 130 = -23*j + 383. Solve c + 4*p = -j, 9 + 4 = 4*c - 3*p for c.
1
Let k = -5561 + 5565. Suppose 13 = i + 1. Solve -2*p + k*w = -i, -2*w = 5*p - 7*w - 15 for p.
0
Suppose -2*m + 4*m - 38 = -v, 2*v = -5*m + 81. Suppose -10*b - 8 = -14*b. Solve v - 7 = 5*a + 2*k, -2*a = b*k - 12 for a.
3
Let i = -285 - -293. Solve 3*q - 2*q - y + i = 0, -4*y + 26 = -2*q for q.
-3
Let x be 9/(45/20) - (-1 + -3). Suppose 0 = -x*w + 2*w + 90. Solve 0 = 5*f + 15, f = -3*b + 2*f + w for b.
4
Let d = 109 - 109. Let z = d - -4. Solve -n + z*n + 15 = 2*r, 2*n + 10 = 3*r for n.
-5
Let t(r) = -r**2 + r + 17. Let d be t(-3). Solve -11 = d*h + 4*i, -h + i + 11 = -5*h for h.
-3
Suppose 4*a - 33 = f, -3*a + 18 + 28 = -5*f. Suppose 12*j = a*j + 25. Solve -4*c + 2*c + 2 = -2*s, s = j*c + 11 for s.
-4
Suppose -2*q + 3*f = -17, -q + f + 2*f = -13. Suppose 50 = -6*d - 70. Let u = -9 - d. Solve -1 = 3*p - y - 9, 3*y + u = -q*p for p.
1
Suppose -116 = c - 69*c + 224. Let v = 7 + -3. Suppose -17 = 5*z - 117. Solve 4*j - c*b = z, v*j - b = -2*b - 4 for j.
0
Suppose -342 = -14*j - 300. Solve -j*l - 7 = 2*o, -2*l = 3*o + 7 + 6 for l.
1
Let x(i) be the first derivative of i**4/4 + i**3 + i**2/2 + 4*i + 19. Let u be x(-2). Solve 0 = -3*a - 5*v + u, 0 = 3*a + 4*v - 5 + 2 for a.
-3
Let c be 0/(0 + 1 + (0 - -1)). Solve -h - 5 = c, 4*u - 5 = 5*u + 2*h for u.
5
Suppose -3*i = d - 54 + 19, -2*i = d - 25. Suppose 1 = f + 4*g, -7*f + 5*g = -6*f - i. Solve 3*p = 3*r + 3, -2*p - 3 + 11 = -f*r for r.
-2
Suppose m = -m + 8. Suppose 2*k - 3 = 7. Suppose 4*i - k*w = 2*i - 21, -w = -5. Solve -2*y - n = 0, i*n = -m*y + y - 1 for y.
1
Suppose -q + 5*b = -17 - 6, -4*q - 5*b - 33 = 0. Let k be ((-39)/(-65))/(q/(-10)). Solve -5*n + 3 + 3 = 3*z, 0 = 3*z - k*n + 18 for z.
-3
Suppose 6*q - q - 24 = -2*w, 5*q + 24 = 2*w. Suppose 0 = 2*n - 9 + 3. Solve i = -n*i - 4*f, 0 = i + 4*f + w for i.
4
Let v(z) = -6*z + 7. Let h(i) = -13*i + 13. Let b(m) = 4*h(m) - 9*v(m). Let g be b(7). Solve -5*p + 0*j = 4*j + 12, -g*j + 26 = -5*p for p.
-4
Let j(a) = 6*a + 119. Let d be j(-19). Solve 5 = 5*c, 3*p + 4*c = d*c - 4 for p.
-1
Suppose 6 - 31 = -5*y. Let x be (-116)/(-20) + 1/y. Suppose 7*o - x = 5*o. Solve 0 = -2*d - 3*v - o, -4*d + v + 4 = 17 for d.
-3
Let t be 27/45*30/9. Solve 3*x = -4*v - t*x + 31, -3*v = 2*x - 18 for v.
4
Let t be (-17)/(-4) - -8*2/(-64). Solve 2*l = 2*s + 18, t = -s - 0 for l.
5
Let s = 42 - 45. Let b be 6/12 - s/2. Solve -t - 3*t - 6 = -3*c, -4*c - 14 = b*t for t.
-3
Let u(c) = -38*c + 116. Let w be u(3). Solve 3*d + 5*z = -10, 6*d + 6 = w*d - 3*z for d.
0
Suppose 0 = 17*f - 38 - 13. Solve 0 = 5*h - 2*y - 20, -2*y - 9 = f*h + y for h.
2
Suppose 0 = -2*w + 1 + 1. Let m = w - -1. Let g(z) = 10*z + 145. Let p be g(-14). Solve 3*n + m*j + 3*j = -20, p*j + 20 = 0 for n.
0
Suppose -3*i - 78*o + 74*o = -48, 2*i + 2*o - 32 = 0. Solve -2*w - 21 = -3*q, 0*q = -5*q - 3*w + i for q.
5
Let c be (0 - 1)*(1 - 8). Let o(s) = -s**3 + 7*s**2 + s - 1. Let r be o(c). Let d = r + -1. Solve d*n = -5*k - 5, 0*k + 5*n = k - 5 for k.
0
Let y = -24 - -65. Let p = y - 39. Solve -3*x - 15 = 0, 2*x = p*n - x - 19 for n.
2
Let v be 52/(-12) - 7/(84/(-16)). Let l be (-5 + 4)*v/1. Solve 0 = -o + 3*h + 13, -o + l*h + 19 = -2*h for o.
4
Let n = -3 + 5. Suppose c - 2 = -5*y, -2*c = n*c - 2*y - 30. Suppose -6 = 4*m - c*m. Solve -4*z + 10 = 2*v, 2*v - 2*z = -m*v for v.
1
Suppose 0*z + 12 = 6*z. Suppose -4*o - 5*l + 8 = -z, o - 5*l = 15. Solve 13 = 5*p - 2*q, -4 = 3*p + o*q - 18 for p.
3
Let h(x) = 2*x**2 - x. Let b be h(-1). Suppose v - 2*m - b = 0, -3*v - m = -v - 6. Let c be 6/(4 + -1) - 2. Solve -p = -2*q - 6*p - 25, -p - v = c for q.
-5
Let l(z) = -z**2 - 11*z + 1. Let k be l(-10). Let q = 15 - k. Solve 3*x - 8*x + 2*s = 3, -2*x - q = 2*s for x.
-1
Suppose -28*r + 29*r = 15. Solve o + 6 = -2*z - o, -5*o + r = -5*z for z.
-3
Let b(w) = w**3 + 6*w**2 + 5*w - 7. Let f be b(-5). Let d be (-2)/(-7) - 12/f. Suppose -3*k - 42 = -48. Solve 4*c - k*z = 2*c + 6, 4*c - d = -z for c.
1
Suppose -47 = 51*t - 52*t. Suppose 3 + t = 5*c. Solve 0 = -5*o + 5*j - 0*j + 15, -c = -3*o + 2*j for o.
4
Let d = -260 - -428. Let s be (d/98)/((-2)/(-7)). Solve 5*k - 2 - 10 = -3*j, -3*j + k = s for j.
-1
Let d(l) = 4*l**3 + l**2 - 3*l + 1. Suppose 0 = -v + 10 - 7. Suppose -10*b + v = -7*b. Let u be d(b). Solve 0 = -u*g + 5*n + 4 + 1, 3*g + 19 = -n for g.
-5
Let n(c) = -c**2 - 7*c + 11. Let g be n(-8). Suppose -g*i = -31 - 14. Solve -3*s - 5*m + i = -15, -3*m + 9 = 0 for s.
5
Suppose h - v + 51 = 3*h, -3*h + 79 = 2*v. Let w be 5/((-20)/(-8)) + 1. Solve -k + 2*z = -6*k + 30, -2*k = w*z - h for k.
4
Let v(c) = 0*c**3 + 13*c + 14 - 34*c**2 - c**3 + 23*c**2. Let m be v(-12). Solve 3*n + 19 = -6*p + 4*p, 0 = 2*p - m*n - 6 for p.
-2
Let t = -145 + 158. Solve 4*u - 16 = 0, -2*u + t = -s + 2 for s.
-3
Let v = 4 - 51. Let n = -45 - v. Suppose 4*q = -5*k + 79, 0 = q - 4*k - 10 - 15. Solve 2*j - q = 5*x, n*j = -4*x - 5 - 1 for j.
3
Suppose -3*n + 2*n = 0. Suppose 3*v - 17 - 13 = 3*m, 5*m = -2*v - 15. Solve -v*o + h - 9 - 5 = n, -2*o = 5*h + 11 for o.
-3
Let n(f) = -f**2 - 14*f + 15. Let s be n(-15). Let k be 5/((-40)/(-12))*2. Solve k*m = 5*y - 35, y = 3*m - s*y + 19 for m.
-5
Let g be 18/45 + 9/(-5)*-2. Solve 2*i - 14 = -g*d + 7*i, 3*i + 7 = d for d.
1
Let v = -15 + 18. Suppose 4*d - 5*b = -9, d + 11 = 6*b - v*b. Solve -4*a = -a + d*k + 2, 5*a - 4*k = -14 for a.
-2
Let f(u) = 4*u - 10. Let m be f(3). Let s = 62 + -57. Solve -s*c + m*q = 33, -2*q = 4*c + 10 + 2 for c.
-5
Suppose 0*w - 6 = -2*w. Suppose -3*u - u = -w*n - 87, 3*u = 5*n + 79. Solve q + 11 = -3*v - 0, 0 = -4*v - 2*q - u for v.
-2
Let f be (-1)/((-3)/12) + -2. Solve 4*x + 0*y - 1 = -3*y, -f*y = -5*x + 30 for x.
4
Suppose 10*f = -15*f + 17*f. Solve 2*z = 4*n - 8, f = -4*z + n - 4*n + 28 for z.
4
Let k be (-11)/(165/(-190))*9/6. Solve -4*z - 5*u = -9, z - 6*u + 3*u + k = 0 for z.
-4
Let z be -12 + (-364)/(-21) + (-2)/6. Solve -5 = -o, 0 = -3*q + z*o - 15 - 22 for q.
-4
Let i be (-21)/(-8) + (-39)/(-104). Suppose 0 = 5*z - 13 + i. Suppose -2*q + z = 0, -4*q = -5*u + 64 + 7. Solve -x - 17 = -4*v + v, -v = -5*x - u for v.
5
Let n be (-3)/(-6) - 3/(-2). Let s = 4 - 2. Suppose 5*p - s - 8 = 0. Solve -4*b = p*l + 2, 5*l + n*b = -4 - 9 for l.
-3
Let n = -159 - -163. Solve 35 = -5*p - 3*t + t, 5 = n*p - 5*t for p.
-5
Suppose -p + 15 = 2*p. Suppose -a + a = p*a. Solve a = -4*l - 4*d - 28, -25 = 2*l + l + 5*d for l.
-5
Let b(d) = -2*d - 8 + 3*d + d. Let c be b(5). Solve -s = -3*n - 2, -4*s = 2*n - 4*n + c for n.
-1
Let f be 3/2*(-2)/(-1). Suppose q + 5*u + 20 = 0, 3*u = -2*q - 9 - 3. Let s(n) = 79*n + 802. Let l be s(-10). Solve 7*a - l = -x + f*a, q = 5*x - a + 24 for x.
-4
Suppose -46*x - 5 = -47*x. Solve -x*f = -3*p, -f = -2*f + 3 for p.
5
Let l = -157 + 248. Suppose -v + 93 = l. Solve -5*c + p + 0*p - 19 = 0, 3*c + 17 = v*p for c.
-3
Suppose 0 = 43*q - 36*q - 14. Let l = 91 - 42. Suppose -4*w = -7 - l. Solve -i = q*f + w, 24 = -4*f - 0*i - i for f.
-5
Let n(q) = -2*q**2 - 11*q + 13. Let c be n(-6). Let z be (1 - 2) + 5 - (c - 6). Solve z*l - 3*g = 3, -3*l + 2*g = -2*l - 6 for l.
-4
Let k be 37/4 + (-1)/4. Suppose -57 = -4*v - 3*p, -2*p - p = -k. Let r = -11 + v. Solve -2*w - r = b - 0, 4*b - 1 = -3*w for w.
-1
Let a(h) = 3 + 3 - 4*h + 7*h - 5*h. Let s be a(3). Solve -5*k - 5*z - 8 - 2 = s, -z - 8 = -2*k for k.
2
Suppose -4*i + 0 + 16 = -2*m, -5*i + 20 = 2*m. Let z be (0 - -21) + (i/4 - 2). Solve -5*j - z = -0*j, -b - j = 1 for b.
3
Let w(j) = -j**3 + 18*j**2 + 24*j - 1. Let z be w(19). Suppose -4 = 9*a - z. Solve -36 = -c - 3*c - 4*u, 0 = -2*c + 5*u - a for c.
5
Suppose 7*p + 71 + 202 = 0. Let b = -35 - p. Solve -2*w + 24 = i + 3*w, -b*w + 16 = 0 for i.
4
Let z(d) = -d - 1. Let w be z(-5). Suppose 25 - 35 = -5*g, -5*b + 29 = 2*g. Let s = 25 - 6. Solve o = -2*y + w, -b*y - 4 = 5*o - s for y.
1
Let c(d) = -d + 12