-12. Solve -y - g = -3 for y.
-5
Suppose 5*g + 4*i = -55, -3*i - 18 = -3. Let h = -7 - g. Solve h = t + 3*t + 20 for t.
-5
Let s be 154/(-8)*-1 + (-3)/(-4). Solve s = u - 6*u for u.
-4
Suppose u = 6*u - 125. Solve 5*k = -0*k - u for k.
-5
Let w(k) = k. Let i be w(5). Suppose -1 = a + v - i, 4*a - 10 = -2*v. Let b be -1*a*(-3 + 0). Solve -d = b*d for d.
0
Let q = -23 - -25. Solve -t + 5 = q for t.
3
Let d be 60/21 - 2/(-14). Solve d*k + k + 12 = 0 for k.
-3
Suppose -32 + 12 = -5*d. Solve -d*k - 15 - 1 = 0 for k.
-4
Let h be -3*-1*1/1. Let t be 1 - 0 - (3 - h). Solve -t = 5*b - 16 for b.
3
Let g(j) = j**2 + 5 - 4*j + 0*j**2 - 3. Let y be g(4). Let c be 1*-2 + (-14)/(-2). Solve -c*h = -y*h - 3 for h.
1
Suppose 4*c - m - 1 - 2 = 0, -3*m + 11 = -2*c. Solve -c*b - 10 = 3*b for b.
-2
Suppose -13*v = -15*v + 4. Solve -6*m = -v*m for m.
0
Let j = -2 - -1. Let r be (j - -1)/(2 + 0). Solve 0*t + t = r for t.
0
Suppose 0 = -k + 2 - 0. Suppose 0*w - 21 = -7*w. Solve -k*l - w*l + 5 = 0 for l.
1
Let r = -442 - -446. Suppose 2*m - 4*m - 10 = -4*s, -6 = -5*s - 4*m. Let c be -1*s - (-2 + 0). Solve 2*v - 3*v - r = c for v.
-4
Suppose s = 5*s + 12, 2*v - s = 27. Solve w + v = -3*w for w.
-3
Suppose 3*n + 4*x = 30, 22 = 4*n + 5*x - 17. Solve 11*g = n*g + 5 for g.
1
Let n(u) = u**2 + 6*u + 7. Let l be n(-5). Solve 4 = l*a - 4 for a.
4
Let w(r) = r + 15. Let p be w(-12). Solve -p*b + 12 = b for b.
3
Let i(z) be the second derivative of z**3/6 - 7*z**2/2 + 4*z. Let u be i(7). Let p be -1 + 1 + u/1. Solve -3 = -p*b + 3*b for b.
-1
Suppose -6*o + 9 = -2*o + s, -o - 2*s + 4 = 0. Suppose 36 = 3*w - 3*v, o*v + 9 = 3*w - 2*w. Suppose 0 = 3*h + 2*h - w. Solve 3 - 6 = h*u for u.
-1
Suppose -2*u + u + 2 = 0. Suppose 3*g = -h + 12, 0 = -u*h - 3*g + 5*g. Solve -h*x + x + 4 = 0 for x.
2
Let y(i) = 2*i - 1. Let u(l) = -l**3 + 7*l**2 - 6*l + 1. Let h be u(6). Let s be y(h). Solve -s = m + 1 for m.
-2
Suppose -4*c = -12 + 4. Suppose -3*t + w - 4 + 14 = 0, 5*t = c*w + 17. Solve 2*b - 1 = t for b.
2
Let h = -6 - -10. Let b(j) be the third derivative of -j**6/40 + j**5/30 + j**4/24 - j**2. Let l be b(-1). Solve -l*x + h = -0 for x.
1
Let m(s) = 5*s**3 + s - 5*s**2 - 2 - s**3 - 3*s**3 - 1. Let a be m(5). Solve 12 = a*q + 2 for q.
5
Let o(u) = -2*u**2 - 26*u + 5. Let m be o(-13). Solve -m = k - 7 for k.
2
Suppose d - 32 = -r, d - 63 = -2*r - 4. Let y = r + -18. Solve 3*s + y = -3 for s.
-4
Suppose -245 = -5*n - 5*j, 4*j + 1 = -n + 65. Suppose 2*w - n = -2*w. Solve 36 = -5*p + w for p.
-5
Let r = -16 + 20. Solve -r*c - 10 = -2*c for c.
-5
Suppose -4*q = 6 - 14. Suppose -q*d + 6 = d. Solve d = -3*j - 1 for j.
-1
Suppose 21*r - 10 = 16*r. Solve -r*m = m for m.
0
Let i be (-12)/30 - 6/(-15). Suppose t = -i*t. Solve -c - c + 2 = t for c.
1
Suppose w = 5*w, -5*g + 5*w + 330 = 0. Suppose 4*q - 7*q = g. Let n = -10 - q. Solve 0 = -m + 5*m + n for m.
-3
Let x be (-26)/(-6) - (-1)/(-3). Let v = 6 + -4. Suppose 4*n = 2*m - x, -v*n + 3 = n. Solve 0*u - 4 = -m*u for u.
1
Let s(y) = y**2 + 4*y - 4. Let x be s(-5). Let g be (x - 1) + 35/5. Let i = -4 + g. Solve i = -5*l + 4*l for l.
-3
Let s(j) = -j**2 - 10*j + 14. Let n be s(-11). Solve -n*y + 4*y = 0 for y.
0
Let x(z) = -z**3 + 2*z**2 + 2*z + 3. Let k(i) = 3*i. Let a = -2 + 3. Let t be k(a). Let r be x(t). Solve r = -4*f + 10 + 10 for f.
5
Let m be (-1 + 20/(-8))/((-3)/6). Solve -3*t = -m*t + 16 for t.
4
Let x(a) = -a**2 - 6*a - 3. Let k be x(-2). Suppose -k*f - 13 = 4*o, 6*o = o - 2*f + 5. Solve 2*g - 10 = -o*g for g.
2
Let y(j) = 3*j**3 - 3*j**2 - 3*j**2 - 2*j**3 + j - 4. Let q be y(6). Suppose -4*w = -q*w. Solve w*m = 3*m - 3 for m.
1
Suppose 3*l - 21 = -12. Let k(u) = -u - 3. Let q be k(-5). Suppose -20 = -l*p - q*p. Solve 4 = -p*f - 8 for f.
-3
Let k(g) = -g**2 - 5*g + 52. Let r be k(-10). Solve -5*z = -8 - r for z.
2
Suppose -2*d = -0*d - 6. Let o be (d - 10/4)*4. Solve j - 3 = -o*j for j.
1
Suppose 68*o = 70*o - 14. Solve -5*n - o = -2 for n.
-1
Let a = 22 - 14. Suppose -2*y - a = -6*y. Solve y*s - 1 - 1 = 0 for s.
1
Let v(r) = r + 7. Let c be v(-7). Let u be c + 0 + 12/3. Solve 1 = -u*j + 17 for j.
4
Let c = 45 + -41. Let h(n) = -n**3 + 3*n**2 - n - 2. Let o be h(2). Solve o = 2*u + 2 - c for u.
1
Let u(k) = k**3 + 9*k**2 - k - 2. Let j be u(-9). Let i = -7 + j. Let m be -1 - i/(-1) - -6. Solve -z + 0 = -m for z.
5
Let a be (-4)/(-1) + 2 - 2. Suppose 10*b - a*d - 26 = 5*b, -2*d - 16 = -4*b. Solve n = b*n - 4 for n.
4
Let d(h) = -2*h + h + 4 - 3. Let z(v) = v**2 - 2*v - 5. Let q(y) = -2*d(y) - z(y). Let r be q(4). Solve 8*k - r*k = 0 for k.
0
Let o = 87 - 81. Solve -2*b + o*b = 0 for b.
0
Suppose -w + 2*w = 0. Let f be (1/3)/((-3)/9). Let g(z) = z**2 - z. Let t be g(f). Solve t + w = -c for c.
-2
Let t(y) = -y**2 - 13*y - 16. Let a be t(-11). Let k be (-1 - 0) + 3 + a. Solve -c - k = c for c.
-4
Let k = 17 - 9. Solve k*i - 3*i = 15 for i.
3
Suppose 3*c + 4*a = -0*c, 4*c = -3*a. Solve 0*w + w - 3 = c for w.
3
Suppose 0*s = 2*s - 0*s. Solve p + 0*p - 1 = s for p.
1
Suppose 2*p + 2*p = 2*j - 4, 8 = 4*j - 3*p. Solve j*s + s = 0 for s.
0
Let n be -2 - (120/(-5))/4. Solve -2*s - 4 = -n*s for s.
2
Suppose -m = 2*m - 69. Suppose -2*t = -3*b + m, -2*b + 2*t = -3*t - 19. Solve 4*x - b*x = 15 for x.
-5
Let u = 17 + -10. Let r be (-30)/(-7) + (-2)/u. Solve 4*c - 12 = r for c.
4
Let n be (-2)/7 - 96/(-42). Solve 0 = -n*x + 4 - 6 for x.
-1
Suppose 2 = -2*s + 8. Let p(w) = -4*w**2 - 12*w + 4*w - 7 + s*w**2. Let m be p(-5). Solve -2*i + m = -6*i for i.
-2
Let a = 23 - 9. Solve a = -3*n + 5 for n.
-3
Suppose 4*m = 2 + 10. Solve 7 = r + m for r.
4
Let i(b) = 6*b**2 + 1. Let s be i(-2). Suppose o = u - 20, 5*o + 0*o = -s. Suppose 0*t + u = -2*t + 5*a, 2*t + 12 = 4*a. Solve t*w = 2*w for w.
0
Let q = -102 + 104. Solve 16 = -q*r + 6*r for r.
4
Let j(y) = y**2 - 2*y + 3. Let b be j(2). Suppose 4*a - 2 = b*a. Solve 4 = a*v + 14 for v.
-5
Let j(l) = -3*l + 4. Let m be j(-3). Solve -5*h + m = -7 for h.
4
Let g = -95 + 98. Solve -g = 2*h - 5*h for h.
1
Let f(z) = z**2 - 9*z + 3. Suppose 0*u + u - 4*p = 1, 0 = u - 5*p + 1. Let o be f(u). Solve 0*a - o*a = 9 for a.
-3
Let b(s) = -s - 8. Let l be b(-9). Suppose z = -0*z + 3*a + 3, z + l = -a. Solve 2*v + 6 = -z for v.
-3
Let p = -2 + 7. Let i be (-50)/(-15)*42/5. Suppose -5*o - 4*n = -3*o - 20, i = 4*o + 2*n. Solve p = -o*r + r for r.
-1
Let h = -85 + 85. Solve 0 = 4*l - 8 - h for l.
2
Suppose 4*q + q + 55 = 0. Let y = q + 21. Solve -4*u + 6 = -y for u.
4
Suppose -5*p - 12 = -2*p, 3*p = 4*r - 8. Let t(x) = -x + 1. Let m be t(r). Solve -2*w = m + 8 for w.
-5
Suppose 4*n = -6*n + 5*n. Solve n = q + 1 + 3 for q.
-4
Suppose 2*t - 2 = 5*o - 8, -4*t = o - 10. Solve 20 = -t*z - 3*z for z.
-4
Let d be -1 + -2*(-4 - -3). Let t be (0 - 0 - -1) + d. Solve t*c - 5*c + 3 = 0 for c.
1
Suppose -15 = -8*l + 3*l. Suppose 5*t - l = -r, 0*t - 5*r + 15 = t. Solve -h - 1 = -t for h.
-1
Let c(q) = q**3 - 10*q**2 + q + 10. Let o be c(10). Suppose 0 = -5*m + m + o. Solve m*d - 4 = 6 for d.
2
Let a(i) = -i**3 - 2*i**2 + 3*i + 3. Let l be a(-3). Solve 4*y + l = 7 for y.
1
Let q = 26 + -20. Suppose 3*l = -5*d - 46, 0 = -4*l + d - 31 - 15. Let a = -8 - l. Solve 0 = -2*t + q*t - a for t.
1
Suppose 17 - 13 = 2*p. Let j be p*((-2)/2 - -3). Solve -3*f = -j*f for f.
0
Let v(d) = 2*d - 12. Let m be v(8). Solve 0*f + 4*f - m = 0 for f.
1
Suppose -5*v = -2*g + 25, 5*v = 2*g + 3*v - 10. Solve g = 3*o + o for o.
0
Let d be (-7)/(28/(-8)) - 2 - -5. Solve 3*q + d = 4*q for q.
5
Let y(x) = -x**2 + 4*x + 4. Let t be y(4). Solve 4*m = 6*m - t for m.
2
Let n = -33 - -38. Solve n*t + 2 = 17 for t.
3
Let h(y) = y**3 + 12*y**2 + 12*y + 13. Let f be h(-11). Suppose 2*k - 5 = -u, -4*u - f*k = -u - 11. Solve -u*t = -t for t.
0
Let v(s) = -2*s**3 - 4*s**2 - s - 3. Let d be v(-3). Let i = -9 + d. Let b be (-6)/27 + 2/i. Solve -o = -b*o for o.
0
Let q = 7 + -5. Suppose 7 = 2*h - 15. Let y = h - 9. Solve y = q*k - 3*k for k.
-2
Suppose -h + 6 = 1. Suppose 8 + 2 = h*q. Solve -2 = 2*w + q for w.
-2
Suppose -4*s = 0, -21 = 2*d + 4*s - 5. Let o(i) = i + 11. Let m be o(d). Solve -m*h = -h for h.
0
Let p(l) = l**3 + 3*l**2 - 5*l - 2. Let g be p(-4). Let b(w) = 2*w. Let y be b(g). Suppose -4*d - 3*j = -9, 3*d - 18 - 20 = y*j. Solve d = -h + 1 for h.
-5
Let g = 9 - 4. Suppose 