 = -4*i + 6*i + 4 for o.
4
Suppose 5*b - 6 = 14. Suppose -8 = 4*n, -2*n - 13 = -5*r + b*r. Let t = -9 + r. Solve l - 2*j - 3*j + 2 = t, -1 = -j for l.
3
Suppose 0 = 4*n - 4 - 12. Suppose n*i - 2 = -3*a + 14, -3*i = a - 12. Solve a = 3*f - 6, 3*w + w - 3*f = -22 for w.
-4
Let k be 5/(-45) + 37/9. Solve 4 = -4*s + 2*o, 7 - 15 = 2*s - k*o for s.
0
Suppose 2*x - n + 3 = 0, 4*x - n + 6*n - 15 = 0. Solve -q - q + 5*o + 27 = x, o = -5*q for q.
1
Suppose -92 + 12 = -4*s. Suppose 0 = 7*p - 3*p + 60. Let g be (-4)/3*p/10. Solve 2*d = 4*h - g*d - s, 0 = -4*h - 5*d + 20 for h.
5
Let n(g) = g**3 + 3*g**2 + 2. Suppose -d = -2*d + 2. Suppose 0 = 3*h + 11 - d. Let x be n(h). Solve 4*z - 12 = 4*w, -x*w + 23 = w + 5*z for w.
1
Suppose -5*x = -6*x. Suppose x*u + 5*u - 100 = 0. Solve 2*w + u = -5*l, 1 = w + l + 8 for w.
-5
Let p(o) be the second derivative of o**4/3 - o**2/2 + o. Let m be p(-1). Solve -4*c + 12 = 4*q - 9*q, -2*q = -m*c + 2 for q.
-4
Let c be (15 - 5)*(-2 + 3). Solve -k + 4*k + 13 = q, -5*q + c = -4*k for k.
-5
Let m be 45/18*8/5. Solve -3*k - 17 = 5*f, -5*k + m*f + 13 = 2*f for k.
1
Suppose -5*i = -i + 5*n + 2, 4*i - 2*n = 12. Solve -24 = 4*j + 4*u, 12 = j - 3*u - i for j.
-1
Let p = -15 + 17. Solve -4*g - 24 = -p*x, 4*g = -3*x + 1 - 15 for x.
2
Suppose -5*r - 2 = -17. Solve 5*q - 2*q + 12 = -4*k, k - q = -r for k.
-3
Suppose -o + 3*o = -4. Let p be 6/(o*(-3)/4). Suppose 0*q = -5*q + 15. Solve -4*w + 15 = -5*d, q*w - d + 6 = p*w for w.
5
Suppose i + 8 = -i. Let r be i/(-16) + (-38)/(-8). Solve -r*d + 5*o + 0 = 30, -3*d - 20 = -5*o for d.
-5
Let h(t) be the first derivative of -t**3/3 - 3*t**2 - 4*t + 3. Let r be h(-3). Solve 7*i = 2*i + 5, -4*l = -r*i + 9 for l.
-1
Suppose h + 2*h = -9, -5*h = -4*z + 15. Solve -9 = -z*t - 3*t, s = t - 7 for s.
-4
Suppose -c + 4 = k, 5*k - 3*c - 10 = 2*c. Solve -3*u - 5*b = 5 + 2, 3*u + k = -3*b for u.
1
Let y(n) = -n**2 - 8*n - 9. Let f be y(-6). Let p be 6*f*1/6. Solve 2*u + u + 2*t + 14 = 0, -p*t = -u - 1 for u.
-4
Suppose 5*g - 12 = 3. Suppose f + 4 = -f. Let o be (20/(-6))/(f/g). Solve o*u = 5, 5*r - 4*u - 1 = -5 for r.
0
Suppose -5*x + 28 = 2*x. Solve -x*j + 11 = -g, -31 = -0*j - 4*j - 3*g for j.
4
Let k(t) = 3*t + 1. Let p be k(1). Suppose -3*m - 6 = 2*b - 5*b, m - 13 = -2*b. Solve r + u = p, -m*u - u = -r + 4 for r.
4
Suppose 15 = u - 4*z, 0*z + z - 3 = -2*u. Solve 0*g + u = 4*g - 5*a, -5*g - 5*a + 15 = 0 for g.
2
Let m = 0 + 4. Suppose -w = -0*w - m. Let v = -7 + 12. Solve -w*y - 12 = -y, -y = v*p + 4 for p.
0
Suppose 4*b + 1 - 17 = 0. Let t be (44/12 - -1)/((-3)/(-9)). Solve -b*n - 2*f = t, 0*n - 5*n = -f + 14 for n.
-3
Let o = 94 + -86. Solve -o = 2*c - r, -11 + 29 = -3*c + 3*r for c.
-2
Let t(a) = -a**3 - 5*a**2 + 12*a - 11. Let i be t(-7). Solve -4*s = l - 4, -i*s + 22 = -l - 3*l for s.
2
Let k(s) = -3*s - 10. Let n be k(-4). Solve 7*r - n*r + 27 = -4*c, -r = -2*c - 3 for c.
-3
Let a(h) = h**2 - 5*h + 1. Let z be a(5). Solve 0 = 4*v + x - 1, 5*v - 5 = -4*x - z for v.
0
Let l be (1/1)/(5/10). Suppose -l*c - c = -60. Suppose q - 32 = -3*q. Solve 3*n = -4*x + 4*n + c, -x + n = -q for x.
4
Let y be 3/(27/60)*3. Let b(s) = -3*s + 2. Let u be b(2). Let x = u + 6. Solve -3*c = 5*n - 32, -y = -4*n + x*n - 3*c for n.
4
Let b(q) be the third derivative of -q**4/24 + 5*q**3/6 + 2*q**2. Let w = -3 + 3. Let j be b(w). Solve -j = a - 3*n, 3*a + 11 = 4*n + 1 for a.
-2
Let s = 9 + -3. Let q = s + -3. Solve 3*m + 4*l = -13, 2*l - q + 13 = 2*m for m.
1
Let c be (-1)/(-2) + 3/(-10)*-5. Solve 2*u = 2*o + 4, c*u - 11 = -o - 4*o for u.
3
Suppose -3*f = d + 2*d - 54, 3*f = -5*d + 98. Solve -b = 5*k + 25, 5*k = -2*b + 2*k - d for b.
-5
Let h(k) = k**2 - 5*k + 3. Let l be h(5). Suppose l*w + 0 + 33 = 0. Let s = -6 - w. Solve -3*x - s = -4*f, 2*f + x - 6 = -x for f.
2
Let y(d) be the second derivative of d**4/12 + 2*d**3/3 + d**2/2 - 2*d. Let q be y(-3). Let i = 5 + q. Solve i*z - 2 = -4*u - 1, u + 2*z = -6 for u.
4
Suppose 2*p = -4*u - 29 - 13, u + 63 = -4*p. Let j = -13 - p. Solve j*q = q + 2, 2*q = -s + 1 for s.
-3
Suppose n - 1 - 1 = 0. Suppose -4*h + 4 + 16 = -4*p, -5*p = -25. Solve -2*o + 4*c = h, -2*o + n*c = 5 + 3 for o.
-3
Let x be (3 + 15)/3 + (2 - 3). Solve -u + 15 = 3*d, 4*d = 2*d - x*u + 23 for d.
4
Let j = -8 - -11. Let i be (j/(-9))/(-1)*9. Solve 3 - 10 = 5*n - i*k, 2*k = n for n.
-2
Suppose 2*f = -5*h - 16 - 2, -3*h + 2 = -2*f. Let x = f + 6. Solve 2*i - 22 = -5*v, -x*i - 13 = -4*v + i for v.
4
Suppose 56 - 66 = -2*r. Solve -r*f = -0*b + 4*b, -b - 21 = -4*f for f.
4
Let b = -90 + 92. Solve 4*r - 2 = -q - 3, b*r - 4*q = 22 for r.
1
Let h = 8 + -6. Suppose -4*y + 30 = 2*x, -y + 4 + 8 = 2*x. Solve -2*l - 4*p = 14, l + h*l + y = -p for l.
-1
Suppose -2*y = -4*y. Let d = 7 - 4. Suppose -d*i = -y*i. Solve i*h + 5*b = -4*h - 17, -3*h - 5*b = 14 for h.
-3
Suppose h + 3 = 0, 2*h - 3*h + 24 = 3*x. Let d be ((-3)/x)/(4/(-12)). Solve -3 = 3*p + a, 16 = -2*p - 5*a + d for p.
0
Let z(t) = -t**2 - 11*t - 30. Let q be z(-5). Solve 4*r + 2 = 2*j + 2*r, q = -2*j - r + 11 for j.
4
Let p(v) = -v**2 - 4*v + 5. Let d be p(-5). Solve -x + 1 = 0, d*f + 18 = 5*f - 2*x for f.
4
Suppose 0 = n - 3*n + 6. Suppose 5*w - 9 = 3*o, 4*o = 2*w + o - 9. Suppose -n*c - c = w. Solve -2*a = v + 8, c*v - 4*v - 11 = a for v.
-2
Suppose -6 = 7*f - 9*f. Solve -5*j = -4*w - 4 - 1, 0 = -2*w - f*j + 25 for w.
5
Suppose -g + 16 = 3*g. Let x be 0/(-3) + g - 1. Solve 2 = 2*v + x*z - 2, v - 5*z + 11 = 0 for v.
-1
Let m(g) = -g**3 + 3*g**2 + 6*g - 6. Let i be m(4). Let c be (i/(-4))/((-1)/26). Solve 7 = n + n - w, 0 = 2*n + w - c for n.
5
Let s be (15/(-18)*4 + 3)*-3. Solve 15 = -3*q, 3*q - s = -g - 14 for g.
2
Suppose -s + 4 + 2 = 0. Solve 0 = -a + u - s, a = -5*u + 16 + 2 for a.
-2
Suppose -2*d = -3*d + 5*y - 22, 0 = d + y - 8. Solve 4 = -d*z + 3*w + 16, -5*z - 5*w - 30 = 0 for z.
-1
Suppose -15*l + 25 = -10*l. Solve -g + l = 2*v, 0*g - g = -3*v + 15 for v.
4
Suppose 5*b = -2*i + 3, -5*b + 33 = 3*i - 6*i. Let q(l) = 11*l. Let u be q(-1). Let p = i - u. Solve 9 = -p*s - 3*h, 0 = 5*s + h + 3 + 10 for s.
-3
Suppose 0 = -0*o - o - d + 6, 3*d = -5*o + 22. Solve -14 = 4*r + o*j, 2*r + 8 = j - 1 for r.
-4
Suppose 0 = -6*v - 0*v. Solve v = -4*h + 4*s + 28, h + h - 23 = 5*s for h.
4
Let f = 79 - 73. Solve -2*s - f = 2*k, 0*s + 1 = 3*k - 2*s for k.
-1
Let q be 0 - (1 + -2)*(-5)/(-1). Solve 3*t = 2*z, q*z - 6*t = -2*t - 7 for z.
-3
Suppose 2*c + 2*c - 12 = 0. Solve 4*s + 3 = 3*n, 2*s + 0*n - c*n + 3 = 0 for s.
0
Suppose -3*g + 154 = -110. Let f be ((-2)/(-4))/(4/g). Solve -n + 3*a = f, 2*n + 3*a = -n + 15 for n.
1
Let i(l) = -l**3 - 10*l**2 + 4. Let p be i(-10). Suppose 4*m = 2*m. Let k be 0 + -1 + 12/3. Solve k*r = -p*n - 0*r, -r = m for n.
0
Suppose 4*u - 5*u = 2. Let i = -5 - -7. Let s = i + u. Solve -2*w + 4*h + 20 = 0, s = -h - 4 - 0 for w.
2
Let z(x) = -x**2 + 7*x - 6. Let w be z(5). Let c(j) = j**3 - 3*j**2 - 4*j + 5. Let t be c(w). Solve 0 = 5*h + 2*d + 22, -2*h - 4*d = -t*h - 8 for h.
-4
Let b = -67 + 70. Solve -4*i - b*q - 5 = 0, 1 = -2*i - 3*q - 0*q for i.
-2
Let x(z) = -z + 10. Suppose 0 = y - 4*y + 15. Suppose 0 = -v - y + 13. Let p be x(v). Solve -5*u + 4*a + 14 = 0, p*u - 2 = a - 3*a for u.
2
Let u be (4/(-7))/(3/(-21)). Suppose 5*a - 2 = 4*v + 3, -u*v + 20 = 0. Solve 0 = 4*l - a*m, 0 = -0*l - 2*l + m + 6 for l.
5
Suppose t = 2*t. Suppose -2*f + 8 = -k, -3*k = 4*f - 0 + 4. Let o be 216/21 - k/(-14). Solve 0 = d, t = -0*g + 5*g + 5*d - o for g.
2
Let k(t) = -2*t**2 + 3*t - 1. Let m be k(1). Solve 0 = -2*v - 5*x + 4*x - 2, 4*x = m for v.
-1
Let n be 0 - (2/1 - 7). Let y = 4 - 3. Let s = n - y. Solve -2*b = 4*l - 20, -29 + 4 = -s*b - 5*l for b.
0
Let b(t) = -1 + 7 + 3*t - 11 - 4*t. Let w be b(-9). Solve 2*s = -4*o, -3*s + w*s = 5*o + 7 for s.
2
Suppose 0 = -5*u + 24 + 11. Suppose 4 = 4*n - 5*x + 3, n + x = u. Solve z = n*s + 2, -6*s + z = -s + 3 for s.
-1
Let s = 14 - 11. Let w be (s - (-3 + 3))*1. Solve -w*m - 1 = -q, 7*q = 4*q - 2*m - 19 for q.
-5
Let l(z) be the second derivative of 2*z**3/3 - 6*z**2 + 4*z. Let c be l(8). Suppose -u = 4*u - c. Solve u*r + 30 = -5*k, 0 = -2*k + r + 4*r + 21 for k.
-2
Let z be 1/3 - (-4)/(-12). Suppose 2*o = 2*n + 48, o + 2*n - n - 14 = z. Suppose -4*i = 7 - o. Solve 0 = 2*r - 5*a - 19, 7 = -i*r - r - 5*a for r.
2
Let 