- 4. Let p be n(k). Solve -p*a + 3 = -a for a.
3
Let h(n) = -n + 10. Let k be h(7). Suppose 0 = 4*q + 16, 0*q = 4*m + 2*q - 12. Suppose -4*o + a = -8, 0 = -m*a + 5 + 15. Solve -k = -2*d + o*d for d.
-3
Suppose -10*w + 4*w = -12. Suppose -w*z = -6*z. Solve z*o - 8 = 2*o for o.
-4
Let m(b) = -b**2 - 14*b + 4. Let f be m(-14). Suppose -5*p + f*p = -6*p. Solve -2*v + 2 + 2 = p for v.
2
Suppose -5*o + 3*t + 16 = 0, -2*t = o + 3*o - 4. Suppose 32 = 2*v + 2*w, -v - 5*w = -18 - o. Solve v - 3 = 3*f for f.
4
Let j(g) = -2*g**3 - 7*g**2 - 8*g + 1. Let b be j(-2). Solve 0 = b*t - t - 2*t for t.
0
Suppose -5*l + 2*o = -239, 4*o = -l + 4*l - 149. Solve l*h = 41*h + 12 for h.
2
Suppose -19 = 5*f - 39. Suppose 2*x = x + 7. Let a = -5 + x. Solve -2*q - f = a*q for q.
-1
Suppose -5*v + 29 = 4*x, -2*x = -0*v + 2*v - 14. Solve x = -s - s for s.
-3
Suppose -25 = 4*l - 9. Let m be ((-1)/l)/((-1)/(-4))*2. Solve -5*r = m - 17 for r.
3
Let s(m) = -m + 4. Let a be s(4). Suppose 0 = -a*n + 5*n. Suppose -9*g + 1646 - 1619 = 0. Solve n = -3*f + g + 9 for f.
4
Suppose -17 = -5*a + 2*o - o, -3*a - 2*o + 18 = 0. Suppose 0 = -2*v + v + 2. Solve a*r = 10 - v for r.
2
Suppose 16*z - 31*z + 75 = 0. Solve -16*y - 11 = z for y.
-1
Let c(p) = -p - 2. Suppose z + 3*z + 8 = -2*b, -5*b + 3*z = 20. Let a be c(b). Solve -a*i - 8 = -6*i for i.
2
Let w(o) be the third derivative of o**4/24 - 5*o**3/2 - 16*o**2. Let q be w(15). Solve -l + q*l = 4 for l.
-4
Let r = -30 - -33. Suppose 0*l + 12 = 3*l + r*o, 5*l - 50 = o. Solve -3*h - l = -0*h for h.
-3
Let j = -34 - -7. Let k = -30 - j. Let n = 9 - k. Solve -3*v + n = -0*v for v.
4
Let b = 6 - 2. Suppose -l + 20 = b*l. Suppose -4*h - h + 23 = 4*f, 2*h + 46 = 3*f. Solve -l*r + 0 + f = 0 for r.
3
Suppose -6*z + 180 = -2*z. Let g = 48 - z. Let j(w) = -w**3 - w**2 + 2*w + 2. Let f be j(-2). Solve f = g*o + 17 for o.
-5
Let f be (0 - 2/1)/(-1). Let l(h) = -h + 2. Let i be l(f). Let c = 10 - i. Solve -t = -6*t - c for t.
-2
Let w(m) = -m**2 + 7*m + 14. Let r be w(8). Suppose 4*k = 3*c - 20, -r = -3*c + 3*k + 9. Solve -2*j + c*j = 0 for j.
0
Let j be (0 - (0 + 1))*-2. Let m(x) = 2*x + 11. Let o be m(-4). Let n be (4/o)/(-3*(-9)/81). Solve -n*q = -j*q - 2 for q.
1
Let b(p) = p**3 - 4*p**2 + 2*p + 6. Let t be b(3). Solve -t*a = a for a.
0
Let q(w) = -w**2 + 3*w + 6. Let h be q(4). Suppose -2*t = -0*t + h*v - 10, 0 = 3*t - 2*v - 15. Let k be t/2*(-60)/(-50). Solve k*u = u + 2 for u.
1
Let i(v) = 2*v + 3. Let t be i(1). Solve t*b - 26 + 46 = 0 for b.
-4
Let r be 0*5/30*-1. Suppose -4*v - h + 1 = 0, -2 = 3*v - h - 1. Solve r = z - v + 4 for z.
-4
Suppose -15*n = -14*n - 18. Suppose 0 = -4*k - 5*i - n, 0 = -0*k - 3*k + 3*i - 27. Let a(l) = l**2 + 8*l + 8. Let c be a(k). Solve -o + 0*o = -c for o.
1
Let h(m) = -14*m + 290. Let y be h(20). Solve -32*v + y = -22*v for v.
1
Suppose -41 = 16*b - 89. Solve 15*x = b*x + 36 for x.
3
Suppose -4*h - 6*n + n = 7, -13 = h + 5*n. Suppose 0*r - 2*r = 0. Solve y = -r*y - h for y.
-2
Let q be 2*1 + (-873)/(-9). Suppose 4*f - q = f. Suppose -4*n - 13 = -f. Solve -4*v - v + n = 0 for v.
1
Suppose -4*f - 8 + 16 = 0. Suppose j - 3*t = 3*j - 6, 0 = -2*j + 2*t - 4. Solve f = -j*i + i for i.
2
Suppose 9 = 3*s, -5*g + 3 = -2*s - 2*s. Solve -10 = w - g*w for w.
5
Suppose -2*t = -133 + 37. Suppose 3*g = 5*l + 672, -5*l = 2*g + t - 471. Let q be 4/10 - g/(-15). Solve 4*h = -3 + q for h.
3
Suppose a - 10 = c - 3*a, 16 = 4*a. Solve c*p = -2 - 16 for p.
-3
Let g(k) = -k + 22. Let j be g(18). Let w be j + (-18)/22 - 2/11. Solve w*t = 10 + 2 for t.
4
Suppose k - v - 10 = 0, 5 + 31 = 3*k + 3*v. Solve -11*u + 0*u = -k for u.
1
Let a be (-4)/(-2) - -1*(8 - 2). Solve 0 = q - 3 + a for q.
-5
Let m be (-3 - -1) + (3 - 13). Let g be (m - 2)*(-6)/21. Suppose -g = 2*p - 10. Solve 0 = 4*o - p*o + 3 for o.
-3
Suppose -1016 = -5*k - w, 0*k + k = 3*w + 216. Let z be (-1)/(-6) + k/72. Solve -z*h - h - 4 = 0 for h.
-1
Let b = 1474 - 1474. Solve 0 = -3*a - b*a + 9 for a.
3
Suppose 34 - 34 = -22*j. Let t(l) = 3*l**2. Let s be t(1). Let f(d) = d + 1. Let p be f(1). Solve -c + p*c - s = j for c.
3
Suppose 3*h = b - 6, 4*b - 5*b = 2*h - 1. Suppose b*a - 9 = -6. Solve -d = a - 0 for d.
-1
Suppose -3 = -o + 2. Suppose 4*p = p, -20 = -o*i + 4*p. Suppose -8*w = -i*w. Solve -v + 1 + 2 = w for v.
3
Suppose 0 = 223*i - 227*i + 12. Solve -9 = i*g - 12 for g.
1
Suppose 6*h - 5*h = 2. Suppose 0 = -5*x + h*x + 27. Solve -1 - x = -2*m for m.
5
Suppose 4*p - 5*t - 81 = 0, p - t = 3*t + 34. Suppose -11*l + 36 - p = 0. Solve l*b - 2 = 3*b for b.
-2
Let a = 215 - 207. Solve 0*r + a = 8*r for r.
1
Suppose 3*i - 186 = -3*j, -j + 4*i = -59 + 7. Suppose -129*m = -133*m + j. Solve -6*x - m - 9 = 0 for x.
-4
Let x(z) = z**3 + 17*z**2 - z + 18. Let l be x(-17). Solve l*g = 34*g for g.
0
Suppose 2*p + 3*d + 6 = 0, 3*p + 8 = 4*p - 4*d. Let k be p*(-2)/8 - -7. Solve -w = -2 + k for w.
-5
Suppose -58*r - 32 = -66*r. Solve r = -7*v + 3*v for v.
-1
Suppose p = -p + 10. Let a be 23*(0 + 2) - -2. Suppose -6*t = -9*t + a. Solve i = p*i + t for i.
-4
Let c(r) = r**2 - 6*r + 2. Let z be c(6). Suppose -2*i + 4 = 4*s - 4, -z*i + s + 3 = 0. Let t be i/(-4) - (-11)/2. Solve 3*h = -2 + t for h.
1
Let i be 1*8*2/4. Suppose s = -i*s + 25. Suppose -s*n + 14 - 4 = 0. Solve t + t = n for t.
1
Suppose 0*v + 6*v - 96 = 0. Suppose v = 4*s - 4. Solve -s*x + 0*x = -5 for x.
1
Let l(b) = b**3 - 1 - b - 2 + 9*b**2 - b**2. Let u be l(-8). Solve 0 = h + u - 3 for h.
-2
Let p be (42/(-33))/7 - (-46)/11. Let b be p - 0*(-4)/(-12). Solve 0 = 3*m - b*m for m.
0
Let t(p) = 4*p + 3. Let k be t(-2). Let o(q) = q. Let v(x) = x**2 + 1. Let b(j) = -6*o(j) - v(j). Let w be b(k). Solve -w*m = -3*m + 5 for m.
-5
Suppose 0*v + 9*v - 18 = 0. Suppose v*y + 4*y = 0. Solve -k - k + 6 = y for k.
3
Let x(g) = g**2 - 9*g + 20. Suppose 8*w - 51 + 11 = 0. Let v be x(w). Solve 0 = -3*p - v*p + 9 for p.
3
Let r be 7/6*4*516/301. Let m(q) = q**2 + 4*q - 3. Let b be m(-5). Suppose -4*c + 30 = -c - b*s, 5*c + 4*s = 28. Solve 4*u - c = r for u.
4
Suppose 3*l - 2*l - 2 = 0. Suppose 12 = 2*p + l*p. Suppose -i = i, -4*i = -p*q. Solve -4*m - 5 + 1 = q for m.
-1
Let q(b) = -b**3 + 4*b**2 + 4*b - 10. Let v(x) = 7*x**2 - 20 + 0*x**3 + 11*x - 3*x**3 + x**3 + x**3. Let f be v(8). Let a be q(f). Solve a*c = 4*c for c.
0
Let w(j) = 4*j - 4. Let d be w(2). Suppose i - 12 = -d. Suppose -i = -2*f - 6. Solve 0 = -5*n + f + 4 for n.
1
Let w be -3*(-2 - (-35)/(-15)). Suppose -2*i - 2*n + 2 = 4, -w = -5*i + n. Solve 0 = i*k - k + 1 for k.
-1
Suppose -6*o = -4*o - 8. Suppose o*x + 4 = 8*x. Solve -4 = -3*y - x for y.
1
Let m be (36/(-10))/((-2)/45*3). Suppose 21*t - m*t = -12. Solve -t*x + 2 + 0 = 0 for x.
1
Suppose 0 = -v - 2*v. Let f be (v/2)/(8 + -7). Suppose 3*a - 7*a + 20 = f. Solve -3*i = -a + 2 for i.
1
Suppose -u + 548 = 3*u. Suppose -2*h + 67 = 2*s + 23, -5*s + u = -4*h. Let c = -16 + s. Solve c = 5*v - 11 for v.
4
Let q(s) = -s**2 + 11*s + 182. Let o be q(-9). Solve -25 = -o*x - 15 for x.
5
Let q(n) = n**3 - n + 16. Let x be q(0). Let l = 1429 + -1429. Solve l*o = -4*o - x for o.
-4
Suppose -15 = 2*t + 33. Let s = t + 13. Let b = 17 + s. Solve 2*c = b*c + 4 for c.
-1
Let r = -199 - -202. Solve -6*l - 33 = -r for l.
-5
Suppose 0 = 2*x - x + 16. Let c = 25 + x. Let a = c + -7. Solve -1 = -l + a*l for l.
-1
Let g(j) = -5*j + 43. Let o be g(8). Suppose i - 6 + 1 = 0. Suppose -i*p + 4 = -1. Solve -o*q = p - 4 for q.
1
Let q(s) = -s + 10. Let g be q(7). Suppose 2*w = -g + 9. Let p be 4*w/(-6)*-1. Solve -p*c - c - 15 = 0 for c.
-5
Let h(n) = -8 + 5 - 16 - n. Let a be h(-12). Let p be (7/2)/a*0. Solve p*d = -d - 5 for d.
-5
Suppose -3*c - 8*y + 34 = -115, 4*c - 227 = -5*y. Solve c*n - 52*n + 33 = 0 for n.
-3
Suppose 8*a - 19 = 13. Suppose p + a*l - 2*l = 0, l - 9 = -5*p. Solve -7*m + p*m + 15 = 0 for m.
3
Suppose -3*b - 96 = b. Let c be (-39)/(-2)*(-32)/b. Let j = c - 13. Solve -j - 7 = 4*k for k.
-5
Let k = -787 + 863. Solve -k = 2*f - 74 for f.
-1
Let a(t) = -3*t - 24. Let p be a(-9). Suppose -3 = -p*c - n, 0 = -3*c - 3*n + 10 - 1. Solve -u + 0*u = c for u.
0
Suppose -33*s + 115 = -50. Suppose 2*k + 2*n + 2*n - 12 = 0, -2 = -5*k + 4*n. Solve -k*a + a = -s for a.
5
Suppose -6*d + 3*a = -4*d + 9, 3*a = -4*d + 27. Solve d*u + u = -8 for u.
-2
Let d 