 -15. Suppose -12 = 4*f - 3*i - 39, 5*i = -25. Let s = 1 + 1. Solve -s*t - f = -r for t.
1
Suppose 4*c + a = 18, -4*c + 0*c + 3*a = -26. Suppose -5*x - 4*t - 63 = -0*t, 57 = -3*x + 4*t. Let v = 21 + x. Solve -3*r = -c*r - v for r.
-3
Let x(o) = o**2 - 7*o + 12. Let g be x(5). Suppose 1 = g*s - s. Solve -3*y = -7 + s for y.
2
Let d = 15 - 15. Let m = -22 + 25. Solve 3*z = -d*z + m for z.
1
Let d = -3 + 6. Solve -13 + d = 5*l for l.
-2
Let t = 9 - 7. Let s be t + -1 + -1 - -2. Solve -s*u + 2 = -2 for u.
2
Let v be (132/6)/(1*2). Suppose -2*b + 15 + 6 = -3*m, 2*b - 28 = 4*m. Let f = v + m. Solve -f*s + 2 = -2 for s.
1
Suppose x + 2*x - 2*d = 12, -5*x + 20 = -5*d. Solve -q = x*q - 25 for q.
5
Suppose -19*c + 16*c + 15 = 0. Solve -c = -6*o + o for o.
1
Let s(t) = -t**2 - 2*t + 2. Let o be s(-2). Solve h = -h - o for h.
-1
Suppose 2*o + o - 9 = 0. Let v(n) = -n + 4. Suppose 5*z = 5 + 5. Let x be v(z). Solve -o*r - x = -r for r.
-1
Let h(b) = b + 5. Let z be h(-3). Suppose 2*t - 108 = -t. Suppose z*g - 6*g = -t. Solve 0*x + g = 3*x for x.
3
Let x = -88 - -98. Solve -5*f = -0 - x for f.
2
Let j be (-138)/(-24) - (-2)/8. Solve -3*z = j - 0 for z.
-2
Let q = 74 - 62. Solve -3*c + 0 = -q for c.
4
Let j = -3 + 4. Suppose 0*u - u = -j. Solve -w = 2 - u for w.
-1
Let b be (-44)/(-6) + 1/(-3). Let d = b + -4. Let i = 5 - 5. Solve i = f - d*f for f.
0
Suppose 39 = 4*h - d + 7, -3*h + 3*d = -33. Solve 0 = -2*y + h + 1 for y.
4
Suppose 3*r - 4 = r. Solve -y = -r*y for y.
0
Suppose 2*d + 88 = 5*c, c - 18 = 4*d - 4. Let m = 25 - 14. Let z = c - m. Solve 27 - z = -5*b for b.
-4
Suppose r = 3*d - 39, 3*d = 2*d - 3*r + 3. Suppose 0 = -3*b - 0*b + d. Suppose -c - 2*o - 2 = 0, -c = b*o - 0 + 4. Solve c = -3*t + 4*t + 3 for t.
-3
Let m be ((-16)/28)/(-3*1/21). Let l = 5 - 3. Suppose -o - p = -6*o + l, -o - 4*p = 8. Solve o = -0*a - m*a - 20 for a.
-5
Let m(f) = 2*f**2 - f. Let h be m(-1). Solve -3*t - h = -2*t for t.
-3
Let n(p) = p - 6. Let x be n(7). Suppose -x = -g + 4. Suppose 2*d - 8 = -4*s, 0 = -g*d + s + s + 20. Solve d = -5*v - 1 for v.
-1
Suppose g + 1 = 3. Let q(y) = -g + 4*y - y + 4. Let k be q(3). Solve 2*s = -k + 3 for s.
-4
Let y = 16 - 13. Solve -y = 3*g - 2*g for g.
-3
Suppose d = -5*h + 29, h = d - 0*h - 11. Let m = 15 - d. Solve -5 - m = -3*v for v.
2
Let j be (-190)/(-35) - (-4)/7. Solve 0 = -v - 2*v + j for v.
2
Suppose 2*y + 0*y = 72. Suppose -6*r + y = -2*r. Let s(k) = -3*k + 1. Let x be s(-1). Solve 0 = x*z - z - r for z.
3
Suppose 1 = -3*f + 4. Suppose g = -k + 4 - f, 5*k = 2*g - 13. Let h = k + 5. Solve 1 + 3 = h*l for l.
1
Let w = -41 - -54. Let g(i) = -i**2 - 7*i - 2. Let q = -19 - -13. Let v be g(q). Solve w - 5 = -v*l for l.
-2
Suppose y = -5*g + 33 - 3, 3*g = -y + 20. Let z = g + -1. Solve -5 = 3*a + z for a.
-3
Let w(z) = z**2 - 6*z + 8. Let u be w(8). Suppose -6*r + u = -2*r. Solve 3*l = -18 + r for l.
-4
Suppose 3*l = l + 3*a + 19, -5*l = 2*a - 19. Suppose -3*y = l*x - 6 + 2, -4*x + 6 = y. Let s be 3/6*y*-4. Solve -o - s*o = -5 for o.
1
Suppose y = 2*y - 3. Suppose -6*g + 15 = -y*g. Solve -14 = g*j - 39 for j.
5
Let r = -4 - -6. Let i = 0 + r. Solve 0*j = i*j + 4 for j.
-2
Let w(o) = o**3 + 2*o**2 - 7 + 7*o**2 - 1 + 9*o - 2*o. Let p be w(-8). Solve p*n = 4*n for n.
0
Let l(y) = y + 6. Let j be l(-3). Let w be j/(-3)*-3*1. Solve c = -2*c + w for c.
1
Let f = 25 + -13. Suppose -2*h + 2 = -6. Solve -h*y - 4 = f for y.
-4
Let q be (-2 - (-2 + -7))*(-33)/(-77). Solve q*z = 6*z + 9 for z.
-3
Suppose 0 = -2*v + q - 52, 2*q + 108 = -4*v + 5*q. Let f be (v/10)/((-6)/15). Solve -f + 2 = k for k.
-4
Let b = -32 - -37. Solve 0*w + 15 = b*w for w.
3
Suppose p + 8 = k, k + 4*p + 14 = 2*k. Let v(r) = r**2 + 6*r + 3. Let f be v(-5). Let m = k + f. Solve -w + m = -2*w for w.
-4
Let p = 23 - 19. Solve 4*m + 16 = -p for m.
-5
Suppose 4*p = 5*i - 34, -3*i = -3*p + 2*p - 19. Suppose -4*h = -2*h - i. Solve 0 = m - h - 1 for m.
4
Suppose -a - 6*a + 42 = 0. Solve 0 = -2*x - 4 + a for x.
1
Suppose -5*p - 5 + 0 = 0. Let j be -3 - -7 - (p - 0). Suppose -2*g = -4*i + 3 - 1, 3*g = -4*i + 7. Solve 3*q + i = -j for q.
-2
Suppose 4*r = -r + 20. Suppose -6*k + k = -10. Suppose -k*j - r + 8 = 0. Solve 0*i = j*i for i.
0
Let p be (-2 - -2) + (-1 - 0). Let t(q) = 5*q**2 - 1. Let v be t(p). Solve -v*b - 11 - 1 = 0 for b.
-3
Let u(l) = l**3 + l**2 - l - 1. Let p(a) = -3*a**3 - 9*a**2 + 8. Let y(f) = p(f) + 4*u(f). Let h be y(6). Solve 2*v + h - 6 = 0 for v.
-5
Suppose -6*u = -5*u - 5. Solve u*h - 4*h = -5 for h.
-5
Suppose -4*p - 20 = -2*r - 52, -3*r = 6. Suppose -p = c - 15. Let l be c/(-12)*(-2 - 1). Solve 2*g - l = 6 for g.
4
Let d(a) = -2*a**2 + 30*a + 7. Let x be d(15). Solve x = 4*i - 13 for i.
5
Let p = 13 + -7. Solve p*v - 15 = v for v.
3
Let n be 0/(-4 - -2)*1. Suppose 0 = -2*t - n*t + 6. Solve 15 - t = -4*o for o.
-3
Let k be ((15/(-2))/(-1))/((-2)/(-4)). Solve 0 = l - 6*l - k for l.
-3
Suppose -3*i = -3*j + 12, 3*j = 9*i - 7*i + 10. Let p(s) = 2*s**2 + 3*s + 1. Let u be p(-2). Solve u*y + j = 8 for y.
2
Suppose 5*o + 11 = -3*l, -l + 12 + 7 = -4*o. Solve -y = l*y + 20 for y.
-5
Let r(t) be the second derivative of 5*t**4/12 + t**2/2 + 4*t. Let k be r(-1). Suppose -3*q + k + 3 = 0. Solve 0*j = 3*j + q for j.
-1
Let w be -4*6*(-1)/2. Suppose -s = 3*d - 0*d - 18, -3*d + w = 3*s. Solve 3*h = d*h - 4 for h.
1
Let d(u) = -2*u - 7. Let n be d(-5). Suppose -6 = -n*j + 3. Suppose -3*g + 7 + 5 = 0. Solve 0 = -g*z + j + 1 for z.
1
Let x(u) = -u + 5. Let z be 1*((-2)/1 + 2). Let w be x(z). Solve -16 = -g + w*g for g.
-4
Let i(t) = -10 + 1 - 1 - t. Let b be i(-12). Solve b*a + 12 = -2*a for a.
-3
Let m(h) = h**3 - 4*h**2 + 3*h + 4. Let i be m(3). Suppose -i*v = -53 + 5. Solve 0*n + 3*n - v = 0 for n.
4
Let i be (9/18)/(2/56). Suppose 2 = -3*l + i. Solve 0 = -l*c + c for c.
0
Let d = -8 - -4. Let b = -15 - d. Let k be b/(-2) + (-4)/(-8). Solve g = -g + k for g.
3
Let u(n) = n + 24. Let z be u(-13). Suppose -3*c + 13 = -z. Solve 3*y + c = -4 for y.
-4
Suppose -5 - 10 = -5*k. Suppose k*w - 48 - 3 = 0. Suppose -4*b - 2*f = -10, -3*b + 2*f = 2*b - 26. Solve -b*n = 5 - w for n.
3
Let p be ((-5)/4)/((-2)/8). Suppose 0 = y + y - 8. Suppose 2*o - 5*m = -3*m + 14, 31 = y*o - 5*m. Solve p*v + 4 = o*v for v.
-4
Let m be 724/10 - (-6)/(-15). Let r = 106 - m. Let q = -24 + r. Solve -2 - q = -4*v for v.
3
Suppose -3*s = s. Suppose s*m + 5*k + 20 = 5*m, m + 5*k = 34. Suppose -4*p + 47 = -m. Solve 11 = -5*y - p for y.
-5
Let x(q) = q + 8. Let u be x(-4). Solve -u*p = -0*p - 8 for p.
2
Let r = 24 + -23. Solve 16 - r = -5*i for i.
-3
Let y(p) = p**2 + 4*p + 8. Let k(f) = -f**2 - 4*f - 9. Let i(b) = -5*k(b) - 6*y(b). Let x be i(-3). Let l = 4 + -1. Solve -l*t - 16 + 7 = x for t.
-3
Suppose -k + 3 - 5 = n, -4*k = -3*n + 15. Let u = -1 + n. Solve 0 = -u*d - 5*d + 15 for d.
3
Let f = -33 + 58. Let l = f - 14. Solve -5*z - 14 = l for z.
-5
Let m(w) = w + 3. Let y be m(0). Suppose -y*j + 5*j - 10 = 0. Suppose 4*a - o - 25 = 0, 4*a - 4*o + 1 = 29. Solve a*t - j*t = -4 for t.
-4
Suppose 4*g - 12 = -o, -12 = -4*g + 4*o + o. Let f = 1 + -1. Suppose -3*h + 5*h - 40 = f. Solve -h = -m - g*m for m.
5
Suppose -y = -3*y + 8. Suppose -j = y*j. Let k = 3 + -2. Solve -f + k + 0 = j for f.
1
Let s(n) = n**3 - n**2 - n + 14. Let u be s(0). Let p be 35/u*(-8)/(-5). Solve -k - p*k + 25 = 0 for k.
5
Let h(n) = -n**2 - 11*n - 7. Let o be h(-10). Let s be (3 - (o + 0))/2. Solve -2*p + s*p - 2 = 0 for p.
-1
Let f be (7 + -6)/((-1)/3). Let i = f - -7. Solve 0*g = -i*g - 4 for g.
-1
Let a = -30 - -40. Solve 8*z = 3*z - a for z.
-2
Let k = 9 + 6. Solve 0 = 3*u - k for u.
5
Let u(g) = 6*g + 20. Let s(i) = 2*i + 7. Let l(o) = 17*s(o) - 6*u(o). Let j be l(-2). Solve 8 = -j*r + r for r.
-4
Suppose -3*f = 2*f + 4*t - 26, 22 = 3*f + 4*t. Solve 0 = -3*c + c - f for c.
-1
Let m(a) = a**3 - 7*a**2 + a - 2. Let p = -9 + 16. Let n be m(p). Solve x + n = 6*x for x.
1
Let k = -40 + 43. Solve -2*g + k - 5 = 0 for g.
-1
Suppose 4*f = f. Let z = -1 - -3. Suppose -2*g - z*i = 0, -3*g + 1 = -i - 11. Solve f*n - 9 = -g*n for n.
3
Let i be (8/(-10))/(8/(-20)). Suppose -x + 12 = i*x. Solve -x*r = -r + 15 for r.
-5
Suppose 0 = o - 0*o - 5. Suppose 1 = -o*h + 6. Solve -11 = -5*a - h for a.
2
Let h = -8 - -19. Let s(u) = u**2 - 10*u - 8. Let 