+ 15 for k.
5
Suppose 2*u = -3*s + 15, -6*u + u + 5*s = 0. Solve -u*c + 2*c + 3 = 0 for c.
3
Let d be 3 - (11 - (-6 - -3)). Let j = d - -1. Let g be j*(1 + 9/(-3)). Solve -3*a = a + g for a.
-5
Let z be (3 - 0) + -3 + 22. Suppose 0 = 2*h - c - 28, 2*h + 4*c - 16 - z = 0. Suppose -h = -0*x - x. Solve -6*v + v - x = 0 for v.
-3
Let d(u) = 2*u**3 + 11*u**2 - 4*u - 40. Let b be d(-5). Solve b = -c + 6*c for c.
1
Let o = -125 + 125. Solve -3*q + o*q = 0 for q.
0
Suppose 6 = -3*t, 3*u + 4*t + 1 = 8. Suppose 0 = -7*z + 2*z + 15. Suppose -16*m = m - z*m. Solve m*o - u = 5*o for o.
-1
Let l(x) = -2*x + 12. Let u be l(6). Suppose u*m = m - 2. Solve 0*v + v - m = 0 for v.
2
Suppose 206*f + 15 = 208*f + 3*s, 2*s + 10 = 2*f. Solve f*z - 54 = 24*z for z.
-3
Suppose 0 = -3*y + 2*f - 6*f + 39, -2*y = -4*f - 6. Solve y*h - 16 = 29 for h.
5
Let h be 5*((-8)/(-2) + -3). Let w(g) = -g**2 - 17*g + 11. Let u be w(-15). Let m = u - 39. Solve h = p + m for p.
3
Suppose t - 4*h + 17 = 0, -4*h + 0 = -4*t - 8. Suppose 5*r + 4*f = 11 + t, f + 4 = 0. Suppose -u = -r*u. Solve u*l = l + 2 for l.
-2
Let p be (9*(-11)/(-198))/((-2)/(-308)). Solve p = -l + 78 for l.
1
Suppose 2*q = -3*l + 31, l - 18 = -q - l. Suppose -2*i = -4*o - 5*i + q, 2*i = 0. Solve -o*z - z = 12 for z.
-4
Suppose 4*v - 8 - 8 = 0. Let z(g) = 5*g**2 + 4 - 4*g - g**3 + 2*g**3 - 2*g**3 - g. Let b be z(v). Solve b*i = -2*i for i.
0
Let i be 1/(-2) - 6/(-12). Suppose i = 2*l + n, l = -0*l + n. Solve -2*q - 8 = -l*q for q.
-4
Let o be 18*((-6)/(-4) - 1). Suppose f + 0 = -2*b + o, -4*b - 3*f + 19 = 0. Suppose 5*y = 2*p + 26, -2*p - 11 = -b*y + 9. Solve y = n + 2*n for n.
2
Let p(a) be the second derivative of -a**5/5 - a**4/12 + a**3/2 + 3*a**2/2 + 6*a. Let g be p(-2). Solve -g = t - 6*t for t.
5
Let g = -1541 - -1541. Solve 10*t - 8*t + 6 = g for t.
-3
Let i(q) = -2*q**3 + 15*q**2 - 5*q. Let j be i(7). Solve -6 = j*u - 12*u for u.
-3
Suppose 42*y + 156 = 68*y. Suppose -3*r = 2*o - 4*o - 77, o = r - 26. Solve -j + r = -y*j for j.
-5
Let o(r) be the third derivative of r**4/4 - 5*r**3/6 - 3*r**2. Let s be o(2). Suppose 10*i = s*i. Solve 3*q - q = i for q.
0
Let t = 20 - 17. Suppose 3 = f, t*h - f - 3 = -0*h. Let o = -1 - -3. Solve -h = 2*n + o for n.
-2
Let q(s) = -s**3 - 28*s**2 + s + 30. Let u be q(-28). Solve -32 = -u*y + 10*y for y.
-4
Suppose -5*s + 2*v + 22 = 0, 0 = -9*s + 10*s - 4*v - 8. Let n = -28 - -41. Solve n - s = 3*z for z.
3
Suppose 2*s + 18 = 3*m - s, 4*m - s = 12. Suppose 4*x - 38 = -2*w, 5*x + 22 = 2*w + m. Solve -2*f + 5 = w for f.
-5
Suppose 3 = o - 3. Suppose 0 = o*i - 5*i + 4. Let v be (-16)/i - (1 + 0). Solve 4*r + v = 7*r for r.
1
Let i = 74 + -69. Suppose -3 = -l - 8, -i*g + l = -30. Solve -g*r = -5 + 30 for r.
-5
Let q = 345 - 315. Solve 24 = 3*z + q for z.
-2
Suppose -5 = -2*h - 3, 0 = 3*q - h + 25. Let c be ((-12)/q)/((-1)/(-2)). Let n = -15 - -18. Solve -n*i = c + 3 for i.
-2
Let w = -83 + 128. Let u = w + -35. Solve 4*m - u = -2 for m.
2
Suppose -2*w - 140 = -3*o - 109, -10 = -2*o - 4*w. Solve 12 = -o*y + 57 for y.
5
Let x(h) = -h + 17. Let u be x(20). Let t = u - -7. Solve j + t - 1 = 0 for j.
-3
Let s be (6/(-9))/((-125)/(-45) - 3). Suppose 3*j - 2*f = -j + 36, 0 = -4*j - s*f + 26. Solve -3*z + 5 = -j*z for z.
-1
Let l = 0 - -9. Suppose -14*g = -l*g - 15. Solve 3 + 3 = -g*u for u.
-2
Let j = 15 - 12. Suppose 6*s - j*s + 4*q = 35, 2*q = -2*s + 22. Solve 0 = -4*r - s + 29 for r.
5
Suppose 3*a - 3 = -3*x, 4*a - 14 = -4*x + 5*x. Suppose -3*j - 5 - 1 = -a*k, 3*k - 15 = 0. Suppose 0 = j*m - 0*m. Solve m = 2*s - 2 + 8 for s.
-3
Suppose -5*g + 3*w - 89 = 0, 2*g + 7 + 10 = -5*w. Let o = g - -31. Solve 2*u = -u + o for u.
5
Let n(u) = u**2 + 72*u + 278. Let q be n(-4). Solve -q*a + 10*a - 16 = 0 for a.
4
Let g = 1682 + -1674. Solve -g*r = 2 + 14 for r.
-2
Let m be 10/(-14) + 1 + (-247)/(-91). Suppose -i + m - 1 = 0. Solve 0*t - i = -t for t.
2
Suppose 2*k = -0*k - 4. Let l be (-1)/((-3)/(-9)) + 2. Let c be 0/(k + (3 - l)). Solve a + c = -1 for a.
-1
Let a = 96 - 75. Let o = -20 + a. Solve o = -3*y + 4*y for y.
1
Let d = 592 + -590. Solve 9*z + d = -25 for z.
-3
Suppose h - 4*z + 96 = -80, 3*z = -3*h - 453. Let n = h - -158. Let t(y) = 5*y**2 - 2*y - 1. Let l be t(-1). Solve n*v = 2 + l for v.
4
Let p(o) = 0 + 7*o + 2 - 3. Let v be p(2). Let k = v - 9. Solve 0 = -y - k*y for y.
0
Let p(b) = -b**3 + 3*b**2 + 2*b - 3. Let z(i) = 2 - 2*i**3 + 3*i - 8*i**3 + 2*i**3 + 4*i**3. Let t be z(-1). Let c be p(t). Solve -c*y + 12 = -6*y for y.
-4
Let b = -345 - -349. Let k(x) = 7*x - 1. Let r be k(1). Solve r = a - b*a for a.
-2
Let s = 143 - 84. Suppose -4*l = -5*b + s, -l + 43 = 4*b - 0*b. Solve -5*w - 4 = b for w.
-3
Let g(d) = -d**2 + 4*d + 6. Let m be g(6). Let w = 22 + m. Let b be w/8*(-2)/(-2). Solve v + 3 = b for v.
-1
Suppose -5*k + 4*b - 57 = 0, 5*k + 4*b + 34 - 1 = 0. Let h(t) = t**2 + 2. Let s be h(3). Let f = k + s. Solve 0 = f*o - o for o.
0
Let q be 225/(-120)*(1 + -9). Solve -q*j = 17 + 28 for j.
-3
Let a be 9480/225 + 4/(-30). Solve 2*y + 36 - a = 0 for y.
3
Suppose -6*z = 48 - 120. Solve 0*t + z = -4*t for t.
-3
Let q = 1583 + -1565. Solve q*b = 6 + 12 for b.
1
Let q = -1277 - -1285. Solve 0 = -12*j - 4 - q for j.
-1
Let z = 436 + -418. Solve 5*q + q = z for q.
3
Let t = 19 + -17. Suppose 5*l + t*m - 40 = -2*m, -4*l = -4*m - 68. Let g be (42/l)/((-1)/(-2)). Solve -13 - g = -5*k for k.
4
Suppose 143 = u + 133. Solve 0 = -15*i + u*i - 20 for i.
-4
Suppose -3*p + 30 = -0*p + 3*s, 0 = 2*p + s - 18. Suppose p = 9*r - r. Suppose -7*j + 3*j + 16 = 0. Solve j*z + 3 = -r for z.
-1
Suppose -87 = -4*a - 3. Let l be (4/(8/(-34)))/(-1). Suppose 2*s + 0*d = -3*d + l, 3*s + 3*d - a = 0. Solve 0*o + s = -2*o for o.
-2
Suppose 5*u = 0, -75 = -5*f - 6*u + u. Solve -28*r + f = -25*r for r.
5
Suppose 4*f = -2*h - 166, 0 = f - 2*h + 53 - 14. Let u be f/(-13) - (-4)/(-26). Suppose -u*k + 8 = k. Solve 16 = 2*i + k*i for i.
4
Let z be (-6 - 0) + 14 + 0 + -3. Solve 20 = 10*g - z*g for g.
4
Suppose p + p - 10 = 0, -3*t - 5*p = -25. Suppose -256 = 27*m - 140*m - 15*m. Solve t = -m*u - 3*u + 5 for u.
1
Suppose 4*q = 2*d, -7*q = 4*d - 2*q. Let i be 23 - (d - 1)*(-9)/3. Solve -4*b = -8*b - i for b.
-5
Suppose 4*p + 0*p - 2*y = 32, -3*p + y + 26 = 0. Let h(b) = 6*b**2 + 1 - 8*b**3 + b**3 + p*b - 3 + 6*b**3. Let m be h(7). Solve m = -4*a + 7 for a.
-3
Suppose 20 = 4*d, 0 = 5*j - 2*d + 4*d - 30. Solve j*m - 49 = -69 for m.
-5
Let v be 1 + 1*4 - (-9 - -4). Solve -v - 5 = 3*i for i.
-5
Let n(m) = m + 5. Let g be n(-5). Suppose 0 = 3*t + h, 2*t + 2*t + 2*h - 2 = g. Let i be t/((-4)/24) + -4. Solve -3 - i = -5*y for y.
1
Let l = 33 - 17. Suppose w + 4 = l. Suppose 2*q = 10, 2 + w = -2*c + 4*q. Solve 2*a + c*a = -10 for a.
-2
Let c(n) = 2*n**2 + n - 2. Let f be c(5). Suppose -b - f = -60. Solve 2*y - b*y + 10 = 0 for y.
2
Suppose 0*a + 2*a = -122. Let x = -27 - a. Let c = -22 + x. Solve y + 3*y = c for y.
3
Suppose -2 = -y - 1. Let r(x) = 6*x**2 + x - 1. Let v be r(y). Solve -2*n + v = -5*n for n.
-2
Let d = -4 - -8. Suppose -3*i + 5*b + 4 = 0, -7*b - 3 = -2*i - d*b. Solve q = i*q for q.
0
Let m(o) = 2*o**3 + 9*o**2 + 4*o + 3. Let u be m(-4). Suppose -u*i + 64 = x, 84 = 7*i - 2*i - 4*x. Solve -b = -6*b - i for b.
-4
Let a(g) = 6*g**2 - g - 1. Let t be a(-1). Let q be t/18 - 5/(-3). Let y(d) = d - 2. Let h be y(4). Solve 0 = -h*l - 8 + q for l.
-3
Suppose 3 = 5*a + o - 3, -5*a - 10 = 5*o. Suppose 39 = 3*x - a*u, -4*x + 5*u + 45 = -0*x. Suppose -6*v + v = -x. Solve n + 4 = v for n.
-1
Let l = 10 + -2. Let r(s) = -s**2 - 2*s + 16. Let b be r(-5). Let d be 4*b + (-32)/16. Solve 0*w + l = -d*w for w.
-4
Let q be 6 - (3/(-6) + (-4)/(-8)). Suppose -5*x = -q*x. Solve x = 3*t - 6 - 6 for t.
4
Let o = 583 - 575. Let j(u) = -u**2 - 4*u + 5. Let l be j(-5). Solve -5*q + q - o = l for q.
-2
Let q(r) = 6*r - 8. Let g(d) = 7*d - 4. Let j be g(1). Let t be q(j). Solve -5*c + 3*c = -t for c.
5
Let n = 81 - 53. Suppose -4*p + 12 = -n. Solve -p = 4*h + 6 for h.
-4
Let k = -479 + 485. Solve -6 = 3*b - k*b for b.
2
Suppose -10*u = -11*u. Solve -5*a + 3*a + 6 = u for a.
3
Let c be 3/9*6 - -82. Suppose -c*z = -87*z + 9. Solve w + 4 - z = 0 for w.
-1
Suppose -35*j - 20 = -40*j. Solve -i + 1 + j = 0 for i.
5
Suppose 0 = -5*h - 25 + 60. Suppose 