t v be 4/1 + (-4 - 18). Let s = 19 + v. Solve -2*a + 5 - s = 0 for a.
2
Let w be 0*((-1)/1 + 0). Solve 4*t + t - 15 = w for t.
3
Suppose -4*r + 19 = v, 4*r - 11 = 3*r + v. Suppose -4*o = -o - r. Solve 0 = o*s - 1 + 9 for s.
-4
Let y = 53 - 51. Solve -y*q = q for q.
0
Let a be -3*(2/6)/(-1). Let s = a - -5. Let x be 3*8/s + -1. Solve u = -x*u - 16 for u.
-4
Suppose 0*p + 3*p = 0. Suppose 5*f - 15 = 0, p = 4*c - 2*c - 4*f + 8. Suppose 5*v = 23 - 3. Solve -18 = -v*g + c for g.
5
Suppose -4*a + a = -24. Let n be (-8)/3*(-30)/a. Suppose -5*g = -2*d - 5 + 1, 4*g = d + 5. Solve 0*l - g*l = -n for l.
5
Let j(q) = q**2 - 2*q + 1. Let k(o) = -o**2 + 8*o - 5. Suppose 14 - 35 = -3*v. Let z be k(v). Let d be j(z). Solve -u + d = -3 for u.
4
Suppose -3*d + 16 = 2*z, z - 10 = -2*d - z. Let j(n) be the third derivative of n**4/12 - 3*n**3/2 - 3*n**2. Let l be j(d). Solve 0 = l*x - 9 for x.
3
Let n(k) = -k - 2. Let w be n(-7). Let o be 0/(4/2) + 21. Suppose -w*u + 5*x = 15, 5*x - o = u + u. Solve 0 = z - u*z for z.
0
Let p(c) = c**2 - 6*c + 7. Let y be p(5). Suppose 4*k = k. Solve -y*n + k = -4 for n.
2
Let a(o) = o + 1. Let b be a(-1). Suppose -2*w - 4*k = -20, b = 3*w - 2*k - 0*k - 6. Solve -3*z - 16 + w = 0 for z.
-4
Let r = -23 + 26. Solve r = g - 0 for g.
3
Let l(t) = -t**3 + 6*t**2 + t - 3. Let a be l(6). Solve a*u - 1 = -7 for u.
-2
Suppose 0 = -2*x + 7 + 3. Suppose 2*m - x*h = -0 + 1, -3*m = 3*h - 54. Suppose -3*o - 4 = -m. Solve 0*z - o = z for z.
-3
Let v = 10 + -15. Let r(y) = y + 6. Let o be r(v). Solve 2*j - o = -9 for j.
-4
Suppose 2*f = f. Solve f = -b - b for b.
0
Let d be 3/(-1)*(-12)/18. Suppose 0 = -4*i + 6 + 2. Suppose 5*l + r - 11 = 0, i*l = 5*r - r + 22. Solve d*t - l = -13 for t.
-5
Let k be 6/(-4)*(-32)/(-24). Let c be ((-8)/6)/k*3. Solve 7*p - c*p + 10 = 0 for p.
-2
Let c(r) = r**3 - 6*r**2 - 2*r + 7. Let h be c(6). Let m = h - -8. Solve 0 = m*z - 0 + 3 for z.
-1
Suppose 3*t - 9 = -2*m, 0 = -4*m - t + 3*t + 42. Let p = 15 - m. Solve p = -g - g for g.
-3
Let m = 0 - -2. Suppose 26 - 1 = 2*p + 5*c, -4*c = -5*p - 20. Let j be p*((-2)/(-2) - m). Solve 0*l + 3*l = j for l.
0
Suppose -3*d + 5*d = 0. Suppose -4*b + 18 = 5*v - 15, d = -b - 3. Solve -4*f = -f + v for f.
-3
Let x(r) = r**2 - 2*r - 2. Let u be x(4). Suppose 6 = -3*i - u. Let g = 0 - i. Solve g*b + b = 0 for b.
0
Let p(b) = -b + 15. Let o be p(12). Solve -o = 4*z + 1 for z.
-1
Let c be (3 - -2)*-1*-1. Suppose 3*n = -3, n - 21 = -c*s - 3*n. Solve 3*b - s = 1 for b.
2
Suppose 3 + 6 = 3*z. Suppose -2*a - 14 = -z*o, -o + 3*a = -0*o. Solve o*p - 2*p + 8 = 0 for p.
-2
Let d = -6 - -10. Solve -d*j + 25 = j for j.
5
Let b(r) = 2*r. Let d be b(4). Let k be 0 + 12 + 1 + 0. Let m = k - d. Solve -m*y + 29 = 4 for y.
5
Let a = 19 + -19. Let k be (2/4 + -1)*a. Solve k*r + 15 = 3*r for r.
5
Let r = -15 - -21. Solve 4*o - o + r = 0 for o.
-2
Suppose 6*m - 16 = -4. Solve a = -m*a for a.
0
Suppose -5 = -6*t + 5*t. Solve -7 - 13 = -t*a for a.
4
Let u = -73 - -74. Solve -4*m + 13 = u for m.
3
Let r(m) = -m**2 + 6*m - 4. Let d be r(4). Solve -s + d*s = -15 for s.
-5
Suppose -17 + 1 = -8*g. Solve -g*y - 6 = -4*y for y.
3
Suppose w + 0*w + 3*n - 11 = 0, 3*n - 1 = w. Solve -b = -w*b - 16 for b.
-4
Suppose -2*r = 2*o - 14, 0*o - o = -2*r + 17. Let p = 2 + 0. Let f be 1/2*r/p. Solve -h - f = -2*h for h.
2
Let u = 3 - 0. Suppose 2*b + u*b - w - 61 = 0, 5*b + 3*w - 57 = 0. Suppose 4*l + h = 3*l + b, -3*h = 5*l - 50. Solve 0 = 3*v - l - 8 for v.
5
Suppose -7 = -5*h - 4*y + 11, -3*y + 21 = 5*h. Solve h*z - 12 = 3*z for z.
4
Suppose -2*p + 10 = -6. Suppose -5*o + p = -7. Solve 6 = -o*b - 6 for b.
-4
Suppose 0*r - 12 = -4*r. Suppose -2*t + t + 15 = -r*z, 4*t - z - 27 = 0. Solve -2*a = -t - 2 for a.
4
Suppose -5*q + 18 = -q - 5*y, q - 3*y - 8 = 0. Solve -4*n - 6 = -q*n for n.
-3
Suppose 6 = i + 1. Solve 0 = -2*q + i - 3 for q.
1
Suppose -s + 5*s = 48. Let l = s + -9. Solve -l*o + 0*o = 0 for o.
0
Let i = -13 - -13. Solve -4 = -4*k - i*k for k.
1
Let g = 59 + -56. Solve -1 - 5 = g*w for w.
-2
Suppose l = 5*q - 0*l - 12, 0 = 4*q - 3*l - 14. Solve 0 = -q*r + r - 4 for r.
-4
Let c = 9 + 1. Solve 2*n - 4*n = -c for n.
5
Let g(x) = -x**2 - 14*x - 32. Let j be g(-6). Solve -6*k + 2*k + j = 0 for k.
4
Let n be (3 - 1*-9) + 2. Suppose -2 = 4*d - n. Solve d - 9 = 2*o for o.
-3
Let p(u) = -2*u + 3. Let r(x) = 2*x - 4. Let s(z) = -6*p(z) - 7*r(z). Let m be s(5). Solve 4 = -m*c - 2*c for c.
-2
Let o be -6 + 15 + -1*3. Suppose n + n = o. Solve x - n = 1 for x.
4
Let i be (14/4 - 4)*-12. Let t(z) = -z + 10. Let j be t(i). Solve v + 1 = -j for v.
-5
Let i = -3 + 6. Solve 10 = -i*m - 5 for m.
-5
Suppose 2*p + p = 12. Suppose -5*v + 77 = k, 5*v = v + p*k + 52. Solve -4*o - v = -o for o.
-5
Suppose 2*p = -5*n - 5, 4*p + 10 = n + 33. Suppose 2*v - 3 = p. Solve 12 + 4 = v*d for d.
4
Let m(h) = -5*h**2. Let i be m(1). Let a(o) = o + 7. Let s be a(i). Solve s*u = -0 - 4 for u.
-2
Suppose 4 = u - 0*u. Suppose 0*a + a = 0. Suppose a*c + 16 = u*c. Solve -c = -2*n - 2 for n.
1
Let z be -5*(2 + (-18)/15). Let t be (-8)/z - 3*1. Let p be 5 + (1 - (t + 2)). Solve 4*q + 17 = p for q.
-3
Let o(z) = z**2 - 4. Let w be o(-4). Let a = w - 10. Solve -a*g = -1 - 9 for g.
5
Suppose 4*r - 17 + 5 = 0, 3*r + 57 = 2*n. Let f = -28 + n. Solve f*w = 7 - 2 for w.
1
Let h = -1 - -3. Suppose -4*u = -y - 24 + 3, 0 = -5*u - 3*y + 5. Solve -h*o + o = -u for o.
4
Suppose -2*r + 4 = 4*n - 8, 3*r + n = 33. Let z(w) = w**3 - 2*w**2 - 7. Let t be z(3). Suppose -5*j + t*q = 5*q - 13, r = 4*j + 4*q. Solve i = -i + j for i.
1
Suppose -4*o + 48 = 8*o. Solve -u = -o*u - 12 for u.
-4
Let q(t) = -t**2 + 9*t - 8. Let u be q(7). Suppose 0 = 5*r + 2*m - 12, -r - 4*m = -m - 5. Solve -d - r*d - u = 0 for d.
-2
Suppose 2 = 2*z + 2*p, -3*z + 2*p + 8 = -0. Solve -z = 4*y - 22 for y.
5
Let u = 4 + 2. Suppose -4 = -5*c + u. Solve 2*o - 2 = c for o.
2
Let j(i) = -5*i + 18. Let w be j(0). Solve 0 = -3*m + w - 3 for m.
5
Let i = 100 - 100. Solve 4 = -i*l + 4*l for l.
1
Let l(j) = j**3 - 4*j**2 - 12*j + 2. Let n be l(6). Solve -4*a = -10 + n for a.
2
Let z = 24 - 24. Solve -d + z = 3 for d.
-3
Let t be (22/(-4))/(4/(-8)). Suppose 3*s = t - 5. Solve -3 = s*n + 7 for n.
-5
Suppose y + 1 = 3. Suppose -2*r - 17 = -5*x, -y*x + 2 = -r - r. Solve 4*c + x = -c for c.
-1
Suppose -12 = t + t. Let i(j) = -j - 6. Let x be i(t). Solve x = -v + 3 for v.
3
Let r be -10*(9/(-6) - -1). Suppose 3*v - r - 22 = 0. Solve -3 = -3*c - v for c.
-2
Let g = 8 + -4. Solve g*v + 2 + 18 = 0 for v.
-5
Let c be (-6)/10 + 6/10. Let h = 2 + c. Let f = h - 0. Solve -f = -b + 2 for b.
4
Let q(j) = j - 6. Let m be q(9). Suppose 4 = m*p - 14. Let h = p + -6. Solve h*o + o = 5 for o.
5
Let s = 42 + -29. Solve -5*f = 7 + s for f.
-4
Suppose g - 3 = -3*g + 5*f, 0 = -5*g + 3*f + 7. Suppose g*a = -a. Solve a*w + w = -4 for w.
-4
Let i be (-2)/14 - 39/21. Let p be -3 + i/(-4)*16. Solve p*y + 7 + 8 = 0 for y.
-3
Suppose 0 = -3*v + 2*k + 10, k - 2 = -2*v - 0*k. Solve -v*o + 1 = 7 for o.
-3
Suppose -3*z = -13 + 10. Let d be 3 + (1 - 1) + 2. Let f be d - (z/1 - -2). Solve -f*v = -0*v for v.
0
Let a(z) = z + 1. Let n be a(4). Solve -2*s - 3*s = n for s.
-1
Let n(r) = 3*r - 2. Let m be n(2). Let z be 8/3 - m/6. Solve z*j - 3*j = -2 for j.
2
Suppose -18 = -5*x + 3*q, 2*x - 1 = 3*x + 4*q. Suppose -x*h = -0*h - 15. Suppose 4*c + 3*s - h = -0*c, 3*c = -2*s + 4. Solve 7 = c*t + 1 for t.
3
Suppose 3*t - 6 - 6 = 0. Suppose -3*x + 20 = -3*j - t, -5*j = -x - 8. Let h be 51/x + 2/(-8). Solve a + 10 = -h*a for a.
-2
Let s(w) = w**3 - 6*w**2 - w + 8. Let d be s(6). Solve d*z - 1 = 1 for z.
1
Suppose -14*b + 17*b - 12 = 0. Suppose 0 = -b*n + 3*n + 4, 2*s + n - 4 = 0. Suppose 29 = 2*c - 3*j - 0*j, 3*j + 59 = 5*c. Solve p + p + c = s for p.
-5
Let c = -1 + 1. Suppose 3*l + 0*l - 15 = c. Suppose 9*k + 8 = 17. Solve z + l - k = 0 for z.
-4
Let k(i) be the third derivative of 5/24*i**4 + 0*i + 0 + 1/60*i**5 - i**2 + 1/2*i**3. Let n be k(-5). Solve n*t - t = 4 for t.
2
Let s(p) = -p**2 - 4*p - 3. Let q be s(-3). Let b = q - -3. Suppose -17 = -4*a - z + 28, 5*a - 3*z = 69. Solve -a - b = -3*t for t.
5
Let t(i) = -5*i + 6. Let b(n) = 16*n - 17. Let j(r) = -2*b(r) - 7*t(r). Let u = 7 - 1. Let q be j(u). Solve 1 - q = 3*d for d.
-3
Suppose -i = -4, 2*i 