 z.
-1
Let z = 4 + -5. Let k be (-10 + 10/5)*z. Solve -12 = 4*c - k*c for c.
3
Suppose 0 = r - 4*p + 14, 5*p - 24 = 7*r - 9*r. Solve 2*j + 12 = -r*j for j.
-3
Suppose -5*c + 2*y + 160 = 0, -44 = -c - 0*y - 2*y. Solve 40*b - c*b + 24 = 0 for b.
-4
Let y = -13 + 9. Let v = -12 - y. Let a = v + 10. Solve 4 - a = -u for u.
-2
Suppose 0 = -3*w + 6*w - 42. Let u = w - 12. Solve -u = -f + 1 for f.
3
Suppose 5*k - 135 = -3*v, 28 = 2*k + 9*v - 13*v. Solve -k + 12 = -4*z for z.
3
Suppose 14*b - 39*b + 350 = 0. Solve 0 = -3*p - 1 - b for p.
-5
Let o be (203/21 + -6)*6. Solve 24*r + 2 = o*r for r.
-1
Let m(z) be the first derivative of -z**4/4 + 5*z**3/3 - 4*z**2 + 6*z - 2. Let u be m(3). Solve -k - 4*k = u for k.
0
Suppose 0 = -29*l + 3*l + 52. Solve 0 = l*j - 1 + 1 for j.
0
Suppose 3*m = i + 129 - 22, -5*m - 2*i = -182. Solve 0 = -d - 8*d + m for d.
4
Let v(t) = -t**3 + 14*t**2 - 2*t + 13. Let n be v(14). Let o be 10*(-2)/(-10)*n/(-6). Solve 3 + 2 = -o*b for b.
-1
Let d be 2 + (-102)/48 - (-1298)/16. Suppose d*l + 28 = 85*l. Solve 12*c - 25 = l*c for c.
5
Let w be 4*4/40*-5. Let t be -6*w/(16/4). Suppose -2*y - t*y = -4*n + 42, 3*n + y - 22 = 0. Solve 7 = 5*f - n for f.
3
Suppose l + 4*o + 9 = 0, 3*o - 2*o - 12 = -5*l. Suppose -w = l*p - 23, -2*w - 5 = -2*p + 21. Solve 2*m = -m + p for m.
3
Let h be (-12)/(-8)*20/6. Let c = 7 - h. Let v(u) = -u + 8. Let a be v(c). Solve -5*k + a = -2*k for k.
2
Let n be (-3)/2*(-1 - 1). Let y(g) = g**3 - 4*g**2 + g - 3. Let c be y(4). Suppose 25364*d - 25352*d = 17 + 7. Solve -c = -d*x - n for x.
-1
Let o(t) = 3*t + 1. Let s be o(5). Suppose -3*c - s = -4*c. Solve 0*g + c = 4*g for g.
4
Let w(a) = a + 66. Let t(p) = -33. Let n(g) = 7*t(g) + 3*w(g). Let k be n(12). Solve -k*q - 2*q = 0 for q.
0
Suppose 0 = 3*k - 7 - 38. Suppose k = 3*t + 2*t. Solve 3 = -3*g - t for g.
-2
Let p = 9 + -8. Let y = p - 0. Let x(z) = -z + 1. Let g be x(y). Solve g*i - 2*i = -10 for i.
5
Let x be (-48)/(-20) + -3 + (-54)/10. Let f be (x - -7) + 1 + 8. Solve d + d = f for d.
5
Suppose 0 = 2*g, 3*g = -4*b + 2*b - 16. Let z be ((-4)/(-5))/(b/(-20)). Solve 0 = m + z*m for m.
0
Suppose -2*t - 14 = 4*v, -3*t + 16 - 32 = 5*v. Solve 8*d + 15 = t*d for d.
-3
Let z be -5 + (4/(-6))/((-30)/225). Solve -7*b - 14 = -z for b.
-2
Let g(h) = h**2 - 6*h - 49. Let n be g(11). Suppose 5*m = q + 8*m - 13, 2*m + n = 3*q. Solve -3*u + q*u = 2 for u.
2
Let m(v) = -v**3 + 6*v**2 - 4*v - 2. Suppose 10*t - 15 = 7*t. Let a be m(t). Solve a + 3 = 2*p for p.
3
Suppose 0 = 5*p + 10, 4*k - 125 = 2*p + 75. Let n = k - 44. Solve m + 12 = n*m for m.
3
Let f(n) be the first derivative of 3/2*n**2 - 9*n - 6. Let x be f(4). Solve -5*s - 8 + x = 0 for s.
-1
Let w(u) = -u**3 - 12*u**2 + 26*u - 18. Let t be w(-14). Suppose 0 + 4 = 2*y. Suppose -y*d + 5 = -d. Solve 0 = -d*v + 3*v + t for v.
5
Let s(g) be the first derivative of 4*g**3/3 + g**2/2 + 4. Let h be s(1). Solve h*c + 25 = 10 for c.
-3
Let j(z) = -2*z**2 + 20*z - 40. Let g be j(7). Solve g*w - 30 = -8*w for w.
3
Let j(d) = d**2 + 6*d. Let v be j(-6). Let r = 109 + -108. Solve -p = -v - r for p.
1
Let r be (-7 - -7)*2/(-6). Let u be (3 + r + -7)/(-2). Suppose -3*q - u*q = -4*i - 14, -5*i - 7 = -q. Solve 0 = 2*m - 4*m + q for m.
1
Let r be (-4)/(-8) + (819/(-14))/(-9). Solve -r*d + 9*d - 8 = 0 for d.
4
Let x be ((-2)/3)/((-2)/9). Let l = 26 - 24. Let p be l + 2*(-10)/(-2). Solve 3*o - x = p for o.
5
Suppose 2*v = 5*v - 96. Suppose -4*p = -4*j - v, 2*p - 3*j - 28 = -2*p. Let c(n) = n + 5. Let y be c(11). Solve 4 = p*k + y for k.
-3
Let p(c) be the second derivative of -c**5/20 + 5*c**4/6 - 4*c**3/3 - 4*c**2 + 14*c. Let l be p(9). Solve n - l = 2*n for n.
-1
Suppose -168 = -11*s + 4*s. Let b = s + -22. Solve -5*d + 3*d = b for d.
-1
Let i be (-4)/(4 + -12)*0. Suppose 0 = 5*k + 5*z - 3 - 7, 4*k - 12 = -2*z. Suppose -k*s + 5*r = i, -2*s - 3*r + 4*r + 6 = 0. Solve g = 2*g - s for g.
5
Let w(b) = b**3 + 7*b**2 + 5*b - 6. Let i be w(-6). Suppose i*s = s - 5. Solve 4*z = -z + s for z.
1
Let t = -134 - -136. Solve b - t = 2 for b.
4
Suppose -72 = -4*t - 0*f + 3*f, -55 = -3*t + 2*f. Solve 3*x + 12 = t for x.
3
Let l(y) = -y**3 + 7*y**2 - 11*y + 5. Let f be l(5). Suppose -8*w = -f*w - 16. Let h be (-4)/(2*(-2 + 1)). Solve -h*m = w*m for m.
0
Let w(n) = -2*n + 1 - n + 2*n. Let y be w(-3). Suppose 3*b + 10 = y*r + b, -2*r + 11 = 5*b. Solve -2 + r = -d for d.
-1
Suppose -5*j = -3*j - 2. Let h be 5 + 0/1 + j. Solve d = -h + 1 for d.
-5
Let v be (-3 + 2 - -3) + 30. Suppose 5*h - f = -3*f + 15, -f = -2*h + 15. Suppose -4*y + 0*c - h*c + 31 = 0, -5*y - 4*c + v = 0. Solve y*t + 1 = 21 for t.
5
Let m(o) = -o**2 - 3*o - 2. Suppose h - 8 = -2*p, 7 - 26 = -3*h - 5*p. Let c be m(h). Solve c = -w + 5*w - 16 for w.
4
Let l = -21 - -24. Suppose -4*o + 6 = -l*o. Solve o + 0 = 2*g for g.
3
Let k be 0/(-2 - 0 - (-15 - -11)). Solve k*h = 2*h + 6 for h.
-3
Let r(h) = -h**3 + 12*h**2 - 11*h + 6. Let b be r(11). Suppose -4*q = -b*q - 5*x + 16, x + 4 = 2*q. Solve 0 = 2*c + q + 5 for c.
-4
Suppose v = m + 19, m + 14 = -2*v - 2*v. Let j be (4 - (-12)/(-8)) + m/12. Solve -3 = a + j for a.
-4
Let m be 0*(2 + -8 - -5). Solve t = -m + 3 for t.
3
Suppose 19*w = -33 + 128. Solve -w*l - l = 12 for l.
-2
Let v(o) = -o - 4. Let f be 24/4*(-1 - 0). Let m be (f/(-9))/((-2)/18). Let p be v(m). Solve -5*a + p*a = 15 for a.
-5
Let k(i) = -i**3 + 6*i**2 + 8*i - 1. Suppose 2*t - 2 - 12 = 0. Let m be k(t). Let l = 11 - m. Solve 5*q = -l - 15 for q.
-4
Let b(n) be the second derivative of -n**3/6 + 3*n**2 + 4*n. Let r be b(0). Suppose -4*l = -l - r. Solve m = -l*m - 3 for m.
-1
Suppose -7*r - 660 = -51*r. Solve -f - 18 = -r for f.
-3
Let d(c) = -c**3 + 4*c**2 - c + 4. Let u be d(4). Let h be (7/(-4))/(9/(-36)) - 5. Solve -q + 0 - h = u for q.
-2
Let x = -308 - -333. Solve 7*a - 2*a + x = 0 for a.
-5
Let s = 187 - 174. Solve 8 = -s*x - 57 for x.
-5
Suppose -5*c = -21 + 1. Suppose c = -3*n + 1. Let h = n - -4. Solve -t + 8 = h*t for t.
2
Let m = -76 - -86. Let x be 29/(-145) - (-42)/m. Solve x*c = -0 + 4 for c.
1
Let n = 97 + -79. Let w = -14 + 19. Solve -w*z + 3 = n for z.
-3
Suppose -4*u + 19 = t, 0 = 16*u - 13*u - 2*t - 17. Solve u = 5*h - 20 for h.
5
Let t(o) = 4*o + 16. Let y be t(-4). Solve y*v - 2 = -v for v.
2
Let j be 0/((-7)/(-5) - 9/(-15)). Solve 7*u + 4 + 24 = j for u.
-4
Suppose 0 = -o + 5*o. Suppose 2*c - 4*c + 10 = o. Suppose 0*m = m - 7. Solve -3 = c*s + m for s.
-2
Let q = 76 + 44. Let x = 120 - q. Solve x = 4*k - 5 + 17 for k.
-3
Suppose 3*d - 7 + 0 = -p, 0 = -5*p - 4*d + 24. Let q be ((-120)/8 + 6)/(-3). Solve q*b = p + 5 for b.
3
Let a = -63 - -68. Suppose 0 = -7*c + a*c. Solve -5*v = -c*v - 20 for v.
4
Suppose 5*r - 192 = -7*r. Suppose -r*s + 0*s + 32 = 0. Solve -s = t - 0 for t.
-2
Let m be (-2)/(-1)*6/2. Suppose m*s = s + 100. Let q = -9400 - -9408. Solve s = q*w - 3*w for w.
4
Let a be (-76)/(-14) + (-8)/(-168)*12. Solve 3*q = a*q + 15 for q.
-5
Suppose 0 = -h + 1 - 6, 2*x - 3*h - 165 = 0. Solve -25*s = -10*s + x for s.
-5
Let x(y) = -3*y - 4. Let d(i) = 8*i + 11. Let g(f) = -4*d(f) - 11*x(f). Let l be g(5). Let n(o) = o - 23. Let u be n(29). Solve l*w = u*w - 5 for w.
5
Let y = 477 + -477. Let s(x) = -x**3 + 6*x**2 - 4*x + 5. Let z be s(5). Suppose -4*o + 8 = -2*r, 4*o - 12 = -5*r + z. Solve y = a - r*a for a.
0
Let s be ((-12)/15)/(4/(-50)). Solve -4*g + s = -2 for g.
3
Let m(d) = d**2 - 10*d + 3. Let i be m(10). Suppose -i*y + 0*y + 33 = 0. Let c = y - 9. Solve -7*u + 6*u + c = 0 for u.
2
Let l = 62 + -133. Let f = l + 74. Solve -2*n - f*n = 0 for n.
0
Suppose -4*v + 52 = 5*i - 13, 30 = 5*v - 4*i. Solve -6*z = -z - v for z.
2
Let f = -44 + 49. Let h(c) = -4*c. Let w be h(-3). Solve 2*k - f*k = -w for k.
4
Suppose 0 = 2*l + 5*g + 3, 4*l - l - 1 = -2*g. Let h(v) = 4*v**3 + 1. Let w be h(l). Suppose m - w*k = -9, 2*m - 3*k = -0*m + 17. Solve -o = -5*o + m for o.
4
Suppose -24*n = -25*n + 165. Let v = n + -163. Solve -2*h - 20 = v*h for h.
-5
Let x be 204/33 + 6 + 476/(-77). Solve 0 = -11*t + 50 - x for t.
4
Let o = 537 - 530. Solve 19*z - 36 = o*z for z.
3
Let x(n) = -n + 6. Let b be x(4). Let j(q) = q**3 - 34*q**2 - 73*q + 36. Let y be j(36). Suppose b*k = -y*k. Solve 4*f - 12 + k = 0 for f.
3
Let t(h) = h**2 - 8*h + 3. Let p be t(3). Let l be 3*(-1 - 2