p - c = 11, p - v = -4*c for p.
-3
Let i be (4/6)/(10/75). Suppose 7 = 4*y + i*j, 3*y = 15*j - 12*j + 39. Solve -z = 3*v - y, 2*z - 5*v + 4 = 6*z for z.
-4
Suppose -6*h - 14 = h. Let l(x) be the first derivative of -x**3 - 4*x**2 - 2*x - 1. Let b be l(h). Solve -3*a - o - 6 = b*a, -10 = a - 2*o for a.
-2
Let s = -41 - -67. Suppose -5*b = 3*m - 37, 4*b - 2*m = b + s. Suppose -w - b = w, 2*k = -2*w - 8. Solve 0 = 5*q - k*n - 4*n + 2, -q = -n for q.
-2
Let z = -413 - -396. Let b(j) = j**3 + 18*j**2 + 19*j + 36. Let s be b(z). Solve 0 = s*y - 8, -3*x - y = 3*y - 16 for x.
0
Let x(z) = 17*z**2 + z + 2. Let o be x(-1). Let g be (-5*1 - 0) + o + -8. Solve -6*b + b = -25, 0 = -g*s - 4*b for s.
-4
Suppose -4*s + 7*s = 36*s + 81*s. Solve s = -2*c + 23*n - 19*n - 12, 0 = 2*c - 3*n + 10 for c.
-2
Let h = 4779 - 4765. Solve d + h*y = 11*y + 2, -4*d - 3*y = -8 for d.
2
Let g = -159 - -161. Let a be 1/(-3)*g*(-45)/6. Let f(v) = 2*v**2 + 9*v - 10. Let s be f(-7). Solve 0 = 2*u - 3*u - b - 7, a*b + s = 0 for u.
-2
Suppose 93*r = 875 - 596. Solve 8 = 4*q, 25*g - 28*g - 9 = -r*q for g.
-1
Let v(n) = -n**2 + 19*n + 26. Let s be v(20). Let k be (2 - 40/s)*18/(-12). Solve 3*c = g - 0*g - k, 2*c + 14 = -4*g for c.
-3
Let o(q) = -2*q**2 + q + 115. Let g be o(-7). Solve -2*n - a + 19 = 29, -5*a + g = 0 for n.
-6
Suppose -4*j = t - 34, 21 - 3 = 3*j. Solve -t*y + 25 = -5*f - 14*y, y = -5 for f.
-1
Let z be ((-15)/(-10))/((-6)/(-140)). Let q(s) = -z*s - 5 + 36*s - 4 + s**2. Let i be q(3). Solve -2*p + 3*v = -21, p = -i*v - v - 17 for p.
3
Let t = 12 + 1. Let w(p) = -53*p**3 - 7 - 20 - 29*p**2 + t*p + 51*p**3. Let d be w(-15). Solve -18 = 5*b - d*m, -2*b - 5*m = -4*b - 11 for b.
-3
Let y = -686 + 701. Suppose -y + 50 = 7*j. Solve -j*o + 10 = 0, 3*r - 5*o = -10*o + 13 for r.
1
Let p be 25 - 3/(-3) - -7. Suppose 0 = p*w + 16 - 148. Solve 5*v = v + 2*d - 8, 5*d + 22 = -w*v for v.
-3
Suppose -54*i = -9 + 15 - 114. Solve 0 = w - 2*b, 3*b = -i*w - 3*w - 13 for w.
-2
Let d(p) = -2*p**3 + 15*p**2 + 35*p - 186. Let c be d(8). Solve 0*i = -5*i - 4*t - c, -4*t = 20 for i.
-2
Let p(q) = 2*q**2 - 172*q + 3604. Let g be p(50). Solve v = 0, g*t - 4 = -3*v - v for t.
1
Suppose -8*r + 10*r = 2*t + 244, 3*r + t = 378. Let o = -110 + r. Solve -u = 3*k - 1, 0 = -4*k - k - 5*u - o for k.
2
Let m(v) = -31*v**2 - 160*v - 20. Let h be m(-5). Solve -5*o = -2*i + 35, -h*i + 4*o + 66 - 21 = 0 for i.
5
Let k(n) = -17*n + 178. Let i be k(10). Solve -3*w = -2*g - 5*w - i, -3*g - w = 8 for g.
-2
Suppose 4*l = 3*z - 103, -8*l + 3*l - 135 = -5*z. Let x(u) = u**2 + 27*u + 115. Let o be x(l). Solve -g - 4 = o*y + 4, -g + 1 = -4*y for y.
-1
Let n be -5*(-17)/(23 - 6). Solve 2*j + 2*f = j + n, 4*f - 9 = -j for j.
1
Let c = 726 - 723. Solve 3*w + 7 = 4*x, w - 3*x + 1 + c = 0 for w.
-1
Let d(y) = 2*y**3 - 42*y**2 - 44*y + 10. Let h be d(22). Suppose h*v - 5*v + 3*r - 20 = 0, r = -5*v + 20. Solve -2*l - 4*x - 3 = 3, v*x = -5*l - 9 for l.
-1
Suppose -3*u - 54 = -i, 5*i + 9*u - 7*u = 270. Solve -i = 5*b - t - 26, -3*t = -4*b - 29 for b.
-5
Suppose -3*k - 23 = -71. Let r be k + -5 + 3/(-3). Solve x - r = 6*x + 4*g, 0 = -3*x - 5*g - 19 for x.
2
Let i(l) = -l**2 - 21*l - 27. Let a be i(-9). Suppose 0 = -8*o - 1 + a. Suppose -o*y + 23 = -7. Solve -2*s + d = 6*d - 26, 0 = 4*s - y*d for s.
3
Let c = -349 - -312. Let h = 41 + c. Solve h*l = -3*o - l - 19, 4*o - 5*l = 33 for o.
2
Suppose 2*l + 31*l = -5*l + 684. Solve 14*p - l*p + 5*y = 28, -2 = -p - y for p.
-2
Suppose -c - 7 = 2*y, -3*y + c - 13 = -y. Let p be 5/(-15)*(-3 - (-30)/5). Let s = p - y. Solve r = -5, 3*x + 2*r + s = -3 for x.
1
Let t(r) be the first derivative of 4*r**3/3 + r**2/2 + r + 6. Let l be t(2). Suppose 0 = -v + l - 15. Solve 2*p + 0*z - 3*z = -14, -p = -v*z + 17 for p.
-1
Suppose -1125 - 1527 = -51*z. Let m = z + -49. Solve m*r + c + 8 = -7, -5*r - c - 25 = 0 for r.
-5
Let q(f) = f**3 + 4*f**2 - 24*f - 16. Let k = -144 - -137. Let a be q(k). Solve -5*s = -a*w + 20, -3*w = -2*s - 8 + 1 for w.
-1
Suppose 0 = -136*j + 258*j - 610. Solve 12*k = 5*m + 10*k + 20, 0 = -j*m + k - 20 for m.
-4
Let f = -222 - -220. Let n be (-28 + 27)/(f/10). Solve 5*r - 10 = -4*k + 2*k, k + 5*r = n for k.
5
Let t = 5210 + -5205. Solve -2*k + t*l = -5, 5*k - 10*k + l = -24 for k.
5
Suppose 4*c - c = 8*c. Solve -4*h - 19 = -5*k + 8*k, c = -h - 1 for k.
-5
Let u = 124 + -116. Suppose -2*t + 28 = 4*r, 3*r + r = 3*t + u. Solve 0 = -4*z - 3*x - 6 - 22, t*z + 32 = -4*x for z.
-4
Suppose 5*x - 4*x = 13. Suppose 11*a - x*a = 24. Let p be (-1)/(-4) - a/(-48). Solve p = 4*c + i - 15, 4*c - 11 = -0*i - 5*i for c.
4
Suppose 0 = 18*z - 1021 + 985. Solve -28 = -5*n - z*o, n - 3 = 3*o - 11 for n.
4
Let x(v) be the third derivative of -v**6/120 - 2*v**5/15 - 13*v**4/24 - 10*v**3/3 - 56*v**2. Let l be x(-7). Solve -2*a - l = 5*g + 3, -4*g = 4*a + 32 for a.
-5
Let f(t) = 12*t - 11 - 6 + t**2 - 3*t. Suppose 13*l + 656 - 513 = 0. Let v be f(l). Solve -2*p - 2*m - 2 = 0, 0*m = p + v*m - 3 for p.
-2
Suppose -4*n - 8 = -u, -2*u - 5*n + 3 = -0*n. Suppose 4*l + u*j - 136 = -0*l, 40 = l - j. Let o = l - 27. Solve -f + o = -d + 3*f, d = -4*f + 6 for d.
-2
Let d = 60 + 41. Suppose 28 = -d*w + 103*w. Suppose w*o - 12 = 10*o. Solve 2*p + 3 = -o*n, -6 = 6*n - n + 3*p for n.
-3
Let o = -633 + 635. Solve 0 = 3*t + n - 9 - 1, -o*t - 4*n = -20 for t.
2
Let q = 174 + -166. Suppose -2*b - 3*u + 22 - q = 0, 5*u = -b + 14. Solve -3*g = -0*f + 2*f, 8 = -b*g for f.
3
Let s(i) = i**2 - 7*i + 13. Let p be s(4). Let n(a) = 22*a - 10. Let g be n(p). Let z(h) = h + 5. Let b be z(-3). Solve -3*x = -2*r - 9, -g = -2*x - b for r.
3
Let d be -123*(-4)/(-12)*-1. Suppose -4 = -43*n + d*n. Suppose i - 5*i = -16. Solve -i*v = -j - 9 - n, -16 = -j - 5*v for j.
1
Let a be 35/14*(1 - 27/(-1)). Suppose -4*n = -a - 66. Suppose -61 = -5*z + n. Solve -2*v + 4*r = -6, -3*v + 6*v - z = -4*r for v.
5
Let a be 6*((-80)/12 - -2). Let x = 33 + a. Suppose 0 = -4*h + 4*d + 44, x*d - 53 = -0*h - 4*h. Solve 3 = f - 4*s + 9, 0 = -5*f - s + h for f.
2
Suppose o - w - 26 = -2*o, 0 = 2*o - 2*w - 20. Let b(v) = -o*v + 10*v + 13 - 3*v. Let j be b(8). Solve -j*n = 15, n + n = 3*z - 9 for z.
1
Let k(b) = b**2 - 33*b + 55. Let h be k(-16). Solve -h + 845 = -2*o + t, 6 = 3*t for o.
-2
Suppose -11*c + 26 = -9*c. Suppose 176 = -11*k + c*k. Suppose x - 5 = -8, -5*y + k = 4*x. Solve 3*d = -4*v + y, d + 2*v - 7*v + 6 = 0 for d.
4
Let q(l) = 2*l**2 + l + 10. Let h be q(-6). Let c = h + -35. Suppose -6*j = 11 - c. Solve 5*b - 3*b + n = 7, 0 = -4*b + j*n + 35 for b.
5
Suppose 5 = 18*d - 17*d. Let t be (60/16)/d*(-16)/(-6). Let r be t/(-8)*-2*4. Solve -f = r*o + 2, -4*o + 2 = 2*f - 3*f for o.
0
Let u be 3 - (4 - (-15 - -18)). Solve 5*v + 24 = 2*w, 4*w + 12 = -u*v - 3*v for w.
2
Suppose 0 = -3*u + 3*i + 36, 4*u - u = 4*i + 38. Let a(g) = u + 12*g + 2*g**2 + g**2 + 14 - 2*g**2. Let v be a(-10). Solve t + t = 4*b + 16, v*b + 12 = 0 for t.
2
Let d be -7 + 11 - (159 - 0). Let z = 158 + d. Solve -4*r + z*j = 1 - 33, 5*r - 37 = 3*j for r.
5
Let u = -179 + 181. Let g be u - 0/(-3 - -7). Solve 3*p + 3*a = 6*p - 9, -g*p = -5*a - 9 for p.
2
Let t(j) = -51*j**2 + 5. Let m be t(-2). Let s = -191 - m. Solve -4*k - 2*x = s, -5 = 5*x + 15 for k.
0
Let z(n) = 128*n + 1413. Let f be z(-11). Solve 3*m + 2*o + 1 - 14 = 0, -f*o - 5 = 0 for m.
5
Suppose -216 = -29*a - 54*a + 116. Solve 2*i = -l - a, -3*i + 0 = 3*l + 6 for l.
0
Let v(z) = 6*z**3 + 2*z**2 - 13*z + 2. Let b be v(0). Solve 65*p = -3*y + 70*p + 19, -y = b*p + 1 for y.
3
Let i be (-1)/2*(-1 - -1). Suppose 14*k - 18*k = i. Suppose k = -15*x + 14*x + 5. Solve -2*b = -4*g + 7 - 21, -x*g - 4 = 2*b for b.
3
Suppose 3*t - 24 = -2*y, 225*y + 24 = 229*y. Solve t*w - 2*p = 14, 0 = 2*w - 23*p + 27*p + 8 for w.
2
Let k = 14307 - 14303. Let z(o) = -o. Let l be z(-5). Solve k*q - 3*q - 2 = -u, -5*u = l for q.
3
Let c be ((-2)/(-3))/((-3)/(-36)). Let z(t) = 0 - 2*t - c - 3*t + 6. Let a be z(-1). Solve -a*f = 5*i + 32, -2*f + 12 = -5*i - 0*i for i.
-4
Let k be 123/15 - (-7)/(-35). Let d(g) = g + 11. Let c be d(k). Suppose 25*o + 46 = 146. Solve -5*x + 1 = -2*h - c, o*h = x - 4 for h.
0
Suppose 75 = -5*l - 1400. Let i = l + 296. Solve 2*j + 3*u - 1 = 0, -2*j - 4*u + 1 = -i for j.
-1
Let o(l) = -16*l - 175. Let q be o(7). Let i be 123