*m for m.
-2
Let c = 15 + -9. Suppose 4*z = z + c. Solve z*a + 12 = -2*a for a.
-3
Let h = 39 - 27. Let m = 22 - h. Solve 0 = q - 3*q + m for q.
5
Suppose 3*f + 12 = -2*k - k, -4*f = -2*k + 10. Let s be k*1*(-4 + 4). Solve 0 = 3*o - s*o - 9 for o.
3
Suppose -1 - 1 = m. Let j be 1/(-3*m/54). Let y be 29/j - (-12)/(-54). Solve 0 = 3*c - y - 6 for c.
3
Let t(p) = -2*p + 10. Let u be t(9). Let d = u - -13. Suppose -2*y = -3*m + 7, d*y - 4*m = -2*m + 10. Solve -12 = -y*q + 8*q for q.
-3
Let o(l) = l**2 + 8*l + 8. Let m be o(-8). Let n be (-15)/6*m/(-10). Let j be 47/9 + 4/(-18). Solve -j*p + 15 = -n*p for p.
5
Suppose 2*c - 2*r = 2*r + 26, 4*c + 3*r + 3 = 0. Suppose -p + 2 = -c*p. Let k be 2 + (-2 - (p - -1)). Solve k*b = -b for b.
0
Let s(f) = f + 8. Let u be s(-15). Let v = 8 + u. Solve 0 = y - v - 2 for y.
3
Let m be (27/36)/((-3)/(-24)). Solve -m = o + o for o.
-3
Let y = 15 + -13. Solve y*p = -3*p for p.
0
Let j(t) = -t**2 - 4*t - 1. Let l be j(-1). Solve l*o - 8 = 6*o for o.
-2
Let t(w) = -2*w**2 + 15*w + 29. Let v be t(9). Solve 0 = -v*h + 3 + 1 for h.
2
Let b = -18 + 35. Let t(o) be the second derivative of o**4/12 + o**3 - o**2 + 8*o. Let z be t(-7). Solve 4*v - b = -z for v.
3
Let l(m) = -2*m - 21. Let w be l(-18). Solve n = 6*n + w for n.
-3
Suppose 40 = 3*s - 4*i - i, 4*s - 4*i - 64 = 0. Suppose 4*g - s = -2*f + 6*g, g = -f. Solve -f = -r - 2 for r.
3
Suppose -5*x + 2*r - 48 = -x, 4*r = -3*x - 36. Let t = 14 + x. Solve t = 3*j - 1 for j.
1
Suppose 2*s + s = 9. Suppose -7*b + 23 = -3*b + s*r, -3*b - r + 11 = 0. Solve -b = 4*m + 6 for m.
-2
Let t = 0 - -2. Solve -t*q + 6 = q for q.
2
Suppose 0 = -4*y + y + 39. Suppose 3*n = -3*x + 7*x - y, 7 = -2*n + x. Let m be n/(-2) - (-1)/(-2). Solve -4*j + m = 21 for j.
-5
Let d be -1 + 1 - (-24)/8. Solve -2*p + d*p + 4 = 0 for p.
-4
Let n be ((-4)/(-6))/(4/(-48)). Let d be (-5)/20 + (-50)/n. Solve p + d = -2*p for p.
-2
Suppose 4*w = 10 + 6. Suppose -5*s + 14 = w*x - 19, 3*x + s - 22 = 0. Solve x = -3*d - 5 for d.
-4
Let t = -7 - -11. Solve -t*q = 24 - 8 for q.
-4
Let i be -1 + 5 - (-2)/(3 - 1). Solve 0 = -0*n - i*n for n.
0
Suppose 31 = -2*f + 41. Solve -a + 6 = f for a.
1
Let o(j) = j**3. Let f be o(0). Solve -5*r + 16 + 9 = f for r.
5
Let l(v) = 7*v - 77. Let x be l(11). Solve x = -q + 6*q - 5 for q.
1
Let p be (-2)/(-10) + 49/5. Suppose h - p = -3. Solve 0 = -h*w + 4*w + 9 for w.
3
Suppose -4*w = -5*m - 56, 4 = -2*m - 4. Let x = 13 - w. Let s be 3/(-2)*-2 + 0. Solve 0 = -s*l + x + 5 for l.
3
Let p(f) = -2*f**3 - f**2 + 2*f + 2. Let n be p(-2). Let w be n/(-85) + 310/34. Solve -3*s + 3 = -w for s.
4
Suppose -p + 0*p = -3. Suppose p*a = -a. Solve a*j - 10 = -5*j for j.
2
Suppose 6*d = 2*d + 8. Let g(w) = w**3 - 2*w. Let b be g(d). Solve f + b = 2*f for f.
4
Let q be (-3)/((-2)/(1 - -1)). Let j be (-15)/5*(-1)/q. Solve -j + 5 = -4*d for d.
-1
Let r be 98/6 + 0 + (-6)/18. Solve 0 = 4*a - r for a.
4
Suppose -4*u + 37 = -3*h + 5, 3*u - 5*h - 24 = 0. Solve -6*q - u = -2*q for q.
-2
Let r(m) = -m**2 + 7*m + 1. Let p be r(7). Let s be (p - 1) + -4 + 2. Let a = -2 - s. Solve a = -0*g - 2*g - 8 for g.
-4
Suppose 5*r + 17 = -3*y, -5*r + 10*r + 24 = 4*y. Let q be (1/(-2))/(r/16). Solve -3 = -q*f + 7 for f.
5
Let u = 0 + 2. Let d = -13 - -20. Suppose -y + 15 = 4*c - d, 2*c - u = 4*y. Solve n - 3*n = y for n.
-1
Let z = 7 + -7. Suppose -4*d - d + 40 = z. Solve -4*f + d*f = 0 for f.
0
Let x(k) = k**3 - 11*k**2 - k - 6. Let j(q) = q**3 - 12*q**2 - q - 7. Let v(o) = 5*j(o) - 6*x(o). Let t be v(5). Let l = t - 21. Solve -2*y = 3*y - l for y.
2
Suppose -15*h = -17*h + 4. Solve -f = f + h for f.
-1
Let f be (12/(-9) + 1)*(-6)/2. Let n = 1 - 2. Let r be n*2/4*-22. Solve f = 3*g - r for g.
4
Let w = -1 + 2. Suppose -5*h + 5*z = -5, 0 = -0*h + 2*h - 4*z. Solve -c = -h*c - w for c.
-1
Let f(z) = z**3 + 6*z**2 - 2*z + 7. Let i be f(-6). Suppose -i = -4*m - 11. Solve -2*t - m*t + 4 = 0 for t.
1
Suppose -3*w - 11 = 7. Let n = w - -8. Suppose -n*h + 0 = -4. Solve h = -f - 3 for f.
-5
Let t = -80 + 92. Solve 8 = 5*h - t for h.
4
Let t(l) = l**2 - 9*l - 2. Let s be t(9). Let v be s/8 - (-53)/4. Solve -5*y = -12 - v for y.
5
Let c(l) = -l**2 + l - 5. Let n be (-3)/4 - 12/(-16). Let x be c(n). Let b be 5*((-2 - x) + -2). Solve -4*f + 17 = b for f.
3
Let u(v) = v**3 + 5*v**2 + 5*v + 3. Let c be u(-3). Let i = -3 + -1. Let y be ((-3)/(-2))/((-2)/i). Solve 3*h - c = y for h.
3
Suppose 0 = -3*r - 2*r. Suppose 4*j - 9 - 11 = r. Suppose -n - n = 0. Solve n = -2*h + j - 3 for h.
1
Let k be ((-4)/10)/(1/10). Let i(c) = -c**2 - 5*c. Let y be i(k). Let o = y - 3. Solve 3*s - 5 = o for s.
2
Let k be (-1)/(-2 + 28/16). Solve 3*z = 5*z + k for z.
-2
Suppose 15 = -0*u + 3*u. Suppose 4*q + 5*m + 8 = m, -6 = u*q + 4*m. Suppose q*w - 5*w - 14 = -4*j, 0 = -3*w - 3*j + 21. Solve -z = -2 - w for z.
4
Let o(q) = q - 1. Let y be o(6). Let b = y + -3. Solve -b*n + 6 = -0 for n.
3
Let h = 15 + -13. Let q(p) = p**3 - p**2 - p + 6. Let a be q(0). Suppose 0 = -n - 0*n. Solve n*u = h*u - a for u.
3
Suppose 0 = 2*p - 5*p. Suppose -5*k - 2*c + 9 = 0, -c = -3*k - p*k + 12. Solve k*i + 4 = 1 for i.
-1
Let b = 43 - 34. Solve 29 = -4*z + b for z.
-5
Let b = 17 + -9. Suppose -h = g - b, 4*g + 3*h - 39 = -12. Solve g*n + n - 16 = 0 for n.
4
Let s(k) = -7*k + 6*k + 3*k. Let q be s(-4). Let h(f) = f + 12. Let c be h(q). Solve -c*o = -o + 3 for o.
-1
Suppose 2*x - 35 = -2*h - 3*h, -5*h = -3*x - 10. Solve -h*o = -o for o.
0
Let y(f) = -f**2 + f + 3. Let w be y(0). Let n = 2 + -2. Suppose -9 - 6 = -5*a. Solve w*h + n = a for h.
1
Let a = -53 - -55. Solve -5*c - 3 - a = 0 for c.
-1
Suppose 4*j - 5*r - 25 = 0, 24 = -2*j - 5*r - 1. Suppose -3*t + 5*i + 16 + 1 = j, 4*i - 12 = -4*t. Let b be 4/10 + (-4)/10. Solve b = -t*a - 10 - 2 for a.
-3
Let t be -15*((-4)/5)/2. Let s = -2 + t. Solve 10 = -s*v - 10 for v.
-5
Let l be (0 + 1)*4 - 2. Suppose -l*s + 2*y - 2 = -s, -4 = -s - 4*y. Suppose s*g = -g + 2. Solve -g*r = -2 - 6 for r.
4
Let t(r) = -r**2 + 10*r - 9. Let l be t(8). Let j be (-4)/14*-1*l. Suppose 7*u - j*u = 50. Solve -3*g + u = -g for g.
5
Let s be (6/(-5))/((-1)/20). Suppose -5*f = -0*d + 2*d - 33, d + 4*f = s. Suppose 0 = d*o + b - 14, 4*o + 4*b + 0*b = 8. Solve o*a - a = 0 for a.
0
Suppose 0 = x + 3*x - 32. Suppose 4*v = 3*v. Solve 3*s - x*s + 5 = v for s.
1
Suppose -3*f - 2*f = 0. Let m be 1/2*0 - -3. Suppose -m*w = w. Solve -3*d + w*d = f for d.
0
Suppose -16 = -t - 3*p, 0 = 3*p + 6 - 21. Solve -3 = -2*c + t for c.
2
Let o be (-2 - -11)/(2/6). Suppose -5*h = 2 - o. Suppose c + 22 = 3*c. Solve h*i - c = 4 for i.
3
Suppose 2*z + 2*z - 64 = 0. Suppose c = -0*c. Let r be ((-18)/(-12))/((-2)/(-4)). Solve -r*a - z + 1 = c for a.
-5
Let d = 5 - 5. Suppose d = -2*m + 2 + 6. Let x = m - -2. Solve 2*j + x = -0*j for j.
-3
Let b(g) = g**3 - 7*g**2 + 6*g. Let y be b(6). Solve y = x + 2*x for x.
0
Suppose -y + 0*y = -16. Suppose -4 = -l + 3*t, -3*l - 4*t = l - y. Suppose -l*b + 12 = -b. Solve -b*u + 5*u + 2 = 0 for u.
-2
Let c be 1/2 - (-11)/2. Suppose -4*a = -4*n - 8, 4*n + c = 2*a + a. Let b be a*-3*2/(-4). Solve -t = b*t for t.
0
Let h(o) = o**3 + 4*o**2 + 2*o + 1. Let m be h(-2). Suppose 4*d - 5*p = 24 + 9, 3*p + 7 = -4*d. Let a be 5 + (-1 - (-2 + d)). Solve -3*q + a = -m for q.
3
Suppose -3 = -3*p + 9. Solve 0 = p*f + 3 + 5 for f.
-2
Suppose 2*o = -2*f + 21 + 1, 0 = -o. Suppose -4*c + 13 = 3*u - f, -5*c + 3*u + 3 = 0. Solve 0 = a - c*a + 2 for a.
1
Let k(l) = -7*l**2 - 12 - 8*l**2 + 15*l + 14*l**2. Let j be k(14). Solve 0*w = -j*w + 8 for w.
4
Let f = 2 + 2. Solve 0*j - f = 2*j for j.
-2
Let p = -5 + 2. Let b be -1 + p*(-3)/9. Suppose 0 = 2*g - b*g. Solve h - 5 = -g*h for h.
5
Suppose 0 = g - 3*f + 3 - 18, -28 = -4*g + 4*f. Solve z - g*z + 4 = 0 for z.
2
Let c be -5*(-1)/5*32. Suppose -3*f + 7*w = 2*w - 48, -2*w - c = -2*f. Solve 3*x + 4 = f for x.
4
Suppose 2*y + 3 = 7. Solve y*z = -2*z for z.
0
Let b(v) = v**2 + 3*v + 3. Let m be b(-3). Suppose 21 = 3*s + 4*q - q, 5*s - 29 = -m*q. Solve 0*x = s*x + 12 for x.
-3
Let x be (-2)/8 - (-1)/4. Suppose 0 = -3*g - 3 + 33. Suppose w + 4*w = g. Solve x*f = -w*f - 6 for f.
-3
Let f = 25 + -21. Solve 4*a = -0 - f for a.
-1
Let m = 4 - 4. Suppose m + 1 = -d. Let b be (25/(-2))/(d/2). Solve -g - b = 4*g for g.
-5
Suppose -o - 3