 Solve 0 = -p*m - 3 + 11 for m.
4
Let y be (6 - 3 - 32) + -1*3. Let x = y - -35. Solve x = -u + 2*u for u.
3
Suppose b - 11 + 2 = 3*u, 4*b - 2*u = 26. Solve 4*v = b*v for v.
0
Suppose 17*z = 3*z. Solve -4 = 2*h - z for h.
-2
Let u = -40 - -124. Suppose -4*n + o + u = -0*n, -4*o = 0. Suppose 3*w - 2*z - n = 0, z + 6 = w - 0*z. Solve -3*c + 6 = -w for c.
5
Let d = -79 - -60. Let z be ((-1)/2)/(d/646). Solve -5*r - z - 3 = 0 for r.
-4
Let i be (-2)/10 - (-606)/30. Let v be i/35 + (-51)/(-21). Solve 2*s = -v*s for s.
0
Let o = 137 + -135. Suppose -4*h + 5*x = 13, -4*h + 4*x = -8*h + 32. Solve o*q - h*q = 0 for q.
0
Let z(f) = -5*f + 41. Let k be z(8). Let j be 9/((-3)/k) + 3 + 4. Solve -j*v + 7 = -5 for v.
3
Suppose -3*x - 4*q = 16, -4*x + 29 - 13 = -4*q. Solve 10*b + 6*b + 16 = x for b.
-1
Let z = 152 - 307. Let f = z + 165. Solve -n = -6 + f for n.
-4
Let b = 196 + -194. Solve -10 + 8 = b*y for y.
-1
Suppose -7*t = 6*t - 39. Solve -2*h + 1 - t = 0 for h.
-1
Suppose -4*u + 3*u = -4*b - 33, b + 18 = u. Solve u = 7*g - 22 for g.
5
Suppose 15*m - 25 - 95 = 0. Solve m*j + 4 = 12 for j.
1
Let q(u) = -u**2 + 12*u - 15. Let w(o) = -o**3 + 9*o**2 + 10. Let k be w(9). Let n be q(k). Let p(v) = 2*v - 14. Let d be p(8). Solve -n*l = -d - 3 for l.
1
Suppose -4 = -8*z + 4*z. Let o be 3 - 0/(-2) - z. Solve o*x + 20 = 7*x for x.
4
Suppose -4*l + 0 - 1 = 5*y, 3*l = -3*y - 3. Let p = 3582 - 3572. Solve 2 = -y*r - p for r.
-4
Suppose 2*a - 3*k - 30 = 0, a - 31 = 2*k - 18. Solve a = 5*h + 16*h for h.
1
Suppose 3*l - 9*s + 5*s - 13 = 0, -12 = -3*l + 3*s. Solve -6*u = -l*u + 12 for u.
-4
Let r = -1229 + 1240. Solve r*x + 5 + 28 = 0 for x.
-3
Suppose 0*m + m + 15 = 5*l, 5*m + 21 = -2*l. Suppose l*h = -3*v - 0*h + 5, 0 = v - 4*h - 25. Let j = v + 0. Solve -j*y - 6 = -3*y for y.
-3
Let a(b) = -b**2 + 3*b + 15. Let v be a(0). Solve 4*h = -v - 5 for h.
-5
Let w(b) = 4*b + 68. Let r be w(-17). Solve -6*g + 8*g - 6 = r for g.
3
Let i be 0 - 2 - (-12 - -10). Solve -3*j + i + 9 = 0 for j.
3
Let i(j) = -42*j - 917. Let p be i(-22). Solve 0 = -z - p*z - 8 for z.
-1
Let y be (4 - 6) + 1*17. Suppose -12 = 2*f + 4*h, -6*h - y = -h. Solve -7*b + 3*b + 16 = f for b.
4
Let i be 17 + -7 + (-2 - 4/2). Let z be ((-16)/i)/((-4)/12). Solve z*q - 20 = 3*q for q.
4
Let p(r) = -3*r**3 + r**2 + 10*r + 2. Let k be p(4). Let i = 136 + k. Solve 0*c - 2 = -i*c for c.
1
Let g(b) = b**2 + 7*b + 7. Let z be g(-7). Suppose 2*v - z = 5. Suppose 2*a - 5*q = 50, -4*q = a - 9*q - 30. Solve -x - a = -v*x for x.
4
Let y(n) = n**3 - 10*n**2 - 5*n - 14. Let b be y(11). Suppose -72 + b = -4*w. Solve -w = q - 0*q for q.
-5
Let j(g) = -3*g**3 + 4*g**2. Let a(x) = x**2 + 3*x**3 + 6*x**3 - 7*x**3 - 3*x**3. Let m(l) = -7*a(l) + 2*j(l). Let w be m(0). Solve w*s = s for s.
0
Let m(t) = -20*t + 16. Let x be m(0). Solve -2*h = 22 - x for h.
-3
Let y = 71 - 44. Suppose 4*m - w - 4*w - 63 = 0, -y = -3*m - 3*w. Solve -4*v = 4 - m for v.
2
Let m be 192/(-48)*(2 - 51/12). Solve -7*s + 10*s - m = 0 for s.
3
Let k = -901 + 906. Solve k = -n - 0*n for n.
-5
Let d be -1 - -28 - ((2 - 9) + 6). Solve 11*g + 51 = d*g for g.
3
Suppose 443*w = 457*w - 1792. Solve -w = 3*a - 119 for a.
-3
Let s be (-4 - -1)*(-2)/3. Let j(a) = 153*a - 2751. Let y be j(18). Solve g + y = s*g for g.
3
Suppose -5*c - 175 + 195 = 0. Solve 10 = 6*u + c for u.
1
Suppose -2*l - 28 = 2*b + 2*l, 4*b - 3*l + 67 = 0. Let g = 34 + b. Suppose 4*j - 3 + 1 = 3*t, 5*t - g = -4*j. Solve 0 = -j*z + 5*z for z.
0
Suppose -2 = u + 83*p - 85*p, 5 = 2*u + 5*p. Let g be (-2)/(-9) - 2/9. Solve u = -g*x - 5*x - 10 for x.
-2
Let f = -9 - -13. Suppose -3*i = f*h - 0*h - 1, 0 = -h + 2*i + 14. Solve -5 = 3*t + h for t.
-3
Let k be 24 - 1/((-3)/(-3)). Suppose -67 - k = -5*u. Suppose r + u = 5*h, 0*h + r + 6 = 2*h. Solve -6 - h = 2*g for g.
-5
Suppose 0 = -3*u - 29 + 38. Let a be 1/6 + 3/(-54)*u. Solve 5*i - 3*i = a for i.
0
Let w(s) = s**2 + 45*s + 410. Let y be w(-33). Solve 11*m = y*m - 6 for m.
2
Let z = 23 - 37. Suppose 3*k = 36 + 12. Let v = z + k. Solve 4*u - v = -22 for u.
-5
Let r be (-21)/(378/15) - (-275)/6. Solve -r*f - 35 = -38*f for f.
-5
Suppose 5*w - 20 = 5*o, 5*w + 4*o = -0*o + 20. Let q(l) = l**2 - 5*l + 6. Let c be q(w). Let x = 288 + -288. Solve -c*k + x = 2 for k.
-1
Suppose 27 = -3*o + 3*t, 0 = -t - 1 + 2. Let y be o/(-28) - (-158)/(-14). Let c = 11 + y. Solve -p + 5*p = c for p.
0
Suppose -96 = -11*x - 19. Suppose 5*v - x*v = -6. Solve 3*y + v = -6 for y.
-3
Let l = 792 + -785. Solve -1 = 6*b - l*b for b.
1
Suppose -5*y = 0, 2*y = m + 3*y - 7. Suppose -4*i = -2*x - 2*i - 24, -i + 5 = 0. Let v = m + x. Solve v*g - 3*g - 6 = 0 for g.
-2
Suppose -3*j + 10 = 1. Suppose -2*p + 7 = -j. Suppose -n - p + 7 = 0. Solve n*o + 12 = -o for o.
-4
Suppose -231*u = -235*u + 1704. Solve 423*t = u*t for t.
0
Let i(f) = -f**3 - 5*f**2 - f - 5. Let h be i(-5). Let t be (-2)/13 - (6858/39 + 3). Let u = -170 - t. Solve 2*w + w - u = h for w.
3
Let d be 15 - 2*3/(-6). Solve -2*x - d = -12 for x.
-2
Let t = 35 + 27. Let x = t - 60. Solve -x*q = -0*q for q.
0
Let p be (10/15)/((-2)/(-6)). Suppose 3*l - 114 = -5*r, -2*r = -3*r - 3*l + 18. Suppose -4*f + 8 = -4*a + r, -2*a + 10 = -3*f. Solve a*c + p*c - 12 = 0 for c.
3
Let q be (-10 + 10)/(0 - -1). Suppose 4 + q = g. Suppose -4*t - 3*n + 23 = 0, 3*t - t - 24 = -g*n. Solve -r - t*r = -15 for r.
5
Let t(m) = m**2 + 22*m + 93. Let d be t(-17). Solve b = -d*b + 18 for b.
2
Let c(i) = -i**2 - 27*i - 174. Let x be c(-14). Solve -35 = x*w - 67 for w.
4
Let b = 522 - 522. Solve b = -2*c + 61 - 57 for c.
2
Let g(k) = -k**3 + 3*k**2 - 5*k + 8. Let p(u) = -2*u**3 + 6*u**2 - 10*u + 15. Let b(w) = 7*g(w) - 4*p(w). Let a be b(2). Solve -a*l + 15 = l for l.
5
Let q = 16 + -12. Let u = 7 - 4. Suppose 0 = -3*z - 2*z + 45. Solve -u = -q*i + z for i.
3
Let w be (9/6 + -1)*0. Let f be w + -23*(0 - 1). Suppose -32 = -5*h + f. Solve -2*k + h = 5 for k.
3
Let s(t) = t - 35*t**3 + 4*t**2 + 36*t**3 - 3*t**2 - 4. Let r be s(2). Solve 3*h - 5 = r for h.
5
Let f = 456 - 450. Solve -f*g + 9*g - 3 = 0 for g.
1
Let x(h) be the third derivative of -h**4/12 - h**3 - 2*h**2. Let w be x(-2). Let q be (8 - 5) + (1 - w). Solve 0*v - 2*v - q = 0 for v.
-3
Let x be (-6)/(-24) - 7/(-4). Suppose -5*d = 3*r - 5*r + 25, -x*r + 22 = -4*d. Solve 2*n = 7*n - r for n.
1
Let j be (5 + -2)/((-1)/(63/(-27))). Solve 2*r = -17 + j for r.
-5
Let u(i) = -i - 13. Let q be u(-18). Suppose -4 = -3*n + q. Solve -n*h = h for h.
0
Let g be (3/(-6))/(2/(-8)). Suppose 3*d - u + 65 = 0, 0 = g*d - 8*u + 3*u + 52. Let j be 1/(-1 - 24/d). Solve j = 5*s - 8 for s.
3
Suppose -522*q = -1155 - 411. Suppose -2*o - 28 = -6*o - 2*x, 4*o = -5*x + 16. Solve q*c + o = -3 for c.
-4
Let s be 25/(-20) + (-3)/4. Let v be (-17 - -13) + (-18)/s. Solve 3*f - 2 = -v for f.
-1
Suppose 11*v + 20 = 6*v, 12 = 2*z + 2*v. Solve 97*j = 102*j + z for j.
-2
Suppose 3*o - 2*t = -3 - 5, -2*o - 5*t = -20. Suppose -j + 4 + 1 = o. Suppose -j*a = f - 0*f - 25, -4*f - a = -5. Solve 3*v - 7 + 1 = f for v.
2
Let j = 323 + -317. Solve -14*w + 17*w = j for w.
2
Let r be (-10)/(-4) - 2/(-4). Let v(b) = b - 2. Let l be v(2). Solve l - 12 = r*u for u.
-4
Let v(j) = 4*j - 5. Let m be v(2). Let q(c) = -2*c - 7*c - c**2 + 5*c + m. Let s be q(-4). Solve -s*o + 6 = -0*o for o.
2
Suppose -21*s + 17*s - z = -26, -3*s - 5*z + 28 = 0. Let g be 15/(2/((-4)/(-3))). Solve i - s*i - g = 0 for i.
-2
Let s = 458 + -458. Suppose 0 = 3*t - 2*u - 0 - 7, t + 3*u - 17 = 0. Suppose -5*o = 15, l - 2 - 10 = 3*o. Solve s = l*r - 4*r + t for r.
5
Let l = -7 + 15. Suppose -11*q = -l*q - 6. Solve 0*d = d + q for d.
-2
Let i = -55 - -51. Let b be (((-4)/(-1))/(i/(-2)))/1. Solve 6*g = b*g - 12 for g.
-3
Let i(c) = -c**2 + c + 30. Let u(f) = f**3 + 3*f**2 - 5*f + 2. Let a be u(-4). Let r be i(a). Solve 0 = -r*t + 4*t - 20 for t.
5
Suppose -3*p + 2 = -1. Suppose -h = 4*m - 6, -2*h - m + p = -4. Solve 3*j = h*j - 3 for j.
-3
Let u = -459 - -492. Solve -7*q + u = -2 for q.
5
Let j = 45 + -39. Solve 4*b = j + 2 for b.
2
Let u(z) = 19*z + 2. Let v(d) = d + 1. Let h(j) = u(j) - 4*v(j). Let r be h(-1). Let a = r - -36. Solve 5*b - 1 - a = 0 for b.
4
Suppose -9 = -4*d + 2*c + 23, 0 = 3*d + 6*c - 9. Solve d*t - 25 = 2*t for t.
5
Suppose -45 = -5*t + 5*z, z = -4*z + 5. Let c