 + k*d for d.
0
Let p(c) = c**3 + c**2. Let m be p(1). Suppose 4*f - m*f = 10. Solve 0*d = -f*d - 15 for d.
-3
Let j be 11 - (-4 + 4 + 3). Solve 2*p + 4 - j = 0 for p.
2
Suppose 4*h - 3 = -5*a + 28, 2*a + 5*h - 9 = 0. Let f = a - 5. Let c be 1/((0 - 1)/(-6)). Solve c = -z - f*z for z.
-2
Let t = 30 + -27. Solve -t*m = -m for m.
0
Suppose -57 - 18 = 5*h. Let s = h + 21. Suppose -s*p + p + 3*d = -11, 2*d = -p + 10. Solve p*q - q = 15 for q.
5
Let a = 34 + -25. Solve 0*d = 3*d + a for d.
-3
Let w(h) be the second derivative of h**4/6 + h**3/6 - h**2 - h. Let r be w(-2). Let u be 4/(-5)*(-495)/66. Solve -f = -r*f + u for f.
2
Let o = 7 + -2. Suppose o*k = -0*k + 40. Solve u - k = -3*u for u.
2
Let s = -1 + 7. Suppose -2*x = x - 15. Solve -4 = -x*t + s for t.
2
Let t = 9 + -4. Let p(h) = 2*h + 5. Let n be p(t). Solve 5*o = -0*o + n for o.
3
Let j = 43 + -43. Solve j = -3*a - a + 20 for a.
5
Let b = -2 + 4. Suppose b = -h - 7. Let p be h/(-2) - 5/10. Solve -p*z = z for z.
0
Let i(n) = -4*n**3 - 3*n**2 + n - 3. Let z(x) = -x**3 - x**2 + x. Let v(k) = -i(k) + 5*z(k). Let u be v(-3). Suppose 4*s + u*s = 0. Solve s = -5*h + 2*h for h.
0
Let v = 70 + -63. Solve -v*s - 20 = -2*s for s.
-4
Let t(b) = -b**3 - 2*b**2 + 2. Let j be t(-2). Let c(g) = g**3 - 7*g**2 + 4*g - 22. Let l be c(7). Solve -j*k + 4*k = -l for k.
-3
Let x(m) = m**2 - 5*m + 4. Suppose 3*n = 8 + 7. Let j be x(n). Solve -j*w + 7*w = 6 for w.
2
Suppose 10*n + 15 = 125. Solve 5*t + 14 = -n for t.
-5
Suppose g = 5*g + 2*g. Solve -w + 0*w + 5 = g for w.
5
Suppose -3*t - 2 = -2*s - 0, 0 = t + 2*s - 10. Solve -2*f + t = -4 for f.
3
Let y = -8 + 8. Suppose 3*u - 2*o = 7, -13 = -3*o - 1. Solve -s - 1 + u = y for s.
4
Let v(w) = -w + 16. Let r be v(16). Solve 12 = -r*q - 4*q for q.
-3
Let r(w) = -2*w**3 - 4*w**2 - w + 3. Let v be r(-2). Solve -v = -z - 1 for z.
4
Let v be -3*5/(-5)*5. Solve v = -5*c - 0 for c.
-3
Let b be 9*2/(-6)*-2. Let a(v) = 4*v + 9. Let k(q) = 6*q + 13. Let d(j) = 7*a(j) - 5*k(j). Let n be d(-3). Solve n*o - b*o = 0 for o.
0
Let c be (-2 - -3)/(-1 - -2). Let v = 24 + c. Solve 7*y - 2*y + v = 0 for y.
-5
Suppose -4*v - 25 = -9*v. Let g(i) = -5*i + 1. Let a be g(-2). Suppose -4*d - 5 = -5*p + a, 4*p - 4*d - 16 = 0. Solve -3*x + 1 + v = p for x.
2
Let y(w) = -w**3 - 6*w**2 - 7*w - 7. Let s be y(-5). Solve -s*l = -8 - 7 for l.
5
Let v(s) = 1 + 4*s + 5*s**2 + 3 - 4*s**2 - 1. Let u be v(-4). Solve -u*w = -w + 2 for w.
-1
Let b = 4 - 7. Let g = 5 + b. Suppose 0 = -3*p + 4*z - 0 + 4, 2 = 3*p - g*z. Solve -s + 0 + 2 = p for s.
2
Suppose 0*k = 2*k. Suppose d + g + 2 = k, -5*d + 4*g = -18 - 8. Solve d*f + 9 = 5*f for f.
3
Suppose 5*v + 4*b - 8*b = 9, -3*v - 5*b = 2. Let j be 2 - 0/1 - v. Solve 3*z = -4 + j for z.
-1
Let r(a) = -a**3 - 6*a**2 + a + 7. Let v be r(-6). Solve 0*k = k + v for k.
-1
Let b(f) be the second derivative of f**4/6 - f**3/3 - f**2 - f. Let w be b(2). Suppose -w*h + 7*h = 0. Solve h = 4*c - 2*c + 4 for c.
-2
Let t be (-7 - -10)*3/(9/2). Solve -t*y + 4 - 6 = 0 for y.
-1
Let k(w) = w - 2. Let c be k(5). Suppose c*b - 1 - 5 = 0. Suppose 4 = 4*a - b*a. Solve a*i - 4*i = -6 for i.
3
Suppose -7*n + 3*n + 80 = 0. Let b be 2/3 + n/6. Solve b = -3*p - 2 for p.
-2
Let t = 107 - 101. Solve -5*w + 2 = -t*w for w.
-2
Let t(l) be the third derivative of l**6/120 - l**5/6 - 5*l**4/12 + 2*l**3/3 + 3*l**2. Let v be t(11). Solve -o + 4*o - v = 0 for o.
5
Suppose -5*d - 18 = 7, 0 = -2*g - 5*d + 15. Suppose -k - 5*l + 8 = k, -5*l = 5*k - g. Solve -k*p - 9 + 1 = 0 for p.
-2
Let x(m) = -m**2 + 10*m + 13. Let r be x(11). Solve 0*q + 2 = -r*q for q.
-1
Suppose -m + 19 = -3*p - p, 5 = -5*p - 5*m. Let y be ((-12)/9)/p*6. Suppose y*u + 5 = -v - u, u - 5 = -2*v. Solve -3 = -7*k + v*k for k.
1
Let l be -2 - (-2 - (1 + 1)). Let j(t) = t**3 + t**2 + t + 1. Let c be j(0). Solve l = o + c for o.
1
Let i = -38 + 40. Solve 0 = -a - 1 - i for a.
-3
Let q = 42 - 38. Solve 0 = 8*p - q*p for p.
0
Suppose -5*q - 5*s = -10*s - 15, q + s = 3. Suppose -2*i + 28 = 4*z + i, q*z = -3*i + 24. Solve 0*c + 8 = z*c for c.
2
Let s(z) = z**3 + 5*z**2 - 5*z + 7. Let p be s(-6). Let c be 2 - (2 + (p - 3)). Solve c*y = 12 - 2 for y.
5
Suppose 2*r - 29 = 5*q, -4*q - 2 = -r + 20. Let c(s) = -s**3 + s**2 + s + 2. Let d be c(2). Solve d = -2*w + 4*w - r for w.
1
Suppose 5*k = n - 0*n - 25, -2*n = k + 5. Suppose 0 = 4*m - n - 4. Solve r = m - 4 for r.
-3
Let y = 1 - 5. Let o be (6/y)/3*-6. Solve -2*a - 25 = o*a for a.
-5
Let o = 7 + -2. Let i = -90 - -40. Let y be ((-8)/20)/(2/i). Solve 0 = -0*d + o*d + y for d.
-2
Let h be 2/((-80)/(-64) + (-2)/8). Solve h*c + 4 = 3*c for c.
4
Let z(w) = w + 14. Let n be z(-8). Solve 0 = n*h - h for h.
0
Let n be (-2)/(((-10)/(-28))/(-5)). Let y = n + -15. Suppose y = 3*q - 2. Solve -q*h - 2 = 3 for h.
-1
Suppose 0*l - 3*l - 4*t = -1, 0 = 2*l - 5*t - 16. Solve l*n = -1 + 4 for n.
1
Suppose -5*x + 45 = 5*r, 3*x = -x - r + 36. Suppose -6 = -3*l + x. Solve l*n = -16 + 1 for n.
-3
Suppose 0 = -2*q + 1 - 3, 0 = -2*s - 4*q + 28. Let c = -10 + s. Solve 4*i + c = i for i.
-2
Let c(y) = -5*y + 5. Let a be c(3). Let u(o) = o**2 + 10*o + 2. Let g be u(a). Solve -g*h = -5*h - 6 for h.
-2
Let q(v) = v**3 + 17*v**2 - 2*v - 30. Let c be q(-17). Solve 8 = -0*t + c*t for t.
2
Suppose 0 = -3*v + 2*q + 7 - 1, 4*v = 5*q + 1. Suppose 0*g + f - 8 = g, -4*f - 8 = 0. Let k = -7 - g. Solve k*y - v = -y for y.
1
Let g(y) = -y**2 + 8*y + 3. Let b be g(8). Suppose -108 = -4*k - 4*c, -2*c - 117 = -4*k + 3*c. Suppose 3*a - k = -a. Solve -b*q = -a*q + 16 for q.
4
Let h(w) = -2*w + 2*w - 2 - w. Let k be h(-6). Suppose -2*d + 0 + k = 0. Solve d*r + 4 + 2 = 0 for r.
-3
Let h = 6 - 3. Let w = h + 6. Suppose -2*z + 3*v = -10, z - 5 = -w*v + 4*v. Solve -z + 3 = -2*k for k.
1
Suppose k + 6 = 4*k. Suppose 0*t = -3*o + 4*t, -5*o = k*t - 26. Solve 0 = 2*z - o*z - 2 for z.
-1
Let a = 0 + 3. Let u = -19 + 34. Solve u = -2*o - a*o for o.
-3
Let d(k) = -k**3 + 6*k**2 - 3*k - 7. Let x be 2/(-5) + (-27)/(-5). Let l be d(x). Let z(n) = n + 1. Let o be z(l). Solve -6*j = -o*j for j.
0
Suppose -4*t = -5*i + 5, -4*i - 2*t = -28 - 2. Let j be 4/10*i/1. Let m be j/(-3)*(-15)/2. Solve m*h - 18 + 8 = 0 for h.
2
Suppose -a + 12*a = 88. Solve -12 = 4*i + a for i.
-5
Let q(m) = 2 + 6 + 1 + 2*m - m. Let h be q(-6). Solve 0 = -4*p + h*p for p.
0
Let g = -5 + 19. Let j be 35/g*1*2. Solve 2*u - j = u for u.
5
Let w be (3 - 1)*7/(-14). Let b be w + 14 + 12/(-4). Let t be 6/(-4)*4/(-2). Solve -r + t*r = -b for r.
-5
Let x(z) = -2*z - 34. Let o be x(-18). Solve -p = -2*p - o for p.
-2
Let x be (-18)/(-2)*8/24. Let m(w) = -w - 5. Let z be m(-7). Solve x*n = z*n for n.
0
Suppose -13 - 2 = -5*r. Solve -u - r*u + 16 = 0 for u.
4
Suppose -7*l = -2*l + 30. Let j be (-6)/l + (7 - 0). Solve 5*a = -7 - j for a.
-3
Let x(p) = -7*p**3 + 2*p**2 + 2*p - 2. Let u be x(-2). Suppose -3*v + 99 = q, -4*v - u = 5*q - 179. Suppose -4 = 3*r - v. Solve -3*a = -2 - r for a.
4
Let h(f) = -2*f**2 - f**3 - 2*f - 2 + 4*f**2 + f**2 + f. Let y be h(2). Solve 2*u - 2 + 4 = y for u.
-1
Suppose -j + 25 = -2*g, 12 + 3 = g + 5*j. Let k = -5 - g. Let h = -7 + 14. Solve k*r + 13 = -h for r.
-4
Let f(i) = i + 8. Let r(o) = -o**3 + 7*o**2 + 6*o + 10. Let z be r(8). Let q be f(z). Suppose -v = q*v. Solve v = -a - 0 - 3 for a.
-3
Suppose 0 = -2*c - 4*u - 0*u + 10, -11 = -3*c - 2*u. Solve 3 + 3 = c*n for n.
2
Suppose -6*z + z = 50. Let p = z + 10. Solve 0 = 5*d - p*d - 20 for d.
4
Let m(a) = 8*a - 2. Let h be m(2). Let k be h/6 - 4/(-6). Solve 1 = c - k for c.
4
Let w be 16/12*3/2. Let n(z) = 3*z - 1. Let q be n(w). Suppose 4*c = -5*u + c - 9, 15 = -q*u - 5*c. Solve u = -t + 5*t - 12 for t.
3
Suppose -95 = -4*i - 79. Solve 0 = -s - s - i for s.
-2
Let r be ((-13)/(-39))/(1/21). Suppose r*o - 8 = 3*o. Solve -2*p + 4*p = o for p.
1
Let u be 4/(-14) + 465/35. Suppose 5*i - 3*r = 5, -6*i + 4*i = r - u. Solve -i*t = t + 10 for t.
-2
Let r(d) = -d**3 - 2*d**2 - 2*d + 1. Let b be r(-2). Suppose 0 = 12*u - 24 - 0. Solve -b*t = -u + 27 for t.
-5
Let o(p) = p - 7. Let r be (3/9)/(2/66). Let v be o(r). Solve -v*j = -6 - 2 for j.
2
Suppose 4*n - 4*d - 7 = 3*n, -n = 2*d + 11. Let h = n + 7. Solve h*w + 15 = 5 for w.
-5
Let r(d) = -d**3 - 6*d**3 + 6*d**3 + 4 - 5*d**2. Suppose n + 2 = -3. Let f be r(n). So