- 5 = q*k for k.
-5
Suppose s - 6 = -o + 8, -o + 2 = -5*s. Solve 0 = 38*i - 34*i + o for i.
-3
Let a be 307/6 + (-21)/126. Suppose 6*g - a = 9. Solve -w - g = -6*w for w.
2
Let t = 2 + -1. Suppose -13*r + 150 + 162 = 0. Let l = t + r. Solve -h = -6*h + l for h.
5
Suppose -4*b + 4*i + 16 = 0, 0*b = b - 2*i - 3. Suppose h + 20 = b*h. Let u(n) = -4*n + 18. Let l be u(4). Solve l*x - h = 1 for x.
3
Let h(n) = -n**2 - 6*n + 42. Let s be h(-10). Let u be 6/21 + (-6)/21. Solve u + 10 = s*y for y.
5
Suppose 4*u = -5*z + 18, -3*z + 8*z - 6 = 2*u. Let h(d) = d**2 - 5*d + 7. Let q be h(4). Let p = q + -3. Solve -6*k + u*k = p for k.
0
Suppose -7*h + 6*h = -2. Solve -h*y + 2*y = -y for y.
0
Let t be 0*(-16 + 7 + 10). Solve -7*l + 0*l + 14 = t for l.
2
Suppose -13*d - 4*n - 8 = -15*d, 3*d - 3*n - 9 = 0. Solve d*j + 10 - 14 = 0 for j.
2
Let f(z) = 13*z - 177. Let n be f(14). Solve n*x + 22 = 7 for x.
-3
Let y(f) be the third derivative of -f**6/120 + f**5/10 + f**4/6 + 4*f**3/3 + 2*f**2. Let t be y(7). Let j = 7 - t. Solve -3*v + j = 2*v for v.
4
Suppose 64 = 3*w + 445. Let m be w/4 + (-18)/(-24). Let f = -29 - m. Solve -t = t + f for t.
-1
Suppose -a = 3, 5*f - a - a = 561. Let t = f - 111. Let s = -10 - -15. Solve -s*b - 10 = -t for b.
-2
Let p = 197 - 192. Solve 10*g - p = 9*g for g.
5
Let i = -539 + 543. Solve -17*t + i = -19*t for t.
-2
Suppose -3*n - 4*r + 9*r = -79, -2*n - 5*r + 11 = 0. Let z be 8*(-15)/n*-3. Solve -5*v - z = -5 for v.
-3
Let r be 40/30*6/4. Let l = 4 + r. Solve 3*v - l = -0 for v.
2
Let x(s) = -s**3 + 6*s**2 - 4*s. Suppose 4*w - 4*q - 22 = -3*q, 5*w - 5*q = 35. Let l be x(w). Solve 0 = -0*k + l*k for k.
0
Let j(b) = -b**3 + 3*b**2 + 27*b + 12. Let u be j(7). Solve -2*d - u*d = -14 for d.
2
Let p be (-6)/10 + (-252)/(-45). Let r = p - 5. Suppose r = x + 3*l - 2 - 14, 4*l = 4*x. Solve -5 = x*m + 3 for m.
-2
Let l(b) = 3*b**2 + 13*b - 6. Let a be l(-5). Solve 8*r - 6*r - a = 0 for r.
2
Suppose -2*p - 5 - 3 = 0, 4*d + 4*p = -8. Suppose -5*b = -7*b. Suppose b = -2*w + 4*w - 12. Solve -16 + w = -d*c for c.
5
Suppose -y - 78 + 164 = 0. Solve y + 18 = 26*s for s.
4
Suppose 0 = -4*p + 5*y + 47, -22 + 7 = -3*y. Solve p = 5*d - 7 for d.
5
Let h(r) = 2*r - 1. Let a be h(1). Suppose 6*z = z + 45. Suppose -z = -2*f - f. Solve 0 = -n + a - f for n.
-2
Let m be 2/(-14) + (-6160)/(-245). Solve -m + 20 = -5*y for y.
1
Let l = 9 + -11. Let h(t) = -t**2 - 4*t + 1. Let x be h(l). Suppose -x*w = 4*o - 95, -w - o - 70 = -6*w. Solve 3*k + 0*k = w for k.
5
Let d be (-4)/(-3)*6/2. Let o = 65 + -61. Suppose -4*y + 5*s = -10, 0 = -6*y + 3*y - 2*s - o. Solve d*n = 8 - y for n.
2
Suppose 189*p + 4 = 191*p, -140 = -2*u + p. Solve -5*f - 56 = -u for f.
3
Let i(x) = x**3 - 2*x - 1. Let j be i(-2). Let z(p) = p**2 + 3*p - 3. Let h be z(j). Solve -h*b + 2*b = 5 for b.
-1
Let u = 35 + -49. Let y be -3*(1 - u/(-6)). Suppose -277 = 12*d - 313. Solve y*c + 5 = d*c for c.
-5
Let t(m) = -m**2 + 7*m - 9. Let u = -62 - -66. Let n be t(u). Solve -n*q = -5*q + 2 for q.
1
Suppose 4*d + f = 3*f + 82, 2*d + 3*f - 45 = 0. Suppose 2*l = -10, -4*l - d = -z - 1. Solve -x = -z*x + 1 for x.
-1
Let v(p) = p**2 + 4*p + 8. Let g be v(-2). Suppose 1 + 12 = -n - 3*z, 2*z = -g*n - 2. Let m be 288/28 + (-4)/14. Solve n*q = -0 - m for q.
-5
Let u(w) = -2*w**3 + w**2 + 3*w + 2. Let g be u(-1). Suppose 19 = 4*a + s + g*s, 24 = -a + 5*s. Solve 7 = 3*x + a for x.
2
Let v(s) = s**2 - 7*s - 2. Let b be v(7). Let l be (-4 - -8)*(-1)/b. Suppose 5*c = -3*t + 7, 0 = 2*c + l - 0. Solve -t = u - 3 for u.
-1
Let t = -1793 - -1795. Suppose 0 = -6*q + 2*q. Let w = q + 3. Solve -4 = -w*v + t*v for v.
4
Let h = 29 - -10. Let f = -36 + h. Solve f*n - n = 2 for n.
1
Let g(h) = h**3 + 5*h**2 + h + 5. Let b be g(-5). Let k = -200 + 204. Solve k = -v - b for v.
-4
Let x(h) = -3*h**2 - 6*h - 5. Let f be x(-4). Let m = f - -15. Let n be 6/(m/(-8) + -1). Solve 5*p = n + 17 for p.
5
Let n be (-1*(-1)/(-1))/((-13)/39). Suppose -3*f - n*k + 22 = 4, -4*f + k = -4. Solve -q = -f*q for q.
0
Let n(z) = -136*z - 31. Let k be n(-4). Let d be k/81 + 2/(-6). Solve 9 = 3*b - d for b.
5
Let h(o) = o**3 - o**2 - o + 8. Let u be h(4). Let p = 55 - u. Solve p = c - 1 for c.
4
Let k(v) = 3*v + 9. Let b be k(-1). Solve -j - b = -4*j for j.
2
Let i(y) = -y**2 - 10*y + 147. Let n be i(-18). Solve 34*q + n = 35*q for q.
3
Let x(a) = a**2 + 7*a + 6. Let d be x(-4). Let b = 3 - d. Suppose -q = -4*q + b. Solve q*o + 6 = o for o.
-3
Suppose 4*n = 2*s - s - 60, 2*s = 2*n + 126. Let x = s - 60. Solve 0*u = -4*u - x for u.
-1
Let v = 660 + -656. Solve 0 = -v*t - 5 + 21 for t.
4
Let i = 865 - 823. Solve 0 = -45*o + i*o - 6 for o.
-2
Let m(s) = 5*s + 9. Let j(z) = 6*z + 9. Let f(r) = -2*j(r) + 3*m(r). Let i be f(-3). Solve i*d = -d + 4 for d.
4
Suppose 0*d + d - t = 4, -2*t = -6. Solve d*k + 7 = 14*k for k.
1
Suppose 2*n = -a + 12, 31*a - 36*a = 3*n - 39. Solve 15 = -a*y + 3*y for y.
-5
Let x = 479 - 473. Solve x*a - 3*a = -9 for a.
-3
Let g be -7 - ((0 - 2) + 0). Let y be g*2/(-1 - 1). Suppose -30*b + 10 = -28*b. Solve y = 5*r - b for r.
2
Let a be 3/14 + 31655/910. Solve u = -6*u + a for u.
5
Let c be 3 - 12*5/20. Solve -3*r + r = c for r.
0
Suppose 0 = 6*z - 39 - 3. Let i = 8 - z. Let l = i - -1. Solve -1 = -q + l*q for q.
-1
Suppose -35*p + 16 = -36*p. Let g be 0/((-12)/(p/(-4))). Solve g*j = 5*j - 10 for j.
2
Let i be -87 + -2*30/12. Let v = i + 102. Solve 2*j + v = -3*j for j.
-2
Suppose -4*d + 16 = -0*d, -2*d - 32 = -2*y. Suppose -7*k + y = -2*k. Solve 3*z - k = -7 for z.
-1
Let u = 39 + -28. Let k = 22 - 16. Let j = u - k. Solve j*x = -0*x for x.
0
Suppose -c = 3*i + 34, -i + 3*i = 3*c - 8. Let t be 9/(-15) - 156/i. Solve -6*b + b - t = 0 for b.
-3
Let o(v) = -v**2 - 9*v + 3. Let u be o(-9). Suppose 5*w - n - 12 = u*w, 4*n = 0. Solve -g + w*g = -15 for g.
-3
Let x be (944/295)/(2/5). Solve -3*b - 5*b = x for b.
-1
Suppose u - 6*u = -10, 3 = a - u. Solve a*y = 3*y for y.
0
Let q = 1697 + -1690. Solve 0 = 8*m - 15*m + q for m.
1
Let z(c) = 6*c**2 + 3*c - 4. Let x be z(1). Let m = -12 - 2. Let b be 8/5 - m/35. Solve 15 = -x*t + b*t for t.
-5
Let r = 17 - 14. Suppose z + r*c - c - 7 = 0, -2*c = -4. Solve -2*m = z*m for m.
0
Let l(x) be the first derivative of -x**4/4 + 4*x**3/3 + 3*x**2 - 8*x + 3. Let k be l(4). Suppose -4*m = 4 - k. Solve 3 + m = 3*y for y.
2
Suppose -k = -t - 2, 3*t - 21 = -5*k + 5. Suppose 5*y + 2*s - 33 = 0, 5*y + 5*s = s + 41. Solve y = k*p + p for p.
1
Let i(t) be the first derivative of -t**4/4 - t**3/3 + t**2/2 - 2. Let w = -4 - -4. Let d be i(w). Solve 15 = 5*j - d for j.
3
Let t(i) be the first derivative of i**3/3 - 2*i**2 + 13*i - 7. Let v be t(5). Solve 3*s + v - 6 = 0 for s.
-4
Let h(y) = -y + 27. Let f be h(11). Let c = 11 - f. Let s = c + 6. Solve 4 = -o - s for o.
-5
Suppose 25*s - 423 = 527. Solve 3*m = -s + 23 for m.
-5
Let c = 1 - -2. Let k(i) = i**3 + 10*i**2 + 11. Let q be k(-10). Suppose -9*o = -q*o + 4. Solve -c*h + 4 + o = 0 for h.
2
Let a be (-1)/4 - 59/4. Let f be (126/49)/(3/(-14)). Let l = f - a. Solve -4*b + l*b + 5 = 0 for b.
5
Suppose 2*c - 3*c + 19 = 0. Let m = -14 + c. Suppose 30 = 3*d + 2*o - m*o, 2*o + 40 = 4*d. Solve 0*y + 2*y - d = 0 for y.
5
Let n(d) be the third derivative of d**5/15 - 4*d**2. Let g be n(2). Let t = 1 + 8. Solve t = 5*h - g for h.
5
Suppose -57*t + 22 = -46*t. Solve -t*s = -6*s - 16 for s.
-4
Let a(t) = 6*t + 554. Let y be a(-50). Solve y*d - 3 = 257*d for d.
-1
Let b = 2 - -16. Let r(x) = x**2 - 15*x - 51. Let j be r(b). Suppose -t = 0, -3*t + 4 = -0*n + 2*n. Solve 1 - j = -n*u for u.
1
Suppose -x - 3*x - 5*u + 97 = 0, x - 3*u = 3. Solve 0 = -4*n - x + 2 for n.
-4
Suppose -154*h = -151*h - 90. Solve 7*c - h = c for c.
5
Suppose -2*j + 10 = 3*j. Let g be (-3)/j*32/(-16). Solve t = -0*t - g for t.
-3
Let r be (0 - -12) + (-3 - -3) + -1. Suppose 0 = h - r - 2. Solve 1 = 3*p + h for p.
-4
Suppose v = 9*v - 280. Solve -3*u = 4*u + v for u.
-5
Let a = 155 - 150. Solve a*c - 6 = -c for c.
1
Suppose -75*s = -77*s + 4. Suppose -2 = -2*h - 0, 2*u + 5*h = 11. Suppose 6*o - 9 = -a + u*o, o = 5*a - 61. Solve -s*b - 2*b = a for b.
-3
Let p be (4 - (-30)/(-4))*-22. Let z = p - 77. Let m(c) = c**2 - 5*c + 4. Let h be m(5). Solve g - 2*g - h = z for g.
-4
Suppose -2*c = 5*c - 84. L