3
Suppose 0*p - 4*t = -p - 17, 17 = 4*p + t. Suppose b + 0 = p. Suppose 0*r + 2*j = -3*r + 67, r + 2*j - 29 = 0. Solve b*i - 4 = -r for i.
-5
Suppose -p - 4 = -2. Let q be 2 + (0 - (p + 0)). Suppose 0*b - q*b - 3*j + 5 = 0, 5*b = -4*j + 5. Solve 4*k - b = -1 for k.
1
Let s = -2 - -4. Suppose 0 = v + s*k + 9, -4*v = -2*v - 3*k - 10. Let g be 0 + (0 - v) + 4. Solve 3*c - 1 = g for c.
2
Let o = -13 + 15. Let n(t) = t - 4. Let j be n(8). Suppose -j = -4*w + h - 9, -25 = -4*w - 5*h. Solve w = -4*i + o*i + 8 for i.
4
Suppose 2*u - u = 3*t + 15, -t - 5 = -4*u. Solve -r = -u*r for r.
0
Let u = 2 + -2. Let f be (-5 - 0) + u - 0. Let q = -4 - f. Solve -2*y - q - 7 = 0 for y.
-4
Let a(s) = 2*s. Let l be a(1). Let j(b) = -b**3 - 4*b**2 + 4*b + 1. Let z be j(-5). Suppose -z*t + 12 = -l*t. Solve 2*o - t = 1 for o.
2
Let h be (-2)/((-5)/((-15)/(-2))). Suppose -s + 13 = -2*f, s = -h*f - 0*f - 7. Solve -n = -s*n - 8 for n.
-2
Suppose -t = -4*t - 27. Let f be 1/((-1 - 2)/t). Let r(k) = k**3 - 3*k**2 + 4*k - 3. Let q be r(f). Solve q = 4*a - a for a.
3
Suppose -3*y = -5*z - y - 20, -25 = -5*y. Let a = 5 + z. Solve s = a*s + 4 for s.
-2
Let m(q) = 8*q**2 + 1 - 3*q**2 - 2. Let b be m(-1). Suppose 3*r = 2*r + b. Solve -u - r*u = -15 for u.
3
Let v be ((-36)/(-21))/((-2)/(-21)). Let h = 25 - v. Solve -h*y + 3*y + 4 = 0 for y.
1
Suppose 3*t - 40 = 2*r, 0 = -r - 0*r + t - 18. Let q = 23 + r. Suppose -4*h - 4 = 4*z, 2*h = 4*z - 7*z - 7. Solve h*v = v - q for v.
-3
Let v be (48 + 0)*9/12. Suppose u + 4*x = 4*u - 30, -4*u + 4*x = -v. Let h(r) = 16*r**2 - 2*r + 1. Let z be h(1). Solve -z = -d + u*d for d.
-3
Let p = -7 + -1. Let n be (10/p)/((-1)/12). Solve u - 6*u + n = 0 for u.
3
Suppose 3*u + 3*y = 3, -3*u - y = -6*y - 27. Solve 7*t = 3*t - u for t.
-1
Suppose -d - h + 3*h + 11 = 0, -3*d + 17 = -2*h. Solve -7 = -d*u - 4 for u.
1
Let n(w) = -2*w - 9. Let k be n(-6). Suppose 5*l = k*o, -l = -0*l - 5*o. Solve -c - c - 6 = l for c.
-3
Let w(v) = -v**2 + 11*v - 5. Let q be w(10). Solve 2 - q = -s for s.
3
Let m(r) = -r**3 + 7*r**2 - 2*r + 6. Let s be m(7). Let g be (-4 - s)/4 - 1. Solve 4*o - 12 = -g*o for o.
3
Let b(g) = -2*g**3 - 2*g**2 + 3*g + 3. Let x be b(-2). Suppose -7 = -4*s + 5. Suppose s*o = 4*o - 3. Solve 0 = -x*r + o + 2 for r.
1
Suppose 10 + 10 = 5*o. Suppose -o*l = -20 + 4. Suppose -l*z = -29 + 5. Solve -1 + z = -5*p for p.
-1
Suppose -5*n + 11*n - 24 = 0. Solve n*g = -0*g for g.
0
Let s(k) = -k**2 - 4*k + 1. Let o be s(-4). Let j(r) = 6*r. Let t be j(o). Suppose 0*y + 3 = y. Solve 0 = t*g - y*g for g.
0
Suppose -15 = 5*p, 0 = -o + 4*o + 2*p + 12. Let d be o/(-5)*(-30)/(-3). Suppose -16 = -3*l + k, d*k + 14 + 10 = 4*l. Solve -l - 5 = 2*g for g.
-5
Let p(c) = -2*c - 38. Let z be p(-19). Solve 2*u = 4 - z for u.
2
Let b(m) = -m + 1. Let l be b(-4). Let y = 83 + -83. Solve y = -0*p - l*p + 20 for p.
4
Let z be (-1)/4 - 17/(-68). Suppose 5*o = 3*x - 10, 13 = -5*x - 5*o + 3. Suppose x = -z*h - 3*h + 9. Solve -h = -4*k + 1 for k.
1
Suppose -2*f = 4*p + 4, -2*f - 12 = -3*f + 5*p. Suppose -f*m + 5*d = -6*m + 49, -5*d = 2*m - 17. Solve 2*b - m = 6*b for b.
-4
Let b be 18 - 18 - 1*-3. Solve 2*c = -b*c + 10 for c.
2
Suppose 3*i = 2*u - 4*u + 23, -2*i = 5*u - 30. Solve 0 = u*q - 3*q - 4 for q.
4
Suppose -3*q + 0*q - 9 = 0. Let p = q + 3. Solve p = 2*u - 5*u - 12 for u.
-4
Let o(s) = -6*s - 6. Let t be o(-3). Suppose -t + 0 = -3*v. Solve v*c = c + 15 for c.
5
Let s(t) = -t**3 - 6*t**2 - 5*t + 5. Let x be s(-5). Solve -3*o - 1 = x for o.
-2
Let n(c) be the third derivative of c**4/24 - c**3 - c**2. Let z = 6 + 2. Let j be n(z). Solve -r = -j*r - 1 for r.
-1
Let f(b) = 8*b**3 - b**2 - 1. Let x(q) = -q**3 + 1. Let u(k) = f(k) + 2*x(k). Let a be u(1). Solve -h = h - a for h.
3
Let s = -14 + 11. Let b be (72/s)/(6/(-4)). Solve 7*i = 3*i + b for i.
4
Let w = 56 + -54. Solve 0 = -w*v + 4*v - 6 for v.
3
Let z(t) = t - 4. Let b be z(-4). Let h = 2 - b. Let p(u) = -u**2 + 8*u + 12. Let f be p(9). Solve f*v + h = 25 for v.
5
Let z be 20/14 + (-6)/14 + 1. Solve 2*d = -z*d for d.
0
Let m be (5*6)/2 - 2. Let j(k) = k - 11. Let u be j(m). Solve -15 = u*n + n for n.
-5
Let t be (3 - (-6)/(-4))*(1 - -1). Solve t = -8*a + 5*a for a.
-1
Let c be (24/9)/(4/30). Suppose -2*v + 5*v = -27. Let f be 3/v - 1/(-3). Solve -4*d - d + c = f for d.
4
Suppose 3 = j - 0. Suppose 5*s - j*l = 3, -7 = -s + 4*s - 4*l. Solve s*f = 4*f for f.
0
Let f(l) be the first derivative of l**4/4 - l**3/3 - l**2/2 + l + 2. Suppose 4*y = 1 + 7. Let i be f(y). Solve 5 = -i*m - 2*m for m.
-1
Suppose -22*a + 8 = -21*a. Solve 20 = 4*k - a*k for k.
-5
Suppose -6*k + 2*k = 0. Suppose k = -5*n - 11 + 56. Solve 0 = -3*f - 0 - n for f.
-3
Let o(q) = q**3 - 2*q**2 - q - 2. Let i be o(3). Let c(j) = -j**3 + 11*j**2 + 3*j - 23. Let x be c(11). Let l = 1 + 1. Solve -x = -l*m + i*m for m.
-5
Let n(o) = o + 11. Let u be n(-8). Let p = -1 + 1. Solve p = x + 2 - u for x.
1
Let h be (-44)/(-20) + 8/10. Let m(q) = -q**3 + 5*q**2 - 2*q. Let w be m(h). Solve -2*t = 2*t - w for t.
3
Suppose -10*p = -0*p - 60. Solve 4*x - p + 2 = 0 for x.
1
Suppose -4*c + 12 = -0*c. Solve c*z = 4*z for z.
0
Suppose -2*h + 12 = 4*l, 3*h + 3*l - 6 - 3 = 0. Suppose -3*j - i + 1 = 0, 3*j = -5*i - 2 - 5. Suppose j = 5*f - 19. Solve 2*d + 6 + f = h for d.
-5
Let z(i) = -4*i**2 - 4*i + 6. Let n(h) = -h**2 + 1. Let u(v) = -3*n(v) + z(v). Let o be u(-4). Solve -t - 2 = -o*t for t.
1
Let f be 10/(-1)*(-1)/2. Let j = 493 + -488. Solve -f*z + j = -20 for z.
5
Suppose 0*v = -2*v + 20. Let i(f) = v + 0*f + 2*f - f + 0*f. Let t be i(-5). Solve t*z - z = 20 for z.
5
Suppose -5*p + 3*w = -25, 5*w + 8 = -3*p - 11. Let t(u) = 1 - 6*u - u - u**p + 2. Let x be t(-7). Solve -x*j = j + 12 for j.
-3
Suppose -2*y + 10 + 6 = 2*a, y - 3*a = 0. Suppose w - 7 = 6*s - 3*s, 0 = 4*w - 3*s - 19. Solve 0 = l - w*l - y for l.
-2
Let v be 3*6 + (4 - 4). Let a = v - 10. Solve -2*o = -6*o + a for o.
2
Let u be 1 + (3 - 4 - -1)/1. Let k = -26 - -36. Let v = 14 - k. Solve v*n - u = 3 for n.
1
Suppose -5 = -n - 0. Solve 0 = -0*d - n*d + 20 for d.
4
Let c(r) = r**3 - 9*r**2 + 7*r + 10. Suppose 16 = -2*n + 4*n. Let u be c(n). Solve 0 = -u*f - 0 - 8 for f.
-4
Let s be (2/(-1))/((-30)/45). Solve s*b - 9 = -21 for b.
-4
Let m = 11 + -7. Let t(n) = -n + 5. Let i be t(5). Let l(s) = -s**3 - s + 1. Let w be l(i). Solve -m*j - w = -5 for j.
1
Let x(w) = -w**2 - 10*w + 2. Let f be x(-10). Suppose -4*a + 2*a + 8 = 0. Solve a = -v + f for v.
-2
Let i(a) = -2*a + 11. Let t be i(4). Solve -3*z - t + 15 = 0 for z.
4
Let n(z) = -z**2 + 8*z + 2. Let t be n(8). Let q be -1 - 9/(6/(-2)). Suppose q*g + 1 = 5. Solve g = t*m - 8 for m.
5
Let f(l) = l + 11. Let s be f(-6). Let h = s - 2. Solve w - 5 + h = 0 for w.
2
Let n(v) = -3*v - 81. Let z be n(-28). Solve d = z*d + 6 for d.
-3
Let z = 73 + -70. Solve -v - 7 = -z for v.
-4
Let s be ((-3)/(-2))/(2/4). Suppose 2*b + s*k + 2*k = 2, 2*k = b - 1. Solve b = z + 2 for z.
-1
Let d(t) = -11*t + 26. Let i(c) = -4*c + 9. Let a(p) = -6*d(p) + 17*i(p). Let w be a(-3). Solve o = -w*o + 8 for o.
2
Let z be (0 + 0)*(3 + -2). Let m be (z - 0) + 10/2. Solve -m*f + 17 = 2 for f.
3
Let s(m) = -m**3 - m**2 + m + 3. Let v be s(-4). Let n = v + -20. Suppose -2 = 5*o - n. Solve -5*b + 15 = -o for b.
4
Suppose 3*g + 24 = -g. Let i = 1 - g. Suppose -40 = -5*w + q - 8, w = 2*q + 10. Solve i*o - 4*o = w for o.
2
Suppose 5*b - 2*p = -2 - 46, 2*p = -2*b - 22. Let w = b - -15. Solve -5 = w*u - 20 for u.
3
Let r(b) be the first derivative of -4*b - 1/2*b**2 + 1. Let w be r(-6). Solve -w*a - 3*a + 25 = 0 for a.
5
Suppose -8*g + 18 = g. Solve 1 = f + g for f.
-1
Suppose 6 = -5*z + 16. Suppose 0 = b - z. Solve b*u - 4*u = -6 for u.
3
Let x(f) = -2 + 2*f + 3*f - 2*f. Let i be x(2). Solve -3*j - i = 5 for j.
-3
Let y(r) = r**3 - 17*r**2 + 15*r + 10. Let c be y(16). Let t be 51/9 + 4/c. Solve t*v + 15 = 2*v for v.
-5
Suppose -3*i + 5 = -1. Suppose i*w - 1 = 3. Solve 0 = -w*j + 2 - 6 for j.
-2
Let d be 3/(-4)*(9 + -13). Solve d*r + 2*r + 10 = 0 for r.
-2
Suppose 9 = -t - 0. Let z = t + 13. Solve -z*o = 25 - 5 for o.
-5
Let t(o) = 2 - 5*o + 3*o + o - o**2 - 2*o. Let h be t(-3). Solve -h - 2 = -2*g for g.
2
Let t be 3/36*4 - 14/(-3). Solve -t*w = -8*w + 9 for w.
3
Let z = 0 - -2. Let n be 1 + (2 + 8)/z. 