t y be c(0). Let g = 5 + 0. Solve -g*n + y = 5 for n.
4
Suppose 0 = -3*s - 8 - 4, -w + 4*s + 17 = 0. Solve -w - 3 = -r for r.
4
Let z(d) = -3*d. Let q be z(-3). Suppose 2*w - t - 21 = -w, 42 = 5*w - 4*t. Let g = w + -3. Solve g = 2*m + q for m.
-3
Let f(a) = 2*a**2. Let i be f(1). Solve 0 = 2*w - w - i for w.
2
Let c(d) = -d**2 - 8*d - 7. Let i(l) = l**2 + 8*l - 3. Let x be i(-6). Let o = -21 - x. Let j be c(o). Solve -6 = 2*p - j*p for p.
2
Let s(z) = z**2 + z. Let m be s(-1). Suppose -d - 2 + 5 = m. Suppose 5*o = -2*r - 3*r - 20, -5*r - 15 = 4*o. Solve -r = -d*c - 16 for c.
-5
Let g be -1 + -1 + 1 + 4. Suppose 2*o - 16 = 3*q, 0*q - 26 = -4*o + 3*q. Suppose 3 + 1 = -2*z - o*n, -2*z + 5*n = -16. Solve -z - 3 = g*x for x.
-2
Suppose 0*b + 2 = -5*b - 3*c, -3*b - 10 = 4*c. Suppose 0 = 2*x - b*l - 8, -2*x + 5*l = -5 - 0. Solve 2*r = -x - 3 for r.
-4
Suppose 3*u = 6 - 3. Suppose 5*x - t = 21, -u = 4*x - 4*t - 21. Let m be (40/(-15))/(8/(-12)). Solve -m*i - x = -2*i for i.
-2
Let s = 5 - 5. Suppose s = f - 0*f + 1. Let g be f/3 - (-4)/12. Solve 2*q + 3 + 7 = g for q.
-5
Let p be ((-3)/2)/((-30)/100). Solve 0 = 5*a + p - 20 for a.
3
Let o(d) = d**3 - 4*d**2 - 5*d - 6. Let u be o(5). Let w(b) = -b**3 - 6*b**2 - b - 2. Let g be w(u). Suppose 2*m = g*m. Solve m = 2*y - y + 2 for y.
-2
Let b be (10/4)/(3/6). Suppose -1 = r - b. Solve -3 = -r*u + 17 for u.
5
Let s(m) = m**2 - 3*m - 4. Let y be s(4). Solve y*a + a = -4 for a.
-4
Suppose -10*z + 32 = -18. Solve -u + z = 2 for u.
3
Let j be 14/6 + (-12)/(-18). Let a(p) be the first derivative of p**2/2 - 3*p - 1. Let n be a(j). Solve n = 4*q - 5*q for q.
0
Suppose 0 = m - 2*m + 1. Let w be 3 - m - 0/2. Solve -3 - 1 = w*h for h.
-2
Let r be (-5)/(-20) - 1*1/4. Solve r = 2*t + 3*t for t.
0
Let z(t) = -t**3 - 5*t**2 + 13*t - 5. Let u be z(-7). Solve b - u*b + 3 = 0 for b.
3
Suppose -5 + 3 = -v. Suppose v*n = n. Suppose 5*t = -n*t. Solve -2*f - 2*f = t for f.
0
Suppose 4*l - 20 = -12. Suppose l*v - 5*v + 21 = 0. Solve 3*y - v = -22 for y.
-5
Suppose -4 = -4*m - 0. Let y(j) = j - 5*j + 3*j + m. Let t be y(-2). Solve p + 4 = t*p for p.
2
Suppose -s = 3*k + 9, -2*s - 2*k + 82 = -5*s. Let a = -7 - s. Let p = a + -5. Solve p = -5*w + w for w.
-3
Let u(x) = -2*x + 20. Let z be u(6). Solve -4*i + 6*i - z = 0 for i.
4
Let h(n) = -n + 10. Let f be 136/(-14) + (-2)/7. Let q be h(f). Solve -2*j + 6*j + q = 0 for j.
-5
Suppose -j + 2*f - 3 = 0, 10*f - 5*f - 46 = -3*j. Solve -j*n + 8 = -3*n for n.
2
Let z(s) = s**2 + 3*s - 7. Let y be z(-5). Solve -y*b - 3 = -9 for b.
2
Let t be (1 + -3)/(1 + -3). Solve -t = 2*g + 1 for g.
-1
Let h be (-50)/(-15)*3/2. Suppose 5*t = j + 2, 3*j - 3 - 1 = h*t. Solve -d + t = 4 for d.
-3
Suppose -9*f + 8*f + 26 = 0. Suppose -34 + f = -4*p. Suppose -35 = -2*y - 6*s + s, -5*y - 3*s = -40. Solve -y = -a + p*a for a.
-5
Let s be 3 + 9/(-3) + 2. Let z be ((-20)/8)/((-1)/s). Solve -2*x + z = 3 for x.
1
Suppose -4 = -r, -5*m + 16 = -3*r - 32. Let i = 20 - m. Solve -5*v - i = -3*v for v.
-4
Suppose c = 2 - 0. Let z(f) = -f**2 - 6*f - 8. Let m be z(-3). Suppose -c*k - m = -11. Solve -k*l = -0*l for l.
0
Suppose -3*v - 2*v - 3*i - 37 = 0, 5*i - 5 = 0. Let w = v + 11. Solve 3*t = -18 + w for t.
-5
Let y be 10/(0 - 2)*-1. Let o = -3 + y. Suppose 15 = 5*n - o*n. Solve n*h - 19 = 1 for h.
4
Let z(x) be the third derivative of x**6/360 + x**4/6 - x**3/2 - x**2. Let f(b) be the first derivative of z(b). Let q be f(0). Solve -6 = -q*y - 14 for y.
-2
Let w be 72*(9/12)/(-1). Let f = -34 - w. Suppose 0 = -2*i + i + f. Solve 4*v + i = -v for v.
-4
Let b(k) = k + 5. Let t be b(-5). Solve t = -a - 2*a + 12 for a.
4
Suppose 12*h = 19*h - 21. Solve 5 = -b + h for b.
-2
Let d be (1/1)/(3*2/138). Solve 4*k - d = -3 for k.
5
Let h(l) = -2*l - 1. Let s be h(-2). Suppose 2*r + 16 = s*r. Solve 0 = -3*u + r - 1 for u.
5
Let a be (3 - 1) + -4 + 8. Solve 5*f - 2*f = -a for f.
-2
Let c(r) = -r. Let a be c(-3). Let o(d) = d**3 - 5*d**2 + 3*d. Let p be o(5). Suppose 5*t - p = 2*x, a*x + t + 2*t - 9 = 0. Solve -2*l + 3*l = x for l.
0
Let r = -120 + 121. Solve -m - 3 = r for m.
-4
Suppose 19*c = 22*c - 15. Solve -25 = 4*g - c for g.
-5
Suppose -5*n - 210 = -4*w, -2*w + w + 42 = -n. Let i = n - -64. Suppose -5*d + i = -0*d - 4*y, -5*d + 26 = -2*y. Solve 25 = -b + d*b for b.
5
Let b be 12/6*3/2. Suppose -z + 4 = b*z. Solve -19 = -5*r + z for r.
4
Let h(c) = -c**2 + 5*c + 2. Let z be h(5). Let j be z/(-6)*60/(-4). Solve -j = -4*t + 3 for t.
2
Let b = -50 + 55. Solve b*p - 4*p = -1 for p.
-1
Suppose 3*t - 2*l - 22 = -t, 0 = -3*l - 15. Suppose r - 17 = -3*r - t*o, 5*r + 2*o = 16. Let i = 1 - -1. Solve r*a - a = i for a.
2
Suppose -3*n + 43 = 5*i, -3*n + 0*n = -2*i - 29. Suppose g - l = 2, -5*g - n = 5*l - 41. Let q = -10 + 15. Solve 0 = -3*j - q - g for j.
-3
Let d(x) = -x**3 + 23*x**2 + 24*x + 1. Let k be d(24). Solve 6 - k = u for u.
5
Let z = -5 + 5. Suppose -3*a + z*a = -6. Solve -1 = d - a for d.
1
Suppose 5*k = -3*z - z - 5, 0 = -5*z - k + 20. Solve -2*y = -13 + z for y.
4
Suppose -3*v = 2*v - 20. Suppose 3*l = 26 + v. Solve 2*o + l = 4*o for o.
5
Suppose 0*u + 165 = 3*u. Suppose 0 = -o + 6*o - u. Let b be 5 - (0 + -1 + 2). Solve o = 5*w - b for w.
3
Let k(t) = -t + 15. Let x be k(11). Let j be ((-2)/(-4))/((-2)/x). Let o be (j - 2)/(-3)*3. Solve -o*p - 4 = p for p.
-1
Let k(p) = p**2 + 1. Let b be k(2). Let n = b - 0. Solve n = -2*u - 1 for u.
-3
Suppose 4*y - m - 10 = 0, 5*y - 2 = m + 10. Let p be -1 + (-3 - -8 - y). Let z be p + (2 - 2)/(-1). Solve 5*r - z*r = -6 for r.
-2
Let f(w) = w + 5. Let l be f(-5). Solve l*z + 4*z - 16 = 0 for z.
4
Let c = -11 - -11. Solve c = 2*l - 8 for l.
4
Let f(d) = 8*d**2 - 2*d - 1. Let k be ((-1)/2)/(-1)*-2. Let u be f(k). Suppose -4*r = -3*z - 3*r + 6, -5*z + 2*r + 10 = 0. Solve i + z*i = u for i.
3
Suppose -a + 2*z = -2, 4*a + 0*a + 5*z = 21. Solve -a*t + 3*t + 1 = 0 for t.
1
Let q = 2 - 8. Suppose -5*r + 2 + 39 = 2*k, -2*r = -2*k + 6. Let w = k + q. Solve w*i - 6 = -4 for i.
1
Let p be (81/18)/(6/8). Solve -l + 2 = p for l.
-4
Let c be (-8 + -1)/(1/(-1)). Let x be 0/((-4)/(-8)*-2). Solve x = -4*z - 3 - c for z.
-3
Suppose 13*z - 8 = 5. Solve z = 2*p - 3 for p.
2
Let p be ((-11)/5 - -1)/((-4)/10). Solve -5 = -4*u + p for u.
2
Let h(q) = q**3 - 12*q**2 - 13*q + 10. Let a = -31 + 44. Let t be h(a). Solve -p = p + t for p.
-5
Let x(k) = -k + 25. Let h be x(23). Suppose -2*d = 5 - 41. Solve 0 = 5*j + d + h for j.
-4
Let x be (29/2 + -2)*2. Let a be 18/5 + 4/10. Let t be (a - 3)*(-10)/(-2). Solve t*l - 5 = -x for l.
-4
Let q(h) = -h - 2. Let y be q(-3). Solve -c + 1 = -y for c.
2
Suppose -z - 4*z = 35. Let d(s) = s + 9. Let k be d(z). Solve -20 = k*n + 2*n for n.
-5
Suppose b - d = 7, 2 = -2*b - 3*d + 1. Suppose 8 = 3*r - 0*r - g, -4*g = b*r. Solve 0 = m - r*m - 3 for m.
-3
Let j = 17 + -14. Suppose j*z = -0*z. Solve z*n = -3*n for n.
0
Suppose -3*a - 5 + 17 = 0. Suppose -a*n - p + 43 = 0, 2*n + 0*p - 14 = 2*p. Solve 4*u + u = -n for u.
-2
Suppose 3*s - 6*s = -9. Solve s*c + 1 = 2*c for c.
-1
Let d be (3 + 1)/((-12)/(-48)). Suppose 3*c + d = 5*c. Solve 0 = 4*l - c - 0 for l.
2
Let p = 4 - 8. Let s be 7/4 + (-1)/p. Solve 0 = -5*l + s*l for l.
0
Suppose -9 = -3*f + g, -2*g = -f - 2*f + 6. Solve -3 + 19 = -f*r for r.
-4
Suppose 6*i - 16 = -2*i. Solve -3*j = -i*j for j.
0
Suppose 3*a + h + h - 7 = 0, 5*h = -a - 15. Solve o = -9 + a for o.
-4
Suppose -3 - 9 = -4*k. Let f be 564/36 + (-1)/(-3). Let a(x) = x**3 + 5*x**2 + 2*x - 4. Let h be a(-4). Solve -k*i = h - f for i.
4
Suppose -3*l = -5*z + 19, -z + 1 = -2*l - 0*z. Solve 8 = -l*x - 2*x for x.
-2
Let t = -30 + 61. Let f = -16 + t. Solve 3*n - f = -0*n for n.
5
Let q(a) = -2*a**3 + a**2 + 3*a + 2. Let g be q(-1). Solve g*d + 3 - 1 = 0 for d.
-1
Let p(c) = -7*c - 2. Let b be p(-1). Solve 3 + 12 = -b*a for a.
-3
Let z be 0/4*(-2)/4. Solve -3*t + 2*t = z for t.
0
Let j(b) = b**2 - 5*b - 6. Let d be j(6). Let r = -153 - -102. Let h = -29 - r. Solve -5*o + h - 7 = d for o.
3
Let l = -28 + 13. Let v = 11 + l. Let b = -4 - v. Solve -c = -b*c for c.
0
Suppose 0 = -5*w + 4 - 14. Let s = 1 - w. Solve s*t = t + 8 for t.
4
Suppose 5*x + 13 = -0*f + f, -2*x - 5*f = 16. Let y(c) = -2*c + 4*c - 4*c**2 + c**3 + 8*c**2. Let z be y(x). Solve 5*v = 7 + z for v.
2
Supp