Solve -j*v + 13 = 3 for v.
2
Let g be 2*2/(-3)*(-12)/16. Solve 5*s + 6 - g = 0 for s.
-1
Let l(z) = 2*z - 10. Let q be l(4). Let r = q - -8. Solve r*w - w = 0 for w.
0
Let r(n) = -n**2 + 14*n + 3. Let j be r(14). Suppose 9 + 3 = 3*v + 2*m, -2*v = j*m - 8. Solve 2 - v = -2*s for s.
1
Suppose -3*s + 4*f + 2 = -4*s, 5*f = -s - 3. Suppose 3*o - 5*o + 3 = -z, -2*z + 6 = 0. Suppose -3*v + 3 = -o. Solve -v = -s*q - 4 for q.
-1
Suppose 5*c + 2*s - 86 = 28, 99 = 4*c - s. Solve -4*w = -10*w - c for w.
-4
Suppose -4*x - 70 = x. Let p = x + 14. Suppose p = -f - f + 26. Solve -4*r - f - 7 = 0 for r.
-5
Let f(n) = n**3 - 26*n**2 - 29*n - 37. Let r be f(27). Let u = 114 + r. Solve 3 = -4*g + u for g.
5
Let t be (-18)/12*(-112)/6. Solve -5*k + t - 8 = 0 for k.
4
Let n = 24 + -21. Let g be (-15)/3 - -1 - n. Let m = 8 + g. Solve 2*f + m = 5 for f.
2
Suppose -c = 3 - 10. Let j(a) = 4*a - 26. Let o be j(c). Solve -6 = o*k - 0*k for k.
-3
Let m(c) = -15*c + 117. Let r be m(6). Solve 4*v = 11 - r for v.
-4
Suppose -9*z = -23*z + 126. Solve -z*h - 8 = -13*h for h.
2
Let u(q) = q**3 - 8*q**2 - 10*q + 12. Let t be u(9). Suppose 3*h + t = -2*y, 2*y + 4*h = 6*y - 4. Let l be 2/(-8) + (-42)/(-8). Solve l*g - g = y for g.
0
Let p = 336 - 332. Solve -2*s = p - 8 for s.
2
Suppose -2*v + 20 = 6*k - 3*k, -30 = -3*k + 3*v. Suppose -11*z = -7*z - k. Solve z*b + 0*b = 0 for b.
0
Let x be 1/(14/4) - (-556)/14. Let g = x + -40. Solve s + 2*s - 15 = g for s.
5
Let s be 35 + 4 + (-14)/7. Solve -40*z + s*z + 12 = 0 for z.
4
Let f = -61 - -4. Let r = f - -64. Let s(c) = c**3 + 3*c**2 - 3*c - 4. Let g be s(-3). Solve 10 = g*q - r*q for q.
-5
Let a(c) = 19*c**2 + 2*c - 1. Let r be a(1). Solve -3*s + r = 2*s for s.
4
Suppose 0*f - 3*f + o + 7 = 0, 3*o - 11 = f. Let b(s) = -s + 5. Let k be b(f). Solve -2*p + k = -p for p.
1
Let u(y) = y**3 - 5*y**2 - 6*y - 4. Let k be u(6). Let n be 12*(-3)/(18/k). Solve 7*a - n = 3*a for a.
2
Suppose 2*r + 20 = 7*r. Let x(d) = -d**3 - 16*d**2 + d + 17. Let h be x(-16). Let j be (2 - (h - -1))/1. Solve -r*g + j + 4 = 0 for g.
1
Suppose 8*o - 3*o - 1 = 4*w, -4*w - o + 29 = 0. Solve w = 2*p + 2 for p.
2
Let i be 1/(-5) + ((-324)/(-20) - 6). Suppose -7*v = -i*v + 6. Suppose 1 = 4*o - 15. Solve -4*x - o = -v*x for x.
-2
Let o(t) = t**3 + 30*t**2 + 55*t - 26. Let s be o(-28). Solve -s*k = -3*k - 2 for k.
-2
Suppose 12*p = -4*p + 32. Solve 0*z + z = p for z.
2
Let d(s) = -s**2 + 17*s + 110. Let u be d(22). Solve u = -9*v + 6*v - 15 for v.
-5
Let c be -21*1/(-1) - 6*1. Solve -5 + c = -5*h for h.
-2
Suppose -5*b + 0*b - 130 = 0. Let s be ((-13)/b)/((-1)/(-38)). Suppose 22*h = s*h. Solve -25 = 5*n - h for n.
-5
Let k(z) = z**3 - 59*z**2 - 5*z + 297. Let i be k(59). Solve -10*a = -i*a + 32 for a.
-4
Let m(n) = -n**3 + 4*n**2 - 6*n + 7. Let l be m(2). Let w be (72/(-40) + 0)/(1/(-5)). Solve -l*z + 0*z + w = 0 for z.
3
Let m(v) be the third derivative of -v**4/24 + 35*v**3/6 - 3*v**2. Let s be m(0). Let a be 4/(-14) + 185/s. Solve a*r = 6 - 26 for r.
-4
Let h = -15 + 33. Let t = h + -7. Solve 2 = 3*y + t for y.
-3
Suppose 0 = 4*b - 8. Suppose -12 = o - 3*r, 5*o + 2*r - 20 = -3*r. Solve o = b*g + 3*g for g.
0
Suppose 50*o = 7*o + 86. Let h be (8/(-4))/((-2)/4). Suppose g + 2*u = -u - 3, -1 = -g - u. Solve g*p + o = h*p for p.
2
Let k = 3 - 10. Let z = -1 - k. Suppose -w - 40 = -z*w. Solve 4*q = -0 - w for q.
-2
Suppose -3*q + 26 = 38. Let r be 7 + q + (-2 - -3). Suppose -s = -5*s + 8. Solve 0 = 4*x - s*x + r for x.
-2
Let m be (-31 + 31)/(1 - 2). Solve m = 9*p - 16*p - 7 for p.
-1
Let h be (199 - 4)*(-2 - 48/(-20)). Suppose 5*u - 3*t = h, 3*t + 0*t + 33 = 2*u. Solve 0*g - 5*g = -u for g.
3
Let l(w) = 19*w + 36. Let p be l(-2). Let z be (-4)/8 + (-1)/(-2). Let b be z/(4/(p + 4)). Solve 3*g - 7*g + 20 = b for g.
5
Suppose -4*f + 16 = 19*o - 18*o, -4*f = -o. Solve 3*v + v = o for v.
2
Suppose 0 = 3*h + 2*q - 52, 2*q = -40*h + 38*h + 38. Solve 0 = 2*t + h - 24 for t.
5
Let j(l) = -2*l - 8. Let v be j(-7). Solve -3*s - 3 = v for s.
-3
Suppose 3*k = 2*k. Suppose k - 6 = -2*n. Suppose n*y + y = 28. Solve 5*i - y = 3 for i.
2
Let c be (-1465)/4 - (-4)/16. Let u be ((-1)/(-4))/(c/(-72) + -5). Solve u*y - 12 = -y for y.
3
Let h(q) = q**2 + 9*q + 11. Let d be (-6)/(-39) + 106/(-13). Let g be h(d). Suppose -l + g*l = 0. Solve l = 3*o - 0*o for o.
0
Let o = 26 + -24. Suppose -4*t - 66 = -o*m, 0 = 5*t - 10*t + 20. Suppose -8 = 4*b - 5*v - m, 3*b - v - 33 = 0. Solve -3*w + 0*w = -b for w.
4
Let u(v) = -6*v + 53. Let d be u(6). Solve -5*a = 2 - d for a.
3
Let f be (-4)/(12/(-15)) + -1. Suppose 0*v = -f*v + 12. Suppose 2*x - v = -m, 2*x - 18 = -0*m + 4*m. Solve -x*t = -t for t.
0
Suppose 3 = -4*q + 5*s + 26, s - 22 = -3*q. Let p be (1 - q)*(-2)/4. Solve -p*k = 2*k for k.
0
Let g = 54 - 45. Suppose -7*y - g = -30. Solve -4*f - 1 - y = 0 for f.
-1
Suppose 3*x = -4*m, -m - 17 = -5*x + 6. Suppose -3*b + 3*w = x*w + 7, -b + 3 = 3*w. Let p be 6 - -1*(b + -1). Solve 0*s + 10 = p*s for s.
5
Suppose 0 = 2*f + f - 15. Suppose 9*n - f*n + 32 = 0. Let k = n + 9. Solve 5*b = 6 - k for b.
1
Let c = 2 - 1. Suppose -4*l + 119 = -3*b, -1 = 2*l + c. Let y = b - -67. Solve 0 = -5*r + 6 - y for r.
-4
Suppose -4*r = 7*j - 2*j - 4, -2*j - r + 1 = 0. Let y(t) = -2*t**2 - 2*t**2 + 2*t**2 + t**2. Let n be y(j). Solve -m + 5 - 4 = n for m.
1
Let c = 14 + -3. Let r = c - 3. Suppose 4*q = 5*b - 47 - 78, 0 = -2*q. Solve 3*d - r*d = -b for d.
5
Let h be (104/(-156))/((4/(-9))/2). Solve 34 = -h*m + 22 for m.
-4
Suppose 5*c + d = 87, 0*d - 3*d = -6. Let u(b) = -b**2 - 5*b. Suppose 2*j - 5*r - 20 = 4*j, -3*r - 6 = 0. Let y be u(j). Solve y = -4*v + 1 - c for v.
-4
Let o(y) = -y**2 - 7*y - 4. Let b be o(-6). Suppose m + 1 = -4*h + 14, -3*m + 71 = 4*h. Suppose -2 = g, -b*a + 4*g = -9 - m. Solve 8*u - 3*u = a for u.
3
Let d = -42 - -65. Let j be 1 + 0 + (26 - d). Solve j*s = 3*s + 4 for s.
4
Let m = 214 - 142. Suppose 2*c + c = m. Let t be ((-6)/4)/(c/(-112)). Solve 5*h - t = 3 for h.
2
Suppose 2*i + 3*i + o = 44, 2*i - 4*o = 0. Solve -20 = -i*b + 12*b for b.
-5
Let c(k) = -k**2 + 0*k**2 - 30 + 9*k + 53 - k. Let q be c(10). Solve -q*f + 0*f = 3 for f.
-1
Suppose 0 = -2*a + 4*c + 60, -10 - 20 = -a - 5*c. Solve a = -11*h + 21*h for h.
3
Let z = -41 + 44. Let h be (1 + -6)*((-72)/40)/z. Solve h*d = 5 - 8 for d.
-1
Let v = 1 - -18. Let t = v + -15. Solve -t = -k + 3*k for k.
-2
Let l(v) = v**2 + v - 4. Let g(r) = -3*r**2 - 2*r + 9. Let f(u) = -2*g(u) - 5*l(u). Let o be f(2). Solve 0 = -z - o*z + 15 for z.
3
Let t = 4 - 2. Let h be t/6*(-12 - -12). Solve -v + 4*v = h for v.
0
Let i = -584 - -587. Solve i*w = -w for w.
0
Let j be (-1)/(-2) + 30/4. Suppose -2*c - 3 - 3 = -2*h, -2*h = -c - 3. Suppose h = -3*w + 10 - 1. Solve -w*m - j = -5*m for m.
4
Let q(o) be the first derivative of 3*o**2/2 - 5*o + 17. Let m be q(4). Solve -2 = 5*w - m for w.
1
Let c(s) = -s**3 + 17*s**2 + 41*s - 51. Let i be c(19). Solve 4 = -2*a + i*a for a.
1
Suppose 23*r - 15 = -15. Solve -26*l + 30*l - 12 = r for l.
3
Let h = 19 - 12. Suppose -h = 4*d + 3*w, -3*d + 4*w + 28 = d. Suppose 2*s - 10 + 2 = 0, -4*i + 4*s = 12. Solve -5 + i = -d*u for u.
2
Let v(h) = h - 10. Let n be v(14). Let x be (-170)/(-8) - n/16. Solve x = 3*c + 6 for c.
5
Let n(h) = 9*h + 40. Let c be n(-4). Solve -c*z - 5 + 13 = 0 for z.
2
Let s(k) = -k**2 - 13*k - 7. Let y be s(-9). Let p = y - 29. Solve 4*v - 2 - 10 = p for v.
3
Let s(w) = -3*w - 4*w + 6*w - 14 + 0*w. Let g be s(-10). Let f be 4/((-1 - g) + -1). Solve -3*k = -f*k for k.
0
Let h(v) = -v**2 - 7*v + 8. Let a be h(-8). Suppose 0 = -5*r - 121 + 181. Solve -4*b = -a*b - r for b.
3
Let d(u) = -2 + u - 5 + 0*u. Let o be d(12). Suppose 0 = 2*t - 6, o*c + 3*t - 54 = -0*t. Solve -c - 11 = -4*i for i.
5
Suppose 0*k + 1 = -k. Let h be (k/3)/((-5)/60). Let s(n) = -3*n**2 + 11*n + 23. Let t be s(5). Solve -t = -h*v + 9 for v.
3
Let h(u) = -12*u + 154. Let d be h(12). Solve -17*j - d*j = -54 for j.
2
Let m(v) = 18*v - 145. Let g(w) = 9*w - 73. Let h(f) = -5*g(f) + 2*m(f). Let b be h(8). Solve b = 3*u - 4*u for u.
-3
Suppose -36*j - 16 = -44*j. Solve -j*h - 3 = -3*h for h.
3
Suppose s = -2*z - z + 1, z = s - 1. Solve z = -6*h - 18 for h.
-3
Let j be ((-8)/10)/(3/45). Let p(y) = -y + 8. Let s be p(j). Let q be s/(-8)*-2 - -1. Sol