 = 0. Solve h*d + 30 = -5*s, 2*s - 6*s - 3*d = 31 for s.
-4
Let l(a) = a**2 - 4*a - 9. Let z(v) = -v**2 + 4*v + 10. Let o(x) = -6*l(x) - 7*z(x). Let f be o(-3). Solve -f*m + 45 = -5*i, -2*m - 3*i - 6 = i for m.
5
Suppose 6*p = p + a + 30, -5 = -2*p - a. Suppose -4*s = 4*o - 32, o + 32 = 2*o - p*s. Solve c = l - 3, -5*l + 3 = 5*c - o for c.
0
Let w(k) be the first derivative of k**2/2 - 14*k - 20. Let m be w(16). Solve -15 = m*y - 3*c, 0 = 3*c - 10 - 5 for y.
0
Suppose -170*y = -159*y - 55. Solve -3*t = f - 11, -y*t - f - 4 = -19 for t.
2
Let p(a) = a**2 + a. Suppose -5*d = -d. Suppose 2*v + z = -d - 6, -5*v + 3*z = 15. Let i be p(v). Solve 5*y - c = 3*y - i, 4*c = -8 for y.
-4
Let d = 12 + -24. Suppose 2 - 6 = 4*j - 4*n, -3*n - 21 = 5*j. Let i be d/j + 3 + -3. Solve -4*y - 4*u = -6*u - 10, -i*y = 4*u - 28 for y.
4
Suppose -5*f + 590 - 540 = 0. Solve 0 = 2*a + 5*k - k - 18, 0 = 5*a - k + f for a.
-1
Let c(z) = -2*z**2 - 15*z - 26. Let j be c(-8). Let v = j + 38. Solve 6*o + 4 = 5*a + 3*o, 3*a = v*o - 2 for a.
2
Suppose -t + 16 = 3*t. Let z(a) = -a**2 + 7*a - 7. Let f be z(t). Solve -2*p + 8 = 0, 2*p + 3 + 4 = -f*c for c.
-3
Let j(u) be the first derivative of u**3 + 6*u**2 - 12*u - 18. Let a be j(-5). Solve 10 = -a*v - x, -4*v + 5*v - 4*x - 14 = 0 for v.
-2
Let g be 1416/40 + 3*3/15. Let f be 8/(-20) - g/(-15). Solve -3*h - 3 = 2*r, -h - h = 2*r + f for h.
-1
Let b(s) = -s**3 + s. Let h be b(-1). Suppose -60 = -3*v + v. Suppose -3*j + 4*o + v = o, 0 = -j + 4*o + 13. Solve 13 = 3*z + 2*u, h*z - z = -2*u + j for z.
1
Let k = 21 - -11. Suppose 0*y - 2*y = -3*o + k, -16 = y + 3*o. Let h = y - -16. Solve 4*z - 5*z + 13 = 3*t, h = -4*z - t + 19 for z.
4
Suppose 7*m - 56 = -21. Solve -m*q - 4*s + 0 = 16, 3*s - 19 = 4*q for q.
-4
Let u be (-16)/24*18/(-4). Suppose 3*c - 18 = -9. Solve c*h - 5 = -u*x - 2, 3*x = -h + 3 for x.
1
Let w be (-28)/(-10) + -2 - (-216)/(-270). Solve -3*f + w*x = -4*x - 6, -2*f - 3*x + 4 = 0 for f.
2
Suppose -473 - 160 = -3*b. Let x = 215 - b. Let w = -3 - -6. Solve 1 = -4*d - w, -d = -x*r + 5 for r.
1
Suppose -x = 5*a - 2 + 9, 3*x - 2*a - 30 = 0. Suppose v - 3*m = 6*v - 31, x = 2*v - m. Solve 4*r - 2*f - 20 = -0*r, 0 = -r - 4*f + v for r.
5
Let r = 1 + -1. Suppose -22*j = -20*j - 20. Suppose j = -2*b + 3*b. Solve r = 5*h + f - 6, 3*h + f = 2*f + b for h.
2
Suppose 0 = -5*v + 2*u - 66, 3*v + 23 = -3*u - 4. Let a be 22/(-33)*(v - 0). Let l = 20 - a. Solve 0 = o + 4, -o = -r - 3*o - l for r.
-4
Let b be (-4*(-2)/12)/((-106)/(-795)). Solve -4*u - 4*o - 4 = -o, b*o - 24 = u for u.
-4
Let c(j) = -j**3 + 9*j**2 - 14*j + 6. Let b be c(7). Suppose 2*q = 4*q - b*q. Solve -2*t - t + 3*d - 3 = q, 5*t - 2*d - 4 = 0 for t.
2
Let z(o) = -o + 6. Let f be z(6). Let q be f + (1 + -1 - -14). Let v(i) = 5*i - 3. Let y be v(4). Solve 3*k - y = -w, 3*w - 5*w - k + q = 0 for w.
5
Let y be 12/10*60/36. Solve -y = v + v + 4*r, 3*r - 16 = 2*v for v.
-5
Suppose 0 = -3*t + 15 + 18. Suppose 2*g = -t*g + 52. Solve -2*v = -g*i - 14, 2*v + 0 - 2 = 0 for i.
-3
Let l(x) be the first derivative of -x**4/4 - 2*x**3/3 + x**2 - x + 1. Let k be l(-3). Let m = 0 + k. Solve -5*y + p = -m*y + 7, 15 = -3*p for y.
-4
Let a be ((-1)/(-2))/(1/42). Let x be -2 - (a/(-3) + 0). Suppose -x = -3*u + 10. Solve 3*r - 2*s = 0, u*r + 2*s = -2*s + 22 for r.
2
Suppose 0 = 4*l + 2*q - 16 - 10, -l + 4*q - 7 = 0. Let j(c) = c**2 - 24*c + 112. Let g be j(18). Solve -g*v + 41 = -l*d, 5*v - 5 = 2*d + 25 for v.
4
Suppose 3*v - 18 = -3*u - 0, 24 = 4*v - 4*u. Solve 2*o + 2*r = v*r - 30, o + 10 = r for o.
-5
Suppose 8*f - 50 = 5*f + 2*v, -5*f - 5*v = -75. Solve -4*g = -f, r + 2*g - g = 4 for r.
0
Let v = 87 - 60. Let s = v - 22. Solve -a - 2 = 2*b, a = s*a - 2*b + 8 for a.
-2
Suppose -4*h - n + 0*n = -81, 2*h = -3*n + 53. Solve -4*d - h = 3*g, 0 = 2*d - 4*d - g - 7 for d.
-1
Let i be (0 - 4)*(-5 - (-51)/12). Solve 8*o = f + i*o + 20, -5*f + 4*o = 37 for f.
-5
Suppose 60*r + 11*r = 0. Solve r = -5*k, -a + 5*k - 10 = -6 for a.
-4
Let k(s) = -s**3 + 16*s**2 + 46*s - 177. Let a be k(18). Let u = 8 + -6. Solve a*w + u*c - 2 = -0*c, 4*w - 2*c = -16 for w.
-2
Let u be (-12 - (-84)/7)*2/6. Solve -y - 6 = -u*y + m, 2*m = -5*y - 21 for y.
-3
Let a(t) = t**2 - 4*t + 3. Let d = -8 - -12. Let g be a(d). Let j(z) = z**3 - 15*z**2 + 3. Let u be j(15). Solve -2*r + g*r = m - u, -r = -5*m + 19 for m.
4
Let u be 1/5 + 351/45. Suppose -d + 2*a + u = d, -d + 16 = -4*a. Let t = 11 - 7. Solve -c = -t*q + 5, 2 = c + 3*q - d*q for c.
-1
Let g be -2 - (11 + (-16)/(-4)). Let d be ((-11)/44)/(2/(g + 1)). Solve -5*w - 6*o + 15 = -3*o, -d*w + 5*o = -6 for w.
3
Let n(p) = p**3 + 5*p**2 - 4*p + 15. Let x be n(-6). Solve x*m - 4*t + t = 3, t - 29 = -5*m for m.
5
Let j(p) = 6*p - 2. Let c be j(6). Let h(k) = 5*k + 2 - 100*k**2 + 99*k**2 - 2. Let o be h(5). Solve o = -7*r + 2*r + 3*l + c, 2*r - 4*l = 22 for r.
5
Let a(l) = -9*l + 225. Let j be a(25). Solve -k + 3*x = -j*k - 1, 5*x + 10 = 0 for k.
-5
Suppose -5 = -0*m - m. Let a be -1 + 32 - (-2)/(-8)*0. Let j = 33 - a. Solve -b - 15 = -5*o, 13 + m = -j*b + 4*o for b.
-5
Let t = 13 + -10. Let w be (-4)/((-1)/3*t). Solve d - 3*f = -3, 0 = 2*d + 2*d + w*f - 4 for d.
0
Suppose -145 = -5*b + 105. Suppose -4*i = i - b. Let s be (15/i)/(3/10). Solve s*z - 24 = 3*f, 0 = -z + 5*f + 17 + 1 for z.
3
Suppose -244*x + 238*x + 60 = 0. Solve -c + 0 = 3*v - x, -c - 4*v = -14 for c.
-2
Let d(c) = -c**3 - 5*c**2 + 6*c + 4. Let p be d(-6). Suppose 12*g + 5*g = -5*g. Solve 3*q - 35 = -g*b + p*b, -b = q for q.
5
Let z = 200 - 197. Solve 2*f = -2*q - 8, -q - f = -z*f - 11 for q.
1
Let k be (-1)/(-3) - 20/(-12). Suppose -4*h + 15 = -h. Suppose 0 = h*v - k*o - 23, 4*v + o - 11 = -v. Solve -b + 0*b + 2*r = -7, v*r + 13 = 2*b for b.
5
Let q be 700/125 - (-1 + 6/10). Solve 2*k - 3*l + 21 = q, 0 = -5*k + 3*l - 24 for k.
-3
Let c be (-16)/32*(-1 - -1). Let p(k) = -k**2 - 3*k + 10. Let n be p(c). Suppose 0 = 17*o - 12*o - n. Solve -h + g = -3*g - 13, 4*g = -o*h - 10 for h.
1
Let q(h) = -8*h - 4. Let j be q(-1). Solve -2*o + 2 = -j*m, 0*m - 5*m - 5 = -3*o for m.
2
Suppose 12 = -r - 3*t, -2*r + 6*r - 5*t - 37 = 0. Solve 11 + 16 = d + 5*j, -r*j = -2*d - 11 for d.
2
Let i(y) = -y**3 - 4*y**2 - 3*y - 35. Let o be i(-5). Solve 0 = 7*s - 2*s + p - 5, -o = -5*s + 2*p for s.
1
Let k = -11 + 15. Suppose -2*v = 4, k*v + 174 = u + 21. Suppose 5*q - 5*a = u, 0*a = 4*q - 2*a - 116. Solve -5*j + 3*h - q = -j, -2*j = -2*h + 16 for j.
-5
Let r = 2156 + -2154. Solve w = -r*i - 0 - 2, -i + 3*w = -6 for i.
0
Let h(a) = -1. Let t(y) = 5 + 3 + 2 + 0 - 3*y. Let p(w) = -2*h(w) - t(w). Let c be p(4). Solve -1 = -4*m - 13, -r + c*m = -13 for r.
1
Let n(c) = c**2 + 18*c + 22. Let h(v) = -5*v**2 - 8*v - 13. Let i be h(-2). Let d be n(i). Solve -3*t + d*a = -2 + 19, -17 = 5*t + 3*a for t.
-4
Let k = -42 - -72. Let b be (-4)/1*k/(-24). Solve -3*h - 4*q = 19, -b*q = -0*h - h for h.
-5
Suppose 3*c = -3, -2*l - 180 = 5*c - 179. Suppose 3*n + d = 9, d + 29 = 5*n - 2*d. Solve -n*b + 2 = -3*j + b, 0 = j - l*b for j.
-4
Suppose -210*h - 4*k = -214*h + 20, 0 = -2*h - 3*k. Solve h*p - 7 = 6*p - 2*y, -2*p + 2*y = 4 for p.
-3
Let u(j) = j**2 - 8*j - 9. Let i be u(9). Suppose -2*c - 3 = -d, 2*d + 3*c - c = i. Solve 4*g - 4*q = 10 - 2, -q = -d for g.
3
Suppose 5*i - 2*w - 64 = 0, -5*w = 5*i - 25 - 25. Solve -3*l + 3*x = -21 - 6, -2*l - 4*x = i for l.
4
Suppose -5 = -6*o + 7. Solve -5*y + 5*s - 25 = 0, -o*s + 2 = -y - 4 for y.
-4
Suppose 3 = 4*q + 11. Let x(n) = -3*n**3 - n**2 + 1. Let i be x(q). Solve 0 = 4*y - r + 1 - i, -3*y - 3*r = 0 for y.
4
Suppose 47*s + 11 = 58*s. Let u be 0*(-1)/(-2) + 1. Let j = 2 + u. Solve j*f - 9 = 2*m, -3*f + 4*m - s + 16 = 0 for f.
1
Suppose 149*y - 130*y - 114 = 0. Solve -3*s = -4*m - 2 + y, 10 = -s - 3*m for s.
-4
Let k be 0/((-49)/7 - (-3 - 2)). Solve 2*w - 4*u + 30 = k, 2*w + 3*u + 20 = 5*u for w.
-5
Suppose s - 2*s = -3. Suppose -32*n + 157 = -99. Solve -d = 2*o - 7 + 1, 4*o - s*d = -n for o.
1
Let p = -17 + 20. Suppose p*k - 24 = -0*k + 3*m, m = -3*k + 12. Solve -3*w + c = -13, 2*w + 3*c - k = -0*w for w.
4
Let p be ((-1)/3)/((-6)/36) + 119. Suppose o - p = -10*o. Let m be ((-6)/(-5))/(6/20). Solve 3*u - m*v = o, -3*u - 2*u + v - 10 = 0 for u.
-3
Let r = 11 - 8. Let p(b) = 4*b**r + 5*b + 6 - 4*b**2 + b**2 -