t c = -3 + s. Solve 4*q + 0 = -c for q.
-1
Let n be 10 + -3 + -3*(-1)/(-3). Solve -17 = n*w + 1 for w.
-3
Suppose 3*s + 3 + 3 = 4*h, -s = 3*h - 11. Let d(t) = t**3 - s*t**2 + 3*t - 6 + 0*t**3 + 4. Let x be d(2). Solve 5 = -x*g + 25 for g.
5
Let k be (-2)/(-3)*6/4. Let r be k*(1 + -2 - -1). Let g be (-1 - r) + 6 + -1. Solve m = -g*m - 5 for m.
-1
Suppose 0 = 4*u - 7*u. Let l be (-12)/(-2) - (u + 2). Solve 3*m - 5 = l for m.
3
Suppose 5*q + 12 - 37 = -5*t, -4*t + 2*q = 10. Suppose 0 = 5*m - 0*u + u - 27, t = -5*m + 5*u + 15. Solve 0 = -g + m*g for g.
0
Let d be 0 + 9 - 8/2. Solve 0*v - d*v + 5 = 0 for v.
1
Suppose -3 = 30*h - 31*h. Solve 3*q - h = -9 for q.
-2
Suppose 3*j = 5*x + j + 10, -2*x - 4*j = -20. Solve 0*m - m - 3 = x for m.
-3
Suppose -2*l - b + 5 = 0, -6*l = -2*l - 5*b - 45. Solve 4*o = -3 - l for o.
-2
Let g be 2*(-1)/(-3)*6. Suppose 0 = x, 0 = -m + 4*x - 10 + 1. Let z be 0*(-2)/4 - m. Solve l - z = g*l for l.
-3
Suppose -2*a + 3*f = 22, 3*a + 4*f + 4 = -a. Let m = 8 + a. Solve 9 = -3*d - m for d.
-4
Suppose 0 = 5*t + 3*i - 26, 2*t - 4*t - 5*i = -18. Solve 0 = -t*l + 2 + 18 for l.
5
Let z(r) = -8*r**3 - r**2 + r + 2. Let l be z(-1). Solve v + v = l for v.
4
Suppose 4*f + 5*p = -0*p + 37, -f - p + 8 = 0. Suppose -6 = -3*s + f. Solve s = 4*o + 23 for o.
-5
Let x be 12/10*135/18. Let m(d) = -8*d - 2 - d**3 - 1 + 10*d**2 + d. Let g be m(x). Solve -2*i - g = 3*i for i.
-3
Suppose 0*x - 5*n = -x + 3, -3*x + 9 = 2*n. Solve -x*d + 1 = 7 for d.
-2
Let j(p) = p. Let i be j(5). Suppose i*b = 10 - 0. Suppose b*o = 3*m + 14, 0 = -4*o + 6*m - 2*m + 24. Solve -c - 1 = o for c.
-5
Let j(r) = r**2 - 4*r + 4. Let z be j(3). Suppose -5*l + 6*l = 4. Let s = l - z. Solve 12 = s*n - 3 for n.
5
Suppose -4*f + 15 - 7 = 0. Suppose m - f*s = 3, -2*s = -3*m + 9 + 4. Solve -m*c - 4 = 11 for c.
-3
Let u(a) = -a + 8. Let j be u(5). Let g = 53 + -52. Solve -g = -4*q + j for q.
1
Suppose 4*v - 34 = -2*m, 3*v - 3 = -0*m + m. Suppose 0 = 4*s - s - m. Solve 6*g - s = 3*g for g.
1
Let v(n) be the second derivative of n**4/12 + 11*n**3/6 + 3*n. Let f be v(-11). Suppose -2*a + 2 + 4 = f. Solve a = 2*b - 5 for b.
4
Let f = -1 - 8. Let v be ((-12)/f)/((-8)/(-18)). Let a be (1 + -3)*(-10)/4. Solve 0 = -a*n + 2*n + v for n.
1
Suppose -h = 3*f - 23, 5*f - 3*f - 17 = -h. Suppose s = 4*s - f. Solve 25 = -3*y - s*y for y.
-5
Suppose 2*a - 20 = -2*x, 5*a = -4*x + 42 - 7. Solve 0 = -5*s - x for s.
-3
Suppose 0 = -19*u + 133. Solve 5*z - 8 - u = 0 for z.
3
Suppose 4*w = o + 16, -3*w + 8 = 3*o - 4. Solve 0 = -2*t - o*t - 10 for t.
-5
Let u(f) = 5*f + f**3 - 4*f + 5*f**2 + 1 + 3 - 3. Let b be u(-4). Solve 0 = 2*c + 5 - b for c.
4
Let r = 6 + -14. Let v = 10 + r. Solve -v*m + 4*m = 2 for m.
1
Suppose 6*h - 36 = 2*h. Solve h = f + 2*f for f.
3
Let c(b) = b**3 - 4*b**2 - 5*b + 4. Let f be c(5). Suppose -f = -5*s + s. Suppose -s = 5*q - 6. Solve k + q = 2*k for k.
1
Let h be -2 + 8 + 1 + -4. Solve -5*f - h - 2 = 0 for f.
-1
Let z = 6 - 15. Let b = z - -11. Solve -b*g + 8 + 0 = 0 for g.
4
Let u = -1 - -3. Let o be (-2)/4*(-24)/4. Solve -u*g - o*g = 0 for g.
0
Suppose -3*f + 12 = 3*f. Solve f*z = 3*z for z.
0
Let y = -88 + 93. Solve y = -10*f + 5*f for f.
-1
Let l = -19 - -13. Let v be 1*l*(-1)/2. Suppose -2*d - 18 = -4*a, 0 = -0*a - v*a + 3*d + 12. Solve a = -n + 6*n for n.
1
Let m be 1/(-2) - 26/(-4). Let i be ((-10)/4)/((-3)/m). Suppose -3*a + 6 = -i*f - 25, -7 = -a + f. Solve 0 = -a*y - 0*y - 2 for y.
-1
Let v(x) be the second derivative of -x**4/12 + x**3 - 3*x**2/2 - 4*x. Let k be v(5). Solve h - k = 3 for h.
5
Suppose 5*a = a. Let x be 2 + -4 - (-3 - 4). Solve x*m + a*m = 20 for m.
4
Let h be 3*((-4)/(-2))/6. Suppose 3*p - 3*z - 10 + 1 = 0, -2*z + 8 = 5*p. Suppose -p*b - h = -15. Solve -2*j - 15 = -b*j for j.
3
Let y(s) be the second derivative of s**3/6 - 4*s. Let x be y(5). Solve -2*r = -7*r + x for r.
1
Let o = 5 - 2. Suppose -16 = o*a - a. Let j be (-10)/a + 2/(-8). Solve 0 = -x + 4 - j for x.
3
Suppose 3 = -3*i - 3*n, 0 = -4*i - 0*n + 5*n + 5. Suppose -5*x + 50 = -i*x. Suppose 6*t - t = x. Solve -7*b - 20 = -t*b for b.
-4
Let t(m) = 5*m**2 + m + 4. Let f(n) = 26*n**2 + 4*n + 20. Let s(z) = -3*f(z) + 16*t(z). Let b be s(-3). Solve 2*i = -0*i + b for i.
5
Suppose 3*u = 3, y = -4*y + 4*u + 11. Solve -y*k + 3 = -3 for k.
2
Suppose -5 = -3*w + 5*m, -w - 1 = 2*m - 10. Solve -3*b + w*b = 2 for b.
1
Let k(s) = 5*s**2. Let o be k(-1). Solve o*c = -0*c + 5 for c.
1
Suppose -6*n = -n - 10. Suppose -3*j + 110 - 5 = 0. Suppose 6*c = -4*z + 2*c + 28, 2*c + j = 5*z. Solve -z - n = -3*k for k.
3
Let g(k) = 2*k - 26. Let w be g(13). Solve w = -4*x + 3*x for x.
0
Let b(a) = 7*a**2 - 1. Let y be b(1). Let k(n) = -n + 1. Let x be k(-5). Let u = y - x. Solve u*d + d = 0 for d.
0
Let q = -48 + 56. Solve -3*c + q = -7 for c.
5
Suppose -2 + 4 = -2*n + 4*h, -5*n + h + 22 = 0. Let a = -2 + n. Solve -a - 5 = -4*v for v.
2
Let a = 16 + -11. Solve 4*f + a + 11 = 0 for f.
-4
Let c(k) = -1 - 3 - k - k**2 - 3*k - 3*k. Let f be c(-6). Solve -f = 3*p - 4*p for p.
2
Let k(c) = 3*c - 12. Let l be k(6). Let z = 10 - 7. Suppose 0 = -z*t - 0*t + l. Solve -3*i - t*i - 20 = 0 for i.
-4
Let i = -26 + 26. Solve i = -3*f + 5*f for f.
0
Let s be (-18)/(-4)*2/3. Suppose 161 = s*u - t + 22, 3*u - 134 = -4*t. Suppose -5*m = 6 - u. Solve -n - n = m for n.
-4
Let a be (-1)/3 - 30/(-9). Suppose -7 = -a*c - 1. Let u = 3 - 3. Solve u = c*z + 4 - 0 for z.
-2
Let h = -4 - -8. Let w = h - -5. Let k = w + -7. Solve 0 = -k*g - 5 + 1 for g.
-2
Suppose i + 15 = 2*a, -2*a - 5*i + 3*i = 0. Let p be (-2)/a - (-132)/(-20). Let n = p - -7. Solve d + 5 = -n for d.
-5
Let c(i) = i**2 + 5*i - 11. Let n be c(-7). Solve 2*s - 3 - n = 0 for s.
3
Let p(o) = -o**3 + o - 1. Let s be p(2). Let d(y) = 7 - 2 - y**2 - 7*y + 3. Let n be d(s). Solve n = i + i for i.
4
Suppose -7*t + 8*t = 2. Suppose c - 11 = -t*o - 4, 0 = 5*o + 5*c - 25. Solve -g + o = 1 for g.
1
Suppose d + 2*d = 0. Let y(n) = n**2 + 2. Let i be y(d). Solve 2 = -i*j + j for j.
-2
Let w = -8 - -12. Solve -12 - w = -4*x for x.
4
Let p = -33 + 57. Suppose -2*u - p = -5*u. Solve -3*i - u = -2 for i.
-2
Let z(r) = 2*r**2 - 2*r - 3. Let n be ((-1 - -1) + 1)*3. Let u be z(n). Let i = u + -2. Solve -5*o - 3 = i for o.
-2
Let n = 0 + 0. Let k be 5*((-48)/(-15) - 0). Let a(h) = -h + 4. Let b be a(0). Solve n*f = -b*f + k for f.
4
Let i = 21 + -16. Suppose -6*n - 4 = -4*n, 0 = -3*y - 2*n - 4. Let a = -6 + 9. Solve y = a*h - i*h for h.
0
Suppose y + 7 - 27 = 0. Solve 3*s - y = -s for s.
5
Let n be (2 - 2)/(12/(-3)). Solve -3*l + 8*l + 25 = n for l.
-5
Suppose -2*n - 3*r - 10 = 0, 0 = n + 4*n - 2*r - 13. Solve 3*w - 2 - n = 0 for w.
1
Let q be -2*-2*(0 + 1). Suppose q*m + 5 = -23. Let j(h) = h**3 + 8*h**2 + 6*h - 4. Let z be j(m). Solve 0 = z*i - 6 - 9 for i.
5
Suppose v + 16 = 5*v. Suppose r - 6*r + 60 = 0. Solve 0 = 4*w + v - r for w.
2
Let t = -9 + 13. Solve -d = t*d + 20 for d.
-4
Let w be (2/2)/(1/7). Solve -w = -5*l + 3 for l.
2
Let m(p) = 2*p + 1. Let t be m(-1). Let r be (t*2)/(10/(-15)). Suppose -3*j - r*y = 2*j - 37, 4*y + 44 = 5*j. Solve 2*h = -0 - j for h.
-4
Let p(k) = -k**2 - 8*k - 7. Let t be p(-5). Let z be (-2 - 1)*(-2)/3. Let y be 5/((-5)/z) + t. Solve y*s - 15 = s for s.
3
Let r(n) = -n**2 + 6*n + 12. Let t be r(7). Solve -2*b - t = -3*b for b.
5
Let r(c) = c**3 + 6*c**2 - c - 4. Let g be r(-6). Let y(k) = -k**3 - g*k + 3 + k**2 - k**2 + 3*k**2. Let q be y(2). Solve h - q*h = 6 for h.
-3
Suppose -5*t = -39 + 24. Solve 2*j - t*j = 4 for j.
-4
Let r = 12 + -8. Suppose -3*y - 3*b - 10 = 2*b, -r*y + 3*b = -35. Suppose -g + 0 - 19 = -y*j, 5*g = -5*j - 5. Solve v + 0 = j for v.
3
Suppose -f - 1 = 2*v - 2, -2*v + 15 = 3*f. Solve -10 = -9*n + f*n for n.
5
Let l = -2 - -6. Let x = 20 - l. Let m be x/6*18/12. Solve -m*u + 3*u = -5 for u.
5
Suppose 0 = 17*y - 23*y. Solve -2*k + 10 - 4 = y for k.
3
Suppose 9 - 17 = -4*w. Solve -2*c + c - w = 0 for c.
-2
Suppose 5*q - 8 = 2. Let g be (0 - 2)/q + 7. Solve w - g = -2*w for w.
2
Suppose -f - 1 = 3*r - 6, -3*r + 20 = 4*f. Solve r*c + c = -3 for c.
-3
Let b(x) = 2*x**2 + 1. Let k be b(2). Let q = -2 + 6. Let t = 14 + -7. Solve k = -q*h - t for h.
-4
Suppose -3*b + 3 = 2*y, 2*y = y + b - 1. Solve -o = -y + 4 for o.
-4
Suppose 4*p + 4*g - 8 = 5*g,