t x be (k/(-4) + 0)*4. Suppose -x*q = -0*q - 6. Solve 0 = -c - q + 1 for c.
-2
Let i(c) = 13*c**2 - 2*c + 2. Let j be i(1). Solve -3*r - j = -1 for r.
-4
Let o be (3 - -3) + (-1 - 3/3). Suppose 2*g - 5*g = -4*n - 19, g + 3*n - 2 = 0. Suppose 0 = o*f - g*f. Solve f = -3*b - 7 - 8 for b.
-5
Let j(t) = t**3 - 11*t**2 + 9*t + 14. Let s be j(10). Suppose -p + 2*p - s = 0. Solve p*y - 5 = -y for y.
1
Suppose w = -2*w. Suppose w = -4*g + 11 + 13. Let i be (-2 - -2)/(-1*1). Solve i*o = 2*o + g for o.
-3
Let v = -2 + 5. Suppose -4*l - v = -11. Solve -2*n = l*n + 20 for n.
-5
Suppose -r = b + 5 - 3, -3*b = -r - 2. Let y(w) = -w**3 + 5*w**2 + 9*w - 15. Let m be y(6). Solve -u + b = m for u.
-3
Let v(l) = -l**2 + 6*l. Let b be v(6). Solve b*u - 5*u = 20 for u.
-4
Suppose -89 = -4*o - p - 4*p, -3*p = 2*o - 47. Solve -2*v = 2*v - o for v.
4
Let u(t) = -t**2 + 11*t - 3. Let m be u(9). Solve 4*y - m = 7*y for y.
-5
Let u = 49 - 34. Solve 2*h + 3*h = -u for h.
-3
Let s be (-8 - -5)*(-2)/(-1). Let p(a) = a**2 + 7*a + 9. Let k be p(s). Solve k*n - 2 - 4 = 0 for n.
2
Let s(v) = 2*v + 6. Let u be s(-3). Suppose q + 25 = -5*g - u*g, -2*g = -q + 10. Solve 3*r + r - 12 = q for r.
3
Suppose 5*d = -126 + 36. Let u = -2 - d. Suppose -3*a - 2*m + u = -1, 0 = 4*a + 2*m - 20. Solve -4*g - 1 - a = 0 for g.
-1
Suppose 0 = 2*t - 5*t + 15. Solve 0 = o - t*o + 4 for o.
1
Let c(r) = 3*r**2 + 1. Let k be c(-1). Suppose -2*u + u + 1 = 0. Let h = 1 - u. Solve h*y = -k*y for y.
0
Let n(s) = -3*s - 3. Let y be -2*(-1 + -1 + 1). Let o be 2*(1 - y)/1. Let t be n(o). Solve x - 12 = -t*x for x.
3
Suppose 0 = -y + 4 - 3. Solve -g = -0 - y for g.
1
Let r be (-8)/10*(-12 + 7). Solve 0 = 2*b - 0*b + r for b.
-2
Suppose -2*t = -6*t - 16, 4*n - t - 76 = 0. Let a(y) = -y**2 - 7*y + 10. Let m be a(-7). Suppose 4*p = 3*u - n - 2, -5*u = 5*p - m. Solve -h + 15 = u*h for h.
3
Suppose -2*g - 46 + 56 = 0. Solve -m + 0 = g for m.
-5
Let f = -32 - -28. Suppose 5*k - 6 = -2*m + 1, 3*m + k = 4. Let r be (2/f)/(m/(-10)). Solve -14 = r*t - 39 for t.
5
Let t(n) = -n**2 + 9*n + 10. Let p be t(8). Let v be (24/p)/((-4)/(-6)). Solve -2 = 2*j + v for j.
-2
Suppose b + 5 = -3*d - 0*b, 2*b + 10 = -d. Let l be (-90)/4*26/(-39). Solve 3*k = -d*k + l for k.
5
Let u be 0*3/(12/(-4)). Solve u = -5*a - 0*a + 20 for a.
4
Let a(t) = -t + 3. Let n be a(4). Let d(o) = -2*o**3 + 2*o**2 + 2*o + 1. Let g be d(n). Let z = g + -1. Solve -7 - 3 = z*u for u.
-5
Let k be ((-6)/5)/6 + (-11)/(-5). Solve -1 - 9 = k*a for a.
-5
Suppose 0 = c - 10 + 8. Solve -6 = c*k - 0*k for k.
-3
Let r = -10 - -19. Let z be (-4)/(-18) + 43/r. Solve -u + z*u = -20 for u.
-5
Suppose 0 = 12*a - 13 - 35. Solve 3*v + v = -a for v.
-1
Suppose 11 - 26 = -3*y. Solve -2*a = -y - 5 for a.
5
Suppose 3*n + 3*q = 15, 4*n + 3*q - 16 = 2. Solve 0 = -2*h + h - n for h.
-3
Let u(n) = n**2 + 3. Let h(f) = -3*f**2 - 9. Let z(y) = 2*h(y) + 7*u(y). Let p be z(0). Solve -p*l = -7*l - 12 for l.
-3
Suppose 7*g = 2*g + 20, 3*g = 4*i - 4. Suppose 0 = 2*s + 3*s + i*p, 3*s - 37 = 5*p. Suppose b + 16 = 5*b. Solve 0 = s*f - 6*f + b for f.
2
Suppose 85 = 5*t - 5*o, 2*t = -2*o + 8 + 6. Solve 0 = 4*s - 0*s - t for s.
3
Let s = 63 - 61. Solve -2*w - s + 0 = 0 for w.
-1
Let z(q) = -q - 8. Let h be z(-9). Let u = -3 + h. Let s be 20/4 + 2/u. Solve s*t + 0*t = 8 for t.
2
Let b(t) = t + 17. Let g be b(-9). Let v = g - -1. Solve -q - 2*q = -v for q.
3
Let x(t) = t**2 - 5*t. Let w be x(5). Suppose -3*j = -5*d + 18, -3*d - 5*j + 4 + 0 = w. Solve d*u - 6*u = 6 for u.
-2
Suppose -8*v + 108 = -2*v. Let p = v - 18. Solve -2*s + 3 + 7 = p for s.
5
Let o(h) = -3*h**2 - 11*h - 2. Let x be o(-3). Solve 0*j = -x*j - 16 for j.
-4
Let f(q) = -6*q - 9. Let w be f(-2). Solve 0 = -g - w*g - 16 for g.
-4
Let y(o) = o + 11. Let w be y(-9). Suppose w*z = 4*z - 10. Solve 3*q = z + 7 for q.
4
Suppose 0 = -4*q + 4*v - 44, -3*q + 8*q - 2*v = -61. Let i = 1 - q. Suppose 0 = -3*r + 4*r + 3*y - i, 4*r = 2*y. Solve r*p - p = 2 for p.
2
Suppose -3*d + 36 = d. Let m(q) = -q**3 + 10*q**2 - 10*q + 13. Let t be m(d). Suppose 2*r = -r. Solve -k = -r*k + t for k.
-4
Let b = 18 + -27. Let h be (-3)/(b/60)*1. Suppose -4*s + h = s. Solve r + 12 = s*r for r.
4
Let j = 95 + -60. Suppose 7*o - 2*o = j. Let z = o - 5. Solve z*f = -0*f + 10 for f.
5
Let u(t) = -t**3 - t**2 + t + 10. Let n be u(0). Suppose -10 = -n*y + 5*y. Let d be 1 - 0 - 2/y. Solve x = -d*x for x.
0
Let h(r) = 1 + 3*r - 1. Let j = -17 + 19. Let d be h(j). Solve -4*m + 2*m + d = 0 for m.
3
Let c(h) = h + 12. Let d be c(-6). Solve -4*f + 10 = -d for f.
4
Let o be 9*2/2 + -1. Suppose -5*c + 82 = -3*z - o, -4*c + z = -72. Suppose 5*x - 2*g - c = 0, -x - 3*g = 2*x - 15. Solve j + 0 = x for j.
4
Suppose 5*h + 10 = -9*l + 4*l, -4*l - 2*h = -2. Suppose 0 = l*z + 9. Let g = z - -8. Solve 1 + 9 = g*p for p.
2
Let k(d) = -d**2 - 8*d - 9. Let h be k(-4). Let n = 1 + -8. Let j = n + h. Solve 2*i = -j*i for i.
0
Let a = 6 - 4. Suppose -6*x + 22 = p - 5*x, -a*x + 19 = p. Solve 0*u = -5*u - p for u.
-5
Suppose -14 = 5*m - 3*m. Let f(r) = r**3 + 6*r**2 - 7*r + 5. Let y be f(m). Solve -11 = 4*x + y for x.
-4
Suppose 2*u - 7 = -3. Solve -u*g + 4*g + 4 = 0 for g.
-2
Suppose -5*k - 3*b + 18 = b, -4*k + 9 = 5*b. Solve 3*r + k = 6*r for r.
2
Let y(f) = -f + 2. Let x be y(-3). Suppose -h + 6 = x*d - 8, -h = 3*d - 10. Let w = 5 - d. Solve -2*b + w*b = 0 for b.
0
Suppose q + 4*q - 15 = 0. Let x = -3 - -5. Let n be q - (-1)/x*-2. Solve 0*v - 2*v - n = 0 for v.
-1
Suppose 4*p - 4*s - 36 = 0, 0*s - s - 5 = 0. Solve p = -m - 0*m for m.
-4
Suppose 2*x + x = 6. Let o be (-2)/(-2) - (-4)/1. Suppose r + 15 = o*y, -3 = -3*y - r - 2. Solve x*n - y - 4 = 0 for n.
3
Let w(n) be the second derivative of -n**3/6 - 2*n**2 + 3*n. Let g be w(-9). Suppose -4*z = -2*v - 5*z + 7, -2*v + 4*z + 2 = 0. Solve v = g*h + 18 for h.
-3
Let p(b) = 2*b - b + 7 + 0*b. Let s(i) = -2*i + 8. Let u be s(4). Let v be p(u). Solve -v = -4*c + 1 for c.
2
Suppose 0*r + 4*r = 0. Suppose 3*b = -r*b. Suppose -n + 3*n - 10 = b. Solve -4*u - u = -n for u.
1
Let k(r) = 6*r**2 - 2*r - 2. Let h be k(-1). Solve -n = -h*n for n.
0
Let m(j) be the first derivative of -j**4/4 - 4*j**3/3 - j**2/2 + 4*j - 8. Let k be m(-4). Solve -3*t + k*t = 5 for t.
1
Let l(m) = m**2 + 9*m - 6. Suppose 0 = -x + 2*x + 9. Let k be l(x). Let j = k + 10. Solve p = j*p for p.
0
Suppose -5*m + 3*p = -12, -m + 6 + 0 = 3*p. Solve -8*f = -m*f for f.
0
Suppose 3*f + 5 = k + 4*f, 0 = f - 3. Let y be 2/k - (5 - 4). Solve j + 2 - 6 = y for j.
4
Suppose -4*n = 3*w - 60, 3*n + 0*w + w = 45. Suppose 13*t = n*t. Solve t*j + 8 = 4*j for j.
2
Suppose -8*x = -5*y - 3*x + 15, -5*y + 15 = -4*x. Solve 0 = -y*g + g for g.
0
Let z(t) = t**2 + 1. Let p(y) = -7*y**2 + 2*y - 7. Let s(u) = -p(u) - 4*z(u). Let r be s(1). Solve 2*j = 4 + r for j.
4
Let b(a) = -3*a**2 + 2. Let t be b(2). Let v be ((-6)/(-4))/((-5)/t). Suppose n = -4*r - r + 2, -v*r = -2*n + 4. Solve 5*x = -r*x for x.
0
Suppose 0*f = -2*f. Solve f = -2*q - 0*q - 10 for q.
-5
Suppose 2*s - 28 = -4*n - 6, -18 = -4*n + 2*s. Suppose 3*k = 5*u + 4 - 3, -5*u + 15 = n*k. Let m be u/(-10)*-4*10. Solve m = v + 3 for v.
1
Suppose 4*y - 4*o = 0, 0 = -y + 3*o - 7 + 3. Let j be (-5 - -7)/(y/12). Solve 2*u + j = -u for u.
-4
Suppose 3*v - 5*h - 30 = 0, -3*v + 4*h + 48 = 5*h. Let u be 1 - ((-91)/(-117) - (-2)/9). Solve 2*d - 7*d + v = u for d.
3
Let x(d) be the second derivative of -d**5/20 + d**4/3 + d**3/2 - d**2 - 6*d. Let n be x(4). Solve 3*q - n = q for q.
5
Suppose -27 + 25 = -2*g. Let k = g - -11. Solve 2*d - 5*d + k = 0 for d.
4
Suppose -y = -0*y. Let d(w) = -w + 8. Let c be d(-7). Solve c = -3*n - y*n for n.
-5
Let f = -6 - -6. Suppose 4*k - 9 - 27 = f. Solve -5*b - 11 = k for b.
-4
Let n be -2*(-4)/(-6)*-3. Let m(w) = w**2 + 3*w. Let l be m(-3). Let h = l + n. Solve 6*y - h*y = 0 for y.
0
Suppose 0 = 5*k - 8 - 2. Suppose -k*w = n - 5*n - 88, -w - 4 = 0. Let m be n/(-10) + (-15)/(-25). Solve -5 = m*s + 2*s for s.
-1
Let x(c) = c**2 + 5*c - 19. Let h be x(-8). Solve -6 = -h*a + 9 for a.
3
Let n(z) = -z**2 - 7*z + 4. Let h be n(-7). Solve h*v - 2 - 6 = 0 for v.
2
Suppose -25 = -4*s + a, -5*s + 2*a = a - 32. Suppose 3*x - 18 = 9. Let r = s + x. Solve 4*q = r - 4 for q.
3
Let g be -2 - (0 - (2 + 2)). Solve 5*t - g = -17 for