 for p.
-3
Suppose 2*k + 9 - 17 = 2*v, 8 = k - 2*v. Solve 4*d = -k*d for d.
0
Suppose -3*p + 2*p = -3*m - 3, -p = -4*m - 3. Solve c = -2 + p for c.
1
Suppose 2*t + 20 = 26. Let w(c) = -c + 13. Let f be w(7). Solve -f*o + 12 = -t*o for o.
4
Suppose w + 5*h - 14 = 0, 14*h + 26 = 4*w + 19*h. Solve -2*b + 6 = w for b.
1
Let c(w) = -3*w**2 + 41*w - 18. Let a be c(13). Solve -4 = -4*b + a for b.
3
Suppose 262*z - 261*z - 2 = 0. Solve -4*y + z*y = 8 for y.
-4
Suppose r = 2*o - 59, -5*r + 56 = 7*o - 4*o. Solve -6*q + o + 3 = 0 for q.
5
Suppose -v - 5*j = -20, -13*v + 9*v - 3*j = -80. Solve -v - 12 = 16*p for p.
-2
Let t(j) = j**3 + 7*j**2 + 8*j + 15. Suppose 2*u + 16 = -s, 4*u = 4*s + u + 9. Let m be t(s). Solve 3 = -2*n + m*n for n.
3
Suppose 61*h = 60*h + 4. Solve -h = 2*w - 3*w for w.
4
Suppose 4 = 2*o - 3*m, 3*o + 6 = 6*o + 5*m. Solve 3*s = o*s - 4 for s.
-4
Suppose 3*j - 12 = 4*r + 2*j, 5*j + 20 = 0. Let x be (0 + r)*6/(-6). Suppose 0 = -0*i - 3*i - 3*w, -i - x*w - 6 = 0. Solve i*f + 5 - 3 = 0 for f.
-1
Let n(x) be the first derivative of 1/3*x**3 - 6 + 1/2*x**2 + x - 3/4*x**4. Let h be n(-1). Solve -h*d + 0*d = 8 for d.
-2
Let g(n) = -n**3 + 2*n. Let w be g(-2). Suppose -5*p - 17 = -w*p. Let b = p + 22. Solve b = 3*u - 4 for u.
3
Let k be (4/8)/((-1)/(-26)). Solve -k = -7*g - 41 for g.
-4
Suppose 0 = g - 2*g - 12. Let d(f) = f**3 + 10*f**2 - 24*f. Let q be d(g). Solve -o - 6 + 7 = q for o.
1
Let m = 8 - 13. Let l(i) = -2*i - 22. Let k be l(-11). Let u = k - m. Solve -u*f + 15 = 5 for f.
2
Suppose -3*g - 5*h + 0 + 13 = 0, 0 = 5*g - 5*h - 35. Suppose -g*x + x = -75. Let f be ((-6)/4)/(x/(-50)). Solve -5*i = -10*i - f for i.
-1
Suppose 5*m - 5*d - 65 = 0, 28 = m + 5*d - 9. Solve -m*c = -33*c for c.
0
Suppose -2*a - 3*d = -11, 17*a = 15*a - 2*d + 10. Solve 2*i - 8 = a*i for i.
-4
Let b = -91 - -71. Let t = b - -25. Solve -t*m = -0*m for m.
0
Suppose -3*o + 72 = 51. Solve 0 = -4*k - 9 - o for k.
-4
Let w(a) = a**3 + 3*a**2 + 2*a + 20. Let b be w(0). Suppose 70*s - b = 65*s. Solve -5 = s*n + 3 for n.
-2
Suppose c = -8 + 32. Suppose 5*h - 2*o = 2*o + 36, -2*o = -4*h + c. Solve -p + h = 3 for p.
1
Let l = 78 - -71. Let o = l + -144. Solve o*k = k for k.
0
Let p be ((-4)/3)/((-14)/21). Let b be p - -1*(2 + -1). Suppose 0 = 2*u - s - 3, -4*s + 7 = 3*u - b*s. Solve -5*q + u = -8 for q.
2
Let y = 27 + -18. Suppose -25 = -4*h - y. Solve 3*x - 5 = h for x.
3
Suppose -2*n = -6*n + 4*i + 28, 0 = -2*n + i + 19. Let b = 16 - n. Suppose 4*j - b*d = 2*j, 4*j = d. Solve -3*f + 0 + 3 = j for f.
1
Let b be 28/98 - 136/(-14). Suppose 0*m = 5*m - b. Solve -2*h = m*h for h.
0
Suppose -376*b + 367*b = 0. Solve 0 = 12*o - b - 0 for o.
0
Let m = -319 - -321. Solve t = m - 3 for t.
-1
Suppose 2*r + r - 9 = 0. Suppose -4*m + 0*m = -3*s + 6, -6 = -2*m - r*s. Solve m = -4*c + 11 - 3 for c.
2
Suppose 5*z - 91 = -4*y, -4*z - y + 34 = -30. Solve -4*p + z = -p for p.
5
Suppose -4*w - 2*w + 36 = 0. Suppose -25 + 7 = -w*z. Solve 0 = -j - z - 2 for j.
-5
Suppose 4*l = 4*s + 80, l + 0*s = -2*s + 32. Suppose l = 5*u + u. Solve -p + u = p for p.
2
Let b be 2/6 + 10/6. Let i be ((-6)/12)/((-1)/(-12)). Let t be (2/i)/((-8)/48). Solve t*z - b - 2 = 0 for z.
2
Let v be (-6 - 3)*(12 - 13). Solve 3*b = 6 - v for b.
-1
Let t be (-3)/9 + 20/6. Suppose 2 = 2*d, -f + 5 = -4*d - 1. Suppose -3*g = -4*u + f, -2*u = -3*u + 3*g - 2. Solve -u*h + t = -h for h.
1
Suppose 2*c + 0*k - 4*k - 14 = 0, -4*c + 4*k = -20. Suppose 3*h = 4*p - 10, -c = 3*p + 5*h - 25. Let r be ((-10)/4)/(p/(-8)). Solve -s = -r*s for s.
0
Suppose -11*i - 22 = -14*i - v, 4*i - 2*v = 46. Solve 17*a = 20*a - i for a.
3
Suppose -2*v + 7 = 2*t - 3*t, 4 = 3*t - v. Suppose 17 = -f + 2*f - 3*b, t*b + 39 = 3*f. Suppose -4*s + f = y, 4*s - 13 = -2*y - 3. Solve -2*u = -s*u + 1 for u.
1
Let c = -4 - -7. Let j = c + -3. Suppose 15 = 33*x - 30*x. Solve w = -j*w + x for w.
5
Let i = 0 - 0. Let s be (-2 - i)*(-6)/4. Suppose 3*g + 5 = 4*w, -4*w = 2*g + s*g - 45. Solve -g*f + f = 0 for f.
0
Let u be ((-8)/10)/((-3)/15). Let d = -105 + 103. Let v be 26*(10/u + d). Solve -3*r + 4 - v = 0 for r.
-3
Let l(s) = 2*s**2 - 7 + 9*s - 2*s**2 + 3*s**2 - 4*s**2. Let g(j) = j**2 - 9*j + 6. Let p(f) = -5*g(f) - 4*l(f). Let y be p(8). Solve y = -5*c + 26 for c.
4
Let k = 132 - 121. Let a(y) = y**2 - 9*y - 18. Let o be a(k). Solve o*h = -6 - 6 for h.
-3
Suppose -5*l - 185 = -4*g, -95 = 20*g - 22*g + 5*l. Solve 16*t = 25*t - g for t.
5
Let c be ((-3)/(-1)*-2)/(-3). Let s be (-792)/(-126) + c/(-7). Solve l - 20 = s*l for l.
-4
Let q(m) = m**3 + 12*m**2 + 2. Let r be q(-12). Let s(j) = -j**3 + 3*j**2 - j. Let y be s(2). Suppose -y*g - g = -6. Solve -3*l - g = -r*l for l.
-2
Let m(r) = -r**3 - 71*r**2 + 223*r + 79. Let g be m(-74). Solve 0 = g*o - 90 + 65 for o.
5
Let y = -45 - -61. Let o = -13 + y. Solve 6 = o*j - 0*j for j.
2
Suppose 1 + 11 = 3*z. Suppose -2*n - 3*d + 28 = 0, 18*n - 22*n + 4*d - 4 = 0. Solve u = n*u - z for u.
1
Let d be (-3 + -3)*(-60)/18. Solve 0 = 14*q - d*q for q.
0
Suppose -k + 2 = -1. Let n = 30 - 30. Solve n - k = -v for v.
3
Suppose 2*m - 3*h = -h + 20, -2*m = 2*h - 20. Solve -m*l - 3*l = 39 for l.
-3
Let h(a) be the first derivative of -a**4/4 + 2*a**3 - 2*a**2 - a - 4. Let x be h(5). Suppose 3*b - 19 = -3*z + x*z, -9 = -b + 3*z. Solve -m = -b*m for m.
0
Let d be -7 + 63 + (5 - 1). Let l = d + -53. Solve l - 1 = -3*b for b.
-2
Let v(u) = u**2 + 5*u - 4. Let z be (6/(-4))/(6/16). Let y be -2 + (64/z)/4. Let k be v(y). Solve g + 12 = -k*g for g.
-4
Suppose 650 = 30*i - 4*i. Solve -29*p + 16 = -i*p for p.
4
Let i be (-4)/(-6) - (-392)/42. Let a = -8 + i. Solve h = -a*h for h.
0
Suppose -2*o - 93 = -5*k + 16, -5*o = 4*k - 107. Let q = k + -23. Solve q*l = -5*l - 20 for l.
-4
Let n = 7 - 4. Suppose 4*u + 34 = 7*u - 4*r, 5*u + 5*r - 80 = 0. Let t = u - 2. Solve -n - t = -3*d for d.
5
Let s(t) = 2*t**2 - 10*t + 4. Let g be s(5). Solve 3*w + g = 4*w for w.
4
Suppose 57 = 2*h + 5*l, -5*l - 43 - 5 = -3*h. Solve 6*d + d - h = 0 for d.
3
Let b be (5 - (-1 - 3)*1)/1. Solve 0 = 4*j + b + 3 for j.
-3
Let d = -15 - -23. Suppose 0 = -d*m + 6*m + 4. Suppose -4 = -4*s - m*h, -s + 2*h + 8 = -3. Solve 2*v = -s*v - 15 for v.
-3
Let g = 843 + -838. Solve g*a = 6*a + 2 for a.
-2
Suppose -4*q - 3*s + 24 = 0, -5*s + 23 = -2*q + 3*q. Let z be (-5)/(-5)*1*13. Suppose 0 = 3*u - z - 23. Solve q*j + j - u = 0 for j.
3
Suppose o - 4*w = 21, 0*o + 80 = 3*o + 5*w. Let d = o + -15. Suppose 0 = -16*n + 11*n + d. Solve 4*p - 6 = n for p.
2
Suppose -66 = -3*s + c, 4*s + 0*s - c = 87. Let j = s + -4. Let i = -17 + j. Solve -4*f - 16 = -i for f.
-4
Let z = 13 - 8. Let l(a) = -a + 1. Let k be l(-8). Solve 0 = z*g - k - 16 for g.
5
Let x be (-2)/9 + (-4)/(-18). Suppose x = -3*f - o + 11, 0 = 3*f + 4*o + 2 - 10. Solve -q - f*q - 15 = 0 for q.
-3
Suppose d - 5*d + 80 = 0. Solve 0 = 2*m + 2*m - d for m.
5
Let s(x) = -2*x**2 + 9*x + 164. Let a be s(-7). Solve -67*j = -68*j - a for j.
-3
Suppose -6*r + r + 16 = s, -3*s + 16 = -r. Solve s - 21 = -3*g for g.
5
Let m = 31 + -29. Let g be 5 + (-5 - 6/(-3)). Let c(r) = -r**3 + 2*r**2 + 3*r - 2. Let d be c(g). Solve 0 = 6*u - m*u + d for u.
-1
Let a(m) = -m**3 - 8*m**2 - 10*m - 15. Let g be a(-7). Solve 3 = g*l - 7*l for l.
-3
Suppose -20 = -5*s + 4*g, 3*g - 5 = 4*g. Solve h + 4 = -s*h for h.
-4
Suppose -x + 4*f + 34 = 0, 2*f = 5*x + 6*f - 50. Solve 3*y - x = -2 for y.
4
Let g be -15*-3*3/27. Solve -2 = h - g for h.
3
Let s be ((-22)/3)/((-114)/18 + 6). Solve 0 = 4*j - s + 14 for j.
2
Let p = 25 - 100. Let j = p - -81. Solve -2*y = j - 2 for y.
-2
Let b(c) = -c - 3. Let d be b(-6). Suppose -2*m = d*m. Solve -4*y + 3*y = m for y.
0
Let r = 154 + -153. Solve -x - 2 = -r for x.
-1
Suppose -98 = -9*y + 2*y. Let p(x) = -x**3 + 14*x**2. Let b be p(y). Solve b*n = -2*n - 2 for n.
-1
Suppose 0 = p - 4*d - 16, 5*p + 2*d - 124 = -0*p. Suppose 3*r + 3*v + 0*v = 24, 5*r - 3*v = p. Let l = 12 + -7. Solve -r = l*h - 3*h for h.
-3
Let l(r) = r**2 - 3*r + 2. Let i be l(7). Suppose -11*v = -6*v - i. Solve p - v*p = -5 for p.
1
Let v(n) = -9 - 2 + 2*n - 10. Let h be v(10). Let o be (-3 + 4)/(h/(-3)). Solve -o*p - 2 = -14 for p.
4
Suppose -9*n + 17 = -19. Let j(y) = y**2 + 2*y + 2. Let b be j(-3). Let u = 3 + b. Solve -4*p - u - n = 0 for p.
-3
Let h(v) = -