ve -3*c + 5 = k for c.
-5
Suppose -19 = 4*k + 13. Let c = k + 14. Solve -j - 5 = -c*j for j.
1
Let n be (-2)/6 - (26/(-6) - -2). Solve -n*k + 1 = -3 for k.
2
Let j = 3 + 0. Solve -j*k = -0 - 9 for k.
3
Let k(h) = -3*h**2 - 7*h - 2. Let c(g) = 7*g**2 + 14*g + 3. Let o(y) = 4*c(y) + 9*k(y). Let i = -22 + 30. Let p be o(i). Solve -p*j = 2*j - 12 for j.
3
Let k = -1 + 1. Suppose 0 = 2*q + 2*y - 134, 2*y = -3*q - 3*y + 203. Let l be 78/q + (-4)/22. Solve -h + l + 4 = k for h.
5
Let f(o) = 5*o**3 + o - 2*o**2 + 3*o**3 - 5*o**3. Let s be f(1). Let g = 1 + -1. Solve s*y = -g*y + 4 for y.
2
Let g be 4/6 + (-14)/(-6). Let j(s) = 3*s + 1. Let x be j(g). Suppose 3*f + x = 5*v, -v + 5*f - 45 = -5*v. Solve 2*u - 3*u = -v for u.
5
Suppose -t + 3*c - 4 = 0, 6*c - c - 10 = 0. Let p(i) = i**3 - 2*i**2 + 2*i - 2. Let y be p(t). Let z be (8 + -5)*y/3. Solve -d = -3*d - z for d.
-1
Let q(m) = 3*m - 3. Let d be q(3). Let c be -2 + 5 + 3/1. Let b = 0 - -4. Solve d = -b*u - c for u.
-3
Suppose -3*g - 5*c = -0 - 8, 2*c = -3*g + 5. Solve -l + 4 = g for l.
3
Let a = 8 + -3. Solve a*w - 22 = -7 for w.
3
Suppose 0 = 5*p - 10 - 10. Let q(b) = -b**3 - 3*b**2 + 3. Let s be q(-3). Suppose -p*r + 5*v = -89, -20 = -s*r + 2*r - v. Solve 4*n = r - 1 for n.
5
Let k be ((-1)/(-2))/((-3)/(-150)). Let c be (-1)/4 - 50/(-8). Suppose 0 = -c*s + s + 35. Solve -k = -2*x + s*x for x.
-5
Suppose 0 = k - 8 - 7. Solve -a + k = -4*a for a.
-5
Suppose 2*h - 3*l = 3, -l - 4 = -5*h - 3. Suppose 0 = 5*s - 3*z - 3 + 5, 3*s - 2*z + 2 = h. Solve 5*v - s*v = 0 for v.
0
Let d(h) = 5 + h - h**2 - 7*h - 1. Let x be d(-6). Suppose -j = -5*s - 5, -2*s = -2*j - x*s + 10. Solve j*u = -0*u - 15 for u.
-3
Let v = 79 - 75. Solve -18 + 38 = v*b for b.
5
Suppose 5*h = -2*n + 30 + 11, -2*h - 3*n + 12 = 0. Let t(w) = -w**3 + w**2 + 3. Let x be t(0). Let f = 1 + x. Solve -f*o = -o + h for o.
-3
Suppose -4*j + 59 = 7. Solve -j + 1 = -3*q for q.
4
Suppose -2*l = -3*l + 29. Suppose 74 = 5*b + l. Solve -4*y + b = -y for y.
3
Let p be (0 - -3)*5/(-5)*-1. Solve 3 = 3*g - p for g.
2
Let s be (3 + (-24)/9)*(1 - -17). Solve -15 = -3*w + s*w for w.
-5
Let f(t) be the third derivative of 5/6*t**3 - 1/120*t**6 - 5/24*t**4 + 1/12*t**5 + 0*t - 2*t**2 + 0. Let p be f(4). Solve 2*s - 1 = p for s.
1
Suppose 0*d = -4*d + 80. Let p be (-5)/d + 13/4. Solve -5*l + 4*l = p for l.
-3
Let v(i) = -i**2 - 6*i + 10. Let p be v(-7). Solve 3*j = -3 - p for j.
-2
Let a be -4 + (-1)/(2/(-8)). Solve a = -3*l - 0*l for l.
0
Let l = 17 - 13. Suppose -8*j + 8 = -l*j. Solve 5*i = 3*i - j for i.
-1
Suppose -5*f = -f. Solve f*m = -m - 3 for m.
-3
Let n = -118 + 118. Solve -3*k = 6 - n for k.
-2
Let o(x) = x**3 - 13*x**2 - x + 13. Let k be o(13). Solve k = -b + 2 - 4 for b.
-2
Let h = -3 - -8. Suppose -5*m - 2 - 1 = 3*j, -5*j + 32 = -4*m. Suppose 4 = j*a - 8. Solve a*n - 2*n = -h for n.
-5
Suppose -4*p = -6*p + 18. Let n(k) = k**2 - 7*k - 9. Let m be n(p). Let f(b) = b**2 - 8*b - 1. Let z be f(m). Solve s - z = -3 for s.
5
Suppose 3*c + c = 128. Suppose 0*y = 2*y - c. Solve m + 3*m = y for m.
4
Suppose c - 64 = -3*c. Suppose 5*n = 14 + c. Let p be (2 - 1)/(2/n). Solve -r = p*r for r.
0
Let v = -10 + 13. Solve 20 = -l - v*l for l.
-5
Let s(i) = -i**3 - 3*i**2 + 6*i + 5. Let w be s(-3). Let l = w - -18. Solve -q = -l*q + 20 for q.
5
Let p(c) = -c**3 + 16*c**2 + 15*c + 38. Let l be p(17). Suppose 2*g = -g + 57. Solve -l*f - 3 + g = 0 for f.
4
Let r(y) = 4*y**2 - y. Let p be r(1). Let z(b) = -p + b + b**2 - 4*b + 5*b. Let w be z(2). Solve w*t - 5 = 4*t for t.
5
Suppose 3*m - 6 = -0*m. Suppose -10 + m = -4*o. Solve 0 = 3*g - 5 + o for g.
1
Let k(l) = l**3 + 6*l**2 + 4*l - 5. Let s be k(-5). Suppose -3*b - 3*d = 15, s*b = 2*b - 5*d - 25. Solve b*v + 4 = v for v.
4
Let x be 6/27 - 610/(-9). Let j = x + -48. Solve u = 5*u - j for u.
5
Suppose -13*i - 21 = -20*i. Solve t = -i - 2 for t.
-5
Let a be 0*(-1)/2 - 0. Let k(l) = l**3 - 7*l**2 - 7. Let s be k(7). Let b = 9 + s. Solve 0 = -p - b - a for p.
-2
Let u(r) = 4*r + 3. Let a(g) = 4*g + 2. Let q(d) = -5*a(d) + 4*u(d). Let o be q(-2). Solve -3*h = -h - o for h.
5
Suppose 0 = -4*n - 2*v - 0*v + 70, -5*n + 85 = 2*v. Let r = 4 - 2. Solve -r*u = u - n for u.
5
Let h = 202 + -199. Solve -17 - h = 5*m for m.
-4
Suppose -x = 2, 3*n + 3*x = x - 4. Solve 0*f - 2*f - 10 = n for f.
-5
Let l be (-3)/(1/(96/(-9))). Let x be l/6 - (-10)/15. Solve -x*g = -2*g + 12 for g.
-3
Suppose -4*p = -4*z - 32, 5*p + 2*z - 8 = -z. Let s = p + -4. Let g = 0 - s. Solve g = 5*u + 9 + 6 for u.
-3
Let v be ((-2)/(-3))/(6/(-9)). Let s be (v/2)/((-2)/52). Solve 0 = 3*d - s - 2 for d.
5
Let s = 13 + -13. Solve s = 4*m - 7*m for m.
0
Let a(i) = 2*i**2 - 17*i + 18. Let g be a(8). Let s be (-2)/6 - 62/(-6). Solve -4*n + s = -g for n.
5
Suppose 12 = 4*s - 8. Suppose 3 - 8 = -s*n. Solve 2*u + 11 - n = 0 for u.
-5
Suppose 4*n = -k - 77, -4*k + 0*k - 56 = 2*n. Let m(r) = -r**2 + 3. Let q be m(4). Let g = q - n. Solve 5*i + 0*i = g for i.
1
Let m = -71 - -75. Solve m + 2 = -2*k for k.
-3
Let j be (-4)/18 - (-346)/18. Let z = -16 + j. Solve 5 = -z*r - 4 for r.
-3
Let v be 12/8 - 6/(-4). Solve -4 = -a - v for a.
1
Let q be (-8)/36 - 56/(-9). Let z = -1 + -1. Let f = z - -6. Solve 0 = -f*w + w + q for w.
2
Let k(d) = d**2 - 13*d + 16. Let g be k(12). Suppose 1 = g*x - 3*x. Solve -3 = 2*v + x for v.
-2
Let d(u) = u**2 + 2*u + 3. Let l be d(-6). Suppose -4*h + l = 7. Let g = h + -1. Solve -5*i = -i + g for i.
-1
Let g(s) = -s + 7. Let x be g(7). Suppose z - 22 = -4*v + 6, 4 = -z. Let t = -4 + v. Solve 0 = t*j - x*j - 8 for j.
2
Let g = -12 + 8. Let k be (-1)/4 - 5/g. Solve 5*i = k - 6 for i.
-1
Let j be (19 - 7) + 6/2. Suppose 3*f = -j, 3*f = -5*l + f - 10. Solve -4*o + 0 + 16 = l for o.
4
Let p be (2 - (-32)/(-10))*15/(-6). Solve 2*z + p*z + 25 = 0 for z.
-5
Suppose 0 = -2*j + 2*b + 21 - 3, -3*j + 17 = -b. Solve -j*a + 5*a = -2 for a.
-2
Let k = -117 - -119. Solve -k*a - 10 = -0 for a.
-5
Suppose 5*n + 2*q = 75, 4*q = 2*n - 17 - 13. Let w = 21 - n. Solve -2 + w = g for g.
4
Suppose -3*o + 5*w + 1 = 0, 2*o + 2 = 5*w + 6. Let y be (-6 - -8) + o/1. Let r be (-1)/y + -5 + 7. Solve 2 = -r*d + 5*d for d.
1
Suppose 0 = 2*b - 4*n - 4, -5*b + n + 0*n = -46. Suppose 4*s = s + 3. Solve 3*u - s = -b for u.
-3
Let q be (12/(-4))/1 + 6. Solve 3*i = -q - 0 for i.
-1
Let q be ((-7)/(-14))/(1/6). Suppose 0 = -q*v + v. Solve v = 5*a - 17 + 2 for a.
3
Let z(d) = -d**2 - 7*d + 8. Let c be z(-8). Suppose c*q = 3*q - 9. Let w be -2*q*6/(-9). Solve -o = -0 + w for o.
-4
Suppose f - 15 = 2*q, 0 = -4*f + 2*q - 4*q + 20. Let t(l) = -3*l - 9. Let s be t(-4). Solve -f*b = -s*b + 12 for b.
-3
Let i be 1 + (5 - (-4)/(-1)). Suppose 34 = 5*j + i*w, w + 7 - 20 = -2*j. Solve -2*c = j - 2 for c.
-3
Suppose -3*d - 5*b - 15 = 5, 0 = -4*d + 3*b + 12. Let i = -2 - -5. Solve i*a = -d*a for a.
0
Let m = 24 - 22. Solve -m*i = i for i.
0
Let v = 65 + -31. Solve -v = -6*d - 10 for d.
4
Suppose 0 = b + 4 - 3, -4*s + 3*b + 15 = 0. Solve -d + s*d = -10 for d.
-5
Let d(z) = -z - 8. Let v be d(-11). Solve 0 = v*m - 8*m + 15 for m.
3
Let l = -19 + 24. Solve -l = r - 1 for r.
-4
Suppose -2*h = 3*h - 5*l - 40, 2*h + 4*l = -14. Solve 0 = v + h*v + 8 for v.
-2
Suppose 5*d = 2*d + 69. Suppose k - 6*k + 2*j = -d, -k - j = 1. Solve -k*f - f = 16 for f.
-4
Let t(u) = -9*u**2 - 4 + 2*u**3 - u - 5*u**3 + 2*u**3. Let v be t(-9). Suppose 6 = -q + 4*s - v, 15 = -q + 5*s. Solve 3*y = q*y + 6 for y.
-3
Let r be 5/30 + (-1)/6. Suppose 3*g + r*g = -2*h + 16, 4*g - 5*h - 6 = 0. Let y be g + -4 + (2 - 1). Solve -y - 19 = 5*x for x.
-4
Let q = 20 - 16. Solve 2*t - q = 3*t for t.
-4
Let x be (2/(-4))/(1/(-6)). Let k be (2/3 + 0)*x. Let q be k/(-6) - (-2)/6. Solve 2*o - 4*o = q for o.
0
Suppose w = 3*w - 8. Let a = 3 - -6. Let b(j) = -j**3 + 8*j**2 + 9*j + 10. Let z be b(a). Solve w*p + z = -p for p.
-2
Suppose -2*y - 9 = -3*g - 3*y, 0 = -y + 3. Solve -7 = -g*m + 1 for m.
4
Suppose -5*a - 3*v + 21 = 0, -5*v = a - 2*v - 9. Let r be 180/105*7/2. Solve -a*u + u - r = 0 for u.
-3
Let d(s) = s**2 + 8*s + 12. Let r be d(-6). Suppose -4*v - 12 = r, 2*l - 2*v - 4 - 12 = 0. Solve l*k + 9 + 6 = 0 for k.
-3
Let h be (-39)/(-15) - (-8)/20. Solve 10 = h*x + 1 for x.
3
Let d = -13 + 18. Suppose -d*m + 11 = -4. Solve -m*r = -4*r for r.
0
