v = 12, 3*v = -o - n for o.
-1
Let r be (-4 + 1)/((-6)/20). Suppose 0 = 5*g + 3*s + 11, r + 5 = -5*g - 5*s. Let j be 40/15 + g/(-3). Solve -5*f - 22 = 2*z - f, 5*z - j*f + 3 = 0 for z.
-3
Let y be 1/4 - (-225)/(-20). Let i = -1 - y. Solve 0 = n + 3*l + 6, -n - i = 5*l for n.
0
Let v = 3 + -1. Let f be (-60)/(-135)*(-18)/(-4). Solve -v*w - 1 = 3*h + f*w, -2*h = -4*w + 14 for h.
-3
Let f = -20 - -25. Let g be -3*-1*(f + -4). Solve 5*k + 3*r = -11, -4*k + g*r = -2*r - 6 for k.
-1
Let u = -7 - -10. Suppose 5*n + 21 = u*x - 3, 0 = -5*n. Suppose h + h = x. Solve 4*z = 5*q + 17, -3*z + q = h*q + 21 for z.
-2
Let n be 1/(((-12)/(-10))/6). Solve 2*i + 1 = -n, 4*w + 2*i = -2 for w.
1
Let d be (-2)/(-3) - (-88)/3. Suppose -3*f = -2*w + w - d, -5*w = 4*f - 40. Solve -5*v = -2*z + 25 - f, 0 = z + 2*v + 6 for z.
0
Let k(b) = b**3 - 7*b**2 + 6*b + 3. Let l be k(6). Suppose 0 = -4*m + 2*m. Suppose m = -4*y + 1 + 31. Solve -r - 4*j + y = 0, -5*r - l*j - 2 = -25 for r.
4
Suppose 0 = -3*i - 0*i + 5*c + 32, -3*i - c = -8. Let w = 12 + -9. Solve -i*h + j = 4*j + 23, 2*h + w*j + 19 = 0 for h.
-2
Let v(o) = -o + 1. Let c(j) = 3*j**3 - 2*j**2 - 2*j - 1. Let n be c(-1). Let t be v(n). Solve t = 5*p - 3*b, -3*p + 4 = -b - 3 for p.
4
Let g(c) = -c**2 - 7. Let f be g(0). Let b(i) = -i - 1. Let o be b(f). Solve 5*x - 21 = -2*k, -21 = 3*k + 3*x - o*x for k.
-2
Let b(k) = -k + 9. Let h be b(4). Suppose -3 + h = -2*f. Let j be (2/(-2) - f)/(-1). Solve j = 2*z + r - 10, -2*z + 0*z = -4*r for z.
4
Let p(w) = w. Let b(z) = 2*z - 10. Let c be b(7). Let f be p(c). Suppose -o - 3 = -f*o. Solve 3 - o = -m - 4*g, 0 = -5*m + g - 10 for m.
-2
Suppose 4*r = 2*r + 28. Let t(n) = n - 3. Suppose 0*k = -3*k + 15. Let w be t(k). Solve -5*j - 23 = -w*z, 4*z = -j - 1 + r for j.
-3
Let u(l) = l**2 + 5*l - 3. Let q(d) = -d**2 - 4*d + 3. Let a(c) = 5*q(c) + 4*u(c). Let k be a(0). Solve w - 4*p = 0, k*w = 4*w + 4*p for w.
0
Suppose -2*g - g - 10 = 2*f, 0 = -g + 2*f - 6. Let k = g - -8. Let z(w) = -w**3 + 6*w**2 - 4*w - 5. Let b be z(5). Solve b = 4*q + k*t, -2*t = -4*q - 3*t for q.
0
Let g be (78/12)/(1/2). Solve -5*s = 3*o - g, -4 - 1 = -s for o.
-4
Suppose -2*m = -x - 5 + 12, -2*m - x - 13 = 0. Let i = m - -7. Let p be (i/3)/((-2)/(-12)). Solve -8 = -5*s - p*z + 2, 3*s - 6 = z for s.
2
Let r be ((-16)/(-12))/((-2)/(-3)). Solve -4*c - 4*w = -12, 4*c - r*w + 0*w = -12 for c.
-1
Suppose b + 3 = 2*b. Let x(w) = -w - 3. Let h be x(-5). Let k = b + h. Solve k*s = -f - 21, -3*f - 4*s + 1 = 9 for f.
4
Suppose -3 = -b - 0*b. Solve 18 = -2*m + 4*w, 8 + 15 = b*m + 4*w for m.
1
Let f(k) = -k**3 + k**2 + k - 1. Let t be f(2). Let y = t + 7. Solve 3*c + 0*q - 16 = -q, 0 = y*c - 2*q - 18 for c.
5
Let s(y) = y**2 + 5*y - 2. Let f be s(-7). Let l be (-27)/f*(-16)/6. Suppose -l*i = -i. Solve 0*u + 2*b = -u + 13, -4*u + 4*b - 8 = i for u.
3
Suppose 4*f - 1 = -z, -5*z = 4*f - z - 4. Suppose 0 = 2*k + 10, d + 2*k = -4*d. Solve f*n + d*s + 12 = -3*n, 0 = 5*n - s + 7 for n.
-2
Suppose -5*w = j + 20, 2*j + 2*w = w - 4. Solve -g = -5*o + 24, 2*g + 2*o - 11 - 1 = j for g.
1
Suppose 4*j - 2 = 3*j. Suppose j*b = -b + 3, 5*q + 186 = -4*b. Let x be 2/(-6) - q/6. Solve -5 = -0*z - 2*z + s, -3*z + s + x = 0 for z.
1
Let y(j) = j**3 + 6*j**2 + 7*j. Let x be y(-3). Solve -4*p + 2*d + x = 0, -2*p - p + d + 6 = 0 for p.
3
Let i = -2 - -6. Suppose 0*w = i*w. Solve 3*y + 4*q = 28, -y - 4*q - q + 24 = w for y.
4
Let u be (-1 - 13/2)*-2. Let o = 15 + -13. Suppose 18 = o*a - 30. Solve 5*d + 4*p + a = -21, 5*d - 2*p + u = 0 for d.
-5
Let p = 0 + -3. Let c be ((-8)/p)/((-10)/(-15)). Solve x + 3*x + c = -i, -3*i + 3*x = -3 for i.
0
Suppose 0 + 6 = l. Suppose -z + l*z - 3*o - 21 = 0, -o = 2. Solve 5*s - z*s = -4*j - 2, 3 = s + 4*j for s.
-5
Let q(x) = -3*x - 11. Let a be q(-14). Solve -5*f - 3*c = -c - a, 4*c - 17 = -f for f.
5
Let s(i) = -i**2 - 4*i + 12. Let j be s(-6). Solve -3*v + t + 1 = j, 7 = -3*v - 3*t - 8 for v.
-1
Suppose 0 = -4*z + 3*z - 3. Let j = 6 + z. Solve -4*y + 6 = 2*q, 0 = 2*y - j*q + 5*q - 2 for y.
2
Suppose b = -0*c - 3*c + 27, 28 = 4*b - 4*c. Suppose x = -3*x + b. Suppose -x*f = -f - 4. Solve 2*o - f*l + 25 = 7*o, 0 = -3*l for o.
5
Let r(l) = -4*l + 20. Let a be r(5). Solve 5*s - 3*u - 1 - 2 = a, -31 = -5*s - 4*u for s.
3
Let t(a) = a**2 + 3*a - 7. Let k be t(-5). Let c(w) = 2*w**3 + 3*w**2 - 2. Let j be c(-2). Let m = -3 - j. Solve -k*z + 3*v + 0 + 9 = 0, -m*z - 6 = 2*v for z.
0
Suppose 0*x + x = 10. Suppose -4*u + x = u. Solve -3 = 2*j - 3*j - u*t, t - 1 = 0 for j.
1
Suppose -3*x - 2 - 10 = -4*i, x - 2*i + 6 = 0. Solve -10 = n - 2*h, -2*h + x*h = 4*n for n.
-2
Suppose 3*h + 6 = 15. Solve -h = 3*m + q - 2, -14 = -2*m + 3*q for m.
1
Suppose -2*x = -4*y + y + 8, 8 = -2*x. Solve 0 = -2*p - 2*p + v - 15, y = -3*p - v - 13 for p.
-4
Let u be (2 - (1 - -1))/1. Let o be (u/(-3))/(2 + -1). Suppose -2*w + 6*w - 12 = o. Solve 4 = v - i, -w*v + 13 = -5*i - 7 for v.
0
Let y = 22 + -16. Suppose -2*p + y = p. Suppose -4*i + 5*o - 8 = 0, -o + 0*o = -2*i + p. Solve 5*g - 5*w = 0, i*g + 5*w = -g - 18 for g.
-2
Let n be 5/(-25) + 243/15. Solve n = 4*t + z, -5*t - 5*z = 1 - 36 for t.
3
Suppose -s = -m - 11 - 9, m = 3*s - 50. Suppose 3*a - 13 = 2. Solve 30 = 5*f - a*d - s, 3*f + 2*d = 2 for f.
4
Let f be (-1 - -2) + -1 + -4. Let n be f/(-6)*(1 - -5). Solve p - 9 = t, t - 21 + 5 = -n*p for t.
-4
Let u = -38 + 62. Suppose i + 5*l = 24, -i + l = -6*i + u. Solve 5*r = -4*p + 17, -p = 3*p - i*r + 28 for p.
-2
Suppose -5*r + 17 = -2*r - j, 2*r = 4*j + 28. Solve -5*u = 3*t + 29, -r*t = u + 5 + 11 for u.
-4
Let u(i) = -i**2 - 1. Let s be u(2). Let a = -2 - s. Solve -2*k = a*b - 11, 3*b + 2*k + 1 = 3*k for b.
1
Let r(v) = -v**2 - v + 2. Let z be r(-3). Let w = -1 - z. Suppose -2*k = -5*m + 8, m = -w*m - 3*k + 11. Solve -3*y + 5 = y - 3*g, 3*y = -m*g - 9 for y.
-1
Suppose -2*r - 34 = -7*r + 3*u, 5*u = -r - 10. Let s(v) = 18*v**2 - 5*v + 4. Let i be s(1). Solve -r*j + 5*q - 3 = i, -j - 4*q - 9 = 0 for j.
-5
Let r(l) = l + 2. Let t be r(-5). Let j(z) = -2*z - 26. Let y be j(-9). Let a = t - y. Solve -a*u - p + 27 = 0, 4*p = -u - u + 18 for u.
5
Let z(s) = -6*s - 3. Let y be z(-2). Let h = -9 + y. Solve w - 13 = -h*w - 3*k, -5*k + 17 = -3*w for w.
1
Suppose -3*v + 7*v = 48. Let r be 0/(-2)*1/(-1). Suppose r = -2*u + 5*u - v. Solve 4*w - 4 + 22 = -b, -w = u*b - 3 for w.
-5
Let i = -20 + 27. Solve -4*k = 4*j + 12, -i = -0*k + k - 3*j for k.
-4
Suppose 0 = -2*p + c + 27, 2*p = 2*c + 11 + 13. Solve q = 4*f - f - p, 20 = 5*q + 4*f for q.
0
Let a(v) = v**2 - 15*v + 1. Let y be a(16). Let c = 3 - -3. Suppose u = c*u. Solve 6 = 2*x - 2*h, 0 = -u*x - 3*x - 5*h + y for x.
4
Suppose 0 = -4*g + 2*l + 78, -3*l = -2*g + 17 + 24. Solve 5*o = -5*t + 40, -g = -5*o - 3*t + 11 for o.
3
Let h = 6 + -10. Let k = h + 1. Let u(a) = -a**2 - 3*a + 2. Let r be u(k). Solve 5*o - 4*v = o - 12, r*v = -5*o + 13 for o.
1
Let s = 8 - 4. Solve -3*u + 2 = s*r - 3*r, -u = 2*r + 6 for u.
2
Suppose 0*t = 2*t - 8. Suppose 0*k - y = -2*k + 10, 3*k + 3 = -3*y. Let z be k*(-5)/(-9)*3. Solve -3*i - 2 = -t*n - z*i, -5*i = -n + 28 for n.
3
Let t(j) = 2*j + 6. Let u be t(-9). Let i = 14 + u. Suppose -4*z + 24 = 4*a, 0*z + 4*z + 2*a - 24 = 0. Solve i*s = 4*s - z, -v = -5*s + 17 for v.
-2
Let o(w) = w**2 + 11*w + 4. Let z be o(-11). Solve z*r - 30 = -2*x + 4*x, -x - 10 = -r for x.
-5
Let f = -12 - -23. Let t = f - 6. Solve -t*w - 15 = 0, 3*h - h = 4*w + 2 for h.
-5
Suppose -3*g = 7 - 61. Solve 3 = -3*c + 2*p, -p + 6*p = -3*c + g for c.
1
Suppose -q = -2*q + 52. Let w be q/16 + 3/(-12). Solve 0 = -5*d - w*h + 9, -4*h = -2*h - 6 for d.
0
Suppose 0 = -3*g + j + 25, g + 4*g + j - 55 = 0. Let m be g/4*(-16)/(-10). Solve r - 8 = 4*d, 5*d - 3*r - 1 + m = 0 for d.
-3
Let i be -10 - -10 - (-1 + 1). Solve 2*f + 3*g - 2 = 0, -5*f - g = -i*f + 21 for f.
-5
Suppose -5*c - 30 = -0*c. Suppose -3*p = -5*p - 20. Let i = c - p. Solve -r = i*b - 0*b, 0 = -b + 2*r for b.
0
Let z = -5 + 8. Solve -2*j + 8 = 4*v, 3*j - 5*v - 4 + z = 0 for j.
2
Let r be (15/12)/((-1)/(-4)). Suppose 0 = 2*o + 13 - r. Let l(j) = j**2 + 3*j - 4. Let f be l(o). Solve d = -f*z - 2*z + 9, -2*d - 9 = -5*z for d.
3
Suppose 5*h = -2*l - 4, l + 14 = -4*h + 3*l. Let r be h*(-2 + -2 + 2). Solve -5*d - 5*y = 0, r*y - 1 - 2 = -d for d.
-1
Let 