- 13 = a for a.
-4
Let f = 1 + 15. Let j = -7 - -22. Let c = f - j. Solve -v - 3*v = -i + c, 2*v = 0 for i.
1
Let l(w) = w**3 + 5*w**2 + 2*w + 12. Let j be 0/(-6) - (0 - -1). Let v = j - 4. Let c be l(v). Solve -6*z + c*z + 5*a = 21, 9 = -z + 2*a for z.
1
Let m(d) be the second derivative of -d**4/12 - 3*d**3/2 - 6*d**2 + 23*d. Let h be m(-7). Solve -15 = -3*x + 4*a, -2*a = -h*x + 2*a + 14 for x.
1
Let b = -42 + 42. Suppose 2*s = -b*d - d - 6, 3*s = 5*d - 35. Suppose -9 = -4*y + 27. Solve 3*x + 5*p - y - 21 = 0, -2*p = d*x - 26 for x.
5
Let v be 3*((-8)/28)/((-12)/28). Solve -t - 3*i = -v, -i - 1 = t - 5 for t.
5
Let h = 56 + -48. Suppose 0 = -h*w + 3*w + 15. Solve -2 - 7 = -w*t + 3*i, 2*t = -3*i - 9 for t.
0
Let a(d) = -16*d**3 - 2*d**2 - d. Let s(j) = j + 5. Let f be s(-6). Let p be a(f). Suppose 0 = 5*q - 10 - p. Solve q*n - 4*b = 25, -30 + 10 = 4*b for n.
1
Let s = 103 - 93. Suppose g - s = -g. Solve 3*b = v + 3, 2*b + g*v - 11 = 4*b for b.
2
Let j = -333 - -336. Suppose -4 = -2*z, -12 = -7*g + 2*g - z. Solve -j*r - g*r + f = -8, -2*r + 5*f = 6 for r.
2
Let b(v) = -3*v**3 + 16*v**2 - 3*v + 11. Let o be b(5). Solve -4*s - 5 = 3*j, s - o + 1 = -5*j for s.
-5
Suppose 5*w = w - 36, y = -2*w - 18. Suppose -2*r + 4*s - 3 - 1 = 0, -3*s = 2*r - 10. Solve 5 = a + r*u - y, -u = -2 for a.
1
Suppose -4*v = -0*v + 5*x + 11, -47 = 3*v - 4*x. Let r be (v + (-1)/(-1))*1. Let h = -5 - r. Solve 3*d - 3*g = 0, h*d + 8 = -4*g + 1 for d.
-1
Let y = 16 + -10. Suppose 0 = 3*f - y. Let n be f/4 + (-171)/(-18). Solve 2*b - 4*x + 9*x = -9, 2*x = -4*b - n for b.
-2
Let p = 113 + -5. Suppose 0 = -0*v - 4*v - 4*j + p, -5*v + 108 = -4*j. Solve -3*m = 3*x - v, 2*m = -5*x + m + 24 for x.
4
Let p(v) = v**2 + 10*v - 86. Let h be p(6). Solve 2*t - 10 = 2*o, -3*t + 4*o = 6*o + h for t.
0
Let h be (-6 - -5)*(1 - 4). Let v be (-6 - (-2 + h)) + -4. Let a be (4/6)/(v/(-66)). Solve -2*p - 8 = 4*t, -a*p + 2 = -0*p + 2*t for p.
2
Suppose 0*y - 28 = 2*y - 3*z, 0 = y + 3*z + 14. Let p be (-24)/36 - y/3. Suppose t - 4*t + 21 = 0. Solve -5*g + p*x = 22, -t = 4*x - 19 for g.
-2
Suppose 39*l = 40*l - 5. Solve -20 = 5*r, 0 = -l*f + 2*r - 3 + 1 for f.
-2
Suppose 3*n + 1 = 3*w + 106, -108 = -3*n + 2*w. Suppose -4*g - 2*l + n = -7*l, -5*l + 25 = 5*g. Solve -g*o = -3*o - c, -3*o + 3*c = 0 for o.
0
Let r(a) = 3*a + 13. Let u be r(-4). Let s be u/(1 + (-2)/4). Suppose -69 = -7*i + 4*i. Solve 3*l = -5*w + 27, -5*w - s*l = -0*w - i for w.
3
Suppose 0 = v - 3*v + 24. Let r = -51 + 56. Suppose 23 = 6*i + r. Solve -4*n - t = -12, -n + i*t + 4 + v = 0 for n.
4
Let u(o) = o**3 + 6*o**2 - o + 2. Let i be u(-5). Suppose 3*g = 31 + i. Solve -l + 4*l - 18 = -3*p, 4*l = -3*p + g for p.
3
Suppose 50 = 11*d - 214. Solve -5*m = 5, -4*g - d = 3*m - 5 for g.
-4
Suppose 0 = 3*k + h + 41, -1 = -k - 7*h + 3*h. Let o = 19 + k. Let z = -3 - -5. Solve -l - o = -z*j, -3*l + 0*l - 5*j = -32 for l.
4
Let o(u) = 4*u - 3. Suppose 2*z + 0*b - 4 = 2*b, 3*b - 2 = -z. Let y be o(z). Solve -4*j - 10 - 16 = 5*d, y*j - 2*d = -16 for j.
-4
Suppose 7 + 13 = 4*w. Let k(t) = 9*t - 49. Let u(r) = -2. Let z(j) = k(j) - 2*u(j). Let b be z(5). Solve -m + 5*g - 28 = 0, w*m + 30 = -b*g + 3*g for m.
-3
Let x be (-8)/6*-3 - -3. Let j(c) = -c**2 + 12*c - 31. Let v be j(x). Solve 6*g + t = 2*g - v, -2*t = 0 for g.
-1
Suppose -23*p = -6 - 40. Solve -2*k - p*k + 16 = w, -2*w - 13 = -k for k.
5
Let a = 23 + -20. Suppose -5*k + 24 = 4*g - a*g, -2*g + 24 = 4*k. Solve 3*f + 3*z = -6, -f + z = g*f - 8 for f.
1
Suppose 41*t + 44*t = 170. Solve 4*l - t*l - 5 = -j, 2*j = -6 for l.
4
Let b be (-4 - (0 - 3))*-1. Suppose -5*o + b + 24 = 0. Solve i - 10 = -4*m - 5, -o*m + 13 = -i for m.
2
Suppose -53*o = -48*o. Suppose 0 = -2*a - 2*q + 14, 5*a - 13 = a - q. Solve -a*r + o*f - 2*f = 10, -2*r - 5*f - 13 = 0 for r.
-4
Suppose t + 2*h - 29 = 0, -5*t = h + h - 137. Suppose -2*s = -4*i + 1 - t, 0 = 3*s - i - 34. Solve s = -3*x + 5*w - 12, 2*x - w = -6 for x.
-1
Let f(x) = -x - 17. Let m(t) = t + 1. Let l(s) = -f(s) - 2*m(s). Let z be l(13). Solve -4*c + 2*h - 10 = 0, z*c = -5*h - 17 + 6 for c.
-3
Let n(t) = -4*t**2 + 7 + 4*t**2 + t**2 - 7*t. Let v be n(7). Solve -w = 2*f + v - 0, 6 = 2*w for f.
-5
Suppose 2*x - 1 = 2*d + 19, -4*d = 5*x - 23. Let a = -32 - -51. Solve x = 4*b - 8*b - 5*c, 0 = -2*b + 5*c + a for b.
2
Let r(j) = -2*j**2 - 36*j - 157. Let g be r(-9). Solve 0 = -3*s + 2*x - 2, g*x - 7*x = 5*s + 30 for s.
-4
Let u = 524 + -522. Solve -u*n - 7 = -3*j, 2*j + 3*n + 26 = 9 for j.
-1
Let k(t) = -t**3 + 7*t**2 + 9*t - 11. Let o be k(8). Let f be (32/12)/((-6)/135*o). Solve -4*g + 5*y + 36 = 0, 2*y = 3*g - 0*y - f for g.
4
Let q(z) = -z**3 - 10*z**2 - 17*z - 8. Let v be q(-8). Solve 0*f + f = v, 3*a = -5*f + 12 for a.
4
Let q be (-5)/2*(-18)/225*10. Solve -3*g + v = -0*g + 7, -4*g - 16 = q*v for g.
-3
Let o be ((-7)/21)/((-2)/90). Suppose o = -5*u, -u + 2*u + 3 = 5*a. Let m = -18 - -36. Solve -j - 2*j - m = t, a = 3*t + 3*j + 24 for t.
-3
Suppose -4*w = -7 - 13. Suppose -4*c - 4*z - 31 = -9*c, -3*c + w*z + 29 = 0. Solve -f - 13 = -c*g, 4*f - 2*g = -6*g - 4 for f.
-4
Let c(i) = 3*i**2 - 1. Let w be c(-1). Suppose 28 = w*j + 20. Solve 2*x + 26 = -7*b + 3*b, -3*x = j*b + 29 for x.
-3
Let j be (2 - -2)/((-2)/(-8)). Suppose -3*m - 20 = -5*w, 3*w + w = 5*m + j. Suppose -4 = -2*c - m*c. Solve 2*f = -4*r - 8, c*f = 4*r - f + 18 for r.
-3
Let k be 5*2/(-45) + 4/18. Solve -2*h - 4*n + 8*n - 12 = k, -5*h - 18 = 2*n for h.
-4
Let q be (-33 + 26)/(-2 + 1) + -3. Solve 4*t + 4*p = 2*t + 12, q*p = 2*t + 12 for t.
0
Let c(m) = m**2 - 9*m + 25. Let b be c(6). Solve -5*q + 2*g + 10 = -2*g, g + b = -q for q.
-2
Suppose 0 = l + 2*u - 14, 2*l + 2*l - 3*u - 100 = 0. Let n = 24 - l. Solve n*d = -0*b + b - 6, 2*d + 2 = 3*b for d.
-4
Suppose 16 + 76 = -4*y. Let p = 25 + y. Solve 0 = -p*o - 3*j + 5 + 10, 5*j = 5*o + 25 for o.
0
Let i be ((-3)/(-7))/((-19 - -10)/(-63)). Solve -q - 4*q + 25 = g, g + 7 = i*q for q.
4
Suppose -4*x - 2*v = -22, 75 = 5*x - 3*v + 20. Let c be (-5)/(10/(-12)) + -2. Suppose 0*t + t - 2 = 0. Solve -y - t*m + x = 0, -9*y + c*m = -4*y - 12 for y.
4
Let q = 29 + -27. Solve -4*b - q*x - 2 = 0, b - 3*x = -0*b + 3 for b.
0
Let f be (4/12)/((-1)/(-18)). Suppose 0*c = 2*c + y - f, -5*y - 14 = -c. Suppose 21 = c*g - 63. Solve 7 + 6 = 2*d + 3*j, 0 = -4*d - 5*j + g for d.
-1
Let s(m) = 62*m - 2. Let r be s(1). Let n = r - 55. Let h be 3/(-5) + (-90)/(-25). Solve -4*j = -x - 22, 0 = 5*x + h*j - n for x.
-2
Let y(d) = 3*d - 11. Let v be y(5). Let l be (-1120)/(-21) + v/6. Let b = 75 - l. Solve 0*s - 3*s + b = -2*w, -5*w + s = 20 for w.
-3
Let x = 46 - 46. Solve 4*f - 8*f - 6 = 5*k, x = 5*f - k - 7 for f.
1
Let n(a) = -3*a + 27. Let v be n(8). Suppose v*p + p = 12. Solve -b + 5 + 6 = -3*t, 0 = -2*b + p*t + 7 for b.
-4
Suppose 5*s + 10 = 0, 0 = 5*n + 5*s - 8 + 3. Let u be 10 - ((-2)/(-4) - n/(-6)). Solve 2*v = 4*y + 10, -u + 0 = 3*v for y.
-4
Let j(l) = -l**3 - 11*l**2 + 11*l - 6. Let i be j(-12). Suppose -2*r + 4*a = -22, -5*a - 4 - i = 0. Solve 2*y = u - r + 1, 3*y = -u - 9 for y.
-3
Let f(t) = -8*t + 9. Let z be f(0). Suppose -z*o + 20 = o. Solve 0*h - 2*h - o*x + 10 = 0, 0 = 4*x - 4 for h.
4
Let m be 9/189 + (-1250)/(-210). Suppose 77 = 2*w + 3*s, -s + 32 = -4*w + 151. Solve 0 = -5*r + w - m, o - 2*r = -7 for o.
3
Suppose -8 = -4*b, -h + b - 78 = -5*h. Suppose -14*o = -h*o + 30. Solve -o = 4*j + 2*w + 16, 5*w - 1 = 4*j for j.
-4
Suppose 8 = u - 4*b, -40 = -3*u - 2*u + b. Solve -5*c + c = -4*j + u, -j - 3*c - 2 = 0 for j.
1
Suppose -33 - 182 = -43*x. Solve -10 = -4*u - 4*n - 2, -x*u = n - 22 for u.
5
Suppose -11*n = -2*q - 10*n + 28, -q + 23 = -5*n. Solve -j + 22 = -5*b - 5*j, 0 = -b + 5*j + q for b.
-2
Let k be (1/(-6))/((-72)/2160). Solve -2*x - k*g - 6 = 1, -8 = 4*x + 4*g for x.
-1
Suppose 15*b - 36 = 6*b. Solve 3*c + 2 + 3 = -b*o, -o + 10 = -3*c for o.
1
Suppose 5*i = -6*i + i. Let f be ((-7)/14)/((-2)/48). Solve -5*c - f = x - 3*c, 4*x + 5*c + 33 = i for x.
-2
Suppose 0 = l + 4*l - 200. Let b = -56 - -89. Let k = 73 - b. Solve -4*h + 4*f = k, -5*h = -2*h - 5*f + l for h.
-5
Let t be ((-1)/(-3))/(6/(-558)). Let r = 34 + t. Solve 5*g + 2 = r*d + 10, -3*d = 3*g - 24 for g.
4
Suppose -10*x - 30 = -300. Let r(l) = l**2 - 26*l - 22. Let g be r(x). Solve b - g*i - 22 = -