ve l*m = -7 - k for m.
-4
Suppose -3*b = -3*p - 69, -3*b + 2*b - 5*p + 5 = 0. Suppose -3*j - d + 11 = 0, 2*j - 4*d = -10 - 6. Let y = -1 + 1. Solve y = j*z + 3*z - b for z.
4
Suppose -5*l + 2*l = -63. Suppose -5*j + l = -q - 0*q, 3*q = 12. Solve -2*s + j = -3 for s.
4
Suppose 4*s - v = 15, 3*v = -2*s + 2*v + 9. Suppose -s*h = -2*h. Solve -2*r - 2 = -h*r for r.
-1
Suppose 4*c = 3*c + 3. Suppose 2*x = c*d + 6*x + 7, -2*d = -4*x - 22. Solve -4*b + d*b - 2 = 0 for b.
-2
Suppose -126*x + 125*x - 5*y = 2, 5*x = -2*y + 13. Solve x*p + 34 = 19 for p.
-5
Let i(g) = -9*g**2 - 31*g - 21. Let u(a) = 4*a**2 + 15*a + 11. Let v(s) = 3*i(s) + 7*u(s). Let n be v(-11). Let x = -1 + n. Solve x*d = -d for d.
0
Suppose -62*b = -67*b - 40. Let a = 4 - 8. Let o be (b/2 - a)/1. Solve o*t = -2*t - 10 for t.
-5
Let n = 29 + -26. Suppose -4*r + 5 = -n*r. Solve 7 = 3*g - r for g.
4
Let a = -6 + 8. Let r = 250 - 214. Suppose -u - a*s - 3 + 7 = 0, -r = -2*u + 3*s. Solve -4*q - u - 4 = 0 for q.
-4
Let o be 30 + (6 - (-72)/(-4)). Solve 5*r + 8 = o for r.
2
Let g be (-64)/(-8) + (8 - 13). Solve -g*i - 18 = -9*i for i.
3
Let c(n) = -2*n**3 + 11*n**2 + 8*n - 8. Let t be c(6). Let x be (7 - (-51)/(-6))/((-2)/t). Solve 0 = -0*a - x*a + 9 for a.
3
Suppose 0 = c + 1 - 11. Suppose -v = 3*d - c, -d + v = -9 + 3. Suppose -f + 2 + 6 = b, -2*b + 26 = d*f. Solve -2*h + h = f for h.
-5
Let k(g) = g + 12. Let n(j) = -12*j**3 - j - 1. Let v be n(-1). Suppose -v + 44 = -4*o. Let i be k(o). Solve -f = i*f for f.
0
Suppose 12*a - z - 4 = 11*a, 4 = 5*a - z. Solve a = -2*o - 4*o for o.
0
Let y(h) = -3*h + 119. Let t be y(37). Solve 35 = t*u + 11 for u.
3
Suppose -13*t = -21*t + 360. Solve -o - t + 42 = 0 for o.
-3
Let q be ((-58)/8)/(88/(-352)). Solve -q*o = -4*o - 100 for o.
4
Let a(b) = -b**3 - 4*b**2 + 8*b + 1. Let r be a(-6). Let k(w) = 6*w + w**2 - 11 + r - 4. Let q be k(-4). Solve -2 = -2*c + q for c.
2
Suppose 25 = 5*y - 2*i - 34, -62 = -5*y + i. Solve -14*c + y*c - 1 = 0 for c.
-1
Let m = -1 + -13. Let f be (-533)/(-91) + (-2)/m. Suppose -5*x = -4*v + 28, f*x + 8 = -4*v + 2*x. Solve 0*r + r - v = 0 for r.
2
Suppose g = -2 + 4, -4*j + 5*g = 222. Let p = j + 56. Solve p*s = -2 - 4 for s.
-2
Suppose 5*k + 6 - 46 = 0. Solve k*c = 10*c - 4 for c.
2
Let d(c) = 2*c + 7. Let i be d(-3). Let w be (3/2 + i)*36/10. Solve -4*t - 1 = -w for t.
2
Let d(f) = f**2 - 3*f - 22. Let g = 2 - -5. Let v be d(g). Solve -2*b + v*b = 0 for b.
0
Let w be 3 + 12/(-4 + 0). Suppose w*n = n. Solve 3*d = -n*d + 15 for d.
5
Suppose -4*l + 7*l = -3*m + 12, 4*m = -2*l + 8. Suppose m = -7*p + p + 6. Suppose -5*i = -p - 4. Solve -4*y - i = 15 for y.
-4
Suppose 2*m - 4*h - 34 = 0, -4*h + 17 = -3. Solve -4 = m*d - 25*d for d.
-2
Let a(y) = -y. Let h be a(-3). Let x = -42 - 62. Let w = 111 + x. Solve -w*v = -h*v + 16 for v.
-4
Let l(a) be the second derivative of -a**4/12 + 3*a**3/2 - 5*a**2 - 4*a. Let v be l(7). Let j be 0/15 + (-4)/(-2). Solve -2*s = j*s - v for s.
1
Suppose s - 6*u + 7*u = 4, -7 = -2*s - u. Solve -s*m = 4 - 13 for m.
3
Let o(a) = -12*a**3 + a**2 + 3*a + 2. Let b be o(-1). Let m = b + -2. Solve -v = -3*v - m for v.
-5
Let s = 861 + -854. Solve -46*m = -39*m + s for m.
-1
Let m(d) = 6*d - 123. Let s be m(21). Solve 13 - s = -2*a for a.
-5
Suppose -290 = -8*y - 2*y. Solve -4*s - y = -21 for s.
-2
Suppose 5 = -2*h + 15. Suppose 33 = 2*g + 3*t + 4, 3*g - 91 = 5*t. Suppose 0 = -g*d + 5*d + 255. Solve 0*z = -h*z - d for z.
-3
Let q be (-259)/(-21) + (-1)/3. Solve 3 = -q*f - 9 for f.
-1
Let i(k) = -k**3 + 2*k**2 - 1. Let l = -2 - -1. Let a be i(l). Let g be 0/(-1*a/(-2)). Solve 0 = o - g*o + 4 for o.
-4
Suppose -132 - 306 = -73*y. Solve -20 = 10*w - y*w for w.
-5
Let n be (3 - 4)/(4/(-12)). Let y be (0 + 1)*(6 - -2). Solve -n*h + y = -4 for h.
4
Suppose 0 = -0*o + o - 5. Suppose 8*r = 6*r + 4. Suppose 0*t + o*t + r*b - 6 = 0, 2*t = -4*b + 12. Solve -4*h + 2*h = t for h.
0
Suppose -4*d - 24 = -4*c + 8*c, 2*c - 8 = 2*d. Let q be (-8)/(-12) + c/(-3). Solve 0 = -3*n - q - 11 for n.
-4
Let c(a) = -a**2 - 9*a - 8. Let l be c(-7). Suppose -l*i = -4*f - 11*i, -2*i = -2*f. Suppose f*o = -3*o. Solve -k + 1 + 1 = o for k.
2
Suppose 2 = 3*u + 5*v + 62, -3*v = 4*u + 69. Let l be u/9*(0 - 3). Solve -3*b + 10 = -l*b for b.
-5
Suppose 0 = -17*m + 19*m - 8, 3*m = -y + 18. Solve -31 = -5*l - y for l.
5
Suppose 0 = 4*u + 2*j - 14, 4*j = 9*j - 15. Suppose 40 = 4*o - 5*s, 2*o - 3*s - 14 = -u*s. Solve 0*i + 20 = o*i for i.
4
Let g(v) = v**2 + 7*v + 14. Let y be g(-5). Suppose -73 = -5*r + y*o, -3*r - o + 4*o + 42 = 0. Let j be 1/1 + -18 + r. Solve j = -2*x - 4 for x.
-2
Suppose -5*x + 2*i = -2, -2*x - 11 = -4*i + 1. Solve 0 = x*j - 10 for j.
5
Let m be ((-14)/(-4))/(28/16). Solve -4*u + m*u = 8 for u.
-4
Suppose -5*z + 37 = 4*u, -2*z - 11 = 5*u - 70. Let c = u - 8. Solve -c*n = -3*n for n.
0
Let n(x) = 2*x**3 - 3*x**2 + 5*x - 3. Let i be n(2). Suppose -i = -5*v - 3*g, -g = -0*g + 3. Solve -v*l - 12 = -0*l for l.
-3
Let i = 61 - 61. Suppose i = 16*w - 20*w + 20. Suppose 0 = 5*m - m. Solve m = w*n - 12 - 3 for n.
3
Let p be 4/(-10) + 16/(-10). Let v(r) = 11*r + 141. Let q be v(-13). Let y be (-2 + q/p)*0. Solve a + y*a + 4 = 0 for a.
-4
Suppose 12*x - 704 = -188. Suppose -x - 1 = -4*b. Solve -2 = -3*j - b for j.
-3
Let y be (-4)/(-1)*(5 - 3). Solve 12*u - y*u + 8 = 0 for u.
-2
Suppose s - 8 = -h, 0*h = h + 4*s - 23. Suppose 2*k = -h*k - 15, -2*j = -5*k - 23. Suppose j*o = 7 + 1. Solve -3*a - o + 8 = 0 for a.
2
Let p be 1351/11 - ((-13)/11 - -1). Let i = 130 - p. Solve 3*a = i*a for a.
0
Let t be -8*8/(-4 + 0). Let c be 1*(-4)/(t/(-12)). Suppose v + 0*q = 4*q + 16, -c*q = 5*v + 12. Solve v*s + 15 = 3*s for s.
5
Suppose f - 320 = -3*f. Suppose -5*g + t = 6*t - f, -t - 4 = 0. Let d be ((-3)/(-1))/3*0. Solve 4*v = -d*v - g for v.
-5
Let g(r) = -2*r - 10. Let t = 8 + -6. Suppose -t*s + s = 7. Let u be g(s). Solve -z = -u*z for z.
0
Suppose 1965 - 615 = 45*a. Solve a = -m + 33 for m.
3
Let i(n) be the second derivative of 2*n**3/3 - n**2 - n. Let z be i(1). Suppose -3*v + 11 = -4, z*v = -y + 13. Solve 4*u + y = -1 for u.
-1
Let q be (-5)/(-20) - 11/(-4). Suppose -3*d - d + p = -8, -2*d = q*p + 10. Let h = 1 + d. Solve -3*v + h*v = 5 for v.
-5
Let y(m) = -m**3 - 11*m**2 - 9*m + 8. Let j be y(-10). Let d = -120 + 124. Let r be (-3)/j + 2/d. Solve r*q + q = 6 for q.
2
Let f = -425 + 427. Solve -f = 4*l - 18 for l.
4
Let x(c) be the first derivative of c**2/2 - 5*c - 4. Let g be x(8). Suppose g*y + y - 36 = 0. Solve 5*l + 34 = y for l.
-5
Let j(h) = -h**3 + 5*h**2 - 18*h + 62. Let s be j(4). Solve s*x + x - 35 = 0 for x.
5
Let a be ((0/3)/(-2))/2. Suppose a = -2*y + 3*q + 21, -33 = -3*y - 0*q + 5*q. Suppose i + 17 = 4*f, -3*i + y*i = -15. Solve -f*u - 2*u - 5 = 0 for u.
-1
Suppose -r = 7*r + 5*r. Solve 5*y = -15 - r for y.
-3
Let f be 25 + (4 - -5) + -15. Solve 0 = 18*w + f - 1 for w.
-1
Let n = -11530 - -11534. Suppose 5*k + 11 = -t + 34, t - 15 = -3*k. Suppose -i = -t*i. Solve i = -n*o + o + 3 for o.
1
Let v be (-6)/2*-2 + 0. Suppose -v*o + 135 = 3*o. Solve 0 = -3*k - 2*k + o for k.
3
Let z be (0/1)/(0 - 1). Let t be 17 - (-2)/(-5 + 3). Suppose z = -3*f, 4*f - t = -4*a + 8. Solve x + a = -2*x for x.
-2
Let i be 4*(11/4 + -2). Let x = 3620 - 3615. Solve -i*g = 2*g - x for g.
1
Let s = 53 - 76. Let x = s - -6. Let r = x + 27. Solve 10 = -4*y - r for y.
-5
Suppose 11 = 3*k + 5*o, -4*k + 36 = -33*o + 29*o. Solve -k*u = -6*u - 5 for u.
5
Let s(b) = -b**3 - 7*b**2 - 7*b - 4. Let m be s(-6). Suppose -3*a - m*i = -13, 5*a + 2*i + 5 = 28. Solve -p = 2 - a for p.
3
Let w(h) = -12*h - 3. Let t be w(-1). Solve -3 = -10*c + t*c for c.
3
Let y(l) = 19*l - 336. Let f be y(18). Solve 11*x - f*x + 5 = 0 for x.
-1
Suppose 6 = 3*c - 3*z, -3*z + 10 = -2*c + 3*c. Let i(u) = -u**3 + 3*u**2 + 6*u - 5. Let y be i(c). Solve -2*o - y*o = -10 for o.
2
Let d(w) = 185*w + 942. Let i be d(-5). Solve 0 = a + 22 - i for a.
-5
Let t = -1 - -1. Suppose -2*x - 18 = -3*r, 0 = 2*x + 6 - 0. Solve t = g - r*g for g.
0
Suppose 4 = 4*n - 0. Let i = -18402 + 18404. Solve i*d - d = n for d.
1
Let k = 175 - 172. Solve f = k + 2 for f.
5
Let z = 4 - -1. Let r be 1*5*(z + -1). Let a = -248 - -254. Solve -2*j + r = -a*j for j.
-5
Let h = -885 - -890. Solve 1 = -h*s - 24 for s.
-5
Suppos