olve -3*t = -4*t + 3, -3*y - 5*t + 12 = j for y.
-1
Suppose 4*s + 64 = -3*h, 2*h + 3*s + 29 + 15 = 0. Let g(o) = -o**3 - 16*o**2 + 19. Let a be g(h). Solve 5*m = -f - a, -2 = 4*f - 6 for m.
-4
Let a(z) = z**2 - 17*z + 33. Let c be a(15). Suppose g - 42 = -4*h, c*h - h - 24 = g. Solve 4*s + h = -k - 2, -k - 2*s - 5 = 0 for k.
3
Suppose -j - 17 = -4*y, -5*y = 4*j - 11 - 5. Solve 2*b - 2*h = -2, b + 7*h - 11 = y*h for b.
2
Let p = -580 - -582. Solve 3*h + 19 = p*r, 5*r - h + 3*h = 19 for r.
5
Let s = -1047 - -1062. Solve 0*n + 10 = 2*n, 4*j - n - s = 0 for j.
5
Let u be (-61)/61*(-8 - -1). Solve 4*g - 9 = -u*r + 2*r, 2*g - 2*r = 0 for g.
1
Let t(c) = 6 - 5 + 132*c + 0*c - 3. Let z be t(-2). Let u be z/(-18) - (-2)/9. Solve 7*h = 2*h - 4*g + u, 5*g - 27 = 2*h for h.
-1
Let f(w) = -w**2 - 6*w + 2. Let v be f(-6). Suppose -3 - v = -m. Solve 0*g - 4*b - 12 = 4*g, m*g = 2*b + 13 for g.
1
Let m(j) = -j**2 + 13*j - 39. Let l be m(5). Solve -c - w + 0 = l, 3 = c + 3*w for c.
-3
Let p = 5 - 1. Let k be ((-20)/12)/(p/(-12)). Suppose -2*r = k - 11. Solve 0 = c + 5*n - 20, -3*c - 34 = -8*c - r*n for c.
5
Let p = -10 + 14. Suppose 0*g - 4*c = 3*g - 47, 38 = 2*g + p*c. Solve -2*j + 2 = 0, 3*v - j + 1 + g = 0 for v.
-3
Suppose -2*t = -4*s + t - 7, 3*s - 2*t = -5. Let u(k) be the first derivative of -k**2 + 3. Let j be u(s). Solve 5*i = j*m + 16, 8*i = 5*i + 12 for m.
2
Let p be -3 + 8 + 0 + 3. Let h = p + -8. Let y be 1 + ((-3)/3 - h). Solve 2*d - 4*d - 4*z - 14 = y, 3*d + 5*z = -18 for d.
-1
Let x(i) = 4*i + 46. Let g be (0 + 1 + 10)/(2/(-2)). Let p be x(g). Solve 3 = 3*z - 2*q, 0 = -p*q - 0*q for z.
1
Suppose 0*w - 5*w = -2*y - 14, -w + 4*y - 8 = 0. Suppose 4*o = -3*m + 2*m - 9, w*m + 2*o - 6 = 0. Solve 3*i - m*c - 9 = 0, -3*c + 7 = 3*i - 8 for i.
4
Let p(m) = -m**3 - 25*m**2 - 47*m - 18. Let k be p(-23). Suppose 0*d = k*d + x - 77, 3*d = 5*x + 35. Solve -j = -2*c + d, j = -3*c + 3*j + 25 for c.
5
Let a(f) = -2*f + 33. Let o be a(14). Suppose -t - o*k = -25, -3*t + 2*k + 36 = 4*k. Solve -2*r + 3*l - 1 = 0, -2*l + t - 4 = 0 for r.
4
Let w = 14 - 35. Let s = -14 - w. Solve -2*z = c + 11, 3*c = s*c + 20 for z.
-3
Let c be (12/(-42))/(1/28*-2). Solve -3*q = -u - 15, -8 = -4*u - c*q - q for u.
-3
Let r = 86 - 82. Suppose 0 = -r*m + 3*j + 5, -m + 4*j + 6 = 4*m. Solve -3*t = -5*x + 17, -1 = x - m for t.
-4
Let d(p) = -p**2 + 6*p. Let m be d(6). Let t(v) = 31*v**2 - 2*v - 1. Let a be t(-1). Let r = 7938 + -7938. Solve r = 4*l - 4*q + a, -q = -m*q - 5 for l.
-3
Suppose -4*n + n = 6. Let y be 6/15*((3 - n) + 0). Solve -a - y*t = -5, 3*a + 2*t = -3*t + 12 for a.
-1
Suppose 0 = -4*x - x. Suppose 5*u - 8*u + 111 = x. Suppose -2*c + 17 = 4*p + 3*c, -3*p + 2*c + 7 = 0. Solve 23 = 2*f - 3*t, -5*f + p*t + u = 2 for f.
4
Let w(r) = 0 + 2 + 0 - 3*r + 8. Let y be w(2). Solve -4*t - 6 - 10 = 0, y*x = -3*t + 4 for x.
4
Suppose 3*h + 40 = 25, 2*g = 4*h + 28. Let v(w) = -w**3 + 10*w**2 - 9*w. Let j be v(9). Solve 9*a = g*a - 3*l + 40, j = 3*a + 4*l - 35 for a.
5
Suppose 0 = t - 3*z - 9, -t + z = -5*t + 23. Suppose 11 + 13 = t*f. Let a(u) = u**2 - 2*u - 6. Let j be a(-4). Solve x + k - 6 = -3*k, 0 = f*x - 5*k + j for x.
-2
Let b be (11/((-11)/2))/((-2)/4). Solve j - b = -4*p - 1, 5*j = -3*p - 19 for p.
2
Suppose -47*s + 38 = -526. Solve 0 = -4*p + s, -3*w - 12 = -6*w - 3*p for w.
1
Let d = -5 + 16. Let b = d - 9. Let x = 3 + b. Solve -3*t = w + x, 2*t + 1 = -3*w - 0*t for w.
1
Suppose 0*r + 24 = 3*q + 3*r, 3*q - 24 = 4*r. Suppose 10 = 4*s - 5*y + 30, -4*s = -2*y + q. Solve -4*d + i = 7, s = 2*d + 5*i + 51 - 20 for d.
-3
Suppose 0 = s - 4*b + 8*b - 20, 10 = -2*s + 2*b. Let q(d) = -d + 5. Let j be q(s). Solve j*m - 13 = -4*p, -4*m + 4*p + 41 - 9 = 0 for m.
5
Suppose 0*j - 9 = -5*h + 2*j, 4*h = 3*j + 3. Solve 3*t = -h*z - 3, -2*t + 0*z + 2*z = 14 for t.
-4
Suppose y + 0 = -12. Let t(n) = -n - 12. Let b be t(-10). Let j be (-3)/b*(-32)/y. Solve 5*i = 2*w + 10, -4*i + 1 = j*w - 7 for i.
2
Suppose 0 = -4*f + 16, 3*a + 2 = f + 4. Solve -4*z + a*y + 0*y = -20, 2*z = 2*y + 12 for z.
4
Let j = -3 - -5. Suppose c = -j*c + 6. Let v(n) = n**2 - 209*n + 2367. Let k be v(12). Solve 0 = -3*i + k*u - 9, -u + 4 = -c*i - 0 for i.
-1
Let a = 16 - 0. Let y = a - 19. Let d(l) = l**3 + 3*l**2 - l - 1. Let o be d(y). Solve -4*m = 27 - 7, -o*q - 2*m = 12 for q.
-1
Let z be 1/(-4) + 119/28. Suppose 11*l = 10*l + z. Let j(a) = 4*a + 4. Let f be j(l). Solve -4*d = -12, 5*k = k + 4*d - f for k.
-2
Suppose 0 = 4*k + 5*w, 5*w - 10*w = -2*k + 30. Solve -4*r + 5*p - 4 + k = 0, r = -4*p + 16 for r.
4
Let i be 15 + 2 + -6 + (-1 - -5). Solve 0 = -q - 5*m + i, 3*m - 3 = q - m for q.
5
Let x be (7 + -4)*(-7)/((-63)/12). Solve 2*j + 0*t + 2*t = -x, 0 = 5*j + 4*t + 5 for j.
3
Let i(r) = r - 3. Let w be i(5). Let o = w - -2. Suppose 4*p + 14*y - 13*y = 1, 3*p + 3*y = 3. Solve -2*s - o*f = p, -1 - 5 = -s + 4*f for s.
2
Let j(p) = p**3 - 3*p**2 + 4*p - 6. Let b be j(3). Let d be 560/(-175)*(2/2 - b). Solve 0*x - 5*x = 2*w + d, 0 = x - 2*w - 4 for x.
-2
Let r = -13 - -18. Let o(i) = i**2 + 2*i + 15. Let c be o(0). Suppose 0 = -r*y - 0 + c. Solve 2*t + 11 = -2*t + y*k, 2*k - 11 = -t for t.
1
Suppose 5 = 2*r + 3*w, -5*w - 41 = -5*r - 16. Solve -3*d = -15, -y + r*d + 19 = 8*d for y.
-1
Let y(f) = f**3 - 16*f**2 + 35*f - 82. Let w be y(14). Solve 5*g - 4*a = -w - 0, -2 = g - 2*a for g.
-4
Suppose 1 = -4*n - 3*v - 0, -v - 9 = -3*n. Suppose 0 = -3*d, n*g + 3*d - 15 = 3. Solve 0 = 3*p - 2*z, 3*p - z = -2*z - g for p.
-2
Let j = 74 + -70. Solve j*t + a = -3*a - 40, 3*t - a + 10 = 0 for t.
-5
Let z = 16 - 14. Suppose z*s = -4*x + 62, -2 - 1 = -s. Suppose 5*j + x = 34. Solve 3*r + 2*k = -3 + 4, 5*r - 9 = j*k for r.
1
Let v be 15/(660/121) + 2/8. Solve 2*t - 2*n - 19 = -t, 0 = -v*t - 3*n - 6 for t.
3
Let y(a) = -2*a**3 - a**2 - 2*a - 2. Let b be y(-2). Suppose -m = 4*m - 695. Let i = m + -139. Solve i*k + 2*u = -k, 5*k + b = -3*u for k.
-4
Suppose 0 = -3*i + p + 59, i = -5*p - 8 + 33. Solve 3*t - x = -4, -2*t = -0*x - 5*x + i for t.
0
Suppose 5*p + 0*v - 30 = 4*v, -p - 8 = 2*v. Let g be (-1)/((-2)/(12/p)). Solve -11 = -g*y - m, -5*y + 33 = -m - m for y.
5
Suppose 1 = -h - 2*l, -h = 4*h - 3*l - 21. Solve -9*v + 12*v + h*t + 15 = 0, -4*v + 25 = -5*t for v.
0
Suppose 3*a - 7 = 2*b, 3*b = 5*b + 3*a + 1. Let u = 5 + b. Solve 2*j - 3*w - w = 10, u*j + 12 = -3*w for j.
-1
Let h = 15 + -10. Let q be 6/4*(-88)/3. Let o = q + 46. Solve 0 = 3*s - o*w + 1 - 8, -6 = 4*s + h*w for s.
1
Suppose -3*p = -5*p + 2*m, 4*m = -5*p - 9. Let f be (p + (-7)/(-5))/(13/130). Solve -f*w = -2*l + 10, w = -2*l + 2 - 17 for w.
-5
Suppose 0 = -68*f + 66*f + 8. Solve f*z - 7 = x - 0*z, -3*z + 3 = 0 for x.
-3
Suppose -2*k - 13 = -3*k + 5*o, -53 = -3*k + o. Suppose 7*q - k = 4*q. Solve 0 = -a - a + 4*y - q, 3*a = -2*y - 9 for a.
-3
Suppose 0 = -0*x - 2*x + 18. Let q be (0 - (-20)/8)*2. Suppose 4*k - 6 = 2*m, -q*m - 14 - 1 = -2*k. Solve 2*a - a - x = 5*t, k = -5*a + 20 for t.
-1
Suppose 0 = -58*l + 963 - 267. Solve -u - 3*u + 3 = -v, -4*u - l = -4*v for u.
2
Let c(l) = l**2 - 11*l + 10. Let h be c(9). Let k be 1284/44 + h/44. Let t = k + -4. Solve -n = 5*z + t - 6, -z + 1 = -n for z.
-3
Let v = -52 + 66. Solve v = r - 3*t, -2*r + 19 = -r - 4*t for r.
-1
Suppose -k + 5*k = 12. Suppose 0 = 4*b - 3 + 11, -k*s = 3*b - 36. Let v be (-148)/(-28) - 4/s. Solve 5*l + 15 = 0, -o + 12 = -2*o - v*l for o.
3
Let d = -72 + 77. Solve d*y - 4*h = 4*y + 2, 6 = 3*y + 2*h for y.
2
Let r = -37 - -35. Let a be (1 - -2) + 3 + r. Solve 3*v = 4*j, a*v = -0*j + j + 13 for v.
4
Let o be 6/10 + (-6)/(-15). Let b = o - -3. Solve 0 = b*j - 5*d + 7, -j - 4*j - 17 = 2*d for j.
-3
Let w(k) = -3*k**2 - 32*k + 12. Let u be w(-11). Let h be ((-10)/(15/(-3)))/u. Solve -2*i - 6*n = -n + 2, h*i + n = 6 for i.
4
Suppose 33*a = 28*a - 300. Let b = -56 - a. Solve 13 = -2*o + 5*u, -b*o - 3*u + 7 = -6 for o.
1
Let d(f) = 15*f - 60. Let p be d(7). Let a be 5/p*-3*(-15)/1. Solve 4*l + a = 3*y + 11, 2*y + 5 = 3*l for l.
3
Suppose -17 = -5*b - 4*w, w = 3*b - 0*w - 17. Solve 2*j = -2*x - j + 8, 0 = b*x - 5*j - 20 for x.
4
Let t(r) = r**3 + 11*r**2 - 11*r + 12. Let n be (24/(-3))/2 - 8. Let g be t(n). Let w be 85/35 + 3/(-7). Solve 2*v = -5*q, 0*q + w*q - 2*v - 14 = g for q.
2
Let t(b) = -b**2 + 6*b. Let h be t(6). 