-4*k. Solve 0 = -v - k + 4 for v.
-1
Suppose 0 = -4*q - q + 15. Suppose 5*u - 10 = n + 2, 2*n - q = u. Solve -1 = -2*s - n for s.
-1
Let d = -10 + 14. Suppose 5*t - d*z = -9*z + 25, -2*z + 4 = -t. Suppose -5*g - 2*l = -17, 4*g = 2*l - 1 + 11. Solve 0 = g*s + t*s - 5 for s.
1
Suppose 5 = f, 2*s + 2*f = 3*s + 9. Suppose -s = -2*p + 7. Let g = p - 1. Solve g*a + a = 8 for a.
2
Let y = 0 - -3. Let p be ((-5)/(-10))/(3/(-84)). Let x = -12 - p. Solve -3*v - y = -x*v for v.
-3
Let j = -43 + 43. Suppose -5*k - 5 = j, 3*k - 11 = -3*v + 8*k. Solve q + v*q + 6 = 0 for q.
-2
Let a = 48 - 28. Let k = a + -10. Let l be -6*(k/(-4) + 2). Solve 15 = -0*f - l*f for f.
-5
Let a be (-3)/(-9)*-3 - -38. Let g = -31 + a. Solve -5 = -s - g for s.
-1
Suppose 5*b + 16 = 36. Let y(h) = -b - h - 7 - 2*h + 4*h. Let f be y(13). Solve f*l = -3*l - 5 for l.
-1
Suppose 3693*d + 780 = 3706*d. Solve -16*g + d = -g for g.
4
Let l = 48 - 41. Let w = -5 + 6. Let p be (1 - (-7)/w)*1. Solve 0 = -5*h + l + p for h.
3
Let z(o) = -o**2 + 7 + o**2 - 5*o - o**2. Let j be z(-5). Solve -j = 3*q + 8 for q.
-5
Suppose 0 = 4*x - 9*c + 5*c - 8, -2*x = -4*c. Suppose 0 = 4*f + m + 153, -5*f - 4*m - 42 - 152 = 0. Let o be f/(-4) + 2/x. Solve 0*p = 2*p - o for p.
5
Suppose 7*t - 3*c - 35 = 3*t, -c - 30 = -5*t. Suppose h - 3*h = -5*z - 20, 0 = -t*h - 4*z + 17. Solve -p = -0*p - h for p.
5
Suppose 215 = 5*m + 205. Solve -25 = -7*n + m*n for n.
5
Let f = -199 + 203. Let c(s) = s**2 - 1. Let k(v) = 5*v**2 - 3*v - 8. Let h(r) = -4*c(r) + k(r). Let t be h(f). Solve 2*a - 4*a + 10 = t for a.
5
Let y be 0 - (1/4 - 54/24). Suppose w + 3*z - 8 = 0, 3*w + 0*z - y*z = 13. Solve w*f = 21 - 1 for f.
4
Let v = 903 - 887. Solve 4 - v = 3*r for r.
-4
Suppose -3*c + 143 = 3*v + 2*v, -184 = -4*c - 5*v. Let d = c - 25. Solve -2*j - 2*j - d = 0 for j.
-4
Let m = 67 - 61. Let h be (m/(-8))/(24/(-64)). Solve 16 = h*s + 2*s for s.
4
Suppose n + 0*n - 23 = 0. Let p = n - 23. Solve 5*h - 4 - 1 = p for h.
1
Suppose -20 = -37*o + 27*o. Let k(a) be the second derivative of -a**5/20 + a**4/12 + a**3/6 + a**2 + a. Let u be k(o). Solve u = -f + 7 - 3 for f.
4
Let a be ((-18)/(-10))/(6/20). Suppose 40 = -g + a*g. Suppose -3*r - 12 = -6*r. Solve 6*v = r*v - g for v.
-4
Let o(a) = a + 2. Let q be 24/(-9)*15/2. Let r = 28 + q. Let b be o(r). Solve b + 5 = -3*g for g.
-5
Suppose -13*c + 15*c = -16. Let t(h) = 3*h + 26. Let n be t(c). Solve -q - n = -1 for q.
-1
Suppose -n + 28 = -4*t, -7*t + 10*t - 36 = -4*n. Solve 0 = -3*k - n for k.
-4
Let g(s) = 2*s**2 - 15*s - 4. Let f be g(8). Solve -8 + f = 4*k for k.
-1
Let m(o) = -o + 1. Let h(f) = f**3 - 7*f**2 + 5*f + 5. Let z be h(6). Let l be z/(-3) + (-40)/12. Let x be m(l). Solve -x*s = -2*s + 2 for s.
-1
Let f be (21/2)/((-7)/(308/(-33))). Solve f*n - 74 = -18 for n.
4
Suppose 6*m - 10 + 4 = 0. Let z be (-5)/(-20)*4 - m. Solve z = -8*a + 3*a for a.
0
Suppose 5*f - 3*r - 90 = -8*r, 108 = 4*f - 5*r. Let y = 56 - 39. Let x = f - y. Solve 5 = -5*m - x for m.
-2
Suppose 2*i + 122 = -92. Let c = 111 + i. Solve 1 = j - c for j.
5
Let n(s) = 7*s**2 + 6*s + 4. Let d be n(-1). Solve 0 = 6*k + d*k - 22 for k.
2
Let r = 44 - 39. Solve -r*s = -6*s for s.
0
Let r(n) = -n**3 + 5*n**2 + 15*n - 43. Let c be r(6). Solve 7 = c*i - 4 for i.
1
Suppose -3*b = -0*o + 2*o - 12, 0 = 3*b - 2*o. Solve -8*l - 6 = b for l.
-1
Let r = 21 - 25. Let s(c) = -c**2 - 5*c + 2. Let j be s(r). Solve j = 2*w + 14 for w.
-4
Suppose 0 = 14*l + 276 - 668. Solve 0 = -29*r + 22*r - l for r.
-4
Let b = 38 - 33. Suppose o - b = -4*o. Solve c + 4 + o = 0 for c.
-5
Suppose 5 = -c + 9. Suppose c*v = -f - 2*f - 64, -5*f = 2*v + 46. Let r = v + 15. Solve 6 + 0 = -r*n for n.
-3
Let f(u) = 3*u**3 - 1. Let g be f(1). Suppose g*q = -0*q. Suppose q = -3*l - 2*l + 75. Solve 2*b + l = -3*b for b.
-3
Let f(s) = -4*s + 13. Let o = 3 - -5. Let m be f(o). Let c = -7 - m. Solve 4*x = x - c for x.
-4
Let b(n) = 11*n + 25. Let s be b(-3). Let a be 6/(-72)*s - 4/(-3). Solve a*k - 1 = k for k.
1
Let w(v) = -v**2 + 12*v - 3. Let j be w(11). Let s = j - 12. Let b be (4/(-3))/(s/6). Solve 0 = -5*l + b*l for l.
0
Suppose -f = -4*f + 111. Suppose -f = 4*b - 45. Solve b*u = -2*u - 12 for u.
-3
Let u(s) be the first derivative of s**3/3 + 3*s**2/2 + s - 1. Let g be u(-4). Let c be -7*1*((-2)/(-4))/((-8)/16). Solve -3*q - c = g for q.
-4
Let y be 1/((-8)/6 - -1). Let i = -60 + 65. Let g = i + y. Solve -2*w = -0*w + g for w.
-1
Let f = 72 + -67. Suppose 0 = 5*x - 3*x + 5*r + f, 0 = -3*x - 5*r - 5. Solve 0 = b - x*b for b.
0
Let b(w) = -w**2 + 7*w - 3. Let k be b(5). Suppose 3*g - 26 = -3*m + 1, -m - k = -3*g. Suppose -g*r = z - 21, 3*r - 2*r + 16 = 4*z. Solve -f - z = 4*f for f.
-1
Suppose 0 = -0*m - 2*m - 2*g - 4, -4*g = -4*m + 32. Let r(y) = 5*y**3 - y - 10*y**2 - 4 - 6*y**m - 3. Let b be r(-10). Solve -2*v - b*v + 10 = 0 for v.
2
Suppose 0 = p - 5*p + 308. Suppose 2*k - p = 3*i, 2*i + 20 = i - 5*k. Let v = -16 - i. Solve -2*d + 5*d + v = 0 for d.
-3
Suppose -4*d + 12 - 162 = -5*h, 4*h - 4*d - 116 = 0. Let g(r) = 3*r - 97. Let i be g(h). Solve -i*u + 1 = -4*u for u.
1
Let x be (-3)/24 - ((-23)/(-8) + -3). Solve -2*t - 12 + 2 = x for t.
-5
Let o(y) = -y - 8. Let b be o(-15). Suppose -b = 4*c - 31. Solve c = 5*k - 3*k for k.
3
Let k be (3 + 2 + -4)*(-216)/(-4). Let t = 57 - k. Solve -t*w + w = 0 for w.
0
Let a be 7/2*4/7. Suppose -3*f - a = 1. Let h be f + 2 + 1 + 0. Solve h*u + 2 = -4 for u.
-3
Let m be -4*(-4)/16 + 36 + -5. Solve -36*y - 8 = -m*y for y.
-2
Let d(f) be the first derivative of -f**4/4 - 3*f**3 + f**2/2 + 13*f + 17. Let j be d(-9). Let v be 4/(-10) + (-94)/(-10). Solve -j*p = -p + v for p.
-3
Let q be -1 - 7/(-28)*4. Solve q = -2*m - 2*m for m.
0
Suppose 64*h + 18 = 70*h. Solve 0 = h*b - 8 + 2 for b.
2
Let n = -55 + 124. Let r = -65 + n. Solve -19 = -5*v - r for v.
3
Let i be (-3)/15 - (-164)/20. Solve -7*p = -3*p - i for p.
2
Let u(v) = v**3 + 5*v**2 - 4*v + 7. Let h be u(-5). Let n = -23 + 28. Solve -n*p + 7 - h = 0 for p.
-4
Let h = -1823 - -1838. Solve 140*s = 137*s + h for s.
5
Suppose -5*r + 518 = 2*r. Suppose -3*f = -r + 20. Suppose s - 6 = -2*d, f = s + 2*s + 2*d. Solve -2*u = -s*u + 16 for u.
4
Let l(z) = z**3 - 16*z**2 + 29*z + 9. Let r be l(14). Let c(d) = -7*d + 50. Let x be c(6). Solve -5*s + x = r for s.
-3
Suppose -n - 5 = -5*m, -5*m - 1 = n - 16. Suppose 20 = -5*t, m*h - 5*t = 25 - 1. Let k = -7 + 11. Solve -4 = h*v - k*v for v.
2
Suppose 0 = -x - k + 23, 2*k - 77 = -3*x - 12. Let n = x + -11. Let b be 2/(-1) + (15 - n). Solve -b*a + 5 = 15 for a.
-2
Let h(y) = y**3 - 13*y**2 - 14*y + 2. Let v be h(14). Let l be v/8 + (-180)/(-48). Let b be l + (-5)/((-5)/9). Solve 5*z - b = 7 for z.
4
Let i(p) = -p**3 + 7*p**2 + 10*p. Let t be i(8). Suppose v + t = 2*v. Let z = v + -13. Solve z*y - 4 = -y for y.
1
Let h be (2 - (-2 - -2))*1. Let x = -21 + 21. Suppose 6*b + x*b - 90 = 0. Solve b = -h*z - 3*z for z.
-3
Let m = -544 - -544. Solve 0 = -4*k - m - 20 for k.
-5
Suppose -8 = 2*a + 3*g - 31, 0 = -a + 2*g + 15. Let l = a + -11. Let o be 1/3*0 - -2. Solve -6 = o*s - l for s.
-2
Let h = 187 + -182. Solve -h + 0 = z for z.
-5
Suppose 0 = -11*b + 71 + 28. Solve 16*d + b = 13*d for d.
-3
Suppose -73 + 81 = 2*z. Solve -z*b = 9 - 1 for b.
-2
Let p be (-1 + -3 - 292/(-4)) + -5. Solve -3*y + p = 29*y for y.
2
Suppose -3*u - 18 = -3*n, -8 = -2*n + 3*u + 2. Solve w + 9 = -n*w for w.
-1
Suppose y - 20 = -22. Let g be ((0 - 2)*y)/1. Solve -5*p + g = -1 for p.
1
Let k(i) = -1 + 22*i - 9*i - 3 - 12*i. Let b be k(6). Solve b*h - 5*h = 6 for h.
-2
Let w(d) = -d**3 + 4*d**2 + d + 3. Let q be w(4). Suppose -6*g + 2*g + 3 = -5*r, -5*g - 5*r + 15 = 0. Suppose 19 = g*t + 9. Solve q = t*i - 8 for i.
3
Let y(c) = -c - 3. Let t be y(-5). Suppose -t*p - 4*l + 26 = 0, -5*p = 2*l - 3 - 30. Suppose k + n = 3*n + 16, p*n = 3*k - 43. Solve -2*q - 16 = -k*q for q.
4
Let c = -42 + 45. Solve 1 = c*x - 8 for x.
3
Suppose 4*w - 8 = -2*c + 3*c, 2 = w - c. Suppose -5*v + w*h = -4*v + 4, 2*v - 24 = -4*h. Solve v = 3*m - 2 for m.
2
Suppose b + 5*k - 3 = 4*k, -5*b = 2*k - 21. Solve 8 = b*h - 7 for h.
3
Let m(t) = t**2 - 7*t - 5. Suppose 8 = 3*r + 5*z - 6, -4*r + 26 = 3*z. Let b be m(r). Let w = 10 - 7. Solve w*c - b = 6 for c.
3
Let r(t) = -2*t**2 + 103. Let q be r(7). Sol