 3*t, -4*t - 26 = a*x for x.
-5
Let g(d) = d**2 - 2*d - 3. Let p be g(-2). Solve -c - 9 = -p*n + 4*n, -2*n = 2*c + 2 for n.
4
Let v = 13 + -5. Solve -4*d = b + 7, d + 5*b = -8 - v for d.
-1
Let u = -13 + 22. Suppose 5*b - 1 = u. Solve -3*n = n + d - 21, -3*d = -n + b for n.
5
Let i = -2 + 2. Suppose j + i*n - 12 = 2*n, j + 3 = -n. Let l be (-24)/120 + (-32)/(-10). Solve -1 = j*x - 4*b + 5, -x - l*b + 12 = 0 for x.
3
Let l = -6 - -14. Solve h + 4 = -4*b, 2*b = 2*h - h - l for b.
-2
Let w be 2/2*(-1 + 1). Let i be (w - -28) + 0/(-3). Suppose 0 = m + 2*m - 60. Solve 5*u = 5 + m, -o - 5*u = -i for o.
3
Let y(m) = m - 6. Let l be y(10). Solve -13 = l*h - 5*d + 15, 5*h = -2*d - 2 for h.
-2
Let u = -3 + 5. Suppose -2*l + 2 = -u. Solve -2*c = l*q + q - 7, 4*c + 4*q = 16 for c.
5
Let d be 1200/18 - (-2)/6. Suppose -4*c - 2*i + 122 = 0, 0*i - d = -2*c + 5*i. Solve -2*p + 4*g + 5 = 1, 5*g + c = -4*p for p.
-4
Suppose 5*v - v = 16. Suppose z - 45 = -3*c, -16 + 75 = v*c + z. Solve -2*p - p + 11 = g, -c = -2*p + g for p.
5
Let c be 219/(-7) - 2/(-7). Let i = -18 - c. Let v = -7 - -10. Solve -3*q + q - 2*k + 12 = 0, -i = 2*q - v*k for q.
1
Let i be (4 + -2)/(4/18). Suppose p - 1 = 2. Suppose -3*m = p*l - 9 - 0, l + i = 3*m. Solve j = -m*w - 12, 3*j - 21 = j + 3*w for j.
3
Suppose -7 = -3*t + 2*y, -t + y = -1 - 1. Solve -f - v = f + 6, t*f + 12 = -3*v for f.
-2
Suppose -1 = w - 5*c - 9, -3*c + 32 = 4*w. Suppose 0 = n - z - w, -4*n - 3*z + 3 = -8. Solve -4 = f, -r = 3*r - n*f - 32 for r.
3
Suppose 3*l = -10*l + 26. Solve -p + 2*p = o - 1, l*o + 1 = 3*p for o.
4
Let l be (-24)/(-36) + (-4)/6. Solve l = w - 0*w - 5*i - 29, 2*i = w - 14 for w.
4
Suppose 4*a = 4*j - 16, j = 5*a - a + 4. Let n(x) = 8*x + 14. Let u be n(0). Solve -z - 3*c - u = 0, -5*z = -a*z + 3*c + 34 for z.
-5
Suppose -2*w + 10 = -0*w. Solve -3*o + w - 4 = -4*a, 0 = 3*o - 9 for a.
2
Let z be (2/8)/((-1)/(-12)). Solve 2*x + o - 15 = -0*x, -25 = -z*x - 2*o for x.
5
Suppose 5*g - 25 = 2*q, g = -q + 6*q + 5. Solve g*x - j = x + 19, 4*j - 19 = -3*x for x.
5
Let x(c) = c**3 - c + 20. Let r be x(0). Let y(p) = p**2 + 7*p + 1. Suppose -9 = 3*w - 2*w. Let v be y(w). Solve 3*m - 3*u = 2*u - v, 5*m + 2*u = r for m.
2
Let z(l) = -12 + l**2 + 3*l + 12. Let p be z(-3). Suppose p*o - 3 = -o. Solve 4*b + o*w + 7 = -0*w, 3*b + 4 = -w for b.
-1
Suppose 6*h - 44 = 28. Solve 2*b - j + 5 = 1, 5*j - h = 2*b for b.
-1
Let o be 6/((-33)/(-6) + -4). Suppose -3*j + 2*x = -6, j + o*x = -0 + 16. Solve -9 = -s + j*s - 3*z, 2*s - z + 8 = 0 for s.
-5
Let q(t) = 2 - t**3 + 2*t**3 - 5*t**2 + 3*t**2. Let w be q(2). Solve 3 = n - 3*v, 0*n + w*n = -5*v + 6 for n.
3
Let w be 1/(-1) - 3/(-3). Suppose -4*x - l + 8 = 0, w = -x + l + 2*l + 2. Let r = x - 0. Solve -6 = -2*h, -i + 2*h = 3*i - r for i.
2
Suppose 2*x - 5 = -5*u - 7, -5*u = -4*x - 4. Let g be 2 + 1 + 1 + x. Solve 5*m + 3*b - g = 5*b, 3*m - 3*b - 9 = 0 for m.
-1
Suppose -3*y - m + 15 = y, -5*m = 3*y - 24. Suppose 5*g = 13 + 2. Solve 2*t = g*k - t + 15, 4*t - 18 = y*k for k.
-2
Suppose -4*n = -2*c + 26, 5*c - 4*n - n = 40. Solve -5*w - 2*x = c*x - 20, -4*w + 17 = 5*x for w.
3
Suppose -12*p + 6 + 42 = 0. Solve -3*j + p*g + 37 = 9*g, 3*j + 2*g = 22 for j.
4
Let o be 42/8 + (-3)/(-4). Suppose 0 = -r + o*r - 10. Suppose -r*b - 5*v = 2, 2*b + v - 8 = -2. Solve -y + 7 = -4*g, 5*g - b*g = -2*y + 5 for g.
-1
Let r = 3 - -1. Let z(y) = y**3 + 2*y**2 - 25*y - 4. Let j be z(-6). Solve j*h + 9*q - 20 = r*q, -q = 5*h - 27 for h.
5
Let q = 7 + -4. Suppose -5*i + 6 + 4 = 0. Solve -7 - 2 = -3*o - q*a, i*a = 3*o + 16 for o.
-2
Let b = 5 - 0. Solve 5*g + 5 = -b*k - 0*g, 2*g + 26 = 4*k for k.
4
Let o(r) = r**3 - 6*r**2 + 6*r - 2. Let x be o(5). Suppose 2*u + 0*u - 2 = 0. Let p be u*0*(-2)/(-4). Solve y + z + 4 = p, 0*z = y + 2*z + x for y.
-5
Let w(p) be the first derivative of -3*p**2/2 - 3*p - 2. Let f = -19 + 12. Let i be w(f). Solve -5*s = -3*u + i, 0 = -u - 3*s - 5 - 3 for u.
1
Suppose r = -3*h + 2, -5*h + 6 = 2*r - r. Let w be ((-4)/3)/(3/(-9)). Suppose -y + w = h. Solve 0 = l + 5*g + 15, -y = 4*l - 5*g - 17 for l.
0
Let c(b) = -b**3 + 5*b**2 - 4*b + 3. Let h be c(4). Let u = h + -1. Solve 2*g + 5*a = -16, -a = 3*g + a + u for g.
2
Let s = 50 + -48. Solve 0 = 5*j + 5*y + 15, j - s*y - 11 = -2 for j.
1
Suppose -5 = -2*m - 3. Let k be -1*1/m*-5. Solve -k*i - 17 = -4*h, 4*i + 7 = 2*h - 3 for h.
3
Let p(d) = 13*d - 12*d**2 + 11 + 13*d**2 - 4 - 4*d. Let v be p(-10). Solve -3*f + v = -r, 2*f - 20 = -2*f for r.
-2
Let c be (0 - 3)*(-2)/3. Let b be -1*(-2)/c*4. Let d = -3 + b. Solve 3*s + 4*o + 13 + d = 0, -4 = s + o for s.
-2
Let n = 1 + 1. Solve -x + n*o + 20 = -4*x, -36 = 5*x + 4*o for x.
-4
Let g be (-1 - -2) + 0 + 1. Let b be -9*(0 - 2/3). Suppose 0 = -v + 5*x + b, x = -5*v - 0*x + 30. Solve -2*z - 6 = -2*k - g, -3*z - v = -5*k for z.
-2
Let l(x) = 2 + 0*x - 5*x**2 + 0*x - x**3 + 10*x**2. Let p be l(5). Solve p*r - 14 = -4*i + i, -9 = -5*r - i for r.
1
Let l be (-1 + 1)/3 - 0. Solve -2*n = -l*n + 4*k + 28, -4*k = n + 24 for n.
-4
Let s = -18 + 17. Let h be -1 + -2 + (s - -7). Solve 4*t - 16 = 0, -h*f - 4*t + 5 = t for f.
-5
Suppose -75 = 17*x - 20*x. Solve 5*m = -5*w - x, -4*w = -3*m - 2 + 8 for m.
-2
Let z = 65 - 61. Solve 14 = -z*i - 2*m, -3*i + 0*m = 3*m + 12 for i.
-3
Suppose -4*w = -8*w + 40. Suppose x = 3*s - w, -3*s = -2*x - 4*s + 15. Let k be (1*4)/(x - 3). Solve -v = 4*i - 16, k*i - 4 = 5*v + i for v.
0
Let l(v) = -6*v + 6*v + 14 + 2*v + 0*v. Let u be l(-6). Solve -b + u = r, 4*r - 7*r = -3*b + 12 for b.
3
Suppose -5*j + 0 + 10 = 0. Let n be -2*2/(2*(-6)/15). Solve -j*a + t - 5*t - 12 = 0, -1 = -a + n*t for a.
-4
Let q(c) = c**2 - 3*c - 7. Let d be q(6). Suppose 10 + d = 3*v. Suppose 35 = 4*j - 5*k, 5*k = -j + 4*j - 30. Solve j*f - v = 3*l, 4*l + 0*l + 15 = f for f.
-1
Let r = 43 - 41. Solve 6*p = 3*p + 4*z - 9, -5*p + z = -r for p.
1
Suppose 0 = 5*y - 0*y + 4*v - 7, 4*v + 11 = y. Suppose 0 = -0*a + y*a - 6. Suppose o + 2*o = 15. Solve o*x + 6*t - t = 0, 0 = -5*x - a*t - 3 for x.
-1
Suppose 4*r = 3*q - 24, -4*q + 2*r + 8 + 34 = 0. Suppose 90 + 30 = -3*z. Let c be z/q*(-3)/2. Solve 3 - 29 = -5*k - u, -5*u - 20 = -c*k for k.
5
Let w be (-1)/(-4) + (-57)/(-12). Let t = w + -3. Let u(l) = -l**2 - 8*l + 11. Let d be u(-9). Solve 5*q + t*h + 20 = h, d*q = 5*h + 19 for q.
-3
Suppose 2*g - 5*h + 0 = 30, 5*g - 29 = h. Solve -z + 2*n + 12 = -0*z, g*z + n - 16 = 0 for z.
4
Let c be 2/12*3*22. Solve 3*h - d + c = 0, -d - 1 = 2*h + 8 for h.
-4
Let a = -2 + 4. Suppose -27 = -a*b + 5*v, 2*b = -2*b - 4*v + 68. Let q be b/7 + (-8)/28. Solve 4*y - 6*y - 10 = 4*p, 3 = -q*p - 3*y for p.
-3
Let f = 114 + -105. Solve -i = 4*j - f, -j = 4*i - 8 + 2 for j.
2
Let s = 169 - 91. Suppose 5*j = 5*y - 3 + s, -4*y = 5*j - 57. Solve -2*g - v = 0, -4*g + 5*v + j = -g for g.
1
Let a be (-39)/(-12) - 3/(-4). Let u be a/4 + (-6)/(-2). Solve 0 = 5*l - 4*o - 13, 0 = 5*l - o - u - 3 for l.
1
Suppose 5*l - 87 = -2*r - 14, -4*r + 106 = 2*l. Solve 2*w + 7 = 3*a - 4*a, 4*a = 5*w + r for a.
1
Suppose 0*l = 3*l. Let h = l + 5. Let v be 1/(-2) + (-17)/(-2). Solve -5*m - v = h*c + 7, 2*c + 13 = 5*m for c.
-4
Suppose 0 = -2*c - 0*f + f + 3, 5*c - 3*f = 9. Suppose 0 = -4*w - c*w + 12. Solve -3*i + 4*i = w*u + 8, -u - 1 = -2*i for u.
-3
Suppose 2*v - 131 = -4*a + 3*v, -4*a + 126 = -2*v. Solve 5*m - 5*g + a = 14, -2*g + 16 = -4*m for m.
-4
Let y be -4*-1*(-1)/(-2). Solve -4*t - 2*n - 28 = 0, -t - y*n - 21 = 2*n for t.
-5
Suppose 3*y + 0*y - 36 = 0. Suppose u + 2*u = y. Suppose -3*k + u = -2*w, 0*w + w + 2 = -4*k. Solve 5*l - v + 26 = k, -2*v - v = 5*l + 22 for l.
-5
Let i = -1 + 3. Let t(x) = x**2 - 7*x + 7. Let g = 14 + -8. Let s be t(g). Solve s = 3*n + i*k + 10, 4*n + 7 = -k for n.
-1
Suppose 2*t = 7*t + z - 252, -243 = -5*t - 4*z. Suppose -2*u + t + 19 = 0. Solve 0 = 4*d - o - 17, 2*o - u = -5*d + 6*o for d.
3
Suppose -1 = p - 4. Let d(l) = 13*l - 12*l**2 - 13*l - l**p + 3. Let n be d(-12). Solve -1 = f, -4*w - n*f = -6*f + 13 for w.
-4
Let h = -54 - -59. Solve -d + 1 = 0, -h*d + 7 = -r - 3*d for r.
-5
Let r(q) = -q + 12. Let p be r(10). Suppose 4*w - p*i - 22 = 3*i, w = -5*i - 7. Suppose c = -w*c + 12. Solve -c*m - 3*x + 18 = 0, 3*m - m - 5*x + 16 = 0 for m.
2
Suppose 0 = 2*f - 0*c + 2*c - 16, 0 = 2*f - 3*c + 4. Solve 4*g +