j - 4*v + 5 = -3*v for j.
4
Suppose 0 = -4*s - 3 - 1. Let g = 2 - s. Suppose -2*i + 38 + 2 = 0. Solve 2*d + g*d - i = m, d + 5*m - 4 = 0 for d.
4
Suppose -o + 8 = -2*k, 3*o - 2*o = 3*k + 12. Suppose o - 4 = -u. Solve 2*y = 3*y + 5*j - 25, u*y - 4*j = -20 for y.
0
Suppose 5*s + 0*s - 15 = 0. Suppose -45 = -2*k - s*k. Suppose -3*v - k = -4*o, -4*v + 9 - 20 = -5*o. Solve 5*n + o*c + 25 = 0, 0 = n + 3*c + 5 for n.
-5
Let u = 28 - 5. Suppose -5*m = -4*c, -4*c + c - 2*m + u = 0. Solve -6*g = v - 2*g - 7, c*v + 3*g = -16 for v.
-5
Let x(g) = -5*g - 1. Let u be x(-1). Suppose 0 = -v + 2*y - 8, 2*v + u*y = v + 16. Solve -5*l + 0*i - 3*i - 5 = v, -4*l = 5*i + 17 for l.
2
Let t = 3 + -2. Let s(g) = 28*g**3 - g**2 + 2*g - 1. Let z be s(t). Suppose 0 = -0*k + 2*k - z. Solve -k + 2 = -5*c - 3*p, c - 4*p = 7 for c.
3
Let a(m) = m**3 - 6*m**2 + 3*m + 12. Let s be a(5). Solve 0 = -5*c - 15, 5*r - s*c + 0*c - 6 = 0 for r.
0
Let b = -15 + 15. Solve 5*c - 21 = -3*q, b = q + c + 2*c - 11 for q.
2
Let l = -1 - 3. Let b be (l/6)/(1/(-6)). Solve -h - 2*j = 2*j + 5, -5*j - 1 = -b*h for h.
-1
Suppose 5*b - 13 = 3*d, 5*d = 3*b + d - 10. Suppose 2 = -2*w + 8. Let f(j) = 3*j - 7. Let o be f(6). Solve -g + b*p - o = 0, 0 = 5*g + w*p - 8*p + 40 for g.
-5
Let v(w) = -15*w. Let o be v(-1). Solve -4*p - h = -2*h + o, -2*h - 35 = 5*p for p.
-5
Let z be 6 + -6 - (-16 + -1). Let n = -15 + z. Solve 5*h + 0*h = m + 24, 4*h - n*m - 18 = 0 for h.
5
Suppose -2*p = -2*r - 4, -46 = -3*r + 6*r + 5*p. Let k = 12 + r. Let a = k + -3. Solve 0 = a*v + 5*t - 11, -3*v + 2*t + 8 = t for v.
3
Let i(b) = -b**3 - 4*b**2 + 2*b - 12. Let a be i(-5). Solve 0 = 4*h + a*n + 31, -h + 0 + 1 = -n for h.
-4
Suppose 0 = 4*u + 20, -4*u - 26 = 2*s - 4*s. Solve 0*l - 1 = -l - s*r, 4*r + 1 = l for l.
1
Suppose f - 1 + 0 = 0. Let m = -1 + f. Solve 5*v - 2*i = 20, -i + m*i - 9 = -2*v for v.
2
Suppose 5*r = -90 + 100. Solve 2*d + r = j - 3, -3*j = 4*d + 35 for j.
-5
Let a be 0/(5 - 1)*-1. Suppose a = k - 3 + 1. Solve k*o + 0 = g + 8, 0 = -g for o.
4
Suppose 0 = 2*v - 4*f - 24, 0 = -v + 2*v + f. Solve 0*r = 3*w - r - 20, -2*w + 30 = -v*r for w.
5
Suppose -3*k - k - 2*h + 10 = 0, -5*h - 17 = -4*k. Suppose m = k*m. Let i be 6 + (1 - m)*-2. Solve i*w - 32 = -7*v + 2*v, 7 = -2*v + 5*w for v.
4
Suppose 12 = -10*h + 13*h. Suppose 2*f - 14 = -4*z, 12 = -0*z - 3*z. Suppose 2*i - f = -1. Solve 0 = -3*y + u + 19, h*y = 4*u + 43 - i for y.
5
Suppose -5 = v - 21. Solve -3*q + 20 = 2*i, 0 = -q - 0*q - 3*i + v for q.
4
Let m be (-5)/10 + (-1)/2. Suppose -2*d + 5 = 4*a - 5*a, 3*d - 10 = 2*a. Let f be (-9)/(-3) + m - d. Solve -3*z - 21 = -i - f*i, 4*z - 12 = -4*i for z.
-2
Suppose 0 = -2*s + s + 2. Solve -s = -5*a - 3*b - 5, -3*b = -5*a - 27 for a.
-3
Suppose 0 = 3*r + 6 - 39. Solve -r = j + 2*o - 0*o, -4*j - o = 16 for j.
-3
Let k = -13 - -22. Solve -3*a - 11 = -5*w, -5*a + a = -w + k for w.
1
Let s = -2 - -2. Suppose s*l + 2*l = -4*d - 4, 5*l = 3*d + 16. Solve -4*h - l = o - 6*o, -3*o = -6 for h.
2
Let r be (-630)/(-40) + (-2)/(-8). Suppose -17*p + r = -13*p. Solve -2*i + 13 = 2*a - 7*i, -13 = a + p*i for a.
-1
Let k(f) = -f**3 - 16*f**2 + 14. Let g be k(-16). Solve -8 = j - y, -2*y - g = 3*j - 3*y for j.
-3
Suppose -1 + 3 = 2*s. Suppose 0 = -d - 4*d + p + 19, d - s = 3*p. Solve 5*r - l = d*l, -5*r = -4*l - 1 for r.
1
Let w = 74 - 74. Let m be 10/3*(-6)/(-5). Let r be -3*-1*(-8)/(-6). Solve w = -m*n + f + 1, f = n - r for n.
-1
Let m(v) = v**2 + 3*v - 2. Let z be m(-4). Suppose -7*b + 22 = -3*b - z*h, 2*h = b - 7. Solve -2*n + 2 = -s + b, 9 = 3*s + 2*n for s.
3
Let s be 12/(-30) - 44/(-10). Solve -j - s = 3*q, -3*q - 3*j = -q + 5 for q.
-1
Suppose w = -2*s + 27, 6*s = 4*w + 2*s - 48. Solve p + w = -3*d, 6*d + 5*p + 45 = d for d.
-4
Suppose -q + 0*q = q. Let c be -1 + 2 - (15 - 4). Let w be ((-16)/c)/(4/10). Solve q = 5*l + w*p - 9, -4*p = l - 3*p - 2 for l.
1
Let i(o) = -o**3 + 7*o**2 + 2*o - 6. Let r be i(7). Suppose -r = -5*l - 3*p, 4*l + p = -2*p + 4. Solve l*n - 17 = -3*v, -v + 4*v + 3*n - 12 = 0 for v.
-1
Let a = -187 + 191. Solve -6 = -4*o - 5*g + 5, -4*o = a*g - 8 for o.
-1
Suppose 3*p + 15 = 36. Let n = p + -7. Solve -5*b - 3 = -3*x, -4*x - 2*b + n*b - 22 = 0 for x.
-4
Let z = -9 - -13. Let r(v) be the second derivative of v**3/6 + 3*v**2 + 5*v. Let q be r(-6). Solve -24 = -z*m + 4*s, 4*m - 27 = -q*s + 5*s for m.
3
Let n = -2 + 2. Suppose 2*k + k + 3*a - 12 = 0, n = -3*k - 4*a + 12. Solve v = -3*f + 25 - 10, 2*f - 10 = -k*v for f.
5
Suppose -5*n = 10, 2 = -b - 5*n - 8. Solve 0 = -5*k + 3*k - 2*m - 12, -5*k - 2*m - 18 = b for k.
-2
Let d = 83 - 83. Solve d = 5*k - b + 30, -k = -3*k + b - 15 for k.
-5
Let w(q) = q**2 - 6*q + 9. Let v be w(5). Solve -a + 12 = -3*o + 3*a, -v*a = -4*o - 12 for o.
0
Suppose 0 = x - 6*x. Solve 3*c + 45 = -5*f - 2*c, x = f - c + 1 for f.
-5
Let r be (-2)/((-1)/(4/(-2))). Let c be 36/8 + 2/r. Solve 0 = 3*x - 4*x - 3*i - 9, -12 = c*i for x.
0
Let p(q) = q**2 + 3*q - 3. Let s be p(4). Solve -r + 0*a = -5*a + 30, s = 5*a for r.
-5
Let c = 6 + -4. Let v be 6 - (c + (-1 - 0)). Suppose 2*h - 57 = -3*a + 5*h, 4*h + 96 = 5*a. Solve v*m - 5*b - a = 25, -2*m - 2*b = -2 for m.
5
Suppose 4*n - 40 = -4*o, -1 = 4*n + o - 26. Solve -2*l + 0*l + 3*h - n = 0, 2*l - h = -7 for l.
-4
Let y = 26 + -24. Solve 5*d = -10, -5*j + 0*d - y*d + 11 = 0 for j.
3
Let u(h) = 2*h + 11. Let p be u(-2). Let c(o) = o**2 + 5*o - 3. Let z be c(-6). Solve 0 = z*v - s + p, -5*v + s - 7 - 4 = 0 for v.
-2
Let h(z) = -z**3 - 6*z**2 + z + 6. Let x be h(-6). Suppose 12 = -x*p - 2*p. Let i be -3*(p/3)/2. Solve -7 + 0 = 5*q - k, 4*q + i*k = -17 for q.
-2
Suppose 0 = 3*q - 10*q + 28. Solve -q*n - 10 = 4*z + 14, 0 = 3*z + 4*n + 23 for z.
-1
Suppose 3*b - b = 5*u, -2*u = 4*b - 24. Suppose -4*f - 5 = -5*j, -b + 15 = 4*f - 2*j. Solve g + q = 1, -2*g + f = 3*g + q for g.
1
Suppose 14 = -2*h + 18. Suppose -2 = -d - 0. Solve 0*w - d = 2*w + 2*u, u = -h*w - 3 for w.
-2
Let t(h) = h**2 - 2*h + 2. Let c be t(4). Solve 2*f = -8, -q = -3*q + 4*f + c for q.
-3
Let i be 2/((-28)/12 + 3). Solve -i*m + 7 = t - 2, -3*t = 3*m - 3 for t.
-3
Suppose 0 = -5*y - 5*b + 5, 5*b + 0*b + 22 = 4*y. Let x be ((-1)/5 + 231/55)/1. Suppose y*k = x*k. Solve -u + n + 4*n = 12, k = -u + 2*n - 3 for u.
3
Let q(x) = 2*x - 15. Let m be q(9). Solve -12 = 4*t, m*t = -4*f + 4*t + 3 for f.
0
Suppose -4*q = -3*q + a - 6, 2*q - 4*a = 0. Solve q*p - 16 = v, 2*p = 5*p - 9 for v.
-4
Suppose 2*z = -5*q + 36, -2*q - 6 = -2*z + 16. Solve 2*c + 4*y = 4, -5*y - z = -2*c - 0*y for c.
4
Let v be (2/5)/((-2)/10). Let x(n) = -2*n. Let t be x(v). Solve -o = -0*o + t*p + 5, p = -3*o - 15 for o.
-5
Suppose 0 - 16 = -8*y. Let p = 8 + -4. Solve p*a + c + 1 = y*a, 0 = -3*a + 3*c - 6 for a.
-1
Suppose -2*s - 4*z + 40 = 0, 0 = -3*s + 2*z - 4*z + 68. Let c be (4/16)/(3/s). Solve 4*k - 9*k = -c*d - 16, -5*k + 20 = 0 for d.
2
Let l be ((1 - 1) + -2)*1 + 5. Solve 4*f + 3*h = 25, 0 = -4*f + l*h + 2*h + 1 for f.
4
Let r be (6/21)/(3/21). Suppose 0 = -3*v + r*d - 0*d + 7, 0 = 4*d + 8. Solve 5*q + o + 10 = 0, -5*o = 3*q + 5 + v for q.
-2
Suppose 12 = -8*f + 4*f - 3*h, 3*f - h = 4. Solve -4*s - t - 4 = f, 4*t = -s + 3*t - 1 for s.
-1
Let x be 1 + 1 + 6/(-3). Let c be (x - (-1)/(-1))*-4. Solve 0*p - c = -q - 2*p, -q + 3*p = 16 for q.
-4
Suppose -36*r = -35*r - 7. Let m(y) = -y**3 + 9*y**2 + 6. Let q be m(9). Let k be q/15 + (-8)/(-5). Solve 2*j = -x - 9, k*x + 2*j = -19 + r for x.
-3
Suppose 5*b = -4*v + 13, 2 = 3*v - 3*b - 1. Let r be ((-2)/(-1))/(-2) + 5. Let m be 1 + 2 + -1 + 1. Solve -4*w = -m*i + 16, i = -v*w - r*i + 18 for w.
-1
Let i be -11 - 1*-2 - 1. Let c = -6 - i. Suppose -4*d + 15 = -d. Solve -3*b + d*b = -4, -10 = c*o + b for o.
-2
Let p(t) = -5*t + 3 + 2*t**3 - t**3 + t - 3*t**2 + 0*t**2. Let w be p(4). Let u be 1*w - (8 - 7). Solve -5 = 4*y + x + 16, u*y - 2*x = 2 for y.
-4
Let h = -11 + 19. Suppose h*d - 4*d = 108. Solve -4*x - d = -3*s, -x + 9 + 8 = 4*s for x.
-3
Let y(o) = -o**2 + 4*o. Let f be y(2). Solve -2*n - 7 = f*v - n, -5*v = 2*n + 8 for v.
-2
Let h be (-3 + 0 + 4)*0. Solve 5*j - 3*s - 13 = h, 0 = -j - 2*s + s + 1 for j.
2
Suppose -3*g + 35 = 2*g + 5*l, 5*g - 5*l + 15 = 0. Let y be (6/g)/((-3)/(-2)). Solve 5*t - 21 = 5*p - y*p, -2*p + 2 = 2*t for p.
-2
Let f(s) = -s**2 - 6*s + 2. Let q