*k = -m*k + 3 for k.
-1
Suppose -2*r - 6*m = -m - 11, 4*r - 9 = 3*m. Solve 0 = -2*u + r*u for u.
0
Let t be (6/(-8))/(2/(-16)). Let o = -19 - -25. Solve o + t = 4*z for z.
3
Let d = 41 - 37. Let o be 0*((-5)/d - 9/(-12)). Solve o = 3*g + 2 + 4 for g.
-2
Let x(r) = -6*r - 49. Let p be x(-9). Solve 3 = 2*w - p for w.
4
Suppose 2*s = -3*c + 4, -2*c + 9 = 3*s + c. Let l(z) = -z - 3. Let v be l(-4). Let y = v + s. Solve -y*o + 2*o = -20 for o.
5
Suppose -3*p + 6 = -8*u + 4*u, 10 = 4*u + 5*p. Let y be 2 - (0 - (1 + 1)). Let a be y + (1 - (3 - -1)). Solve u*z + z = a for z.
1
Suppose 0 = -2*z - 2*k, -4*k - 12 = 39*z - 38*z. Solve -40 = 4*l + z*l for l.
-5
Let g be (-2 - 0) + (10 - 5). Suppose -q - 28 = -4*q - 2*s, 5*q - s = 64. Suppose 2*b = g*b - q. Solve -b = 3*f + 3 for f.
-5
Let p(g) = -4*g - 1. Let m be p(-1). Let a be (45/((-30)/2))/(3/(-4)). Solve q + a = -m*q for q.
-1
Suppose 4*d + 2*w = 5*d - 13, 4*w + 11 = -3*d. Suppose 2*n + v = -4, 4 = 4*n - 2*v + v. Solve n = -d*a - a for a.
0
Suppose 0 = b - 4*c - c, 3*b + 5*c = 100. Let v be 16/72 + b/9. Suppose v*x - 24 = x. Solve 4*g - x = g for g.
4
Let k be 11 - (10/(-35) - 9/(-7)). Suppose -4*f = -k*f. Solve f = -3*i + 5*i for i.
0
Let i(d) = -d**2 + 7*d - 1. Let s be i(3). Suppose 8*p - 29 - s = 0. Solve 0*n = -p*n + 5 for n.
1
Let y = -7 + 21. Let k(b) = -b**3 - 4*b**2 - 2*b - 5. Let q be k(-4). Suppose -1 = -q*l + 2. Solve -5*s - y = l for s.
-3
Suppose -2*o = 7 + 5. Let r be (-10)/o + (-1)/(-3). Suppose g - 5 + 4 = 0. Solve r = -v + g for v.
-1
Let a(b) = 4*b**2 + b - 1. Let l be a(1). Let i(t) = 2*t - 3. Let r be i(l). Suppose -r*f = -2*f + 3, 3*z = f + 37. Solve 0 = 4*h - h - z for h.
4
Let t(a) = 8*a**2 + 149*a - 57. Let k be t(-19). Solve k = -m - 2 - 1 for m.
-3
Suppose -2*x = 3*a - 19, 0*x + 7 = -4*x + 3*a. Suppose 4*r + 0*y - 16 = x*y, -6 = -r + y. Solve 6*d = r*d + 16 for d.
4
Let a(k) = k**3 - 10*k**2 + 2*k + 12. Let x be a(10). Suppose 3*o - x = -2*d + 4*o, -5*d + 69 = 3*o. Solve 0*j - 3*j + d = 0 for j.
5
Let z(f) = -f**2 + 9*f. Let x be z(7). Suppose -5*n = -2*h - 65, -4*h + 6*h + 52 = 4*n. Let s = x - n. Solve -o = -2 - s for o.
3
Let p(c) = -c**3 - 2*c**2 - 2*c + 1. Let v = -21 + 19. Let b be p(v). Solve 4 = -n + b for n.
1
Let r = 768 - 748. Solve 0 = 5*c - 45 + r for c.
5
Let p(h) = h**3 + 11*h**2 - 11*h + 4. Let g be p(-12). Let v be ((-2)/(-4))/(g/192). Let m be ((-9)/(-6) + -2)*v. Solve -2*y - y = m for y.
-2
Let k be (1 - 1)/(-29 - -30). Solve k = -2*g + 7*g for g.
0
Suppose -29*r + 90*r = 549. Solve 4*o = o - r for o.
-3
Let h = 2432 + -2419. Solve -h*u + 44 - 109 = 0 for u.
-5
Let j(m) = -17*m**2 + 2*m + 21. Let t(n) = -8*n**2 + n + 10. Let h(y) = -6*j(y) + 13*t(y). Let c be h(-2). Let w = c + 8. Solve 0*v - w = v for v.
-2
Let y(r) = r**2 + 4*r + 3. Let g be 32/(-5) + 3 + (-9)/15. Let j be y(g). Solve 1 = j*a - 8 for a.
3
Let d = -402 - -402. Let n = 23 - 20. Solve d = r + n*r - 8 for r.
2
Suppose 88 = 52*v - 68. Solve -v*p - 7 = -22 for p.
5
Let x(u) = 3*u**2 + 3*u**2 + 2 - u**2 + 1 + 5*u. Let j be x(-3). Let t = j + -32. Solve 5*v - t = 24 for v.
5
Let u = 1040 + -1021. Solve u*b - 92 + 16 = 0 for b.
4
Let g(b) = b**3 - 2*b + 2. Let a = 14 + -10. Suppose -2*m + 5*n - 16 = 0, -4*m - 8 + 0 = -a*n. Let w be g(m). Solve 0 = -0*t + 2*t + w for t.
-3
Suppose -2*v = -2*c - 12, -6 = -3*v + c + 14. Let u be 3*(-4 + 3)/(-1). Solve u*b - v*b - 20 = 0 for b.
-5
Let x be -8*(15/12)/(-5) + -2. Suppose m - 2 - 2 = x. Solve m = -2*l - 0 for l.
-2
Let j = -286 - -289. Solve 2*l = 5 - j for l.
1
Suppose 15 - 12 = 3*z. Let p be (z - 0) + -6 + 6. Solve 0 = 2*t - 1 - p for t.
1
Suppose 2*j + 23 - 41 = 0. Solve j = -3*m + 3 for m.
-2
Suppose -2*h = -2*o - 14, 0*o = 3*o + 12. Let j(s) be the first derivative of -s**3/3 + 2*s**2 - s + 3. Let i be j(h). Solve 7 = -i*t + 1 for t.
-3
Suppose 0*d + 1026 = 54*d. Solve 12*c = -d - 29 for c.
-4
Let d be 24/(-32) + (-24)/(-32). Solve d = -6*q - 0*q for q.
0
Suppose 11 = 2*i + 3. Solve i*f = 11 + 5 for f.
4
Let i be 14 + (-1 - 72/9). Suppose -m - 3*h + 9 = -h, m + 19 = 5*h. Solve m = -i*v + 4*v for v.
-1
Let i(a) = 4*a**2 + 1. Let v be i(1). Suppose -12 = -v*p + 2*p. Solve 3*r - p = 5*r for r.
-2
Suppose -x - 56 = -3*k + 3*x, 88 = 4*k - 2*x. Suppose -k = -5*m + 2*m. Let i = m - 6. Solve u - i = 2 for u.
4
Suppose -5*f = -5*f - 5*f. Solve f = -15*d + 7*d - 24 for d.
-3
Let v(n) = -7*n**2 - 5*n + 1. Let l be v(2). Let i = -35 - l. Solve 4 - i = -2*t for t.
-1
Let z(l) = -l**3 + l**2. Let g be z(0). Suppose -33 + 249 = -4*c. Let d be (-122)/(-18) + (-12)/c. Solve 5*h + d - 32 = g for h.
5
Suppose 0 = 48*h + 124 - 1132. Solve h = 7*r - 7 for r.
4
Suppose 36*k - 589 - 13631 = 0. Solve 385 - k = -2*n for n.
5
Let a = 119 - 84. Let u = a + -44. Let j be u/(-2)*(-18)/(-27). Solve -7 = -j*q + 5 for q.
4
Let f = 6 + -2. Let p(z) = 2*z - 8. Let w be p(f). Suppose w = 3*b - 4*b + 3. Solve -u - b = -1 for u.
-2
Let v = -20 + 24. Suppose 6 + 6 = v*b. Suppose -1 = d - b. Solve g = d*g + 2 for g.
-2
Let t(j) = j**2 - 5*j + 11. Let u be t(2). Suppose 5*h = -3*q - 2, 1 = -u*h - 19. Solve -a = 5 - q for a.
1
Let f(w) = w**3 + 42*w**2 + 32*w - 365. Let b be f(-41). Solve 101*m - 103*m - b = 0 for m.
-2
Let y(d) = -2*d + 0 - 11 + 9. Let i be y(-2). Solve -4*n + i*n = -4 for n.
2
Let s be ((-15)/(-6) - 1)*(-3 - -5). Solve 0 = s*v - v for v.
0
Suppose -22*d + 23*d - 6 = 0. Suppose 5*u - 20 = -5*j, 5*j - 4*j = -5*u + 8. Solve -u + d = -r for r.
-5
Suppose -q + 6*q + 3*c = 42, 0 = 5*q + c - 34. Suppose o + 20 = -5*i, 3*o = -2*i + 2*o - 11. Let t be (i - -2)/((-4)/16). Solve -q = t*h + 14 for h.
-5
Suppose 3*p + 5*n + 28 = 0, 5*p + 8*n + 20 = 5*n. Let s be p/6 + 2420/120. Solve 6*u = 10*u + s for u.
-5
Let x(z) = z**2 - 8*z + 10. Let n = -15 + 22. Let k be x(n). Suppose -23 + 17 = -y + l, 5*l + 15 = 0. Solve k = -0*q + y*q for q.
1
Suppose n = -0*n + 3. Suppose n*u - 12 = -u. Suppose 4*j + 4*i + 4 = 0, 0*j + 3 = 3*j - u*i. Solve -2*f + 3*f = j for f.
0
Let d(j) = j**2 + 5*j - 5. Let h be d(-5). Let f(b) = b**2 + 5*b + 2. Let s be f(h). Solve -14 + s = -3*i for i.
4
Let n(z) = 9*z**2 - 3*z + 2. Let s be n(1). Solve 4 = -s*y - 12 for y.
-2
Let i = 625 - 619. Solve -11*m + i*m = -20 for m.
4
Suppose -5 = -n - 4*p, 0 = -3*n - 3*p + 17 + 7. Suppose 5*z = -0*z + n*z. Solve z*c = 5*c for c.
0
Let s = -114 - -118. Let h = -17 + 34. Suppose 4*m - m = 15, s*a = -m + h. Solve 9 = a*x - 6 for x.
5
Let n = -54 - -51. Suppose -3*d - 5 = -2. Let h be ((-1)/d)/(n/(-12)). Solve -h*m - m - 10 = 0 for m.
-2
Suppose 11*x - 12*x + 4 = 0. Solve x*m - 7*m = 9 for m.
-3
Suppose 0 = 4*s - 5*m - 13, -14 + 31 = 2*s + m. Solve 3*t - s = -4 for t.
1
Suppose -f - 4*f - 3*r = 0, 2*r + 25 = 5*f. Let q = -6 - f. Let k = q + 10. Solve 4 = -5*x - k for x.
-1
Let v = 9 - 12. Let x = 3 - v. Suppose -4*j + p = -5, p = x*p + 25. Solve -2 = -y - j*y for y.
2
Let j = 5 - 6. Let y be (j + (-1 - 1))/(-1). Let k = y + 12. Solve d - k = 6*d for d.
-3
Let s(m) = -m**3 - 7*m**2 - 5*m + 8. Let h be s(-6). Suppose 4*a = -3*f - 157, 2*f + 2 + 76 = -h*a. Let c be a/(-140) + (-33)/(-7). Solve -c*z + 0*z = 0 for z.
0
Let n(k) = -k**2 - 15*k - 20. Suppose 0 = -h + 5*p - 38, 2 = h - 2*p + 5*p. Let t be n(h). Solve -25 = m - t*m for m.
5
Suppose 0 = -2*a + 382 - 356. Solve -a = -4*k + 7 for k.
5
Suppose -5*q + 1 = -3*k - 9, -4*q = -2*k - 10. Let f be (4 + 57/(-15))*k. Suppose -5*t + 0 = 4*i - f, 5 = 2*t - 3*i. Solve t = -j - 1 for j.
-2
Suppose -80 = -4*x - 72. Solve 0*o - 2*o = -x for o.
1
Suppose 0 = -33*t + 26*t. Let d be ((0 - 5) + t)*-1. Solve -4*p = -d*p - 5 for p.
-5
Suppose -l + 3*l = 3*i - 22, 3*i - 14 = -2*l. Suppose 2*u = u - y + 15, -u - 4*y + i = 0. Suppose -16*s = -13*s - u. Solve 0 = g - s*g + 5 for g.
1
Let n = -1472 - -1474. Suppose 5*g - 5 = -0*g. Solve j + g = n*j for j.
1
Let u = 47 + -37. Solve -4*o + u = 18 for o.
-2
Let h = 27 - 3. Suppose -h + 15 = -3*m. Solve 2*n = -m - 1 for n.
-2
Let n be (-4755)/(-75) - 14/10. Solve -10*m = 32 - n for m.
3
Let z be -4 - (-8)/((-48)/(-222)). Solve 36*r = z*r + 6 for r.
2
Suppose 5*z - 2*b = 51, -2*z + 20 = -7*b + 6*b. Solve z*t - 14*t - 3 = 0 for t.
-1
Let p(f) = 5*f**2 + 11*f + 2. Let g be p(-2). Solve g = 5*m + 9 - 29 for m.
4
Let p = 4321 + -4307. Suppose -2*v + 