
Let o(r) = 3 - 8 + 0 + r + 3. Let k be o(5). Solve k*v = v + 2 for v.
1
Let x = -27 + 30. Suppose 0 = 5*j - x*c - 4, 4*c = j + j + 4. Solve -3*t + 5 = j*t for t.
1
Let k be 28/(-7) - -5*1. Solve -k - 3 = -j for j.
4
Let l be (0/3)/(4/(-1)). Solve 0 = z - 4 - l for z.
4
Let d(z) = z**3 + 8*z**2 + 4*z - 17. Let l be d(-7). Solve -l + 12 = -4*f for f.
-2
Suppose i - 76 = -3*z - 13, -3*i - 9 = 0. Suppose 0 = -2*j + 4*j - z. Let s = -6 + j. Solve -s*x + 2 = 12 for x.
-2
Suppose 2*r - 6*r = -16. Suppose r*i = 2*i + 32. Solve -i = 3*u + u for u.
-4
Suppose b - 5*y - 22 = 0, 2*b + 2*b - 4*y = 24. Let v be (-1 - -2)*1*b. Solve v*h = h - 3 for h.
-3
Suppose -71 + 11 = -5*o. Suppose -5*s = 3*x - o, x + 4*s - 1 = -4. Let w(t) = -t**2 + 9*t + 3. Let g be w(x). Solve -v + g = -2*v for v.
-3
Suppose 7 = 2*g + 3. Solve -g*r = -0*r for r.
0
Suppose 4*y - 5*h = 148, -5*y + 206 = -3*h + 2*h. Suppose -5*z = -s - y, 0 = -3*z + 3*s + 10 + 20. Solve z - 28 = 4*a for a.
-5
Suppose f = 3*f. Solve -4*u + 16 = -f*u for u.
4
Let g be 6/(-21) + (-19)/7. Let f be ((-3)/g + -1)*1. Solve f = -l + 2*l + 3 for l.
-3
Suppose -7*p + 3*p + 64 = 0. Suppose -4*w - 3*o = o + 20, 15 = -3*w + 4*o. Let d(l) = -l**3 - 5*l**2 - l - 5. Let f be d(w). Solve 3*u + p - 1 = f for u.
-5
Let a(r) = -r + 4. Let z be a(2). Suppose -5*x + z*x + 33 = 0. Solve 5*h + x = -4 for h.
-3
Let r = 105 + -60. Suppose -z - r = -4*j, 3*j = -j + 5*z + 33. Solve -3*h + j = -0 for h.
4
Suppose -p + 5*w + 20 = 0, 3*p + 2*p + w - 22 = 0. Solve -p*q + q = -4 for q.
1
Let z be (-9 - -9) + 3*5. Let f = -25 + 31. Solve f*x - z = x for x.
3
Let a(g) = 6*g**2 + 5*g + 2. Let s be a(-1). Solve 8*h = 9*h + s for h.
-3
Let z(p) = p - 4. Let i be z(4). Suppose -4 = 2*m + 2, -4*t = -3*m - 25. Solve i = t*u - 3*u - 4 for u.
4
Let g(s) = s - 4. Let c be g(6). Solve -12 = c*i + i for i.
-4
Let a(w) = -w**3 + 4*w**2 + 1. Let m be ((-2)/3)/((-6)/27). Let x be a(m). Solve -j + x = j for j.
5
Let b be (-6)/(-10)*5/1. Suppose -4*w = 3*t - 14, 4*t - 19 = -8*w + b*w. Suppose t*n - 8 = 4*n. Solve -n*v = -0*v for v.
0
Let b(j) be the first derivative of 5*j**3/3 + 5*j**2/2 + 5*j - 6. Let h be b(-2). Solve -3*m = 2*m + h for m.
-3
Let s = 4 + -3. Solve c - 5 + s = 0 for c.
4
Let y = 3 + -1. Let d(h) = h**2 + h - 5. Let z be d(-3). Solve -z = -3*c + y for c.
1
Let s(a) = -a**2 + 9*a - 10. Let b = -27 - -41. Suppose -z = z - b. Let x be s(z). Solve 0*n = n + x for n.
-4
Let r = 27 - 12. Solve -r = -4*u + u for u.
5
Let y be (-2 + 4 - -2) + 0. Suppose 0 = -y*a - 5*t + 20, -a + t = a + 4. Let g = -3 + 5. Solve i + g*i + 3 = a for i.
-1
Let v = 28 - 50. Let b = v + 25. Solve -2*n = b*n for n.
0
Let y(d) = -d**3 + 10*d**2 + 14*d - 8. Let x be y(11). Solve 5*w + 0*w = -x for w.
-5
Let z = 6 - 0. Suppose z*p = -5*l + 4*p + 19, -2*l = 4*p - 14. Solve 1 = -o + l for o.
2
Let d be 0 + 3 + -1 - -3. Solve d*o + 32 = 7 for o.
-5
Suppose -2*b + 34 + 16 = 0. Let j be 12/28 - (-243)/21. Suppose 5*x - j = 13. Solve -x*r = 10 - b for r.
3
Let v = 7 + -4. Solve -u = -1 + v for u.
-2
Let r = 27 - 24. Solve -j + r = 5 for j.
-2
Let s = 15 - 5. Let t = s - 0. Suppose -3*p + p + 2*l = -t, -4*p = 3*l - 20. Solve -2*o + p + 1 = 0 for o.
3
Let x = 99 - 94. Solve 1 = 2*n + x for n.
-2
Let x be (3 - -10) + (3 - 6). Suppose -5*o + u = -20, 2*o = 5*u - 2 + 10. Solve 2 - x = -o*f for f.
2
Let y(s) = 2*s**3 + 6*s - 11*s**2 - 2*s**3 + 4*s**2 + s**3. Let l be y(6). Solve l = -2*b - 12 + 4 for b.
-4
Let c(t) = t**3 - 8*t**2 - 14*t + 48. Let q be c(9). Solve -q*r = -r - 8 for r.
4
Let k be -1 + 1/((-2)/(-12)). Let d be 4/3*(-2 - 14/(-4)). Solve -d*t + 13 = k for t.
4
Suppose 0 = 3*u - 7*u + 12. Suppose m + 4*r = 2*m, -3*r + 15 = u*m. Solve -m*k + 16 = -4 for k.
5
Let p(h) = 4*h**2 + 0*h**3 + 1 - h**3 + 4 - h. Let f be p(4). Suppose -v = -3, 4*s = -5*v - 0*v + 27. Solve s - f = m for m.
2
Let g = -14 + 24. Let p be (-7)/((1 + -3)/g). Suppose 2*f = -3*f + p. Solve 2*k = -3 - f for k.
-5
Let l(t) = -3*t**2 + 22*t - 7. Let x be l(7). Solve -5*z + 0 - 20 = x for z.
-4
Suppose 3*d + d - 36 = 0. Let s = -6 + d. Suppose 16 = -4*x, -5*q + 3 = -0*x + s*x. Solve a - 16 = -q*a for a.
4
Let l = -12 - -27. Suppose 0 = 3*p + 2*p - l. Solve -p*b = b for b.
0
Let i(m) be the first derivative of m**4/4 - 2*m**3/3 - m**2 + m - 1. Let v be i(3). Solve -3*h = -v*h - 4 for h.
-4
Let y be 12/48 + (-2)/8. Solve y = 5*x - 4*x - 4 for x.
4
Suppose p + p - 4 = 0. Let o be -1 - (2 - p) - -7. Solve o*d = d for d.
0
Let n be (-2 + 1)*((-3 - -6) + -10). Solve 3*u = n*u for u.
0
Let v(h) = -h**2 + 16*h - 2. Let p(c) = c**2 - 17*c + 3. Let j(g) = 6*p(g) + 7*v(g). Let m be j(10). Solve -8 = -4*b + m for b.
3
Let m be (9 + -12)*(2 - (-16)/(-6)). Solve -m*r - 3 = -1 for r.
-1
Let r(f) = f - 3. Let j be r(11). Solve d = -d + j for d.
4
Let c = -55 + 28. Let g be 18/c + (-4)/(-6). Solve 4*j + g*j = 0 for j.
0
Suppose 3*a + 2 = p, 3*p = 2*a - 3 - 5. Suppose 0 = -5*k + 35 - 5. Let l be (k - (-1 + -2)) + a. Solve 2*r - 15 = l*r for r.
-3
Let x be ((-6)/2)/((-13)/13). Solve 0 = 2*p + x*p for p.
0
Let o = -5 - -5. Suppose o = 2*k - 3*k. Solve k + 9 = -3*u for u.
-3
Suppose -3*q + s + 39 = 0, 0*q = -3*q + 3*s + 45. Suppose 0 = 2*h - q + 2. Solve 0*r + 20 = h*r for r.
4
Let d be -6*(-7)/(-14) - 6/(-2). Solve -3*s + d*s = 9 for s.
-3
Let o = 16 - 14. Suppose -2*t = t - 12. Suppose t*s - s = 0. Solve s = -2*f - o*f + 12 for f.
3
Let v(j) = 5*j**2 - j - 4. Let w be v(-3). Suppose 4*l - w = -4*c, 5*l - 39 = -4*c - 0*l. Solve 0 = 2*i + 2*i + c for i.
-4
Suppose 2*q - 10 = -0*q. Suppose q*y - 8 = y. Solve -y*j - 4 = -0*j for j.
-2
Suppose -u + 3 = 1. Suppose 16 = 4*q - u*i, -3*q - 3*i - 4 = q. Suppose q*m - 5*p = 10 + 10, 2*m + 5*p = 40. Solve -6*s + m = -s for s.
3
Suppose -2*u + 21 = 3*y, -4*u + 2 = -3*y + 5. Let z = 0 + y. Suppose 0 = -i + z. Solve d - i = -0*d for d.
5
Suppose -9*a + 21 + 6 = 0. Solve -4*u + u = a for u.
-1
Let h(c) = 3*c + 5. Let o be h(-4). Let v = o + 10. Solve -v*k + 1 = 13 for k.
-4
Let b(s) = 7*s - 10. Let p(q) = -q + 1. Let d(r) = b(r) + 6*p(r). Let y be d(5). Solve -y = 5*h + 14 for h.
-3
Let p(j) = -j**2 + 5*j + 5. Let o be p(6). Let a(i) = -2*i. Let b be a(o). Solve 3 = -r + b*r for r.
3
Let v(d) = -d**3 + 4*d**2 + 7*d - 5. Let b be v(5). Solve 0 = b*w - 2*w for w.
0
Let y = -14 + 18. Suppose 2*r = -y*h + 32, r + 0*h = 4*h + 28. Solve -5*q + q = r for q.
-5
Suppose b + 8 = 2*g, 3*b - 7*b - 4*g + 28 = 0. Suppose l + 3 = -b. Let m = l + 7. Solve 1 + m = z for z.
3
Suppose 24 = 3*h - h. Let o = h - 12. Solve 3*c = -o*c for c.
0
Let d = -3 + 3. Let y(m) = m + 6. Let i be y(-5). Let s be 1 + 7 + (-2)/i. Solve d = -3*j + s*j for j.
0
Let c = 1 - 1. Suppose c - 4 = -2*n. Solve -n - 8 = 5*w for w.
-2
Suppose 0 = -4*r + r - 12. Let h be ((-95)/(-10))/((-2)/r). Solve 0 = -5*o + h - 4 for o.
3
Let y be 0/(12/8*(-8)/6). Solve 4 + y = 2*w for w.
2
Suppose 0*x - 39 = 3*x. Let d be x/(-3) + 4/6. Suppose 3*m - 19 = 26. Solve m - 40 = d*q for q.
-5
Let c = 8 - 8. Suppose -5*n + 3 + 2 = c. Solve -n = -4*r + 3 for r.
1
Let l(q) = 2*q**2 - 5*q + 2. Let y be l(3). Suppose -s = 0, 0 = 3*z + y*s - 1 - 2. Solve -f = z - 4 for f.
3
Let w = -20 + 20. Solve -y - 2 + 3 = w for y.
1
Let p(b) = -6*b**3 - 6*b**2 + 2*b + 2. Let c be p(-2). Suppose 1 = -2*f + 3*r - 4*r, 4*r = -4*f - 12. Solve -5*x = -f + c for x.
-4
Let h = 5 - 8. Let s be (2/4)/(h/(-6)). Suppose 0 = -0*b - 5*b. Solve w - s - 3 = b for w.
4
Let p = -9 - -25. Suppose -c + p = c. Solve -18 + c = 5*v for v.
-2
Let z be 3*(-237)/(-9) + 1. Suppose 0 = 5*a + 10 - z. Let m be (-6 - 0)*(-7)/a. Solve 4*d - 1 = m for d.
1
Let w = 19 - 16. Let l be 0*(9/(-6))/w. Let m(d) = d**3 - 3*d**2 - 4*d + 6. Let t be m(4). Solve l*h + t = 2*h for h.
3
Let o(q) = q**2 + 6*q. Let s be o(-7). Let t be (1 - s/(-5))*5. Suppose 3*z = 7*z - 4*u, 3*u = -3*z + 18. Solve z*f + t = -0*f for f.
-4
Suppose -2*d + 0 = b - 3, -5*d + 3*b = -35. Let a be (3/(-2))/(d/(-24)). Suppose -3*i + a = 4*n, -2*n = -2*i + 4*i - 4. Solve -q + 8 = n*q for q.
2
Suppose 4*y + 0 = -4. Let m(h) be the second derivative of -h**5/4 + h**4/12 + h**3/6 - 13*h. Let i be m(y). Solve -i*s - 7 = 18 for s.
-5
Suppose -2*y - 5*p = 3*y - 50, -14 = -5*y + 4*p. Solve 10*b - y*b = -8 for b.
-2
Let j be (-9)/3 - (-11)/1. So