d*k = -16 for k.
-4
Let z be 1 + -5*(-5)/25. Let n be z*(-1 - 0)*(-15)/10. Solve -n*x = -2*x for x.
0
Suppose k + 12 = 25. Let j = k - 12. Solve j = -5*g - 24 for g.
-5
Suppose -q = 3*y - 19, -17 = 2*q - 3*q - 2*y. Let l = q + -8. Solve l = -2*r + 3 for r.
-1
Let n be ((-10)/(-7))/(13/91). Suppose 4*q - n = -2*p - 2, 5*q - 37 = 2*p. Let w be 3/18 + (-11)/p. Solve w*c + 2 - 12 = 0 for c.
5
Suppose 0 = -q + 17 - 15. Solve -125 + 135 = -q*t for t.
-5
Let g(s) be the second derivative of -s**5/20 - 7*s**4/12 - 3*s**3/2 - 7*s**2 - 23*s. Let z be g(-6). Solve -9 = z*f + 7 for f.
-4
Let b(k) = -6*k - 17. Let h be b(-4). Suppose -3*r + h*r - 5*p - 27 = 0, 15 = r - 4*p. Solve 0*n - r = -n for n.
3
Let c = -1 + 13. Suppose 3*k = 3 + 6. Solve 0*u + c = -k*u for u.
-4
Let b(g) = -g**3 - g**2. Let x be b(0). Suppose -5*t + 11 + 14 = x. Suppose -t*z + 40 = 5*v, -2*z - z - v + 14 = 0. Solve 0*r = r - z for r.
3
Let u = 213 + -211. Solve 0 = -u*a + 4 - 6 for a.
-1
Let j be 6/(-21) + 37/7. Suppose 129*z - 133*z + 8 = 0. Suppose 9 = g - 4. Solve j*n - g - z = 0 for n.
3
Suppose 0*d = -5*d + 3*r - 2, 5*d + 3*r = 22. Let n(k) = -k. Let l be n(-6). Suppose 3*o = 4*o + i - l, -3*i = d*o - 14. Solve 12 = o*t - 8*t for t.
-3
Let x = -33 - -54. Let a = x + -17. Let h be ((-4)/a)/(3/(-15)). Solve h = z + 4 for z.
1
Let q = -414 - -417. Solve -y - 2*y = -q for y.
1
Let o = -9862 - -9871. Suppose z = -4*j + 11, 0 = j - 3*z + 4*z + 1. Solve -25 = -o*d + j*d for d.
5
Let k(o) = o**3 - 3*o - 2. Let w be k(3). Suppose -5*q - 8 = 2*f - 11, f + 5 = 4*q. Let d = w - q. Solve 3*x = -d + 3 for x.
-4
Suppose 119*z - 792 = 101*z. Solve 9*k - z = -35 for k.
1
Suppose 8 = -30*t + 34*t - 2*h, 2*t = -h. Solve -c = -0*c - t for c.
1
Let c = 2 + -2. Solve 2*k + c*k - 6 = 0 for k.
3
Let u be 7/(-2)*(-184)/161. Solve 5*g = 4*g - u for g.
-4
Let z be 26 + (-1 - (-1)/5*0). Solve -27*p = -z*p - 4 for p.
2
Let z = -6653 + 6659. Let n = -6 + 14. Solve n*l - z*l + 6 = 0 for l.
-3
Let l(g) = g**3 - 15*g**2 - 16*g + 3. Let s be l(16). Suppose -2*o + 28 = 4*x, -3*o + 2*o + s*x = 6. Solve p = o*p + 10 for p.
-2
Let m = -1485 - -1485. Solve m = -4*q - 4 - 0 for q.
-1
Let q(t) = t**2 + t - 2. Let r be q(2). Suppose 0 = -5*u - 3*d + 9, u - 2*d = -0*u - 6. Let h = r - u. Solve h*f + f = -10 for f.
-2
Let k = -151 + 155. Solve 0 = -3*m + 7 - k for m.
1
Let u be 120/(-8)*((-2)/(-6) - 1). Let l be ((1*16)/2)/(4/u). Solve 3*s - 5 = -l for s.
-5
Let c(n) = n**2 + 33. Let i be c(0). Suppose -i*r = -28*r. Solve -3*f + 3 = -r*f for f.
1
Suppose 7*a = 3*a. Suppose -2*o - 1 = -a*o - 3*f, f - 7 = -o. Solve -o*c + c = 3 for c.
-1
Suppose 4*x - 8 = c, 3*c = 2*x + 6*c - 4. Solve s - x = -4 for s.
-2
Let w(t) = -t**3 - 19*t**2 + 65*t + 17. Let l be w(-22). Solve -3*m + l = 30 for m.
3
Let r(f) = -f**3 + 20*f**2 - 16*f - 37. Let i be r(19). Suppose 4*w - i = 5*m + 21, 5*w = 4*m + 40. Solve -w*n - 4 = -0*n for n.
-1
Suppose -5*c - 300 = -4*r, 5*r + 2*c - 437 + 29 = 0. Let k = 81 - r. Solve 0*l + l = -k for l.
-1
Let j be (-2 - 144/(-66)) + 6048/132. Solve -14*g - 10 = j for g.
-4
Let o(k) be the third derivative of -k**6/120 - k**5/60 + k**4/12 + 3*k**2. Let s be o(-2). Let u be (-12)/(-36)*36/2. Solve s = -u*x + x - 25 for x.
-5
Let t(s) be the third derivative of -1/6*s**4 + 1/2*s**3 + 0 - 2*s**2 + 0*s + 1/20*s**5. Let g be t(2). Solve -13 = 5*l + g for l.
-4
Let l(c) = c. Let g be (-2 - -2) + (2 - -2). Let v be l(g). Let z(o) = -o**2 + 5*o + 6. Let t be z(6). Solve p = -t*p + v for p.
4
Suppose 26 = c - 3*m, 2 = -2*m - 2. Let u = 12 - 8. Solve x + c = -u*x for x.
-4
Let l = -14 - -14. Let o be (-24)/(-4) - l - 4. Solve 2*g + 4 - o = 0 for g.
-1
Suppose 0*y - 5*y = 8*y. Let b be 1*0/2*(5 - 6). Solve b = -y*i + 2*i for i.
0
Let g = -298 - -323. Solve -g*h = -29*h for h.
0
Suppose -5*l + 1 = -9. Suppose 0 = -c + 3 + 2. Suppose -2 = 2*k + r - 10, c*r + 16 = 4*k. Solve l*p = -2*p - k for p.
-1
Suppose t - 1 = -2*q, 15 = 4*t - 7*q + 4*q. Suppose -15 = -t*z - 2*z. Solve -16 = z*o + o for o.
-4
Let y be 3 + 0 - (-1 - (1 + 0)). Solve -7*d = -12*d + y for d.
1
Let n(f) = -f - 16. Let c(b) = -b**2 - 11*b + 10. Let q be c(-13). Let o be n(q). Suppose -4*x - 5*v - 25 = o, 4*x + v + 5 = 3*x. Solve u - 2 = -x*u for u.
2
Let r = -25 - -27. Suppose 13 = r*g - m, 0*g - 5*g + 13 = 4*m. Suppose -f + q + q = -2, -15 = -g*f + 5*q. Solve -o + f = o for o.
2
Suppose 4*j + 0 = 28. Let m(k) = k**3 - 7*k**2 + k + 1. Let a be m(j). Let w = 14 + -4. Solve 3*f - w = a*f for f.
-2
Suppose 0 = 3*d - 16 + 10. Suppose -2*z = -5*g - 2, -3*z - d = -5. Solve 0*x + 3*x + 9 = g for x.
-3
Let z(k) = 10*k - 39. Let q be z(6). Solve -27*a = -q*a - 12 for a.
2
Suppose 0 = -5*d - 138 + 288. Let u(h) = -h**2 - 7*h - 4. Let b be u(-4). Let m be 130/d - b/6. Solve 2*a = 3*a + m for a.
-3
Let f(w) = w + 5. Let d be f(4). Let o(t) = t**3 - 8*t**2 - 7*t - 3. Let m be o(d). Solve 4*b = -b - m for b.
-3
Let s = 58 + -38. Let h = 30 - s. Solve -2*c + 7*c + h = 0 for c.
-2
Let h be 0 + 4/(-4) - -48. Let d = h + -34. Let k = -11 + d. Solve -7*q = -k*q for q.
0
Let h(u) = u**3 - 3*u**2 + 2*u - 2. Let a be h(3). Suppose -b - 14 = -2*b. Let k be a/b + 40/7. Solve -k*s + 12 = -3*s for s.
4
Let n(o) = 10*o + 108. Let z be n(-10). Solve 0 = z*m - 2*m + 6 for m.
-1
Suppose c - 1 = 3*o, -2*c + 2 = -3*o + 2*o. Suppose 0 = -a - 3*v + 2, 0 = -3*v + 2*v. Solve 2*z = a - o for z.
1
Suppose 0 = -4*u + 8, 20*u + 4 = -2*o + 24*u. Let n be -1*1/1 - -1. Let l = n + o. Solve l*a = -0*a + 10 for a.
5
Suppose -2*p + 2*p - 13*p = 0. Solve p = 6*z + 3 + 9 for z.
-2
Let n be (0 + 2/1)*(-4)/(-4). Solve 0 = 5*r - 7*r + n for r.
1
Let d be (15/(-20))/(3/(-48)). Solve y = -d + 15 for y.
3
Let y be (6 - ((-38)/(-6))/1)*0. Solve y = 4*k + 47 - 43 for k.
-1
Suppose 0 = 52*a - 48*a - 24. Solve a*i = i - 25 for i.
-5
Let f(r) = -r**2 + 3*r + 2. Let l be f(3). Suppose l*h = 3*h. Suppose -2 = -c - h. Solve -c*z + 1 + 5 = 0 for z.
3
Let t = 8 - 0. Let x be 2/(-5)*(-13 + t). Solve -x*f - 6 = -5*f for f.
2
Let q = 68 - 52. Solve 31*y = 27*y - q for y.
-4
Let o(r) = -2*r**2 - 13*r + 9. Let c = -18 + 12. Let g = -13 - c. Let j be o(g). Solve -4 + 6 = -j*n for n.
-1
Let g(j) = -j**3 - 17*j**2 - 42*j. Let k be g(-14). Solve k = -3*b + 10 + 2 for b.
4
Let r be 39/12 - 9/(-12). Let l be (1/r)/((-5)/(-100)). Suppose -w - 3*w - l*d + 37 = 0, -d - 1 = -2*w. Solve 5*k - 2 = w for k.
1
Let w be 7 + (-126)/24 + (-5)/(-4). Solve -2*l - w*l = 20 for l.
-4
Let t = 1 - 1. Suppose j + 0*j = t. Let f be (-570)/(-133) + (-12)/42. Solve g + 1 - f = j for g.
3
Let v(c) = 4*c + 8. Let f(i) = -3*i - 8. Let p(l) = -5*f(l) - 4*v(l). Let h be p(6). Solve -h*x = -0*x for x.
0
Let g be -11*(1 + 55/(-11)). Solve -10*b + g = b for b.
4
Suppose 0 = 4*x + m - 38, 3*m - m + 24 = 2*x. Let a = x + -1. Let o(v) = -v**2 + 20*v + 158. Let j be o(26). Solve j*i + i = a for i.
3
Suppose 5*o = 3*j - 16, -1 = -o - 3. Suppose -10*k = -9*k - j. Solve k*a = a for a.
0
Let k = -7 - -18. Suppose 17 - 13 = p, 4*p - 4 = 2*x. Solve k*h - x*h + 25 = 0 for h.
-5
Let h(a) be the third derivative of -a**4/24 + 20*a**2. Let i be h(0). Solve i*q + 3 = -q for q.
-3
Let x(n) = -4*n**3 + n**2 - 2. Let q be x(-1). Solve 9 = q*m + 3 for m.
2
Let u = -92 - -40. Let d = -31 - u. Solve 3*w - 6 + d = 0 for w.
-5
Let u be 0 - 0 - (1 + -5). Suppose -1 = 5*a - y, 82*a - 2*y = 85*a - 2. Solve a*i + u = -4*i for i.
-1
Let d be (84/(-16))/(-7)*(-1 - -5). Solve -d*b = -6*b + 12 for b.
4
Let i(x) = 41*x - 317. Let o be i(8). Solve -o*t + 4*t + 21 = 0 for t.
3
Let p be (0 - 5) + (5 - (8 - 8)). Solve 6*k + 0*k + 12 = p for k.
-2
Let u be 18/4 + (-3)/(-6). Suppose 2*c - 1 = -q, 0*q + 11 = 2*q - u*c. Solve 0*b = -q*b - 12 for b.
-4
Let c(s) be the first derivative of -s**4/4 - 5*s**3/3 - 5*s**2/2 - 7. Let k be c(-4). Suppose -5*u - 2*a = 6 - 36, -k*u - 5*a = -41. Solve u*l = 8*l for l.
0
Let s = 235 - 133. Let n = s + -102. Solve n = -4*a + 2*a for a.
0
Suppose 16*z = 17*z - 5. Solve -8*t + 3 = -z*t for t.
1
Let x = 67 - 177. Let j = x - -110. Solve w - 2 + 0 = j for w.
2
Let s be 4 - 0*(2 - (4 + -1)). Let u be 0/((-4)/(-2) - 3). Solve -5*o + o + s = u for o.
1
Let g(z) = z**3 + 7*z**2 - 10*z - 11. Let c be g(-8). Let r be (c - 3) + 1 + -3 - -11. Solve 0 = 3*l + 1 + r for l.
-4
