 -3*s + v for s.
4
Let f(h) = -6 - 3*h + 3 + h - 2. Let v be f(-4). Solve 2 = -v*i + 4*i for i.
2
Suppose 7*r - 2 = 5. Suppose -3*q - 4*x - 23 = 0, -3*q + 2*q + 3*x = -1. Let t be (q - r)/((-12)/16). Solve -4*d + 0*d - t = 0 for d.
-2
Suppose -7*b = -3*b. Let r = 8 + -4. Solve 0 = -b*f - 2*f - r for f.
-2
Suppose -2*c = -2*v + 4, -4 = 3*c - 2*v - 3. Solve -c*u + 6*u = 0 for u.
0
Let a(q) = -q**2 + 5*q + 1. Let j be a(4). Suppose 0 = y - 3 + 6. Let x = y - -5. Solve 0 = x*k + j + 5 for k.
-5
Let k(b) = -b - 4. Let z be k(-4). Let j(p) = -p**2 - 6*p - 4. Let g be j(-3). Solve g*i - i - 16 = z for i.
4
Suppose 0*y = 5*y. Let j = -1 + 1. Let k be -1 + j + (y - -6). Solve 3*f - 7 = k for f.
4
Suppose -3*c + 55 = -4*p, 0 = -c - 2*p + 5. Solve -3*s = -c + 4 for s.
3
Let c = -153 - -168. Solve 5*p - 2*p + c = 0 for p.
-5
Let r = -1 + 1. Let d be ((-3)/9)/((-2)/12). Solve 0 = -a - r*a - d for a.
-2
Let t = 24 + -23. Suppose 11 = u + t. Solve u - 1 = 3*x for x.
3
Let v = -17 + 25. Suppose v*z = 3*z. Solve 0 = -z*r + 4*r + 4 for r.
-1
Let s be (2/1)/(8/(-44)). Let l = s + 11. Solve 3*b - 6*b + 3 = l for b.
1
Suppose -j + 6*j = 5. Solve -j - 11 = -3*c for c.
4
Let q be (8/4 - 2) + 3. Let n(h) = -h**2 + 3*h + 7. Let z be n(5). Let d(u) = -u**2 - 3*u. Let x be d(z). Solve x*r = -q*r for r.
0
Suppose y + 59 - 4 = 3*r, -92 = -5*r + 2*y. Let u = r - 15. Solve 0 = -u*j + j + 10 for j.
5
Suppose -a = -p, -4*a + 4*p - 2*p = 0. Solve a*t = t for t.
0
Let v(a) = a - 5. Let y be v(7). Suppose -r + 0*r = 3. Let w be (r - 0)*2/(-3). Solve 0 = -w*l - y*l for l.
0
Let x = -5 + 9. Suppose -17 = -3*w - b, x*w - 35 = -2*b - 11. Solve 0 = w*p - 3*p - 2 for p.
1
Let g(i) be the second derivative of i**4/12 - i**3/2 + i**2 - i. Let q be g(3). Suppose 5 = q*v + 1. Solve 0 = -a - v*a - 6 for a.
-2
Let b(m) = 4*m. Let f be b(-4). Let x be 4/f + 42/8. Suppose -x*i + 3*p = -34, -p = -i - 3*i + 23. Solve n - i = -2 for n.
3
Let h(s) = s + 11. Let z be h(-7). Suppose -u - 3*u + 8 = -2*f, -5*u - z*f - 16 = 0. Let a = -17 - -26. Solve 0*v - 3*v - a = u for v.
-3
Let c(u) = u - 5. Let m(f) = -4. Let a(n) = -3*c(n) + 4*m(n). Let g be a(-2). Solve 2*q - 9 = g*q for q.
-3
Let p(y) = 6*y - 14 + 0*y**3 - 4*y**3 + 12 + 5*y**3 - 6*y**2. Let m be p(5). Solve 0 = -m*x - 6 for x.
-2
Let n be 3/((3/(-3))/3). Let t = -6 - n. Solve t*c = 7*c for c.
0
Let f = 15 - 7. Solve 2*d + f = -0*d for d.
-4
Let f be (-1)/2 - (-890)/4. Let v be (-1)/4 + f/24. Let o(j) = -12*j. Let l be o(-2). Solve 3*n + v = l for n.
5
Let l(j) = j**3 + 3*j**2 - 4*j. Let w be l(-3). Let o be ((-1)/(-3))/(4/w). Solve -y = -0 - o for y.
1
Suppose 0 = -4*k - 0*k. Suppose k*g - 6 = 2*g. Let p be (-5*1)/(g + 2). Solve -p*d + 14 = 39 for d.
-5
Let c = 9 - 6. Let d be 5 - (2 + -1)*3. Suppose 0 = -d*b + 1 + c. Solve b*q - q + 4 = 0 for q.
-4
Suppose 4*c = 5*l - 1, 17 = 5*c + l - 18. Solve v - 3 + c = 0 for v.
-3
Let i(d) = d**3 - 6*d**2 + 2*d - 5. Let s be i(6). Solve -s - 1 = -2*k for k.
4
Suppose -6*j = 8 - 26. Solve 2*u + j*u = 10 for u.
2
Let l(s) = -s**2 + s + 4. Let m(u) = u**3 + 4*u**2 - u - 4. Let r be m(-4). Let b be l(r). Solve 12 = b*g - 8 for g.
5
Let j(i) = -i**2 - 12*i - 7. Let y be j(-11). Solve 0 = z + y*z for z.
0
Let t(m) = -45*m - 4. Let r be t(-4). Suppose a = -3*a - r. Let z = a - -64. Solve -z = 5*u - 5 for u.
-3
Let v be (-2 - -1*2)/(2 - 4). Solve n + v*n = 4 for n.
4
Let q be (0/3)/(2 - 3). Solve 2*w - 5 - 5 = q for w.
5
Suppose 0 = 7*i - 3*i - 12. Suppose i*s - 4 = 2. Solve -s*m - 3*m + 20 = 0 for m.
4
Let x(v) = -v + 6. Let k be x(0). Suppose 0 = d - 3*d - 5*r + 55, d - 28 = -2*r. Suppose -d = -k*g + g. Solve -g*q + q = -20 for q.
4
Suppose 4*d = -2*t + 3*d + 15, -15 = -3*d. Solve t*s = -0*s - 25 for s.
-5
Suppose 0 = -c - 1 + 6. Solve -c = k - 0*k for k.
-5
Let d = -32 - -38. Solve 2*c + 0*c = -d for c.
-3
Suppose 0*v - 8*v + 24 = 0. Solve 6 = -v*a - 3 for a.
-3
Let z(s) = -4*s + 15*s + 0*s**3 + 15 + s**3 + 11*s**2. Let o be z(-10). Suppose o*l = 2*l. Solve l = -4*q - q for q.
0
Let r(o) = o - 6. Let h be r(6). Suppose h = 3*c + 3*x - 12, -x + 3*x - 8 = 0. Solve 4*j - 7 - 13 = c for j.
5
Let p = 4 + 0. Let a = -1 - -11. Suppose a = m + p*m. Solve m*l + 11 = 3 for l.
-4
Let x = -5 - -7. Let h be 38/9 - (-4)/(-18). Solve -x - 10 = -h*w for w.
3
Let f be 2/8 - 1155/12. Let s be 4/(-14) + f/(-42). Let p be (-4)/(-10) - 216/(-10). Solve p = -5*m + s for m.
-4
Let b(z) = -z + 1. Let h be b(-6). Suppose -84 = -h*q + 4*q. Suppose 5*x + 8 = -2*t + q, 0 = -4*x + t + 3. Solve 9 = -x*d - d for d.
-3
Suppose 0*y = y - 2*j - 2, 2*j = 10. Solve 3*r + 3 + y = 0 for r.
-5
Let q(c) = c**2 + c - 5. Let i be q(-4). Let w = i + -2. Solve 5*m + w = -5 for m.
-2
Let m be -2*(2 - 3)*2. Suppose q - k - 2 - 1 = 0, 5*k + 15 = m*q. Let t(y) = y + 13. Let l be t(0). Solve q = -5*n - l - 7 for n.
-4
Let k(b) be the first derivative of b**3/3 - 5*b**2/2 - 4*b - 3. Let q be k(8). Solve 3*g - 7*g = q for g.
-5
Suppose -9*z = -7*z - 10. Solve 2 = -z*o - 8 for o.
-2
Suppose 2*g + 2 - 6 = 0. Solve -s - g*s - 6 = 0 for s.
-2
Let k be 6/3 - (-9 + -1). Solve k = h + 3*h for h.
3
Suppose -w + 6*w = 35. Solve w - 3 = -2*p for p.
-2
Let n be 81/(-2)*(4/(-3))/2. Solve 5*g - 2 + n = 0 for g.
-5
Let k(y) = 2*y + 1. Let m be k(2). Suppose -4*o - 5*g = 18, 0*o - 2*o = -3*g - 2. Let j be (0 + o)*15/(-6). Solve m*u = 4*u - j for u.
-5
Let b(c) = -c**2 - 6*c - 6. Let y be b(-4). Let o(f) = -f**3 - 6*f**2 + 5*f - 10. Let s be o(-7). Suppose 0 = 5*t - 12 - 38. Solve s = y*m + t for m.
-3
Suppose 2 = 2*a - 4. Let c = 1 + a. Solve -2*s = -c*s - 2 for s.
-1
Suppose 0 = -2*f + 3 + 7. Solve -f*g - 11 = 14 for g.
-5
Let p be 8*1/(-2)*-1. Let b(s) = -s**3 + 3*s**2 + 5*s - 4. Let t be b(p). Solve 3*q - 4*q - 4 = t for q.
-4
Suppose -2*m = 4 - 22. Suppose v + 5*f = f - 4, -f = 3*v + 1. Suppose 2*z = -k - v*k + m, 0 = 4*k - 4*z. Solve 0*x - k = 3*x for x.
-1
Let m be 2/(-7) + 76/(-28). Let y = m + 2. Let n(w) = -15*w + 1. Let l be n(y). Solve 3*z + z = l for z.
4
Let g = 14 + -18. Suppose 4*f - 11 - 1 = 0. Let q be 1*(f + g + 26). Solve -6*j + j = q for j.
-5
Suppose 0 = 2*y - k - 2 + 4, -4*k = 16. Let p = y + -6. Let c = -5 - p. Solve -m + 12 = -c*m for m.
-4
Suppose -4*u + 0 = -k - 1, -2*u - 49 = -5*k. Suppose -5*f = -k - 4. Let i = 5 - f. Solve 0 = -3*r + 10 + i for r.
4
Let p be (-2)/(3/3 - -1). Let g be p - (1 + -2) - -3. Suppose -g*i = -2*i - 6. Solve -d = d - i for d.
3
Let x(c) be the first derivative of c**4/4 + 7*c**3/3 - c**2/2 - 4*c - 1. Let m be x(-7). Suppose 8 = u + 3*u. Solve -u - m = -g for g.
5
Let n be (-4 - -7)/(-2 - -1). Let c be (-1)/n + 10/6. Suppose 1 = -c*d + 5. Solve d*x = x - 3 for x.
-3
Let x(l) = 0*l - 3*l + 4*l + 1. Let j be x(3). Solve -2*q = -j*q + 6 for q.
3
Suppose -12*b = -13*b - 9. Let f be (-1 + 4)*(-6)/b. Solve -f*v + 3 = -3*v for v.
-3
Let w(r) = -r**2 - 9*r - 4. Suppose b - 16 + 2 = -4*o, 3*b = -2*o + 12. Suppose 2*g - 5*u + 6 = g, u - 18 = o*g. Let l be w(g). Solve 5*s - 11 = l for s.
5
Suppose i - 4 = -i. Let r be 0 - -1 - i/(-1). Solve 0 = 2*u + r + 7 for u.
-5
Suppose 3*t = -2*c + 7*c + 11, c = -4*t + 7. Solve -t*f - 2*f - 8 = 0 for f.
-2
Suppose -2*o = -1 + 15. Let u = o - -11. Let t = -9 + 14. Solve t*d - 1 = u for d.
1
Let m = -16 - -21. Solve -9 = m*k - 4 for k.
-1
Suppose 0 = 5*g - 20, -4 = 4*o - 2*g + 4. Let l be -2 + o - (-1 - 1). Suppose u - 1 - 1 = 0. Solve u*c + 2 = -l*c for c.
-1
Let u = 1 + -1. Let a be 14 - ((-8)/6 - (-247)/39). Solve a = 3*d - u*d for d.
3
Let h = -24 + 28. Solve h*m + m = 20 for m.
4
Let a be 2/(-8) + 2/8. Let v = 8 + a. Solve 0*j = 4*j - v for j.
2
Let v(g) = g**2 + 4*g - 2. Let u be v(-5). Let t be u + -1 + (-36)/(-12). Solve -t*q + 15 = -2*q for q.
5
Suppose -5*q + 2*j - j + 23 = 0, -5*j + 5 = 5*q. Suppose 4*c = q*p + 16, 5*p - p = 0. Let u be 2 - 0 - (2 - 2). Solve 2*y = -u + c for y.
1
Let i(m) = -2*m + 29. Let k(w) = -w + 15. Let s(o) = -4*i(o) + 7*k(o). Let j be s(11). Solve j = -2*g - 2*g + 12 for g.
3
Let z be (33/(-6) + 3)*-2. Suppose z*o - 19 = u, 0 = 2*o - 4*u + 3 - 7. Solve 0 = -c - 3*c - o for c.
-1
Let q(g) = g**3 + 8*g**2 - 11*g - 13. Let i be q(-9). Solve -i = -h - 2 for h.
3
Let k = 35 + -23. Suppose 0*g - k = -4*g. Solve -2*i + 3 = -g*i for i.
-3
Let g(m) = m**2 - 12*m -