 + 16 for k.
-4
Suppose -368 = 14*m - 410. Solve 237 = -m*r + 249 for r.
4
Suppose 17*s - 15*s + 10 = 3*h, -5*s = 10. Let w be ((-3)/4)/((-2)/8). Let i be w + 2/1 + 1. Solve h*c = -c - i for c.
-2
Suppose 8*m = 32 - 0. Solve -m = -4*w - 0 for w.
1
Let p(i) = 2*i**3 + 3*i**2 + i - 1. Let s be p(-2). Let q(h) = -h**2 - 7*h + 2. Let g be q(s). Solve 0 = 2*b + g + 2 for b.
-2
Let h = -1410 + 1410. Solve 11*s + 5*s - 80 = h for s.
5
Suppose w + 4*w = r - 21, 0 = -5*r + 2*w + 36. Solve r = -24*h + 21*h for h.
-2
Suppose 0 = 5*n - 21 + 6. Solve 11 - 26 = n*r for r.
-5
Let p be (-6)/(3 + (-9)/2). Let o be (40/30)/(2/6). Suppose -4*s - s - 19 = -o*h, -4*h - 3*s - 5 = 0. Solve -p*d - 3 - h = 0 for d.
-1
Let g(q) = 8*q + 387. Let j be g(-47). Solve 0 = 3*d + 14 - j for d.
-1
Let t(x) be the first derivative of x**2 + 8. Let f be t(-1). Let d(j) = j**2 + 2*j + 2. Let z be d(f). Solve z = -6*s + 5*s for s.
-2
Let a(n) be the third derivative of -n**5/60 + n**4/6 + 7*n**3/3 - 4*n**2. Let i be a(6). Suppose i*p - 4 = -0*p. Solve 0 = -4*k + p*k + 2 for k.
1
Suppose 0 = -2*d - 4, 0 = -3*n + n - 2*d + 6. Suppose 4*u = -4*r - 20, u - 20 = -5*r + n*u. Solve 5*b = -r*b - 25 for b.
-5
Let h = -4 - -4. Let i be 7 + h + -1 + 0. Let j = 152 - 151. Solve -v + j - i = 0 for v.
-5
Suppose 3*d - 10 = -2*d. Suppose 5*l - j = -1 + 4, -4*j = -8. Solve -d*w + w + l = 0 for w.
1
Let n be (-53)/(-11) + (-2)/(-11). Suppose -2*p - n*j = -92, j + 140 = 2*p + 2*p. Suppose d - k = -2*d + p, -23 = -d + 4*k. Solve -2*m + d = 3 for m.
4
Suppose 0 = 4*a + 4*t - 8 - 4, -a = 4*t - 12. Solve -6*i + a*i = -2*i for i.
0
Suppose 2*d + 0 = 6. Let u(g) = 6*g - 4. Let t be (5/(-20))/(2/(-8)). Let o be u(t). Solve -n + d = o*n for n.
1
Suppose -3*o = -5*p + 66, 5*o - 2*p + 102 = o. Let w = o - -31. Solve w*j = j for j.
0
Let h = 1155 + -1139. Solve 0 = 24*x - h*x - 40 for x.
5
Let c be (0 - 1)/(10/(-30)). Suppose 0 = 3*a - 2*a - 4*g - 17, 0 = -c*a + 3*g + 15. Solve a = 5*n + 11 for n.
-2
Let c(w) = w**3 - 4*w**2 + 4*w - 2. Let d = -3 - -6. Let n be c(d). Solve -1 = -s + n for s.
2
Let i be 13 - (9 + 2 + -8). Solve 5*n = -i + 35 for n.
5
Suppose 12 = 3*c - 12. Suppose 0*a = 3*a - 72. Suppose c = -q - 2*l, -4*l - 6 = -5*q + a. Solve -3*o + 5*o + q = 0 for o.
-1
Suppose -12*f + 10*f = 0. Let s = 34 + -32. Suppose -7*m = -s*m - 10. Solve f*r + 4 = m*r for r.
2
Let q(w) = -2*w**3 - 36*w**2 - 34*w + 1. Let x be q(-17). Solve 5 = -4*u + x for u.
-1
Let y = -12 + 13. Let x = -117 + 128. Solve -3*w = -x - y for w.
4
Let r be (4 + -3)*(12 - 12). Solve g - 4 - 1 = r for g.
5
Let t be -4 - -4 - 13*-3. Let j be ((-92)/115)/(4/130). Let x be (-6)/t + (-56)/j. Solve -x*n - 8 = -0 for n.
-4
Let a be ((-30)/34 - (-32)/(-272))*-5. Solve -o = -a*o + 4 for o.
1
Let t(z) be the first derivative of -z**3/3 - 9*z**2/2 - 11*z + 1. Let r be (0 + 1)/(-1*3/21). Let u be t(r). Solve -u*w + 15 = -0*w for w.
5
Let v = -26 + 9. Let z = v - -29. Suppose 0*h = 2*h + 6, -3*o + z = -3*h. Solve o = 2*q - 1 for q.
1
Let w(j) = -2*j**3 - j**2 - j. Let h be w(-1). Suppose d + 1 - h = 0. Suppose -5*u = 2*q - 0*u - d, 4*q + 2*u - 10 = 0. Solve 2 = -q*x + 2*x for x.
-2
Let d = -13 - -16. Suppose -d*o - 3*c - 33 = 2*c, 4*o + 3*c = -33. Let m = o - -11. Solve 3*x - 2*x + m = 0 for x.
-5
Suppose 8*g - 201 = 3*g - 4*a, -62 = -2*g + 3*a. Solve -g = -5*l - 12 for l.
5
Let j = -208 + 70. Let b = 141 + j. Solve 7 = 5*i - b for i.
2
Suppose -5*h - 17 - 63 = 0. Let a be (h/14)/(5/(-35)). Suppose 3*p - 19 = -5*g, 0 = 2*g - 5*p + p + a. Solve -3 - 1 = g*x for x.
-2
Let u(w) = 2*w + 16. Let y be u(-6). Suppose -i + 6*i = 0. Solve -y*m + 4 + i = 0 for m.
1
Let f(n) = n**2 + 4*n - 17. Let t be f(4). Solve -2*g + 7*g = -t for g.
-3
Let u = -925 - -930. Solve -u*l = -3*l - 8 for l.
4
Let h(u) = 2*u + 21. Let j be h(-6). Solve -12 = -13*a + j*a for a.
3
Let k(p) = -p**2 + 6*p - 5. Let u be k(3). Let o(m) = 7*m + 66. Let n be o(-9). Solve -n*r - u = -4*r for r.
4
Let h be (0/1*7/(-14))/(-2). Suppose -5*b + 44 = -h*b + 3*w, -4*w = 8. Solve b = -0*n - 2*n for n.
-5
Suppose -23*r + 39 = -22*r + 4*m, 4*m = 4*r - 56. Solve 0 = 5*s + r*s for s.
0
Let x(a) = a**3 - 24*a**2 - 26*a + 25. Let h be x(25). Solve h + 15 = 3*q for q.
5
Suppose 2*p + 156*x - 160*x - 88 = 0, p - 42 = x. Solve -8*j = -0 + p for j.
-5
Let u(v) = -807 + 831 - 8*v - v - v**2. Let k be u(-11). Solve 1 = o - k for o.
3
Let x be 3*(-2 + 8) - 5. Solve -x*t + 10*t + 12 = 0 for t.
4
Let p = 1895 - 1729. Solve p*v = 169*v - 12 for v.
4
Let c(p) = 3*p**2 - p. Let u be c(1). Let s be 2 + 3 + u/(-2). Suppose s = z + 3*o, 8 = 2*z - 4*o - o. Solve 3*t - t = z for t.
2
Let w = -69 - -72. Suppose 2*i - 2 = 0, w*i = m + i. Solve z + m + 1 = 0 for z.
-3
Let k(c) = -c**3 - 3*c**2 - 4*c - 3. Suppose 5*x = -6 - 9. Let v be k(x). Let s = 6 - 3. Solve v = 6*q - s*q for q.
3
Suppose -28*z + 379 + 629 = 0. Solve z = -8*w + 52 for w.
2
Let p(m) = -2*m**2 - 52*m + 55. Let q be p(-25). Solve 110*y - 20 = q*y for y.
4
Let j(y) = y. Let b be j(4). Suppose 0*p = -b*p. Let l(d) = d**3 - 6*d**2 - 4*d - 19. Let i be l(7). Solve p = 2*r - r + i for r.
-2
Let j = -26 - -38. Suppose 7 = 5*x + 2. Suppose -x = -4*o + 11. Solve 3*u + o = -j for u.
-5
Let h(q) = -q. Let j be h(-10). Let o = 12 - j. Solve 0 = y - 0*y - o for y.
2
Let b(k) = k**2 + 2*k - 6. Suppose 4*u + 40 = -6*u. Let q be b(u). Solve i + 2 = q*i for i.
2
Suppose 16 = 2*p + 2*a - a, 0 = 5*p - 5*a - 70. Suppose -5 = -11*y + p*y. Solve -y*v - 6 = -2*v for v.
-2
Let k = -51 - -56. Suppose 2*i - 5*i + 19 = 2*y, 5*y - i = k. Solve 7*t - y*t + 5 = 0 for t.
-1
Suppose 0*z = 5*z + 55. Let p = z - -14. Solve -p*w + w + 2 = 0 for w.
1
Let z(o) = -o**3 - 12*o**2 + 11*o - 6. Let h be z(-13). Let r be (h/14)/(6/42). Let n = 4 - 2. Solve 0 = -4*w - n + r for w.
2
Suppose -7*z + 10*z = 27. Suppose 8*s = z*s - 5. Solve -2 = -s*k + 3*k for k.
1
Suppose 21*u - 26*u - 2 = 4*p, -2*u + 5*p + 19 = 0. Solve 4*a + u = 6 for a.
1
Suppose 38 + 22 = 3*f. Let w be f/15 + 8/3. Let i be 1*w*(-5 - -7). Solve m = -3*m - i for m.
-2
Let j(m) = -2*m**2 - 32*m + 10. Let t be j(-15). Let d = t - 40. Solve -3*v - v - 4 = d for v.
-1
Suppose 4*b = -2*p + 16, 4*p + 46 - 114 = b. Suppose -w = -p + 15. Solve 0 = k + w for k.
-1
Let o(h) = h**3 - 7*h**2 + 7*h + 1. Let r be o(6). Let q(p) = -p**3 + 6*p**2 + 6*p + 7. Let t be q(r). Suppose 0 = 5*j - t*j - 10. Solve j*s + s = 0 for s.
0
Let f be 3 + 0 + 0 - (-19 - -60). Let d = 50 + f. Solve 3*g + d = -0*g for g.
-4
Suppose 5*l + 4*k = -8, l - 4*k - 2 = 6. Let v be 1/3*l*1. Solve 0 = -y - v*y for y.
0
Let g be (207/(-27) + 8)*39. Solve -14*k + 1 + g = 0 for k.
1
Let h = -609 - -617. Solve 0*o - 40 = h*o for o.
-5
Let c be -15 - -14 - (3 + -8). Solve 15 = -c*m - 5 for m.
-5
Suppose d + 5*p = -1, -2*p = -5*d + 115 + 15. Suppose 2*o = -u + 10 + 7, -3*o - d = -4*u. Solve y = 4 - u for y.
-5
Suppose 2*k - 19 = -5*l, 13 + 4 = 3*l + 4*k. Suppose -5 = h - 4*z, -l*z = -h + 2 - 4. Solve -23 = -4*p - h for p.
4
Let x(s) = 10*s - 226. Let y be x(24). Solve -y*z + 6*z = 24 for z.
-3
Let p = -482 + 485. Let i = -14 + 0. Let t be (-2)/(-7) + 4/i. Solve 0*s - p*s = t for s.
0
Let f be 6*(-1 + (-15)/(-9)). Let t = 31 + -43. Let a = t - -12. Solve a = -9*j + f*j for j.
0
Let q(t) = t**3 + 13*t**2 + 12. Let a be q(-13). Solve 2*d = 2 - a for d.
-5
Suppose -24*q = -31*q + 84. Solve 3*c + 18 = q*c for c.
2
Suppose 3*k + 2*k + 40 = 5*o, -5*o - 3*k = 0. Let j = -2 + o. Let m be (j*4)/(11/33). Solve 0 = -0*q - 4*q + m for q.
3
Suppose 5*d = -3*y + 9, d - 2 = -4*y - 7. Let r = -7 - 9. Let s be (-3)/(12/r) + 2. Solve -6*x + s = -d*x for x.
2
Let g(u) = u**2 - 14*u - 14. Let p be (-100)/(-80) + 3/4. Let k be ((-5)/15)/(p/(-90)). Let v be g(k). Solve -v + 3 = -d for d.
-2
Suppose 5*z - 66 - 88 = -d, 4*z - 5*d = 100. Let y = -28 + z. Solve 1 = -s - y for s.
-3
Let x = -712 + 734. Solve l + 18 = x for l.
4
Let m = 1256 - 1243. Solve -u + m*u + 24 = 0 for u.
-2
Let n(z) = 2*z - 4. Let t be n(9). Let q = 13 - t. Let i be (-4 - q)/(3/(-4)). Solve 5*y - i*y - 5 = 0 for y.
5
Suppose 0 = -5*q + 185 + 195. Suppose -4*p = -0*p - q. Solve 4*h = 3 - p for h.
-4
Suppose 2*i - 4*i + 46 = 0. Suppose -4*o + 3*j + i + 21 = 0, 3*o = -5*j + 4. Suppose -3*h = -1 - o. Solve 0 = t - h*t for t.
0
Let f(d