 13 + d. Solve c*h + 5 = 2 for h.
-1
Let k(w) = w + 8. Let f be k(-6). Solve -1 - f = -3*x for x.
1
Suppose 12 = 5*q + 4*z, 4*q - 2 = -z + 1. Solve 3*c + q = -3 for c.
-1
Let t(l) = -l**3 + 2*l**2 - 2*l + 1. Let w be t(4). Let f = w - -71. Solve 5*y = -7 + f for y.
5
Let a = 3 + -4. Let r be 5 + 0 + (a - 1). Suppose r*y - 10 = 14. Solve 5*m - m + y = 0 for m.
-2
Let k be 5/(-5) - 3 - (0 - 10). Solve 2 = -k*d + 8*d for d.
1
Let f = -20 + 30. Let p = -27 + f. Let b be -1 + (-2 - p)/3. Solve -i = b*i + 15 for i.
-3
Let n = -109 - -109. Solve n*h = -h + 4 for h.
4
Let s be 1*4 - (-1 - -3). Suppose 0 = -s*a + 6 + 4. Let j = a + -5. Solve j*v - 4 = -2*v for v.
2
Suppose 1 = -c, 3*p - 2*c = c + 3. Solve p = a - 5*a - 12 for a.
-3
Suppose -4*z - 3*v - 2*v = 4, 0 = -z - 4*v - 12. Let l be ((-5)/4)/((-3)/12). Solve z*y + l - 13 = 0 for y.
2
Let x(g) = -4*g**3 - g**2 + 3*g + 4. Let r be x(-1). Solve -r*y = -2*y for y.
0
Let h be -18 + 18 - (-1 - -1). Solve -a - a + 4 = h for a.
2
Let r(s) = s**3 + 2*s**2 - 6*s. Let m(v) = -5*v**3 - 7*v**2 + 25*v. Let z(p) = -2*m(p) - 9*r(p). Let o be z(4). Solve -6*q = -2*q + o for q.
-4
Suppose -z + 2*z + x - 7 = 0, -z - 11 = -5*x. Let v = 7 - z. Suppose 2*w - v - 1 = -2*q, 0 = w. Solve 3*k = k - q for k.
-1
Let g(s) = 5*s. Let c be g(1). Let b(o) = o**2 + 4*o + 3. Let f be b(-4). Suppose 5 = i, f*a - 2*i + 10 = -0*i. Solve a = -2*q - c + 13 for q.
4
Let f = 25 - 12. Solve -12 - f = -5*m for m.
5
Let h(x) = -6*x + 50. Let c be h(8). Solve -5 + 13 = c*b for b.
4
Let p = 40 - 203. Let t be p/(-7) - (-4)/(-14). Suppose -4*f = -t + 3. Solve -f*j + 3 = 23 for j.
-4
Suppose 2*c - 4 = 0, -2*c + 0*c + 16 = 3*j. Solve -25 = j*u + u for u.
-5
Let z = -188 - -188. Solve z = -8*l + 4*l - 12 for l.
-3
Let q be -1*3 + 1 + -14. Let n = -14 - q. Solve -4*i + n = -3*i for i.
2
Let i(u) be the second derivative of u**5/20 + u**4/4 + 3*u**2/2 + 3*u. Let g be i(-3). Suppose -5*x + 4*l + 13 = -15, -g*x - 4*l = -4. Solve 5*w + x = w for w.
-1
Let o be (-10)/(-15) - (-19)/3. Solve 3 = 2*j - o for j.
5
Let x be 2 + 1 - (3 + -1). Solve -2 - x = -3*u for u.
1
Let p = 2 - 6. Let u(b) = 3*b**2 + 0*b**2 + 3*b - 2*b**2. Let z be u(p). Solve 0*a - z = a for a.
-4
Let f(x) = -x + 9. Let b be f(7). Solve 3*v = b*v + 5 for v.
5
Suppose -5*q - 36 - 14 = 0. Let c = 2 - q. Solve -3*n = n + c for n.
-3
Let n be (-18)/12 - (-46)/4. Solve -6*c + 4*c = n for c.
-5
Let r(i) = i**3 - 8*i**2 + 6*i + 8. Let x be r(7). Let m = x - 1. Let f be (-2)/(-8) + 94/8. Solve 0 = -m*y - 4*y + f for y.
3
Suppose 0 = 2*a + 2*a + 52. Let s be (-1)/(2 + 27/a). Solve 5*l - s = 12 for l.
5
Suppose 2*r - r = 2*t - 6, -15 = -5*t - 4*r. Suppose -2*y - 9 = -5*y. Suppose y*p = -1 + 4. Solve -p = -2*i - t for i.
-1
Suppose -5*t + 7 = -4*o, -2*t + 4 = -o - 0*t. Let p be 2 + -2 - (o - 5). Solve -p*d - 3 = -2*d for d.
-3
Let b be 2/(-8) + 26/8. Solve -b*r = -5*r + 4 for r.
2
Suppose 5*m + 3*u - 10 = 0, -m - 12 = 3*u - 2. Suppose m*p = 4*i - 11, 3 - 6 = -3*p. Solve 12 = -i*w + 4 for w.
-2
Suppose -5*o = 3*k - 30, k = -4*o + 13 + 4. Solve 15 = -k*r - 0*r for r.
-3
Let k(g) = g**3 - g + 2. Suppose 0 = 7*u - 3*u. Let m be k(u). Solve 0 = d - 0 - m for d.
2
Suppose 3*t - 12 = -0*t. Suppose 24 = 5*k - 16. Let c be (-8)/(-28) - (456/(-21) + 2). Solve c - k = -t*p for p.
-3
Suppose 0 = -4*v + 2*v + 2*y + 10, 5*v + 4*y = -2. Solve -25 = v*j - 7*j for j.
5
Suppose 0 = 2*r - f - 2, 0 = -0*r + r + 4*f - 1. Solve -y = -4 - r for y.
5
Let i(c) = -c**2 + 7*c + 5. Let g be 74/10 + 4/(-10). Let n be i(g). Suppose -2*a - 4*d + 16 = 0, -5*a - n*d + 25 = -0*d. Solve -a*w + 5 = -w for w.
5
Suppose c - 3*c - 2*f + 204 = 0, 0 = -c - 2*f + 104. Let g(k) = k**2 + 2*k - 3. Let x be g(2). Suppose -u + x*u = c. Solve 4*q + u = -q for q.
-5
Suppose 15 = p - 0*p. Let u = p - 14. Solve -3 - u = -c for c.
4
Let p = 6 - 4. Suppose -3 = -2*w - p*g - 7, 4*w + 2*g = -2. Let z = 11 - w. Solve z = -3*x + x for x.
-5
Let t = -6 + 5. Let v = t + 4. Solve 2 = v*z + 8 for z.
-2
Suppose -4*c = -3*n + 4*n - 13, -4*n - 12 = 0. Suppose 3*f = -v + 5*v + c, -5*f = -5*v - 10. Solve 2 = 2*u - v for u.
2
Let g(o) = -o**3 + 5*o**2 + 2. Let l be g(5). Suppose 3*i + l*y + 1 = 0, 5*i - 4*y = -13 + 48. Suppose -6*k = -2 - 4. Solve -v + i - k = 0 for v.
2
Let t(a) = -a**2 + 6*a + 1. Let k be t(5). Suppose -6 = -3*r + k. Solve -4*m - r + 0 = 0 for m.
-1
Let d be (-8 - -3 - -2) + -33. Let m = 51 + d. Solve -2*a = -7*a + m for a.
3
Suppose 2*f + 8 = -2*f. Let c be 6 + f + 1 + 2. Solve -2 = 5*w - c for w.
1
Let d be (-3)/(-15) - (-14)/5. Let p = -1 + 4. Suppose -4*g - p = -19. Solve l + d*l = g for l.
1
Let m(k) = k**3 - k**2 + 2. Let v be m(3). Solve 6*q = q - v for q.
-4
Suppose 0 = -0*g - 2*g + 6. Let l be 16/3 + g/(-9). Suppose -4*k + l = k. Solve -u - k - 3 = 0 for u.
-4
Let c(s) = -2*s + 4. Let u be c(0). Solve -2*p + u = 2 for p.
1
Let c(x) be the first derivative of -x**2/2 + 2. Let s be c(0). Suppose 0*h + 3*h = s. Solve h = u + 4*u for u.
0
Let k be 12/(-10) + 3/15. Let c be k/((-9)/4 + 2). Solve -7 - 9 = -c*l for l.
4
Suppose u + 3*m = 20 - 7, 0 = -3*m + 9. Suppose 2*l - 2 = -u*n - 56, 2*n = 3*l - 15. Let w be (n/(-8))/((-3)/(-10)). Solve -a + w*a - 12 = 0 for a.
3
Let z = -11 - -10. Let r(g) = 7*g. Let t be r(z). Let d be 6/14 + 3/t. Solve 5 + d = -5*k for k.
-1
Suppose 4*q - q - 45 = 0. Let m(b) = -b**3 + 14*b**2 + 14*b + 17. Let j be m(q). Solve -r = -j*r + 2 for r.
2
Let g = 11 + -15. Let s = 14 + g. Let x = 15 - s. Solve -3 = 2*i + x for i.
-4
Suppose 2 + 38 = 5*s. Solve -b - s = -5*b for b.
2
Let u be 3 - (-1 - -1) - 1. Solve -u*h - 1 - 1 = 0 for h.
-1
Suppose 4*y + 4 = s - 0*s, 3*y = 4*s - 29. Suppose -1 = -3*n + s. Solve -7 - 2 = -n*g for g.
3
Let c be -3 + 5 + -2 + -2 + 8. Solve v - 7 = -c for v.
1
Let g = 24 + -24. Solve -3*i - 2*i = g for i.
0
Let h(d) = d**3 - 7*d**2 + 2*d - 14. Let i be h(7). Let t = 32 - 22. Solve -4*q + 9*q - t = i for q.
2
Suppose 11 = 3*f + 4*a - 46, 4*f + 2*a - 76 = 0. Solve -3*t + f = 4 for t.
5
Let q(l) = -l**2 + 16*l - 7. Let o be q(11). Suppose -5*i + 4*g = -117, -2*i + 0*g + g + o = 0. Solve 0*b + 5*b - i = 0 for b.
5
Suppose -5*s = -53 + 3. Let d be (-2 - 1) + (9 - 2). Solve d*m + s = -6 for m.
-4
Let s be 4/(-10) + (-2)/(-5). Suppose -p = -3*p - 5*t + 26, p - 2*t + 5 = s. Solve 5*b = p*b - 10 for b.
-5
Let d = -60 - -60. Solve -3*l = -d*l for l.
0
Let i = -92 - -96. Solve -i*h + h + 9 = 0 for h.
3
Suppose 4*u - b = 40, -u - b + 0 = -10. Solve 0 = -0*s - 5*s - u for s.
-2
Suppose -2*p + 60 = p - d, d = 4*p - 80. Let g = p + -14. Suppose 2*z - g = 2. Solve 3*s - z = -16 for s.
-4
Suppose -4 + 20 = 4*h. Suppose 2*t = 4*j + 3*t - 13, -3*j = h*t - 26. Solve j*g - 5 = 3*g for g.
-5
Suppose 3 = 3*q + 27. Let t = q - -12. Suppose 5*r = -15, -b = -5*b + t*r + 32. Solve f - b = -0*f for f.
5
Suppose 6 - 56 = -5*v. Let j = v - -2. Solve 4 + j = 4*w for w.
4
Suppose -f = -6*f. Let m = 2 - f. Suppose m*w - 5*w = -42. Solve -2 = 4*k - w for k.
3
Suppose -1 = 2*p - 4*u - 17, -4*p - 4*u = 4. Solve p*y + 12 = 5*y for y.
4
Suppose 114 = 5*u - 4*b, 0 = -u - 5*b + 40 + 6. Let m = -20 + u. Solve 2 = -2*j + m for j.
2
Let o(t) = -2*t**2 + 24*t + 4. Let c be o(12). Solve -1 = -q - c for q.
-3
Let s = 79 + -79. Solve s = 3*c - c - 4 for c.
2
Let t = 5 + 28. Suppose 0 = v - 5, 0*k - 5*v = 2*k - t. Let o be ((-6)/k)/((-1)/2). Solve -o*x = x - 8 for x.
2
Suppose -u - 16 - 6 = 0. Let n = -15 - u. Let w be 30/9*2*3. Solve 0 = 2*p - n*p + w for p.
4
Suppose -3*g = -11 + 2. Let z be 2/7 + (-80)/(-14). Let y = 12 - z. Solve n = g*n - y for n.
3
Let b = 11 - 5. Let i(f) = -f + 8. Let s be i(b). Solve 0 = -x + s*x for x.
0
Let i = 24 - 14. Let f = 12 - i. Solve -2*q + f = -8 for q.
5
Let t(z) = z**3 - z**2 - z - 3. Let a be t(3). Suppose -a = -q - 2*q. Solve -f = 3*f - q for f.
1
Let m be (-6)/4*2/(-3). Solve 0 = -a - m for a.
-1
Let x be 5/30 - 41/(-6). Suppose 1 = -s + 6. Solve -x + 2 = s*t for t.
-1
Let i(u) = u**2 + 4*u - 5. Let o be i(-6). Let p = o - -1. Solve -p = 2*a + 2 for a.
-5
Let s be (7/(-3))/(1/(-3)). Let i(g) be the third derivative of -g**6/120 + 7*g**5/60 + g**4/24 - 2*g**3/3 + 5*g**2. Let b be i(s). Solve b*y + 12 = -y for y.
-3
Let x = -228 + 229. Suppose -y + 6 = -5*p + 4, -5*y + 10 = -2*p. Solve p = 2*f 