 for k.
1
Suppose 4*v + 7*q - 96 = 2*q, -2*q = 8. Let n be (-2)/3 + (-4)/(-6). Suppose -5*w + 36 + v = n. Solve 12 = 5*m - w for m.
5
Suppose 4*j + 2*k - 14 = 0, 4*j - 2*j = 3*k - 5. Solve -2*g - 4 = -j for g.
-1
Let p = 2 - 0. Suppose -7*x + p*x = -30. Let b(h) = 9*h + 1. Let a be b(1). Solve q + a = x*q for q.
2
Let r be (-116)/(-40) + 2/20. Solve r*o + o = 0 for o.
0
Let d(f) = -3*f + 5. Let v be d(4). Let h = 9 + v. Solve 0 = -3*i + h + 4 for i.
2
Let d = -28 + 43. Solve 7*c - d = 4*c for c.
5
Let s be ((-3)/(-2))/(3/4). Let x be -2 + (2 - 0/1). Let j = 71 + -65. Solve s*n = -x + j for n.
3
Let c(g) = -g + 8. Suppose -4*f + 24 = 4*h - 5*h, -3*h = 0. Let k be c(f). Solve o - k*o - 3 = 0 for o.
-3
Let s(m) = m**3 + 6*m**2 - 7*m + 3. Let n be s(-7). Suppose l - 5*l = 0. Solve l = 2*j - n*j for j.
0
Suppose -3*o + 0*o = -30. Let a(t) = t. Let h be a(o). Solve -3*n - h = -5*n for n.
5
Suppose -5*y + 0*p + 12 = 2*p, 4*y - 12 = -4*p. Suppose -y + 8 = 3*q. Solve q*v = -2*v for v.
0
Suppose -5*l - 5 = 0, 11*u + 4*l = 13*u - 18. Suppose -5*f = -2*f. Solve -5*v + 8 + u = f for v.
3
Let c(f) = -f**3 + 7*f**2 - 6*f - 6. Let k be c(6). Let a = k + 9. Solve 0 = a*r + 7 - 1 for r.
-2
Suppose 3*n = f - 20, -f - f + 3*n = -25. Solve f*g - 15 = -0 for g.
3
Let x be 0 + 0/(6/2). Solve x = -4*f - 0 - 4 for f.
-1
Let i = 5 - 5. Let l = 3 - -2. Suppose -16 = -l*y - 6. Solve i*c - y = -c for c.
2
Suppose -3*v - 2 = -5. Let q be 5/(15/6)*v. Solve 5 - 1 = -q*z for z.
-2
Let n be (-6)/(-9) + 25/3. Solve 7 = 4*v - n for v.
4
Let q(x) = x**2 + 2*x - 3. Let b(d) = -d**2 + 12*d - 15. Let v be b(11). Let o be q(v). Solve 0 = -o*k + 7 - 2 for k.
1
Let j(h) = h**2 + 9*h + 12. Let v be j(-9). Let n = v + 0. Solve q - 5*q = -n for q.
3
Let a be 5/(1 + 4) - -4. Solve a*i + 0*i = -20 for i.
-4
Suppose -5*g + 2*g - 3*f + 6 = 0, -4*f = -g + 2. Solve g*x = 3*x for x.
0
Let d be (12/4 - 4) + 8/2. Solve 1 = d*r - 11 for r.
4
Let j = -6 + 11. Suppose -3*c = -u - 5, j*u - 2 = -4*c + 11. Suppose 9*g - 4*g = 20. Solve c = g*x - 2 for x.
1
Let b = 5 + -2. Let u be 3/(6/4) + b. Solve 2 - u = 3*p for p.
-1
Let a(o) = o**2 + 6*o - 10. Let g be a(-8). Let f = g - 4. Solve -z - f - 1 = 0 for z.
-3
Let b(z) = z**3 + 3*z**2 - 4*z + 7. Let p be b(-4). Solve 2*k - p*k = -15 for k.
3
Let v(o) be the first derivative of -o**2/2 + 8*o - 2. Let k be v(7). Solve 5*x + k = -4 for x.
-1
Let g(w) = 4*w + 34. Let u be g(-8). Solve -u*j = 2*j + 20 for j.
-5
Suppose 7*h - 15 = 4*h. Solve -h = 3*l - 17 for l.
4
Let u be (-1)/2*40/(-1). Let b = u - 15. Solve 5*q - 5 = b for q.
2
Suppose 3*f - 18 = -4*z, 8*z = -4*f + 3*z + 23. Suppose 5*g = f*g - 12. Let a be (4 - 0)/(-3 - g). Solve -8 = -3*w + a for w.
4
Let f(r) = r**2 + r + 9. Let c be f(0). Let k = c + 4. Suppose -5 - 1 = -3*d. Solve d*l = -k + 3 for l.
-5
Let c = -1 + 4. Suppose 3*f - 3*i = 0, i + 2 = -f + c*i. Suppose -4*k - f*y = -22, 8 = 5*y - 7. Solve -k*n + 11 + 9 = 0 for n.
5
Suppose 86 = -4*b + 10. Let v = b - -28. Suppose v = 2*q + q. Solve -c = q*c + 4 for c.
-1
Let q(k) be the first derivative of k**2/2 - 4*k + 10. Let u be q(6). Let z(m) = m + 4. Let s be z(4). Solve -u = 3*v - s for v.
2
Let d(c) = -c - 19. Let l be d(-21). Solve 5*u = l*u for u.
0
Suppose -2*j + 3*h = -0*h + 14, -21 = 3*j + 5*h. Let o be 28/(-8)*4/j. Let s be 2/3 - 8/(-6). Solve 0*w + o = -s*w for w.
-1
Let w = 51 + -50. Solve 0 = -k + 6 - w for k.
5
Let j = -8 + 11. Suppose j*x - 5 = 2*x. Suppose -4*z = -24 - 16. Solve x*p - z = -5 for p.
1
Suppose 0 = 5*d - 15. Suppose d*o = -o. Solve n = 4 - o for n.
4
Suppose -4*b + 2*r = -8, 3*b + r - 8 = 2*r. Solve 0 = -0*i - b*i - 8 for i.
-2
Let n be ((-2 - (-4)/2)/1)/1. Solve n = -4*s + 4 + 8 for s.
3
Let x = -9 + 13. Let b = -2 + x. Suppose 0*o = -2*o + 4. Solve -b*n - 6 - o = 0 for n.
-4
Let l be (-8180)/(-65) + 6/39. Suppose -5*x - p = -6*p - 130, -p = -5*x + l. Let z be (-4)/6 + 11/3. Solve 2*w + z*w + x = 0 for w.
-5
Let h = 0 + 8. Let z be h/12 - 30/(-9). Suppose -3*f - 5*p + 6 = 0, -2 = -f + 2*p - 0*p. Solve 0 = z*x + 14 - f for x.
-3
Suppose -2*t = -3*f - f + 18, 0 = t + 3. Suppose 4*b - 17 = f. Suppose m + 30 = b*r, -4*r + 4*m + 5 = -19. Solve p - r*p = 25 for p.
-5
Suppose -11*c + 9 = -3*f - 6*c, 4*f - 4*c + 4 = 0. Solve -14 = -4*g - f for g.
3
Suppose -3*o + 55 = 4*i, 5*i - 83 = 2*o - o. Let q = 1 + -1. Suppose 0 = -2*b - 0*b + 8. Solve q*a = -b*a - i for a.
-4
Suppose 4 = 6*u - 4*u. Suppose -a + 5*a = -12, 0 = u*o + 2*a + 2. Suppose 2*l - o*n - 30 = 0, -8 - 22 = -2*l + 3*n. Solve g - 6*g = l for g.
-3
Let n be 4/(-2) - (3 + -1). Let q be (-7)/(-1)*n/(-14). Suppose 2*j + 6*s - q*s - 26 = 0, -2 = 2*j - 3*s. Solve 5*t - 4*t = -j for t.
-5
Suppose 3*w = w + 6. Let a be (w - -2) + (1 - 1). Suppose -b + 5 = 3*n, 3*n = 5*n - a*b + 8. Solve 1 = z - n for z.
2
Let w = 2 + -16. Let v = -1 - w. Suppose -u + 4 - 1 = 0. Solve u*p - v = 2 for p.
5
Suppose 4*x - 1 - 11 = 0. Solve -x = o - 0*o for o.
-3
Let n = 30 - 25. Suppose -4*g + 20 = 4. Solve -n*x = -3*x + g for x.
-2
Let f(a) = -2*a + 10. Let t be f(4). Solve 0 = r + t*r - 3 for r.
1
Suppose 2 = 5*l - 4*l. Suppose 5*i - 10 = 0, 4*a - a + 4*i = 2. Let m = a + l. Solve y + 0 - 3 = m for y.
3
Suppose 5*l = -5*a + 3*l + 28, -2*l = -5*a + 12. Solve a*k = 3 - 19 for k.
-4
Suppose 17 = i - 10. Let c = i - 22. Solve 2 = c*j - 3 for j.
1
Let x(n) = -n + 12. Suppose 5*g + 5*o + 15 = 0, -9 = 5*g + o + 2*o. Let c be x(g). Solve -u - 3*u = -c for u.
3
Suppose 0*y + 4*y - i = 23, 3*i = 3. Let j(p) = -p**2 + 8*p + 2. Let w be j(9). Let q = -4 - w. Solve -q*n = -n + y for n.
-3
Suppose -4*c + 3*m - 20 = m, -5*c - m = 39. Let i be 30/7 - (-2)/c. Suppose 2*f = i*f. Solve p + 2*p = f for p.
0
Let f be 4/3*9/(-2). Let t = 10 + f. Suppose 0 = v + v + 4*u - 28, 3*v + 3*u = 36. Solve b + t*b = v for b.
2
Let r be 14/42 - (-47)/3. Solve x + r = -3*x for x.
-4
Suppose 5*x = x - 3*a + 7, -2*a = 2*x - 2. Solve -x*o - 3 = -23 for o.
5
Let t = -19 - -23. Let i = t - 1. Solve -3 = i*n - 18 for n.
5
Let n(d) = 6*d**2 - 1. Let y be n(-1). Solve -y = -v - 9 for v.
-4
Let s be 12/(-2) - (-10 + 2). Solve 2*q = s + 4 for q.
3
Suppose -5*d + 7*d + 36 = 0. Let g = -25 - d. Let a = g - -11. Solve -6*h + a*h = 6 for h.
-3
Let a = 31 + -22. Solve -3*h = -0 + a for h.
-3
Let b(a) = -a**3 + 8*a**2 + 8*a + 10. Let j be b(9). Let o = j - 1. Solve -4*s - 4 + 12 = o for s.
2
Let a(s) = s**2 + 2*s + 2. Let g be a(0). Suppose -1 + 5 = 2*u. Suppose -3 = -5*h + u. Solve h = -g*l - 3 for l.
-2
Let t be -2 + 10/6*3. Suppose -t*w = -2 + 20. Let l = w + 11. Solve l*f - 7 = 18 for f.
5
Suppose 0*y + 2*y + 21 = -3*r, 0 = -2*y - 2*r - 22. Let p = -6 - y. Solve 4*q + 2 + p = 0 for q.
-2
Suppose y + 0*y + 5*c - 17 = 0, 0 = -2*y + 4*c - 22. Let k be y/(-12) + 57/12. Solve -3*u + k*u = 0 for u.
0
Suppose -z - 4*w - 20 = -6*z, 3*z = -w + 12. Solve -2*u = -4*u + z for u.
2
Suppose 2*m + 2*m + 18 = 5*h, h - m = 4. Solve -2*a - h = 4 for a.
-3
Let v be (-95)/(-10) - (-2)/4. Let u = v + -6. Suppose 2*j = u*j. Solve j = 3*d - 4*d + 2 for d.
2
Suppose -5*q = -4*v - 17, 3*v - 2*q = -2*v. Let d(y) = -7*y + 1. Let c be d(1). Let a(z) = z**3 + 6*z**2 - z - 3. Let w be a(c). Solve 0 = t + v + w for t.
-5
Suppose 23 = 5*m - 2. Solve -m*i - 3 = -28 for i.
5
Let i = -16 + 2. Let y = 16 + i. Suppose l - z = z + 11, 0 = -2*z - 8. Solve y = -j - l for j.
-5
Let p(x) = x**3 + 5*x**2 - x + 7. Let r be p(-5). Suppose 18 = 2*k + 3*l - l, -3*l = k - 19. Solve r + 8 = k*d for d.
5
Suppose u + 2*r + 39 = 6*u, 2*r - 51 = -5*u. Solve -4*n + 3 = -u for n.
3
Suppose 0 = -5*f + 20 - 0. Let x be (-6)/4*(-160)/24. Suppose x = f*s + 2. Solve 0 = -0*k - s*k - 4 for k.
-2
Suppose 20 = 2*b + 4*c, 3*c + 13 = 4*b - 2*b. Solve u + u = -b for u.
-4
Let d be (-20)/(-5) + -1 + 2. Suppose d*y = -3*u - 0*y + 5, 0 = u + 4*y - 4. Suppose 0*h - h = -2. Solve h*t - 8 - 2 = u for t.
5
Let d be (0 + 1)/(-1) + 0. Let y be (d/(-1) + -1)/1. Solve 0 = 2*c - y*c + 8 for c.
-4
Suppose 7*v - 4*v = 24. Let u = -6 + v. Suppose -u*b + 4*b - 50 = 0. Solve -b = 5*t - 0*t for t.
-5
Suppose b = 5*b - 2*a - 30, 0 = 2*b + 4*a. Solve -15 = -m + b*m for m.
-3
Let w(j) = -j**3 - j**2 + j - 1. Let i be w(0). Let x be (-4*2/4)/i. Solve -y - 4 = -x for y.
-2
Let p = -10 + 16. Let b = 25 - 22. Suppose 9 + p