for z.
-2
Let m be (3/(4 + -10))/(2/(-20)). Suppose -1 = -f - 0*v - v, -f + 11 = -4*v. Solve -2 = -m*q + f for q.
1
Suppose -2*b + 18 = 4*z - b, 0 = -5*z + 3*b + 14. Solve -y + 3*y = -z for y.
-2
Suppose 0 = 153*n - 154*n. Solve -2*h - 2*h + 16 = n for h.
4
Let l(t) = -t**2 + 6*t + 2. Let x be l(6). Suppose 4*w = 5*m - 16, -m - x*m - 5*w + 17 = 0. Let r = m + -2. Solve 3*q + 1 = -r for q.
-1
Suppose -3*p = 2*v - 28, 2*p - 10*v + 14*v = 32. Solve 16*m - 13*m + p = 0 for m.
-2
Let a = 3 - 1. Let n be 23/(-46) + 1/a. Solve n = -p - 1 - 1 for p.
-2
Suppose -4*m - a = -5, 4*m - 5*a + 25 = 7*m. Solve -7*v + 2*v + 10 = m for v.
2
Suppose 6*h - h - 49 = 3*r, 2*r = 4*h - 36. Let k = r - -9. Solve -17 = 4*q - k for q.
-4
Suppose -4*u + 5*s = s - 8, 0 = u - 3*s. Solve -n = 2*n - u for n.
1
Let v be (-3)/2*2/3. Let y be (v/(-2))/(4/16). Solve -b + y - 3 = 0 for b.
-1
Let q(u) = u**2 - 9*u - 192. Let p be q(21). Solve -p = 14*g - 2*g for g.
-5
Suppose -3*k - 6 = -6*k. Suppose t = 4*m, k*m = -2*m + 4*t. Suppose 2*z - 3*z + 2 = 0. Solve m*u = u + z for u.
-2
Let r be 2 + 1 - (-67 + 53). Solve 9*y + 1 = -r for y.
-2
Let p(f) = -f**3 + 6*f**2 - 4*f - 2. Let c be p(5). Suppose -1 - 1 = -2*v, -4*v + 1 = -c*i. Let l = 7 + i. Solve l*a = 4*a for a.
0
Let h be (-142)/(-46) + (-26)/299. Suppose -5 = h*b - 17. Solve -4 + 0 = -b*x for x.
1
Let f be (-116)/(-10) + ((-14)/(-35))/1. Solve 0 = -5*o + f + 8 for o.
4
Suppose 2*p - q = 4, 2*p + 5*q - 14 = q. Suppose -8*o - 14 = -3*x - 10*o, 5*o - 28 = -4*x. Solve 0 = -p*r - x + 8 for r.
2
Let f be (2/4)/1 + (-72)/(-144). Let o be f/4 - 30/(-8). Solve -l - 10 = o*l for l.
-2
Let x(a) = 2*a - 8. Suppose -5*c + 2*n + 24 = -0*n, -2*n + 4 = 2*c. Let t be x(c). Solve g = -t*g - 3 for g.
-3
Let t(o) be the second derivative of o**3/6 + 3*o**2 - 3*o. Let f be t(-4). Solve f*d = 4*d + 10 for d.
-5
Suppose -2*l - l + 30 = c, 3*c + l - 66 = 0. Suppose -2*d + 23 = c. Solve -4*h - 15 = d for h.
-4
Let k(u) = -u**3 - u**2. Let o be k(-1). Suppose -2*g - 3*g = -10. Suppose 3*q + 2*s - 7 = -g*s, 2*q + 5*s = -7. Solve 4*c + q - 1 = o for c.
-2
Suppose 0 = 3*t - 5*t + 1972. Let y be t/255 + 4/30. Solve -3*b - 5 = -y*b for b.
5
Let g(a) = 11*a**2 + 5*a + 4. Let p be g(-2). Solve -35*z + 3 = -p*z for z.
-1
Suppose -28*z + 5*z + 69 = 0. Suppose 5*m - 4*x + 4 = 5, 5*x - 5 = 0. Solve m + 8 = z*w for w.
3
Suppose -3*o + z + 15 = 4*z, 0 = 5*o + z - 25. Let i(g) = -g**3 + 24*g**2 - 20*g - 65. Let l be i(23). Suppose 0 = -l*j + 8. Solve -y + j*y = o for y.
5
Let m(a) = 2*a + 1. Let i(z) = -12*z - 1. Let j(x) = -2*i(x) - 18*m(x). Let b be j(-3). Solve 5*d = -0*d + b for d.
4
Suppose -f + 0*p + 5*p = -4, -4*f = 5*p - 16. Suppose -f*z - 59 = -91. Solve 3*i - z*i + 15 = 0 for i.
3
Let k(x) = 2*x**3 + 19*x**2 + 29*x + 85. Let w be k(-8). Solve 14*v + w = 29*v for v.
3
Suppose 3*l - 3*c - 104 = 2*c, -l - c + 48 = 0. Let s = l + -38. Solve 5*j - s = 10 for j.
3
Let b(h) = -32*h**2 - h + 3. Let u be b(2). Let y = -122 - u. Solve 0 = -y*k - 2 - 3 for k.
-1
Let m(n) = -n**3 - 9*n**2 - 15*n - 7. Let f be m(-7). Solve f = k + 4 - 2 for k.
-2
Let i = -16 + 20. Let y be (-2 + -6)/2 + 8. Suppose 20 = p - 4*z, 0 = p - y*z + 3*z - 8. Solve 12 = i*u - p for u.
4
Suppose 4*x - 37 = -5*m, 18 = 5*m + 5*x - 22. Solve 2 - m = -h for h.
3
Let c = -33 + 66. Suppose -3*o - 12 = -3*j + c, 0 = -4*o + 16. Suppose -g + 20 - j = 0. Solve 4*r - 9 + g = 0 for r.
2
Suppose -3*k = 4*y - 27, -3*y + 10 = 5*k - 24. Solve 38*b - k = 33*b for b.
1
Let c = -7 + 10. Let j be -6*(7/42*2)/(-1). Solve -j*q = -7 - c for q.
5
Let y(a) = a + 5. Let o be 4*41/2 + -2. Let h be (o/(-24))/((-2)/(-3)). Let g be y(h). Solve g = 3*n - 0*n + 3 for n.
-1
Let a = -208 - -270. Solve a = -5*x + 37 for x.
-5
Let p = 48 - 45. Solve -s = -p*s for s.
0
Let m be ((-5)/(5/(-8)))/2. Let q(v) be the first derivative of -v**4/4 + 5*v**3/3 - 3*v**2/2 - 3*v - 4. Let x be q(m). Solve -5 = -2*l - x for l.
2
Let v = 9 - 26. Let z = -23 - v. Let l be 1/z + (-148)/(-24). Solve b = l*b for b.
0
Suppose -2*b - 12 = -3*v + 13, -v + 4*b + 25 = 0. Let f = 7 - v. Solve f*x - 3 + 1 = 0 for x.
1
Suppose 0 = -u + 5*l - 10, -3 + 5 = u + l. Solve 3*c + 7*c - 10 = u for c.
1
Suppose 2*g - 31 = -11. Suppose -93 + 81 = -2*k. Suppose a = 10 - k. Solve -3*d + g = a for d.
2
Suppose 5*b = 3*j - 20, -2*j - 2*b + 8 = -0*j. Suppose j*s = 2 + 8. Solve s*i - 2 = 4 for i.
3
Suppose -j - 19 = -20, 2*c + 4*j = 8. Solve -12 = c*d + d for d.
-4
Suppose 2*p - 4*p = -8. Let w(f) = -2*f**3 + 47*f**2 - 20*f - 63. Let s be w(23). Solve -p*k = -2*k - s for k.
3
Suppose 5*u = 2*u - 120. Suppose -3*g + 46 = 2*h, -2*g + 5*h = 2*g - 23. Let q be (-2)/6 - u/g. Solve 2*z - q = z for z.
3
Let l = -1530 - -1559. Solve -4*x - 37 = -l for x.
-2
Let g(m) = 2*m**3 + 2*m**2 - 12*m + 10. Let k be g(1). Solve -k*y = y + 12 for y.
-4
Suppose 6 = 2*j - 4. Suppose -l = 4*b + 451, 9 + 0 = -3*l. Let o = b + 112. Solve o*h - 15 = -j*h for h.
3
Let b(l) = 3*l**2 - 3*l. Let t be b(4). Let a be t/(-27)*3/(-2). Solve y + a*y = 9 for y.
3
Let p(j) = 2*j**2 + 8*j + 8. Let c be p(-4). Let z = c - 5. Solve 2*h - 2 = z*h for h.
-2
Let x = 375 - 375. Solve -z + 5*z - 4 = x for z.
1
Suppose -p - 4*p + 5*r = -65, 4*p - 2*r - 52 = 0. Solve -5*d = p + 7 for d.
-4
Let v = 32 - 18. Let a be (-1)/(-2)*140/v. Solve -a = r - 1 for r.
-4
Let u be -3 + 28 - 12*(-11)/44. Solve 13*o - 37 = u for o.
5
Let b = 571 + -569. Solve b*n = -2*n for n.
0
Suppose -15*f = -95 - 10. Solve 0 = f*o - 9 - 19 for o.
4
Let z(g) = g + 1. Let h be z(7). Let v = h - 3. Suppose 0 = 2*m + k - 11, -k = v*m + k - 26. Solve -16 = -5*y + m for y.
4
Suppose 0 = -2*f - k + 9, -3*k - 5 = f - 12. Solve -1 = -5*g + f*g for g.
1
Let r = -46 - 1. Let y = -45 - r. Solve 6*z - y*z = 12 for z.
3
Let b(q) = 2*q**2 - 7*q - 12. Let i be b(-2). Solve -i*z + 15 = -15 for z.
3
Let m be 2116/(-64) - (-4)/64. Let p be (-4)/(-6) + (-516)/(-9). Let r = m + p. Solve -6*l + r = -l for l.
5
Let o be (-8)/28*7*-2. Solve 0 = -6*f + o*f + 2 for f.
1
Suppose 0 = 20*g - 681 + 221. Solve -g*s + 18*s = 0 for s.
0
Let c(o) = o**2 - 6*o - 44. Let s be c(11). Solve 4*x + s - 31 = 0 for x.
5
Let b be (175/(-5))/7 + 9. Solve -b*y - 9*y - 65 = 0 for y.
-5
Let q = -90 - -45. Let y be ((-6)/9)/(6/q). Solve f + y = -0*f for f.
-5
Suppose 4*j = -2*y + 8, 75 = j + 5*y + 55. Solve 10*k - 16*k = j for k.
0
Suppose 5*w = 7 - 47. Let s be w - (2/2 + -5) - -7. Solve 0 = -s*o + 4*o - 4 for o.
4
Suppose 0 = y + 464 - 489. Let j(g) = -g**2 - 6*g + 3. Let a be j(-6). Solve a*c + 10 = y for c.
5
Let n(c) = -c**3 + 15*c**2 - 2*c - 166. Let i be n(14). Solve -i*j - 12 = 2*j for j.
-3
Let j(y) = -y**3 + 4*y**2 + 57*y + 14. Let w be j(-6). Solve -w*i - 4 = -36*i for i.
1
Let f = -15 + 9. Let z = f + -11. Let k = z + 22. Solve 0 = k*l - 4 - 6 for l.
2
Suppose -27 + 6 = -3*p - 3*s, 0 = 3*p + 5*s - 29. Solve 0 = -p*l + 5 - 8 for l.
-1
Let q be (2 - 1) + 14/(-2). Let x = -18 + 8. Let a = q - x. Solve 0 = a*c + c for c.
0
Let o(h) = -h**3 - 8*h**2 - 2*h - 12. Let t be o(-8). Let i = 4404 - 4402. Solve -i = -m - t for m.
-2
Let i(s) = s**2 + 16*s - 25. Let q be i(-18). Let k = q - 6. Solve 0*y = -k*y + 25 for y.
5
Let u(p) be the second derivative of 0 - 1/2*p**2 + 1/4*p**4 - 1/3*p**3 + 2*p. Let t be u(-1). Solve -j + t = 9 for j.
-5
Let b(u) = -u**2 + 24*u - 30. Let z be b(18). Let k be z/19 - 2/19. Solve 0 = -k*d - 4 for d.
-1
Suppose 21 = 120*j - 117*j. Solve 11*r - j*r = 12 for r.
3
Suppose -182 = -4*i + 2*t, 0 = -7*i + 2*i - 5*t + 205. Let x = i - 40. Solve k - x = -3 for k.
1
Suppose -4*h - 2*u = -20, -5*u = 2*h - 7*h - 5. Let w(t) = -7 - t**3 - 2 - 6*t**2 - h*t + 3. Let a be w(-6). Solve 0*k - a = 4*k for k.
-3
Suppose 4 = -i + 5. Let x be 3/i - 3/1. Suppose 3*k + 5*t - 5 = x, -2*k - 4*t = -0*k - 2. Solve 0 = u + 4*u - k for u.
1
Let c = 357 - 334. Solve c - 3 = 5*y for y.
4
Suppose n = -4 - 3. Let o = 11 + n. Suppose o*t + s + 0 = 5, s + 3 = 0. Solve m = -m + t for m.
1
Suppose -2*g = 5*y - 16, 5*g - 16 = -5*y + 9. Suppose 4*p = 37 + 3. Suppose 3*u = -2*x + p, 0 = x - 0 - 2. Solve -y - u = r for r.
-4
Let s be 5 + (21/(-7) - 0). Suppose 25 = a - 3. Suppose -z = 0, -4 - a = -4*x - s*z. Solve k = -k - x for k.
-4
Suppose 14 + 16 = 3*l. Let g = l - 10. Solve -6*j + j - 5 = g f