*t = -h - 12 for h.
3
Let r(d) = -d**3 - 5*d**2 + 5. Let q be r(-5). Suppose -s - 2 = -b, 2*s - q*b + 8 = -2*b. Solve 13 = -3*p - n, s*p + 4 + 1 = 3*n for p.
-4
Let i(k) = -8*k**2 - 43*k - 11. Let y be i(-5). Let z(l) = l**2 + l + 4. Let x be z(0). Solve x*w + 12 = y*b, b - 5*w = 5 - 2 for b.
3
Suppose 15 = -d + 4*d. Suppose d*j + 0*j - 3*i + 5 = 0, 2*i - 14 = -2*j. Suppose -15 = -j*x - 3. Solve 3*s + 2*w = 2*s, -3*w = x for s.
4
Let d = -1 - -1. Let p(q) = -2*q + 4. Let o be p(-4). Let r = o + 11. Solve f + d*v + v - 4 = 0, 5*f + 2*v = r for f.
5
Let y(a) = -3*a - 3. Let c be y(-8). Suppose 5*h - c = -6. Let u = 36 + -33. Solve 3*i - 7 = -h*f + 17, 3*i = u*f for f.
4
Let i(a) = -3*a - 17. Let r be i(-7). Solve -2*m + 6 = -r*u + m, -m = -u - 1 for u.
-3
Let f = -22 - -24. Suppose 4*w = 4*d + 36, 5*w + d - 25 = 2*d. Suppose 2*r - 5*r + 4*m = -35, -w*m - 25 = -r. Solve -3*y - 4*n = -16, -f*y + r - 1 = n for y.
0
Let h be -6 + 2 - (-12 - 2). Solve -4*y = 5*f + h, -4*y = -4*f + 3*f + 22 for y.
-5
Suppose -t + 4*l = -0*l, 4*l = -3*t. Suppose t*a + 3*a = 9. Solve m = -0*i + i - a, 4*m + 4*i + 4 = 0 for m.
-2
Suppose 0 = 4*v - 4*j + 8, 3*j - 4 = -v + 3*v. Let i(t) = -t + 2. Let m be i(v). Solve -4*b + 4*w - 5*w = -8, 2 = b - m*w for b.
2
Let a be ((-9)/(-15))/(1/5). Suppose 2*x + 3*x + 5*u = 30, a*x - 23 = 2*u. Suppose -32 = -5*h - x. Solve 3*i + 6 = q, 8*q - 7 = -h*i + 4*q for i.
-1
Let u be -5*(0/(-2) - 1). Solve -u*z - a - 16 + 1 = 0, 4*a = -4*z - 12 for z.
-3
Let s = 9 + 6. Suppose 4*y = 1 + s. Solve u + 3*u = -3*c + 8, y*c + 5*u - 10 = 0 for c.
0
Suppose -4*y + 73 = -3*x - 0*x, 3*x = 3*y - 57. Let p be y/3*(-6)/4. Let v = p + 17. Solve -5*n + 3*h - 29 + v = 0, 2*n - 5*h + 27 = 0 for n.
-1
Suppose 2*f + 3*f = -h + 15, -4*f = -3*h - 31. Solve -u - 3*l - 2 - f = 0, l = -1 for u.
-3
Let c be ((-7)/(21/9) + 6)/1. Solve -4*b + c*w - 6 = 0, 5 - 4 = b - 2*w for b.
-3
Let r = -32 - -57. Solve -l = -2*i - 0*l + 3, -4*l = 5*i + r for i.
-1
Let l be -3 - -6 - (1 - 3). Let p be (4/6)/((-11)/(-66)). Solve -3 = -u, 3 + 8 = -p*z + l*u for z.
1
Let b(r) = -35*r**2 + r. Let j be b(-1). Let g be (-60)/(-2)*(-2)/4. Let m be j/g - 2/5. Solve 0*a - i - m = -a, -5*a + 4*i + 5 = 0 for a.
-3
Let i(u) = -4*u**3. Let g be i(-1). Suppose 2*x - 37 = -5*d - 2*x, g*d = -4*x + 32. Solve -h - 4*h = 3*p - 19, d*h = -2*p + 16 for p.
3
Let d(c) = c**2 - c + 5. Let q be ((-18)/21)/((-2)/28). Let a be ((q*-1)/(-3))/1. Let r be d(a). Solve 4*u - 10 = -5*w, 3*u + 0*u - w = r for u.
5
Let t be (-8)/3 + (-10)/(-15). Let w = 3 - t. Let p(q) = -q**3 - 5*q**2 - q - 2. Let s be p(-5). Solve 4*j + r = w*r - 28, 3*j + s*r + 3 = 0 for j.
-4
Let x be (-1)/(-5) - (-96)/20. Suppose 3*c - 21 = -2*m - m, -m = -x*c + 5. Solve 5 = m*h - 3*g - 14, -4*g - 8 = 2*h for h.
2
Let x(h) = -h**2 + 9*h + 3. Let g(b) = b**3 + 6*b**2 - 7. Let t be g(-6). Let w = 2 - t. Let k be x(w). Solve 3*z - 18 = -k*j, 4*j - 24 = -5*z + 5*j for z.
5
Suppose 0 = -4*w - 23 - 1. Let r = w + 11. Solve 0 = r*s + 3*y - 18, -y = -s + 2 - 0 for s.
3
Suppose 0 = 3*t - 0*q - q - 9, -5*t = -5*q - 25. Let a be (-2)/4 - (-39)/2. Solve -5*x = -5*i - t*x - 5, a = -i - 3*x for i.
-4
Let k = -98 - -102. Solve 8 = 5*r - 4*x, 4*r + k*x + 8 = 5*r for r.
0
Let z(i) = 2*i**2 + 4*i + 6. Let k be z(-4). Solve -v + 3 = p - 3, -5*p - v = -k for p.
4
Suppose 4*n - 21 + 5 = 0. Let d be 1 - n/(-8)*2. Solve 2*l = -a + 2, -d*l + 2*a + 12 = 4 for l.
2
Suppose -2*a = 10, 0 = -4*b + 2*a + 2*a + 28. Suppose 0 = 2*c + b*u - 10, -9 - 1 = -3*c + 2*u. Solve -3*t + 17 = c*s, 0 = -t - t - 3*s + 12 for t.
3
Suppose 3*h - 3*d - 62 = -4*d, -4*d + 20 = 0. Suppose -h + 7 = -4*g. Let c = 3 - g. Solve 5*b + 3*a = -c*a + 16, 5*b + 5*a = 10 for b.
5
Let s(a) = a + 17. Let x be s(-13). Solve 0 = -3*l + 3*b - 6, 6*b = 4*b + x for l.
0
Let n = -16 + 26. Let i = n + -5. Solve -i*f + 25 = 0, -4*f + 5 + 12 = j for j.
-3
Suppose -15 = -5*c - 0. Suppose -2*x + 3*q + 10 + 9 = 0, 0 = 2*x + c*q + 11. Solve -3*o + 8 = -5*n, n - x*o = -n for n.
-4
Suppose 48 = -5*i + 9*i. Suppose -5*a + a = -i. Solve -6*g + 2*g = 2*j + 4, -a*j = 6 for g.
0
Suppose 46 = 4*y + 30. Solve -a + 17 = y*l - 0*l, 22 = 5*a - l for a.
5
Let y(x) = -2*x**2 - x. Let g be y(1). Let m(l) = -l**3 - l**2 + 3*l - 3. Let o be m(g). Solve t + 3*k = -10, 3*k + 40 = o*t - t for t.
5
Let i(g) = -3*g - 9. Let j be i(-4). Suppose 2*v - 12 = -2*v. Suppose 4*u - 19 = -5*y - 0, -3*y - 59 = -4*u. Solve v*s = -4*t + u, -2*s + j = s for t.
2
Let s(b) = -17*b**3 + 36*b**3 + 1 - 18*b**3 - 4*b. Let c(y) = -y**3 - y**2 - y + 3. Let r be c(0). Let n be s(r). Solve 0 = -2*o - 2*o - n, -3*k + 7 = -o for k.
1
Let o(u) = -u - 12. Let w be o(-13). Solve 0 = -5*y + 3*g + 4 - 2, -w = -g for y.
1
Let p(k) = -k + 13. Let s be p(12). Solve 2*g + l - 5 + s = 0, -4*l - 16 = 0 for g.
4
Suppose 3*v - 1 = 2*v. Suppose -2*f - g + v = 0, g = 5*f + 2*g - 4. Let c be 28 + 4*f/2. Solve x - 4*x + 5*a - c = 0, 5*a = -5*x - 10 for x.
-5
Suppose 0*v = 3*v + 18. Let x = v - -9. Solve -2*f - 22 = -3*h, 5*f + 13 = -0*h - x*h for f.
-5
Let t(d) = -d + 7. Let p be t(0). Let o be (p/2 + -3)*10. Solve -h = w + o, -3*h + 1 - 7 = 0 for w.
-3
Let z = 63 - 57. Solve 2*f = 2*x - z, -2*f + 3 = -2*x + 3*x for x.
3
Let f(h) = h**3 - 2*h**2 - 5*h + 2. Let i be f(3). Let g(x) = -x**2 - 6*x - 6. Let b be g(i). Let k = -9 - -14. Solve -k*w + 2*m = -2*m - 28, -m = w - b for w.
4
Suppose -2*l + 7*l - 15 = 0. Let s be 3/(-9) - (-1)/l. Let j = 7 - 0. Solve -3*a - 4*b + 10 = s, -5*a + j = 3*b - 6 for a.
2
Let f(i) = -i**3 - 12*i**2 - 12*i - 6. Let k be f(-11). Solve 5*c + k + 25 = v, -c = -5*v + 30 for v.
5
Let x = -3 + 7. Suppose -4*d + 4*h = 3*h - 22, -x*d - 5*h + 34 = 0. Solve -3*q = j + 9, 5*j + 3*q - d = 5*q for j.
0
Let w(t) = t**3 - 13*t**2 + 13*t - 10. Let c be w(12). Solve 4*s = -5*h - 4 + 40, 4*s - c*h = 8 for s.
4
Let n be 18*2/8*2. Let g be (3/n)/(2/60). Solve -4 = -a + f - 2, -5*f = -2*a + g for a.
0
Suppose -2*o - 3*l = -15, -3*o = -o - 3*l + 3. Suppose -3*k - 4*r + 7 = 0, 4*k - r = 11 + 11. Let x = k - 5. Solve o*v + 3 = 4*s - x, -12 = -4*s for v.
3
Suppose -16 = 4*l, 5*m = -3*l - 13 + 1. Solve 5*r = -4*j + 2 - 28, m = -4*j + 3*r - 10 for j.
-4
Let y(f) = 3*f - 10. Let l be y(5). Solve -n = -o - l*n + 9, 0 = 3*o - 2*n - 13 for o.
5
Let p(v) = -v**2 - 22*v - 8. Let d be p(-21). Solve 3*l = 2*a - d, 2*a - 23 = 5*l - 0*a for l.
-5
Let m(g) = -g**2 - 5*g + 1. Suppose 5*c + 21 = 1. Let l be m(c). Solve l*h - 1 = p - 12, p - 5 = 2*h for p.
1
Let v = -3 + 3. Suppose 3*p = p - k + 252, -3*p = -k - 373. Suppose 9*z - 4*z - p = v. Solve -5*m = -4*s - z, 4*m - 4 - 16 = 0 for s.
0
Let m be 1/((-1)/(-3) - 0). Let o be ((-1)/m)/(1/(-15)). Let y(g) = g - 4. Let b be y(6). Solve 7*l + 15 = b*l, -2*l = o*k + 31 for k.
-5
Let q = -27 - -42. Solve -4*t + 5*h - 33 = 0, -4*h + 5 + q = 0 for t.
-2
Let v(j) = 2*j**2 - j**2 - 4 + 7 + 4*j. Let s be v(-3). Solve -3*a - 15 = 0, s*m = m - 3*a - 13 for m.
-2
Let l = 3 + 2. Solve j = 5*n, -2*n + 3*j = -8 - l for n.
-1
Let g(k) = -k**2 + 5*k + 8. Let u be g(6). Solve -3*c = -0*c + u*q - 12, c = -4*q + 4 for c.
4
Let h(k) = -k**2 + 9*k + 14. Let m be h(10). Solve m*o - a + 22 = 2*a, -3*o = -5*a + 22 for o.
-4
Suppose -3*k + 15 = 0, 0 = m - 5*m + 2*k + 14. Let s be -3*2/m*-4. Suppose -2*v + 5 = v - 5*p, 4*v - 4*p = 12. Solve -2*z - 3 = g, -v*g - s = -2*z + 23 for z.
1
Let k(m) = m**2 - 3*m - 5. Let q be k(-2). Solve -j + 2*g + 3*g - 26 = 0, 15 = q*j + 4*g for j.
-1
Suppose -3*w - 14 = 5*x - 0, -3*w = -2*x - 14. Solve -4 = 4*h, -b + 3*h + 6 = -w for b.
5
Suppose -10 = -11*j + 6*j. Solve c = 4, -j*i = c + c - 8 for i.
0
Let r be 6/(-2)*(3 - 5). Let i(y) = -y**2 + 5*y + 6. Let h be i(r). Suppose -4*q + 24 = -h*q. Solve 0 = 3*w + 5*m - 18, -4*m + q = -3*w - m for w.
1
Let f(x) = -x - 16. Let z be f(-17). Solve 0 = 3*k + 4*y + 4 - z, -k - 2*y - 1 = 0 for k.
-1
Suppose 15 + 5 = 5*s. Solve -s*x - 3*n + 9 = 0, 6*x + 2*n - 6 = x for x.
0
Let u(i) = 3*i + 75. Let l be u(-25). Solve -4*f = -5*z + 10, l*f + 4 = 2*z + 2*f for z.
2
Let r = 9 - 18. Let h = r - -13. Solve -h*t + k + 21 = 0, 3*k - 1 = -t - k for t.
5
Let x(r) = -r**2 - 3*r - 1. Let m be x(-1). Let s = 0 + m. Solve 0 = 5*i + 5*h + 45, -i + s = 4*h - 5*h for i.
-4
Suppose 5*z - 14 = l, l - 2*z + 0*z