*j + 15 = k*n for j.
2
Suppose 4*v = 6*v - 4. Solve -4*a = 5*i - i, -2*a = -v*i + 16 for i.
4
Let n = 12 + -8. Solve 5*k = j + 10, -n*k = -3*j - 0 + 3 for j.
5
Let c(l) = 2*l - 3. Let d be c(4). Solve -2*z - 3*y - 5 - 1 = 0, d*y + 10 = 5*z for z.
0
Suppose -4*r = a - 6, -1 = 4*r - 5*a - 19. Let u be (0/r - -3) + -1. Suppose -4*q + u = -14. Solve 0*l + 4*l - 8 = q*z, 3*l = z + 12 for z.
3
Let g = -17 - -12. Let c(w) = -w**3 - 4*w**2 + w - 1. Let i be c(-4). Let h be 16/g*i/2. Solve -2*m + h - 43 = -5*u, -2*m - 5*u = -15 for m.
-5
Let x = -1 + 1. Suppose 3 = 3*z + 4*q, -z + 4*q + 3 = 2*z. Solve p = -p + d + z, x = p - d - 1 for p.
0
Suppose -4*n + 3*y = -0*n - 17, 2*n + 8 = -4*y. Suppose n - 1 = l. Solve -a = -3*c - l, c - 5*a - 7 = -a for c.
-1
Suppose w + w = -5*o + 1, 0 = -2*w + 5*o + 11. Solve -5*m - 15 = 5*d, w*d = -2*m + 5*m + 21 for m.
-5
Let a = 35 + -29. Let q(l) be the second derivative of -l**4/12 + l. Let r be q(0). Solve -a = 2*s + 2*b - 0*b, -5*s + 2*b - 22 = r for s.
-4
Let i(l) = -l**3 + 9*l**2 + 11*l + 6. Let o be i(10). Let v = -4 - 1. Let w(y) = -y + 3. Let k be w(v). Solve -2*c = d + d + k, c - 4*d = o for c.
0
Let r be 2*(-3 - (-8 + 3)). Suppose 0*t - r*u = -3*t + 22, 4 = -2*t - 2*u. Solve t*m - 14 = 3*m + 3*j, 5*m + 2 = 2*j for m.
-2
Let r be -2 + 6 - (-7 + (4 - -7)). Solve 4*j + r*j - 16 = 5*x, 0 = j + 1 for x.
-4
Let d = -35 - -35. Solve 3*y + 6 = 0, 2*o + d*y - 8 = 5*y for o.
-1
Suppose 4*q + j - 6*j - 41 = 0, 0 = j + 1. Solve -m = -u - 7, -5*u - q = m - 4 for m.
5
Let o(s) = -s**2 - 5*s - 1. Let r be o(-4). Let g(t) = t**2 - 2*t + 2. Let v be g(r). Solve -v*q + m = -11, 7 + 7 = -2*q + 5*m for q.
3
Let y(b) = b**2 - 4*b + 4. Let w be y(4). Solve -4*x = w*z, -z + 3*x - 1 = 15 for z.
-4
Suppose j - 5*g = -13, -4*g = -j + 4*j + 58. Let t = j + 21. Solve -2*x + 4 = -4*n + 2, 0 = t*n + 3*x + 24 for n.
-3
Suppose 0 = -5*h + 10, -2*q + 5*h - 22 = -6*q. Suppose -q*n - 16 = -7*n. Solve -w = -5*g - n*w, -4*w = 4*g for g.
0
Let q(l) = l + 1. Let n(o) = 3*o + 2. Let h(b) = -2*n(b) + 7*q(b). Let c be h(-5). Let a be c/(-1*2)*5. Solve a*d + 1 = 4*v + 4, 5*d + 13 = -4*v for v.
-2
Suppose -k - 8 = -12. Suppose 0*h = -2*h + k. Solve -4*m - i = -19, h*i + 0*i - 18 = -4*m for m.
5
Suppose 2*s - 6 = 4*k, -3*s - 4*k = k - 64. Suppose -n - s = -a, 0 = -a + 2*n + 18 - 2. Let w be (12/a)/(2/5). Solve 3*p - w*j = -12, -2*p - 3*j = -j for p.
-2
Suppose -2*l = -4*v, 3 = 4*l + 3*v - 19. Suppose -2*a + 2*q - 2 = 0, -a = -l*a - 2*q - 3. Let c = 1 - a. Solve -3*n + 10 = 4*r, -n + 3*r + c*r = 22 for n.
-2
Let q(r) = r. Let d be q(3). Let l be -1*(d - 3) - -4. Solve -7 = -3*a - 4*s, -l*a + 0*a + 5*s = -30 for a.
5
Let v(z) = z - 13. Let j be v(7). Let u be (-27)/j*(-8)/(-12). Suppose k = 3*k - 4. Solve -4*i - u*o + 17 = 0, i + 4*i - 4*o + k = 0 for i.
2
Let c be -4 - -1 - 24/(-2). Suppose 0 = h + 4*u - 9, 0 = -h + 2*h + 5*u - c. Solve 0 = 2*z + 4*w + 1 - h, 0 = 3*z + 3*w - 9 for z.
2
Let x(s) = -3*s**3 - 1. Let u be x(1). Let v = u + 3. Let m(j) = -5*j. Let c be m(v). Solve -4*b + 2*w = 6*w - 8, 5*w = c*b + 10 for b.
0
Let p be (-2)/6 - (-480)/(-18). Let u be 1/(-2) + p/(-6). Let a be 2 + 0 - (-3 - -2). Solve 0 = -a*k - 2*w - 0*w + 2, 28 = -u*k + 5*w for k.
-2
Suppose -3 = -2*u + 3. Suppose -u*x = 2*x + 25. Let n = 5 + x. Solve h + 20 = -5*j + 4*h, 5*j - h + 10 = n for j.
-1
Suppose -3*r - 29 = 25. Let p be 2/(-4) - 81/r. Solve -2*o - p = -x, -o - 4*x + 5 + 2 = 0 for o.
-1
Let l = 19 - 17. Solve 3*w = l*y + 5, 5*y = -2*w + 16 - 0 for y.
2
Suppose -3*a + 5*a = 0. Suppose h + h = a. Solve -j - w + 6 = 0, 0 = -h*j + 2*j - 2*w - 4 for j.
4
Let y be (-13)/(-2) - (-2)/(-4). Suppose q + 2*n + 59 = -27, -88 = q + 4*n. Let i be (2/4)/((-14)/q). Solve 2*f - y = -2*g, -i*g + 1 = f - 10 for f.
-1
Let k = 0 - 0. Suppose k*s = 4*s + 8. Let x be -3*(-1 - s)*-1. Solve 6 = 5*y - 9, -18 = -x*l - y for l.
5
Let x(b) = b**3 + 12*b**2 + 12*b + 13. Let i be x(-11). Suppose -i*p = -6*p + 20, -20 = -5*a - 2*p. Solve -a*c + 5*g + 11 = 0, -g + 7 = 3*c + g for c.
3
Let d be 2*(1 - -1)/(-1). Let k(r) = r**3 + 5*r**2 - 2*r - 6. Let p be k(d). Solve -i - 5*j + 1 = -1, 3*j - p = 5*i for i.
-3
Let y(i) = -i**2 - 12*i + 17. Let p be y(-13). Solve 2*h = z + p, -h = 3*z - 4*z for z.
4
Let d be 26/6 + 1/(-3). Solve 4 = d*q, -2*q + 10 = -2*l + 2*q for l.
-3
Suppose -5*h + 16 - 6 = 0. Solve 3*p + 2*r = -5, 2*p + 2*r + 6 = -h*r for p.
-1
Let t be (-119)/35 - (-3)/(-5). Suppose 5*h + 82 = 22. Let r = t - h. Solve -1 + r = x + 2*j, 4*x + 3*j - 8 = 0 for x.
-1
Let u(j) = -4*j - 2. Let b be u(-2). Solve 4*x - 5*q - 11 = 0, -3*x + 9 = 2*q - b*q for x.
-1
Let l = 1 - 0. Let j = -10 - -15. Solve -n - 5*p + l = -8, -n - 1 = -j*p for n.
4
Let t be (-96)/(-40) - 2/5. Solve 0 = -2*c + 8*y - 3*y - 25, 0 = -t*c + 2*y - 10 for c.
0
Let f(a) = a**3 - 4*a + 3. Let r be f(2). Let l = r + -3. Let u(g) = g - 2. Let w be u(4). Solve -2*s + 16 = -2*h, -w*h - 5*s = -l*h - 19 for h.
-3
Let u = 0 - -2. Solve 4*y + 19 = x, 5*y - 3*x + 23 = -u*x for y.
-4
Let b be (-4)/7*21/(-6). Solve -4*z + 2*f = -11 + 3, -b*z + 5*f = 12 for z.
4
Suppose -5*w + o = 0, 2*o = 4*w - 3*o. Suppose -q + 60 - 23 = 3*m, w = -3*m - 4*q + 31. Solve 0 = -3*h + 12, -2*h = t - 0*h - m for t.
5
Let g(q) = -2*q**2 + 5*q - 2. Let b be g(3). Let t = -8 - b. Let v be 18/(-8)*8/t. Solve v = -d + r, -r - 27 = 5*d - 5*r for d.
-3
Suppose -3*r + 8*r = 0. Let x(n) = -n**3 - 6*n**2 + n + 8. Let q be x(-6). Suppose -u = q*u - 15. Solve -20 = -3*c + u*l, 2*c - l - 11 = -r*c for c.
5
Let x = -8 - -13. Let s(v) = v**3 - 4*v**2 + v. Let m be s(4). Suppose 5*d - 12 = 3*j, -d + 16 = -2*d - m*j. Solve -5*r = -x*h + 15, h = 5*r - d*r + 7 for h.
2
Let h be -3 + 2/((-4)/(-58)). Let g = 1 + 3. Solve l = 5*n + h, -17 - 1 = g*n + 2*l for n.
-5
Suppose 0*v - 85 = -17*v. Solve 27 = 3*u + v*z, -5*z + 24 = 3*u - z for u.
4
Suppose -4*x - 3*o + 3 = 0, -4*x + 7 = 2*o + 1. Suppose 0 = -5*g - a + 34, -2*g - 5*a = -5*g + 26. Let u = 7 - g. Solve 4 = x*y - 2*j, -y - j + u - 2 = 0 for y.
0
Let p = 4 + -14. Let i be -1*(-5)/(p/(-8)). Solve 2*w = -w - 3*k + 3, -5*k = i*w for w.
5
Suppose -5*j + 29 = 2*q, -5*q + 47 = -0*q + 4*j. Solve 5*m + q = 2*g, g = -m - g - 11 for m.
-3
Let w = 2 - 2. Let i(h) = 4*h - 3*h + 3*h - 3*h. Let q be i(w). Solve -6 = 2*p - q*o - 3*o, 0 = -4*o for p.
-3
Suppose -5*l + 4*t + 27 = 3*t, 5*t + 10 = 0. Let c(r) = -5*r + 0*r**2 - 8 + 2 - 4 + r**2. Let v be c(7). Solve 2*d = -4, 5*w + l*d = 2*w - v for w.
2
Let i = 3 + 2. Let t(j) = 2*j - 4. Let h be t(-3). Let v be (-4)/h*(5 + 0). Solve -7 = -v*w - 2*w + 3*p, 4*w + i*p + 33 = 0 for w.
-2
Suppose -2*h = h - 12. Let n be (-2)/(-1)*(-6)/h. Let g be n*(-2)/(-12)*-10. Solve 0 = g*t + 2*k - 10, 0*t - 21 = -4*t + k for t.
4
Suppose -3*b + 2*b = 0. Suppose -4*v - 34 = 3*q, -7*v - 33 = -2*v - q. Let x = v - -16. Solve b = -4*s + s - x, 0 = 2*c - s + 5 for c.
-4
Let d = -18 + 25. Solve -3*z = -z - 4, 5*s = z - d for s.
-1
Let x be (-5)/5*-3 - 3. Let d be (2 + -8)*(-1)/3. Let u = d + x. Solve 2*k = -k + 2*g + u, 2*k + 3 = -3*g for k.
0
Let x be 0*((-2)/4 - 0). Let o(n) be the second derivative of n**5/20 - n**3/6 + 7*n**2 - 13*n. Let j be o(x). Solve 4*f - 4 = 4*s, -2*s + f = -4*f + j for s.
3
Let n = 24 + -14. Let m = -6 + n. Solve m*h = -5*a + 12, -5 = -3*h - 4*a + 5 for h.
-2
Let d(p) = -3*p. Let o be d(-6). Let c = -6 - -7. Let b(f) = 2*f**3 + 2*f**2 - 2*f + 1. Let v be b(c). Solve -5*y - 5*l + l = -21, 3*y - o = v*l for y.
5
Let n be 5*2/10*-21. Let t be (6/(-2))/(1/13). Let i = n - t. Solve 2*y - 3*y - 3*g = -i, 4 = 3*y - g for y.
3
Suppose 3*w = t, -2*w - 6*t + 17 = -t. Solve 3*x = -9, -3*u + 7*u - x + w = 0 for u.
-1
Let f(q) = 4*q**2 + 4*q - 14 - q**2 + 3*q**2 + 4*q**2 - q**3. Let g be f(10). Solve 3*z = -4*s - 32, 4*z + 0*s + 2*s = -g for z.
-4
Let m(u) = u**2 + 13*u - 1. Let f be m(-13). Let h(p) = 5*p**2 - p - 2. Let g be h(f). Solve -g*w - 4*t - 8 = 0, -5*t - 11 = 3*w - t for w.
3
Let r be ((-4)/(-6) + 0)/(44/132). Solve k = 3 - r, n + 5 = 3*k for n.
-2
Suppose 4 = -2*q + 14. Suppose 9 = 3*t + c, q*c = 8 + 7. Solve 4*o - g = -1, t*o - g = 3*g + 10 for o.
-1
Suppose 2*z - 10 = z. Suppose 0 = -4*v + 3*v + 2, -z = g - 5*v. Suppose g = 3*o - 2*o - 5. Solve 5*l = -5*y + 25, -o*y + 4 = -3*l + 19 for y.
0
Su