
Suppose 5*y + 2*g = 35, -3*g - 12 = -3*y + 30. Let k(f) = f - 9. Let o be k(y). Let x = o + 5. Solve 0 = 4*p - 3*p + x for p.
-5
Let c(j) = j + 3. Let p be c(-2). Let f = 1 - p. Suppose f = -0*i - 5*i + 30. Solve -k = -i*k - 20 for k.
-4
Let v = 13 + -9. Solve 16 = -v*g - 0*g for g.
-4
Suppose y - 4*j = -7, -4*y - j + 14 = 4*j. Solve y = -2*i - 7 for i.
-4
Let c = -2 + 7. Solve -20 = -c*g + 5 for g.
5
Let d = -322 + 337. Suppose -4 = -u - u. Solve t + d = -u*t for t.
-5
Let u = 3 - 5. Let x be 2/(8/3 + u). Solve -w = -x*w for w.
0
Suppose 18 = a - 3*r, 21 = 3*a - 5*r - 13. Solve 1 - a = f for f.
-2
Let b(m) = -m**3 + m**2 + m + 32. Let w be b(0). Suppose 3*s + 0*x = -4*x - 4, -w = -3*s + 5*x. Let a = -44 + 62. Solve -a = -s*g - 2 for g.
4
Suppose -p = -3*p + 2*q + 40, 5*q - 25 = 0. Solve -p = -6*v + v for v.
5
Suppose -7*v = -15 - 13. Solve v*a - 22 = -2 for a.
5
Let s(c) = c**3 + 7*c**2 - 2*c - 10. Let v be s(-7). Solve 5*b + v = 29 for b.
5
Let o be (-55)/(-45) - (48/(-27) - -2). Solve -o = -5*q + 24 for q.
5
Suppose 3*n - 15 = -3*h - 0*n, -15 = 3*h - 3*n. Let r be 1/(1 - 0) - -16. Suppose 4*y + 3*w = -0*y + 1, h = -2*y - 5*w - r. Solve 5 + y = -3*k for k.
-3
Suppose -2*x - 2*j = -0 - 6, -5*j = -5*x - 15. Solve x = 4*u - 7*u for u.
0
Let q(c) be the third derivative of c**5/60 - 7*c**4/24 + c**3/2 + 3*c**2. Let g be q(7). Solve 9 + g = -3*o for o.
-4
Let u(o) = -o**3 + o**2 + o - 8. Let q be u(0). Let j(a) = a**2 + 9*a - 5. Let k be j(q). Let x = -8 - k. Solve -l + x*l = -4 for l.
-1
Let z be 6*(-3)/24*-4. Let u = 7 - z. Solve -4*w + u = -2*w for w.
2
Let z(t) = -t**3 + 5*t**2 + 6*t - 6. Let w be z(6). Let y(d) = -3*d + 3. Let n be y(w). Suppose 19 + n = 5*f. Solve -f = 3*k + 4 for k.
-4
Let w = 7 + -7. Suppose w = 2*f - 0*f. Suppose -a + 24 - 6 = f. Solve 0 = -5*y + a + 2 for y.
4
Let i(q) = q**2 - q + 2. Let v be i(3). Solve 7 + v = 5*j for j.
3
Let t = 10 + -9. Solve -2*x + 1 = -t for x.
1
Let j = 20 - 16. Solve -4*d + j = 24 for d.
-5
Suppose -y = 5*m - 16, -m = -3*y + 5*y - 5. Suppose -4*h + h = -15. Suppose 2*b - 3*w - h = 0, -6 = -b + w - 1. Solve 2*l + b = -m*l for l.
-2
Let w be 4*(-6*1 - -2). Suppose 3*v + 11 = -2*m, 2*v + 2*v + 2*m + 14 = 0. Let g = v - w. Solve -g = 3*u - 4 for u.
-3
Let l be 1/18*3 + (-116)/(-24). Solve -l*k = -2*k - 3 for k.
1
Suppose -5*d - 3*s + 3 = 10, 3*d + 13 = -4*s. Solve -4*o = -3 - d for o.
1
Suppose 6 = l + l. Solve 0 = -l*n + 7*n for n.
0
Let u = -37 - -39. Solve 0*a = u*a + 8 for a.
-4
Let g be (1 + -24 + 3)/(-2). Solve -2*m + 0 = g for m.
-5
Suppose -c - c + 2 = 0. Suppose l - 1 = c. Solve l*w = -w - 15 for w.
-5
Let u(c) = c**3 - 8*c**2 - 9*c + 2. Let j be u(9). Suppose -4 = -g - j*k, 2 = 5*g - k + 2*k. Solve g = 5*h + 3 + 2 for h.
-1
Let g(h) = -3*h - 10. Let j be g(-10). Solve 0 = 6*v - 2*v + j for v.
-5
Suppose -30*b + 32*b - 10 = 0. Solve b*n + 10 - 5 = 0 for n.
-1
Suppose 2 = -t - 4*z - 4, -2*t + 5*z = -40. Solve 2*j - t = 7*j for j.
-2
Let z(k) = k**2 + 11*k - 24. Let n be z(-13). Solve 10 = -2*a + n for a.
-4
Let g be (-2)/(2/((-6)/3)). Suppose 0 = -t - n, g*n - 17 + 2 = -5*t. Solve -t*o = -o for o.
0
Suppose -3*w = 4*f + 8, -f + 2*f + 2 = 0. Let p be 2/(-8)*(w - 4). Let v(r) = 4*r + 23. Let a be v(-5). Solve p = -2*x + a*x for x.
1
Suppose -29 = -3*j + 7. Solve 5*y + j = -13 for y.
-5
Suppose x + 11 = 5*l - 10, 22 = 5*l - 2*x. Solve y + l*y - 15 = 0 for y.
3
Let a = -10 + 16. Suppose a = g - 2*o + 3*o, 4*o - 19 = -3*g. Solve -5*u = -25 + g for u.
4
Let t(p) be the first derivative of p**3/3 - 3. Let z be t(-2). Solve 3 = -z*l + 3*l for l.
-3
Suppose 0*y - 15 = -5*y. Solve 3 = -2*z - y for z.
-3
Let a(l) = l**2 + 7. Let p be a(0). Suppose p*s - 25 = 2*s. Solve 3 = -s*q + 8 for q.
1
Let b be 36/60 - 12/(-5). Solve m = b*m + 4 for m.
-2
Let s(t) = -t. Let i(m) = -2*m + 4. Let y(l) = -i(l) - s(l). Let c be y(4). Let k = c + -8. Solve k + 3 = x for x.
3
Suppose 16 = 5*x - 9. Suppose -h - 16 = -x*h. Solve h*z + 0*z = -12 for z.
-3
Suppose -5*j + 0 + 10 = 0. Suppose -2*n + 75 = n. Suppose s + 19 + 1 = 4*v, 5*v = -2*s + n. Solve s*a + j = a for a.
2
Suppose 4*h + 2 - 18 = 3*r, -8 = -2*h + 3*r. Let u be (-1*h)/(-2 - -4). Let b be (-6 - u)*1/(-2). Solve -w + b*w = -4 for w.
-4
Let p be 1/3 - 48/(-18). Suppose 0 = -4*f + p + 5. Solve -f*s + 0*s = 0 for s.
0
Let l = 11 - 6. Let g = l - -2. Solve -g*c - 25 = -2*c for c.
-5
Let n(a) = a**3 - 8*a**2 - 2*a + 11. Let d be n(8). Let q be (d - -3) + (7 - 2). Solve -1 = -q*x - 4 for x.
-1
Let h be 3*((-4)/(-6) - 0). Suppose 0 = -h*r + 4 - 0. Solve r*u = 1 + 1 for u.
1
Suppose 3*t = 4*v - 63, -2*v + 2*t - 13 = -3*v. Solve -3*q = -6*q + v for q.
5
Let d be (5/(-2))/(3*(-2)/12). Solve -c - 16 = -d*c for c.
4
Let n(d) = 2*d**2 - d - 2. Let o be n(-3). Suppose -5*j + o + 25 = -3*q, -q = -2. Solve 5*c = -j - 0 for c.
-2
Let i be 1*(1 - 0/4). Solve i - 3 = t for t.
-2
Let x be 11/2 - (-3)/(-6). Suppose 3*c - 8 + 1 = 2*k, -28 = -2*k - 4*c. Solve 0 = -9*o + k*o - x for o.
-1
Suppose -5*r = -k - 0*k + 18, -2*k = 2*r. Let u(f) = -2 + 4*f**2 + 0 - k - f**3 + 6*f. Let i be u(5). Solve i*o - o = 5 for o.
-5
Let c = -5 + 10. Let l(a) = 1 - 1 - a. Let z be l(0). Solve z = -0*s + c*s - 10 for s.
2
Suppose 1 = 2*i - 5. Let w = -4 + 10. Solve 0*t - w = -i*t for t.
2
Suppose 0 = 2*u - 3 - 1. Let v be ((-12)/9)/(u/(-9)). Solve 2*o - v + 0 = 0 for o.
3
Let u = 45 + -45. Solve -4*g = -16 - u for g.
4
Let i be ((-84)/9 + 2)*12/(-8). Solve 0 = 2*m - 1 + i for m.
-5
Let o be -1 + (4/2 - -2). Suppose o = p - 4. Let t be 6/21 + (-2)/p. Solve i + i - 4 = t for i.
2
Suppose -p + 20 = 4*p. Let a(r) = -r + 16. Let n be a(16). Solve 0 = -n*i - p*i - 16 for i.
-4
Let m(c) = -c + 1. Let y(b) = -5*b + 4*b - 1 - 4. Let i be y(-4). Let a be m(i). Solve -a*k = k + 9 for k.
-3
Let b be (-2)/((-6)/3) - 3. Let d = b + 2. Solve d + 12 = -3*l for l.
-4
Suppose 4*k + 2 + 36 = -2*j, 4*k - 2*j + 42 = 0. Let t be 24/10 - (-4)/k. Solve -t = -u - 0*u for u.
2
Suppose -z + 2*b - 19 = 7*b, 5*z + 5*b + 15 = 0. Let p = -2 + z. Let x be 5 - (3 + -3)*p. Solve v = 2*v - x for v.
5
Suppose -1 = -3*c - 5*f, -6*c = -2*c + 5*f - 3. Solve -6*w + 12 = -c*w for w.
3
Let v(k) = -k**3 - 6*k**2 + 6*k - 5. Let c be v(-7). Suppose -8 = 4*x - 4*b, -4*x + 3*b = -c + 9. Let q = x - -3. Solve 0 = -q*y - y - 6 for y.
-2
Suppose -2*l = -4*l + 6. Suppose 0 = 3*y + 3*s + 3, 37 = -0*y + l*y - 5*s. Suppose -w + 0*w + y = 0. Solve -5 = w*m + 3 for m.
-2
Let c be 1*6/(-6) + 16. Solve 0 = -h + 4*h + c for h.
-5
Let j be (-21)/6*(-12)/14. Solve 5 = j*q - 4*q for q.
-5
Suppose 12 = 4*d, 2*v + 5*d - 20 = d. Let i(z) = z**2 + z - 11. Let x be i(4). Solve v*l - l = x for l.
3
Let n = -50 - -50. Solve 2*z + 10 = -n*z for z.
-5
Let n(o) = o + 1. Let y be n(3). Solve y*b - 3 = 5*b for b.
-3
Let w(k) = k - 1. Let n(b) = -8*b + 4. Let i(z) = n(z) + 6*w(z). Let r = 0 + -3. Let u be i(r). Solve -u*d + 0 = -4 for d.
1
Let h(l) = -l**3 + 8*l**2 - 7*l + 3. Let t be h(7). Solve t*k = -k for k.
0
Let y(t) = -5*t + 8. Let w(q) = -11*q + 15. Let a(u) = -6*w(u) + 13*y(u). Let p be a(-14). Let x(k) = -k. Let g be x(p). Solve b = 2 - g for b.
2
Let q = -40 - -44. Solve q*w - 25 = -w for w.
5
Let c be (2 - 0) + 5/(-10)*4. Solve r + 1 + 0 = c for r.
-1
Let w(d) = d - 1. Let g be w(11). Let p = g + -5. Solve -3*t - 1 = p for t.
-2
Suppose k - 3*o = 5 - 1, 10 = 2*k - 5*o. Let b = k - 7. Solve -b*d = -0*d for d.
0
Suppose 0*r + 3 = 3*r. Let l be (r - -1)*(1 - 0). Solve -l = q - 0 for q.
-2
Let p(d) = -3*d**2 + 8*d + 8. Let n(a) = -3*a**2 + 7*a + 7. Let f(c) = -6*n(c) + 5*p(c). Let v be f(2). Solve 0 = g + 2*g + v for g.
-2
Suppose -3*v + 12 + 0 = 0. Solve -1 = v*j - 3*j for j.
-1
Suppose -115*o + 118*o = 36. Solve 9*b - 6*b + o = 0 for b.
-4
Let l(t) = -t - 10. Let a be l(-8). Let z(k) = -3*k - 2. Let y be z(a). Solve 4*j - 4 = y for j.
2
Let k(i) = i + 13 + 0*i + 2. Let z be k(-10). Suppose 0 = 3*y - z*p - 15, -p - 5 = -y - 2*p. Solve -x = -y*x - 8 for x.
-2
Let f = 5 + -3. Suppose -19 = -f*a + 3*q, -2*a + 5*q - 3 = -3*a. Solve -2*z = -0*z + a for z.
-4
Suppose 5*g - l + 5 = 13, -4*l - 10 = 2*g. Solve 0*w - w - g = 0 for w.
-1
Let t(f) = -9*f - 1. Suppose s + 0 = 3. Suppose 5 = -5*m, -5*m - 1 - s = -x. Let o be t(x). Solve v = -v + o for v.
4
Suppose 6*y - 2*y