m.
-3
Let z be 10/3*(-936)/(-195). Solve -15*x - 3 = -z*x for x.
3
Suppose 0 = 4*n - 91 - 109. Let f = n - 43. Solve 3*y - 4 + f = 0 for y.
-1
Let t(j) = -j**3 + j + 5. Let a be t(0). Solve 20 = -0*x + a*x for x.
4
Suppose 28*s - 146 = 610. Solve -6 = -s*k + 25*k for k.
3
Let v = 95 + -90. Solve -9 = v*l + 11 for l.
-4
Let m = -340 + 340. Solve m = -5*d + 14 + 1 for d.
3
Let u be ((-2)/11)/(44/(-484)). Solve -6*d - 4 = u for d.
-1
Suppose -15*t + 23 = -7. Let l(u) be the third derivative of u**5/60 - u**4/8 - 2*u**3/3 + 4*u**2. Let a be l(5). Solve -t*z - a = z for z.
-2
Let f(d) = -d - 4. Let k be f(-8). Suppose 4*p = -p + 25. Solve -3*t + k = -p*t for t.
-2
Suppose 4*s + 2*v - 50 = 0, 2*s - 12 = 2*v + 10. Solve -4*f = -0*f - s for f.
3
Suppose -4*k = 5 + 7. Let l be (-1)/3*3*k. Solve 3*u = -0*u + l for u.
1
Suppose -6*c + 2*c = 32. Let m = -6 - c. Solve m = 3*b - 1 for b.
1
Let x(h) = 5*h - 104. Let w be x(22). Solve 2*b - 2 = -w for b.
-2
Let t = 879 - 872. Solve -t + 0 = 7*u for u.
-1
Suppose -16 = 3*w - 4*i, -8 = 2*w - 3*w - 2*i. Solve w = -6*j + 2 - 2 for j.
0
Suppose -5*n + 2*x + 7 = -12, -4*x = -5*n + 13. Suppose -6*h + 6 - 42 = 0. Let w be (1/(-2))/(1/h). Solve n = -8*r + w*r for r.
-1
Let a(v) = 9*v - 69. Let x be a(9). Solve 11*i - x = 17*i for i.
-2
Let t(v) = -v + 4. Let d be t(0). Suppose d = w + 3. Solve -3*m + w = -4*m for m.
-1
Let w = -761 - -773. Solve -w*n = 12*n for n.
0
Suppose 29 = -3*t + 41. Solve 13 = t*u + 9 for u.
1
Let b = 326 + -324. Solve -6 = a + b*a for a.
-2
Let c = -3 - -3. Suppose 4*f - 3*z = 16 + 18, -5*f + 5*z + 40 = c. Let i be f/3*30/25. Solve -3*v + i*v = -2 for v.
-2
Let z(f) = f**3 + 5*f**2 - 9*f - 28. Let p be z(-5). Solve 4*y = -p*y + 105 for y.
5
Let q be (1/(-3))/(21/(-504)). Solve 3*g + 1 = -q for g.
-3
Let k be 1*65 + -1*(-3 - -5). Let n = -57 + k. Solve -n = -7*f + 4*f for f.
2
Suppose 0 = -2*u - n + 7, 0 = 3*u - 2*n - 6 - 1. Let o be (u - 0) + -2 + -2. Let g be ((-2)/4)/(o/8). Solve l - 5 + g = 0 for l.
1
Suppose -5*h = -14 - 51. Suppose h + 2 = 5*p. Solve 4 = p*b + 10 for b.
-2
Let z = -4 + 8. Suppose 0*t - 2*n - 21 = -3*t, 5*t - 37 = z*n. Solve -t*j = -j for j.
0
Suppose 12*n = -42 - 18. Let q = 6 + n. Solve -5*y + 6 = q for y.
1
Suppose -5*a + 100 = -30. Solve 3*m = 11 - a for m.
-5
Suppose -74 = 3*t - 29. Suppose 320*h + 75 = 315*h. Let q = h - t. Solve 3*b + q*b = 0 for b.
0
Let v(d) = 3*d + 7. Let c be v(-17). Let m be c/55 + (-28)/(-10). Solve m*q - 8 = -0*q for q.
4
Suppose -t - 4 = -o - 0*o, -o + 8 = -3*t. Let m be (-19)/t + (-9)/6. Solve 0 = -5*g - 7 - m for g.
-3
Suppose 0 = 11*m - 66 - 0. Solve m = -8*i - 2 for i.
-1
Suppose -n = n. Suppose -t - 3 = -j - n*j, 10 = 2*j. Let u = 7 + -6. Solve -u - 5 = -t*q for q.
3
Let j = 789 + -788. Solve 44 = -9*l - j for l.
-5
Let l = 156 + -151. Suppose 2*x - l*t - 37 = 0, 5*x = t - 6 + 41. Solve -x*i + i = 15 for i.
-3
Let i = -26 - -29. Suppose r - i*b + 0*b + 7 = 0, -4*r - 2*b = -14. Solve -2*u - r*u = -20 for u.
5
Let p be (-18)/72 - (-26)/8. Suppose -t = 2*t - 2*w - 18, 2*t - p*w = 17. Solve -3*r = -2*r - t for r.
4
Suppose 29 = 7*o + 2*l + 6, -5*l - 10 = -5*o. Let f be 9/2 + 1/2. Solve -o*b + f*b = 6 for b.
3
Let j(q) = 3*q**2 - 27*q + 43. Let z be j(7). Solve -4 + z = -t for t.
3
Let r be 1*(12/(-27) - 8/(-18)). Solve r = 10*l - 63 + 23 for l.
4
Let m be 20*(570/(-280) + 2/7). Let p be (-1)/((m/(-10))/(-7)). Solve 10 = 3*b + p*b for b.
2
Let z = -271 + 276. Solve -z*a = -a + 2*a for a.
0
Suppose 520 = 14*p - 40. Solve 0 = 6*o + 2*o - p for o.
5
Suppose -2 + 0 = -b. Suppose -2*a + 22 + b = 0. Solve 0 = -h - 2*h - a for h.
-4
Suppose 5*b - 140 = -5*n, 4*b = -0*b + 5*n + 121. Suppose -b*c = -25*c - 20. Solve -4*g = -c*g + 5 for g.
5
Let r = 2504 + -2504. Solve r = 5*p - 15*p - 50 for p.
-5
Let p(g) = g**3 + 8*g**2 + 8*g + 9. Suppose 0 = -x + 6 - 0. Let l = -13 + x. Let j be p(l). Solve -5*i + j*i = 0 for i.
0
Let f be 127 - -24*8/(-32). Solve -4*x + 129 = f for x.
2
Let f(x) = -x + 7. Let u be f(4). Suppose 3*c + 2 = -2*q - 1, -u*q = 4*c + 3. Let s(w) = w**2 + w. Let g be s(0). Solve g*k = -k - q for k.
-3
Suppose -9*f + 5*f = 40. Let w = f + 13. Let u be w/(-3*1/(-3)). Solve u*v = -2*v - 25 for v.
-5
Let i(n) = n**3 + 6*n**2 + 3*n - 5. Suppose 2*l - 25 = 5*w, -w = -2*w - 4*l - 5. Let u be i(w). Solve 0 = u*m + 3 + 7 for m.
-2
Let x = 18 + -12. Suppose -3*n + x - 56 = -5*g, 5*g - 50 = -n. Suppose 0 = -j - g + 13. Solve -j*p - 10 = -4 for p.
-2
Let n = -10 - -31. Suppose -9 = -5*p + n. Solve -2 = -4*w + p*w for w.
-1
Let w(n) = 2*n**2 + 11*n + 4. Let x be w(0). Solve -2*k = -k + x for k.
-4
Suppose -3*b = -6*b - 4*n + 23, -2*b + 6 = -2*n. Solve -24*i = -25*i - b for i.
-5
Suppose 0 = h - 2 + 5. Let b = 2 - h. Suppose t + b*y = 2*y + 1, -2*y = 2*t - 6. Solve 0 = -0*n - 2*n - t for n.
-2
Let i = 8 + -9. Let n = i + 6. Let s = -1 + n. Solve o - s*o - 12 = 0 for o.
-4
Suppose -t + 5*q = 16, -2*t + q + 10 = -4*t. Let o = t - -15. Solve o = 4*d - 7*d for d.
-3
Let h be (5 + -4)*2/1. Let x be 0 + (1 - 3) + h. Solve 0 = -a - 2 - x for a.
-2
Let j = -4 - 1. Let s be j + 2 - (-7 + 2). Suppose 8 = 2*t + s*t. Solve -6 = -0*p + t*p for p.
-3
Let o be 17*1 + 31 + -27. Let g be (-3 + o/6)*38. Solve 0 = g*h - 14*h for h.
0
Suppose 4*q + 16 = 0, -10*r = -9*r + 5*q + 15. Solve 0 = -9*m + 8*m - r for m.
-5
Let v(r) = -4*r + 6. Let i(p) = -5*p + 5. Let n(o) = -3*i(o) + 2*v(o). Let c be n(3). Let d = c - 16. Solve -3*x = -d*x for x.
0
Let d = 16 - 11. Suppose 4*b + 24 = 5*t - 3*t, -b - 15 = -2*t. Suppose -3*w - 3 = q - 2*w, -2*w - t = 0. Solve d*f + 0*f = q for f.
0
Suppose 3*t + 242 = 6*t - 4*f, -f = -5*t + 375. Let q = -72 + t. Solve -3*i - q*i - 15 = 0 for i.
-3
Suppose 3*j = -4*t - 1, -5*j + 4*t + 4 = 5*t. Let l = -34 - -38. Let p be (j - -9)/(l - 2). Solve -p*s + 7 = -8 for s.
3
Suppose 4*z - 5*g = -z + 120, -51 = -4*z - 5*g. Let o(k) = -k**2 + 18*k + 22. Let w be o(z). Solve -16 + 4 = -w*d for d.
4
Let t be 15/(-10) + (-135)/(-6). Suppose 3*f - 5*n = -19, t + 12 = 4*f + 5*n. Let s be -4 + (8 - -2)/f. Solve 0*m + m + s = 0 for m.
-1
Suppose 0 = 3*k + o - 267, 34*k + 372 = 38*k - 4*o. Solve k - 105 = 5*j for j.
-3
Suppose -8*g = -492 + 2820. Let a = 298 + g. Let m be (3/(-6))/(2/(-20)). Solve a = -m*v + 22 for v.
3
Let v(i) = -i**3 - 6*i**2 + 4*i - 12. Let d be v(-7). Suppose -14*f = -d*f - 20. Solve 0 = -7*j + f*j for j.
0
Let n(o) = -12*o**3 - 2*o**2 + 1. Let t be n(-1). Let z = -9 + t. Solve 1 = -z*i + 5 for i.
2
Let i(n) = 17*n - 183. Let h be i(11). Solve 0 = -7*f + h*f - 6 for f.
-2
Let s = 267 - 251. Solve -11 + s = g for g.
5
Let l(k) = 2*k**2 - 7*k - 45. Let j be l(-4). Solve n = 4*n + j for n.
-5
Let j = 56 + -64. Suppose -5*n = -3*n - 40. Let p be 192/n - j/20. Solve 6*t = t + p for t.
2
Let c be 40/24 - (-6)/18. Solve -c*t = t for t.
0
Let w be (6/5)/((-2)/(-30)). Suppose -15 + 7 = -2*q. Let z be q*2/4*2. Solve w = -z*u - 2 for u.
-5
Suppose 6 = g + 3*m, 0 = -5*g - 2*m + 24 + 58. Solve 20*l + g = 2*l for l.
-1
Suppose 0 = 4*m + 2*y - 4 - 16, -4*m - 3*y = -18. Suppose -23*n - 215 = -28*n. Let h = n - 34. Solve 3*v = m*v + h for v.
-3
Let x = 1514 + -1501. Solve -20 = -7*t - x*t for t.
1
Suppose -5*g + 139 + 61 = 0. Let b = g - 40. Solve 2 = -2*m - b for m.
-1
Suppose -60*p + 32 = -56*p. Solve -p*o + 60 = 4*o for o.
5
Suppose 8*h - 35 = 3*h. Let s(o) = -o + 10. Let a be s(h). Suppose p - a*p = -10. Solve 4 - 29 = p*x for x.
-5
Let s = -5 + 10. Let i = -232 + 235. Solve 0 = i*p - s*p + 10 for p.
5
Let k be (-4)/(5 + -9) - -1*3. Solve -k*g = -5*g - 3 for g.
-3
Suppose -l - 18 = -2*r, 2*l + 2*l + 2 = -2*r. Solve r*a = 2*a + 15 for a.
3
Let p be 12 + (1 - (4 + (-7 - 1))). Solve -21 = 2*d - p for d.
-2
Let n(d) = 15 - 1 - 2 - d. Let v be n(9). Suppose 3*j = 6, -18 = 2*f - v*j - 44. Solve 3*p - f = -1 for p.
5
Suppose -10*g = -5*g - 585. Suppose -k - 3*a = 2*k - g, -2*a + 41 = k. Solve -k = 5*x - 12 for x.
-5
Suppose -22 = -4*t - 2. Suppose 2*p - 11 = -s, 4*s - s + 22 = t*p. Suppose -5*w + 17 = 4*z, p*w = 2*z + 1 - 2. Solve k = -z*k for k.
0
Let r(a) = 8*a + 4. Let s be r(-1). Let n be s/5*(-5)/2. Solve 4*q - 2 - n = 0 for q.
1
Suppose -43 = -4*v - 11. Suppose 12 = 3*k - p - 2*p, k + v = -5*p. Solve k*d = -3*d - 20 for d.
-4
Let y(j) = j + 11. Let n(q