
-2
Suppose -72 = -2*z - 2*z - u, 3*z - 5*u - 77 = 0. Suppose -21*i + z*i = -2. Solve c = 4 + i for c.
5
Let b(y) = -y + 10. Let p be b(0). Solve -p*h + 4*h + 12 = 0 for h.
2
Let d(v) = v**3 - 9*v**2 - v + 12. Suppose 0 = -7*u + 2*u + 45. Let o be d(u). Solve -o*h = -7 + 1 for h.
2
Let y(f) = -18*f - 63. Let i be y(-5). Suppose -26*o = -i*o + 4. Solve r - o = 1 for r.
5
Let s(o) = -7*o + 42. Let k be s(5). Solve -48 = -k*j + 31*j for j.
-2
Let a(d) = 2*d**2 - 12*d - 10. Let g be a(7). Suppose g*y - 9 - 7 = 0. Solve -2*f = -y*f - 2 for f.
-1
Let c(w) = -w. Let z be c(-3). Let k = -32 + 53. Let m = k + -19. Solve -z*v - m*v = 0 for v.
0
Let d be ((-4)/10)/((-7)/175). Let n be d/15*90/2. Suppose -4*m = m - n. Solve 4 - m = z for z.
-2
Let z(c) = -c**2 - 28*c + 174. Let a be z(-33). Solve a*x = -5*x + 56 for x.
4
Suppose 9 = -x + 4*x. Suppose x*o = 2*o. Suppose o = z - 0*z. Solve -3*v + z = 15 for v.
-5
Let t be (12/(-18)*15)/(1 + -3). Solve 14 + 6 = t*s for s.
4
Suppose -2*r - 7*r = r. Solve -3*f + 5*f = r for f.
0
Let j(a) be the first derivative of -a**4/24 - a**3/2 + 5*a**2/2 - 6. Let t(d) be the second derivative of j(d). Let o be t(-6). Solve -o*w + w = 2 for w.
-1
Suppose 92 = 4*t + 72. Solve 3 = t*z - 22 for z.
5
Let x(u) = u**2 + 15*u - 3. Let c be x(-16). Suppose -17 = -f - c. Solve -3*k + f + 5 = 0 for k.
3
Let n be -7*4*(2 - (-15)/(-10)). Let c be ((21/n)/(-1))/(6/8). Solve -c*j = 2*j + 16 for j.
-4
Let m be (-9)/21 - (-108)/7. Let q = m - 13. Solve g - q = 3 for g.
5
Suppose 5 - 11 = -c. Let w(q) = -q**2 - 7*q - 8. Let b be w(-7). Let x be c*(-4)/b*1. Solve 0 = -x*n + 2*n + 1 for n.
1
Suppose -5*j - 2*d = -110, -9*j - 5*d = -5*j - 88. Suppose j = -3*q - 5*b, 4*q + 27 = 6*q - 5*b. Solve -x + q = 4 for x.
-3
Suppose 0*m - 2 = 2*m. Let w = m + 10. Let f be 24/w - (-6)/(-9). Solve f*d + 0*d = 0 for d.
0
Let y(n) = 4 - 7*n**2 - 3 + 8*n + 6*n**2 + 4*n. Let b be y(12). Solve b = -2*r + 3*r for r.
1
Let z(w) = -3*w - 1. Let a be z(-3). Suppose o = -3*o - a. Let b(d) = -d**2 - 4*d. Let t be b(o). Solve -t = -7*j + 3*j for j.
1
Suppose -5*i = c - 31, 0 = c - 4*i - 50 + 19. Let m = -24 + c. Solve -4*a = -1 - m for a.
2
Let s = -7089 + 7093. Suppose 2*m - 30 = -4*y, -6*m - 9 = -4*y - m. Solve -t + s*t = -y for t.
-2
Suppose -m + 14*g - 16*g = 1, 5*g + 1 = -3*m. Suppose 0 = -3*v + 4*c + 41, 0 = c + 3*c + 20. Solve m*b = -v + 19 for b.
4
Let d = 30 + -33. Let h be 2/3 + 5/15. Let c be 0*d/9*h. Solve k = -c*k for k.
0
Let d(q) = -5*q + 10. Let h be d(3). Let n(y) = -y**3 - 4*y**2 + 6*y + 8. Let s be n(h). Solve -u = s*u for u.
0
Let w(o) be the first derivative of -5*o**2/2 - 13*o - 8. Let l be w(-6). Let p be (-2)/(-9) + 32/18. Solve -p = 5*c - l for c.
3
Let f be 85/35 - 6/14. Let j be f*69/(-6) + -3. Let d = -18 - j. Solve d = 3*z - z for z.
4
Let r be (12 - (-1 - -2))*1. Let c = 26 - r. Solve 10 = 5*b - c for b.
5
Let g(l) = -2*l**3 + l**3 - 2*l**2 + 0*l**3 + 0*l**2 - 2 + 13*l. Let i be g(-5). Solve f - i = -5 for f.
3
Let k(t) = -14*t + 7. Let y be k(9). Let d = 120 + y. Solve d = -n - 1 for n.
-2
Suppose -6*g - 5*g = -5*g. Solve 0*p + 5*p - 10 = g for p.
2
Let z = -24 + 24. Let c(m) = -2 + z + 2*m - 1. Let n be c(3). Solve n + 2 = -a for a.
-5
Let d be -7 - (-11 - 4) - (2 + 1). Solve -d*f - 2 = -7*f for f.
1
Let b(w) = 13*w**2 - 15*w - 15. Let n be b(-1). Solve j - 56 = -n*j for j.
4
Suppose -a + 7 = -n, -3*a - 5*n - 9 = -22. Let u = 1 - a. Let i = 7 + u. Solve -2*d = i*d for d.
0
Let v = 7 + -4. Suppose v*g + g = 16. Let u be 1 + -1 + g/2. Solve 0 = 3*m + u*m + 20 for m.
-4
Suppose -72 = -5*o - a, -2*o + 21 = -2*a + 5*a. Suppose -4*z + 8 - 28 = -3*l, l - 3*z = o. Solve -3*h + 6 = -l*h for h.
2
Let o(s) = -2*s**2 + s + 5. Let f be o(3). Let m(h) = -h**2 - 13*h - 25. Let p be m(f). Solve p*k - 8 = 3*k for k.
4
Suppose 2*b - 20 = -r - 2*r, 0 = -5*r + 2*b + 12. Solve 6*p = -8*p + r*p for p.
0
Let m(x) = -x**3 - 14*x**2 - 12*x + 15. Let l be (-3)/(18/(-39))*-2. Let u be m(l). Suppose 3*d = 7 + u. Solve 0*k + k = d for k.
3
Suppose 4*x - 15 = 2*b - 3*b, -3*x + b + 6 = 0. Let r be 55/15*x + -1. Solve r = 2*n + 3*n for n.
2
Let z(y) = 24*y**2 - 9*y + 9. Let u be z(1). Solve q - u = -7*q for q.
3
Let i(g) = 2*g**2 - 6*g - 6. Let n be i(6). Suppose n + 320 = 5*y. Suppose 3*l = -5*z + y, 2*z = -2*l + 35 + 5. Solve 0 = 4*f - 7*f + l for f.
5
Let k be (-4)/10*(-20)/(-2). Suppose i = 2*m + 3, 0 = -4*m + 32*i - 27*i + 9. Let g = k - m. Solve -3*y + y = g for y.
0
Let w be ((-64)/80)/(1 + 162/(-160)). Let g = 68 - w. Solve 0 = 3*k - g*k - 3 for k.
-3
Let y = 84 - 48. Let m = y + -31. Solve -m*b + 10 = -0 for b.
2
Let l(q) = -2*q - 66. Let r be l(-35). Solve -r = 20*y - 19*y for y.
-4
Let c(m) = -m**2 - 20*m + 72. Let w be c(-23). Solve w*f + 9 = 6*f for f.
3
Let x(s) = s**3 - 2*s**2 - 3*s. Suppose 3*u - 24 = -5*g, 0*g + 21 = 3*u + 4*g. Let q be x(u). Suppose -8688*d + 8687*d + 2 = 0. Solve q*y - 8 = -d*y for y.
4
Let a(c) = c**2 - 4*c + 2. Let m be a(4). Suppose 4*v - m*v = 4. Let x be 44/77 + 8/(-14). Solve s + v = -x*s for s.
-2
Let a(d) = 99 - 27 - 3*d**2 + d**2 - 20*d + d**2. Let c be a(-23). Let l(y) = y - 2. Let b be l(3). Solve c*r + 8 = -b for r.
-3
Let w(y) be the second derivative of y**5/20 + y**4/4 - 13*y**3/6 - 11*y**2/2 - 16*y. Let n be w(-5). Solve n - 16 = 4*j for j.
-3
Let z(f) = -f**2 - f + 1. Let v be z(-1). Let l be ((-4)/(-4) - 2) + v. Solve l = -3*q + 2*q - 4 for q.
-4
Let i = -2 + 3. Suppose -29 = -3*f - 4*q, -3*f - 31 = q - 45. Suppose f*n - 14 = i. Solve 0 = n*s - s for s.
0
Let t(x) = x. Suppose 4*v = 4*h, 4*h + 2*v = -0*v - 18. Let b be t(h). Let d be 4/b*(-81)/18. Solve 2*c = d*c + 16 for c.
-4
Let o(p) = 3*p**3 + 21*p**2 + 16*p + 34. Let i be o(-6). Solve i*y = 48*y + 8 for y.
-4
Let a(b) = b**3 + 4*b**2. Suppose -3 = 2*z - z. Let k be a(z). Solve -n = -4*n - k for n.
-3
Let o(k) = 18*k - 9. Let g be o(7). Let a be 26/g - 68/(-18). Solve 0*s - a = s for s.
-4
Suppose 19*p + 2442 = 52*p. Solve -p = g - 69 for g.
-5
Let s(b) = 4*b**3 - b**2 + 1. Let m be s(1). Suppose 0 = m*u - 9 + 1. Solve 0 = -0*n + u*n - 10 for n.
5
Let n(q) = 3*q + 1. Let s(d) = -5*d + 7*d - 2*d**2 + 2*d**2 + d**2 + 1. Let y be s(-2). Let p be n(y). Solve -p*w = -0*w for w.
0
Let y(f) = 2*f + 8. Let r = 16 - 20. Let z be y(r). Suppose z = w + w. Solve -4*b + 0*b = w for b.
0
Suppose 3*o = 32 + 22. Let p(z) = z + 23 - o + 0*z. Let n be p(-5). Solve n = -u + 4*u - 15 for u.
5
Let w be (-2)/13 + (-486)/(-117). Suppose 2*k = -c + 4*c + 2, -4*k + 4*c = -w. Solve -9 = -5*l + k for l.
2
Suppose 2*r + 16 = 5*k, 3*k - 2 = 4*r + r. Suppose -2*w + 2*l = -4, -r*l = 4*w + 4 - 18. Let b be 1/(w/156*4). Solve 0 = 4*h - 5 + b for h.
-2
Let q be (-9 - -4) + -2*(-8 - -3). Solve -q*d + 42 = 17 for d.
5
Suppose -23 = -7*h + 12. Solve -h*z - 3 = -8 for z.
1
Let l = 14 + -22. Let g(a) = -3*a - 22. Let k be g(l). Solve k = t - 0 for t.
2
Suppose 76 - 32 = 4*z. Solve 0 = -15*f + z*f for f.
0
Let c(u) = 11*u - 2*u - 2*u - 2 - 8*u. Let x be c(-3). Let s be (x + -4)/(-6)*2. Solve -3*i = -s - 5 for i.
2
Let f(s) = -s**2 - 3. Let n be f(3). Let b = 17 + n. Suppose b*j - 71 = -3*y, 3*j - 4*y = -0*y + 60. Solve c = -3*c - j for c.
-4
Suppose 92*q + 6 = 94*q. Solve q*c + 27 = -6*c for c.
-3
Let j be -91 + ((-8)/(-16))/(1/(-2)). Let g = j - -92. Let n = 9 - -3. Solve g = -z - 3*z + n for z.
3
Let z be ((-5)/((-75)/(-18)))/((-9)/60). Solve u - z = 9*u for u.
-1
Let b = -55 + 55. Suppose b = -24*d + 27*d - 12. Solve -3*g = -g + d for g.
-2
Let v be 3*-5*(-2)/(-6). Let z = v - -22. Let x = 21 - z. Solve -1 = x*r + 7 for r.
-2
Suppose -5*k = 4*n - 96, -n + 17 + 22 = 2*k. Solve i - k = -17 for i.
3
Let c(x) = 3*x - 1. Let t be c(1). Let o = -29 - -39. Suppose 8 = -o*a + 12*a. Solve 0 = t*r + 6 + a for r.
-5
Let n be (2 - 35/15)/((-1)/9). Suppose -5*o + 8 = -o. Solve o*f = -n*f for f.
0
Let v = -949 + 951. Solve -3*q = -2*q - v for q.
2
Suppose 5*g - g - 16 = 0. Suppose 2*y = -g*m + m + 15, -y - 3*m = -15. Solve y = q - 4*q for q.
0
Let c = 994 - 987. Solve -c + 1 = 3*p for p.
-2
Suppose 5 = -4*g + 5*i - 12, 3*g + 4*i = 26. Suppose -5*s = -c - 23, -5*s + g*c - 4*c + 29 = 0. Solve -3*r - s = 10 for r.
-5
Suppose 67 - 159 = -46*g. Let c = -6 - -6. Solve -g*b - 2*b = c for b.
0
Suppose -11*w + 0*w