3*z = 4*p + 9 for p.
3
Let y be 1*-1 - (-3 + 1). Let n(v) = 2*v**2. Let t be n(y). Suppose 96*r - 1202 = 334. Solve 3*g - 4 = -t*j - 17, -r = -j + 3*g for j.
1
Let w = 1323 + -1321. Solve -5*k = -10, -5*p - w*k + 21 = k for p.
3
Let s = 50 - 23. Suppose 11*v - s = 2*v. Solve v*c = -5*g - c - 21, 0 = 2*g + 3*c + 14 for g.
-1
Let i(a) = -8*a - 116. Let c be i(-16). Solve 6*j - 6 = 3*j, -j + c = 5*b for b.
2
Suppose 2*a + 4*z - 22 = 8, a = -5*z + 30. Solve a*d - 3*o = o - 11, 3*d + 17 = 5*o for d.
1
Suppose -t + 4 = -1, g - 2 = 2*t. Suppose 5*a = 2*v - 0*a - g, 4*v - 54 = -5*a. Let i be 2/((-2)/4*-2). Solve -m + i*s = -11, m - 6*m = s - v for m.
3
Suppose -2*p = -3*v + 23, -6 = -2*v - p - 0*p. Suppose 0 = -3*r - 0*r + 6, m = v*r - 6. Let y = -35 + 39. Solve -m*z = -0*z + y*o - 16, -3*z = -5*o + 20 for z.
0
Let z(o) = o**2 - 23*o + 46. Suppose -144 = -12*n + 108. Let y be z(n). Solve -4*m - 5*d = -16 - 8, -2*d + 12 = y*m for m.
1
Let p = -257 - -259. Solve -4*w + 3*y = 2, 3*w = -p*w - 3*y - 16 for w.
-2
Let n(s) = -s**2 - 6*s + 1. Let z be n(-7). Let q = z - -7. Solve -6*i + q = 2*x - i, x - 5 = 2*i for x.
3
Let b = 57 + -55. Solve -z = -p - 4, -b = -4*p + z - 3 for p.
1
Suppose -6*y + 83 - 71 = 0. Solve -3*s = y*c + 17, -2*s + 2*c - 4 = 4 for s.
-5
Let o = 18 - 2. Solve 3*f = 5*y - o, 4*f + 0*f + 5*y = 37 for f.
3
Suppose -20*z = 15 - 115. Solve 0 = 5*a - z, 0*a - 4 = 3*l + 5*a for l.
-3
Suppose -3*i = -i - 4*g - 104, 0 = -3*g + 6. Suppose 4*y - i + 20 = 0. Solve n - q = -8, n + 3*q + 1 = y for n.
-4
Suppose 0 = 4*x - 20, -3*i + 4*x = -7*i + 36. Suppose 0 = 4*c - 9 - 59. Solve c = -i*j - 3*u, -5*u + 10 = -2*j + j for j.
-5
Suppose 4*r - 57 = 5*l + 11, -r - 3*l = -17. Let b(f) = 2*f**2 - 35*f + 24. Let n be b(r). Solve z + 3*k - n = 0, -4*z + 4*k = 6 - 2 for z.
1
Let l(t) = -t**2 + 4*t + 13. Let i be l(6). Let o be (1 + -3)*(0 + i)/(-1). Solve -5*p + o*p + 4*x = -32, 2*p + 3*x + 7 = 0 for p.
4
Suppose -4 = -7*m + 3*m. Suppose 1 + 1 = k. Suppose -8 = -4*c + 4*j - 2*j, 5*j - 16 = -k*c. Solve 0 = x + 5*i - 29, c*i - m = 5*x - 6 for x.
4
Let w = -553 + 555. Suppose -3*i + t + 15 = -2*t, -3*i = 5*t - 39. Solve 0 = -4*b - w*f - i, b + f - 16 = 5*f for b.
0
Suppose 6*f + 21 = -3. Let c = f + 9. Suppose 3*b + 2*b = -c, 4*b = -3*l + 2. Solve 0 = l*w - 3*w + p, -w - 3*p = -20 for w.
5
Let o(x) = -6*x + 66. Let y be o(7). Let k = y - 24. Solve -2*q = -k*q + 8, -4*q - 1 = -3*t for t.
-5
Let x = 2706 - 2701. Solve 0 = -x*g - h + 9, -4*h = -2*g - 9 - 5 for g.
1
Suppose 4 = 3*l - 2*l. Suppose 0 = 4*w - 0*j - 3*j - 17, -w = l*j + 10. Let q = 5 - 2. Solve -3*h + 18 = -f - 2*f, q*h - w = -5*f for h.
4
Let o be (-2)/(-11) - (-9 - (-516)/(-66)). Solve -m = -4*c + o, 0*c + 4*m - 8 = -3*c for c.
4
Suppose 5*w + 3*h - 6*h - 100 = 0, -5*w + 110 = -h. Solve -k + b - w = 6*b, -3*k - 29 = 5*b for k.
-3
Let a(b) = 20 + 17*b**2 + 30*b - 35 + b**3 + 18. Let q be a(-15). Solve 4*g + q*p + 21 = -2*p, -2*p = 10 for g.
1
Suppose 2*l + 37 = 43. Solve 0 = -2*z - l*d - 2, 3*z + d + 4*d = -3 for z.
-1
Suppose -19*j = -8*j - 55. Solve -3*l + 0*l - j*o - 14 = 0, o = -1 for l.
-3
Let f be 2 - -2*9/6. Suppose -f*q - 5*s + 35 = 0, 0 = -q + 3*s + s - 3. Solve -2*k + 16 - 42 = q*m, 24 = -3*m - 4*k for m.
-4
Let z = 35 - 33. Let y(x) = -7*x**2 - 1 - z*x**3 + 3*x**2 - 6*x - 7*x**2. Let c be y(-5). Solve 0 = 3*r - 12, -16 = c*k - 0*r - 5*r for k.
1
Suppose x + 4*k - 6*k = 12, 24 = 5*x - k. Solve -x*r + 3*s = -10, 0 = 2*r - s - 6 - 0 for r.
4
Suppose -8 = -2*f + 8. Suppose 5*u - 3*u - f = 0. Let q be 6/(-7)*(-147)/42. Solve x - q*b = -6*b - 12, -12 = u*b for x.
-3
Let l be 8/64*-4*-70. Suppose -3*o - 5*b = -0*b - 19, -2*o = b - 8. Solve 4*r + 5*d - 5 = -r, -o*d = -5*r - l for r.
-4
Suppose 4*c + v + 2*v = 13, 5*c = -3*v + 17. Suppose -c*i = 4 - 16. Solve -3*h + i*y + 12 = -0*y, -3*y = 15 for h.
-1
Let j be 18/(-4 + (-8)/(-4)). Let g = -9 - j. Suppose -10 = -2*f + 2*t - t, 0 = 4*t + 16. Solve -f = -u, 0*h + h - 4*u + 7 = g for h.
5
Let u(i) = i**2 - i - 2. Let x be u(5). Let r = -41 - -69. Suppose -z + 4*n + r = 3*z, 3*z + 7 = -4*n. Solve z*a - 2*g = -x, -3*a - g = -7 + 16 for a.
-4
Suppose 3*u - 4*p - 10 - 9 = 0, 0 = 2*p + 8. Let q be u + -1 - (-25 + -1 + 1). Solve -3*n = i - 11, -5*i = -2*n + n + q for i.
-4
Let r be 1*-2*(1 + -3). Let c(a) = a**2 - 5*a + 4. Let d be c(r). Suppose -4*s + 4 + 4 = d. Solve s*l - 3*z = -11, 0*l - 7 = 4*l - z for l.
-1
Let o(l) = -l**2 + 0*l**2 - 12*l**2 + 2*l**2 - 11*l + l**3 - 10. Let q be o(12). Solve 0 = 5*n + q*j, j = -0*j for n.
0
Let j be (52/(-130))/((-68)/(-70) + -1). Solve -4*k = 2*d + j, 2*k + 13 = -3*d + 4 for k.
-3
Let z = 831 - 831. Solve -3*j - 5 - 4 = 3*v, -3*j = z for v.
-3
Let a = 47 + -26. Let o = a + -9. Suppose -2*w - 3*v = 2*w - 19, -2*w - 2*v + 10 = 0. Solve -w*b + 0*n + o = 4*n, b - 5*n = -15 for b.
0
Let d be -1*2*(-335)/134. Solve -o + 4*a - 4 - 2 = 0, d*o = 4*a + 2 for o.
2
Let o(i) = 25*i + 152. Let r be o(-6). Solve g - 2 = r*k + 2, -k = -4*g + 16 for k.
0
Let n(f) = 10*f**3 + 9*f - 9. Let m be n(1). Solve 4*c + m = -2*y, 2*c + y = c - 4 for c.
-1
Let g(s) = -s**3 + 2*s**2 - 3*s + 48. Let q be g(4). Solve 3*j - 2*j - q = -o, 1 = o for j.
3
Let d(k) = -k**3 - 2. Let m be d(-2). Suppose 4*u = 5*u - m. Suppose -u*z + 2*z = 5*n - 2, 20 = 4*z - 4*n. Solve -s - z*w - 2 = 0, -3*w = 5*s + 13 - 3 for s.
-2
Suppose -4*d + 17 = -3. Let k be 5/d*(3 - 5 - -2). Suppose 0 = 6*c - 3*c - 9. Solve k = -4*p + c*f + 10, f + 11 = p - 4*f for p.
1
Let v = -12 + 18. Let j = -17 - -22. Solve 15 = 3*s - 4*a, v*s - s = j*a + 20 for s.
1
Let j = -8 + 13. Suppose 8 = -5*g + 2*u, j*u - 20 + 0 = g. Suppose g = o - 3 - 4. Solve 0*k - 3*k = 4*l + 2, -l + o = -3*k for l.
1
Suppose 4*y - 18 = -5*m, -2*y - 4 + 12 = 2*m. Let v be (3 - m)/(3/(-9)). Let s be v + 1/(-1)*-8. Solve d = -4*f - 1, -5*d + 3*f + 13 = s*f for d.
3
Suppose 27 = 11*r - 28. Solve v + v + 2*a = 6, 4*a - 30 = r*v for v.
-2
Let y(j) = 4*j - 5. Let z be y(4). Let b = 31 - z. Solve 0 = -4*g + 3*g, 4*v = -2*g + b for v.
5
Suppose 3*a - 35 = -7*j + 3*j, 36 = 5*j - 4*a. Let f be 10/(120/(-9))*j/(-2). Solve y + 5*r = -3, f*y - 5*r = 1 - 10 for y.
-3
Let v = 25 + -16. Let q(u) = -v*u**2 - 10 - 2 + 10*u**2 + 4*u. Let h be q(-6). Solve 3*a - l - 10 = 0, h*l + 5*l + 12 = -4*a for a.
2
Let m(s) = -2 - s - s - 20 - 2*s. Let k be m(-6). Solve h - k*x = 10, -4 = -5*h - x + 13 for h.
4
Let c(q) = 4*q**2 + q + 2. Suppose o = -2*o - 3. Let i be c(o). Solve -i*t = 3*b - 7*b - 13, -b = -5*t + 22 for b.
3
Suppose 5*j - 40 = 3*j + 5*p, p + 2 = 0. Suppose -8*r + 5*r = -j. Solve -2*q = -r*s - 14, 3*q + 3*s + 4 = -2*s for q.
2
Suppose 26 = 9*a - 28. Solve -2*u + a = -4*s, 15 = -2*u - s + 1 for u.
-5
Let f = 879 - 871. Solve 3*k - 2 = -c, k - 2*k + 4*c = f for k.
0
Suppose -7*c + 17 = -4. Suppose c*w - 1 = -0*w + 5*t, 3*w + 2*t = 8. Solve -b - 15 = 3*x + w*b, 4*x + 6 = 3*b for x.
-3
Suppose -46*s + 450 = 44*s. Solve 4*u + 35 = s*f, 2*u = -2*f + 13 - 17 for u.
-5
Let m be 10/(15/(-3))*-9. Suppose 3 = -5*h + m. Solve 5*s + 29 = -2*b, h*s - 5*b + 13 = -4*b for s.
-5
Let m(g) be the second derivative of -g**4/12 - 7*g**3/6 + 2*g**2 - 4*g. Let j be m(-7). Suppose j*t - 8 = 12. Solve 2*z = t*r + 11, r + 2*z - 2 = -3*r for r.
-1
Let u(z) = -z**3 - 26*z**2 - 49*z - 27. Let p be u(-24). Let y(k) = -2 + 0*k + k + 0*k**2 + k**2. Let a be y(p). Solve -10 = 5*c - 3*x, -a*x = -9*x - 25 for c.
-5
Let b be ((-196)/8 + 2)*4/5. Let x be 4/b + (-725)/(-225). Solve 4*m + x = 3*w, 0 = m + m - 2*w for m.
-3
Let r = 73 + 37. Suppose -17 + r = f. Let v = f + -50. Solve 3*s - 5*u + v = 8, 2*u - 3 = -s for s.
-5
Let c be ((-2)/4)/((-4)/104). Let x be (-2 - 6/(-4))*(c + -23). Solve -y + u = -2*y - 3, 0 = -x*u for y.
-3
Let y = 18 - 12. Let x(v) = -1. Let f(l) = l**2 - 3*l - 14. Let p(r) = f(r) + 3*x(r). Let u be p(y). Solve -2*n = -4*j - 6, 5*n + u = 2*j - 0 for j.
-2
Let t be 16/10 + (-8)/(-20). Suppose 8 = 4*m + 4*j, j + 4 = t*m - 9. Let u = -275 - -275. Solve 4*n + 5*c + 1 = u, 0*n + 3 = 3*n + m*c for n.
-4
Let s(k) = -k**3 + 5*k**2 + 3*k - 23. Let u be s(3). Solve 0 = -3*z - 0*z + 15, u*x = -3*z - 1 for x.
-4
Suppose 8 = 3*j - 4. Let b(x) = -4*x**3 - x**2. Suppose 3*c + 4 = -c. Let k be b(c). Solve -j*d = -3*u - 11, -2*u + 2*d - 23 = k*u for u.
-