= 4*k for k.
0
Let g(n) = 4*n**2 - 2*n + 1. Let s be -2 - (0 - -1 - 5). Suppose 0 = -4*a + 2*f + 8, -5*f = -s*a + 5 + 7. Let u be g(a). Solve -u*i = -2*i + 2 for i.
-2
Let g = -8 - -7. Let n be (2 + -2)*g/1. Solve r + n*r = -3 for r.
-3
Suppose -3 + 20 = 4*a - 3*y, -a + y + 5 = 0. Solve -3*k - 15 = a*k for k.
-3
Let a be 0 - 32/(-18) - (-26)/117. Solve -d = a + 2 for d.
-4
Let n = 62 - 58. Solve 12 = -0*t - n*t for t.
-3
Let c(o) = o**3 + o**2 - o - 2. Let h be c(0). Let f be (-5)/h*2/(-1). Let y(l) = -l + 3. Let t be y(f). Solve -t = -3*g + 4 for g.
4
Let l be 3/2*(-4 + 14). Suppose -5*d + l = -50. Suppose -o - d = -5*x, -8*x + 4*o + 20 = -4*x. Solve 9 = x*t + 1 for t.
4
Suppose 5 = k - 2. Suppose -3*f = -k*f. Suppose f = -0*g - g + 6. Solve -4*z + g = -2*z for z.
3
Let x = -39 - -42. Solve x*u + 7 - 1 = 0 for u.
-2
Let n be 6/42 - 41/(-7). Let a = n + -1. Suppose -o - 1 = -a*v, -o + 3 = 2*v - 3*v. Solve f - 1 = o for f.
5
Suppose -4*y + 23 = -1. Solve 0 = -3*x - y for x.
-2
Let j(s) = 2*s - 4. Let q be j(3). Solve z + q*z + 9 = 0 for z.
-3
Suppose -4*t - 24 = 8. Suppose 0*x - 3*x - 5*o + 34 = 0, 4*o = -5*x + 74. Let f = x + t. Solve 2*g + 0*g = -f for g.
-5
Suppose 10 = -3*t + 25. Solve t*l = 20 + 5 for l.
5
Suppose 0*j + 97 = 5*f + 2*j, 3*j - 3 = 0. Suppose 5*g - 85 = 5*h, -4*g + 35 + f = 3*h. Solve -6*y - g = -y for y.
-3
Let f = 22 + -18. Suppose 0*w - f*w + o = -11, -2*w + 3*o + 3 = 0. Solve 0 = w*j - 6*j + 3 for j.
1
Let v = 11 - 15. Let c = 21 + v. Solve -4*j - 5 + c = 0 for j.
3
Suppose l + 2*a - 11 = 0, l - 4*l - 5*a + 29 = 0. Suppose -6*u - u = 0. Solve u = -l*t - 10 + 4 for t.
-2
Let w(m) = -m - 4. Let r be w(-6). Let n be r/6 - 26/(-3). Solve n*j - 4*j = -10 for j.
-2
Suppose a + 120 = 6*a. Let c be (-10)/4*a/(-15). Suppose -3*x + 11 - 4 = 4*p, 0 = p - 5*x + 4. Solve c*u = 5 - p for u.
1
Let c(q) = -q - 3. Let p be c(-5). Suppose 3*n + p*n - 25 = 0. Suppose -s - n*w + 3*w = -8, 3*s + w - 9 = 0. Solve -5*x = -3*x + s for x.
-1
Suppose 0 = -0*a - 4*a + 20. Suppose -b - 15 = -p - 3*b, -2*b - a = -3*p. Solve -p*s - 20 = -s for s.
-5
Suppose 0 = i - 3*i + 8. Let z be -7 + i - 3/(-1). Solve -4*k + 16 - 4 = z for k.
3
Let i(s) = -s**2 + 3*s - 2. Let q be i(2). Suppose -2*p + 1 = m - 6, q = p + m - 4. Solve 0 = n - p*n for n.
0
Let n(q) = -q**3 + 7*q**2 - 8*q - 2. Let j be n(5). Solve 25 = 3*a - j*a for a.
-5
Suppose 192 = 12*y - 60. Solve 0 = -5*b - y - 4 for b.
-5
Let s = -16 - -18. Suppose -4*i + 2 = i - s*d, -3*d = 3*i + 3. Solve -y = -i*y + 5 for y.
-5
Let d = 22 - 18. Solve -d*i = -0 + 12 for i.
-3
Let k(l) = 3 - 2*l + 3*l + 4. Let t(g) = 1. Let h(m) = -k(m) + 3*t(m). Let s be h(-4). Solve -p + 2*p + 1 = s for p.
-1
Let l(r) = r**3 - r**2 - r + 11. Let h be l(0). Let w = 78 - 74. Solve -w*x - 3 = -h for x.
2
Let n(q) = -q + 11. Suppose -4*g + 116 = 5*f - f, 4*g - 91 = f. Suppose a = 4*a - g. Let v be n(a). Solve -x = -v + 2 for x.
1
Suppose i - 40 = -2*l, -2*l + 6*l - 90 = 3*i. Solve 0 = 5*u + l - 1 for u.
-4
Let f(i) = i**3 - 5*i**2 + 4*i + 1. Let q be f(4). Let s be (-1)/(q - (-5)/(-4)). Solve z - 1 = -s for z.
-3
Suppose 4*p - 8 - 8 = 0. Let u = 1 + 0. Let b be 16/14 - u/7. Solve r = -p + b for r.
-3
Let h be (0 + -3)*(-2)/3. Let o be (-3)/((-1)/(-14)*-6). Solve h = r + o for r.
-5
Let h(l) = -l**3 - 12*l**2 - 10*l + 13. Let j be h(-11). Solve 0 = j*b - 0*b + 10 for b.
-5
Let x(u) = -2*u**2 - 26*u - 20. Let g be x(-12). Solve 2*p = g + 4 for p.
4
Let o be -4 + (6 + -4)*2. Solve o = 3*c - 3 - 0 for c.
1
Suppose -4*l = -9*l + 10. Let p = 4 - l. Solve -y - p*y + 9 = 0 for y.
3
Let x be 1*(0 - -3) - 6. Let j be ((-9)/6)/(x/8). Solve u - j*u = 0 for u.
0
Let r = 139 + 91. Let h be r/55 - 4/22. Suppose -2*b + h*c - 9 = c, -2*c = -2*b - 4. Solve -3 = 2*u + b for u.
-3
Let r be 1 - (1 + 1 + -4). Solve 0 = -4*j + 13 + r for j.
4
Let m = -32 + 34. Solve -m*y + 6*y = -8 for y.
-2
Suppose g - m + 1 = -2, -20 = -4*m. Suppose 0 + g = k. Solve 0 = -2*p + k - 0 for p.
1
Let t(s) = -5*s + 37. Let h be t(7). Solve h*u + 8 = -0*u for u.
-4
Let a = 9 + -15. Let d(b) = -b**2 - 9*b - 2. Let u be d(a). Solve 0*t = 4*t + u for t.
-4
Let t = 13 + -8. Suppose -3*n + t*n - 6 = 0. Solve 13 - 1 = -n*f for f.
-4
Suppose 5*t - 3*p - 41 = 0, t + 2*t + 2*p = 17. Solve -4 = -3*h + t*h for h.
-1
Let u be (3 + (0 - 1))*1. Let d(v) be the third derivative of -v**5/60 + v**4/8 + v**2. Let o be d(u). Solve b = o*b for b.
0
Let k = -62 - -66. Solve 22 = -k*y + 2 for y.
-5
Let q(c) = c**2 + 7*c + 6. Let f(n) = n**3 + 8*n**2 + 7*n - 6. Let i be f(-7). Let u be q(i). Let k = -3 + 5. Solve 2 + u = k*g for g.
1
Let n = 11 - 5. Let p(d) = 5*d - 6. Let r be p(4). Let j = r - n. Solve 10 = -j*c + 3*c for c.
-2
Let h be 0/2*(-6)/6. Let g(x) = -x**2 - 4*x - 3. Let j be g(-3). Suppose -4*q + 2 = 2*u, 2*u + j = -q + 5. Solve h = r + 2*r + u for r.
-1
Let o be (190/55 - 4)*-11. Solve -r = -o*r + 25 for r.
5
Let u be (4/10)/(16/40). Suppose 0 = 5*g + 2*p - 0*p - 7, -5*g + u = -4*p. Solve 0 = 2*q - g + 5 for q.
-2
Let p(k) = -3*k + 42. Let o be p(14). Solve -5*i - 1 - 9 = o for i.
-2
Let v be 5 - (-1 - (-1 + -3)). Solve -v*r + 0 + 2 = 0 for r.
1
Let q be (0 + 15/25)*5. Solve -f + 16 = q*f for f.
4
Let g = -60 + 63. Solve -2*a + 10 = g*a for a.
2
Suppose -5*z - 3*b = 2*b - 40, -3*z - 4*b = -29. Solve -10 = o - z*o for o.
5
Suppose 0 = 5*h - u - 15, 3*u - 15 + 0 = 0. Suppose -h*q + 153 = 53. Solve 5*y = -0*y + q for y.
5
Let s be (-9)/4*16/(-6). Let l(k) = k**3 - 5*k**2 - 3*k - 8. Let c be l(s). Let a be 2/(-10) - (-32)/c. Solve 0 = -a*t - 9 + 24 for t.
5
Let l(v) be the first derivative of v**3/3 + 7*v**2/2 - 2*v - 2. Let i be l(-4). Let u be (-4)/(-20) + i/(-5). Solve 0 = u*r + r + 8 for r.
-2
Suppose -4*v + 0*v = 0. Suppose v = 4*n - d - 17, 4*n + d - 11 = 4*d. Solve n*j - 5 = -0 for j.
1
Let q(a) = -a**3 + 7*a**2 - 6*a + 2. Let y be q(6). Let v be (-4)/(-10) + (-6)/15. Solve v*w - 6 = -y*w for w.
3
Let i(a) = -a**3 - 2*a**2 + 2*a - 2. Let g be i(-3). Let n(q) = -9*q + 1. Let w be n(-1). Suppose 2*h + 6 = f - 5, 0 = 2*h + w. Solve k + g = -f for k.
-2
Let p(g) = -2*g - 11. Let u(v) = v**2 - 7*v - 8. Let l be u(7). Let r be p(l). Suppose 0*f + 10 = r*f. Solve 2*x - 4 = -f for x.
1
Let i = -39 + 34. Let s be (-2)/4 + (-22)/(-4). Let w = i + s. Solve -1 = k - w for k.
-1
Suppose 0 = n - 5*w + 17, -2*n - 5*w + 49 = n. Suppose -7 - n = -5*d + 5*m, -3*d + m + 7 = 0. Solve -d*r = 3*r for r.
0
Suppose 5*h = -25, 3*k + k + 5 = -h. Suppose k = 3*q - 2*q. Solve q = 4*o + 8 - 0 for o.
-2
Let a = 12 - 10. Let n = -23 + 24. Solve a*i - 3*i + n = 0 for i.
1
Suppose 0 = -a + 6*a - 420. Let d be (-12)/7*a/(-8). Let o be (8/(-3))/((-12)/d). Solve 0*z - o*z = 0 for z.
0
Suppose -2*n + 4*u = 20, -2*n + 5*u = 2*u + 15. Suppose -3*d - 3 = 3, 0 = -4*o - 3*d + 2. Let p = o + n. Solve p*t + 4 = 6*t for t.
1
Suppose 2*y - 3*y = 0. Suppose 2*m - 6*m - s + 5 = y, 3 = -m + 4*s. Solve 0 = -3*v + 11 + m for v.
4
Suppose 2*f + 5*c = 41, 5*f - 11 = -3*c + 44. Suppose 36 = -i - 8. Let m be 40/22 - f/i. Solve -m*t = -t - 2 for t.
2
Let s = -19 - -19. Solve 2*z = -s*z + 10 for z.
5
Let x = -93 + 93. Solve 12*t - 8*t = x for t.
0
Let h = 4 - 6. Let l(f) = -4*f - 3. Let k be l(h). Suppose 4*q - 6*q - 5*w = 20, 4*q - 4*w = 16. Solve q = -k*g - 4 + 14 for g.
2
Let r(t) = 3*t - 4. Let w be r(10). Let l be (-4)/w - (-28)/13. Solve 4*m + l = -10 for m.
-3
Let x be (24/6)/(0 + 2). Let n = x - -2. Solve 0*b + n = -b for b.
-4
Let v be (-1)/4 + 18/8. Suppose -3*l + 2*l + v = 0. Solve h - 2 = l*h for h.
-2
Let w = -7 + 3. Let z(s) = s**3 + 5*s**2 + 3*s - 1. Let c be z(w). Solve -k + 0*k = c for k.
-3
Let n = 32 - 31. Solve -4*p + 5 - n = 0 for p.
1
Let b be (3 - 0) + (1 - (-3)/(-3)). Solve 0 + 3 = b*l for l.
1
Let f = -3 + 6. Suppose -s + 2*h = 1, -2*s - 3*h + 21 = 3*s. Suppose 0 = s*t - 0*t. Solve -5*k + f*k = t for k.
0
Let g be 10/3*6/4. Solve 0 = a + g for a.
-5
Let w(y) = -8*y + 1. Let b be w(-1). Solve 4*t = 11 + b for t.
5
Let t be 3/(-1 + 11/8). Let i(r) = -r + 17. Let u be i(t). Solve -3*y + u = -0 for y.
3
Suppose -8*l = -3*l. Suppose 15 = 4*c + 3*a - 18, l = -5*a + 15. Solve 0 = -2*d - d - c for d.
-2
Suppose 2*s + 6 = 3*p, -2*s - 1 = p + 5. Solve 2*c - 2 = -p for c.
1
Suppose -14 + 6 = -2*t. Solve t*s - 8 = -24 