1
Let m be ((-2)/(-4))/((-1)/(-4)). Suppose 0*s - 88 = -m*s. Let a(c) = 2*c**2 - 2*c - 2. Let l be a(-2). Solve -5*x - 5*o + 4 = s, l = -2*o for x.
-3
Let v(n) = -n**3 - 2*n**2 + 5. Let p be v(-2). Solve -4*k + 4 = -3*k - 4*g, 5*k + 5*g = -p for k.
0
Suppose -14 - 4 = -2*y. Solve 2*o - z - 3 = -2*z, -3*z - y = 0 for o.
3
Let t(m) = m**2 - 8*m. Let c be t(8). Let v = 790 + -784. Solve c = -5*h - 4*j, v*j + 8 = -3*h + 2*j for h.
4
Let f = 1845 - 1819. Solve 0 = 2*n - y + 8, y = -5*n + 5*y - f for n.
-2
Let m = -2 + 6. Suppose 2*u = m*u + g - 5, 2*u - 10 = -2*g. Let r be (-2 - 4 - u)/(-2). Solve 0 = r*v + 4*z - 8, -3*v + 3 - 1 = z for v.
0
Suppose -68*r = -51*r - 102. Solve 0 = 2*g + 4*z + 8, 4*z = -r - 2 for g.
0
Suppose 7 + 17 = 6*d. Suppose -d*f = -2*n - 8, -6 = n + 3*n - 3*f. Let u(i) = 2*i + 4. Let v be u(n). Solve -a + v*a + 4 = -4*w, 5*a = 2*w + 2 for w.
-1
Let m be 6/(-3)*14/(-2). Suppose -4*w - m + 2 = 2*r, -3*r = -2*w - 22. Solve -3*p + 1 = -g, 4*p - g - r = 3*g for p.
0
Let v(p) = 2*p**3 + 96*p**2 + p + 53. Let k be v(-48). Solve -3*y - 10 = 5, -4*y = k*t for t.
4
Suppose 1 = r + c, -6*c = -4*r - c + 22. Solve 4*y - 4*n = 16, -r*y + 2*y = 2*n + 11 for y.
-1
Suppose 2*t - 2*r - 40 = 0, -4*t - 4*r + 78 = -9*r. Suppose 2*z - 3*z = 4*w - t, -2*w = 3*z - 16. Solve w*x + 0 - 14 = 3*c, -x + 4 = 0 for c.
2
Let j = 1256 + -1251. Solve 5*i - 45 = -j*d, -2*i - 15 = -7*i + d for i.
4
Let r = 9 - 7. Let g = r + 2. Solve 4*u - 16 = -5*l, 3*l - g = 3*u + 11 for l.
4
Let j be (-52)/(-9) - (-20)/90 - 1. Solve 4*d - 4 = -4*w, 0 = d - j*d - 12 for w.
4
Let u = -277 - -279. Let g = 18 - 10. Let q be 0/(-11) + g/u. Solve -q*k - 31 = 4*z - z, -2*z + 4*k = -6 for z.
-5
Let b(w) = -w**2 - 18*w - 43. Let h be b(-15). Solve -2*l - 6 = -h*q, -5*q + 15 = -2*l - 0*l for q.
3
Suppose d - 3*w = 2*w + 21, -4*d = -w - 8. Let p be (-6)/21 + ((-88)/(-14) - d). Solve p*x + 0*x = 2*i - 4, -4*x = 5*i + 23 for x.
-2
Suppose -11*w + 7*w + 36 = -5*k, -4*k = -5*w + 36. Solve -8 = -3*a + p, -w*a - p - 3*p - 16 = 0 for a.
1
Let u = -127 + 131. Suppose -q - 5*l + 15 = 0, -4*q + 7*l = 2*l + 15. Let f = 6 + 6. Solve 2*c + z = -q*c + f, -z = u*c - 20 for c.
4
Suppose 5*f - 16 = -j + 3*j, 2*f - 4*j - 16 = 0. Let m = 9 + -41. Let a be ((-2)/(-2))/((-1)/m). Solve 4*i = 4*x + a, -i = 6*x - f*x + 17 for i.
3
Let l = 76 - 63. Suppose l*n = 3*n + 20. Solve 0 = -5*x + 3*z, 4*x - n*z + 0 = 2 for x.
3
Suppose -3*v + o - 8 = 1, -4*v - o - 12 = 0. Let l be 0/2*1/v. Solve l = 5*b + 2*d, -3*b + 5*b - 4*d + 24 = 0 for b.
-2
Let r = -93 + 96. Solve 4*z + z - 14 = -g, -3*g = r for z.
3
Suppose 5*t = 3*t + 26. Solve n + t = 3*n + 3*x, 2*n = -5*x + 15 for n.
5
Suppose -8 = 24*k - 128. Solve 0 = b + 3*i - 10, k*i = -b + 3*b + 13 for b.
1
Suppose q + q - 30 = 0. Suppose -6*a = -q*a + 27. Solve -5*o = 4*l - a, -l = -o - 5*l + 7 for o.
-1
Let k(a) = -7*a - 13. Let i be k(9). Let l = 76 + i. Solve l = 2*y - 3*d - 19, -2*d - 17 = -2*y - 1 for y.
5
Let o = -46 - -49. Let l be (12/(-15))/((-2)/40). Suppose 5*x - l = x. Solve q + g - 9 = 3*q, x*g - 11 = o*q for q.
-5
Let u(o) = -o**2 + 8*o - 15. Let b be u(5). Solve i + b*i = -4*c + 18, 4*c = 2*i + 24 for c.
5
Suppose 18 = 3*h - 5*s - 11, -5*h = 2*s - 69. Let n = -7 + h. Let q = 33 + -30. Solve 14 - 4 = -5*v - q*r, v - r = n for v.
1
Let q = 137 - 32. Suppose 24*v = 9*v + q. Solve -t + o + v = -2*t, -3*t + 2*o + 4 = 0 for t.
-2
Let p(h) = -6*h**3 - h**2 - h - 1. Let j be p(-1). Let g = 28 - 21. Suppose 3*q - g*q = 0. Solve 4*l - 8 = q, -r + 5*l - 4 = j for r.
1
Let n = -120 - -125. Suppose 0 = q - n*q. Solve q = 4*h - 2*o - 26, 4*h = -4*o + 7 + 1 for h.
5
Suppose 2*l = 5*z - 47 + 19, -3*z + 24 = -3*l. Solve 3*k - z*i + 5*i = 13, -10 = -4*k - 5*i for k.
5
Let f be (-7)/(-1) - (-19 + 19). Solve 2*t = -2*b - 2, -t = -f*b + 6*b - 1 for b.
-1
Let u(z) = 4*z - 7. Let v be u(2). Let b = v + 4. Solve -a + 6 + 7 = -b*g, 0 = 2*g - a + 7 for g.
-2
Let q = -70 + 126. Let p = q - 54. Solve 0 = -5*a + 5*n - 35, p*a - 3*n + 22 = n for a.
-3
Suppose 5*j - 8 = -4*c + 7, 0 = -2*c - 2*j + 8. Solve 2*a + c*b = -20, -a - b = -0*a + 7 for a.
-5
Suppose 0 = 4*p - 12. Suppose v - p - 9 = 0. Solve v = 3*u, -5*f - 2*u = u - 37 for f.
5
Let o(c) = -c - 4. Let b be o(-7). Suppose -j - 8 = -3*i, 21 + 3 = 3*j + 3*i. Solve 15 = -b*t, -j*a + 8 = -4*t - 0*t for a.
-3
Let t be 39182/2288 + (-1)/8. Solve 2*n - 5*g + 8*g = -t, 2*n + 4*g = -20 for n.
-4
Suppose -4*r + 28 = 8. Let p(g) = 7*g**2 - 14*g - 15. Let d be p(-1). Solve 4*q + d = 3*n, -n - r*q = -0 - 2 for n.
2
Suppose -4*m + 8 = -2*u + 6, 5*u + 4*m - 9 = 0. Solve 18 = -4*w + 2*q, -3*q + 0 - u = w for w.
-4
Let c = -1 - -1. Suppose -3*h - 8 = -5*b, 0 = b - 3*h + 2*h. Suppose 3*j + 5*k + 11 - 3 = 0, c = 2*j + b*k + 8. Solve -y - j*o + 16 = -5*y, -y = o + 2 for y.
-3
Let q(d) = d - 4. Let n be q(6). Let s be ((-98)/35)/(n/(-5)). Solve s*t - 2*t = k + 2, 3*k + 5*t + 6 = 0 for k.
-2
Let c = -361 - -366. Solve -c*u + 5 = -4*k - 5, -2*k + 5*u - 10 = 0 for k.
0
Let z(y) = 14*y + 28. Let s be z(-2). Solve 3*m - 2*q - 8 = s, 0 = -m + q - 2*q - 4 for m.
0
Let y(k) = k**2 + 3*k - 1. Let t be y(-4). Suppose -t*w = 1 + 2. Let o be (-10)/4*(-1 + w). Solve -3*v + i = -6, -2*v + o*i - 10 = -1 for v.
3
Suppose -3*k - 2*k + 20 = 0, -2*c + 4*k - 160 = 0. Let b be (-18)/c - (2 - (-83)/(-4)). Solve b = -2*o - 3*j, -7*o - 2*j = -2*o + 31 for o.
-5
Suppose 14*p - 152 = 114. Solve 3*n + 2*l - 1 = 0, n + 2*l = 6*l + p for n.
3
Suppose -2*r + 18 = 2. Suppose -34 = -d + 4*c, 4*d + 92 = 7*d - 2*c. Let t be (r + -10)/((-4)/d). Solve 5*a = 5*i - t, 4*i = -4*a + 3*a + 17 for i.
4
Let t(h) = h - 6. Let c be t(5). Let x be c/(-8) - (-195)/104. Solve 0 = -0*p - x*p + 4*k + 12, 0 = -4*p + 2*k + 18 for p.
4
Let r(x) = -5*x**3 - 2*x**2 + 1. Let d be r(-1). Suppose -4*u + 6*u - d = 0. Solve -5*t = u*a - 5, -5*t - a + 3 + 2 = 0 for t.
1
Let a be -3 - (5 - (-5 - -15)). Solve 3*d = -a*o + 2, 2*o = -0*d + 5*d - 14 for o.
-2
Let r = -222 + 231. Let g be 0/(-2) + -2 + 5. Suppose -g*k + r = 5*y, -k - 3 = -5*y - 2*k. Solve m - 6 = 4*m - 4*l, y = -l for m.
-2
Suppose -22 = -2*j + 4*l, 0*j - j - 2*l = 5. Solve -j*t + 2*t - 4 = 0, -4*t = -3*g + 22 for g.
2
Suppose 11 - 5 = 5*i + 2*w, -3*i + 5*w = 15. Solve r + 3*z - 2*z - 1 = i, 10 = r + 4*z for r.
-2
Let h = 86 + -51. Suppose 4*s - d = -13 + h, 2*s - 16 = -2*d. Let x = 10 - s. Solve n + 0*r - x*r = 0, -4 = -2*n + 4*r for n.
4
Let d = -3 + 7. Suppose 2*c + 5*g = -6, 5*g + 12 + d = 3*c. Solve 3*b = b - 4*x + 28, 3 = c*b - x for b.
4
Suppose -18 = -5*g - n - 5, 5*n + 4 = -2*g. Solve 0*p + 10 = -p + 3*u, g*p = 3*u for p.
5
Let z = -6 - -11. Suppose -4*t = -g - 10, 0 = -z*t + 1 + 14. Suppose -g*x = -1 - 1. Solve -2*a + 0*a + x = -v, 12 = -5*v + 3*a for v.
-3
Let l be (0/(-4))/(-2) + 3. Solve 0 = -l*z + 4*q - 14, -z - 2*q - 2*q = -22 for z.
2
Let m be 2/(-4) - 2/(-4). Let o = -1612 + 1617. Solve m = o*n + y - 2*y - 13, -1 = -5*n - 3*y for n.
2
Let o = 0 - 9. Let y(l) = l**2 + 11*l - 7. Let x be y(o). Let z = -25 - x. Solve -3*j + 9 = z, 2*c - 3 = 5*c - 4*j for c.
3
Let l be 2 + (2 - (-28)/(-4)) + 3. Suppose -5*i - i + 30 = l. Solve i*g - 8 - 17 = 0, 3*m + 6 = 3*g for m.
3
Let y(x) = -2*x**2 - 4*x. Let n(q) = q**2 + 7*q + 8. Let c be n(-5). Let o be y(c). Solve -k + 3*g + 2 = o, g - 3 - 1 = -2*k for k.
2
Let g = -9 - -16. Suppose -4*f = -5*r + 17, -3*f + 3*r - g - 5 = 0. Let v be (-1)/f + (-1)/3. Solve v*j + 2*j + 5*z - 16 = 0, 14 = 4*j + z for j.
3
Let f = 22 - 16. Suppose m - 3 = o, 4*m + 4*o + 0 = 12. Suppose m - f = -p. Solve 0 = 4*i - 20, p*h - 4*h + 4*i - 17 = 0 for h.
3
Suppose -13*b = -11*b + 36. Let q = -13 - b. Suppose 2*m + 2*m = 0. Solve -3*n = -4*c + 2 - m, 0 = n - q*c - 3 for n.
-2
Let j be (0 + (-1 - -2))/(1/15). Suppose -6*s = -5*s - 4. Suppose 0 = m + m. Solve 5*y = -s*o - j, 0 = -5*y - 2*o - m - 5 for y.
1
Let a be 960/(-18) - (-2)/(-3). Let w be a/(-10) + 16/(-40). Solve 2*t + o = -w, 0 = o - 6*o - 5 for t.
-2
Suppose 0 = 10*u - 7*u + 18. Let p(a) be the first derivative of -a**2/2 - a - 3. Let o be p(u). Solve 0 = -3*d, 0*q - 4*q - 8 = o*d for q.
-2
Let g(j) = j**2 + j - 1. Let t be g(-1). Let f be 1/t*1 - -4. Solve 3*l - 6*l = 2*a - 9, 2*l = f*a + 6 for a.
0
Let n(o) = -o**3 + 2*o**2 + o + 8. Let v be n(0). Solve -3*