6 = -8 for p.
2
Suppose -2*d = 3*p - 31, -p + 2*d = 2*p - 47. Solve s = p - 8 for s.
5
Let p(t) = -t + t - 2*t + 12 + 3*t. Let k be p(-5). Suppose 0 = 2*m - h - 4, -2*m - 4*h = -6*h - 2. Solve -m*l = -k*l - 8 for l.
-2
Let v be 1/((-4)/(-44) - 0). Solve 5*x + v = 6 for x.
-1
Let w(g) = 7*g - 30. Let q be w(7). Suppose -z = 4*p + 14, 0*z - 2*z - 34 = 2*p. Let t = z + q. Solve -2*a = 5 - t for a.
-2
Let a(j) be the second derivative of -j**4/12 + 3*j**3/2 - 2*j**2 - 4*j. Let p be a(8). Let i be (-3)/6*p + 2. Solve i = -b - 3 for b.
-3
Let z(s) = -3*s - 46. Let r be z(-17). Let h(u) = -u**3 + 6*u**2 - 5*u + 10. Let n be h(r). Solve -5 = 3*f + n for f.
-5
Let w(o) = -o**2 - o + 2. Suppose 0 = -4*q + 20 - 60. Let a = -10 - q. Let h be w(a). Solve h*y = 3*y for y.
0
Suppose -754*l = -749*l. Solve 6*g - 3*g - 3 = l for g.
1
Suppose -17 = d - 5*j, 2 - 4 = -j. Let z = 7 + d. Solve 1 = i - z*i for i.
1
Let z = 56 - 48. Suppose f = -z*f + 27. Solve h - f*h = 2 for h.
-1
Let c(h) = h**3 - 7*h**2 + 7*h - 4. Suppose 5*j + 5*q = -35, -3 = -j + q - 0*q. Let a be 7 - (9/3 + j). Let x be c(a). Solve 0 = w - 2 - x for w.
4
Suppose 6 + 9 = 3*g. Suppose 4*k - 45 = g*p, -11 = -3*k + 5*p + 19. Suppose 4*c + 5*j = -12, -45 = -5*c + 5*j - k. Solve 2*o - 16 = -c*o for o.
4
Let b = 20 - -4. Let x be 4/b - 354/(-36). Solve m = -m - x for m.
-5
Let u = -467 - -469. Solve -u*t + 11*t + 45 = 0 for t.
-5
Let q(t) = -t**2 - 14*t - 10. Let r be q(-14). Let s(g) = g**2 + 10*g + 1. Let y be s(r). Suppose a + 3*c - 7*c = 18, 2*a = -c. Solve 3*b - y = a*b for b.
1
Suppose 0 = -14*p + p + 247. Suppose 3*i + 7 = p. Solve b + i*b = 10 for b.
2
Suppose -2*g + 2*l = 2*g - 30, 2*g + 3*l = 35. Let x be ((-2)/4)/((-1)/12). Solve x*y + g = y for y.
-2
Let z(c) = -c**3 + 23*c**2 - 23*c + 42. Let i be z(22). Solve 3*x + i = 8*x for x.
4
Let w be (-65)/(-52)*4*1. Suppose 3*g = 3*n - 21, w*g + 24 = -1. Solve c - n = -c for c.
1
Suppose 10*r = -3*o + 15*r - 5, -3*o - 2*r + 2 = 0. Solve g + 0*g = o for g.
0
Suppose -4*m = -b + 1, -4*m + 0 = -3*b + 3. Suppose 0 = 4*y, -4*y = 5*d - 18 + 3. Solve 0*q - d*q - 3 = m for q.
-1
Let h be (-3 + (-16)/(-6))*-9. Let j = 2 + h. Suppose -5*u + j*o + 27 = -u, 5*u = -4*o + 44. Solve 4*w - u = -0 for w.
2
Let u be (1 - (-20)/(-8))/((-3)/(-112)). Let v be (-18)/(-7) - 24/u. Solve 0 = -v*r - 2*r - 5 for r.
-1
Let f = 1 + -1. Let b be -5 + 203/21 - 2/(-6). Solve f*s = s - b for s.
5
Suppose -2*m - 6*m + 8 = 0. Let g be m/(-5) + 1377/135. Suppose -3*l = -6*l + 9. Solve -2*v = l*v + g for v.
-2
Let l(z) = 2*z**2 + 17*z - 151. Let w be l(-14). Solve 0 = -24*f + 25*f - w for f.
3
Let r = 14 - 26. Let w be 18/r - (-3)/2. Suppose 4*d - 4*y = 20, 3*y + w + 5 = d. Solve -d*n = -4*n - 1 for n.
1
Let m be (-186)/(-26)*1 + (-20)/130. Solve 12 = m*a - a for a.
2
Suppose 0 = -2*r + 2 - 12, -3*r = -3*h + 42. Suppose 0 = 3*m + h. Let k(x) = 2*x**2 + x - 3. Let w be k(m). Solve 0 = -2*p - 2 + w for p.
5
Suppose -3*v = o - 4*o - 15, 3*v - 2*o - 13 = 0. Let t(n) = n**3 + 10*n**2 + n + 12. Let f be t(-10). Suppose -14 = -v*u - f. Solve 15 = -u*z + 3 for z.
-3
Let g be (-1)/3 + 20/6. Let n(k) = 2*k**2 - 342*k + 3819. Let b be n(12). Solve 0 = g*f + b for f.
-1
Suppose 3*z = 42 - 42. Solve -2*g + 8 = -z*g for g.
4
Let t(r) = -r**3 + 17*r**2 + r - 12. Let y be t(17). Let k(i) = 5*i - 20. Let v be k(y). Let b be 4/(-6) - 124/(-6). Solve 0 = -v*m - 0*m + b for m.
4
Let u = -23 + 26. Let z be (-42)/(-18) - 1/u. Solve c - z*c + 4 = 0 for c.
4
Suppose 6*k = -3 + 39. Solve 16 = 2*r - k*r for r.
-4
Let j(u) = -u - 1. Let x be j(-6). Suppose -4*i + x*i = 0. Solve 2*v + i*v = 6 for v.
3
Let d be 0*((-10)/(-2))/5. Let q = 21 + -15. Let r(a) = a**2 - 4*a - 8. Let x be r(q). Solve d*z = x*z - 16 for z.
4
Let q(z) = z**3 - 3*z**2 + 12*z - 31. Let a be q(3). Solve 12*y = a*y - 35 for y.
-5
Let f(t) = -t**3 - 9*t**2 - t + 10. Let v be f(-9). Let y(x) = -2*x + 42. Let w be y(v). Solve w*c - 32 = -12 for c.
5
Let i = -359 + 367. Solve -k - i*k = -18 for k.
2
Let g = 65 - 40. Suppose g = 7*u - 2*u. Solve 0 = -3*n + 8*n + u for n.
-1
Suppose -49*h + 50*h - 121 = -4*b, 5*b - 146 = 4*h. Solve -b*n = -33*n - 6 for n.
-2
Suppose -v = w - 6, -3*w + 20 = 3*v - w. Solve v*s = 12*s - 4 for s.
1
Suppose 2*g - 7*g + 75 = 0. Suppose 0 = -0*f - 3*f + g. Suppose -8 = -2*k - 2*x + 2, -f*x - 2 = -4*k. Solve -5*t + 13 = k for t.
2
Suppose -4*y - 16 = 4*c, -5*y + 20 = c - 10*y. Suppose c = -u - 3*u + 16. Suppose -12 = -u*h - 0*h. Solve h*l - 4*l + 5 = 0 for l.
5
Suppose r + 3 = 2*r. Suppose r*w - 4 - 8 = 0. Let c(n) = -3*n + 12. Let s be c(w). Solve s*j = 5*j + 5 for j.
-1
Let m be 2*(5 + -4 - -2). Solve -5 = -m*i + 7 for i.
2
Suppose 5*w - 20 + 0 = 0. Suppose 2*v - 59 = 3*n, 4*v + 0*v - 112 = w*n. Solve -v = a + 4*a for a.
-5
Let a = 11 - 9. Let j be 0*(1 + -6)/(-15). Let z be (-4 - -2)*-1 + 3. Solve j = a*u - z*u + 6 for u.
2
Let c be (0 + -3)*16/(-12). Suppose -9*n - 5*n = -224. Solve 0 = c*f + n - 0 for f.
-4
Let x be (2 - 451/22)/((-3)/6). Solve q = 40 - x for q.
3
Suppose 2*r = 3*h - 5 - 179, 10 = -5*r. Let c = h - 60. Solve c = 3*z - 10 + 4 for z.
2
Let h(o) = -o + 1. Let j(r) = -6*r - 8. Let n(i) = 5*h(i) - j(i). Let x be n(-10). Solve 4*m + 5 = x*m for m.
-5
Let k = 38 + -30. Suppose 0 = -x - x + k. Suppose -44 = -x*z + 16. Solve c - 4*c + z = 0 for c.
5
Suppose 0 = -5*l - 25, 305*l = j + 308*l - 78. Solve j = -3*c + 96 for c.
1
Suppose 0 = 3*i + 3*d, -27 + 6 = -4*i + 3*d. Let y(j) = -j**3 - 6*j**2 - 2*j - 4. Let k be y(-6). Solve z - i = -k for z.
-5
Let z = -426 - -429. Solve -11 = -z*p - 8 for p.
1
Let u be (-22)/(-12) - (-5)/30. Suppose 0 = -h - 0*h - 21. Let k = h + 26. Solve -u*w = -k*w for w.
0
Let p = 0 - -4. Suppose a = -2*o + 3*o + 8, 2*a - 8 = p*o. Solve 4*b = a + 4 for b.
4
Suppose 21 = k - 4*m, 4*k - 5*m = 135 - 29. Suppose 23*t = k*t - 84. Solve -4*z + t = 2 for z.
3
Suppose -2*t + 11*x = 8*x - 10, 0 = -t - 3*x + 5. Solve -3 + t = -2*a for a.
-1
Let z(v) = -2*v. Let w(d) = 6*d - 4. Let t be w(2). Suppose 0*f - t = 4*f. Let q be z(f). Solve -q*y + 20 = -0 for y.
5
Let u(c) = -4*c + 19. Let f be u(4). Let k be -6*(-4)/4*1/f. Solve k*j + 0 = -6 for j.
-3
Let x = -757 + 814. Solve -x*c = -51*c + 30 for c.
-5
Let r = 9 - 6. Suppose x + 14 = 2*l, 0*l - r*x = l + 7. Solve -l*d + 2 = -3 for d.
1
Let o = -2 + 7. Let h(y) = -y**2 + 11*y - 11. Let u be h(o). Solve 5*s + 4 = u for s.
3
Let f(a) = 16*a - 296. Let g be f(19). Solve 4*w = -g + 8 for w.
0
Let n be 6 - (-8)/((-20)/5). Let x(c) = c**2 - 12*c + 14. Let w be x(11). Solve w*v - v = -n for v.
-2
Suppose n - 6 = 2. Suppose 7*r = 4*r - 2*g + n, 20 = 5*g. Let p be r*((-1)/2 + 0). Solve p = 5*c - 4*c for c.
0
Let p be -3*4/12*-1. Let r be (4 - 6)/((-1)/p). Solve -r*n = 3*n + 20 for n.
-4
Let t = 11 - 7. Suppose 2 + t = 3*s. Solve -s*y = -4*y for y.
0
Suppose 24 = 4*y + 2*o, -o + 8 = -3*y + 4*o. Let i = y + -2. Solve -5*c + 3 + i = 0 for c.
1
Suppose -24 = 6*v - 36. Solve 6*y = 8*y - v for y.
1
Let q = -13 + 4. Let g(l) = -4591 + 4591 + 9*l**2 + l**3. Let i be g(q). Solve i = -5*t - 1 - 9 for t.
-2
Suppose -3*v - 2*b = -277, 5*v - 326 - 157 = 2*b. Let s = v + -94. Solve 0*c = -c + s for c.
1
Let k(v) = -v**2 - 9*v + 7. Let o be k(-10). Let g = -7 - o. Let r be (-54)/g + (-2)/(-4). Solve -4*d = -r - 2 for d.
4
Let l(y) = y**3 + 7*y**2 - 17*y + 9. Let a be l(-9). Solve a = -v - 0 + 4 for v.
4
Suppose 2*d = 5*z - 15, -2*d = d. Solve 0 + 9 = -z*j for j.
-3
Suppose y - 3*s = 0, 3*s - 1 + 7 = 3*y. Suppose -3*k + 18 = y. Suppose 4*m - 3*l - 36 = 0, -5*l = k*m - 8 - 2. Solve -2*o + m*o - 16 = 0 for o.
4
Suppose 0 = k + 10*k - 2200. Suppose -k = 18*j - 28*j. Solve j = -6*t + t for t.
-4
Let v be (-96)/(-44) + 6/(-33). Suppose -v*f + 3*f = 0. Solve f*c + c = 0 for c.
0
Let j(u) = -5*u + 4. Let q be j(-10). Solve 0 = 49*y - q*y - 25 for y.
-5
Let w be (-22)/88 + 207/12 + 1. Solve 113 = -w*d + 41 for d.
-4
Let a = 428 + -428. Suppose -5*t - 3 = 3*z + 10, 0 = 5*t + 25. Solve z*r + 0*r - 20 = a for r.
5
Let f = 7 - 5. Let s = 8130 - 8128. Solve s*h = -0 + f for h.
1
Let l(x) = -2*x**2 - 76*x + 13. Let q be l(-38). Solve -5*m - 12 - q = 0 for m.
-5
Let o(r) = -r**2 + r + 5. Let d be o(2). Solve 5*c = d + 2 for c.
1
Suppose -2*l = -5*l + 15. Suppose 4*z - 9*z + 10 = 0.