 -5*a - 5*t = -5, a + 2*a - l = -5*t for a.
2
Let c be (0 + -2 - -13) + 1. Suppose -2*y + 29 - 23 = 0. Solve t - c = 2*d, -3*t - 2*t - 5 = y*d for t.
2
Suppose -5 = -5*a + 4*a. Solve 2*j = a*i - 26 + 7, -18 = 3*j - 4*i for j.
-2
Let j be 1/2*(1 + 3). Let d(c) = -c**2 + 10*c - 2. Let p be d(9). Let q = -5 + p. Solve -q*x - 2*k = -x + 7, -j*k - 13 = 3*x for x.
-3
Let t be 17/6 + (-1)/(-6). Solve -f = -0*f + 5, 19 = 2*a - t*f for a.
2
Let k(m) = -3*m - 7. Let n be k(-5). Suppose 4*a + 4 + 20 = 0. Let u = a + n. Solve -31 = 2*g + u*g - 3*s, -4*g + s - 21 = 0 for g.
-4
Let j = 10 + -6. Suppose y - j*y - 5*i - 8 = 0, -16 = 4*i. Solve -2*p = -4*h + y, -3*h = -0*h - 2*p - 5 for h.
-1
Let v be 9/(-18)*0/(-2). Suppose v = -3*z - 15, -88 + 18 = -5*w - z. Solve x + 5*t = -30, 3*x = -t - 5 - w for x.
-5
Suppose 0 = -6*b + 13 + 5. Solve -4*z + 12 = 4*s, b*s + 4*z - 8 = 4 for s.
0
Let q(x) = x**3 + 6*x**2 - 7*x + 4. Let u = -15 - -8. Let b be q(u). Let p be (4/3)/((-8)/(-12)). Solve d - b*f - 3 = -7*f, -5*d = 2*f - p for d.
0
Suppose 0 = o - 6*o + 15. Suppose -3*a = a + 2*x - 22, -x - 14 = -o*a. Solve -2 = 2*z + 3*h - 4*h, 4*h = -5*z - a for z.
-1
Suppose 2*k - 15 = -1. Let r(l) = l**3 - 25*l**2 + 25*l - 19. Let m be r(24). Suppose -5*f = -9 - 11. Solve -m*p + f*x + 0 + k = 0, -5*p = 3*x - 21 for p.
3
Let k(x) = x + 10. Suppose 13 - 33 = 4*v. Let p be k(v). Solve l - 3*l = 3*h - 7, 0 = p*h - 5*l - 20 for h.
3
Let f(q) = -q**3 - 5*q**2 - 6*q - 4. Let z be f(-4). Suppose -m + z = c, -1 = 3*c + 5*m - 13. Solve 2*t - 2*a - 4 = 2, 4*a = c for t.
4
Suppose -12 = -4*n - 0. Let y be n - (5 - (0 + 2)). Solve 3*i = -y + 12, 0 = -q + i for q.
4
Let l = -19 - -22. Solve 6*g = l*g - 4*d - 15, g = 2*d - 5 for g.
-5
Let m = 12 + -9. Suppose -6 = -m*g + 6. Solve -3*t - g = -5*l, 4*t + 1 = -l + 11 for t.
2
Let p(q) = q**2 + 15*q - 3. Let t be p(-16). Solve -t - 5 = -4*j - 2*d, 3*j = 5*d + 7 for j.
4
Let r be -1 + -1 + (-3 - -7). Suppose 0 = -5*l + 20, -r*c = -4*l + l + 6. Let f be -2 - (-7 + (c - 1)). Solve -15 = f*u + 3*o, -4*u + 2*o = 5*o + 18 for u.
-3
Let j = -13 - -18. Solve 0 = 3*o - 3*z + z - 16, 0 = -2*o - j*z - 2 for o.
4
Let n be (20 + -21)/(2/(-6)). Suppose -5*z = 5*j - 31 + 6, 3*j + 9 = 5*z. Solve 5*c + 5 = 5*i, -n*c = i - j + 5 for i.
0
Suppose 0*v + 3*v = 2*o - 8, 3*o = -4*v - 5. Let w = o - 3. Let t be 0/(3 - (w - -4)). Solve t = c + 4*h + 3 + 13, -5*h = -4*c + 41 for c.
4
Suppose -3*u + 2 = -4. Let n be ((-4)/2)/(1/(-1)). Suppose 0*t + 3*t + 2*k + 2 = 0, -k - 1 = 3*t. Solve u*o = -n*d - 10, -2*o - 12 = -t*d + 4*d for o.
-4
Let z(b) = b + 7. Suppose -2*u = 5 + 5. Let r be z(u). Solve -r*y - 5*w - 8 = 0, 5*y + 4*w + 16 = y for y.
-4
Let j(p) = 6*p**2 - p - 2. Let y be j(-2). Solve -3*r + 4*m = 21, -7*m = -4*r - 3*m - y for r.
-3
Let j be (0 + (-3 - -4))*2. Solve -2*h = -4*d - 4, -h = j*d + 2*d + 16 for d.
-3
Let o = -21 - -43. Let a = o + -13. Solve -5*q + r = 22, 3 = -3*r + a for q.
-4
Suppose -4*n - 100 = n. Let g be 0 + -3 - n/4. Solve -3*t + 6*t - 7 = g*q, 3*q - t = 0 for q.
1
Let l = 11 - 8. Suppose l*n = -4*m + 22 + 5, -2*n = 2*m - 16. Solve 0 = n*o + 2*b + 3*b + 15, -4*o - 11 = 5*b for o.
-4
Let d = 4 - -1. Let f = 10 - d. Solve 0 = o - f, o - 4 + 3 = 2*x for x.
2
Let c(x) = -x - 7. Let g be c(0). Let s be (1/(-2))/(g/42). Solve -s*t - 2*j = -0*j + 19, -3*j + 14 = -4*t for t.
-5
Suppose 2*o = -2*m - 5 - 1, 0 = -2*m + 2*o + 10. Let z = 41 + -27. Suppose 6*w - 2 = 16. Solve 4*a + 19 = -m, w*t = -a - z for t.
-3
Suppose -i + 2*q = 6, 4 - 7 = 5*i - q. Let p be (-16)/56 - (1 + (-132)/21). Let o = p + i. Solve 19 = -o*g + j, 5*g - 5*j + j + 31 = 0 for g.
-3
Let h(s) be the first derivative of -5*s**2/2 - 3. Let p be h(-2). Let y be -2*4*(-5)/p. Solve -3*m = -y*u - 13, -6*u + u - 20 = -5*m for u.
-1
Suppose 3*a - s - 11 = 0, -4*a - 3*s + 15 = -4*s. Suppose 4 = -2*v + 4*u + 32, -v = -a*u - 4. Solve 5*x - 35 = -4*d, 2*x + 3*d - v = -x for x.
3
Let s(u) = 4*u**2 - u + 1. Let i be s(1). Suppose -4*f + i*d = 0, 3*d - 15 = 2*f - 4*f. Solve 0 = -3*p - 6, -2*v - 3*p = f*v + 11 for v.
-1
Let q be (-3*(-1)/6)/(8/16). Solve -1 = 2*y - u + q, 5*y = -3*u + 17 for y.
1
Suppose -67 = -5*t - 4*u, 0*t = 3*t + 2*u - 41. Solve t = -5*s, -5*n + n + 8 = -4*s for n.
-1
Let v(t) = -t**3 + 8*t**2 - 9*t - 10. Let u be v(5). Solve 4*s - 2*k + 15 = 9*s, -5*s - k = -u for s.
5
Let n(t) = -t**2 + 2*t + 2. Let r be n(3). Let z be 1 - (2 + r + -3). Suppose 9 + 3 = z*h. Solve 0 = -4*l + h - 20, 20 = -4*a - l for a.
-4
Let g(v) = -v + 5. Let x be g(0). Let i(c) = c**2 - 5*c. Let m be i(5). Solve -3 + 4 = -2*w + 5*u, w + 2*u + x = m for w.
-3
Let a be 4 - (-3)/(9/6). Let s = -4 + a. Solve 0 = -u + 3*l - s, 0*l - l = -u - 2 for u.
-2
Let t = 4 + -1. Let o(c) = -c**2 + 5*c - 3. Let u be o(t). Solve -u*g + 23 = b + 6, 5*b + 2*g = 33 for b.
5
Let c(m) = m**2 + 7*m + 9. Let y be c(-6). Let p be 91/21 - 1/3. Suppose p*n = 2*n. Solve n = 3*h - 2*g, y*h - 3*g = -h for h.
0
Let n = 3 - 0. Solve n*p + k = 16, 0 = 3*k + k - 16 for p.
4
Suppose -q + 12 = 1. Let j(w) = w**2 - 10*w - 2*w**2 + 16*w. Let s be j(6). Solve -5*p = -3*i + q, s = -i - 3*i - 3*p + 5 for i.
2
Suppose -4*l - 5 = -2*h + 5, 3*l = -5*h + 12. Solve h*u - o + 5 = -2*u, 4*o = u + 1 for u.
-1
Let f = 5 + 3. Solve -5*b + 0*b - 10 = -d, -b - f = d for b.
-3
Let d be ((-4)/3)/(3/18). Let b be (1 + 2)*d/(-3). Suppose -7 = -n - 4. Solve n*g + b = 4*v, 3*g + 9 + 4 = 5*v for v.
5
Let d(j) = -3*j**2 + 4*j**2 + 7*j**3 - 1 + j + 0*j**3. Let m(x) = -x**3 - x**2 + x + 1. Let f be m(0). Let r be d(f). Solve -5*b - 16 = a, 2*a + 0*a = r for b.
-4
Suppose l + 3 = c, -l + 2*l - 2 = 0. Suppose -u + 2*u - c = 0. Let s(x) = x**2 - 4*x - 2. Let g be s(u). Solve -2 = 2*p + 2*n, 2*n - 4 + 3 = -g*p for p.
3
Let i = 7 - -5. Solve 4*h = -w + 3*w + 8, -5*h - i = 3*w for w.
-4
Suppose -5*s = -19 - 56. Let y be 85/s + (-4)/6. Solve -y*n - q + 10 = 0, 2*n + 3 = 3*q - 10 for n.
1
Let d be ((-5)/3)/(10/(-120)). Solve -5*r = -d, 4*t = 4*r + 1 + 3 for t.
5
Suppose -16*t = -11*t - 20. Solve 0 = 5*d + t*v + 12 + 6, -5*d - 4 = -3*v for d.
-2
Let u be -1*(-1 + 1)*-1. Suppose u*v - v = -4. Suppose -3 = w - 3*x, -4*w + 5*w + 2*x = 7. Solve 5*g + v*t = w, -3 = 7*g - 2*g + t for g.
-1
Suppose 4*j + 20 = 9*j. Solve -5*q + 15 = 0, 4*q - 8 = -j*h + 20 for h.
4
Let z be 2 + 0/(3/1). Solve -2*r = -z*s - 14, -4*s - 6 - 10 = 2*r for s.
-5
Suppose -1 = -3*f + o, 2*f - o - o + 6 = 0. Suppose -6 = y - f*p, -2*y - 3*p + 22 = 3*y. Solve 2*i - 5*j + 10 = 0, -6*j + 8 = -4*i - y*j for i.
0
Let i(t) = -t**2 + 15*t + 4. Let b be i(15). Solve 0 = -b*n - 5*p - 41, -p = 2*n - 4*n - 3 for n.
-4
Suppose d = 4 - 1. Solve d*a + 3*u = -2*u - 6, -2*u - 6 = 0 for a.
3
Suppose n - 2 + 7 = o, 12 = 4*n. Suppose -o = -3*j + j. Suppose -j*x + 20 = -0*x. Solve g + 3*f - 13 = 0, -x = 4*g - f - 18 for g.
4
Suppose -3*h + h + 6 = 0. Let z(k) = -k**3 + 7*k**2 + 8*k + 8. Let w be z(8). Suppose h*a = w + 1. Solve -s = c - 2*c, -c + a*s = 4 for c.
2
Let o = 27 + -27. Solve -s - s + 4*v - 22 = o, 20 = 4*v for s.
-1
Let c(h) = -h**2 + 12*h - 9. Let s = 20 - 9. Let i be c(s). Solve 4*g = i*w, 0*g + 18 = -2*w - 5*g for w.
-4
Suppose -2*y - 2 + 4 = 0. Let h = 2 + -3. Let a = y - h. Solve 4*n + 0*u + u + 9 = 0, a*n + 5*u + 9 = 0 for n.
-2
Let z(h) = 2*h - 1. Let n be z(11). Solve 4*d - n = c - 2*c, 2*c = -4*d + 26 for d.
4
Let r be 4/(-10) + (-170)/(-50). Solve 0*y + 3 = r*h + 2*y, 3*h - 9 = -4*y for h.
-1
Suppose 0 = 5*b + 81 - 21. Let k = b - -21. Suppose 3 = -3*s + k. Solve -2*q = 5*p - q - 9, s*p = -4*q for p.
2
Suppose 11 = 3*h - t, -h - t - 7 = 4*t. Solve -1 = -d - 3*x, d + 7 = 2*x + h for d.
-2
Suppose 3*l + l - 16 = 0, -5*l = -d - 8. Solve q + 0 = 4, -d = -4*g + q for g.
4
Suppose 6*q - 21 = 3. Solve -q*r - 17 = j + 2*j, -5*r = 2*j + 23 for j.
1
Suppose 4*s = 7*s - 12. Solve 0 = 5*k + 2 - 7, -s*l + 4*k - 24 = 0 for l.
-5
Suppose -5*j = -32 + 7. Let w = j + -3. Solve -3*m = 6, -w*v - 4*m - 12 = m for v.
-1
Suppose 4*l - 10 = -l. Solve -3*x - 2*p - 8 = 0, x + 2*x + l = -5*p for x.
-4
Suppose -3*k = v + 14, -5*v + 3*k - 2 = -22. Let j = v - 1. Solve -5 = -r + 3*i, j*i + 4*i = -5*r + 25 for r.
5
Let q(j) = 2*j - j**3 + j**2 + 1 + 2 - 3*j. Let y be q(0). Suppose -2*h = 3*p - 7, h - y*p + p = 7. Solve 0 = t + 2*o + 6 - 