 + 2*j, o = 5*x for j.
-1
Let c(m) = -m + 15. Let a(i) = -i**2 + 3*i - 2. Let j be a(1). Let k be c(j). Solve 0 = 4*b + 4*o + 12, -2*b = -5*b + 3*o - k for b.
-4
Let f = 22 + -17. Solve -2*i + 5 = -f*o - 26, -4*i + 2*o + 22 = 0 for i.
3
Suppose -y = 3*y - 16. Suppose 0 = -5*b + 5*l - 35, -2*b = -4*l + 1 + 21. Let o = -1 - b. Solve 3*k = y*a - 5, -3 = 3*a - o*a - 5*k for a.
2
Let g = 13 - -55. Let o = -58 + g. Solve -x + 0 = -4*r + 8, 5*r = -5*x + o for x.
0
Let a be 4 + (0/(-3))/(-13). Solve -y + 3*z - 8 - 3 = 0, -a*z = -y - 15 for y.
1
Let m be -2 + 0 + -3 + 5. Suppose -4*p + 4*n = -27 - 13, -3*p - 2*n + 5 = 0. Solve -3*j - 3*u = 0, -2*j + m*j - u = -p for j.
5
Suppose 0*s = -5*s - 3*n + 134, 2*s - 44 = 2*n. Let c = -21 + s. Solve -2*x + 2 = u - 0, -2*u = c for x.
2
Suppose 0 = 5*h + 13 + 12, 3*v - 16 = 2*h. Solve 4*f + 8 = 3*t, -3*f - v*f - 10 = t for f.
-2
Suppose -2*j - 2*l + 4 = 0, -12 = -3*j - l - 4. Solve -4*q + 2 = -2*x - 0*x, j*q - 5*x - 19 = 0 for q.
-2
Suppose 0 = 3*j + 73 + 44. Let g = j + 43. Let i = -5 - -7. Solve -d = i*d - t + 1, -g*t - 20 = 0 for d.
-2
Suppose 2*t - 6 = 0, 6*b - 5*t + 25 = 8*b. Solve -2*a - b*i - 12 = -32, -3*i = -3*a + 9 for a.
5
Suppose -2*r + 4 = 0, 0*h + 4*h + 3*r = 18. Solve 0 = -2*k - 4*y - 20, -y = h*k + 2 + 3 for k.
0
Let j be 1 + 1 - 1 - 1. Suppose 22 = -4*z + 5*n - 2, -5*n = 2*z + 12. Let a be (-2 - z)/(2 - j). Solve 0*b = -r + b - 4, 2*b = -3*r - a for r.
-2
Suppose 0 = 4*g - 5*z - 317, -z = 3*z + 4. Let q = -75 + g. Solve 0 = s - b + q*b + 7, -s = b + 6 for s.
-5
Let j(d) = 18*d - 8. Let c be j(5). Let z be (-2)/(-7) + c/7. Suppose 9 = -o + z. Solve 4*x - 12 = -4*f, 0 = -o*x - f - 2 + 5 for x.
0
Let c(j) = -2*j**2 - 28*j - 13. Let w be c(-13). Solve -f = u + 3, u + 0*u + 3*f = -w for u.
2
Let k(n) = 25*n - 147. Let h be k(6). Solve h*q - 19 = -4*f, -q = -3*f - 0*f - 2 for q.
5
Let z = 12 + -8. Let l(o) = 2*o - 2. Let n be l(1). Suppose n = -7*a - 46 + 60. Solve -k = 4*x + a*k - 19, -z*k - 8 = -3*x for x.
4
Let s(w) = -4*w - 2. Let i be s(-3). Suppose -a + i = 7. Suppose d - 8 = -a*q, 4*d + q = 5*q. Solve -7 = -3*u + 2*t, -4 = -d*u - 2*u + 4*t for u.
5
Let r be (-5 - 6/(-2)) + (7 - 2). Solve r*j - 5*i = 4, 4*j - 5*i = -i for j.
-2
Let q = -1171 + 1171. Solve 3*n = -c - n + 9, q = -n + 3 for c.
-3
Suppose 0 = -3*w + 4*j + j + 19, 0 = 5*j + 10. Solve 4*s + 6 = n, -1 = -2*s + 4*n + w for s.
-2
Suppose a - 243 = -4*x, 302 = 5*x - a - 13. Let i = -58 + x. Solve -2*d + 4 = 5*t - 3*d, 6 = i*t + 2*d for t.
1
Let x(q) = q**3 + 5*q**2 + 3. Let o be x(-5). Suppose 0 = 5*a + 20, o*a - 1 = -3*r - 7. Solve 5*z + 6*g + 3 = r*g, z + 5*g = -9 for z.
1
Let j be 5 - (-2)/4*(-39 + 29). Solve -21 = 3*v - 4*p + p, 3*v - 4*p + 26 = j for v.
-2
Let g(r) = -r**2 + 12*r - 25. Let x be g(9). Solve x*b + 3 = 5*t, -5*b - 3*t + 10 = 2*t for b.
1
Suppose 107*x - 179*x = -216. Solve 2*s - 2*z = x*s + 3, -3*s = -z + 16 for s.
-5
Let r(a) = a**3 + 7*a**2 - 16*a - 129. Let b be r(-6). Solve -b*o + 2*o + 2*g = 0, -6 = -3*g for o.
4
Let v(a) = -a**2 + 35*a - 33. Let t be v(34). Solve 5*f = -b + 13, -7 = 2*f - 4*b + t for f.
2
Let d be -4 - (6 - 54)/8. Solve -4*g + p - 16 = 0, -d*g - p - 3 - 5 = 0 for g.
-4
Let y = -89 - -92. Suppose -79 + 73 = -y*c. Solve -6 = -c*x, 3*s - 7*s + 3*x = 1 for s.
2
Suppose 0 = 3*d - 4*v - 13, v - 3*v = 5*d - 39. Suppose -d*h = -2*h - 15. Solve 0 = 2*i + 4*z + 2, i + 4*z = h*z - 2 for i.
-3
Suppose -20 = 2*s - 4*v, 2*s - 2*v + 7 = -5. Let q be (2/3)/(s/(-6)). Suppose -a + q*a - 8 = 0. Solve -5*t = -5*x - 0 + 10, -4*t = -x + a for x.
0
Suppose 4*q + 38 + 106 = 0. Let o = -14 - q. Let n = o - 22. Solve -2*g + 11 = -d - 0*d, n = -5*d + g - 28 for d.
-5
Let h(j) = -j + 1. Let x be h(-3). Suppose -l = x*l - 15. Solve -2*c - 2*b = -0*b, -2*c = -b + l for c.
-1
Let p(t) = 3*t**2 - 13*t - t**2 - 16 - 22*t. Let h be p(18). Solve -5 = -4*k + 3*z - 0*z, -h*z = 4*k + 10 for k.
-1
Let o = 26 + -24. Suppose 0 = -o*i + 6. Solve -4*a + a - i = 2*z, -5*a - 5 = 2*z for a.
-1
Let c(g) = 3*g**2 + 5*g + 6. Let x be c(-2). Solve 4*h - i + 18 = 0, 4*h + 0*h + 4*i = -x for h.
-4
Let p be (15/4)/(12/64). Solve -4*s = 4*v - 16, -5*s - 4*v - 5 + p = 0 for s.
-1
Let a(d) = -374*d**2 - d**3 + 364*d**2 + 5 - 13 - d. Let x be a(-10). Solve -4*r + 7 = x*t - 23, -4*r = t - 25 for t.
5
Let v be (-7)/(-28) + (-39)/(-4). Suppose v*n = 4*n. Let f = 0 - n. Solve -w + 15 = 5*i + 2*w, f = 4*i + 4*w - 20 for i.
0
Let b(h) be the third derivative of -h**6/120 - h**5/6 - h**4/24 - 7*h**3/6 + 20*h**2. Let d be b(-10). Solve f - 5*k = 15, -5*f + d*k = -f - 9 for f.
0
Suppose -2*p + 3*y - 1 = -7, -4*p = -y - 12. Let x be 11/(-7 - (-15)/2). Let u be 2/(-11) + (-16)/(-88). Solve 0 = 5*l - n - x - u, -p*n = 6 for l.
4
Let p be -4*(-1 - 0)*1. Suppose -n = p*n. Suppose 3*q - 18 + 3 = 0. Solve n*i + 4 = -j + i, -19 = 4*j - q*i for j.
-1
Let v(y) = y**3 + 5*y**2 + 2*y - 5. Let p be v(1). Solve -p*z - 5*m - 25 = 0, -m + 24 = -4*z - 3*m for z.
-5
Let a(l) = l + 5. Let v be a(-9). Let u be -2 - (v + -1)*-1. Let j(w) = -2*w. Let c be j(u). Solve 0*g + 2*g + 2*k - c = 0, 0 = 3*g - 3*k - 3 for g.
4
Let v = 3 + -2. Suppose -3*z + 4*z = v. Let o be (z + (0 - 1))*1. Solve 2 = 2*n, n = -o*k - 2*k + 9 for k.
4
Let v = -40 + 72. Let d = v - 31. Solve -o + 3*m - 10 = 0, -d = -2*o - 2*m - 5 for o.
-4
Suppose -12 = -2*s - 8. Let h be (-5)/(10/(-6)) + s. Solve -3 = -h*t - j + 3, 2*t = 5*j + 24 for t.
2
Suppose -2*m + 54 = 7*m. Suppose -m*u - 5 = -23. Solve a = -u*a + v, 0 = 3*a + 2*v + 11 for a.
-1
Suppose 34*h - 155 = 3*h. Solve -h*w - 2*p - 22 = -3*p, 15 = -5*p for w.
-5
Let o be (-6)/((-1)/2 + -1). Let d(q) = -2*q + 13. Let s be d(-6). Suppose -4*r - s = -9*r. Solve 2*a + 1 = o*z - 1, -r*z - 3*a + 8 = 0 for z.
1
Suppose -8*i - 48 = -24*i. Solve 0*n = 5*n - r, i*n - 12 = 3*r for n.
-1
Let u = 321 + -314. Solve 2*t = j - 5, -u*j - 2 = 2*t - 5*j for t.
-2
Let o = -8 - -11. Suppose -2*c - 3*h = c - 15, o*h = 5*c + 15. Suppose 2*i = -3*g + 52, 2*g - 2 = g. Solve 4*v - 8 = a - i, -2*v + 4*a + 10 = c for v.
-5
Let z(h) = h**3 - 20*h**2 - 69*h + 5. Let c be z(23). Solve -4*t - c*i = -15, -2*t - 4*i + 12 = -4*t for t.
0
Let q be 36/(-162) - (-292)/18. Suppose q*m - 12 = 12*m. Solve 12 = -m*t - 3*o, -2*t - 16 = -0*t + 4*o for t.
0
Suppose -4*q - 228 = -320. Suppose -3*w - w = -112. Let n = w - q. Solve n*y = 2*f + 13 + 8, -2 = -f for y.
5
Let l(y) = -y**3 + 8*y**2 + 10*y - 22. Let n be l(9). Let i(w) = -w - 9. Let v be i(n). Solve 0 = -5*c + 3*s - 5, -c + v*c = -2*s - 3 for c.
-1
Suppose -2*z = 5*m - 15, 5*m - 7*m - 8 = -2*z. Solve -4*i + 28 = z*l, 0*l - 4*i = 4*l - 24 for l.
4
Let i = 303 - 298. Solve -w - n = -4, 3*w = -w - i*n + 18 for w.
2
Suppose 0 = -3*v + 9*v + 738. Let w = v + 147. Let j be (-14)/(-3) - (-2)/6. Solve -s - 5*a = 2*s - w, 5*s - j*a = 0 for s.
3
Let a be (2/(-6))/(2/(-54)). Suppose 2*h - 33 = -a*h. Solve -2*t = 2*o + t - h, 5*t - 5 = 5*o for o.
0
Suppose a + 4*a + 35 = 0. Let b(m) = m. Let d(c) = 6*c + 5. Let s(j) = 5*b(j) - d(j). Let g be s(a). Solve -4*o + 3*v - 4 = -10, -o + 7 = g*v for o.
3
Suppose -8*a - 4*r = -3*a - 24, -1 = a - 5*r. Suppose 0*s + a*s = 20. Suppose s*k - 78 = 37. Solve 0 = -b + 4, -5*d + 0*b + k = 2*b for d.
3
Let j be ((42 + -3)/13)/1. Solve y + 5 = 2*c, -3*c + j*y + 9 = y for c.
1
Suppose 0 = -2*d + 2*b + 12, 2*b - 12 = 4*d + 7*b. Suppose -q - 5 = 0, 5*x - 3*q = -4*q + 20. Solve -5*k + 3 = 5*m - d, -2*k - x*m = 7 for k.
4
Let o be (3 - -29)/(-4)*104/(-64). Solve 2*y - 4 = -2*j, 4*j - 4*y - o = j for j.
3
Let t = 20 - 3. Let x = t - 3. Let i = x + -10. Solve 4*z - 19 = -z + 2*l, -i*z + 5*l + 22 = 0 for z.
3
Let u = 38 - 33. Let d be (-12)/4 + 25/u. Solve 0 = -o - d*s + 15, -4*o - s + 25 = -0*s for o.
5
Suppose 0 = -3*c - 6, 5*i + 2*c - 112 = -2*c. Suppose -5*n = -1 - i. Let o = -6 + 10. Solve 0 = -4*x - x + n*b - 10, o = -5*x + 2*b for x.
0
Let b(a) = 5*a - 3. Let d be b(3). Let f = 49 - 51. Let k be (f + 2 + 4)/(7/14). Solve -4*t - t + 3*s = k, d = -t - 2*s for t.
-4
Suppose 0 = -4*w - 2 + 10. Suppose 6 = w*t - 2*k, -4*k = -0*t + 3*t - 23. Suppose t*b - 4*b = 4. Solve -b*m - 16 = g, 5*m = 2*g - 10 + 3 for m.
-3
Let u be 1 + 0 + -5 - 3. Let w(j) = -6*j - 26. Let p be w(u). Solve 2*n = 4*y - 2*n + p, -5*n = -2*y - 20 for y.
0
Let n 