 8*k - 3*k + j. Solve k = 2*v - 6 for v.
4
Let s(p) = p**2 + 18*p + 6. Let a be s(-19). Suppose d - a = -10. Solve -d = 5*v - 0*v for v.
-3
Let r(m) = -2*m - 3. Let k = -21 + 13. Let g be r(k). Suppose -6*c + 0*c = -30. Solve -7 = -c*d + g for d.
4
Let j(f) = f + 16. Let n be j(12). Suppose -3*q = -3*l - 19 - 2, -5*q = 2*l - n. Suppose 5*o = 3*w - 4*w + q, 2*o = -4*w - 12. Solve -2*b = o*b + 8 for b.
-2
Let g = -298 - -298. Solve g = -m - 0 - 0 for m.
0
Suppose -3*c - 61 = -76. Solve 2*h = 15 - c for h.
5
Suppose -u - u = 0. Let p be (-3)/(-3)*u*-1. Let a be (-4 - (0 + -4)) + -1 + 1. Solve a = -p*s - 2*s + 8 for s.
4
Suppose 2*x - 2 - 14 = -2*m, -x + 2*m = 7. Suppose 5*v - 2 = -4*z, -v - x*z = v + 2. Solve v*h - 12 = 5*h for h.
-4
Suppose -4*o - 6*h + h = -12, -4*o - 2*h = -24. Suppose -5*r + 3*r = -o. Solve r*d - 3 = 5 for d.
2
Suppose 0*n - 3*c - 24 = -2*n, 0 = -3*n + 4*c + 36. Suppose -4*p = 5*r + 42 + 38, 58 = -4*r - 2*p. Let d = n + r. Solve -5*f + 10 = -d*f for f.
2
Let m = -237 - -241. Solve 2*q = -0*q + m for q.
2
Suppose -3*z = -0 - 6. Suppose -122 = -3*v + 2*j + 69, 5*v = z*j + 313. Suppose 0 = 4*a + 5*p - 85, -5*a + v = -2*a + p. Solve -4*n + 0*n = a for n.
-5
Let o be (6/2)/((45/(-2))/(-15)). Suppose 10 = 47*x - 42*x. Solve t + o = -x for t.
-4
Let z be 15 + (36/2)/(-3). Solve -56 = z*b + 5*b for b.
-4
Suppose 6*i = -5 + 17. Solve -j + i = 4 for j.
-2
Let h(k) = -k - 2. Let u be h(-4). Suppose u*p = -0*p + 3*m - 6, -3*p - m + 2 = 0. Suppose -5*l + 127 = -2*r, -5*l + 0*r + 122 = 3*r. Solve p*d - l = 5*d for d.
-5
Let w(v) = -v**2 - 11*v + 1. Let t be w(-11). Let b be 11 - ((-4 - -4) + -1)/t. Solve -f - b = 2*f for f.
-4
Let h be 4/(-6) - -51*(-13)/(-117). Let z(g) = 2*g**2 - 2*g - 3. Let o be z(-3). Solve -h*a + 1 = o for a.
-4
Let a = -1 + 4. Suppose 5*c - 1 - 4 = 0. Let q = 0 + c. Solve -q = 2*z - a for z.
1
Let a(o) = o**3 - 6*o**2 - 28*o + 14. Let m be a(9). Let w(t) = -t**2 + 6*t - 6. Let k be (1 - 6)*(-12)/15. Let h be w(k). Solve 0 = -m*u + h*u for u.
0
Let h(o) = o - 30. Let j(p) = -1. Let s(z) = h(z) - 6*j(z). Let w be s(24). Solve -4 = 4*y - w for y.
-1
Let g(c) = -28*c + 0 + 31*c - 1. Let a be g(1). Let j be (-6)/21 + a/7. Solve 2*w + 5 - 13 = j for w.
4
Suppose 3*n - 4*n + 11 = 0. Let r = 22 + -18. Let j = -34 - -39. Solve r*u + n = -j for u.
-4
Suppose -55*j + 51 = -4*j. Solve 0 = -w - 0 - j for w.
-1
Let v(f) = f**2 - 49*f + 181. Let o be v(4). Solve -7 - o = 8*m for m.
-1
Let c = -1137 + 1139. Solve c*g = 135 - 137 for g.
-1
Let b be 13 - (-3 + 5 - (-1)/(-1)). Solve g + b = 8 for g.
-4
Suppose -2*i - 4*i = -30. Suppose -i*x = 9 - 19. Solve 0 = -0*m + x*m + 2 for m.
-1
Let t(a) be the first derivative of -a**3/3 + 9*a**2/2 + 13*a + 9. Let p be t(10). Solve y - p = -0 for y.
3
Let u be (-2400)/(-112) - (-3)/(-7). Suppose 0 = 4*b + 3*b - u. Solve -4*x = -b + 15 for x.
-3
Suppose 5 = -3*l - 7. Let g(b) = 5*b + 15. Let y(n) = n + 3. Let q(o) = 4*g(o) - 22*y(o). Let c be q(l). Solve 5*w - 3 = c for w.
1
Let r(g) = 2*g**2 + 8*g - 1. Let l be r(-4). Let z be (0/(-1))/(l/(-6)*6). Let j = 12 - 7. Solve z = -j*a + a for a.
0
Let x = -869 - -873. Solve 2*y - 4*y - x = 0 for y.
-2
Let r = 1424 + -1424. Solve -c + 5 - 9 = r for c.
-4
Let p be 12/30 - (-138)/5. Let b = -26 + p. Suppose 0 = -4*w + b*w. Solve w = 2*a - 2 for a.
1
Suppose 0 = 3*v - 0*g - 2*g + 6, -v + 3*g - 9 = 0. Suppose v = -2*o + 5*u + 8, 4 = -0*o + o + 4*u. Let x = -13 - -15. Solve o*z = x*z + 8 for z.
4
Suppose -5*p = 2*p - 42. Let k(m) = 3*m - 14. Let d be k(p). Suppose 0 = -c - 3*c + d*r + 28, -3*r = -5*c + 27. Solve c*u + 0 = 9 for u.
3
Suppose 26 = -341*w + 342*w. Solve 2*s + 36 = w for s.
-5
Let c = -1237 - -1241. Let g(x) = -x**3 + 4*x**2 - 2*x - 2. Let y be g(2). Solve 0 - c = -y*m for m.
2
Let l be ((-2)/3)/(46/(-483)). Solve -l*c = -2*c - 10 for c.
2
Suppose 0 = -0*z + 3*z - 27. Let s(k) = 4*k + z + k**3 - 9*k**2 + 3*k + 2. Let o be s(8). Solve -c = -o*c for c.
0
Let l(v) = -4*v**2 + 6*v + 1. Let r(q) = 9*q**2 - 12*q - 1. Let k(s) = -7*l(s) - 3*r(s). Let d be k(7). Solve 0 = -d*t - 0 + 6 for t.
2
Let g = 628 + -616. Let j(o) = -o**2 + 6*o + 4. Let n be j(6). Suppose -n - 10 = -2*r. Solve 3*l - g = r*l for l.
-3
Suppose 0 = 251*q - 252*q + 10. Let t(u) = u**3 - 12*u**2 + 20*u + 11. Let m be t(q). Solve -m = -5*g + 9 for g.
4
Suppose 0 = -0*h + 5*h - 25. Let n = -13 - -1. Let z = 37 + n. Solve -h*s - z + 0 = 0 for s.
-5
Let w be 6/14 - 22/(-14). Let u(h) = h**2 - h - 1. Let b(r) = -5*r**2 + 5*r + 4. Let f(i) = -3*b(i) - 12*u(i). Let o be f(w). Solve 6*s - o = 3*s for s.
2
Let c(i) = 35*i + 140. Let k be c(-4). Solve k = -8*l + 10*l for l.
0
Suppose -41*t + 42*t + i - 4 = 0, 0 = 5*t + 3*i - 24. Solve -t*z = 3 + 3 for z.
-1
Suppose 19*t + 7 - 45 = 0. Suppose -10 + 43 = 3*d - 3*v, -5*d = 3*v - 23. Solve -m = d - t for m.
-5
Let r(q) = -q**3 + 7*q**2 - 2*q - 23. Let k be r(6). Solve -3*n + 4*n + k = 0 for n.
-1
Let c = 77 - 77. Suppose c = -5*s + 3*g - 1 + 5, -2*s - 6 = -5*g. Solve 2 - 4 = -s*i for i.
1
Let h(s) = s**2 - 9*s + 11. Let d be h(8). Let p = 22 + -20. Solve k + p = d for k.
1
Suppose 20 = -7*k + 2*k, 4*k = 4*p - 40. Solve p*n + 1 + 11 = 0 for n.
-2
Let z be (-3 + -2 - -2) + 5. Let o be z + (-3 - (3 + -7)). Let n = o + 1. Solve -n*r + 2 = -2 for r.
1
Suppose -2*z - 1 + 5 = 0. Suppose -z*y = y. Let d be 4/(-46) + ((-819)/(-161) - 5). Solve h + d*h - 1 = y for h.
1
Let u = -171 + 173. Let b be -2 - (2 - 1)/(u/(-46)). Solve -b = 5*z - 1 for z.
-4
Let j(g) = g**3 + 43*g**2 + 183*g - 66. Let d be j(-38). Solve d = -2*r + 192 for r.
-4
Let p(q) = q + 2. Let a be p(0). Let x be ((-6)/75*-10)/(1/((-5)/(-2))). Solve a = -x*r - 4 for r.
-3
Let f(g) = -g**2 - 6*g + 10. Let q be f(-7). Suppose -5*i - 4*u + 54 = 0, 3*i + i - 43 = -q*u. Suppose -5*t + i = -0. Solve 2*r + 2 = -t for r.
-2
Suppose 4*m = -4*j - 0*m - 20, j + 2 = 2*m. Let t be (-5 + 1 + -5)/(6/j). Solve 5*f + t = -4 for f.
-2
Let m(z) = z**3 + 4*z**2 + 2*z + 2. Let q be m(-3). Suppose -5*f = 13 - 38. Solve q*t - 15 = -f for t.
2
Suppose -5*g + 5*v = 45, 2*g = 4*g + v + 9. Let y be -3*(-4)/g - 9. Let m be 4 - (0 + (y - -3)). Solve 4*o - m - 4 = 0 for o.
4
Let d be -2*1 + 4 - -9. Suppose -2*w = 4*y, 4*w + 27 = -y + 2*y. Let b = w + d. Solve 0 = -r + b for r.
5
Let w be (-8 + 4)*-6 - 4. Let c = -15 + w. Suppose -c = -v - 0. Solve v*l + 21 = 1 for l.
-4
Suppose 3*u - 47 - 721 = 0. Solve -u = -5*d - 271 for d.
-3
Let y(c) = 3*c + c**2 + 2*c - 4*c. Let g be y(-1). Let p(f) = -7*f**2 + 49*f + 3. Let j be p(7). Solve t - j*t = g for t.
0
Suppose -5*b + 2*j + 37 = -22, 57 = 5*b - j. Let i = -8 + b. Suppose c = -0*c + i. Solve -c*d - d + 8 = 0 for d.
2
Let s be (24/(-36))/(1/48*-2). Solve 14*v - s*v = -6 for v.
3
Suppose 23*j = 9*j. Solve j = r - 5 + 2 for r.
3
Let c(r) = 21 - 33 - r + 20. Let h be c(8). Solve 5 = l - h for l.
5
Suppose 12*n - 4*n - 48 = 0. Suppose 32*d = 34*d - n. Solve -d*t - 8 = -t for t.
-4
Let s be 25/10*4/15*3. Solve s = z + 1 for z.
1
Suppose -5*u = -2*i + 57, -4*i + 131 = -5*u + 42. Solve -i = -j - 20 for j.
-4
Let u = 634 - 612. Solve u*m + 3*m = -25 for m.
-1
Let p be (2 - -1 - (14 - 6)) + -1. Let r be (-2)/12 + (17/p - -3). Solve 6 = -3*v - r for v.
-2
Suppose -2*p + 2*u + 14 = u, -5*p - 4*u = -35. Solve -p = 6*j + 5 for j.
-2
Let p(r) = r**3 - 19*r**2 + 4*r - 72. Let d be p(19). Solve -d*y = -30 + 34 for y.
-1
Suppose 0 = -4*p - 10*r + 60, 3*p + 15*r - 23 = 13*r. Suppose -5*h = z + 10 - 3, z - 5*h - 23 = 0. Solve -p*i - z = -i for i.
-2
Let k(b) = b**3 + 8*b**2 + 9*b + 1. Suppose 5*o = 9 - 44. Let z be k(o). Let m = -11 - z. Solve m*n - 5*n = -15 for n.
5
Let i(g) = 4*g - 6. Let q be i(4). Let p be 2*(-2)/(-10)*q. Suppose b + b - 2 = 3*a, -p*b + 16 = 0. Solve a = l - 0 for l.
2
Let r(p) = 52*p + 314. Let v be r(-6). Solve -v*q = -3*q + 4 for q.
4
Let q be (-11)/(-2) + (-16)/32. Solve 5*m + q = 6*m for m.
5
Suppose 0 = 3*n - 15, 3*l - 2 = -5*n + 29. Let u(q) = -2*q**2 + 5*q - 2. Let r be u(l). Solve r*d = 3*d - 9 for d.
3
Suppose -35 = 5*g + 45. Let x = 19 + g. Suppose -12 = -3*j + x*i, 7*i - 2*i - 20 = -3*j. Solve -j*b = -4*b for b.
0
Suppose 0 = -3*y + 49 - 19. Suppose y = -6*q + 16. Solve 0 = 4*h + q + 3 for h.
-1
Let x = -843 + 867. Solve 2*r = -20 + x for r.
2
Let b(j) = -j