/(-2). Suppose v*k - k = 2*k. Solve -c - 2 = -k*c for c.
-2
Let f be -3*(-1)/(3/2). Suppose 7*o + 111 = 57*o - 139. Solve f*q - o = 3*q for q.
-5
Suppose t + 2 = -4*b, -2*t + 11 - 2 = -5*b. Let r = 13 - 12. Solve t*g = g + r for g.
1
Let p(h) = h**3 + 8*h**2 + h + 15. Let v be 16/6*(-14 - -11). Let u be p(v). Suppose g + u = 5*l - 3, 0 = -l + 3*g + 2. Solve -4*o - 2 = l for o.
-1
Let s be 0 + 3 + 1/1. Let h be (18*4/(-4))/((-6)/4). Let t be 2/(-8) - (-3)/h. Solve -s = -4*y - t for y.
1
Suppose -3*u + 24 = 3*q, -5*u + 3*q + 60 = -u. Solve 24*l = 27*l - u for l.
4
Suppose 3*i + a = -0*i - 24, -3*i + 4*a = 24. Suppose -2*s = -5*q + 24, s - 4*q + 20 = -s. Let u be (i/14)/(s/7). Solve -3*l + 20 = u*l for l.
4
Suppose -t = 3*t - 16, -2*g - 10 = 5*t. Let n = g - -15. Suppose n = m - 4*u + 6 + 7, -4*m + 4*u = -8. Solve m = -f + 3 for f.
-4
Suppose 0 = t + 3 - 1, 2*k = 3*t + 126. Suppose -4*m - 3*o = -36, m = -3*m + 3*o + k. Let i = m - 12. Solve i = -b - 2 + 3 for b.
1
Let i(c) be the third derivative of 7*c**4/24 - c**3/6 - c**2. Let x be i(-1). Let q = 12 + x. Solve 0 = -q*z + 2*z for z.
0
Suppose -23*h = 66*h - 356. Solve h*a - 130 + 126 = 0 for a.
1
Suppose 2*x = 5*k - 62, k = 7*x - 2*x + 17. Solve -4*i + i + k = 0 for i.
4
Let x(n) = -n + 9. Let h be (-3)/2 + 15/2. Let q be x(h). Suppose 0 = q*u - 0*u - 12. Solve 11 = -5*d - u for d.
-3
Let r(o) = -o**3 - 4*o**2 - 14. Let m be r(-5). Solve 0 = -4*y - 31 + m for y.
-5
Let a be (-4 + 13 + -10)*-67. Solve q - 62 = -a for q.
-5
Let v be (3/(-2))/(45/(-240)). Solve -v = -x - 4 for x.
4
Suppose 2*j + 5*q - 28 = 0, 3 - 75 = -4*j - 2*q. Suppose 2*i + 9 = j. Solve i*r + 9 = 19 for r.
2
Suppose 619 - 199 = 35*w. Solve 22*b - 18*b + w = 0 for b.
-3
Suppose -3*b - h + 4*h = -3, -4*h = -3*b + 4. Solve b = 3*c + 2 - 8 for c.
2
Let o = 46 + -26. Suppose -10 = -y + 4*m, -5*y + 11 - 3 = m. Solve -o = -6*v + y*v for v.
5
Suppose 3*v + 30 = 5*b - 7, -3*b - 4*v - 1 = 0. Suppose -3*z + 2 = -5*f, 4*f - b*z = -3*z. Suppose d - 44 = -3*d. Solve -f*p - 3 = -d for p.
4
Let g(y) = -2*y**2 + 8*y - 1. Let p(u) = u**2 - u. Let h(d) = g(d) + 4*p(d). Let t be h(-3). Solve 0 = t*i - 2*i for i.
0
Let o be (-12)/(-10)*5*1. Suppose 19*i - 12 = 16*i. Suppose -3*d + 4*d = 4*r + 6, -3*d - 3*r + 3 = 0. Solve d*b - o = -i for b.
1
Let f = -122 - -184. Let p = 86 - f. Solve 0 = -5*q - 1 - p for q.
-5
Suppose 0*x = -x - s + 15, 0 = s. Solve 0*f - x = 5*f for f.
-3
Let u = -19 + 22. Suppose 0 = -0*r + u*r - 30. Solve 4*c = -c + r for c.
2
Let s(d) = -2*d**2 - 15*d - 4. Let u be s(-3). Solve 7*f + 5 + u = 0 for f.
-4
Let t(f) = -f**3 + 7*f**2 + 2*f - 10. Let p be t(7). Let v be 2/(-2)*(-5)/10*0. Solve p + v = i for i.
4
Suppose -64 = -6*c - 52. Solve 1 = c*g + 9 for g.
-4
Let i be (-2)/15*-10*3. Solve i*m = -3 + 19 for m.
4
Let n(d) = -14*d - 54. Let g be n(-4). Let z be ((-33)/g)/(33/(-22)). Solve -z - 4 = -3*j for j.
5
Suppose -21 = 28*p - 21*p. Let i be (-5)/25*p*1*10. Solve -i = -5*k + 19 for k.
5
Let c be (-305)/6 - 22/132. Let v = c - -54. Solve -v*i = -0*i + 6 for i.
-2
Let z(b) = b**2. Let q(n) = n + 4. Suppose -4 = -0*f + 2*f. Let h be q(f). Let r be z(h). Solve -r*u = -3*u + 5 for u.
-5
Let t be (0/9)/(4/(1*-2)). Suppose t = -5*h + 5 - 0. Solve -m - 4 = h for m.
-5
Let t = 1355 + -1355. Suppose -3*x + r = -r - 11, -r - 8 = -4*x. Solve 2*o - 3*o + x = t for o.
1
Suppose -3*t - 4*d + 44 = 0, 68*d - 65*d = 2*t - 1. Let g be (-6)/(-9) - (-2)/(-3). Solve g*j = 4*j - t for j.
2
Let v(t) = 9*t - 11. Let d be v(3). Suppose 0 = 7*y - 15*y + d. Solve -y*p + 4*p - 4 = 0 for p.
2
Suppose 3*l + 2*l = x + 12, 3*x = 9. Suppose -9*j + 15 = -12*j. Let k = l - j. Solve 0 = -0*u + 2*u - k for u.
4
Let y(d) = -d**2 + 11*d + 4. Let g be (-6)/(-33) - 97/(-11). Suppose g*t - 4*t - 1 = -o, 2*t + 59 = 5*o. Let k be y(o). Solve 1 + k = -5*w for w.
-1
Suppose 5*s - 14 - 6 = 0. Suppose 0 = -s*z + 3*k + 6 + 8, 0 = -4*z - 4*k. Suppose -z*r + 3 = -1. Solve 4 = r*p - 0 for p.
2
Let x(l) = -4*l**3 - 69*l**2 - 17*l + 15. Let g be x(-17). Solve 0 = 5*y - g - 5 for y.
4
Let u = -257 + 271. Solve -2*r + 6 = u for r.
-4
Let t = 0 + 22. Suppose 0 = -12*j - 3*j + 330. Let m = t - j. Solve 3*i + m*i = -9 for i.
-3
Let r = -23 + 19. Let l be 4*((-7)/r - 1). Suppose 3*f - 4*v + 0*v = 4, 0 = f + v + 1. Solve b - 2*b + l = f for b.
3
Let h(z) = 6*z + 213. Let b be h(-35). Solve -7 = 5*u + b for u.
-2
Let h be 19/2*(-5)/(25/(-10)). Let x = -16 + h. Solve -8 = 5*w - x for w.
-1
Suppose 7*i + 4*s = 3*i - 152, -4*s = i + 53. Let v = 35 + i. Solve -v*x = -3 - 3 for x.
3
Suppose 5*v - 2 = 2*h, 4 = -3*v - 3*h - h. Solve v = 4*j - 7 + 11 for j.
-1
Let j = -7 + 30. Suppose 10*p = j - 3. Solve 2*r = r + p for r.
2
Let c = 7 - 11. Let i be c/(-10) - 8/(-5). Let x(s) = -30*s - 356. Let d be x(-12). Solve i*p + d - 2 = 0 for p.
-1
Let g(q) = 4*q**2 + 5*q + 5. Let w be g(-3). Let k = w - 26. Solve k*b = b - 5 for b.
5
Suppose -8 = 4*a - 56. Solve a = 5*s + 32 for s.
-4
Let p(b) be the second derivative of -1/6*b**3 + 0 + b**2 - 5*b. Let w be p(-2). Solve -x = -w*x + 15 for x.
5
Let y = -126 + 140. Solve 0 = -11*n + 4*n - y for n.
-2
Let n(h) = -h + 9. Let j be n(5). Suppose -5*c - j*g + 16 = -3*g, c - g = 8. Suppose 0 = -0*p + c*p. Solve -3 = -p*t - t for t.
3
Suppose -6*d = -3*k - d - 11, 0 = k - 5*d + 7. Let t be k*6/3*3. Let h be (-9 - -3)*10/t. Solve 3*o - h - 1 = 0 for o.
2
Suppose 3*j = j + 34. Suppose 6*r - j = f + r, 3*r = -f - 1. Let x be (-2)/(5 - 3) - f. Solve x*q - 4*q - 8 = 0 for q.
4
Let h be -2 - 2 - (33 - 47). Solve -h*y = -6*y + 16 for y.
-4
Let s = 65 + -55. Suppose -2*u - 23 = 4*i - 3*u, 0 = 4*i + 2*u + 14. Let o = i + 5. Solve -v + 6*v + s = o for v.
-2
Let b be (3 + 4/4)*4. Suppose -20*q + 8 = -b*q. Solve 4*t - 6 = -q for t.
1
Let i = 578 - 578. Suppose -5*d + 10 = -0. Let s(b) = -b**3 - 9*b**2 - 11*b - 18. Let g be s(-8). Solve -d*n + g*n - 8 = i for n.
2
Let r be -7*(540/(-63))/10. Solve r*s - 8*s + 4 = 0 for s.
2
Let w be -3 + -2 + 2 - -11. Let q be 11/33 - 56/(-3). Let k = q - 19. Solve 0*d - 4*d - w = k for d.
-2
Suppose 3*a - c - 16 = -0*a, 0 = 2*c - 10. Solve -7*z - 7 - a = 0 for z.
-2
Let o be ((-3)/(-2))/(3/4). Suppose -w - 2*l + 0 = -7, 4*l = 2*w - 14. Let d(k) = k. Let s be d(w). Solve -n - s = -o for n.
-5
Suppose -54 = -0*h - 3*h. Let q = h + -14. Suppose -20 = -q*r + 3*t, -4*t + t - 6 = 3*r. Solve -d = -0*d + r for d.
-2
Let g(k) = k**2 - 7*k - 25. Let z be g(-4). Solve 4*b + 23 - z = 0 for b.
-1
Let d(m) = -m + 15. Let h be d(9). Let j(f) = -f + 2. Let w be j(h). Let n = w + 9. Solve -n*k = -2*k + 3 for k.
-1
Let o be 10/65 - 2581/(-377). Solve -o*g + 12 = -13*g for g.
-2
Suppose 132 = -4*v + 7*v. Let n = 46 - v. Solve -i - 5 + n = 0 for i.
-3
Suppose 0 = y + 1 - 23. Let s = y - 14. Suppose -2*a = -m + 3*a + s, -5*m + 40 = -3*a. Solve 0 = 2*p + 2*p + m for p.
-2
Suppose -22*q + 6*q = -16. Solve -k - 3 = q for k.
-4
Let q be (8 + 1)/(4/(-8) + -1). Let d(h) = -h**3 - 5*h**2 + 5*h - 4. Let t be d(q). Solve -5*u + t = -6*u for u.
-2
Suppose 84*u = -78*u + 167*u - 30. Suppose j + y = 3, -4*j + 5*y - 3*y + 6 = 0. Solve -u = j*w + 4 for w.
-5
Suppose -2*q + 2 = -3*q. Let i(a) = -a**3 - a**2 + a - 2. Let u be i(q). Solve u*y + 3*y = -3 for y.
-1
Let u be (1 - 1)/(2 - 4). Suppose -f = -3*f. Suppose -o + 7 = -f*o. Solve -v - 2 + o = u for v.
5
Let d = 379 - 377. Solve 16 = d*u + 18 for u.
-1
Let y = -1051 + 1076. Solve 5*b = -0*b + y for b.
5
Let u(z) = z - 3*z + 3*z. Let f be u(4). Suppose 0 = -2*c + 5*v - f*v + 7, 2*v + 10 = 2*c. Solve -a - 12 = c*a for a.
-4
Suppose 0 = 4*g - 2 + 14. Let s be (-3 + 5 + g)*-20. Solve -s = -v + 6*v for v.
-4
Let n(r) = -7*r - 174. Let t be n(-26). Solve -2*y = -t*y - 30 for y.
-5
Let h = 37 - 2. Let s = -30 + h. Suppose -s*q = -1 - 9. Solve q*l = -0 - 4 for l.
-2
Suppose -2*x - b = -59, 5*b + 72 + 81 = 4*x. Suppose 0 = 10*c - x + 12. Solve 0 = c*k - 0*k - 2 for k.
1
Let y be (6 - 8)*(-7 + 3). Let w be -1 + y + 1 + -4. Let x(f) = f**2 - f + 1. Let q be x(2). Solve w*j - 11 = -q for j.
2
Let k = 112 - 110. Solve -9 - 1 = -k*o for o.
5
Let a(i) = 19 + 0 + 2 + i**2 - 14*i - 3. Let r be a(13). Solve 0 = r*s - 0*s - 15 for s.
3
Let f be ((-42)/4)/((-2)/8). Suppose 550 = 34*b - 742. Let k = f - b. Solve k*z - 15 = z for z.
5
Let d