*b + 5*p + 3 for b.
1
Let j(p) = p - 3. Let q be j(5). Suppose 4*d - 4 = -12. Let o = q - d. Solve -2*g + 10 = -o*y - 4*g, 5*g = -y - 16 for y.
-1
Suppose 5*q + 37 = 2*x, -3*q = -2*q + 5*x + 2. Let b = 11 + q. Solve b*z = j - 14, z - 5*j = -4*z - 10 for z.
-4
Suppose -3*w + 92 + 1 = 0. Solve 3*h = 12, -w = -3*z - 6*h + 2*h for z.
5
Let m(g) = -g**2 - 5*g - 4. Let h be m(-4). Suppose -3*v + 114 = -h*v. Let b be v/8 + (-1)/(-4). Solve 2*y + 2 + 0 = -z, -4*z + 5*y = -b for z.
0
Let f(g) = 3*g - 2. Let j be f(2). Solve 2*p - 5*p = 5*u + 13, -j*p = 3*u + 10 for u.
-2
Let y be ((-1)/1)/(-2 - -1). Solve -y = -2*o - c - 2, 2*c = 10 for o.
-3
Let r = 3 - -2. Suppose -c + 3*h - 37 = -16, -r*h = -2*c - 38. Let g = -4 - c. Solve x + 2 + 6 = u, -u + g*x = -20 for u.
5
Let h(u) = u + 3. Let b be h(-2). Suppose -3*p + 5 = -b, z + p - 22 = 0. Solve -d = 4*v + 17 - 2, -v = 5*d - z for v.
-5
Let m be 5*((-21)/(-12) + (-3)/4). Solve 0 = 3*p - 7 - 8, 23 = -q + m*p for q.
2
Let l be 4 - 0/(3 + 0). Suppose 4*i = -i + 15. Let r = 3 + i. Solve l*p = -3*j - r, -5*j + 2*j - 5*p - 6 = 0 for j.
-2
Suppose 0 = -3*x + 2*x - 19. Let q = -8 - x. Solve 0 = -u + 5*b - 20, -u - 3*b + q = -9 for u.
5
Suppose -9 = -3*a + 7*j - 6*j, -3*j = -3*a + 3. Solve -3*p + f = -11, a*f - 2*f - 2 = 0 for p.
4
Let z be 3 - 1*(-2 + 5). Solve 5*y - 10 = 2*c - z*y, -5*c - 25 = -2*y for c.
-5
Let h(w) = -3*w + 3. Let f be h(-4). Let k be (f/10)/((-6)/(-8)). Solve -k*m + 3*m - 3*u = -2, 3*u = 4*m - 1 for m.
1
Let s(x) = x + 16. Let r be s(-9). Solve 3*l + r = -p, 3*p - 4 = -4*l - 15 for p.
-1
Suppose -5 = x, -x = 5*d + x - 25. Let l = -5 + 7. Solve l*w - 3*r = -2*w - 1, -4*w - d = -5*r for w.
2
Suppose 2*j + 56 = 9*j. Let o be (0 + -3)/((-6)/j). Solve 2 = b + x, -b = -o*x + 3 + 10 for b.
-1
Let j be (-38)/(-8) - (2 - 9/4). Solve -4*y + 4*u = -9 - 23, j*y + u = 22 for y.
5
Suppose 2*a - 24 = -2*s - 8, 4*s + 3*a = 28. Suppose 5 - s = x. Let k = x - 1. Solve -4*o + 2*p - 4 = k, -4*o + 0*p = 3*p - 6 for o.
0
Suppose 0 = 34*b - 31*b - 15. Solve 3*m = -5*i - 29, -5*i + 3*i + m - b = 0 for i.
-4
Let s = -12 + 35. Suppose 4*x + 4*d = 76, 3*d + s = -x + 2*x. Solve 0 = 3*y + 2*c + 3*c - 9, -4*c = -4*y - x for y.
-2
Let t = 28 - 26. Let k = -7 - -10. Solve -k*o = -9, 4*h = t*o + 2 - 0 for h.
2
Let l(g) = -2*g - 2. Let i be l(2). Let f = 9 + i. Suppose 2*u = -2 + 12. Solve 0*c = f*c - u*b - 23, 3*b = -12 for c.
1
Let u be 2/(-8) - 126/(-24). Suppose i + i = 4. Solve -u*l - 10 = p, -5 - 7 = 2*l + i*p for l.
-1
Let c be 3/(-12) - (-9)/4. Let w be c/8 + 30/8. Solve -b = 3*x - 4, -w*x + 3*x = 0 for b.
4
Let o(h) = 12*h - 2. Let i be o(-3). Let u = -26 - i. Let p(n) = 4*n - 4. Let y be p(3). Solve -4*b + 8 = 4*j - y*j, -j = 4*b + u for b.
-2
Suppose 2*n + 76 = 2*x - 6*x, -x - 2*n = 22. Let u be x/(-4) - (-1)/2. Solve 6 = 3*k, 3 + 6 = -z + u*k for z.
1
Suppose a - 5*a = -28. Suppose 9 + 3 = 4*o. Solve -n + 2*j - 1 = -2*n, o*n = 4*j - a for n.
-1
Let q(f) = -f**3 - 2*f**2 + f - 3. Let z be q(-3). Suppose -5 = -4*s + z*s. Solve 0 = -3*t + 2*h - 5, -2*h = -5*t - s*h - 2 for t.
-1
Let t(n) = -2*n - 1. Let i = 4 - 7. Let y be t(i). Solve z - v + 5*v = -19, -11 = y*z - v for z.
-3
Let l be 6*(-3 - 10/(-3)). Solve 0 = -2*d - x - 3, -2*x + 4 = -l*d - 4*x for d.
-1
Let q(b) = 2*b + 11. Let w be q(-5). Let r be 6*1/(-2)*w. Let m(g) = -2*g - 4. Let i be m(r). Solve i*t = -3*u + 4 + 2, 3*u = -3*t + 3 for u.
4
Let r be 5 + (2 - (-1 + 3)). Suppose 2*s - r*k - 25 = 0, -5*k - 21 - 4 = -3*s. Suppose -5 = -4*y + 3. Solve -y*b + 3*f = -1, -5*f - 27 = 3*b - s for b.
-4
Let z be (-1)/((-9)/6 + 2). Let m = -1 - z. Solve 4*u + r - m = -0, 3 = -r for u.
1
Suppose -25 = -7*q + 2*q. Suppose 0 = q*t - 24 - 16. Solve -d + 4*j + 1 - 12 = 0, 0 = -4*d - 2*j - t for d.
-3
Suppose 12 = 3*b + 2*r, -4*b - r + 6*r - 7 = 0. Solve x = -b*k - 9 + 3, -x = -k for k.
-2
Suppose -4*s - w = -43, -3*s - 3*w = w - 42. Solve 3*c = -d - s, -6*d + 5*c + 35 = -4*d for d.
5
Let o be 3 - -1 - (-32 - -32). Solve 2*v = -5*g + 31, 5*v - 5*g + 6 = -o for v.
3
Let o = 17 - 15. Suppose -o = -4*y + 14. Solve n + 9 = 5*g + 1, g + n = y for g.
2
Let q(t) = -t + 14. Let z be q(11). Let f = -5 - -7. Solve 5*g = -f*k - 0 + 21, 2*g + z*k = 15 for g.
3
Let w = 20 - 16. Solve 19 = 5*g + w*s, -s - 8 = -4*g + 3*s for g.
3
Suppose 30 = 6*o - 2*o - 2*l, 3*o = l + 20. Suppose -o*j = -10 - 5. Solve -5*r - 2*i + 6 = 0, -2*r + j*i - 9 = -7*r for r.
0
Let f(m) = m**3 + 7*m**2 - m - 5. Let j be f(-7). Let x be 20/j + -5 + 2. Solve 5*d + 4*i = -10 - 9, 2*d + x = -i for d.
-3
Let r(k) = -k**3 + 3*k**2 + 2*k - 4. Let o be r(3). Solve 5*u + 10 = 5*n, u = -o*u - 6 for n.
0
Suppose -15*h = -13*h - 8. Solve -h*g = g - 2*m - 31, 0 = -4*g - 3*m + 11 for g.
5
Let u be (-1)/(2 + 10/(-4)). Suppose 0*z = -u*z - 18. Let k(f) = f**3 + 10*f**2 + 8*f - 2. Let j be k(z). Solve s - 3*c = -j, -5*s + 4*c - 31 = -8*s for s.
5
Let u(j) = -j**3 + 4*j**2 + j - 5. Let h be u(3). Solve -l + 3*q = -h, -2*q - 1 = 2*l + 9 for l.
-2
Let q be (-3)/(-1) + 4/2. Suppose 7*i - 4*i = -6. Let h = i + q. Solve 0 = -h*x - 5*g + 5, -g + 6*g = x - 15 for x.
5
Suppose -2*i = -3*i + 2*g + 10, 4*i - 2*g - 10 = 0. Let t be i/(-1)*(-1)/(-2). Suppose -2*u + 2 = -t. Solve 0 = z - u - 3, -f + 21 = 4*z for f.
5
Suppose -3*p = -5*b - 24 + 3, -3*p + b + 9 = 0. Let n = -57 + 14. Let u = n - -64. Solve 3*c = 5*m - u, p*m + c = -1 + 5 for m.
3
Suppose 0 = 3*k + 2*i + 10, -2*k = -i + 2 - 0. Let j = 3 + k. Let v = -5 + 7. Solve 3*r = -3*h + 5 + j, 0 = 2*r + h - v for r.
0
Suppose k = -0*g - 3*g - 11, 2*k - 4*g - 18 = 0. Let n be (k/2)/((-1)/(-6)). Suppose 2*b - 6*b + 20 = 0. Solve -n*s = y + 3, b*s = 3*y + 4 + 5 for y.
-3
Let q(f) = -f**3 + 2*f + 3. Let z be q(0). Solve 4 = -z*y + 2*y - m, -2*y + 4*m + 10 = 0 for y.
-1
Let k be (10/(-5))/(1 - 0). Let i be k*((-12)/(-8) + -2). Solve 0 = 3*y - 1 - 2, 2*o = y + i for o.
1
Suppose -1 = -3*b + 2. Let a = 3 - b. Let i be 2/(-10) + (-62)/(-10). Solve -5*v + 13 = -a*x - i, 5*x = v + 10 for v.
5
Let g = -75 - -89. Solve -16 = -4*r - q, -g = -2*r + q - 0 for r.
5
Let g = 18 - 11. Suppose 12 = -3*t + g*t. Solve -t*j = 5*z + 13, -13 = j + 4*z - 4 for j.
-1
Suppose -3*q + 20 = 2*q. Let x(w) = -5*w - q + 3*w**2 + 2*w**2 - 4*w**2. Let s be x(6). Solve -3*g + s*v - 12 = -v, -g + 2*v - 7 = 0 for g.
-1
Let n be 2/7 + 54/7. Let h = 8 - n. Solve 2*w - 8 = 4*s, -3*w = -h*s + 5*s + 10 for w.
0
Let k(o) = -1 + 3 + 10 - o. Let f be k(7). Solve -2*c + 26 = -5*a, 14 = -f*a - 0*c - 2*c for a.
-4
Suppose 16*b + 7*b = 92. Suppose 0*l + 2*y - 16 = l, 3*y = 4*l + 44. Let z = -6 - l. Solve -3*u = 2*r + 3*r, -b = -z*u - 2*r for u.
5
Let l(r) = -r**2 - 2*r + 2. Let z be l(-2). Solve -2 = -2*d - z*b, -3*d - 4*b + 5 - 3 = 0 for d.
2
Suppose -i + 7 - 2 = 0. Suppose -5*b + b = -4*t + 108, 5*b = -4*t + 126. Solve -4*v = i*o - t, v + 7 = o + 3 for o.
5
Let o = 3 - 3. Suppose -3*w + 12 = -o*w. Let m be 0*1/(-4)*-2. Solve 3*b - 20 - 1 = 2*r, m = w*b - r - 23 for b.
5
Let y(q) = q - 6. Let k be y(5). Let v be (k + 0 + 1)*-1. Suppose 0 = 3*n - v - 15. Solve 0 = -4*s + c + 19, -4*s + 5*c = -2*s - n for s.
5
Let i(p) = -3*p**2 + 38*p + 10. Let n(a) = -a**2 + 13*a + 3. Let d(b) = -4*i(b) + 11*n(b). Let q be d(10). Solve -q*w + 3*h = 15, 3*w - 5*h + 3 = -12 for w.
-5
Let c(m) = -m**2 + 5*m + 10. Let d be c(4). Solve 5*y + 15 - 4 = -2*q, y - 5*q = d for y.
-1
Let q = -314 - -141. Let j = -93 - q. Suppose 5*o = j + 10. Solve 2*y - 3*s = 5*y + o, 3*s + 3 = 0 for y.
-5
Let z(u) = -11*u + 1. Let w be z(-1). Suppose -4*k + 12 = -w. Let o be 2/4 + k/4. Solve 3*v - 10 = -4*d + 2*d, 5*v = -o*d + 14 for v.
2
Let c(d) = -d**3 - 4*d**2 + 4*d - 5. Let z be c(-5). Suppose s = -z*s + 3, 0 = 4*y + s - 39. Solve -2*t = -2, y = -2*r + 7*t - 2*t for r.
-2
Let n = -16 - -4. Let j = -8 - n. Suppose j*a - g - 18 = 0, -a + 3*g = 2*g - 6. Solve -2*u + a*l = 24, 4*u + 3*l + 3 + 1 = 0 for u.
-4
Suppose -5*g = -5*j, -4*g - 20 = -8*g. Solve 4*n = j*c - 0*c - 31, 3*c + n = 5 for c.
3
Let g(v) = 2*v**2 + 3*v - 13. Let f be g(4). Solve -2*o + 5*h + f = 2*o, 4*o = -2*h + 10 for o.
4
Let w = 12 + -9. Let f be (32/24)/(2/w). Solve 2*v + 4*p - 1 = 3, 3*p = -f*v + 2 for v.
-2
Let o = 11 - -23. Suppose 4 = -3*l + o. Solve r + 3*u = -0*r + l, -3*r + 14 = 5*u for r.
-2
Let q be 