+ s = 12 for k.
4
Let v = -6 + 4. Let o(g) = g**2 - g + 2. Let t be o(0). Let j = t + v. Solve 5*a + 5 + j = 0 for a.
-1
Let h(n) = -2*n + 14. Let d be h(-13). Suppose 0*y - 2*y + d = 0. Solve 4*f + 0*f = y for f.
5
Suppose 2*x - 4*d + 1 = 5*x, 0 = 5*x - 3*d - 21. Solve 6*o = 3*o + x for o.
1
Let y = 21 + -11. Let u(j) = -j. Let d be u(-3). Solve -d*v = -v + y for v.
-5
Let p(b) be the first derivative of b**6/360 + b**5/120 + b**3/3 + 1. Let l(r) be the third derivative of p(r). Let i be l(0). Solve a + 4 = -i*a for a.
-4
Suppose 0 = -16*h + 162 - 98. Let p(u) = u. Let q be p(0). Let g be (5 - q)*4/10. Solve 0 = 2*w + g*w + h for w.
-1
Let q(j) = -j**2 - 5*j + 6. Let v be q(-6). Solve -2*s - 2*s + 20 = v for s.
5
Let g be 1/3 - (-30)/(-9). Let m(v) = -v - 1. Let r be m(g). Suppose r*u - 7*u = -20. Solve 0 = p - 0 + u for p.
-4
Suppose -4*u + 44 = 2*j, 0*j + 5*u + 62 = 4*j. Solve -3*x + j - 6 = 0 for x.
4
Let t be (-1)/((-3)/9)*-1. Let b(u) = -u**2 - 3*u + 3. Let z be b(t). Solve 6*i - z*i = 15 for i.
5
Let j be -2 + 1 + (10 + -6)/1. Solve 0 = -j*u - 2*u + 15 for u.
3
Let a be (-68)/11 - 12/(-66). Let p be 1 + -2*3/a. Solve 2*s + p*s - 12 = 0 for s.
3
Let h = 2 - 0. Suppose -y + 19 = 5*a, -h*a + 11 = 3. Let v be -1 + (-7)/y + -1. Solve -g + v = 4*g for g.
1
Let z(a) be the second derivative of -a**4/12 - 7*a**3/6 + 4*a**2 - a. Suppose 5 = -f, 4*r = -3*f - 15 - 32. Let l be z(r). Solve l - 1 = -q for q.
1
Let b = 15 - 10. Let h(a) = -2 + a + 0 - b. Let v be h(8). Solve -3*i = -4 + v for i.
1
Let k(x) = 9*x**2 - x - 2. Let h be k(-1). Solve b - 3*b = h for b.
-4
Let c(s) = s**2 + 7*s + 8. Let b be (9/(-18))/((-1)/(-12)). Let j be c(b). Let u be ((-20)/(-6))/((-1)/(-3)). Solve j*x + u = -0*x for x.
-5
Suppose 2*y + 3*k - 6 = 7*y, -5*y - 4 = -2*k. Suppose -c + 2 = -y*c. Solve -c*w = -w for w.
0
Let p = -1 - -6. Suppose 0 - 30 = -p*d. Solve -i + 3*i = -d for i.
-3
Suppose 2*c - 10 = 4*c. Let r be (-2)/10 + (-16)/c. Suppose -r*y + 5*y - 10 = 0. Solve 0 = -n + y - 1 for n.
4
Let r = -62 + 66. Solve 0 = -r*z - 10 + 2 for z.
-2
Let i(v) = -v**3 - 4*v**2 + 4*v - 6. Let s be i(-5). Let w be (-15)/(-5) + s/(-1). Solve 0 = u - w*u for u.
0
Let o = -2 + 11. Solve o + 1 = 5*k for k.
2
Let o = 6 + 2. Suppose 0*z - 5*c = z - 10, 2*z - 12 = -2*c. Suppose -o = -z*t + 2. Solve -t*a + 3 + 1 = 0 for a.
2
Let j(p) = -p + 1. Suppose -i + 4 = -2*i. Let k be j(i). Suppose -k*w - 6 = -7*w. Solve -1 = f - w for f.
2
Suppose 2 = r + 4*w, 5 = r + 5*w + 4. Suppose r*m - 6 = 3*m. Solve -5 = o - m*o for o.
5
Suppose 4*t - 4 = -4*k, 2*k - 3*t - 22 = -0*k. Suppose 4*y = -k*r + 40, -36 = -4*y - 2*r - 2*r. Solve -g + y = -0*g for g.
5
Let i = -10 - -6. Let d be 0/1 - (4 + i). Solve d*s + 6 = -3*s for s.
-2
Let h be 4/(-14) - (-8)/28. Solve -2*u + 4 = -h for u.
2
Let y(g) = -5*g**3 - 1. Let n be 6/(-9) + 2/(-6). Let z be y(n). Solve 0*s - s = z for s.
-4
Let l(c) = -8*c - 3. Let y be l(-1). Solve 0 = y*f - 2*f for f.
0
Let f = -61 + 64. Solve -f*r + r = 4 for r.
-2
Let a be (-1)/2 + 21/6. Suppose 7 = 5*k - a. Solve -1 = l + k for l.
-3
Let b = 5 - 2. Let w(n) = -8*n**3 - 16*n + 1. Let f(g) = -7*g**3 + g**2 - 15*g + 2. Let d(a) = 7*f(a) - 6*w(a). Let o be d(5). Solve -b*p + 1 = o for p.
-4
Suppose -3 = -4*r + 3*k + 5, -3*r - 2*k + 6 = 0. Solve -r - 2 = -4*f for f.
1
Let j = 1 + 3. Suppose r - j = -r. Solve r*p = 2 + 6 for p.
4
Let r = 121 + -117. Solve 16 = -8*l + r*l for l.
-4
Suppose -2*x - 11 = 3*f, 4*x + 16 + 3 = -3*f. Let q be ((-6)/x)/(2/(-4)). Let m(i) = i**3 + 3*i**2 + 4. Let g be m(q). Solve -5 + g = v for v.
-1
Suppose 0 = -5*v - 2*m + 18, -3*v + 4 = 3*m - 5. Let y = -18 + 20. Solve y = -6*x + v*x for x.
-1
Let g(w) = -w**2 + 2*w + 12. Let q be g(0). Suppose a + 0 = 2. Solve -i - a*i = -q for i.
4
Let g be (-4)/14 - (-92)/28. Let l be 8 - (g - 1 - 1). Suppose -10*o + 12 = -l*o. Solve o*w = w + 3 for w.
1
Suppose 77 = -6*l - 91. Let j = -28 - l. Solve p + j*p + 1 = 0 for p.
-1
Suppose 0 = 3*p - 7*p. Suppose -2*v - v = p. Solve v = -o + 3*o for o.
0
Suppose 5*w - 39 = 11. Solve -4*l + 6 = -w for l.
4
Suppose 3 = 3*b + 51. Let q = 31 + b. Let i = q - 7. Solve -y + 3*y + i = 0 for y.
-4
Suppose -x + 11 = -4*x + 4*o, -2*x - 15 = 5*o. Let l(m) = -m**2 - 7*m - 7. Let a be l(x). Solve 3 = -a*c + 4*c for c.
3
Let y(f) = 2*f**2 + 10*f. Let w be y(-5). Let x(b) = -b**3 + b**2 + b - 2. Let g be x(0). Let t be w/(-3) - 0/g. Solve -5*z + 3*z + 10 = t for z.
5
Suppose q = -3*z - 8, -6*z = 5*q - z. Let u = q + -1. Solve -6*c = -3*c - u for c.
1
Let r = 58 - 53. Solve r = -b + 1 for b.
-4
Suppose 0 = 5*j - 2*j - 18. Solve i = j*i + 15 for i.
-3
Let x be -3*(-4)/9*3. Solve 7*q - 5*q = x for q.
2
Let x be (-8)/((-4)/(-1 - -5)). Solve -3*d = -x - 1 for d.
3
Let q = -13 - -24. Let z = q - 11. Solve 0 = -z*h + h for h.
0
Suppose 2*w - 3*w = -2. Let r = -1 + w. Suppose 2*p - p = 2. Solve p*s - r = 5 for s.
3
Let s be 1/2*(-1 - -1). Solve s*a = a for a.
0
Let g(i) = -i**3 + 8*i**2 + 4*i - 12. Let z be g(8). Suppose 2*v - z = -3*v. Suppose v*q - 9 = 3*j, 0*j + j + 14 = 5*q. Solve q*c - 12 = 7*c for c.
-3
Suppose 4 = -2*d + 4*d. Let j be (12/15)/(d/10). Solve -14 = j*h + 6 for h.
-5
Let n = 2 + 0. Suppose -19 - 1 = -n*r. Solve r = 4*f + 30 for f.
-5
Suppose 2*n - 12*s + 16*s = 16, 4*n = 4*s - 16. Solve n = -4*c + 3*c + 4 for c.
4
Let l = -19 + 19. Solve -20 = -l*d + 5*d for d.
-4
Let y be -1*1/((-2)/6). Solve 1 + 2 = y*j for j.
1
Suppose 4*d - 11 = -3. Solve -i + d*i = -4 for i.
-4
Let i(k) = -k**3 + 7*k**2 + 7*k + 11. Let w be i(8). Suppose 5*t - 12 = w*t. Solve -4 - t = -5*q for q.
2
Let p(d) = d**2 + 5*d + 5. Let o be p(-4). Let l = o + 4. Solve 1 = -l*q - 4 for q.
-1
Let b be (21/18)/7 - (-184)/48. Solve -b*t - 20 = -8*t for t.
5
Let j(d) = d**2 + 8*d - 2. Let z = -21 - -13. Let i be j(z). Let v be (i - -5) + (-12)/(-3). Solve h - v = -3 for h.
4
Let o(d) = -3 + 0 + d + 0. Let k be o(3). Let n(b) = b**3 + 4*b**2 - 4*b + 5. Let v be n(-5). Solve -g + v - 5 = k for g.
-5
Suppose 0 = -2*u - 2. Let b be 3/u + (-56)/(-2). Solve -v = -6*v - b for v.
-5
Suppose 13 = u + 11. Solve 4 = -2*a - u for a.
-3
Suppose 0 = -2*u - 0*u + 10. Solve 2 + 8 = -u*k for k.
-2
Let i(q) = 8*q. Let m be i(5). Suppose -4*k - m = -4*j, -5*k - 24 = -3*j + 6. Solve -2*o + 7*o = -j for o.
-2
Suppose -5*f - 12 + 32 = -2*r, 5*f = -5*r + 20. Solve r = -l + 6*l + 15 for l.
-3
Suppose -5*t + 17 = -3. Suppose -4 - 12 = -t*g. Solve -g*b = -b - 12 for b.
4
Suppose -4 + 2 = -2*y. Solve -y = -4*w + 3 for w.
1
Let p(q) = q**3 - 3*q**2 + 3*q. Let c be p(2). Suppose 0*t + 4*t = 12. Let v be (1 + t)*1/4. Solve c*f + v = 3*f for f.
1
Let w = 54 - 54. Solve o - 6*o - 5 = w for o.
-1
Let y be -36 + (-2 - 4) + 3. Let p be (-2)/6 - y/9. Suppose -2*i = p*s + 3*i - 29, s + i = 6. Solve -9 = -5*x + s for x.
2
Let r(g) = g**2 - 7*g + 9. Let o be r(6). Suppose u = -t + o, 0 = t - 2*t - 4*u - 9. Solve 3*y + 4 = t*y for y.
1
Let z = 0 + 2. Let q be (3 - z) + (5 - 3). Solve -q*m + 3 = 18 for m.
-5
Let o be (-2 + 0 + 3)*3. Let n(z) = z**3 + 5*z**2 + z + 5. Let f be n(-5). Solve f*m = m + o for m.
-3
Suppose 3*u - 13 + 43 = 0. Let l be u/(-6) + 3/9. Suppose -l = -3*r + 7. Solve -r*o + 2 = -13 for o.
5
Let c(r) = 4*r - 7. Let f be c(3). Solve 0 = f*n + 6 + 9 for n.
-3
Let t(z) = z**2 + 2*z - 6. Let x be t(-5). Let h(o) = 2*o + 52. Let u be h(-26). Solve u*w = 3*w + x for w.
-3
Let y be (4/1)/(1 + 0). Suppose -3*f = 3, -5*k - y*f + 5 + 26 = 0. Suppose 0 = -5*l - 2*u + 10, -3*u + 0*u = 0. Solve -p = l - k for p.
5
Let d = 6 - 6. Solve 0 = -u - d*u - 5 for u.
-5
Let s = 82 - 59. Let y = 26 - s. Solve -2*p + 3*p + y = 0 for p.
-3
Suppose 0 = -g + 4*h - 5 - 10, -2 = 2*h. Let b be (-2 - -2 - g) + 1. Solve -b + 8 = 4*l for l.
-3
Let n(d) = d + 2. Let m be n(-2). Let j(v) = -9*v**2. Let l be j(1). Let z = l + 14. Solve m = -2*w - 13 + z for w.
-4
Let y = 18 - 13. Let w(s) = s**2 - 4*s - 2. Let k be w(y). Solve 4*n - k = 3*n for n.
3
Suppose 3*d + 5*x = 46 - 12, -2*d - 2*x = -20. Solve -3*h - 2 = -d for h.
2
Suppose -3*b = -0*b. Let g(w) = w**3 - w**2 - w + 2. Let s be g(b). Solve 5*u + s + 3 = 0 for u.
-1
Suppose 3 = -5*k + 93. Let h = -11 + k. Solve -3*t - 12 = -h*t for t.
3
Suppose 4*s - 35 = -15. Let w(t) = -t**3 + 7*t**2 - 8*t - 5. Let j be w(s). Solve 