 4*p + m - 28 = -2*x for x.
1
Suppose -4*z = -27 - 13. Suppose 2*l - 4*l = -z*l. Solve -b = t - l*t - 2, 17 = -4*b + t for b.
-3
Let q(u) = -u**3 - 14*u**2 - 13*u + 21. Let n be q(-13). Solve -2*l = -4*g + 24, -3*l = 5*g + 2 - n for g.
5
Let q = 4 - 1. Suppose q*b = -59 + 227. Let a be (-2)/7 + 296/b. Solve -4*x - 4 = 4*t, -2*t = -a*x - 3*t + 3 for x.
1
Suppose -2*d + 4*d + 18 = 0. Let o = 19 - 20. Let a be (d - o)*(-6)/12. Solve -a*j = -12, -2*w + 4*j - 6 = -2 for w.
4
Let h(m) = 2*m**3 - 3*m**2 - m - 2. Let j(u) = u**2 - 2. Let n be j(2). Let o be h(n). Solve -3*a + f - 5 = o, 0*a - a = 5*f + 23 for a.
-3
Suppose 6 = 6*k - 3*k - 3*p, -k - p + 4 = 0. Solve 4*l - 10 = -q + 6*q, k*l + 2*q - 19 = 0 for l.
5
Let f = -28 - -16. Let b be (10/3)/(4/f). Let d = 14 + b. Solve 3*v + 14 = -d*z, v + 4 = -v for z.
-2
Suppose 14*f - 27 = 1. Solve 3 = f*z - 5*a, 0 = -3*z - 3*a + 2*a + 13 for z.
4
Let f(j) = j**2 + 2*j + 5. Let o be ((-8)/(-7))/2 - (-72)/(-28). Let z be f(o). Solve 4*s - s - z = -2*d, 0 = -5*s + 5*d for s.
1
Let a be (-40)/(-18) + -6 + (-156)/(-27). Solve 3*q - 10 = -4*k + 22, 10 = a*k for q.
4
Suppose 0 = 5*n + n - 1248. Let p be (-4)/(-6) - n/(-48). Solve 2*i - 16 = 5*r, -1 = p*i + 3*r - 10 for i.
3
Suppose 5*k - k - 20 = 0. Suppose 3*s = -u + 32, -2*u + 52 = 8*s - 3*s. Solve -k*v + 16 = -o - v, -s = -4*o - 3*v for o.
0
Let j(s) = 5*s - 5. Suppose 2*l - 13 = 3*n, 5*n = -2*l + 2*n - 5. Let g be j(l). Solve 5*q = 4*r, g*r - 14 = -2*q + 19 for r.
5
Let a = 83 + -79. Suppose c = -b - 2, -a*c + 3*c - 4*b - 8 = 0. Solve 2*y + 2 = -2*t, 4*t + c*y + y = 8 for t.
3
Let z(y) = 9*y - 24. Suppose 0 = 2*o + 3*o - 5*r - 20, 0 = 2*o - r - 8. Let p be z(o). Solve 2 = -n, -c - p + 2 = 4*n for c.
-2
Suppose 9 = 2*s + r, 0 = -4*s + 8*r - 7*r + 33. Solve -4*i = -12, 2*x - 3*i + 2*i - s = 0 for x.
5
Let d(g) = -2*g**2 + 7*g + 1. Let s be d(3). Let j be (-4)/(-18) - 2/9. Solve -s = -2*b - j*b - 4*w, -3*b + 5*w = -17 for b.
4
Suppose -2*u = -3 + 11. Let f be (14/(-4))/(u/8). Let r be (-65)/910 - 171/(-42). Solve 7 = -k + 4*k - r*x, -f = k + x for k.
-3
Let p(i) = -i - 73. Let h be p(-4). Let v be (12/10)/((-2)/20). Let s be h/v + 3/12. Solve -4*o - g + 25 = 0, -g - s + 1 = -2*o for o.
5
Suppose 2*o - 4*p = -16, -5 = 3*o - 2*p - 1. Suppose 0 = -o*g + 13 - 11. Let v(t) = -t**2 - 11*t - 6. Let s be v(-10). Solve -5*m + g = -4, s*q + 2 = 2*m for q.
0
Let l(g) be the second derivative of -8*g + 0 - 25/2*g**2 - 1/2*g**3. Let c be l(-10). Solve 2*u = c*f - 3*u, 1 = u for f.
1
Let l(k) = k**2 + 29*k + 4. Let h be l(-29). Let d be (-3)/((-2)/2)*1. Let z be (-2)/d*(-180)/8. Solve 4*g = 4*s - h, -4*g = s - 1 - z for g.
3
Let x(r) = -4*r - 2. Let o be x(-1). Solve -3*u + 5 = -a, 0*u - 2 = -o*u for a.
-2
Let g(f) = -4*f**3 - 2*f**2 - 5*f - 3. Let p be g(-1). Solve -5*k = -n + 6, 2*k = -5*n + p*k + 7 for n.
1
Let c be ((1 + -1)/(10/(-10)))/(-2). Suppose c = 2*h - 10, -25 = -4*m - h - 4*h. Solve -5*l + 2*j - 20 = m, -2*j - j + 15 = 0 for l.
-2
Suppose 32 - 2 = 3*n. Suppose 4*r - 30 = n. Suppose 15*s - r*s - 10 = 0. Solve -4*a - j + 16 = 0, -s*a - 30 = -4*a + 5*j for a.
5
Let p be ((-2)/8)/(1/(-4)). Let n(r) = 3*r + p - 2*r - 2. Let j be n(6). Solve -5*k + 4*i + 2 = 3, -j*i - 1 = -4*k for k.
-1
Let c be (32/(-14))/(-1) + (-216)/756. Suppose 0 = -4*y - l + 16, -4*y + 0*l = 5*l - 16. Suppose m = y - 1. Solve 1 = c*b + x, m*b - x + 7 = -4 for b.
-2
Suppose 287 = 2*a - 3*r, -r + 2*r = 3*a - 434. Let z = -144 + a. Solve 2*f - 23 = -4*b - z, b = 4 for f.
3
Let z(t) = t**2 + 3*t - 35. Suppose -5*n + 2*s = 34, -3*n - 2*n - 31 = -3*s. Let y be z(n). Solve 3*x + 3*u = u + 4, -u + y = 3*x for x.
2
Let f(c) = -c + 8. Let b(w) = w**3 - 11*w**2 - 11*w - 6. Let v be b(12). Let y be f(v). Solve -3 = 3*g - 2*i - 13, 0 = 5*g - y*i - 18 for g.
4
Let a(h) = -h**3 - h**2 - h + 1. Let g(x) = -3*x**3 + 4*x**2 - 4*x + 11. Let q(f) = 2*a(f) - g(f). Let m be q(6). Solve 0 = -2*y, m*y - 8*y = -4*p - 16 for p.
-4
Suppose 28*q = -5*x + 26*q + 25, 3*q + 25 = 5*x. Solve -12 = 3*d + i, 5*d + x*i = -5 - 15 for d.
-4
Let x(s) = -12*s - 159. Let c be x(-14). Solve 2*q + c = -3*b, -b + 2*q = 7*q + 3 for b.
-3
Let n(h) = h**3 + 3*h**2 + h + 3. Let u be n(-3). Let v be 5 + -2 - (u - 2). Let k(j) = j**2 - j - 7. Let m be k(6). Solve -3*w - b = -v*b, m = 5*w + b for w.
4
Suppose -27*j = 18*j - 90. Solve 20 = 2*n - 4*c, 3*n + 10 = -j*c - 2*c for n.
2
Suppose -c + 5*p - 2 + 12 = 0, -p - 1 = 0. Suppose 5*x + 79 = 3*w, 4*x - c*w + 59 = -4*w. Let y = x - -23. Solve -y = -u - 2*a, -3*u + 6*a + 3 = 4*a for u.
3
Suppose 49*s - 73*s = -96. Solve 6*c - 7*c - 15 = 4*l, s*c = 4 for l.
-4
Let z(m) = m**2 - 16*m - 80. Let w be z(-4). Solve -h + 3*h + 4*b + 14 = 0, 4*h + 3*b + 3 = w for h.
3
Let y(j) = 2*j**2 + 43*j + 23. Let d be y(-21). Solve -d*m = 4, -5 = 3*t + m - 6*m for t.
-5
Let n = 40 - 38. Solve 4*r - 2*q - 7 = 9, n*r = 5*q + 24 for r.
2
Suppose -4*h = -3*d + 24, -2*h - 4*d - 21 = -9. Let x be (-4)/h - 26/(-6). Solve -5*i = -3*f - 40, -3*f - f = -x*i + 45 for i.
5
Let s = 229 + -229. Solve 2*d - 13 = -i, 3*d + s*i = -4*i + 32 for d.
4
Let u(q) = q**2 + 2. Let c(b) = -3*b**2 - b - 3. Let k(l) = -2*c(l) - 5*u(l). Let f be k(-4). Let v = 26 - 2. Solve 4*g = x - 5*x - 12, -v = f*x - 2*g for x.
-5
Suppose 0 = -4*x - 0*x + 16. Suppose 2*o + 9 = g - 5, x*o - 44 = -g. Suppose 3*j + 5*a - g = 2*j, a = 4. Solve 20 = -4*u - j*f, u - f + 5 = f for u.
-5
Suppose b = 5 - 3. Suppose -3*u = k + 5, -4*u - 4 = k + 4. Solve -4*f - 4 = -b*f + i, -4*i - 16 = -k*f for f.
0
Suppose -24 + 36 = 4*q. Solve q*j - 35 = 3*g - 2*j, 5*g + 17 = -2*j for g.
-5
Let p = 13 + -11. Suppose -p*k - 4*v - 20 = 0, 0 = -v - 3*v - 20. Solve 2*z + 6 = -z - 2*n, k = -z + 3*n + 9 for z.
0
Suppose 4*c = -13 - 67. Let r = c - -30. Suppose r = 6*a - 14. Solve -3*v + 5*o = -16 - a, -3*v + 12 = -3*o for v.
0
Let o be (1/3)/((-10)/(-150)). Solve 4*z + 2 = -2*d, o*d - 3*z - 12 = 3*d for d.
3
Let h be (-9)/(-15) - 96/(-15). Let k(a) = -a + 23. Let n be k(h). Solve 0 = 4*b - o + 4, -b - o - n = -5*o for b.
0
Suppose 12 = 3*w, 7*k - 2*k + 3*w - 47 = 0. Let d be (2 - (-3 + k))*-11. Let x = d + -21. Solve 5*c - 3 = -0*c + 3*z, x = -z for c.
0
Let c(h) = -2*h + 76. Let t be c(29). Solve -5*r = 3*z, -4*z - 8 = -2*r + t for z.
-5
Let y(r) = 13*r + 7. Let d be y(5). Suppose -3*n - 27 = -d. Let s be (3 + (-21)/7 + 4)/1. Solve x - s*x = n, -c + x = -2 for c.
-3
Let l(u) = 2*u**3 - 3*u**2 + u - 1. Suppose -2*b - 16 = -3*q, 8 = 4*q + 4*b + 20. Let z be l(q). Solve -16 = 4*k, -z*f + 8*k - 4*k + 6 = 0 for f.
-2
Let c(m) = m**2 - 20*m + 5. Let y be c(20). Solve 2*h = 4*a - 20, -y*h = -2*a + 3*a - 5 for h.
0
Suppose -101*l = -100*l. Solve l = -3*v - 9 - 3, -3*v = -2*y + 8 for y.
-2
Suppose 9*r + 6*r = 6*r. Solve 3*k + j - 15 = r, 8*k - 3*k - j = 17 for k.
4
Suppose 5*s + 388 = u, -402 = 4*s + 5*u - 109. Let o be (-14)/s + 20/11. Solve -3*x - 11 = -o*x + 3*f, -x - 2*f = 9 for x.
-5
Let a(b) = -b**2 - 2 - 27*b + 28*b + 3*b**3 + 0. Let h be a(2). Solve -x - 4*x = h, 6 = -o - 2*x for o.
2
Suppose 4*d = w - 40, -2*d + 2 = -w + 32. Solve 4*b + 0*i - w = 5*i, 5*i = 0 for b.
5
Let g be (1 - -29)*(-4)/(-10). Suppose 3*k + 3*c - 3 + g = 0, 4*k + c = 3. Solve -2*a = s + 1, 0 = 2*s + a - 0*a + k for s.
-1
Let b be (-30)/(-18)*18/5. Solve 0 = -2*y + 2*d - d - b, 15 = -5*y + d for y.
-3
Let r(y) = -3*y + 2*y + 6 - 2*y + 2*y. Let o be r(0). Let c(w) = 2*w - 10. Let l be c(o). Solve -4*i + 5*s - 16 = 0, 6*i + 3*s - 16 = l*i for i.
1
Let k = -536 + 541. Solve 0 = k*c - 3*p - 28, -4 = -c - 3*p - 2 for c.
5
Let m(v) = 2*v - 6. Suppose -1 = -o + s, 6*o - o - s - 17 = 0. Let g be m(o). Solve w - 18 = -5*p, -p + 3*w = g*w for p.
3
Let h(c) = c**3 + 6*c**2 - 3*c - 13. Let k be h(-6). Solve -6*g - 1 = -k*g + 2*r, -r = -g - 4 for g.
-3
Let l(w) = -w**3 - 2*w**2 - w + 2. Let c be l(-2). Suppose -2*d - 1 = -9. Suppose d = -13*v + 14*v. Solve 0 = c*y + 3*p, -2*y = -0*y + v*p for y.
0
Suppose 7*u - 269 = 60. Suppose 0 = 46*a - u*a + 4. Let y = 7 + -5. Solve a*h + 14 = -2*v, -y*h = -0*h - 4*v + 22 for h.
-5
Suppose x - 16 = 3*o, -5*x + 0*x - 4*o + 61 = 0. Solve 2*k = 5*w + x, -3*w - 15 = -6*k + 3*k for w.
-1
Suppose -y = -6*y. Suppose y = f - 5 - 0. Suppose -51*v + 673 = 10. Solve -4*b - 11 = f*i, -b + 5*i + v = i 