
-2
Let c = -5 - -5. Solve -2*u + c = -6 for u.
3
Let v = 13 + -7. Suppose -h + v = 2*h. Solve -3*i + 5 - h = 0 for i.
1
Suppose -5*k + n + 18 = 0, k + 5*n + 2 = 16. Solve -k*t + 7*t = 12 for t.
4
Let k(i) = i**2 + 2*i + 1. Let m be k(-1). Solve 2*t - 3*t - 3 = m for t.
-3
Suppose -3*a + 2*x + 17 = -0*x, -2*a - x = -2. Suppose 4*k - 12 = k. Suppose v - 4 = -j, -3*j + k*v = -4*j + 7. Solve 3 = a*l - j for l.
2
Let g be ((-2)/(-6))/(2/6). Solve -3 = x + g for x.
-4
Let j(d) = d**3 + 5*d**2 + 3*d - 1. Let s be j(-2). Solve 8 = -s*o + 3 for o.
-1
Let z = 65 + -59. Solve 3 + z = -3*h for h.
-3
Suppose 4*j + x - 5*x = 60, -3*j - 4*x = -31. Solve -5*m + 7 + j = 0 for m.
4
Let b(m) be the third derivative of m**4/24 + 7*m**3/6 + m**2. Let h be b(-7). Solve 2*z - 4*z - 2 = h for z.
-1
Suppose 5*d + 5*g = 20, g = 5*d - 20 + 6. Solve -o = -d*o for o.
0
Let i be 14/6 - 4/(-6). Suppose -5*d - 4*v + 10 = 0, d - 2 = v - 3*v. Suppose 5*g + 7*r - 10 = d*r, g = 3*r - 6. Solve z + i = -g*z for z.
-3
Suppose 0 = -202*j + 197*j. Solve j = -i - 8 + 3 for i.
-5
Let n(z) = z + 15. Let m be n(-10). Solve 2*h - m = -13 for h.
-4
Let k = 2 - 2. Suppose 15 = 5*b - k*b, -b = -4*o + 5. Suppose -o*y = -y. Solve -5*q - 5 + y = 0 for q.
-1
Let t be (0 + 0)*(3 - 7)/(-4). Solve -v - 4*v - 5 = t for v.
-1
Let j(a) = -a**3 - 8*a**2 + 11*a + 18. Let f be j(-9). Solve 2*z + f = 2 for z.
1
Let z = 11 - 6. Suppose -3*f + 18 = h, -z*h - 22 = -7. Solve -4*n + f = -5 for n.
3
Suppose 0 = -5*d - 0*d + 15. Suppose 12 = d*h + h. Suppose -l - 1 = o - 7, -5*l = -h*o - 6. Solve q - o = 2*q for q.
-3
Let o(a) = -2 + 104*a - 6 - 106*a. Let h = -8 - -2. Let d be o(h). Solve -2*g = -d*g + 4 for g.
2
Suppose k = -3*h + 6 + 17, 11 = h + k. Suppose 0 = o - 5*o - 4*n + 28, 2*o + h = 3*n. Suppose -4*r = 5*v - 14, r + 0*v = o*v - 5. Solve -3*a = -r + 7 for a.
-2
Suppose 2*p + 0*g = -2*g - 4, -5*p - 2 = 3*g. Solve p*l + 7 = 9 for l.
1
Let a(j) = -j - 1. Let l be a(-5). Let s be (-120)/(-25) - (-2)/10. Solve -l*i = -s*i + 4 for i.
4
Let k = -1 + 1. Suppose 0*h + 4*h - 12 = 0. Solve h*b - b = k for b.
0
Let b(s) = -36*s. Let t be b(2). Let m be (-2)/5 + t/(-5). Suppose -5*g = -m + 4. Solve 0*l = -g*l for l.
0
Let o be -1*(-3 - -9)/(-1). Suppose 0 = -n + 3*n - 2*s - o, 4*n + 5*s - 12 = 0. Solve 18 - n = 3*g for g.
5
Suppose -h - 5*b = h + 5, 0 = -5*h - 4*b - 4. Solve 2*u + 0 - 6 = h for u.
3
Suppose -3*t + 50 = 2*t + 2*a, 2*a + 10 = 0. Let b = 19 - t. Solve -b*j = -2*j for j.
0
Let c = 7 - 3. Let a be ((-21)/(-6) - 4)*-2. Let k = -8 - -11. Solve a + k = c*j for j.
1
Suppose -u + 48 = 2*u. Suppose -q = 5*f - u, -6*f = -2*f + 2*q - 14. Solve -2*s - f = -11 for s.
4
Suppose -4*u + 2*s - 8 = 0, u + u = 5*s - 12. Let j be u + (2 - 0) + 4. Suppose 0*g - g - 2*v = -3, 4*v + 29 = j*g. Solve -g + 1 = 2*n for n.
-2
Let x = 54 - 51. Solve 1 + x = -z for z.
-4
Let k = 6 - 2. Let y(z) = -4*z - 23. Let l be y(-12). Solve b + l = -k*b for b.
-5
Let u(v) = -6*v + 2*v + 8 + 3*v. Let p be u(5). Suppose -2*d - d = -12. Solve -p = d*s + 1 for s.
-1
Let z(v) be the second derivative of v**5/20 + 3*v**4/4 - 11*v**3/6 + 13*v**2/2 + 4*v. Let m be z(-10). Solve 3 = 4*w + m for w.
-5
Suppose 3*t + 7 = k, -k = 2*t + 7 + 1. Let v be (k/(-6))/(10/150). Solve 24 = -v*f - 1 for f.
-5
Let b = 0 - -2. Suppose b = 4*n - 6. Suppose n*y = 3*y. Solve 0*d - 3*d = y for d.
0
Suppose 2*w + 47 = 137. Suppose w = 3*m - 0*m. Suppose 0 = 3*z + 2*z - m. Solve 0 = -0*h + z*h for h.
0
Let n(y) = y**2 + 6*y + 3. Let t be n(-5). Let m = 0 - t. Let u(l) = -l**3 + 7*l**2 + l - 4. Let p be u(7). Solve 0 = -m*j - p - 3 for j.
-3
Let q(p) = p - 18. Let r be q(16). Let d be r/(14/(-3) + 4). Solve -x + d = 2*x for x.
1
Let r(g) = g**2 + g + 3. Let u be r(0). Suppose -u*l + 20 = 2*l. Solve -l*b = -7*b for b.
0
Suppose -18*u = -16*u. Solve u = 3*l + 4 + 11 for l.
-5
Suppose 0 = d + 8 - 3. Let b(m) = -m**2 - 6*m - 1. Let t be b(d). Solve s - t = -0*s for s.
4
Suppose 0 = -4*c + 2*k + 2, -2*k + 6*k = -4*c + 32. Solve c*a = 2*a for a.
0
Let g(a) = -a**3 + 11*a**2 - 12*a + 11. Let p(u) = 10*u**2. Let l be p(-1). Let v be g(l). Let h = -5 - v. Solve -h*z + 2 = -6 for z.
2
Suppose 20 - 4 = 2*s. Let o(f) = f + 2. Let n be o(-4). Let r be n/s - 34/(-8). Solve -1 = d + r for d.
-5
Suppose -c = -5*a - 23, 3*c = -2*a - a - 3. Solve f + c = 2*f for f.
3
Let v be 1/(-2) + (-7)/(-14). Solve 3*u = -v*u - 6 for u.
-2
Let r = -16 + 9. Let h(l) = -3*l - 3. Let w be h(r). Suppose f + 3*v = -2*f - 6, f = 4*v + w. Solve -15 = q + f*q for q.
-5
Let a be (-290)/(-60) + (-1)/(-6). Let s = 6 - a. Solve s = 5*h + 26 for h.
-5
Let i(c) be the second derivative of c**3/6 + 9*c**2/2 + c. Let b be i(-7). Solve 0 = b*z + z for z.
0
Let z(b) = -b**3 - 5*b**2 + 7*b + 10. Let x be z(-6). Solve k + 0*k = x for k.
4
Let t(j) = -j**3 - 11*j**2 + 12*j + 5. Let x be t(-12). Solve 2 = -v + x for v.
3
Let s be 27/6*80/24. Solve s = -4*x - 1 for x.
-4
Suppose 4*d - 8 = 4. Let m(c) = -c**3 + 6*c**2 + 5*c + 12. Let r be m(7). Let u = d + r. Solve -u = y - 0*y for y.
-1
Suppose -2*g - 5 = 4*h - 5*g, 4*h + 3*g = 13. Suppose -3*m - 8 + 23 = 0. Solve o = -h + m for o.
4
Let t(q) = -1 - 2 - 2*q - 5. Let m be t(-7). Suppose -23*r + 3*r + 160 = 0. Solve -m*w = -4*w - r for w.
4
Suppose 0 = 2*m + d - 3*d - 12, -2*m + d = -9. Let j be 3/((-1)/(-4 + m)). Solve -3*q + 0 = -j for q.
1
Suppose -k = k + 2. Let r = 0 - k. Let w be -4*r*10/(-4). Solve -4*f = f + w for f.
-2
Let n(d) = -d**2 + 5*d - 6. Let y be n(6). Let u(h) = -h**2 + 7*h - 3. Let q be u(4). Let r be 3/y - q/(-4). Solve 8 = r*v - 0*v for v.
4
Let j = -8 - -11. Let t be 10 + (j/1 - 3). Solve -u - 4*u + t = 0 for u.
2
Let m(a) = a**2 - 1. Let d be m(2). Solve -9 = d*k - 0*k for k.
-3
Let n = -33 - -35. Solve -a + n + 2 = 0 for a.
4
Let h be 6/(-21) - (-23)/7. Suppose -b - 11 = -h*b + v, -4*v = -20. Solve -2*o - b = -2 for o.
-3
Let j = 1 + 4. Suppose j*c = -44 + 14. Let a be 26/10 - c/15. Solve 0 = -2*t - a + 1 for t.
-1
Suppose -2*c - 4*v + 14 = 0, 3*c + 12 = 2*v + 33. Let y(h) = h**2 - 4*h. Let o be y(4). Suppose o*f = 5*f - 25. Solve 8 = -f*n - c for n.
-3
Suppose 4*p + 2*v + v = 6, p + 8 = 4*v. Suppose -7 = -2*b - 3*o + 58, 96 = 3*b + 4*o. Suppose -12 - b = -5*y. Solve p = -q - q + y for q.
4
Let c(a) be the first derivative of a**4/4 + 7*a**3/3 - 9*a**2/2 - 2*a - 8. Let b be c(-8). Solve 2*f = b*f - 16 for f.
4
Let r(k) = -k**3 + 6*k**2 - k + 8. Let a be r(6). Let c = 6 - 13. Let z = c - -7. Solve z*n - n = a for n.
-2
Let j(o) = 15*o - 33. Let g be j(3). Solve 0 = x + 2*x + g for x.
-4
Let f(p) = -p**3 - 2*p**2 + 6*p - 8. Let c be f(-4). Solve d - 2 - 2 = c for d.
4
Let r = 9 - 7. Solve 9 = -r*u - u for u.
-3
Suppose 1 + 8 = 3*s. Solve 5*a = -2 - s for a.
-1
Let j be 8/6 + 429/117. Solve 0 = 2*r - r + j for r.
-5
Suppose -5*x - 4*n + 2*n - 3 = 0, 5*n = 5*x + 10. Let b = x + 1. Solve a + 3 = -b for a.
-3
Suppose -16 = -5*d + 4*d. Let k = -170 - -174. Solve -d = -3*v - k for v.
4
Let m(a) = -6*a - 36. Let b be m(-6). Let j(v) = 4*v + 4. Let c be j(-3). Let g = 0 - c. Solve 4*s + b*s = -g for s.
-2
Let t be (-2 - -2) + -2 - -2. Let f(i) = -4*i**2 + 11*i - 3. Let o(a) = -5*a**2 + 12*a - 3. Let p(m) = 4*f(m) - 3*o(m). Let n be p(7). Solve 4*j + n = -t for j.
-1
Let j(m) be the first derivative of m**4/4 + 4*m**3/3 - 3*m**2 - 2*m + 1. Let s be j(-5). Let v be 1*20/s*3. Solve 5*z + v + 5 = 0 for z.
-5
Suppose 4*d = 4*k - 9*k - 21, -2*k = 5*d + 5. Let q be 0/(9/3) + 0. Let s(m) = 18*m**2 - m. Let w be s(-1). Solve q = 4*f - d - w for f.
5
Let j be (10/40 + (-1)/(-4))*10. Solve -9 = -j*z - 4 for z.
1
Let k(b) = b - 3. Let o be k(3). Solve -f + 4*f + 6 = o for f.
-2
Let y(n) = n - 3. Let k be y(-3). Let h be 12/9 + k/(-9). Solve -2*x = 8 + h for x.
-5
Suppose -r - 2*n = -3*n + 1, 0 = 4*n - 20. Let q = 0 + r. Suppose 5*j = -h + q*h + 28, -12 = j - 5*h. Solve 3 - j = a for a.
-5
Let w be (-2)/(3 + 47/(-15)). Solve -4*u + w = 3 for u.
3
Let b = -12 + 19. Let f = b - 7. Solve f*h - 2*h = 8 for h.
-4
Let d(h) be the third derivative of h**5/30 - h**3/6 + 4*h**2. Let b be d(1). Solve 3*m + 2 + b = 0 for m.
-1
Let w = 2 + 0. Suppose -w*v - 15 = -7*v. Solve v*o = -o for o.
0
Let k = 16 + 0. Let r = -1 + k. Solve 2*q = 5*q + r for q.
-5
Suppose 0 = y - 0*y + 28. Le