h*q + 9 for q.
4
Suppose 0 = 3*s - 8*p + 3*p + 1, -2*s + 4*p - 2 = 0. Let o(i) = 7*i**s + 9*i**3 + 4*i**3 - 9*i**2 + 8*i**2. Let r be o(1). Solve 0 = -5*j + 6 + r for j.
5
Let m(n) = n**3 - 7*n**2 + 8*n + 6. Let o be m(5). Let s be 1/3 - o/(-12). Solve g - 3*g - 8 = s for g.
-4
Let l be (1 - -1)/((-1)/(-14)). Let f = l + -18. Solve -f = -5*c - 0*c for c.
2
Let x(r) = -1 - r + 0 + 2*r. Let c be x(1). Solve -5*n + 0 - 10 = c for n.
-2
Let d(b) = 5*b**2 - b**3 + 9 - 6*b**2 + 6*b + 7*b**2. Let g be d(7). Suppose -j = -g*j + 15. Solve -6*x = -x + j for x.
-3
Let h = -32 - -43. Solve -p = 12 - h for p.
-1
Let c = 166 - 161. Solve -20 = -c*t - 0*t for t.
4
Let f(k) = -k - 3. Let n be f(-3). Suppose n = -4*w + 21 - 9. Solve w*a - 2*a - 2 = 0 for a.
2
Let m be (0 + 6)/(18/12). Solve -2*n = m - 0 for n.
-2
Let t be (2 - -2)*1/1. Suppose l = -2*l + t*w - 3, l + 2*w - 9 = 0. Solve l*o - 2 = 5*o for o.
-1
Let z = -4 + 4. Suppose z*h + h - 4 = 0. Solve -h*p - 4 - 8 = 0 for p.
-3
Let u(v) be the first derivative of -v**2 + 10*v + 10. Let c be u(4). Solve -l = c*l for l.
0
Let d = 8 + -3. Solve i = d*i for i.
0
Suppose -5*c = 5*b - 30, c = -2*b - 4 + 6. Suppose -11*r = -9*r - c. Suppose r*t + w + w = 14, -t - 3*w - 5 = 0. Solve t = 2*n - 0 for n.
2
Let o(j) = j**2 - j - 1. Let r be o(-2). Let s = 0 + r. Solve 0 = g - 6*g - s for g.
-1
Let k be ((-2)/6)/((-3)/18). Solve k*w - 1 = -7 for w.
-3
Let p = 62 + -36. Let h = p - 11. Solve -h = q + 4*q for q.
-3
Let n be 3/(18/4)*(3 + 0). Solve 0 = -5*v + n*v for v.
0
Suppose 10 = -0*w + w. Suppose -3*m - m = -20, 0 = q + 2*m - w. Solve q = b - 0 - 1 for b.
1
Let t be 1 - 3/6*-2. Let a = 0 + t. Suppose l - 6 = -a. Solve 9 = l*f - f for f.
3
Let s(u) = -1 + 0 + 0*u + u - 2*u. Suppose 2*q = 3 - 7. Let l be s(q). Solve -4*t + 13 - l = 0 for t.
3
Let v = 83 - 63. Solve -2*l + v = -7*l for l.
-4
Let y(o) = -2*o**3 - 2*o**2 - 2*o + 1. Let u be y(-3). Let g = -23 + u. Solve 4*b + b = g for b.
4
Let a be 4/(-18) + (-94)/(-18). Let d(x) = x**2 - 3*x + 1. Let g be d(3). Suppose f = -g + 12. Solve -1 = a*o - f for o.
2
Let x(u) = -u**2 + 8*u - 4. Let c be x(6). Let d(y) = -y**3 - 5*y**2 + 4*y - 5. Let j be d(-6). Solve -3*p = c + j for p.
-5
Let t = -4 - -3. Let w be ((-2)/t)/(-1) + 5. Suppose 3 = 3*q + 4*y, -3*q - y + 12 = -0*y. Solve q*a = w*a for a.
0
Let o be (3 - 3)/((-1)/1). Solve o*f + 3*f + 3 = 0 for f.
-1
Suppose -7 = 5*u - k + 3*k, -4*u - 2*k - 6 = 0. Let h be 0/(-1 - 1)*u. Solve 0*a - 2*a = h for a.
0
Suppose -5*d + 4*n = 6, 3*n = d - 2*n + 18. Let s be 4 - (d/1 + 0). Solve o = 1 + s for o.
3
Let n be 470/90 + (-4)/18. Let f be (-4 + -5)*n/(-3). Solve 3*s + f = 8*s for s.
3
Let c = 0 - -12. Suppose 0 = -10*a + c*a - 30. Solve -b - a = 4*b for b.
-3
Let l be (-9 + (-1 - -2))/(-2). Suppose -4*v = -w - 0*w + 1, 4*w - l = -2*v. Suppose 0 = 2*b + b. Solve v = j - b*j for j.
0
Suppose 2*m - 1 = -5*z + 1, 5 = 5*m. Solve 3*b - 2*b - 1 = z for b.
1
Suppose p = 0, -4*h - 3*p = -0*p. Let q = h + 4. Solve -q + 0 = -l for l.
4
Let x(r) = r**2 - 3*r - 7. Suppose 2*c = 9 + 1. Let n be x(c). Solve 2*j - 3 = n*j for j.
-3
Let v be -12*((-3)/2 - -1). Let a = v + -3. Suppose 2*r = -3*r + 50. Solve -a*k + r = -k for k.
5
Suppose 0 = -34*o + 33*o + 6. Solve -o*r - 5 = -r for r.
-1
Let c be -2 + 20/(-8)*1*-2. Suppose -2*u + 14 = a - 3*u, 0 = -a + 4*u + 11. Solve -c*r + 0 = a for r.
-5
Suppose -r + 4*r = -4*x - 22, 3*x + 10 = r. Let h be ((-2)/(-4))/((-1)/x). Let c be h/(3/(18/4)). Solve -o + c = 2 for o.
1
Suppose 5*j - 60 = 2*j. Solve -2*q + j = 2*q for q.
5
Suppose -5*j = 4*n - 11, 4*j = -3*n - j + 7. Solve -c - 1 + n = 0 for c.
3
Suppose 8*u - 13*u = 15. Let k be 1*(u + 4)*4. Solve -k*a + 0*a = -16 for a.
4
Suppose 6 = s + 1. Solve -20 = s*x - 0*x for x.
-4
Let o be 3/(-3)*3 + 2. Let q be o + (-6)/(-2) + 7. Solve j + q = 4*j for j.
3
Let i = -8 - -10. Solve i*y + 0 = -4 for y.
-2
Let n = -42 + 64. Let j = n + -22. Solve j = 5*y + 3 + 22 for y.
-5
Let t(k) be the first derivative of k**4 - 2*k**3/3 + k - 2. Let y be t(1). Suppose 12 = 3*d + y. Solve d*j + 7 = -2 for j.
-3
Suppose -4*a + 34 + 10 = 0. Let w = a + 1. Solve 5*h = w + 8 for h.
4
Let x = -6 - -8. Let k(u) = -3 + x*u + 0*u - 5 + 2. Let m be k(4). Solve 5*a - m*a - 9 = 0 for a.
3
Let m(c) = -4*c - 1. Let x be m(-1). Solve -x*r = -2*r + 3 for r.
-3
Let d(h) = h**2 - 6*h - 4. Let w be d(6). Let k be (-18)/w - 4/8. Solve 0 = -2*y - 0*y - k for y.
-2
Let m = -6 + 9. Solve -4*p = -3*p + m for p.
-3
Let d be (-65)/(-7) - (-10)/(-35). Let f be (-1)/(-2)*-2*-1. Let a be (f + -16)*3/(-3). Solve 0 = -4*u + d*u + a for u.
-3
Let z(r) = r**2 - 5*r + 8. Let h be z(5). Solve 4*y + h = -0*y for y.
-2
Let c(v) = v**2 + v + 1. Let f be c(-1). Suppose -9 = -3*n, n + 2*n = -t + 14. Solve -t*y + 11 = f for y.
2
Suppose -4*r = -1 - 11. Let u be 0/((1 - -1) + -4). Let g be (10/4)/((-8)/(-48)). Solve u*v - r*v - g = 0 for v.
-5
Suppose 0 = -5*m + 9 + 1. Solve 5*n + m + 3 = 0 for n.
-1
Let r = -8 + 0. Let t = r + 11. Solve x = -2*x - t for x.
-1
Let d be 6*(-2 - (-48)/9). Solve 0 = 2*q + 3*q - d for q.
4
Suppose 5*q - 3*f = -4*f + 104, -q - f + 24 = 0. Solve -3*z - 2*z - q = 0 for z.
-4
Suppose 5*t + 5*u - 2*u = -35, 2*t - 4*u = 12. Let y = t + 4. Solve y*f = 5*f for f.
0
Suppose 0 = q + 3*q + 4*y - 36, 2*q = -4*y + 16. Let g = q + -5. Solve -2*j + g = -5 for j.
5
Let j(b) = b**2 - 14*b + 10. Let o be j(13). Let r = 9 + o. Solve -x + r = -3*x for x.
-3
Let j(i) = -i**2 + 25*i - 69. Let v be j(21). Solve 6*s - 3*s = v for s.
5
Let f = 5 - 15. Let b be (-4)/2 + (-1 - f). Solve -4*i + b = -1 for i.
2
Let a be (9 - 6)*(1 + 0). Solve 5 = q + a for q.
2
Let y(s) = -s**2 + 5*s - 2. Let t be y(3). Suppose -t*m + 16 = -0*m. Solve m*v + 7 = 19 for v.
3
Let w = 43 + -38. Solve -z = -w*z + 16 for z.
4
Let l(a) = -4*a - 1. Let k(c) = -c - 7. Let g be k(-6). Let u be l(g). Let v be (-4)/u*(-27)/6. Solve -3*d = 3 + v for d.
-3
Suppose 3*b - 5*g = -20, g - 2 = b + 2. Suppose b = -0*k + 3*k - 6. Solve -3*m = k + 4 for m.
-2
Suppose -3 - 3 = -3*p. Suppose -p*u + 2*m + 30 = -2*m, 4*u + 2*m - 10 = 0. Solve -u*c + 6 = -2*c for c.
2
Suppose 3*p + 4 - 28 = 0. Solve -2*q + p = -0 for q.
4
Let a be ((40/35)/(-8))/(1/(-7)). Solve -7 = -3*g - a for g.
2
Suppose -2*l + 0*l + 3 = 3*x, -4*l = 4*x - 8. Solve -l*k = -12 - 3 for k.
5
Suppose -53 = -2*c + r - 17, -3*r = -c + 23. Let h = c - 10. Solve -3 + h = p for p.
4
Suppose 2*i = -0*i + 10. Let y = i + -5. Suppose h - 7 = -0*h. Solve -2*b + h - 1 = y for b.
3
Let d(c) = -8*c**2 - 3*c - c**3 - 6 + 4*c + 2 + 7*c. Let p be d(-9). Solve 0*b - 10 = -p*b for b.
2
Suppose 4*p = 11 + 5. Suppose -4*v + 10 = 2. Solve -p = 3*g - v*g for g.
-4
Let o(i) = i - 1. Let h be o(4). Suppose h*l = -2*l + 30. Let a(y) = 4*y - 6. Let w be a(4). Solve -l*z = -z - w for z.
2
Suppose -5*l + 12 = -13. Solve 6 = l*s - 2*s for s.
2
Let n(y) = 2*y**2 - 3*y + 1. Suppose -2*c + 9 = c. Suppose 3*w = 4*w - c. Let s be n(w). Solve -s = -6*j + j for j.
2
Suppose 32 = 61*y - 53*y. Solve 0*f + y = -f for f.
-4
Let j(i) = -4*i + 3. Let k be j(-3). Suppose 0 = 4*d - 1 - k. Solve -d*u = -7*u + 9 for u.
3
Let l be (-1 + 1)*-1 + 0. Solve -2*x - x - 15 = l for x.
-5
Let t = 16 - 4. Suppose -14 = -3*g - 0*q - q, g - t = -4*q. Solve 0 = -0*y - g*y + 4 for y.
1
Let w = 4 + 12. Let l be 0/(-2) - w/(-4). Solve l*h + 5 = 1 for h.
-1
Let v(j) = j**3 + 4*j**2 + 3*j + 1. Let z be v(-2). Let w = 7 - z. Suppose 4 = 2*p, 0 = -g - p + w*p - 4. Solve -g*n - n = 12 for n.
-4
Let i = -28 - -46. Let x = i - 27. Let p = 11 + x. Solve 0 = -p*j - 3*j for j.
0
Suppose 0 = -0*q + 4*q - 20, 0 = -5*w + 2*q - 10. Solve -2*i + w*i = 0 for i.
0
Suppose w - 8 = 4*h, -w - 68 = -5*w - 2*h. Solve 3*j + w = -j for j.
-4
Let n = 34 + -28. Solve 5 = -j + n*j for j.
1
Suppose h - 14 = 1. Solve n = -4*n - h for n.
-3
Suppose 97*o = 100*o. Solve m + 0*m - 2 = o for m.
2
Let o = -9 + 1. Let b = 0 - o. Solve 3*h - b = h for h.
4
Let h = 32 + -32. Solve 0*t - 3*t + 3 = h for t.
1
Suppose 8*r = 4*r. Solve -f - 2*f - 12 = r for f.
-4
Suppose -n + 2*p = 3*n + 30, 0 = 5*p - 15. Let u be -10*(n/3)/2. Suppose -l - u = -3*l. Solve 0 = 2*z - z - l for z.
5
Let a be (18/(-15))/(4/(-10)). Let d be 2 + (2 - a) + 6. Solve d = 3*w - 5 for w.
4
Let j = -7 - -10. Suppose -