 for k.
-2
Let z = 1424 + -1424. Suppose 12 = -4*q - 0*f + 5*f, 0 = -3*q + 3*f - 6. Let x be (10/(-4) - -3)*q. Solve u - x + z = 0 for u.
1
Let s = -4207 - -4287. Solve 71*k - s*k + 36 = 0 for k.
4
Suppose 119*p = 109*p - 200. Let x(d) = -d**3 - 19*d**2 + 17*d - 58. Let l be x(p). Solve 0 = -l*b - 8 - 2 for b.
-5
Let m(v) be the second derivative of v**3/3 + 13*v**2 - 7*v. Let l be m(-9). Suppose l = -4*k + 16. Solve r + k = -r for r.
-1
Suppose 5*g + 2*x = 8*g - 42, 0 = 4*g + 5*x - 102. Solve -l + g*l = -34 for l.
-2
Let f(p) = -p**3 - 5*p**2 - 5*p + 2. Let y be f(-3). Let h be y/4 - 1287/(-156). Solve -3*b = -h*b - 10 for b.
-2
Let t(x) = 92*x - 3010. Let f be t(33). Solve -20 = 16*h - f*h for h.
2
Let c = -515 + 517. Let k be (5/c)/(8/16). Solve -5*u = -k + 25 for u.
-4
Let k be (-4*1/5)/(34/(-85)). Let o be (k - 6)/4*21 - -2. Let u = -17 - o. Solve -r = u*r for r.
0
Let j(b) = -b**2 - 155*b + 2563. Let r be j(15). Let g be 228/14 + (-2)/7. Solve -r*t = -g*t + 12 for t.
4
Suppose -18*c + 22*c = -184. Let b be (-11)/22*(c + 2). Let k(r) = r - 20. Let d be k(b). Solve -d*f + 3 = -5 for f.
4
Let c = 4049 + -3997. Solve -c*b + 40*b + 24 = 0 for b.
2
Suppose -126*g + 138*g - 108 = 0. Solve -29*r - 20 = g for r.
-1
Suppose q - 3*x + 123 = 374, 0 = 2*q - 3*x - 505. Solve 10 = 244*l - q*l for l.
-1
Suppose -33*i = -49*i - 1728. Let r = -101 - i. Solve 11*d = r*d - 20 for d.
-5
Let v = 264 - 259. Let n(j) = -j**2 + 12*j - 35. Let d be n(v). Solve -3*f + 8*f + 15 = d for f.
-3
Let b(y) = -720*y - 1280. Let n be b(-3). Solve -862 = -2*g - n for g.
-9
Let d = 4962 + -4951. Solve -22*s + d*s + 88 = 0 for s.
8
Let c(i) = -2. Let q(v) = -3*v + 94. Let j(h) = 4*c(h) + q(h). Let d be j(26). Solve -5*b - 9 = -d*b for b.
3
Let p = 201538 - 201534. Let n(l) = -3*l - 4*l + 5*l - 10. Let y be n(-8). Solve -p*o - 14 = y for o.
-5
Let y(z) = 20*z + 52. Let x be y(-5). Let k be (15/24)/((-6)/x). Solve -3*p = -k - 4 for p.
3
Let n be (40/(-12))/(5/12) + 28. Let v be (-212)/(-10) - 4/20. Solve -v*q + 26*q + n = 0 for q.
-4
Suppose -5*b - 1 = -4*h - 36, -3*h + 4*b = 25. Let j be (9/h)/((-2)/10). Suppose -5*a + 10 = j*o, -2 = 3*o - 4*a + 3*a. Solve -g - 4 + 7 = o for g.
3
Let g = 377 + -349. Suppose -g*i - 60 = -40*i. Solve i*f - 6 - 4 = 0 for f.
2
Let w(m) = -5*m**3 + 44*m**2 - 23*m - 62. Let k(v) = -3*v**3 + 28*v**2 - 15*v - 41. Let f(u) = 8*k(u) - 5*w(u). Let t be f(-4). Solve -t*g + 14 = 16 for g.
-1
Suppose -8*p = -6*p + 2*p - 96. Solve -p*u - 42 = -38*u for u.
3
Suppose -2 = 2*q, 0*l + q + 65 = 4*l. Suppose l = 5*j + 1. Suppose k = m + 5, -j*m - 1 = -4*k + 20. Solve k + 4 = -2*p for p.
-5
Let i = -1425 + 1482. Solve -43*b = -i*b + 14 for b.
1
Suppose -602 = -2*b + 5*k, -4*b + k + 301 = -3*b. Let l = b + -292. Solve -2*a + 5*a - l = 0 for a.
3
Let u(y) = y + 23. Suppose 13 = 9*w - 10*w. Let p be u(w). Let h be (3/(-2) - p/20) + 2. Solve h*a - 4*a = 20 for a.
-5
Let z(f) = -f**3 + 12*f**2 + 12*f + 20. Let x be z(13). Solve 5*g + 8 = x*g for g.
4
Let d(t) = 2*t**2 + 98*t + 1026. Let v be d(-15). Solve v*i - 22*i = 96 for i.
-6
Suppose 2*g = -17*g - 8*g. Suppose 0*a = 5*a - 10, g = r - 4*a + 2. Solve 9*v = 7*v + r for v.
3
Let m = 26552 + -26352. Solve 387*o - m = 412*o for o.
-8
Suppose -43*m - 5*m + 11*m = -9*m. Let r = -5 - 1. Let l be 3/r*(-7 - -1). Solve m*t = -l*t + 9 for t.
3
Let t(q) = q**3 - 7*q**2 + 3*q. Let x be t(6). Let y = x - -27. Suppose y*d + 1 = 10*d. Solve l - 4 = d for l.
5
Let n = 91 - 95. Let a be (-10)/(-75) + n/30. Solve -3*j = -a*j for j.
0
Suppose -2*t - i = -97 - 38, 4*i = 2*t - 130. Suppose 36 = -t*n + 70*n. Solve -2*u - 4*u = n for u.
-2
Let b = 6095 - 5975. Solve 0 = -9*d + 29*d + b for d.
-6
Let o(b) = b**2 - 21*b + 22. Let n = -62 - -82. Let k be o(n). Suppose 61 = 3*p + 5*l, -p + l = k*p - 31. Solve v + 2*v = p for v.
4
Let h = -19516 - -19538. Solve h*c - 84 = -62*c for c.
1
Let s = 17653 + -17651. Solve s*j + 11 = -5 for j.
-8
Let c = -26915 + 26922. Solve -c*y = -93*y - 602 for y.
-7
Let d = -62 + 73. Suppose -5*k - 4*n + d = -13, -5*n - 3 = -2*k. Suppose k*r = -0*r + 8. Solve s = -0*s + r for s.
2
Suppose -4*f = o - 22, -5*f - 13 = 5*o - 48. Suppose 0 = o*w - 20 + 8. Solve -2*j + 4 = -w for j.
5
Let k = 149 + -137. Suppose -1 = -k*c + 71. Solve -6*m = -c - 6 for m.
2
Suppose -2*p = -0*p + 4, 0 = -c - 4*p - 14. Let v be 6/(c*(-1)/8). Solve 0 = 6*s - v*s for s.
0
Suppose 8*k - 447 = -3*k + 356. Solve -85 + k = 3*m for m.
-4
Let y be (336/(-140))/(15/(-350)). Solve -y*t + 67*t = 0 for t.
0
Suppose -s = -5*n + 128, 16 - 132 = -3*n - 5*s. Solve -17*f = -n*f - 16*f for f.
0
Let g be (-2)/(-6) + 5 + 11/3. Let r(s) = -s - 2*s + g + 6*s + 3*s + s**2. Let m be r(-7). Solve 4*q - m = -0*q for q.
4
Let c = 0 - -2. Suppose 3*t - 3 = 0, -5*u - 9*t - 4205 = -14*t. Let o = u - -842. Solve 2*m + c = -o for m.
-2
Let i be -10*2/8*-2. Let x be 0 + -1 + 5 + i. Solve -x + 3 = -3*z for z.
2
Let d(k) = 3*k - 22. Let p be d(6). Let x be ((-1 - 3)/p)/(-2 - -3). Solve -6*u = x + 29 for u.
-5
Let r be (-1)/(((-8)/164)/2). Solve r = 4*q + 57 for q.
-4
Let o(m) = 847*m + 864. Let x be o(-1). Solve -x*n + 80*n = -252 for n.
-4
Let r(y) be the first derivative of -y**4/4 + 5*y**3/3 - y**2/2 - 12*y - 137. Let m be r(4). Solve -6*h - 2*h + 16 = m for h.
2
Suppose 5*q + 447 = 122. Suppose 2 = z, -215 = -3*g + 6*z - 4*z. Let o = g + q. Solve w - 3 = -o for w.
-5
Suppose -d - 4 = 0, -b + 24*d = 26*d - 62. Solve 0 = 80*t - 70*t - b for t.
7
Let s(c) = 8*c + 12. Let z be s(-2). Let f be (0 + (-54)/z)*28/(-6). Let n = 63 + f. Solve -3*q + q + 2 = n for q.
1
Suppose -2*s + 3*o = 15, -3*s + 4*o - 20 = s. Suppose -32 = -3*m - 5*a, 3*m + s*a + 2*a - 29 = 0. Solve -4*u - m + 1 = 0 for u.
-2
Suppose 7*n - 3538 = -115*n. Solve n*d = 9*d - 160 for d.
-8
Let x be (-1 + 16 + -2)/1. Suppose 7 + 81 = 11*u. Suppose -u*s - 10 = -x*s. Solve s*k + 10 = 2 for k.
-4
Suppose -77656*t + 803 = -77583*t. Suppose -10 = -0*k - 2*k. Solve k = -4*f - t for f.
-4
Suppose 2*d = 6*d - 8. Let f(s) = s**3 - 2*s**2 + 2*s - 1. Let o be f(1). Suppose o = -2*a + 5*x + 3, 2*a + x = 3*a - 3. Solve d*u = a + 6 for u.
5
Let g(r) be the first derivative of -r**3/3 - 7*r**2/2 - 2*r - 9. Let q be 5/((3/3)/(-1)). Let z be g(q). Solve 3*h + z = -h for h.
-2
Let u be (-7)/(14/4) + 5. Let z = 4 - u. Suppose n - 9 = -3*s, 3*s - z - 8 = -4*n. Solve -k = s*k - 4 for k.
1
Let x = -1589 + 1601. Let k(q) = q**3 - 3*q - 2. Let n be k(-1). Solve x*z - 6*z - 30 = n for z.
5
Let b = -68 - -52. Let k be (2 - (-28)/b) + 12/16. Solve 0 - k = w for w.
-1
Suppose -3*p + 50 = -0*p + r, 3*r = 2*p - 15. Suppose 4*h - l = 4, 269*l - 273*l - 16 = 4*h. Solve h = 2*x + 9 - p for x.
3
Suppose 295 = 5*l - f, -l + 4*f + 59 = -f. Let z = -46 + l. Solve c = -z + 14 for c.
1
Suppose 0 = -24*s + 25*s + 201. Let l = -195 - s. Solve -d = d - l for d.
3
Suppose 0 = 5*m - 5*k - 28 - 127, 5*k + 124 = 4*m. Suppose 4*x = -2*z + 11 + m, 5*z - 2*x - 81 = 0. Solve 8*y = -7 - z for y.
-3
Suppose -15*j + 30*j = 45. Suppose j*a - 12 = h, h = 2*a - 1 - 7. Solve h*y + 30 = -10*y for y.
-3
Suppose 0 = 3*i + 3*f - 162, f = 4*i + 4*f - 220. Suppose -741 + 103 = -11*a. Let v = a - i. Solve 0 = -v*j + 3*j for j.
0
Let o be 3630/(-20)*(-10)/3. Let t = o + -581. Solve t = 3*h + 9 for h.
5
Let n = -31223 - -31228. Solve -n*q - 145 = -140 for q.
-1
Suppose 1910*z - 1887*z = 299. Solve 65*s - 52*s + z = 0 for s.
-1
Let x = 32 - 34. Let a be ((-10)/(-4))/(x/(-44)). Let o = a + -52. Solve -o*c + 8 = c for c.
2
Let n be 331 - (-2)/10*(30 + -35)*0. Solve -6*x + n = 325 for x.
1
Let q(t) = t**2 + 10*t - 17. Let g be q(-8). Let o = 9 - 34. Let m = o - g. Solve -4*p - 8 = -m*p for p.
2
Let p(v) = 110*v - 2616. Let j be p(24). Solve -4*r + 40 = j for r.
4
Suppose 10*t - 162 - 40 - 128 = 0. Solve -4*z = -t + 29 for z.
1
Let l = 12085 - 12027. Solve l*s - 61*s = -9 for s.
3
Let j(i) = -7*i - 19. Let q be j(18). Let b = -143 - q. Solve 0 = -b*z - 0*z for z.
0
Suppose 0 = -3*j + 21. Suppose 3*q = j*q + 80. Let h be ((0 - 1)/(4/q))/1. Solve h*n - 4 = 3*n for n.
2
Suppose 3*f + 0*f - 9 = -3*i, 0 = -2*i + 5*f + 6. Let j(a) = -a**3 + 3*a**2 - 4*a + 18. Let g be j(i). Solve -10*k = -g*k for k.
0
Let b(i) = -709*i - 5672. Let z be b(-8). Suppose 0 = 4*g + g - 10. Solve -h + z = g