2*u - 23 for v.
4
Let d be (5 - -15)/(0 + 1). Suppose 2*w - 10 = -w + 5*s, -30 = 3*w + 3*s. Let f = -1 - w. Solve 3*m + 6 = -3*l, -m - d = f*m - 5*l for m.
-3
Let r = -20 - -23. Solve -r*s = x - 6, -8 = -4*s - 4*x + 6*x for s.
2
Suppose -3*u + 12 = -0. Solve -3*m - 1 = -t + u, t + 2*m = -10 for t.
-4
Suppose 2*w = -4 + 12. Suppose w*j - 32 = 2*j. Solve 0*c + j = -4*c, 4*c = n - 11 for n.
-5
Let r = 424 - 421. Let i be 12/2 + 0 - 1. Solve -l + i*d = -0*l + 6, r*l = 5*d - 8 for l.
-1
Suppose 0 = -5*g - 8 - 12. Let u = g + 6. Solve u*k = 4*q - 28, -q + 4*q = k + 19 for k.
-4
Let r = -4 - -7. Suppose 0 = -m - 3*z + r + 4, 5*z = 2*m - 25. Solve -5*y + 7*o - 35 = 2*o, 2*y - m = -4*o for y.
-3
Suppose d - 100 = -3*d. Suppose -4*h + d = h. Let n = 28 + -28. Solve -l + 2*m = -4, 5*m + n + 10 = -h*l for l.
0
Suppose 0 = -2*f + l + 9, 0 = 5*f - 0*f + l - 19. Solve 2*r + 1 = -y + f, 0 = r + y - 2 for r.
1
Let j(h) = h + 3. Let k be j(-6). Let z = 4 - k. Solve l + 5*v - 3 = -0, -z = l - 5*v for l.
-2
Let l be (-6)/12 - (-7)/2. Suppose l*w = -2*w. Let c(k) = 4*k**2 + k. Let y be c(-1). Solve w = 4*r + a + 3, -2*r + y*a = -r + 4 for r.
-1
Let s(i) = -i + 3. Let q = 0 + -4. Let f be s(q). Solve -24 - f = -3*j + 5*x, -3*j - 2*x = 4 for j.
2
Let v = -9 + 8. Let i be (-2)/(-1) - v*2. Solve 5*x - 3*x + i*u - 22 = 0, 5*x - 5*u = -20 for x.
1
Let v(x) = 2*x. Let g be v(3). Let t = -3 + g. Solve 3*u + r = 16, 4*r - 6 = -u + t*r for u.
5
Let j be 1*(-1 + 3) + 0. Solve 0*w + 3*w + 3*k = 9, 2*w = j*k + 6 for w.
3
Suppose -2*z - 2*z + 16 = 0. Solve -z*a = -3*f + 20, 3*f - 12 + 2 = -a for f.
4
Let d(o) = -4*o - 3. Let x be d(-7). Solve -3*f - 2 = 10, r = 5*f + x for r.
5
Let y(z) = -8*z - 1. Let o be y(2). Let i = 22 + o. Solve p + 5 = -i*k - 4*p, 3*p = -2*k - 1 for k.
-2
Let o(u) = -u**2 - 5*u - 1. Let f be o(-4). Solve -f*r + 2*c + 5 = -8, 2*r - 3*c = 12 for r.
3
Let h be (2 - -3 - (-2 + 3))/2. Let q(y) = y**2 + y - 2. Let u be q(-2). Let n be 0*(-1)/(-2*1). Solve u*x = -4*x + 8, n = h*z - x - 2 for z.
2
Let s be 21/5 - (-1)/(-5). Solve -3*d - y = 11, -7*d + s*d + 3*y - 15 = 0 for d.
-4
Suppose 5*o - 12 = 8. Solve q = o*t + 4, 3*q - 2*q + 2*t + 2 = 0 for q.
0
Let y(n) = 6*n + 9. Let p be y(-7). Let q be p/(-3 + 0) + 1. Solve 4*w - 4*r - q = 0, 0 = 2*w + w - 5*r - 5 for w.
5
Suppose -3*g - 9 + 15 = 0. Solve -3*h = 4*f - 5*f - 9, -g*h + 6 = 5*f for f.
0
Suppose 2*s - 9 = q, s - q = -5*q - 18. Suppose 2*v + o = -2*v - 5, 25 = -s*v - 5*o. Suppose 0 = 5*c + 20 - 65. Solve -4*m + c = u, 4*u + v = 4 for m.
2
Suppose -2*z + 20 = 3*d, 12 = z + 2*z. Solve 0 = x - 4*y - 14, -d*x - 5 = 4*y + 19 for x.
-2
Suppose 0*i - i = 4. Let x = -3 - i. Solve 0 = 5*u - 2*k - x - 6, -2*u + 26 = 5*k for u.
3
Let f = -16 - -19. Solve y = 4*g + 1, -6*g - f*y = -g - 3 for g.
0
Suppose 50*x + 8 = 52*x. Solve -4*h = 3*g - 16, -4*g - h + x*h = 12 for g.
0
Let s(n) = -n**2 - 4*n. Let r = 5 + -8. Let t be s(r). Solve -2*c = t*h - 19, -5*c - h - 3*h = -30 for c.
2
Let q(i) = 2*i**2 - 2*i - 40. Let o be q(-5). Let m = -2 - -6. Suppose 16 = m*r - c, -16 = 3*c + c. Solve k - o = 5*u - 0*k, -4*k + 29 = -r*u for u.
-3
Let k be 6/(-4)*(-28)/21. Let i be 0*(5/(-2) + k). Solve 5*v - 5 = 5*x, 4*x + i*x + 5*v = 32 for x.
3
Suppose 0 = 47*s - 27*s - 380. Let t(k) be the first derivative of -k**4/2 - k**2 - k + 1. Let o be t(-1). Solve -2*u + 4 = 0, 6*x - x + o*u = -s for x.
-5
Suppose 0 = 5*b - 2*x - 13, -2*x - 1 = -3*x. Solve 5*q + 4*g = 6, q - b*g + 0 = 5 for q.
2
Let y(m) = m**3 - 5*m**2 - m + 5. Let g be y(5). Solve 0 = -z - 5*d, -z + 1 = 4*d - g for z.
5
Let r be 0*2/(-2 - 0). Let x be -3 + r + (-2 - -5). Solve -5*f - 4*u + u + 19 = x, f = -3*u - 1 for f.
5
Suppose 4*m = 3*x - 0*x - 13, -2*m - 14 = -4*x. Solve 8*z - 4 = x*z + 4*q, 20 = 3*z + 2*q for z.
4
Let f be -1 + -1 - (7 - 17 - -5). Solve -5*n = f*l - 5, 7*l = 3*l + n + 22 for l.
5
Let m(d) = d**3 + 21*d**2 - d - 16. Let a be m(-21). Solve -c + 7 = -3*b, 4*b + 22 = -0*b - a*c for b.
-3
Let q = 1 - -1. Let v(b) = -3 - 3*b**3 - 3*b**q - 2*b**2 + 2*b**3 + 9*b. Let l be v(-7). Solve 0 = -h + c + 3*c + 17, -4*c - l = 4*h for h.
-3
Let u be ((-10)/6)/((-65)/78). Solve -m = 4*l + 3, -7*m = -u*m + 5*l - 15 for m.
5
Suppose 4*f - 16 = -y - y, 88 = 5*y - 2*f. Suppose -4*m + 9 = -3. Let z be (1 - 1)/3 + (-16)/(-1). Solve -4*a + z = 4*t, -m*t - y = -4*a + t for a.
4
Suppose 2*i - w + 0 = 1, 0 = -w - 1. Suppose i = 4*v - 3*u - 28, -v - 5*u = 24 - 8. Solve -m + 2*l = -l - 20, -v*m = -2*l - 30 for m.
5
Let s(a) = a**3 + 8*a**2 + 7*a + 1. Let c be s(-7). Let l = c + 1. Suppose -3*y + 14 = -1. Solve -4*n - l = 5*b, -3*n - b - b = y for n.
-3
Let a = 16 - 10. Suppose -j = 2*j - a. Solve -5 = -j*m + 5*q - 25, 4*q - 3 = -m for m.
-5
Let l be 4/(-22) - -9*(-40)/(-165). Solve -3*v - 4*d - 17 = l*v, 0 = -4*v - 5*d - 10 for v.
-5
Suppose -y = 2 - 4. Suppose u = -u - y. Let n be 3*u/(-6)*6. Solve 4*r - 3*g = -7, -r + n*g - 7*g - 16 = 0 for r.
-4
Let g = 44 - 31. Solve -5*f - g = -3*n, -3*n - 2*f + 1 = 2*n for n.
1
Let m be (40/60)/((-2)/(-12)). Solve -3*t - 13 = 3*c + 11, 7 = c - m*t for c.
-5
Let q = -28 - -34. Let l = 3 - -1. Suppose 0 = -5*c + q + l. Solve -a = 4*d + 14, -3*a = c*d + d + 6 for d.
-4
Let p(i) = 11*i - 1. Let k be p(1). Let n = -6 + k. Solve -2*b = 3*w + n, 2*b + 8 = -2*b + 3*w for b.
-2
Let b be (-9)/(-3) - (4 - (6 + -2)). Suppose 6*z - 2*z - 38 = -2*c, 0 = 2*c + z - 23. Solve 3*o + 0*o - i = 3, 0 = -b*i - c for o.
0
Let s = 11 + -8. Suppose 0*o - s = -o. Solve 0 = -4*z - o*h + 2*h + 3, -3*z = -h - 11 for z.
2
Let r = 12 + -9. Suppose r*p + 3*g - 12 = 0, 5*p + 5*g - 14 = 2*p. Solve 4*h = w + 1, -2*h + 3*w + p = -0*h for h.
0
Suppose 0 = 3*v - 1 - 8. Solve -3*i + 16 = 2*l, -l + 4*i - 3*i = -v for l.
5
Suppose 0 = 4*a + 5*g + 5, -a + 4 = 2*a - 4*g. Let m(o) = -o + 4. Let q be m(a). Solve 2*t = -5*h - 2, -q*h + 3*h = t - 2 for t.
4
Let v = -2 + 4. Suppose -h + 5*l = 20, -4*h - 3*l + 45 = v*l. Solve 5*u = h*m, -3*m + 0*m - 35 = 4*u for u.
-5
Let o be ((-4)/(-2))/((-2)/(-5)). Solve o*i - 15 = -2*q, 14 + 1 = 5*i for q.
0
Let u be ((-7)/2)/((-4)/(-8)). Let d = -7 - u. Solve -3*i - 3*g + 1 - 4 = d, 0 = -5*i + 4*g - 41 for i.
-5
Let g(u) = -u**3 - 21*u**2 - 22*u - 34. Let s be g(-20). Solve -11 = -3*w - 3*v + 10, 2*w + s = 2*v for w.
2
Let u(m) = -m + 6. Let z be u(7). Let w be (z + 1 + 6)/2. Suppose -5*j = 4*q - 45, -j + 20 = 5*q - 10. Solve -4*f + i = q*i + 12, 2*i + 8 = -w*f for f.
-2
Let m = -20 + 23. Solve b + 3 = -2*q + 7*q, 2*q - 8 = -m*b for q.
1
Let b(a) = 2*a**2 + a + 1. Let c be ((-3)/6 - 0)*2. Let r be b(c). Suppose r*h - 7*h + 20 = 0. Solve -h*q - o = -0*q + 9, 4*q - 5*o - 21 = 0 for q.
-1
Suppose 5*b - 12 = 3*z + 3, z = 2*b - 6. Suppose 9*g - 4*g = 20. Suppose g*r - b = r. Solve -c = -q + r, 3*c - 7 = -q + 2*q for q.
5
Suppose -15 = -2*s + 5. Let v = -1 - -1. Solve v = 4*j - 5*x - s, -3*x = 7 - 1 for j.
0
Let y be 1/(-4) + (-25)/(-20) + 2. Let h(x) = -x**3 - 2*x**2 - 2*x - 1. Let m be h(-1). Solve -5*r - 6 = -2*f, -5*r = f - m*f - y for r.
0
Let s be (18/(-27))/(8/(-6))*50. Solve -1 = c + 4*h - 25, 5*h = s for c.
4
Let d = -11 - -22. Let t = 1 - -1. Solve 4*s - x - 21 = 0, -4*s + t*x + d = 3*x for s.
4
Let k = 0 + 2. Suppose k*y = y. Suppose 2*b + b = y. Solve s - 8 = -3*r - 2, b = 5*s for r.
2
Let a(p) = -2*p**3 - 4*p**2 + 5*p + 8*p**2 + p**3 + p. Let v be a(5). Suppose 7*w - 4*w = 57. Solve -x - v*k - 11 = 13, -x - w = 4*k for x.
1
Let b(z) = 2*z**3 + z**2 - 2*z + 1. Let h be b(1). Solve -y + h*y = 2*q + 9, 3*q = 4*y - 26 for q.
-2
Let z = 9 + -4. Solve -2*w - 1 = 4*h + 1, -2*w - 3 = z*h for w.
1
Let g = -17 + 22. Solve -4*h + 2*z = -4, h = -2*z + g - 4 for h.
1
Let c(a) = 2*a**3 - 4*a**2 + 3*a - 1. Let d be c(2). Let h = d + -2. Let u(s) = -s + 1. Let l be u(-7). Solve -h*w + l = -2*z, 4*w - 2*w - 3*z = 12 for w.
0
Let z be 46/(-8) - (-3)/(-12). Let n(j) = -j**2 - 9*j - 6. Let u(x) = -1. Let c(i) = n(i) - 4*u(i). Let s be c(z). Solve g - q = -6*q - 24, -4*q - s = 0 for g.
-4
Let d(g) = -18*g. Suppose w = -0 - 2. Let o be d(w). Let v be 94/18 - 8/o. Solve -v*c = 5*a - 20, -4*a - 11 = -2*c - 3*a for c.
5
Let x be 0 - ((-2)/(-2) + -6). Let k = -2 + x. Solve 2*a = 5*b - 18, -5*a + k*a - 10 = -b for a.
-4
Suppose -16*c = -19*c. Solve -5*r + 3*y - 16 = c