*j + 20 for x.
1
Let i be 0 + -4 + 2 - -4. Solve 4*a = -a - 5, i*p + 5*a = -7 for p.
-1
Suppose 0 = 2*r - r - 16. Suppose -4*x + 2*x - 8 = -4*g, 3*x - r = -g. Solve f - 2*b - x = 1, -5*b - 14 = -3*f for f.
3
Suppose 2*r - 19 = 17. Let k be 508/r - 6/27. Suppose 0 = 2*z - 2 - k. Solve -2*u + 3*a + 19 = 0, -5*u - 4*a - a - z = 0 for u.
2
Let t(l) = l**2 - 5*l - 2. Let y be t(4). Let q = y + 8. Suppose 2*r + 21 - 56 = 3*n, n = 2*r - 37. Solve 2*p - r = -3*x, q*x - 10 = p - 3*x for p.
5
Let o = 1 - -2. Suppose 4*v + 5*c = 23, 0*c + 9 = o*c. Solve -2*t = -4*y + v, -6*y + 11 = -5*y - 4*t for y.
-1
Let z be (16/3)/(4/6). Let h be (2/z)/(4/48). Solve -3*g + 12 = g - h*v, 4*v = -3*g + 9 for g.
3
Suppose 5*k - 13 = 2*i + 4, 3 = -3*i. Solve k*b = 2*d + 5, 2*b - 7*d = -2*d - 4 for b.
3
Suppose 4*t + 8 = 24. Suppose t*v = 4 + 16. Solve -5*p = 5*h - 5 - 0, 5*h - p - v = 0 for h.
1
Let x(a) = -2*a - 1. Let l be x(-1). Let i be 20/l - (-1)/1. Let z be (2/(-3))/(2/(-3)). Solve b = -2*q - z + 9, -i = -5*q - 2*b for q.
5
Suppose 2*i - i + 6 = 0. Let j be i/(-15) + 73/5. Let a = -4 - -4. Solve 5*u = -z, 2*z + a = 5*u + j for u.
-1
Let f = 14 - 9. Let a = 2 - 2. Let p be -1 - (-3 + a + 1). Solve -f*b - z = p, -z = b - 5*z + 17 for b.
-1
Let i(b) = -5 + 0 + 4 + 8*b. Suppose 2*c + 8 = m, 4*m - c - 9 = m. Let q be i(m). Solve -3*a + q = -0*a + 3*u, -4*a = -4*u - 4 for a.
3
Let a(h) = -h**2 - 7*h + 5. Let r be a(-7). Suppose 122 = 4*m + z, m + z - 34 = -z. Solve 2*o + 4 = -r*p + 2, 0 = 5*o - 5*p - m for o.
4
Let d = 57 - 27. Solve -5*t - d = -0*t + 2*w, -3*t - 3*w = 27 for t.
-4
Suppose i - 4*s - 14 = 0, 2*s + 35 = i + 5*s. Suppose -i = -2*w - 0*z - 5*z, 8 = 4*w - z. Solve -5*q + 24 = 4*g - w, 3*q = 3*g for q.
3
Suppose j = 6*j + p - 29, -45 = -5*j - 5*p. Let w = j + -3. Let m be w*(-3)/18*-15. Solve 4 - 1 = 3*c, 0 = -2*n + 3*c + m for n.
4
Suppose -26 = -2*i + 3*c - c, 3*i - 31 = c. Suppose 4*g - 7 = l, -5*g + 3 + 2 = -2*l. Solve r - 2 = v + 6, g*v + i = -2*r for r.
3
Let g(y) = y**2 + 17*y - 18. Let q be g(-18). Suppose -f + 2*f = 2. Solve 5*j + m = 2, -m = f*j - q*j + 1 for j.
1
Let r(c) = -2*c - 4. Let z be r(-13). Solve -4*i + 2*g = -18, -3*g - z = -0*i - 5*i for i.
5
Let i = -38 - -54. Let x = i - 16. Solve x*j - 2*j = 2*z - 8, 20 = 4*z for j.
-1
Let h(c) = -2*c - 12. Let b be h(-10). Solve 4*q = -4*l - b, -q + 5*q = 3*l - 8 for l.
0
Let m = 46 + -9. Suppose -7*j + 2*j - 4*n + m = 0, -j - n + 8 = 0. Suppose -3*k = -j*k + 10. Solve 0 = -3*b - k*o + 18, 2*b + 16 = 6*b + 4*o for b.
1
Let i = 6 + 5. Suppose -2*o = -4*p + 2*p - 2, -o + i = p. Solve -5 = -3*n - x + 3, 4*n + o = 2*x for n.
1
Suppose 2*d - 7*d = -s + 5, 5 = -5*d. Suppose -t - 64 = -5*t. Solve 4*x = -4*b + t, x + s*x + 2*b = 6 for x.
2
Let s = 7 - 5. Suppose -3*k - s*x - x = -24, x - 1 = 0. Solve t - m = k, -t + 4*m + 32 = 4*t for t.
4
Suppose 6*r = 3*r + 15. Solve -5 = 5*w + r*p, 4*p + 4 = -3*w + w for w.
0
Let w(d) = -d + 1. Let u be w(0). Let f be (-24)/(-40)*(4 + u). Solve 0 = -f*h - 3*s - 9, -2*h + 4*s + 12 = -0*h for h.
0
Suppose 2*b - 10 + 4 = 0. Suppose -x + 1 = -3*j + 14, 3*x = b*j - 3. Solve p + 4*n + 12 = 5*p, 4*n + j = p for p.
2
Let u = 92 + -53. Suppose -2*r + 3*j + u = 0, -r - 2*j + 22 = -j. Let z be (r/1)/3 - 1. Solve -s = -f + z*f + 2, 3*f - 6 = -3*s for f.
-1
Let x be (10/(-4))/(-5)*0. Suppose x = 4*j + 16, 0*j + 4*j - 11 = -3*d. Let z = 17 + -14. Solve i = 2*u + 8, -4*u + d = -z*i + 29 for i.
4
Let w = -15 - -25. Suppose 0*t - w = q + 3*t, 5*q = 4*t + 26. Solve q*x - 10 = 5*u - 3*x, 4*u - 10 = -2*x for u.
1
Suppose 0 = -3*k + 2*z + 2, -2*k - z = -3*z + 2. Solve k*y = 2*r + 20, 5*r + 2*y = -3*y + 25 for r.
0
Let u(p) = -3*p + 1. Let j be u(-4). Let h = -9 + j. Solve 0*n - 3*o = 4*n - 19, -9 = -h*n - o for n.
1
Let h = 99 - 99. Solve h*w + 2*w - 3*p + 20 = 0, w - 5*p = -24 for w.
-4
Suppose 5*d - 2*k + 0*k - 606 = 0, -4*d = 3*k - 471. Let p be (-2)/6*d/(-4). Let s = -4 + p. Solve 4*b = s*c - 2*c, b = -2*c + 3 for b.
1
Suppose -2*h = h + 54. Let z be h/(-5) + 2/5. Solve 4*g + z*j + 4 + 4 = 0, 14 = -g + 3*j for g.
-5
Let v(o) = 2*o + o - 2*o - 3. Let d be v(8). Solve 2*h + 1 = 3*y + 5, -d*y = -5*h + 10 for h.
2
Let g be 4 + (-4 - -5) + -1. Solve 2*j = -5*x + 20, -4*j = -g*x - j - 7 for x.
2
Suppose 0 = c - 22 + 2. Let v be (6/(-4))/(3/(-6)). Suppose -15 = -v*x - 0*x. Solve -4*m - c = -3*g, x*g = g + m + 5 for g.
0
Suppose -3*n - 3 = -0, -4*n - 10 = -3*r. Let l(w) = -5*w**2 - 3*w + 1. Let i be l(r). Let u = i + 48. Solve 5*j - a = u, -2*a - 13 = -4*j + 3 for j.
5
Suppose q - o = -2*o + 8, -4*q = -2*o - 32. Solve -2*g = q, -5 = 5*m + 4*g + 1 for m.
2
Suppose 4*j - 6 = j. Let y be 40/2 - (j + 0). Solve 5*c = 15, w + 2*c - y = -2*w for w.
4
Suppose -23 = -4*y + 3*u, -5*u = -0*y - 2*y + 29. Solve -2*i = -y*q - 6, 0 = q + i - 0*i + 3 for q.
-3
Suppose 4*c - 2*c = 0. Solve c = 4*t + 4*b - 12, t - 11 = -t - 3*b for t.
-2
Suppose -4*v + 20 = v. Solve k + 8 = -k, -5*d - v*k + 4 = 0 for d.
4
Let b be 4 - (-2)/((-3)/3). Suppose y - h - 5 = 0, -b*y = -3*y - 2*h + 5. Solve y*l + 25 = -5*d, -4*l = 3*d + 2*d + 23 for d.
-3
Let w be (-32)/(-8) + (-2)/(-2). Suppose -4*h + 26 = 3*i + 3, -w = -5*i. Let o be 0 + 1 + h + -4. Solve -2*c = -10, -4*j + o*c - 1 = 1 for j.
2
Let q(y) = 4*y**3 + 2*y**2 - 2*y. Let p be q(-2). Let a be p/12*-3 - 2. Solve -a*h - 3 = 2*v + 2, 4*h + 30 = 2*v for h.
-5
Let x = 7 + 0. Suppose -5*m + 10 = 5*y, -5*y = 2*m + 1 + 4. Let k be x*m/4*4. Solve k = 5*c + 5*u, 3*u - 21 = -6 for c.
2
Let s(l) = l**2 + 27*l + 81. Let p be s(-24). Solve 1 = -4*q - 2*z - p, -4*z = 12 for q.
-1
Let f be 0/(-1) + (1 - 29). Let h = f - -47. Solve -2*t + 4 = 3*n, t + 4*t - h = -3*n for n.
-2
Let f = 2 + 0. Let c = 22 + -22. Let d(u) = u**2 - 1. Let i be d(1). Solve j - 2*l - 2*l - 1 = c, i = 2*j - 5*l - f for j.
1
Let v be ((-87)/12 + 0)*-4. Solve 2*k - 10 = -3*q + 12, -5*k = q - v for q.
4
Suppose -205 + 7 = -i. Let z be i/8 + (-6)/8. Suppose -2*m + 2 + 4 = 0. Solve -4*n + m*n + 2*w = 5, -4*n - 3*w = -z for n.
3
Suppose 5*p - 2*o - 48 = 7, 2*p + o = 22. Solve -x - p = -3*h, -3*h + 4*x + 28 = h for h.
2
Suppose -i - 3*i - 4 = 0, 2*i - 15 = -m. Let t = -15 + m. Solve -3*h = -5*j + 13, -t*j = 7*h - 3*h for j.
2
Let o = -4 - -4. Suppose o*a - 3*a = -12, 0 = 3*r + a - 10. Suppose -2 = -2*i - 4*t + 10, -15 = -r*i - 5*t. Solve 15 = 4*y + v, 4*y - 4*v - 17 - 3 = i for y.
4
Let q(x) = x**2 - 10*x + 6. Let v be q(9). Let j be -2 + (-12)/(6/v). Solve 3*k = -j*l - 10, 0 = -3*k + l + l - 4 for k.
-2
Let h be (-2 - 2*-2)*5. Suppose 14 + h = 3*m. Solve -v + k = m, k + 28 = -2*v + 6*k for v.
-4
Let b(c) = -c + 6. Let f be b(3). Let z be (-6)/(-3)*27/6. Suppose z*r = 4*r + 140. Solve -4*g + 11 = -4*v - 5, -f*g = 5*v + r for g.
-1
Let i be 1/((-15)/(-12) - 1). Let l = -4 + 4. Suppose l = -k - k. Solve -i*q + 3*b = -q, k = 3*q + 3*b + 18 for q.
-3
Let r = 9 - -9. Let g = r - 16. Solve 2 = 4*s - 4*t - 6, -g*t + 20 = 4*s for s.
4
Let k = 17 + -12. Let z be (-20)/8*(-4)/k. Solve 4*c = -6 - z, 4*p + 6 = -3*c for p.
0
Let o(a) be the first derivative of -a + 1 - 1/2*a**2. Let m be o(-5). Solve -m*q - 10 = 2*z, 0*z = -q - z - 3 for q.
-2
Let d(g) = 4*g - 12 - 2*g - 6*g + 0*g. Let j be d(-6). Solve 3*b + 5*m = -j, 3*m + 4 = 5*b - 10 for b.
1
Let l(o) = -o - 4. Let w be l(-6). Let u be 6/3 + (w - 1). Solve 4*a = u*y - 19, -6*a + a + 3*y = 20 for a.
-1
Let v(q) = q**2 + 8*q - 9. Suppose -2*s + 20 = -4*s. Let g be v(s). Let u = -1 + 6. Solve 4*h + 17 = 4*l - g, 5 = u*l + h for l.
2
Suppose -u = -6*u + 60. Suppose 0 = 3*y + u, z + 2*y = 2*z - 11. Solve z*g - 4 + 10 = 0, 0 = 5*x + 5*g - 15 for x.
5
Suppose -5*l = q + q - 13, -4*q + 2 = 2*l. Solve 0 = -3*x - 3*n + 3, 5*x - 5*n - l = 2*x for x.
1
Let f be 40/7 + (-14)/(-49). Let v(k) = k**2 - 8*k - 2. Let m be v(f). Let o be (-68)/(-18) + m/(-63). Solve -18 = -o*r + g - 0*g, 3*r - 2*g - 16 = 0 for r.
4
Let f = 56 - 54. Solve i = -4, g + f*i = 3*g - 4 for g.
-2
Let c = -3 + 1. Let z be 6/c*(-1)/1. Solve 0 = z*j - 4*x, -3*j + x + 13 = j for j.
4
Suppose 5*z - 5*l = 10, -4*z + 8 = 2*l - 12. Let w = z + 0. Suppose -9 = -w*o + 11. Solve 0 = y - 4*x - 4, -y = o*x + 8 + 6 for y.
-4
Suppose 16*v - 48 = 13*v. Solve v = -5*h - 3*x, 5*h - x + 0*x + 28 = 0 for h.
-5
Suppose -2*m + 32 = 2*h, -4*h 