3*g, -b*g = 25 for p.
5
Let l(k) = 3*k**2 - 39*k + 70. Let m be l(2). Solve 5*v = -p + 27, -28 = -m*v - 2*p - 4 for v.
5
Let a(i) be the first derivative of -3/2*i**4 + 0*i + 2/3*i**3 - 9 + 1/2*i**2. Let m be a(-1). Solve 0 = -4*p - 3*o + 17, -3*p + 5*o - m - 2 = 0 for p.
2
Let q(b) = -4*b**3 + 44*b**2 + 3*b - 20. Let u be q(11). Let y = 4 - 3. Suppose 3*a - y = 11. Solve 5*n - a*r - 5 = 0, -3*r - 3 = -n - u for n.
5
Suppose 5*n = -31 - 4. Let h be n/((-175)/20)*15/6. Solve 5*r = 5, -4*r = -h*f + 5*f - 10 for f.
2
Let a be 1*(-6)/(-6)*2/(-2). Let g be 4/8 - ((-42)/12 - a). Solve -5*z - 27 = 2*k, g*k + k - z = 1 for k.
-1
Let f(j) = -2*j**2 - 15*j + 251. Let z be f(8). Solve t = -z*u + 6, 30*u = -5*t + 32*u - 4 for t.
0
Let d = 3583 + -3564. Solve -5*w + 4*f = 21, 0 = -20*w + d*w + f - 5 for w.
-1
Let v(a) = 21*a + 66. Suppose -27*k - 27 = -18*k. Let y be v(k). Solve 2*p + y*d + 15 - 5 = 0, 0 = -5*d for p.
-5
Let a(v) = 138*v - 552. Let u be a(4). Solve 2*j + 2*i = 5 - 1, u = -2*i + 10 for j.
-3
Suppose f - 5 = -3*v, -429*v = -2*f - 427*v + 10. Solve -5*s - 19 = -3*h, -3*h = 2*h + f*s - 5 for h.
3
Suppose -5*r = -10 - 5. Let x be ((-25)/15)/(r*(-1)/9). Solve 35 = x*w + 2*m, 5*w = -m + 35 - 5 for w.
5
Suppose 0 = 11348*k - 11330*k - 162. Solve -22 = 5*s - 4*h, 0 = k*s - 8*s + 3*h - 7 for s.
-2
Let w(a) = 14*a**2 + 6*a + 181. Let r(i) = 5*i**2 + 2*i + 60. Let h(y) = -17*r(y) + 6*w(y). Let v be h(-7). Solve -f + 29 = -0*x - 5*x, f = -v*x - 11 for f.
4
Let k = -3610 - -3615. Solve -s + 2 = -u, -u - 3*u + s - k = 0 for u.
-1
Suppose 97*o = -121*o + 240*o - 792. Solve 0 = 4*z + 5*d + 5, z + o*d + 20 = 41*d for z.
-5
Let b be (429/65 + -3)/(48/160). Solve 0 = -5*g - 2*c - 10, -4*g = -5*c + b*c + 35 for g.
0
Suppose 0 = -34*z + 438 + 232 + 10. Solve 4*x - z = -3*j, 3*x - 18 = 2*x - 4*j for x.
2
Let g = -142 - -145. Suppose -5*x - 6*y + 5*y + 9 = 0, -g*x + 3 = 3*y. Solve -2*k = 5*w - x + 20, 5*w + 30 = -5*k for w.
-2
Let v = 54 - 33. Let w(m) = -m**3 + 2*m**2 + 4. Let n be w(2). Suppose 3*u - n*i - 18 = 0, i = 3*u + 3*i. Solve -4*p + 12 = u*l, 4*p - v = -l - p for l.
-4
Let t be (88/55)/((-1)/(-10)*4). Solve 0 = -4*k + t*h + 24, -33*k - 3 = -32*k + 2*h for k.
3
Let d be -1*((3 - -4) + -6). Let y be 8/(-20)*(9 + d - 13). Solve -y*k + 6 = -3*m + k, 5*k - 20 = -5*m for m.
1
Let j(p) = 2*p**3 + 12*p**2 + 31*p + 189. Let x be j(-6). Solve 22*i + 3*f + 3 = 23*i, 2*f + 13 = -x*i for i.
-3
Let n = -48 + 53. Suppose x - n = -3*w + 2*w, w = x + 3. Suppose -7*v + 9*v = w. Solve -h = -2 - 2, -v*u + h - 14 = 0 for u.
-5
Suppose -22 = -f + 3*s - 2, 0 = s - 5. Let r = 56 - f. Let v = r + -18. Solve -v*c - 8 = -0*k - 4*k, -4*k - 8 = c for k.
-1
Suppose 0 = -3383*r + 3436*r - 530. Let w = -5 - -9. Suppose -w*z + 4 = 2*f + 2*f, 3*f - 1 = -2*z. Solve -3*g + r + 1 = -o, o - 9 = -z*g for o.
1
Suppose 11*u + 3*k = 12*u + 8, -3*u + 4*k - 4 = 0. Let q be (-6)/(-27) - 50/(-18). Solve -3*x = -4*p - 32, 5*x - u*p - 28 = q*x for x.
4
Suppose 5*f = f - 3*q - 605, q - 1 = 0. Let i = -149 - f. Solve -4*c - 14 = -0*c - d, -3*c - i*d = 18 for c.
-4
Suppose 37*c - 33*c = 5*k + 42, -c = -4*k - 27. Solve -4*r + c*l - 8 = 0, -4 = 2*r + 20*l - 18*l for r.
-2
Let n(p) = 33*p**3 - 2*p**2 - 7*p + 3. Let f be n(2). Let c = -243 + f. Solve -8 = 2*w + 5*r, -c*w + r + 0 = -4 for w.
1
Suppose 55*o = 189 + 99 - 68. Solve -o*z - 19 = -5*r, -5*r + z + 54 = 38 for r.
3
Let k(f) = -66*f. Let g be k(-2). Let r be g/(-88)*4/(-3). Solve -3*p = 5*h + r*p - 35, 0 = -p + 3 for h.
4
Let y be 5*(22 - (-432)/(-20)). Solve 5*x = 4*o - 5, x + 3*o = y*x + 12 for x.
3
Let p = -46458 + 46573. Solve -z = s + 1, s = 120*z - p*z - 25 for z.
4
Let a(c) = c**2 - 69*c + 3. Let p be a(0). Solve 5*h - p*j = 9*h, 2*h + 2*j = 0 for h.
0
Let v = -237 + 244. Let w be 12/v + 2/7. Solve 0 + 5 = -j, -w*k - 3*j = 7 for k.
4
Let r(h) = -240*h + 5282. Let v be r(22). Solve 13*s - 9*s = a + 5, -2 = v*s + 4*a for s.
1
Let i = -3 - -7. Let s = -28054 - -28056. Solve -3*t = -s*d + i - 2, -4*d + 4 = 4*t for t.
0
Let t be (-5)/(-10) + (-134)/4. Let f be t + -1 + 3/(-3). Let h = f + 40. Solve 3*c = -h*y + 9, c + 5*y - 3 = -0*c for c.
3
Suppose 24 = -0*d + 4*d. Let i be -4 + -7 + 17 - -42. Suppose -10 = 43*k - i*k. Solve n + 3*o + d + 4 = 0, -3*o - 5 = k*n for n.
5
Suppose 12 = -y + 3*z, -5*y + 3*y - 8 = -2*z. Suppose j + 4*j - 5*o = 0, -j - o = y. Solve -4*x - x + h + 5 = j, -2*x - 4*h + 24 = 0 for x.
2
Let v(u) = 39*u**2 - 350*u - 7. Let y be v(9). Solve 0 = 5*j + 3*c - 17, 0 = -j - 2*j + y*c + 14 for j.
4
Suppose -181 = -22*x - 19*x + 24. Solve -3*i - 2*w + 17 = 0, i + x*w - 39 = -16 for i.
3
Let d be (-4 - (-96)/15)/(81/270). Solve 5*x - d - 9 = 3*y, -3*y = 3*x - 15 for x.
4
Let k(r) = -r**3 - 5*r**2 + 4*r + 35. Let g be k(-4). Solve s = -p + 6, 0 = -5*s + 2 + g for p.
5
Suppose 33*d = 42*d + 27. Let t be (7/d - 1)*300/(-125). Solve 2*l + 4*j = -t, 2*l - 4*j = 25 - 9 for l.
2
Suppose 8 = p + p. Suppose s = 6 - p. Suppose 0 = -n - 0*n + 2*v, -5*n - v = -22. Solve -n*l = -2*l + s, 16 = 3*b - l for b.
5
Let b be 3/(-27)*-6*(17 + -2). Let z(h) = h**2 - 12*h + 22. Let u be z(b). Solve -5*s - 4*y + 15 = 0, -4*y - 15 = -u*s - 3*s for s.
3
Let q be 130/(-15)*(-3)/(-2)*2. Let u = 30 + q. Let y(x) = 12*x**3 - 4*x**2 + x + 2. Let z be y(1). Solve 0 = b + u*l - 14, -b - 2*l - 3 = -z for b.
2
Let d = -167 - -165. Let j be 16/5 - d - 1/5. Solve 5*v = -2*z + 15, -j*v + z + 20 = 5 for v.
3
Suppose 415 = -2*v - 2*u - 39, 0 = 5*v - u + 1141. Let j be ((-6)/(-4))/(v/(-3496)). Solve 0 = -s - 0*s - 2*l - 11, -3*s - 4*l = j for s.
-1
Suppose -324*j + 4044 = -23496. Solve -j*u + 84*u - 4 = 0, 0 = 5*k + 3*u - 23 for k.
7
Suppose -168*t + 582 = -4*t + 30*t. Solve -5*s + 5*b = -t*s + 14, -s - 9 = -3*b for s.
3
Let g be (-2)/(-10) + 36/(-5). Let m(u) = u + 7. Let q be m(g). Suppose -14*v = 3 - 59. Solve q*o = -3*k - 3*o - 6, 2*k + v = o for k.
-2
Suppose -121 = 3*l - m, 3*m - 209 = 5*l + 5*m. Let r be (-28 + 1)*15/(-9). Let z = r + l. Solve z*a - 6 = 2*a - 3*h, -4*h + 4 = 4*a for a.
-3
Suppose 17*x - 6 = -5*u + 15*x, -3*x + 9 = 0. Solve u = 4*b - 2*q - 0*q - 10, -27 = -3*b - 5*q for b.
4
Let c(h) = 2*h**3 + 6*h**2 + 6*h + 18. Let o be c(-3). Suppose 5*i - i - 12 = 0. Let u = 8 - i. Solve -u*t = -w - w - 24, -5*w + 3*t - 22 = o for w.
-2
Suppose -3*v + 138*l = 133*l - 4, -4 = -2*v + 2*l. Solve 2*b + 45*z = 42*z + 2, v*b - 4*z = -31 for b.
-5
Let h(y) = 10*y**3 - 9*y - 9. Let r be h(-3). Let n = 269 + r. Solve 0 = o - 5*g - 15 - 7, -4*o - n = g for o.
-3
Suppose -1389*l + 216 = -1335*l. Solve l*v - 9 = -w - 18, 2*w = -v + 3 for w.
3
Let a(l) = -49*l - 675. Let p be a(-14). Solve -2*t + 4 = 7*h - p*h, -h = -t - 1 for t.
-4
Suppose 13*m = 12*m + 4. Suppose 4*j - 45 = -b, -b - j + 24 = -m*j. Let s be (10/3)/(22/b). Solve 4*g + 0*g - 20 = -s*p, 4 = p - 4*g for p.
4
Let q(u) = -19*u - 44. Let r be q(5). Let h = -134 - r. Solve 5*j = -3*c + 28, 2*j = -0*c - h*c + 15 for j.
5
Let n(f) = f**3 - 7*f**2 - 49*f + 57. Let g be n(11). Solve g*w = -3*h + 10*h + 31, -3*w = 4*h + 26 for h.
-5
Let g = -78 + -10. Let o = g - -100. Suppose 2*r = -5*v + o - 2, 4*v - 20 = -4*r. Solve 0 = -2*k + 4, -3*b - 4*k + 7 + 4 = v for b.
1
Let t be (-204)/(-153) + -3 + (-1336)/(-6). Solve -l + 12 = -2*g, 222*l + 2*g = t*l - 8 for l.
2
Let r = -77 - -96. Suppose -4*q + r - 19 = 0. Suppose 0*x = -4*x + 12. Solve -2*i + 9 = j, q = -2*i + 5*j - x*j for i.
3
Let y = -2721 - -2724. Solve y = -2*n + j, 3*n + 0*j + 9 = -3*j for n.
-2
Let s = -3307 + 3312. Solve 5*a = -4*n + 6 + 9, -s*a + 15 = -n for n.
0
Suppose -97*r = -33*r - 64. Solve 2*g + r = 13*n - 16*n, 0 = -3*n - 3*g for n.
-1
Suppose 0 = -z + 4*w - 5, w = 2 - 0. Let p be 3 - (4 + -1 - z). Let g be (-1)/p - (-28)/12. Solve -2*u = -4*u - m - 8, -5*u - g*m - 19 = 0 for u.
-3
Let g be 10/(-125) - (-5460)/2625. Suppose 3*x = 5*q + 11, -2*x - x = 3*q - 3. Solve -2*k = 2*o, 3*o - g*k - x*k = -21 for o.
-3
Let n be 152 + -148 + -2 + 0. Solve d = 5*a + 1, -4 = n*a + d + 2 for a.
-1
Let f(a) = -2*a**3 - a**2 - 3*a + 12. Let v be f(0). Suppose 53 + 163 = v*g. Solve -j = -5*k + g, -4*j + 2*j + 3*k - 15 = 0 for j.
-3
Suppose 0 = -3*x + q + 17, -5*x - 2*q + 5*q = -23. Suppose 2*l + x = 13. Solve -3*i = -l*y, 2*y - i = 2*i for y.
0
Let a = -29 - -46. Suppos