 + b. Solve 9*j - k = p*j for j.
1
Let i be (-21)/1*6/(-9). Solve i = -5*z - 6 for z.
-4
Suppose g - 3 - 3 = 0. Suppose 11*l - g*l - 10 = 0. Let i(d) = d**3 + 2*d**2 - 3*d. Let j be i(-3). Solve -8 = -l*t - j for t.
4
Suppose -11 - 1 = -4*u. Solve 0 = -4*m + 23 - u for m.
5
Suppose -4*l + 16 = -2*l. Let r(j) = j - 5. Let w be r(7). Solve -l = -2*u - w*u for u.
2
Suppose 3*q - 4*h + 1 = 3, 0 = 4*q - 5*h - 3. Solve -q*v = -v for v.
0
Suppose -a - 43 = -4*a - z, -2*z = -8. Suppose 2*v + 2*l = -2*v - 8, 4*v + 4*l = -16. Solve 3*i - a - 2 = v for i.
5
Let v = -6 + 10. Suppose 4*y - 20 = -0*y. Solve a - y*a = -v for a.
1
Let r(v) = v**3 - 4*v**2 + v - 4. Let u be r(4). Let n = -4 - -7. Suppose -g = -n - u. Solve -2*w + w = g for w.
-3
Suppose 0 = -3*f + 6*f - 12. Solve c + f*c = -25 for c.
-5
Suppose 0 = 11*q - 12*q. Solve q = -0*l + 5*l + 20 for l.
-4
Let o(f) = f**3 + f**2 + f + 1. Let a be (5/15)/(1/(-3)). Let d be o(a). Solve d = x - 5*x - 8 for x.
-2
Let c be (12/48)/(2/(-12))*-2. Solve -c*g = -4 + 7 for g.
-1
Suppose 17*r - 16*r = 0. Suppose 3*l - 3 - 9 = 0. Solve -u - l*u - 10 = r for u.
-2
Let f be (2 + 1)/(27/18)*1. Solve 0 = f*g - 0*g for g.
0
Suppose 25 = -5*g, -5*l + 34 = g + 9. Let h(v) = v**2 - 4*v - 7. Let k be h(l). Suppose -4*s = -f + k*f, 3*s = -f. Solve -3*w = -f*w - 6 for w.
2
Suppose -5*f - 7 = 13. Let n = f - -8. Solve 3*g - 2 - n = 0 for g.
2
Let w = -142 + 285. Suppose 0 = 5*a + 4*x - w, -3*x = a - 0*x - 33. Suppose j - 3*t = 4*j - a, -33 = -2*j + 3*t. Solve 3*v = 7*v - j for v.
3
Suppose 0 = -4*n + p + 8, -5*n + 0 = 2*p - 10. Solve n*t + 3*t = -25 for t.
-5
Suppose 0*h = -4*h + 8. Suppose 4*c - 23 = -b, -h*c - 10 = 5*b - 7*c. Solve 0 = -b*q + 5 + 10 for q.
5
Let f(y) = 3*y - 3. Let r be f(6). Let w(a) = -12*a**3 - a**2 - 2*a - 1. Let x be w(-1). Suppose 2*h + 2*h = x. Solve 0*o - r = -h*o for o.
5
Let h(t) = 3*t**2 - 4*t - 6. Let i be h(3). Solve -4*x - 7 = i for x.
-4
Let l(r) = r**3 - 7*r**2 + 7*r - 6. Let f be l(6). Suppose f = 4*y - 2*y. Solve y = 4*x - 3*x for x.
0
Suppose 0 = -2*k - 3*k - 2*l - 20, -2*k = -l + 17. Let w be 1 + 2/k*-3. Solve -2*b - w = -0 for b.
-1
Let m(k) = k**3 + 23*k**2 + 22*k + 3. Let s be m(-22). Solve s*n - 1 = -7 for n.
-2
Suppose 2*d + 3*d = 25. Suppose 11*m = 7*m + 28. Let b = 7 - m. Solve b*u - 15 = -d*u for u.
3
Suppose 2*a = 4*h - 16, 2*a - 7 = -4*h + 1. Suppose -h*t = -6*t + 6. Solve c = -t*c + 9 for c.
3
Let n be (-1)/3 - 98/(-6). Let y = 206 - 201. Solve y*r - r = n for r.
4
Let b(w) = w - 12. Let c be b(12). Solve 0 = 3*q - c*q for q.
0
Suppose 10 = -5*y + 30. Let s(c) = -3*c - 1. Let i be s(-1). Solve i = q + y for q.
-2
Let u = -3 + 8. Solve -u = -4*q - q for q.
1
Suppose -2*f + 3*a = 4 - 2, -16 = 4*a. Let u(p) = p + 9. Let d be u(f). Solve -t + d = -1 for t.
3
Suppose 0 = -2*n + 4*n - 24. Suppose -4*s - 3*l - 2*l - n = 0, -2*l = -3*s + 14. Let k(u) = -3*u - 3. Let p be k(-2). Solve -s*y - y = p for y.
-1
Let c = 5 - 3. Suppose -c*m + 1 = 3*s - 16, 4*s = -m + 16. Let i = 9 - m. Solve 0 = -f + i*f - 8 for f.
2
Suppose -4*g + 5*c + 5 = 0, -2*c - 6 = -4*c. Suppose 0 = g*t - 33 - 7. Solve 0 = -2*w - 0 + t for w.
4
Let z = 8 - 5. Suppose -4*y + 30 = -g + z*g, -4*g = -2*y + 20. Solve y = -3*v + v for v.
-4
Let i be (2 - -1) + 1 + 0. Let y be 2 + -1 + (3 - 0). Suppose -t + 1 = -y*t + r, -3*r + 3 = t. Solve o = -t*o - i for o.
-4
Let d = 38 + -35. Solve 0 = -8*a + d*a - 10 for a.
-2
Let u(x) = -2*x - 11. Let w be u(-8). Solve w + 1 = -2*m for m.
-3
Suppose 4*r = -0*r + 8*r. Solve 4 = -4*c - r for c.
-1
Suppose 4*l - 1 = 3*f + 2*l, -4*f - 4*l = 8. Let n be f*3/(-6)*10. Solve z = -0 - n for z.
-5
Let k be (-1)/(-5) - 54/(-30). Solve -12 = k*r - 4 for r.
-4
Suppose -3*f + 23 = m - 3*m, 4*f - 3*m - 30 = 0. Solve q - f = 4*q for q.
-3
Let u(y) = -y**2 - 9*y - 9. Let q be u(-7). Suppose -2*l = -q*f + 2*f - 6, -6 = -2*l + 4*f. Solve -l*v = -10 + 1 for v.
3
Let i be (12 + -11)/((-2)/4) - -2. Solve i = 3*l + l + 12 for l.
-3
Let u be (-21)/70*-14 + 4/5. Solve 0 = -4*g - 21 + u for g.
-4
Suppose -3*d - 3 = -6. Let s be 4 + ((-4)/1)/d. Solve s*i + 5 = i for i.
5
Suppose -3*x + 0*x = 0. Suppose x = -2*o + 4*o - 12. Solve 0 = -4*b + b + o for b.
2
Let t be (18/6)/(3/(-15)). Let r = t + 19. Solve b + r = 2*b for b.
4
Let o(y) = -28*y. Let i be o(5). Let m be (-2)/(-6) - i/12. Let t(w) = 4*w**3 - w**2 + 2*w - 1. Let v be t(1). Solve v*s + 0*s + m = 0 for s.
-3
Let o be (-8)/(-6)*6/4. Suppose 3*u + o + 6 = 4*q, 0 = q + u - 2. Suppose -4*j + 25 - 3 = q*g, 4*j = 4*g + 4. Solve g*b + 0*b - 3 = 0 for b.
1
Let q(j) = -25*j**3 - j**2 - j - 1. Let n be q(-1). Suppose 2*w + n = 3*w. Suppose -h - h = -w. Solve -a - h = -4*a for a.
4
Let t(p) = -p**3 + p**2 + p. Let v be t(0). Let f = 4 + -6. Let c be 3 + f - (-3)/1. Solve v = -4*d + c for d.
1
Let u(w) = -w**3 - 7*w**2 + 13*w + 44. Let y be u(-8). Solve 0 = 2*m - 4*m - y for m.
-2
Let k = -47 - -42. Suppose 4*b - 23 - 21 = 0. Let j = b + k. Solve w = j*w + 5 for w.
-1
Let y = -46 + 48. Solve a + 4 = y*a for a.
4
Let w = 6 + -3. Solve w*l + 16 = -l for l.
-4
Let l(q) = -q + 10. Let g be l(7). Solve g = -h + 5 for h.
2
Let y(j) = j**3 - 5*j**2 - j + 5. Let v be y(5). Suppose 9*a - 4*a - 60 = v. Let c be 2*(-2)/(a/(-9)). Solve 0 = -m - 0 + c for m.
3
Suppose 0*b = -4*b + 5*s + 1, 4*s = -b + 16. Let l be (-2)/(8/(-20) - 12/45). Solve l*u + b = 5*u for u.
2
Suppose -3 = 3*i - 12. Let l = 6 - i. Let k be (-26)/(-4) + l/(-6). Solve -6*a - k = -3*a for a.
-2
Let q = 4 - 31. Let j be 1*-2*q/6. Let z = 6 - 4. Solve -z*y + j = y for y.
3
Suppose -q = -1 - 6. Suppose x = -3*x - z + q, 4*z = -x - 2. Solve -4*i + x = 18 for i.
-4
Suppose -5*z - 11 = w + 8, 0 = 5*w + 3*z + 7. Let y = -49 + 52. Solve -y*m + w = 7 for m.
-2
Let c = 7 + -10. Let f = c + 7. Suppose f*v - 9 = v. Solve -v*g = -g for g.
0
Suppose 8 + 2 = 2*l. Let d = -1 + l. Solve -2*z + d = -3*z for z.
-4
Suppose i + 10 + 1 = 5*t, 2*i + t = 0. Let l(f) = f**3 + f**2 - f. Let z be l(i). Let s be (-16)/28 + (-109)/(-7). Solve 4*m + z = -s for m.
-4
Suppose 3*i = -2*j + 6*i + 45, -4*j = 2*i - 98. Suppose 0 = 4*q - 4 - 0, 3 = v - q. Solve 0 = v*s + j - 4 for s.
-5
Let j(b) = -b**2 + 2*b - 3. Let h be j(3). Let s be 3/((-2)/(8/h)). Suppose -2 = -3*a + s*a. Solve 3 + a = -c for c.
-5
Let h(v) = 3*v - 7. Let o be h(5). Suppose 5*d - 4*z + o = 0, -d - 2*z + 8 = 2*z. Solve d = 2*n - 7*n - 25 for n.
-5
Let g be ((-14)/(-2) - 0) + -2. Let q = -11 + 8. Let o = 6 - q. Solve g*f + o = -1 for f.
-2
Let i be 2/(25/(-23) + 1). Let p = i - -43. Suppose 0 = j - 5*j + p. Solve j*w = -3 + 23 for w.
4
Let u be (-24)/(-10) - (-2)/(-5). Suppose -2*y + 5*j = -25, j = 2*y + u*y - 23. Suppose 0 = y*x - 63 - 2. Solve 4*r - 3 - x = 0 for r.
4
Suppose -4*g = g - 10. Let y be (0 + -1 + g)*10. Solve -3*z = -z + y for z.
-5
Let m(a) = a**3 - 14*a**2 + 14*a - 11. Let w be m(13). Solve -w*o - 6 = -4*o for o.
3
Let x = -4 - -15. Solve 4*z - x = 9 for z.
5
Let y = 42 + -42. Solve y = 2*r - 3*r + 2 for r.
2
Suppose 0 = 3*d - 0*d. Suppose d = -n - 5*p + 29 - 1, 13 = -4*n + 5*p. Solve -7 - n = -5*y for y.
2
Let z be (-4 + 6)/(2/2). Suppose -b - 8 = -w - 3*b, 5*b = -z*w + 17. Solve -w*q = -2*q for q.
0
Suppose 4*z + 4 = 5*l - 11, -4*l - 3*z - 19 = 0. Let g = 3 - l. Solve -2*n = 4 + g for n.
-4
Suppose -5*n - 24 = -74. Let x = n - 10. Suppose -h = 2*h - 6. Solve x = -3*l + h*l - 4 for l.
-4
Suppose 5*d - 50 = -2*h, -2*d + 3*d - 2*h - 10 = 0. Solve 5*y - 3*y + d = 0 for y.
-5
Let j = -7 - -11. Solve d = j - 0 for d.
4
Let p = 49 - 37. Solve -4*y + y = -p for y.
4
Suppose 2 = -2*x + 2*m - 0, -5*m = -2*x - 17. Solve 0 = x*u - 4 - 0 for u.
1
Suppose -36 - 92 = -8*m. Solve 8*x = 4*x + m for x.
4
Let k(t) = 12*t - 41. Let o be k(4). Solve -o*v + 5*v = 4 for v.
-2
Let x = -67 - -70. Solve -2*y - 4 = -x*y for y.
4
Let j = -1 - -3. Suppose 0 = 3*f - 5*g + 25, 2*g + 7 = 17. Suppose f = s + j*s. Solve -u - 1 = -s*u for u.
-1
Let l(p) = -4*p**2 + p + 1. Let w be l(3). Let h be (-30)/4*w/(-6). Let d be ((-16)/h)/(2/10). Solve 0 = -d*m + 4 - 0 for m.
2
Let c be (-2)/7 - (-4)/14. Suppose 3*r = c, 8*r = 3*p + 3*r. Solve -w + p = -3 for w.
3
Let t(c) = -c**3 - c**2 + c + 1. Let u(f) = f + 10. Let n be u(-6). Let x = n + -5. Let i be t(x). Solve -8 = -i*q + 2*q for q.
-4
Let