 Let x be p(f). Solve -x*r = r for r.
0
Suppose -5*k = k - 534. Let v = 94 - k. Solve 2*y - 1 = -v for y.
-2
Let o = -778 + 780. Solve 12 = 2*c + o for c.
5
Suppose -1617 = -47*z - 2*z. Solve -3 = 9*c + z for c.
-4
Suppose 4*c - 201 = 4*t - 205, -3*c - 4 = -4*t. Solve c = 3*w + 4*w - 28 for w.
4
Let u(a) = -a + 1. Let v(z) = -z. Let y(w) = u(w) - 2*v(w). Let h be y(2). Let l(s) = s**3 - s**2 + 7*s - 6. Let d be l(1). Solve 0 = -2*k - d + h for k.
1
Let g = -436 - -440. Solve -2*m = g*m for m.
0
Suppose 9*s - 31 = 14. Let h be (-4 + 2)/((-1)/s). Solve 5*r + 0*r - h = 0 for r.
2
Suppose -6*k + 18 + 12 = 0. Suppose -k*r = 4 - 14. Suppose -4*b = 0, 5*y = -7*b + r*b + 15. Solve -2*f - y = -5*f for f.
1
Let u be -1 + -1 + 2 + 0. Suppose 3*k - 37 = 5*d, 5*k = -3*d - 20 + 25. Solve k*q + u*q = -16 for q.
-4
Let h(m) = -34*m**3 + 26*m**2 + 27*m + 1. Let q be h(-1). Solve -x - q + 37 = 0 for x.
3
Let t(n) = n + 4. Let o be t(3). Suppose 8*d = o*d. Let p(h) = h + 10. Let c be p(-7). Solve c*m = -9 - d for m.
-3
Let p(u) be the second derivative of -5*u**3/6 - u**2 - 10*u. Let h be p(-1). Suppose 0 = -5*r + 2*d - d + 15, 3*r - h*d - 21 = 0. Solve r = -x - 3 for x.
-5
Let h be (-1 + (-1)/(-4))/((-36)/144). Let z be (6/10)/(1/5). Suppose z = h*p - 3. Solve 4 = -p*w + 4*w for w.
2
Suppose -4*w + 15 = k, 4*w - 6 = -0*k + 2*k. Suppose w*r = 4*r - 6. Solve r = 5*s - 3*s for s.
3
Let n be (-3 - -2)*(7 + -12). Suppose g = 7 + 2. Solve -n*t = g - 4 for t.
-1
Suppose -5*r = -23 - 52. Let c be (-16)/2*r/(-120). Solve 0 = x + c for x.
-1
Let p = -374 + 378. Solve p*d = -d for d.
0
Suppose 8 = -3*d - 16. Let r be (-3 + -5)/(2/d). Suppose r = 3*c + 5*t, -3*c + 4*t + 20 = 6*t. Solve 0*w + 20 = -c*w for w.
-5
Let f(z) = z**3 + z + 20. Let w be f(0). Suppose 0 = -7*n + 12*n - w. Solve b - 5*b = n for b.
-1
Let c = 13 - 11. Let r(f) = -f**2 - 16*f + 17. Let b be r(-17). Let i be b/1*2/4. Solve -2*n - c*n + 16 = i for n.
4
Let t = 17 + -14. Let o(x) = 3*x**2 - 3*x - 3. Let z be o(t). Let a = 18 - z. Solve -6*l - 12 = -a*l for l.
-4
Let j = 56 - 56. Let l be ((-8)/6)/(-4 - j)*3. Solve 5 + l = -3*y for y.
-2
Let s(r) = -r**3 - 20*r**2 - 20*r - 14. Let l be s(-19). Suppose 4*v - 5*v + 7 = 0. Suppose -5*j + y = -18, 4*j + 3 = -y + 12. Solve 0 = j*n - l - v for n.
4
Let c = 6 + 1. Let a = -4 + c. Solve 0 = -a*k - 3 + 6 for k.
1
Let b(p) = -2 - 2*p**2 + 4*p**2 - 5*p**2 + 5*p + 2*p**2. Let c be b(4). Suppose 9 = c*f - n, -21 = -3*f + 2*n + 2*n. Solve 0*s - f*s = -12 for s.
4
Let w(s) = s**3 - 31*s**2 - 35*s + 99. Let b be w(32). Solve b*a = 2*a + 4 for a.
4
Let o be -1*(-51 + 8 - -8). Solve 4*a + o = 11*a for a.
5
Let x(f) = 2*f**2 - 3*f - 1. Let r be x(-1). Suppose 6 = -r*n + 14. Solve -n*b = 3 - 1 for b.
-1
Let b be 5/(10/22) + 5 + -1. Solve x + 12 = b for x.
3
Suppose 41*m = 46*m. Solve 4*d + 7 - 11 = m for d.
1
Let d(f) = -18*f + 22. Let z be d(1). Solve 33*u - 35*u = z for u.
-2
Suppose 2*o = -2*f, 32 = 3*f + 2*f - 3*o. Suppose 26 = f*z + 9*z. Solve -w = z*w for w.
0
Let f be (-1)/(156/(-30) + (1 - -4)). Solve f*l - 3 = -8 for l.
-1
Suppose 4*z + 5*m + 60 = 0, -75 = 5*z - 0*m + 2*m. Let l = z - -21. Let d be (-1)/2*(l + -8). Solve 2*u - d = 3 for u.
2
Suppose -5*k + 739 = -4*t, 3*k - 433 = -t + 6*t. Solve -k*m + 154*m = -6 for m.
-2
Let f = -18 + 33. Let q(w) = -f - w + 5 + 12*w - w**2. Let s be q(9). Solve -2*n = -2 + s for n.
-3
Let w(b) = -b**3 + 10*b**2 + 11*b + 5. Let t be w(11). Suppose 29 = 3*p - f + 2*f, t*p + 2*f = 50. Solve q + q = p for q.
4
Let l = -65 + 67. Suppose -l*j = 3*p - j - 16, 0 = -3*j + 3. Solve -p*d + 0 = -5 for d.
1
Let n(h) be the third derivative of h**6/120 + h**5/12 - h**4/24 + h**3/6 + 2*h**2. Let v be ((-3)/6)/(1/10). Let m be n(v). Solve -2*c - m = -5*c for c.
2
Suppose -a - 4*z + 15 = 0, -6*a + 2*a - z = -15. Solve 6*p + 15 = a*p for p.
-5
Let f(g) be the second derivative of g**4/12 - g**3 - 2*g**2 - 5*g - 3. Let d be f(7). Solve -d*l - l + 8 = 0 for l.
2
Let h = -329 - -346. Solve 0 = 4*m - 21 + h for m.
1
Suppose -4*b + 2*l = -2, 5*b - 30 = -107*l + 104*l. Solve -2*q = -0*q - b*q for q.
0
Suppose 70*g - 45 - 411 = 104. Suppose -6 = 4*c - 22. Solve c*y + 8 = -g for y.
-4
Suppose -4*i + 33 = -5*d + 5, -4 = 2*i + 2*d. Suppose i*v = -2*v. Suppose 2*p + p - 6 = 0. Solve v*k = -p*k - 8 for k.
-4
Suppose -63*i + 90 = -53*i. Solve 0 = -12*c + i*c - 3 for c.
-1
Let r(z) = 2*z**3 - 4*z**2 - 5*z + 14. Let w be r(2). Solve 2*p = 6*p + w for p.
-1
Let b(l) = l**3 - 8*l**2 + 6*l - 13. Let h be b(7). Let y = -19 - h. Solve -2*x - 1 - y = 0 for x.
-1
Let a(x) = x**3 - 9*x**2 + 52*x - 794. Let v be a(11). Let z(u) = 2*u**2 + 4*u + 3. Let y be z(-2). Solve -v = r + y*r for r.
-5
Suppose 3*f = f + 6. Suppose 0 = f*h + 14 - 20. Suppose -h*i = -3*i + 3. Solve -3 = -i*q + 12 for q.
5
Let x be 2/13 - -17*(-14)/1547. Solve 2*t - 4*t = x for t.
0
Let l(u) = 3*u - 4. Let b = -17 - -19. Let c be l(b). Solve s = -1 + c for s.
1
Let q(h) = -15*h - 89. Let w be q(-6). Suppose -3*i + 3*y + 5 = -2*y, i - y = w. Suppose -4*m = -5*f + 36, -5*m - 24 = -3*f - 2*m. Solve -f*z + z = i for z.
0
Let g = -2880 + 2880. Solve g = -2*j + 133 - 141 for j.
-4
Let d be -1*(-3)/6*0. Let i be d + (2 - 2/(-5 - -3)). Solve -i*l - 3 = 3 for l.
-2
Let j = 1276 + -1260. Solve -m + 5*m = -j for m.
-4
Suppose 8*y - 43 - 21 = 0. Suppose 0 = -4*f + 2*x + y, 0 = -x. Let r(n) = n**2 + 3*n + 4. Let d be r(-3). Solve 8 = -f*i + d for i.
-2
Let t(n) = n**2 - 4*n + 4. Suppose -2*c - 3*s + 6*s = -3, 2*c = 2*s + 4. Let o be t(c). Suppose 3*w = a + 4*w - o, -3*w = 2*a - 1. Solve b - a*b = -3 for b.
3
Let b(m) = -m + 15. Suppose 2*a - 20 = -0*a. Suppose 3*n + 2*r = 19, -2*n + 5*r + a = -9. Let q be b(n). Solve q = -0*l - 2*l for l.
-4
Suppose -2*s = 6*s - 104. Solve 0 = 4*j + 3 + s for j.
-4
Suppose -21*g = -12*g - 63. Solve u = g - 5 for u.
2
Suppose -15*g + 39 + 96 = 0. Solve 0 = -15*l - 21 - g for l.
-2
Let m = 2 + -6. Let l = -2 - m. Let k be l/4 + 30/20. Solve -4*n + 2 = -k for n.
1
Suppose 0*s = -5*s - 4*y - 163, 3*s + 3*y = -96. Let r = -26 - s. Suppose 11 = x + r. Solve -12 = -x*u - u for u.
4
Suppose 84 = -5*s - 31. Let d = -17 - s. Let g(b) = b**2 - 3*b + 2. Let w be g(d). Solve c + 3*c + w = 0 for c.
-5
Let v be (63/(-9) - -6) + 12/2. Solve -4 + 14 = -v*l for l.
-2
Let f be 12/(-10) - ((-2772)/35)/6. Solve -b - 3*b = f for b.
-3
Let r be ((-12)/(-18))/((-2)/(-3)). Let q be r/(1*1/2). Solve -q*o = -4*o + 8 for o.
4
Suppose 0 = -6*k + 6 + 12. Let c be 170/(-51)*k/(-2). Let s = -26 + 26. Solve -c = i - s*i for i.
-5
Suppose 4*l = -2*n + 15 + 3, 4*l = -n + 15. Solve -r + l*r = -8 for r.
-4
Let z(s) = 2*s - 7. Let q(a) = 2*a - 7. Let l(p) = -5*q(p) + 6*z(p). Let d be l(6). Solve d*u - 15 = 5 for u.
4
Let m = 17 + -2. Let f = -98 + 104. Suppose 0 = -10*h + 7*h + f. Solve h*l = -l - m for l.
-5
Let z(g) = g**2 - 24*g + 80. Let r be z(21). Solve r*t = 4*t for t.
0
Let n be (1 - (-5)/2) + 155/62. Solve -8*b + n*b - 2 = 0 for b.
-1
Let l = 7 + 16. Let a = 48 - 44. Suppose 9*s = -4*p + a*s + 11, 17 = 4*p - s. Solve p*d - 7 = -l for d.
-4
Let i = 319 - 281. Solve i*r + 15 = 41*r for r.
5
Let p be (6 - (4 + 1))/3*15. Solve -6*s - p = -s for s.
-1
Suppose 0*u - 34 = u - 4*y, 2*u + 95 = -y. Let x = u - -47. Solve x = -4*i - 11 for i.
-3
Suppose 124 = 25*n - 1. Solve n*w - 35 = -2*w for w.
5
Let w be 2568/152 - 2/(-19). Solve 12 = 23*o - w*o for o.
2
Let m = 2 - -1. Let r be -1 - (-3*(-4)/(-6) - 3). Solve -r*v - 23 = -m for v.
-5
Let x = -1999 + 2022. Solve 24 = x*c - 17*c for c.
4
Let y(r) = -3*r + 19. Let m be y(6). Suppose 3*a = -u + 7 - m, -4*u + 3*a + 9 = 0. Suppose -2*v = 3*s - 18, -5*s + 6 = -4*s + 2*v. Solve -p = -u*p + s for p.
3
Let v = 5 - 12. Let p(o) = -o. Let d(h) = -6*h - 10. Let i(k) = -d(k) + 5*p(k). Let j be i(v). Solve 0 = -j*u - 2*u - 25 for u.
-5
Let j = -547 + 551. Let n(p) = p - 1. Let r be n(3). Solve -j*i + r*i = 10 for i.
-5
Let z be 323/133 - ((-8)/14 + 1). Suppose h + 4*k - 15 = -z*h, 0 = 4*h - 2*k - 20. Suppose i - 5*i + 44 = 0. Solve i = -h*o + 1 for o.
-2
Let k(u) = -3*u**2 + 25*u - 8. Let v be k(7). Solve 0 = -0*b + 4*b - v for b.
5
Let w(d) = 4*d + 24. Let f(r) = r + 6. Let p(x) = -22*f(x) + 6*w(x). Let y be p(-5). Solve 0 = -4*h - 2 - y for h.
-1
Let w(b) = 4*b**2 + 1. Supp