24 + h = -5*a for a.
-5
Suppose 3*h + 2*y + y - 12 = 0, 4*h - 16 = 2*y. Suppose -34 = -2*n + h*a, 2*n + 3*a - 3 = 3. Solve 4 - n = -5*t for t.
1
Let w = 5 + -3. Suppose 3 = -g + u, u = -w*g + 1 + 2. Suppose -h + g*h + 4*r = -22, -2*r = -4*h + 32. Solve 6*s - 3*s = h for s.
2
Let n(w) = -w - 5. Let b be n(-5). Solve b = -3*i - 5 - 1 for i.
-2
Suppose -3*a + 1 = -5. Suppose a*v + 2*i = -8, -2*v - i - 3 = -0*v. Let h = 5 - 3. Solve -h*q - 7 = -v for q.
-3
Let k(g) = -2 + 6*g - 1 + 2 - 2*g. Let y be k(1). Solve -2*t + 3*t + y = 0 for t.
-3
Let h(o) = 7*o**3 - 17*o**2 - o + 3. Let z(v) = -v**3 + v**2 + 1. Let k(a) = -h(a) - 6*z(a). Let q be k(11). Solve -q*s = -0*s - 4 for s.
2
Let w = -67 + 74. Solve -5*x = 18 + w for x.
-5
Let q(k) = 5*k - 10. Let l be q(3). Solve -l*d + 35 = 10 for d.
5
Let q(g) = g**2 - 9*g + 9. Let f be q(10). Let p = f - 17. Solve -p*n - 12 = 2*n for n.
-3
Let f = 62 - 60. Solve -f*j - 12 = -6*j for j.
3
Suppose 6*s - 3*s = 6. Solve 4*f = 2 + s for f.
1
Suppose u - 2 = 3. Suppose -2*b + 16 = u*p, 4*p + b = -b + 14. Suppose -1 - p = -m. Solve k + m = 2*k for k.
3
Let h = -11 - -16. Solve 0 = -0*q - h*q + 25 for q.
5
Let q(h) = h**2 + 2*h. Let g be q(-3). Let r(o) = -o**3 - 2*o**2 - o. Suppose -l + 2 = 3. Let c be r(l). Solve -g*i + 0*i = c for i.
0
Suppose -3*z + z = 0. Suppose -3*d + 4*k = -4, 31 - 9 = 4*d + 3*k. Solve a - d = -z*a for a.
4
Let v(w) = 2*w - 9. Let k be v(6). Suppose -5*l + k*m + 27 = 0, -2*l - 3*l + 26 = -4*m. Solve d = -d - l for d.
-3
Suppose 4*l - 6 - 2 = 0. Suppose -5*a = -l*a + 6. Let p = 0 - a. Solve -h - 4 = -p*h for h.
4
Suppose -2*n - 40 + 14 = 0. Let l = n - -20. Let a be (18/63)/(1/l). Solve -12 = -m - a*m for m.
4
Suppose -4*k = -3*k - 2. Let z be k/8*0 - -6. Solve -1 + z = t for t.
5
Let l = -2 + 2. Suppose 3*b + 1 - 4 = l. Suppose 3*v = x - 10 - 0, 0 = -5*x + 4*v + 28. Solve b - x = t for t.
-3
Let b be 16/48 - (-2)/(-6). Solve b*g = -g for g.
0
Let t(g) = -3*g - 2. Let f be t(-1). Let l be 2*1 - (-12)/4. Suppose -2*o - 9 = -l*o. Solve -s = f - o for s.
2
Let k = 0 + 1. Let j be 3/((-3)/2) - 0. Let n = j - -4. Solve -z = -k + n for z.
-1
Let d = 7 - 7. Solve d = 3*g - 2 - 1 for g.
1
Let j be 8 + -7 - (1 + -5). Solve 0*r + j = r for r.
5
Let w = -43 + 58. Solve 0 = 2*f - 7*f + w for f.
3
Suppose 0 = -3*t - 0 + 3. Suppose j = 3 + t. Solve -2*d + j = -d for d.
4
Suppose -s - 3*h = -6*s - 276, -4*h = -8. Let j = s + 32. Let b = j - -35. Solve -3*n + 4 - b = 0 for n.
-3
Suppose 0 = b - 2*x - 5, -8*x - 8 = -4*x. Solve -m - 2 = b for m.
-3
Let p(o) be the first derivative of o**3/3 + 2*o**2 + 3*o + 2. Let n be p(-3). Let r(u) = 9*u - 1. Let x be r(1). Solve n = 2*b - 6*b + x for b.
2
Let x be (2 - -2) + (-3 - -6 - 5). Solve 0 = -6*j + x*j for j.
0
Suppose -5*b + 4*d + 9 = 0, -7 = -5*b + 5*d + 3. Suppose b = -4*x + 9. Solve -3*s + x + 7 = 0 for s.
3
Let c(g) = -g**3 + 5*g**2 - 3*g - 1. Let l be c(4). Let z = -5 - -17. Suppose -4*j - 2*y + 2 = -z, 5*y = 5*j - 10. Solve j*h - l = -0 for h.
1
Suppose -2*a + 3 = -31. Let t = -15 + a. Solve -i + 2*i = -t for i.
-2
Let h = 31 - 16. Let n be 4/(-3)*h/(-10). Suppose 3*i = -2*y - 2, 2*i - 2*y - 2 + 0 = 0. Solve i*l = -n*l for l.
0
Suppose -3*t - 2*t = -3*h + 55, t - 41 = -2*h. Suppose 7*w - 4*w = 2*r - 8, 5*r = w + h. Solve -r*d + 11 = -1 for d.
3
Let p(n) = 9*n - 4 - n + 2*n + 0*n - n**2. Let k be p(9). Solve -k*b = -4*b - 4 for b.
4
Let u(o) = o + 8. Let a be u(-6). Let p be 0/((-3)/((-6)/a)). Solve -b - 4 = -p for b.
-4
Let h(x) = 11*x - 15. Let t(j) = 5*j - 7. Let g(i) = 6*h(i) - 13*t(i). Let s be g(0). Solve z + 2 - s = 0 for z.
-1
Suppose 2*z + 2*z = 8. Solve -z*a = -3 - 7 for a.
5
Let f(l) = 4 + l - 8 + 4. Let u(n) = -n**3 + 9*n**2 - 8*n. Let t be u(8). Let r be f(t). Solve r - 9 = -3*a for a.
3
Let i = -41 - -48. Solve -i = 3*z + 5 for z.
-4
Let f = -11 + 23. Suppose -2*x + 5 = -5. Suppose -22 = -x*w - 2*b, 4*w + 3*b = 22 - 3. Solve -4 = w*p + f for p.
-4
Let d be 120/2*4/10. Suppose 8 + d = 4*k. Suppose 2*p - k = -2*p. Solve r - p = -r for r.
1
Let z(v) = v**3 + 4*v**2 + 4*v + 3. Let r be z(-3). Solve -3*j + 8*j = r for j.
0
Let n = 21 - 5. Let p be n + -13 - (0 + -5). Solve 5*t = 3*t + p for t.
4
Let l(q) = 2*q**2 + 18*q + 1. Let w be l(-9). Solve 4 = r - w for r.
5
Let a(x) = x**2 + 6*x + 1. Let l(d) = 6*d. Let g(f) = 3*a(f) - 2*l(f). Let i be g(-2). Solve -i*b = b for b.
0
Suppose 5*y - 14 = -4. Suppose 5*g - y*h - 33 = 2*h, 5*g - 3*h = 36. Solve g = x - 4*x for x.
-3
Let b be (-64)/(-30) - (-12)/(-90). Solve 3 - 13 = b*l for l.
-5
Suppose -8*s = -2*s. Solve -3*c + 6*c - 9 = s for c.
3
Let i = -8 + 12. Suppose 5*t - 16 - i = 0. Suppose -2*c + 0 = -t*w - 2, 0 = 4*c + 2*w - 14. Solve 5*l + c + 17 = 0 for l.
-4
Let i be (2/3)/(2/12). Suppose -i*p = -p. Suppose 5 = 3*j - 4. Solve p = 2*q + q + j for q.
-1
Let r be 8/6 - (-4)/6. Suppose q + 15 = -r*q. Let m(o) = -4*o - 1. Let b be m(q). Solve -5*y + 4 = b for y.
-3
Let k(s) = -s**2 + 5*s + 4. Let j be k(3). Suppose 4*x - j + 2 = 0. Solve x*o = -2*o for o.
0
Suppose 0 = 3*g + g - 12. Suppose -2*f - g*f = 0. Solve -d + 4*d + 9 = f for d.
-3
Suppose 26 = 4*b - 14. Solve -22 + b = 3*z for z.
-4
Let n(o) be the third derivative of 0 + o**2 + 0*o - 7/60*o**5 + 2/3*o**3 + 0*o**4 - 1/120*o**6. Let i be n(-7). Solve i*x + 4 = -0 for x.
-1
Let d(n) be the first derivative of -n**4/4 - 4*n**3/3 - n**2 - 3*n - 3. Let z be d(-4). Suppose z*h + 0*h - 20 = 0. Solve -2 - 2 = -h*r for r.
1
Let a = -3 - -1. Let g(b) = -b + 2. Let c be g(a). Solve -c*t = -2*t + 6 for t.
-3
Suppose -3*x + 9 + 17 = -4*r, -r + 3 = 4*x. Suppose 2*z + 3*z + 5*s - 30 = 0, -18 = -x*z + 4*s. Let t = z + -5. Solve t*w - 15 = 7*w for w.
-3
Suppose -3*r - r + 3*d = 23, 0 = 2*d + 6. Let o = -4 - r. Suppose 2*c + 2*c = 0. Solve c = -o*b - 3 - 5 for b.
-2
Let o = -5 + 21. Let v = 26 + -21. Solve -v*i = -i + o for i.
-4
Suppose -c = 2*t - 4*c - 11, 0 = 3*t - c - 6. Solve -4*j = 3 + t for j.
-1
Let n(l) = -l - 3. Let d be n(-3). Suppose -2*o + 13 = 3*r, 5*o - 2*o - 5*r + 9 = d. Solve 0 = o*v + 2*v for v.
0
Suppose 2*r = 3*l - 16, -l + 2*r = l - 8. Let p(w) = w**2 - 4*w - 8. Let t be p(6). Solve -l - t = -3*n for n.
4
Suppose -3*z - a + 22 = 0, 49 - 10 = 5*z + 4*a. Let c = z - 5. Suppose -o = -c - 1. Solve -o*b = -6*b - 3 for b.
-1
Let r(c) = -c**3 + 3*c**2 - 2*c + 3. Let b be r(2). Suppose 2*i - 11 = -h, -3*h - 6 = -2*i - 15. Solve b*d = -h - 7 for d.
-4
Let k(n) = -13*n**2 + 3*n. Let q(r) = -7*r**2 + 2*r. Let s(l) = 6*k(l) - 11*q(l). Let h be s(-4). Solve h = f + f for f.
0
Let w = -1 + 4. Suppose 4*g - w = g. Let j be (-2*g + 4)*2. Solve 2 = j*t - 2 for t.
1
Suppose p - 32 + 29 = 0. Solve -p*v = 5 - 2 for v.
-1
Suppose r = -2*g - 7, 10 = -5*g - 8*r + 3*r. Let d be 2/2 + 1*g. Let c(l) = -l**2 - 5*l - 4. Let y be c(d). Solve 5*p + 4 + 21 = y for p.
-5
Suppose 4*j = -5*s + 21, 0*j + 42 = 5*j + s. Let c = j + -6. Suppose -c = -3*h, -1 = u - 4*h - 0*h. Solve 0 = -u*l + 3 + 3 for l.
2
Let u(v) = v**3 + 6*v**2 + 2*v - 4. Let z be u(-6). Let f be 4/((-2)/z*2). Let k be f/6 + (-2)/(-6). Solve 5*o + 4 = k*o for o.
-2
Let d = -1 + 5. Suppose i + u - 38 = 0, -4*i - 2*u + 73 + 75 = 0. Suppose d*m - m - i = 0. Solve m = 2*x + 2*x for x.
3
Let y(z) = -z + 8. Let c be y(6). Suppose -c*u + 6 = 0, -2*o + 3*u = -2*u + 7. Suppose -7*q + 20 + 1 = 0. Solve -2 = -q*g + o for g.
2
Let c(f) = f**3 - 4*f**2 - 6*f + 6. Let u be c(5). Let z be 1 + -1 - (-1 + u). Suppose 2*p - 3 = -b, -p + 1 = 3*b - 8. Solve 5*v + z*v + 25 = p for v.
-5
Let u = 2 - -8. Suppose -42 = -4*o + u. Let x = o - 6. Solve 0 = -3*h - 2 - x for h.
-3
Suppose 0 = -s - 3*s. Suppose -3*g - 4*m + 14 = -7, 0 = g + 4*m - 15. Suppose g = -x + 6. Solve v + x*v = s for v.
0
Let n be (-4)/12 + (-26)/(-6). Suppose -4*k = 4*w - 2*w - 28, -5*w + 40 = n*k. Solve 2*s - 2 = w for s.
3
Let r = -1 - 0. Let k be 0/r + -2 + 5. Let c = -58 - -70. Solve 0 - c = -k*q for q.
4
Let p(n) = 2*n + 7. Let t be p(4). Solve 3*z = t - 6 for z.
3
Let s be (-4)/10 - 65/25. Let q be (-16)/s - (-2)/3. Let z = q - 4. Solve -z = 3*w - 5 for w.
1
Let l(t) = t**3 - t**2 + 15. Let x be l(0). Solve 3*o = -x + 3 for o.
-4
Suppose 0 = 3*b + 2*b - 40. Let q = 7 - b. Let j be -1 + 2 - (-1 - q). Solve -7*f + 8*f = -j for f.
-1
Let q(i) = i**2 + i - 1.