5*f + 276 = 256. Solve s + f*s = -25 for s.
-5
Let b(v) be the second derivative of -v**4/12 + 11*v**3/6 - 11*v**2 - 3*v - 2. Let p be b(8). Solve 0*n + p*n - 8 = 0 for n.
4
Suppose 0 = 474*y - 467*y. Solve -4 = d - y*d for d.
-4
Let d = 65 - 60. Suppose -1 = -3*y + i, d*y + 0*i - 5 = i. Solve -2 = -4*t + y for t.
1
Suppose 5*p = -2*p + 21. Suppose 4*u - 29 + 9 = -5*v, -p*u - 5*v + 15 = 0. Solve 5*y - u = 10 for y.
3
Suppose 0 = -2*n + 1 - 7. Let i = -1 - n. Let a be (2/(-4))/((-10)/60). Solve a*v + i*v = 0 for v.
0
Suppose -3*l - 213 + 219 = 0. Solve -5*w + l - 27 = 0 for w.
-5
Let k be (1 - 5/5)/(-1). Let q be 10 + 1/((-3)/3). Let b be (-1)/2 + q/2. Solve k = l + 1 - b for l.
3
Suppose g + 4 = -w - 0*g, -4*w + 3*g = 30. Let a(k) = k**2 + 6*k + 2. Let r be a(w). Solve -r = -2*l + 8 for l.
5
Let n be 1 - (-1 - 3 - 8). Suppose 0 = -n*u + 15*u. Solve u*i = i for i.
0
Suppose -10*d + 5*d = 60. Let t be -1 + d/(-20) + 2/5. Solve t = 4*p + 15 + 1 for p.
-4
Let w(a) = a**2 - 19*a + 24. Let r be w(18). Solve r = 3*m - 6 for m.
4
Let r(f) = -f**3 + 12. Let d be r(0). Solve 0 = -6*z + 12*z + d for z.
-2
Let i(n) = n**3 - 4*n**2 + 6*n - 2. Let u be i(2). Let l be (0/(0 - -4))/2. Solve l = -u*s - 8 - 0 for s.
-4
Let b = -18 - -26. Let t(j) = j**2 - 6*j - 3. Let r be t(b). Let f be r/52 + (-2)/8. Solve 4*d + 3 + 17 = f for d.
-5
Let k = 992 - 988. Solve 0 = 2*t - k*t - 2 for t.
-1
Suppose -23 = -19*d + 34. Solve 6*g + d*g = 5*g for g.
0
Let w = 1759 + -1688. Solve -30 = 65*l - w*l for l.
5
Let n(p) = -2*p**2 + 11 + p**3 - 8 - 2*p**2. Let d be n(4). Suppose -26 = -3*r + r. Solve r = 5*m + d for m.
2
Let r(x) = 4*x**2 - 5*x + 5. Let b be r(3). Let o be (b/10 + -3)*30. Let l be (57/o + 4)*-4. Solve 0*f + 9 = -l*f for f.
-3
Suppose 7*j = 11*j + 2*r - 44, 0 = j + r - 13. Solve j*v + 16 = -20 for v.
-4
Suppose 0 = 36*g - 58 - 158. Solve 4*d + g + 2 = 0 for d.
-2
Let k be (-548)/(-34) + (-20)/170. Suppose 6*s - 10*s = -k. Let l(j) = j**3 + 6*j**2 + 5*j + 6. Let c be l(-5). Solve s*m - m = c for m.
2
Suppose 5*w = 25, -2*y + 2*w - 12 = -2*w. Let c be 1*(y + 2 + -2). Suppose -7*s + c*s + 9 = 0. Solve 15 = -s*p - 2*p for p.
-3
Let x = 7 + -7. Let m be x*(3 - 0)/(-9). Let l be 1/3 + (-609)/(-63). Solve m = -2*w - l + 2 for w.
-4
Let r = 2379 - 2342. Solve 34*j + 9 = r*j for j.
3
Let c be (-2)/((-18)/(-20) - 1). Let s(l) = -l**2 + 14*l - 24. Let g be s(11). Suppose -5*f = 5*v + 11 + 4, 5*v + g = -3*f. Solve v = 3*a + a + c for a.
-5
Suppose -2*f - 63 = -6*f - 5*z, 0 = -z + 3. Let a = -12 + f. Solve a = -2*m + 12 - 4 for m.
4
Suppose 0 = -2*a, -4*a = -3*o + o + 16. Solve 2*q + 2 = o for q.
3
Let d be 304/52 + (4/(-13))/(-2). Solve u - d + 1 = 0 for u.
5
Let i(m) = -27*m - 124. Let d be i(-5). Solve -16 = 5*k - d for k.
-1
Let q(x) = -10*x - 8. Let i be q(-3). Let c = -37 + i. Let k = c + 19. Solve -k*h = h - 15 for h.
3
Suppose 2*v - 4 = -h, -4*v + 3*v - h + 2 = 0. Solve 18 = -4*y - v for y.
-5
Suppose 72 = 4*q - 0*q. Let f be q - (1 - 3 - -4). Let l = 22 - f. Solve -l*z = -2*z for z.
0
Suppose -35*i + 80 = -27*i. Solve -45 = -v + i*v for v.
-5
Suppose -5*j - 3*k + 195 = 2*k, -3*j - 4*k = -117. Let i be (-3)/9 + (-82)/(-3). Let s = j - i. Solve -s = r + 2*r for r.
-4
Let p(u) = -u**2 + 18*u - 12. Let l be p(17). Suppose 4 = -2*v + l*m, -3*m - 5 = -5*v + 2*m. Solve -v = -3*x - 0 for x.
1
Let t be (-110)/(-15) - (-3)/(-9). Solve 8*b - t = b for b.
1
Let r be 14*4*4/56. Suppose 2*o + j - 2 = -2*j, r*j + 8 = 0. Solve 0*z - o*z = 0 for z.
0
Let y(m) = m**3 - 8*m**2 + 7*m + 3. Let z be y(7). Suppose z*b - 5*a = -24 + 98, 0 = 4*b - 4*a - 88. Solve 6 - b = -3*w for w.
4
Suppose -w = 3, 3*k + 66 = 3*w - 129. Let y = -50 - k. Suppose 8 = -3*z + 5*s + 3, z = -4*s + 21. Solve -z*a = -2 - y for a.
4
Suppose -l - 23 = -3*f, 30 = -3*l - 2*f - 2*f. Let u(t) = t**2 + 14*t + 2. Let h be u(l). Suppose -6 = -h*w - 0*w. Solve -w*m = 3 - 18 for m.
5
Suppose -1 = 2*x - 3. Let b = 3 + x. Suppose 0 = 19*d - 1 - 37. Solve -b = d*z + 2 for z.
-3
Let u = 37 + -37. Solve -9*c + 12*c - 3 = u for c.
1
Let u = -9 - -1. Let z(r) be the first derivative of r**4/4 + 7*r**3/3 - 4*r**2 + 3*r + 4. Let w be z(u). Solve w*p - 4 - 2 = 0 for p.
2
Suppose -5*c = -0*c - 80. Suppose c*w = 11*w + 10. Solve 0 = 2*q + w*q + 12 for q.
-3
Let n = -29 - -32. Suppose 0 = -f, 5*f + 10 = 5*u + n*f. Solve -k + u - 4 = 0 for k.
-2
Let o(s) = s**2 + s. Let r be o(1). Suppose 0 = -75*x + 27*x + 240. Solve x = -r*i + 15 for i.
5
Let m be (-9)/(-27) + (-121)/3. Let x be ((-70)/m)/(2/8). Suppose 12 = r + x. Solve 4*j = r*j - 3 for j.
3
Suppose 7 - 7 = -19*v. Solve u - 78 + 75 = v for u.
3
Let i(t) = t**2 + 10*t - 14. Let p be i(-11). Let q be 39/(-26)*2/p*4. Solve 2*l + 10 = q for l.
-3
Let h be 0 + 3 - (2 + -1 + 1). Solve 3*l + h = 4 for l.
1
Suppose 37 = 2*n + 3*y - 4*y, 5*n + y = 82. Suppose 23*v - n*v = 24. Solve v*i + 2 + 10 = 0 for i.
-3
Suppose 329 = 22*y - 133. Solve -2*j = 5*j - y for j.
3
Suppose -18*c = -0 - 0. Solve c = j - 0*j - 2 for j.
2
Let i(u) = -4 + 3 - 7*u - 1. Let y be i(-2). Suppose 0 = z + 2*l - 16, -5*l = z - l - y. Solve -2*x - 3*x = z for x.
-4
Suppose 58*m - 252 = 49*m. Solve -m = 2*r - 26 for r.
-1
Let b(k) = 4*k**3 - 2*k**2 + 2*k - 8. Let l be b(2). Solve -64*y - l = -68*y for y.
5
Suppose 4*v = 5*a + 27, 3*v + 13*a - 21 = 16*a. Solve -v = -4*y + 8*y for y.
-2
Suppose 3*q = 6*q. Suppose -s - 4*s - 2*c + 165 = q, 0 = -s - 3*c + 46. Suppose -3*r + b - 4 = 0, 5*b = -4*r - 11 + s. Solve r*w = w - 5 for w.
5
Suppose 0 = 8*r - 125 - 35. Suppose -2*n - 8 = 0, 4*p - 2*n - r = 3*n. Solve p = 5*f + 1 + 4 for f.
-1
Suppose 2*p + 2 = 0, -v + 10 = -3*v - 2*p. Let r(u) = u**3 - u**2 - 2*u + 2. Let a be r(2). Let w be v/(-6)*3*a. Solve -l - 12 = -w*l for l.
4
Let c(t) be the third derivative of t**5/60 + t**4/12 + t**3/2 - 4*t**2. Let g = 4 + -6. Let o be c(g). Solve -4*r = -o*r + 5 for r.
-5
Suppose 0 = 3*n + 4*x - 2*x - 11, 10 = 3*n + x. Solve 3*k + n*k = -24 for k.
-4
Let j(x) = x**3 - 2*x**2 + 3. Let g be j(0). Solve g = -0*n + n for n.
3
Suppose -14*k - 6 = -16*k. Suppose -3*u + 5*s = -7, 0 = -8*u + k*u + s + 19. Solve -u*v + 8*v = 0 for v.
0
Suppose 1931*s - 1922*s - 486 = 0. Solve -6*i + 36 = s for i.
-3
Suppose -5*a + 50 = -9*p + 13*p, -8 = -3*a + 2*p. Let j(s) = -s**2 - 4*s - 1. Let r be j(-5). Let o be 1*3 + a/r. Solve 2*g = g + o for g.
2
Let d = -90 + 93. Solve 5 = 8*p - d*p for p.
1
Suppose 0 = -2*x + 6, -h - 2*h = 3*x - 24. Suppose -h*b + 21 = 1. Solve -7 = -b*z + 5 for z.
3
Let c be 100/12 + (100/15)/10. Solve -20*z - c = -17*z for z.
-3
Let j be -1 + (10 - 1) + (43 - 41). Solve 51 = -j*g + 11 for g.
-4
Suppose -2*d - 4*d = 96. Let l = d + 26. Solve 4*v = -v - l for v.
-2
Suppose p + 3*p - 16 = 0. Suppose 0 = 2*c - c + p. Let u be 2 - 2 - (c + -19). Solve -u + 3 = 5*q for q.
-4
Let x be ((-17)/51 - 4/6)*-3. Let u be (0 + 1)*(5 + -3 + 7). Solve u - x = 2*c for c.
3
Let r(y) be the second derivative of -2/3*y**3 - 4*y - 1/20*y**5 + 5/12*y**4 + 0 + y**2. Let d be r(4). Solve k = -d*k + 15 for k.
5
Let f be (-7)/((-56)/(-12)) - (-3)/2. Solve -4*r - r = f for r.
0
Let v(b) = 2*b**2 - 16*b - 18. Let s be v(9). Solve -3*k = -s*k + 3 for k.
-1
Let p(x) = 2*x + 36. Let j be p(-12). Solve 0 = 8*b - 4*b - j for b.
3
Let s be 9 - 28/7 - 2. Solve 0 = s*r - 2 - 4 for r.
2
Let v = -70 - -70. Suppose -2*j - 2*t = -3*t - 4, v = 3*t. Solve -6 + 0 = j*x for x.
-3
Suppose -153*s + 146*s = 0. Solve 4*t + 0 + 16 = s for t.
-4
Let i = 2085 - 2085. Solve -s = -i*s + 2*s for s.
0
Let o = -1 - -4. Let q(g) = 2*g + 0*g + 4*g - 16 + 2*g**2. Let s be q(-6). Solve -o*a + s = -7*a for a.
-5
Let s be 0/(-12)*(1 + 0). Let v be (-2)/(-7) + (-80)/(-14). Solve -2*a + v = -s*a for a.
3
Let k be (-9)/(-1) - (-3 - (-5 + 0)). Solve k*j + 8 = -j for j.
-1
Suppose -8*z - 87 = -37*z. Solve 423 = z*h + 429 for h.
-2
Suppose q + q = 0. Suppose -4*w = v - 19, -3*w + 10 = 5*v - q. Solve n = w*n + 20 for n.
-5
Let o(t) be the first derivative of t**3 + t**2/2 - 4*t + 28. Let u be o(-2). Solve a - u*a = 25 for a.
-5
Let l be 8/12*153/2. Suppose -2*v = v + l. Let n = -12 - v. Solve -n = -0*m + m for m.
-5
Let d(v) = -v**2 + 16*v + 85. Let x be d(20). Solve -x*o - 15 = 5 for o.
-4
Suppose -5*g - 1 = 4*j, 5*g - 2*j + 4 = 27. Let r be 4/6*(9 - g)