*v + 13 + 2 = -5*a for a.
2
Suppose 4*p + 100 = 4*a, 0*a = -5*a - 2*p + 132. Suppose 2*h + 9 = c, 5 = -c - 2*h + a. Solve 3*l = -c, 3*w - 12 = l + 2*l for w.
-1
Suppose 6*k - 8*k = -10. Solve -k*c = 2*b + 23, 0 = 3*b - 5 + 2 for c.
-5
Suppose -9*c + 36 = 3*c. Solve -3*v = 3, h + 5 = 2*v + c for h.
-4
Suppose 4*l = -3*d + 4, 2*l - 7 - 15 = -4*d. Suppose 0 = -4*z - d - 4. Let j be 87/6 + z/(-6). Solve 0 = -5*q + 5*x - j - 0, 4*x = -3*q - 16 for q.
-4
Let r(g) = g**3 - g**2 - g. Let h(z) = z**3 + 5*z**2 - 6*z. Let o be h(-6). Let f be r(o). Solve -2*q + 2 = 5*d, 0*q - q + 5*d + 1 = f for q.
1
Suppose 0 = -4*k + k + 12. Let a be 18 + (2/1 - 0). Suppose i + 5*o = 0, a = 2*i - k*o + 6. Solve s - 2*s + 3*z - 7 = 0, 0 = i*s - 3*z - 13 for s.
5
Let f(q) be the first derivative of -q**3/3 + 5*q**2/2 + q - 15. Suppose 1 + 15 = 4*o. Let b be f(o). Solve 3*x = 0, c + 3*x = b*c + 4 for c.
-1
Suppose -21 = f + 2*f. Let s(m) = -2*m - 12. Let o be s(f). Solve -y = o*c + 3 + 4, -y = 5*c + 10 for y.
-5
Suppose -5 = -3*d + 4. Suppose -4*n - 2*o - o - 61 = 0, o - 33 = 2*n. Let v = -12 - n. Solve -23 + 7 = v*z - x, 2*x - 12 = d*z for z.
-4
Suppose -3*f - r + 22 = 0, 2*r + 26 = 2*f - 3*r. Suppose 0 = -l - l + f. Suppose y - 3 = 3*i - 16, -4*y - 19 = -i. Solve i*p = -3*x, 12 = -2*p - x - l*x for p.
4
Let t(i) = i**3 + i**2 - 3*i - 4. Let r(x) = -x**2. Let y(j) = r(j) - t(j). Let a be y(-3). Solve -2*h + 2*b - 2 = 0, -b - a = 2*h + 10 for h.
-5
Let m = -85 - -93. Solve 4*f = c - 15, 7 = 2*f - 5*c - m for f.
-5
Let p be (3 - -2) + 2 + -3. Let k(i) = -i**3 - 5*i**2 + 7*i + 9. Suppose 0 = -2*t - 5 - 7. Let c be k(t). Solve -j - 10 = c*v - 2, 5*v + 2 = p*j for j.
-2
Let l = 38 + -38. Let v be -1 + 2 - 2/1. Let y be (4 - 4)/(l + v). Solve 4*o - 4*m + m + 31 = y, -m + 5 = 0 for o.
-4
Let g = 3 + -2. Let b be (2 - 2 - g) + 7. Suppose 5*k - 4*d = 2*k - 2, 2*k + d - b = 0. Solve k*v = 3*r + 4, 0 = -5*v + r - 12 - 4 for v.
-4
Let v = 27 - 16. Let t be 34 + -2 - -1 - 2. Solve 0 = -3*l + 9, -w - t = -5*l - v for w.
-5
Suppose -k + 6*k - 65 = 0. Suppose k = 3*i + 1. Solve -2*w - 4*f - 10 = 0, 3*w - i*f + 4 - 9 = 0 for w.
-1
Let m(x) = x**2 + 2*x - 3. Let h be m(-3). Suppose 5*k + 8 - 18 = h. Solve -3*v - 3 = -3*g, 3*v + 2*g - 2 = k*v for v.
0
Let z = 0 + 2. Let s = z - -3. Let u = 10 + -5. Solve -2*k = -s*i - u, -2*i + 0 = k + 2 for i.
-1
Let g = -11 - -5. Let c be (9/g - -2)*4. Solve 4*l + 16 = -x, -17 = -3*x + c*l - l for x.
4
Let c = -49 - -77. Solve -2*k - k - 5*p - c = 0, 4*k - 5*p = 21 for k.
-1
Let i be 5/1 + (-5)/5. Let d(p) = p**3 - 5*p**2 + 6*p - 6. Let l be d(i). Solve -10 = -j + l*y, 5*j - 5*y - 7 = 23 for j.
2
Let f(g) = -g**3 - 9*g**2 - 13*g + 10. Let i be f(-7). Solve -2*d = -2*y + y - i, -5*y = 5*d - 45 for y.
5
Let q(u) = -u**3 - u**2 - 2. Let j be q(-2). Solve -r = -j*o + 6*o - 2, 2*r - 4 = -4*o for o.
0
Let a = 4 + 3. Suppose 2*y - 59 = a. Suppose 0*q - 3*q + y = 0. Solve -v = -2*h - q, 2*h = -3*h - 15 for v.
5
Let i be (-5)/((-15)/(-6)) + 4. Suppose -i*y = -y. Solve 2 = -n, y*a + 4*n = -4*a - 16 for a.
-2
Let z = 5 - 1. Suppose -3*w - 4*p + 5 = p, 0 = -4*p + z. Solve -5*d - 2*u + 17 + 3 = w, 5*u = -2*d + 29 for d.
2
Suppose c - 4*a + 6 = 0, 0*a + a = 2. Solve 0 = -5*t + z - 1, -3*t = -2*t + c*z + 9 for t.
-1
Let z be 1*(-4)/(-8)*10. Solve 0 = 2*c - k + z*k, 2*c + 5*k = 0 for c.
0
Let x = -37 + 40. Solve 3*v - 7 = 4*m, -v + 16 = x*m + v for m.
2
Let i(x) = 5*x + 1. Let c be i(-5). Let p be c/15*(-5)/2. Solve 0 = 5*s - 5*n + 20, -5*s - p*n - 1 - 1 = 0 for s.
-2
Suppose 0 = 4*x + 5*i - 50, 3*x - i = 71 - 24. Solve 13 + 3 = 4*s - 5*n, s - 4*n - x = 0 for s.
-1
Let x be 16/(-168) + 212/21. Solve 5*c - 19 = -2*d + 7, -4*c + x = -2*d for d.
3
Suppose 0*j + 135 = 5*j. Solve 7 = 3*k + 4*i, -4*k + 3*i - 1 = -j for k.
5
Suppose 0 = 5*a - 20 + 5. Let k = -12 - -23. Let f be k/3 - (-2)/6. Solve 2 = f*r + 5*z, a = -3*r + 2*z - 7 for r.
-2
Suppose 24*c - 32*c = 0. Solve -2*p - j + c - 1 = 0, 4*j = 4*p - 4 for p.
0
Let y(b) = -3*b - 14. Let r = 9 - 15. Let j be y(r). Suppose 4 = -0*p + p. Solve -2*l + 6*l - p*s = 4, j*s = 2*l - 12 for l.
-4
Let g(v) = -7*v - 26. Let b be g(-4). Solve 2*p - 3*x - b*x = -14, 5*p - 2*x + 14 = 0 for p.
-2
Let i be 0/1*(-2)/(-6). Suppose -3*h = -0*h - 15. Solve -h*b + 0*q - 4*q + 8 = 0, i = 3*b - q - 15 for b.
4
Suppose 0 = -g + 5*u + 4, g + 20 = 6*g - 3*u. Solve -4*o + 0*o + 3*c = -8, 0 = -g*o + 2*c + 4 for o.
-1
Let t be (-2 + -1)*(-8)/12. Solve -r - t*h = 7, -4*h + 7 = -3*r - 2*r for r.
-3
Let g = -12 - -20. Suppose g = 3*x - x. Let y(w) = w**2 - 2*w - 5. Let l be y(x). Solve -8 = 5*i - 2*t, 3*i + 13 = -2*i - l*t for i.
-2
Suppose -24*r + 2 = -23*r. Solve -3*i = -3*h, 3*h + 5*i = -r*h + 20 for h.
2
Let j(f) = -f**3 + 6*f**2 - 4*f + 2. Let a be j(4). Solve 0 = -4*t + 3*g + a, 5*g + 7 + 3 = 0 for t.
3
Let z = 149 + -144. Solve -z*b + 5 = 0, 2*j - j - 4*b + 5 = 0 for j.
-1
Suppose -4*c + 2*c = 0. Suppose -2*y - 6 = c, 0*v - 34 = -v - 5*y. Suppose -v + 3 = -2*p. Solve -w - p = 3*j + 3*w, -2*j = -3*w + 4 for j.
-5
Let p = 16 + -13. Solve 2*r - t = -p*r - 19, 4*r - 4*t + 12 = 0 for r.
-4
Suppose -3*r + 2 + 34 = 0. Suppose -q + r = 3*q. Solve 0 = -3*s - 3*h - 0 + q, h - 1 = 4*s for s.
0
Suppose 4*s + 10 = 30. Suppose -4*c + 16 = -32. Let r(a) = a - 10. Let n be r(c). Solve 4*m - 19 = 5*z, -4*m - z = n*z + s for m.
1
Let c(d) = -d**3 - 13*d**2 - 12*d. Let j be c(-12). Solve j = -3*b + 3*x - 6, -2*b + 5*x - 1 = -6*b for b.
-1
Let d(c) = 2*c**2 + 4. Let w be d(-6). Suppose 3*h = -2*h - 4*z - 12, 15 = -h - 5*z. Suppose h = -5*g + w - 6. Solve -a + m = 5, -2*a + m + 4 - g = 0 for a.
-5
Suppose 0*r + 15 = 5*r. Suppose -3*y = 3*c - 24, -r*c + y + 0 + 40 = 0. Solve -4*a + c = 2*n, -3 = 2*a - 3*a for n.
0
Let y(a) = a**3 + 7*a**2 + 5. Let s be y(-7). Solve 5*r - r + f = 1, s*r - 2*f = -15 for r.
-1
Suppose -10*t + 4*t + 30 = 0. Solve 5*s + a + 14 = -10, -3*s + t*a = 20 for s.
-5
Suppose -5*h = r + 12, 4*r + r = 4*h + 27. Solve 5*b - r*b + 8 = -5*q, -2*b + q - 8 = 0 for b.
-4
Suppose -4*l - 2 = -10. Let b(v) = -v**3 - 7*v**2 + 6. Let x be b(-7). Let j = x - l. Solve -3*d + 3*a - 1 = -j, -5 = 3*d - a for d.
-3
Let p(x) = -11*x - 5. Let q be p(-1). Solve 2*m + 3*b = 0, 4*m - q*b = -b - 22 for m.
-3
Let s(a) = a**3 + a**2 - 8*a + 4. Let f be s(3). Solve 5*l - b = 0, b + 7 = -4*l + f for l.
1
Suppose -5*h + 40 = -20. Solve 2*a - 4*a = 4*m - 28, -2*a + 4*m - h = 0 for a.
4
Let q = -3 + 1. Let z be -5*(q + (-8)/(-5)). Solve 4*g + z*j = 0, g + 2*g = 5*j for g.
0
Let j be (-66)/(-8) + 1/(-4). Let n = -6 + j. Suppose 0 = 2*q - n. Solve 2*m + q = 5*c + 5, 5*m + 17 = -c for c.
-2
Let g(z) = 4*z**3 + z**2 + z - 1. Let b be g(1). Suppose -6 - 4 = b*o. Let y = o + 4. Solve 0 = u - 4, -2*h + 2*u - 22 = -y*u for h.
-3
Let y be 4/(5/(-2) - -3). Let m be 22/y - (-4)/16. Solve -m*g = -3*s, -2*s - 6 = 5*g - 5*s for g.
-3
Let y = -45 - -47. Solve -y*g = 3*x + 19, 0*x = 4*g + x + 23 for g.
-5
Suppose -3*z - 7*z + 50 = 0. Solve -2*w = -4*w + 2, -4*k + z*w = -11 for k.
4
Let f(p) = 3*p**2 + 13*p - 7. Let j be f(-6). Solve 3*d = -d - 3*g - j, 5*d + g = -15 for d.
-2
Let y = -10 - -19. Solve -a = 2*t + y, t + 14 = -2*t - 2*a for t.
-4
Let i(y) = -y**3 + 4*y**2 + 6*y - 1. Let n be i(5). Suppose 24 = 4*u - n*l, 0*l = -2*u - 2*l - 4. Solve 0 = -2*a - 4*r + 10, 3*r - 5*r + 20 = -u*a for a.
-5
Let x = 7 - 3. Suppose x*a - 3 = 5. Suppose 0 = 17*r - 11*r - 18. Solve -m + r*m + 5*l = -11, 0 = -3*m - a*l for m.
2
Let s be (8 - 1) + (-1 - -2). Suppose -s = 2*l - 4*l. Solve 5*z = -l*i + 20, -4*z + z + 2*i = -12 for z.
4
Suppose -2*r + 0*r = -4, -10 = -4*v + 3*r. Suppose v*m - 1 + 5 = 0, 0 = -5*z + 4*m + 54. Solve 0 = -5*n - z, 3*s - 2*s + 9 = -3*n for s.
-3
Suppose 1 = -5*j - 4. Let d = j - 1. Let k = 2 + d. Solve -4*l = k, 8 = 4*a - 3*l - 2*l for a.
2
Let i(u) = -3*u - 14. Let t be i(-6). Solve h = -2*w + 8, -h + 2*w = -2*w + t for h.
4
Suppose -5*w + 3*l = 7*l - 8, w - l + 2 = 0. Suppose w*j - 18 = -3*j. Let f = j + -1. Solve f*n - 2*i = -25, 2*n + 7 = 3*n + 2*i for n.
-3
Suppose -5*m = 4*q - 14, 3*m - 4*q = m. Suppose 2*f + 8 - 20 = 0. Suppose -r = -f*r + 15. Solve m*h + 4*w - 16 = 0, -h - 7*w + 18 = -r*w for h.
-2
Suppose -8 + 5 = 3*g. Let f(k) = -k**3 - k**2 + 2*k + 2. Let n be f(g). Solv