Solve -3*m + 2*m - v + 2 = 0, 10 = -m + r*v for m.
0
Let l be 12 + -7 + -3 - -193. Let g be (-7)/(-21)*l/5. Solve 2*r - g = -3*j, 5*r = j + j + 23 for r.
5
Suppose 9 = -4*o - 55*v + 50*v, 4*v + 16 = -o. Solve -3*k - 7 = 2*q - 2, o*q = -5*k - 11 for q.
-4
Let q(p) be the first derivative of -5 - 1/3*p**3 + p - 5*p**2. Let g be q(-10). Solve -2*o + 7 = -2*w + g, -o + 3 = 4*w for o.
3
Let q(t) = t - 128. Let z(o) = -43. Let p(n) = 4*q(n) - 11*z(n). Let l be p(10). Solve i = -2*f - l, 3*i + 4*f = -2 + 1 for i.
1
Suppose -5*k - 6*j + 10*j = -245, -k + 50 = -j. Suppose 0 = 24*y - 15*y - k. Solve 4*s + 7 = 5*b, 3*b = y*s - b + 2 for s.
2
Let l be -1 + -4 + 1 + 4 + 0. Let r be 0 + (l + 4 - -26). Solve 5*s + 5*w = r, -4*w - 1 = -17 for s.
2
Let k(p) = p**2 - 9*p - 8. Let w be 1/2*(-7 + 5). Let t be k(w). Solve -5*c - t*d + 5*d - 16 = 0, 32 = -4*c - 4*d for c.
-5
Let v = -244 + 238. Let x be (90/(-3))/v + 1*-1. Solve -2*r = x*s + 20, 2*r - 2*s - 8 = s for r.
-2
Let f = -47111 + 47114. Solve -f*k + 1 = 126*z - 122*z, 0 = -5*z + 4*k - 22 for z.
-2
Let r(j) = -38*j + 223. Let c be r(-9). Let n = -553 + c. Solve -3*h + 3*x + n = 0, -4*x - 1 = -h + 12 for h.
1
Suppose 6*o - 2*o = 0. Let u = 326 - 321. Suppose 2*a + 7*q - 12 = u*q, 2 = -a + q. Solve o*z + 2*r + 4 = a*z, 4*z - 3*r = 7 for z.
1
Let q(x) = x**2 + 2*x - 11. Let r(a) = a**2 - 6*a - 16. Let i be r(8). Let n be q(i). Let t = n + 13. Solve 3*j + 10 = 5*z, z + 0*z - 5*j - t = 0 for z.
2
Let r(b) = -5*b**2 - 20*b - 15. Let q be r(-3). Solve q*i + 5*a - 9 = -4*i, a - 1 = -i for i.
-4
Let f(b) = b**2 + 19*b - 50. Let i be f(-25). Suppose 108*j - i*j - 40 = 0. Solve 5*u = -3*p + 13, 9 + 28 = -3*p + j*u for p.
-4
Let r = 158 + -149. Solve -7*j - 4*k = -r*j + 4, -2*j + 5*k + 2 = 0 for j.
6
Let q be 0/(-1) + 1 + -1. Let d = 304 - 295. Let m be (q/(-2))/((d/3)/(-3)). Solve -3*v - 2 + 3 = 5*u, -4*v - 12 = m for u.
2
Let w(r) = -2*r**2 - 13*r - 4. Let j be w(-6). Suppose 3*i = j*i - 10. Let f = i + 16. Solve 27 = -3*m + 4*v, 13 = -5*m - 2*v - f for m.
-5
Let h(n) be the first derivative of n**4/4 + 26*n**3/3 + 23*n**2 - 43*n - 323. Let r be h(-24). Solve 0 = 3*x + v - 0*v - 5, -10 = r*x - 2*v for x.
0
Let q be (1 - 13)*(-1215)/108. Suppose 12*v - 81 = q. Solve -3*b + 0*j = -3*j - v, 4*b + j = -1 for b.
1
Let l = 86 + -81. Let x(w) = l*w**3 - 4*w**3 + 23*w - 2 - 21*w + 4*w**2. Let j be x(-2). Solve j = 4*h - 5*n, -5*n + 22 = 4*h - 0*h for h.
3
Let y be 65/(-455) - (-30)/14. Solve 5*q - 12 = 2*h, 3*q + y*q = -h + 9 for h.
-1
Let x(t) = 20*t**2 - t - 28*t**2 - 24 + t**3 + 7*t**2 + 12*t**2 - 27*t. Let w be x(-13). Solve -3*l = w*a + 1 + 1, -3*l = 3*a for a.
2
Let m(z) = 19*z - 2. Let p be m(2). Let y = p - 28. Let g = 12 - y. Solve -2*x = 2*v - g, -2*v = -5*x - 4 - 14 for v.
4
Let y = -18 + 23. Let v(b) = 3*b**3 + 19*b**2 - 17*b - 17. Let i be v(-7). Solve i = 5*c - 3*s + 8, y*s = -c - 12 for c.
-2
Suppose -6*m - 11*m = -34. Suppose 3*p - 5*v = -25, 3*p - 8*p = 3*v - 15. Suppose p = 5*z - 4*z. Solve 3*a + 15 = 6*a - m*y, y = z for a.
5
Suppose 576 = -57*l + 121*l. Solve -4*y + 8 - l = -3*p, -5*y + 2*p + 4 = 0 for y.
2
Suppose 11*r + r = -r + 65. Solve -r*s = 3*i + 45, -5*s + 0*s = -i + 25 for s.
-6
Let l(o) = o**3 + 10*o**2 - 29*o - 56. Let y be l(-12). Solve 4*n = 27 - 35, 4*u - 12 = -y*n for u.
5
Suppose -5*n + 5*o = 15, -32 = 5*o - 7. Let s be 22/4 - (-12)/n. Solve 29 = -4*z + 5*l, -2 = 2*z - s*l + 20 for z.
-1
Suppose 3*u + 790 = -2*f, 0 = -12*f + 15*f - 5*u + 1204. Let p = f + 419. Solve 2*w - 4*g + 20 = 0, 0 = 4*w - g + p - 2 for w.
-4
Suppose x + 0 = 2*n + 63, 2*n - 202 = -4*x. Let s = x + -43. Suppose s = -4*t + 9*t. Solve t*d = 3*w - 0*d + 11, -2*d + 8 = 0 for w.
-1
Let r be 390/39 - (7 - -1). Let g be (20/(-8))/(2/(-4)). Solve g*x + 30 = 5*m, 0 = m - r*m - 4*x - 19 for m.
1
Suppose -377*h + 4 = -375*h. Let g = -14 - -11. Let l be (-16)/(-2) + (0 - g). Solve -3*u = -x - l, h*x + 2*u - 11 = -3*u for x.
-2
Suppose 31*n - 491 = 284. Solve 5*l + n = -2*k, -24*l + 20*l - k = 17 for l.
-3
Let b(v) = -2*v**2 - 15*v - 2. Let a be b(-8). Let k be 16/80*a/4*-2. Solve z + 2*g - k = 0, 2*z = -2*z + 5*g - 9 for z.
-1
Suppose -31*w + 57*w - 21 = 31. Solve -x - 9 = w*o, -5*o + 39 - 62 = 2*x for o.
-5
Suppose 2*h - h = -2*o - 31, -h = 4*o + 67. Let z be (15/o)/(8 - (-196)/(-24)). Solve -z*n - 3*g = -15, n + 3*n - 25 = -5*g for n.
0
Let s be (139 - 48) + (0 - -1 - -5). Suppose s*l - 99*l = -4. Solve 0 = -j + 2*k - 2, 3*k = l*j - 2 + 5 for j.
0
Let p(a) = 11*a**2 + 20*a - 9. Let f be p(8). Let m = f + -851. Let o = 6 - 4. Solve 10 = -5*s + 3*t, 4*s + m*t + 6 = -o for s.
-2
Let c = -34 - -204. Suppose 40*w - c = -10. Solve -3*f - 16 = q, -f + 15 = -w*f for q.
-1
Suppose -5*p + 12 + 0 = -3*d, -4*p + 16 = -4*d. Suppose 84*r = -39*r - 142*r + 530. Solve -r*n = -b + n + 3, p = 4*b - n - 12 for b.
3
Let h(j) be the third derivative of j**6/120 - j**5/20 - 3*j**4/8 - j**3/2 + 30*j**2. Let v be h(5). Solve -b + 10 = d - 4*b, v*b = 4*d + 10 for d.
-5
Let j(i) be the second derivative of i**5/20 + 2*i**4/3 - 4*i**3/3 + 9*i**2/2 + 90*i. Let m be j(-9). Solve -2*w - 3*x + 0*x = 7, -3*w - 2*x + 2 = m for w.
4
Let z = -5 + 67. Let a = -57 + z. Solve 23 = -5*b + 2*b + a*w, -4*b - 3*w + 8 = 0 for b.
-1
Suppose -145*w + 122*w + 845 = -995. Solve -1 = -75*r + w*r + f, 2*r - 2*f = 2 for r.
0
Let q = 18 + -18. Suppose 18 + 70 = 4*i. Suppose -i*f + 24*f - 20 = 0. Solve 3*a + 4*r = -f, 0 = -4*a + 2*r - q*r - 6 for a.
-2
Let q = 811 - 802. Suppose 3*p = 3*g + q, 3*p - 13 = 5*g - 4. Solve -5*x = 5*y - 0*y - 10, -2*x - 2 = g for y.
3
Let j be (50/15)/10 - 52/(-6). Suppose 2*f - 15 = -j. Let o be ((f/(-9)*0)/(-2))/1. Solve o = 5*n + 3*l - 8*l + 30, 2*n + 2*l = 4 for n.
-2
Let o = -268 + 272. Suppose -2*m - 2 = 6*k - 10*k, 2*m - 2*k = o. Solve 3*b = m*g - 16, -g + 1 = -3*b - 7 for b.
-2
Let n(m) = 25*m - 157. Let f be n(7). Solve -3*q + 81*p - 77*p = -f, 5*q - 7 = -p for q.
2
Suppose -c + 213*j - 214*j + 15 = 0, -c = 5*j - 39. Solve -3*m - 8 = -17*u + 21*u, m + c = 5*u for u.
1
Let l = 39 + -198. Let m = l + 164. Let q be 2/(-3)*(-36)/8. Solve -q*y - m*o + 10 = 0, y - 6 = 3*y - 3*o for y.
0
Suppose 5*c - 2 = -t, 0 = -5*t + 5*c - 143 + 153. Solve -5*k - t*h + 4*h - 10 = 0, 0 = -5*k - 3*h + 15 for k.
0
Suppose 0*b + 5*c = -4*b + 81, -4*b = -3*c - 41. Suppose -4 = -b*j + 12*j. Let h be 3 + (-1 - 2) + j. Solve 4*k - 2*k = -h*f - 16, -5*k + 4*f - 4 = 0 for k.
-4
Suppose 4*n + 680 = -504. Let i = -292 - n. Solve -6 = c - 3*c - i*y, -5*y - 9 = -3*c for c.
3
Let i be -2 + (2 - (0 + 2)) + 7. Suppose -i*g + 19 = -3*a + 15, 2*g - 6 = -a. Solve -2*r - 23 = -a*s - 5, 3*r = -2*s - 2 for s.
5
Suppose -4*o + 3*k + 0 = -3, 3*k - 9 = 0. Suppose -o*p + 7*u - 8*u = -62, 5*p + 2*u - 104 = 0. Solve 2*t - 2*h + p = 0, -2*t - 5*h + 10 + 5 = 0 for t.
-5
Suppose 2 + 7 = 3*k. Suppose 0 = -4*q + 5*o + 59, -o = -k*q + 4*q - 8. Solve -z = -0*z - 2*p, 4*z - q = -3*p for z.
2
Let a be 36/42*(-5 + (-102)/(-12)). Solve -2*p + 4 = y, a*y = -2*y for p.
2
Suppose 147*t - 459 + 81 = -42*t. Solve -k = -p, t*p - 12 = -3*k - k for k.
2
Let c(f) = 18*f**2 - 4*f + 4. Let q be c(1). Let v be (2 + q/(-6))/(1/(-5)). Solve v*k - 4*l = 2*k - 17, -5*k + 2*l - 19 = 0 for k.
-3
Suppose -821 = -220*z - 161. Solve 5*s = -z*d + 8, -3*d = d - 3*s - 1 for d.
1
Let j = 42 + -35. Suppose -21 = -4*a - r + 7, a - r - j = 0. Suppose 10*t - 66 = a*t. Solve -3*q - 5*c = 19, -t = 4*q + 5*c - 0 for q.
-3
Suppose 4*z + s + 2*s - 31 = 0, -17 = -2*z - s. Let n be 63/(-14) + 5/2. Let c be n - (-6 - 1 - (-3 - 0)). Solve 0 = 3*x - b - z, -c*b + 4 = -3*b for x.
2
Let l = 13720 + -13715. Solve -r = -2*u - 5, -73*r = l*u - 76*r + 13 for u.
-2
Let c = 430 + -418. Solve 30*v - 29*v = -3*l - c, 5*v + 12 = l for l.
-3
Let s = -185 - -9. Let d = 288 + s. Let f be (-132)/d*-4 - (-2)/7. Solve 8 = b - 5*c, -3*b - f*c - 7 = 9 for b.
-2
Suppose -43*c - 32 = -47*c - 4*x, -5*c = x - 28. Let n(s) = s**2 + 1. Let j be n(2). Solve -5*o + 0*o + 26 = 2*u, c*o - 5 = j*u for u.
3
Suppose 38 = q - 221*d + 219*d, -4*q + 100 = 5*d. Solve -5*o + q*g - 29*g - 3 = 0, -2*g + 6 = 2*o for o.
0
Let n(f) = 8*f**2 + 18*f. Let x be n(0). Let g(p) = p + 2. Let o be g(2). Let b = x + o. Solve b*i = -5*w + 13, w + 1 = -i + 4 for i.
2
Let y(q) = 207*q**