4 = 4*y, -4 = -2*y - 3*s. Let a be p(y). Let r be 6/(1/(-10)*a). Solve 5*x + r = -0*x for x.
-3
Suppose -2*q - 2*g = -q - 4, 10 = -q + 5*g. Let x be (21/(-6) - -4)*q. Let r = -5 + 10. Solve x = r*z - z for z.
0
Let d be (-4)/18 + (-114)/(-27). Solve -d = 4*z - 0 for z.
-1
Suppose 3*g - g = 0. Solve g = 4*p + 4 + 12 for p.
-4
Suppose 4*m - 46 = 6. Let w(x) = x - 11. Let y be w(m). Solve 0 = 2*q + y*q for q.
0
Let h be 3 + (3 + 3)/(-3). Solve 2*y = h + 7 for y.
4
Suppose 0 = 4*t - 0 - 60. Suppose 0 = -4*p + 9*p - t. Solve -4*o + p + 9 = 0 for o.
3
Suppose -r + 9 + 8 = 0. Solve -3*j + r = 2 for j.
5
Let u(r) = -r - 3. Let q be u(-6). Let f be (11/q + -3)*3. Solve f*z - 3 = 3 for z.
3
Let x be 1/(-6)*2*(-1 - 8). Solve -x*g = -0*g - 9 for g.
3
Let g be 24/10 - (-4)/(-10). Let r be (-24)/(-9)*15/g. Let s be 2*1/((-1)/(-2)). Solve -y - r = s*y for y.
-4
Suppose 0 = 4*b - g - 12, 2*g = -4*b + 4*g + 8. Solve -b = -0*f - 2*f for f.
2
Suppose 3*l = -2*l + 5*a + 160, -2*a - 2 = 0. Let b = l - 16. Solve b = -u - 2*u for u.
-5
Let a(g) = g**2 - 8*g + 7. Let p be a(7). Solve -5 + p = -o for o.
5
Let b(l) = -l**3 + l**2 + 2. Let t be b(0). Suppose -5*q + 22 = -3*i - 6, 6 = 4*i + t*q. Let v = 4 + i. Solve 20 = v*n + n for n.
5
Suppose 3*i = 6*i. Suppose 4*w - w - 6 = i. Solve 0 = w*t + 3 - 1 for t.
-1
Let b = 15 - 12. Solve -b*n + 4*n = 0 for n.
0
Suppose -2*l = -2 - 22. Suppose -4*a + 2*r = -l, -a - 2*r + 0 + 3 = 0. Suppose -2*p = -4*p. Solve a*j - 6 + 0 = p for j.
2
Let g(v) = 5*v - 3. Suppose -6 = -d - 3. Let b be g(d). Solve 3 = -3*q - b for q.
-5
Let y be (-7 - -3)*(-1 + 0). Suppose y*t + 5*k = k + 24, 8 = 2*k. Solve t*r = r for r.
0
Let x(m) = -4*m + 32. Let y be x(8). Solve -t + 4*t + 15 = y for t.
-5
Let f = -4 + 5. Let n(m) = -m - 1. Let j be n(-3). Solve -j*r - 9 = -f for r.
-4
Suppose 2*y = -2*y. Suppose 0*g + 5*z = -g + 23, 2*g - 26 = -5*z. Solve y = -o - 1 - g for o.
-4
Let s(q) = q**2 + q + 1. Let r be s(-3). Let k = 9 + -6. Suppose -b + t + 5 = 2*t, -4*b = k*t - 20. Solve -3*l + b + r = 0 for l.
4
Suppose -3*b - 9 = -6*b. Solve -2*z - b*z = -20 for z.
4
Let m = -9 + 9. Solve m = -3*d + d + 4 for d.
2
Suppose 3*t = -q + 3*q - 9, -q + t + 4 = 0. Solve 3*g = 2*g + q for g.
3
Let v(p) = -p**2 + 2*p + 2. Let m be v(2). Let f(s) = -s**2 + 2*s. Let n be f(m). Solve 0 = -n*d - 2*d + 10 for d.
5
Let o(m) = -m + 6. Let h be o(6). Suppose -t - 2*l - 3 = h, -4*t + l + 2*l + 32 = 0. Solve -r + t = 4*r for r.
1
Let o(y) = -2*y + 1. Let f be o(-2). Suppose 0 = -f*x + 9*x. Solve x = c + 3 - 0 for c.
-3
Let a = -25 - -25. Suppose -4*l + 3 = -9. Solve -l*w = -a*w for w.
0
Let y(s) = -s. Let k be y(0). Suppose -2*i + 4 = -k. Let f(o) = -o**2 + 2*o - 1. Let m be f(1). Solve -i*b - 1 - 1 = m for b.
-1
Suppose 0 = -5*u + 3*g + 24, 3*g + 3 = -3*u - g. Suppose -40 = t - 6*t. Solve -7*x = -u*x - t for x.
2
Let o(f) be the second derivative of f**3/3 - 3*f**2/2 - 3*f. Suppose 2*t = -0 + 6. Let n be o(t). Solve n*s - 8 = 1 for s.
3
Let o(n) = -n**2 - 7*n - 7. Let c be o(-5). Suppose 0 = 3*z + c - 12. Solve 2 = -z*b + 5 for b.
1
Suppose 0 = -4*x - 1 + 5. Let b be 3*(x + -2) - -3. Solve 0 = -5*l + 10 - b for l.
2
Suppose -3*a + 2*a = -7*a. Suppose 2*u + 14 = 4*n, 0 = -u - 2*u - 4*n + 19. Let s = u - -2. Solve -v = -a - s for v.
3
Let v(o) be the second derivative of -4*o + 0 + 1/20*o**5 + 5/6*o**3 + 7/12*o**4 - 2*o**2. Let h be v(-6). Solve 5*g - h*g = 0 for g.
0
Let r(s) = -s**3 - 8*s**2 + 6. Let z be r(-8). Suppose u = 5, 0 = 5*j - 2*u - 5. Solve j*x - z*x = -15 for x.
5
Let o(t) = t + 4. Let k = 3 - 1. Suppose -4*l - 1 = 2*n - 3, -k*l + 4 = 0. Let b be o(n). Solve -b = -0*s + s for s.
-1
Let m = 48 + -28. Solve v + m = 5*v for v.
5
Let q(t) = t**3 + 8*t**2 + 8*t + 9. Let z be q(-7). Solve k - 5 = -z for k.
3
Let t be (1 + 3)*3/12. Suppose 9 = q + p, 6*p = 5*p + t. Solve 0 - q = 2*j for j.
-4
Let l(z) = z + 10. Let k be l(-6). Suppose 0*c - 4 = -k*c. Solve 2*s - c - 7 = 0 for s.
4
Let g(s) be the second derivative of s**4/12 + 13*s**3/6 + 2*s**2 - s. Let a be g(-13). Solve 7*o = a*o + 6 for o.
2
Suppose k + 17 = -c, -2*c + 0*c = -4*k - 50. Let y = -9 - k. Let a = y + -5. Solve 2*o + 2 + 0 = a for o.
-1
Let b(f) = f + 3. Let u be b(7). Let l be -3*1/(-6)*u. Let y = -5 + l. Solve y*x = -4*x for x.
0
Let n(i) = i**2 - 5*i - 4. Let c be n(6). Let y be ((-4)/14)/(6/(-42)). Suppose 5*h = -m + 30, 0 = -y*m - m. Solve h + 0 = -c*l for l.
-3
Suppose -3*v + 7*v = 3*y - 33, 0 = -5*v + 15. Let z be (-12)/15*y/(-2). Solve z*k - 2*k = -4 for k.
-1
Let r be 26/6 + (-11)/33. Solve 0 = q - r*q - 9 for q.
-3
Suppose 4*b = -6*p + 2*p - 8, -16 = -2*b + 2*p. Let k be b/6 - (-6)/(-4). Let y be (0 + k)*(-2 + 0). Solve 0*a + 2 = -y*a for a.
-1
Let p(m) = m**3 + 7*m**2 + 6*m - 8. Let s be p(-6). Let z be 1/1 - (4 + s). Suppose z*g - 18 = 2. Solve g*u = -0*u + 16 for u.
4
Let v(n) = -n + 8. Let o be v(7). Solve 5 = -2*m - o for m.
-3
Let u(h) = h**3 - 3*h**2 + 3*h. Let z be u(2). Suppose -z*d - 2*q = -7*q + 15, 0 = 2*d - 4*q + 12. Solve d = -3*f + 4 + 5 for f.
3
Let g(l) = -l + 1. Let s be g(-4). Suppose -2*m = -8 - 2. Solve -m*a + 0*a = s for a.
-1
Let s(i) be the first derivative of -i**2/2 - i - 1. Let u be s(-2). Let z be (0 - -6)/(2/u). Solve -16 = -c - z*c for c.
4
Let q(j) = 8*j + 6. Let p be q(-3). Let i = p - -28. Solve i = -w - w for w.
-5
Suppose b - 5 = -11. Let z be (-2)/b + 29/3. Solve -5*n + z = -0*n for n.
2
Suppose -2*d - 14 = 3*g - 8*g, 5*d - g = -35. Let f(o) = -o + 3. Let t be f(d). Solve -7*a - t = -2*a for a.
-2
Let q(f) = -f - 1. Let t be q(7). Let x(k) = -k**3 - 8*k**2 - k - 6. Let d be x(t). Solve -7 = -3*p + d for p.
3
Suppose -2*k - 2 = -14. Suppose 4*q + 15 = 3*d - k*d, -15 = 3*d. Solve 4*j + j - 25 = q for j.
5
Suppose -6*h + 4*h + 10 = 0. Suppose -4 - 18 = -2*k + 2*r, 0 = h*k + 3*r - 15. Solve -q = q + k for q.
-3
Let i be 12/(-18) + 22/6. Suppose 0*u - 9 = -i*u. Solve 3*y = -3 - u for y.
-2
Let t = 15 - 15. Solve t = 4*c - c for c.
0
Let j(s) = -5*s**3 + 2*s**2 - 2*s + 1. Let a be j(1). Let g be 15/9*(7 + a). Solve g = 3*x - 1 for x.
2
Suppose -3*h = -2*w + 5*w - 3, 5*h + 1 = w. Solve -q = 2 - w for q.
-1
Let i(h) = -h - 6. Let t be i(-11). Let v be (-2)/(-3)*(-15)/(-2). Let s = t - v. Solve -o + s*o = 0 for o.
0
Let z(i) = -i**2 + 5*i + 3. Let v be z(5). Suppose -2*f + 6 = 6. Let c be 8*((-3)/(-2))/1. Solve f*d + c = -v*d for d.
-4
Let d be (-10)/(-3) - (32/24 + -2). Solve 3*c - 5*c = d for c.
-2
Suppose 5*i = -3*a - 3 + 20, -2*i - 4*a + 4 = 0. Suppose 6*b + 27 = -2*c + 3*b, -i*c + 5*b + 1 = 0. Let h = c + 8. Solve -s + h*s - 5 = 0 for s.
5
Suppose -5*m + 0*z + 2*z + 35 = 0, -60 = -5*m - 3*z. Solve -4 = 5*h - m for h.
1
Suppose -6 = -21*z + 15*z. Solve -4 + z = n for n.
-3
Suppose -4 = -2*y + 2. Let p be 3 - -6*1/(-2). Let w = -14 - -14. Solve p = -w*q - y*q for q.
0
Let c(a) = 5*a + 25. Let d(m) = m + 5. Let q(w) = 2*c(w) - 11*d(w). Let s be q(-6). Suppose -5*r = 3*g - 26, r - 3*g + 3 = s. Solve 0*o = 4*o - r for o.
1
Suppose 2*x - 7*x = 75. Let g be (-4)/6 - (-20)/x. Let c be -2 + 2 + 7 + g. Solve 0 = c*l - 2 - 3 for l.
1
Suppose -2*v = 5*p - 75, v + 20 = 3*p - 25. Solve -p = -g - 4*g for g.
3
Suppose 0*t + 6*t - 6 = 0. Suppose o = 3 - t. Solve -o*w = -w for w.
0
Let a(u) = 2*u**2 + u - 2. Let x be a(-2). Suppose -3*y + 0 = -6, 5*y + 22 = 4*o. Solve -4*z + o*z = x for z.
1
Let r = 12 + -4. Solve -g = -5*g - r for g.
-2
Let w be 2/9 - (-14)/18. Let j be w - (3 + 1) - 1. Let g = 4 + j. Solve 1 + g = h for h.
1
Let z be 0 + 6/(-24)*(0 + -16). Solve -z + 3 = -w for w.
1
Let c(f) = -f**2 + 9*f - 5. Let l = -5 - -14. Let n be l + -3*(-4)/(-6). Let r be c(n). Solve -4*j + r + 3 = 0 for j.
3
Suppose 5*q + 12 = -m, 0 = m + 4*q + 6 + 3. Solve -2*j = 9 - m for j.
-3
Let c(w) = w**2 + 1. Let d be c(3). Suppose -5*g = -4*i - d, 2*i + 2*i - 2*g = -4. Suppose i = 3*n - f - 10, -f = 2*n - 0*f. Solve 3*k + n = 5 for k.
1
Suppose c = -2, 2*l + 3*l + 2*c = -4. Solve l = z + 3 - 1 for z.
-2
Let z = 4 + -2. Suppose 6*l = z*l. Suppose -17*t + 4 = -15*t. Solve l*x + x = -t for x.
-2
Let t = 46 - 42. Solve -d = d - t for d.
2
Suppose 2*g - 9 = -3. Suppose -5*j + 2*q = -3*q - 65, j = -q + 3. Solve -7 - j = g*y for y.
-5
Let j = 22 - 9. Let v = -9 + j. Solve 0 = 7*t - v*t - 12 for t.
