 Solve 5*q - d = 2 for q.
1
Suppose -19*k - 56 = -170. Solve k*r = -41 + 29 for r.
-2
Let z(b) = 2*b**2 + 29*b + 77. Let x be z(-13). Solve d - 37 = -x for d.
-1
Let z be (3/(-6))/((-1)/16). Let m be -2*-4*(-4)/(-8). Suppose m*b - 10*b + 12 = 0. Solve -b*r = -0*r + z for r.
-4
Let d(p) = p - 5. Let s be d(6). Suppose 0 = -q - 3*r - 2*r + 17, -r - 27 = 4*q. Let a be (q - 0)*s/(-1). Solve -a = 8*f - 4*f for f.
-2
Let y(q) = -3*q**2 - 4*q + 6. Let x be y(3). Let h = -29 - x. Solve h*i = 5*i for i.
0
Suppose 3*o = 6*o - 54. Let j = o + -15. Suppose 4*a = 7 + 25. Solve -v = j*v + a for v.
-2
Let f(a) = a**3 - 5*a**2 - a + 5. Let h be f(5). Suppose -16*n + 11*n - 265 = 0. Let p = n + 57. Solve h = -p*i - 0*i - 12 for i.
-3
Let g(m) = m**3 - 20*m**2 + 18*m + 22. Let c(o) = 19*o**3 + o - 1. Let d be c(1). Let s be g(d). Solve -s*r = r + 20 for r.
-5
Suppose 0*a = 4*a - 12, -2*w = -a - 5. Solve -4*p + w = -8*p for p.
-1
Let v(i) = i**3 - 15*i**2 + 36*i + 5. Let w be v(12). Solve w*x = 3*x - 10 for x.
-5
Suppose 0 = 3*k - 11*k - 304. Let v = k + 40. Solve 3*n - v = 4*n for n.
-2
Let a = -160 + 172. Solve -15*j + 3 = -a*j for j.
1
Suppose 0 = 13*q + 28 + 24. Let z(r) = -8 - 2*r + 2*r - 2*r. Let m be z(q). Solve m*v + v + 4 = 0 for v.
-4
Let a(y) = y**2 + 7*y - 8. Let o(l) = l**2 + 1. Let c(d) = -a(d) + 2*o(d). Let i = 15 - 9. Let v be c(i). Solve 3*u - v = -16 for u.
-4
Suppose 0 = -30*k + 10*k + 300. Solve -7*u + k*u + 8 = 0 for u.
-1
Let p(n) = 2*n**2 - n + 1. Let v be p(2). Let i = v - -3. Suppose 27 = 4*u + 2*j - 13, u + j = i. Solve -4*c + u - 2 = 0 for c.
2
Suppose 148 = 10*n - 14*n. Let j = n - -41. Suppose -4*d - 18 = -2*b - b, -2*b - 5 = 3*d. Solve -i + b*i - j = 0 for i.
4
Let z = 422 - 418. Solve 5*u = 3*u - z*u for u.
0
Suppose 3*h = -p - p + 16, 0 = -h + 2. Suppose -q + 5*a = 6 - 3, 3 = 4*q - p*a. Solve 0 = -q*w - 12 + 4 for w.
-4
Let m(z) = -21*z + 18*z - 21 - 12 + 8. Let r be m(-10). Suppose -k = i + r, -k + 3*k - 2*i = 10. Solve q + 2*q + 15 = k for q.
-5
Suppose -r = 2*r. Suppose -6*w + w + 10 = r. Suppose 0 = w*x + 5*f - 31, -2*x + 3*x + 4*f = 23. Solve -z + 6 = x for z.
3
Suppose 2*l - 464 = -5*h, l + 379 = 6*h - 2*h. Let z = -88 + h. Solve -9 = z*v - 3*v for v.
-3
Suppose 3*p = 4*f + 38, -4 = f + 1. Let t = p - 4. Let r be 1*(-2 + 6) + 0. Solve -t*s - 2 = r for s.
-3
Let d(t) = 20*t + 29. Let i be d(-1). Solve -i + 14 = -l for l.
-5
Suppose -3*v + 20 = v. Let m(u) = -u**3 + 9*u**2 - u + 9. Let q be m(9). Suppose q = -10*j + 12*j. Solve -f + j*f = v for f.
-5
Let w be 4/3*(-1)/(8/(-12)). Solve w*z - 12 = -z for z.
4
Suppose 4*p - 13 - 2 = 5*r, 0 = 5*p - 2*r - 40. Solve -8*v + p*v = -8 for v.
-4
Let z be 3 + -5 + (-10)/(-5). Suppose -3*n + o - 10 = z, -n = -2*n + o. Let d = n + 5. Solve i = -2 - d for i.
-2
Let h = 12 - 14. Let d be h - 0 - (-5 + -1). Let n be (-1 - (-14)/10)*5. Solve d = -2*x + n for x.
-1
Let o be 13/11 + 10/(-55). Let t be ((1 + -1)/(-3))/o. Solve 5*p + t*p = -5 for p.
-1
Let f(g) = 6*g - 4. Let n be f(4). Let i be -4 + 296/185*(-5)/(-2). Solve -5*j - n = -i*j for j.
-4
Suppose 4*u - 48 = -4*z, u + 16*z = 19*z. Solve -11*p = -8*p - u for p.
3
Suppose -5 = -r + 4. Solve 2*o - 7 = r*o for o.
-1
Let v be (22/11)/(-1 - -2). Let y be 0 - -1 - (2 + -4). Suppose n - 2*n = v*m - 8, -35 = -y*n + 5*m. Solve n = 8*g - 3*g for g.
2
Let y(a) = -a**3 - 7*a**2 - 10*a + 6. Let o be y(-5). Let u be o + (0 - (0 + 3)). Solve -r = -2*r + u for r.
3
Let g(a) = -a**3 + 5*a**2 + 5. Let i be g(5). Suppose -4*t - 3 = 2*m + m, -i*m = t - 12. Solve m*f = 8*f - 25 for f.
5
Let c(r) = -r. Let j be c(-8). Let g be (6 - 15)/((-1)/(-5)). Let x be 2/5 - 72/g. Solve -x*m + j = -6*m for m.
-2
Let u(y) = y + 10. Let q be u(-6). Suppose q*s + t - 18 = 0, 6*s - 2*s = -5*t + 26. Solve -6 = s*m + 14 for m.
-5
Let u = 8 + -2. Let o be 198/27 - (-1)/(-3). Suppose -4*t + 19 = o. Solve -3*n = -u + t for n.
1
Let n(f) = f + 1. Let l(o) = 4*o + 4. Let q(t) = -l(t) + 2*n(t). Let g be q(-7). Suppose -c - g = -3*c. Solve -c*h = -4*h - 6 for h.
3
Suppose 0 = 2*p - 3*v + 12, -3*v + 12 = 6*p - 9*p. Solve -31*o + 27*o - 8 = p for o.
-2
Let j = 43 - 1. Let u = j + -35. Solve -5*w - u = 3 for w.
-2
Let d be (15/(-6))/(9/(-36)). Let i be ((-56)/(-16) - 1)*24/d. Suppose -4*l - 4*w + 6*w + 4 = 0, -23 = -l - 5*w. Solve 0 = i*b - 3*b - l for b.
1
Let c(i) = i**2 + 6*i + 8. Let b be c(-6). Let u = -2006 + 2010. Solve -b = u*j - 4 for j.
-1
Suppose -4*w - 2*a + a + 53 = 0, 5*a = 3*w - 11. Let g be (-2)/12 + 62*1/w. Solve g = -4*u - 15 for u.
-5
Let c be -2 + (-10)/(-6) + (-31)/(-3). Let q be 2 - 0 - 2*(-5)/c. Solve 0*k + 3 = -q*k for k.
-1
Let d(m) = m**3 - 11*m**2 + 9*m + 11. Let f be d(10). Suppose -5*t + 5 = 5*a, 4*a - f = t + 13. Solve 6 = c - a*c for c.
-3
Let a(h) be the first derivative of 5*h**3/3 - h**2 + h + 5. Let u be a(1). Solve u*k - 5 = 3 for k.
2
Suppose -3*j + 41 = -52. Suppose 0 = -j*h + 23*h + 8. Solve l - h = -4 for l.
-3
Let w(x) = 3*x**2 + 2*x - 4. Let y be w(-4). Suppose 3*a = y + 24. Let o = a - 18. Solve 2*p - o - 4 = 0 for p.
3
Suppose 0 = -24*g + 29*g - 15. Suppose -8*q + g*q = -20. Solve 0 = -3*m + m + q for m.
2
Let m(r) = -4*r**2 + 4*r + 9. Let w(h) = -h**2 - h + 1. Let v(b) = m(b) - 5*w(b). Let i be v(-9). Solve 0*q = i*q - 16 for q.
4
Let g = -80 - -85. Suppose -4*n = g*m - 12, 2*n - 3*n = 2. Solve 0 = 9*a - m*a - 25 for a.
5
Suppose -23 = -6*w + 13. Solve -w*v + v + 15 = 0 for v.
3
Let r be (1/(6/33))/(9/18). Solve -r*b - 32 = -3*b for b.
-4
Let t = -1605 - -1610. Solve -3*x - t = -2*x for x.
-5
Let h be (-33)/(-6)*(-17)/(561/(-36)). Solve h*d + 16 = 2*d for d.
-4
Let f(c) = 6*c - 3. Let v be f(2). Let t be 3/(3/2) + v. Suppose 5*d = 2*d. Solve 5*w - 4 - t = d for w.
3
Let c(v) = -2*v - 32 + 20 - 5 + v**2 - 3. Let p be c(6). Solve 3*m - p - 2 = 0 for m.
2
Let t = 165 + -163. Solve t*q - 12 + 4 = 0 for q.
4
Let f = -6 - -2. Let x(l) = l**3 + 3*l**2 - 6*l - 7. Let j be x(f). Solve -5*g = -j + 6 for g.
-1
Let u = 244 - 238. Solve -9*o = -u*o - 12 for o.
4
Let h = -132 + 132. Solve 5*v - 21 + 1 = h for v.
4
Suppose -n - 25 = -4*s + 18, -s + n + 13 = 0. Solve -s*u = -4*u for u.
0
Let d(l) = 125 - 6*l + 145 - 259. Let c be d(1). Solve c*u - 3*u = -10 for u.
-5
Let v(o) = 0 - 8*o**2 + 10 + 0*o**3 + 4*o + 13 + o**3. Let n be v(7). Solve -2 - n = 2*w for w.
-2
Suppose 5*h - 6 = -3*z + h, -2*z - h = -4. Let q be (-1)/(2*z/(-12)). Suppose -q*k - 2*k + 10 = 0. Solve d = 3*d + k for d.
-1
Let n = 31 + -9. Suppose 0 = n*t - 27*t. Solve -q - 5 = -t*q for q.
-5
Suppose -5*c = -10*c - 5, -62 = -5*k + 2*c. Suppose -54 + 21 = -11*y. Solve -d = y*d + k for d.
-3
Let x(n) = -n**3 + 13*n**2 + 18*n - 19. Let y be x(14). Suppose y*b - 65 = 32*b. Solve -1 = 4*z - b for z.
3
Suppose -3*i + 15 = -0*i + k, 2*k - 6 = 0. Suppose 0 = -5*n + 2*n. Suppose c - 3 - 7 = n. Solve -i*z + c = z for z.
2
Let u be -4 + 12/2 + -6 + 13. Solve 0 = 5*c - 2*c + u for c.
-3
Let n be 206/(-14) + (-2)/7. Let t be n/((1 - -2)*-1). Solve -t*d + 1 = 21 for d.
-4
Let y(i) be the first derivative of i**4/4 - 4*i**3 + 8*i**2 - 16*i + 1. Let f be y(11). Let a = f + -14. Solve 3*x - 8*x = -a for x.
5
Let v be ((171/(-18))/(2/(-4)))/1. Suppose 6*z = v + 11. Solve 0 = h + 4 - z for h.
1
Suppose 0 = 3*x - 3*y - 3, -x = 3*y - 4 - 1. Let b(t) = 2*t + 4. Let h be b(x). Solve 0 = -3*a - h + 17 for a.
3
Suppose -c - 8 = 4*b, -c + 6 = -b - 1. Suppose c*x - 2*n + 6 - 62 = 0, 4*n + 40 = 2*x. Solve 0 = -5*d + 2*d - x for d.
-4
Let j(p) = p**2 - 16*p + 12. Let z be j(15). Let c(a) = a**2 + a + 1. Let u be c(z). Solve 3 = -b + u for b.
4
Let d = -29 + 31. Let l(o) = -o - 6. Let t be l(-8). Suppose 2*b + 2*v = -v, -t*b = -v. Solve b = -0*c - d*c + 2 for c.
1
Suppose 94 - 62 = 8*y. Solve -y*f = -8*f for f.
0
Let y = -575 - -587. Solve -y = -5*n - 2 for n.
2
Suppose 0 = -4*w + 4*o + 20, -w + 3*o = -0*w - 15. Solve -u - 6 + 7 = w for u.
1
Let q = -20 - -36. Suppose -2*t + 4 - q = 0. Let k(u) = -2*u - 9. Let g be k(t). Solve -2*l - g*l = 25 for l.
-5
Let l = -443 + 443. Solve l = 8*o - 13*o for o.
0
Suppose 571 = 13*d - 2848. Let a = -263 + d. Suppose 0 = -8*z + 3*z + 20. Solve a = m - z for m.
4
Let w(n) = -n**2 + 29*n + 52. Let g be w(29). Let s be 65/g - 38/(-8). Solve s = 3*r - 3 for r.
3
Let j(s) be the second