 7 for t.
-1
Let h be ((-6)/(-4) + -1)*8. Suppose m - h = -m. Suppose -6*g = -g - 10. Solve -5*p - j + 1 = 7, 3*p - g = -m*j for p.
-2
Let w(b) = -13*b**2 - 2*b - 4. Let c be w(-2). Let l = c + 59. Solve -5*x - 4*u = -6, 2*x - 2*u = u + l for x.
2
Let i(v) = -v**2 + 8*v + 9. Suppose 6 = -5*a - 24. Let s = 3 - a. Let t be i(s). Solve t = -3*o - 4*b + 29, -13 = -5*b + 12 for o.
3
Let g(d) = -d**2 + 33*d - 268. Let k be g(18). Solve -3*t - 27 = 4*b, -k*b - t + 3 = 14 for b.
-3
Suppose -531 = 2*w + 7*w. Let x = w + 63. Solve 2*j - 6*j - a = -15, 0 = -3*j + x*a - 3 for j.
3
Let y(k) = -174*k + 353. Let p be y(2). Solve p*l = -2*u + 5, 5*u - 21 = -5*l + l for l.
-1
Let r(j) be the second derivative of -j**3/3 + 4*j**2 + 4*j. Let p be r(0). Let n = -3 + 3. Solve n*x - 2*x - 14 = -4*v, -v - x = -p for v.
5
Let k be (-26)/(-8) + (-2)/8. Suppose 6*v + 122 = 44. Let m = v - -17. Solve l - 11 = k*q - 28, -4*l - 36 = -m*q for l.
-5
Suppose -8 = -2*v + v. Suppose 16*m - 20*m + v = 0. Solve 0 = m*w - z - 2, 0 = w - 5*z + 17 for w.
3
Suppose 22 = 2*p + 5*y, -2*p + 70 = 2*p - 3*y. Solve -2*d = 5*m + 13, 2*m = -3*m + d - p for m.
-3
Let r = 5 + -2. Suppose 5*q - 41 = 3*g, -r*q + g = -8*q + 53. Let x = q - 7. Solve 5*m = x*u - 1, 4*m - 7 = m - 2*u for m.
1
Let y(m) = m**2 + 6*m + 3. Let n be y(-6). Suppose 2*w + 19 = 5*c, n*c + 1 = 2*c + 2*w. Suppose 4*f - c = 3. Solve -2*q = -f*g - 16, 3*g + 12 = 3 for q.
5
Let i = -67 - -67. Suppose 4*t = 3*h + h, -t + 5*h = i. Solve 2*q + q - y = 11, t = -2*q - 2*y + 2 for q.
3
Suppose 8 = -3*g - 4*m + 24, 3*m = -15. Suppose -9 = -3*x, 2*x = -3*b - 0*b + 30. Let k = g - b. Solve -3*u + k*p + 1 = 2, -p = 2*u + 8 for u.
-3
Let o(z) = -z**3 - 2*z**2 + 2*z + 6. Let t be o(-2). Suppose -5*u + 4*j = -8, -4*u + t = u - j. Solve 2*d + u*d - 4*s = -2, -2*d + 13 = s for d.
5
Suppose j = 2*s + 2, 4*s - 3*s - 3 = 0. Let a = j - 8. Suppose 3*m + a - 6 = 0. Solve 8 = m*z - 2*o, -5*z + 2*z + 10 = -2*o for z.
2
Let s(t) = -2*t + 3. Let j be s(-2). Suppose y + 31 = -5*z + 8*z, -1 = 2*z - 5*y. Suppose 5*r + z = j*r. Solve -4*n + 5*p = r, 3*n + 2*p = 6*p - 4 for n.
-4
Let o = 4 - -22. Suppose -n = 4*f + 4 + 1, -4*f - 2*n = 10. Suppose f = 4*l - o + 6. Solve 3*d + 3*a - 18 = 0, l*d + 2*a + a = 20 for d.
1
Suppose -3*y - 5*z + 39 = -0*y, y - 17 = -3*z. Suppose -13 - y = -7*f. Let x(g) = -g - 3. Let d be x(-5). Solve 4*n = 2*v + 8, d*n = f*v + 2*v - 4 for n.
3
Let z = -1065 + 1065. Solve z = y - 2*q + 9, 4*y + 1 = q - 21 for y.
-5
Suppose 12*t - 24 = 276. Suppose -2*a - t = -31. Solve -8 = -3*q + a*r - r, r + 18 = 5*q for q.
4
Suppose 21*m = i + 19*m + 8, 5*m = 3*i + 19. Solve 5*y - 30 = 4*n, 3*n + 2*y + 1 = i*n for n.
-5
Let w(y) = 0*y + 7*y + 4 - 9*y - y**2 + 9. Let t be w(-4). Solve 3*v = t*f + 14, -2*v - v + f + 10 = 0 for v.
3
Let g(r) = r + 8. Let w be g(-10). Let o be -1*(w - -3) - -1. Solve o = -3*l - 3*m - 6, -2*l + 4*m = 3*l - 35 for l.
3
Let c be -10 + 14 + 12*1. Solve c = -w + 4*m, 0 = -w + 4*w - 4*m + 24 for w.
-4
Let k(n) = n**2 - 10*n - 20. Let w be k(12). Suppose -m + w = -1. Solve -2*g + f = -6, 6 = m*g - 5*f + 1 for g.
5
Let w(y) = y**3 + y - 1. Let j(l) = 3*l**3 - 5*l**2 - 22*l + 3. Let i(a) = j(a) - 2*w(a). Let q be i(8). Solve 2*t + 2 = -2*r + 4, t + 3*r = -q for t.
4
Let u = -636 + 647. Solve -5*s - 26 = -w, -4*s - 6 - u = 3*w for w.
1
Let y = 34 + -29. Suppose y*d + 6*v - 20 = v, 0 = -5*d + 3*v + 44. Solve 0 = 3*t - 6*t + 4*a + d, -4*a + 3 = -t for t.
5
Suppose 0 = 5*d - 12 - 8. Let o be (-3)/((-186)/24 + 7). Solve -4*i + 17 = -o*x - 3, -3*x = -d*i + 19 for i.
4
Suppose 79 = 13*c + 1. Solve -2*m = -3*b + 4, c*b - 2*b + 5*m - 13 = 0 for b.
2
Let m(j) = j**2 + 12*j + 2. Let r be m(-13). Let p = -28 + 3. Let g = -18 - p. Solve -15 = -3*c - a, c - g + r = 4*a for c.
4
Let h = -37 - -10. Let p = -10 - h. Suppose 20 = -5*i, 4*i - 3 - 1 = -5*m. Solve -k + p = 3*k - o, m*o = -5*k - 5 for k.
3
Let x be (-1 - 8)*(-6)/18. Suppose x*z + 5*m - 11 = 0, -2 = -m - 1. Suppose 0 = -v + z*v - 17. Solve -k - 8 = 3*q, 4*k - 5*q - v = 19 for k.
4
Suppose -4*g - 5*f = 8, 2*g - f = 4 + 6. Suppose -117 = -5*i + 3*m, 3*i + 4*m = 3*m + 73. Solve 5*j = 3*y - 28, -g*j + y = -8*j - i for j.
-5
Let z = -4 - -24. Suppose 5*w + 4*r = z, -w - 4*r = -3 - 17. Let q be 0/41*-1*1. Solve -i - 4 = a - q*i, w = -2*a + 5*i - 1 for a.
-3
Suppose 0 = -42*y + 38*y + 12. Solve 0 = -y*t + 3*c - 3, -t + 2*c = -c + 3 for t.
0
Let h(c) = c**2 - 22*c + 22. Let x be h(18). Let s be (-2)/(-5) + (-180)/x. Solve s*t = t - 4*z + 14, t = 4*z - 6 for t.
2
Let p(x) = -x**3 - 14*x**2 - 3*x - 40. Let k be p(-14). Let f = 15 + 3. Solve -2*s = -2*u - f, k*u - 4*s + 21 = -7 for u.
-4
Suppose 6*d = 73 - 61. Solve -5*w = 5*g - w + 9, d = -4*g + 2*w for g.
-1
Suppose -2*m = 3*d - 57, 3*m - 81 = -4*d + 2*m. Let g(h) = 3*h - 61. Let k be g(d). Solve -2 = -2*f - k*l - 6, 4*f + 9 = -5*l for f.
-1
Let a be 14*10/65 - 2/13. Solve 0 = 4*g + a*v - 24, -g - 4*v = -5*g for g.
4
Let i(j) = 8*j + 8 + 5 + 5 + j**2 - 15. Let a be i(-8). Solve -a*r + 2*n = -1 + 6, -3*n + 6 = -4*r for r.
-3
Let n = 70 - 62. Suppose -4*u + n = -0*u. Solve -8*c = -4*c - h + 17, 21 = -3*c - u*h for c.
-5
Suppose 2*w - 7 + 5 = 0. Suppose 0 = 2*q - 10, 0*q = -2*f + 5*q - 17. Solve 0 = 3*d - 2*g + 6 - 1, w = -5*d - f*g for d.
-1
Let y(q) = -q**2 + 63*q - 337. Let j be y(6). Solve -5*t = -3*l - 12, 2*l - 17 = -0*l - j*t for l.
1
Suppose -5*x + 4 = 7*p - 5*p, 4*x - p - 11 = 0. Let b(d) = -5*d + 9. Let u be b(-7). Suppose 0 = -5*w + u - 14. Solve -5*z = -y + 36 - w, -2*y = x*z for y.
5
Let d = -3 - -4. Let g be 0 + -2 + (d - -6). Suppose 16 = 3*m - p, -g*p = 6*m - m. Solve m*s = 3*i + 6, 2*i - 2*s = -4*s + 10 for i.
2
Let b(a) = 57*a**2 - a - 1. Let x be b(-1). Let k = -28 + x. Suppose 0 = 5*g - 6 - k. Solve 0 = 4*w - 3*l + 2, g - 3 = 2*l for w.
1
Suppose 0 = 109*n - 135*n. Solve 0*b = 2*t + 5*b - 15, n = -2*b + 2 for t.
5
Let d = -88 - -91. Solve 4*q - 3*q + d*g - 8 = 0, 3*q - 12 = -5*g for q.
-1
Let b be 11 + (-7)/(21/12). Let z(u) = u**3 - 6*u**2 - 3*u - 8. Let o be z(b). Solve -4*f - o = 0, 2*t + t - 2*f - 1 = 0 for t.
-3
Let q be 2/(-8) + 212/16. Let b = 14 - 21. Let y = 9 + b. Solve 2*x + 14 = y*n, 5*n - q = x + 10 for x.
-3
Suppose a - 2*f - 3 = f, -4*a + 12 = 4*f. Solve s = -a*y, -3*y + s + 4 + 2 = 0 for y.
1
Let v be 2 - (1 - (4 - 4)). Let f be 2 - v/((-3)/(-12)*2). Solve 3*d + t - 15 = -d, f = 4*d - 2*t - 6 for d.
3
Let s be (-4)/10 - 196/35. Let t be s/8*(-23 - -19). Solve 3*f - 2*f + 3*d - 2 = 0, -t*f - 3*d = 0 for f.
-1
Let q(j) = j. Let m be q(9). Let z(i) = i**2 - 7*i - 1. Let a = 27 + -19. Let p be z(a). Solve -5*c + 3 = -p*n + 4*n, c + m = 3*n for c.
3
Let w be 0 + -3 + 15 + (-3 - 7). Solve 2*o + 4 = -2*i, 5*i - 2*o + w = -1 for i.
-1
Suppose -9*q = -45 + 9. Suppose 2*i + 5*u - 25 = 0, -2*i - 29 = -5*u - q. Solve i = 4*o - g + 3, 6 = -3*o + 4*g - 6 for o.
0
Let d be 14/3 - 23/(-69). Solve -2*o + 0*x = 3*x + 7, o - 16 = d*x for o.
1
Let c = -22 + 25. Suppose 9 + 0 = c*k. Solve 10 = -3*o - 4*h, -h + k*h + 2 = -3*o for o.
2
Suppose 0 = 5*i + c - 91, 0 = -4*c + 6*c - 2. Let r = -13 + i. Solve 0 = 5*z + r*m - 20, z + m = -4*m for z.
5
Let j be (9/(-12))/((-1)/4). Let h = 7 - j. Suppose -77 - 7 = -4*u. Solve -h*z = -t + u, -5*z - 32 = -4*t - 2*z for t.
5
Let i(m) = m**3 - 16*m**2 - m + 18. Let f be i(16). Solve -2*g = 4*w + 14, -2*w - 1 = -3*g + f for g.
-1
Suppose -4*v - 17 = 3*t + v, 2*v - 4 = 0. Let g = t + 12. Let a be 2 + -2 - (-1 - g). Solve 0*j - j = -a*r - 8, 5*j - 24 = 4*r for j.
4
Suppose 4*b - 101 + 89 = 0. Solve -b*a - 4 = -a - 2*o, 0 = 3*o - 6 for a.
0
Let f = 1263 - 1263. Solve -4*x + x - 4*n - 3 = f, -5*x = 5*n for x.
3
Let w = 25 - 23. Let x(k) = k**3 + 4*k**2 + k + 5. Let j be x(-4). Solve -w*t - 4*o = -11 + j, -4*t - 7 = -o for t.
-1
Let x(g) be the second derivative of -g**3/3 - 21*g**2 + 21*g. Let z be x(-21). Solve -s = 4*j + 11, 5*s + 0*j - 4*j + 7 = z for s.
-3
Suppose -14*z + 10*z = -96. Let u be (-11)/(-4)*(0 + -4). Let t = 11 + u. Solve -a = w, -z = -5*w - t*a + a for w.
4
Suppose -d - 4*d + 120 = 0. Suppose 21 = -d*k + 31*k. Solve -2*v = 2*g - 2, -4*g - 2*v = k*v - 8 for g.
-3
Let y be ((-5)/((-30)/9))/((-9)/12). Let c be (-9)/y*((-10)/18 + 1). Solve -i + f + 2 = -c, 4*i - 22 = -2*f for i.