 a + 8 for a.
4
Let i(f) = f**2 + 20*f + 24. Suppose -20 + 115 = -5*y. Let s be i(y). Solve -3*j - 4*k + 30 = -5*j, s*j = -5*k for j.
-5
Let l be (-4)/3 - (-16)/12. Suppose -5*a - 3*n + 203 = l, -a - 4*n + 45 = n. Let u be 1/(-2) - 86/(-4). Solve y = -2*i - 2*y + u, 5*y - a = -5*i for i.
3
Suppose -3*c - 8 = -23, 3*k + 19 = 5*c. Solve -4*u = -k*h - 4 + 18, -2*h - 1 = -u for h.
-3
Let z(g) = -13*g. Let l be z(-1). Let w = l - 11. Suppose 5*i - 13 = w. Solve -s - 40 = 4*s - 4*h, i*s - 3*h + 27 = 0 for s.
-4
Let g = 3125 + -3123. Suppose -4*k = -2*c + 4*c - 26, -5*k = -c - 29. Solve g*i - 21 = 3*p, i - 4*p = k*i + 5 for i.
3
Let v(s) = -5*s**3 + s**2 + 3*s + 1. Let l be v(2). Let o = -29 - l. Solve o = -4*m + 3*k - 3 - 14, 0 = -3*m - 4*k - 19 for m.
-5
Suppose -5*g + 2*w = -394 + 34, -3*g = -4*w - 216. Suppose g = -0*m + 9*m. Solve 4*h - 5*v + m + 12 = 0, 3*v = -h + 12 for h.
0
Let h be 4/12 + 2/(-6). Suppose v + 3*v = h. Suppose 2*g + 2 = -0*x - 4*x, v = 4*g + 20. Solve 3*p = 5*u - 3 - x, -u = 5*p - 1 for p.
0
Suppose -20 = 33*g - 43*g. Solve 0 = q + v - 6, -4*q + g*v + 6 = -0*v for q.
3
Let j(b) = -b - 3. Let p(k) = -2*k**2 + 2*k + 7. Let u be p(3). Let o be j(u). Solve -o*h = -3*x - 7, -h = -3*x - 2*h + 8 for x.
1
Suppose 2*d = 13*d - 8*d. Solve 3*p = -3*t, t - 3*p = -d*t + 16 for t.
4
Let k(x) = x**2 - 19*x - 38. Let c be k(21). Solve -c*l = t - 1, 0 = 2*l - 6*l + 5*t - 5 for l.
0
Suppose 24 = 5*k + 69. Let h be ((-4)/10)/(k/135). Suppose h = -2*x + 10. Solve -5*y + 6*r - r = -5, -x*y + 4*r = -2 for y.
1
Suppose 0 = 3*r + f - 4, -3*r - 2*f - 3*f - 16 = 0. Suppose -89 = -6*k + 1. Solve 2*i - 13 = r*n, 2*n + k = 5*i - 12 for i.
5
Suppose r = 4*x + 15 - 32, -5*r = -4*x + 21. Solve -x*g - 12 = 0, b - 5*g - 20 = -3 for b.
2
Let z(j) = j**3 - 7*j**2 + 8*j + 3. Let h = 11 + -5. Let l be z(h). Suppose 5 = -y + l. Solve y = -3*o + 8*o - 5*f, 0 = 5*o - 2*f - 4 for o.
0
Let o = 54 + -52. Let b be 4/(16/14)*(o - 0). Solve 0 = -4*a + 2*a - 5*y - b, 4*a - 4 = -4*y for a.
4
Let r = 3 + -5. Let l(p) = p + 4. Let n be l(r). Solve 3*w - 12 = 0, -2*x = w + n - 14 for x.
4
Let x(v) = -v**3 - 3*v**2 + 2*v - 8. Let y be x(-4). Suppose -z + 8*z - 21 = y. Solve 0 = -4*s + z*b, 5*b = -20 - 0 for s.
-3
Let t(c) = 16*c - 53. Let u be t(4). Solve y = -4*p - 14, -4*p + 4*y - 13 - u = 0 for p.
-4
Let g(i) = -i**3 + 25*i**2 - 82*i - 38. Let u be g(21). Solve 4*v + 4 = u*r, -v = -r + 4*r - 11 for r.
3
Suppose 3*a + a + 3*r + 3 = 0, 5*r = 3*a - 5. Suppose -4*b + a*b + 48 = 0. Let g = b - 8. Solve -4*k - g*i + 27 = i, -15 = -3*k - 2*i for k.
3
Let m be 5 + (10 - 11)*1. Solve -y - 3*y = 5*s + 13, -m*y = -2*s - 22 for s.
-5
Suppose 7*q + 24 = 108. Suppose -3*p + 0 - q = 2*g, -2*g + 3*p = -12. Solve 4*u - 2 = 2*r - 26, g = u + 5*r - 5 for u.
-5
Let z be (15/(-3))/(1 - 2). Let n = 18 + -16. Solve -8 = -2*g - n*u + 4*u, -z*u - 20 = 0 for g.
0
Suppose 28 = 4*z - 5*j, 3*z + 42*j - 10 = 43*j. Suppose 2*h = 5*x - 4, 3*x - 4*x - 4*h + 14 = 0. Solve 0*y - 5*y = z*o + 25, -3*o = -x*y + 9 for y.
-3
Suppose 27*s - 22*s - 100 = 0. Solve -3*g = 4*x - s, -g + 3 = -x + 8 for g.
0
Let a = -11 + 21. Suppose -2 = 2*x - a. Solve 3*c + x*v - 35 = 0, 1 = 4*c - 2*v - 9 for c.
5
Suppose 0 = -5*s - 4*d + 66, 16 = 6*d - 2*d. Suppose -4*q - s = 6. Let u = -2 - q. Solve 4*b - 3*j = u*j + 15, 3 = 4*b - j for b.
0
Suppose -4*r = -2*r - 3*c + 73, 5*c - 15 = 0. Let w = 18 + r. Let h be w/(-3) + (-20)/30. Solve 0 = -2*o + q + 2, -4*o - o = -3*q - h for o.
2
Suppose -p + 3*r - 27 = -6*p, 0 = 5*p - 4*r + 1. Suppose 3*x - 24 = -p*x. Solve 0*h - 4*g - 16 = h, -24 = -h + x*g for h.
4
Let q = 74 - -16. Let l be 4/(-5) - (-522)/q. Solve -y + 22 = 4*c, -5*y + 21 = l*c - 14 for c.
5
Let g be 33/12 + -3 - (-75)/12. Let q = g + -2. Suppose -5*z - 4 + 19 = 0. Solve 0 = b - z*r + 2, b = -b - 5*r - q for b.
-2
Suppose -8 = -60*u + 58*u. Solve 0*m - r + 7 = -m, 0 = 2*r - u for m.
-5
Suppose 3 = 5*u + 18, -5*h + 4*u = -32. Let k = 7 + 1. Suppose -o = -6*j + k*j - 28, 2*j - 156 = -5*o. Solve 5*b - 1 = 2*q - 26, -4*b - o = -h*q for q.
5
Let g = -14 + 16. Suppose 5 = -5*l - 3*q, 35 = 2*l + 3*l - 5*q. Solve 5*d + l*a + g*a = -30, -3*a - 21 = 3*d for d.
-2
Suppose -4*u = -4*j + 388, -3*u - 98 = 5*j - 607. Let w be j/(-6)*(-12)/8. Suppose -m = 4*m - w. Solve 4 = m*n + a + 9, -5*a = 3*n + 3 for n.
-1
Let m(v) = -v**3 - 11*v**2 + 2*v + 23. Let d be m(-11). Solve 3*c - 5*s - 25 = c, -c - 2*s - d = 0 for c.
5
Suppose -4 = -l - 1. Let t be 45/60*20/l. Solve 4*g + t = -5*f, g + 10 = 3*f - 4 for g.
-5
Let z(p) = -13 - 9*p + p**2 - 7*p + 0*p**2 + 2*p. Let l be z(15). Solve 0 = -0*h - l*h + q + 2, -q = -2 for h.
2
Suppose -4*h = 3*m + 5, 2*m = -3*m + 4*h + 45. Let d = 75 - 17. Let w = -49 + d. Solve 5*i = -3*q - w - 2, m*q = 5*i - 5 for i.
-1
Let y = -27 + 13. Let l = 16 + y. Suppose 5*b = -3*c + 65 - 3, 0 = -4*c + 16. Solve w = 3*t - 20, l*w - w + 3*t = b for w.
-5
Let i = 13 + -20. Let l = -5 - i. Let z be (l/6)/((-7)/(-42)). Solve -4*b = -z*r + 16, 0*r + 4*r + 3*b + 1 = 0 for r.
2
Suppose 3*z - 2*z + 3*z = 0. Suppose 0 = -2*f - 5*g - 2, 5*f + 3*g - 14 = -z*f. Solve -2*b - t = 2*b - 16, -f*t = -16 for b.
3
Suppose -20*q + 19 = -81. Solve q*p + 2*s = -14 - 3, 5*s + 5 = 0 for p.
-3
Let m = -15 + 23. Suppose m = 4*w - 8. Solve q + 3 = -2*q + 3*t, 5*q - 4 = -w*t for q.
0
Suppose -5*t + 77 = 27. Let a(o) = 3 - 3 - o + t. Let q be a(7). Solve -3*y = -3*n - 27, -3*y + 31 = -q*n + y for n.
-5
Suppose -49 = -3*w + 47. Suppose -4*g = w - 40. Solve 0 = -3*p + 3*o - 12, -g*p - 8 = -p - 5*o for p.
-3
Let m(s) = s + 1. Let i be 1 + -2 + 2/(-2)*-2. Let l be m(i). Solve -4*u - t = 4*t, -5*t = -l*u - 30 for u.
-5
Let v be -1 - 2/(-6) - 13/3. Let o be (-56)/(-14) - v*1. Solve -o = 2*p - w, -5*p + 5*w = 32 + 3 for p.
-2
Let k = -23 + 6. Let b(s) = s**2 + 15*s - 30. Let c be b(k). Solve 4*l + 4 = 8*g - c*g, -l - 4 = -2*g for g.
3
Let m be 4/5 + 26/5. Suppose m*n + 35 = 11*n. Solve -5*v + 15 = -5*z, n*z - 2*z + 3 = -v for v.
2
Let i be 4*((-45)/(-12) + -3). Suppose 0 = -5*u + 5*a + 5, 2*u = 3*u - i*a + 1. Solve 2*b - 2 = -u*z, 0 = z - 5*b + 14 - 3 for z.
-1
Let b be (-12)/16 - (-386)/(-8). Let l = 54 + b. Suppose 4*c - 24 = -3*s, -3 = -2*c + 3. Solve l*z = -s*u + u - 10, -6 = -u + 3*z for u.
0
Suppose 2*a = 5*t + 44 + 6, -a - 5*t + 55 = 0. Let l = 38 - a. Solve 21 = -y - 4*n, 0 = l*y - 5*n - 0*n - 22 for y.
-1
Let s be (-198)/(-55) - (-2)/5. Suppose -3*x + 4*v - 14 = 0, -3*v + 25 = x + s*x. Solve 0 = -a - x*q, -a - 11 = 4*a - q for a.
-2
Let k(m) = -m**3 + 3*m**2 - 3*m - 3. Let j be k(2). Let p(v) = v**2 + 3*v - 8. Let z be p(j). Solve o = z*h - 4*o + 8, 0 = o for h.
-4
Let q(z) = -z**2 + 8*z - 3. Let j be q(8). Let w be (j*(-1)/(-2))/((-16)/32). Solve -3*m - 5*n - 17 = 0, 4 - 20 = -4*m + w*n for m.
1
Let r be 10/3*12/10. Suppose 5*z - 1 = -2*x - 0*x, 3*x = -5*z + r. Suppose 4*p - 11 = -v + 3, 5*v - 10 = 0. Solve -s - 2*l + 2 = x*s, -3*l = -p*s - 3 for s.
0
Let s be 2 + 1 + 2*(-25)/(-10). Solve 2*t + 2*h = 4, 4*h = 6*t - 3*t + s for t.
0
Suppose -2*v = 8 + 8. Let t be v/16 - 3/2. Let o = 1 - t. Solve 4*m - o*q + 5 = 0, 5*m = -5*q + 3*q - 35 for m.
-5
Let d be (-1)/(-4) + (-43)/(-4). Suppose -t = -p + 8, 0*p - p = -2*t - d. Suppose 4*o = 23 + 1. Solve -2*i = -v - o, -14 = -p*i - 0*v + 3*v for i.
4
Let g(s) = 24*s - 68. Let h be g(3). Solve -5*i - 11 = -u, h*u = u - 3*i - 3 for u.
1
Let x be (35/((-3850)/20))/((-2)/44). Solve 0 = 2*y - 5*y - 3*z - 15, x*z = 4*y - 20 for y.
0
Let z(h) = -2*h**2 + 10*h + 7. Let s be z(5). Suppose -18 = -3*b + 3*u, -u = 4*b - 26 + s. Solve 2*j + 7 = -0*j + k, -3*j - 4*k - b = 0 for j.
-3
Let i(z) = -z**2 + 22*z - 5. Let h be i(22). Let u be h/(-3)*12/10. Let o be -1 + -5*(-1 - 0). Solve u*w + 11 = -3*j, -3*j - 6 + 1 = -o*w for j.
-3
Suppose 5*c + k + 2*k = -137, 4*c + 120 = -5*k. Let r = c - -35. Let j = 15 - r. Solve 4*x + j*h - 9 = 0, h - 2*h - 3 = 2*x for x.
-4
Let u = 2502 + -2496. Solve 0 = -4*o - 3*r + 8, 7*o = 10*o - 5*r - u for o.
2
Let f(y) = 10*y**2 + 5*y + 2. Let m be f(-2). Suppose 5*z + 12 - m = 0. Solve z*r = 5*u - 25, -1 = 3*r - 4*u + 18 for r.
-5
Let v(r) = 3*r**2 + 69*r - 165. Let b(l) = -2*l**2 - 46*l + 110. Let z(o) = 8*b(o) + 5*v(o). Let p be z(-25). Solve -k + g = -4*g + 8, p*k - 4*g + 19 = 0 for k.
-3
Le