= -5*o - 4*p, -5*o - 4 = -s*p + 3*p for o.
0
Suppose -25*v + 26*v - 13 = 0. Solve -u + 5*u + 16 = 0, 2*u = 5*d - v for d.
1
Suppose 6*x = 8*x - 34. Suppose -2*q = 2*r + 3*r - 12, 5*q - 49 = -3*r. Suppose n + n - 8 = 0. Solve -2*c - c = 5*b + x, 5*c + n*b = -q for c.
1
Let t(y) = y - 14. Let f be t(18). Solve -2*i + 4*o = i + f, -i = -3*o - 2 for i.
-4
Let s(k) = -k**3 - 5*k**2 + 7*k + 8. Let u be s(-6). Let a be 6/(-4)*(-8)/3. Suppose -5*f + a*f = -3. Solve 0 = f*z - u*h + 7, -16 - 12 = 4*z + 2*h for z.
-5
Let v = 0 + 0. Suppose v = -2*z - 3*z + 40. Let t = -28 - -32. Solve t*s + i + z = 0, -s = s + 4*i - 10 for s.
-3
Let y(z) = -z**3 + 4*z**2 + 4*z + 7. Let i be y(5). Suppose 4*t - 5 = 5*v, 0 + 4 = -2*t - 4*v. Solve i*f + u + 3*u + 10 = t, -4*u - 25 = -3*f for f.
3
Let b(u) = u + 9. Let x = -21 + 15. Let m be b(x). Solve t = 5*k + 18, 2*k = 3*k + m*t - 6 for k.
-3
Suppose -2*w + 6 = 5*s, 0*w = 3*s - 5*w - 16. Let g be 1 + 1/(s/4). Solve 0 = h - g*k + 13, k + 5 = -2*h - 0*h for h.
-4
Let b = -72 + 74. Solve -z - 3*q - 11 = 0, -2*q = -b*z - 7*q - 18 for z.
1
Let b be -2 + -2 + 21/3. Suppose 14 = 4*n - 2*h, 3*n - 7*h = -b*h + 8. Solve 4*o = -0*o + 2*w, n*o = w for o.
0
Suppose -4*r + 8 = 2*o, -2*o = 2*o - 3*r - 27. Let w(v) = v**2 + 7 + 2*v - 3 - 7*v. Let f be w(o). Solve -3*x - 10 = -0*c - c, -4*c - f = -2*x for c.
-5
Let n = 47 - 43. Solve d + 2*c + 9 = 0, -n*c - c = 2*d + 20 for d.
-5
Let x(n) = 4*n**3 - 1. Let b be x(1). Solve 25 = 5*j + b*f, j + 0*f - 5 = -2*f for j.
5
Let w = 39 + -33. Solve -p - 2 = -x, 0 = -3*p + w*x - 5*x - 10 for p.
-4
Suppose -g + 85 = 4*g. Suppose -4*u - 2*x + 10 = 0, 0 = -2*u - x - 4*x + g. Solve 0 = -5*r + 5*i, i = 2*r - 5 + u for r.
4
Let g = -9 - -11. Suppose -k = -g*a + 4, -4*k - a + 20 = 3*a. Solve -3*p = 4*y - 27, -3*p - 10 = -5*y - k*p for y.
3
Suppose 13 + 9 = 2*v. Let n be v + (-2 - (2 + -2)). Solve 0 = 3*p + n, -2*p - 3*p = 3*u + 12 for u.
1
Let t(o) = -o - 15. Let r be t(-8). Let d be -3*(-1)/3 - r. Solve 0 = 3*a + 4*b - 4, -2*a - d*b = -3*b - 5 for a.
0
Let q(k) = k**2 + 2*k - 4. Suppose 4*t + 2*x = -10, -t + 45 = -5*t + 5*x. Let l = t - -1. Let r be q(l). Solve a = -5*h + 8, 0 = 2*a - r*a + 3*h + 3 for a.
3
Let f(d) = -d - 3. Let u be f(-5). Suppose -3*m = l - 7 - 2, 2*l - 2 = -u*m. Solve 0 = -4*b + 3*h + 17 - m, 0 = -3*b + 2*h + 10 for b.
4
Let x = -2 - -21. Solve -2*r + 4 = -2*h, 2*r + r + x = -2*h for h.
-5
Suppose 5*g - 4*a = 14 + 2, 3*a = -2*g + 11. Solve -r + 22 = -7*w + 2*w, -2*w = 2*r + g for r.
2
Suppose 25 = 4*c + 9. Suppose -6 = u - 4*u. Suppose u*a + 2 = 6. Solve 3 = 2*g - a*n - 1, c*n - 22 = -2*g for g.
5
Suppose 0*g + 48 = -4*g. Let d be (-214)/14 - g/42. Let o be (d/6 - -3)*0. Solve r = 2*r + i, o = 4*r - 5*i for r.
0
Let l = -140 - -157. Solve -3*o = -4*z - 3 - 5, l = -5*z + 2*o for z.
-5
Let n(o) = -14*o**2 - 7*o + 29. Let p(g) = -5*g**2 - 2*g + 10. Let l(v) = -4*n(v) + 11*p(v). Let t be l(-7). Solve 0 = m + 2*z - 12, -2*z - t = -9 for m.
4
Suppose -4*m = -m - 2*g + 27, -4*m + 4*g - 36 = 0. Let b = -6 - m. Suppose -5*k = 2*s - s, -b*s + 10 = 5*k. Solve 0 = -f - 5, 3*f - 10 = -s*y - 0*f for y.
5
Let i = 12 - -44. Suppose -24 = -4*u + i. Solve -4*j - u = -4*x, 5*x - x + 2*j = -4 for x.
1
Let g be 48/(-6)*2/(-4). Solve -5*r + 2*w + 2*w + 11 = 0, 0 = w + g for r.
-1
Suppose 2*m = 3 + 5. Solve 3*c + 4 = 2*q + 13, 6 = -m*q + 2*c for q.
0
Let g(j) = -5*j - 1. Let m be g(-1). Solve 5*r + 20 = 5*i, -m*r + 15 = 2*i + r for i.
5
Suppose m - 14 = -12. Solve -2*n = m*o - 8, -o = -6*o + 5 for n.
3
Let c be (-1)/4 + (-87)/(-12). Let i = c - 4. Suppose 0 = 2*x, 0*j - 2*x = -4*j + 28. Solve i*a - 12 = 2*s - j*s, 6 = 2*s for a.
-1
Let c(o) = -o**3 + 7*o**2 + 2*o - 3. Let f(v) = -v**3 - v**2 - 2*v - 1. Let y be f(-2). Let h be c(y). Solve -3*q + 2*s + h = -5, 2*s = -q - 8 for q.
2
Let f(t) = t**3 - 7*t**2 + 12*t - 6. Let u be f(5). Solve -3*v = -b - 9, -u*v - 2 = -4*b - 6 for v.
4
Suppose 2*z + 3*p = -2*p - 15, 3 = 3*z - p. Suppose z = 4*v - 60 + 12. Suppose -o - 3*o - 3*x = -v, o - 3 = 4*x. Solve -3*d = 4*b - o, -1 = b + d - 3 for b.
-3
Let k = -3 + 8. Let t be 1 + -4 - (-65)/k. Suppose 2*n - t = -3*n. Solve -5*b + n*a = -6*b + 6, -10 = -b - 3*a for b.
-2
Suppose -5*n - 9 = -2*l, 2*n - 6*n = -2*l + 8. Solve -5*f = -3*q, 4*q = l*f + f + 11 for q.
5
Let g be 6/(-3) - 4/(-1)*1. Solve -5*a = -5*m, -25 = -3*a - 4*m + g*m for a.
5
Suppose 8*h - 4*h = -4*b + 20, 0 = -3*h + 6. Solve 2*p + 2*p + 3 = b*u, -2*p = -5*u - 9 for p.
-3
Let u(x) = x**2 - x. Let g be u(4). Suppose f - 14 = -g. Solve 3*s + 2*p - 3 = 0, -3*p - 18 = -s + f*p for s.
3
Let u = 2 + -2. Let i be 2/(-3)*(-3 + u). Let a = i - 0. Solve 5*o = a*x - 22, 4*o + o + 24 = 4*x for x.
1
Let o be (2 - 3) + 0/(-1). Let l be o/2 - (-4)/8. Suppose 2*t + 2*x - 21 + 3 = l, -5*x + 35 = 3*t. Solve -t*b - 10 = 3*z - 6*z, 0 = -4*z - 5*b + 25 for z.
5
Let p(y) = -y**2 - 6*y - 6. Let q be p(-4). Let x be 1/(8/(-6) - -1). Let s be (2 + -2)*1/x. Solve -o + q*i - 2 = 0, s*o - 5*o - 4*i + 4 = 0 for o.
0
Suppose 3*y = -9 + 33. Let d be (-8)/10*(-35)/14. Solve -2*l + y = 2*s, 2*s + s = -d*l + 10 for s.
2
Let r(m) = -m + 11. Let y be r(6). Solve 2*a + 15 = -5*q + 7*a, -y*a + 15 = -q for q.
0
Let k(b) = -b**3 + 2*b**2 + b + 4. Let d be k(0). Solve -d*x = 5*v + 21, v + 9 = 4*x - 0*x for v.
-5
Suppose 3*k = 5*t + 24, -3*k + 11 = -4*t - 10. Let b be ((-38)/(-8) + -4)*28. Solve -p + 7 = y - 4*p, -5*p - b = k*y for y.
-2
Suppose -13 = -z - 2*r - 1, -2*r - 8 = -4*z. Solve 0*h + 5*j = -z*h, 3*j = h - 17 for h.
5
Suppose -2*b - 3*b + 60 = 0. Suppose -4*t = -2*l, 13 = 3*l + 2*l + 3*t. Solve -2*n = -5*m + l*m - b, 3*m + 12 = -n for n.
0
Suppose 0 = 66*x - 63*x - 12. Solve -x*q - 16 = -0*l + 4*l, 0 = 4*l + 4 for q.
-3
Suppose -o - 13 = 68. Let r be (-3)/(-3 + o/(-30)). Solve 2*g = -2*q + 2 - r, 0 = -3*q - 4*g - 14 for q.
-2
Suppose 3*c - 3 - 3 = 0. Solve 0*h = -2*k + 4*h + 14, 3*k - 5 = -c*h for k.
3
Let f = -78 + 83. Solve -3*p + 4*d = -2 + f, -d = -5*p + 12 for p.
3
Suppose -4*z + 10 = 3*f, 4*z - 4*f - 22 = -f. Solve -3*v + z = -5*v + 2*p, -3*p + 3 = 0 for v.
-1
Suppose -6*d + 62 = -112. Let u = d - 13. Solve -o - 14 = 4*g - 2*o, -2*g - u = -5*o for g.
-3
Let q be (-2*1)/(2/3). Suppose -22 - 4 = -2*d. Let k = d + q. Solve -c + k = 5*h + 1, -2*h = 3*c - 14 for c.
4
Let d(g) = g**3 - 6*g**2 + 9*g + 6. Let s be d(4). Solve 3*k + 2*i = -10, 4*k = -i - 0*i - s for k.
-2
Suppose 25 = 5*v, -2*v + 20 = -2*f + 2*v. Suppose 0 = 4*j + 4*r + 36, 3*r = 4*j + j + 5. Let x = f - j. Solve x*d = -5*m + m, -4*d = -2*m - 6 for m.
-1
Let k be (2/(-4))/(2/(-16)). Let n = 13 - 7. Let m be 4 - (3 - -2) - -3. Solve -m*s - 12 = -n*s, k*j - 29 = -3*s for j.
5
Suppose 0 = 4*r + 4*z - 28, 3*r + 2*z - 15 - 9 = 0. Suppose 3*s + 2*s - r = 0. Solve -s*p + 8 = 0, 1 = 4*u + 4*p - 35 for u.
5
Let f(c) = 2*c + 50. Let w be f(-25). Solve w = 2*a + 3*j - 16, -a - 4*j - 18 = -9*j for a.
2
Suppose d + 8 - 20 = 0. Solve 0 = f + 5*j - d, -3*f = -4*f + 5*j - 8 for f.
2
Let l = 4 + -1. Suppose -5*f - 6 = -b, -l*f = 2*b + 2*b - 1. Let k = f - -4. Solve 4*v - 17 = v - 2*t, -4*v + k*t = 0 for v.
3
Suppose 14 - 6 = 2*h. Solve 3*a + 3 = -h*f - 1, a = 2*f + 2 for f.
-1
Let y(x) = x**3 + 11*x**2 + 10*x + 3. Let h be y(-10). Solve 4 = 4*i + 2*l + h*l, 3*l = 0 for i.
1
Let p(h) = h + 1. Let q be p(-1). Solve 0 = -4*a - 2*b + 10, q = 3*a - b - 3*b - 13 for a.
3
Suppose n = 3*n. Suppose n = -3*i - i. Suppose -1 = -w + 12. Solve 3*k - 6 = -2*t + 7, i = -3*t + 2*k - w for t.
-1
Suppose -2*c - 6*b = -4*b - 28, -c + 10 = -3*b. Solve 2*k - 3*r + 10 = -8*r, -k + 2*r = -c for k.
5
Let h be -1*1/(-2)*0. Let f = -7 + 15. Suppose -j = j - f. Solve i + 2*w + 0 = 8, h = -i - j*w + 14 for i.
2
Let t(q) = -3*q**2 - 4 + 0*q - 2*q**2 + q**3 + q. Let f be t(5). Suppose 2*i - 5 = -f. Solve -i*d - 5*y = -33, 2*y - 7*y = -d - 21 for d.
4
Let h(m) = -m + 7. Let j be h(3). Solve -5*n - 4*u - 9 = -4*n, -j*n = -5*u - 6 for n.
-1
Suppose -3*z + 4 = -z. Suppose z = n - 4*n + w, 2*n + w - 2 = 0. Solve 0 = 4*y - 9 - 3, n = 5*h - 4*y + 27 for h.
-3
Let z = -4 + 6. Suppose 0 = -3*b + 7 - 1, c - 3*b = -1. Suppose -c*l = -9*l + 12. Solve z*h - 2 = 4*h, -2*v - l = -5*h for v.
-4
Let s(r) = 9*r**3 - r**2 - r - 1. Let t be s(-1). Let o = t - -5. Let y = o - -7. Solve