g*m - 7 for m.
-2
Suppose 5*f - 4 = 26. Suppose 2*w + 13 - 17 = 0. Solve u + f = -w*u for u.
-2
Let r be 1 + 15 - (-19 + 20). Let l(s) = -8 + 12*s - 7*s - r*s**2 - 20*s - s**3. Let d be l(-14). Solve d*p - p + 5 = 0 for p.
-1
Suppose 15*r = 47*r - 640. Solve r = 9*x - 5*x for x.
5
Let n(d) = -d - 1. Let u be n(-4). Suppose -52 = -41*p + 30. Suppose -m + 5*y = -21, 0 = -m + y - 6 + 19. Solve -p*t - u = -m for t.
4
Let f = -15 - -25. Let b = f + -10. Suppose 5 = 2*s - s - 2*j, b = 3*s + 3*j - 33. Solve -4*v = -s + 25 for v.
-4
Let b be (5 - 2 - -1)*2. Let t(x) = x**3 - 9*x**2 + 10*x - 12. Let y be t(b). Suppose -3*m + 15 = 3*g, 2*m + 13 = 3*g + 3. Solve -y*u + 3 = -m for u.
1
Suppose -363 = -10*d - d. Solve -d*c = -35*c for c.
0
Let m(w) = 19 - w - 4*w + 2*w**2 + w - 16. Let a be m(1). Solve k - 2 - a = 0 for k.
3
Suppose 3*z = 5*t + 4, 7*t + 5*z - 20 = 2*t. Suppose -5*j - t + 16 = 0. Solve j*l - 3 - 3 = 0 for l.
2
Let v = 16 - 13. Suppose -5*m + v*d + 52 = 0, -m - 5*d = 3*m - 12. Let q be (28/m)/7*26. Solve 3*t - 2 = q for t.
5
Let j = 811 - 808. Solve -8*n = j*n - 55 for n.
5
Let b = 211 - 210. Solve 1 = 2*n - b for n.
1
Suppose 2*q + 12 = 6*q. Suppose -q*s = 3*h - 12, -4*s = -5*h + s. Solve h*p = p for p.
0
Let y(j) be the second derivative of -j**3/6 - j**2 - 2*j. Let i(f) = -f**2 - 10*f - 11. Let l be i(-9). Let t be y(l). Solve -3*z - 2 + 5 = t for z.
1
Suppose -3*j + 4*y - 12 = 0, 3*j + 4*y - 5 - 7 = 0. Suppose -3*x + 2*x = v, 0 = -5*x + v - 12. Let r be 2 + (x - -1) - -4. Solve r*q = -j*q for q.
0
Suppose 0 = -9*j + 549 - 1503. Let a = 116 + j. Solve -a*v = -6*v - 16 for v.
4
Suppose -4*r = -5*p + 3 - 10, 2*r - 36 = -4*p. Solve -2*o = -r + 18 for o.
-5
Let l(z) = -2*z. Let i be l(-4). Suppose -4*a + i - 56 = 0. Let q be 4/(-6) - 44/a. Solve x - q = -1 for x.
2
Let j be 0/(-3)*(56/(-12) + 5). Suppose 1 = -c + 3. Let f be j/(-10)*(1 - c). Solve f = i - 4*i - 9 for i.
-3
Suppose -17*a - 884 = -43*a. Solve -w = -a + 38 for w.
-4
Let k(b) = -3*b - 19. Let j be k(-7). Let v(x) = 9*x + 0 - 1 - x**2 + 12. Let q be v(10). Solve p + q = j for p.
1
Let n = 3 - 1. Let u = 5 - 0. Let i be ((-69)/(-15) - 4)*u. Solve -k = n*k - i for k.
1
Let c(q) = -2*q. Let p be c(-4). Suppose -3*r = -1 - p. Solve -r*i + 0 = -3 for i.
1
Let w(a) = a**3 - 17*a**2 - a + 27. Suppose 0 = -17*p + 23*p - 102. Let u be w(p). Solve 7*v = 2*v - u for v.
-2
Suppose -3*y + 3*a = -9, y - 4*a - 11 = -7*a. Solve y*z + 17*z - 22 = 0 for z.
1
Let q = -224 + 230. Solve -6*s + q - 36 = 0 for s.
-5
Let u be 184/64 - 5/(-40). Solve -z = -0*z - u for z.
3
Let l = -499 + 499. Solve l = 8*i - 15*i + 7 for i.
1
Suppose 36 + 30 = 6*o. Let q = -24 + o. Let z = q - -13. Solve z = -2*t - 2*t + 8 for t.
2
Let x = 22 - 20. Let i(h) = 3*h + x*h**2 + 7*h - 8 - 3*h - h**2. Let s be i(-8). Solve -3*z = -s*z for z.
0
Let v(q) be the second derivative of 7*q**3/6 - 21*q**2/2 - 2*q. Let j be v(3). Solve j = -2*z + z for z.
0
Suppose -4*u + u - 108 = -3*p, -5*p = 4*u - 135. Let f = 35 - p. Let w = 7 + -3. Solve -f*h + 0 = w for h.
-1
Let p(f) = f - 3. Let c be p(7). Suppose 3 = -4*x - 1. Let j = c + x. Solve 7 = -4*v + j for v.
-1
Let h(z) = 2*z**3 + 35*z**2 - 28*z - 154. Let i be h(-18). Solve 5*j - i = -8*j for j.
2
Let m be ((52/(-12))/13)/(2/(-18)). Suppose 2*g - 3 - 1 = 0. Let a = g - 0. Solve a*k = m - 5 for k.
-1
Suppose 5*l - 6*l = -3*b + 7, 9 = 5*b - 3*l. Solve b*j - 6 = -9 for j.
-1
Suppose 12*g = g. Solve g = -9*q + 5*q + 16 for q.
4
Let b(k) be the first derivative of -k**4/4 - 5*k**3 - 6*k**2 + 16*k + 5. Let j be b(-14). Let y = j - -28. Solve -4*d = -0*d + y for d.
-4
Let c = -22 + 26. Suppose -4 = -c*v, v = 4*g - 0*g - 11. Solve 0 = -g*t - t - 8 for t.
-2
Let x be (-1)/(-4) - ((-525)/28 - -6). Let l be (-6)/(-21) + (-33)/(-7). Suppose -p = -l*p + 12. Solve -p = -5*z - x for z.
-2
Let y be ((-110)/(-22))/((-2)/(-6)). Solve -5*a - y = -8*a for a.
5
Let b(t) = t**2 + t - 1. Let c(d) = 2*d**2 - 6*d - 13. Suppose 0 = 2*s - 4*s - 2. Let l(z) = s*b(z) + c(z). Let m be l(9). Solve 3*g + m = -0*g for g.
-2
Let c be (-8)/6*(-9)/3. Suppose 5*g = 30 - 0. Suppose 2*z + c = g*z. Solve 3 + z = 4*p for p.
1
Suppose p = -49 + 44. Let j be (-2)/p - (-490)/25. Solve j = -5*x - 0 for x.
-4
Let y(n) = -n**2 - 16*n + 41. Suppose 144 = -8*b - 0*b. Let a be y(b). Solve c = a*c + 20 for c.
-5
Suppose -2*m - 4*d = 44 + 56, 4*d - 200 = 4*m. Let u = 50 + m. Suppose 3 = -l + 5. Solve 6 = l*y - u for y.
3
Suppose 104 = 5*m - 3*i + 272, 4*i + 16 = 0. Let y = 36 + m. Solve 5*n - 2*n - 6 = y for n.
2
Let p be 54/8 - 32/(-128). Solve 0 = p*a - 6*a - 5 for a.
5
Let x(o) = 4*o**2 - 40*o - 58. Let p be x(12). Solve -p*g = -12*g - 78 for g.
3
Suppose -24*m + 2 = -23*m. Let y(t) = t**2 - 3*t + 2. Let o be y(3). Suppose -o*v = -v. Solve r - m*r = v for r.
0
Let g be 2/((-130)/(-35) + -4). Let i be (-32)/(-12)*(-4 - g). Solve -3*l + i*l + 10 = 0 for l.
-2
Let o = 481 - 419. Solve 20*b - o = -22 for b.
2
Let b(t) = -9*t - 1. Let n(q) = -q - 10. Let f be n(-8). Let p be b(f). Let w be (2/6)/(p/204). Solve -5*u - w = 1 for u.
-1
Suppose -4*v - x = -12, 0*x - 8 = 2*x. Suppose v*m - 88 = -4*p - p, 3*m - 6 = 0. Let q(o) = -12*o**2 + 19*o - 2. Let z be q(1). Solve -1 = -z*r - p for r.
-3
Suppose -4*h - 5*a - 13 = 0, h - 3*h = 3*a + 9. Suppose -h*u + 50 - 2 = 0. Suppose b - 23 = -2*b - 2*n, 4*n = u. Solve -15 = -0*p + b*p for p.
-3
Let p(g) = -10*g - 43. Let s(r) = 7*r + 29. Let d(t) = -5*p(t) - 7*s(t). Let j be d(-8). Solve -h + 0*h = j for h.
-4
Let t(q) = q**2 - 3*q + 4. Let u be t(3). Suppose 0 = 2*z - 6, -3*j - u*z + 27 - 6 = 0. Suppose 7*p - j*p = 4. Solve 0 = -2*w + p + 3 for w.
2
Suppose -2 = 5*r - 12. Suppose 0 = 5*o - r*o - 18. Suppose o*b - 20 = b. Solve -5 = -b*f - 21 for f.
-4
Suppose -3*g - 3*a = -3, -3*g = -2*a - a + 3. Solve g = 5*f - 5 - 10 for f.
3
Let q = 409 - 407. Suppose 0 = 8*f - 4*f. Solve f = -r + q - 3 for r.
-1
Suppose 0 = 4*h - 0*h - 12. Let j(a) = -a**2 - 8*a - 3. Let b = 46 + -53. Let i be j(b). Solve -h*w = -i*w for w.
0
Let u = -159 - -162. Solve 3*c = 4*c + u for c.
-3
Let j(y) = 4*y + 5. Let h(z) = -5*z - 6. Let l(r) = 5*h(r) + 6*j(r). Let b be l(-1). Suppose -b = 2*k - 5. Solve k*m = -2*m - 16 for m.
-4
Suppose 7*g - 2*g - 22 = -3*m, -5*m = 5*g - 30. Solve -3 = -g*d - d for d.
1
Let i be ((-6)/(-5))/(-3)*-20. Solve -10 = i*p - 3*p for p.
-2
Let v(s) be the second derivative of -s**5/20 + 5*s**4/12 - s**3/6 - 7*s**2/2 + 3*s. Let j be v(3). Solve -j = 3*q - q for q.
-4
Let u(r) = 6*r**3 - 2*r**2 + r + 1. Let k be u(1). Solve k*w - 30 = -18 for w.
2
Let d be 136/16 + 6/(-4). Suppose -5*q = -3 - d. Let y be (4/3 - q)*-6. Solve -y*i - i = 15 for i.
-3
Let x(y) = -4*y - 8. Suppose -2*q + 3 = -q. Suppose 6 = -q*b + b. Let u be x(b). Solve i = -i + u for i.
2
Let r(t) = t**3 - t**2 - 1. Let f be r(2). Let z be f/((-18)/4)*-27. Let o = -9 + z. Solve -3*n = -0*n + o for n.
-3
Let y = -1 + 7. Let r be 9 + 2/(-4 + y). Solve 0 = -5*k - r for k.
-2
Suppose 1488*d = 1495*d - 350. Solve d*l - 56*l = 18 for l.
-3
Let l be 93*(-2)/9*-3. Let q = -62 + l. Solve 0 = -g + 3 - q for g.
3
Suppose 21*f = 22 - 1. Solve 9*g - 10*g - f = 0 for g.
-1
Suppose 3372*a = 3382*a. Solve k = -a*k + 3*k for k.
0
Suppose -2*l = 6, 5*l - 47 = -4*o + 58. Solve 0 = 2*i + 20 - o for i.
5
Suppose -3 = -f + 2. Let q be ((-3)/f)/(3/(-15)). Solve q*z + 17 = 2 for z.
-5
Suppose 1 + 4 = b. Suppose 6*w = b*w + 4. Solve -4 = w*j - 2*j for j.
-2
Suppose 4*u - 8*u = 0. Let r be (2 + 0)*(u + 3)/3. Solve -3*i + r*i = -1 for i.
1
Let s = -14 + 25. Let h be (-1 - 1) + 13 - 4. Suppose 3*n - 2*n + h = -5*l, -s = -3*n + l. Solve -1 - n = 2*p for p.
-2
Let m be ((-20)/8)/(5/(-4)). Suppose -35 = -m*j - 3*j. Solve -4*d - j = -15 for d.
2
Let q be (-2)/(-7) - ((-165)/35 + 3). Suppose -1 = -q*b + 1. Solve b = -2*s - 1 for s.
-1
Suppose 8*j - 304 + 288 = 0. Solve 0 = -j*g + 2 - 8 for g.
-3
Let w be 4 - 8 - -1 - -3. Suppose r + 3*r = w. Solve r = 3*q + 13 - 1 for q.
-4
Suppose 46 = 3*q + 1. Solve -q*n + 10*n - 25 = 0 for n.
-5
Suppose 0*b - 16 = 4*b, -5*o - 3*b + 118 = 0. Solve o*s = 15*s - 44 for s.
-4
Suppose -10 = -a + 15. Suppose 5*s + a - 8 = -2*m, -3*m - 8 = 4*s. Solve m*p - 10 = -p for p.
2
Let d(w) = w**3 - 2*w**2 + w. Let p be d(1). Let y = 3 - p. Solve 