
3
Suppose 5 - 1 = -4*s. Let j(l) = -2*l**3. Let c be j(s). Solve -c*f - f = 0 for f.
0
Suppose 0 = 5*u - 4*f + 1, 0 = -u + 3*u - 4*f + 10. Suppose 15 = u*y, h = -3*h + y + 3. Solve -h*n + 0 + 2 = 0 for n.
1
Suppose 0 = -4*g - 5*m + 20, 8*g = 3*g + 3*m + 25. Solve -2*z = g - 11 for z.
3
Let j(c) = c**2 - 2*c + 1. Let b be j(4). Let a = -5 + b. Solve 3*l = 7*l + a for l.
-1
Suppose 0 = -k + 4 - 1. Let r be (-3 + 14/4)*2. Solve w + k = -r for w.
-4
Suppose 7*r = 2*r. Let d be (12/(-8)*-2)/(1 - 0). Solve r = -d*z - 10 + 22 for z.
4
Let c be 15/(-12)*(-4)/1. Suppose -5*f + 6 = -3*a - 29, -c = a. Solve -f = -0*h + h for h.
-4
Let l(d) = d - 6. Let o be l(6). Solve o = -4*y - 6 + 2 for y.
-1
Suppose 0 = -5*r, 0 = -4*h - 3*r - 1 + 37. Solve 0 = -3*c - h for c.
-3
Let q be (-3)/(-9)*(0 + 3). Solve 0 = -5*i + q + 9 for i.
2
Suppose -4*q = -4*o + 4, -4*q + 1 = o + 5. Suppose -2*x - 3 = d - 6*x, o = -3*d - 5*x + 25. Solve -d*r = -0*r + 25 for r.
-5
Suppose -3*d - 3*h = -15, -4*d = d - 5*h - 25. Suppose 0 = -x + d. Let s be (-8)/3*(-6)/4. Solve s*g = x*g - 5 for g.
5
Let h = 4 + -1. Suppose -4*c + 0*c - 3*m = -24, -6 = -c + 4*m. Solve c*o + 6 = h*o for o.
-2
Suppose 4*c = 26 - 22. Solve 5*b - c = 19 for b.
4
Suppose -w + 5 = 3*b, -5*b + 3*b = -2*w + 18. Let l(z) = z**2 + 5*z - 3. Let p be l(-5). Let g = 6 + p. Solve 0 = g*j - 7*j + w for j.
2
Suppose 0 = -5*k + 14 + 1. Solve -2*b - 1 = -k for b.
1
Suppose 10*u - 90 = -8*u. Solve -5*f + 15 + u = 0 for f.
4
Suppose -13 = -n - 2*s, -3*n + 0*s - 2*s + 19 = 0. Suppose 2*d = -2*j, -d + n*d = 2*j - 4. Solve -11 - j = -4*p for p.
3
Let a be (-4)/6 + 20/3. Suppose 0*i + 5*i = 0. Let y = 2 - i. Solve -2*h = y - a for h.
2
Let p(r) be the second derivative of -r**4/12 + 2*r**3/3 - r**2 - 3*r. Let x be p(2). Solve -x = -4*a - 22 for a.
-5
Let y be 9*(1 + 12/(-18)). Solve -2*n - 13 = -y for n.
-5
Let x(c) = c**2 - 10*c - 16. Let g be x(12). Solve t + g = 4 for t.
-4
Suppose -k + 0*k = 0. Let l(r) = r**3 + 3*r**2 - 6*r - 6. Let m be l(5). Let h be (-1)/(-7) - m/(-28). Solve k = -h*n + n + 15 for n.
3
Suppose -3*l = -13 + 7. Solve -2*c - l*c = -20 for c.
5
Let x = 41 + -27. Suppose 3*u - 5*t = -u + 18, 3*u = 3*t + 12. Let d = u + -2. Solve 3*o - x - 1 = d for o.
5
Let c be ((-6)/2)/(-5 - -6). Let f = 14 + -7. Let j = c + f. Solve j*v = -0*v for v.
0
Suppose c + 32 = 2*z + 6, 0 = -z - 5*c + 2. Let l = 19 - z. Let f = -2 + l. Solve -f = w - 3 for w.
-2
Suppose -5*s - 11 = -5*j + 14, s = 3*j - 19. Suppose 0 = h - 18 + 12. Let b be 26/h - (-24)/(-18). Solve b*z - j*z = -8 for z.
2
Suppose 3*u = -2*w + 18, w - u = 3*w - 18. Let q = w - 9. Solve m = -q*m for m.
0
Suppose 2*k + 7 - 39 = 0. Suppose 8 = 2*a + 3*x, -4*a + x + k = -0*x. Suppose -a*r = -0*r. Solve 2*l - 3*l = r for l.
0
Suppose 0 = -7*a + 2*a - 2*h + 20, -5*a + 15 = h. Solve -s = a + 2 for s.
-4
Suppose 0 = -2*s + 11 - 7. Solve -s = -3*z + 13 for z.
5
Let n be 0/(-1 + 1 - 2). Let t = 2 - n. Solve t*b = -b + 15 for b.
5
Suppose -3*b + 7*b - 20 = 0. Suppose -5*l + 43 = 2*a, -l - 2*l + 1 = -b*a. Solve 3*g - l*g = 0 for g.
0
Let h be (4 + -4)/(2*1). Let y be (0 + h)/(-2) - -3. Let n = 37 - 33. Solve y*f - n = -1 for f.
1
Suppose 6 + 6 = 2*j. Let x = -6 + j. Solve x*r = -4*r for r.
0
Let x(t) = -5*t + 9. Let j(l) = -2*l + 5. Let g(q) = -7*j(q) + 3*x(q). Let u be g(-8). Solve 0*a + 3*a - 6 = u for a.
2
Let m(w) = -w**3 + 3*w**2 + 2*w + 10. Let l be m(4). Solve -u = u - l for u.
1
Let l(n) = -n**3 + 7*n**2 - 5*n - 3. Let b(r) = 3*r - 9. Let t be b(5). Let c be l(t). Solve -c*q = q - 12 for q.
3
Suppose 2*j - 2*o = 120, -o + 6*o = 2*j - 135. Suppose 0 = -4*n - 3*b + 44, 9*n - 4*n = 2*b + j. Solve 1 - n = 2*c for c.
-5
Let z(r) = -2*r - 40. Let o be z(-21). Solve n + 3 = o for n.
-1
Suppose 5*o = -0*o. Suppose -4*u + 16 = -o. Suppose 14 = 3*k - u*v, -4*k + 0*v + 14 = -3*v. Solve -k = 2*q + 2 for q.
-2
Suppose -2*n + 5 = -4*a - 3, 5*a + 16 = 4*n. Suppose -3*c = -2*j - 9, 0 = -2*c + n*j + 6 - 0. Solve 1 = h - c for h.
4
Let i = 5 + 3. Solve 0 = t - 3*t - i for t.
-4
Suppose -10*m = -27 - 3. Solve -m*d = -7*d - 16 for d.
-4
Suppose -42*z = -37*z. Solve q = -3 - z for q.
-3
Let h = 1 - 2. Let y(t) be the second derivative of t**4/4 + t**3/3 + t**2/2 - 9*t. Let i be y(h). Solve -d = -i - 0 for d.
2
Suppose 4*y - 3*y - 7 = -b, -22 = -2*y - 4*b. Suppose 5*a - 16 = 2*u + 3, 14 = y*u + a. Suppose -3 - u = -3*l. Solve h - 15 = -l*h for h.
5
Suppose 0 = -m - 1 + 3. Let x(v) = 2*v**2 - 2 + m. Let y be x(1). Solve 4 - 2 = -y*h for h.
-1
Suppose -5*z = -2*t, 10*t - 5 = 9*t. Solve -z*u = 2*u for u.
0
Let l(j) = -3*j - 2 + 0*j + 1. Let t = -10 - -7. Let g be l(t). Solve c + 3*c = g for c.
2
Suppose -16*h - 8 = -17*h. Solve -4*u + 12 = -h*u for u.
-3
Let u(c) = -2*c**2 - 2*c. Let d be u(-1). Suppose v + f + d*f - 4 = 0, 12 = 4*f. Solve -p + v - 3 = 0 for p.
-2
Let u(b) = b**3 - 6*b**2 + 4*b - 9. Let p = -7 - -13. Let i be u(p). Solve -h = 4*h + i for h.
-3
Let s(v) = 3*v - 13. Let r be s(9). Let j = r + -10. Let w be (0/(-4))/((-4)/(-2)). Solve p - j - 1 = w for p.
5
Let d = 5 + -3. Suppose 2*r - 215 = -41*r. Solve -d*h + h = r for h.
-5
Suppose 4*j + 2*f = 24, 4 = 3*j + 2*j - 4*f. Let y be 2/(-8) - (-42)/8. Suppose -4*d + 2*g + j = 3*g, -y*g - 20 = 0. Solve 0 = d*k - k + 3 for k.
-3
Suppose -2*b + 25 = 3*f - 21, f = 3*b - 3. Solve m - f = -13 for m.
-1
Let u be (0 + 2 + -4)/(-1). Suppose -3*a = -w + 3 - 8, -u*a + 20 = -4*w. Suppose a = 3*z - 2*z - 3. Solve -z*x - 2*x - 25 = 0 for x.
-5
Let d(p) = 4*p**2 + 4. Let v(u) = 4*u**2 + 5. Let n(j) = 4*d(j) - 3*v(j). Let r be n(1). Solve 0*c + 5*c + r = 0 for c.
-1
Suppose -u - w + 2 = 0, -2 = 2*u - 3*u + 3*w. Suppose -2*l + 4*z + 4 = 12, 4*l - u*z = -4. Let c = l - -3. Solve 2*y - c*y = 5 for y.
-5
Let k = 89 - 81. Solve -3*s + k = s for s.
2
Suppose -4*d - 21 = -j, -6 = 2*j + 2*d + 2. Solve -j = -w - 2 for w.
-1
Let j = 4 - 5. Let l(b) = -2*b**2 - 2*b - 1. Let x be l(j). Let r be -1 + x - (-2 + -1). Solve r = -2*y + 3 for y.
1
Suppose g + 19 = 4*t, g + 0*g + 2*t - 11 = 0. Solve -2 = x + g for x.
-3
Suppose z + 0 = -1. Let k = z + 5. Solve -s = -k*s for s.
0
Suppose -8 = -3*a - 2*n, 2*a - 4*a - 8 = -2*n. Solve a = 5*c - 0*c for c.
0
Let f be (-7 - -6)*1*5. Let s(z) = -z + 4. Let j be s(-3). Let i = f + j. Solve d = i*d for d.
0
Let d be 0*2/(-4)*1. Suppose -5*h + 10*h - 40 = d. Let b(o) = -o**2 + 9*o - 5. Let n be b(h). Solve 3*t + n = -3 for t.
-2
Suppose 2*f = f - 5. Let i = 8 + f. Suppose -x = i*x - 12. Solve 0 = -x*k - 12 for k.
-4
Let g = -96 - -107. Solve 2 - g = -3*j for j.
3
Suppose -4*s = -3*u - 4, -4*u = 3*s - 1 - 2. Let y(f) = -f**2 - 5*f - 1. Let w be y(-2). Let r = w - 1. Solve -r*g - s = 15 for g.
-4
Let i(q) = 2*q - 20. Let c be i(10). Solve -y = -c*y - 2 for y.
2
Let b(y) = -y - 2. Let c be b(-8). Let z be 2*(-2 - c/(-2)). Solve -2*v = z*v + 16 for v.
-4
Let l(w) = -w**2 + 6*w - 4. Let r be l(4). Suppose -2*x = 2*m - 8, m + r*x - 4 = 3. Solve -m*f = -7*f + 12 for f.
3
Let u be (14/(-6))/(3/(-9)). Suppose 0 = 5*l + u - 27. Suppose 4*w = 4*d, -l*w + 0*d + 15 = d. Solve 9 = -w*m - 6 for m.
-5
Suppose 53 = 3*z + 5. Let p be 2/(-7) + (-354)/(-14). Suppose 4*f = a + p, -14 = -4*f + 3*a + 21. Solve f*c - c + z = 0 for c.
-4
Suppose -8*g + 4 = -4*g. Solve -5*f + g = 6 for f.
-1
Let u be 4/14 + (-346)/(-14). Solve 0*o = -5*o + u for o.
5
Let d = -21 - -7. Let b be d/2 - (1 + -2). Let k = b + 10. Solve 25 = k*g + 9 for g.
4
Suppose -2 = -f + 1. Solve 5*m + 2 = f*m for m.
-1
Suppose 0*w - 3*w + 144 = 0. Let z = w - 32. Solve 4*g = 4 + z for g.
5
Suppose -5*o = -10*o + 100. Let y be 5/2*16/o. Solve i + 2 = y*i for i.
2
Let t(f) = -f**3 - 5*f**2 - 2*f - 7. Let m be t(-5). Solve 0 = m*r - 10 - 5 for r.
5
Suppose -2*k = 2*k - 20. Solve 2 = -k*c + 12 for c.
2
Let w = -15 + 26. Suppose 2*i = -3*n - 2*n + 62, 0 = n + 3*i - 2. Suppose 4*c - 6 = n. Solve -w = -c*j + 9 for j.
4
Let m(y) = y + 3. Let x be m(-3). Solve x = 4*h - 6 - 10 for h.
4
Let k = 12 + -4. Let s = 11 - k. Solve -s*x - 2 = -5*x for x.
1
Suppose -2*x = -3*x. Solve 2*v - 6 = -x*v for v.
3
Suppose 5*a + 5*p - 75 = 0, 2*p - 60 = -3*a - 2*a. Let c(j) = j**2 - 11*j + 12. Let b be c(a). Solve 4 = -b*g + 14 for g.
5
Let j = -53 + 55. Suppose 4 = -3*s + 2*z, -z + 4 = -5*s + z. Solve s = 