 Let a = -7 - u. Solve -p + 5 = 2*g + 3, 2*p + 5*g - a = 0 for p.
0
Let t(r) = r**3 + 6*r**2 + 3*r + 5. Let v(l) = l**3 - 12*l**2 + 11*l - 5. Let z be v(11). Let p be t(z). Solve -j + 4*h = p, 3*j + 19 = 5*h - 5 for j.
-3
Suppose 68 = 2*c - h, c - h - 25 = -5*h. Let r be (-1)/((-1 - 2)/c). Solve d - 3*d + 5*g = 0, 0 = -3*d + 2*g - r for d.
-5
Suppose 0*b + 28 = 4*b. Suppose -2*p = -b*p + 25. Let k be p/(-15)*(-13 - -1). Solve -13 = 2*q - 3*a + k, a - 1 = -4*q for q.
-1
Suppose 20 = -3*u + 4*u. Suppose -x = -5*x, -10 = -2*b - 4*x. Suppose 2*o - 4*t + t = 22, -4*t = b*o - 9. Solve 2*y - 8 = -5*q - 0*y, -o*y = -3*q - u for q.
0
Let t(n) = -16*n + 1. Let s be t(-2). Suppose -7 = -2*h + s. Solve 5*i + 27 = -3*z, 2*z + 2*i + 2*i = -h for z.
-4
Let m(p) = p**2 - 13*p + 19. Let d be m(12). Suppose 16 = 9*t - d*t. Solve -3*n + 6 = -3*j, 2*n - t = 5*j - n for j.
-1
Suppose -5*h + h + 60 = 0. Suppose 6*c - c - h = 0. Solve -m - 15 = c*f - 0*m, -5*m = 3*f + 27 for f.
-4
Suppose -7*x + 12 = -23. Solve -5*n + 3 = v + 4, 4*v = x*n + 21 for v.
4
Let f(v) = 3*v**2 + 3*v - 4. Let h be f(-2). Solve -3 = -g + o, -g = h*o - 8 - 1 for g.
5
Suppose -3*s - r = -0*r - 19, -4*s + 4*r = -20. Suppose -k = 4 - 2. Let d = k + s. Solve o = -x + 1, 0 = -d*x + 5*x + 5*o - 5 for x.
0
Let o = 193 + -192. Let s = -3 - -5. Let l be -2 + s/2 + 4. Solve -3*u = -g + 8, o = -4*g + l*u - 3 for g.
-4
Let r(k) be the first derivative of k**3 + 3*k**2 + 3. Let d be r(-4). Solve 0 = 3*t + 3*f - 10 - 14, -4*t = 2*f - d for t.
4
Let r = 12 + -10. Solve x + 12 = -2*j - 3*x, -r*x - 6 = -j for j.
0
Let b = -5 - -7. Solve b*m - 11 = -3, -20 = 5*o - 5*m for o.
0
Let w(m) = -8*m**3 - m**2 + 3*m + 5. Let x be w(-1). Let p(q) = -q + 1. Let h be p(-3). Solve -h*i + 3*a = -x*i - 11, -3*i - 2*a = 6 for i.
-4
Suppose -2*d = -3 - 5. Suppose 7*h = -7 + 42. Solve -3 = -z - d*u, -3*z = h*u - 1 - 1 for z.
-1
Suppose -2*d - 6 = -4*u, 2*d + 6*u - 30 = u. Solve -d*k + 0*x = -3*x + 21, 2*x = 5*k + 19 for k.
-3
Let n be (13 - 7)*1/2. Solve -4*m - 3*y = -6*m + n, -m - 3*y - 12 = 0 for m.
-3
Suppose -8*g + 30 = -2*g. Solve 21 = 4*z + g*b, -6 = -2*z + b + b for z.
4
Suppose 0 = 5*r + 5, -1 = -x + r + 5. Solve -x*l + 25 = -o, -l + 2*l = 3*o + 5 for o.
0
Let o = 10 + 1. Solve 6*l + o = a + 4*l, 3*a - l = 18 for a.
5
Suppose -4*n = -6*n + 10. Solve -y - w = -n, y = 3*w - 2 - 5 for y.
2
Suppose -3*l - 4*w = -17, 2*l + 1 - 3 = 2*w. Suppose 0 = 2*h + l*h. Let f be 2/6*h*1. Solve -2*b - 2*i - 6 = -f*i, 0 = -3*b - 5*i - 5 for b.
-5
Suppose 0 = s, -3*t + 10 = 5*s - 23. Solve -3*j + 4*n = 0, j - t + 27 = -4*n for j.
-4
Let m(d) = 2*d**2 + 1. Let i be 8/6*12/(-8). Let k be m(i). Let h be k*3/9*1. Solve 4*w + b = 22, -h*b = -5*b + 4 for w.
5
Let d be 1*1/(-2)*-6. Suppose p + 191 = 5*i, d*i + p - 121 + 8 = 0. Let o be i/4*(2 + 0). Solve 4*a - 20 = 8*a, -x = -3*a - o for x.
4
Suppose 2*o = 5 + 3. Suppose r + 5 = -o*g, -4 = 5*g + 11. Let u = -5 + r. Solve 0 = -u*z - t + 10, 2*z = -2*t + 8 + 2 for z.
5
Let r be 2/((-7)/((-42)/4)). Solve v - 4*z + r*z - 1 = 0, 5 = -v - 2*z for v.
-1
Let k(o) be the second derivative of -o**5/20 + o**3/6 + 3*o. Let j be k(1). Solve 2*s + 3 = 4*i - 15, j = 3*s - 4*i + 23 for s.
-5
Suppose 0 = -r - r + 6. Suppose -x - 4*w + 1 = 6, w = -r*x + 7. Solve x*j = 5*v - 22, 1 + 13 = -4*j - v for j.
-4
Let b(q) = 11*q - 2. Let n be b(2). Let p = n + -8. Solve 3*k - 2*f + p = 0, 3*k + 11 = -f - 1 for k.
-4
Let h be 210/36 + (-2)/(-12). Suppose -q - q = -5*s + h, -5*s + 12 = q. Solve -q*u = w - 3*u, 5*w = 4*u + 3 for w.
3
Suppose -12*g + 16*g = 12. Solve 0 = -2*x + 2*p - 12, -4*p = g*x - 2 - 8 for x.
-2
Let f = 38 + -38. Solve 20 = -5*q, -5*k + f*q + 19 = -q for k.
3
Let p(d) = -d**2 + d - 1. Let c be p(3). Let o = -4 - c. Solve x = a + a - 5, -5*a + o*x = -13 for a.
2
Let a = 4 - 16. Let d be a/21*14/(-4). Suppose d*v - v = 0. Solve -3*b - b = 4*r, v = 5*r + 4*b + 5 for r.
-5
Let q(t) = -t. Let b be q(4). Let m = b - -7. Solve h - 5*h - 27 = 5*y, -5*y - 6 = -m*h for y.
-3
Let x(l) = 13*l**2 + 19*l - 9. Let w(t) = 3*t**2 + 5*t - 2. Let m(j) = 9*w(j) - 2*x(j). Let s = -14 + 7. Let q be m(s). Solve 2*d - d = 4*g - 1, -2*g = q for d.
-1
Let g be (-27)/(-6)*4 + -3. Suppose -g = -2*a - 3*a. Suppose d = i - a*i + 19, -2*d = -2*i + 34. Solve 2*r - 5*v = -r - i, 3*r = -4*v - 12 for r.
-4
Let c(y) = y**3 + 21*y**2 + 20*y + 4. Let u be c(-20). Solve -5*l - u*a = -16, -5*l + 4 = -2*l + a for l.
0
Suppose -3*g + 15 = 2*g. Solve 0*c + 3 = 3*r + g*c, 12 = -4*c for r.
4
Suppose 0*x + 5*x - 70 = 0. Let o be (8/(-20) + 1)*5. Solve 3*f + x = -5*y, 5*f = -12 - o for y.
-1
Suppose -2*s = -3*z - 16, z - 2*z = -4*s + 12. Solve -m + 2*i - 11 = 0, 0 = s*m + i - 0*i - 3 for m.
-1
Let r be (-10 - -4)*(-1)/2. Suppose -8 = 5*m - 23. Solve 3*h - 2 - 1 = m*f, -h - 7 = -r*f for h.
5
Suppose -3*z - 14 = -71. Solve -2*q = 4*v - 28, -4*v - q + z = -v for v.
5
Let n be ((-8)/(-5))/((-4)/(-10)). Suppose -s + n = -1. Solve 3*d - 8 = 4*b, -2*b - 13 = -5*d + s for b.
1
Let g(p) = -p + 3. Let j be g(0). Let s(d) = 11*d. Let o(w) = 4*w. Let n(u) = 8*o(u) - 3*s(u). Let k be n(-16). Solve c - k = 3*m, -5 + 20 = -j*m for c.
1
Let t(o) = -o**3 + 8*o**2 - 9*o - 18. Let c be t(6). Solve -d = 2, c = -0*k + k - 4*d - 7 for k.
-1
Let q(i) = -i**3 + i**2 - 4. Let d be q(0). Let z be 2/d*(1 - 3). Let h = 4 + z. Solve 3 = -3*b + 3*c, -3*b = -2*b - 5*c + h for b.
0
Let w(x) = x**3 - 7*x**2 - 8*x + 2. Suppose 0*p - 2*j = 4*p - 34, -5*j + 5 = 0. Let h be w(p). Solve 5 = -3*a - 3*k + k, -5*k - h = -3*a for a.
-1
Suppose -v - 3*k + 6 = 0, -1 - 9 = -4*v + 2*k. Solve 3*m = 5*t + 22, -4*m - 4*t = -5 - v for m.
4
Suppose d = -3*h + 11, -d = -3*h + 5*h - 7. Solve n + 1 = -p, -n - 2 - h = -4*p for p.
1
Let i(r) = -r**3 + 13*r**2 - 11*r - 9. Let y be i(12). Solve y*p = -0*p - 15, -5*h - 2*p = 0 for h.
2
Let p be (-4)/(-14) + (38/14 - 0). Solve 3*s + x + 7 = 0, -p*s - 3*x = -0*s + 9 for s.
-2
Let z(l) = -l**3 - 4*l**2 - l - 1. Let b be z(-4). Suppose b*r = 6*r. Solve -x + a = -r*a - 6, -3*a = -2*x + 17 for x.
1
Let k(i) = 5*i**2 + 2*i + 1. Let a be k(-1). Let l = a + -4. Suppose -m - 2*f + 0*f + 3 = l, 3 = m + 4*f. Solve 4*r + 19 = -5*n + m, 3*r - 3*n + 12 = 0 for r.
-4
Suppose 6 = 4*k - 2*c, 0 = -4*k + c + 3*c + 4. Suppose y + k*y = 6. Suppose -4 = -2*a + y. Solve 0 = 4*u - a*z + 2*z - 10, -3*z + 9 = u for u.
3
Let j = 5 + -3. Suppose -l - j*l + 33 = 3*h, 4*h - 26 = -l. Let w = 2 + 0. Solve 3*d + l*t = t - 34, -d + t + w = 0 for d.
-3
Suppose 6*a - a = 10. Suppose 0 = v + a*v. Solve -g - 3*d + 4*d = 0, v = d for g.
0
Let x = -21 - -23. Solve -2*r + 1 = x*a + 7, 4*a + 12 = 5*r for r.
0
Let m = 20 - 15. Solve -4*f + 3*t = 0, 19 = f + m*t - 4 for f.
3
Let s = 0 + 3. Suppose 270 = -0*k + s*k. Suppose 3*h = -2*h + k. Solve 2*q - h = -3*p - 6, 3*p - 12 = -5*q for p.
4
Suppose 4*a + 3*t + 9 = 0, 0 = 5*a - 2*t - 0 - 6. Suppose -2*i = -c - 8, a = -i - 3*c - 0*c + 4. Solve j + 0*j - 2*q = 1, i*j = 3*q - 1 for j.
-1
Let a be (2/(-3))/(4/(-6)). Suppose 4*i + 4 = 12. Solve a = i*t - 5*c - 4, -2*t + 1 = -c for t.
0
Suppose -3*o = -i + 2, i - 2 = 3*i - 4*o. Let g be (-31)/(-8) - i/56. Solve -5*k = -0*n - 2*n + 5, 4*k = -4*n - g for k.
-1
Let v(s) be the third derivative of -s**5/60 + 11*s**4/24 + s**3 - 3*s**2. Let m be v(10). Solve -3*d = -l + 1, 2*l - 2*d + m = -5*d for l.
-5
Let o = 67 + -46. Suppose 0 = 5*g + 5*c - 25, 0 = -3*g - 0*c - c + 19. Solve -2*y = m - 5, -4*y - g = -2*m - o for m.
-1
Let t = -12 - -14. Solve 3*d - 3*p = 0, 5*d - 2*p = t*p - 4 for d.
-4
Let x(p) = -14*p**2 - p + 1. Let h be x(1). Let c be (-3)/(-12) - h/8. Solve -j + z + 2 + c = 0, -2*z = 0 for j.
4
Let l be (1 + 0)/(3/(-18)). Let t be 9/(-6)*8/l. Let b be 27/5 + t/(-5). Solve v + 2 = 0, o + b*v = 6*o for o.
-2
Let n be (2/5)/((-2)/20). Let a = n + 6. Solve 25 = -4*y - 3*o, 2*o + 1 = a*y - o for y.
-4
Suppose 2*v = 7*v - 20. Let p = v + 20. Suppose 11 = 5*j - 9. Solve 9*q = j*q + 3*l - p, 0 = q - 4*l + 15 for q.
-3
Suppose 9 = 2*v + 1. Suppose -v = -4*s + g + 9, 5*g = -2*s + 23. Solve 0 = 4*r - s, -r - 13 + 2 = 3*y for y.
-4
Let z(w) = w**3 - 2*w - 2. Let b be z(3). Let y = b + 53. Suppose 4*p = p + y. Solve 4*c - 5*m + p = -m, c = -5*m + 12 for c.
-3
Let o(j) = j + 10. Let x be o(-7). Solve 0 = 5*k - 3*z +