se 4*s - 12 = -4*y, -5*s = -y - 15 - i. Suppose -s*o = -0*o. Solve o*q + q = 5 for q.
5
Suppose 0 = -2*n + 2*l + 6, -n - l = -0*l - 5. Solve 5*s = 6*s - n for s.
4
Suppose -5*b + 4*b - x + 6 = 0, -2*b - 6 = -4*x. Solve b*z = -0*z - 6 for z.
-2
Suppose d - 2*f - 6 = -1, 19 = 3*d - 2*f. Solve -3 = -d*h + 4*h for h.
1
Let p(z) = z**2 - 10*z + 6. Suppose 0 = -5*m + m + 40. Let j be p(m). Suppose 16 = -4*o, 3*o = d + j*o + 9. Solve d*l + 12 = 7*l for l.
3
Let v = 8 + -14. Let k be 1/(2*-1)*v. Suppose -5*o = -o - 8. Solve -o*m - m - k = 0 for m.
-1
Suppose r = 4*v - 15 - 13, -2*v + r = -12. Let t be v/3*(-3)/(-2). Let o be (-3*1)/((-3)/15). Solve t*k + o = k for k.
-5
Let u be (18/(-2))/(-3) - -1. Let g be 20 - (16/u + 0). Solve 5*d + 1 - g = 0 for d.
3
Suppose -39 = -9*n - 3. Solve -n*l + 6*l = 4 for l.
2
Let d(x) = x**3 - 8*x**2 - 9*x + 6. Let r be d(9). Solve 0 = 2*f - 4*f - r for f.
-3
Let c(t) = t**2 + 3*t - 8. Let l be c(8). Suppose 5*i + 3*a - 76 = 0, 2*i - 4*a - l = -2*i. Solve 0 = 5*x + i + 3 for x.
-4
Let u = 0 + 0. Let w(i) = i + 1. Let v(k) = 5*k + 14. Let m(g) = v(g) - 6*w(g). Let c be m(6). Solve 5*j + c - 12 = u for j.
2
Suppose -87 = -3*b - 3*m, -4*m - 9 = -b - 0*m. Let s = b - 15. Solve 3*g + 2*g = -s for g.
-2
Let y(s) = s**2 - 1. Let b be y(-2). Suppose 0 = -9*v + b*v + 24. Solve 5 = -3*k - v for k.
-3
Let q be 43 + 4/(-8)*6. Let a be ((-5)/10)/((-4)/q). Solve -3 = a*v - 13 for v.
2
Let w = -16 - -21. Solve 2*j + 1 - w = 0 for j.
2
Let d(g) = g + 15. Let r be d(-10). Solve 0 = r*h - 20 - 5 for h.
5
Suppose -5*c - 16 - 4 = 0, 3*z = -4*c - 10. Solve 2 = z*l - 3*l for l.
-2
Let x be 8 + 0 - (-2 + 1). Solve 5*t + x = 29 for t.
4
Let h(q) = q**3 - 4*q**2 + q - 2. Let t be h(4). Solve 0 = -3*s + t - 14 for s.
-4
Suppose -5*m = 5*b, b - 2 - 10 = -4*m. Solve -m*i = i + 10 for i.
-2
Suppose 0 = 5*h - 2*r - 2, -8*h + 3*r = -4*h + 4. Suppose 0*o - h*o = -18. Suppose 2*p - o = 1. Solve -p*j = -j + 4 for j.
-1
Suppose 2*y + 5*u = 6*y - 60, 0 = -2*u. Suppose j = -2*j - y. Let s be (1/1)/(j/(-20)). Solve -s - 2 = 2*p for p.
-3
Let z be (-8)/(-48) + (-34)/(-12). Let q(i) = -2*i - 4. Let h be q(-5). Suppose r - h = -2*r. Solve -z*x + r = -4*x for x.
-2
Let s(h) = -h - 3. Let r be s(-3). Solve 0 = -y - 2 - r for y.
-2
Let j = -4 + 4. Solve -2*z + z - 1 = j for z.
-1
Let t(h) = 2*h - 28. Let q be t(17). Solve 0 = -q*d + d - 15 for d.
-3
Suppose -3*p - 5*h + 46 = 0, 4*p - 44 = 3*h - h. Suppose -p = -3*n - 4*m, 3*n + 6*m - 15 = m. Let o = -15 + 21. Solve n*j + o = -3*j for j.
-2
Let u = 5 + -11. Let q = 14 + u. Solve 5*g - q = -3 for g.
1
Let t(q) = -q**2 + 2*q - 4. Let l be t(3). Let c = l + 10. Solve 12 = -0*a - c*a for a.
-4
Suppose z + 15 = -l - 4*l, -50 = -4*z + 2*l. Let y = -7 + z. Solve 0 = y*x + 15 for x.
-5
Let o(x) be the third derivative of 2*x**2 + 0 + 0*x + 1/24*x**4 - 2*x**3. Let j be o(12). Solve -l - 1 = -j for l.
-1
Let f(i) = 5*i. Let l be f(2). Solve -d - d = -l for d.
5
Suppose 0 = 2*p + 2*p - 64. Let f be (-21)/4 + 4/p. Let h = -5 - f. Solve -2*z - 2*z + 20 = h for z.
5
Suppose 2*p - 18 = -2*p - 2*s, -3*p + s + 16 = 0. Solve -15 = 5*y - p for y.
-2
Let c = -8 - -10. Suppose c*h - 12 = -2*h. Solve h = 4*f - 9 for f.
3
Let j be 1/(1 + (-18)/20). Let z = j + -8. Solve -z*a + 0 = -6 for a.
3
Let k(r) = -r**3 - 5*r**2 + 7*r + 6. Let b be (-4)/(-6) - (-100)/(-15). Let d be k(b). Suppose 0 = x - d*x - 16. Solve -6*h - x = -2*h for h.
-4
Let y(r) = 7*r - 11*r - 2 + 3*r. Suppose -3*v = -v + 6. Let t be y(v). Solve 3*q - t = -7 for q.
-2
Let o(w) = -w**2 + 11*w - 15. Let c be o(3). Solve 4*t + 3 = -c for t.
-3
Let w(b) = -b**3 - 18*b**2 - 30*b + 36. Let m be w(-16). Solve -5 = -m*h - 13 for h.
-2
Let d(z) = 2*z - 5. Let w be d(5). Suppose -1 = -w*a - 3*g, 4*g + 0 + 6 = -3*a. Suppose -4*p = -2*v + 20, 5 + 5 = -v - 2*p. Solve -a*b = -v + 2 for b.
-1
Let x = -7 - -12. Suppose -4*o = -3 - x. Suppose -4*g + 8*g = w + 16, o*w + 2 = -2*g. Solve -g*n = n for n.
0
Let q be 4*2/8*5. Let i = 5 - q. Solve i = -2*m + 4*m + 8 for m.
-4
Let t(g) = g**2 - g - 9. Let i be t(4). Solve -i*u = u + 4 for u.
-1
Let l = 4 + -1. Let v be (l - 2)/((-2)/(-6)). Solve 9 = -v*c - 0*c for c.
-3
Suppose 3*l + 19 = s, -5*l - 13 = 6*s - 3*s. Suppose 2*c = s, -2*w - 5 + 3 = -c. Solve w = 4*m + 3 + 5 for m.
-2
Let x(y) = -y**3 + 2*y**2 + 6*y - 1. Let i be x(4). Let l = -6 - i. Solve l*v = 2*v + 4 for v.
4
Let f be (19 - 16)/(-2 - (-11)/4). Solve -2*i = -f*i - 6 for i.
-3
Let n be (-3)/((-6)/40) - 0. Let t be ((-45)/(-25))/(6/n). Solve 0*g + t = 3*g for g.
2
Let b be -1 + 0 - (0 + -2). Let a = 19 - b. Let q = a + -10. Solve 3*v = q*v + 15 for v.
-3
Let m be -7 + (5 - 2/2). Let k be (-2)/m - (-28)/12. Solve p = -k*p + 16 for p.
4
Suppose 0 = u - 0*u + 4*o - 6, -5*o + 1 = -2*u. Let w(f) = f - 2*f - u + 0*f. Let j be w(-6). Solve -5*a - 1 = j for a.
-1
Let j be (-8 - -5)*5/(-3). Solve -j = -0*n + n for n.
-5
Let r = -4 - -3. Let q = r - -5. Suppose g - 4*g + 34 = q*p, -3*g + 22 = p. Solve 3*u + 3 = g for u.
1
Let h be ((-50)/(-8))/((-2)/(-8)). Let y = 8 + -2. Let s = 11 - y. Solve s*j + h = -0 for j.
-5
Suppose -4 = -0*u - u. Let p = 450 + -435. Solve -5 = u*a + p for a.
-5
Let s(j) = -3*j - 6. Let y be s(-4). Suppose 0 = -2*v, y*v = 5*f + 3*v. Solve f = -2*u + 6*u for u.
0
Let k = -6 - -7. Let y be k/3*(-45)/(-5). Solve -a - 12 = y*a for a.
-3
Let q = 31 - 22. Solve 3 = -3*o - q for o.
-4
Let v = 22 - 21. Let i = -14 - -16. Solve -v + 5 = -i*o for o.
-2
Suppose -24 + 109 = 5*o - 2*w, 3*o = 5*w + 32. Suppose 0 = -5*a - 2*l + o, a = -3*l + 2 - 6. Solve 3*c = a*c - 10 for c.
5
Suppose 4*u = -2*q - 12, 3*q + 14 - 4 = -2*u. Let d be q - 0 - 1*-2. Solve d = m - 6*m for m.
0
Let a(h) = h**2 - h + 1. Let l be a(4). Solve -3 + l = 2*z for z.
5
Let x(g) = -g**3 - 5*g**2 - 3*g + 2. Let r be x(-4). Let c be r/(-9) + 1166/18. Let z be -1*1 + c/5. Solve z = -2*q + 2 for q.
-5
Let x = 93 + -87. Solve -25 = j - x*j for j.
5
Let t = -26 + 51. Let j be 120/(-16)*4/(-6). Suppose 6*n = 3*n. Solve -j*v = -n*v - t for v.
5
Suppose -b = -6*b + 4*d + 10, 3*d = 5*b - 10. Let t be b/((-2)/1)*-5. Suppose t*o = 4*o + 2. Solve -3 = v + o for v.
-5
Let f(v) = -v**2 + v + 2. Let l be f(3). Let m = l - -6. Suppose -10 = -4*r - m. Solve 0 = -r*t - 5 - 1 for t.
-3
Suppose 3*i - 16 = -i. Suppose -i*l = l. Solve -m = -l*m + 1 for m.
-1
Suppose -4*f - 4 = -2*j, -j = -3*j + 3*f + 3. Let z = j - 0. Suppose -2*p + z*w = -5*w - 45, -5*w - 85 = -4*p. Solve 3*b - p = -b for b.
5
Suppose 0 = -2*n - 3*v + 8*v - 20, 0 = 2*n + 4*v - 16. Solve n = -5*f + 3*f for f.
0
Let r be -4 - -3 - (0 - 2). Suppose -5 + r = -2*d. Solve d*v + 1 + 1 = 0 for v.
-1
Let v be (0 - 0) + (6 - 6)/4. Solve 2*f + 0*f + 2 = v for f.
-1
Let t be -8 + 9 + -1*1. Let g = -11 + 41. Let p = -18 + g. Solve -4*m + 0*m - p = t for m.
-3
Let t = -26 + 38. Let m be 2/(-8) - (-15)/t. Suppose -15 = -4*j + m. Solve s = j*s for s.
0
Suppose -3*u + 5 = -1. Suppose u*z = 3*z + 7. Let o be (-20)/(-28) + (-2)/z. Solve 0 = 2*s - 5 + o for s.
2
Let j(b) = -b + 5. Let z be j(5). Suppose -9*x + 20 = -4*x. Suppose -5*p = -6 - x. Solve z = m - p*m + 5 for m.
5
Suppose -2*x - 3*x = 3*c - 1, 3*c + x - 5 = 0. Suppose -5*s = -c*s - 18. Solve 16 = 2*t - s*t for t.
-4
Suppose 4*o - 4 = -0. Suppose -5*k + o + 4 = 0. Solve b = 2*b + k for b.
-1
Suppose -4*c + 2 = -2. Let w(b) = 5*b**2 + b - 1. Let j be w(c). Suppose -8 = -5*k + 2. Solve -k*y + 3*y = -j for y.
-5
Let k = 1 + 1. Suppose 5*p - 8*h - 35 = -3*h, 16 = 3*p - k*h. Solve 3*y + p*y = -25 for y.
-5
Let z = 43 + -21. Let d = 22 - z. Solve 4*n = -d + 4 for n.
1
Let x be 4 + 3 - 8 - (-1 + 0). Solve x*k + 10 = -5*k for k.
-2
Suppose -3*n - 2*z + 9 = 0, 2*n - z - 1 = 5. Suppose -4*a = -n*s + 8*s + 4, -s = 2*a + 2. Solve o + 1 + s = 0 for o.
-1
Let b(d) = 3*d**2 + 3*d + 1. Let i be b(-2). Let u be (-2)/7 + 100/i. Suppose -q - 2 + u = 0. Solve -3*n = q - 3 for n.
-3
Let g = 57 + -53. Solve y = g*y for y.
0
Suppose 0 = -5*i + 2*i. Solve -3*b + 6*b = i for b.
0
Let d = 4 + -2. Solve -4*r + d = -18 for r.
5
Let g = 6 - -6. Solve 4*y = y - g for y.
-4
Let j(o) = o**3 + o**2 - o + 3. Let q be j(-3). Let n = q + 17. Solve 10 = 5*g - n for g.
3
Suppose 5*j - 3*z = -48, 4*j - 9 = 4*z - 49. Let s = j - -22. Solve 4*w - 5 = -s for w.
-2
