. Solve 2*z = t + z - d, 5*t - 11 = 2*z for t.
1
Let x(i) = -i**3 - 2*i**2 - 2*i - 1. Let f be x(-2). Suppose 4*c + 6 = 2*w, -4 = 4*w + 8. Let y be c*(-8)/6 + -2. Solve y*h - r = 10, 3*h - f*r - 20 = -5 for h.
5
Suppose 2*v - 30 = -2*m, -4*v = -0*v - 5*m - 24. Let n be 2*(30/4 + -1). Let j = n - v. Solve -2*l - 2 = 3*d, j*d + l = -2*d + 4 for d.
2
Let i = -15 + 15. Suppose i = -3*k - 3*k + 78. Solve 3*v + 0*d = -2*d + 19, 4*v - 5*d + k = 0 for v.
3
Let y = 34 - 19. Suppose 10 = 5*q, y = -4*h - 4*q - 5. Let w be 5 - (h + (-1 - -4)). Solve 0 = -4*a + 2*r + 8, 2*a = -3*r + w + 3 for a.
3
Let l be 18 + -21*(-8)/(-12). Let n = 2 + 0. Solve l*q - 2*o = -0 + n, -4*q - 2*o = 10 for q.
-1
Let c = -138 - -144. Let h be -6*3/c - (-3 + 0). Suppose -4*s + 7 + 13 = 0. Solve -s*v + 4*o + 11 = h, -10 = -7*v + 2*v + 5*o for v.
3
Let f = 3237 - 3233. Solve 18 = 3*j + 2*u, -f*u = -3*u - 3 for j.
4
Let t = 7 - 2. Let y = 303 + -283. Solve y = 6*w - w + 4*a, 5*w - t*a - 20 = 0 for w.
4
Suppose -l + 0 + 4 = 0. Let o(a) = a + 8. Let d be o(0). Suppose l*w - d = 2*w. Solve 4*t = -4*p + w + 8, -4*t = 0 for p.
3
Let x(u) = u**3 + 10*u**2 - u - 17. Let v be x(-10). Let t(p) = p**3 + 5*p**2 - 16*p - 10. Let m be t(v). Solve 3*d = 0, m*h - 6 = 3*d - 18 for h.
-3
Suppose 2 + 8 = 2*w. Let r = w + 0. Suppose 15 + 10 = 3*v - 5*d, 0 = -r*v + 2*d + 29. Solve -4*q = 12, 3*h + 5*q + 10 = -v for h.
0
Let u = 20 + -15. Suppose -9 = -u*w + 21. Let h = w - 1. Solve 25 = 4*t - 3*x - 0, h*t - 4*x - 32 = 0 for t.
4
Suppose 2*v + m - 2 = 0, -3 = 4*m - 11. Let r(b) = -b**2 + 9*b + 60. Let n be r(13). Solve 2*j + 3*p + n = -0*j, v = 3*p for j.
-4
Let x = -10 - -15. Let m = -178 - -114. Let d be 2/(-8) + (-16)/m. Solve -2*y + 5*r - 23 = -y, d = -x*y - 2*r - 7 for y.
-3
Suppose 3*z + 8 = 5*t - 41, -z - 3 = 0. Suppose 4*v = t*v. Suppose -2*m - 4*j - 12 = v, 2*m - 2*j - 11 = 7. Solve -b + 0*b = -5*s - m, 2*b + s - 8 = 0 for b.
4
Let y(z) = -5*z - 1. Suppose -4*q = j + 2 + 1, -5*q - j = 5. Let r be y(q). Suppose -r*b + 5*b = -8. Solve 4*s - i + 12 = 0, 5*s = 3*s - b*i + 4 for s.
-2
Let o = 96 - 93. Suppose a = 6*a - 15. Solve -4*v = l - a, -l - 2*l = o*v for v.
1
Suppose 8 = 3*y - 10. Suppose -65*z = -84 - 46. Suppose -o = -5*o + 12. Solve 8*v + 14 = 4*q + o*v, 2*q - z*v = y for q.
1
Let x = -65 + 95. Let w(d) = -13*d**3 - 2*d**2 + 7*d**3 - 4*d + 3 + 7*d**3. Let l be w(3). Solve 3*h + 5 = 3*g - 4, l = -4*h - 5*g - x for h.
-5
Let h = 60 - 36. Suppose 4*c + 8 - h = 0. Suppose 0 = 5*w - 4*q - 12 - 9, c = 4*q. Solve w*d + 16 = 2*i, -4*d + 3*i - 16 = 1 for d.
-2
Suppose -4*h = -h. Let v = 8 - 20. Let l be (-4 - -2 - -1)/(4/v). Solve i = t + 9, -2*t + h*t + 7 = l*i for t.
-4
Let r be (-4)/(-3)*3/(-2). Let w be 0/(1*r/(-1)). Suppose w = 3*b - 21 + 6. Solve 3*n + 0*n = -2*f + 9, 0 = -b*f for n.
3
Let o(d) = 4*d**3 - 2*d**2 - 2. Let f be o(2). Let v = f + -16. Suppose 20*w - 21*w + 3 = 0. Solve -3*p - w*c + 12 = -4*p, 3*p + c + v = 0 for p.
-3
Let x(i) = i**3 - 9*i**2 + 19*i - 4. Let f be x(6). Let z(c) = 2*c**3 - c**2 - 2*c - 3. Let m be z(f). Solve -m*w + 0*w = 3*k + 4, 3 = -k for w.
1
Let i = -307 - -311. Solve -i*q + 15 = -4*b - 13, 2*q + b = -1 for q.
2
Suppose -f + 72 - 225 = 3*q, 0 = -3*q - 5*f - 153. Let z = q + 54. Solve -5*i = -z*b + 4*b + 16, -36 = -5*b + 4*i for b.
4
Let p = 1 - -1. Let n be (-12)/8 + 6/(-12). Let c be n/9 - 29/(-9). Solve -4*s + c = -5*u, p*u + u + 3*s = 9 for u.
1
Let s(m) = 8*m**2 + 5*m + 9. Let a be s(-2). Suppose 0 = -28*t + a*t - 6. Solve -5*h = -5*p - 5, -2*h + 4*p - t = -0*p for h.
3
Suppose 5*y = -b - 6, 30*y + 66 = 5*b + 31*y. Solve -5*k = -4*w + 29, -3*w - 12*k + b*k + 13 = 0 for w.
1
Let a(t) = -4*t - 78. Let o be a(-20). Solve -2*y - 4*w = 6, 2*w = -y - o*y - 1 for y.
1
Let n = 18 + -12. Let o(j) be the second derivative of -j**5/20 + 5*j**4/12 + j**3 + j**2 + 7*j. Let t be o(n). Solve 0 = -h + y - t, h + 5*y = -0 - 20 for h.
-5
Suppose -5*q = -5*w + 5, -4*w - 12*q + 17*q + 3 = 0. Solve -w*r + 23 = 5*f + 41, -3*r + 5*f + 23 = 0 for r.
1
Let w be 10/(-6)*9/(-5). Suppose -4*v + 5 = -3*q, -v = -w*v + 10. Solve -3*l - 3*c + 8 = 2, -q*l + 4*c = -1 for l.
1
Let r be ((-28)/(-20))/(2/10). Suppose 0 = -2*d - 2*d + 2*b + 18, -2*d - b + r = 0. Solve -2*t - 4 = d*i, 0 = -t + 3*i - 0*i + 13 for t.
4
Let g = 152 - 260. Let m = -104 - g. Solve -2 = -2*q, 4*v + q = -m*q + 25 for v.
5
Suppose 0 = 2*o - o. Let q be (2/(-3))/(-4 - (-306)/81). Solve -10 = -o*x - x + 5*g, -q*x - 18 = g for x.
-5
Let i(z) = z**2 - 7*z + 4. Let h be i(5). Let t be (1/(-3) + 0)*h. Solve 10 = -t*v, -2*m + 3*v = 5*v for m.
5
Suppose -5*p + 206 = 5*b + 71, 2*b + p - 49 = 0. Solve -4*z + 0*h + 2*h = -b, -40 = -5*z + 5*h for z.
3
Suppose 2*i - j = -10, j + 0 = 4. Let z be 98*(-2)/(-12) - (-1)/i. Solve -z = 4*k, -3*x + x = 4*k + 6 for x.
5
Suppose -71 = -9*d + 145. Suppose 0*k = 3*k - 15. Solve -k*a + i = d, 8*i + 4 = 4*i for a.
-5
Let q(d) = -d + 3. Suppose 3 = 2*u - 1. Suppose -4*x + b - 1 - 3 = 0, 14 = -3*x - u*b. Let c be q(x). Solve 1 = n + 2*f + 3, -6 = 3*n + c*f for n.
-2
Suppose -13*r + 0*r + 39 = 0. Solve r*f - 9 = -3*u, f + 0*u - 4*u = -22 for f.
-2
Let a be (-2)/(-7) - 66/(-14). Let g = 71 - 143. Let z be (240/g)/((-4)/6). Solve r + a*c - 22 = 0, 5*r + 0*c + z*c = 10 for r.
-3
Let r = 8 + -6. Suppose -4*i - 2*q = -0*q, r*i + 2*q + 4 = 0. Solve n + 16 = 5*n - i*z, -8 = -2*n - 3*z for n.
4
Let d(l) = l + 4. Let y be d(20). Suppose 2*u - 20 = 3*h - 8, -8 = -5*u + 2*h. Solve -3*n = 4*v + 19, -2*v + v + 5*n + y = u for v.
-1
Let p = 68 - 18. Suppose -p = -3*j - 2*j. Let q(s) = s**2 - 11*s + 13. Let g be q(j). Solve 19 = 4*t + 4*o - g*o, -2*o + 6 = 0 for t.
4
Suppose -12*x + 11*x = 0. Let l be x*(2/4)/(0 - -1). Solve 4*w + 1 = 5*r, l = -r + 4*w - 2 - 1 for r.
1
Let g be ((-56)/(-40) - -4) + (-2)/5. Suppose g*m + 5*u = 20, -3*m + 16 = -0*m - u. Solve -2 = s, q = m*s + 9 + 1 for q.
0
Let o(g) = -21*g + 3. Let x be o(0). Solve -x*a + 0 = 2*w - 2, -4*a = -3*w + 3 for a.
0
Let n(b) = 2*b - 42. Suppose 13*h - 23 = 12*h. Let z be n(h). Let d(r) = 2*r. Let g be d(4). Solve 2*c + 16 = z*f, 0*c - 3*c = 2*f + g for f.
2
Suppose -1387*c + 16 = -1379*c. Solve 4*s + 12 = -5*r - 0, c*r - 2*s + 12 = 0 for r.
-4
Let z be 1/((-4)/(-27)) + (-3)/(-12). Suppose -l - 4*u = -z, 5*l = u + 35 + 63. Solve l = -2*b + 5*f, -6*f + 25 = -f for b.
3
Let s be (-6)/(-3)*-1 - -3. Let d(p) = -3*p**3 + 2*p - 1. Let n be d(s). Let v be 5 + n/((-8)/12). Solve -7*q = -3*q + 4*c + 12, -2*c = q + v for q.
2
Let k(u) = -u**3 + 6*u**2 - 6*u + 7. Let f be k(5). Let s be (-1 + f)/(2/8). Let t = 407 + -400. Solve -4*g - h = -t, -g + h - 5 = -s*g for g.
2
Let c = 280 + -269. Solve -c = -k + 4*b - 1, 14 = -4*k - 2*b for k.
-2
Let n(q) = -q**2 + 9*q + 5. Let l be n(9). Suppose 33 = l*k + 13. Solve 5*p = 2*b - 12, -3*b - 4*p + k - 32 = 0 for b.
-4
Let m = -936 + 951. Solve -22 = -4*i + o, 5*i - 4 = -3*o + m for i.
5
Let l = -20 - -24. Suppose l*d - 12 = d. Solve 5*z + 9 = v - 5*v, -4*z = -d*v for z.
-1
Let d be (-3)/9 + (-40)/(-12). Let h be 3 - -1*(-2 + 3). Suppose h*j - 44 = o, 0 = j - 2*j + 2*o + 4. Solve -5*u + j = -3, -21 = -3*t - d*u for t.
4
Let b = -323 - -324. Solve 3*l + v + b = 2*v, 5*l = 4*v + 3 for l.
-1
Let p(d) = 83*d + 833. Let c be p(-10). Solve -6*b + c*b + 1 = -l, -3*l - 3 = b for b.
0
Let b be 2*(-1)/(1/(-4)). Let v(k) = -k**2 + 2*k**2 - 7 - 11 + b*k. Let q be v(-10). Solve 4*z + 2 + q = -5*u, 4*u = -4*z - 4 for z.
-1
Let b be (12/8)/((-1)/(-8)). Solve b = 3*q, -3*u = -6*q + 2*q + 7 for u.
3
Let a be -4 + 24/4 + 0 + 0. Suppose 5*v = v - 8, 4*v = -a*f + 6. Solve 2*u - 7 = 4*s + 1, 5*u - f = -3*s for s.
-1
Let s(k) = k**2 + 3*k - 7. Let l be s(-5). Let h be (24/15)/(2/(-5)). Let x be (-14)/h*(4 - 2). Solve l*n + 3 = -3*v, -2*v + x = n + 3*v for n.
-3
Let k(q) = -q**3 - 7*q**2 + 10*q + 13. Let h be k(-8). Let a be (h - -2)*5/(15/(-6)). Solve 4*n - p - a*p + 12 = 0, 0 = 2*p for n.
-3
Suppose 42 = 4*n + 5*a + 7, 4*n - 5*a - 85 = 0. Suppose -c = -n - 9. Suppose c = 3*x + x. Solve -4*o = b - x*b + 5, 0 = 3*o - 5*b + 5 for o.
0
Let v be (-30)/75 - (6/(-5))/3. Suppose 2*n + 8 = -2*n. Let m be n/(-1) + 0 + 0. Solve v = m*w - 6, 0*l + 2*l - 2*w = 4 for l.
5
Let g = 28 + -24. Suppose -g*m = 2*m - 54. Solve -3*u = -3*x - x + 13, 3*u = 3*x