 5*h + 30 = 5*x + 2*h. Solve 0*j - x*j - 15 = 0 for j.
-5
Let g(s) = s**3 - 10*s**2 + s - 6. Let p(u) = -u**3 + 3*u**2 + 4*u - 2. Let j be p(3). Let d be g(j). Solve y = -d*y for y.
0
Let j(a) = -3*a - 4. Let m(v) = v + 2. Let y(k) = -2*j(k) - 5*m(k). Let q be y(10). Solve 0*d - 4*d = q for d.
-2
Suppose 4*h + 8 + 12 = -4*a, -3*h + 5*a = -25. Suppose h*f = -5*f + 10. Solve 0 = -4*n + f*n - 10 for n.
-5
Suppose 18 = -4*v + 6. Let o be (10 - 12)*(1 + v). Solve 0 = -o*f - 3 - 13 for f.
-4
Let h(f) = -f + 1. Let a(m) = m**2 - 7*m - 9. Let q be a(8). Let d be h(q). Solve 0 = 6*j - d*j - 20 for j.
5
Suppose 0 = -2*h + 2*w + 8, -3*h + 7 = 3*w - 11. Solve -1 + h = x for x.
4
Suppose 2*r + 27 = -3*q - r, 0 = 3*q + 4*r + 32. Let t = -2 + q. Let m(u) = u**3 + 7*u**2 + 6*u + 8. Let v be m(t). Solve 2*b - v = -2*b for b.
2
Let w = 7 + -5. Suppose -5*t + w = -8. Let n(m) = m**3 + 5*m**2 + 3*m - 2. Let k be n(-4). Solve k*b = 3*b - t for b.
2
Suppose -3*j + 6 = -0. Solve u - 3 = j for u.
5
Let x = -16 - -17. Solve 4 = -3*h + x for h.
-1
Let h be (-9 - 0)*8/(-12). Let o(u) = u**3 - 7*u**2 - 2*u + 8. Let t be o(7). Let p = h + t. Solve -2*l + p = -2 for l.
1
Suppose -s - 7 = -27. Solve 0*k + 5*k + s = 0 for k.
-4
Suppose 7*h - 55 = -20. Solve d - h*d = 20 for d.
-5
Suppose -g = 1, 12 + 7 = m - 3*g. Solve 7*p + m = 3*p for p.
-4
Let c(u) = -u**2 + 4*u + 2. Let d be c(4). Let i be (3 + -1)*(-2)/(-2). Suppose -d*x - 6 = 3*v, 5*v = i*v - 12. Solve x*w = -0*w for w.
0
Let u(n) be the second derivative of -n**4/12 + n**2/2 - 5*n. Suppose 0*l - l = -1. Let r be u(l). Solve r = -3*y - y + 8 for y.
2
Let g be 5*((-2)/15)/((-5)/90). Solve 0 = -4*h + g + 8 for h.
5
Suppose 0*l = 10*l - 40. Let d be (-103)/(-7) + 2/7. Suppose -4*i + 1 = -3*y - d, y - 3*i + 12 = 0. Solve y = -l*k + 8*k + 20 for k.
-5
Let z = 0 + 1. Suppose 12 = -5*x - 4*j, -x - 4*j - 12 = -3*x. Suppose -4*v + 9*v = x. Solve a + 3 - z = v for a.
-2
Let y = -21 + 25. Solve 15 = y*a + a for a.
3
Let j = 12 - 5. Suppose 3*h = -12, -h = -j*n + 2*n + 19. Suppose 3*i = 2*i + n. Solve i*d + d = 8 for d.
2
Suppose q + q = 0. Suppose d + q*d = 0. Let n = 2 - d. Solve -3*w = -n + 17 for w.
-5
Let m(d) = -d**3 + d**2 - d + 2. Let g be m(0). Suppose c = g*f + 3, 3*f + 4 = 1. Solve 5*l + c = 6 for l.
1
Let c be 3/(-9)*12/(-2). Let f be 1/c - (-1)/2. Solve -4 - f = i for i.
-5
Let b be 2 - 2/(-4 - -3). Let r(w) = w**2 - 4. Let q be r(-3). Suppose 0 = l + 2*u - b*u + 4, -13 = -q*l - u. Solve 0 = c - l*c for c.
0
Let s(l) = l**3 - 2*l**2 + 4*l - 2. Let t be s(2). Suppose t = -2*i - 2. Let m = -1 - i. Solve m*x + x = -12 for x.
-3
Let u = -14 + 8. Let v be u/9 - 44/(-12). Solve -v = 2*w - 11 for w.
4
Suppose -3*b + 4 = -o, -5*o - 6 - 32 = 3*b. Let g be (-5 + 2)/1 - o. Solve 3*p - g = -p for p.
1
Let j = 25 + -1. Solve -4*o = -8 + j for o.
-4
Suppose 40 = 3*x - 2*j, -x - j = -6*j - 9. Solve 5*n - x = -4 for n.
2
Let l(c) = -c + 2. Let d be l(-2). Let t be -4 + d - (-1 - 1). Solve 0 = -t*n - 0*n + 10 for n.
5
Let p be 7 - (1 - (-4 + 4)). Solve 0 = p*n - n - 10 for n.
2
Let z be 1 - (-3)/(-6)*-2. Solve 2*l = -z*l for l.
0
Let u be 2/11 - (-392)/22. Solve -4*k - u = 2 for k.
-5
Suppose 0 = 2*u - 20 - 0. Solve -u = -3*v + 5 for v.
5
Let c = 26 + -26. Solve c = -k + 3 - 2 for k.
1
Let q(j) = j**3 + 6*j**2 + 6*j + 7. Let r be q(-5). Let v = -4 + 7. Suppose -r = -v*f + o, f + 12 = -f + 4*o. Solve -f = -x - x for x.
1
Let i be (-18)/63 - 18/(-14). Solve i = 5*z - 4 for z.
1
Let m(k) = 2*k - 10. Suppose -5*n + 10 = c, 10 = 5*c - 4*c - 2*n. Let y be m(c). Let b be (-6)/y - 90/(-25). Solve 0*a - b*a = 12 for a.
-4
Let n be 91/21 - (-2)/(-6). Let p = 3 + -7. Let m = p - -5. Solve -n*l - m = -5*l for l.
1
Suppose -5 = -5*v - 5*a, -4*v + 3 = -v - a. Let d be v + 3*4/6. Solve d = 4*k - k for k.
1
Let v(n) = 3*n**2 + 4*n - 9. Let j be v(-3). Solve -5*s - 19 = j for s.
-5
Let j = 0 + 0. Solve 10 + j = 5*p for p.
2
Suppose -c + 4*r = -1 - 3, 0 = -2*c - 4*r + 44. Let i(p) = -p**3 - 3*p**2 - 2*p. Let q be i(-4). Let w = q - c. Solve -g = g - w for g.
4
Let t(k) = -3*k - 3 + 3*k + 3*k. Let w be t(5). Solve -5*p + 8 + w = 0 for p.
4
Let i be (-1 - -6) + -3 + 4. Suppose -q - q = -i. Suppose 2*h = q*m - 8*m - 4, 5*h = m - 10. Solve m = 4*r - 0 + 12 for r.
-3
Let q be (1 + (-4)/8)/((-2)/(-12)). Solve q*g = -3 - 0 for g.
-1
Let a = 12 - 11. Solve f - a - 1 = 0 for f.
2
Suppose -4*m - 13 = 3*g - 5*m, 0 = -5*g - m - 11. Let w be (-5 - -3)*g/2. Solve -w*y - 3 = -2*y for y.
-3
Let q(t) = t**3 - t**2 - t + 4. Let h(m) = -m**3 + 11*m**2 + 12*m. Let u be h(12). Let r be q(u). Solve -r = -z + 2*z for z.
-4
Suppose -4*z - 2*z = 2*z. Solve -6*h + 8*h = z for h.
0
Suppose -l - 83 + 22 = -4*n, -5*l = -3*n + 50. Let o = -11 + n. Let x = o + 0. Solve x*p = 5*p for p.
0
Suppose 12*z - 218 = -38. Solve -z + 0 = 3*k for k.
-5
Let w = 172 + -169. Solve -w*n - 1 = -4*n for n.
1
Suppose -5 - 3 = -4*r. Suppose 0 = -s, r*s + 1 = -i + 6. Suppose 0*a - a = -i. Solve -c + 2 = a for c.
-3
Let h be 6/(-36) - (-2)/12. Solve -4*k - k = h for k.
0
Suppose -5*v = -l + 6, 6*l = 2*l + 3*v + 7. Solve -s + l = 2 for s.
-1
Suppose 4*t = i - 28, 4*i + t = 2*t + 52. Solve 0 = -3*v - 0*v + i for v.
4
Let h be (-21)/(-6) - 2/(-4). Suppose -8*g + h*g = 28. Let r(v) = v**2 + 4*v - 6. Let o be r(g). Solve 2*l = -l - o for l.
-5
Let i(d) be the third derivative of d**4/8 + 2*d**3/3 - d**2. Let h be i(-3). Let j = -5 - h. Solve j*m = m for m.
0
Let t(v) = v + 5. Let d be t(-3). Solve -z = d*z - 15 for z.
5
Let h = 15 - 8. Let c be (1 - h)/(-3) - 4. Let r be (12 + c)/(-1 + 3). Solve -r*g - 2 = 13 for g.
-3
Let h(r) = 15*r + 1. Let c be h(1). Solve 5*f - c = f for f.
4
Let u = -2 + 0. Let p = u + 3. Let d be 1 - (-1 + p) - -1. Solve 0 = m + 7 - d for m.
-5
Let g = 2 + -2. Let p(f) = -f**3 + f**2 - f + 2. Let u be p(g). Let w = -48 + 52. Solve u*h + w = -0 for h.
-2
Let g(t) = t + 5. Let b be g(-5). Suppose 4*k - 1 - 3 = 0. Let o be 3/(-3)*(-2 - k). Solve -o*p + 11 + 4 = b for p.
5
Let c be ((-1)/2)/((-1)/(-2)). Let h be 0 - -1 - 2*c. Solve 0 = 4*m - h*m - 3 for m.
3
Suppose 2*r - 72 + 13 = -5*c, -3*r = 2*c - 17. Suppose -c = -o - 2*k + 1, 3*k - 7 = 2*o. Let p be (-18)/(-4) + o/8. Solve -p*g + 0 + 25 = 0 for g.
5
Suppose -2*u = -5*p, 3*p + 20 - 1 = 5*u. Solve 0 = -4*i + p - 6 for i.
-1
Let i(x) = x + 1. Let q(u) = 2*u - 12. Let c be q(9). Let a be i(c). Solve -3 = -5*l + a for l.
2
Suppose k + 0*k + 4*i - 12 = 0, 3*i + 8 = -5*k. Let z be -2*14/(-4) + k. Solve -z = l + 2*l for l.
-1
Let b be 3/(-2) - 15/(-6). Suppose a + 4*a - 15 = 0. Let p = a - b. Solve j + j = p for j.
1
Suppose 4*l - 12 = l. Solve 0 = -l*a - 2 + 18 for a.
4
Let z be (12/16)/(1/4). Suppose z*a = 3 + 12. Suppose d + 7*i = 4*i - 11, -5*d - 5 = a*i. Solve -d*f + 14 = 2 for f.
3
Let z be (12/(-4))/((-3)/2). Suppose 3*r - o = z*o + 12, 4*r + 2*o - 4 = 0. Solve r = -5*v + 7 for v.
1
Suppose 4*p = 2*b + 10, p - 3*b = -3*p + 5. Solve -1 = c - p for c.
4
Let n = 206 - 181. Solve 0 = 2*f + 3*f - n for f.
5
Suppose -2*i = -i - 2. Solve -i*w + 3*w = -3 for w.
-3
Suppose -2*i = 4*k + 8, -5*k + 12 = i + 31. Solve -5*o = -3*o + i for o.
-3
Let q be (10/(-8))/(3/(-12)). Let b be (2 + q)*(-1)/(-1). Solve -b*p = -2*p + 25 for p.
-5
Suppose 2*r = -2*r + k + 62, 0 = 5*r - k - 77. Let d = -13 + r. Solve d*f - 3*f - 1 = 0 for f.
-1
Let h(o) = 4*o + 78. Let s be h(-16). Solve -2 = -4*z + s for z.
4
Suppose -b = -2*b - 20. Let z = -12 - b. Solve -8 = 4*x + z for x.
-4
Let g be -24*(-2 + 4/3). Let u be (-4)/3*18/(-12). Suppose m = -0*m + u. Solve -m*v - 2*v - g = 0 for v.
-4
Let j(m) be the second derivative of m**5/20 + 7*m**4/12 + m**3 + m**2 + 2*m. Let g be 3*(-1)/2*4. Let i be j(g). Solve 3*t + 4 = -i for t.
-2
Let s = -104 + 125. Solve s - 46 = 5*m for m.
-5
Suppose d - 3*d = 14. Let l = d + 10. Suppose 5*r - 3*j - 26 = 10, 0 = -4*j - 8. Solve -r = l*m + 9 for m.
-5
Let c = -10 - -16. Let s be (-2)/(-9) + 86/18. Suppose 2*t = s*t. Solve t = c*o - o for o.
0
Let h = -97 + 102. Solve 6 = -h*c - 19 for c.
-5
Let j(o) = -o**2 + 9*o + 1. Let s be j(7). Suppose 4*v = -v + s. Solve v = 3*c - 0*c for c.
1
Suppose 0 = s - 13 - 7. Solve -s = 2*m - 7*m for m.
4
Let f be 0 - ((-18)/3)/2. Suppose 5*p - f = 2. Let q = -3 + 6. Solve 0 = -4*s - p - q for s.
-