 Solve 6*p - 2*t = 3*p - 12, -8 = s*p + y*t for p.
-4
Suppose 3*g = -2*g + u - 43, 5*g = -4*u - 53. Let x = -19 + g. Let a be (8/x)/((-4)/28). Solve 0 = v - 3*s - 12, -a*s - 8 = 2 for v.
-3
Let p be (-42 - -40)*13/(-2) + -8. Solve p*u = a + 10, 28*a - 25*a - 5*u = 0 for a.
5
Let s = 17919 + -17916. Solve -4*n + 2*v + 2 = -5*n, -2*v + 22 = -s*n for n.
-6
Let b be (2 + -8 + 7)/(1/4). Let m = -12 + 14. Suppose 1 = -m*q + 15. Solve -2*y = -5*l + 24, -b*y + 19 - q = 5*l for l.
4
Let v(h) = -5*h - 20. Let i be v(-8). Suppose -42 = -2*s - i. Let k(y) = y**3 + 6*y**2 - y + 5. Let w be k(-6). Solve -s = -3*a - 4*g, g - w = -5*a - 2*g for a.
1
Suppose -4*g = -6*g + 58. Let z(x) = x**3 + x**2 - x + 25. Let y be z(0). Let a = g - y. Solve -a*s + 20 = -3*r, -2*s + 4*r - r + 16 = 0 for s.
2
Let v be (3 - 7)*-2*2. Let q(d) = d**3 - 16*d**2 + d + 14. Let x be q(v). Let m = -25 + x. Solve 0*l + l = -a + 6, -2*a + m*l - 16 = 0 for a.
2
Let g(b) = -2*b**2 + 80*b + 258. Let a be g(43). Solve a = 3*c - 4*p - 2, 3*c + 4*p + 0 = 10 for c.
2
Suppose 0 = -25*b + 24*b + 3*c, -5*b - 5*c + 20 = 0. Solve 2*l - b*q - 5 = 0, -4*q - 5 - 2 = -3*l for l.
1
Suppose 0 = -b + 4*w + 19, -3*b - 3*w - 58 = -5*b. Suppose -2*g - b = -5*a, -a + 4*g = 6 - 31. Solve 4*n - 21 = -a*u, 0*n - 2*n = 3*u - 13 for n.
-1
Let j(b) be the third derivative of -b**4/24 - b**3/2 - b**2. Let c be (1 - (-1 + 1)) + -8. Let f be j(c). Solve -4*d + p + 3*p = -12, f*d - 3*p - 13 = 0 for d.
4
Let s = 353 + -353. Suppose 2*b + s = 4*p - 6, 4*b - 5*p = 0. Solve 0 = h - 2*u + 2, -b*h - 13 = -2*h + u for h.
-4
Let j(y) = -3*y**3 + 16*y**2 - 3*y - 6. Let d = -47 - -52. Let t be j(d). Solve t*s + k = 20, 2*k - 24 = -3*s - 4 for s.
4
Let v(z) = z - 47 + z - 5*z. Suppose -397*r - 198 = -386*r. Let q be v(r). Solve 3*a + q = j, 3*a + 2*a + 5 = -5*j for a.
-2
Suppose 0 = -s - 2*i + 7, -5*s + 163*i = 161*i - 83. Solve -s = -5*b + 2*n, -2*b = -4*n - 73 + 51 for b.
1
Let m(b) = b**3 - 16*b**2 - 122*b + 857. Let n be m(20). Suppose f + 0*f = 0. Solve -25 = -5*h, f = -3*w - 0*w + 4*h - n for w.
1
Let b(z) = -2545*z + 10183. Let o be b(4). Solve 4 = -2*x - o*c, 2*c = -0*x + 2*x + 4 for x.
-2
Suppose -4*n - 4*t = 0, -n + t + 3 + 3 = 0. Suppose n = 2*s + 1. Suppose i = 21 - s. Solve i = -2*f + 6*f + 2*c, -2*f - 10 = -4*c for f.
3
Suppose b + 31 = 5*j - 6, -6*j = -2*b - 42. Solve -15 = -5*d, 5*c + 4*d - 35 = -j for c.
3
Let t be -3 + -1 + (8 - 3)/(15/18). Solve -5*h - s + 7 = 12, -t*h + s = -5 for h.
0
Suppose 0 = -5*l + 3*w + 65, 0 = l - 5*w + 2*w - 25. Let d be 148/l*2 + 2/5. Suppose d*z + 16 = 34*z. Solve -4*q - z = 0, -q = 4*h - 7*h - 11 for h.
-4
Let g(r) = r - 1. Let w(f) = -7 + 5 + 0*f + 4*f. Let s(z) = -5*g(z) + w(z). Let q be s(-3). Solve 0*a - a + 4*i - q = 0, -5*a = -2*i - 6 for a.
2
Let k = -61 - -9. Let o = k + 54. Solve o*w - 7 = -g, 5*w + 0*w = 5*g + 25 for w.
4
Let j be 17 - 4 - (-4 + 12). Solve 3*w + 2*a = j, -4*a = w - 0*a + 5 for w.
3
Let z be (-16)/52*(-6)/(60/65). Let v be (z - 15/6)*-74. Solve -5*t + 0*f - v = -3*f, 4*t - f + 24 = 0 for t.
-5
Let x(o) = -o**3 - 10*o**2 + 41*o + 458. Let n be x(-8). Solve 0 = -b + d + 1, -d = n*b - 5 + 6 for b.
0
Let g = -8222 - -8240. Let q = 4 - 4. Solve -4*x + y = 17, q*x + 3*y - g = x for x.
-3
Let l = 19 + 5. Solve -2*q = -6, -5*g + 24 = -21*q + l*q for g.
3
Let h = -8469 + 8471. Solve 4*x - 5*f + 12 + 19 = 0, 3*x + 6 = -h*f for x.
-4
Let g be (-2)/(-12) + (-747)/(-54). Suppose -g = -2*x - 4*f, -1 = -3*x + 2*f + 2*f. Solve -x*k + 4 = 2*z - 4*z, 3*z - 2*k = 4 for z.
4
Suppose -24 + 17 = u - 8. Solve 5*q = -a + u, a + 2*a = -5*q - 7 for q.
1
Let b = 47536 + -47531. Solve 4*g - b*i + 40 = -9, -g - 4*i + 14 = 0 for g.
-6
Suppose 4*u + 4*x - 48 = 0, -4*u - 32*x = -36*x - 80. Let d = u - 16. Solve -6*t + 3*t - 12 = d, 3*f + 23 = -2*t for f.
-5
Let p be 4 - (-7)/((-49)/28). Let d be 6/5*25/15. Solve w + 5*z - 23 = p, 4*w - d*z - 9 = -27 for w.
-2
Let r(c) = 3*c**2 - 149*c - 817. Let y be r(-5). Solve y*x + 2*w - 10 = 0, -4*x + 10*w = 7*w - 2 for x.
2
Let c(r) = 217*r + 654. Let k be c(-3). Let y(q) = q**3 - 11*q**2 + 5. Let f be y(11). Solve 5*v = -f*o + 44 - 4, -k*v + 4 = -o for v.
3
Suppose 66 = 2939*t - 2978*t + 417. Let j be 85/25 + (-2)/5. Solve y = -5*o + t, j*o - 5 = 2*y - 3*y for y.
-1
Suppose 0 = -0*v + 6*v + 18. Let m be (96/(-80))/(v/20). Suppose -5*t - 10 = -10*t. Solve -2*r + m = -t*k - 0, 6 = -2*k + 4*r for k.
-5
Let s be 4 + (7 - 4) + -12. Let u(i) = -i**3 - 7*i**2 - 12*i - 8. Let f be u(s). Solve -2*b + 7*r = f*r - 9, 0 = 5*r + 15 for b.
-3
Let a(f) = -f - 1. Let l(v) = -8*v - 34. Let o(q) = -3*a(q) + l(q). Let d be o(-7). Solve -5*t - 5*p = -t - 30, -d*p + 18 = 2*t for t.
5
Let k(o) = o**3 - 20*o**2 + 51*o + 3. Let r be k(17). Solve 4*t + t - 20 = 5*j, 0 = r*t - 9 for j.
-1
Let z = 21 - 51. Let p be 154/z + 5 + 73/(-15). Let w be 11 + p/(15/12). Solve n + 2*i + 2*i + 24 = 0, -3*i - w = -2*n for n.
-4
Suppose 7*s + 8 = -13. Let n be (s/6)/(10/(-60)). Solve -28 = 3*j + 5*q, j - 6*j - n*q = 20 for j.
-1
Let c be 4/14 - ((-1695)/21 - 6). Let w = c - 81. Solve -2*r = -0*r - 3*u - w, -5*r = -3*u - 6 for r.
0
Let c be 32/14 + 12/(-42). Solve 0 = 2*f + c*l, -36*f + 32*f - 3 = 3*l for f.
-3
Suppose 0*i = 2*i - 5*q - 19, 0 = -2*i + 2*q + 10. Let r = 22 - -105. Let v = 129 - r. Solve 4*l + i*s + 8 = 0, v*s - 5 = l + 7 for l.
-4
Let l = -687 - -691. Solve 6*v = 10*v - 4*c + 12, 0 = -v + l*c for v.
-4
Suppose 0 = 6*q - 0*q. Suppose -5*d = 3*v + 2*v + 125, -4*d - v = 115. Let z be 14/5 - 6/d. Solve -4*i - p = -11, z*p = -q*i - i for i.
3
Let y(r) = r**3 + 86*r**2 - 557*r - 457. Let j be y(-92). Solve 0 = 3*c - 4*h - j, -c + 5*h + 3 + 9 = 0 for c.
-3
Let w be 1 + -5 - -7*10*4/40. Solve -23 = 5*d + 3*c - 0, -14 = w*d + 2*c for d.
-4
Suppose -21*d = -39*d - 792. Let u be (1/(-3))/(d/792). Solve -m + 2 = v, -2 - u = -v + m for v.
5
Let j = -20 - -27. Suppose -5 = 2*q + 3*q, 0 = -2*m - q + j. Let t be 2/5 - 46/(-10). Solve -t*g = k - 14 - 3, m*g - 6 = 3*k for g.
3
Let l be (-6)/(-75) - (-81 + 91 - (-746)/(-50)). Solve 4*h = l*h + 2*p - 11, 8 = 2*p for h.
3
Let n = 22975 + -22971. Solve 0 = -d + n*x + 15, -3*x - 25 = d + x for d.
-5
Let w(h) = -h**2 - 13*h - 32. Let j be w(-7). Let l(a) = -a**3 - 25*a**2 + a + 27. Let o be l(-25). Solve 4*z + j = -o*t + 22, -4*z = -4 for t.
4
Let a = -5118 - -5128. Solve -10 = 5*f - 3*h, 7*f + 45 = 2*f + a*h for f.
1
Let f(z) = -6*z**2 - z**3 + 1 + z**2 + 2*z**3 + z. Let l be f(5). Let g = 6860 + -6857. Solve 0 = 4*v - 2*o - 26, -l*o = -v - g*o + 19 for v.
4
Suppose 3*s = 4*k - 279, -2*k + 6*k = -2*s + 254. Suppose 4*m - 5*f - k + 25 = 0, f - 11 = -4*m. Solve 0 = -5*z + y, -m*z - 3*y - 12 = 7 for z.
-1
Suppose -5*z + 7*z - 12 = 0. Let s be -4*(3/z + -1). Let o be -2*9/(-3) + -2. Solve -o = -3*b - 2*w, 0*b = -2*b - s*w + 4 for b.
0
Suppose 3*i + 2*u + u - 63 = 0, 16 = 4*u. Let g be -3 - -8*(-39)/26. Let q = g + i. Solve 9 = -q*j - 4*w + 3*w, 5*j = -4*w - 30 for j.
-2
Let u = 862 - 472. Suppose -6*o + 480 - u = 0. Suppose -2*s + 3 = -s. Solve -w - s*a = -o, 3*a - 25 = -2*a for w.
0
Suppose 0 = 2*x - 8, -4*s - x - 4 = -8. Solve 0 = 48*d - 49*d - 4*h + 20, s = 4*d - 2*h + 10 for d.
0
Let h(o) = -3*o**3 + 24*o + 5*o**2 + 5 - 4 + 2*o**3 + 5. Let v be h(8). Solve -2*n = -5*d - 5, -2*d + n = v*n + 2 for d.
-1
Let q = 899 - 1389. Let f be -9 + 0 + q/(-35). Solve 18 = -v + f*a, -5*a + 2 + 1 = 4*v for v.
-3
Let a = -58 + 134. Let c = a - 72. Let n be (-3 - (-10)/c) + (-162)/(-4). Solve 5*x = 4*d + 31, n - 5 = -5*d + 5*x for d.
-4
Let j(g) = g**3 - 13*g**2 + 75*g - 447. Let c be j(10). Solve 3*w = c*a - 45 + 54, -a + 2*w = 4 for a.
-2
Suppose -2*r = 4*n - 54, -3*r = -r - 2*n - 42. Let b be (-14)/(-161) - (-67)/r. Solve b*d = 4*f + 1, -f + d = -3*f + 7 for f.
2
Let r be 4/3 - 285/(-9). Suppose r*j + 13*j - 322 = 0. Solve 0 = -2*o + 3*i + 8, 0 = -3*o + i + i + j for o.
1
Suppose -4*b + 6*b - 8 = 0. Suppose -y = 4*l - 18, -5*y = 4*l - 83 + 57. Solve -2*v + y*t - 8 = -t, -16 = b*v + t for v.
-4
Let a be ((-82)/(-2) - 0) + -2. Suppose y = 3*k + 84 + a, -4*k - 3*y = 151. Let u be (k/(-6) - 2) + (-20)/30. Solve u*b + 20 = -4*c, 1 + 0 = -5*b + c for b.
-1
Suppose -2 = 5*v - 12. Suppose 2*d + 5 = -o, -v*d + 4*o = 2*d - 20. Solve 0 = -2*h + k - 9, -4*h - 4*k +