 2*i + 5 for j.
-3
Let k be (16/28)/(2/7). Suppose 2*l = -k*w, 5*l - w - w = 21. Solve -4*a + 0 = -3*n + l, -3*a - 3*n + 3 = 0 for a.
0
Let x(k) = k**2 + 5*k + 2. Let t be x(-5). Let i(f) = 7*f**t - 3 + 3*f - 4 - 6*f**2. Let u be i(-5). Solve 0 = 3*p + 3*b - 6 - 3, 0 = -p - u*b + 5 for p.
2
Let u be 16*1*(-15)/(-30). Solve -2*c + 6 = 0, -b + 5*c - 24 + u = 0 for b.
-1
Let t(n) = n**2 - 2*n - 5. Let h be t(4). Solve -3*k - 3*l = h, -2*k + 2*l - l + 13 = 0 for k.
4
Let k(m) = m - 3. Let j be k(6). Let s be j/9*3 - 1. Let z = s + 0. Solve 3*u - 3*b = 6 + 6, 5*b - 5 = z for u.
5
Let k(j) = -j**2 - 5*j + 5. Let r be k(-5). Solve 5*h = -2*n + 15, 0*h + 2*h - 27 = -r*n for h.
1
Suppose 4*o = 8*l - 4*l + 4, 2*l + 8 = 5*o. Let j be (-90)/(-27) + 2/(-6). Solve o = f, -12 = -t - j*f - 2*f for t.
2
Let m(h) = h**3 - 6*h**2 + 3*h - 7. Let o be m(6). Let z be 7/14*(1 + 11). Solve w = 4*c + 15, 0 = -5*w - 2*c + z*c + o for w.
-1
Suppose -5*o + 12 = -5*b - 3, o - 13 = -4*b. Let u(p) = p**2 + p - 2. Let f be u(2). Solve 4*r + o*z = -5 - 15, 4*z = -f*r - 20 for r.
-5
Let u(m) = -m**2 + 2*m - 3. Let c be u(2). Let f be -2 + c*21/(-9). Solve f*s + z = 11, s - 3*z + 9 = 4*s for s.
2
Let c be (-2)/7 + 1870/77. Solve -3*u = 3*l - c, 0 = u - 2*l - 1 + 5 for u.
4
Let w(u) = 3*u - 15. Let q be w(5). Solve -z - 5*h = -8, -3*z + 3*h + q*h - 12 = 0 for z.
-2
Suppose 0 = -m - 2*m. Let h = -187 + 191. Solve -h*u - 22 = 2*f, -f + 4 - 7 = m for u.
-4
Let a = 55 + -26. Solve -2*h - 3*h = -d + a, -22 = 2*h - 3*d for h.
-5
Let z = 11 + -7. Suppose d - 23 = -5*o, z*d = -o - 3 - 0. Suppose -2*g + 24 = -8. Solve 0 = -u - o*j + 25, -4 + g = 3*j for u.
5
Suppose 7*w = 4*w + 3*m + 3, -5*m = 4*w - 31. Solve 4*y - 5*j - 45 = 0, -w*y + j = -3*j - 40 for y.
5
Suppose -3*c - 2*c = 0. Let i(d) = d**2 + 5*d + 3. Let y be i(-5). Suppose c = l - 2*l + y. Solve -h + 2*h + a = -4, 0 = 2*h - l*a + 8 for h.
-4
Suppose m + 15 = 4*m. Suppose -m*i = y - 37, 5*y + 34 = 2*i + 3. Solve -8 = -d - 2*d - 4*h, -4*h = -i for d.
0
Suppose 0 = 2*o + 2*o - 16. Suppose l + 2*l - 22 = -5*y, -4*y = -3*l + 4. Let k = o - y. Solve 12 = 4*u - 4*g + k*g, -u = -2*g for u.
4
Let c be 2/3 + (-17)/3. Suppose -5*n = 2*j - 2, 5*n - 65 = 4*j + j. Let x = c - j. Solve -g + 0*g + 2*z = -9, 0 = -x*g - 4*z for g.
3
Suppose -2*c = 2*f, 3*f + 5*c + 8 = -0*f. Let z = 11 - 29. Let g = 25 + z. Solve -f*b + g = -5*r - b, 0 = -b + 4 for r.
1
Suppose -3*l + 10 = -5*l - 2*p, 2*l - p - 5 = 0. Solve 3*m = -2*w - 0 + 3, l = -m - 3*w + 1 for m.
1
Let l be ((-23)/(-92))/(2/16). Solve -3*k - l*z = 1 - 2, -5*k + 7 = 2*z for k.
3
Let r(c) = 11*c**2 + 2*c - 1. Let q be r(1). Suppose 3*f - q = -f. Suppose g - 4*g = -f. Solve z - 5*n + 14 + g = 0, -15 = 4*z - 5*n for z.
0
Let x be ((-35)/14 - -2)/((-2)/8). Solve 5*h = x*m - m - 5, -2*m + 10 = -h for m.
5
Let a = -20 - -20. Solve 0 = -4*l - 12, -3*l - 10 = -d - a*l for d.
1
Suppose 4*z = -0*z + 52. Solve 7*l = 2*y + 4*l - 11, -2*y + z = -5*l for y.
4
Suppose -3*m + 2*m - 1 = 0. Let d be (5 - 5)/(m*2). Solve 6 = -3*q - 4*a + 17, -2*q + a = d for q.
1
Let z be ((-26)/12)/((-8)/48). Let o = 2 + z. Solve d = -5*q + 18, o = -0*d + 3*d + 2*q for d.
3
Let u(k) be the second derivative of k**4/12 - k**3/3 + k**2/2 + k. Let q be u(1). Solve 0 = 3*t + 2*t - 5*y, -3*y - 6 = q for t.
-2
Let m be 15 - 0 - 3/(-1). Solve 0*o = -o - 2*s - 13, 3*s + m = -o for o.
-3
Suppose -k - k = -6. Solve -z + v = -k*v, 0 = 3*z - 3*v for z.
0
Suppose a - 2 = 3*a. Let j = a - -3. Solve -j*w + w - 3*i = -7, -3*i = 4*w - 10 for w.
1
Suppose 2*f = 5*i - 2*i, f - 2*i = -1. Suppose -3 = b - 5*q, -5*b + 11 = 3*q - 2. Solve -t - 2*m + 15 = 0, -b*t - 20 = -f*t - 3*m for t.
5
Suppose 0 = -t + 3*t - 10. Let y = t + 2. Let x be (1 - 2 - -1) + 0. Solve 0 = z - d - y, x*d + 2*d = 4*z - 18 for z.
2
Suppose 3*l + 0 = -5*z + 9, -5 = -3*z - 2*l. Solve 0 = 5*h - s + 11, 2*h = 4*h - z*s - 6 for h.
-3
Let y = 2 - -2. Solve -y*p + 12 = 0, 6*p - 11 = 2*q + 5*p for q.
-4
Suppose 60*v - 65*v = -60. Solve 4*s - 2*k = -8, -2*k - k = v for s.
-4
Let t(p) = p**3 + 11*p**2 + p + 13. Let w be t(-11). Suppose -w*u + 2*k = -2*k - 10, 3*u - 15 = -2*k. Solve -u*d + 35 = -5*m, 5*d = -0*d - m + 23 for d.
5
Let c be 14/4 + 3/(-6). Let t be 3*(c + -6 + 2). Let k be ((-2)/(-4))/(t/(-12)). Solve -5 - 4 = -3*b + 3*y, -2*b = k*y + 6 for b.
0
Suppose -42 = 3*i + 3*d, -3*d + 70 = -4*i - 21. Let o = -13 - i. Solve 3*k + o = 5*b + 2*k, -18 = b - 5*k for b.
2
Suppose -2*j = -0*d - 2*d, 0 = -2*d - 5*j + 35. Solve -k - 15 = -d*a, 3*a = 2*k + 2*a + 12 for k.
-5
Suppose 3*j - 14 = -i - 3, -2*j + 9 = i. Solve -j*p + 26 = -2*s + 6*s, -4*s - 4*p + 36 = 0 for s.
4
Suppose -5*v = 3*k - 4, 5*k + v = k + 11. Solve -3*z = -5*l - 4*z - 5, -k*l + 9 = 3*z for l.
-2
Let f(x) = x**3 - 3*x**2 + 2*x - 3. Let w be f(3). Let p = -1 + w. Suppose p*y - 8 = -5*l, 0*l + 4*l = 0. Solve -4*z - 11 = 3*k - 2, 0 = -z + k - y for z.
-3
Let d = 88 - 62. Let h be 5 - 0/(-4 + 0). Suppose -h*g = -176 + d. Solve 0 = -3*y + 3*r + g, -18 = -3*y + r + 2 for y.
5
Let l be -2 + 1 + 1 + 21. Suppose t = -j + l, -2*j = -t + 15 - 42. Let r(y) = 2*y**2 + 4*y + 4. Let m be r(-2). Solve 5*u = -2*o - 11, -j = 2*u - o - m*o for u.
-3
Let f = -15 - -19. Solve 2*b - 10 = -5*q, 3*b - f*q = -0*b - 31 for b.
-5
Let j(i) = -14*i**3 + 1. Let l be j(1). Suppose 2*d - 9 = 1. Let n = d - l. Solve -3*b - 35 = -5*u, -2*u + n + 10 = -4*b for b.
-5
Suppose -2*a = -4*a + 6. Solve -3*k = h - 14, -a*k + 8 = 4*h - 3 for h.
-1
Let v(s) = s + 13. Let c be 1*((-2 - -3) + -7). Let g be v(c). Solve -g - 5 = -4*b, -3*b = -p - 6 for p.
3
Suppose -3*i = -c - 7 - 3, -i = 3*c - 20. Solve 0 = i*f + 4*u - 2, 2*u = 6 for f.
-2
Suppose 0 = -5*g + 10*g - 205. Let h(j) = 7*j - 1. Let n be h(-3). Let w = g + n. Solve 0 = v - 0*v - 2*p + 9, -w = 3*v - 2*p for v.
-5
Suppose -16 - 29 = -5*i. Let v be (3/i)/(1/6). Solve -5 = 2*h - 3*h, -4*w = v*h - 30 for w.
5
Suppose 0*g - 54 = -2*g. Suppose g = d + h + h, -d - 5*h = -39. Let o = -13 + 18. Solve -4*q - 3*m + d = q, -o*q + 2*m = -4 for q.
2
Suppose -3*v + 5 = -28. Solve 4*n - n + 11 = -i, n + 4*i + v = 0 for n.
-3
Let k be (-1)/(-3) + 32/12. Solve -4*x + 32 = k*i + 2*i, 2 = 2*x - i for x.
3
Suppose -2*a = -3*c - 3*a - 10, 2 = -3*c - 5*a. Let x be (-6)/(c - (-8)/4). Solve -2*v = -3*p + 1 - 6, -5 = -x*v + 2*p for v.
1
Suppose 0 = p - 13*p. Solve -y + 3*r - 8*r = 4, p = -4*y + 4*r + 8 for y.
1
Let t = 39 - 15. Solve 5*b = -3*y + t - 2, 2*y + 2 = 0 for b.
5
Suppose 5*p = 2*s - 7*s + 110, -s = 4*p - 34. Solve h - 18 = -2*h + 3*c, -5*c - s = h for h.
2
Let j be (1 - 0/(-4))/(-1). Let m = 2 + j. Solve -m = y + 3*h - 0, -5*y + 5 = 5*h for y.
2
Suppose -4*d - 27 = -143. Let p = -4 + 3. Let w = 3 - p. Solve -4*k + 1 + 3 = 0, d = -5*s + w*k for s.
-5
Let i = -8 - -6. Let j be ((-42)/(-24))/(i/(-8)). Solve -u + 3 = 0, -x + j = u + u for x.
1
Let d = 131 - 127. Solve 3*j + 10 + 3 = -q, 3*j = d*q + 7 for q.
-4
Let r be (-138)/9 + 10/(-15). Let n be (2 + -7)*(r + 11). Let w = -5 - -7. Solve 3*s = -4*a - 35, -4*s + w*a + n = -7*s for s.
-5
Let i(d) = d**2 - 2. Suppose -2*k + 2*w - 4 = 0, -6 = -3*k + 4*w - 16. Let o be i(k). Solve o*r - 8 = 6*s - 5*s, 3*s + 6 = -3*r for s.
-4
Let u(d) = d**3 + 9*d**2 + 14*d + 5. Let v be u(-7). Solve v*g + 40 = -5*q, 5*q = -2*g - 26 - 2 for g.
-4
Suppose 0 = -2*j + 8*j - 4*j. Solve -5*a - 3*f - 2*f = j, 0 = -3*a - 5*f - 6 for a.
3
Let w = 31 + -31. Solve 15 = -5*j + i - 5*i, w = 4*i for j.
-3
Let f be ((-15)/(-6))/((-3)/(-6)). Suppose 2*j = 4*w + 6 + 10, -f*j - 4*w = 2. Suppose -3*g + j*g = 0. Solve -5*l + 20 = -4*x + 8*x, g = 5*l + 3*x - 20 for l.
4
Let j be (28/49)/((-2)/(-7)). Let r be 140/(-21)*(-3)/j. Solve -4*n = 2*q - 2 - r, -5*q = -2*n + 6 for q.
0
Let y(k) = -k**2 - 9*k + 4. Let h be y(-9). Suppose 0 = -h*c + 2*c + 10. Solve -4*a - c*b - 26 = 0, a - b = 6*a + 22 for a.
-4
Suppose 0 = h - 4*o - 3, -2*h - 5*o + 0*o + 58 = 0. Let m be 4/(-12) + 4/12. Solve -2*z + 2*v = -0*v - 6, -5*z + v + h = m for z.
4
Let r(b) = -2*b**3 - 2*b**2 + 2*b - 1. Let c be r(1). Let m be (-1 - (-2 - c)) + 5. Solve 0 = -3*g - m*l + 3, 5*l + 11 = g + l for g.
3
Let m(r) = -5*r + 4*r + 9 - 8. Let k be m(-4). Let d(q) = q**2 + 2. Let w be d(4). Solve -3 - 13 = -5*t + f, -k*t + w = -3*f for t.
3
Let y(x) = -x**2