 l = h*p - p for p.
0
Let o(g) = -g**2 + 6*g - 5. Let s be o(4). Let k be (4/6)/(1/12). Let q = k + -6. Solve -s = -h + q*h for h.
-3
Let k(h) = h**3 + 5*h**2 - 5*h + 8. Let p be k(-6). Let v be 20/12 + p/6. Solve v = -b - 1 for b.
-3
Let r(n) = n**3 - 7*n**2 + n. Let z be r(7). Solve -z*p + 3*p = 16 for p.
-4
Let y = 163 + -161. Solve -d = 2 + y for d.
-4
Let q = 17 - 12. Solve -4*c - 1 = -q*c for c.
1
Let t = 14 - 16. Let j = 1 - t. Solve -2*l + 3*l = -j for l.
-3
Suppose 2*z + z = 5*f - 24, 4*z + 18 = 2*f. Suppose f*u + s = 5*s - 5, 0 = u - 3*s + 10. Solve j = u*j for j.
0
Let g be (8/(-10))/(2/(-10)). Let q(b) = b**3 - 3*b**2 + 6*b - 6. Let s be q(2). Solve a - g = s*a for a.
-4
Let t(r) = -r**2 - 6*r**2 - 5*r + 1 - 3 + 4*r. Let a(o) = -6*o**2 - 2*o - 2. Let m(u) = -6*a(u) + 5*t(u). Let y be m(-7). Solve 2 = 2*b - y for b.
2
Suppose 2*y + 15 = 5*n, 2*n = -2*n + 2*y + 12. Suppose 4*v - 6 = -g, 4*v + 2 = 6. Suppose 2*f - 100 = -g*f. Solve -2*b - f = n*b for b.
-5
Let s be (1 - -1)*-1 + 10. Suppose 0 = v + 4*d - s, -d = -4*v - 2*d + 17. Suppose 0 = 3*a - a - v. Solve 0 = 2*y - 4*y + a for y.
1
Let h be (8 + 1)*2/6. Suppose -h*x = 2*x - 80. Solve -v + x = 3*v for v.
4
Let z(g) = -3 - 2*g + 16*g - 4*g. Let p be z(2). Solve -4*b = -1 + p for b.
-4
Let a = -6 + 6. Suppose a*k - 15 = -k. Solve 9*m - 4*m = k for m.
3
Suppose -11*y = -16*y + 25. Solve y*m = 2 + 13 for m.
3
Let x be -2*-1*(1 - -7). Suppose 4*c + 3*q + 7 = 0, -5*c - 5*q + 1 = x. Solve c*a - 7*a + 15 = 0 for a.
3
Suppose 0 = y + y + 6, -y - 128 = -5*d. Let i(w) = 1 + 2*w + 8 - 4*w**2 + 6*w + 3*w**2. Let r be i(9). Solve -4*g - g + d = r for g.
5
Suppose 2*f = 6*f - 4*u - 24, 0 = -3*f - 3*u + 36. Solve -i = -4*i + f for i.
3
Let z = 5 + -5. Suppose 5*j - j = z. Solve 5*n + 15 = -j*n for n.
-3
Let q = 49 - 46. Solve -q*p - 18 + 3 = 0 for p.
-5
Let l be (4/1)/(1 - 0). Suppose 0 = y - l*r + 15, 5*y - y + 4*r = 40. Let d = y + -3. Solve d + 1 = -3*m for m.
-1
Let a = 7 - 5. Suppose 0 = a*c - 3 + 1. Solve 2*z - c = 3 for z.
2
Suppose 7 = -k + 2*k. Let v = 7 - k. Solve d - 3*d = v for d.
0
Let s be (18/21)/(-2)*-7. Let b = 5 - s. Solve -4*g + b = 10 for g.
-2
Suppose -14*i + 11*i = -9. Solve 0 = -i*a - 2*a - 15 for a.
-3
Let s be ((-10)/(-6) + -3)*-9. Let g be (10/s)/(1/6). Solve g*d - 8 + 3 = 0 for d.
1
Let t(y) = y**2 + y + 1. Let v(i) = i**3 + 4*i**2 + 2. Let o(p) = -2*t(p) + v(p). Let k be o(2). Solve -5*q - 2 = -k for q.
2
Let q(d) = -d**2 - 4*d + 4. Let a be q(-4). Let s be 8*((-70)/(-4))/7. Solve -8*w - s = -a*w for w.
-5
Suppose 3*r + 4*t - 8 = -26, -4*r - 2*t = 24. Let k(d) = d. Let x be k(2). Let p be x/(3/r + 1). Solve p*s + 0*s - 4 = 0 for s.
1
Let b(o) = -o**3 + 8*o**2 + 10*o - 6. Let k be b(9). Solve -k*h = -4*h + 5 for h.
5
Suppose -g - 9 + 14 = 0. Solve 3*c - g = 1 for c.
2
Let u(m) = -m - 6. Let d be u(-6). Let z be (d - -1)/(6/18). Solve 4*f - z*f = 5 for f.
5
Let j be ((-56)/12 + 2)*-3. Solve -j*t = -11*t for t.
0
Suppose -s = 3, -t + 14 = 3*t - 2*s. Let j = t + 2. Suppose 2*y = -c + 1, -j*y - c = 4*c + 7. Solve y*k - k = -2 for k.
-2
Let k be (1/(-2))/((-3)/(-48)). Let l be 2/k - (-18)/8. Solve 4*q = 3*q - l for q.
-2
Let l(w) = -w + 5. Suppose 5*f = -5*s - 15, -2*s + 3*f + 3 = 14. Let y be l(s). Solve -4*k = -y*k + 20 for k.
4
Suppose 0 = v + 5*c - 17, -v - 4 = -4*c + 2*c. Solve -v = o - 1 for o.
-1
Let g be ((-6)/(-15))/(2/(-10)). Let u be (g/(-4))/(2/32). Suppose 0 = 3*s - 7*s + 64. Solve -4*x + s = -u*x for x.
-4
Let i(v) = 4*v**3 - v**2 + v. Let p be i(1). Solve p*y = 1 - 9 for y.
-2
Suppose a + 5*u - 23 = 0, 4*a = -0*u + 3*u. Solve -j = -0*j + a for j.
-3
Suppose z - 11 = -3*p, 4*p + 11 = 4*z - 3*z. Suppose s + 3*t = -0*s - z, -19 = -s + 3*t. Let f(g) = -g**2 + 8*g - 7. Let c be f(7). Solve m = -c*m + s for m.
4
Let t be (5 + -20)*2/(-10). Solve 0 = -t*w + w + 8 for w.
4
Let r(g) = g**2 - 6*g + 3. Let l be r(6). Solve -l*f + 4*f = -5 for f.
-5
Let o = 52 - 49. Solve 1 + 2 = o*h for h.
1
Suppose 0 = v - 3. Let q be (-2 - v/(-2))*-4. Solve -q + 10 = -2*y for y.
-4
Let d(a) = -a**3 + 6*a**2 - 5*a + 3. Let b be d(5). Suppose -12 = -4*t + v, t - v = 2*v + b. Solve 8 = t*y - 1 for y.
3
Let v(t) = t + 7. Let o be v(-5). Let d = o - -1. Solve -d*j + j = -4 for j.
2
Let k = 5 + 1. Let t(o) = 12*o - 21*o + 8*o + 3. Let s be t(-11). Solve -k - s = 4*n for n.
-5
Let g(b) = -b**2 + 3*b + 1. Suppose -2*o = -1 - 5. Let m be g(o). Solve 0 = w - 2*w - m for w.
-1
Let x(d) = -d**3 - 6*d**2 - 4*d + 5. Let t be x(-5). Solve 9*k - 4*k = t for k.
0
Let m = 33 + -28. Solve -m*f + 0 - 5 = 0 for f.
-1
Let b = -47 - -52. Solve b = -n + 2 for n.
-3
Let q = 11 - 6. Let f(j) = -j**3 - 13*j**2 - 14*j - 24. Let h be f(-12). Solve h = q*s - 2*s - 6 for s.
2
Let a(s) = -s + 5. Let o be (-2)/2 + -1 - -2. Let t be a(o). Suppose u = 2*u. Solve t*h + u*h = 0 for h.
0
Let c be (-4)/6 + (-8)/(-12). Suppose j + 5 = -2*u, 5*u + 8 = -4*j - c. Solve 14 = j*q + 2 for q.
4
Let d(r) = 3 + 5*r - 19*r + r**2 + 0. Let m be d(14). Solve 2*x = m*x for x.
0
Suppose -4*h + 4*o + 8 = 0, 3*o - 15 = -6*h + 2*h. Suppose p = -h*p. Solve i + p = -2 for i.
-2
Suppose 4*m = 4*y + 32, -2*m + 34 - 3 = -5*y. Solve v + 0 - m = 0 for v.
3
Suppose 2*q + 78 = 5*q. Solve -q = 5*j - 1 for j.
-5
Suppose -2*t = -4*t + 8. Solve -2*l + t*l - 4 = 0 for l.
2
Let x(f) = f**3 + 7*f**2 + f + 7. Let t be x(-7). Let j(w) = -w**3 + 4*w**2 + 6*w - 3. Let c be j(5). Solve t*o = o - c for o.
2
Let x be (-12)/(-4) + (-4)/2. Solve r + 0 = x for r.
1
Suppose 20 = 2*r + 3*r. Solve -9 = -r*i + 3 for i.
3
Suppose -4*y - 4*y + 4*y = 0. Solve 2*c + 0*c - 6 = y for c.
3
Let a(d) = -d**2 - 4*d - 2. Let w be a(-2). Let b be (4/2)/(1/4). Solve 5*q = b + w for q.
2
Let p = -6 + 11. Suppose -k - 2 = m, k - 1 = -5*m + p. Solve -2*z - 8 = -m for z.
-3
Let h(i) = i + 11. Let k be h(-9). Solve -1 = 3*d + k for d.
-1
Let y(t) = -t + 17. Let z be y(0). Suppose -2*d = -z + 5. Solve -2*m + 2 = -d for m.
4
Let n be 3 + (-1 - 1) + 2. Solve -2*u - n - 5 = 0 for u.
-4
Let d = -15 + 17. Solve -4 + 12 = d*t for t.
4
Let l(a) = -a**3 - 11*a**2 - 11*a - 10. Let m(w) = -w**2 - 3*w - 6. Let u be m(-4). Let h be l(u). Solve h*d + 2*d = -4 for d.
-2
Suppose -2*w + 19 = 11. Solve 0 = o + o - w for o.
2
Suppose 4*k = -148 + 44. Let a be (-1 - (2 + k))/(-1). Let p be a/(-5) - 8/(-20). Solve 3 = d + p for d.
-2
Let o be (-4)/(-12)*(-21 + 0). Let c = -5 - o. Solve -c*x = x - 3 for x.
1
Let n = 95 + -92. Solve 9 = -n*a - 3 for a.
-4
Suppose 3*i - v - 18 = 32, -i - 3*v = 0. Suppose -3*u - 1 + 8 = r, 4*u - 9 = -r. Solve i = u*d + d for d.
5
Let w = 3 - -15. Suppose w = 3*s - 6. Solve -3*q + s = -q for q.
4
Suppose -4 = 2*t - 4*t. Solve -3*s + 5 = t*s for s.
1
Suppose 2*a - 4*o - 8 = 0, -2 = 2*o + 2. Let q be 2/(33/(-9) + 4). Solve a = -q*u + u for u.
0
Suppose 3*s + 3*p = -p + 16, -3*s - p = -13. Solve -2*v + 4 = -s*v for v.
-2
Let q = 81 - 56. Solve -2*d - q = 3*d for d.
-5
Suppose 55 = 3*v + 5*c, -4*c - 54 = -5*v + 50. Solve -10*d = -5*d + v for d.
-4
Suppose 3*v = 6*j - j - 14, 3*v + 2 = 2*j. Suppose 2*m = -2*z + 10, -4*m - 2*z + 8 + 6 = 0. Solve -m*b = -4*b - j for b.
-2
Let s be (3/6)/(5/20). Let y(k) = -k**3 + 6*k**2 - 4*k + 4. Let m be y(4). Suppose 5*i + 5*a = -25, 2*a + m = -2*a. Solve -l + s*l = i for l.
0
Let w(a) = -a**3 - 13*a**2 + 15*a + 18. Let s be w(-14). Solve l + 0*l = s for l.
4
Let y be 4 + (-3 - (-2)/2). Let i be 4/1 + 0/3. Suppose -3*h + p + 7 = -6, 2*p = h + i. Solve -h = -y*d - 2 for d.
2
Let t(o) = o + 3 + 0 - 4. Let v be t(7). Solve -v*m = -2*m for m.
0
Let w be (4/10)/(2/40). Solve 3*o = -1 - w for o.
-3
Let h(l) = l**2 + 2*l - 10. Let s be h(5). Solve 0 = -5*j - 0*j + s for j.
5
Suppose 0 = -5*p + c + 20, -25 + 10 = -3*c. Let j(z) = 13*z - 29. Let h(a) = -3*a + 7. Let y(x) = -9*h(x) - 2*j(x). Let l be y(p). Solve -3 = r - l for r.
-3
Let v = -12 - -8. Let l be (20/(-7))/(v/14). Solve -3*f = -8*f + l for f.
2
Suppose -2*c - 1 = 5*a, 0 = -3*c - c + 2*a + 10. Solve 0 = 3*s - c - 1 for s.
1
Let v = 10 - 9. Let q = -1 + v. Solve -d + 5*d + 8 = q for d.
-2
Let a(p) = p + 4. Suppose -4*g - 6 = 6. Let c be a(g). Solve 4*r = -13 + c for r.
-3
Let f(k) be the third derivative of k**5/60 + 5*k**4/12 + 7*k**3/6 + k**2. Let d be f(-8). Let n = d + 11. Solve n*y = y for y