x - k - r for x.
1
Suppose 4*f - 5 = -3*s + 7, 0 = -4*s + f + 16. Suppose s*j - 30 = 2*c, -2*c = -8 + 2. Suppose h + 3*v = -15, 2*h + 6 + j = -3*v. Solve h*t = 4*t - 16 for t.
4
Suppose 4*f + 3*i = 54, 5 + 14 = f - 2*i. Solve -3*k + 0 = f for k.
-5
Let v be 3/4 + (-6)/8. Suppose v = 6*n - 4*n - 2. Solve 14 = -5*q - n for q.
-3
Suppose -5*w - 65 = -0*w. Let f = 17 + w. Solve -f*a + 0*a - 12 = 0 for a.
-3
Let t = -70 - -81. Suppose -7*v + t = -129. Solve -7*j + 3*j = v for j.
-5
Let u be (-14)/2*(1 - 3). Let k = u - 5. Suppose z - j = -2*z + 15, 5*j = z + k. Solve -5*a + 3*a - z = 0 for a.
-3
Let l be 29*-3*(0 + 4)/(-12). Let k = 34 - l. Solve -k*x + 3 = -2 for x.
1
Suppose 0*t + p = -t - 2, 2*t = 3*p - 14. Let q be ((-1)/(t/(-6)))/((-1)/4). Solve -25 = q*b - b for b.
-5
Suppose -2*g + g + 56 = k, -4*g + 5*k = -260. Let n = g + -60. Solve 25 = -n*z - 5*z for z.
-5
Suppose 5*c = -3*z + 55 - 9, 2*c - 5*z = 6. Let k(r) = 3*r + 33. Let o(i) = -i - 11. Let u(n) = c*o(n) + 3*k(n). Let g be u(-6). Solve -g*j + 4 = -3*j for j.
2
Let b be (-6)/(-3) - 12/2. Let y be 2/(-7) + (-488)/56. Let q = b - y. Solve -q*v + 21 = 6 for v.
3
Let q(h) = h**2 - 9*h + 28. Let u be q(8). Suppose 4*p + 3*x - 15 = 0, -5*x + u = p + 4*p. Solve p*s + 10 = s for s.
-5
Let k(p) = 11*p - 20. Let x be k(8). Let c = -64 + x. Solve i = c*i - 9 for i.
3
Suppose -3*f - 3 = 0, -20 = -4*r - 3*f - 63. Let j = r - -13. Suppose -s = -2*u + 7, 5*s - j*u + 0 = -7. Solve s + 3 = -a for a.
-4
Let l = -4 - 1. Let o be 6 + -3 + 4 + l. Solve -15 = -s - o*s for s.
5
Let q(z) = -2*z**3 - 72*z**2 - z + 24. Let b be q(-36). Solve -9*t - b = 3*t for t.
-5
Let x(n) = n - 5. Let o be x(-4). Let f = -21 + 12. Let q = f - o. Solve 5*s + 25 = -q*s for s.
-5
Let j(g) = 20*g**2 - 2*g - 1. Let t be j(-1). Let y = t + -21. Solve 2*s = -y*s + 8 for s.
4
Let i(z) = -z + 4. Suppose 41 = -5*n + 11. Let o be 0/((-2)/6*n). Let j be i(o). Solve -9 + j = -l for l.
5
Suppose 2*j - 6*j = h + 8, 0 = -3*j - 6. Suppose h = -3*p - 4*p + 28. Solve -p*z + 18 = 2 for z.
4
Let q = 117 - 108. Solve -2*i = -q + 1 for i.
4
Suppose -5*x + 6 = -2*h - 0, -4*h + 3*x - 12 = 0. Let p be (-1 + 2 - 2)*h. Let k be 10/3*48/20. Solve -p*r - k = -2 for r.
-2
Let h(j) be the first derivative of 7*j**3/3 + j**2/2 - 2*j - 77. Let p = -2 - -3. Let z be h(p). Solve z = t + 1 for t.
5
Let o(d) = d**3 - 3*d**2 - 3. Let w be o(4). Let a(j) = -j**2 + 14*j - 11. Let c be a(w). Solve q - c*q = 0 for q.
0
Suppose 13*z - 16 = 5*z. Solve 0*h = z*h for h.
0
Let z(c) = c + 9. Let q(l) = l - 4. Let i be q(-10). Let v = i - -9. Let t be z(v). Solve t*j - 3 - 5 = 0 for j.
2
Let x be 1/1 - 72/(-9). Suppose -2*k - k + x = 0. Suppose 0 = k*w + 2*m + m - 6, -10 = 2*m. Solve -5*p + w = 2 for p.
1
Let a be 21*(44/(-14) - -4). Solve -29*j = -a*j + 22 for j.
-2
Suppose 4*j = -2*z - 50 + 38, -5*z + 2*j = -30. Solve 14*c + 40 = z*c for c.
-4
Let g(o) = 2*o**3 - 46*o**2 - 48*o + 25. Let h be g(24). Solve 10*u = -15*u + h for u.
1
Let v(q) = 3*q + q + 0*q. Let m be v(1). Suppose m*n + 0*n - 16 = 0. Solve -n*f = f - 10 for f.
2
Suppose -5*w = t + 22, w - 10 = 3*w. Suppose -t*p = p + 52. Let i(s) = s**2 + 13*s + 4. Let z be i(p). Solve r = z*r for r.
0
Suppose 10*p - 100 + 50 = 0. Solve 11*u - 4*u = -p*u for u.
0
Let u(y) = -y**2 - 19*y - 67. Let r be u(-14). Solve h - r*h = -2 for h.
1
Let f = 2625 - 2623. Solve -15*v = -17*v - f for v.
-1
Let b(i) = -2*i + 5. Let a(k) = -k**2 + 7*k + 6. Let f be a(7). Suppose -f*z - 2 = -5*z. Let r be b(z). Solve -t = 2*t - r for t.
3
Suppose -7 = -5*t + 28. Solve 0 = 5*u - 12 + t for u.
1
Suppose 0 = -o - 5*u - 7, 2*o - 8 = -5*u + 3. Suppose -t - o = -3*t. Solve 2*d - 5*d + t = 0 for d.
3
Suppose 2*f - 18 = -2*j + f, -3*j + 5*f = -27. Let n = -75 + 84. Suppose -l - n = -13. Solve r - l*r = j for r.
-3
Let r = -1484 + 1487. Solve -r*u = -2*u + 3 for u.
-3
Let p be (-9 - -4)/((-3)/21). Suppose 21 = -28*c + p*c. Suppose -3*l + 12 = -2*l. Solve c*z + l = 7*z for z.
3
Let r be (143/13)/((-2)/(-2)). Solve -9 = -r*v + 2*v for v.
1
Suppose 1 + 5 = -3*m + 3*c, -2 = 5*m - c. Let q(h) = -h**2 + h + 2. Let l be q(m). Solve y - l = -y for y.
1
Suppose -1 = -3*d + 5. Suppose 0 = 2*q + d*q - 100. Suppose 5*j - q = 0, 6*j - j - 33 = -4*a. Solve 0*p = a*p + 4 for p.
-2
Suppose -3*l + 259 = 5*g, 2*l = -239*g + 237*g + 174. Solve 16*k - l = -6*k for k.
4
Suppose 2*y = -4 + 2, 3*m + 2*y = 154. Let u = m + -50. Solve 0 = 3*z + u*z + 15 for z.
-3
Suppose 2*i + 14 = -4*l, -6*l + l - 19 = 2*i. Suppose 5*p = -i*z + 93, 191 = 5*z - 5*p + 36. Suppose 0 = 3*g - 5 - z. Solve -g = x + 3*x for x.
-3
Suppose -2 = -6*z - 2. Suppose -4*x = x, z = 4*f + 4*x. Solve 3*q + f = 12 for q.
4
Let y be (-4)/6*(1050/4)/(-7). Let b = y + -21. Solve 0 + b = 2*q for q.
2
Suppose 670 = -8*q - 194. Let f = q + 112. Solve 2*d - f*d = 0 for d.
0
Let q(r) be the third derivative of 1/6*r**3 + 1/12*r**4 + 0 + 0*r + 4*r**2. Let k be q(1). Solve -k - 1 = -j for j.
4
Suppose 56*d - 208 = 352. Solve 0 = -2*v + 7*v + d for v.
-2
Let v(u) = -1 - u - 6*u**2 - 6*u**2 + 13*u**2. Let n be 3 - (0/(-1))/(-1). Let m be v(n). Solve 7 = -m*o + 2 for o.
-1
Let x(z) = z**3 + 19*z**2. Let v be x(-19). Suppose -t + v + 4 = 0. Suppose 2*p = -3*p. Solve 2*s + p*s = -t for s.
-2
Let k be 592/12 - 1/3. Let x = k + -44. Solve 15 = 4*o - x for o.
5
Suppose -5*p - 9 = -2*q, -5*q + 4*q - 2 = 4*p. Let j = 2 - q. Let a be (62/(-62))/(1/(-6)). Solve j = 3*b - a*b - 12 for b.
-4
Let c = -5 - -5. Let u = 12 - 10. Let f be (-12)/(-6) - u/(-1). Solve 2*n + c = f for n.
2
Let z be 0 - 2/(-1) - -2. Suppose 0*v + 2*d + 26 = 4*v, 0 = -4*v - z*d + 8. Solve -n = -v*n for n.
0
Let l = 755 - 748. Solve l*u = 4 - 32 for u.
-4
Suppose -2*x = -14 - 2. Solve x = k + 13 for k.
-5
Suppose -41 = 58*c - 447. Solve -c*g = -3*g + 12 for g.
-3
Suppose -3*w + 102 = -24. Let q be w/8 + 6/(-24). Solve t - q*t = 0 for t.
0
Suppose 2 = p - 0. Let l be p/8 - 7/(-4). Suppose 2*r - 2*q - l = 10, -10 = 5*q. Solve 0*u + 20 = -r*u for u.
-5
Let j be (0 - 0)/(23 + -22). Let h be -2 + (1 - (j + -4)). Solve -a - h = 2*a for a.
-1
Suppose 4 = a - j + 3, -3*j = 2*a - 2. Let l be (-7)/35 + (48/15 - a). Solve 1 + 9 = -l*m for m.
-5
Suppose 25 = 2*t - 21. Let d = t + -33. Let j = d + 17. Solve -3*o = -j - 5 for o.
4
Suppose -5*k + 25 = -2*r, -2*r + 5*r - 25 = -5*k. Solve -k*v + 7 + 13 = 0 for v.
4
Suppose -3*b - 5*k = -52, 3*b + 4*k = 2*b + 29. Suppose -b*l + 42 = 6. Solve 0 = -2*d + l*d for d.
0
Let b(s) be the second derivative of -s**4/12 - 2*s**3 - 15*s**2/2 + 4*s. Let t be b(-10). Solve 3*z - 1 = t for z.
2
Let q = -1433 - -1450. Solve -20*t = -q*t + 15 for t.
-5
Let z = -168 - -170. Solve z = 2*s - 4 for s.
3
Suppose 0*l = -2*l - 2. Let k be 3/l*11/(-11). Solve -k*o = -6*o - 6 for o.
-2
Let n be (-7)/(-42) - 406/(-84). Solve 0 = 8*g + n - 21 for g.
2
Let h(b) = -b**3 + 6*b**2 + b + 17. Let l be h(6). Let w = l + -20. Solve -4 + 10 = w*q for q.
2
Let r = -841 - -853. Solve -4*a = -7*a - r for a.
-4
Suppose -w - 2*w + 18 = 0. Suppose m - w + 1 = -o, 2 = o. Suppose 5*i - 2*t - 45 = m*t, -5*i + 25 = -t. Solve -3*n = -2*n - i for n.
4
Let t = 17 + -17. Suppose y + t = 12. Solve -y = 6*l - 3*l for l.
-4
Suppose 10*v - 147 = -107. Solve -v*d + 0 = 8 for d.
-2
Suppose -2*w - 21 = 2*j - 7*w, 4*j + 9 = -w. Let x be (-9)/5*10/j. Solve -x*f + 20 = -f for f.
4
Suppose -n + r = 2*r - 8, -4*n + 5*r + 5 = 0. Solve n = 3*w + 2 for w.
1
Let l(o) = 2*o**2 + 8*o + 10. Let r be l(-5). Suppose -20 = -3*z + 4*a, 4*z = 4*a + r - 0. Solve -v + z*v = 0 for v.
0
Let d = -103 + 110. Suppose -25 = -0*w + w + 5*t, 0 = -4*w + 3*t + 15. Suppose -2*x + 5*g + 25 = w, 0 = 3*x - 4*g + g - 51. Solve -x = 2*y - d*y for y.
4
Let g = 474 + -506. Let t = -13 - -1. Let q = t - g. Solve -3*k = k - q for k.
5
Let x be (-4)/14*1*-7. Suppose -5*y = -x*g + 1, 5*g - y - 3 - 11 = 0. Solve 8*z + 15 = g*z for z.
-3
Suppose -d + 4*q - 17 = 0, 2*q = 2*d - 3 + 7. Solve -d*x - 22 = -7 for x.
-5
Suppose 11*m - 133 = -8*m. Solve 10*z - m*z - 6 = 0 for z.
2
Let v be (2/6)/((-1)/(-3)). Let x = 291 - 290. Let m = v + x. Solve 5*b + m = 17 for b.
3
Let v = -51 - -51. Suppose -9*u + 12 = -6. Solve -u*h + 1 - 7 = v for h.
-3
Let p(j) = 11*j - 94. Let s be p(9). Solve -3 = -s*i + 2 for i.
1
Let a be (5 - -2)*(7 