 for x.
-3
Suppose -8 = -4*a, -2*a + 5*a = -5*u + 16. Solve 2*v + z + 7 = -0*z, -15 = 5*v + u*z for v.
-1
Suppose -24*p + 28*p = 12. Let u = 8 - 5. Let l = -3 - -30. Solve u*v = -p*m - l, 0*m + 17 = -v - 3*m for v.
-5
Let c(l) = l - 10. Let r be c(10). Solve -3*h - 3 = 4*o, -o + r*h + 6 = 3*h for o.
-3
Suppose 4*m + 0*m = 12. Suppose 8*g + 1 = 9. Solve m*d = v - g + 4, -d - 5*v = 15 for d.
0
Let w = 3 - -2. Let f be w*3*(-2)/(-6). Let q(n) = n**3 - 9*n**2 - 10*n + 3. Let i be q(10). Solve i*s + j - 11 = 0, f*j + 1 = 2*s - 12 for s.
4
Suppose 4*z = 4 + 8. Suppose m - 7 = z. Solve -2*f + 3*g - 1 = 0, 5*f = g + 4*g - m for f.
-5
Suppose 0 = -f - 2 + 10. Suppose 0 = s - b - f, 9 + 3 = 2*s - 4*b. Solve -5*t + 10 = 2*j, -s = -2*t + 4*j - 30 for t.
0
Suppose 0 = 5*j - 4*n + 2, 4*j - j + 4*n = 18. Solve -q - j = -i, -3*i + 4*i + 3*q = 14 for i.
5
Let m be 4/(-8)*(-7 - 3). Solve -m*p - 2*r + 3 = 0, 4*r = 5*r - 4 for p.
-1
Let b = 1 + -3. Let p be (-12)/(b + 1) - 0. Solve 3*d - p = -5*v, -4*v - 3*d + 9 + 3 = 0 for v.
0
Suppose 0 = -2*c - 10, -5*r = -4*r - 2*c - 16. Suppose 5*n = 14 + r. Let y be 2 + (0 - (2 - 2)). Solve -b = -y, 0 = -n*f - 0*f + 2*b - 8 for f.
-1
Let d = -39 + 43. Solve 0 = 2*u + 3*g - 19, 2*u + 0*g - 24 = -d*g for u.
2
Let z be (-2)/(-8)*22*2. Solve z = d + 3*x, -3*d + 4*x - 1 - 31 = 0 for d.
-4
Let n(l) = -l + 18. Let y be n(16). Solve -3*g + 31 = 5*c, -5*g + y*g - c = -11 for g.
2
Let y = -9 + 15. Let i = 18 + -13. Suppose n + i = c - 4, -5 = n. Solve 3*w - 22 = c*u, -w = -u - 0*u - y for w.
2
Let y(f) = f + 3. Let q be y(3). Let r = q + -2. Let o be 99/21 + r/14. Solve v + 19 = -5*a, o*a - a = 2*v - 18 for v.
1
Suppose -5*r - 3*x = 98, -4*x + 7*x - 34 = r. Let v(o) = o**2 + o + 3. Let i be v(5). Let s = r + i. Solve -4*c - s = -4*z + 5, 4*c = 3*z - 13 for c.
-1
Let v be (-4)/5*(-525)/30. Solve 4*a - a = 6, -4*k = 3*a - v for k.
2
Suppose 7*i - 3*i - 20 = 0. Solve i*d + 24 = 2*r, -8 = -3*r + r + d for r.
2
Let x = 31 + -29. Let j(v) = v**3 + 4*v**2 - 2*v - 3. Let c be j(-4). Solve x*m = 2*p - c*p + 25, 0 = -4*m - p + 25 for m.
5
Let r = -4 + 16. Solve 4*s + r = -2*w, 4*s + 5*w - 40 = 8*s for s.
-5
Let f(k) = -k**2 + 21*k - 65. Let c be f(17). Suppose a - 2*a = -30. Solve c*h + 8 = -7, 0 = -4*x + 2*h + a for x.
5
Let h(k) = 7*k - 47. Let i be h(9). Solve -20 = 5*t, i = -5*d - t - 3*t for d.
0
Suppose 9 + 180 = 7*q. Solve -2*j = -5*x - 0 + q, -x - j + 4 = 0 for x.
5
Let w = -198 - -198. Solve i - 4 = w, -17 = -3*v - 6*i + 4*i for v.
3
Suppose 1 - 3 = -w. Solve -2*m - 3*c = -0*c - 10, 0 = 2*m + c - w for m.
-1
Let n be (8/(-10))/(2/(-5)). Suppose -5*a + 0*a = -85. Suppose 0*k - k + 5*p - a = 0, n*k + p - 10 = 0. Solve 5*c + 18 = -j, -5*c + k*j = 5*j + 16 for c.
-4
Suppose 2*j + 2 = 3*i, 4 = 5*i - 3*j - 0. Solve 3*b + c = -2*c, -i*c = 2 for b.
1
Let q(m) = -1 + 1 - 4 + m**2 - 3. Let j be q(-6). Let u = j - 13. Solve w - 2*o + 11 = -0*o, 5*w + u = -3*o for w.
-5
Suppose v - 5*l = -3*l - 4, 3*v = -l + 16. Solve 3*i - 29 = 5*r, -v*r + i = -3*i + 28 for r.
-4
Let b(n) = -n**2 + 2*n + 1. Let x be 3*(4/3)/2. Let k be b(x). Solve k = -5*r + 4*z, r - 2*z = -2 + 3 for r.
-1
Let g = -369 + 374. Suppose 4*o = 5*s - 2 - 6, -2*o + 22 = 4*s. Solve -v - o*p + 1 = 0, 3*v - g*p = v - 9 for v.
-2
Let n be ((-16)/20)/2*-5. Solve n*m - t = -5, 3*m - 1 = m - t for m.
-1
Let a = 57 + -53. Solve -4*f = a*c - 16, 2*f - 2*c - 3*c + 20 = 0 for f.
0
Let z = -14 - -14. Solve -2*y = -7*o + 3*o - 8, 2*y + 4 = z for o.
-3
Suppose -4*l = 3*t - 12, 0 = -2*t + t + 5*l + 4. Suppose 0 = -4*c + 6*c. Let u = t + c. Solve -u*g + 10 = -2*w, -g + 6*w = 3*w + 5 for g.
4
Let q(o) = o**3 + 4*o**2 - o. Suppose -3*n + 0*n - 12 = 0. Let b be q(n). Solve -2*t + b*r + 12 = 0, 5*t + 5*r = -0*r for t.
2
Let b be ((-16)/6 - -2)/((-1)/6). Solve b*h + 2*z = 0, 0 = 5*h - 2*z + 9 - 0 for h.
-1
Let c(q) = 4*q - 32. Let k be c(13). Solve -5*x + g + 6 = -14, 3*x + g = k for x.
5
Let u be (12/(-8))/(6/(-8)). Solve -r = 3*j - 13, -u*j + r + 2*r = 6 for j.
3
Let k(o) = -o**3 + 11*o**2 - 10*o. Let s be k(10). Suppose -2*m - 12 = -4*u, 2*u + s*m = -2*m. Solve 0*h + 2*h = -2*i + 2, -4*h + 4 = u*i for h.
1
Let h be (-16)/(-72) - 34/(-9). Solve -4*m + 10 = -2*u, 4*m = -h*u - 0*m + 28 for u.
3
Suppose 2*j = -10 - 0. Let u = j + 7. Suppose -3*r = u*r - 10. Solve r*q - w + 5 = 0, w + 1 = 4*q + 10 for q.
-2
Let x = -1 + 5. Let i be (x/3)/((-1)/(-3)). Let k be 30/(-4)*2/(-3). Solve i*n - 5 = -n - k*o, o = 3*n + 1 for n.
0
Let g = 2 + 2. Let n be -6 + 7 + 1 + 1. Solve 0 = g*o + 5*w, 5*o + n*w = 6*w + 37 for o.
5
Suppose 24 = -4*v + 4*h, -11 + 2 = -v - 2*h. Let x(t) = 2*t**2 + t + 2. Let b be x(v). Solve -b*m + 7*m = 2*z - 12, m - 3 = 2*z for m.
-5
Let n be (-2)/9 - (-144)/(-81). Let q be ((-3)/n)/((-18)/(-48)). Let z(g) = g**2 - 2*g - 3. Let c be z(3). Solve 10 = -2*o - c*i - q*i, -o - 5*i = 8 for o.
-3
Suppose -z = -2*z + 9. Let k = z + -3. Solve -s + 2 = -2*x - 1, -2*s - 2*x = k for s.
-1
Let b(s) = s**3 + s**2 - s + 3. Let u be b(2). Solve 4*j + u = 3*z, -5*j - 5*z + 4 + 6 = 0 for j.
-1
Let x be -6*(-2 - 6/(-4)). Suppose -3*k + k = 0, 3*j = 5*k + 15. Solve -d + 2*l - j = 4*d, -x*d + 18 = 3*l for d.
1
Suppose s + 4 = -3*s + 4*t, 0 = -s - 3*t - 9. Let c be (1/2)/(s/(-18)). Suppose 2*q - 4*q + 28 = 4*a, 2*q + 4 = 0. Solve -b + 3*b = a, 5*r = c*b - 7 for r.
1
Suppose -3*p + 9 = -2*p. Let r = 5 - p. Let b(c) = -c**3 - 5*c**2 - 5*c - 2. Let g be b(r). Solve 0 = 4*t - 0*t - 2*v, 0 = -3*t - g*v + 7 for t.
1
Let s(m) be the third derivative of -2/3*m**3 - 1/60*m**5 + 0 + 0*m + 7/24*m**4 + 3*m**2. Let q be s(6). Solve v + 0*v - 6 = -q*f, 3*v = -3*f + 12 for v.
2
Let w(a) = -a**2 - 10*a + 4. Let i be w(-8). Suppose -10*d + 5*d = -i. Solve 10 = -o + 2*t - 3, 0 = t - d for o.
-5
Let n(y) = y**3 - 7*y**2 + 7*y + 3. Let l be n(6). Let h be 2 + (0 - l/(-3)). Let a = 76 - 51. Solve -h*t + 5*g + a = 0, -3*g - 23 = -2*t - 8 for t.
0
Suppose -x + 6 + 1 = -2*t, 3*x + t - 14 = 0. Solve -3*y = -2*y - x*z + 17, -4*y + 1 = 3*z for y.
-2
Let o(p) be the third derivative of -p**4/24 - p**3/3 + p**2. Let d be o(-2). Solve d = -5*h - 4*v - 16, -2*h + v = -2*v + 11 for h.
-4
Let w(a) = a - 3. Suppose -6 = -2*y + 6. Let z be w(y). Let m = 8 - z. Solve -2*n + 6*n - j = -7, 0 = 2*n - m*j + 17 for n.
-1
Suppose 12 + 18 = 2*s - 4*d, -s - 10 = 3*d. Solve -s*o - 6 = 4*u, 4*u = o - 4*o - 10 for u.
-4
Let i be 1/((-1)/3)*-1. Let w = i - 8. Let o = w - -10. Solve 3*z - 37 = -5*b, b + 5 = o*z - 2*b for z.
4
Suppose -18 = -4*d - s, 0*s - 18 = -2*d - 5*s. Solve 4*c - 5*b + 45 = 0, -2*c + d*c - 4*b = -30 for c.
-5
Let j be 44/(-154) - (2 - (-16)/(-7)). Solve 0 = -5*s - u - j*u - 11, -4*s = -u + 7 for s.
-2
Let q(a) = 2*a - 6. Let l be q(4). Let u be (15/10)/(6/8). Solve -l*x - 2 = -k, -u*x - k - 2*k = 10 for x.
-2
Let u be -8 - (-12)/3 - -7. Solve -o - 5*t + u = 0, 0*o - o - t - 1 = 0 for o.
-2
Let o(c) = c**3 + 3*c**2 - c + 2. Let l be 2/(28/(-6) - -4). Let k be o(l). Solve 0 = -k*v + 10, j = -j - 4*v + 4 for j.
-2
Suppose -3*r - 50 = -8*r. Let p = r + -5. Solve 0 = -z + p, -2*h + 5*h + 5*z - 28 = 0 for h.
1
Let f be 2/(-3)*204/(-8). Suppose -2 = 5*n - f. Solve n*y - 13 = 5*c, -4*y - 10 = -2*c - 4 for c.
-5
Let v = 2 + 3. Solve -v*n - 2*k = 4 + 17, -n - 3*k + 1 = 0 for n.
-5
Suppose 0 = -0*c + 4*c - 4. Suppose d - 5*j = -5, c = -j + 3. Suppose -l - 16 = -4*y + 1, -4*y = 5*l - 35. Solve -h + 2*h + 4 = -5*n, 2*h - d = l*n for n.
-1
Suppose -5*b = -6*d + 2*d + 38, -3*b + 3*d = 21. Let z be (-5)/b + (-2)/4. Solve -s = 4*i + 1, -3*i - 3*s + 6 = -z*s for i.
-1
Suppose j - 4*b = -2*j + 24, 3*j - 2*b = 18. Suppose -2*s + j*s = 192. Suppose 3*m - s = -3*p - 2*m, -2*p + 64 = -m. Solve -5*x = 25, 3*x + p = 3*u - x for u.
4
Let h = -22 + 22. Solve h = 2*m + 5*v + 21, -3*v = 4*m + 13 + 8 for m.
-3
Let t = 1 - -7. Solve -4*z - 29 = -5*a, -a + t = a + 2*z for a.
5
Let s = 11 - 3. Suppose -3*o = 4*x - 27 + 5, s = x + 2*o. Solve 4*v + 14 = -3*d, 3*v = x*v + 2 for d.
-2
Let w = -6 - -10. Suppose 0 = -4*v + 2 + 18. Solve 9 + 8 = -v*u - 2*c, w*c - 21 = u for u.
-5
Let a = -2 + 7. Suppose 4*g - 10 = 2*y, 6 = a*y - 19. Suppose d - 2 = u + 3*d, -3 = 3*d. Solve -w + 14 = -4*c + 1, -w + g = u for c.
-2
Let z be (-2)/(-8)*-3*-52. Suppose r = 2*w + 13, -3*r + 4*w + z = 