s*h - 3*h for h.
-1
Suppose 48 = 3*b + 4*k, 6 = k + 3. Let u(r) = r**2. Let p be u(2). Suppose -t = -p*t + 6. Solve -t*m - b + 2 = 0 for m.
-5
Suppose 4*j = 4*g + 32, g + 4 = 4*j - 22. Solve 2*c = -4 - j for c.
-5
Suppose -s - 2*s + 2 = -2*n, -4*s + 3*n = -2. Solve 6 = 4*a - s for a.
2
Let j = 5 + -3. Let w = -26 - -28. Let i = w - j. Solve i*g - 5 = g for g.
-5
Let j be (-208)/39*(-5 - (-1 - 1)). Solve -2*s - 2*s = j for s.
-4
Suppose 5*h + 15 = -0. Let q = 1 - h. Suppose q*b + 0*b = 2*w - 26, 3*b = 5*w - 37. Solve w*g + 19 = 4 for g.
-3
Let j be (-1)/1 + -1 + 2. Suppose -4*v - 4 + 20 = j. Solve 2 + v = -2*g for g.
-3
Suppose -4*s - 20 = -4*n, -n = -4*s + 5*s - 1. Let d = 12 + -5. Solve -d*x = -n*x for x.
0
Suppose 48 = 4*k - 12. Suppose 7*j + k = 12*j. Solve 2 = -5*m - j for m.
-1
Suppose -3*g + 2*f = -10, 6*g - 2*g - 5*f - 18 = 0. Suppose v + 4 = 0, o - 44 = -2*o + 5*v. Let y = o + -5. Solve 0 = y*c + g*c - 5 for c.
1
Let l = 4 - 12. Let y = -5 - l. Solve -y*k = -k - 2 for k.
1
Let p(v) = -v**3 - 9*v**2 - v - 6. Let l be p(-9). Suppose -l*t = -3 - 3. Solve -5*o + 6 = -t*o for o.
2
Suppose 43 = 5*a - 17. Let s = -11 + a. Solve -f - s = -6 for f.
5
Let p be 6/4*1*2. Let a(d) = -d**2 - 15*d - 14. Let y be a(-14). Suppose y = 10*z - 4*z - 150. Solve -8*r + z = -p*r for r.
5
Let i be (3/(-2) - 1)*-2. Solve i = -5*t - 5 for t.
-2
Let r be -24 - (0 + -1 + 2). Let u be 4/(-10)*r/5. Solve u*g - g = -1 for g.
-1
Let y(i) = i + 7. Let l(m) = 2*m + 7. Let o(r) = -2*l(r) + 3*y(r). Let p be o(-5). Solve p - 4 = -4*f for f.
-2
Suppose -3*m - 3 = -4*m. Solve m*o - 10 = -2*o for o.
2
Suppose 0 - 2 = -2*z. Let p = 2 + -2. Suppose p = k + k - 8. Solve -h = -z + k for h.
-3
Suppose 0 = -4*l - 40 + 72. Solve -6*y + 2*y = l for y.
-2
Let p(v) = -v**3 - v**2 + 2*v - 7. Let d be p(-3). Solve -4*b = b + d for b.
-1
Suppose -3*j - 7 = -19. Suppose i = -j*b + 8, -b = b - 2*i - 4. Let r = b + 0. Solve r*q + 5 = 3 for q.
-1
Let t(l) = l**2 - 12*l + 2. Let x be t(12). Suppose -r - 2 = -6. Suppose -4*z + 4 = -r. Solve m - z*m = x for m.
-2
Suppose b = 9*b - 16. Solve 3*y + b + 7 = 0 for y.
-3
Suppose 0 = -2*j + j + 2. Solve 2 = j*b + 8 for b.
-3
Let o be (-50)/(-3) - 2/3. Let n = o - 7. Suppose -3*a - 2*a + 4*p = -45, a - 3*p - n = 0. Solve -5*k = a + 16 for k.
-5
Let i = 165 + -160. Solve 0 = -6*q + i*q + 3 for q.
3
Let f be (-2 + 4 - 3) + 6. Suppose 5*j = f*x - 15, 7*j + 12 = 5*x + 3*j. Suppose x = z - 3. Solve z*s + s = 20 for s.
5
Suppose -t + 0 = 4. Let a(l) = 13 - 13 + l - 2*l. Let k be a(t). Solve -r - r - k = 0 for r.
-2
Suppose 4*w + 5*n + 0 = 4, -5*w + 50 = -5*n. Solve -c - c - w = 0 for c.
-3
Let k(j) = 3*j - 19. Let r be k(7). Solve 2*s + 8 + r = 0 for s.
-5
Let f(x) = 2*x**2 - 5 + 4 - 11*x**2 + 18*x. Let k(v) = -4*v**2 + 9*v - 1. Let r(i) = 3*f(i) - 7*k(i). Let j be r(9). Solve 7*g - 9 = j*g for g.
3
Let c be (-17 + -1)/((-1)/(-1)). Let u = -3 - c. Solve 6 = 3*d + u for d.
-3
Let i be 1 - (1 + -4 + 2). Let m be (1/(-2))/(i/(-8)). Solve m*p = -p + 6 for p.
2
Suppose 0*u + u - 3 = 0. Suppose 0 = -p + u. Solve p*b - 17 = -5 for b.
4
Let x = 1 + 0. Let o be (x - 5)/(1 + -2). Solve 2 = -2*r + o*r for r.
1
Let i = -5 - -7. Solve -6*m - i = -7*m for m.
2
Let a(v) = -2*v - 2 + 3*v - 1. Let k be a(11). Solve 2*w = 4*w - k for w.
4
Suppose -4*v + 3*v = -5. Solve 3*k + v + 7 = 0 for k.
-4
Suppose -j + 26 - 1 = 5*x, 4*j - 5*x = 0. Solve 0*g + j*g = -10 for g.
-2
Let b = 11 - 7. Suppose 2*i + b = 2*f, 0 = -i - f - 4 + 10. Suppose -4*o + 12 = -2*o. Solve -2*a - i = o for a.
-4
Let r(x) = -x + 9. Let p be r(5). Solve -4 = -p*w - 0 for w.
1
Let c = -22 - -34. Suppose f - 4*f = 0. Suppose -o + 4*o + 3*k = 12, o - 4*k + 1 = f. Solve -c - 3 = o*n for n.
-5
Suppose 0 = 5*s - 7*s. Suppose -2*g + 32 - 12 = s. Suppose -5*x + 0 = -g. Solve 3*b - x = -8 for b.
-2
Let n = 28 + -24. Solve n = 2*v - 2 for v.
3
Let j(c) = c. Let f be j(-12). Let r be (-2)/(-2*(-3)/f). Solve l + r*l = 0 for l.
0
Let j = -1 - 7. Let q be ((-30)/j)/(1/4). Suppose 2*g + 3*g + q = -4*l, 3 = -g. Solve l = -3*v + v for v.
0
Let y be (3/2)/((-9)/(-30)). Solve 0 = y*b + 25 - 10 for b.
-3
Let h(c) = -2*c - 1. Let m be h(-3). Suppose m*u = 6 + 39. Solve 3*k + 6 = -u for k.
-5
Suppose -5*z + 31 = 11. Suppose -5*q = 9 - 4, 0 = 2*t + z*q + 4. Solve -3*j = -3 - t for j.
1
Suppose 2*c + c - 21 = 0. Let g be 3/(-9) + 2/6. Suppose g = 2*d - 0*d - 4. Solve 1 = -d*n + c for n.
3
Let b = 0 - -1. Suppose 2 = -3*i - b. Let f = 3 + i. Solve -3*v + v = -f for v.
1
Let j = -4 - -9. Suppose 0 = 5*p - j - 0. Let a be -14*(p/2 - 1). Solve -2*i = -a*i + 15 for i.
3
Let s(w) = -2*w**2 - 8*w. Let t be s(-4). Let u = -6 - -8. Solve 3*h - u*h - 4 = t for h.
4
Let g = -2 + 5. Suppose 0 = 2*y + g*j - 15, -5*y - j = -2*j + 5. Solve 3*m - 6 = -y*m for m.
2
Suppose -4*r = -3*r + 2. Let i = 0 - r. Solve i*k = 5*k - 12 for k.
4
Suppose 0*b + 2*b - 4 = 0. Let r be -1*(1 + 3/(-3)). Solve v - 2*v - b = r for v.
-2
Let c be (-4)/(-10)*(-4 + -1). Let x be (5/(10/(-8)))/c. Solve 2*m + x*m + 4 = 0 for m.
-1
Suppose 2*q - 10 = -0*q. Suppose -q = -2*d + 1. Suppose -d*i + f = -5, 0 = i - 5*i + f + 7. Solve o = -o - i for o.
-1
Suppose -3*i - 7 = 2*j, 0 = -j - 0*j + 4*i + 24. Suppose -j*y = -18 - 18. Solve -4*m + y*m = 0 for m.
0
Let q be (24/10)/((-2)/(-10)). Suppose -4*v + q = -0*v. Solve -3*x = -0 - v for x.
1
Let h(c) = -7*c**2 - 4*c - 6. Let v be (-20)/3 - 4/(-6). Let y(f) = -13*f**2 - 7*f - 11. Let r(t) = v*y(t) + 11*h(t). Let b be r(3). Solve -l + 16 = b*l for l.
4
Let o be 3/(-4) + 756/48. Suppose -3*p + 5*n - 17 = 0, 0*p - 13 = 3*p - 4*n. Solve 4*f = -p - o for f.
-4
Suppose 0*o + 2*o - 5*d - 1 = 0, 0 = -2*o - 2*d + 8. Solve -o*x = -4 + 1 for x.
1
Let g be 0*(3/2 + -1). Solve g*j - 16 = 4*j for j.
-4
Let q(d) = -6*d - 1. Suppose -4 = 4*g - 0*g. Let k be q(g). Suppose k*r = 3 + 17. Solve r*o + 10 = -o for o.
-2
Suppose 10*u + 27 = 13*u. Solve -2*j + u = j for j.
3
Let h be (10/(-6))/((-5)/(-15)). Let v = 9 + h. Let c = -1 + 1. Solve c = -8*r + v*r for r.
0
Let g(l) = l**2 - 6*l + 8. Let o be g(5). Solve -o*v = -v + 10 for v.
-5
Let y be -2 - (0 + 88/(-4)). Solve -3*i = i + y for i.
-5
Suppose -5*h + 22 - 2 = 0. Solve 5*c = h*c + 1 for c.
1
Suppose -3*u = -16 - 23. Suppose -2*l - 2*l = -28. Solve l = 4*s - u for s.
5
Let c(v) = -v**2 + 4*v + 10. Let d be c(5). Solve 12 = d*i + 27 for i.
-3
Let v = 6 - -6. Let y(i) = i - 9. Let c be y(7). Let r = 2 + c. Solve r = -4*o + v + 8 for o.
5
Let l be (2 - -1)*(-28)/(-21). Suppose 5*u + 4*s - 12 = 0, -l*u - 2*s + 6 = -0*u. Suppose u*n + n - 3 = 0. Solve 0 = -n*h - 15 + 3 for h.
-4
Suppose -3*x = -z - 9, 2*z - z - 9 = -3*x. Solve 0 = -x*y + 14 + 1 for y.
5
Suppose 0*g + 2 = -2*g. Let f be (-1)/g - -13*3. Let q be (f/(-32))/(1/(-16)). Solve -q = -8*b + 3*b for b.
4
Suppose 0 = q - 3. Suppose 9 = 42*i - 39*i. Solve q*g = i - 0 for g.
1
Suppose -48 + 44 = -j. Solve 5*z - 1 = j for z.
1
Let q(p) = 2*p**2 - 4*p - 1. Let m be q(3). Suppose -3*k = 2*r - 16, -2*r = 2*r - m*k - 32. Solve 8*x - 4*x = -r for x.
-2
Suppose t - 2*j + 21 = 1, 3*t = -5*j - 16. Let o = t - -16. Solve -3*n + 2 = -o for n.
2
Let z(d) = -d - 4. Let x(t) = 3*t - 1. Let b be x(-1). Let i be z(b). Solve i = -4*n + 4 for n.
1
Suppose 4*d - 2 = 6*d. Let m be (0 - d) + -2 + 1. Solve m = 3*h - h + 2 for h.
-1
Let m be 2/(((-3)/(-4))/((-9)/(-8))). Solve 3*i = 4*i + m for i.
-3
Suppose 0 = -3*m - p - 3, 0*m - m + p + 3 = 0. Suppose 4*f + 9 = 4*q - 11, -4*q - 3*f + 20 = m. Solve 0 = q*o - 6 - 14 for o.
4
Suppose 28 = 6*o + o. Solve o*h + 2 - 6 = 0 for h.
1
Let r(f) = f - 3. Let w be r(12). Solve w = -3*k - 3 for k.
-4
Let z(n) = 5*n**2 - 3*n + 1. Let k be z(2). Solve 3*p = 6*p - k for p.
5
Let p = 34 + -20. Let g = -12 + p. Solve 4 = 3*s - g for s.
2
Let o(j) = j**2 - 5*j - 7. Let s be o(6). Let r be (0 - s)*(-2)/(-2). Solve 0 = -w + 2 - r for w.
1
Let k(q) be the second derivative of q**3/6 + 2*q**2 - q. Let x = 1 + -3. Let r be k(x). Solve s - r*s - 2 = 0 for s.
-2
Suppose -4*a + 21 = t - 0, 5*a - 4*t = 0. Solve 15 = p - a*p for p.
-5
Suppose 5*f - 7 = 13. Let i = f - 0. Let h(l) = l**3 - 3*l**2 - 2*l + 4. Let b be h(4). Solve -a + i*a = b for a.
4
Let d be (3/2)/((-2)/(-12)). Suppose -4*s + s - d = 0. Let b be 22 + (1 - 0) + s. Solve 4*x = -x +