 Let p = c + 9. Solve -6*w + p*w = b for w.
-1
Let b be -7 - (15/20)/((-12)/144). Suppose 0 = 5*o + 4*x - 15, -4*o + 12 = -4*x + 2*x. Solve -o*l = b*l for l.
0
Suppose 3*d - 108 = 5*l, -2*l - 4*d + 12 = 50. Let j be l/(-35) - (-72)/5. Let u(p) = p**2 + 3*p. Let q be u(-4). Solve -q*s - j = 5 for s.
-5
Let u = 10 + -4. Let p be (-22)/(-33)*u/2. Let n(h) = -2*h - 1. Let z be n(-2). Solve 0 = z*a - 2*a + p for a.
-2
Suppose 25 = 2*i - 3*p, 0 = -15*i + 16*i - 5*p - 23. Solve 0 = -0*d - 4*d - i for d.
-2
Let f(c) = -c**3 - 10*c**2 - 2*c - 15. Let d be f(-10). Suppose -h + 9 = -0. Let z = h - 7. Solve z + 23 = -d*q for q.
-5
Suppose 8*k = m + 10*k - 5, 3*m = -3*k + 21. Solve 4*v = 7 + m for v.
4
Suppose -f = g - 12, 3*g - 2*f - 9 = 7. Suppose 0 = x - 5*x. Solve x = g*o - 3*o - 20 for o.
4
Suppose -2*j + 18 = k, -10*k - 16 = -2*j - 12*k. Solve -j*v = -2*v - 16 for v.
2
Suppose 3*u + 3 = 3*i, -3*i + 4*i - 2*u - 3 = 0. Let f be i - (-4)/4 - -1. Solve 4*k + f = -19 for k.
-5
Let r(f) = -117*f**2 + 241*f**2 - 122*f**2 + f**3 - f. Let d be r(1). Solve 0 = -3*k - d - 1 for k.
-1
Let f be -3*2/9 + 16/24. Suppose -3*h + 2*g - 8 = 0, -5*h + 2*g - 12 = -g. Solve f = -l - h*l for l.
0
Let m = -17 - -31. Suppose m*o - 374 = 3*o. Solve -4*r = -o + 14 for r.
5
Let p(z) = -z**3 - 11*z**2 + 12*z + 1. Let y be p(-12). Let k(f) = 2*f**2 + 4*f - 3. Let u be k(y). Solve -7 = 2*w + u for w.
-5
Let a be 2 + 7 - ((-64)/(-8) - 4). Solve 8 = -a*f - 7 for f.
-3
Let v(s) = 18*s**2 - 5*s - 3. Let w(f) = f**2 - 12*f - 29. Let m be w(14). Let g be v(m). Solve 0 = 3*h + 2*h + g for h.
-4
Suppose -o - 57 = -5*i - 70, -2*o - 4*i = -40. Solve o = 12*g - 6 for g.
2
Let f = -1718 - -1723. Solve -f*m + 11 = -4 for m.
3
Suppose 3*a = a + p + 15, -3*p = -3*a + 30. Suppose 0 = -2*t + t - 2*y + 1, -4*t + a*y = -17. Solve t*h = -0*h + 9 for h.
3
Let g = 59 + -55. Let u(q) = -q**3 + 26*q**2 + 26*q + 27. Let m be u(27). Solve 2*w + g + 6 = m for w.
-5
Let l = -10 + 14. Suppose -18 - 22 = l*f. Let u = -7 - f. Solve -z = -u*z for z.
0
Suppose -2*m - y = -65 + 27, -3*m = -4*y - 46. Suppose -4*c - 2*d = 0, c - 2*d + m = -7*d. Solve c*k = k - 1 for k.
-1
Let y = 446 - 442. Solve -y*x - 9 = -x for x.
-3
Suppose 3*o - c - 39 = 0, -2*o + 5*c = -6 - 7. Let s(i) = -8*i + 33. Let m be s(4). Suppose 3*t - o = m. Solve 0*g + 25 = t*g for g.
5
Suppose 3*t - 206 = -4*f + 181, 3*t = -9. Solve 0 = -101*w + f*w + 10 for w.
5
Let k = -2 + 4. Suppose -6 = -4*o + k*o. Solve 2*r = 3*r + o for r.
-3
Let x be -2*(-2)/(-4)*-6. Suppose 5*k - 16 = k. Solve r + x = k*r for r.
2
Let a = 102 - 99. Solve a = l + 1 for l.
2
Let y = -85 + 98. Suppose -4 = -4*u + f, -3*f + 1 = 2*u + y. Solve u = 2*w + w for w.
0
Let a(f) = f**3 - 4*f**2 - 1. Let z be a(4). Let x(n) = -12*n**2 - n + 1. Let j be x(z). Let d be (-55)/j - 1/2. Solve -11 = d*b - 1 for b.
-2
Let c = 612 + -588. Solve -13*v = -c*v - 44 for v.
-4
Suppose -4*s + 13 = k, 4*k - 5*s - 14 = -4. Suppose 38 = k*v - 62. Solve -5*c + 5 = v for c.
-3
Suppose 10*m = 13*m - 81. Let w(g) = g**3 + 10*g**2 + 8*g - 5. Let o be w(-9). Solve -7 + m = -o*p for p.
-5
Suppose 4*h - 4*z - 19 = 5, 0 = -5*h + 3*z + 22. Let u(l) = 3*l**2 - 1. Let j be u(-1). Suppose 4*w = j*n - n - 13, n - 2*w - 9 = 0. Solve -h*p = n + 1 for p.
-3
Let t be 0/(-5 + (4 - 0)). Let v be (-1 - 3) + (t - -7). Solve v*i = -i - 16 for i.
-4
Let r be ((-4)/(-6))/(44/2970). Let q(b) = -b**2 - 3*b + 4. Let w be q(-3). Suppose w*c = r + 3. Solve 3 + c = -3*h for h.
-5
Let z be (-5 + -162)/((-3)/6 + 0). Solve -z*j + 331*j = 9 for j.
-3
Let c = -29 - -35. Let i be c/(-2) - 36/(-12). Solve -4*a + 19 + 1 = i for a.
5
Let u(f) be the first derivative of f**3/3 - 3*f**2 - 6. Let c be u(6). Solve c = -3*t - 0*t + 6 for t.
2
Suppose -13 + 15 = n. Suppose -2*u + 8 = n*v, 3*u + 2*u + 2*v - 32 = 0. Solve 2*d - u = 6*d for d.
-2
Let v = 363 - 357. Solve -v*w + 18 = 3*w for w.
2
Suppose 35 = 32*c - 29. Let w be 0 - ((-10)/(-1))/(-2). Suppose w = -u + 6*u. Solve 0 = -c*n + 1 + u for n.
1
Suppose 0 = -5*p, -17*y = -20*y - 4*p. Solve 0 = -13*b - y*b + 13 for b.
1
Let u = -11 + 12. Let q(j) = 16*j - 11*j + 5*j - 2 + 1. Let z be q(u). Solve 2*n + n = z for n.
3
Let k(j) be the third derivative of 0*j + 1/6*j**3 + 3*j**2 + 1/4*j**4 + 0. Let g be k(4). Solve 0*p + 5*p = -g for p.
-5
Suppose -5*g = 3 - 8, 0 = -4*z + 5*g + 15. Solve -12*p + z*p + 28 = 0 for p.
4
Suppose 2*h = 4*z + 12, -7 - 7 = -2*h + 3*z. Suppose 18*l + h = 20*l. Suppose -3*x = -2*u + 13, 0 = l*x - 2*x + 9. Solve u*c = -12 + 2 for c.
-5
Suppose f = c, 4*c - f = -1 - 11. Let v be (-2)/(-8) + 1/(c/(-7)). Solve 0*d = -v*d for d.
0
Let f be (-12 - -13)*(1 + -1). Let k(u) = 4*u**2. Let s be k(-1). Suppose -5*g + s*g + 2 = f. Solve 2*p - 12 + g = 0 for p.
5
Let u(y) = 3*y + 12. Let c = 69 + -73. Let h be u(c). Solve 0 = -h*o - 5*o - 15 for o.
-3
Let w(h) = h**3 + 6*h**2 - 7*h - 22. Let z be w(-6). Solve -z = 15*v - 5*v for v.
-2
Let i(y) = -y + 20. Let h be i(-10). Suppose 7*l + 16 = h. Solve -l*a = -0 - 4 for a.
2
Let v be 14/(-49) - (-58)/7. Let c(o) = -11 + 8 + v + o. Let x be c(-3). Solve -x*p = -3*p + 2 for p.
2
Let s(i) = 2*i**2 + 5*i + 6. Let o be s(-4). Suppose -v = -4*a + o, -2*v - 4 = -a - 3. Suppose v*p = 6*p. Solve -k - 3*k - 12 = p for k.
-3
Suppose g = -5*l + 10, l = -4*g - 0*l + 2. Let r be 3/1*(1 - g). Solve r*j + 1 + 5 = 0 for j.
-2
Let z = 2 - 0. Suppose -3*r = -0*r + 4*g - 267, z*g - 6 = 0. Let m be (-33)/(-5) + 34/r. Solve -2*f + m*f = 0 for f.
0
Let q(d) = -3*d - 10. Let i be (-2 - 2) + -2 + 1. Let t be q(i). Suppose -3*m = 5*c + 14 - 48, 0 = -t*m + 2*c + 5. Solve m*g - 7 - 2 = 0 for g.
3
Suppose -5*t = -0*t + t. Solve t = 2*n - 4*n - 8 for n.
-4
Let q(d) = -3*d + 25. Let v be q(10). Let y be ((-72)/(-30))/((-2)/v). Solve y*g + 2 = 8*g for g.
1
Let a = 69 - 51. Suppose 24 = -a*r + 21*r. Solve -2*v = 2 + r for v.
-5
Let c be 655/(-35) + 2/(-7). Let o = -17 - c. Suppose o*k = 19 + 1. Solve -q = q - k for q.
5
Let k(g) = g**2 - 11*g + 12. Let i be k(10). Suppose -4*d + 16 = 0, 0 = 5*w - 0*w + i*d - 28. Solve 0*r - w = r for r.
-4
Suppose 168*s + 6*x = 170*s - 78, -2*s + 5*x + 69 = 0. Let k = 6 + -3. Solve s + k = 5*q for q.
3
Let y be 2 + 2 - (11 - 11). Suppose -3*s - 7 = 4*n, 0*s + 3*n + 24 = y*s. Solve 5*x - 17 = s for x.
4
Suppose -28*m + 102 = -11*m. Solve m*o - 7*o = -1 for o.
1
Let y(j) = -j**3 - 5*j**2 + 2. Let n be y(-5). Let u(s) = 2*s - n*s + s**2 - 3*s - 1 + 2*s. Let x be u(3). Solve x*b = 8 - 3 for b.
1
Suppose s = -61 + 14. Let x = -22 - s. Let w = x + -23. Solve 0 = -4*z + w + 2 for z.
1
Suppose -5*z + 136 = -4*o, -5*z - 5*o + 104 = -o. Suppose t + 2*t = -3*y + 18, -5*y + z = 3*t. Solve -4*u = -t*u + 3 for u.
-3
Let a be -2*(-22)/(-4) + -3. Let k be (-10)/a - 20/(-70). Let u be (-1)/(-2) + k/(-2). Solve u = -n + 1 for n.
1
Suppose -2*h = 3*p - 26, 3*h = -2*p + p + 4. Solve -4*q = -p*q - 6 for q.
-1
Suppose -2*z = 3*c - 0 + 2, 0 = 4*z - 4*c - 36. Suppose -z*x + 2*x + 15 = 0. Suppose b + x*i - 30 = 7, 2*b - 5*i + 1 = 0. Solve 0 = -m + 4*m - b for m.
4
Let t = -47 + 37. Let u = t - -12. Suppose u*y = 3*y. Solve 5*j = -y*j - 5 for j.
-1
Let f be (0 - -1) + (-9)/(-3). Suppose -4*l + 22 = -5*j, -l + 5*j - 2 = -5*l. Suppose q - 64 = -3*q. Solve l*r = f - q for r.
-4
Let d(k) = 2*k**2 + 7*k + 6. Let t be d(-4). Suppose 4*r + 4*g - 100 = 0, -r = -g - g - t. Suppose 5*o - r = -0*o. Solve o = w - 0 for w.
4
Let m be -1 - (-1)/2 - (-363)/6. Let k = m + -53. Solve k*r = 4*r - 15 for r.
-5
Suppose -2*a + 1 = l, 2*l + 2*a - 11 = -l. Suppose 0*m + l = 5*m. Solve -24 - m = -5*h for h.
5
Suppose 5*c - 6*c = 81. Let i = c - -81. Solve i*v + 2*v - 8 = 0 for v.
4
Let x = 1331 - 1322. Solve -3*q + x*q = 12 for q.
2
Let r be 0/(-1) + 9 + -7. Let a be -3 - 2/(-4)*6. Suppose a*m = 2*m. Solve m*f = -f - r for f.
-2
Let a(g) = 5*g - 3*g**2 + 3*g**3 - 5*g**3 + g**3 + 4. Let c be a(-4). Suppose 5*h = c, -2*q = 2*q - 5*h - 4. Solve 0 = 2*k - q - 5 for k.
3
Let p(u) = 18*u**2 + 71*u + 70. Let t be p(-1). Solve -3*o = 20 - t for o.
-1
Suppose k + 23 = 2*y + 16, 4*y - 11 = 5*k. Solve -y*m = -10*m - 18 for m.
-3
Let d = -2 - -1. Let l be (1/d)/((-1)/11). Let m = -13 - -14. Solve -m = 3*w + l for w.
-4
Let u(c) = 7*c - 58. Let p be u(10). Solve -5*f + f + p = 0 for f.
3
Let a be