Let w be 9/(-12) + 30/8. Solve 17 = 2*v - w*d, -4*v + 2*d = -0*d - 14 for v.
1
Let m be (-36)/(-10) - 9/15. Suppose -3 = -2*l + m*b - 1, 0 = -3*l + 2*b - 2. Let q be (1 - (-5)/(-2))*l. Solve -i = 2*j + 7, -2*j - q*j = 4*i + 22 for i.
-3
Let r be (-1)/((-27)/6)*(-18)/(-2). Solve 3*g = 3*f - 15, r*f + 3*f - 15 = 0 for g.
-2
Suppose 64 = 3*n + 19. Solve -3*v + a = -n, 5*a = 4*v + a - 20 for v.
5
Let a be (1/(-2))/((-4)/24). Let l be a + -1 + 2 + -1. Solve p + 6 = l*y - 4*y, -4*p + 3 = -5*y for p.
-3
Let a = -8 - -11. Solve 0 = t + 3, a*x + 5*t + 12 = 0 for x.
1
Let d(t) = 7 - t**3 - 5*t - 9*t**2 + 2*t**2 - 1. Suppose -2*x - 2*x = 24. Let l be d(x). Solve l = -2*a - 5*r - 15, 4*r + 8 = 5*a - 37 for a.
5
Suppose 8*j = 4*j + 780. Let c be 8/(-36) + j/27. Solve -3*q - 5*f + 0*f = -c, q - 4*f = -9 for q.
-1
Suppose 4*i + 14 = z - 2, -3 = i. Suppose -o - 2 = 0, -2 = -z*x - o + 4. Solve -2*k = 5*w + 21, -k = k - x*w for k.
-3
Let y(d) = d**3 - 4*d**2 - 2*d + 8. Let q be y(4). Solve -5*a = 5*w, -4*a + 0*w - 5*w = q for a.
0
Let x(k) = 3*k - 9. Let u(g) = 6*g**2. Let a be u(1). Let r be x(a). Solve -4 - r = -y - 5*i, -2*y = -3*i for y.
3
Let d(z) = z**3 - 7*z**2 - 3*z + 25. Let r be d(7). Solve -2*g - 10 = v + 1, -3*g - r*v - 19 = 0 for g.
-5
Suppose 32 = 24*g - 8*g. Solve h + 4 = k + k, -4*h = g*k - 14 for h.
2
Suppose -2 = -0*j + j + 2*h, 4*h = 2*j - 20. Let a = -8 - -14. Solve -r + t + 0*t = -j, 0 = 3*t + a for r.
2
Let s be 2 + (4 + 0 - 6). Suppose 4*a = -3*o + 3, s = -6*a + 2*a - 12. Solve -o*z = k + 10, z - 3*z = 5*k + 27 for k.
-5
Let t(p) = p**2 + p + 1. Let h(r) = 3*r**2 - r. Let o(g) = -h(g) + 4*t(g). Let x be o(-7). Solve y - x = 3*s - 5, -3*y = 4*s + 26 for y.
-2
Let a = -6 - -10. Solve 0 = 2*h + 3*r - 3, 0 = -3*h + r - a + 3 for h.
0
Let l = 3 - 3. Suppose -z = -l*z. Let p be 17 - (0 + z - -2). Solve x + p = -0*x - 3*i, 2*x - 5*i - 14 = 0 for x.
-3
Let q = -16 - -4. Let b be (-1)/(-3) + (-56)/q. Solve 0 = 5*k - 3*t - 26, -b*t + 6 = 4*k - 0*t for k.
4
Let g = -3 - -3. Let n = g - -2. Suppose 0 = -f - n*f. Solve -2*m + 10 = f, 3*y = 5*y + 2*m - 8 for y.
-1
Let n be ((-44)/(-8) + -3)*2. Suppose 2*t + n = 3*t. Solve -2*r = b + 2, 2*b + t = -3*r + 2 for r.
-1
Let t(p) be the first derivative of p**2/2 - p + 1. Let s be t(5). Let k be (-1 - 15/(-6))*s. Solve 4*n - 8 = -2*q + 2, 2*n + 2*q = k for n.
2
Suppose 5*j = 4*j + 5. Solve 5*f = 3*r + 35, -j*r = -2*r - f + 19 for r.
-5
Let i = 25 + -20. Solve -2*r = -3*u - 1, -2*u - r + 5 = -i*u for u.
-3
Suppose 3*b = 2*b + 2. Solve 4*t = -2*a, -3*a = b*t - 4*t + 8 for t.
1
Let d(t) = -t - 5. Let r be d(-9). Solve r*f + l = -2*l - 11, -3*l = 5*f + 13 for f.
-2
Suppose o + 6 = 3*o. Solve o*z + 5 = 3*u - 1, 0 = -4*u - 4*z - 24 for u.
-2
Let y = 37 + -24. Let c = 6 - 8. Let f be 5 + ((-4)/(-1))/c. Solve 3*h + a + 0*a = y, -f*h = 2*a - 11 for h.
5
Let l = 52 + -28. Solve -3*v + 2 = 4*c - l, -3*c = 2*v - 19 for v.
2
Let l = 1 - -1. Let h be (l/2)/(2/4). Suppose h*m = -2*m + 16. Solve -5*s = k - 7 + 3, 5*k + 1 = -m*s for k.
-1
Let l(t) = t**2 - 2*t + 1. Let q be l(1). Suppose 3*f + 0 - 6 = q. Solve -24 = -3*b - 6*a + a, 9 = 5*b - f*a for b.
3
Suppose 0*x + 2 = x. Suppose -2 = 3*j - 11. Let z be ((-26)/j)/(x/(-3)). Solve -4*g = -4*k + 4, 3*k + 2*k = -g - z for k.
-2
Suppose i - 4 = -y, i - 3*y = 5*i - 18. Let g(o) = o**2 - 7*o - 1. Let f be g(i). Let v = f - -11. Solve -5*d + c = -6, -2 = v*d - c - 6 for d.
2
Let a(b) = b**2 - 4*b - 2. Let z be a(4). Let n be (-86)/(-11) - z/11. Suppose -n = -2*m - 0*m. Solve -2*w = -j + 2 - 13, -j + m*w = 17 for j.
-5
Suppose -5*u + r = -10, 5*u + 8 = 6*u + r. Solve 8 = -s + 2*x, u*x - 2*x - 4 = 2*s for s.
0
Suppose -2*c + 29 = 3*v + 2*v, -4*c + 3*v - 7 = 0. Suppose -f + 5*f + 192 = 0. Let y be f/(-5) + (-10)/(-25). Solve 0*l + 2*r + 4 = 2*l, -c*l - y = 5*r for l.
0
Let b(k) = k**2 + 17*k + 4. Let h be b(-17). Solve -h*t - t + 3*y + 1 = 0, -4*t = -5*y + 7 for t.
2
Suppose -5*y = 30 - 45. Let b = -10 - -15. Solve 11 = -t + 4*x, -3*t + y*x = -b*t + 11 for t.
1
Let z(p) = -5*p - 2. Let l be z(-4). Suppose -2*w = -3*w + l. Let y be w/5 + (-3)/5. Solve y*j + c = 1 + 2, c = -j + 1 for j.
1
Let p = -12 + 18. Suppose -4*u = -2*n + 4*n - 16, -5*u + 22 = 3*n. Suppose m + 3 = u*m. Solve 23 = 4*h + m*w, -h = 3*w - 2 - p for h.
5
Suppose 0 = -2*p + 5*b - 2, 5*p - 2*b - 10 = 3*b. Solve -h + 2*h - 2*r = 0, p*r - 10 = -3*h for h.
2
Let l = 8 - 0. Solve 2*y + 6 = 3*f - l, y = 4*f - 12 for f.
2
Let a be 5/2 + 5/(-10). Suppose -3*h = 9, -a*s = -0*h + 2*h - 4. Solve 3 = -s*i - 2*t, i + 5*t + 19 = -0*i for i.
1
Let z be (2 + -5)*(0 + -1). Let c(p) = p**3 + 4*p**2 + 3*p + 3. Let f be c(-3). Solve 7 = 2*b - f*i, 4*b - z*b + 1 = -3*i for b.
2
Let f(h) = h**2 + 1. Let r(g) = -7*g**2 + 2*g - 2. Let d(y) = -5*f(y) - r(y). Let s be d(-4). Solve 0 = -i + 3*t - 9, 3*i + 5*t = -8 + s for i.
3
Suppose 4*r - 21 = -5*f, -r = r - f - 7. Solve 0 = -3*j - 9, -6 = k - r*k - j for k.
3
Let y be -6 + 10 - (-33 + 0). Suppose 3*x - y = 2*x - 4*w, 91 = 3*x + 2*w. Solve -4*a - 20 = 2*i - 0*i, 3*a + x = -5*i for i.
-4
Let p(z) = z**3 - 8*z**2 + 8*z - 2. Let q be p(7). Let b = q - 1. Solve -b*t - 3*j + 17 = 0, -5*t - 3*j + 14 = -5 for t.
2
Let o be ((1 - 2) + 5 + -4)/1. Suppose 2*a + 4*t = 16, -3*t + 48 = 5*a - t. Solve o = b + 5*n - 2, -2*n = -5*b + a for b.
2
Suppose 0 = -4*r + r + 12. Suppose -b + 10 = r*b. Solve -4*s + 20 = b*q, s = -0*q + q - 1 for s.
3
Let t be ((-2)/(-6))/((-9)/(-108)). Let u(h) = 2*h + 4*h - t*h - 10. Let r be u(7). Solve r*b = 3*z - b - 22, -z = 4*b + 4 for z.
4
Let t(k) = k**2 + 2*k - 1. Let u be t(1). Suppose 8 = -0*m + 3*m + u*d, -m + 2*d = 8. Solve m = a + 4, -7*j - 5*a = -2*j + 40 for j.
-4
Suppose 2*f = -12 + 4. Let u be (f/(-6))/((-1)/(-6)). Suppose 4*r - 136 = -2*y, 1 = -u*y + 9. Solve -21 = n - w - 3*w, 0 = 5*n - 2*w + r for n.
-5
Suppose -4*b = -3*n - 15, 3*b = -2*n - 0*n - 10. Suppose b*h + 2*h = 2. Suppose z = 16 - h. Solve -5*m + z = -0*l + 4*l, -m - 3*l = -14 for m.
-1
Let n be (-2 + 3)/(-2 - 306/(-150)). Solve -v + 20 = -5*v - 5*c, 5*v + 5*c = -n for v.
-5
Suppose 2*s + 3 = -p + 11, s + 2*p = 4. Let f = -5 - -9. Suppose 5*k = 5*v - 20, -2*k - 3*v = -16 + f. Solve 4*a - s*d + 12 = k, -2*d - 3*d + 16 = -4*a for a.
1
Let h be -1 - (-30)/3*-1. Let m be h/(-3) + 10/(-15). Suppose -4*d + 3*l + 8 = 0, 2*l + 11 = 3*d + l. Solve 0 = -2*n + 3*x + d, -m = -n - 0*n + 2*x for n.
1
Let x(l) = 5*l**2. Let c(i) = i - 2. Let d be c(3). Let u be x(d). Solve 16 = o + 3*o - u*n, 5 = 3*o - 2*n for o.
-1
Let z be (-11 - -12)*2*-2. Let j = 8 - z. Solve -4*h = -4*s - 0*h - 20, j = 4*h for s.
-2
Suppose 0 = 4*q + v - 13, 4*q - 7 = -0*q + 5*v. Suppose 5*l = 2*l - 3*u - 6, q*l = -u + 2. Solve 3*t = 3*k + 6*t + 9, l*k - 3*t = 19 for k.
2
Suppose -3*y + 29 = -k, -y + 5*y + 2*k - 52 = 0. Solve 0 = -d + b + 1, 0*d = 3*d + 4*b + y for d.
-1
Let h be 3 - 0 - -1*4. Let v = -1 + 1. Suppose -2*x + 3*m + 48 = 0, v*x + 3*m = -5*x + 99. Solve 3*b - l = -h, -5*b + 4*l - x = -0*l for b.
-1
Let u(x) = -x - 1. Let h(w) = 3*w - 8. Let q(r) = h(r) - 6*u(r). Let k be q(2). Solve -4*f + 3*g = f + 8, k = -4*g for f.
-4
Let h(i) = 2*i + 22. Let u be h(-11). Solve u = -b, -3*s + 2*b = -b for s.
0
Let y = -3 + 8. Suppose y*j - j - 12 = 0. Suppose -5*c + 20 = -5. Solve -j*n + 7 = -0*n - q, 0 = -5*n + 5*q + c for n.
3
Let o = -3 + 6. Suppose 0 = -o*i + 4*i - 6. Solve 3*z + 8 = -5*d, i*z - d - 20 = 2*z for z.
4
Let a = -15 + 18. Solve 0 = -a*v + 3*g - 0*g, -g + 1 = 0 for v.
1
Let d be (48/9 - 1)*3. Solve -b = -1, -2*o + d = 2*b + 5 for o.
3
Suppose -4 = -3*o + 4*z + 15, -4*o + 21 = -z. Suppose 5 = -w, -w - 2*w = o*i - 55. Solve -2*f - i = 2*k + f, 5*f + 21 = -k for k.
-1
Suppose 3*z - 12 = -3*t, -3*z - 4 = -4*t - z. Solve -3*j - 13 = -t*w, -5*j + 3*w - 17 = -j for j.
-5
Suppose 4*x - 25 = 2*o - 11, x - 7 = 4*o. Solve -x*l - 4*m = -10, 5*l = m + 4*m - 30 for l.
-2
Suppose 4*u = -10 - 10, -4*g + 49 = -5*u. Solve 0 = -4*k + 6*k - 2*j + g, 0 = 4*k + j - 3 for k.
0
Let f(i) = i**2 - 6*i + 5. Let a be f(5). Suppose -2*r + a = -10. Suppose 2*d = -m + 14, -r*m + 0 = -3*d - 5. Solve -2*u - 3 = -3*n, 0*n - d*u = n + 16 for n.
-1
Let f(n) = -n**3 + n**2 + n - 2. Let v be f(0). Let c be (v + 9)*(-6)/(-7). Solve 2*j - 4*j + 3*r - c = 0, -3*j - 4 