 8 = -c*f + 9*f for f.
-1
Let k = 121 - -12. Let m = -130 + k. Solve -6 = -m*a + 3 for a.
3
Let c be (-4)/14 + 44/7. Suppose -3*o = -3*x + 4*x - 12, -5*o + 24 = 3*x. Let g be 3 - (-2 + c - x). Solve -g = -3*f + f for f.
1
Let f(h) = 12*h**2 + 24*h - 25. Let g be f(1). Solve 9*t = 7 + g for t.
2
Suppose 0 = 8*n - 3*n. Suppose 4 + n = 4*k. Suppose -11 = -4*q + k. Solve -13 = q*h - 1 for h.
-4
Let u = 30 + -16. Suppose a + 0*a - u = 0. Let l be 4/a + 4/(-14). Solve 0*p - 2*p = l for p.
0
Let r be ((-1368)/608)/(3/(-4)). Solve 0 = -r*b - 2*b - 20 for b.
-4
Let a = 1781 - 1741. Solve -13*q - 14 = -a for q.
2
Let p = -119 + 121. Suppose -3*h + 0*h = -24. Solve 5*t + p = -h for t.
-2
Let j(d) = -d**3 - 5*d**2 + 8*d + 4. Let i be j(-5). Let g = 8 + i. Let b be (-48)/g + (-4)/(-14). Solve 0*m = 2*m - b for m.
1
Let p be ((-18)/21)/((-9)/63). Let z(f) = f**3 - 4*f**2 - 7*f - 10. Let q be z(p). Solve 0*h - q = 4*h for h.
-5
Suppose -5 + 13 = -4*d. Let c(l) = -2*l**3 - 5*l**2 - 4*l + 2. Let i be c(d). Solve -x + i*x = 15 for x.
3
Suppose 4 = 12*j - 10*j. Let p = -2 - -2. Suppose p = -r + j*r. Solve x + r*x = 0 for x.
0
Let k(t) = t**3 - 14*t**2 - 33*t + 33. Let z be k(16). Solve -5 = 3*d - z for d.
4
Suppose -2*m + 6*m - 16 = g, -2*g + 18 = 2*m. Let f = -17 - -41. Let z be f - (0 + 2 - 0). Solve -3 - z = m*p for p.
-5
Let p = -827 - -827. Solve -25*w + 22*w - 6 = p for w.
-2
Suppose -4*u + 3*n - 10 = u, -2*u = -3*n + 4. Let x be 1 - u - (3 - 3). Solve -2*t + x = -7 for t.
5
Let k(y) be the first derivative of -y**3/3 + 11*y**2/2 - 8*y + 4. Let b be k(8). Suppose -5*j = -14 - b. Solve 4*r - j = -18 for r.
-3
Let p(i) = -i**3 + 6*i**2 - 4*i - 2. Let f = 31 + -26. Let r be p(f). Solve 5 = -4*k - r for k.
-2
Let b(f) = -f**3 - 2*f**2 + 6*f - 6. Let k(s) = s**2 + 12*s - 32. Let l be k(-14). Let u be b(l). Solve u*r = -2*r for r.
0
Let o(u) = u**2 + 7*u + 6. Let z be o(-6). Solve -2*v - 2 = -z*v for v.
-1
Let m = -599 - -607. Solve -m*i - 24 = -2*i for i.
-4
Let r(w) = -w**3 - 3*w**2 + w. Let b(c) = -c**2 + 3*c. Let t be b(4). Let f be r(t). Solve 5*l - 3 = f for l.
3
Let t(y) = -15*y**3 - y + 1. Let v = 12 + -11. Let a be t(v). Let b = 35 + a. Solve -b = 3*f - 8 for f.
-4
Let d be (1 - -5)/3 - 0. Let p(c) = -c**2 + 60*c + 334. Let g be p(65). Solve g*m = 10*m + d for m.
-2
Suppose f + 0*f = -138. Let n = -133 - f. Solve n = 3*c - 1 for c.
2
Let v = -393 - -405. Solve -5*k = -v*k - 28 for k.
-4
Suppose -4*b - b = 4*g - 21, -3*g - 23 = -4*b. Suppose 0 = 8*d - 3*d - b*x - 10, -x = 4*d - 33. Solve -9 = -4*q + d for q.
4
Let w(a) be the first derivative of -a**5/120 + a**4/24 - a**3 + 4. Let h(s) be the third derivative of w(s). Let c be h(1). Solve c*m - m = -1 for m.
1
Let f(t) be the first derivative of -t**4 - t**3/3 - t**2/2 - t + 5. Let x be f(-1). Solve 8*k + 15 = x*k for k.
-3
Suppose -12*q = 293 - 413. Solve -5*y + q = 20 for y.
-2
Let h be (21 - 25) + (9 - 0). Suppose -5*n - 5*l = 5, -l - 1 = -h*n + 18. Let t be 4/(-2)*(-5)/2. Solve -t = -n*o + 10 for o.
5
Let k(l) = l**3 + 7*l**2 - 4. Let m be k(-7). Let t be (-10)/m*6/5. Let u(b) = -2*b + 14. Let d be u(5). Solve d*r = t*r + 1 for r.
1
Let d(x) = 2*x**2 + 33*x + 9. Let w be d(-17). Solve 24*z - w*z + 6 = 0 for z.
3
Let v be (28/4 - 1) + -4. Let z be 14*1/v*1. Let s be z - (-7)/((-7)/(-2)). Solve -16 - s = 5*h for h.
-5
Suppose -4*j - 3*f - 2 = 0, -6*f + 2*f - 6 = 2*j. Let k = 1 + 0. Suppose 9 = 5*n - k. Solve n = u + j for u.
1
Let l(q) = 53*q - 564. Let h be l(11). Let g(n) = -n**2 + 6*n - 5. Let i be g(4). Solve -i*v + h = 4 for v.
5
Suppose 2*x - 4*x = 30. Let v = 12 + x. Let o be 3/(-6 - v)*-2. Solve w + o = -0*w for w.
-2
Let b be 4/(-18) + (90/81)/5. Solve -m + b = 1 for m.
-1
Let z = 35 + -29. Let f = z - 5. Solve i - f = -0*i for i.
1
Let d = 46 + -42. Suppose -4*n + 8 = 2*f, -4*f - 5*n - 11 = -5*f. Solve -d*o + 7*o = f for o.
2
Suppose 5*v - 25 = -3*t - 2*t, t = 5*v - 13. Suppose 76 = 4*x - v*r - r, 3*r + 9 = 0. Suppose -x = i - 5*i. Solve -4*w + i + 12 = 0 for w.
4
Suppose 0 = p + 4*n - 19, -3*n = -2 - 4. Let z = p - 10. Let m be z + 0 - (-5 + 4). Solve -2*a = -4 + m for a.
1
Suppose 3*g = c + 2047, 2*c + 3*c = -g + 709. Solve -689*r + g*r = -15 for r.
3
Let q be (-2)/(-6) - (416/78 + -8). Suppose 3*r - 47 + 3 = -4*n, 4*r - 12 = 4*n. Solve -r + 5 = -q*x for x.
1
Suppose -n - 114 + 114 = 0. Solve -t + 1 + 3 = n for t.
4
Let h(u) = -u**2 - 11*u + 4. Let r be h(-11). Solve 5 = -9*n + r*n for n.
-1
Suppose -3*s = -7*s + 16. Let o be 2/(-7) + 220/35. Suppose -s*k = -o*k. Solve -4 = 4*q - k*q for q.
-1
Suppose 0 = 2*v + 4*q + 16, -3*q - 4 = v - 2*q. Solve -4*y = -v*y for y.
0
Let w be 8 - ((-7)/(-3) + 80/(-60)). Solve -11*b + w*b = 12 for b.
-3
Let j be 42/2 + 40/(-20). Solve j = f + 17 for f.
2
Suppose 0 = q - u + 5*u - 21, -4*q = u - 84. Let w(c) = c**2 + 4*c - 1. Let r be w(-5). Solve 0 = r*a - q + 5 for a.
4
Let h be 4 - (-1 - (-2)/2). Suppose 5*g - 5 = 5*s, -g + h*s = 2*g. Suppose 0 = 3*v - g - 5. Solve -2*z + z = -v for z.
3
Let n(m) = m + 9. Let v be n(-7). Suppose -v*h - 2*r + 12 = 2, 5*h - 3*r - 9 = 0. Suppose -h*w + 19 = 10. Solve w = -4*b - 1 for b.
-1
Let i = -5 + 10. Suppose -i*g + g = 20. Let y = g - -6. Solve 1 = u - y for u.
2
Let r(a) = a + 3. Let z(f) = 2*f + 5. Let d(b) = 11*r(b) - 6*z(b). Let j be d(3). Let t be 78/9 - 1/(-3). Solve -5*u - t - 11 = j for u.
-4
Let s be (-4*(-2)/(-10))/(2/(-5)). Suppose 145 = -s*r + 149. Solve 0*i - 2*i + r = 0 for i.
1
Let l(c) be the first derivative of c**4/4 - 14*c**3/3 - 15*c**2/2 + 5*c + 7. Let q be (4 - 4/2)*15/2. Let m be l(q). Solve 11 = -m*z + 36 for z.
5
Suppose 4*x = -3*o + 12, -2*x = 5*o + 2*x - 12. Solve o = 3*b - 2*b for b.
0
Suppose -5*d = -5*q - 40, -d + 2*q = -2*q - 23. Suppose d*g = -7*g + 130. Solve 5*p + g = 3 for p.
-2
Let x(m) be the second derivative of 5/6*m**3 + 0*m**2 + 1/20*m**5 + 7*m - 1/2*m**4 + 0. Let n be x(5). Solve -3*p + 0*p = n for p.
0
Let k(t) = -9*t + 153. Let v be k(17). Solve -3*l + 21 - 15 = v for l.
2
Let x(c) be the third derivative of -c**5/30 + 11*c**4/6 + 5*c**3/6 + 13*c**2. Let u be x(22). Solve -u*j + 6 = -19 for j.
5
Let i(u) = -u**3 + 4*u**2 + 5*u + 3. Let j be i(5). Let d be (-8)/(-4) + (-2)/1. Suppose -3*r + 2 = 4*o, -2*r + 2*o + 20 = -d*r. Solve r = -j*x - 0*x for x.
-2
Let y = 1 + 1. Suppose v = 2*v + 13. Let t = v + 17. Solve q - y*q = t for q.
-4
Let t(v) = -3*v - 1. Let z(s) = -s + 1. Let h be z(1). Suppose h*x = 3*x + 3. Let k be t(x). Solve k*w - 4 = -2*w for w.
1
Let a(n) = n**2 - 6*n - 11. Suppose 2*h = 2*u - 8, -2*u + 6*u - 40 = -2*h. Let f be a(u). Suppose 9*s - 8 = f*s. Solve -s*p + 1 = 3 for p.
-1
Let u(l) = -4*l + 27. Let n be u(4). Solve 0 = -5*d - n - 9 for d.
-4
Let k = 2 - 18. Let a be k/56 + 46/14. Solve 2*v = -1 - a for v.
-2
Let y be (15/(-6))/(-15*4/432). Solve y*c - 22*c = 0 for c.
0
Let o be (-56)/21*90/(-40). Solve 0 = c + 1 - o for c.
5
Suppose 2*c - 5*n = 31, -4*c = -7*n + 2*n - 37. Solve -3*y - c = 3 for y.
-2
Let q be 2/22 - 23/253. Suppose o + 2*o - 9 = 0. Suppose -4*n - 2*p = -22, 4*n - o*p + 2 = -1. Solve -s + q = n for s.
-3
Suppose 3*p - 6*j - 111 = -2*j, 3*j + 174 = 5*p. Let z = p + -19. Solve 2*d + 6 = z for d.
4
Let y be ((-4)/2)/((-7)/49). Let o be (-4)/y - (-148)/28. Solve -o*q + 11 = 1 for q.
2
Let j = 1601 + -1546. Solve 38*s - 27*s = -j for s.
-5
Let t be -12*-2*2/12. Suppose -7 = -t*j + 21. Suppose x - 13 = -9. Solve -j = x*r + 1 for r.
-2
Let j(c) = -c**2 - 11*c + 46. Let a be j(-14). Solve -a*i - 20 = -0 for i.
-5
Suppose 3*i = k - 50, 60 = -5*i + 2*k - 24. Suppose q - 2*f = -1, -q - 13 = -0*q + f. Let z = q - i. Solve 3*y + z = -5 for y.
-4
Let i be 7/(7/27) + -1. Let r = -25 + i. Solve 5 = -u + r for u.
-4
Suppose 226*h - 99 = 217*h. Suppose 3*x - 12 = -x. Solve -x*c + 2 = h for c.
-3
Suppose 2*v - 12 = -2*v. Suppose s + 3 = -2*c - v*c, 3*s + 9 = 3*c. Let n = s + 3. Solve 2*x + n*x + 6 = 0 for x.
-3
Let c = -22 - -32. Let t(i) = -i + 12. Let x be t(c). Solve s = -5 + x for s.
-3
Suppose -3*f - 5*n = -46, -3*n - 26 - 11 = -2*f. Suppose 3*w = -f + 38. Solve -w*x = -3*x for x.
0
Suppose w - 3 = -0*w. Let j(p) = -127*p - 16 - p**2 + 66*p + 70*p. Let o be j(3). Solve -w = o*r + 3 for r.
-3
Suppose -2*f = 7 + 53. Let b be ((-4)/(-5))/((-4)/f). Solve 