
-2
Suppose x = r - 8 + 1, -2*x = 6. Solve j - 4*s = -4, -3*s - 6 = -j - r*s for j.
4
Suppose k - 4*k + 3 = 0. Suppose -5*u + 21 = -4. Let w(f) = 2*f - 6. Let p be w(u). Solve -k = b - l, b - p*l + 7 = -l for b.
2
Let j(r) = r**2 + 2*r + 2. Let h be j(-2). Let y(a) = a**2 + 2*a + 1. Let v be y(-5). Solve 5*z - 2*d = -7 - v, 2*z + 14 = h*d for z.
-3
Let x(v) = -v**2 - v + 4. Let f be x(-4). Let t be f/(-36) - (-263)/(-9). Let s = t + 57. Solve 2*j - 5*k - s = 5*j, -j + 9 = -2*k for j.
-1
Suppose -3*x + 0*x + 30 = 0. Solve 5*k + 5*w + 0 = -x, -k + 1 = 2*w for k.
-5
Let u = 53 + -49. Solve k = -0*i - 3*i + u, 4*i = 0 for k.
4
Suppose 19 = f + 9. Solve 12 = 2*n + 4*v - f, 0 = 2*n - 5*v + 23 for n.
1
Let d be (-1)/(-1 + (-12)/(-15)). Solve 0 = -t + d*t + 2*v - 2, 21 = 2*t - 3*v for t.
3
Suppose 0 = -z + 2*z - 8. Suppose -z = -h - 4. Solve -v - 5 = -5*v - 5*p, -2*p = -h*v - 30 for v.
-5
Suppose p - 1 = -0. Let n be (1/(-2))/(p/(-18)). Solve 5*v + 2*d - 2 - n = 0, -2*v - d = -4 for v.
3
Let h(t) = 2*t**2 + 2*t. Let n be h(-2). Let l = 391 + -697. Let z be 4/26 + l/(-39). Solve 0 = -n*g - 3*m + 26, -m - 3*m = -z for g.
5
Suppose 0 = -0*i + 4*i + 2*h - 24, 5*i + 5*h - 40 = 0. Solve -s + a = 4, 1 = -i*s + 3*a - 14 for s.
-3
Let k be 106/22 - (-10)/55. Solve 3*v - k*j = -4, 0*v - 3*v - j - 10 = 0 for v.
-3
Let s = 67 - 44. Solve -2*o + 2*r = 10, 2*o - 5*r + s = 7 for o.
-3
Suppose z = 6*z. Suppose 4*j + 4*h - 7 = 17, -2*j - h + 11 = z. Solve -2*d + j*q = -10, 0*d + d - 3*q - 6 = 0 for d.
0
Let v = -107 + 111. Solve 5*s - v*j - 5 + 1 = 0, 0 = 5*j - 20 for s.
4
Suppose -29 = -4*p + 15. Let y = 15 - p. Solve 0 = -y*j, z + 5 = -4*z + 2*j for z.
-1
Suppose 0 = 2*h - h - 102. Let s be 4/(-10) - h/(-30). Solve 2*r + 2 = s*i + 3, -3 = 3*i for r.
-1
Suppose x + 3 + 2 = 0. Let i(m) = -2*m. Let j be i(x). Solve -6*o + o = -t + 30, -2*o = 4*t - j for o.
-5
Let i(o) = -o - 2. Let d = -9 + 5. Let a be i(d). Suppose -57 = -10*q - 17. Solve 2*t + a*w = 10, 5*t - q*w + 12 = 37 for t.
5
Suppose -2*q - 3*q + 15 = 0. Suppose q*a = 11 + 7. Let i be 20/3 - 8/12. Solve c - 12 = -5*l, -l - 2*c = -a*l + i for l.
2
Let s be (1 - -4)*(-270)/(-25). Let p be 1/(-4) + s/24. Solve 5*t + 16 = 4*r, p*t - 5*r = 5*t + 17 for t.
-4
Let c be (-16 - -17)/(1/8). Solve -w = 4*k - 3*w + 22, -c = 2*k + 2*w for k.
-5
Let i(g) = -g**2 - 5*g - 2. Let j be i(-2). Suppose -j*u = -3*n + 12, -u - 20 = -0*u - 5*n. Solve u = p + r - 4, 4*p + 3*r = -0 + 16 for p.
4
Suppose 0 = -3*z - 0 + 6. Suppose 5 = l - 3*k - 0, l = -4*k - z. Suppose -l*i = -0*i. Solve v = 2*s - i*v + 5, 1 = -s - v for s.
-2
Let s(v) = v**2 - v + 5. Let t(i) = i**3 - 8*i**2 + 9*i - 10. Let m be t(7). Let c be s(m). Solve 15 = -5*y + 5*h, -c = -4*y - 3*h - 1 for y.
1
Let m be 3 - (1 + 2/(-1)). Solve 0 = -2*j - 2*j + 4*w - m, -5 = -3*j - w for j.
1
Let k(g) = 4*g - 2 + 3 + 0*g. Let i be k(1). Let p = i + 3. Solve -5*o = 5*u - 20, 2 = -4*o - 2*u + p for o.
-1
Let c be 3*(1 + 6/9). Suppose 0*x - c*x = -25. Solve 3*p = 5*u - 0*p + 32, x*p = 3*u + 32 for u.
-4
Suppose -2 = -l - 6. Let t(a) = -a**3 - 3*a**2 - 3*a**2 + 5 + 5*a**2 - 3*a**2. Let d be t(l). Solve 4*q + 24 = d*w, -w - 12 = 4*q - 3*w for q.
-1
Let q be 5 - (-2 + 2 + 2). Suppose 0*v = -3*v + 3*y + 6, -q*v = y + 14. Let r = 13 - v. Solve -5*d + d = 2*z - 22, -2*z = 2*d - r for d.
3
Suppose 0 = -11*h + 14*h. Solve 0 = -5*x + 4*m - 4, h = 2*m - 2 for x.
0
Let u(w) = -w + 8. Let h = -6 - -12. Let k be u(h). Solve -5*l - k*i = 2 + 8, l - 5*i - 25 = 0 for l.
0
Let b(u) = u**2 + 4*u - 25. Let w be b(6). Solve -5*l - 5*i + w = 0, l + i + 13 = 5*l for l.
4
Suppose 0 = 2*a + 1 - 19. Let c(s) = -s**3 + 8*s**2 + 8*s + 9. Let y be c(a). Solve 4*v + 5*k - 6 = y, -2*v + 0*v = -5*k - 18 for v.
4
Let m be (4/(-6))/((-4)/42). Solve 0 = -2*b + l - 8, 2*b + m = 2*l - 1 for b.
-4
Let y = 5 + -3. Suppose 5*i - i = y*a, -2*a = 4*i + 32. Let f be (a + 6)*(1 + -2). Solve -2*l - 6 = -f*w, -2*l - 3*w = -l - 1 for l.
-2
Let s(v) = v**2 + 4*v. Let t be s(-5). Suppose -t - 1 = -2*x. Solve 10 = -a - 3*q, 2*a + q = -2 - x for a.
-1
Suppose 114*u - 115*u + 7 = 0. Solve -j - 3*g = -2*g + 1, 0 = -2*j + 3*g - u for j.
-2
Let d(k) = k - 3. Let g be d(5). Let f be ((-6)/(-4))/(g/(-12)). Let o = f - -14. Solve -3*t = r - 2*r + 13, o*t + 18 = -2*r for r.
1
Let a = 0 + 0. Let o(q) = -2*q**2 + 17*q - 2. Let v be o(7). Let w = v + -16. Solve 3*t - w*i = a, 6*i + 20 = 2*i for t.
-5
Suppose -5*b - 5*c + 15 = 0, -5*b + 3 = 3*c - 10. Suppose -3*v - 4*w = -28, -3*v - 4 = -v - 3*w. Solve 2*k - 5*k - v*u + 11 = 0, b*k - 9 = -u for k.
5
Let a = -3 - -7. Let u be (-24)/144 - (0 - 38/12). Solve a = q + 5*z - 3, u*q - 3*z + 15 = 0 for q.
-3
Let y(l) = l**2 - 3*l. Let f be y(4). Let j(s) = -7*s**3 - 2*s**2 - s. Let d = -5 - -4. Let t be j(d). Solve -t*z + 3*z + 2*n + 3 = 0, -f*z = -5*n + 3 for z.
3
Let r be 2/(-4)*-6 - -17. Let p = r + -17. Solve -p*c = 4*q + 11, 24 = 2*c - 7*c - q for c.
-5
Suppose -2*f = -f - 12. Suppose -3*s = -3*c - 48, 3*c = -0*c + f. Suppose -s = -4*y, -k - 4*y + 34 = 7. Solve -3*b + k*b - 28 = 4*o, b - 3 = 0 for o.
-4
Let a(z) = -z**2 - z + 2. Let i = 1 + -3. Let n be a(i). Solve -2*g + g - 5*f + 20 = n, -5*g = 5*f - 20 for g.
0
Let o(s) be the first derivative of -s**2/2 - 7*s - 5. Suppose -x - x - 14 = 0. Let n be o(x). Solve -5*c - 5*k + 5 = -n, 0 = -c + 5*k - 11 for c.
-1
Suppose -5*b - 2*z + 1 = -0, 2 = 4*b + 2*z. Let p = 4 + b. Solve 2*u = p*u - 5*y - 13, -3*y = -5*u + 21 for u.
3
Suppose -a + 3*i = -0 - 2, 5*a + 2*i = 27. Solve 10 = -5*k - a*h, -23 = -k + 3*h + h for k.
3
Suppose -6*z + z - 40 = -5*j, -2*z - 4 = j. Solve -j*o - 16 = -2*q, 2*q - 13 = 2*o + o for o.
-3
Suppose 4*n = -119 + 135. Solve 5*z - 5*j + 4 + 6 = 0, -n*z + 2*j - 8 = 0 for z.
-2
Let o = -350 + 794. Suppose -5*c + 2*j = -j + o, -5*c - 2*j = 454. Let g be 6/5*c/(-9). Solve 2*k - 4 = 2*p, 2*p - 4*k - g = 3*p for p.
-4
Let w be (10/6)/((-4)/(-12)). Solve 5*s + 0*s = 4*g - 33, 2*g - 29 = w*s for s.
-5
Suppose 0 = -2*a + a + 9. Suppose 0*w - 20 = -5*w. Suppose -w*b = -3*b - 3. Solve 5*m + 4*t = -0*m + 3, b*t - a = 3*m for m.
-1
Let c = 166 - 112. Suppose 2*i + 2*o + 81 = 7*o, 5 = 5*o. Let g = c + i. Solve 5*x = -6*y + 2*y + g, 3*y - 5 = -2*x for y.
-1
Suppose 0 = 3*g - 9 + 3, -3*g - 114 = -4*p. Solve 2*o = -3*u - 3*o + p, u - 14 = -3*o for u.
5
Let h(x) = -x**2 - 4*x + 4*x - 3*x + 5. Let s be h(-4). Let k(u) = -u**3 + 9*u**2 + 3*u + 1. Let m be k(9). Solve 0 = 2*n - 5*i - m, -s = i + 3 for n.
4
Let z(a) = -a**3 - 9*a**2 - 7*a + 11. Let j be z(-8). Suppose 16 = j*o - c, o - 2*c = -6*c + 14. Solve 2*t - 1 - 1 = -3*p, 3*t - o = -3*p for p.
-2
Let n = 22 + -8. Let z = n + -20. Let m be (-3)/z*-2 - -4. Solve -3*a - 7 = -2*y, 0 = -m*y + 4*a - 5 + 15 for y.
2
Suppose 4*x - 3*u - 14 = 0, 2*x - u - 6 = -0. Solve 4*i - 5 = 5*w, -2*w - x*i - 30 = 2*i for w.
-5
Let m(f) = f**3 + 4*f**2 + 5. Let k be m(-4). Let a = 39 + -24. Solve 2*u + 2*o = k*o + a, -u = 4*o + 9 for u.
3
Let q(b) be the first derivative of b**3/3 - b**2 + b + 2. Let w be q(3). Solve -3*j - 2 = -2*k, 22 = -3*j + w*j + 5*k for j.
2
Let f = -1 + 5. Suppose -21 = -f*h - 1. Suppose -3 = h*q - 18. Solve -q*g + 11 = 5*s, -5*g - s + 4 = -7 for g.
2
Suppose 102 = 5*d - 53. Let f = d - 16. Solve 3*p + 11 = -5*n, 0 = 8*p - 3*p - f for n.
-4
Let c(t) = -2*t + 2. Let q be c(7). Let l be (0 + q/(-10))*20. Solve 2*a - 8 = -4*p, 4*p - 5*a = 4 - l for p.
0
Let b(r) = r + 4. Let q be b(-4). Solve q = y - 2*w - 8, -4*y - w = 3*w + 16 for y.
0
Suppose -21 = -4*i - 13*f + 14*f, -5*f = 4*i - 39. Solve r - 6 = -2*p + 4*r, 0 = -2*p - 3*r + i for p.
3
Let q(g) = -g - 7. Let t be q(-11). Solve v = -o + 5*o, 4*o - 2*v + t = 0 for o.
1
Suppose -5*a + 2*a = -2*i - 13, -2*i - a + 7 = 0. Solve -3 = 2*f - j, 4*j - 18 + i = 3*f for f.
1
Suppose 26*z - 31*z + 20 = 0. Solve -z*v = 3*w + 3, 3*w = -2*v - 3*v - 6 for w.
3
Suppose -2 = -w - 0. Solve 2*s = -5*a + 4 - 2, w*s = a - 10 for s.
-4
Let a = -5 - -10. Solve -3*r + 12 = -a*o + 2*o, 5*r + 5*o = 0 for r.
2
Suppose 0*b = 5*b - 10. Suppose -3*s = b*c - 22, 3*s = -3*c - 2*c + 37. Suppose s*f - 6 = 2*f. Solve 2*d + 20 = 3*a - f*d, 11 = 3*a + 4*d for a.
5
Let y = 3 + -1. Suppose 0 = -3*c + 3*o - y*o - 11, -3*c = -2*o + 13. Let n(r) = -r - 3. Let g be n(c). Solve 0 = 5*