1 - -7. Let n(u) = -2 + u + 11 - 1. Let o be n(g). Solve 3*w + 9 = 0, o*w = -3*k - 1 + 4 for k.
5
Suppose 0*m + 20 = 4*m. Suppose m*v - 17 = -2. Solve 2*a - 12 = 3*n + 1, 21 = -5*n + v*a for n.
-3
Let m(q) = 0*q**2 + q + q**2 + 4*q**3 - 2 - q**2. Let l be m(1). Solve -5 = -2*v + v, 2*a + 19 = l*v for a.
-2
Let z be (-734)/(-18) - 10/(-45). Let t = 73 - z. Solve 2*g = -5*i - t + 7, -g = -2*i - 1 for g.
-5
Let r(k) = k**2 - 4*k - 10. Let m be r(8). Let u = 11 - m. Let p = 16 + u. Solve -17 = o + p*t, -5*o = -2*t - 7 - 16 for o.
3
Suppose 5 = 5*j + 90. Suppose 0 = 6*l - 2*l + 140. Let b = j - l. Solve 3*d = a + 4 - b, 4 = -4*a for d.
-5
Let y = -45 + 45. Solve 0*b - 5*z - 3 = -4*b, y = -5*b - 2*z + 12 for b.
2
Let s(j) = j**2 - 3*j + 4. Let n be s(3). Let t = 6 - n. Solve -2*r - 16 = 4*k, -3*k - 28 = -t*r - 9 for k.
-5
Suppose -d = -5, 0 = -5*m - 5*d + 38 - 8. Solve -17 = t + 3*z, 2*t - z - m + 0 = 0 for t.
-2
Suppose 0*g - 2*g + 10 = 0. Suppose -2*m - 3*u = 3*m - 35, g*m + 5*u - 45 = 0. Solve 0 = y + 2*y - 5*o - m, -o + 13 = 4*y for y.
3
Let o(d) = d - 3. Let r be o(6). Suppose h - 2 = r*h. Let f be -4*((-1)/(-4) + h). Solve -4*p - 3*c + 3 = 0, 0*p + f*p - 2*c + 19 = 0 for p.
-3
Let o be 3/12 - (-237)/12. Solve -1 = 4*s - y, -5*s - 2*y = 3*y + o for s.
-1
Let i(z) = 2*z - 7. Let j be i(5). Let r(m) = -m + j*m - m. Let y be r(0). Solve 5*f = -y*c - 3*c + 19, f = 5 for c.
-2
Let g be (-2)/(-11) + (-6)/33. Suppose 4*r - r - 6 = g. Suppose -3*c = 2*k - c - 26, 2*k - 38 = -5*c. Solve 16 = -r*j - 4*q, 2*j + k*q - 4*q + 21 = 0 for j.
2
Suppose 3 + 9 = 3*w. Suppose -w*b + b = -5*p, 3*p = -2*b. Suppose b = -2*m + a + 7, -3*m - 5*a + 3*a + 14 = 0. Solve 2*s = v + 6, -m*s + 11 = 5*v - 1 for s.
3
Let g = 42 - 31. Solve g + 3 = 4*a + v, 0 = -a + 3*v + 10 for a.
4
Let y = -61 - -76. Solve 3*b = -3*d - b - y, b + 5 = -d for d.
-5
Let j(k) = -k**2 + 4*k - 3. Let n be j(3). Solve 0 = -5*d + 5*g - 25, 0*d - 3*d - 4*g - 15 = n for d.
-5
Let q be -1 + -15*2/(-6). Suppose -3*y + q*o + 3 = -7, -5 = 5*o. Solve -f + 20 = 4*f - 3*n, y*f = -2*n - 8 for f.
1
Let p(w) = -w**2 - 5*w - 6. Let o be p(-3). Solve 3*m + 5*q - 28 = o, 23 = 4*m + 5*q - 6 for m.
1
Suppose -50 = -7*x + 62. Let d be 2 - (x/(-4) + 2). Solve r - 8 = f, 0 = -4*r + d*f - 2*f + 26 for r.
5
Suppose 5*n - n - 16 = -5*s, 3*s = 4*n - 16. Solve -4*d = -2*y + 16 + 8, d = n*y - 13 for d.
-5
Suppose 0 = 4*o - 1 - 31. Let d = o + -5. Suppose 9 = 3*q - d. Solve -24 = q*l - 0*l - 3*p, 16 = -4*l + p for l.
-3
Suppose 3*t = -0*t - 6. Let f be (-3)/t*20/(-30). Let v(p) = p + 1. Let o be v(f). Solve -d + 3*n - 9 = o, 4*d + 7*n = 2*n + 15 for d.
0
Let i = 14 - 14. Solve -4*g - 8 = i, g + 12 = 5*t + 5*g for t.
4
Suppose 5*m + 1 = -9. Let y be (-5)/m - (-2)/4. Let a be 16/4*6/8. Solve -a*o + y*d = -3, 6*d = -2*o + 4*d + 2 for o.
1
Suppose -4 + 0 = -2*p - 5*y, -4 = -2*p + 2*y. Suppose 3*b = 2*c + 8, -p*c = -5*b + 2*c + 12. Solve 4*g = -3*n - n, n + 20 = b*g for g.
4
Let f(d) = -2*d + 33. Let g be f(15). Solve -25 = 3*n - 8*n, -g*s - 3*n + 27 = 0 for s.
4
Let j be 21/3 + 8/(-4). Solve 0*l - 7 = 3*l + q, j*q = -2*l - 9 for l.
-2
Let y(d) = 3*d**2 + 3*d. Let n be y(-2). Let c be 3/9*(n + 0). Suppose 28 = 4*t - 4*m, t - 4*m = -c + 15. Solve -3*h + 25 = t*q, h - q + 2 = -3 for h.
0
Let l = -24 + 24. Solve 0 = 5*r + d + 18, -2*d - 18 = 4*r - l for r.
-3
Suppose 3*u = s + 3*s - 29, -s + 11 = 3*u. Suppose -4*n = -2*n - s. Solve n*h = 4*f - 8, f + 2*h = -f - 4 for f.
0
Let f(r) = -3*r - 2. Let y be f(-5). Let z = -1 + 3. Suppose -3*k - z = -8. Solve -k*u - n - 2 = y, 35 = -3*u - 4*n for u.
-5
Let q = 10 + -9. Let a be (-3 + 3)*q/(-2). Solve a = -x + 5*b + 22, x - 4*b + 2 = 19 for x.
-3
Suppose -3*k - k = -12. Let b(z) = 2*z - 3. Let o be b(k). Solve -y = 2*x - o - 4, -3*y + 13 = 2*x for y.
3
Let k(n) = -n + 2. Let y be k(2). Suppose y = u - 2*h - 10, -u - 25 = 4*h + h. Let d be 1/((-2)/(-40)) - u. Solve 4*s + d = -4*x, 4*x = x - 5*s - 19 for x.
-3
Suppose 6*b = 2*b + t + 20, -2*b - 4*t + 28 = 0. Solve w = -a - 2*w - 10, 5*a + w - b = 0 for a.
2
Let b(r) = -r**3 + 9*r**2 + 9*r + 12. Let u be b(10). Suppose -u = -p - 2*y, 3*p - 4*p = -y - 2. Solve -3*j - 6 = -2*g, 5*g + 3*j = p - 29 for g.
-3
Let y = -22 - -24. Suppose 3*a = -4*c - 9 + 2, -2*c = y*a + 2. Solve -1 = -s - j, -a*s - s + 18 = -3*j for s.
3
Let x = -4 + -16. Let f be (12/16 + -1)*x. Solve -f*q + 2*s = 19, -q - 2 = 4*s - 7 for q.
-3
Let g(w) = -w + 0*w - 3*w + 3*w. Let q be g(-11). Let b(x) = -x**3 + 10*x**2 + 12*x - 11. Let a be b(q). Solve 5*d + 5*m + 10 = a, 4*m + 13 = -4*d - d for d.
-5
Let c = 95 - 90. Solve -c*a + 6 = -9, 0 = 2*w + a - 13 for w.
5
Let n = 30 - 27. Solve 0 = -4*v + 3*i + n, -3*i + 5*i = 6 for v.
3
Let p = 32 - 30. Solve p*i + h = -10, 3*i - 3*h + 8 = -7 for i.
-5
Let h be 2/4*1*8. Suppose -5*b = 6 - 16. Solve 0 = -h*m + 4*f + f - b, -2*f = -4 for m.
2
Suppose 3*x + 3 = 21. Solve -s = -3*c - 2*s - x, -5*c = -2*s + 21 for c.
-3
Let q(t) = -t**2 - 15*t - 18. Let k be q(-11). Solve 3*j + 2*u + 8 = 0, -4*j + 3*u - k = -2*u for j.
-4
Let u be 6/10*(2 - 7). Let b = 4 - u. Let s = -2 + b. Solve 4*o = 5*x - 2*x - 29, -x + 28 = -s*o for x.
3
Let s be 2 - 6/((-12)/10). Solve -2*w + 3*c = -w + s, 4*w = 5*c - 14 for w.
-1
Suppose 0 = v - 2*l, -9*v - 3*l + 1 = -10*v. Solve 0 = -2*k + j - 2*j + 1, -v*k = -j - 11 for k.
3
Suppose -5*t - q - q = -51, 30 = 2*t + 4*q. Let a = t + -7. Solve c - a*f + 5 = 0, c - 9*f + 5 = -4*f for c.
-5
Suppose 145 = 3*n - 2*l, -2*n + l = 2*n - 185. Let q = -66 - -71. Solve 3*h - 6*h = 4*o - 1, n = 5*o - q*h for o.
4
Suppose -5*w = -5*g, w - 2*g + 4 = -0*g. Solve w*l - 2*k = -2, 0 = 5*l + 2*k - 7*k for l.
-1
Let u(i) = -i**2 + 4*i + 5. Let h be u(0). Solve 7*q = 3*q + h*p + 5, -4*q + p = 15 for q.
-5
Let d = 5 - 0. Suppose 0*b - 95 = -5*b. Suppose 4*x = 4*o + 9 + b, -o = 3*x - 33. Solve 2*z = 2*y + 2, -2*y - x + 1 = d*z for y.
-2
Suppose -4*j - 3*v = -3, -7*j - v + 9 = -3*j. Solve -2*k = -p - k, -j*p - k + 4 = 0 for p.
1
Suppose -5 - 15 = -5*j. Solve -j*z = -g + 2, 10 = -4*z - z + 5*g for z.
0
Let r = 50 - 43. Solve -3*v + r = l, l = 4*l + 6 for v.
3
Let g(h) = 6*h - 15. Let a be g(3). Solve a*d + 4 = -2*p + 5*d, 5*p + 2*d = -31 for p.
-5
Let r = -43 - -48. Let t be (-10)/8*(2 + -6). Solve p = t*a - p + r, -a = -p - 2 for a.
-3
Let c(z) = z**3 - 7*z**2 + 8*z - 2. Let k = -5 - -11. Let d be c(k). Solve 23 = -3*q + 8, 0 = 5*t - q + d for t.
-3
Let q(k) = 0 + 2 - 2*k**2 + 3*k - 2*k**3 - 2*k. Let i be q(-2). Solve 5*p = 3*x - i, 3*p = x + x - 5 for x.
1
Let c = 17 + -10. Solve 5*i + 3 + c = 5*l, i + 4 = 3*l for i.
-1
Let o = 23 + -1. Suppose 0 = -5*f - 5*d + o + 3, -5*f + 5*d = -35. Solve l + 2*m = -0*l + f, -4*m + 28 = -2*l for l.
-4
Suppose 2*h + 6 = 7*n - 3*n, h = 3*n - 7. Let d be 1/((-114)/30 + 4). Solve 0 = -3*b - 4*c - d, -h*c + 40 = 3*b - 10*c for b.
5
Let a = -3 - -9. Let d be 1*(-6)/3 - -1. Let f = d + a. Solve 0 = -i + 5*w + 21, -2*i = 2*i + f*w + 16 for i.
1
Let o(f) = -4*f - 86. Let y be o(-22). Solve 4*x + 0*x - y = 3*h, 0 = 2*h + 4 for x.
-1
Let u be (-3)/5*(-9 - -4). Let k be (0 + 0)*u/(-6). Solve -7*b + 36 = -4*z - 2*b, -3*z - 2*b - 4 = k for z.
-4
Suppose 2*p + 5*o - 15 = 0, p + 2*o = -p + 12. Let h = -5 + 5. Let d = h + p. Solve 2*l - 4*l + 6 = v, -d*l + 15 = -5*v for v.
0
Suppose 2*u = -2*u + 8. Suppose 2*t = 3*g + u + 8, -4*g = t - 5. Let p be g/(-3)*(2 + -1). Solve 5 = 3*s - i, p = -s - 2*s - 5*i + 11 for s.
2
Let s(h) = h**3 - 17*h**2 + h - 14. Let q be s(17). Solve -o + c = -4, o - 19 = -q*o + 5*c for o.
1
Suppose 4 = 2*i - 6*i - 3*x, -i - x = 2. Solve 10 = -i*k, 5*k - k + 28 = 2*j for j.
4
Suppose 5*h - 14 - 26 = -5*y, -y = -2*h + 1. Let b(d) = 15*d**3 - 2*d + 1. Let s = -1 - -2. Let j be b(s). Solve h*r + 26 - 10 = -5*z, 3*r - z - j = 0 for r.
3
Let h be 4/(-6) - (-104)/12. Suppose 4*l + 4 = 5*t - 8, 2*t - h = 0. Solve 4 = -r - l*n, -5*r - n + 1 = 2*n for r.
2
Suppose 1 = b - 1. Let v = b - 2. Suppose 5*y = 5*h + 25, 11 = -v*y + y - 4*h. Solve -1 = 3*a + 3*u + 5, 0 = -5*a + y*u - 2 for a.
-1
Suppose -9*b + 5*b = -8. Solve -2*g - 2*r = -6, 0 = 5*g - b*g - r - 1 for g.
1
Let q(m) = m**3 - 10*m**2 - m - 1. Let v be q(10). Let g = v - -15. Solve 16 = 4*o + 4*l - 6*l, -2*l - g = 2*o for o.
2
Let t be ((-1)/2)/(2/12). 