 for y.
2
Suppose -32*g - 1063 = -1223. Solve -g = 6*p + 13 for p.
-3
Let r be (-21)/(-28)*(19 + 1 + -4). Solve 25*n = 19*n + r for n.
2
Let s(y) = -6*y - 6. Let p be s(-4). Let v = 38 - p. Suppose -4*t = -v, 0 = -5*o - t - 3*t + 40. Solve o*q - 1 = -13 for q.
-3
Let a(o) = -4*o + 63. Let l be a(18). Let u(n) = n**2 + 11*n + 19. Let q be u(l). Solve -3*s + q + 11 = 0 for s.
4
Let z = -4 - -9. Suppose 8*n = -3*g + 3*n + 7, -4*g - 5*n + 11 = 0. Let b(d) = d**3 - 4*d**2 - d + 7. Let r be b(g). Solve 2*h - r*h = z for h.
-5
Let v be (-18)/4*24/(-18). Suppose a = -3*b - 0*a + v, -4*a - 18 = -2*b. Solve -b*y = -7*y + 20 for y.
5
Let m(w) be the first derivative of -2*w**3/3 - 11*w**2/2 + 10*w - 1. Let x be m(-6). Solve -c + x*c = 6 for c.
2
Let d = -1322 + 1322. Solve d*w = -2*w + 6*w for w.
0
Suppose -4*n - 3*f + 8 = 0, 8 = 3*n + n - f. Solve n*c = -c + 15 for c.
5
Suppose -15*q = 20*q - 35. Solve -2 = -3*f + q for f.
1
Let g = -186 + 193. Solve -4*r - 9 = g for r.
-4
Let x = 38 + -16. Let u = 26 - x. Solve -7 = -u*q + 5 for q.
3
Suppose -15*g + 32 + 103 = 0. Solve 4*w - 3 = g for w.
3
Suppose 2 = p + 1, -4*d + 293 = -3*p. Solve d*c = 76*c - 4 for c.
2
Let r(x) = x**2 - 10*x - 3. Let k be r(10). Let v = 33 + k. Let g = v - 26. Solve g*q - 5 = -q for q.
1
Suppose 5*i + 6 = 3*i. Let x be 0/(4 + i) + 2. Solve d = -x*d for d.
0
Let l = -19 + 48. Let c = l + -44. Let u be 3/(-4) - c/20. Solve u = -0*j - 4*j - 16 for j.
-4
Suppose 0 = -3*c - 4*f - 0*f + 55, -5*c - 4*f + 97 = 0. Solve -17 = -4*m - c for m.
-1
Let m(i) = -i. Let d(c) = -10*c - 7. Let t(h) = d(h) - 6*m(h). Let b be t(-3). Suppose 16*k = 17*k - 2. Solve 0 = -k*x + b*x for x.
0
Let m = -14 + 17. Suppose m*z + 80 = 7*z. Solve -4*n - z = -0*n for n.
-5
Suppose 40*f = 44*f - 28. Solve -4*n + f = 27 for n.
-5
Let f = 85 - -9. Let u = 97 - f. Solve -8 = u*l - 5 for l.
-1
Suppose 0 = -3*m - 3*i + 31 + 74, 0 = -3*m - 5*i + 109. Solve -t + m = -12*t for t.
-3
Let x be 0 - 0 - (-2)/1. Suppose -x*p - 99 = -4*n - 1, -3*n + 61 = p. Suppose -5*d - 5*w - 30 + 75 = 0, -d + 4*w - 1 = 0. Solve 0 = -3*r - d + n for r.
5
Let s be ((-15)/(-4))/((-3)/(-16)). Suppose 0 = -13*n + 33*n - 140. Solve n*y = 2*y + s for y.
4
Let a = 92 - 116. Let h be (-2)/(-6) - 16/a. Solve -h = 2*i + 3 for i.
-2
Suppose -4*p + n + 24 = 0, -5*p + n + 10 = -19. Suppose -4*a = -0 - 8. Solve -a*j - p = -3 for j.
-1
Let s = 5 - 3. Let i = -20 - -42. Suppose -3*n = -x + 9, 5*n = -4*x + 7 - i. Solve -d + s + 2 = x for d.
4
Let k(x) = -2*x - 2. Let l be k(-5). Let r = l - 6. Suppose -4*m + 4*a = -6 - 6, 2*m = -4*a - 12. Solve m = -6*y + r*y for y.
0
Let t = -10 - -10. Let r = 32 - 30. Solve t = -k - 2 - r for k.
-4
Suppose 0 = 4*r + 3*p - 10, -4*r + 0*r + 5*p + 26 = 0. Let c(j) = j**3 + 7*j**2 - 9*j - 8. Let i be c(-8). Solve i = -r*w + 5 + 11 for w.
4
Let k be 28/3*(-3)/(-2). Suppose 17*j - 87 - 491 = 0. Solve 4*s - k + j = 0 for s.
-5
Let u = -416 - -424. Solve -u*h - 24 = -2*h for h.
-4
Let p = -222 - -201. Let f(y) = -3*y**2 + 1. Let m be f(-3). Let o = p - m. Solve o*t = t - 4 for t.
-1
Suppose 0 = -q + 5*c + 18, -4*q + 0*c + 18 = -2*c. Suppose u + 2 = 3*p, -3*p + q*u + 10 = 4*u. Let d be (-8)/48*-12*(3 + -1). Solve 2*g = -p*g - d for g.
-1
Suppose 0 = 5*w - u - 34, u = -2*w + 8 - 0. Let r = -8 + 17. Suppose 0 = -10*l + r*l. Solve l = w*i - 3*i - 3 for i.
1
Suppose -3*t = n - 26, -t + 0*n = 5*n - 18. Let d be 72/42*28/t. Suppose -11 - 9 = -5*y. Solve -d = y*i + 14 for i.
-5
Let q be (-24)/(-3) + 4*-1. Suppose -i = 4*n + 4*i - 8, 5*n - 10 = -q*i. Solve -n = 4*x - 22 for x.
5
Suppose 0 = -20*k + 26*k - 120. Solve 0 = 7*q - 11*q + k for q.
5
Suppose g = 5*a - 10, -22 = -4*g - 3*a + 30. Let i(h) be the first derivative of -h**3/3 + 11*h**2/2 - h + 65. Let b be i(g). Solve 1 - b = 4*x for x.
-2
Let q be 344/86 - 1*-1. Solve q*m + 1 = 6*m for m.
1
Suppose -4*o + 20 = -5*u, -4*o - 2*u + 20 = -5*u. Suppose 4*m - x - 19 = 0, -4 = -m - 4*x + 5. Suppose 4*v - m = -b, o = 2*b - 5. Solve t + v*t - 2 = 0 for t.
2
Suppose q + 4*d = 20, -7*d + 3*d - 28 = -5*q. Suppose q = -3*f + 17. Suppose -5*j + 1 = -3*j + 3*w, f*j + 5*w = 1. Solve -6*k = -j*k - 12 for k.
3
Let q = -2100 + 2134. Solve -12*i = 5*i + q for i.
-2
Let g(x) = -x**3 + 2*x**2 + 2*x - 1. Let m be g(2). Let q be (-78)/(-14) - m - 4/7. Solve -2*n - q = -4*n for n.
1
Let l(f) = f**2 - 8*f + 2. Let d = -3 + 5. Let w = d - -6. Let g be l(w). Solve 2*o + g + 8 = 0 for o.
-5
Let y(b) = 33*b**3 + 3*b**2 - 41 - 26*b - 32*b**3 - 15*b**2 + 15. Let t be y(14). Solve t*h + 9 = -1 for h.
-5
Let v be (-1 + 4)/((-6)/(-8)). Solve 4*f - v = -12 for f.
-2
Let w be 2/(-6) - (2256/(-9))/(-16). Suppose l = 3*z - 29, 0 = 5*l + z + 57 + 8. Let d = l - w. Solve d*g + g - 12 = 0 for g.
4
Suppose -99 - 117 = -18*b. Solve 0*h + b = 3*h for h.
4
Let f(u) = 2 - 16 + 3 + 4*u + 1. Let a be f(7). Let v = 22 - a. Solve -v*q + 5*q = 2 for q.
2
Suppose 3*u - 2*j - 7 = -4*j, 4*u = -2*j + 12. Let b be (-204)/(-24) - (-5)/(-2). Solve -u*d = b + 19 for d.
-5
Let w(o) = o**3 - 2*o**2 - 4*o + 3. Let x = 13 + -30. Let i = 20 + x. Let r be w(i). Solve r = 3*z + 2*z - 5 for z.
1
Suppose 2*y + 2*y = -5*z + 20, 3*y = 4*z + 15. Suppose z = 4*k - 1 - 7. Let t be (k + -2)*1/2. Solve t*v + 1 = v for v.
1
Let t be 3 - 1*(-1 + (4 - 3)). Solve t*j + 11 = 8 for j.
-1
Suppose -12*h = h - 52. Suppose -4*f + 124 = h*l, -l - 25 = -2*l + f. Solve 0 = -5*r + 3 - l for r.
-5
Let o(l) = l**3 - l**2 - l + 3. Let i be o(0). Let w be (-2 - 0) + 7 - i. Suppose -w = 3*x - 8. Solve -3 = j - x for j.
-1
Let j be (15/6)/(12/24). Solve 0 = o + j - 9 for o.
4
Suppose 90 = -25*t + 215. Solve -15*w + 20*w - t = 0 for w.
1
Let c = 1574 - 1569. Solve 4*m + 3 = -c for m.
-2
Let w be -2 + ((-40)/(-10) - -6). Solve -w*j + 20 = -4*j for j.
5
Suppose 0 = 3*u + 4*t + 32, -4*u + 4*t - 32 = u. Let z(c) = c + 8. Let n be z(-6). Let p be 16*(-4)/u - n. Solve p*i = 3*i - 15 for i.
-5
Let u(i) be the third derivative of i**6/120 + i**5/20 - 5*i**4/24 + i**3/6 + 14*i**2. Let n be u(-4). Suppose a = 6*a. Solve 15 = -n*q - a*q for q.
-3
Suppose -2*h = -3*h - 10. Let v be 3/(-6)*(2 + h). Suppose 8*o + 4*c = v*o, c + 15 = 4*o. Solve 0 = 4*p - o*p for p.
0
Let w(n) = 33*n**3 - 2*n**2 + n. Let u be w(1). Let g = 32 - u. Solve g = -3*t + 4 + 11 for t.
5
Let i(c) be the third derivative of -c**5/60 + 7*c**4/24 - 2*c**3/3 - 4*c**2. Let z be i(6). Let d be 6/(2 - z/4). Solve 0 = -0*q - d*q for q.
0
Let p(b) = 5*b - 1. Let f be p(1). Suppose -k + 39 = 3*w + 15, 4*k + 2*w - 46 = 0. Let y be 1*(k/(-3) - -4). Solve -t = f - y for t.
-3
Let k be (2 - 9/6)*0. Let v(g) = -g**3 + 13*g**2 - g + 16. Suppose 72 = 4*x + 4*p, 10 = 2*p - 0*p. Let m be v(x). Solve k = -2*w + 1 - m for w.
-1
Let t = -1062 - -1062. Solve -33*y + 36*y + 15 = t for y.
-5
Suppose 4*u = 19 - 3. Let f(g) = g**3 + 3*g**2 - g - 3. Let l be f(-2). Suppose i - 3 + 5 = 3*m, l*m - 4 = -i. Solve b + m = -u for b.
-5
Let a = -7 + 50. Suppose 3*s + a = -2*q, 2*s + 46 = -q + 4*q. Let i = 19 + s. Solve -8 = -i*l - 2*l for l.
2
Let l(a) = a**3 + 3*a + 4. Let y(b) = 2*b + 3. Let f(w) = 3*l(w) - 4*y(w). Let x be f(1). Suppose -x*j = j. Solve j = -3*o - 8 - 7 for o.
-5
Let w(m) = -m**2 - 10*m - 12. Let h be w(-6). Suppose 2*f = 4*y - 1 + 21, -31 = -3*f + 5*y. Suppose 7*j + 3*x = 3*j + f, 3*x = -3*j + h. Solve 4 + j = -b for b.
-4
Suppose 3*v - 3*b - 23 = -b, 3*v - 27 = 3*b. Solve 0 = -v*n - 7 - 13 for n.
-4
Let t be -4 + 7 - 31 - 4. Let s = t + 36. Solve 5*m - s = 1 for m.
1
Suppose 0 = 4*w + 2*u - 6, -3*u + u = -w - 1. Suppose -2*p - j - 20 = 0, 5*j - 23 = -4*p - 63. Let s be (-1)/(-1) + (-30)/p. Solve -r = -w - s for r.
5
Let m be -5*(82/(-40) - 6/(-24)). Solve -7*v - 2 = -m*v for v.
1
Let u = 25 + -21. Suppose -5*i - 2*h = -2, 4*i = 2*h - 6*h + u. Solve i*g = -g + 1 for g.
1
Let b(v) = -v**3 + 9*v**2 - 8*v + 6. Let t be (11 - 1) + (-2 - 0). Let h be b(t). Solve 4*w + 6 = -h for w.
-3
Let p(f) = -f**2 + 9*f + 26. Let y be (8/4 + 5/(-3))*33. Let g be p(y). Solve o = -0 + g for o.
4
Let o(a) be the third derivative of a**4/6 - a**3/3 - 4*a**2. Let g be o(1). Solve g*d = -d + 9 for d.
3
Let k(q) = q**3 + 5*q**2 - 16*q - 10. Let r be k(-7). Solve 0 = r*w + 20 for w.
-5
Let i(v) = -v**2 + 2*v. Let p be i(3). Let c be (p - (-47)/15) + (-296)/