, 0 = 3*a + c for b.
4
Let v(h) = h**2 + 25*h + 30. Let z be v(-24). Solve -3*f = i + 14, -z*f = -f + 3*i + 30 for f.
-3
Suppose 0 = -9*m + 8 + 64. Solve 3*c + n = m, 0*n + 2*n = -5*c + 15 for c.
1
Suppose 37*j - 520 + 187 = 0. Solve 2*h = 10, -4*h + j = u - 10 for u.
-1
Suppose 5*n - 11 = -s, 4*n - 4*s - 5 = -s. Suppose 633 - 81 = 4*i. Suppose -4*m - 2*m = -i. Solve 0 = n*p + 4*v - 12, -p - 4*p = 3*v - m for p.
4
Suppose -4*s = -8 - 28. Let u be (s/18)/((-1)/(-6)). Solve u*o - 8 = -q, 3*o - 5*o = -2*q - 8 for q.
-1
Let h(p) = 3*p - 5. Let q = -20 + 16. Let s be (-3 - (-2 - q))/(-1). Let j be h(s). Solve -4*b - 3 = 3*z, b + 4*z + 1 - j = 0 for b.
-3
Suppose 2*u = 5*y + 5, 116*u = 115*u + y + 10. Solve -4*z - 3*v = -0*z - 9, u = -z + 5*v for z.
0
Let l(u) = -u**3 + 8*u**2 - 2*u - 9. Let s be l(7). Suppose -6*x + x + 250 = 0. Let q = x - s. Solve 3*p - 4*p - 5*h = -q, -5*p + 4*h - 25 = 0 for p.
-1
Let v(k) = 56*k - 26. Let z be v(1). Solve 3*a = a - 5*r - z, 0 = -4*a - 5*r - 40 for a.
-5
Let a = 537 - 532. Solve -2*x + a*c = -3*x - 20, -5*c = 5*x for x.
5
Let x be (-2 - -3) + 7 - 5. Solve 4*a = 2*c + x*c + 37, 0 = 5*a + c - 10 for a.
3
Suppose 0 = q + 5*u - 0*u - 29, -3*u = -4*q + 24. Let j be 3*(-5)/(-6)*2. Suppose 0 = -j*c + 16 + q. Solve 0*w + 31 = -4*w + c*b, -4*w - 13 = b for w.
-4
Let g = 1 - -1. Let i be (8/(-6))/(g/30). Let z be (-115)/i - (-12)/(-16). Solve 3*r = -f + z, 4*f + r + 3 = -10 for f.
-4
Suppose -5*b - 34 = 2*g + 3, -b = -2*g - 7. Let r be 4/(-7)*3*7/g. Solve -6 = -d + r*u, 0*d + 3 = -d - u for d.
0
Let p(b) = -6*b - 4 + 0 + 2*b**2 + 0. Let g be p(4). Suppose -5*a - 5*u + 1 - 6 = 0, -a - g*u - 16 = 0. Solve a*k + 4*z = 16, k = -z + 3*z + 4 for k.
4
Let j = -2 + 4. Suppose -2*r - 5*t = -7, -j*r + 2*t = r - 20. Solve q - x = 6, 3*q + x - 28 = r*x for q.
1
Let c(k) = 2*k**2 - 26*k + 82. Let f be c(8). Solve o = -4*q + 7, f*q - 4*o - 2 = 3*q for q.
2
Let g be (-1 - 2) + -1 + 72. Let q = g - 48. Let d be 48/q + (-6)/(-10). Solve -5*f + 3 = -4*v, -5*f + 2*v + d*v = 0 for f.
3
Suppose 0 = -119*r + 122*r - 27. Let v(l) = -l**3 + 10*l**2 - 9*l + 4. Let w be v(r). Solve -2*j - 14 = -w*y, -j - 4*y = j - 18 for j.
1
Suppose 23 = -2*c - 3*i + 22, c - i - 7 = 0. Solve -12 = 4*p + c, 5*p + 8 = -3*w for w.
4
Suppose -o - 3*c = -2*o + 23, 0 = -4*c + 4. Let s be (5 - 10/4)*2. Solve 3*i = 5 + 4, s*k + 2*i - o = 0 for k.
4
Suppose -64 = 85*k - 89*k. Suppose -2*m + 2*b + k = 3*b, -5*m + 3*b + 40 = 0. Solve -4*n = -5*r - 2, m*n - 3*n - 15 = 0 for r.
2
Let r = 120 + -117. Solve -b - 2*b = 3*w - r, -6 = -4*b - 2*w for b.
2
Suppose -167*t + 390 = -89*t. Solve -k = -0*k - 3*z + 9, 35 = 5*k + t*z for k.
3
Let c = -27 + 29. Suppose 5*y - 3*v = -c*v + 16, -5*v + 24 = y. Suppose 3*j = -3*i + 24, -i + 3*j - 14 = -2*i. Solve -4 = y*q + 2*t, -3*q - t - i = -0 for q.
-3
Let j be 3*1*(-13)/(-13) - 1. Let u be j/10 + (-9)/45. Solve -m = 4*c - 4, -5*c = -3*m - u*m + 12 for m.
4
Let p = 287 + -191. Suppose 24 + p = 10*m. Solve -11 = -4*n - 5*i - 0*i, 3*n = -5*i + m for n.
-1
Let g = -21 - -15. Let k be -1 - (g + 2) - -2. Suppose k*j + 2 - 12 = -5*x, -5*j + 4*x + 46 = 0. Solve q - u - 15 = -4*q, 2*u - j = -2*q for q.
3
Suppose 14*b + 4 = 16*b. Solve c = -w + 5, b*w + 8 = 3*w + 2*c for w.
2
Let o(q) = -q + 16. Let s be o(-4). Suppose 0 = -24*t + 29*t - s. Let v = 14 + -10. Solve 5*l - 4*l = -v*k - t, -3*k + 5*l = 26 for k.
-2
Let d(i) = 31*i - 1297. Let o be d(42). Solve 4*p - 5 = -5*z - 7, -o*z = -p - 13 for z.
2
Let q(r) = 2*r**2 + 11*r + 8. Let n be q(-5). Suppose -19 = -n*z + 2*l, 4*l + 8 = -z - 3*z. Solve -2*v = -4*t - 2, z*v - 4*v = t - 7 for v.
5
Let l be (-4)/(-6)*8/((-144)/(-135)). Suppose -9*o - 2*y = -13*o + 18, -2*y = -l*o + 21. Solve 0 = -g - o*x + 6, -3*g = -3*x - 2*x - 4 for g.
3
Suppose -2*x - 3*x = -4*x. Solve 5*i - 20 = -s + i, x = 5*s + i - 24 for s.
4
Let t be (4 - 6) + 4 - (-3 - 0). Suppose 0 = a + 4*a + 4*s + 4, s = t*a - 1. Solve 5*f - 4*i + 12 = a, 3 = 4*f + 2*i - 3 for f.
0
Let r = -484 - -484. Solve r = -m + n - 4, -2*n + 6*n = -4*m + 24 for m.
1
Let w = 403 + -399. Solve -2*i + 3*i = 3*m + 4, 5*m = -i - w for m.
-1
Suppose 10 = -k + 36. Suppose 2*m - 2 = k. Solve -3*f + 2*f - 7 = 3*s, -5*s - 4*f - m = 0 for s.
-2
Suppose 0 = -0*h - 3*h + 264. Let a be 2/11 - (-1304)/h. Suppose -4*x - 14 = -5*o, -2*o = 3*o - 5*x - a. Solve o*t + 19 = 3*m - 3*t, -3*t = -3*m + 9 for m.
-2
Let k(o) = -8*o + 9*o - 3*o - 9*o - 6. Let q be k(-2). Solve 0 = -c - 5*b - q, -4*c = -3*b - 2*b - 11 for c.
-1
Let q = 72 + -72. Solve 3*m + y - 2 + 1 = 0, q = 3*m - 2*y - 7 for m.
1
Suppose 9 = m - 0. Suppose -2*l = -0*l + k - 1, -5*k - m = 3*l. Suppose -l*f - 4*b = 12, -3*b - 12 + 1 = f. Solve 3*u + 19 = -j, -9 = f*j + 7 for u.
-5
Let d = 2 + 3. Suppose -d*x - 18 = -2*x. Let c be 14/4 - x/(-12). Solve -25 = 4*o - c*p, 3*o + 24 = 5*p - p for o.
-4
Suppose 0 = 5*p - 9*p + 288. Let j = -67 + p. Solve 0 = a + 3*b - 0*b + 10, b + 22 = -j*a for a.
-4
Suppose p = 2 + 2. Suppose 0 = 2*u - p*u + 10. Let f = u + -3. Solve -2*a + 12 = f, -4*t - 2*a = -30 for t.
5
Let r(h) = 4*h**3 - 3*h + 2. Let l be r(1). Suppose 5*j - 55 - 15 = 2*n, 3*n + 51 = l*j. Suppose -4*u + j = -0. Solve -3*z + 15 = 4*a, 0 - 10 = -u*a - z for a.
3
Suppose 3 = 3*i - 6. Suppose i*a - a = 0. Solve 5*b - 25 = 0, a*x - 3*b = -x - 13 for x.
2
Let w be (6/(-15))/(24/(-30))*8. Suppose -3*b + 40 = 2*b - 3*s, 0 = 5*b + s - 40. Let r be (-2 - b/(-6))*-24. Solve -2*a + 7 = m + 2*a, 4*m + w*a - r = 0 for m.
3
Suppose -45 + 78 = 11*o. Solve 6*r - o*r = f - 7, 3*f - 9 = -3*r for r.
-1
Suppose 2*j = 4*l - 24, l + 10 = 3*l. Let v be (j - (-46)/8)*4. Solve 2*w + v = 7*w - f, -2*f = 5*w - 15 for w.
3
Let p(w) be the third derivative of w**5/30 + w**4/24 + 2*w**3/3 + 28*w**2. Let s be p(0). Solve 12 = -s*n, 0*b - 3*b - n + 6 = 0 for b.
3
Let d(c) = c**2 + 3*c - 2. Let o be d(1). Solve j + 25 = 5*a + o*j, 5 = a - 5*j for a.
5
Let o(k) = k**2 - 18*k - 110. Let b be o(23). Solve 4*n - 6*c - 13 = -c, -c - b = -2*n for n.
2
Let a = 57 + -30. Let s = a + -25. Solve -5*w + 4*t - 45 = 0, -s - 18 = -4*t for w.
-5
Let y(u) = u**3 + 12*u**2 + 22*u + 20. Let p be y(-10). Suppose p = -14*i + 23 + 47. Solve q - 3 = i*j, -3*q - 9 = -6*q - 4*j for q.
3
Let h be (-38)/(-8) - (-21)/(-28). Let v be 26/h - 9/(-6). Solve 3*q - 4*f + v = 0, -6*f - 18 = 4*q - 4*f for q.
-4
Let x(y) = -y**3 - y**2 + y + 15. Let u be x(-3). Solve -j + 6 = 2*s - 6, -u = -4*s - 5*j for s.
5
Suppose 0*t + t = 7. Let p = 16 - t. Let g = 11 - p. Solve -2*j + 4*b + 5 = 5*b, -g*b + 1 = j for j.
3
Suppose -10*m + 93 = -7*m. Suppose -m*r + 27*r = -8. Solve r + 0 = -a - 5*z, 3 = -3*z for a.
3
Suppose 47*a - 102 = -4*a. Solve -t = 2*t - 3*i - 15, -a*t + 10 = -i for t.
5
Suppose -u - 7 = -3*i + 1, i = -u + 8. Solve u*x = 6*t - t + 15, -3*x + 2*t + 6 = 0 for x.
0
Let w be (14 + (3 - 0))*1. Suppose 2*m - m - a - 4 = 0, 20 = 5*m - 4*a. Suppose -k + 6 = 5*s, -8 - 6 = s + m*k. Solve 5*c = s*g - 0*g + w, g = -2*c + 14 for g.
4
Suppose -4*f - 14 = -5*s, -4*f + 10 = 4*s - 6*f. Solve -s*h - 7 = -5*d, 0 = -5*h + 32 - 12 for d.
3
Let h be ((-5)/(-3))/(9/27). Solve h*b + 5*m = 0, 4*b + 19 = m - 1 for b.
-4
Let x(u) = u**2 + 24*u - 107. Let d be x(4). Solve r - 3*k = 4, -13 = -d*r - k + 7 for r.
4
Let w be 1 - 0 - 20/(-5). Suppose w*u - 27 = 4*h, 2*u = 3*u + h. Solve 2*x = -5*b + 19, 6 = u*x - 4*b + 35 for x.
-3
Suppose -3*v + 23 = p + 4, -4*v = 3*p - 67. Solve -5*l = -15, -21*z + p*z = -3*l + 25 for z.
4
Let a(f) = -3*f**2 + 99*f - 80. Let h be a(32). Solve -m - 2 - 5 = -2*d, 3*m = d - h for m.
-5
Let w(p) = p**2 - 29*p + 51. Let v be w(27). Let g be (-25)/(-5) + (v - -1). Solve -t = -5*z + 17, 0 = g*z - 2*t - 2*t for z.
4
Let k = -12 - -13. Let o be 3 + 0 + k + -21 + 19. Suppose 2*x = 6*x - 12. Solve 0 = x*t - 3*m, 0 = -o*t + 4*t - 3*m + 2 for t.
2
Let q be (2/5)/((-1)/(-5)). Let v be (q - -1)/(6/10). Let f = 0 + v. Solve -b - 13 = 3*s, -f*s - 11 = -3*b + 20 for s.
-5
Let l be 2 + 51 + (-3)/(12/(-16)). Let q = -56 + l. Solve -2*u = -3*u - 3*p + q, -5*p = 2*u - 1 for u.
-2
Suppose m = 4*w - 78, 8*m = w + 3*m - 10. Solve -w = 5*g - 5*y, -2*g - g = -2*y + 12 for g.
-4
Suppose -2*r = -4*b + 50, 5*b + 5*r = 47 + 23. Let n(p) = -4*p**2 - b + 5*p**2 + 2 + 5. Let z be n(-6). Solve -5*g + z = 2