 2*k + 1. Let v = k + -13. Let d = v - -12. Solve o + d*o = -1 for o.
-1
Let y be 90/6 + 9 + 15. Solve 0 = -48*j - 9 - y for j.
-1
Let g be (-477)/2 - 9/6. Let b be (g/(-64))/(0 - (-2)/8). Suppose 5*j - 8*j + b = 0. Solve 4*a = 1 - j for a.
-1
Let p = 15 - 9. Let t = p - 2. Let f be -37 + (-2628)/(-72) - 37/(-2). Solve -t*z + 6 = f for z.
-3
Let z be (-4)/5*((-3 - -8) + -50). Suppose z = 3*r + 6. Solve -13*m + 15*m = -r for m.
-5
Let j(r) = -49*r - 14. Let z be j(-2). Let h = 84 - z. Suppose 2*m + 0*m - 20 = h. Solve i = -i - m for i.
-5
Let d be -1*17/(102/36). Let u(n) = -5*n - 21. Let i be u(d). Solve 0 = -14*o + i*o - 5 for o.
-1
Let d = 272 - 271. Suppose d = 4*z - 11. Let a(k) = -k**2 + 3*k - 2. Let h be a(2). Solve h = -r + 5 - z for r.
2
Suppose 98*h - 222*h - 200*h = -2268. Solve -6*z + h = 19 for z.
-2
Suppose 97*v = 127*v - 150. Solve 0 = 5*b + v + 15 for b.
-4
Let y be ((-3 + 5)/2)/((-171)/45 - -4). Solve 182 = y*i + 207 for i.
-5
Let j(g) = -52*g - 409. Let q be j(-8). Solve 0 = -0*b - q*b for b.
0
Let w = -2177 - -2240. Solve 74*f - w*f = -22 for f.
-2
Suppose 2*p - 19*a + 21*a = -62, -2*p - 4*a = 68. Let w be (-104)/p + 8/28. Solve 0 = -w*t + 2 + 2 for t.
1
Suppose 21*p - 47 = 108*p - 1178. Solve 0 = -43*n + p*n + 90 for n.
3
Let z(s) = 9*s - 244. Let u be z(28). Suppose -4*d + 17 = -3*y, 6*d = 4*d - 4*y - u. Solve 2 - 12 = -d*r for r.
5
Suppose -3*r = -t + 4, 0 = -r + 3*r. Suppose -130 = -305*b + 292*b. Solve t*p - b = 2*p for p.
5
Let c(l) = 3*l**2 - 10*l + 2. Let h(r) = -8*r**2 + 18*r - 3. Let p(v) = -5*c(v) - 3*h(v). Let u = 2 + -3. Let g be p(u). Solve 0*q + 3*q - g = 0 for q.
4
Suppose -4*b + 92 = -4*t, -3*b = -2*t - 3*t - 75. Solve 24*i - b = -92 for i.
-3
Suppose 0 = -r - 13*a + 8*a + 351, -9*r + 5*a = -3159. Solve -209 = -80*i + r for i.
7
Suppose -30 = 5*z - 4*t, 233*z - 2*t + 16 = 231*z. Let w(k) = -k**2 + 2. Let v be w(4). Let p = -10 - v. Solve 6*b - p = z*b for b.
1
Suppose 0 = -k + 3*z - 35, 4*z + 30 = -k - 12. Let j = k - -44. Solve -j*c + c - 15 = 0 for c.
-3
Let t(d) = -85*d + 1074. Let b be t(12). Solve -b*v - 361 + 91 = 0 for v.
-5
Let z(m) = -4*m**3 - 3*m**2 - 7*m - 4. Let w be z(-2). Suppose 26 = 7*x - w. Solve 3*r = x*r + 15 for r.
-3
Let l(h) = -11 - 2*h - 25 - 18. Let u be l(-27). Suppose -3 = -j + 1. Solve u = j*q - 5*q for q.
0
Let q = -136 + 137. Suppose -179*t + q = -178*t. Solve -2*i - t - 5 = 0 for i.
-3
Let r(d) = -d**3 + 8*d**2 - 7*d + 12. Let x be r(7). Let p be x/36*0*(-2)/4. Solve -4*i - 20 = -p*i for i.
-5
Let p(x) = -2*x**3 + 19*x**2 + 16*x - 254. Let d be p(8). Solve 21*t - 45 + d = 0 for t.
-1
Suppose -24 = 16*u - 184. Let r be 1*u + 50/(-10). Solve -r*j + 7*j = 6 for j.
3
Let u be 10/15 - 25/(-3). Let i be (54/15)/((-16)/(-20))*(-10)/(-15). Solve i*s - u*s = 0 for s.
0
Let o(b) = 28*b - 55. Let v be o(2). Suppose 3*i + v = -k + 2*k, -9 = -3*i. Solve -k = -0*z - 2*z for z.
5
Let j(g) = 2*g**2 + 12*g - 4*g + 2 + 14*g. Suppose 12*l + 100 + 32 = 0. Let o be j(l). Solve -2*w - 4 = o for w.
-3
Let m be 1 + (-4)/(-6)*3. Let d(f) = -36*f + 14. Let t be d(0). Suppose 5*p + 4*u - 16 = 0, 11*p = t*p + u - 4. Solve p*j + m = -3*j for j.
-1
Let c(p) be the second derivative of -5*p**3/6 - 2*p**2 - 3*p. Let l be c(-9). Suppose -24 = -a - 4*x, 0*a - l = -4*a - 5*x. Solve a*f = -f - 15 for f.
-3
Let l = 404 + -690. Let r = l + 294. Solve r = -f - f for f.
-4
Let c = 3845 + -3764. Solve 0 = -18*g - 45 - c for g.
-7
Suppose -5*v + 40 = 5*f, 2*v - 40 = 4*f - 30. Solve v*p = -42 + 7 for p.
-5
Suppose t + 2*b + 11 = 7*b, 17 = 5*t - b. Suppose -9*x - 60 = -105. Suppose -t*v + v = 2*a - x, -3*v + 13 = 4*a. Solve 0 = 2*m + 12 - a for m.
-4
Let t(l) = -l**3 + 3*l**2 - 28*l + 90. Let n be t(3). Let v = 12 + -6. Suppose -f = f - v. Solve n = 3*h - f for h.
3
Suppose -4*r = 8, v = -11*r + 16*r + 10. Suppose -4*c - 54 = -9*c - o, -3*c + 4*o + 14 = v. Let d = 7 + -3. Solve -c = s + d*s for s.
-2
Let m(j) = 72*j + 49. Let n be m(-2). Let i = n - -104. Solve 5 = -i*k + 14*k for k.
1
Suppose -7*g - 42 = -10*g. Let b be ((-4)/5)/(1 - g/10). Suppose -b*n + 8*n = -n. Solve n*y = 4*y - 16 for y.
4
Let f be (-4 - 44/(-4)) + (100 - 2) + -5. Solve 0 = f*b - 96*b for b.
0
Let l be ((-6)/5)/(44/2200*-10). Let s = -2 + 4. Suppose p = s*p - 2. Solve l - p = 2*z for z.
2
Let v = 2 + 2. Suppose 5*d - 3*j = 10, v*d - 6 - 2 = -3*j. Suppose -d*y = -6*y + 2*y. Solve y = -4*a + 7*a - 3 for a.
1
Suppose -154*h = -148*h - 192. Suppose j + 0 = -4. Let c be h/(-12)*6/j. Solve 0*r - c*r - 16 = 0 for r.
-4
Let r(c) = 5*c - 5. Let x be r(9). Suppose -x = -5*v + 5*u, 2*v + 29 - 10 = -5*u. Solve -v*d = 19 - 13 for d.
-2
Suppose -88 = -23*w + 4. Suppose -y + 1 = -j, 5*j = -3*y - y + w. Solve j = -4*d - d - 25 for d.
-5
Let u be (-2156)/(-70) - 16 - (-6)/30. Solve -u*r = -44*r + 87 for r.
3
Suppose 48 = 16*o - 16. Suppose 5 + 3 = o*h. Let b(m) = -4*m + 2. Let a be b(-4). Solve -4*f + a - h = 0 for f.
4
Let x(z) = z**2 + 81*z - 430. Let r be x(5). Solve r = -40*s + 18*s for s.
0
Suppose -73 - 33 = -5*m - 2*r, -3*m + 75 = 5*r. Solve 25*f - 5 = m for f.
1
Let x(f) = -f - 3. Let y(r) = r - 1. Let d be y(-9). Let b = 7 + d. Let m be x(b). Solve -n + 0*n = m for n.
0
Suppose 192*i - 173*i - 57 = 0. Solve i*f = -10 - 17 for f.
-9
Let o be 67/3 + -2*(-3)/9. Suppose 4 = -o*w + 27*w. Let n be (w - -11)*(-6 - 78/(-12)). Solve n*m = 4*m + 2 for m.
1
Suppose 12*t = -5*p + 16*t + 776, 464 = 3*p - 2*t. Solve 7*y = -31*y + p for y.
4
Let q be (-2)/18 + 105/945. Solve 10*r - 6 + 46 = q for r.
-4
Let b = -14 + 23. Let k(d) = d - 2. Let o be k(2). Let y be (4/(-4))/(-1) - o/(-2). Solve b + y = 2*a for a.
5
Suppose 2*i - 4*n = 3*i - 20, n = -4*i + 5. Suppose -9*h + 33*h = i. Solve -3*y + 28 - 37 = h for y.
-3
Let a(h) = h**2 + 4*h - 12. Let v be a(-6). Suppose v = 4*k - 4*f - 28, -k + 0*f + 19 = -5*f. Solve -m - k*m + 20 = 0 for m.
4
Let q(d) = 3*d**2 - 5*d - 11. Let s(x) = 3*x**2 - 5*x - 11. Let v(f) = -6*q(f) + 7*s(f). Let u be v(5). Suppose -u = -7*w - 18. Solve -h - w*h = -16 for h.
4
Let z be 16353/(-553)*21/(-9). Solve -79*x = -z*x + 10 for x.
-1
Let k(r) = 43*r - 1106. Let o be k(28). Solve -o - 17 = 23*b for b.
-5
Suppose -2*y + 5 = -3, 0 = 3*o - 4*y + 34. Let u be 20/8*28/(-35). Let k be (u + 1)*(1 + o + 4). Solve -k = v + 2 for v.
-3
Suppose 5*d = -4*c + 81, -c = -d + 6 + 12. Suppose -2*a - 9*j = -13*j - 28, a + 4*j = 26. Solve d*w = a*w for w.
0
Let s be (-143 - -143)*2/(-26). Solve 77*v - 63*v + 42 = s for v.
-3
Let c(u) = -9*u - 13. Let f(h) = 13*h + 19. Let t(q) = 7*c(q) + 5*f(q). Let s be t(2). Solve -8*g = -4*g - s for g.
2
Suppose 3*k - 231 = -3*x, -x - 63 + 60 = 0. Solve -15*g - g = k for g.
-5
Let n be (-2)/(-4) - (-18)/(-4). Let a be (-1155)/14*(-10)/(-15). Let j be a/(-20) - (-3)/n. Solve -2*y + 20 = j*y for y.
5
Let t(g) be the second derivative of -2*g**3/3 + 53*g**2/2 - 13*g. Let v be t(28). Let f = -34 - v. Solve 0 = -4*n - n + f for n.
5
Let l(j) = 7*j**2 - 4*j - 8. Let o be l(-2). Suppose 0 = -o*q + 81 + 171. Solve 0 = -6*t + 21 + q for t.
5
Suppose -1803*h = -1804*h - 3*r - 15, -3*h + 4*r = -20. Solve -110*y + 88*y - 132 = h for y.
-6
Let s = 24 + -51. Let f = s - -48. Let y be (-6)/f + (-92)/(-28). Solve 0 = -2*p - y - 5 for p.
-4
Let o be (-21)/(-12) - (-3)/((-12)/(-5)). Suppose 3*v = o*f - 3, f = -f - 4*v - 4. Solve 0 = 9*j - f for j.
0
Let v(o) = -o**3 + 7*o**2 + 2*o + 1. Suppose -2*k + 2*c + 6 = 0, -9*k = -8*k + 4*c - 23. Let f be v(k). Solve 4*n - f = 7*n for n.
-5
Let x(f) be the first derivative of -f**2/2 + 31*f + 7. Let n be x(15). Suppose 18*d = n*d. Solve -g + 3*g = d for g.
0
Suppose 9*o = 23*o - 7788 - 7024. Solve 64 = -o*c + 1066*c for c.
8
Let s be (-3327576)/(-5376) - (-2)/64. Solve -s*c - 27 = -628*c for c.
3
Let d = 585 + -565. Suppose -28*p - d = -38*p. Solve 0 = 4*f - p - 6 for f.
2
Let j = 2910 - 2908. Solve -11*n + 10*n = j for n.
-2
Let w(a) = a**2 + 40*a + 40*a + 4 - 75*a. Let y be w(-1). Solve -t + 0*t + 3 = y for t.
3
Let a = 169 - 242. Let f = 75 + a. Solve -r = f*r - 9 for r.
3
Suppose 0 = 2*r - 2*b + 1444 - 1454, 4*b = -20. Solve r = 7*p - 8*p + 3*p for p.
0
Let l(j) = j**2 + 12*j + 13. Let f be (-3 + 6 + -2)/((-2)/22). Let p be l(f). Suppose 4*k - 14 = 2*n, 2*k = 3*k + n + 1. Solve -r - k = p for r.
-4
Let