). Solve t*m = 5*m for m.
0
Suppose 0 = -5*c - r - 22, -20 = 3*c - 2*c - 5*r. Let d = c - 1. Let a = -6 - d. Solve 0 = -a*h - h for h.
0
Suppose 13*p - 466 = -362. Solve -5*k = -12 - p for k.
4
Let j be (-2)/((-29)/7 - -4). Solve 3*q + j = 10*q for q.
2
Suppose 14 = 3*s - 4. Suppose 5*o + 4*b = 0, o - 2*b = 8 + s. Suppose -o*q + 15 = q. Solve -q = -5*i - 13 for i.
-2
Let x = 10 - -5. Let c = -299 - -302. Solve c*y + x = -2*y for y.
-3
Suppose 19*o - 7*o = 24. Solve 7*d = o*d for d.
0
Suppose -84 = -6*t + 6. Solve -12 = -t*z + 11*z for z.
3
Let i be (3/(-2))/((-2)/4). Let l(k) = k**2 - 12*k - 1. Let h be l(6). Let t = h + 42. Solve -i*f - 1 = t for f.
-2
Suppose -3*w + 69 = -5*j, 3*w + 73*j = 74*j + 57. Suppose -4*i = -5*o + 2, -o - 11 + 5 = -4*i. Let q be 11/3 - o/(-6). Solve w = -q*t + 2 for t.
-4
Let x(k) = k**3 - 2*k**2 - 12*k + 26. Let v be x(2). Solve -9 = -v*i - 3 for i.
3
Suppose -16 = 4*d - 4*s, 4*d + 3*s = s + 8. Let a = -4 + 10. Solve d = a*x - x - 15 for x.
3
Let w = 195 - 191. Solve 4 = -w*n - 4 for n.
-2
Suppose 3*y = -3*l + 30, -3*l - 40 = -3*y - 16. Suppose 0 = -6*i + y*i. Solve i = -2*q - 2*q for q.
0
Let a be 5/(-10) + 11/2. Suppose 2*d = a*d - 12. Suppose -d*m + m + 6 = 0. Solve 3*t + m*t + 25 = 0 for t.
-5
Suppose l + 4 = 3. Let k be ((-9)/18)/(l/6). Suppose 4*o - 16 = -0. Solve j + o = k*j for j.
2
Let k = 37 - 34. Suppose -5*x = -5*a - 35, -2*a = k*x - 7 + 1. Solve 0 = d - x for d.
4
Suppose x - 15 = 5*o, 2*o - 4*o + 7 = -3*x. Let k(f) = -3*f - 5. Let z be k(o). Suppose 0 = -8*q + z*q + 6. Solve -2*m + q*m + 12 = 0 for m.
-3
Let n be (-693)/42*2/(-3). Solve y - n + 6 = 0 for y.
5
Suppose 5*g - 372 = 2*y, 102 = 2*g + 3*y - 43. Let d = -68 + g. Solve -d*t - 4 = -4*t for t.
-2
Let o = 2 + 4. Suppose -o*r + 3*r = -2*g - 5, 2*g - 10 = -2*r. Suppose 4*v = 3*v + r. Solve -v - 5 = 4*z for z.
-2
Let o be ((-12)/3 - 4) + -1. Let d(y) = 0*y**3 + 0*y**2 - 8*y**2 - y**3 + 9 + 10*y. Let m be d(o). Solve -4*q - 20 = -m*q for q.
-5
Suppose -2*z - 1 = 7. Let f(l) = l**2 - 5*l - 3. Let q be f(12). Let d be z/(-16) - q/(-12). Solve -5*g = -d*g + 6 for g.
3
Let q = 231 + -219. Solve 2*m + m + q = 0 for m.
-4
Let q(y) = 2*y - 4. Let n be q(2). Let t = n + 20. Solve b = -3*b - t for b.
-5
Let i(f) = 3*f**2 + 3*f + 3. Let q be i(-1). Solve -7*g - 17 + q = 0 for g.
-2
Let h(k) = -k**2 + 11*k. Let v be h(4). Suppose -v*n + 26*n + 14 = 0. Solve -l + 2 = n for l.
-5
Suppose -6*m + 50 = -40. Suppose 2*o = -5*u + m, 0 = -o - u + 7 + 8. Solve o = -4*c + 4 for c.
-4
Let k be (-2)/3*(-120)/16. Suppose k*l = 7*l. Solve l = -y - 1 - 4 for y.
-5
Let k(s) be the first derivative of -s**2/2 + 12*s - 7. Let q be k(9). Solve q*t = 4 + 2 for t.
2
Let o(r) = -2*r - 38. Let l be o(-20). Solve 3*f + l*f + 10 = 0 for f.
-2
Suppose 2*j = 4*f + 6, 3*j + f - 15 = -2*j. Let w be (j - 6)*2/(-3). Solve w*c - 5 = 5 for c.
5
Suppose -s = 3, 3*z = 6*z + 4*s. Let w(j) = j**3 - 8*j**2 + 6*j + 7. Let y be w(7). Suppose 5*r + 0*r - 5 = y. Solve -3*t - r = -z for t.
1
Let g = 680 - 680. Solve g = 17*v - 21*v - 16 for v.
-4
Let p = 162 + -154. Suppose 0 = 3*x - 2*u + p, 2*x + u = 2*u - 4. Solve -10 = 2*z - x*z for z.
-5
Suppose -52*r + 59*r = 14. Solve -r*w + 7*w + 15 = 0 for w.
-3
Suppose 135 = 5*w + 120. Solve 0 = 4*x - x + w for x.
-1
Suppose 4*o - 3 = 5. Suppose -2*j + 24 = -2*r, -o*j + 5 = 2*r + 1. Solve j*v = 4*v - 9 for v.
-3
Let x(l) = -l - 1. Let h be x(8). Let t be h/12*(-28)/21. Solve 3*c = -4 + t for c.
-1
Let i(d) = -4*d**3 + 2*d**2 + d - 2. Let y(n) = -n**3 - n**2 - 1. Let q(h) = -i(h) + 5*y(h). Let a be q(-7). Solve -a*j - 25 = j for j.
-5
Let j = -100 + 102. Let a be 3 - j/2*(-2)/1. Solve 27 - 7 = a*q for q.
4
Let o(p) = 7*p + 56. Let a be o(-8). Solve 0 = -a*v + 5*v + 20 for v.
-4
Suppose 2*r - 4*v + 100 = -2*r, 0 = -4*r - 2*v - 118. Let c be r/(-6) - (-6)/(-9). Suppose 0 = c*l - 4*o - 24, -4*o + 3 = -l + 18. Solve -15 = l*u + 2*u for u.
-3
Let s(c) = c**2 - 4*c - 2. Let j be s(5). Let p be 1/(4*j/12). Solve -p = g - 0 for g.
-1
Suppose -96 = -9*l + 5*l. Suppose 0 = 10*u - 13*u + l. Solve 0 = u*a - 4*a for a.
0
Let b be -1 + (4 - (0 + -2)). Suppose 0 = 14*r - 11*r - 5*k + 20, 4*k = -4*r + 16. Solve r = -b*m - 0 - 5 for m.
-1
Let f be 0*(-4)/16*-1. Suppose -3*y + f*y + 9 = 0. Let p(h) = 3*h - 3. Let q be p(2). Solve -y*g = q - 18 for g.
5
Let w be (-12)/(-2 + 0/3). Let n(p) = 10 + 1 - w - 2*p**2 - 3*p + p**3. Let b be n(3). Solve 0 = -b*s + s - 20 for s.
-5
Let k(w) = w**3 + 6*w**2 + 2*w - 21. Let u be k(-4). Solve -7*t = -u*t + 8 for t.
-2
Let b(s) = s**2 + 3*s + 4. Let y be b(0). Suppose y*v + 7 = 5*v. Solve 1 + v = 4*z for z.
2
Let q(g) = -g**3 - 8*g**2 - g + 52. Let x be q(-7). Solve 2*k + x*k = 0 for k.
0
Let x(a) = 141*a - 846. Let s be x(6). Solve -7 = 7*y - s for y.
-1
Let t = -31 + 34. Suppose -16 = -5*d - 7*o + 4*o, 3*o = t*d - 24. Solve -3*y - 11 = -d for y.
-2
Suppose 0*o - 2*r = o - 19, 4*o - 4*r - 28 = 0. Let s(b) = 3*b - 3. Let w(x) = 4*x - 4. Let g(q) = 7*s(q) - 5*w(q). Let f be g(5). Solve -5*a - o = f for a.
-3
Let f(d) = -d**2 - 10*d - 17. Let a be f(-7). Suppose 7*j = 6*j + a. Solve 4 = -0*n - j*n for n.
-1
Let z = 681 - 681. Solve z = -5*g + 4*g for g.
0
Let g = 0 - -2. Let j be g/(-2) - 3*-1. Suppose -j*u + 7 + 5 = 0. Solve w - u = -2*w for w.
2
Let h(i) = -2*i**3 - 11*i**2 - 15*i - 5. Let j be h(-4). Solve 4*b + j = -5 for b.
-3
Let z = -1 + 1. Suppose r + 4*g - 25 = 0, 2*r + 5*g + 16 = 3*r. Suppose 13*n + r = 16*n. Solve z = -5*o + n*o + 2 for o.
-1
Suppose -272 + 552 = 5*l. Solve 20*f = 6*f + l for f.
4
Let k = -265 + 269. Solve -3*m = m + k for m.
-1
Suppose -10*z = -8*z - 18. Suppose 2*x - z = 29. Let t be ((-3)/(-12))/((-1)/(-4)). Solve 5*g + t + x = 0 for g.
-4
Let i = -60 - 3. Let o be (-18)/i + 2/(-7). Solve 4*q + 6 + 10 = o for q.
-4
Suppose 0 = -n + 4*n - 12. Suppose -z + 9 = -2*t, t + 0*z = -n*z. Let y = 8 + t. Solve 3*x = -5 - y for x.
-3
Suppose 0*k = -k - 3. Let m = 12 + -13. Let y be m + k/(-1) + 2. Solve h - y = -1 for h.
3
Let k = 43 - 27. Suppose -3*t - 16 = -13. Let r be ((-16)/6)/t*(-3)/(-2). Solve 0*o = -r*o + k for o.
4
Let a be -2 + (5 - 10) - -2*5. Solve 3*y + 12 + a = 0 for y.
-5
Let q = 54 + -50. Suppose -8 = -4*c - 0. Solve -c*v - 2 = -q*v for v.
1
Let n(g) = 4*g - 38. Let o be n(9). Let c be (3 - 0 - 0)/(o + 3). Solve 0*k + c = k for k.
3
Let i = -215 + 230. Solve 8*k - 11*k - i = 0 for k.
-5
Suppose 38*k - 240 = -10*k. Solve -48*x = -43*x - k for x.
1
Let u be (-2)/(-5) + -1 + (-52)/(-20). Solve -u*j = 4 + 2 for j.
-3
Let l be (14 - 26)*6/(-8). Suppose 4*d + 22 = -o + 8, -4*o - 3*d = -l. Solve -3*c = -3 - o for c.
3
Let h(z) = 2*z - 4 - 3*z + z + 10*z. Let q be h(1). Solve -5*s - q = -2*s for s.
-2
Let f(k) = 2*k - 9. Let z(s) = s**3 - s**2 - 4*s - 1. Let g be z(3). Let v be f(g). Let p = -341 - -343. Solve -p*y = -v + 3 for y.
-1
Let w(g) = -g**2 - 7*g + 39. Let n be w(-10). Solve -n*x - 5 = -10*x for x.
5
Suppose 5*h + 25 = 0, 2*o + 25 = -3*o - 4*h. Let v be o*1*(-12 - -7). Let s = 150 - 150. Solve v + s = l for l.
5
Let z be 0/2 + 5 + -1. Solve -z*a - 6*a = 20 for a.
-2
Let h be (-8)/10 - 38/(-10). Solve h*u - 4*u = 1 for u.
-1
Let q = 45 + -35. Suppose -10 + q = 5*c. Solve c = -3*m + 5 + 4 for m.
3
Suppose -37 = -n - 14. Suppose 5*c = v - 0*c, -5*v + 2*c = -n. Solve 0 = v*r - 1 - 4 for r.
1
Let x(m) = -m - 9. Let z be x(-9). Suppose 5*o - 2*o - 15 = z. Suppose o*i - 2*i = 4*q + 25, 2*q + 11 = i. Solve i*a = a + 2 for a.
1
Let u be (-155)/31 - -31*1. Solve -u + 26 = 2*f for f.
0
Let r(w) = -w**2 + 7*w + 1. Let g be r(6). Suppose -6*z - 1 = -g*z. Solve -4*v - z = 7 for v.
-2
Let t = -3 + 4. Let y = t + 2. Suppose y*x - 5*x + 4 = 0. Solve -6 = x*g - 5*g for g.
2
Let l be (0 - -6)*(-1)/3. Let n be 20*-1*l/8. Suppose -n = -2*g - 1. Solve -g*o = -o for o.
0
Suppose 37 = 5*t - 3*h, -15*h + 9 = t - 16*h. Solve t*d = -9 + 4 for d.
-1
Suppose 8*p - 5*p + 3 = 0. Let z be p + 0/3 + 1. Solve z = -0*o - 3*o + 3 for o.
1
Let w(k) = -k + 7. Let a be w(5). Let s be ((-10)/(-6))/(-1 - 4/(-3)). Suppose -s*g + 15 = -2*i, g - 3 = -i + 2*i. Solve 0 = q - a*q - g for q.
-3
Suppose 5*h = 5*g - 5 - 15, -h - 2 = 0. Suppose -3*b + 25 = g*b. Suppose 20 = 4*k - 0. Solve 0 + k = b*t for t.
1
Let l(f) be the first derivative of 7*f**3/