6/(-15). Solve g = 2*p - p - 2 for p.
2
Let a be 8 - 3 - 1 - -1. Suppose 0*u + a = u. Solve r - 4 = u*r for r.
-1
Let r = -8 + 15. Let b be (1 - 1)/(-3 - -1). Suppose b = x - 5 + 3. Solve -r*o = -x*o for o.
0
Let i be ((-12)/8 - -2)*-2. Let x = i + 6. Let q be (5/4)/(2/8). Solve -2*n - q = x for n.
-5
Suppose 5*b = 5*o - 5, 3*o + 7*b - 2*b = 3. Solve 9 = 2*l + o for l.
4
Suppose 4*w = -3 + 15. Suppose 4*z = w*i - 4, -2*z = 2*z - 4*i + 8. Solve 0 = -4*g + z*g - 4 for g.
-2
Let y = 3 + -3. Suppose -1 = -p + 2. Suppose 4*f + g = -2*g - 6, 0 = 4*f - g - 2. Solve p*a + y*a + 3 = f for a.
-1
Suppose 2*i + 3*v = i + 16, -5*v = -4*i - 21. Let n = 0 + i. Suppose 0 = 2*w - 0*w - 10. Solve n = w*b + 6 for b.
-1
Let s(l) = -1 - 3*l - 1 + 0 + 2*l. Let p be s(-6). Solve -p = 2*a + 2*a for a.
-1
Let s(d) = -d + 3*d - d - d**2. Let k be s(1). Let b = -2 - -6. Solve -4*n - b = -k*n for n.
-1
Suppose -3 = -3*u - 2*o, 4*u + 5*o - 1 = -4. Suppose 4*p + p + 2*l = 27, u*l = -5*p + 28. Solve p = -w - 4*w for w.
-1
Let q be 20/(-3)*(4 + -7). Suppose -9*x + 4*x - 13 = -2*b, 2*x - 20 = 5*b. Let s(t) = -t**2 - 7*t - 6. Let m be s(b). Solve 5*d + 0*d + q = m for d.
-4
Suppose 0 = 3*r - 4*s + 32, -5*r - 66 = -5*s - 16. Let v = r - -11. Solve v = 3*a - 0 for a.
1
Suppose 18 = 13*k - 10*k. Solve 3*n - 18 = -k for n.
4
Let u(i) = 5*i. Let l be u(1). Solve 3*y = -l - 10 for y.
-5
Suppose -2*i + 7 = -9. Suppose -3*j + i + 4 = 0. Suppose -j*m + 30 = m. Solve 12 = -m*s + 2*s for s.
-3
Let k(h) be the first derivative of -h**3/3 + 3*h**2 + 2. Let v be k(5). Let l = 5 + -3. Solve l*y + 15 = v*y for y.
5
Let r be 13/4 + (-3)/12. Suppose -8*p = -22*p + 154. Solve -r = -4*f - p for f.
-2
Let n be 34/30 - (-6)/(-45). Solve -h + n = -0*h for h.
1
Let g = 8 - 5. Suppose 0 = -4*h + 3*x + 80, -5*x = h - x - 20. Solve w = -g*w - h for w.
-5
Suppose -d - 4*v = 0, 0 = -2*d - 3*v + 7*v + 12. Let m be (d/8)/((-1)/16). Let g = -3 - m. Solve -g*l = -l for l.
0
Let h(b) = -5*b. Let t be h(7). Let w = t + 55. Let p be (1 + 1)/((-4)/(-6)). Solve 8*k + w = p*k for k.
-4
Let u be 2/((-1)/2 - -1). Solve -2*a = -4*a + u for a.
2
Let a(h) = -h**2 + 6*h - 5. Let m be a(5). Suppose 0 = 2*c - i - 5, -4 = -2*c + i + i. Suppose 3*w + c*t - t = 22, 4*w = -t + 21. Solve l + m - w = 0 for l.
4
Let u(v) = -v**2 - 4*v + 2. Let j be u(-4). Let y = j - 1. Let p(q) = q**2 + q + 1. Let x be p(-2). Solve x + y = -4*k for k.
-1
Let h(d) = d + 8. Let w be h(-6). Let c = w + 2. Solve c*s = s - 15 for s.
-5
Let l(u) = u**3 + u**2 - 10. Let q be l(0). Let w = -10 - q. Solve -j - 2 = -w for j.
-2
Let f(x) = -x**3 + 10*x**2 - 10*x + 13. Let z be f(9). Solve -9 = -5*r - z for r.
1
Let n(m) be the second derivative of m**3/6 + m**2 - 2*m. Let f be n(6). Let j = f - 8. Solve j*d + 6 = 2*d for d.
3
Suppose 24 = 5*s - 16. Suppose 0*l = -3*l + 6. Let n be (-48)/(-21) - l/7. Solve 4*a = n*a - s for a.
-4
Suppose -5*c = 0, 3*c + 5 = 5*x - c. Let l be (0 - 0) + 0 + x. Solve -2 - l = -n for n.
3
Let x be 1*1/(1 - 0). Let o = -27 - -31. Solve -g - x = -o for g.
3
Let w = 25 - 9. Let q = w + -14. Solve q*p - 7*p = 5 for p.
-1
Let i(q) = q + 2. Let v be i(-2). Suppose 0 = -k + 2*n - n + 6, -2*k - 3*n = 13. Let g = k + v. Solve g - 4 = -s for s.
3
Suppose 2*w + 3*w + 330 = 0. Let s be 2/((-2)/8*2). Let u be s/(-6) + w/(-9). Solve n = -3*n - u for n.
-2
Let a be (-1)/(2/(-40)*-1). Let f be (2 + -4)*a - 2. Let z = f + -18. Solve 3*j - 7*j - z = 0 for j.
-5
Let y(b) = -b. Suppose 0 = -g - 2*k + 6 + 1, -4*g + 2*k - 12 = 0. Let m be y(g). Solve 0 = 5*n + 9 + m for n.
-2
Suppose -2*f + 5*f = 15, -5*f + 45 = 5*a. Solve 0 = a*h - 0*h for h.
0
Let z be ((-2)/4*0)/((-2)/(-1)). Let s = -1 - -2. Solve o - s + z = 0 for o.
1
Let r(s) = 3*s - 11. Let c(b) = -1. Let g(q) = -2*c(q) + r(q). Let a be g(4). Solve 0 = -4*j - 11 + a for j.
-2
Let g = 45 - 37. Solve s - 5*s + g = 0 for s.
2
Suppose -c + 1 = 0, 4*c + 5 = 4*t - t. Let h be 3/6 + t/2. Solve -h = j - 0 for j.
-2
Suppose -4*b = 2*q - 48, 0 = -3*b - 3*q + 4*q + 26. Suppose 3*y - 14 = 2*g, -2*g + b = -y + 4*y. Solve 0 = w + w - y for w.
2
Let y be (3 + 24/(-9))*-3. Let a be 0/11 - y*3. Solve -m = -a*m for m.
0
Suppose -120 = -4*v + 4*t, -6*v + v + 195 = 4*t. Suppose -13*a = -18*a + v. Solve -5*p + 3 + a = 0 for p.
2
Let t = 0 + 6. Let r = t + -4. Suppose r*k - 4 = -2*q, -8 = 4*q - 3*q - 4*k. Solve -6*x + 2*x = q for x.
0
Suppose 4*g - 64 = 12. Let p = g - 4. Solve 3*c - 6 = -p for c.
-3
Let m = -11 - -36. Solve -7*b + 2*b + m = 0 for b.
5
Suppose 3*o = 2*h + 15, -2*h + 3*h = -2*o + 17. Solve -4*q = -o*q + 9 for q.
3
Suppose 32 + 0 = 4*f. Let p = f - 4. Suppose 2*m = -p*l + 24, 3*m + 5*l - 7 = 24. Solve m = 4*s - 18 for s.
5
Suppose 4*b = 2*r - 5*r + 25, -2*r + 3*b + 11 = 0. Suppose -8 - r = -5*a. Suppose 2 = -5*k + 7. Solve -u + a = -k for u.
4
Let i(u) = -u**3 - 3*u**2. Let a be i(-3). Let c = 0 - a. Let k = c - -3. Solve -k = -j - 0 for j.
3
Let i be 9*(1 + 8/(-6)). Let j be 2/(-3)*i*1. Solve 0 = -j*r - 0*r + 2 for r.
1
Let k be 3 - (2/(-1))/1. Suppose 5*c - 10*c + k = 0. Solve -4*d + 13 = c for d.
3
Let m(t) = 5*t - 5*t**2 - t + 1 + 6*t**2. Let a be m(-5). Let v(q) = -q**2 - 12*q + 5. Let r be v(-12). Solve -n = -a*n + r for n.
1
Let h(n) = n**2 - 4*n + 11. Let v be h(3). Solve 0 = 3*o + v - 17 for o.
3
Let u = 2 + 4. Let q = u + -4. Let v be 3/(-12) - (-5)/4. Solve d - v = -q for d.
-1
Let k be (3/(-30)*4)/(2/(-60)). Solve 4*p + k = -0*p for p.
-3
Let i be 3*8/6 - 2. Solve -2*x = i - 0 for x.
-1
Let o be (2/(-6))/(2/(-12)). Suppose o*h = h. Let p be ((-8)/10)/(1/(-5)). Solve h*l = l - p for l.
4
Let x be 4/2 - (-4)/4. Suppose 3*p - 4 = -y, 3 = -x*p + y - 1. Solve -5*k = -p*k + 10 for k.
-2
Suppose -21 = -5*d - 6. Let c be (-14)/(-4)*(-36)/(-42). Solve c - 9 = d*z for z.
-2
Let a = -11 + 8. Let u = 9 + a. Suppose 3 = -5*h - 2, -5 = 4*w + 5*h. Solve -2*q + 0 - u = w for q.
-3
Let a = 0 + 0. Suppose a = v - 5 + 3. Solve 0 = -2*i + v - 10 for i.
-4
Let t = -1 + 2. Let k = 1 - t. Suppose 2*h = -0*h + 8. Solve k*o + h = -2*o for o.
-2
Let p be (-10)/25 + (-24)/(-10). Let j be 2/p - (-4 + -3). Solve r + 3*r = -j for r.
-2
Let d(i) = 3*i**2 - i. Let k be d(1). Suppose 7*m - k*m - 20 = 0. Let z = m - -1. Solve z*n - 12 = n for n.
3
Let l(u) = u - 3. Let f be l(-4). Let y = 17 + f. Suppose -2*h + y = -0. Solve 6 = h*s + 1 for s.
1
Suppose -22 = -5*c + 103. Suppose 4*h - 4 = 16. Suppose -h*w + 12 + 18 = 0. Solve -w*g + g - c = 0 for g.
-5
Suppose 3*h + 3 = -3. Let r be (h/4)/((-2)/24). Solve 0 = o - r*o for o.
0
Suppose 2*p - 14 = -4, 3*w + 2*p - 22 = 0. Solve -m + 3 = w for m.
-1
Let l = -25 + 17. Let b = l + 16. Solve 3*s - 7*s - b = 0 for s.
-2
Suppose 2*c = -2, 0*w - 3*c - 9 = -3*w. Suppose p + b - 6 = 0, -w*p + b + 8 = -4. Let s be (0/1)/(-1 - -2). Solve 3*d - 6*d - p = s for d.
-2
Suppose 5*w + 20 = 5*c, -4*w + w - 3 = 0. Suppose -c*h = -0*h. Solve -b - b + 2 = h for b.
1
Let x(y) = y**2 + 3*y - 1. Let a be x(-3). Let t = a + 4. Suppose t*k + 0*k = 0. Solve q - 3*q = k for q.
0
Let h(k) = 2*k + 2. Let n be h(1). Solve -16 - n = 4*s for s.
-5
Let u(i) = i**3 - 3 - 2*i**2 - 3*i + 0*i**2 - 6*i**3. Let l be u(-2). Suppose -3*k + r + l = 0, -r - 2 = -3*r. Solve 2*m = -m + k for m.
4
Let a be 6/(-8) + (-6)/(-8). Let b = -21 - -31. Suppose k = -4*u - 11, u + 4 = -2*k + 10. Solve -b = -a*l - k*l for l.
2
Let w(i) = 2*i**2 - 2*i - 1. Let u = -7 + 6. Let p be w(u). Solve 2*k + p*k - 15 = 0 for k.
3
Let l(c) = 2*c + 24. Let n be l(-11). Solve n*i + 10 = 7*i for i.
2
Let k = -7 + 5. Let v = 6 + k. Let s be v/(-14) + (-18)/(-14). Solve -5*r + 4 + s = 0 for r.
1
Suppose -y = -2*y + 2*h + 16, 0 = 3*y + 2*h - 24. Solve 4*q - y = -q for q.
2
Suppose 6*f - 4*f = 10. Let v = -2 - -6. Solve -v*a + 1 - f = 0 for a.
-1
Let f be (-34)/(-10) - 6/15. Solve -f*t - 4 = -1 for t.
-1
Let i = 21 + -16. Solve 0 = i*t + 18 + 2 for t.
-4
Let g = 21 - 18. Solve g*m + 2*m = 0 for m.
0
Let u be (20/(-8))/((-2)/4). Let r = -2 + u. Solve f - r = -0*f for f.
3
Let s be (2*12/(-8))/((-1)/1). Solve v - s*v = -2 for v.
1
Suppose 5*t + z = 3, -3*t - 2*t + 6 = 2*z. Suppose 0 = -2*u + 10 - t. Solve -p - u = -2 for p.
-3
Let d = 25 + -5. Solve -5*n = -n + d for n.
-5
Let w be (-3)/3 + 2 - -1. Let t be 1/1*-1 + 2. Let p be 4 + 2/(w - t). Solv