(-24). Suppose q + q = 4. Solve n = -q*a - 3 for a.
-3
Let k(p) = p**2 + 2. Let s be k(0). Solve 3 = r - s for r.
5
Suppose 5*h - h - 16 = 0. Let v be (-11)/(-6) + h/24. Solve -5*m = -4*m - v for m.
2
Suppose -3*n - 4*t + 8*t = -36, -t - 12 = -n. Solve -2*q - n = 2*q for q.
-3
Let r be (-2)/(-2 - -10)*-4. Let o = 4 - r. Solve -4*v = -o*v for v.
0
Let w be (-1)/(10/(-4))*-5. Let p be (-20)/(-15)*(-3)/w. Solve -p*x = -x for x.
0
Suppose -17 + 5 = -3*w. Solve c = -3*c + w for c.
1
Let g = 61 + -58. Solve 2*s + 1 = g*s for s.
1
Suppose 2 = -5*i + 22. Let n be 2/(i/(-6)) - -5. Let h be 1*(n - 4)*-2. Solve h*g + 3 = 11 for g.
2
Let f(z) = -z**2 + 3*z. Let k be f(2). Solve 0 = -3*a - 4 - k for a.
-2
Suppose -4*x + 2 = 10. Let s(p) = -4*p - 2. Let q be s(x). Solve 0 = -f + q*f for f.
0
Let o be 4 - -3*4/(-6). Suppose 2*w - u = 5, 5*w = 2*u + 10 + 4. Solve w - 2 = o*d for d.
1
Let m = -31 - -46. Let p = -15 + m. Solve p = 4*f - 0 - 8 for f.
2
Suppose -8*t + 52 = 5*t. Solve -l + 20 = t*l for l.
4
Let h = 15 + -13. Solve 0 = -g - h for g.
-2
Suppose -2*o - 2 = z, 0 = -3*z + 3*o + o + 14. Solve -z = u - 2*u for u.
2
Let f(u) be the second derivative of 2*u**3/3 - u**2/2 + 8*u. Let r be f(1). Solve 0 = r*i - 13 + 1 for i.
4
Let u(x) = -x**2 - 13*x + 14. Let d be u(-14). Solve -4*b - 17 + 1 = d for b.
-4
Let o = 4 + -1. Suppose -u = 0, -5*u + 2 = -2*d + 6. Suppose 4*a = -0*b + 3*b - 20, -d*a + 18 = 2*b. Solve -o = y - b for y.
5
Let r(o) = -o**3 - 7*o**2 + 3*o - 35. Let i be r(-8). Solve 7 = -2*z + i for z.
-1
Suppose -4*l = 5*r - 2*l - 11, -5*l = -r + 13. Let p be 3 + 0/(9/r). Solve 0 = -q - p*q for q.
0
Let x be (7/2)/((-8)/16). Let f(m) = -m - 7. Let r be f(x). Solve z = -r*z for z.
0
Let a be (30/(-4))/(2/(-4)). Suppose 4*f - a = 9. Solve -f + 3 = -3*s for s.
1
Suppose 0 = 2*n - 3*n + 2. Solve 0 = 4*s - n*s + 10 for s.
-5
Suppose 0*a = -2*a + 30. Let p = 18 - 12. Solve 3*j + p = a for j.
3
Let w be 4/(-2) - (-5 - 11). Let v = w + -7. Solve v + 3 = -2*u for u.
-5
Let s(t) = t**2 - 5*t + 2. Let y be s(5). Let z be 51/3 - 2*1. Let l be 3/z - (-2)/(-10). Solve l = 2*i - i + y for i.
-2
Let s(f) = -f**2 + 6*f + 2. Let q be s(6). Solve r = q*r - 5 for r.
5
Let t(y) be the third derivative of -y**6/120 + y**5/15 - y**4/24 + 8*y**2. Let b be t(3). Solve 0 = -4*f + b + 10 for f.
4
Let n(g) be the second derivative of -5/2*g**2 + 0 + 3*g + 11/6*g**3 - 1/12*g**4. Let a be n(10). Solve -a*w + 2*w + 3 = 0 for w.
1
Let i(q) = q - 5. Let c be i(10). Suppose 0 = -6*g + 4*g. Suppose g*z = -2*z - 4*t + 6, -4*z + 4*t = -12. Solve -z*u + 4*u = c for u.
5
Suppose 5*q - 40 = -0. Solve -3*n - q = 7 for n.
-5
Let r(d) = d**2 + 5*d + 1. Let o(m) = m**2 + 5*m. Let p(l) = -4*o(l) + 3*r(l). Let y be p(-5). Let k(x) = 2*x - 1. Let i be k(y). Solve i*s - 14 = -4 for s.
2
Suppose 2*v - 1 = 1. Let l be ((-6)/(-2))/v - -1. Solve s = l - 2 for s.
2
Let f(t) = t**3 - 9*t**2 + 7*t + 8. Let u be f(8). Suppose -3*k - k = u. Solve -3*n + k*n = 0 for n.
0
Let g(d) = 4*d**3 + d**2 - d + 1. Let l be g(1). Let b = -5 + l. Solve 1 = -q - b for q.
-1
Suppose 7 = 5*m + 3*j, 3*m = 3*j + 8 + 1. Let k be ((-2)/m - 0) + 1. Suppose -2*b + 10 + 0 = 0. Solve -3*v + b*v = k for v.
0
Let b be (-69)/3*(-2 + 6). Let u be (-4)/22 + b/(-22). Solve 5*o = u*o - 4 for o.
-4
Let m(o) be the first derivative of -o**4/4 + 2*o**3 + 4*o - 2. Let y be m(6). Solve y*a - 1 = 5*a for a.
-1
Suppose -4*d + 13 - 1 = 0. Let p(q) = -q**2. Let b be p(-2). Let v be 1*b + 2 + 2. Solve v = -3*l - 0 - d for l.
-1
Let m be 2/(2/2) + 0. Suppose -x - 4 = -u, 0 = -2*u + 4*u - 4*x - 6. Suppose 0 = b + 2 - u. Solve -m*t = -b*t - 4 for t.
-4
Let z = 1 + -1. Suppose -3*a - 3 + 15 = z. Let d = -3 + a. Solve -y + d = -2*y for y.
-1
Suppose -2*x - 3*x = t + 11, -t - 3*x - 5 = 0. Suppose q - 16 = i, -3*i - 1 = -t. Solve q = 4*f + 5 for f.
3
Suppose -9*v + 11*v - 4 = 0. Solve 5 = -v*w - 3 for w.
-4
Suppose o = 3 + 3. Suppose -o*m - 4*p = -3*m - 75, -5*p = 3*m - 75. Solve 4*a = -a + m for a.
5
Let c = -66 + 76. Solve 4*f + 10 = -c for f.
-5
Suppose m - 2*y = -6*y - 3, 4*m - 4*y = -12. Let x be m*(1 + (-1 - 1)). Solve 0 = -0*v + x*v + 3 for v.
-1
Let v(b) be the first derivative of b**3/3 + b**2/2 + 5*b + 3. Let l be v(0). Solve -3 = -l*w + 7 for w.
2
Let z = -44 + 47. Solve y + 16 = -z*y for y.
-4
Let q be ((-1 - -1)/(-1))/(10/5). Suppose 7*y - 2*y = -2*b + 12, -2*y = -b - 12. Solve q = 5*l - y*l - 1 for l.
1
Let b = 6 - 6. Solve -z = -b*z for z.
0
Suppose -3*m + 3 + 3 = 0. Suppose -7*p - p = -72. Solve p = h + m*h for h.
3
Let t(u) = u**3 - 6*u**2 + 5*u - 26. Let i be t(6). Solve -9*v + i*v = 0 for v.
0
Let t be (18/(-5))/(3/(-15)). Suppose 14 = 3*x + f, -f - t = -3*x - 2*x. Let l be 0 + -2*(2 - 3). Solve x*i - 4 = l*i for i.
2
Suppose 0 = -2*r + 10 - 2. Solve -8 = -6*s + r*s for s.
4
Let f(a) = a + 5. Let x be f(-4). Solve -13 = 4*k - x for k.
-3
Suppose 3*r - 6 + 0 = 0. Suppose 5*x + 3*i = 16, 3*x + 4*i - 12 = r. Solve -1 = 3*l + x for l.
-1
Let s = 8 + 10. Suppose l + 2*l - s = 0. Suppose -c = 5*v, -5*c + 6*v = 2*v. Solve 4*g - g - l = c for g.
2
Let c(k) = -2*k**3 - 2*k**2 - 3*k - 2. Let a be c(-2). Solve -2*f - f = a for f.
-4
Let x = 52 + -33. Let q be (-2)/(-2) + -1 + 2. Suppose q*s = 5*i - i, 5*i - 14 = -s. Solve s*l - 3 + x = 0 for l.
-4
Let b = -2 - 1. Let r be (-12)/(-9)*b/(-2). Solve -o + r + 2 = 0 for o.
4
Let o = 10 - 7. Suppose -o*a = -5*k + 6, 1 + 5 = 2*a. Solve k*r - 7*r - 20 = 0 for r.
-5
Suppose 20 = d - 6*d, -4*t + 4*d = -24. Suppose -2 = -h + t. Suppose l + l = h. Solve -l*u - 3 = 1 for u.
-2
Suppose 0*a = h + 3*a + 10, 0 = h - 5*a - 22. Suppose -4*d + 35 = -5*p - h, 2*d = -p + 1. Solve -2*j - 5 = d for j.
-4
Suppose -12*d - 20 = -16*d. Solve -5*b + d = -5 for b.
2
Suppose -2*f - 4*c + 20 = 3*f, 2*f = 2*c + 8. Suppose 4 = 4*v + 4*p, -6*p + f = -2*p. Solve 6*i - 3*i = v for i.
0
Let c be ((-2)/6)/(-2 + (-85)/(-45)). Solve -2*p + 1 = c for p.
-1
Let s be (-3)/(-1) + 0 - (-20 + 19). Solve 0 = s*t + 1 + 11 for t.
-3
Let x be (-558)/(-27) + (-4)/6. Suppose -2*g + 2*q + 4 + 2 = 0, -4*g - 4*q + x = 0. Solve 0 = p - g + 3 for p.
1
Suppose -3*q = 5*v - 35, 6*q - 4*v - 16 = 4*q. Solve 4*f + q = -f for f.
-2
Let h be (4/(-3))/((-1)/3). Suppose -h*d + 7 = -3*d - 2*i, 3*d - 5 = -2*i. Solve 6 + 9 = -d*y for y.
-5
Let a = -16 + 16. Solve a = 4*x - 4 + 24 for x.
-5
Let k be 5/15 - (-14)/3. Suppose 2*w - 2*u + 2 - 8 = 0, -2*u = -w + k. Solve -9 + w = 4*j for j.
-2
Let k(p) = p**3 - 6*p**2 - 2*p + 14. Let i be k(6). Suppose 4*l = -0*l + 4. Let q be -1 - i - (l - 6). Solve -a = q*a - 6 for a.
2
Let d be 6/18 + 14/3. Solve -2*z + 3*z + d = 0 for z.
-5
Let w(y) be the second derivative of -y**4/12 - 3*y**3/2 - 5*y**2/2 + 2*y. Let f be w(-8). Suppose -3*d - f = -12. Solve z = -d*z + 4 for z.
1
Let w(o) be the third derivative of -o**5/60 + 5*o**4/24 - o**3/2 + o**2. Let u be w(3). Solve u = -n - 0*n for n.
-3
Suppose 2*a - 5*u = 1 - 20, 0 = -a - 2*u + 13. Let p be 2/4*0/(-1). Solve -x = -p*x + a for x.
-3
Let f(b) = b**2 - 4*b + 2. Let h be f(5). Let o be (-3)/9*(4 - h). Solve -4*z = -o - 11 for z.
3
Suppose -4*o = 5*q + 43, 0 = 3*q + 10 - 1. Let p = -4 - o. Suppose -2*m - 2 = 0, -m + 1 = 3*s - 16. Solve -n = s - p for n.
-3
Let m(v) = 0*v + 11 - 4 - 2*v. Let u be m(5). Let k(i) = i**2 + 2*i + 3. Let s be k(u). Solve 0 = -s*t + 4*t - 6 for t.
-3
Let n be (-2)/(-3) - (-10)/(-6). Suppose -3*p = -5*p + 2. Let i = n + p. Solve i = -5*m - 6 - 14 for m.
-4
Suppose -3*j = 5 + 1. Let y be ((-8)/6)/(j/3). Suppose -n - y*q = 3*q - 8, 5*q = n + 2. Solve -g + 4*g = -n for g.
-1
Suppose -w + 20 = 3*w. Suppose -40 = -w*q + 3*s, 3*q = -s + 2*s + 20. Solve -q*p = -p + 20 for p.
-5
Let i be (-3)/(5 + -2) + 1. Let y be (0*(-1 - i))/(-1). Suppose -a = -3*a + 10. Solve 25 = -a*n - y*n for n.
-5
Suppose -4*k - 5 = -2*t + 23, -1 = -4*t - 3*k. Solve -t*b = b for b.
0
Suppose 5*l - 2*z = -1 + 2, 4*l = 3*z - 2. Let v be (l - 7)/2*-1. Suppose v*n - 15 = -3. Solve 4*q = 2*q + n for q.
2
Let c(y) be the second derivative of -y**5/20 - y**4/12 + y**3/6 + y**2 - 2*y. Let t be c(-2). Let h = t - -2. Solve -2*r = r + h for r.
-2
Suppose 4*q = 2*s + 22, -3*q - 4*s - s + 23 = 0. Suppose -5*j - 2 = -17. Suppose 3*r = -j, 3*r + 30 = 5*n - 2*r. Solve -c = -q*c + n for c.
1
Supp