ve -2*p = -4*h - g - 0, 2*p = h + 1 for p.
0
Let d be (-8)/6*9/2. Let l = -2 - d. Suppose 3*z = 4*k - l, -3*z + 8 = 2*k - 3*k. Solve -4*f - 36 = k*j, -2*j = 3*f + 23 - 1 for f.
-4
Let j(c) = 6*c**2 + 2*c + 1. Let v(f) = -2*f - 13. Let q be v(-6). Let h be j(q). Solve -3*o + 3 = -h*n, o - 5*o - 1 = -5*n for o.
-4
Suppose 5*d - 4*d = 0. Suppose d = 4*f - 0*f - 12. Suppose f*x - 6 = x. Solve -2*y + x*g + 12 = 0, 0 = y - 5*g - 28 + 8 for y.
0
Let n(q) = 3 + 8*q**2 + 0 + 0*q**3 - q**3. Let g be n(8). Solve -5*x + g*x - 5*d = 33, 0 = -2*d - 10 for x.
-4
Suppose 0 = 6*j - 2*j - 4. Let h(a) = a**3 - a**2 + a - 3. Let l be h(2). Solve 4*v + j = 4*k + l*v, v - 6 = -3*k for k.
1
Let v(c) = -c**3 + 5*c**2 - 4*c + 3. Let q be v(2). Let a = -5 - -6. Solve b + 2 = -3*i, -4*i + q = -3*b + a for b.
-2
Let c(n) be the first derivative of -1/4*n**4 - 2 - 2*n**3 + 3*n**2 - 5*n. Let t be c(-7). Solve -3*o + v - t = 0, -o + 5*v + 10 = -6*o for o.
-1
Let a be (-16)/(-9) + (-4)/(-18) - -14. Solve -5*y = -5*t + 15, -t + a = 3*t for y.
1
Let s be (-2 - 3/(-2))*-4. Suppose 5*b - 2*b = 5*n - 2, -b = 2*n - 3. Suppose f = 4 - b. Solve s*w - 2 = 0, 2*r + f*w - 2 = 1 for r.
0
Suppose 0 = -5*s + 3*l + 29, 4*s - 23 = -s + l. Solve -y - s*g = 25, 5*g = y - 21 + 1 for y.
-5
Let h(r) = -8*r - 8. Let t be h(-4). Solve -6 - 14 = 3*o - 2*c, 4*c = 2*o + t for o.
-4
Let l = -3 + 8. Solve -3*t + 5*f - 3 = 0, -2*t = -l*t + 4*f - 3 for t.
-1
Suppose 17 = -d - 5*w + 4, 3*d = -4*w - 6. Solve d*z = 3*z, -4 = -2*q + z for q.
2
Let c be 34/8 + 9/12. Let k be -3 - c/((-5)/8). Solve 2*v + 13 = k*z, 2*v - 3*z = 1 - 8 for v.
1
Let l = 53 - 49. Solve -2*f + 5*m - 19 = -l, -4*m - 21 = 5*f for f.
-5
Suppose 0 = -2*j + 14 + 2. Suppose 0*n = 2*n. Solve n = 3*z - 5*d - 10, 3*z - j = 8*z + 4*d for z.
0
Let a(k) = 9*k**2. Let x be a(-1). Let b(j) = j + 13. Let q be b(-9). Suppose -q*w - x = -7*w. Solve -12 = w*i - 4*h, -2*i + i = -3*h + 4 for i.
-4
Let t be (-1 + 0)*1 - -3. Suppose -t*s - 20 = -7*s. Solve 3*k + 5*x + 12 = 3, -x = -s*k + 11 for k.
2
Suppose 2*p + 5*v = -19, 4*v + 2 + 30 = 4*p. Suppose 153 = p*r - 0*r. Let k = r - 35. Solve -4*c + 2 = -2*m, -c + 0*c - 5*m - k = 0 for c.
-1
Let d = -92 + 96. Let f = -1 - -5. Solve d*j + 4 = 3*o, -f*o + 2 = -2*j - 2*o for j.
-1
Suppose c = -5*w - 10, 0 = -c - 3*c + w + 23. Let a = -3 + c. Suppose 0 = 5*o + 3*n - 37, o + n = 3*o - 6. Solve 0 = -o*y - a*x + 28, -4*y = 4*x - x - 28 for y.
4
Let h(t) = -t**2 + 11*t - 24. Let u be h(8). Solve 4*b - 5*m = 7, b + 2 = 5*m - u for b.
3
Suppose 3*p - 5*l = -2*l + 12, 0 = 3*p - 5*l - 12. Solve 3*t + p = -2, -i - 2*t = 4 for i.
0
Suppose 3*p - 5 = -5*x, 0 = p - x - 6 - 1. Solve 0 = v + 4, -3*b - p*v - 9 - 8 = 0 for b.
1
Let j(t) = t**3 + 3*t**2 + t - 1. Let h be j(-3). Let k = h - -10. Let f = k - -11. Solve 3*d - 1 = 5*w - 18, -4*w = d - f for w.
4
Suppose 5*u + 78 = 3*a - 2, -4*a - u + 76 = 0. Suppose -t - a = t. Let v be (-213)/(-15) - (-2)/t. Solve -4*f - 13 - 11 = 4*q, 5*f + v = -q for f.
-2
Let x(p) = p + 5. Let r be x(-3). Let t = -6 + 6. Suppose a = -t*a. Solve 2*l + 3*l - 3*c - 14 = a, r = 2*l - 3*c for l.
4
Let a(r) = r**2 - 4*r + 2. Suppose 6*c = -4*m + 2*c, -5*m = -4*c - 36. Let z be a(m). Solve 9 = -4*v + 5*w, -5*v = z*w - 0*w + 3 for v.
-1
Let t be (-3)/(-1)*3 - 1. Suppose -4*v + 9*v = 80. Let g = 23 - 19. Solve -g*y + v = -2*w, -2*w + w = 2*y - t for w.
0
Let v be (0/2)/(0 - -2). Suppose -d + 9 - 4 = v. Solve r - 4*r = 0, 5*w - 2*r - d = 0 for w.
1
Let r(w) = -w**3 + 6*w**2 - 1 + 2 + 1. Let p = 20 - 14. Let l be r(p). Solve 0 = -4*d + l*b + 17 - 41, -3*d - b - 8 = 0 for d.
-4
Let q be 3*(-1 - 0) + -2. Let y = q + 9. Solve -4*b + 1 = -4*d + 13, 2 = 3*d + y*b for d.
2
Suppose 0*y = y - 3. Suppose 5*x = y*x. Suppose 3*m + 4*j + x*j - 57 = 0, 4*m - 3*j = 51. Solve g - 3 = -2*h - m, -2*g + 5*h + 21 = 0 for g.
-2
Suppose l = -3*d + 6*l + 13, 0 = d - 2*l - 4. Let g = -4 + d. Solve j - g = 0, -1 = 3*k + 3*j + j for k.
-3
Let n(t) = -t**3 - 5*t**2 - 4*t + 3. Let s be n(-4). Suppose 0 = -2*q + 5*a - 14, -2*q + 4*q + s*a = 18. Solve -q*y + 4 = -4*f, f + 2 = -3*y + 16 for y.
4
Let u be 1/5 + (-19)/(-5). Solve -s + u*k + 12 = s, 3*k + 19 = -s for s.
-4
Suppose 2*g = -9 + 17. Solve 2*j + 6 = -b - b, -3*j + 5 = -g*b for j.
-1
Let p = 1 + -1. Suppose 8 = 4*d - p. Solve -9 = -n + 2*q, -d*q = n + 2*q + 15 for n.
1
Let l(d) = d**3 - 6*d**2 + 2. Let n be l(6). Suppose 3*r = 14 - n. Solve -r*x + 4*b = -4, 2*x + b - 7 = -2*b for x.
2
Suppose 3*q + 9 = z, 2 - 7 = -3*z - 2*q. Solve -h - 3 = 3*i, 1 = 2*i - z*i + 2*h for i.
-1
Let s(r) = 3*r**3 + 2*r**2 - 2*r + 1. Let n be s(1). Let x(w) = w - 4. Let z be x(n). Solve -3*k + z*c = -c - 8, -2*k - 4*c = 4 for k.
2
Let z be 232/40 - (-8)/(-10). Solve s + 4 = y, 2*s - 25 = -z*y - 5 for s.
0
Suppose -g + 3*g - l - 5 = 0, g - 1 = l. Suppose -g*b + 16 - 96 = 0. Let w be 8/b - (-34)/10. Solve j = w, -3*q + 4*j - 2*j = 6 for q.
0
Let f = -2 + 4. Suppose 0 = -3*d + 3*n + 33, 4*d + f*n - 19 = -5. Suppose -6*v + 2*v + 8 = 0. Solve 2*x - 4*u + d = u, v*u - 6 = -x for x.
2
Let m = -6 + 12. Suppose -f - 5*c + 30 = 2*f, 2*c = m. Let p(n) = n**3 + 4*n**2 + 3. Let u be p(-4). Solve -f*i - 5 = z, -u*i + i + 1 = z for z.
5
Suppose 0 = -10*i + 5*i + 20. Suppose 0 = g - 3*h - 14, 2*g + 3 + 9 = -i*h. Solve 0 = 2*z - y - 5, -2*z + 10 = g*y - 4 for z.
4
Suppose 4*t - 105 = -t. Suppose 0*g - 3*g = -k - 13, 3*k + 3*g = t. Let o be (-6)/(-3)*3/2. Solve 3*l - 6*x + 3*x = 12, o*x = -k*l - 12 for l.
0
Let y(n) = -n - 3. Let f be y(-5). Suppose -f*d = -2 - 6. Solve -b - 4*g + 6 = 0, -d*b + g = 6*g - 2 for b.
-2
Suppose -b = -n - 11, 0 = 4*b + 5*n - 1 - 16. Let g = 6 - 4. Let m be (g/(-6))/(1/(-21)). Solve -3*i + m = o - 4, 4*i = 2*o + b for o.
2
Let q(m) = m**3 + 30*m**2 + 28*m - 26. Let z be q(-29). Solve -3*w = -2*f - 2*f + 13, 3*w + z*f - 15 = 0 for w.
1
Let l(w) = 4*w**2 - 1. Let g be l(-1). Let r be 9/6*4/g. Let b = r + 3. Solve -3*t = -b*a - 15, 0*t = a - 5*t + 25 for a.
0
Let g(w) = w**3 + 2*w**2 - w + 1. Suppose 0 = a - 4*a - 6. Let m be g(a). Solve -2 - 5 = -4*r + m*n, 14 = 3*r - 4*n for r.
-2
Let k(v) = -v**2 + 4*v - 3. Let l = 1 - -2. Let x be k(l). Let o(q) = 10*q + 6. Let d be o(0). Solve 4*m + z = x, m = -3*z - d - 5 for m.
1
Let a(y) = y**2 - 5*y + 5. Let n be a(4). Suppose -7 = -q - k + n, 0 = -k + 2. Solve -q*f + f - 5*r + 40 = 0, -4*r = 3*f - 27 for f.
5
Let x = 41 - 21. Suppose -v = -4*j - 16, 5*v = -0*v - 5*j - x. Solve 4*r = -v*r - 4, -p = -3*r + 1 for p.
-4
Suppose -3 - 3 = -f. Let d be 10/25*(16 - 1). Let q = d - f. Solve -4 = -3*j + 4*a - q*a, 0 = -4*j - 4*a - 32 for j.
-4
Let x(r) = 6*r - 7 - 4*r - 2 - r. Let q be x(6). Let p = q - -6. Solve -2*g - 2*t = 8 - 20, t = p for g.
3
Suppose 3*n - 18 = -s - 2*s, 4*n + 57 = 5*s. Let a = 11 - s. Suppose -3*p - 5*z - 2 = 18, -12 = 3*z. Solve p = -f - 5*t - 11 - 11, a*f - 11 = t for f.
3
Let n(p) = -3*p + 34. Let u be n(10). Solve -3*o + 4 = -u*o + 2*l, 0 = l - 1 for o.
-2
Let u be (2 - 0)*9/(-6). Let l be -3*u/9*-7. Let x be (-107)/l - (-2)/(-7). Solve 3*o + x = 0, w + 13 = 3*w - 3*o for w.
-1
Let u = 9 + -5. Suppose 0*s + 8 = u*s - 4*p, -2*s + 6 = -3*p. Suppose 5*a + 6 - 26 = s. Solve w + 24 = 5*w + a*g, -5*w + 4*g - 6 = 0 for w.
2
Let f(c) = -c**3 - 5*c**2 + c + 6. Let n be f(-5). Let l be 4*n*(-5)/2. Let a = -7 - l. Solve 0 = 3*z - 2*m + 2, -3*m - 19 + a = 5*z for z.
-2
Let x(s) = s**3 - 4*s**2 + s. Let l be x(4). Suppose -4*r - l*v - 16 = 0, 2*r + 4*v + 2 = -16. Solve -r = 5*g + 2*q, -q + 5 = -3*g - 0*q for g.
-1
Suppose 0 = 48*j - 45*j - 9. Solve -2*b - 3*f + 6 = 15, 19 = j*b - 2*f for b.
3
Suppose 5 = 2*b - 5. Suppose 0 = 4*k - 17 + 1. Solve -k*c + 6*m = m + 21, -m - 19 = b*c for c.
-4
Suppose -4*r + 115 = 7. Suppose 0 = 2*g - r + 7. Solve 3*o + 4*v = -17, 0 = o + 5*v + 14 + g for o.
1
Let x(g) = g**3 + g**2 + g + 1. Let d be -7 + 4 + 1 + 1. Let u be x(d). Solve 3*p + s - 1 = u, s - 3 = -5*p - 0*p for p.
1
Let q(o) = o**2. Let a(r) = -4*r**2 - 3*r - 5. Let j(k) = a(k) + 6*q(k). Let f be j(4). Solve f = 5*b - 5*y, -b - 29 = -6*b - 2*y for b.
5
Suppose 0 = 5*u + 2*x + 2*x - 43, -3*u + 5*x = -11. Suppose 15 = u*z - 2*z. Solve k - z*p = -10, 2*p = 7 + 1 for k.
2
Suppose -4*h - 2*v = 0, -v + 4 = -2*h - 3*v. Solve -h*u + 3*y + 16 = 0, -2*u - 8