= -0*k + k. Suppose -2*m + 2*s + 0*s - 8 = 0, -m - 4*s + 21 = k. Solve -m = 3*t + 8 for t.
-3
Let a be 2*2 + 12/(-12). Let w(g) = g**2 - g - 1. Let x be w(a). Solve y = x*y for y.
0
Let o(a) = -a**2 + a. Let y be o(2). Let d be y/(-7) - 594/(-77). Suppose d - 1 = p. Solve 2*s + p = 1 for s.
-3
Let t be (-30)/35*91/(-26). Solve -11*f + 3 = t for f.
0
Let u(k) be the second derivative of -k**4/12 - 4*k**3/3 + k**2 + 15*k. Let x be u(-8). Solve -3*r + 1 = -x*r for r.
1
Suppose 0 = 77*t - 71*t - 54. Solve -8*a = -t*a + 4 for a.
4
Suppose 0*a = 5*a - 2*d - 28, 4*a - 32 = 4*d. Suppose -z = 4*v + 4, a*v + 17 + 11 = -3*z. Let c be (z/10)/(2/(-15)). Solve 0 + c = 3*p for p.
3
Let m be -1*(-68)/12 - (-2)/6. Solve -m*f = -f + 5 for f.
-1
Let f = 21 + -18. Suppose 5 = s + f. Suppose s = 6*a - 10. Solve -3*z + a*z - 1 = 0 for z.
-1
Let t be ((-2)/8)/(-3 - 44/(-16)). Solve 0 = g - t + 6 for g.
-5
Suppose -136*b = -138*b + 8. Solve 64*w = 66*w + b for w.
-2
Suppose 15 = -c + 37. Suppose -c*b = -23*b + 10. Solve 3*n - n = b for n.
5
Let m(j) = -7 + 2*j**2 - 3*j**2 - 15*j - j**3 - 8*j**2. Let v be m(-7). Solve b + v = -1 for b.
-1
Let z be 10 - 10 - 1*-3. Let s be z*2 + (-13)/13. Solve -s*b + 10*b = -10 for b.
-2
Let q = -365 - -374. Solve q*b = 4*b for b.
0
Let s = 660 - 658. Solve s*h - 3*h = -2*h for h.
0
Suppose -13 + 42 = v + 5*r, -2*v + 23 = 3*r. Solve -v*b = -b + 6 for b.
-2
Let a(q) = q**2 + 4*q + 1. Let r be a(-3). Let f = 5 + r. Let x = -57 + 62. Solve f*y = x*y for y.
0
Suppose 262 = 5*r - 2*t, 5*t - 74 = 228*r - 229*r. Solve 0 = -7*y + r - 61 for y.
-1
Suppose -3*p - p = -80. Let j = -81 - -84. Solve -b - j*b + p = 0 for b.
5
Suppose -8 = -n - 3*c, 0 = -3*n + 2*n + 2*c + 3. Suppose n*a = -3*i - 11, -2*i = 2*a - 1 + 3. Solve -4*s = -i*s - 1 for s.
1
Suppose 5*g - 49 = -2*s - 63, 5*g = -20. Solve -60*f = -57*f - s for f.
1
Let b = 30 - 20. Suppose -y - 7 = -b. Solve y*k = 2*k - 5 for k.
-5
Let m(h) = 2*h**2 - 12*h + 8. Let y be m(6). Suppose -2*v = 4*a + 10, a - y = 5*v - 27. Solve -v*l = -2*l - 3 for l.
3
Let d = -8 - -5. Let x be 58/(-6)*d - 4. Let l = x + -25. Solve -1 = -y - l*y for y.
1
Let d = 4 + -1. Let z(q) = q**2 - 1 - 3 + 8 - 3. Let y be z(0). Solve i + d = y for i.
-2
Let n(f) = f**2 + 11*f - 25. Let p be n(-13). Suppose 3*s - 10 + p = 0. Solve -s*c - 2 = -5 for c.
1
Let h(j) = 0*j**2 - 8*j - 2 + 0 + 6 - 9*j**2 - j**3. Suppose -3 - 37 = 5*s. Let p be h(s). Solve 0 = -2*g + p + 4 for g.
4
Suppose 4*p - 22 = -3*q, -q + 10 = -4*p - 8. Suppose 3*r - 32 = q. Suppose -4*m = -2*l - r, -m + 2*l = -6*m + 4. Solve -m*t = -7*t for t.
0
Let o(z) be the third derivative of z**5/30 + z**4/24 - 2*z**3/3 - 2*z**2. Let u be o(-3). Suppose u = c - 5. Solve 0 - c = -4*f for f.
4
Let i = 3 + 15. Suppose -4*p + i = -2. Let s be 10/p - 1*2. Solve -l - l = s for l.
0
Let l be 1 + -1 + 0 - 2. Let j be (-27)/9 - 2*l. Let a = -24 - -24. Solve w = j - a for w.
1
Let u = 101 + -88. Solve -19 = 3*s - u for s.
-2
Let s be (5/2 + 1)*-14. Suppose 16*a = 10*a - 156. Let d = a - s. Solve -d = -5*p - 8 for p.
3
Let k(d) = -d + 4. Let r be k(4). Suppose 0*z = -6*z + 6. Suppose r = -2*o + o + z. Solve -a + 2 = -o for a.
3
Let n(i) = -i**3 + 6*i**2 - 8*i + 4. Let d be n(4). Suppose -d*z + 0*z - 3*m = 12, 0 = z + m + 4. Solve w - 5*w - 4 = z for w.
-1
Let t be 1/(2/(-8))*-1. Suppose a - 5 + 3 = 0. Suppose 4 = 142*g - 140*g. Solve a = g*k - t for k.
3
Let n(a) = a**2 - 7*a + 5. Let w be n(7). Let u be 1 + 43 - (7 - 4). Suppose -w*t - u = -3*y, 3*t - 9 = y - 4*y. Solve -y*k = -2*k + 10 for k.
-2
Suppose 3*u - 10 = -0*u - 4*j, -2*u + j + 25 = 0. Solve 0 = v - u*v - 36 for v.
-4
Let u = -221 + 227. Solve 23 + 1 = u*b for b.
4
Suppose -3*z + 6 = -0*z. Suppose -z*b = 5*s - 5 + 29, -4*s = b + 18. Let m be 30/20*s/(-3). Solve -5*r = -3 - m for r.
1
Let b(r) = -7*r - 1. Let v be b(-1). Let c(a) = a - 4. Let z be c(v). Let j(f) = f**2 + 21*f - 349. Let p be j(11). Solve z = -p*q - 1 for q.
-1
Suppose -v - 6 = -11. Let m be ((-48)/(-10))/(10/25). Solve m = v*l - l for l.
3
Suppose 5*a - 3*n = -177, 20 = 3*n + 2*n. Let t = -27 - a. Solve -3*j + 6*j = -t for j.
-2
Let o = -55 + 64. Solve o*j + 9 = 6*j for j.
-3
Let y(d) = d**3 - 30*d**2 - 3*d + 124. Let f be y(30). Solve -37*s - 3 = -f*s for s.
-1
Let r be 17 + (-11 - (-6 - 8)). Solve 0 = -5*d - 0*d + r for d.
4
Suppose 27*d - 11*d - 32 = 0. Let v be 0 + 1 - (-1 + 2). Suppose v + 6 = d*m. Solve t = m*t + 8 for t.
-4
Suppose 54 = -472*o + 481*o. Solve o = -k + 2 for k.
-4
Suppose -4*l - 5*l = 2*l. Solve l*u - u = -4*u for u.
0
Let j be 12*(-2)/((-4)/5). Let c = 21 - j. Let y(k) = -k - 7. Let n be y(c). Solve 0 = b - n - 3 for b.
5
Let g(s) = 14*s + 13. Let k be g(4). Let p = 74 - k. Solve 4*x - p*x - 4 = 0 for x.
-4
Let g be 2*1/(-4)*0. Suppose -2*u + 3*i + 23 = -g*u, 0 = 5*u - 3*i - 35. Solve -u*s - 8 = -8*s for s.
2
Let l(q) = q**3 - 3*q**2 - q - 3. Let i be l(4). Solve 4*r = -i + 5 for r.
-1
Let j = -9 - -11. Let k = j + 0. Suppose 6*w - 64 = k*w. Solve 4*l = -0*l + w for l.
4
Suppose 5*b = 3*x + 71, -2*b + 0*b - 60 = 4*x. Let i = -17 - x. Suppose 3*o - 3*q - 3 = i, o + q = 3*o - 1. Solve -2*d - d + 15 = o for d.
5
Let c = -3 - -7. Suppose -c*k - 2*q + 20 = -28, -30 = -5*k + 5*q. Solve 3*m - k = -1 for m.
3
Let d(j) = j**3 + 6*j**2 - 7*j + 9. Let k be d(-7). Let f be ((-12)/2)/(k/(-42)). Suppose -3*m - f = -5*n, 24 = 4*n + 5*m - 28. Solve -b - n = b for b.
-4
Let x(y) = -19*y - 124. Let z(d) = -6*d - 41. Let q(i) = 2*x(i) - 7*z(i). Let j be q(-9). Solve -8 = -t + j*t for t.
-4
Let c be 3 + ((-6*1)/(-3) - 3). Solve -c - 3 = -k for k.
5
Let n = 214 + -214. Solve 9*a - 12 - 15 = n for a.
3
Suppose 0 = 4*k - 3*g + 6, -3*g + 5*g = 2*k + 4. Suppose -9*t + 112 = -50. Suppose 0*v + t*v - 36 = 0. Solve k = 3*s - v - 1 for s.
1
Suppose -6*v = -2 - 22. Let o be (6/(-4))/(3/v*-1). Solve -c = o*c for c.
0
Let o = -6 - -9. Suppose 16 = -2*z + 6*z. Suppose 20 = -2*a - 5*i, z*i + 0*i + 16 = -5*a. Solve a = -w + o*w + 8 for w.
-4
Suppose 0 = -22*h + 14*h + 24. Let l be (-25)/(-15) - 2/(-6). Solve 0 = -l*d - h*d + 5 for d.
1
Let s be ((-3)/2 - 0)*-2. Suppose -4*x = -13*x - 22*x + 868. Solve -x = -s*g - 13 for g.
5
Let d be 3/(-2)*4/(-3). Let u be (-9)/d*(-8)/6. Suppose 2*k - 3*a = -k - u, -5*a = -10. Solve k*c = c for c.
0
Suppose 0 = 5*d + 5, -84 = -5*q - 5*d + 81. Suppose -8 = 4*n, -3*h + 4*n - 191 + q = 0. Let y be h/(-20) - (-3)/(-4). Solve 8 = -4*o + y*o for o.
-4
Suppose 3*f - 5*f = -44. Suppose 3*r - r - f = 0. Let w(t) = t**3 - 11*t**2 + t - 5. Let l be w(r). Solve -v = -l*v for v.
0
Let i be (0/42)/(1*2). Solve -14 = -14*z - i*z for z.
1
Suppose 14 = -9*c + 16*c. Solve -10 = -4*f - c for f.
2
Suppose 2*f = -h - 5, 3*f - h = f + 5. Solve -5*y + f*y + 25 = 0 for y.
5
Suppose 0 = 4*h + 32 + 4. Let n = h + 12. Suppose n = -p + 5. Solve p*s - 2 = 3*s for s.
-2
Let s be (-9)/12 - 23/(-4). Suppose -2*q + s*j = 45, 0*q + 4*j - 30 = q. Let f be 25/q*28/(-10). Solve f*p - 3*p = -12 for p.
-3
Let i be 1/7 - (-15664)/308. Solve -i*l - 21 = -58*l for l.
3
Let t(k) = 3*k**3 - 19*k**2 + 8*k - 9. Let v be t(6). Solve 7 = -2*i - v for i.
-5
Let j(x) = 3*x**2 + 11*x - 5. Let n be j(-4). Let r(w) be the first derivative of -w**2/2 + w + 1. Let y be r(n). Solve 2*h = -y*h for h.
0
Suppose 27 = q + 3*q + u, -u - 1 = 0. Suppose 2*c = q*c. Solve 4 = -f - c*f for f.
-4
Let o(a) = a**3 - 10*a**2 + 2*a - 19. Let t be o(10). Let g be t/2*42/3. Solve -3*m - g = -1 for m.
-2
Suppose z = 3*z - 5*w - 13, 5 = z - 4*w. Solve -c = 2*c + z for c.
-3
Let d be (-6)/(-2)*(120/36 - 3). Solve 2 = v + d for v.
1
Let z(h) be the second derivative of -h**4/12 - 11*h**3/6 + h. Let b be z(-14). Let i be ((-56)/b)/(2/3). Solve -3*d = -i*d - 4 for d.
4
Let l = 75 + -60. Solve 85*h = 80*h + l for h.
3
Suppose 8*n = -303 + 1271. Solve -n*m + 118*m = 12 for m.
-4
Let y(i) = 41*i - 243. Let q be y(6). Solve -5*h = q + 12 for h.
-3
Let v = 326 - 324. Suppose 3*m - 6*m + 6 = 0. Solve m*n = -6 + v for n.
-2
Let i(n) = n**2 + 25*n + 128. Let c be i(-18). Solve -2*a = -c + 6 for a.
-2
Suppose 0 = 4*i + 7*i. Suppose -3*j - 5*v - 5 = i, 5*j - 4*v = -2 + 6. Solve j*z - z - 2 = 0 for z.
-2
Let t(y) = 3*y - 3. Let n be t(3). Suppose -i - 5 - 4 = -h, 3*i = n. Let v = 16 - h. Solve 3 + v = -2*f for f.
-