 4*k = k + s for k.
2
Suppose 4*a + u - 796 = 0, 3*a - 2*u = -9 + 617. Suppose 0*z = -10*z + a. Solve -3*i + z = 5 for i.
5
Let f(q) be the third derivative of -q**4/24 + q**3/6 - 2*q**2. Let n be f(-5). Suppose -6 = -4*g + n. Solve 6*i = g*i + 3 for i.
1
Let h(u) = -2*u**2 - 4*u**2 + 15*u**2 - 3*u + 2*u + 13 - u**3. Let m be h(9). Solve -m*l = -2*l + 2 for l.
-1
Let d(t) = -t + 12. Let k be d(3). Let p be 6/k*(-12)/(-2). Solve -4 = p*n - 0*n for n.
-1
Suppose -5*p = -5*l - 70, 2*p + 0*p - 4 = -4*l. Solve 4*r = -r + p for r.
2
Let p be -2*15/((-105)/28). Solve p = -4*g - 4 for g.
-3
Let i be 2*(-2)/(-1 + -1). Let b = 0 + i. Let f(v) = 4*v - 15. Let l be f(5). Solve 0 = -b*s - l + 1 for s.
-2
Let b(c) = 8*c + 82 - 2*c - 110. Let p be b(5). Solve p*t = 1 - 9 for t.
-4
Let o(y) = 74*y + 817. Let g be o(-11). Solve g*m - 1 = 11 for m.
4
Let r be (-231)/((-4)/(10 - 6)). Solve r*o = 226*o for o.
0
Suppose 5*u - 3*u = 6. Suppose 52*i - 47*i + 22 = 2*f, -76 = -5*f + 2*i. Suppose 24 = 3*o + l + 1, -6 = -2*o + 4*l. Solve -o*x = -u*x + f for x.
-4
Let q(n) = n**3 + 22*n**2 + 101*n + 24. Let b be q(-7). Solve -b = 11*u + 2*u for u.
-4
Let m(t) = -t**3 + t**2 - 4*t + 2. Let i(p) = -p**3 - 2*p - 1. Let q(h) = 2*i(h) - m(h). Let v be q(-2). Solve -z - z = v for z.
0
Let r = 1 + 1. Let o = -110 + -10. Let x = 145 + o. Solve -3*q = r*q - x for q.
5
Let r(x) = -x - 22 + x - 3*x. Suppose 13*q = 36 - 153. Let c be r(q). Solve -c*z = -0*z - 15 for z.
3
Let a = -647 - -684. Solve 18*o - a = -1 for o.
2
Suppose 5 + 23 = 7*x. Let m(o) = o**3 + 3*o**2 - o. Let r be m(-3). Suppose 4*y - r*y = 0. Solve 2*z = -y*z - x for z.
-2
Suppose -f - 4*f = 0. Suppose -5*p - 4*z + 32 = 0, f = -4*p + 3*p - 3*z + 13. Solve -t = -p*t + 15 for t.
5
Let o be (5 - 3) + 0/9. Suppose -2*u + 4*l = o*l - 18, 5*u + 2*l - 17 = 0. Solve -u*d + 8*d - 6 = 0 for d.
2
Let r(k) = k**2 + 38*k + 136. Let j be r(-34). Solve 4*o - 9 - 7 = j for o.
4
Suppose -8*a = -0*a. Solve 0 = f - a*f - 4 for f.
4
Let c be (4 - 2)*(-12)/(-8). Let s = -120 + 168. Suppose -2*y + s = 2*y. Solve -y = c*p - 0 for p.
-4
Let t(j) = -4*j**3 + j**2 - j - 1. Let m be t(-1). Let o(u) = -4*u**2 + 2*u + 1. Let q be o(-3). Let k = 61 + q. Solve 3*a + k = m for a.
-5
Let x be (34/(-4))/((-96)/192). Solve -x - 5 = -11*w for w.
2
Let w be ((-3)/(-1))/((-6)/4). Let i be w/(-7) - (-2)/(-7). Let h = -31030 + 31035. Solve h*x + 3 - 13 = i for x.
2
Suppose d + 0*d = 2. Let p(u) = u**2 + 7*u + 6. Let v(a) = -a**2 - 7*a - 5. Let i(h) = -7*p(h) - 6*v(h). Let w be i(-4). Solve 10 = -w*k - d*k for k.
-5
Suppose k = 2*k. Suppose k*i + 5*i = 0. Solve c + 0*c + 2 = i for c.
-2
Let y = -47 + 55. Solve -y + 18 = -2*k for k.
-5
Let k(c) = c**2 + 5*c + 8. Let p be k(-6). Suppose -h + 2*q = -11, 4*q + p = 2. Let f = 24 + -6. Solve 7 + f = h*b for b.
5
Let j be -4*147/(-72) - 3/18. Solve -9*u + 13*u = j for u.
2
Suppose -u + 5 = 4*n, 0 = -4*u + 20. Solve 2*w - 3 - 1 = n for w.
2
Let v be (0 - 3) + (-8)/(-1). Suppose -v*b - 27 = -8*b. Suppose -12 = -11*r + b*r. Solve 2 = 2*g - r for g.
4
Let k be 24/4 + (-2 - 0). Let p(t) = -t**2 - 12*t + 65. Let o be p(-15). Solve -8*q = -k*q - o for q.
5
Let h(b) = 3*b**2 + 4*b + 13. Let l be h(-2). Solve -l = 3*m - 2 for m.
-5
Suppose 0 = -11*l + 18*l - 42. Suppose -7*s = -l*s - 2. Solve -4 + s = -2*t for t.
1
Suppose -49 = -5*b + 2*z - 11, 0 = 3*b - 5*z - 38. Solve -2*n + b*n = -20 for n.
-5
Let t be (1 + -1)/(14/(-7)). Suppose t = 4*q + 3*u - 2*u - 37, -5*q + 56 = -2*u. Solve 0 = -3*r - 2*r - q for r.
-2
Suppose -3*l - 5 = -4*u - 40, 5*l = 4*u + 69. Solve 4*h + 29 = l for h.
-3
Suppose -48 + 72 = 4*a. Solve -a*c + 0 = 6 for c.
-1
Let r(q) = -5*q**2 - 1 + 3 - 39*q**3 - 2*q + 38*q**3. Let z be r(-4). Let b(o) = o**3 + 7*o**2 + 3*o + 5. Let m be b(z). Solve 0 = -5*k - 2 - m for k.
-5
Let y(z) = z**3 - 19*z**2 - 16*z - 47. Let p be y(20). Solve -5 = 38*g - p*g for g.
-1
Suppose 0 = 6*i - 0*i - 12. Solve -4 = 6*h + i for h.
-1
Let q = 7 + 8. Solve -q*v = -11*v + 8 for v.
-2
Let m(y) = -20*y**3 + 32*y**2 + 35*y + 17. Let k(g) = -7*g**3 + 11*g**2 + 12*g + 6. Let l(u) = -17*k(u) + 6*m(u). Let d be l(6). Solve 0*b - 3*b + 3 = d for b.
1
Let s = -1517 + 1552. Solve 0 = 8*o - 75 + s for o.
5
Let z = -102 - -110. Solve z*h = 4*h + 4 for h.
1
Let i(n) = n. Let d be i(2). Suppose -5*p + 9 = -2*a + 1, 4*a + d = 3*p. Suppose 2*f + 5 = -p*t + 7*f, 0 = t - 3*f + 3. Solve -2*b = -t*b for b.
0
Suppose -f - 4*n = -10, 0*f + 3*n = 2*f - 31. Let x(r) = -2 - 3 - 13*r - 6 + 14*r. Let l be x(f). Solve -2*q - l*q = 0 for q.
0
Let b = -171 + 182. Suppose 3*r - r - 5*d + 6 = 0, -4*r + d = -6. Let l = b + r. Solve 5*t + 3 = l for t.
2
Let v(c) = c**2 + 7*c + 1. Let g be v(-7). Let h = -2 + 4. Let w = -36 + 43. Solve h*n = -w - g for n.
-4
Suppose -2*y = 4*b - 2, -13*y - 3*b - 6 = -14*y. Suppose 0*t = t - 4. Suppose t = m + y. Solve 3 + m = n for n.
4
Let f(b) = 2*b**2 - 21*b + 50. Let r be f(3). Solve 10*k = r + 5 for k.
1
Let h(x) = -x**2 + x + 2. Let f be h(2). Suppose w - 4*v = -1, -5*w = -0*v - 5*v - 10. Solve f = -8*g + w*g for g.
0
Let g = -127 + 128. Suppose -3*a - g + 7 = 0. Solve -6 = 4*x - a for x.
-1
Let d(f) = 6*f**3 - 1. Let a be 3/9 + 2/3. Let g be d(a). Let u be (2 - (-32)/(-20))/(1/10). Solve -g = -u*o + 3*o for o.
5
Suppose -u + 17 - 13 = 0. Suppose -5 = -2*s + 2*v - 1, -u*s + 26 = 5*v. Solve 2*m = -s - 0 for m.
-2
Suppose 0 = -3*q + 13 + 14. Let a be 52/(-6) - 4/(-6). Let v = a + q. Solve 4*m - 3*m = v for m.
1
Let r be 3/7 - 20943/(-819). Solve -10*v - r = 3*v for v.
-2
Let x be 2/(-4)*2*-4. Let y be 0/(6/3)*(-3)/3. Let s be (-1 - 1 - (y + -3))*10. Solve t - s = -x*t for t.
2
Suppose 11 = -3*i - 4*j, 5*i - 2*j - 22 = i. Suppose 11*k - 5*k - 6 = 0. Solve i + k = -4*h for h.
-1
Let z(f) = -f**2 - 5*f + 3. Let o be z(-4). Let q(n) = -n + 10. Let p be q(o). Suppose p*h = h + 40. Solve u - h = -4*u for u.
4
Let z(v) = 21*v**3 - 2*v**2 - v + 2. Suppose s = 4*s - 3. Let q be z(s). Suppose 4*k + 2*m = m - 4, -5*k = 4*m + 16. Solve q = 5*r - k*r for r.
4
Let a = -6 + 26. Let q = a - 20. Solve g - 6*g - 20 = q for g.
-4
Let w(h) = -13*h + 837. Let a be w(64). Let x(c) = c**2 - c - 4. Let d be x(5). Solve -a*v - d = -v for v.
-4
Suppose 18*h - 486 = -0*h. Solve -h*l = -23*l - 20 for l.
5
Let h = -12 - -17. Suppose 0 = 10*z - 5*z - h. Solve 13 = 3*k + z for k.
4
Let c be -1 + 5 - (-3)/3. Let w = -157 + 161. Solve c*d - 4 = w*d for d.
4
Let k(s) = -s**2 + 13*s - 10. Let c be k(12). Let d be 45/12 + c/8. Solve 2*y = y + d for y.
4
Let y be (-9)/(18/(-4)) - -2. Suppose y*h = -4*t + 8, -2*t + 4 = -3*h - 0*h. Solve t - 1 = -u for u.
-1
Suppose -1 = t, 0 = -2*j - 392*t + 390*t + 6. Solve p = j - 3 for p.
1
Let a(b) = -5*b - 3. Let r(f) = 4*f + 3. Let g(s) = -5*a(s) - 6*r(s). Suppose -34 = -2*l - 4*c, -1 = l - 3*c + 7. Let z be g(l). Solve 3*n = -n - z for n.
-1
Let z be -2 - (-3)/((-21)/(-14)). Solve -f + z = -2 for f.
2
Suppose 0*k + 4*k + 3*g = -14, -3*k - 4*g - 14 = 0. Let a = 1 - k. Solve -a*t + 5 = -1 for t.
2
Suppose -7*t + 8474 - 7557 = 0. Solve t*z = 132*z for z.
0
Suppose -4*q = 3*o + 411 - 1305, -2*q - 10*o = -464. Solve -q*n - 12 = -218*n for n.
-3
Let c(a) = 2*a**3 + 7. Let i be c(0). Solve -1 - i = -2*w for w.
4
Let d(f) = -2*f**3 - 6*f**2 - 2*f. Let r(v) = -v**3 - v**2 + v + 1. Let z(k) = -d(k) + r(k). Let l be z(-3). Let o = 2 - 2. Solve o = 4*c + l + 2 for c.
-3
Let d(i) = -3*i**3 + 2*i**2 + i + 6. Let c(j) = -j**3 + 1. Let v(z) = -4*c(z) + d(z). Let x be v(-2). Solve x*n - 5*n = 25 for n.
-5
Let l be -1*1 + 9 + -6. Suppose k = -n + 5*k, 0 = -l*n - 4*k. Suppose f = -n*f + 6. Solve -s = -3*s + f for s.
3
Let n = 148 - 138. Solve 4*y + n = -y for y.
-2
Let f(x) = -x**3 - 9*x**2 - 7*x + 10. Let g be 12 - 16 - 2*2. Let d be f(g). Solve d*v - v - 3 = 0 for v.
3
Let c = 17 - 16. Suppose 5*w + c = 26. Suppose 0 = -3*i - w + 20. Solve 2*x = x + i for x.
5
Let t be 4*-1 + 2 - -2. Let o = 1 + t. Let v(k) = -7*k - 21. Let f be v(-4). Solve -2*x + o = -f for x.
4
Suppose -2*j = -5*j. Suppose -13*c + 10*c = j. Suppose 5*h + 10 = 0, c = d + h - 2. Solve d = -3*g - 8 for g.
-4
Let t(x) = x**2 + 4*x - 3. Let u be t(-5). Let n be ((-1726)/(-1726))/(1/(-2) - -1). Solve u*g + 0 = n for g.
1
Suppose 53 = -4*t - 3. Let q be (-2 - t)/(2/(-2)). 