2*d + 90. Suppose 52*x - 68 = 18*x. Suppose 12 = -x*a + d. Solve 6*m - 15 = a*m for m.
5
Suppose 0 = d + 5 - 3. Suppose 5*i - 5 = -3*y, -4*y - 2 = i - 3*i. Let b be i + 0 + 2/d. Solve b*h - 4*h + 12 = 0 for h.
3
Suppose 22 = 5*x + 3*j, -2*x + 0*j - 3*j + 16 = 0. Suppose -5*v = 3*v - 72. Solve 5*s = x*s + v for s.
3
Suppose 4*u + 2 = 5*n - 7*n, -4*u = n + 5. Solve -2*x + n = x for x.
1
Suppose -3*z = -z. Suppose -h + z*h - 2*s + 8 = 0, 0 = -4*h + 3*s - 12. Solve n + 5 - 10 = h for n.
5
Suppose 0 = -3*b - 6*i + 7*i - 5, 5*b = 2*i - 10. Solve 2*c - 3*c + 2 = b for c.
2
Suppose 4*k - 30 = 4*b - 6*b, 26 = 3*k - 2*b. Solve 0 = -4*i + k for i.
2
Suppose 0 = -o + 3 + 1. Let k(f) = f**3 - f**2 - 4*f - 4. Let m be k(3). Suppose 0 = m*c - 5*z - 30, -c + 2*z - 3*z = -1. Solve 9*d - o*d = c for d.
1
Let u be (6/9)/((-2)/(-9)). Let x(c) = 2*c**2 - 3*c - 86. Let z be x(-6). Solve -z*o - u = -7 for o.
1
Let l(r) = -r. Let s(f) = 6. Let g(a) = -2*l(a) + s(a). Let h be g(7). Solve -3*b + h = b for b.
5
Let d be (-3)/(-9) - 40/(-15). Suppose d*n + 15 = 3*l + n, 20 = 4*l + 4*n. Solve l = -4*y - 15 for y.
-5
Let j = 5 + -1. Suppose -2*a + 6*a = j. Let k be (1/2*0)/a. Solve 5*v + 0*v + 15 = k for v.
-3
Suppose 2*j + 0*j = 8. Let n be j - (-4 + (-16)/(-2)). Suppose -y + 1 + 2 = n. Solve -y*f - f = 16 for f.
-4
Suppose 3*a = -4*p + 65 - 21, 3*a = 0. Solve p*s + 13 = -9 for s.
-2
Let g(r) = -5*r - 6. Let b be g(-2). Suppose 0 = -x + b*x - 6. Solve -x*y + 4 = -0*y for y.
2
Let x = 13 - 20. Let v = x + 8. Suppose h - v = 3. Solve -g - h = g for g.
-2
Let f = -218 - -221. Solve -11 = f*g + 4 for g.
-5
Let l = -129 - -131. Suppose 0 = -l*w + 10 - 0. Let m = 4 - 3. Solve 0 = -w*g - m - 9 for g.
-2
Suppose 12 = 3*w, 3*w - 30 = -2*r - r. Suppose 4*z + 31 = -l + 4*l, -z + r = 2*l. Solve -2 = l*x - 22 for x.
4
Suppose 5*r - 5 = 4*r + 2*b, -4 = -3*r - 5*b. Solve 2 = 4*l - r*l for l.
2
Suppose 2*v - 6*v = 20. Let i = -1 - v. Suppose 4*w = -b + 18, 2*w = i*b - 7*b + 14. Solve -f = -b*f for f.
0
Suppose k - 2*o - 40 = 0, 5*k - 211 = -0*o - o. Let m = 52 - k. Solve 2*r + 3*r = m for r.
2
Suppose 0 = -5*q + 12*q. Solve x + 2*x + 9 = q for x.
-3
Let o = 31 + -30. Suppose c - 1 = 0, 4*z - 4*c + 3 + 1 = 0. Let q(b) = 2*b. Let u be q(z). Solve o = r - u for r.
1
Let v(x) = x**3 + 13*x**2 - 24*x + 108. Let q be v(-15). Solve -9*h - 9 = -q*h for h.
1
Suppose 13*j + 12 = 15*j - o, 4*o + 13 = j. Solve j*d - 53 = -78 for d.
-5
Let p = 68 - 41. Suppose -23*d + p*d = 12. Solve -1 = 2*j - d for j.
1
Suppose 8*a - 10*a - 10 = 0. Let c(t) = t**3 + 6*t**2 + 4*t - 3. Let s be c(a). Suppose s*b = 7*b - 65. Solve 5 = 4*x + b for x.
-2
Let n(h) = -32*h**3 + 2*h + 1. Let q be n(-1). Let i = 41 - q. Solve -2 - i = -3*y for y.
4
Let p = 69 + -58. Solve -3*x + 4 = -p for x.
5
Let i(k) = -k**3 + 4*k**2 + 3. Suppose 0 = -u + y + 5, -2 = 2*u + y - 3. Suppose -p = u*p - 12. Let s be i(p). Solve -2*h - h + s = 0 for h.
1
Let n be 10/4 + 6 - 6/(-4). Solve -19*t = -n*t + 9 for t.
-1
Let o(c) = c**2 - c + 1. Let g be o(0). Let i = 4 + g. Suppose 0 = i*r - 4*q - 4, 3*r + 2 = -0*r - 2*q. Solve 0 = -r*z - 3*z + 15 for z.
5
Let n be 2/1 + (-71 - -69). Solve 8*g - 31 + 7 = n for g.
3
Let v(x) = x + 10 + 4*x - 5*x + x. Let i be v(-10). Solve i*r - 4*r + 8 = 0 for r.
2
Suppose -12*m + 2387 = 239. Solve 177*p = m*p + 4 for p.
-2
Let b = 3 - 3. Suppose v + 2*v - 9 = b. Solve -12 = -v*a + 3 for a.
5
Suppose -2*n - 3*k + 6 = 0, n + k + 3 - 5 = 0. Let m = 15 - 10. Suppose -i = 2*y + m, 2*i = -n*i - 3*y - 6. Solve -4 = -i*w + 2*w for w.
4
Let n(l) = l**3 - 20*l**2 - 22*l + 15. Let a(t) = -4*t**3 + 81*t**2 + 89*t - 59. Let x(f) = -2*a(f) - 9*n(f). Let u be x(19). Solve u*m - 2 = 6 for m.
4
Suppose -3*f + 4 = -5*u + 91, 3*f - 3 = 0. Suppose -u = -2*p - p. Let h be 12/(-8) - (-33)/p. Solve 0 = -2*x + x - h for x.
-4
Suppose -30 = 5*f - 10*f. Suppose 5*s - 4 = f. Let k be 6 + (1 - 2) + 5. Solve -s = -3*n + k for n.
4
Let d(f) = f**2 + 6*f - 72. Let l be d(-12). Solve l = 2*i + i for i.
0
Suppose 12*t - 28 = -2*t. Let d(p) = p**2 + 4*p + 2. Let l be d(-4). Solve 0 = -l*s - t*s for s.
0
Let u be (1 + 0 - 5)*-3. Suppose 33*o - 39*o + u = 0. Solve 7*w - o*w = 0 for w.
0
Suppose 0 = 4*t - t - 39. Suppose 2*c - t = -5, -3*c + 2 = -5*a. Suppose 2*b = 4*r, r - a*b + b = -2. Solve r*k + 3 = -5 for k.
-4
Suppose -14*q + 34*q - 200 = 0. Solve q = 6*b + 4*b for b.
1
Let y(o) = -19*o + 227. Let q be y(8). Solve -q*t + 2 = -77*t for t.
-1
Let c = 249 + -247. Solve -s = c*s - 4*s for s.
0
Suppose 4*f + d - 26 = 0, 4*d - 7 = 1. Solve f*s + s = 28 for s.
4
Suppose -16 - 24 = 5*r + 5*n, r - n = 2. Let l = 7 + r. Let m = 1512 - 1508. Solve m - 20 = -l*x for x.
4
Suppose -2 + 8 = 3*w + 4*h, 0 = -2*h. Solve -w*d - 12 = -5*d for d.
4
Suppose k + 5*i - 28 = 0, -2*k - 4*i + 5 = -21. Let g be -3*3/(-18)*0. Solve k + g = -n for n.
-3
Let s(m) = m**3 + 9*m**2 - 51*m + 17. Let l be s(-13). Solve 0 = 9*x - 8*x + l for x.
-4
Suppose 25 - 13 = 4*u. Let g(v) = -2*v + 9. Let o(h) = -3*h + 18. Let q(m) = u*o(m) - 5*g(m). Let a be q(0). Solve -4*k - a = 3 for k.
-3
Let i = -1055 - -1594. Solve 5*u - 554 + i = 0 for u.
3
Suppose -3*i - 2*i = -75. Let w = i - 13. Solve -2 - w = -2*p for p.
2
Suppose -165*q = -164*q - 96. Suppose -q = 5*a - 11*a. Solve -a - 4 = -5*w for w.
4
Suppose 3*s = 2 + 4. Let k(u) = u**3 + u**2 - 6*u. Let v(j) = j**3 - j**2 - j - 1. Let i(w) = -k(w) + 2*v(w). Let h be i(s). Solve h + 1 = -a for a.
-3
Let h be -5 - (4/(-3) + (-209)/57). Solve r - 5 + 2 = h for r.
3
Let h(k) = k**2 - 5*k - 22. Let z be h(-3). Solve 2*v + 20 = -z*v for v.
-5
Let l(q) = q**3 + 17*q**2 - 19*q - 14. Suppose -3*y + 90 = -8*y. Let c be l(y). Solve -d = c*d for d.
0
Let i be (-156)/11 + 10/55. Let a be 19/4 - i/56. Solve -3*s = -a*s for s.
0
Let z be (-2 + (2 - 0))/(-1). Solve -3*x + 11 - 2 = z for x.
3
Let b = -48 + 88. Suppose -5*m + 15 = d, 2*m - b = -3*m + 4*d. Let c(o) = 2*o**2 + 2*o + 2. Let g be c(-2). Solve 0 = g*v - 2*v - m for v.
1
Let g be (-2)/(-4) + 14/4. Suppose -2*m = 4*l + 46, -g*l + 5*l + 3*m + 9 = 0. Let i = -7 - l. Solve 2*o - o = i for o.
5
Suppose 14*w = 17*w - 54. Suppose m = 10*m - w. Solve 3*j + 5 = m*j for j.
-5
Let r = -117 + 117. Solve r = 4*x - 18 + 10 for x.
2
Suppose -5*a + 23 = -3*t, -a + 2*t = 4*a - 22. Solve 2*o = a*o - 10 for o.
5
Let o be ((-42)/(-84))/((-1)/8) + 5. Solve 0 = -4*w - o + 13 for w.
3
Let r be (-20)/6*54/(-45). Let x(z) = -z**3 + 10*z**2 - 17*z + 12. Let d be x(6). Suppose 0 = r*s - 7*s + d. Solve -3 = 5*l - s for l.
3
Suppose w = -2*b + 27, 2*w + 86 = 3*b + 56. Solve -b*i - 5*i - 17 = 0 for i.
-1
Suppose 0 = 4*q - 133 - 7. Solve q = 2*u + 5*u for u.
5
Suppose 5*q - 44 = n, 11*q - 6*q - 20 = -5*n. Solve -5*c + 23 = q for c.
3
Let f(n) = n**2 + 14*n - 164. Let w be f(-22). Solve -w*c + 9*c - 6 = 0 for c.
-2
Suppose -4*r + 3 = -3*w + 11, 0 = -5*w + r + 2. Solve w = -9*j - 11 + 2 for j.
-1
Let v be 184/(-36)*3*-3. Let x = v - 19. Suppose 4*i - x = -k, 3*i + 4*k - 5 + 1 = 0. Solve -j = 3*j + i for j.
-2
Let s(l) = 5*l**2 - 8*l + 4. Let r(b) = 4*b**2 - 7*b + 4. Let g(p) = -3*r(p) + 2*s(p). Let h be g(3). Let f be h/28 - (-42)/8. Solve -2 = f*d + 18 for d.
-4
Suppose -3*u = -6, -4*r = -6*u + 4*u - 8. Let g = 0 + r. Solve 2 = -g*l - 1 for l.
-1
Let n(u) = u**3 + 6*u**2 + 4*u - 3. Let d be n(-6). Suppose -j = 4*m + 44 + 47, -5*j + 25 = 0. Let i = m - d. Solve 4*k - i = -7 for k.
-1
Let g(a) = -4 - 1 - 1 + a**2 + 16*a - 10*a. Let p be g(-7). Solve -p + 3 = 2*r for r.
1
Let z(u) = -408*u - 2037. Let i be z(-5). Let g(c) = -c + 4. Let p be g(-5). Solve -3*x - i = -p for x.
2
Suppose 2*k - 26 = -38. Let o(t) = -t**2 - 8*t - 11. Let i be o(k). Solve -2*c = -7 - i for c.
4
Let w be 1/(-9) - 84/(-27). Solve 0 = 4*r - 13 - w for r.
4
Let k = -19 + 25. Suppose -2*j - k = -4*j. Let t(n) = -n**3 + 5*n**2 - 7*n + 4. Let r be t(j). Solve 0 = w - r for w.
1
Suppose 0 = -6*b + 2*b + l + 81, -2*b + 3*l = -43. Solve -2*p + 7*p = b for p.
4
Suppose 2*c + 4 = 6*x - 2*x, -c + 7 = x. Suppose 0 = -3*v - 2*v + 15. Solve c*j - v - 9 = 0 for j.
3
Let l = -90 + 90. Solve l = -b - 19 + 14 for b.
-5
Let w(h) = -h**3 + 13*h**2 + 3. Let x be w(13). Let u(k) = k**3 + 12*k**2 + 26*k + 1. Let a be u(-9). Solve -x*b = -b + a for b.
-5
Let g be 14*(-5)/(5/2)