= 4*c - y for p.
4
Let p(y) = 4*y + y**2 + 8*y - y - 3*y - 9. Let z be p(-9). Solve z = -4*m - o - 14, -3*m + 5*o + 4 = -m for m.
-3
Let a(d) be the first derivative of -d**4/4 + 3*d**3 - 4*d**2 + 2*d + 20. Let n be a(8). Suppose 15 = s + 4*s. Solve -s*z + z = m + 1, 6 = -n*z for m.
5
Let t = -986 + 986. Solve w = 2*p - 4, 4*p = -t*w - 5*w + 8 for w.
0
Let y be (11/((-55)/(-30)))/((-2)/(-1)). Solve -y*b + 2*g = 17, 8 + 1 = -2*b - g for b.
-5
Suppose 2*v - g + 3 = 0, -3*g + 2*g = 3*v + 2. Let s(l) = -2*l**2 - 4*l - 2. Let h be s(v). Solve -2*q = 5 + 5, 5*z + 2*q = h for z.
2
Suppose 2*f - 6*w + 6 = -4*w, -2*w + 16 = 3*f. Suppose -2*s + 4 = -f. Solve 0 = 4*y - 4*q + 12, s*q - 2*q = 3*y + 9 for y.
-3
Let c be (-9)/12*18/27*-4. Solve 0 = -3*y + 5*v + 6, -v - c*v + 8 = 4*y for y.
2
Let a = -45 + 48. Let y be (-1 + 2)/(a + (-10)/4). Solve 4*i = y*f + 5*i - 5, 3*f = -5*i + 18 for f.
1
Let n(g) = -g**2 - 12*g - 17. Let d = 71 - 81. Let r be n(d). Solve m - 5*w = 0, r*w - 3 = -m + 5*w for m.
5
Let l(g) = -16*g**2 + 4*g - 4. Let r = -6 + 8. Let u(a) = -4*a**2 + a - 1. Let t(j) = r*l(j) - 9*u(j). Let f be t(1). Solve -3 = k - x - f, x + 13 = -5*k for k.
-2
Let t be 5 + 4*3/(-6). Let q be (-207)/18 + (-2)/4. Let i be (-18 - 0)*q/9. Solve r = -t*o + 8, 3*r = -4*o - r + i for o.
1
Let n = -272 - -272. Let g(a) = 3*a**3 + a**2 - a. Let o be g(1). Suppose 3*c - 32 = -4*m - 0*c, -4*c + 21 = m. Solve n = o*b - z + 7, -3*z + m = b + 4 for b.
-2
Let z be 6*((-324)/8)/(-9). Suppose 12 = -3*l + z. Suppose -l*c = 13 - 33. Solve 6*o - 2*o - 4 = 4*p, -c*o = 5*p + 32 for p.
-4
Suppose 7 = 4*h - 1. Suppose 3*k = -2*t - h*k + 17, -12 = -4*k. Let g = -9 + 11. Solve -t = -g*n + 2*q - 3, 0 = -4*n - 5*q + 5 for n.
0
Let i be ((-4 + 4)/(-2))/2. Suppose i = -5*x + 17 + 8. Solve o - 22 = -0*t - x*t, -5*t + 26 = 3*o for o.
2
Suppose 5*y - 48 = 3*g, -3*y = -5*y + 2*g + 20. Solve -r = 3*l - 4 + 17, 3*r - 3*l = y for r.
-1
Suppose 5*j + 0*l - 4 = -l, -5*j = 5*l - 20. Suppose 3*p + j - 35 = -5*z, p - 2*z = -3. Let r = -5 + 7. Solve -x = p, r*t - 17 = 4*t + 3*x for t.
-1
Suppose i - 61 = -5*f + 136, 135 = 3*f - 5*i. Suppose -4*l + 19 = -a - 6, -f = -3*l + 5*a. Solve -4*u = -5*o - 16 - 7, l*u - 25 = 5*o for o.
-3
Suppose 10 = 3*g + 5*v, 2*g + 3*v = 12 - 6. Solve -r - s - 2*s = 10, g = r + 5*s + 16 for r.
-1
Let d be (-8)/(-72)*9 + 4. Solve -d*m - 5*x = 0, 0 = -4*x - 6 + 2 for m.
1
Let v = 826 - 822. Solve -5*m = 5*b + 25, 5*b - v*m + 3 + 4 = 0 for b.
-3
Suppose 0 = 647*w - 657*w + 20. Solve -4*b = -w*j - 8, -b - 4*j - 16 = -9 for b.
1
Let t = -612 - -616. Solve -5*q = 5*b + t + 1, -5*q = 5 for b.
0
Let t(j) = j + 28. Let i be t(-23). Solve -i*r - 12 = -4*f, -5*r - 2 = -3*f + 7 for r.
0
Let f(a) be the first derivative of a**2/2 + 19*a + 13. Let y be f(-7). Solve y = 3*b + 2*n - 6*n, 3*n + 9 = 4*b for b.
0
Suppose g = -4*s + 4, s - 21 = -3*g - 31. Solve p - 3*p - 4 = c, -s*c = -3*p + 8 for p.
0
Let y(x) = x**3 + 12*x**2 + 8*x - 21. Let o be y(-11). Suppose o*t - t = 3*t. Solve -2*s - g + 0*g + 5 = 0, t = s + 3*g for s.
3
Let i(d) = -d - 2. Let s be i(-4). Let t be 1/2*s*0. Suppose t*q = 5*q - 130. Solve 3*b = 5*a + q, -5*b - 5 = 4*a + 1 for b.
2
Suppose 6*a - 4*a + w - 6 = 0, 5*a + 2*w = 17. Solve -4*z + 3*y = -a, 5 = -3*z + 4*y - 0 for z.
5
Let f(c) = 27*c - 10. Let s be f(1). Solve -z - s = -3*u, 3*u + 8*z + 13 = 3*z for u.
4
Suppose 64*a + 57*a - 90*a = 465. Suppose 0 = -2*j + 3 + 7. Solve 0 = 5*l - a, -5*h - 4 = -j*l + 36 for h.
-5
Let t be 296/30 + (-2)/(-15). Suppose -t + 25 = w. Solve 3*z + b + w = 3*b, z + 4*b - 9 = 0 for z.
-3
Suppose -6*n + 21*n = 75. Solve -n*a = 2*b - 3*b - 3, -a - 5*b = -11 for a.
1
Let q = -993 - -993. Solve b = -c - c, q = -3*b + 2*c - 8 for b.
-2
Let y(f) = f**2 + 16*f + 17. Let w be y(-1). Solve -w*n + 2*u + 14 = 0, -4*n + 41 = -3*u + 17 for n.
3
Let b(s) = -3*s**2 + 29*s - 18. Let y be b(9). Solve 4*g - 3*i + 35 = y, -18*g + 19*g = -4*i + 15 for g.
-5
Suppose 156 = -4*i - 64. Let f = i - -75. Solve 10 = -3*k + t, -5*t - f = -4*k + 3*k for k.
-5
Let z = 30 - 26. Let x = 4 - z. Let n be (-1)/((-2)/(-16)*-2). Solve -d + 4 = -2*l - x*l, 0 = -5*l + n*d - 4 for l.
-4
Let x = 632 - 627. Solve -r = 0, -x*m - 5*r + 2 = -13 for m.
3
Let a = -388 + 393. Solve -a = 3*t - u, -3*u + 14 = -4*t + 2*u for t.
-1
Let d be (-9)/(((-6)/10)/((-4)/5)). Let w(n) = n**3 + 13*n**2 + 12*n + 22. Let b be w(d). Solve -25 = 2*l + 3*u - 8*u, -b = 2*l - 4*u for l.
-5
Suppose -68 = -100*s + 83*s. Solve 2*j - 6 = 3*i - 2, -5*i - s*j = 14 for i.
-2
Suppose 0 = 2*g - 30 + 24. Suppose 0 = 3*r - 9 - g. Solve -3*h = -9, r*h - 4 = -j + 3 for j.
-5
Let v be 20/(-30)*(-7 + 1). Suppose 0 = 4*r + 32 - 8. Let f(n) = -n**3 - 6*n**2 + 3. Let b be f(r). Solve 0 = -z - v*y - 19, b*z + 6*y = y - 29 for z.
-3
Let s(f) = -f - 20. Let w be s(-20). Let a = 0 - -6. Suppose 3*b - a = -w*b. Solve b*t - 5*u - 25 = 3*t, 5*u = -2*t - 30 for t.
-5
Let u(c) = 3*c - 5. Let p be u(3). Suppose -y + p = 2*i, 0 = -0*y - y - 5*i + 4. Solve -2*v + 4 = 4*s, y*s + 4*v - 15 = 3*s for s.
-1
Let r be ((-2)/3)/((-1)/9). Solve -8 - r = 2*x + 2*g, -5*x + 2*g = 21 for x.
-5
Let v = 35 + -25. Let q = 14 - v. Let c = -4 - -8. Solve -4*n + 16 = q*l, 4*n - 3*l + 2*l + c = 0 for n.
0
Suppose -97 = 35*f - 727. Suppose 0 = 2*g + 3*g. Solve g*m - 4*u + 14 = 2*m, 0 = 2*m + 5*u - f for m.
-1
Let p = 854 + -851. Solve 0 = -p*v + 2*k - 2, 4*k + 1 = -4*v - 15 for v.
-2
Let j be -4*(135/(-2))/9. Solve 0 = -5*z - 5*n + j, 17 - 2 = z + 4*n for z.
3
Let n = 1 + 1. Let b = 6 - n. Let c be b/6 + 364/21. Solve 0*h + 8 = -2*h, 2*k + 3*h + c = 0 for k.
-3
Let k(w) = -9*w + 1. Let b be k(1). Let p be (b/6)/(2/6) + 6. Solve 0 = v - p*i - 2*i - 12, -4*v + 18 = -i for v.
4
Let j = -142 + 144. Solve -w = -j*w - 2*f - 3, 0 = 2*f for w.
-3
Suppose -8*c + 28 = -12. Let b = -23 + 32. Solve 0 = 4*p - x + 3 - 0, -c*p - b = -3*x for p.
0
Let f = 951 - 946. Solve f*y + 20 = -5*m, -22 = 5*y - 2 for m.
0
Suppose -r + 4*r = 4*u - 17, 2*r + 23 = 5*u. Solve 40 = 4*d + u*l, 5*l = -5*d + 6*l + 21 for d.
5
Let c = -13 - -34. Let u(i) = 4*i + 12. Let t be u(-4). Let o = c + t. Solve 0 = -3*z + 2*w + o, -z - 2*w + 6 - 3 = 0 for z.
5
Let c(j) = j - 13. Let p be (-30)/(-3) + (-2 - -2). Suppose -4*d = -58 - p. Let m be c(d). Solve -3*a + 3 = 2*b + 4, 0 = a - m*b - 9 for a.
1
Let q(m) = -6*m + 21. Let r be q(6). Let b be (-85)/r*3 - 4. Solve -4*z - b = -3*s, 5*z + 2*s + 2 - 3 = 0 for z.
-1
Let g(z) = -z**2 + 9*z - 10. Let q be -2*(-21)/6 - 0. Let x be g(q). Let j = 9 - x. Solve j*c + 7 = 4*p - 3, 0 = -p for c.
-2
Let y = 30 - 23. Suppose y*z + 9 = 8*z. Let w be 44/12 + 4/(-6). Solve z = -u + 5*u + 3*h, w = h for u.
0
Let x = 27263 - 27263. Suppose 4*m + 15 = -m. Let l(t) = t**2 - 4. Let f be l(m). Solve -j + 7 = -f*p - x*j, p + 11 = 5*j for p.
-1
Let r = 39 + -63. Let t be r/(-9)*24/(-4). Let u be (18/24)/((-6)/t). Solve 4*k - 3 = u*c + 7, -4*c = -5*k + 20 for k.
0
Let k be (-4)/(-10) - (-161)/35. Let g(y) = 20*y**2 + 8*y**2 - 3 + 2*y - 12*y**2. Let t be g(1). Solve -k*q = t, -2*l - q = -2*q - 9 for l.
3
Let w be -4*3/36*-12. Solve 0 = v - 2*s - w, -3*v + 5*s + 9 = -1 for v.
0
Let h be (3/2 + -1)*-6. Let q be (-488)/24 + 2/h. Let m = 26 + q. Solve -3*n = 5*a - m, -3*n - 5*a + 6*a - 1 = 0 for n.
0
Let y = -29 - -33. Let t(o) = -o**2 - 11*o - 13. Let q be t(-9). Suppose 0 = -0*j - j - 1, 4*w = -q*j + 67. Solve -y*h - 3*z + w = -0, z = -2*h + 8 for h.
3
Let m be -10*(-2)/(-16) + (-1)/(-4). Let f be 0/(-6) + 1/m*0. Solve f = -5*v + 2*t + 6, 0 = 3*v - t + 2*t + 3 for v.
0
Let r = 227 + -221. Solve o - g = 3, r*o - 31 = o - 3*g for o.
5
Let y = -88 - -92. Suppose -3*b = -b + y*b. Let u(c) = c**2. Let s be u(4). Solve -3*k + b*n = n, -4*k - s = -4*n for k.
-1
Let o(f) = 5*f**2 + f. Let r be o(-1). Suppose 3*h - r = 4*b, 0 + 8 = h + 2*b. Solve -3*x - 2*w = h, -x - 1 = -4*x - w for x.
2
Let y be (-12 - -9)/(-8 - -7). Let m be (0/2 - 3) + 9. Solve 3*f - y = m*f - 5*a, 3*f + 3 = -4*a for f.
-1
Suppose 0 = -3*f - 10 - 2. Let g be 46/6 - (f/(-6) - 0). Solve 5*c - 3*h + 2 + 2 = 0, -4*h = -5*c - g for c.
1
Let w(u) = -u + 5. Suppose -i - 5*z = 25, 0 = 6*i - 3*i + 4*z + 20. Let g be w(i). Solve 8 = 4*c, -v + 11 = -c + g*c for v.
3
Suppose 4*o - 80 = -5*a, -14*a = -13*a. Solve 0 = -5*t -