 4*c + 5*c for a.
5
Let i = 124 - 120. Let b be (-4)/(-14) + (-57)/(-21). Solve 10 = -5*n + 4*g, 2*n - g - b + i = 0 for n.
2
Let q(i) = i**3 - 11*i**2 - 12*i - 16. Let r be q(12). Let p be (5 - 1)/(r/(-24)). Solve -3*d = 2*y + 29 - p, 2*y - 3*d - 7 = 0 for y.
-4
Let b be (-20)/300 - (-61)/15. Solve -25 = -5*p, -b*z = z - p + 5 for z.
0
Let y be (-1)/(-4) + (-14)/(-8). Suppose 11*z = -7*z + 4*z. Solve y*t + 3*s = -16, z = t - 4*s + 3*s + 3 for t.
-5
Suppose 4*v = 2*s - v - 70, 0 = 5*s + v - 121. Solve 3*a = -j + 13, -3*j - 2*j + 3*a = s for j.
-2
Let v be ((-2)/7)/((-9)/63). Suppose -5*t = -3*a + 22, 5*a - v*t = -7*t + 10. Solve -1 + 14 = -5*l - 3*s, -31 = 3*l - a*s for l.
-5
Let r = 0 - -3. Solve u + 2*q = -r*q + 16, 0 = -5*u + 4*q - 7 for u.
1
Suppose 1634 - 1625 = 9*m. Solve 2*o - o + m = -w, 4*o + 7 = -3*w for w.
3
Let k = -246 + 249. Solve -4*f - 18 = 3*p, -2*f - 1 = k*p + 11 for f.
-3
Let p = -1554 + 1556. Solve -p*c + 5*u = 21, 12 = -0*c + c + 5*u for c.
-3
Suppose -q + 3*x = -3*q - 6, 2*q - x = 10. Let f = -33 + 30. Let r be (f + 0)*(-40)/24. Solve 0 = -2*z + r*b - 23, 5*b - q*b = 3*z + 18 for z.
-4
Suppose 0 = h - 5*s - 14 + 16, 0 = -4*h + 5*s + 7. Solve -3*n + 15 = 3*y, -4*y + 20 = -h*n + 2*n for y.
5
Suppose -54*c + 38 = -35*c. Solve 4*y - 16 = -2*p, -7*p - 16 = -4*p - c*y for p.
-2
Suppose 0 = 2*w - w - 3. Suppose 57 = 3*c + 3*r, 4*c - w*r = 7 + 104. Suppose 4*l - c = -0. Solve 0 = -3*m + l*f - f + 7, 3*m + 7 = -2*f for m.
-1
Suppose 81 = 3*b - 6*b. Let r = -4 - b. Let z = -21 + r. Solve u - 3*u = -d - 3, 5*d + 3*u = -z for d.
-1
Let n = 137 - 134. Solve a = 3*z - 1, -4*z = 4*a - n*a + 1 for a.
-1
Let x = -524 + 529. Solve v - x*p + 0*p - 11 = 0, 3*v = -5*p - 27 for v.
-4
Suppose 20 = t - r, -4*r = 5*t - 30 - 25. Solve -5*j = 4*w + t, 2 = -0*w - w - 3*j for w.
-5
Let q = -2634 + 2636. Suppose 5*s = t + 30, -2*s - t + 20 = 3*s. Solve -s*b = k - 6, 4*b = -k - q*k - 4 for b.
2
Let r be (137/6 - 11) + (-3)/(-18). Solve p + 4*t = -r, 17*p = 16*p + 3*t + 9 for p.
0
Let v(p) = -5*p + 29. Let o be v(5). Suppose 3*r = 2*j + 22, 5*j - o = 1. Solve -3*x = 3*u - x - r, 4*u = -x + 4 for u.
0
Let d = -556 + 561. Solve 2*x + 5*a - 4 + 2 = 0, d*x - 4*a = 5 for x.
1
Let b be 3/(3/35)*(-4)/(-10). Suppose 0 = y + 4*o - 12, 0 = 4*y + o - 2*o - b. Solve y*q - 3*v = -13, -1 = q + 2*v - 5*v for q.
-4
Suppose 14*k - 12*k = 8. Suppose -k = 2*o - 8. Solve -o*v + 4*d - 12 = -0, 3*v - 4*d = -12 for v.
0
Let m = 2261 - 2259. Solve -m*b + 3*y = 5, 0*y - 6 = 3*b - 4*y for b.
2
Suppose 0 = -4*y + 5*v - 15, -105*y + v = -107*y + 3. Solve 5*b = -2*g + 5*g + 8, -3*g - 5*b + 2 = y for g.
-1
Let k(j) be the second derivative of -j**4/12 + j**2 + j. Let g be k(0). Suppose m = g*h - 12, h - m + 3 = 2*h. Solve -6 = -3*u + h*o, -u + 0*o = 5*o - 2 for u.
2
Suppose 13*b + 7*b = 100. Solve 0 = o - 2*p - b, -2*p - p - 18 = 2*o for o.
-3
Let r be (-23 - -18)*9/(-5). Solve -3*c - r = -3*n - 0, -n = 4*c + 2 for n.
2
Let o be (-1024)/192*-2*(-3)/(-4). Solve -2*t + 5*u = 12, o*t - 6*t = 4*u - 8 for t.
4
Let r = 3 + 5. Suppose r*c = -0*c + 16. Solve c*s - 10 = j + j, 0 = -2*j - 2 for s.
4
Suppose 0 = -3*i + 5*q + 3, -3 = -3*i - 6*q + q. Solve -4*j = -7 - i, 3*j - 26 = 5*z for z.
-4
Suppose m + m = -5*x - 38, -3*x = 2*m + 22. Let k = -4 - x. Suppose 2*d - 8 + k = 4*u, u - 1 = 0. Solve -37 = 3*s + 5*l, 3*s - 3*l - d = -1 for s.
-4
Let m(k) = -k**2 + 13*k - 14. Let p = 2 - -8. Let g be m(p). Suppose -c = 3*q - 3*c - 63, 0 = -q - c + g. Solve 0 = 4*s + z + q, -s + 2 = 5*z + 21 for s.
-4
Suppose -3*f - 12 = -6*f. Suppose 0 = -3*v - 2*v. Suppose 1 = -2*q + 4*s + s, -3*s + 3 = v. Solve 0 = q*n - p - 6, -f*n + 0*p + 4 = -4*p for n.
5
Suppose -60 + 24 = -9*t. Solve -2*r = t - 0, -3*a - 2 = 4*r for a.
2
Let q = -3 + 5. Suppose f - 4*f + 3*m = 6, -2*m - 14 = f. Let c be 6/(-12) - 15/f. Solve -c*d + 4 = q*n, -n + 2*d = 4 + 6 for n.
-2
Let r(p) = p**2 + 40*p + 123. Let w be r(-3). Solve -t = -2*g - 5, -5*t + w + 13 = 3*g for t.
5
Suppose -36*i = -31*i - 25. Solve -2*u = -5*w + 11, -2*u = w - i + 10 for u.
-3
Suppose 8*p = 16*p - 16. Suppose -2 = d - 6. Suppose -d = k - 2*k. Solve -14 = k*w + p*m, -w - 4*m - 18 = 2*w for w.
-2
Let w = -357 + 361. Let d be (-4)/(-2) - (-36)/2. Solve -4 = q - 2*q, w*t + d = 4*q for t.
-1
Let x be 6/(-5)*70/(-21). Suppose x*a = -3*o + 4*o - 16, 5*o - 3*a = 29. Suppose o*c - 8*c + 12 = 0. Solve -5*k - 9 = 3*v - 33, -c*v + 3*k = 0 for v.
3
Let k(w) = 2*w - 9. Let u be k(6). Let r(b) = b**3 + 4*b**2 - 4*b + 6. Let x be r(-5). Suppose -i - x = -4. Solve -i*m - 4*v + 5 = 0, m + 40 = -4*m + u*v for m.
-5
Suppose u - 4*u = -9. Let g(b) = b**3 - b**2 - 5*b + 4. Let m be g(0). Solve -z - w = -u + 1, m*w + 10 = 2*z for z.
3
Let i be 3*(-4)/2 - -10. Let w be (-4)/(-4) + -2 + 5. Solve -w = 2*s - 0*k + i*k, 1 = -4*s - k for s.
0
Let c be (2 + 1/(-2))*28/6. Let z be c/((1/(-5))/(3/(-3))). Solve 0*b = -3*b + 4*p - 24, 5*b - 5*p = -z for b.
-4
Let o(r) = 7*r**2 + 2*r - 1. Let p(t) = -11*t**2 - 3*t + 2. Let h(v) = 8*o(v) + 5*p(v). Let x be h(-2). Solve 0 = 3*w - 9, -3*u - x*w = -2*u - 11 for u.
-1
Suppose 60 = -4*p + 188. Let c = -28 + p. Suppose -c*x + 32 = -8. Solve -3*l = -3*b - 9, -2*b - x = -4*l - 4 for l.
0
Suppose 423 = 4*x + k, 0*x - 3*x + 303 = -4*k. Let f = x - 103. Solve 2*r - 3 = -z, f*r = 3*r - 2*z - 9 for r.
3
Suppose -20*c + 71 = -9. Solve 4*x + 5*b = -5, -c*b + 10 - 45 = -3*x for x.
5
Suppose 0 = -6*n + 2*n, 5*g = n + 10. Suppose 0 = -g*a + 3*a. Solve -5*v = -20, 2*v + a*v = -2*s + 16 for s.
4
Suppose 4 = -13*v + 14*v. Suppose 4*t + j = 2*j - v, 16 = t + 4*j. Solve -6*y + y + 15 = -5*f, t = -4*f - 12 for y.
0
Let w = -1202 - -1210. Solve 0 = -4*j - 3*t - 11, -2*t - w + 4 = j for j.
-2
Let i be 224/6 + (-5)/15. Suppose 0 = 6*b + 7 - i. Solve -b*x - 7 = -4*q - 36, -9 = -2*x - q for x.
5
Suppose 3*l = -2*s + 14, 4*s - 3 - 1 = -2*l. Suppose -5*k - 4*m = -l - 10, -1 = k + 5*m. Solve 25 = -k*y + 3*o, 3*y + 9 = -2*o + o for y.
-4
Suppose 0 = -4*f + 4, 3*n - 43 - 28 = -5*f. Suppose 3 = -k + 1, -3*w + 77 = -4*k. Suppose -n*g = -w*g + 25. Solve 2*p = 4*z - 20, -z - 4*z + g = -p for p.
0
Let q be (106/371)/((-2)/(-56)). Solve 2*h - 3*h - 4*f = q, -3*h + 3*f = -21 for h.
4
Let u(a) = 2*a - 35. Let f be u(20). Solve 0 = 2*r - r - f*l + 19, 4*r - 12 = -2*l for r.
1
Let h(a) = -a**3 - a**2 + 6*a + 6. Let i be h(-4). Let m be (16/(-20))/((-4)/i). Solve -3*v = f + m, -14 = 5*v + f + 2*f for v.
-1
Let v(n) = -n + 3. Let x be v(3). Solve -4*i + x*i - 16 = 4*d, -3*i - 17 = -2*d for d.
1
Suppose 2*o - 5 = -5*j, 0*o + 5*j = 2*o - 35. Solve 2*i = o, -25 = 5*g - i - 3*i for g.
-1
Let h = 21 + -76. Let d = -47 - h. Solve -b = -2*f + 8, 2*f + 2*b + b = d for f.
4
Let s(j) = -8*j + 12. Let d be s(-9). Suppose -6*z - d = -9*z. Solve -2*b + z = -3*r - 2*r, 0 = -4*b - 4*r for b.
4
Suppose -14*h = -527 + 247. Solve 12 = -3*t + v, -4*t + 2*v = h - 4 for t.
-4
Let v = -40 - -133. Suppose 0 = 4*x - 3*o - v, -6*o = -3*x - 3*o + 66. Solve -5*s - x = i, -i + 16 = -4*s - 2 for s.
-5
Let d(x) = -x**2 - 13*x - 36. Let g be d(-5). Suppose -f + 0*f + 3 = 0, 3*q + g*f = 123. Solve 5*i - 10 = -5*s, i - 5*s + q = -3*i for i.
-3
Let a(m) = m - 2. Let x be a(0). Let y be -1 + 56/10 + x/(-5). Solve 3*j = 7*j - 4*o - 20, -2*j - y*o - 4 = 0 for j.
3
Let y be (-266)/(-228)*(-1 + (0 - -7)). Solve 0 = -c + 4*c + 2*l, l - y = -5*c for c.
2
Let b be (4/6)/((-2)/3). Let u(x) = 5*x**2 + x - 1. Let j be u(b). Solve 0 = -4*n + 20, 3*n - 7 = s - j*s for s.
-4
Suppose -2*k + 5*j + 11 = 0, -5*k + 2*j = -9*k + 10. Solve 7 = -2*p - k*z, -z = -2*z - 1 for p.
-2
Let l = 213 + -213. Solve 2*y + 11 = -u, 5*u + l*u = 3*y + 10 for u.
-1
Suppose -49*x = -48*x - 87. Suppose 83*d = x*d - 20. Let y(g) = g**2 + 3*g - 2. Let f be y(-4). Solve -3*s - z = 8 + f, s + 22 = -d*z for s.
-2
Let u = -446 - -450. Solve 3*a - u*o = 17, 5*a + 0*a + 5*o + 30 = 0 for a.
-1
Let a = 19 - -33. Let p = a + -48. Let n be (-2)/7 + (-120)/(-28). Solve n*u - 16 = -p*v + v, 0 = 4*v for u.
4
Suppose p = 3*c - 0*p - 7, 2*p = -c. Suppose -c*d = -2*d - d. Solve -5*u = d, -5*h + 3*u - 5 = -25 for h.
4
Let n be (-18)/(-48) + 27/(-72). Solve -4 = -2*v - n, -3*b = 4*v - 8 for b.
0
Let g(k) = -k**3 + k. Let r(h) = 4*h**3 - 9*h**2 - 5*h + 19. Let b(w) = 5*g(w) + r(w)