-2
Let v = -30 - -53. Let p = v - 18. Solve p*s + 8 = -2 for s.
-2
Let z(q) = -2*q + 2. Let y = -4 + 6. Let l be z(y). Let x be 0 + 0 + (l - -6). Solve 5 = -3*i - x for i.
-3
Let c be (-6 - 4) + (1 - 1). Let y = c + 14. Suppose y*a = 7*a. Solve -3*p + 2*p - 1 = a for p.
-1
Let k = -95 + 97. Let m be 6*(-1)/(1*-3). Suppose k*q = 3*q - 3*y + 4, q = 2*y - m. Solve -3*u = -q*u for u.
0
Let c be -10*((-6)/(-10) - 1). Solve c = -0*y - y for y.
-4
Suppose -4*q = p - 14, -2*p + 4*p + 3*q - 13 = 0. Suppose p = -4*r + 14. Suppose 2*z = -r*d + 25, 3*z - 20 = -0*d - d. Solve 3*t - 1 - d = 0 for t.
2
Suppose 0 = -4*s + 4*a + 12, s - 3*a - 7 = 2. Suppose -6 = x - s*x - 2*b, -3*x = -b - 7. Let l be x + -4 - (1 - 1). Solve l*m = -m - 3 for m.
-3
Suppose -n - 2 = -3*v + 9, 4*n + 20 = 0. Solve -6*a = -v*a - 16 for a.
4
Let n(f) = f**3 + 7*f**2 - 10*f - 12. Let a be n(-8). Suppose s + s - a = 0. Solve s*c + 12 = -c for c.
-4
Let x = 9 + -9. Solve x*b = 2*b - 10 for b.
5
Suppose -2*f = -0*f. Suppose f = 4*s - 4*t + 20, s - 6*t + t = -25. Solve s = -3*i + 11 + 4 for i.
5
Suppose 3*j - 18 = -y, 5*j + 5 = -5*y + 75. Solve -2*v + y = -5*v for v.
-4
Suppose -8*h - 25 = -3*h + 5*s, 4*h - 10 = 2*s. Solve h = -2*i + i + 1 for i.
1
Suppose -3*r + 2*l + 13 = 0, 2*l + 1 = -4*r + l. Let t be (-5)/(r + (-12)/11). Suppose -25 = 5*d, -2*a + 2*d = a - t. Solve 4*b = -b + a for b.
3
Suppose 6*y + 36 = 48. Solve v - y*v = -4 for v.
4
Let x(m) = m**2 - m - 2. Let j be x(3). Suppose -4*l + 2*c = j*c - 6, -c = 5. Solve -q = q - l for q.
2
Let j = -5 - -1. Let q = j - -6. Suppose q*n - 9 = 1. Solve n*l = -0*l for l.
0
Let p be (12/(-2))/((-3)/4). Suppose 0 = 2*a - 0*i - 3*i - 28, 0 = 4*a + 4*i - 16. Solve a + p = 4*j for j.
4
Let o(v) be the third derivative of v**4/24 + 3*v**3/2 + 27*v**2. Let d be ((-4)/2)/(4/10). Let n be o(d). Solve w + 6 = n for w.
-2
Suppose 2*m + 8*y = 3*y + 21, 3*m + 6 = 5*y. Suppose 16 = -5*j + m*l, 0*j - 3*j - l = 4. Let k be (1 + 1)*j/(-2). Solve -2 = 2*n + k for n.
-2
Suppose -n + 8 = -3*y - 3*n, 3*n + 12 = y. Let z(x) = -x**3 - 6*x**2 + 6*x - 5. Let d be z(-7). Let r be y*(-1 - (2 - d)). Solve r = 3*i + 3 for i.
-1
Let t(y) = -2*y - 12. Let b be t(-7). Solve b*z = 5*z - 15 for z.
5
Let k = -9 - -13. Suppose 0*y = -3*u - y - 40, k*y + 52 = -3*u. Let j be 1/(-2)*1*u. Solve 0 = b - 3*b + j for b.
3
Suppose -3*t + 43 = -17. Suppose -g - 2 = -t. Let q = -14 - -22. Solve -2*x - q + g = 0 for x.
5
Suppose -8*f = -2*i - 4*f + 20, -5*i + 6 = f. Solve -i*y = -5*y for y.
0
Let m be 4 - 12/3 - -4. Solve -3*j = -m + 1 for j.
1
Suppose -3*w - 3*t - 1 = -4, -3*w = 2*t - 6. Suppose 0*a = w*a. Let j be 62/5 - (-2)/(-5). Solve -4*g - 4 - j = a for g.
-4
Let s = -4 + 6. Suppose 0 = -5*l, 0*i - 5*l = s*i. Solve 3*y - 2*y - 2 = i for y.
2
Let g = -3 - -6. Let m be g/9 + (-2)/6. Suppose m*k = 4*k. Solve k = -p - p + 6 for p.
3
Suppose -j + 5*j = 2*t - 8, -2*t + 5*j + 8 = 0. Suppose -11 = 3*g - 5*a - 51, -t*a = -4*g + 40. Solve 0 = -3*i + g*i + 2 for i.
-1
Let i be (-28)/(-56) + 10/4. Solve -i*m = -7*m for m.
0
Let i be -6*((-33)/9 - -3). Solve -5*b + i = -16 for b.
4
Let z(q) = 6*q**2 - q + 7. Let c(m) = -5*m**2 - 6. Let g(d) = 5*c(d) + 4*z(d). Let k be g(-3). Solve 0*v + k = -v for v.
-1
Suppose -14 = -4*s - 2. Solve 0 = -3*m - s for m.
-1
Suppose 4*b + 2 = 18. Suppose 0 = 4*f - k - 1, -3*k = -b*f - 8 + 3. Solve f = n + 4 for n.
-3
Suppose -11*g + 26 = -18. Solve -2*v = -3*v + g for v.
4
Let w(f) = f - 1. Suppose -24 = -2*y + 5*o - o, 4*y + 7 = -3*o. Suppose y*z - 6 = -z. Let s be w(z). Solve 3 = l - s for l.
4
Let w(u) = -1 - u - 4*u + 1 + u**2. Let f be w(5). Solve f*a - a = 0 for a.
0
Let g be (-2)/(-7) + (-206)/(-14). Suppose -g = -5*s + 5. Solve s*p - 13 = 7 for p.
5
Let a(c) be the first derivative of c**2/2 - 7*c + 6. Suppose 0*x = -x + 7. Let o be a(x). Solve o*v = v + 2 for v.
-2
Let q be 14 + 3 + (-6)/3. Suppose -4*o = -q - 21. Solve 2*f - 1 = -o for f.
-4
Let j(p) = -p + 7. Let u be j(5). Solve 0 = -u*i - 3*i for i.
0
Let y(t) be the second derivative of t - 2/3*t**3 - 1/2*t**4 + 5/2*t**2 - 1/20*t**5 + 0. Let i be y(-5). Solve b = -i*b - 3 for b.
-3
Let r = 16 + -11. Suppose l = r*h - 20, 0 = -2*h + h + 2*l + 13. Solve -25 = h*p + 2*p for p.
-5
Let i(y) = y**3 - 18*y**2 + 3*y - 48. Let p be i(18). Solve 5*n = 3*n + p for n.
3
Suppose -10 = -2*i - 3*m, 5*m = -4*i - 0 + 24. Let h = -72 + 77. Solve -h*x = -i - 4 for x.
3
Suppose 0 = -2*s - 2*s - 16. Let m = s + 6. Solve -5*x - 13 = m for x.
-3
Let b be ((-5)/(-15))/((-1)/(-18)). Let i = -4 + b. Suppose i = 3*c - 13. Solve 3 + c = -2*n for n.
-4
Let u be 3 - -2*(-1)/2. Suppose -g - u*g = -4*w + 6, 3*w + 4*g - 17 = 0. Solve 3*i + w = 6 for i.
1
Let g(j) = -j**2 - 10*j - 6. Let r be g(-8). Suppose 0 + r = 5*q. Solve -2*y = -3*y + q for y.
2
Suppose 5*i - o = 13, -2*o - 7 = 2*i - 5. Solve -i*j + 20 = 3*j for j.
4
Let d = 8 + 0. Let k = 13 - d. Solve -k*u + 6 = -14 for u.
4
Let a be (-10)/(-2) + 0*(-4)/(-32). Solve -5 = a*k - 0*k for k.
-1
Let d(c) = c**2 + c + 8. Let g be d(0). Let p be 0 + (-3*1 - -1). Let i be (-4)/p + 0 + 3. Solve i*v + 12 = -g for v.
-4
Let y(k) = k - 1. Let r be y(4). Suppose -3*j + 12 = -r. Let o = j - 5. Solve 5*m = -o*m - 10 for m.
-2
Let d(z) = -3 - z + 0*z**2 + z**2 - 1. Let m(x) = -5*x**2 + 5*x + 20. Let i(l) = -11*d(l) - 2*m(l). Let p be i(0). Solve p*t - 6 = t for t.
2
Suppose -5*i + 24 = 4. Let j(c) = c + 2. Let o be j(i). Solve h - 15 = o*h for h.
-3
Suppose 5*q + 32 = 4*c, 2*c + 2*q = q + 2. Solve 2*b = -c*b - 15 for b.
-3
Let x(y) be the first derivative of y**3/3 - y**2/2 + 3*y - 6. Let v be (-1)/5 + (-48)/(-15). Let h be x(v). Solve -4*w + h = -w for w.
3
Let g(c) = -54*c**3. Suppose k + 2*k - 3 = 0. Let f be g(k). Let m = -29 - f. Solve -x + m = -6*x for x.
-5
Suppose -15 = -5*w, -r - 3*w + 8 = -2*r. Let q be (r + -1)*2/4. Solve -4*j + 7*j + 9 = q for j.
-3
Let p(u) = u**3 - u**2 + u - 5. Let k be p(0). Let a be 3 + 5/(k/(-4)). Solve -3*o = -a*o - 4 for o.
-1
Suppose 3*n - 6*n - 14 = 5*h, 5*h = -20. Solve 0 = -3*i + n*i for i.
0
Let f be -3*2/(-3)*1. Solve 0 = -0*x + f*x for x.
0
Let t(g) = -2*g + 53. Let b be t(25). Let n = -4 - -6. Solve 0 = b*a + n*a for a.
0
Let l(p) = -p + 21. Let s be l(16). Solve 0 = 3*b - s*b for b.
0
Let v be ((-3)/1)/(-12)*20. Solve 3*g = 1 + v for g.
2
Suppose 2*n + 26 = 2*l, -2*l - 8 = -5*n - 40. Solve l = -2*y + 3 for y.
-4
Let k(a) = -4*a - 1. Let s(u) = 3*u + 1. Let y(d) = 6*k(d) + 5*s(d). Let f be y(-1). Solve 5*n + f = n for n.
-2
Let f(s) = s - 1. Let x be f(3). Suppose 0 = -x*r + 1 + 3. Solve r*d - 4 = -2*d for d.
1
Let p = -7 - -9. Suppose -3*t + 2*l = -p*t + 2, -1 = 5*t - l. Solve 3*j + 12 = -t*j for j.
-4
Suppose 0 = -5*d + 198 - 48. Suppose -2*o - 5 = j, 2*j - o - d = 3*o. Suppose -3*q + 5*q = 6. Solve -q*i - j = 2*i for i.
-1
Let q(a) = 3*a**2 - 18*a - 11. Let v(k) = -k**2 + 6*k + 4. Let y(o) = 6*q(o) + 17*v(o). Let g be y(6). Let r = g - 2. Solve 3*w + 3 = -r*w for w.
-1
Let a be (-133)/(-28) - 2/(-8). Solve q + 4*q = a for q.
1
Let m(g) = 6*g**2 + g. Let x be m(-1). Suppose -3*z + 24 = r, -x*r = -3*z - 41 - 25. Solve 0*t = 3*t - r for t.
5
Suppose -4*m = -2*m. Let b(l) = -l**2 - l + 2. Let t be b(m). Solve -v = -5 + t for v.
3
Let b be 1/(-1)*15/5. Let u(g) = -g - 1. Let s be u(b). Solve s*q = 3*q for q.
0
Let f(y) = -y**2 + 19*y - 16. Let r be f(18). Solve -r*j + j = 0 for j.
0
Suppose 6 = 2*z + 2. Let m be 3/((-6)/4) + -2. Let t be (2 - (-6)/m)*22. Solve -z*n + t - 1 = 0 for n.
5
Let b be (3 + 12)*(-2)/(-5). Suppose -b*c = -c - 30. Let f be ((-4)/4)/((-2)/c). Solve 0 = -5*v - f - 12 for v.
-3
Suppose 0 = -2*u + 5*k + 16, -2*u + 3*k - k = -4. Let o(m) = -m + 2. Let x be o(u). Solve x*a - 5 = 11 for a.
4
Suppose -2*l = -3*l + 5. Suppose -g + 4*i = -2*g - 11, -l*g = 3*i + 55. Let n = -8 - g. Solve 4*r - n = 9 for r.
3
Suppose 11*a + 48 = 17*a. Solve a + 2 = 2*c for c.
5
Suppose -2*y - 10 = -4*k, -2*y - 3*y = k - 8. Solve -1 - k = 4*b for b.
-1
Let k(m) = m. Let p be k(4). Let u be -6*(-1)/2 - (0 + -2). Suppose u*o = 21 + p. Solve -2*l + l + o = 0 for l.
5
Suppose 2*g - 3 = 1. Suppose 2*s - m = 4, 0*s + 5*m = g*s - 4. Solve q + s = -1 for q.
-3
Suppose 0 = 6*p - 10*p. Solve p = -l + 4 for l.
4
Suppose -c = -0*c - 6. Solve -c = a + a for a.
