- 1, 0 = -4*m - 3*r - 17 for m.
-2
Let s = -3512 - -3516. Solve 16*j - s*o - 20 = 13*j, 0 = -j + 5*o + 25 for j.
0
Suppose 609 = 7*n + 14*n. Solve -3*h - 4*k = -n, -4*k + 17 = -h - 0*k for h.
3
Suppose -3*d - 2*i = 322, -6*i + 505 = -5*d - 3*i. Let p = d + 125. Solve 18 = 4*h + 2*t, 4*h - 2*h - p = -5*t for h.
3
Let m = 1 - -2. Suppose -4*p - 4*f + 1296 - 128 = 0, 0 = -5*p + 4*f + 1478. Let a = p + -286. Solve 3*s = m*k - k - 11, 4*k + a = 0 for s.
-5
Suppose -m + a + 7 = 0, 312*m - 309*m - 4*a - 26 = 0. Solve -4*b + 16 = 0, -31*k - m*b = -27*k - 16 for k.
2
Let o(k) = -9*k**3 - 3*k**2 + 2*k - 6. Let u be o(-3). Let r = u - 184. Solve -2*b = -3*w - 6 - 6, 0 = 5*w + 5*b + r for w.
-4
Let o = -22 + 98. Let a = o - 63. Suppose 0 = -4*q + a*q - 18. Solve 4*s + i = q*s + 3, -3*s = -5*i - 11 for s.
2
Suppose 0 = 3*h - 6*h + 219. Let g = -66 + h. Suppose g*r = 7 + 28. Solve 4*k - r*j = -6 - 9, 19 = -3*k - 4*j for k.
-5
Let y be (7 - 13/2)*2 - -2. Solve 41*t - 40*t - 2*c = -1, -y*c + 7 = 4*t for t.
1
Suppose -54*x - 129 = -59*x + 3*k, -5*x + 4*k + 132 = 0. Solve 2*m = -4*v - 0*v + x, -2*v + 14 = 2*m for m.
2
Let x(h) = -h**2 - 29*h + 134. Let v be x(-33). Suppose -v*j = -5*o + 10, j = o - 2 - 0. Solve -5*t = -o*g - 13, -g = 2*t + 3*t - 16 for t.
3
Let v = -7416 + 7437. Solve -v*s + 23*s = -5*f + 2, 0 = -3*f + s + 10 for f.
2
Suppose -6*i + 215 = -i. Let o = -9 + i. Let c = -34 + o. Solve -4*g = -3*r + 13, -4*r + r - 2*g + 7 = c for r.
3
Let z be 18/(-21)*((-56)/12)/((-1)/(-3)). Solve 2*m = -g, z*g - 8*g - m - 9 = 0 for g.
2
Let s be 16/(-6)*(6 - 9)/1. Let a be (s - 125/15)/((-1)/9). Solve v - 30 = -5*q, -q = -v + a*v - 15 for q.
5
Let f be (-41)/(-5) - 408/(-510). Solve 5*s - 6*s + f = -3*r, -6 = 4*s + 2*r for s.
0
Let y be (-20475)/(-2835) - ((-40)/(-18) - 2). Solve b - 4 = v - 9, -3*v - 5*b = -y for v.
4
Let z = -14 + 22. Let w(k) = k**2 + 113*k + 3201. Let s be w(-59). Solve 3*i - s = 3*a, 7 = 3*a - z*a - 4*i for a.
-3
Let t = 9 + -9. Let i(h) = h**3 + 6*h**2 + 5*h + 3. Let v be i(-5). Suppose 0 = -v*l - l + 20. Solve 2*q - l - 3 = 2*o, -q = t for o.
-4
Let d(u) be the third derivative of u**5/60 + u**2. Let p be d(2). Suppose -54181*c + 108 = -54163*c. Solve 5 = -p*a + a + 2*x, 3*x = -c for a.
-3
Suppose -141*v + 47*v + 550 = -39*v. Solve -8*f = -10*f + v, 2*f - 7 = t for t.
3
Suppose 1059 = 292*k - 295*k. Let z = -348 - k. Solve -2*m - 4 = 5*b, -2*m - z*b = -m + 2 for m.
-2
Suppose -44*v + 141 = -79. Suppose 5*h = -r + 4*r + 93, 0 = 4*h - 4*r - 68. Let n = -17 + h. Solve 5*c + 22 = n*d, d + v*c + 10 = 3 for d.
3
Let b = -17582 - -17582. Solve -5*z + 5*x + 4 = -26, 3*z - 4*x - 22 = b for z.
2
Let b(k) = 2*k**2 + 13*k + 9. Let j be b(-3). Let a be (j/(-10))/(20/50). Solve 0 = a*m - 5*q + 31, 3*m + 16 = 3*q - q for m.
-2
Let i be 3 + (4 + -3)*4/(-4). Suppose 2*l - 6 = -4*t, -i = 3*l - t - 4*t. Let r(f) = 2*f**2 + 2. Let a be r(l). Solve 1 = 5*z - 2*h + h, -4*h = 5*z + a for z.
0
Suppose 5*d - 18 = 3*o + 5, 4*o = -d. Solve -4*u = -5*g + 5, -4*g + 0*u - 2*u + d = 0 for g.
1
Suppose 40*y + 5*l = 43*y - 3, 4*l = 24. Solve y = w - 5*k, -2*w + w - 1 = k for w.
1
Suppose -23*l + 34*l = 1034. Suppose -89*f + l*f = 10. Solve -f*b = -2*m + 3*m + 6, 16 = -3*m - 4*b for m.
-4
Suppose v + 0*v - 97 = -z, z = -4*v + 82. Let w = 28 - z. Let l = 89 + w. Solve 5*u = b + l, -2*u = b + b + 6 for b.
-5
Suppose -r - 2*r = 0. Suppose -443*b + 461*b - 90 = 0. Solve 3*t + 3 = r, -4*p - b = -6*t + 3*t for p.
-2
Let o(q) be the third derivative of -q**6/120 + 11*q**5/60 + q**4/4 - 11*q**3 + 106*q**2. Let z be o(11). Solve 5*y + 4*g - 4 = 0, 12 = -2*y - z*g - 5*g for y.
4
Let t = 257 - 283. Let x be 74/14 + t/(-7) + -4. Solve -40 = -x*o + 5*v, 5*v + 4 = -o + 2*v for o.
5
Let x(w) = 5*w**3 + 3*w**2 - 3. Let p be x(1). Solve -2*k - 2*s = -2, k - p*s + 8 - 15 = 0 for k.
2
Suppose p + x = 20, -3*x + 84 = 15*p - 11*p. Let r be p - (-3 + 6 + -2). Solve -v + 2*v + 4*b - r = 0, -4*v = 5*b - 37 for v.
3
Let g(w) = -14*w + 131. Let i be g(8). Suppose 22*y - i - 25 = 0. Solve -2*o + 5*q + y = 0, -5*o - 3*q + 5 = q for o.
1
Let u(f) = f**2 - 9*f - 18. Let o = -18 - -32. Suppose 11*g = o*g - 33. Let k be u(g). Solve 4*p - 3*t = -0*p - 11, k*p - t = -1 for p.
1
Let z(h) = -15*h - 87. Let i = -12 - -6. Let p be z(i). Solve -17 = -3*k - 5*m, 3*k - 7 = -2*k - p*m for k.
-1
Suppose 135 = -49*c + 54*c. Suppose p + 6*h - 7*h = c, h - 103 = -4*p. Solve p = -5*j + 3*u, u - 14 = 3*j - 0*u for j.
-4
Let h = 18151 + -18139. Solve -d - 4 = -w, -d + h*w - 15*w = -4 for d.
-2
Suppose 111 = 5*t + 81. Let z be (2 - 1) + (0 - -3). Suppose 3*j = 5*j, z*c = -2*j. Solve -w - 2 = 3*i, -2*w + c*w - i = -t for w.
4
Suppose -h - 56 = -59. Solve -y + 24 = 4*g, 9*y - 14*y + 35 = h*g for y.
4
Let b be -1 + -1 + 2 - 3 - 3. Let l(u) = u**3 + 6*u**2 - 3*u - 11. Let n be l(b). Suppose 2*r - 1 - n = 0. Solve 3*s + 24 = 2*c + 5, 0 = 5*c + r*s + 10 for c.
2
Let m be (1250/6 + -1)*30/10. Let r = -619 + m. Solve 4*a = -5*q + 2*a - 13, 0 = -r*q - a - 8 for q.
-3
Let b be (10/(-9))/(26/(-117)). Solve 3*g + 5*a = 4, -a + 2*a - 12 = b*g for g.
-2
Let y = -11101 + 11101. Solve 0 = -y*g - 4*g - 4*j + 20, 0 = 5*g - j - 31 for g.
6
Let r(d) = -37*d + 41. Let w be r(1). Suppose -5 = -2*v + 5. Suppose -v*t + 3*t + 2 = 0. Solve t = k, -2*s + 2 = -w*k + 2*k for s.
2
Let j(y) = 111*y**2 - 561*y + 30. Let l be j(5). Let p(g) = g + 9. Let m be p(-6). Solve 0 = -h - l*h + m*n - 7, -n = -4*h + 5 for h.
2
Let v = 93 + -66. Suppose 4*i + 2 = 2*t, -v = -i + 4*t - 9*t. Solve 3*a - 21 = i*h, -h - h + 19 = 5*a for a.
5
Let k = -24 + 28. Let c(p) = 23*p - 56. Let g be c(3). Solve -k*w + h = -g, 0 = w + 2*h + h for w.
3
Let n = -8126 + 8126. Let w(v) = 3*v**2 - 2*v + 1. Let f be w(1). Solve -3*d + 2*z + 4 = 0, -4*d + n*z + f*z = -8 for d.
4
Let p(j) = -j**2 - 85*j - 1340. Let a be p(-64). Solve -3*o + x = -20, 8*o + a*x + 40 = 12*o for o.
5
Let d = -252 + 264. Suppose 6*u = -0*u + d. Solve -11 = -s + u*g, 2*s - 5 = 2*g + 7 for s.
1
Let y = -37 - -40. Suppose 4*i = 0, 2*h - 30 = -y*h - i. Let u(q) = q**2 - 3*q - 11. Let l be u(h). Solve 3*c + 1 = -2*p, -4*c + 0 = p - l for c.
3
Suppose 32*x + 23*x - 275 = 0. Let j = -7 + 13. Solve 3*k - t = -4*t + j, 10 = -2*k + x*t for k.
0
Suppose -3*b + 56 = 4*n, -130*b + 127*b + 64 = -4*n. Suppose 5*i + o - 6*o - 70 = 0, -4*o = 5*i - 79. Solve -1 - b = -g - 5*s, -3*s = 3*g - i for g.
1
Let m(n) = -11*n**2 + 244*n - 34. Let b be m(22). Solve -5*f + b = -g + 28, 4*f - g + 15 = 0 for f.
-3
Let h be 3 - 2/((-2)/(-7)). Let w(c) = c**3 + 2*c**2 - 12*c - 15. Let k be w(h). Solve r - 2*x + 0*x = k, -x = -3*r - 7 for r.
-3
Suppose 4*z - 84 = 2*w, w = -z + 2*w + 20. Let c be -10*(-36)/30*2/4. Solve -2*p = x - c, p + 1 - z = 4*x for x.
-4
Suppose 0 = w - 3 - 1. Suppose -232 + 832 = 12*o. Suppose -38 = -11*v + o. Solve v*s - 3*x - 16 = w*s, -s = -x - 5 for s.
1
Let s be ((-38)/(-95))/(2/20). Let g(w) = -2*w**3 + 14*w**2 + 9*w - 61. Let d be g(7). Solve u - 2*n = -s*u + 8, -2*n - 8 = d*u for u.
0
Suppose 2*j = 3*t + 57, -4*j + 111 = t - 6*t. Let z = 11 - 7. Suppose 0 = -5*c - 2*p + 10, 0*c - c = -z*p - j. Solve -21 = -5*r + 8*x - c*x, 3*r = -x - 1 for r.
1
Suppose 0 = -9*w + 3*q + 9, -5*w + 5*q - 7 = -2. Solve -4*d - x + 19 = 0, 0 = 11*d - 9*d + w*x - 14 for d.
4
Suppose 8*n = 3954 + 5646. Suppose -n = -5*x - 1150. Solve 5*r = -3*t - 10, -2*t + 5*r = -0*t - x for t.
0
Suppose 0*m = 4*m. Suppose 30 = 3*o - 3*a, 3*a = o - m*a - 20. Suppose -3 = -t - 0, o*b - 5 = 5*t. Solve -4*s = -4*n - 0*n - b, n - 23 = -5*s for s.
4
Let w be 0/(-1 + 1 + -2). Let i be 340/30*(-3 + 0) - w. Let c = -30 - i. Solve -3*y + 5*g = 2*y + 20, 2*g = -4*y - c for y.
-2
Suppose 4 = 4*g - 3*g. Let p = -165 - -163. Let q be 3/6*p*0. Solve -t + 3*w - g - 10 = 0, q = -2*t - w - 7 for t.
-5
Let v(t) be the second derivative of -t**4/12 - 6*t**3 + 21*t**2 + 8*t - 1. Let j be v(-37). Solve 3*b + 12 = 0, j*k - 2*b + 2 = -0 for k.
-2
Suppose 2*n - 2*i = -18, -4*n = -n - 4*i + 26. Let f = -8 - n. Suppose -3*b + 7 = 2*q - 10, -q = -f*b - 19. Solve 4*v + q = 3*z, 2*v = -4*z - 1 - 11 for v.
-4
Let g be (3/(6/(-10)))/(-1). Let k be (-3 + 225/81)/(4/(-72)). Solve -g*d - c = k*c - 25, 3*d - 15 = 3*c for d.
5
Let v(u) = 5*u - 2. Let h be v(2). Let l be 8/(-6)*12/(-8).