Solve -h*p + 3*p = -4*v + 12, -p = 2*v + 3 for p.
-3
Let h be (-4 + (-80)/(-15))*15. Let m be (13/2 - 10/h) + 3. Suppose 2*r - 29 = -3*r + 4*i, 3*r - 5*i = 20. Solve -3*j + 0*n + m = n, 15 = r*j - 4*n for j.
3
Let s(m) = 4*m. Let q be s(4). Let j(h) = h**3 - 5*h**2 - 9*h + 6. Let p be j(6). Let o be 9/(-3)*16/p. Solve 0 = -2*g - 2*g + x + q, g - o = 5*x for g.
4
Let h be 16/(-20)*-16*35/14. Solve 3*z + 2*o + 7 = 0, 6*z + h = 2*z + 3*o for z.
-5
Suppose 4*t = 2*i - t + 10, 5*i - 29 = -t. Solve -26 = 5*q + 2*l, 4*q + 2 - 1 = i*l for q.
-4
Let g(r) = -r**2 - 11*r - 3. Let n be g(-10). Suppose 10*j - 6 = n*j. Suppose v = j*v - 18. Solve 6*o - 2*o = 2*s - v, -s - 3*o - 11 = 0 for s.
1
Let i = 68 - 68. Suppose 2*g + 12 = 3*c, 4*g - c + i*c = -4. Solve g = 4*q + 5*o - 20, -4*q + 18 - 2 = 4*o for q.
0
Let m = -453 + 456. Solve z - m*g = -2*z - 3, 5 = -5*z + 4*g for z.
-1
Suppose 3*w - 28 = -h, -4*h - 2*w + 128 = 2*w. Let u = h - 32. Solve -3*m + 4*j + u = 0, 5*m + 4*j = 8 + 6 for m.
2
Let g = 14 - 10. Let m be 4*(-1 - (-27)/g). Let d = -18 + m. Solve d*i + 5*s - 10 = 0, -5*i + 17 = -i - 5*s for i.
3
Suppose 0 = 5*w + 5*k - 10 + 30, -5*k = 4*w + 20. Solve w = -3*l - 5*a - 5, a + 5 = -2*l - 4*a for l.
0
Let u be (-2)/(-3)*9/(-6). Let b be (2/(-1) + 3)*u. Let z be b*(5 + -3 + -3). Solve 0 = -q + 5*y - 2, -2*q + 5*y - z = -2 for q.
3
Suppose -3*d + 6 = -2*r, 2*d = 5*r + 7 - 3. Solve g + 3*k = -2*k - 8, -d*g + 8 = -2*k for g.
2
Let k = -1428 + 1447. Solve 0 = 3*d + 5*i + 16, 4*i = 4*d - 13 - k for d.
3
Let i(o) = -o - 11. Let d be i(-15). Solve d*z - 4*g - 4 = 0, -z - 8*g - 4 = -4*g for z.
0
Suppose -11*c + 4*c + 28 = 0. Let u be (2 + -11)*66/9. Let v be c/14 + u/(-14). Solve -27 = -4*a + 5*h + 10, 5*a = -4*h - v for a.
3
Suppose 0 = 5*h - 55*d + 56*d - 64, 0 = 4*h + d - 52. Solve 4*z = -9*b + 14*b - h, -3*b + 20 = 4*z for b.
4
Let t(g) = -2*g**2 - 10*g + 9. Let m(l) = l**2 + 5*l - 4. Let r(j) = 5*m(j) + 2*t(j). Let k be r(3). Solve s = -5*y - 0*s - k, 4*s - 27 = 3*y for y.
-5
Let a be 5/2*(-24)/(-15). Suppose -a*i + 11 = -1. Let b(s) = -71*s - 279. Let q be b(-4). Solve q*k - 6 = -3*p - 0*k, -3*p - 2*k = i for p.
-3
Let m be 4 - ((13 - 15) + (1 - 0)). Suppose 0 = m*p - 3 - 12. Solve -5*l + 2*k - 17 = 0, 0*l + 3*l = p*k - 3 for l.
-5
Let r = 48 - 86. Let w = 40 + r. Solve -t - 7 = w*i, 4*t - 2*i - 2 = 10 for t.
1
Let n = -140 + 151. Suppose 0 = -4*l - 11 - 29. Let p = n + l. Solve -5*r + 3*z = 1, 4*r + 19 + p = -4*z for r.
-2
Let d(x) = x**3 - 16*x**2 - 54*x - 46. Let k be d(19). Solve -t - 4*t - z - k = 0, t = -2*z - 4 for t.
-2
Let b(o) = 2*o**2 - 45*o + 139. Let d be b(19). Solve 3*j - 2*l + 2 = d, -20 = 4*l for j.
-2
Suppose -2*a + 5*s = -3*a + 25, -10 = -2*a - 2*s. Suppose a*b = 4*k - 3*b - 32, -2*k = -2*b - 18. Suppose -k*q = -q. Solve -3*j + 2 = -y, q*j = 2*j - 2*y for j.
1
Let u be 4/(-4) + 3 + -12. Let p be 2 + -4 + -1 - u. Suppose -3*i + p*i - 17 = -3*g, -5*g - 3*i = -21. Solve -3*o - 2*o = -2*t - 7, g*t - 15 = -o for o.
3
Suppose -150*f - 35 = -157*f. Solve 5*m + 5*t + f = -0*t, -4*t - 31 = -5*m for m.
3
Suppose -p - 2*i - 5 = -2*p, -4*p = -2*i - 20. Suppose -q = -p*q - 60. Let o be (-50)/(-15)*(-18)/q. Solve -v - n + 4 = 0, 2*n - 15 = -o*v - n for v.
3
Suppose -f + 1 = -4. Suppose -f*g + 16 = -9. Suppose -g*i + 0*i = 0. Solve 0*q = -3*q + 5*r - 5, i = -2*q - 5*r + 30 for q.
5
Let v(a) = a**2 + 7*a + 5. Let k be v(-7). Suppose 33 = k*x + 23. Solve 0 = 3*m + x*m + 4*u + 20, -3*u = -3*m + 15 for m.
0
Let h = 4 + 1. Suppose -v + 0*v - 42 = 2*f, h*f - 2*v + 96 = 0. Let y be f/(-8) + 2/(-4). Solve 5*d = -r - 20, -3*r - 25 = y*r for d.
-3
Let x be (4/14)/(3/42). Solve 4*y - 9 = -x*q + 3*y, -4*y = 4*q - 12 for q.
2
Suppose 3*u - 47 = -4*c, -c + 7 = u - 4. Suppose -28 - 8 = -2*t. Solve -h + 3*h + 5*s + t = 0, -2*h - 4*s - c = 0 for h.
1
Let x(j) = 6*j. Suppose -3*l + 3*p - 27 = 0, -49 - 14 = 4*l + 5*p. Let r = l + 13. Let y be x(r). Solve 2*o = 3*o, -3*b = -5*o - y for b.
2
Let o be ((-4)/(11 - 3))/(1/(-178)). Suppose -3*b + o + 19 = 0. Solve 5*p = -4*x - 0*p + b, 3*x + 3*p = 24 for x.
4
Let b = 118 + -116. Solve -5*u - h + 0 + 5 = 0, b*u + 6 = -2*h for u.
2
Let k be (5*6/15)/1. Suppose 2*v = 3*a + 1, k*a - 2 = -2*v + 4. Let m = -3 + 7. Solve 3*x - 6 = -d - 0, -m = -v*x for d.
0
Let v = -3 - -3. Suppose r + v*r - 4 = 0, 5*x - 5*r = -5. Suppose -387*u + 389*u + 7 = j, 11 = 2*j - u. Solve p = -x*t + 2, 4*p - 3*t + j = 13 for p.
2
Let d(f) = 8*f + 9. Let s(l) = l + 1. Let o(a) = -2*d(a) + 14*s(a). Let v be o(4). Let x be 3 - v/(4*-1). Solve -c = -m + 2*c - 6, 2*m - 3*c + 6 = x for m.
0
Let y(o) = 2*o - 27. Let q be y(16). Suppose 3*i = -w + 2*i + 13, -2*i = -q*w + 72. Solve -3*k + 14 = -2*k - 3*j, 2*j + w = 3*k for k.
2
Suppose -1 = 2*b - v, -4*v = -6*v + 10. Solve -9 = -2*z + 3*z - b*o, 0 = -3*z + 5*o - 24 for z.
-3
Let i be (-4 - -8)/28 - 22/7. Suppose 2*u - 18 = -u. Let c = u + i. Solve -2*v - 2 = c*t, 3*v + 5*t + 1 + 3 = 0 for v.
2
Let f be 2 - ((-163)/(-2))/(1/(-2)). Suppose f = 6*w + 5*w. Solve 3*j - g = -w, 4*j - 5 = 3*j - 3*g for j.
-4
Suppose 3*w + 81 = -39. Let q be (w/15)/2*-6. Suppose o = -o + q. Solve -i - 5 = 0, 5*m = m - o*i - 12 for m.
2
Let x(r) = 2*r - 6. Let y be x(6). Suppose z + 2*i = 16, 0 = -14*z + 18*z + 2*i - 82. Solve 5*m = -25, -2*c + 2*m = -y*c - z for c.
-3
Suppose 0 = -4*o, -5*o + 44 = 4*s - 8*o. Let b = s + -23. Let y be b/(-9)*(-12)/(-8). Solve -y*l + 0*l = 2*x - 4, -3*x = 2*l - 2 for x.
-2
Let j = -16 - -35. Let y = j + -2. Let x = 115 - 115. Solve x = -5*r + f - 3*f + y, -2*f = r + 3 for r.
5
Let n = 62 + -88. Let q = n - -61. Let v be (-69)/(-15) - 2/(-5). Solve 4 = -4*z + 20, 5*s = v*z - q for s.
-3
Let d = 139 + -139. Solve d = -2*c - 3*x - 15, 10 = 5*c - 0*c - 2*x for c.
0
Suppose 5*v + 75 = -2*t - 3*t, 3*v - 3 = 0. Let d = t + 25. Solve -21 = 5*y - 4*a, y + 5*a + d = a for y.
-5
Suppose 2*z = 8 - 2. Suppose -3*o = -7*o + 24. Suppose -4*n - 5*y = -3, -2*y + 0*y = -2*n + o. Solve -6 + z = 5*k + r, -4*r = n*k + 12 for k.
0
Suppose -y + 11 = 10*y. Let x be ((-7)/(-7))/(0 + y). Solve -5*k + 4*n + x = -40, n = 5*k - 29 for k.
5
Suppose 0 = 227*c - 193*c - 68. Solve -4 = 5*s + 4*g - c*g, 5*s + g + 2 = 0 for s.
0
Suppose -4*w - 36 = -6*w. Suppose -5*p + 27 = -3*p - 5*s, -w = -2*p + 2*s. Suppose -p*u + 20 = -5*u. Solve u = 4*f, -5*g = -3*f + 11 + 29 for g.
-5
Let f(y) = y + 3. Suppose 0 = -3*b - 4*l - 8, 3*b + 5*l = 3*l - 4. Suppose 2*n = -2 - b. Let w be f(n). Solve -4*r = -2*q + 10 + 2, 0 = w*r + 4 for q.
2
Suppose 2*n + 5*s - 19 = 5*n, -4*n - 3*s + 23 = 0. Suppose -3*l + 40 = n*l. Solve 4*z = l, -r - 2*z = 3*r - 8 for r.
1
Let c = 1253 - 1249. Let p(d) = 2*d + 2 + 0 + 0. Let k be p(3). Solve -c*y + 4*g + k = 0, 0*y = -2*y + g - 1 for y.
-3
Let k = 406 + -401. Solve 10 = -a + k*t, -t - 1 = a - 3*t for a.
5
Suppose 43*m - 92 = 467. Solve 4*l + 3*y - m = 0, l - 10 + 5 = y for l.
4
Let l(c) = c**3 - 21*c**2 - 47*c + 27. Let t be l(23). Solve -3*n - 3*x = 6, 3*n + 2*x - 4 = t*x for n.
0
Let m(k) = k**2 + 24*k - 23. Let c be m(1). Suppose 2*v + 44 = -2*v. Let f = -6 - v. Solve 5*n - 5*l = 5, -f*n - l - 5 = c for n.
-1
Suppose -3*x = x. Let k(p) = -16*p**2 + 57*p - 19. Let j be k(3). Solve 0 = 3*l - x*l, -2*d + j = -2*l for d.
4
Suppose 0 = 3*q - 5*c - 295, c + 2*c - 3 = 0. Suppose q*i - 4 = 98*i. Solve -i*d + 2*l = -4, l + 15 = -4*l for d.
-1
Suppose 8*z = 11*z - 6. Suppose -1 = -l + 2. Suppose 5*o + 13 = 2*g + 2*o, -2*g + 7 = l*o. Solve a = -4*a - 5*u + 50, z*u - 35 = -g*a for a.
5
Let k(m) = 5*m**2 - 5*m - 6. Let t be k(7). Suppose 0 = -63*h + 69*h - t. Solve -5*b + n + 2*n = -h, -4*b + 35 = -5*n for b.
5
Let o = 26 + 1. Let n = o - 25. Solve 0 = -4*d - h - 1, 0 = -2*d - n*h + 6*h + 22 for d.
1
Let f be 4 + 4/(12/57). Suppose 3*v = -4*o + 21 + 3, 0 = -2*v - 5*o + f. Solve 0 = -3*a - 5*i - 1, 4*a + 0*i - 20 = v*i for a.
3
Let v(k) = -3*k**3. Let a(d) = d**3 + 12*d**2 + 13*d + 20. Let s be a(-11). Let o be v(s). Solve 4*q + 12 = -4*w, -4*q + 0*q = -5*w - o for w.
-4
Let p = 31 + -28. Suppose -p*o + 2*s + 0*s + 16 = 0, -2*s - 12 = -o. Solve 0 = -5*u + 5*g, 0 = o*u - 7*g + 2*g for u.
0
Let g(w) = -44*w**3 - 2*w**2 + 2*w. Let f = 0 + 1. Let q be g(f). Let o = -29 - q. Solve o = -5*u, -u + 9 = 2*y - 2*u for y.
3
Let r(k) be the 