t n = o + -3. Let p be -2*(-9)/24*n. Solve p*v - 6 = v for v.
3
Let n be -2 - 0 - 1 - 35. Let h = n + 21. Let a = -13 - h. Solve -12 - 4 = -a*l for l.
4
Let x(v) = -2*v**2 + 15*v - 3. Let c be x(7). Suppose -2*s - 26 = -c*l + s, -s - 2 = 0. Suppose -3 + l = 2*n. Solve 4*j + 7 = -n for j.
-2
Let v(m) = -m**3 - 2*m + 149. Let o be v(0). Suppose -q - 33 = -k + 3*q, q - o = -4*k. Let n = -37 + k. Solve 6 = 2*s - n*s for s.
3
Suppose 2*u + 3*u = -50. Let i be u - -6 - (-5 + -1). Suppose 3*q = 7*q - 48. Solve i*v = 6*v + q for v.
-3
Let i = 10 - 9. Suppose 10 = 2*c - 10. Suppose 0 = 5*v - c*v. Solve v*a + a = i for a.
1
Let j be (-3 - -18) + ((-1)/1 - 0). Suppose -j*f = 9 - 93. Solve r - f*r = 25 for r.
-5
Suppose 47 = 5*d + 3*m + 129, d + 4*m + 30 = 0. Let w = 14 + d. Solve 3*z = -w*z + 9 for z.
3
Let n = -158 + 160. Let y be n/12 - ((-7605)/(-54))/(-13). Solve 3*u = -2 + y for u.
3
Let i(p) = -p**2 + 7*p. Let r be i(9). Let n = 20 + r. Let t be (-1)/1*10/(-5). Solve -a - t = n for a.
-4
Let l = -1054 - -1064. Solve l*g = -g - 44 for g.
-4
Let u = -301 + 339. Solve -7*o - u + 17 = 0 for o.
-3
Let g(b) = b**2 + 18*b + 20. Let m be g(-17). Solve m*n + 15 = -2*n for n.
-3
Let q(s) = s**3 - 9*s**2 - 2*s + 80. Let u be q(8). Let k(c) = 4*c - 2. Let f be k(2). Solve u*b - f = -3*b for b.
2
Suppose 0*z + 2*z + 5*f = 15, 0 = z + 3*f - 6. Let c be (-8)/6 - -2 - (-50)/z. Suppose 0 = -3*v - w + 3*w, 2*v = -3*w. Solve -12 = -v*q + c*q for q.
-3
Let d = -306 - -306. Solve 7*y - 6*y + 1 = d for y.
-1
Let y = -165 + 168. Solve 4*s + y = -1 for s.
-1
Let q(s) = -s**3 + 11*s**2 + 2*s - 12. Let c be q(11). Suppose 0*k - 2*k + c = 0. Let u(n) = n**3 + 10*n**2 + 8*n - 9. Let v be u(-9). Solve v*b = -b - k for b.
-5
Let a = 67 + -52. Let b = a + -12. Solve b*w = 7*w for w.
0
Suppose 3*a + 12 = 0, 183 = 4*c + a + 35. Let q be (-3)/(-2)*10*-2. Let k = c + q. Solve 0 = 3*s - k*s + 10 for s.
2
Let g = -39 - -39. Suppose -15 = -5*z - g. Solve -z*c + 2*c = 0 for c.
0
Suppose 2*n - 6 = 2*o + 18, 4*n + 29 = -3*o. Let j be (-1)/(-4) + o/(-4). Suppose 70*d + 3*v = 67*d + 9, 27*v = d + 53. Solve j*r = -8 - d for r.
-3
Let f(b) = b**2 - 37*b - 200. Let k be f(-5). Solve 22 + 18 = k*c for c.
4
Let y(o) be the first derivative of o**2/2 - 11*o + 1. Let l be y(11). Solve -u + l*u = -1 for u.
1
Let n(j) = -j**3 + 2*j**2 - 1. Let z be n(-1). Suppose l - z + 1 = 0. Solve -2 - l = 3*q for q.
-1
Suppose 317 = 9*h - 21*h + 353. Let q = 1 + 15. Solve n = -h*n + q for n.
4
Let w be 18 + -1 - (-2 - -2). Let r = 241 - 253. Let i = w + r. Solve 3*z - 4 = i*z for z.
-2
Suppose 4*c + c + 95 = 0. Let v = c + 22. Solve 0*j - v*j = 0 for j.
0
Let c = -2037 + 2065. Solve 2*s + c = 22 for s.
-3
Suppose -3*a + 2*i = -7 - 1, 3*a = -3*i + 33. Suppose -3*h - 14 + 20 = 0. Solve 0 = h*k + 2 + a for k.
-4
Suppose -19*q + 82 + 13 = 0. Solve 9 = -q*t - 6 for t.
-3
Let g = -81 + 112. Solve 4*f = 27 - g for f.
-1
Let k = 9 - 15. Let g(x) be the first derivative of -x**3/3 - 3*x**2 + 2*x + 3. Let z be g(k). Solve -z*u = 2*u - 4 for u.
1
Suppose -3*t + 5*m - 16 = 0, 40 = 4*t + 5*m + 3. Suppose t*z + 12 = 0, -a + z + 0 + 7 = 0. Solve -a*p = -p - 8 for p.
4
Suppose -5*s = 6*d - d + 15, -4*d = -5*s - 33. Suppose 13 = p + 3*u, 4*p + 4 = 4*u - 2*u. Solve n + d = -p for n.
-3
Let k = 37 - 34. Suppose -5*a + a = 2*m - 10, -2*a + k*m + 17 = 0. Solve -a = 3*z - 7 for z.
1
Let i(u) = -u**3 - 7*u**2 + 2*u + 23. Suppose 52 = -5*g + 17. Let b be i(g). Let h be 2/(-12) + (-155)/(-30). Solve -4*v + h = -b*v for v.
-1
Suppose -37*p = 2*p. Solve 5*b - 9*b + 12 = p for b.
3
Let s(f) = -7*f + 70. Let g be s(10). Solve 6*t - t = g for t.
0
Let q(c) = 2*c**2 + c - 1. Let k(p) = p**2 + p. Let l(v) = 3*k(v) - q(v). Let g be l(-1). Solve 0*b + 2*b - 8 = g for b.
4
Let i(s) = -4*s - 1. Let u = 5 - 6. Let w be i(u). Suppose 0 = -j + 2*q - 3, 0*q = -w*j + 3*q + 3. Solve -j*t + 3 = -12 for t.
3
Let h(k) = -2*k + 3*k + 4*k + k**2 + 12 - 2. Let y be h(-5). Let a be (-56)/(-20) - 8/y. Solve -4 = 2*j - a for j.
-1
Suppose -5*a = -4*t + 35, -5*t + 6*a + 40 = a. Suppose 3*w + 2*b + 23 + 35 = 0, -85 = t*w + b. Let i be 42/8 - (-4)/w. Solve g = i*g + 12 for g.
-3
Let k be (6/8)/(2/208). Suppose k = r + 70. Solve 0 = -6*x + 8*x - r for x.
4
Suppose 14*w + 3*o = 17*w - 21, -2*w + 4*o + 22 = 0. Solve 0 = w*j + j for j.
0
Let b(v) = v**3 + 4*v - 1. Let c(r) = 2*r**3 - r**2 + 4*r. Let w(j) = 3*b(j) - 2*c(j). Let t be w(3). Solve 3*u + t*u = 9 for u.
3
Suppose -2*s + 2*i = -0 - 2, 0 = -5*s - i + 5. Solve -c + 2 - s = 0 for c.
1
Let x = 23 - 10. Suppose 23 = 3*q + 2. Solve -q = 5*u + x for u.
-4
Let y(p) = p + 72. Let k be y(0). Let d = k - 70. Solve -5*g - 17 = -d for g.
-3
Suppose -6*k + 36 = -3*k. Let v be 3/k + (-475)/(-20). Solve -v = 4*r - 4 for r.
-5
Let y = -10 + 24. Suppose -3*b + 6*b - y = -2*p, 3*b + 3*p = 9. Solve 3*z - b = z for z.
4
Suppose -r + 2*r - 3 = 0. Suppose -2*u + r = -1. Suppose 3*t + u*t - 20 = 0. Solve -t*c + 2 = -5*c for c.
-2
Let o = 199 + -131. Suppose h + 39 = o. Solve -h = 5*g - 9 for g.
-4
Suppose 0 = -27*d + 45*d - 36. Let w(a) = -a**2 + 8*a - 4. Let u be w(7). Solve -d*f + u = f for f.
1
Suppose 22*f - 21*f - 16 = 0. Solve 5*g + 4 + f = 0 for g.
-4
Let r be (4 + -4 - -11) + -7 + 9. Solve -9 = 4*h - r for h.
1
Let a(r) = 69*r - 21*r - 22*r - 27*r. Let c be a(0). Solve c*i + 10 = -2*i for i.
-5
Let a = 23 + -29. Let n(c) be the third derivative of -c**4/24 - c**3/6 + c**2. Let j be n(a). Solve 4*d = j - 21 for d.
-4
Suppose n - 3*n + 10 = 0. Solve n*b + 0*b + 25 = 0 for b.
-5
Let r(o) = -4*o - 82. Let d be r(-29). Suppose -d = -3*y + 2*m, 3*y + m = 4*y - 13. Solve -f = 3 - y for f.
5
Suppose 2*j - 3*p = 20, 7*j - 4*j + 3*p = 0. Solve 10 = j*i - 10 for i.
5
Let j = 238 + -167. Suppose 5*u = j - 21. Solve u = -v - v for v.
-5
Suppose 24*p - 20*p + 8 = 0. Let c be (16/(-12))/(p/3). Solve c*i + 3 = 5 for i.
1
Suppose -171*a + 1968 = -123*a. Solve 4*x + 25 = a for x.
4
Suppose -10 = -v - f, -3*v + 4*f = -33 - 25. Solve -3*z + v - 2 = 0 for z.
4
Suppose p + 6 = 2*p. Suppose 5*w - 679 = -659. Solve n - w = -p for n.
-2
Let m = -256 + 287. Solve -5*f + m = 6 for f.
5
Suppose -3*f - 8 + 17 = 0. Suppose -t + 20 = f*t. Suppose -3*b = -4*k - 82, 0 = b - k + 2*k - 25. Solve t*n + b = 6 for n.
-4
Let v = -8 - -12. Let b(x) = -x**2 - 3*x + 1. Let r be b(-2). Solve -r*q + q = v for q.
-2
Let t be 8*((-5)/(-20) - 0/(-4)). Suppose -v + t*v + 8 = 3*i, -i = -v. Solve 6 = v*s - s for s.
2
Let k be 2/(-7) - (86/(-7) + 2). Solve k*h = -h + 11 for h.
1
Let r be (-4)/(-5) - (-858)/165. Solve 5*s - 3*s = r for s.
3
Let p(y) = 2*y - 16. Let s be p(10). Suppose -s = -3*l + 2. Solve w - 15 = -l*w for w.
5
Let z be (-26)/10 - (-12)/(-30). Let h be 20/z + (-9)/27. Let k = h + 7. Solve k*j + 4*j = 4 for j.
1
Let r = -42 - -67. Let t = r - 18. Solve 5*g + 22 = t for g.
-3
Let w be (-4)/14*(4 + -26 + 8). Solve w*h = 11*h - 21 for h.
3
Suppose 0 = -5*s - 3*k + 90, 3*s - 6*s - k = -54. Suppose 0 = 4*q + 2*b - s, -3*q + 4*b = b. Suppose -y = -0*y + 3*u, 6 = 3*y + q*u. Solve -y*g + 5*g = 0 for g.
0
Let q be 2/((-7)/(84/8)). Let w be 2/q + (-14)/(-3). Solve 0*x + x = -w for x.
-4
Let x be (-2)/7 + (-74)/(-14). Suppose -q + 12 = x*q. Suppose -15 = z - 2*z. Solve -q*o - 3*o = -z for o.
3
Suppose -2*a = 3*s + 3 - 9, 2*a = -2*s + 6. Solve f - 1 = -a for f.
-2
Let u = -26 - -25. Let w be u/((-16)/14 - -1). Solve 5 = -4*g - w for g.
-3
Suppose 0*l - 5*l = 5*o - 125, 5*l - o - 95 = 0. Solve 3*q - 23 = -l for q.
1
Let d = 56 + -32. Let b be 5/(-2)*d/(-15). Solve -b*w = w for w.
0
Let f(h) = 22*h + 7. Let v be f(6). Suppose -5*o + v = 99. Solve -o = 2*m + 2*m for m.
-2
Let y = -1 + 13. Let j be (-1 + (-164)/y)*-3. Let b = j + -29. Solve -2*t - t = b for t.
-5
Let d be (-10)/(-2) - (-8 + 6). Suppose d*k = k. Solve k = 3*v + v + 8 for v.
-2
Let v(n) be the third derivative of -n**6/120 - 11*n**5/60 + 11*n**4/24 + n**3/2 - 8*n**2. Let z be v(-12). Let q = z + -7. Solve -t + q = t for t.
4
Suppose 13*n - 130 = 18*n. Let h = n + 34. Suppose g - 3 = -2*u, 3*u - h*u = -3*g - 24. Solve 3*k + 3 = -u for k.
-2
Let i(z) = 2*z**3 - 4*z**2 - 2*z. Let c(j) = -3*j**2 + j**3 + 6*j**3 - 2*j - 5*j**3. Let w(b) = 6*c(b) - 5*i(b). Let x be w(1). Solve -m = m - x for m.
1
Let d = 9 + -9.