a + 3 = b - 1, b + 3*a - 4 = 0. Solve 5*h - h = -b*x + 20, -3*x + 2*h + 5 = 0 for x.
3
Let g(k) = -k**2 - 5*k + 29*k - 14*k + 6. Let d(r) = 11*r**2 + r. Let w be d(-1). Let c be g(w). Solve -4*u = -3*b + c*b + 20, -2*u + 4*b + 12 = 0 for u.
-2
Let f = 28 + -26. Suppose 5*u - 6*q + 5*q - 27 = 0, 3*q + 16 = 2*u. Solve -b + 5 = -f*a, 3*b - 10 = u*a + 2 for a.
-3
Suppose 0 = -43*c + 41*c. Let y(o) = -3*o**2 + 2*o + 5. Let w be y(c). Solve -9 + 1 = -2*f, -5*f = w*b - 10 for b.
-2
Let h = -223 + 226. Solve 5*s - 5*p = -3 + 33, h*s - 2*p = 16 for s.
4
Let v be (26/(-3))/((-1)/3). Suppose 0*o - 3*o + 30 = 0. Let u = o + -8. Solve n + 5*g = u*n - v, -3*g - 12 = 3*n for n.
1
Let s be 2*2*3/4. Suppose 76*h - 14*h = 186. Solve -2*n = -h*z - 7, -z = s*n + 17 - 0 for n.
-4
Let c = 1262 + -1262. Solve 2*y + c*h - 10 = -4*h, 0 = 2*h - 8 for y.
-3
Let s = 54 - 45. Solve j - 5*y = -s, -y - 10 = 2*j - 3 for j.
-4
Suppose -127 = 38*n - 279. Solve 2*d + n*c - 2*c - 2 = 0, 2 = -2*c for d.
2
Let i be ((4/(-6))/2)/(2/(-126)). Suppose -7*v + i = -4*v. Solve o - 26 = -5*r - v, 2*r - 5*o = 13 for r.
4
Suppose t - 58 = 2*x - 6, t = -2*x - 52. Let k = x - -48. Solve -5*b - k = -3*f, -f + 2*f = 3*b + 10 for f.
4
Suppose 0 = -5*a + 3*u + 31, 5*a - 25 - 30 = -5*u. Suppose -a*j = -7*j - 3. Suppose 0 = -7*s + j*s + 28. Solve 0 = -y + 3*o - 5, 5*y - s = -o - 0*o for y.
1
Let z = 43 + -39. Suppose z*v - 20 = 5*x, -5*x - 4 = -v + 31. Let g be (3 + -1)*(-92)/x. Solve 4*o + 4*d - 26 = 2*d, -d + g = 4*o for o.
5
Let s(t) = t**3 - 2*t**2 - 11*t - 2. Let d be s(5). Suppose 3*q = 4*v - d, -6*v - 5*q + 34 = -2*v. Solve v = u + x, 5*x - 9 = -2*u + 4*x for u.
3
Suppose 6*l = 50 + 34. Let b be (l/12)/(-7) + 171/54. Solve 0 = -o - u + 2, 2*u + 5 = b*u for o.
-3
Let h = 239 + -235. Solve 2*w = 3*b - 5, -3*w = 2*w - h*b + 2 for w.
2
Suppose 2*w + 14 = -f, -2*f - 2*w = -0*f + 30. Let y = 19 + f. Suppose 10 = 2*q, y*z + 6*q - 20 = 2*q. Solve z = -3*i + 3*p, 3*p = i - 0*p - 2 for i.
-1
Let w(c) = -2*c**2 - 16*c - 30. Let p be w(-4). Solve -34 + 5 = 4*r + 5*o, o + 7 = -p*r for r.
-1
Let d(f) = f - 2. Let v be d(5). Suppose -8*g = -v*g - 20. Let z = g + 13. Solve -5*u + z = -5*a - 13, 2*u - 4 = 0 for a.
-4
Let j = 4 - -2. Suppose -4*c + j = -50. Suppose 31 - 4 = 3*u. Solve n = -4*b - 11, -4*b - c - u = 5*n for b.
-2
Let f = -41 - -43. Solve 0 = 5*r - 4*g + 30, -3*r = -5*g + f*g + 21 for r.
-2
Let u(x) = -15*x + 92. Let t be u(6). Solve -t*z + 14 = 3*n - 6*z, -2*z = -2*n + 6 for n.
-2
Let j = -7 + 11. Suppose -3*g = -j*d - 7, -2*g = d + d - 14. Suppose q = d*q. Solve q*s + 20 = -3*s - 5*y, -3*s - 2*y = 8 for s.
0
Let c = -4 - -7. Suppose 0 = -4*i - 4*f + 44, -21 = -2*i + 3*f - 4*f. Solve -2*m = -5*x + 12, 4*x - 38 = -c*m - i for m.
4
Let y = -261 + 266. Solve y*o - 1 = -4*s, 0 = -0*o - 3*o - 4*s - 1 for o.
1
Let o(i) = -i - 4. Suppose -45 = 5*s - 4*w, s + 27 = -2*s + 3*w. Let d be o(s). Let r be (-1)/3*0 - 0. Solve 3*p = d*z - 3, -2*p - 2*z - 3*z - 2 = r for p.
-1
Let n be 3 - 26*5/(-10). Suppose -3*x = -b + 6*b + n, -3*x + 2*b = -19. Solve -3*q + x*l = 3, -3*l = -q - 4*q - 11 for q.
-4
Let u = 2 + 1. Suppose -2*a + 5 = -a. Suppose a*i - 36 = 29. Solve -1 = -2*p - 5*n + i, u*n = -4*p for p.
-3
Suppose 3*g + 0 = -3*j - 30, 5*j = 2*g - 64. Let o = 14 + j. Solve 0*m - 15 = -u + 3*m, 2*u + m - o = 0 for u.
3
Let d = 97 + -12. Let z = -77 + d. Suppose 53 = 4*v - 55. Solve 3*o + 3 + z = g, 3*g = -3*o - v for o.
-5
Let p(y) = -2*y**2 - 50*y - 73. Let x be p(-23). Solve 3*r - x = 5*r + 5*d, 3*r + d + 9 = 0 for r.
-2
Let o be 8/(-12) + 1 - (-8)/3. Solve -3*z - 3 = 0, -2*z = h + o*z + 5 for h.
0
Suppose 5*f - 19 = 4*k, -5*f - 11*k = -9*k - 13. Solve -f*n = 3*c, -c - n = 2*c + 10 for c.
-5
Let o be ((-6)/(-9) + 18/(-27))/(-1). Solve o = 2*n - 2*d - 3 + 11, 5*n - 12 = -3*d for n.
0
Let a be 108/(-60) - (-2)/(-10). Let g be (a/3)/(7/(-42)). Suppose 5*t = -g*k + 3, -3*t - 2 - 1 = 4*k. Solve -4*n - t*b = -6*b + 7, 2*n = b - 3 for n.
-1
Let n = 113 - 108. Solve n*y + 0*y - 24 = 3*v, 0 = -5*y + v + 18 for y.
3
Suppose 4 = -2*x - 2*v + 4*v, -x + 5*v - 14 = 0. Let n be (0 + 3 + x)/1. Solve 0 = 2*g - 2*h + n, 2 = -3*g + 3*h - 2*h for g.
0
Suppose -t + 4 + 0 = 0. Suppose -4*x + 3*i = -14, -t = 3*x + 4*i + i. Let u(f) = f**2 - 3*f - 2. Let a be u(4). Solve -x*m - z - 5 = 2*m, m + a = -z for m.
-1
Let c(y) = 119*y**3 + y**2 + y - 2. Let i be c(2). Let j be (-4)/34 + i/34. Solve 0 = -3*s + 2*s - 4*k - 12, 4*s - 3*k - j = 0 for s.
4
Let l be (-2)/(-5) + ((-204)/(-5))/3. Solve 0 = -r + 2*b - l, 0 = -5*r - 2*b + 2 - 12 for r.
-4
Let n = -108 - -110. Let k be -4 + 1 + -7 + n + 8. Solve k = 3*i - 9, -2 = 3*m + 4*i + 1 for m.
-5
Let n(s) = -s**3 + 12*s**2 + 30*s - 18. Let r be n(14). Suppose r*t = 2*t - 2*t. Solve t = -i - 4, 23 = 3*f - 6*f - 2*i for f.
-5
Let t(g) = 3*g**2 + 12*g - 8. Let u be t(-6). Suppose 3*d + 2*d = 15. Solve -d*m - 2*s = m + u, 5*s + 5 = 3*m for m.
-5
Suppose 9 - 9 = 4*r. Solve 15 = -m + 5*u, r*m + 5*u - 25 = 3*m for m.
-5
Suppose -6*j + 23 = 4*a - 9*j, -2*a = -3*j - 13. Solve -4*k + 13 = v, -a*k - v + 15 = -0*v for k.
2
Let f be (-4)/(-4)*6/3. Suppose -4*l + 18 - f = 0. Solve -l*k + 2*h = k + 35, -5 = -k - 2*h for k.
-5
Suppose -k - 32 = -4*a - 28, -5*a + 2 = -2*k. Solve -2*z + 5*n = k*n + 9, 3*z + 5*n = -20 for z.
-5
Let n(p) = 4*p**2 - 6*p + 8. Let w be n(4). Let f = w + -45. Let i = -17 + 24. Solve f*b + i*u - 4*u = 0, -3*b = 4*u + 3 for b.
3
Let c be (-30)/35*1*7. Let g be (-36)/(6/(c/2)). Solve -5*m = 4*i + 33, i + g = -2*m - 3*i for m.
-5
Let p = -44 + 95. Let m = -47 + p. Solve 2*s + u = 3, m*s + u - 9 = 2*u for s.
2
Let g(a) = 3*a - 52. Let m be g(18). Solve -m*j + 8 = 0, 2*l - 4*j - 4 = -30 for l.
-5
Suppose -8*a + 18 = -5*a. Let b be (a/(-8) + (-6)/(-8))*1. Suppose 0*c + 4*c = 12. Solve 4*t + b*q + c*q = 25, -t + 3*q - 5 = 0 for t.
4
Let t(g) = 48*g - 427. Let c be t(9). Solve -y - 17 = -4*b - 2*y, -c*b - 3*y = -23 for b.
4
Let c(i) = -i + 8. Let y be c(5). Suppose -b - 5*h - 30 = 0, -y*h - 36 = b - 12. Let a = 35 + b. Solve -7*t + 2*t = 5*g + a, 7 = -4*g - t for g.
-1
Suppose -6*p = -p. Suppose -i + p*i - 4 = 3*f, 5 = -5*i. Let t be (1 + f)*(-5 - -6). Solve t = s - 2*s + 3*j + 11, -3*s - 5*j = 9 for s.
2
Let z(s) = 17*s - 97. Let v be z(6). Solve 0 = -v*r - 9*d + 4*d + 30, 3*r - 12 = -d for r.
3
Let y(a) = -a + 7. Let n be y(-3). Suppose 0 = 2*i - n. Solve -5*c - 5 = -i*j, 0*j + 5*c = 2*j - 14 for j.
-3
Let v(u) = 10*u + 8*u**2 + 2 + 0*u**2 - 7*u**2. Let s be v(-10). Suppose 3*a - s*a = 3. Solve t = 5*f, -t - 23 = -5*t - a*f for t.
5
Let q = 534 - 531. Solve -4*p + u - 2*u = 1, 28 = q*p - 5*u for p.
1
Let r = 155 + -153. Solve -4 = 3*u + 4*g, 2*u + r*g + 2 = 4*u for u.
0
Let h(l) = -61*l - 181. Let u be h(-3). Solve -j + 35 = 3*j - 3*f, 5*f + 15 = -u*j for j.
5
Let z = -3703 - -3707. Let v = -8 - -13. Solve 4*h - 12 = 2*b, -h + z*b = v + 6 for h.
5
Let j(v) = v + 2. Let y be j(0). Suppose -y*r + 22 = -2. Suppose 4*z - 32 = -4*m + 8, 4*z = -5*m + 45. Solve 3*p + n = 13, -m*p + n + 7 = -r for p.
4
Suppose 5*d + 0 = 10. Suppose -d*m = m - 18. Solve i = l + m*i + 5, 0 = -4*l - 3*i - 3 for l.
0
Let b(q) = 3*q - 7. Let y be b(4). Let s be 2*y*(-35)/(-14). Let f = s + -22. Solve -f*z - 13 = 5*k - k, k + 6 = 2*z for k.
-4
Suppose 4*a + 45 = 5*o, 2*a = -18 + 8. Solve -n = 2*t, -o*n + 5*t - 13 = 17 for n.
-4
Let o(w) = -w**2 - 5*w + 10. Let h be o(0). Solve m = -4*t + 9*t - 13, 2*m - 2*t = -h for m.
-3
Let l be 31/(-3) + (-3)/(-9). Suppose 0 = 2*a - 4*a + 6. Let s be ((-12)/5)/(a/l). Solve -4*p = -2*w + 26, w - 2*p + p - s = 0 for w.
3
Let n be 26 - (-7 - 65/(-5)). Solve -c = -3*m - n, 3*c - 35 = 3*m - c for m.
-5
Let k(u) = -u**2 - 6*u + 95. Let p be k(-13). Solve -p*n = -12, -4*i - 3*n + 0 - 11 = 0 for i.
-5
Let l(r) = -r**2 - 28*r - 27. Let h be l(-1). Solve -3*q - 4*i = -31, 2*q + 0*q - i - 6 = h for q.
5
Let g = -1 + 4. Suppose -g*p + 1 = -c, -5*p = -0*c - 4*c - 4. Let m = 3 + c. Solve 4*n + m*j + 12 = 0, 2*j = -3*n - 2*j - 4 for n.
-4
Let j(i) be the first derivative of 3*i**2/2 + 30*i - 3. Let q be j(0). Suppose 0*c + q = 6*c. Solve -4*h - c*v = -1 - 6, -4*h = 4*v - 8 for h.
3
Suppose -x - 51 = -3*b, 2*b = 6*b + 5*x - 49. Let j = 5 + -16. Let f = b + j. Solve 5*z + 5 = f*n, -5*n + 25 = 2*z +