 for k.
-1
Let r be (-784)/(-40) + 2/5. Suppose r = -4*v, y - v = 5*y - 67. Solve -y = -2*a + 4*n, -2*a + 0*a - 27 = 5*n for a.
-1
Let c(s) = -s**2 + 15*s - 28. Let x be c(14). Let o be (54/(-63))/(3/x). Solve b = -v, -4*v + b + o = -11 for v.
3
Let o = 10332 + -10332. Let m = -5 - -8. Suppose -m*h - h = -12. Solve h*b - 3*i + 30 = 0, -4*b = -i - o*i + 25 for b.
-5
Let h(u) = -u**3 - 4*u**2 + 58*u - 15. Let t be h(-10). Solve -5*x = -4*k - 4, -5*k - t*x = -1 + 6 for k.
-1
Let d(x) = x**3 - 8*x**2 + 9*x + 3. Let l be d(7). Let j = 16 - l. Let r be (14 - -6) + 0/j. Solve -4*y - r = -4*f, 2*y - 5*f = -y - 25 for y.
0
Suppose 2*k + 80 = 5*m, k - 2*k - 5*m - 70 = 0. Let a be (-280)/k + 3/(-5). Let r = 2 - 0. Solve 3*i - 5*u = 14, -a*i = -r*i + u + 10 for i.
-2
Let g(d) = d**2 + 3*d. Let v be g(3). Suppose -3*w = -2*w - v. Suppose -5*m + 37 = -w. Solve -3*o - 2*l + m = 0, 2*o - 14 = 4*l + 4 for o.
5
Let p be (0/(-104))/(-3 + 1). Solve 3*c + 5*x + 25 = p, -3*c + 3*x = -6*c - 15 for c.
0
Let x = -15 + 12. Let j be (-20)/(-30) - 10/x. Solve -4*r + 0*b + 2*b - 8 = 0, 0 = 2*b - j for r.
-1
Let u(g) = g**3 + 4*g**2 - g - 2. Let h be u(-4). Suppose 5*l + 2*t = 3, h - 17 = -l - 4*t. Let s(f) = -3*f. Let i be s(l). Solve d = 3*d + r, i*r = 2*d for d.
0
Let c(x) = -5*x + 4*x + 3*x + 1. Let k(m) = -m**2 - 13*m + 16. Let n be k(-14). Let l be c(n). Solve -h + 26 = 2*v + 4*h, -l*v + 3*h = -3 for v.
3
Suppose -3*h = -3*r - 3, 4*h - 2 = -4*r + 10. Suppose -h*v + 74 - 68 = 0. Solve 5*b - o - 2 = 0, -4*b + 2*o + 1 = v for b.
1
Suppose 12 = -13*u + 9*u. Let j = 5 + u. Solve -k + 1 = -4*f, 0*f = 4*k - j*f - 18 for k.
5
Let z = 29 - 27. Suppose 0 = z*s + 3*q + 11, -3*s + 3*q = 7*q + 14. Solve 0 = 5*x + 2*p, 3*p = -s*x - 2*p for x.
0
Let z = -32 - -22. Let j = z + 15. Solve 0 = 3*g - 3*x + 3, -j*g = 2*x + 2*x - 40 for g.
4
Suppose 0 = -4*m - m. Let y = 3 - m. Suppose -3*b = -12 - y. Solve -b*c - k - 22 = 0, k + 18 = -4*c - 0*k for c.
-4
Let i(f) = -6*f**3 - f**2 - f. Let k be i(-1). Suppose -2*y - 10 = -14. Let v be (-3 - y)*(-5 + 4). Solve 2 = -4*l + x - k, 5*l + 10 = v*x for l.
-2
Suppose -3*m - 4*l + 7*l = 9, 4*l - 4 = 2*m. Let o(j) = -5*j - 19. Let t be o(m). Solve 31 = -3*p + 4*s, 3*s + 2 = -3*p - t for p.
-5
Suppose 2*s = b + 13, 4*b - 2 = -4*s + 3*s. Let i(o) = -o + 13. Let x be i(9). Suppose x = 5*c - s. Solve -3*p = -q + 14, c = -3*q - 0*p - 2*p for q.
2
Let s(m) = -6*m + 34. Let g be s(5). Solve -g*i = c - 11, 4*c + 5*i = 7*i - 10 for c.
-1
Let f(j) = -j - j**3 + 5*j + j**2 - 4 + 0*j**2. Let g be f(1). Solve -2*r - 2*c + 4*c = g, 3*r = 2*c for r.
0
Let m be (11/5 - 2) + (-136)/(-20). Solve m + 5 = -3*r - 2*t, 4 = -r + 5*t for r.
-4
Let h = -580 - -580. Solve 2*n = -g - h + 2, -4*g + 8 = 4*n for n.
0
Let r(g) = g**2 + 8*g - 14. Let u be r(-10). Solve 5*o = -4*s + 40, u = -o + 3*s - 5 for o.
4
Suppose -2 = x - 5. Let s be 255/60 + (-2)/8 + -2. Suppose 2*u + 1 = 5*y - 7, -s = y - 4*u. Solve -2*a + 0*a + 9 = -3*c, x*a - 11 = y*c for c.
-1
Let n be 81/21 + (-2)/(-14). Let u(d) = -d**2 + 2*d + 12. Let p be u(n). Solve 5*y + 15 + 2 = o, 2*o = p*y + 10 for y.
-4
Let b(o) = o**3 + 13*o**2 + 3. Let t be b(-13). Suppose -l = 3*x + t*l - 72, -72 = -3*x - l. Solve 4*r + f = -f - x, -r - 4*f = 13 for r.
-5
Let c be (-13)/((-117)/(-36)) + 0 + 8. Suppose b = 5*b. Solve -m - 4*d + 24 = b, 0*m - 2*d = c*m - 26 for m.
4
Suppose 0 = -7*h + 4 + 3. Suppose -39 - h = -4*x. Solve -5*b = -2*g - x, 3*g + 0 = 4*b - 8 for g.
0
Suppose 0 = 54*x - 50*x - 20. Solve 5*o - 11 = 4*v, o - x*v = 4*o - 14 for o.
3
Suppose w = -2, 3*z - 6 = 3*w + 6. Suppose -3*t + 60 = 3*g, -z*g + 106 = 5*t + g. Solve 4*d + 3*m - 25 = 8*m, 4*d = 3*m + t for d.
5
Let r = 49 - 182. Let w = -119 - r. Solve -b - 18 = -5*b - 5*m, 0 = -4*b - 3*m + w for b.
2
Let k = 455 - 453. Solve -3*d + 0*p - 10 = -5*p, k = -2*d + p for d.
0
Let l(c) = -2*c**3 - 3*c**2 - 6*c - 8. Let h be l(-4). Let f be 213/(-12) + (-2)/8. Let w be h/f*9/(-4). Solve -u + 4*b = -0*u + w, 4*u = -5*b + 15 for u.
0
Let t be (32/48)/(1340/444 - 3). Solve 5*q + t = -0*q - 3*w, -5*q - 21 = -w for q.
-5
Suppose -16 = -4*u + 4*m, 184*m - 183*m - 32 = -5*u. Solve 5*z + 4 = -5*o - u, 3*o = -5*z - 16 for o.
3
Suppose 0 = 2*g + 3*f - 5, -17*f - 10 = -3*g - 19*f. Solve -2*a - 5*u + 27 = 0, g*a - u + 0 = -1 for a.
1
Suppose -34*l + 38*l - 20 = 0. Solve -l*a + 6 = 3*z, 7*z = 4*z - 9 for a.
3
Let r(d) = -d**3 + 15*d**2 - 13*d - 10. Let g be r(14). Solve -3*p = -w + 9, -g*w + 2*p - 5*p = 9 for w.
0
Let s = 68 - 65. Solve -5 = s*f - 3*z - 14, f = 4*z + 12 for f.
0
Suppose -70 = -706*f + 699*f. Solve 2*o - 4*o + f = -5*v, -3*v - 7 = -o for v.
-4
Let o be 0/(-3)*(-4)/(-8). Solve o*l + 4*l - 3*i = -17, 2*i = l + 8 for l.
-2
Let g(z) = 1 - z + 3*z - 7. Let m be g(4). Let d be 7/2*(m - 0). Solve -6*b + 21 = 2*o - b, o = b - d for o.
-2
Let b(i) = i**3 - 14*i**2 - 7*i - 116. Let o be b(15). Solve 0 = -h + c - o, 5 = c for h.
1
Suppose -3*k - 4*d + 85 = 0, 10 = -3*d + d. Suppose 2 = -11*y + k. Solve 0 = 5*f - 0*f - 2*b, 0 = 4*f + y*b for f.
0
Let f be (-7 - -2)/(-2 - (0 + -1)). Let w = 77 + -72. Solve 0 = w*r - f, -9 = 4*u + u - 4*r for u.
-1
Let z be (0/(42/6 + -9))/(-2). Solve 3*g = -5*v - 4, 8*g - 5*g - 3*v + 12 = z for g.
-3
Let f be ((504/16)/(-21))/(3/(-44)). Solve s = -3*s + 5*p - 6, 3*s + 5*p + f = 0 for s.
-4
Let z(k) = -k**3 - 3*k**2 - 5*k - 13. Let l be z(-3). Solve -2 + 4 = 2*y - l*g, 0 = 5*y + 4*g - 32 for y.
4
Suppose -5*l = 2*f - 13 - 69, -42 = -2*f + 5*l. Let u = f - 26. Solve -6*q - 3*j - 3 = -3*q, 0 = u*j for q.
-1
Suppose 5*n + 3*c - 16 = 0, n + 3*n - 10 = -c. Suppose -24 = -n*w - 6. Solve 5*s = 2*x + 19, -3*x - 5*s = -25 - w for x.
3
Let j(h) = -h**2 - 12*h - 22. Let o be j(-9). Suppose -o = -5*n + 5. Solve -n*v + 7*q = 2*q + 11, 4*q - 7 = v for v.
-3
Let l be (-7)/(-3) - 8/24. Solve -3*q = 5*g - 28, -2*q = -l*g + q + 7 for g.
5
Suppose -53 = -48*p + 139. Solve q - p*b = -3*q + 12, 0 = 4*b - 8 for q.
5
Let m be (0/(-39))/(1/1). Suppose m*r = -10*r + 50. Solve -2*o - 10 = -2*u + 3*o, 10 = -3*u - r*o for u.
0
Let g(n) = -n**3 - 9*n**2 + 9*n - 7. Let f be g(-10). Let w be f - 2/((-2)/3). Solve 0*t = -4*t - 4*c - 12, -2*t - w = -4*c for t.
-3
Let c(t) = t**3 - 5*t**2 + 2*t + 1. Let d be c(4). Let m = d - -9. Solve -3*o - 5*r - 9 + m = 0, o + 7 = -4*r for o.
1
Let g be 1/(-3) - 2/(-6). Suppose g*i = -3*i + 6. Solve -10 = 2*r + 5*c, -2*r - i*c + 8 = -6*c for r.
0
Let v(d) = d**3 - d + 17. Let o be v(0). Suppose 5*b = -m - 3*m + 11, 0 = -4*b + 5*m + o. Solve 6 = b*a + u, 0*u + 9 = 3*a + 2*u for a.
1
Suppose -142 = 2*s - 216. Solve -4*p = -0*q + 5*q - s, p = -q + 8 for q.
5
Suppose -15 = -2*o - 7*d + 4*d, 5*d = -o + 18. Solve 2*l - 10 = 0, -z - o*l + 2*l = 0 for z.
-5
Let l be 3/((-1)/(-2) + 2/4). Let y = 1 + 2. Suppose -5 = -3*s + y*o - 17, 0 = o - 4. Solve l*c + 2*g = -13, 2*c + 2*c + 3*g + 18 = s for c.
-3
Let m be (-21)/(-4) + (-2)/8. Let j = -2 + m. Suppose 0 = 3*q + 2*q - 2*z - 94, -5*z - 65 = -4*q. Solve -2*d - q = -4*t, d + j*d + 5 = t for d.
0
Let b be (-2)/1*(52/2)/1. Let t = b + 56. Solve 2*k + 2 = -2*i + t, 3*i - k + 13 = 0 for i.
-3
Let x be -12*((-15)/(-6))/(-5). Let d(z) = -z**2 - 3 - 6*z + 4 - x*z. Let m be d(-9). Solve 5*u = -f + m, 4*u + 4 = -f + 27 for u.
5
Let m(h) = -h**3 - 11*h**2 - 10*h + 10. Let g be (-56)/6 - (-4)/(-6). Let n be m(g). Solve -4*i - 33 = k - n, -5*i - 3*k - 34 = 0 for i.
-5
Suppose -120 = 5*l - 4*b, 0*l - 155 = 5*l + 3*b. Let g = l + 32. Solve 0 = 4*i - g*t - 24, 0*t = 3*i + 3*t for i.
3
Let j(c) = 6 + 0 - 4*c + c + 24. Let k be j(9). Solve 4*n + v + 14 = 0, 3*n - 7*v = -k*v - 20 for n.
-4
Suppose -7 = 4*o + 9, -2*o = -2*f + 14. Suppose 3*m = -24 + 18. Let w be 1*(m - -21 - 1). Solve 2*u + x + 1 = 0, u = -x - f*x - w for u.
2
Let d be ((-180)/(-48))/((-3)/(-8)). Suppose -s = s + 10*s. Solve -r = g - d, -r + 3*r - 10 = s for g.
5
Suppose 88*o - 95*o = 0. Solve o = 5*g - 4*v + 36, -5*g - 1 - 3 = 4*v for g.
-4
Let l be 3*5/(-3)*(-15)/25. Solve -6*o + l*o = -2*m + 14, -4*m = -5*o - 24 for m.
1
Let j = 173 - 167. Solve -x = 3*z - 9, 4*x + j + 9 = 5*z for x.
0
Let s be ((-1)/2)/(3/(-12)). Let y(k) = 62*k - 308. Let z be y(5). Solve u - 5 = 0, z + 3 = b + s*u for b.
-5
Let y be 1/(9/18) + 5. Solve 3*l + 7 = s, -2*s - y = l - 