w + 20 = 0 for m.
0
Suppose 2*o + 3*o - 55 = 0. Let x = o + -7. Let s be (2 + -4)/(x/(-6)). Solve 0 = s*b - 5*i - 31 - 6, 4*i = b - 24 for b.
4
Let k be ((-14)/3)/((-2)/15). Let i be 20999/(-143) - (22/(-26) - -1). Let v be (-1)/5 - i/k. Solve 0 = 2*y - c + 3, -2 - v = y - 2*c for y.
0
Suppose 0 = -4*p + 3*v + 39, -2*p + 2*v = -3 - 15. Let k be ((-8)/p)/((-3)/9). Solve -k*f - 10 = -3*s, -2*s - 2*s + 4*f + 12 = 0 for s.
4
Let w be (1/2 + 0)/((-6)/(-12)). Solve 6 - 2 = 4*u, w = c - 4*u for c.
5
Suppose 0 = -4*c - 3*w + 6, 0*w = -4*c + 3*w + 18. Suppose z = -c*z - 8. Let s be (7 + -2)/((-2)/z). Solve f - s*x - 12 = -3*x, -3*f = 3*x for f.
4
Let g = -12 + 7. Let j = g - -7. Solve -4*x = -3*i + 2 + 17, j = -x - 2*i for x.
-4
Let a(g) = -2*g**2 + g**3 - 3 + 2*g - 5*g + g. Let c be a(3). Solve -5*o - z - 10 = c, -4*z = 3*o + 25 - 2 for o.
-1
Suppose 1 = 2*c - 3*c. Let l be 6/(-3)*c - 0. Solve 0*i - 3 = l*d - i, -3*i + 3 = -3*d for d.
-2
Let g be (1/(-1) + 2)*11. Let z = 54 - 62. Let b = g + z. Solve 5*y + 3 = -3*j + 5*j, 0 = -4*j - b*y - 7 for j.
-1
Let r(m) = -m**3 - 2*m**2 - 3*m - 3. Let u be r(-2). Let t = 4 - 1. Solve 4*z - t*z + u*h = -7, 0 = -5*z - 5*h - 5 for z.
2
Suppose 0 = -0*s - s + 1. Let i be s*(4 - (1 - 1)). Solve -q = 3*p - 5, -i*q + 2 = 6 for p.
2
Let h(n) = n**2 + 2. Let z be h(0). Solve -5*i = -j + 17, z*j + 2*j = -2*i + 2 for j.
2
Let d be (-6)/(-4)*(-40)/(-12). Suppose d*u = 8*u. Solve -2*m + u*m - 16 = 4*a, 3*a + 12 = 0 for m.
0
Suppose 2*s - 13 = -0*i - 3*i, 4*s = -5*i + 21. Let y be (-1)/i + 176/55. Solve -3*h - 5 + 17 = 3*j, 12 = -4*j + y*h for j.
0
Suppose -t + 3*l + 13 = -2, -l - 5 = -t. Suppose -2 + 7 = b. Suppose t*a - b = -a. Solve -3*q - 13 = q - k, 0 = a*q + k + 23 for q.
-4
Suppose 6*r = 5*r + 6. Solve i + 10 = 5*v, -r = -4*v + v + 5*i for v.
2
Suppose -3*a - 1 - 23 = -5*q, 0 = -2*q - 2*a. Suppose 6*u = -3*o + 5*u, 2*o = -5*u. Solve 4*l - 23 = -2*f - f, o = -q*l - 2*f + 16 for l.
2
Let l(z) = -z**2 - 14*z + 5. Let c be l(-13). Solve 5*i = 5*m - 30, -i - 5*m - 6 = -c for i.
-3
Let p(o) = 3*o - 8. Let z be p(5). Let l be z - 6 - -1*2. Solve 0 = l*b + b + 5*t + 18, -5*b - 18 = 4*t for b.
-2
Let o be (-25)/(-3) + (-20)/60. Solve 3 + 2 = h + y, -h + o = 2*y for h.
2
Let j = -2 + -1. Let l be (j/(-5))/((-2)/(-10)). Let r be (-2)/(-3) - (-280)/30. Solve f = l*m - 11, f - 5*m = -11 - r for f.
4
Suppose i - 8 = -q, 2*q + i + 2*i = 17. Suppose -2*l - q = -37. Let x = 31 - l. Solve -x = a - 3*h, -a - 3*h = -6*a - 32 for a.
-4
Suppose -17 = -4*j + k, 4 + 1 = -5*k. Suppose j*p - 8 = -0*p. Solve 6 + 7 = -4*z - 3*r, 0 = -p*z + r + 1 for z.
-1
Let f be 3/2*4 - 1. Let t be 20/6*(-9)/2. Let h be t/5 + (-1 - -22). Solve f*d = -4*s + 4*d - 14, h = -4*s + d for s.
-4
Suppose 10*b - 102 = -2. Solve 5*n = -2*f + 2 + 9, -4*f = -2*n - b for f.
3
Suppose -4*j = -7 - 1. Solve -3*u = -j*u - 4*m + 9, m + 12 = 5*u for u.
3
Suppose 5*o = 2*k + 14, 6*o + 3*k + 2 = 4*o. Solve -q = o*n + 10, n - 3*n - 6 = -q for n.
-4
Let b(f) = -4*f - 27. Let s be b(-8). Solve -5*a = w - 2*w + 1, -s = 4*a - 5*w for a.
0
Let r be (-18)/12*30/(-9). Suppose -r*y = b - 70 + 6, 3*y + 4*b = 52. Solve -2*c = -5*k - 6, c + 3*c = 3*k + y for c.
3
Let z = -13 + 15. Solve 0 = 3*i + z*k + 13, -i - k + 4*k - 8 = 0 for i.
-5
Let r(w) be the second derivative of -w**3/6 + 2*w**2 + 10*w. Let u be r(-5). Solve m + 2 - u = -5*l, -4*l - 4*m - 4 = 0 for l.
2
Suppose -16*q - 20 = -20*q. Solve 2*n - 4*z = n + q, 3*z = 5*n - 8 for n.
1
Let d(n) = -3*n**2 + 3*n**2 + n**2 + 5 - 8*n. Suppose t = -5*q + 38, 5*q - 2*q - 32 = 4*t. Let j be d(q). Solve -j*f = -r + 30, -3*r + 5*r = -f + 5 for r.
5
Let v be 132/(-14) - (-3)/7. Let a = -7 - v. Solve -4*h - 23 = -3*s, -3*s - s = -a*h - 24 for h.
-2
Let q(b) = b**2 - 6*b + 9. Let z be q(5). Suppose -3*y = -z*y. Solve 0 = c - 3*c + 5*s + 8, y = c + s + 3 for c.
-1
Suppose 6*k - 2*k = -272. Let i = -45 - k. Solve -7 = 4*g - 2*f - i, 0 = -g - 4*f + 4 for g.
4
Suppose -24 = -z + 5*z. Let s be -3 - 12*9/z. Solve 5*i = 5*o - s, 0*o + 2*i = -2*o - 14 for o.
-2
Let t(b) = -b + 2. Suppose 3*y = -7 - 23. Let z = y + -1. Let s be t(z). Solve -3*d + 0*d - s = -2*r, 3*r + 9 = -5*d for r.
2
Let z(k) = 7*k**2 + 11*k + 6. Let j be z(-7). Let t be 174/34 + (-32)/j. Solve t*g = -3*p + p + 30, -4*p = 3*g - 32 for g.
4
Let z(l) = l**2 - 5*l - 5. Let c be z(6). Suppose q + 2 - 3 = 2*o, 4*o - q + c = 0. Solve o = 5*d - 3*b - 20, 3*d = 3*b + 2*b + 12 for d.
4
Let r be ((-4)/8)/(1/(-10)). Solve 7 = -5*s + 4*o, -2*s + 3*o - r = 2 for s.
1
Let p = -11 - -17. Let a(o) = p*o - 6*o - o**2. Let t be a(0). Solve 3*c + 0*c - u + 9 = 0, 5*u + 15 = t for c.
-4
Suppose -5*h + 5 + 5 = 0. Let a = 9 - 7. Let k(c) = 4*c - 2. Let t be k(a). Solve -2*j + t + 2 = -h*w, -4*w - 2*j = -2 for w.
-1
Suppose 0*u + 2 = -2*u. Let i = u + 4. Solve -i*d - 5*v = 9 + 7, 5*d + 6 = 2*v for d.
-2
Let x be 2*4/32*-2*-50. Solve 0 = -w + 4*b - 2*b - 5, 3*w + 2*b - x = 0 for w.
5
Suppose -5*g + 2*g = -105. Let i be 154/g + 2/(-5). Solve o + 0*d = 3*d - 14, -i*o + 4*d - 32 = 0 for o.
-5
Let d be -1*5/(10/12). Let f = 7 + -10. Let o = f - d. Solve -2*v = -z + o, -5*v = -2*v + 9 for z.
-3
Let m = -13 - -7. Let t be ((-18)/(-15))/(m/20). Let q be 6/t*16/(-6). Solve 4*a + 0*a - q = 4*o, 2*a - 2 = -o for a.
1
Suppose 667 + 161 = 4*h. Suppose 4*p + h = -217. Let y be p/(-4) + 1/2. Solve 0 = -5*o + 4*u - 21, 5*o + y = -4*u - 2 for o.
-5
Suppose -5*r - 20 = -0*r. Let y be (8/(-12))/(r/54). Solve 0*k + 2*b + 11 = -3*k, 0 = 3*k + 3*b + y for k.
-5
Let o be ((-52)/(-12))/(2/(-12)). Let x = -12 - o. Let m = 1 + x. Solve 0 = 5*g, -m = -2*u - u + g for u.
5
Let k(v) = 5*v + 1. Let n be k(1). Let q(l) be the first derivative of 2*l**2 - 8*l + 2. Let t be q(n). Solve 4*u - 10 = 3*u + 5*w, -4*w + t = 4*u for u.
5
Let k(r) = 7*r. Let m be k(5). Solve -5*u = -5*i - m, -3 + 7 = 4*u + 2*i for u.
3
Suppose 58 = 2*x - 4. Solve -2*q = 3*c + 2*c - x, -2*c = -4*q + 2 for c.
5
Let c(l) = -l**3 - 5*l**2 + 6*l + 8. Let p be c(-6). Solve -5*f - 3*a - 30 = 0, -4*f + 3*a + p = -a for f.
-3
Suppose -5*s - 4*z = -73, 2 = z + 5. Let q = s + -13. Solve 7*p = 2*p + 25, q*p - 25 = 5*x for x.
-1
Suppose -z + 6*z - 2*g - 111 = 0, z - 5*g = 36. Let w be 2/(-7) + 6/z. Solve -3*i + 3*b + 3 = -w*i, i = 5*b - 3 for i.
2
Let u = 15 + -12. Suppose -u*t + 0*t + 33 = 0. Solve -i = -5*v - 10 + 31, i - t = -3*v for v.
4
Suppose -7*r + 145 - 12 = 0. Solve -4*z = -3*m - r, z = -m + 4 - 8 for z.
1
Let i = 13 + -7. Let b(q) = -2 + 2*q + q**2 + i*q - q - q. Let x be b(-7). Solve x*f + 30 = 5*z, -z - 11 = 3*f - 1 for f.
-4
Let i = -3 - -5. Suppose 0*t - d = i*t - 5, t = -5*d + 7. Solve 21 = 3*j - t*a + 1, -j + 5*a + 24 = 0 for j.
4
Suppose q + 3*t = -q - 3, q = t + 6. Suppose -2*h - q*d = -h - 17, -d = -h + 1. Solve 4*w + 6 = h*a, 4*w + 2*a + a + 22 = 0 for w.
-4
Let s(a) = a**3 - 6*a**2 - a + 6. Let z be s(6). Solve 4*o = -2*l + 24, z = o + 2*o + 4*l - 23 for o.
5
Let i(w) = 3*w - 17. Let d be i(7). Solve 2*m + 28 = -2*c - 3*m, 0 = -d*c + 3*m - 4 for c.
-4
Suppose -18 = -2*v - 3*r + r, -2*r - 2 = -3*v. Suppose v*t = 26 - 10. Solve -t*f + 5*c = -7*f - 12, f + 4 = -2*c for f.
-4
Let m = 12 + -12. Suppose -v + 5*a = -13, 2*v = -4*a - 2 - m. Solve 0 = -2*b + 6, v*b = 2*s - 2*b + 17 for s.
-1
Let g = -2 - -7. Suppose 0 = -4*c + 123 + 65. Suppose 5*k - 3 = c. Solve -5*n + k + g = 4*u, 3 = -u + n for u.
0
Suppose -3*j = 1 - 10. Solve 5*x + 1 = 2*w, j*w - 5*x = 2 + 2 for w.
3
Let t(h) = -5*h**3 - 1. Let x be t(-1). Solve -4*a - 19 = -3*i - 5, -i + x = -a for i.
2
Suppose -3*s + 4*k = 14, 2 = 5*s - 4*k + 12. Solve 10 = 2*t + 2*x, 4*t - 5*x = 4 - s for t.
3
Let i be 1158/78 - 6/(-39). Solve u - 3*q = i, 2*u + 2*q + 20 = 6*u for u.
3
Let v be ((-4)/5)/(24/(-60)). Solve -4*k + 1 = v*q + 13, 0 = 4*k - 3*q + 2 for k.
-2
Let b be 2/((-1 + 0)/(-1)). Let c be (b - 3) + 5 + -2. Solve 4*n - 5*y + 6 = 0, 3*n - c - 9 = -4*y for n.
1
Let f be (-2)/((-3)/(-5) + -1). Let t = 15 + -21. Let n = t + 9. Solve 5*h + a = -n + 24, 0 = f*h - a - 19 for h.
4
Let v = -7 + 12. Solve 2*r + 10 = 0, 0*r = v*x - r - 5 for x.
0
Let a(j) = -3*j**2 + 14*j + 12. Let f(s) = s**2 - 5*s - 4. Let t(i) = -4*a(i) - 11*f(i). Let m be t(3). Solve -9 = -2*o + o + 4*p, p + m = 0 for o.
1
Let l(i) = 5*i**2 + i - 1. 