s(-16). Solve 5*r + g*x - 5 = 0, -r - 3*x + 18 = -6*x for r.
3
Let o(n) = -n. Let u(r) = -3*r**2 + 5*r. Let h(l) = -2*o(l) - u(l). Let b be h(3). Solve -2*y = 4*q - b, 0*y - 5*q + 12 = -y for y.
3
Let k = -1 + -3. Let a be 2/k + 20/8. Let q be ((-2)/a)/(2/(-30)). Solve 0 = 2*x + 5*j - 10, 5*j = 3*x + 4*j - q for x.
5
Suppose 11*v - 14*v + 9 = 0. Solve -3*s + 4 = f, v*s = 4*f + 2*s + 10 for f.
-2
Let b(u) = u**3 - 7*u**2 - 8*u + 4. Let h be b(8). Solve h*p + 0*j = -5*j + 5, -10 = p + 5*j for p.
5
Let y be (9/6)/((-2)/(-12)). Suppose -3*v = -90 + y. Solve n = 5*p - v, 4*n + 4*p - 11 = 1 for n.
-2
Let x(f) = f**3 + 8*f**2. Let w be x(-8). Suppose 4*i + w = 16. Suppose 0 = 5*a - 0*a. Solve -t + 2*r = -0*t - i, a = 5*t - r - 2 for t.
0
Let q = -5 + 9. Suppose -3*r + 6*r + 6 = -4*y, 2*r + q*y + 8 = 0. Solve -3*j - m - 3 = -6, 1 = j + r*m for j.
1
Suppose -3*u + 21 = 3*r, -3*u + r = -u - 14. Suppose 5*n = 2*s + 7 + u, 3*s = 3*n - 3. Solve 5*k + s*i = -i - 8, -2*k + 4 = -2*i for k.
0
Let g = -1 - -6. Let j(h) = -2*h + 12. Let r be j(g). Solve -3*w + w - 4*q = -r, 0 = -4*w - 5*q + 7 for w.
3
Let w be (-2 - (-2 + 1))*-4. Let v = -3 + w. Let n = 1 - -3. Solve n*b = -p + 6, v = -4*p + 3*b + 6 for p.
2
Let x(p) = 13*p + 33. Let r(w) = 3*w + 8. Let o(z) = 9*r(z) - 2*x(z). Let c be o(-3). Solve -5 - 1 = -3*g + c*l, 5*g = -5*l - 20 for g.
-1
Suppose 0 = -5*q, -h - 4*q - q + 14 = 0. Solve -4*c + 8 = -4*z, 0 = z - 2*z - 3*c + h for z.
2
Suppose -s + 1 = 3*y, s - 5 = -5*y - 0*s. Suppose 14 = -2*g + g. Let v = 24 + g. Solve -5*b + 21 = 2*c, v + 6 = -3*c + y*b for c.
-2
Let h be (-125)/(-75) - (-4)/(-6). Solve i = 3*s + h, 3*s + 2 - 13 = -2*i for i.
4
Let p = -106 - -106. Solve 5*o + 20 = 0, -4*d - 3*o - 2*o - 16 = p for d.
1
Let i(y) = y**2 + 7*y + 9. Let c be i(-6). Solve 0 = v + 3*b - 8, -3*v - c*b + 15 = -3 for v.
5
Let c(n) = 7*n**2 - n. Let h be c(-1). Suppose -4*m = 4*k - 0*m - h, 3 = 3*m. Let v be (-5*k - -2)/(-1). Solve 1 = -2*z - v, 0 = -5*i + 4*z + 18 for i.
2
Let h(z) be the first derivative of -z**3/3 - 3*z**2 - z - 4. Let k be h(-5). Solve 0*w - 3*w = -5*a + 17, -k*w - 3*a = -16 for w.
1
Let q = 13 - 11. Suppose t = -q*t + 15. Solve t*i + 23 = 2*l + 3, -3*l + 4*i = -23 for l.
5
Suppose -4*h + 2*u = -24, -3*h - u = h - 36. Solve -3*x = -4*s - 12, 4*s - 2*x + h = -0*x for s.
0
Let b(v) = v. Let s be b(2). Let d(a) = a**2 - 2*a + 2. Let i be d(s). Suppose 0 = -p - i*p + 6. Solve 0 = -p*g - 2*r + 4, 4*g - 17 = -3*r + 2*r for g.
5
Let u = -110 - -113. Solve -2*j = 5*g + 3*j, 0 = u*g - 2*j + 5 for g.
-1
Let v be ((-3)/(-9))/((-5)/(-105)). Let c(n) = -n**2 + 7*n + 4. Let s be c(v). Solve s*x - 8 - 4 = -5*m, 5*x - 3*m = -22 for x.
-2
Suppose 0 = -3*v + 3*q + 9, 6*v + 5*q - 3 = 2*v. Solve 4*c + 0 - 10 = -v*x, 2*c = x - 5 for c.
0
Let q(x) = -x**3 - 5*x**2 - 7*x - 10. Let b be q(-4). Solve -10 = -5*a - 5*p, -2 = -b*p + 2 for a.
0
Let n be (-4)/(-22) + 93/33. Solve u - 5*d = -1, -4*u - n = -u + 2*d for u.
-1
Let d = 4 - 4. Let o = d - -2. Solve -b + o*g = 9, 2*b - 5 = b - 5*g for b.
-5
Suppose -2*q - q = -60. Solve 3*h = h + 8, 4*j + h - q = 0 for j.
4
Suppose 0*n - 3*n = 0. Let o be ((-10)/(-2 - n))/1. Solve -5*w + 3*x = o*x + 10, 0 = 5*x for w.
-2
Let n be ((-52)/20)/((-2)/10). Let t(d) = -d**2 + 2*d - 1. Let s be t(1). Solve s = 4*w + 5*h + n, 0 = 2*h - 2 + 4 for w.
-2
Let n = 4 - 0. Suppose 0 = -t - 2 + 12. Suppose -6*z + z + t = 0. Solve -4*g = -z*k - 7*g, n*k - 5*g = -22 for k.
-3
Let z be ((-15)/25)/(1/(-5)). Suppose 3*x = -0*y - z*y - 6, 4*x = 3*y + 27. Solve -4 = -4*g, -2*v - x = g + 2 for v.
-3
Let m = 5 - -4. Suppose 3*j - m = -0*j. Suppose -2*q = -1 - j. Solve 0 = 3*g + 4*u, -g + q = 2*u - 0 for g.
-4
Let y(t) = -t**2 + 5. Let c be y(0). Solve 4*z - k = k - 18, z - c*k = 0 for z.
-5
Let b = 41 - 32. Solve -4*w - 3*g = -5, 2*w - 2*g = -w - b for w.
-1
Let f = 0 - -2. Let r(m) = m**2 - 1. Let z be r(f). Let b = 16 - 11. Solve j + 16 = b*q, -4*j - 4*q = -5 - z for j.
-1
Let f be (4/(-12))/((-1)/9). Let h be ((-1)/f)/((-8)/24). Solve 5*k + 3*y = -h, -5*k = -6*y + 2*y + 22 for k.
-2
Suppose -6 = r - 4*r. Let q(z) = z**2 + 6*z - 3. Let l be q(-7). Suppose -r*n = -k + 5 + 1, -3*k - n + l = 0. Solve 12 = -4*c, 3*i - 4*i = -c + k for i.
-5
Let k = -25 - -12. Let u = -8 - k. Solve 0*g + u*w - 20 = g, -2*g + 3*w - 19 = 0 for g.
-5
Let q(l) = -l**2 + 5. Let f be q(0). Suppose -f*c - 5 = -30. Solve 3*t - 4 = a + 4*t, 0 = c*a - t + 20 for a.
-4
Let b(k) = k**2 + k. Let h be b(-2). Suppose 2*p + 4 = h. Let x be (2 - p)*14/6. Solve -4*g + 1 + x = i, 5*i = -2*g - 14 for g.
3
Let m be (-63)/(-6) + 1/(-2). Let t(w) = w**3 + 10*w**2 - 3*w - 14. Let o be t(-10). Let n = o - m. Solve -4*y = 2*r + n, y + 1 = 3*r + 3 for y.
-1
Let a = -48 - -52. Solve d + r - 7 = 0, -a*d = 2*r - 9 - 15 for d.
5
Let c = -40 + 42. Solve -c*v - 6 + 4 = -p, -p = 0 for v.
-1
Let q = 1 + 0. Suppose -4*m + 4*z = 220, 141 = -7*m + 4*m - 5*z. Let g be m/(-9) + (-4)/(-18). Solve -s = -4*h + 5, -s + 5*h = g + q for s.
3
Let c = -20 - -22. Solve -j + v = 1, -3*j + 3 = c*j - 3*v for j.
3
Suppose 3*j - 20 - 3 = -4*n, 3*n - 3*j = -9. Let c(s) = 3*s - 1. Let q be c(6). Suppose q + 3 = 5*l. Solve 2*k = -3*i + 12, -n*i - l*k = k - 8 for i.
4
Suppose 2*v + 4 = 3*v. Let p be (-1 + 0/v)*0. Solve 19 = -4*u + 7, 4*z - u - 3 = p for z.
0
Suppose -1 = 5*r - r + 3*u, r - 5*u + 6 = 0. Let p = r + 4. Let k(b) = -b**3 - b**2 + b + 4. Let f be k(0). Solve -f*y = p*d - 1 - 2, -3*d - 3 = 2*y for y.
3
Let q(t) = 5*t**2 - t - 1. Let b be q(-1). Solve -2*l + 4*f + 1 - 5 = 0, -b*f + 11 = -l for l.
4
Suppose 2*l - 4*v + 3*v - 1 = 0, -3*l + v + 1 = 0. Suppose l = -3*p - p. Solve -5*o - 4*r = -10*o + 10, p = 3*r for o.
2
Suppose -3*b = 4*p + 4, -3*p = 2*b + 3*b + 3. Solve b = 3*g - 5*n + 40, 10*g - 5*g - 5*n = -50 for g.
-5
Suppose 0*g - 4 = -2*g. Suppose 0*x = x - 3. Solve -3*d = -3*k, g*d + 0*d - 10 = -x*k for k.
2
Suppose q - 2*f = 1, 5*q + 4*f = 24 + 9. Suppose y + 77 = 5*a, -5*y - 55 = -3*a - 0*y. Suppose -w + 0*w + 4 = 0. Solve c + x = 3*c + 7, 0 = q*c + w*x - a for c.
-1
Suppose 0 = -4*w - 2*t + 2, t + 9 = 5*w - 3*t. Let q = w + 1. Suppose -17 - q = -2*d - 5*m, 4*m - 18 = -2*d. Solve d = 3*v + 2*f, -2*f + 8 = 2*f for v.
1
Suppose -5*k + 3*b = -14, 0 = -b + 5*b - 8. Suppose 0 = 3*h - 0*h - s - 5, -4*h + 12 = k*s. Solve 17 = -2*w - w + h*t, 0 = -t + 1 for w.
-5
Let z be 5 - 5 - (1 + -1). Suppose 4*j + z*j = 2*h + 82, 5*j + 4*h - 83 = 0. Solve 2*s = -6*f + f - j, -5*s + 4*f = -35 for s.
3
Let t = -1 + 5. Solve s = 3*a + 8, 2*s = -t*a - 8 - 6 for a.
-3
Suppose 0*i + 9*i - 117 = 0. Solve -3*t + 5*z = i - 0, -2*t - 10 = -4*z for t.
-1
Let s = -30 - -52. Let d = 2 + -1. Solve -2*u = 3*w + s, -3*w + 3*u - d + 4 = 0 for w.
-4
Suppose -5*z + 26 + 14 = 0. Solve 5*m + 7 = o, z*o - 3*o + 5*m = 5 for o.
2
Suppose -2*h = -7*h + 25. Let a(d) = 5*d + 40. Let v be a(-7). Solve -c = z + 3 - h, -z = -v*c + 4 for c.
1
Suppose 6*k - 4*c = k + 38, 55 = 4*k + 5*c. Solve -3*n - 2*u + k = 0, -2*u + 2 = -0*n + n for n.
4
Suppose 0*q + 42 = 3*q. Solve -5*o = 3*g + q + 3, -3*o - 8 = 4*g for o.
-4
Suppose -3*u + 28 = -i, 3*i - 10 = -2*i. Let b = u + -8. Solve 5*o + 14 = 2*o - 2*q, 5 = -b*o + 3*q for o.
-4
Suppose -t + 25 = 5*o, 23 = 5*o - 3*o + 3*t. Solve 3*g - 2*i + i = o, -4*i = 16 for g.
0
Let m(d) = d + 2. Let p be m(-2). Suppose p*c = -2*c - 3*r + 43, -2*r = 4*c - 66. Let w be (4 - c)/(-2*1). Solve k = -0*k + 2*n + 7, -w*k + 24 = n for k.
5
Suppose 2*t + 216 = -2*t. Let d be (t/3)/1*-1. Let m be (-1 - -3)*(-5)/(-2). Solve m*z = q - d, 5*z = 2*q + 2*z - 8 for q.
-2
Let t(h) = h**2 + 7*h + 4. Let u be t(-7). Solve -u*j = -4*m - 20, 4*j - m = -3*m - 4 for j.
1
Let h(c) = c + 11. Let d be h(-7). Suppose 2*b - b = w - 6, -5*w + d*b + 26 = 0. Let o = -3 - -4. Solve o = -5*g - 4*l - 0*l, -w*g + 4*l + 22 = 0 for g.
3
Let u(i) = 3*i - 4. Let p be u(3). Suppose 42 = t + p*h, -56 = -4*t - 4*h + 32. Solve -v + 0*m + 4*m - t = 0, -4*v - 5*m + 16 = 0 for v.
-1
Suppose 0 = 3*o - 2*o - 4*q + 9, q = -3*o + 25. Let u = 9 - o. Solve 0*c + 8 = u*c, 4*s = 2*c + 8 for s.
4
Suppose 3*i - 14 = -2. Suppose 3*p + 1 = -k - i, -2*p + 6 = 3*k. Let x(d) = d**3 - 3*d**2 - 4*d + 4. Let t be x(4). Solve -29 = 5*c - t*j, k + 2 = -c + j for c.
-5
Let g be (-4)/6 + 204/36. So