- w = -v for w.
5
Suppose -4*a = 5*f + 5 + 7, -3*a - 10 = 4*f. Let k = -214 - -216. Solve a + k = -n for n.
-4
Suppose 0 = 17*o - 12*o. Suppose o = 7*q - 2*q - 10. Solve 0 = q*f - 4*f + 2 for f.
1
Let d be -33*((-11 - -6) + (-65)/(-15)). Solve 8 = 6*f - d for f.
5
Let n = 105 + -105. Suppose 3*c + c - 16 = 0. Solve n = -0*d + d + c for d.
-4
Let i = 5 - 1. Suppose 4*b = -3*f + 3, -i*f + 2 = -2*f. Suppose 0 = 3*m + 2*m - 35. Solve b = m*y - 3*y - 8 for y.
2
Let k = -6 - -8. Suppose -2*u = 3 + 17. Let a(g) = -g - 7. Let x be a(u). Solve x*m = 4*m + k for m.
-2
Let k(w) = w**3 + w**2 - w + 2. Let a be k(-2). Suppose x - 3*x - 2 = a. Let i be 5 + 0 - x/(-1). Solve 4 = 2*z - i for z.
4
Let i(s) be the third derivative of -3*s**4/8 - 7*s**3/6 + 18*s**2. Let g be i(-3). Solve o = 5*o - g for o.
5
Let z(q) = 12*q**2 - 143*q - 3. Let s be z(12). Solve s*w - 7*w - 4 = 0 for w.
2
Suppose -4*j = -2*j + 4*n + 8, 13 = 2*j - 3*n. Solve -2*a = -4 - j for a.
3
Let x be (1/(-2))/((-2)/8). Suppose 1 = x*s - 5. Solve -s*d = -d for d.
0
Let h(z) = z**3 - 12*z**2 - 16*z + 48. Let d be h(13). Solve -o - 8 = -d for o.
1
Let s(f) = -f**3 - 23*f**2 + 51*f + 30. Let b be s(-25). Solve 7*y = -b*y + 24 for y.
2
Let d = -185 + 185. Solve d = 5*g - 4*g for g.
0
Let i(q) = -q**2 + 4*q + 5. Let u be i(5). Let c(z) = 2*z**2 + 2*z + 2. Let x be c(u). Let b be (-3 - -5) + x + -2. Solve p - b = -p for p.
1
Let p be 224/22 + (-6)/33. Solve 0 = -p*a + 28 - 8 for a.
2
Let n = -180 - -189. Solve -25*y = -n*y - 16 for y.
1
Suppose 0 = -0*i + 8*i - 32. Suppose 5 = 2*s - s, -i*o = -4*s. Solve -6 = -o*t + 14 for t.
4
Let w be 1/(144/27 - 5). Solve 4*b + w - 15 = 0 for b.
3
Let q(j) = j**2 + 5*j - 12. Let a be q(-7). Let t(b) = -3*b**2 + 0*b**3 + b**3 + 0*b**2. Let h be t(3). Solve h = -0*y + a*y for y.
0
Let n(y) = 36*y + 288. Let w be n(-8). Solve w = m + 5 - 9 for m.
4
Suppose 3*i - 49 = -4. Suppose -5*f = -5 - i. Solve -o = o - f for o.
2
Suppose -4*v + 25 = v. Suppose -v*w + 20 = 5. Suppose -2*i = w*i. Solve 5*h - 10 - 5 = i for h.
3
Let p be (-9)/6 - (-18)/4. Solve -92*x + 95*x + p = 0 for x.
-1
Suppose t - 4*t - 4*o - 4 = 0, 2*o + 8 = 0. Solve t*q + 14 = -2 for q.
-4
Suppose -w = 5*h - 42, h - 54 = -4*h + 3*w. Let x be (-4)/(-6)*(-21)/(-2). Let m = h - x. Solve -4*t = -6*t - m for t.
-1
Let o(s) = s**3 - 7*s**2 - 16*s - 14. Let v be o(9). Solve 6*y - 2*y = v for y.
1
Suppose -3*i + 2*k + 5 = -16, -2*i - k = -14. Let h(d) = d + 25. Let o be h(-20). Solve -o*r + i = -18 for r.
5
Let c = -11 + 13. Suppose c*j = -0*j. Suppose -5*n + 4*n - 2*v = -2, 3*v = -4*n + 8. Solve j = -n*w - 0*w + 6 for w.
3
Suppose 1 = h + 5. Let y(p) = p**2 + 4*p. Let l be y(h). Solve l = 3*k + 2 + 1 for k.
-1
Suppose 15 = 13*o + 2. Solve q - o = 2*q for q.
-1
Let u(c) = c**2 - 6*c + 7. Let w be u(6). Suppose 0 = -w*i + 2*i. Suppose -3*n - b = -1, 3*n - 2*b - 7 = -i*b. Solve -3*t + 2*t + n = 0 for t.
1
Suppose 3*z + 109 = -2*j, 7 + 208 = -4*j - 3*z. Let y = -50 - j. Solve 0 = -y*n - 13 + 1 for n.
-4
Let o(u) = u**2 + 27*u - 51. Suppose 13*p + 87 = 10*p. Let h be o(p). Solve 8 = 3*g - h for g.
5
Let z = 233 - 196. Solve 11*b + 15 = z for b.
2
Let x be (7 + -4 - 7) + 0 + 31. Suppose 0 = -4*d + 1 + x. Solve -3*t - d = 5 for t.
-4
Let d(v) be the third derivative of v**6/120 + 7*v**5/60 - v**4/8 + 3*v**3/2 - 4*v**2. Let t be d(-9). Let p be t/(-70) + (-2)/(-10). Solve p*i + 0 = -6 for i.
-3
Let u be ((-4)/5)/(2/(-5)). Let x be (-5)/(15/(-42)) + (-120)/15. Solve u*h - x*h + 4 = 0 for h.
1
Let v be (-14 - -6)*(-1 + 19/(-2)). Let j = v - 75. Solve 3*c + 6 = -j for c.
-5
Let k be 894/45 + 54/405. Solve 15*y - 10*y = -k for y.
-4
Suppose 5*g - 9 = -2*o, 4*o - 2*o - 4*g = 36. Solve -2*v = 6 - o for v.
3
Suppose 2*h - 4*k = 12, 49*k = -4*h + 51*k + 12. Let v be (-80)/(-25) + 1/(-5). Solve -w - h = -v*w for w.
1
Let i(h) = 4*h - 26. Let z be i(7). Let x = z + 18. Solve -4*f - f = x for f.
-4
Let u be (-10)/50 + (-4)/5. Let x(r) = 3*r. Let k be x(u). Let c be 14/42 - (-1)/k. Solve -3*b - 6 + 0 = c for b.
-2
Let s be (-21)/((-77)/11)*3/1. Solve -3*j = -24 + s for j.
5
Let h(x) = -2*x**3 + 32*x**2 + 31*x + 54. Let z be h(17). Solve -6*w - w = -z*w for w.
0
Suppose 9*m = 11*m - 3*o + 9, 3*m - 3*o + 6 = 0. Solve -m*k - 12 = -3 for k.
-3
Suppose -33 + 27 = -3*d. Solve 7*c + 12 = -d for c.
-2
Suppose 36 = 4*u + 3*a, u - 3*a + 27 = 4*u. Let x be (u - 6/2)/2. Solve x = -5*m - 7 for m.
-2
Let b be 4 + (-20)/(16/(-4)). Solve -6*o + 3*o = b for o.
-3
Let s(t) = t**3 + 9*t**2 + t + 11. Let x be s(-9). Let w(u) = -4 - 2*u + 2*u**2 - u**3 - 5*u**x + 0*u**2 + 2. Let v be w(-3). Solve 0*m + v*m = 12 for m.
3
Suppose -593*x + 720 = -569*x. Solve -32*z = -x*z - 8 for z.
4
Let i be ((-6)/(-9))/(4/(-60)). Let b(o) = -o - 4. Let k be b(i). Solve 0 = -3*a - 6 - k for a.
-4
Suppose 0 = -4*h + 2*o + 2, -o = 3*h + 2*o - 24. Let k = -235 - -236. Solve k = h*f + 10 for f.
-3
Suppose 17*m - 9*m - 16 = 0. Let o be (-2 - m) + 3 - (-14)/2. Solve 0 = h + 5 - o for h.
1
Suppose 0 = 5*b + 5, -4*z + 8*b - 4*b = 500. Let p = 131 + z. Solve -p = -k - 0*k for k.
5
Let s be 16/1*3/4. Let n = 79 + -71. Solve -5*g = n + s for g.
-4
Suppose 36 = -0*z + 3*z. Suppose 5*c = 5*r - 10, r - z = -2*r. Let s = -678 - -678. Solve g - c = -s for g.
2
Let n(s) = -s**2 - 12*s + 3. Let o(c) = -c**3 - 2*c**2 + 5*c - 6. Let i be o(4). Let y be 6/(-21) + i/7. Let j be n(y). Solve -j = b - 7 for b.
4
Let i(q) = 7*q**2 - 10*q**3 + 9*q**3 - 3 - 2 + q. Let l be i(7). Solve 5*n - l*n - 9 = 0 for n.
3
Suppose 4*q - 2*q = 5*t + 14, 4*q = -t + 28. Suppose 45 = -4*r + q*r. Suppose 18*o - r*o = 12. Solve -i + o*i + 6 = 0 for i.
-2
Let x(k) = k**3 - 6*k**2 + 3*k - 20. Let b be x(6). Let z be -4 + (-6)/(4/8*b). Solve -d = z*d for d.
0
Suppose g = -2*g. Suppose c + 8 = -g*c. Let v = -6 - c. Solve -v*f = 2*f for f.
0
Let v = 17 - 12. Suppose 0*k - 25 = -v*k. Suppose -4*w = k*i - 26, -2*w + 6 = -2*i + i. Solve -1 = w*d - 5*d for d.
1
Suppose -71 = 4*z - 95. Solve -z*d = 4*d for d.
0
Let m be (-2)/(-8) + (-22)/(-8). Let n = 45 - 47. Let t = n + 4. Solve -z + t*z = m for z.
3
Let a(h) = 2*h - 2. Suppose 5*s = -0*m + 2*m + 6, 20 = 5*s + 5*m. Let d be a(s). Suppose 4*w - 6 = w. Solve -w*v + 20 = d*v for v.
5
Let a(j) = 9*j - 7. Let s be a(1). Let c(d) = -6*d. Let t be c(-4). Suppose 0 = 4*x + n - t, -2*x + 0*n = -s*n - 12. Solve 3*o + x = -3 for o.
-3
Let l = -20 - -20. Let d = 41 - 37. Solve l = -4*k + d - 0 for k.
1
Suppose 85 = -2*q + 223. Let j = q + -69. Solve j = -2*h - 0 - 8 for h.
-4
Suppose 3*g - 5 = 1. Suppose 0*f + 3*h + 2 = -2*f, -2*f + 4*h = -12. Suppose 0 = c - k - 2*k - 5, 0 = -g*k - f. Solve c*r + 1 - 3 = 0 for r.
1
Let h be 3 - -2 - (-5 + -17). Solve -h*b - 5 = -32*b for b.
1
Let g(p) = -p + 6. Let r be g(0). Let m(f) = -r*f**2 - 4 - 6 - 6*f**2 + f**3 - 12*f. Let k be m(13). Solve k - 1 = v for v.
2
Suppose -2*a - 13 = 3*p - 6, -10 = 2*p. Solve 0 = -l - 2 + a for l.
2
Let n(p) = p**2 - 7*p. Let r be n(6). Let m = r + 8. Suppose 4*q = 2*f + 16, 4*q + 11 = 27. Solve -m*j = -f*j for j.
0
Suppose x - 15 = 5*d, 3*x - 32 - 31 = -3*d. Suppose x + 1 = 7*t. Solve t*v - 4 = -13 for v.
-3
Let q(n) = n**2 + 12*n + 13. Let o be q(-16). Let k = -75 + o. Solve -k*d = 3*d for d.
0
Let a(c) = c**2 + 18*c + 31. Let l be a(-18). Suppose -7*h + l = 3. Solve 0 = -h*p - 6 - 2 for p.
-2
Suppose 172 = 20*a + 12. Solve -5*p + 9 = -a*p for p.
-3
Suppose 3*u + 12*h = 11*h + 85, u = 3*h + 35. Solve -27 + u = 2*n for n.
1
Let w(y) be the second derivative of y**5/20 - 3*y**4/4 - 11*y**3/6 + 4*y**2 + 3*y. Let q be w(10). Let r be 3/q*80/(-24). Solve 2*c + r = -3*c for c.
-1
Let z be 3/(-2)*(-560)/30. Solve 4*i + z = -3*i for i.
-4
Let k be 5 - (2 + -7 + 6). Solve k*a = 2*a for a.
0
Let f be (13 - 1) + 2 + 2. Suppose -2*q + 4*q - 5*v - f = 0, 13 = 3*q - 2*v. Let d = 9 - 3. Solve q*t - d = t for t.
3
Suppose -16 = -y - 0*y. Suppose 0 = z - 3*t - 0 - 2, 4*t + 16 = 4*z. Solve y - 1 = -z*c for c.
-3
Let d(j) = 3*j - 2. Let u be d(4). Let k = u + -4. Solve -i = -k*i - 20 for i.
-4
Let r(m) be the first derivative of -m**2 - 10*m - 7. Let h be r(-7). Solve -s - 15 = -h*s for s.
5
Let k be ((-2)/(-4) + -1)*10. Let t = k - -10. Suppose -t*r + 16 = -r. Solve 0*f = -r*f - 4 for f.
-1
Suppose k + v = -2, -4*k + 0*v - 5