1 = 3 for m.
2
Let j(y) = -y + 13. Let c be j(9). Let x = c - 3. Suppose -3*m = 4*a - 14, 7 + x = 2*m + 2*a. Solve -m*k = 2*f - 6*f + 24, -k = 4 for f.
4
Let x be (6/(-8))/(3/(-12)). Solve 0 = -3*i - 3*s - 0*s + x, -15 = i + 5*s for i.
5
Suppose 2*x - 2*j + 0 = -2, 4*j - 4 = -3*x. Let f = -19 + 28. Suppose -3*s = -f - 0. Solve x = 5*v + 4*n - 13, s*n = 4*v - 3 + 5 for v.
1
Suppose -9*y + 20*y - 33 = 0. Let f be 3/2*8/3. Solve -s + y*p = 14, f*s + 2*p + 6 = 4*p for s.
1
Suppose 0 = -5*k + 75 + 5. Let l(y) = 3*y. Let m be l(1). Solve m*v - 5*z - k = 0, -2*z = 5*v + 3*z + 40 for v.
-3
Let q = -4 - -7. Let j be (q - 2 - 3)/(-1). Solve 0*p + 4*p + 7 = 5*f, 14 = j*f + 4*p for f.
3
Let r(t) = -t + 11. Let w be r(11). Solve 0 = -l - 3*o, 0 = -4*o - w*o for l.
0
Let l be 102/27 + (-6)/(-27). Solve -5*v - 21 = w, 2*w = -3*w - l*v for w.
4
Let d(h) = 2*h**2 - 3. Let g be d(2). Solve -g*b - 1 - 9 = 4*l, -l = -2*b - 4 for b.
-2
Suppose v - 4 + 13 = 0. Let g = -5 - v. Solve g - 20 = 5*x + 3*b, 3*x + 10 = -2*b for x.
-2
Let k be (-12)/(-7)*14/4. Let j be 9/k*66/9. Solve -3*m = 2*n - 2*m + j, 4*m = 5*n + 8 for n.
-4
Suppose -5*s + 4*d - 4 = -3*s, -4*d = -3*s. Solve -s*r - 2 = q, -3*q + r = -3*r - 10 for q.
2
Let o(s) = -s + 12. Let c be o(0). Let p = c - 7. Solve 3*b = -p*h, 13 = b - 6*b - 4*h for b.
-5
Let q = 25 + -23. Solve 0 = q*z + 5*f + 1, -z + 5*f + 15 = 4*z for z.
2
Let d(h) = 6*h - 9. Let b(u) = -2*u + 3. Let p(t) = 11*b(t) + 4*d(t). Let s be p(3). Solve 0 = r - s*z, 5 = 4*z + z for r.
3
Suppose -19*f = -20*f + 3. Solve -4*d = 3*l - 11, 0*l - f*d = 2*l - 9 for l.
-3
Suppose -x + 3*x - 24 = 0. Suppose 3*k + 4*m = x, 3*m + 2*m - 15 = 4*k. Solve c + 14 = 5*d, k = -c + 2*d - 6*d + 4 for c.
-4
Let p be (3 - 5)*-7 + -2. Let b be 52/p - 2/(-3). Solve 3*s + b = -2*g - 11, 0 = -5*s - 3*g - 25 for s.
-2
Let f(u) = u**2 - 5*u. Let n be f(5). Suppose n + 5 = z. Suppose 0 = -4*s + 4*y + 8, 5*s - 16 - 34 = -z*y. Solve -a - 2*v - s + 3 = 0, 4*v + 16 = -4*a for a.
-5
Let w be 3 + 3 + -5 + -1. Let o = w - 15. Let j = 15 - o. Solve q + 15 = 4*v, -4*q + j = -0*q + 2*v for q.
5
Let j(p) = -p**2 + 7*p - 8. Let c be j(5). Suppose -47 = -3*b + c*h + 2*h, -3*h - 71 = -5*b. Solve 0*v = -3*v - 4*u - b, -u - 1 = 3*v for v.
1
Let w be -4 + (-9)/((-9)/8). Solve -x + 0*x + w*b = -17, -x - 5*b = 28 for x.
-3
Let j be ((-12)/(-14))/(12/56). Solve j*z - 6 = 3*c + 10, 3*c = -3*z + 12 for z.
4
Let c = 4 + -3. Suppose 2*k - 7 + c = 0. Solve -o + 9 = k*m, 0 = 4*o + o + m - 3 for o.
0
Let b(y) = -2*y**3 - 3*y**2. Let s be b(-2). Let d = -5 - -8. Let o = 10 - 7. Solve -o*v + 4 = -s*l, 2*v - d*v + 4 = 0 for l.
2
Let t(h) = 2*h + 14. Let z be t(-6). Suppose -4*k - 10 = -0*y + z*y, -k - 15 = 3*y. Solve -3*a + 3*f = -9, a - 4*f = -k*a + 18 for a.
-2
Suppose 0 = -3*o + 11*o - 40. Let w be (-6)/8*(-6 + 2). Solve w*n - 5*y = 14, -5*n - o = -y + 1 for n.
-2
Suppose 4*l = 0, -h + 3*h = 5*l + 12. Let i be (-1)/3 - (-50)/h. Suppose 72 - 56 = 4*p. Solve p*v - 5*u = 20, v - u = u + i for v.
0
Let x(u) = -u + 5. Let k be x(1). Let d be 1 + 0 + 2/(-2). Solve -g + k*m + 12 = -5*g, d = m for g.
-3
Let p(x) = x**3 + x**2 + 38. Let d be p(0). Let h be 6/12 - d/4. Let s be (-4)/(-6) - 21/h. Solve 5*o = -3*n + 11 + 6, 0 = 2*o + 5*n - s for o.
4
Suppose -14*c = -11*c - 9. Solve u + 5*f - 1 = 0, 4*f - 15 = c*u + f for u.
-4
Suppose 4*o = -0 + 16. Solve -4*i = -2*n + o, -5*i = 5*n - 4*n - 2 for n.
2
Let u be -1*10/(-4)*2. Solve 3*w - u*w = -4*d + 2, 0 = 5*w + 5 for d.
0
Suppose i = 4*i. Suppose 5*r = -11 + 26. Suppose r*k + k = 12. Solve -30 = -s + 7*f - 2*f, i = k*s - 3*f - 30 for s.
5
Suppose -4*m = -41 - 139. Suppose -3*o - 9 = -m. Solve 3*p + 3*q = 0, 0*q = 3*q + o for p.
4
Let p be (-2)/12 - (-13)/6. Suppose k - 4 = 3*k + p*l, 0 = 5*l + 20. Solve -h + 4*h = k*z + 14, -4*z + 2*h = 12 for z.
-1
Let v(h) be the third derivative of h**4/12 - 11*h**3/6 - 4*h**2. Let y be v(8). Solve y*a = 4*i + a, 5*i + 4*a = -18 for i.
-2
Suppose -6 = -5*u + 3*u. Suppose -2*m - u*m = -10. Solve -h + 10 = m*h + 4*s, 4*s = 3*h - 2 for h.
2
Let k(p) = -p**2 - 4*p + 6. Suppose 0 = 3*m - 5*j, -5*m - 37 = 3*j + j. Let v be k(m). Solve -3*q + 4*o - 2*o - 3 = 0, -q - v = -o for q.
-1
Suppose -3*f - 15 = 0, 0 = -4*v + v + 2*f + 10. Solve 2*q - 4*q + 12 = -4*b, q + 3*b + 14 = v for q.
-2
Let y be ((-44)/(-33))/((-4)/(-6)). Solve 0*q = 2*q - 4*o - 20, 5*q + 2*o = y for q.
2
Let c be (-56 - 2)/(1 + -3). Solve -25 = -5*z, -z + c = 2*n + 4*z for n.
2
Let c(z) = 4*z - 4. Let b be c(3). Let t = -3 + b. Suppose -2*h - 4*o = -12, h + 5*o - t = 10. Solve h = -f + 1, 3*f = -y for y.
-3
Let h be (64/12)/8*(-138)/(-4). Solve w = -5*b + h, -2*b - b + 19 = -2*w for w.
-2
Let v(i) = i**2 + 9*i + 4. Let d be v(-9). Solve 0 = 5*u + d*l, l + 0*l = -5*u - 15 for u.
-4
Let q be -3*7/(-3) + -1. Solve 0 = 3*c - 5*g - q, 9 = -4*c - c + 2*g for c.
-3
Let i(b) = b + 26. Let a be i(-13). Solve d + 2*d = 5*c - a, 3*d - 2*c = -7 for d.
-1
Let w(r) = r - 4. Let c be w(3). Let a be -6*1/2*c. Suppose 3*i - 4 = 2*i. Solve -3*l + n - 6*n - 13 = 0, -i*l + a*n + 2 = 0 for l.
-1
Let b = 0 + 1. Let a = 4 - b. Suppose 0 = -a*x - x. Solve x = 2*s + 4*p + 18, -p = 2*s + 7 - 1 for s.
-1
Let p = 120 - 113. Solve 40 = -5*f + 4*l, -p*f + 2*f = 4*l for f.
-4
Let k = -8 - -13. Suppose -4*l + 4*m - 2*m = -6, 0 = -4*l + k*m - 9. Solve 0 = -0*u + l*u - 2*p - 10, -2*u = -5*p - 9 for u.
2
Suppose -3*y - 21 = -0*x + 3*x, -2*x - 3*y - 10 = 0. Let o = -7 - x. Let h(b) = -b - 7. Let n be h(-12). Solve -3*r = -5*k + 1, -3*k + 3 = o*r - n*r for k.
2
Suppose 5*x = -3*m + 20, 4*x + 5*m = 3*m + 18. Let k(o) = o**3 - 6*o**2 - 7*o. Let h be k(x). Solve 5*u + d + 12 = 0, h*d = 5*u - d + 18 for u.
-3
Let d(t) = t**3 - 3*t**2 - t + 7. Let i be d(3). Suppose -10 = -5*c + i*v, -c - 5*v + 0 = -2. Solve 4*y = -n + 2*n, c*n = -5*y - 13 for n.
-4
Let f = 30 + -28. Solve 2*r = g - f, -2*g + 8 = -3*r - 3*g for r.
-2
Let b be (-22)/((-3 - 2) + 3). Solve -m + b = -2*m - 3*a, 5 = 5*m + 3*a for m.
4
Let t be (-28 + 1)/((-15)/10). Solve 5*g - k + t + 2 = 0, 0 = 2*g + k + 15 for g.
-5
Let l be -2 - (0 - 2) - 0. Suppose 3*f + l = -6. Let q be f/1*(-6)/12. Solve 3*u = z + q, 4 = 4*u - z - z for u.
-1
Suppose 20 = -103*k + 108*k. Solve c = 2*z - 6, -k*c - z + 0*z = -3 for c.
0
Let d = -1 + 3. Let h(p) = 3*p - 7. Let s be h(7). Solve -s = r + 2*u, -25 = 5*r + d*u - u for r.
-4
Suppose 12 = 5*o - 13. Suppose -13 = -o*w + 12. Solve -25 = -w*z, i - 4*z = 6*i - 20 for i.
0
Let q(j) = 0 + 9*j**2 - 5 - 8*j**2 - 4*j. Let r be q(5). Solve 3*c - 6 = -5*m - 3, r = -4*c + 4*m - 28 for c.
-4
Let n be 3 - (40 + 4)/(-4). Solve -3*a = 3*y, 3*a + n = -0*y + 4*y for y.
2
Let y = -1 - -3. Suppose -u + 3*g = 6, -u + 0*g - y = -g. Suppose 3*x - 9 = -u*x. Solve 4*r + x*s = 23, s - 11 = -r - 2*r for r.
2
Suppose 2*n + 5*b - 15 = 0, n = -0*n - 4*b + 9. Solve -5*i = 4*k - 3 + 13, n*i = 2*k + 20 for i.
2
Let c(q) = q**3 - 15*q**2 + 46*q + 44. Let w be c(10). Suppose 0 = 2*r + 2*r - 20. Solve -w*v = -0*v + 2*o - 2, 3*v + r*o - 19 = 0 for v.
-2
Let x(c) = c**3 + 5*c**2 - c - 4. Let r be x(-5). Let z = r + 2. Solve 0 = w + 4*w - 3*h - 5, z*w - h + 1 = 0 for w.
-2
Suppose 3*z - 6 = 0, -2*q - z - 4*z = -14. Suppose -q*p + 9 = -23. Solve -r = 4*h + p, 2*h - r = 2*r - 22 for h.
-5
Suppose -2*b = 5*f - 13, 2*f + 3*b = -b + 2. Solve v + f*c = 20, 5*v - 4*c + 3 = 8 for v.
5
Suppose -4 + 16 = 4*q. Solve -q*h = y - 2, -4*h + 1 = -4*y + 9 for h.
0
Let h(u) = -u - 12. Let q(i) = -i - 1. Let y(x) = h(x) - 2*q(x). Let d be y(11). Solve 3*z = n + 4, -3*z + 7 = -2*n - d for z.
0
Let m = 1 + -4. Let z be (1 + m)/2*2. Let s be ((-7)/(-21))/(z/(-12)). Solve -3*c = -3*a - 9, -3*a = -c + 1 - s for a.
2
Let i(v) = v - 3. Let y be i(5). Suppose -5*u = -6*u - 2*m - 8, 0 = -3*u + 2*m + 16. Solve -b = o + o + 9, y*b = -u for o.
-4
Let o = -2 + 5. Let j be (o + -3)*(-1)/2. Suppose -5*q = -2*k - 2, -3*k + 4*q + 1 + 3 = j. Solve -3*f - k = 3*a - f, 5*a = 2*f + 20 for a.
2
Let t(h) = -h - 1. Let m be t(-4). Let b = 109 - 105. Solve -b = 2*s, -m*s = -i + s + 10 for i.
2
Suppose -3*f = -2*x + 3*x - 40, -4*f + 32 = -4*x. Let j = -8 + f. Solve 2*p = -4*b - 1 - 1, -2*p = b - j for b.
-2
Suppose 3*k + 8 - 23 = 0. Suppose -k*s = 3*a - 8, -s - 2*a - 5 + 1 = 0. Solve -x + 0*x = 