2))/((-5)/15). Solve 3*w - c = h for w.
4
Let y = 536 + -531. Solve 4*s - 1 = y*s for s.
-1
Suppose -2*b + 29 = -t, -t = -5*b - 69 + 149. Solve b - 3 = -7*w for w.
-2
Let i(x) = -x**2 - 19*x + 189. Let f be i(-26). Solve -4 = -f*h + 10 for h.
2
Let t(b) = -2*b**3 - 11*b**2 + 4*b - 12. Let r be t(-6). Suppose r = -6*n + 11*n - 25. Solve -n + 17 = -4*w for w.
-3
Let x(k) = -k - 14. Let l be x(-17). Suppose 8*t - l*t = 0. Solve t*a = -4*a + 4 for a.
1
Let h be (-13)/(1/(-1)) - 264/44. Solve -h*u - 3 = 11 for u.
-2
Suppose 3*o + 0*o + 12 = -p, 4*p - 7 = -o. Solve 0 = d - 4*d - p for d.
-1
Suppose 3*f - 12 = 3*d, f + d + 20 = 6*f. Suppose 2 = -c - 5*m - 3, f*m = -c - 3. Suppose -c*p + 47 = -28. Solve -2*x - p = x for x.
-5
Suppose 9*j - 58 - 50 = 0. Solve 14*d - j*d = -4 for d.
-2
Let j(m) = -11*m + 367. Let c be j(33). Solve -7*p - c = -8*p for p.
4
Let m(g) = -g - 2. Let t be m(-2). Suppose -q + 5*n + 7 = t, -3*n = -3*q + 3 + 6. Solve 0 = q*x - x for x.
0
Let k = -530 - -533. Solve -k = 3*s + 9 for s.
-4
Let a = -917 + 917. Solve a = 3*t - t for t.
0
Let t(n) be the third derivative of -n**4/24 + 7*n**3/6 + 4*n**2. Let o = 56 + -51. Let q be t(o). Solve -w = q*w for w.
0
Suppose 53 = 20*m - 7. Let a(q) = -q + 7. Let c be a(5). Solve c*v = -m*v for v.
0
Let p(x) = 2*x**2 + 1. Let r = 4 - 3. Let o be p(r). Let z be -3 + 10 + -1 - o. Solve f + z = -2*f for f.
-1
Suppose 5*n - 195 = -4*g - 35, -3*n = -3*g - 96. Solve -n = -6*s - 2*s for s.
4
Suppose -4*p + 32 = -4*d, -26*p + d = -22*p - 41. Solve p*v - 6*v = -25 for v.
-5
Let q be 5/10 + (-2)/4. Let p(i) = -i**3 + i**2 - i + 5. Let k be p(q). Suppose m + 2*a + 9 = k*a, 4*a = 12. Solve m*g + 2*g + 6 = 0 for g.
-3
Let b(x) be the third derivative of x**6/120 + x**5/30 - 3*x**4/8 + 5*x**2. Let d be b(-4). Solve 3*o = -d - 2 for o.
-2
Let r be 4*3/12*14. Let h be 998/10 + r/70. Let n be (40/h)/(2/10). Solve -m - 15 = n*m for m.
-5
Suppose 2*p = 2*j + 30, p + 21*j - 15 = 20*j. Solve -p = s + 2*s for s.
-5
Let f(i) = -6*i + 34. Let o be f(5). Let q be 4/(-6)*-9 - o. Solve 0 = 2*t - 2 - q for t.
2
Suppose 2*w - 12 = 2*t, -2*w + w + 5 = 0. Let k(b) = -2*b**3. Let y be k(t). Suppose -2*v + 1 = -3. Solve 0 = -v*o + 3*o + y for o.
-2
Let c(k) = 2*k**2 - 12*k - 12. Let t be c(7). Let z be -9*((-3)/(-9) + -1). Suppose 4*f - 20 = -4. Solve -t - z = -f*l for l.
2
Suppose -5*u = -3*u. Suppose 78 = -14*c + 134. Solve u = -2*t + c*t - 6 for t.
3
Let k(b) = 3*b + 6. Let c be k(-4). Let u be ((-1)/2*-6 + -4)*-8. Let m be c/(-1)*4/u. Solve -m*v + 0*v = 0 for v.
0
Suppose -3*i = -d + 4, -5*d - 23 + 43 = i. Suppose -1 = -a + o, -4*o + 1 = -3*o. Solve -a*j + 0 + 2 = i for j.
1
Suppose 2*t - 5*o + 15 = 6*t, -4*t + 2*o = -22. Suppose 5*b + 40 = t*p, 3*p + 3*b = p - 4. Solve p*w + 1 - 13 = 0 for w.
3
Let l(o) = -o**2 + 7*o + 1. Let x be l(7). Let k be 0 - (2 - (1 + -1)). Let m be (-2)/(-4) + 1/k. Solve m = 2*u - x - 9 for u.
5
Let i(y) = 2*y + 31. Let u be i(-14). Solve -8*j = -u*j + 5 for j.
-1
Let n be (-7 - -3) + (-7)/(28/(-40)). Solve 0*p - n*p = 0 for p.
0
Let j be (24/(-10))/(150/(-1000)). Solve 0*z + j = -8*z for z.
-2
Suppose -2*p + 6 = 3*o - 5, 4*p + 11 = 5*o. Suppose 3 - 3 = o*z. Solve -3*t + 5 + 4 = z for t.
3
Let k(m) = m**3 + 4*m**2 - 7*m - 7. Let x be k(-4). Solve 21 = 2*r + x for r.
0
Let d(z) be the third derivative of -z**4/24 + z**3/6 + 9*z**2. Let w be d(-3). Solve w*p - 3 - 1 = 0 for p.
1
Let g(d) = d**3 - 5*d**2 - 6*d - 2. Let t be g(6). Let f = t - -4. Solve k - f = -1 for k.
1
Suppose 10*q + 3*q = 0. Solve q*x = x - 5 for x.
5
Let s be (-224)/(-40)*((-30)/4)/(-3). Let r(o) = o**2 - 14*o + 6. Let a be r(s). Let g(u) = u**2 - 2*u - 1. Let w be g(3). Solve w*p = a*p for p.
0
Let n(v) = -2*v - 21. Suppose 23 = -4*q - 21. Let b be n(q). Solve 0 = -4*d - b - 15 for d.
-4
Suppose 0 = -v + 4, -8*l - 3*v = -5*l - 72. Solve l = -6*o + 2*o for o.
-5
Let o = 35 + -23. Suppose -5*m + 5*p - 80 = 0, -5*p + 7 = -8. Let u be 1/(m/(-4) - 3). Solve 0*n - o = u*n for n.
-3
Let g(d) = -41*d + 4. Let l be g(-1). Let u = l - 40. Solve -u*s + 9 = 24 for s.
-3
Let t(v) = v**3 + 5*v**2 + 4*v + 2. Suppose 20 = -3*x - 0*y + 2*y, 4*x + 4*y = 0. Let q be t(x). Let j be 7 + q + (-2 - 3). Solve j*g - 6*g = 8 for g.
-4
Suppose -2*a - 21 = u, -4*a - 2*u = -u + 41. Let f(h) = h**2 + 12*h + 9. Let w be f(a). Let s = -6 - w. Solve -2*v = -3 - s for v.
4
Let f(g) = -g**3 + 12*g**2 - 33*g + 8. Let w be f(8). Solve w = -3*a - 5*a for a.
0
Let b = -274 + 309. Solve d = b - 30 for d.
5
Suppose -3*n + 2 + 13 = 0. Solve n*v + 21 - 1 = 0 for v.
-4
Let x = 6 - 3. Solve -a - 6 = -x for a.
-3
Suppose -19 = 2*y + 3*o, 2*o - 3 + 5 = 0. Let t be 12/y*(-16)/6. Solve -3 - 1 = -t*s for s.
1
Let k(v) = -7*v - 13. Let z be k(-3). Suppose 2*o - z = -2*n, 2*n + 1 = -3*o + 4*o. Solve 0 = u + 2 + n for u.
-3
Let z(f) = 16*f + 35. Let a be z(-2). Let o(m) = m**3 - 2*m**2. Let q be o(2). Suppose 0 = a*d - q - 9. Solve -20 = s + d*s for s.
-5
Let y(f) = 2*f + 1. Suppose -13 + 17 = 4*u. Let k be y(u). Suppose g - k*l = -7*l + 26, 0 = 4*l - 20. Solve g = x + x for x.
3
Let n be (16/(-3))/(50/(-75)). Solve 2*l - n - 2 = 0 for l.
5
Let z(a) = -2*a - 9. Let b be z(-5). Let r(n) = 2*n + 1. Let x be r(b). Suppose -i - x*o + 2*o + 10 = 0, 5*o - 34 = -3*i. Solve i = 4*y - 4 for y.
3
Suppose -4*b + 5*o = 11, 0*b - b = 4*o - 13. Let f = b - -7. Solve f = -0*z + 2*z for z.
4
Suppose -2 = o - 4, 0 = w + 6*o - 12. Let i = 0 + 2. Let p(c) = 2*c - 2. Let n be p(2). Solve -i*m + 0 - n = w for m.
-1
Let t(p) = p**2 - 2*p - 4. Let h be t(4). Let a be -3 + (2 - 1) - -13. Suppose 2*o = -5*z + 16 + 3, -z + a = 4*o. Solve o = h*i - 2 for i.
1
Let p(n) = n**3 + 5*n**2 - 6*n - 16. Let s be p(-4). Solve q - s = -5*q for q.
4
Suppose -9 = -2*o + 5*t, 3*t = 4*t + 1. Solve 0 = o*a - 7 + 5 for a.
1
Let s = -15 + 1. Suppose -53 = 3*m - 5*c, -18*m - 60 = -14*m + 4*c. Let u = s - m. Solve u*f - 7*f + 15 = 0 for f.
3
Suppose -7 + 31 = -2*z. Suppose -q + 6*q + 53 = -4*b, 5*q - 5*b = -35. Let m = q - z. Solve -5*j = -m*j + 4 for j.
-2
Let g(a) = -a**3 - 3*a - 4. Let t(o) = -o**3 - o**2 + 1. Let r(u) = -g(u) + 2*t(u). Let j be r(-2). Solve j = 3*k - k + 4 for k.
-2
Suppose -3*b = -2*d + 7*d - 39, 0 = 3*d - 9. Suppose 11*c = b*c + 6. Solve 0 + 6 = c*x for x.
3
Suppose 5*q + 2 = 27. Suppose -q*z + 3*y = -18, 2 = -y + 1. Solve -2*p + 25 = z*p for p.
5
Suppose 301*k - 36 = 295*k. Solve -2 = -k*a + 5*a for a.
2
Suppose 7*h - 24 = -h. Suppose 0 = -p + h + 2. Solve -p*w + 1 = -14 for w.
3
Suppose -v = 2*n - 122, -4*n - 3*v + 149 = -99. Solve n*g = 54*g - 15 for g.
-3
Suppose 21*f + 1053 - 1137 = 0. Solve 12*z - f = 16*z for z.
-1
Suppose 9 = 3*y + 3. Suppose a - y*x = 6*a + 2, -3*a = x + 1. Suppose -b + 4 = 1. Solve a*d - 3*d = -b for d.
1
Let f be -6 - -5 - 2/6*-3. Solve f = 3*y - 8*y for y.
0
Suppose 4*n = 9 + 3. Let g(q) = q + 6. Let d be g(-6). Let k(w) = w**2 + 2*w + 18. Let b be k(d). Solve b = 5*m + n for m.
3
Let x(i) = 2*i**2 - 57*i - 251. Let c be x(-4). Solve -15 = c*b - 24 for b.
1
Let q = 11 - 0. Suppose -9 = -8*l + 5*l, -3*l = -5*y + 11. Solve 5*f - y = q for f.
3
Suppose 12*c = 806 + 442. Let g = -102 + c. Solve 0 = d + g*d - 9 for d.
3
Let h(w) = -w**3 + 6*w**2 + w - 1. Let v be (9/2)/((-15)/(-20)). Let k be h(v). Suppose -15 - 15 = -k*s. Solve -s*i = -2*i for i.
0
Let p(x) = x**3 - 29*x**2 - 29*x - 27. Let q = 77 - 47. Let m be p(q). Solve 8 - 2 = m*z for z.
2
Let r(t) = -t**2 - 8*t. Let q be r(-6). Suppose 8*d - 4 = q. Let u(y) = -y**3 - 4*y**2 - 3*y + 3. Let l be u(-3). Solve -n + d*n - l = 0 for n.
3
Suppose -f + 5*f = 0. Let g be (2 + f)*2 - 16. Let w = g + 16. Solve w*r - 3 = r for r.
1
Let b be (-1)/(-3) + 1595/(-33). Let i = b + 51. Solve o - 2 = i for o.
5
Let d = 38 - 27. Suppose -4*m + d - 7 = 0. Solve -4 + m = k for k.
-3
Suppose n = d - 3, 3*d + n - 13 = 2*n. Let y be -3*5/(-5)*1. Solve -4*x - y - d = 0 for x.
-2
Suppose 0 = g + 1, -2*y - 3*g - 3 = 3*y. Suppose y*n - n = -2. Let d = n + 8. Solve 0 = -f - 4*f + d for f.
2
Suppose -3*u + 11 = 71. Let c be 0 + 3*5 - 0/u. Solve 0*t - c = -3*t for t.
5
Let h be (-1 - -8)/(-7)*0. Solve h = 6*j - j for j.
0
Let z = 122 + -119. Suppose -z*g = -0*g. Solve g = 11*d - 6*d - 5 for d.
1
Let d be 3 + 0 + -5 + 7 - -6. Solve 6*w + d = 23 for