 for k.
0
Let g(n) = n + 13. Let p = 13 + -21. Let m = p - 5. Let x be g(m). Solve r + 2*r - 12 = x for r.
4
Let k be 8*(2 - 28/16). Suppose -22 = -3*p + k. Suppose -4*g - 11 = 4*a - 3, 3*a - 26 = 5*g. Solve 2*w = -p + a for w.
-3
Let b(i) = -16*i + 102. Let j be b(6). Let a(u) be the first derivative of -u**4/4 + 5*u**3/3 + 9*u**2/2 - 8*u - 1. Let c be a(j). Solve c = -2*g - 0*g for g.
-5
Suppose 5*s - s = 12. Let l be (7/(-28))/((-1)/12). Suppose 0 = -2*m - m - b + 8, l*b = 5*m - 4. Solve 0 = s*a + m*a + 15 for a.
-3
Suppose 202 = -5*m + 292. Solve 34 = -4*q + m for q.
-4
Suppose 99 = 5*k - y - 2*y, -5*y = -5*k + 95. Suppose -4*q = 5 - k. Suppose -9*m - q = -11*m. Solve -c - 7 = -m for c.
-5
Let o(b) = -11*b + 124. Let m be o(11). Solve m*c - 1 - 14 = 0 for c.
5
Suppose 0 = -14*t - 45 + 157. Solve m - t = -m for m.
4
Suppose -25*s + 26*s = 2*m, 4*s - 20 = -2*m. Solve -2 - m = 2*k for k.
-2
Suppose -3*l + 34 = -4*q - 6, 5*q + l + 50 = 0. Let b = q + 10. Let k = 3 - b. Solve 0 = -z - 0*z - k for z.
-3
Let m(c) = -2*c**3 + 4*c**2 + 6*c - 3. Let q(k) = -3*k**3 + 4*k**2 + 7*k - 4. Let i(y) = -4*m(y) + 3*q(y). Let g be i(-3). Solve -7*z + 6*z + 2 = g for z.
2
Suppose -29*x + 240 = -17*x. Solve x*v = 6*v - 28 for v.
-2
Let y(u) = 10*u. Let c be y(1). Suppose -5*l + 2 + 18 = -3*z, -2*l + 5*z + 8 = 0. Suppose 2*b + 4*r + c = 0, 8 = -l*r - 4. Solve -4 = w - b for w.
-3
Let w(b) = -b**3 + 2*b**2 + 7*b - 7. Let f be w(3). Solve -8*u = -7*u - f for u.
5
Suppose 96 = 2*c - 22. Solve 0 = 2*x - 51 + c for x.
-4
Let l(d) = -6*d**3 + 32*d + 32. Let q be l(-1). Solve 0*u = 3*u - q for u.
2
Suppose 2*o = -10, 3*w + 3*o - 15 = 6*o. Let q(d) = 4*d - 8. Let j be q(3). Solve j*y + 0 + 16 = w for y.
-4
Let r(n) = -n - 2. Let l(q) = 2*q**3 + 3*q**2 - 2*q + 7. Let v be l(-3). Let b be (v/8)/(12/48). Let j be r(b). Solve 8*a = 3*a + j for a.
1
Suppose -4*k + 6 = 2*c, 2*c + c = -9. Solve 0 = k*n + 4*n + 28 for n.
-4
Let a(w) = w + 26. Let h be a(-23). Suppose 0 = -2*f + 4*f - 40. Solve -h*r + f = 2*r for r.
4
Suppose 2*k + 28 + 8 = 0. Let g be (18/(-4))/(k/24). Suppose -g = 3*t - 5*t. Solve t*r - 1 - 11 = 0 for r.
4
Suppose 2*b = -3*u - 2*u + 19, 5*b - 1 = 3*u. Suppose 0 = v + v - 4. Solve -10 - v = -u*j for j.
4
Suppose 0 = n + 4, -3*h = -0*n + 3*n - 78. Solve 15*u - 9*u = h for u.
5
Let p(g) = g**3 - 9*g**2 - 22*g + 5. Let d be p(11). Solve 0 = d*y + 3*y for y.
0
Suppose 28 = p - 4*p + 5*b, b = -p + 4. Let k be (-20)/p - (9 - 9). Let c be (k/6)/(4/6). Solve 0 = -0*h - c*h + 5 for h.
1
Suppose -m - 3*c - 3 = 0, 2*m + 16*c = 14*c + 6. Solve -16*r - m = -14*r for r.
-3
Let u(o) = o**2 - 2*o - 5. Let q be u(4). Let m(x) = 2*x**2 - x - 8. Let c be m(q). Let b = 16 + -3. Solve 5*s - b = c for s.
4
Let t be 58/(-5) - 26/65. Let g = 21 + t. Suppose -4*v + v + g = 0. Solve -y + 2 = -v for y.
5
Let j = 61 + -16. Let o = 47 - j. Solve -5*b = -o + 22 for b.
-4
Suppose 35*x = 36*x. Solve -3*i = -x*i for i.
0
Let x(l) = l**3 - 13*l**2 - 3*l - 6. Let a be x(13). Let w = 48 + a. Solve z = w*z for z.
0
Let t = 0 - 0. Suppose -8*y = -3*y - 10. Suppose -4*r + 3*r + 24 = -4*l, 2*r + 2*l + y = 0. Solve r*o = -t*o + 8 for o.
2
Let q(x) be the second derivative of -x**3/6 + 19*x**2/2 + 3*x. Let d be q(15). Let o be -1 + (2 - d) + 7. Solve 0 = o*f - 7*f + 6 for f.
2
Suppose -2*r = -4*r. Let f(c) = -c**2 - 68*c + 527. Let v be f(7). Solve -i + 0 + v = r for i.
2
Suppose -5*a + 53 = 3*h, -h - 6*a + 2*a + 20 = 0. Solve h*y + 4 = 52 for y.
3
Let s(o) = -o**3 - 7*o**2 + 15*o - 25. Let v be s(-9). Solve -v*f - 11 + 15 = 0 for f.
2
Let n(c) = -c**2 + 15*c + 15. Let p be n(12). Suppose -5*i = -4*z - 23 - 42, -3*z = -4*i + p. Solve 0 = -4*l - i - 11 for l.
-5
Suppose -o + 24 = 7*o. Solve -1 = -4*j + o*j for j.
1
Let p(k) be the third derivative of -k**5/60 + k**4/4 - 4*k**3/3 + 37*k**2. Let t be p(4). Solve t = 11*d - 15*d - 16 for d.
-4
Suppose 40 = 32*n - 27*n. Solve -4*f - n = -4 for f.
-1
Suppose 0 = 2*g + 5*i - 48, -4*i + 5*i = 2*g - 24. Solve 19*q - 99 = -g*q for q.
3
Suppose 2*r + 2 = 0, 3*t + 3*r + 74 = -115. Let q = -61 - t. Solve -5*h + 9 = -q for h.
2
Suppose 75 = 8*c + 19. Solve -9*k + c*k + 2 = 0 for k.
1
Let l(p) = 8*p + 20. Let g(a) = a. Let d(u) = -6*g(u) + l(u). Let w be d(-10). Solve 0 = -w*o - 5*o - 15 for o.
-3
Let j(s) = 11*s**2. Let f be j(2). Solve f = -9*a + 8 for a.
-4
Let p be 2/(-17) - (-22)/187. Solve p = -4*k + 7*k + 15 for k.
-5
Let a(p) = p**3 + 13*p**2 - 11*p + 7. Let i be a(-14). Let h = 37 + i. Solve 4 = h*t - 3*t for t.
-4
Suppose 77*x = 72*x. Solve x = -0*i - 14*i - 70 for i.
-5
Let s = 11 - 5. Let i be s/10 - (-2)/5. Suppose 5*q + 9 = 2*b - 1, 10 = 3*q + 2*b. Solve q = -5*a + 6 - i for a.
1
Suppose -3*a + 38 = 4*r - 8, -2*r = -8. Solve -a = -0*b - 2*b for b.
5
Suppose 5*t - 15 = -12*f, -3*t - 2*t = f - 15. Suppose 0 = -5*r + 4*r + 12. Let g(l) = l**2 + 4*l. Let s be g(-4). Solve t*k + r = -s*k for k.
-4
Let r = -49 + 58. Let u(d) = -d**2 + 12*d - 12. Let q be u(r). Solve 4*s + q = -s for s.
-3
Let n be (4/5)/((-63)/(-30) - 2). Solve -3*i + n = -5*i for i.
-4
Let k(h) = -h**3 + 5*h**2 + 7*h - 5. Suppose -4*u + 20 = -0*u. Suppose -30 = -u*o - 2*m, 2*m = 3*o - 4*o + 6. Let n be k(o). Solve 0 = -w - 2 - n for w.
-3
Suppose 3 + 0 = k, -2*k - 8 = -2*x. Let h = -177 + 173. Let f = x + h. Solve 3*u - f = 4*u for u.
-3
Let r = -4 - -16. Let g be 104/28 - (-4)/14. Suppose g*m - 2*m - 10 = 0. Solve n - m*n = r for n.
-3
Let r be -5*((-8)/10 - 0). Let b(k) = 9*k**2 - r + 2*k**3 - 3*k**3 - k - k**3 + 3*k**3. Let z be b(-9). Solve 1 = z*x - 4 for x.
1
Suppose x = -o - 3, 3*x = -4*o - 6 - 4. Let z be (4 - -1) + x + -1. Suppose 2*t = -z*c + t + 15, 2*c - 30 = -4*t. Solve 0 = -c*m + 2*m for m.
0
Let x = 343 + -338. Solve -4*t = 15 + x for t.
-5
Suppose 7*a + 329 = 434. Solve 0 = 14*g - a*g - 2 for g.
-2
Let u(s) = 4*s + 4. Let a be u(-1). Solve w + 4*w + 10 = a for w.
-2
Suppose -23 = 19*z - 24*z + 4*x, 1 = z + x. Solve 6*t + 9 = -z for t.
-2
Suppose 4*b + 3*g = 0, 4*b - g = 3*g + 28. Let w be 1 + (15/3 - 2). Suppose w*f = 4*u - 36, -3*u + f - 11 + 30 = 0. Solve -u + b = x for x.
-2
Let g be 5*3/(-1 - -4). Let q = 36 + -26. Solve -g*t = -3*t + q for t.
-5
Let v(p) = p**3 + 11*p**2 + 10*p. Let b be v(-10). Let g be (-108)/(-14) + (-12)/(-42). Solve 3*h - g*h = b for h.
0
Suppose -a - 2*a = 0. Suppose -2*u + 8 = -a*u. Solve -n = -u*n for n.
0
Let u(y) = -y**2 + 3*y + 21. Let h be u(-3). Solve h*d - 1 - 14 = 0 for d.
5
Suppose -3*f = -4*f + 3. Suppose 5*s + 0*s + 3*x - 105 = 0, s - 21 = -f*x. Suppose 17*n = s*n. Solve -2*k - 2 = -n for k.
-1
Suppose 0 = 2*h + 7*h + 81. Let q = h + 11. Solve -s - 1 - q = 0 for s.
-3
Let g(r) = -r - 2. Let q be g(-4). Suppose -19 = -5*i + 4*d, -q*d = -3*i + 7*i - 10. Suppose 17 = 2*t - s + 6, -t - i*s + 23 = 0. Solve -l = l - t for l.
4
Suppose 2*h - p - 12 = 0, -6*h + 3*h + 12 = -3*p. Solve 5*r - 28 + h = 0 for r.
4
Let f be 6314/(-451)*(10/14 - 1). Solve 3*a - 2*a = f for a.
4
Suppose -6*k = -7*k + 13. Solve 7 = -5*t - k for t.
-4
Let l = -10 + 17. Let w = 221 - 216. Suppose -5*s = 4*k - 8, k = 2*s - k - 14. Solve s*g + l + w = 0 for g.
-3
Let t = -189 - -189. Solve 13*n - 9*n + 16 = t for n.
-4
Suppose -9*t + 33*t = 120. Solve -16 - 9 = t*x for x.
-5
Suppose -12*k = -9*k - 21. Solve -k = -4*w + 9 for w.
4
Suppose 2*q + 25*m - 20*m = 0, -4*m + 24 = 4*q. Solve -q*k = -47 + 7 for k.
4
Let c(b) = -44*b + 3038. Let y be c(69). Let r be 16/(-6)*3/(-2). Solve -y = m - r for m.
2
Suppose 2*h + o = 7, -2 = 3*h + 2*o - 12. Suppose -6 = -7*r + h*r. Let t = 16 - 12. Solve r*a + 0 = -t for a.
-2
Let w = -246 - -246. Solve w = 7*t - 0*t for t.
0
Let y(x) be the first derivative of 3*x**2/2 - 9*x + 7. Let l be y(8). Solve 6*h = 3*h + l for h.
5
Let o be (253/22)/((-1)/(-4)). Suppose 10*q - 14 = o. Solve -6 = -q*l + 3*l for l.
2
Let m be ((-39)/(-2))/((186/4)/31). Solve -m*i + 8*i - 10 = 0 for i.
-2
Let i(s) = s**3 - 24*s**2 + 42*s + 46. Let w be i(22). Solve -w*m + 4 = 2*m for m.
1
Let r be (-4)/(-6)*6/(-2). Let x(d) be the second derivative of d**4/12 + d**3/2 + 3*d**2/2 - 8*d. Let y be x(r). Solve -1 = o + y for o.
-2
Let p(a) = -4*a - 6. Let w be p(-6). Suppose x - 4 + 0 = 0. Let u be x/(-3)*-3 - 1. Solve -3*r = u - w for r.
5
Let o = 54 + -45. Suppose -o*