r c.
-5
Let a(g) = 2*g + 12. Let n be (-2)/6 - 69/9. Let b be a(n). Let y = 1 - b. Solve 0 = -2*k + y*k for k.
0
Suppose 3*m + 3*n + 13 - 55 = 0, 5*m = 3*n + 46. Solve 4 + 7 = -m*t for t.
-1
Let g be (7 + 4/(-2))*(-12)/(-6). Solve g = -3*w + w for w.
-5
Let p(o) = o**3 - 12 - o**2 - o**2 - 2*o**2. Let w be p(5). Let f = -13 + w. Solve -2 = -f*g - 2*g for g.
1
Let a(w) = 8*w - 3. Let z be a(2). Suppose 4 = -2*c + 3*c. Suppose -c*o = 16, 3*b - 2*o - 16 - 1 = 0. Solve -b*y + z = 4 for y.
3
Suppose 0 = g - 4*p - 8, p = -2*g - 0*g - 2. Suppose g = -b + d + 1, 2*d + 2 = -0*b + 5*b. Solve 3*a + 0*a - 3 = b for a.
1
Let i(g) = g**3 - g**2 - g + 41. Let l be i(0). Let z = 49 - l. Solve 2*r + z = -0 for r.
-4
Suppose -3*c - 2*k = -12 - 77, 0 = 5*c + 3*k - 147. Suppose 5*u + 3*y = c, 4*y + 7 = u + 3*y. Let o be (-2)/3*(-27)/u. Solve o = 5*n + 23 for n.
-4
Suppose 4*a - 16 = 4*b, -4*a + 16 = -b - 0. Solve -10 = 9*w - a*w for w.
-2
Suppose -2*x + 5*t = 2, -5*t = -4*x - 0*t + 6. Let h(n) = -15*n**2 - 4*n + 16*n**2 - x - n. Let j be h(6). Solve 0 + j = p for p.
2
Suppose -4*d - 12 - 5 = i, 15 = -3*d. Suppose s = i*s - 2. Solve -5*w - s = 4 for w.
-1
Let l(b) = -b**3 - b**2 - 3*b - 5. Let j be l(-2). Suppose j*n + 100 = 3*d, -2*n - 42 = -5*d + 93. Solve -4*c - c = -d for c.
5
Suppose 17*o + 112 - 248 = 0. Solve -15*t + o = -17*t for t.
-4
Let c = -247 - -248. Solve -x = -2 + c for x.
1
Let f be (50/(-15) - -4)/((-2)/(-12)). Solve -5*z + f = -7*z for z.
-2
Suppose -5*d + 222 = 4*x, -4*x = -3*d - 175 - 63. Let l = x + -58. Solve 4 = k - l for k.
4
Let v(d) = -d - 4. Let w be v(-6). Let o(h) be the first derivative of h**3/3 - h**2/2 + 1. Let m be o(w). Solve m*n - n = 0 for n.
0
Suppose -4*x - 1 = -13. Suppose p + 6 = x*y, -6 = 5*p - y - 2*y. Let k = 23435 - 23433. Solve p = h + k for h.
-2
Let o(b) = -3*b - 63. Let x be o(-22). Let j(l) = l + 1. Let g be j(-1). Solve x*m = -g*m for m.
0
Let l(m) = -3*m + 9. Let k be l(3). Suppose 2*n + 0*f - 4*f + 8 = 0, k = 4*n - 3*f + 6. Solve 0 = -n*q - 5*q + 10 for q.
2
Suppose 89*w + 8 = 93*w. Let p(v) = v**2 + v + 2. Let x be p(-2). Suppose s = -x*s + 15. Solve w*t - s = -5 for t.
-1
Let d(l) = -l**3 - 9*l**2 - 18*l + 4. Let u be d(-3). Suppose 3 = n - 2. Solve u*r + 11 = -n for r.
-4
Let i = -6 + 13. Suppose -u - 3 = -i. Suppose u*q = -q + 90. Solve 2 - q = -4*j for j.
4
Let b(p) = p**3 - 6*p**2 - 2*p + 16. Let f be b(6). Solve -f*a + 14 = -2 for a.
4
Suppose -k = 4, 3*z + 5*k = 2*z - 18. Solve -5 = z*l - 1 for l.
-2
Let l = -49 + 63. Solve -5*m = l + 6 for m.
-4
Let z be 2/(-6) + 56/6. Suppose 0 = o - z*o + 32. Solve o*l = -0 - 4 for l.
-1
Let u(x) = 5*x**2 + 19*x + 20. Let k be u(-1). Solve -k + 11 = -s for s.
-5
Let a be (-24)/8*(0 + -1). Suppose -a*y - 4*h = -2*y + 13, 19 = -5*y + 3*h. Let v be 1 - (2 + y)/(-3). Solve -2*b + 2 - 8 = v for b.
-3
Let l = -7 - -6. Let i(k) be the third derivative of -k**6/15 + k**5/60 + k**4/24 + k**3/6 + 11*k**2. Let o be i(l). Solve 5*u - o = 16 for u.
5
Suppose -24*u + 23*u + 34 = 0. Solve 36*b + 6 = u*b for b.
-3
Let z(k) = 2*k**3 - 14*k**2 + 5*k - 6. Let l be z(7). Let w = l - 27. Solve w = b - 1 for b.
3
Suppose 0 = -g - 54 + 92. Solve -3*h - g + 23 = 0 for h.
-5
Suppose -5*m + 15 = -30. Let r(b) = -7 - 4*b**2 + m*b**2 + b**3 + 5*b - 13*b. Let a be r(-6). Solve -2 = -a*i - 12 for i.
-2
Let b = -549 + 570. Solve 7 = -14*k + b for k.
1
Suppose -6 = 3*h - 5*h. Suppose -w + 2*w = 0, 3*w = r - 3. Let g = -71515 + 71515. Solve -4*s + h*s - r = g for s.
-3
Suppose -2*q + q = 3, 2*s - 13 = 3*q. Let p be ((-5)/30)/(s/(-12)) - 0. Solve -4*h = -p + 13 for h.
-3
Let u(x) = x**2 - 32*x + 6. Let g be u(32). Solve 6 = g*d + 36 for d.
-5
Let j = -654 + 658. Solve j*p + 7 = 23 for p.
4
Let w(s) be the first derivative of s**3/3 + 9*s**2/2 - 8*s - 8. Let m be w(-10). Suppose -t + m*g + 4 - 8 = 0, 2*t = 2*g. Solve -6 = t*z + 10 for z.
-4
Suppose 0 = 6*z - 5*z + 3*q - 12, 0 = -3*z - 2*q + 22. Solve -z = n - 8 for n.
2
Let f be ((-4)/(-2) - 2)/(-1). Suppose f = -3*t - t + 12. Suppose 21*c + 525 = 609. Solve -c*i + t*i = 5 for i.
-5
Let q(h) = 10*h - 15. Let k be q(2). Solve 6*j + k + 25 = 0 for j.
-5
Let z be (-2)/3 - (-358)/6*1. Let i = z + -55. Solve 0 = j - 5*j + i for j.
1
Suppose 7*z = -10 + 45. Solve z*c = -c for c.
0
Let a be (-159)/(-33) - (-14)/77. Suppose a*y - 4 = 4*h, 2*h = -2*h + 16. Suppose -3*i - 21 = -3*f - 6, f + 10 = -2*i. Solve -y*s + f = 8 for s.
-2
Let z be (-6 - -4 - 4)*2/(-3). Suppose -4*f + 58 = 2. Suppose -4 = 5*s - f. Solve z*i - s*i = 6 for i.
3
Let r = 668 - 665. Solve 4*s = r*s + 2 for s.
2
Suppose 0 = -3*v - 0*v - 6. Let d(s) = 4*s**2 + 14*s + 7. Let l(r) = r**2 + 5*r + 2. Let y(o) = v*d(o) + 7*l(o). Let c be y(7). Solve c = -q - 2*q + 6 for q.
2
Suppose 3*u + 2*u - 28 = y, 0 = -y - 3. Suppose -u*w + k + 77 = 0, 4*w + 4*k = -0*k + 76. Solve -3*m = 1 - w for m.
5
Suppose 16*v + 40 = 20*v. Suppose 0 = t - v + 7. Solve -2 = y - t for y.
1
Let k(y) = y**3 + 9*y**2 + 8*y + 3. Let x be k(-8). Let s = 5 - x. Suppose 5 = 5*h + 4*o - 3*o, 0 = s*h - 3*o + 15. Solve 3*a + h*a = -9 for a.
-3
Suppose -930*q = -933*q - 21. Let t be 38/(-6) + 4/(-6). Let s = q - t. Solve -5*o - 2 + 7 = s for o.
1
Suppose 0 = 19*i - 16*i - 360. Let g = 135 - i. Solve 3*p + 0 = g for p.
5
Let t(b) = 2*b**2 - 6*b + 2. Let f be t(3). Solve 0 = f*p + 2*p - 20 for p.
5
Suppose 10 = -5*s + 30. Let m = -4 + 9. Suppose m*y = 2 + 23. Solve s*b - 17 + y = 0 for b.
3
Let l(g) = -4*g + 117. Let u be l(28). Solve -2*b + 1 - u = 0 for b.
-2
Let q be 1270/(-15) + (-3)/18*-4. Let c be q/(-20) + (-2)/10 - 4. Solve -4 = -l - c*l for l.
4
Let j(h) = -h + 7. Let x be j(5). Suppose 0*y - 15 = 5*y + 2*o, 0 = -2*y - 5*o - 27. Let f = 4 + y. Solve 0 = x*q - 5 - f for q.
4
Suppose 5*o - 3 = -h - h, -6 = -o + 5*h. Let w(j) = 5*j**3 + j - 2. Let t be w(o). Solve -2*l - t = -3*l for l.
4
Suppose -14 = -2*q + g, -5*q = 3*g - g - 26. Solve q*x = -3*x + 36 for x.
4
Let f = 55 + -71. Let q = 21 + f. Solve -q*u + 20 = -10*u for u.
-4
Suppose 16*k - 117 = 3*k. Solve 0 = -2*o - 1 - k for o.
-5
Suppose 0*d - 3*d = -15. Suppose -3*h + 3*i = 2*h - 16, -3*i + 2 = 4*h. Suppose 3*r = -6, 2*b - 30 = -h*b + 5*r. Solve b*c = 30 - d for c.
5
Let n = -32 + 36. Suppose n*m - 34 = 6. Solve -22 + m = 4*u for u.
-3
Let z = 42 - 22. Solve 1 + z = 7*h for h.
3
Let g(p) = -p**3 + 13*p**2 + 13*p + 14. Let z be g(14). Suppose n - 3 + 0 = z. Let y be (n - 2)/((-9)/(-27)). Solve 5*q = -y + 18 for q.
3
Let x be 242*(20/(-4))/10. Let g = -115 - x. Solve -g*m - 8 = -4*m for m.
-4
Suppose 0 = 9*c + 3*c - 84. Solve 11 = 6*d - c for d.
3
Let n(p) = -p**3 - p**2 + 4*p + 5. Let r = -23 + 21. Let m be n(r). Solve m = y - 2 for y.
3
Let y be ((-1)/3)/((-12)/(-288)). Let w be ((-12)/y)/(54/(-20) + 3). Solve 0 = a - w for a.
5
Let k be (-4)/((-168)/198) + (-2)/(-7). Solve k*m = m for m.
0
Suppose 0 = 5*p + 4*o - 150, 0 = -5*p + 4*o - o + 115. Solve 21*v - p*v + 10 = 0 for v.
2
Suppose -y = 3*n - 16, -y - y = -2*n. Suppose 2*c + n*c = 0. Solve r + c = 3 for r.
3
Let j = -2014 - -2036. Solve 19*n + 15 = j*n for n.
5
Let k = -61 - -67. Let z be (-10 - (1 - 5))/(k/(-4)). Solve -z*y - 11 - 1 = 0 for y.
-3
Suppose 3*h = -0 + 12. Let y be 6 - (-2)/h*-2. Suppose 3 = d - 5*o, 2*o + 61 = 416*d - 411*d. Solve 2*p - d + y = 0 for p.
4
Let z = 93 + -77. Suppose -2*k - 2*c + z + 18 = 0, -c + 65 = 4*k. Solve 3*p + p + k = 0 for p.
-4
Suppose -15 = 9*p - 12*p, 0 = s + 3*p - 35. Solve s = 23*g - 19*g for g.
5
Suppose -34 + 2 = -8*y. Suppose 13*z - 36 = y*z. Solve 2*s = 4 + z for s.
4
Let c = 11 + -11. Let q = c + 2. Suppose -s + 0 = -q. Solve -s*l + 10 = -4*l for l.
-5
Suppose 0 = -5*i + 3*k + 4, 10 = 3*i + 2*k - 0. Solve -i*a - 10 = -12*a for a.
1
Let h = 22 + -16. Suppose -10 = -h*i + i, -78 = -4*b - 3*i. Let o = b + -18. Solve o = 5*l + 30 - 5 for l.
-5
Let k = -456 - -465. Solve 8 - k = -n for n.
1
Let t = 212 + -200. Solve t - 15 = n for n.
-3
Let l(s) = -s + 9. Suppose 3*w = 5*w + 5*r + 7, -w - 5*r = 1. Let p be l(w). Solve 6 = 3*k + p for k.
-3
Suppose -4*m - 5*q = -2*m - 5, 5*m = 2*q - 2. Suppose m*p + 42 = -2*p. Let a = p - -26. Solve -s - 2 = -a for s.
3
Let z be (-9)/(-12) + 26/8. Suppose 24 = 5*v + 4*a, -z*v - 2*a = 3*a - 21. Suppose 24 - v = b. Solve -b = 3*u + u for u.