j*w for w.
2
Let f(d) = -3*d**2 + 48*d - 43. Let i be f(15). Solve 4*x - 5 = -2*s + 1, -i*s = -3*x - 13 for s.
5
Suppose -2*y = -8, -r + 5*r = -5*y + 128. Let m = r + -25. Solve 0 = -5*n - 3*k + 5, 4*n - 5*k - 2 - m = 0 for n.
1
Let s be 132/(-22) + -1 + 5. Let c be (0/(-2))/(s*(-2)/(-1)). Solve 3*d = 2*t + 1, 0*d - d + t - 1 = c for d.
3
Suppose -x - q - 4 = -0*x, -4*x - 12 = 3*q. Suppose 0 = 4*l - 3*n - 3, -1 = 5*l + n - x. Let y = l - -3. Solve -12 = c + d + 4*d, 6 = -y*d for c.
-2
Let l(z) = z**3 - z**2 - z + 6. Let k be l(0). Let a be 3/3 + 21/7. Suppose a*n = k*n - 24. Solve 3*o - 4 = o - q, -n = -4*o - q for o.
4
Suppose -4*p = 6 + 14. Let f(d) = -d + 3. Let v be f(p). Solve v = 4*r + 2*w, 8*r = 3*r - 4*w + 13 for r.
1
Suppose -33*q - 15 = -38*q. Solve 0 = 5*k + o - 2, q*o + 13 = -k + 5*k for k.
1
Suppose 0 = -v - 5*o + 22, 15*v - 4*o - 40 = 11*v. Solve 0 = -2*n - 2*p - v, -n - n + 5*p = -2 for n.
-4
Let i = -141 + 141. Let o be ((-56)/98)/((-2)/7). Solve o*l + i*p - 3*p = 25, 2*l = -p + 5 for l.
5
Let s be (-5)/(-4) + (-3)/(-4). Suppose 0 = -q + 4*l + 21, -5*q + l + 35 = -3*q. Solve 3*k = -j, -5*j = -4*k - s - q for k.
-1
Suppose l = 5*l - 5*q + 4, 4*l + 4 = 4*q. Let j be (-3 - l)*3*4/(-6). Solve -3*u = -2*b + 7, 0 = -2*b + j - 0 for u.
-1
Suppose -4*g - 10 = -30. Solve -4*j = 2*f + 8, -2*j = g*f - 0*f - 12 for f.
4
Let k = -16 - -21. Let i(q) = q - 2. Let m be i(k). Solve 0 = n - g, g - m = -n - 1 for n.
1
Suppose 0 = -5*h + 15, -q + h + 0*h = 0. Suppose -q*v + 264 = v. Let o be (-40)/(-22) - (-12)/v. Solve 5*x + 5 = 2*r + 28, o*r + x = 7 for r.
1
Suppose -d = -20 + 13. Solve -p - c = -2*c + d, c + 5 = -2*p for p.
-4
Suppose -8*d + 7*d = 33. Let b = -29 - d. Solve -21 = -5*u + v, b*u - 6*v = -v + 21 for u.
4
Let g = -162 + 162. Solve 3*a = 5*a + 2*z - 16, g = -3*a - 5*z + 32 for a.
4
Suppose 58*f - 59*f - 5 = -2*b, -35 = -5*b - 5*f. Suppose -48 = -0*x - 3*x. Solve 4*l = 4*c + 12, -b*l - x = 3*c - 0*l for c.
-4
Let j be 10 + (7 - 1)/(-3). Suppose -j = 3*a - 20. Solve 4*m - 2 + 28 = 5*w, a*m - 3*w + 22 = 0 for m.
-4
Let s = -16 + 19. Let q = s - -1. Suppose -19 + 3 = -q*z. Solve 0 = 5*f - z*f - 3*r, 14 = -4*f - 2*r for f.
-3
Let k be -1 - -6 - (0 + 0). Suppose -k*p + 9 + 6 = 0. Solve -p*u = -5*f + 3 - 11, -20 = u + 4*f for u.
-4
Let g(r) = -r + 16. Let n be g(13). Let p be 9 - (n + -2 + 3). Solve f = -z, -p*f + 9 + 7 = z for f.
4
Suppose 2*t = 7*n - 4*n - 29, 0 = 5*n - 5*t - 55. Let v = n + -4. Let g = -4 + 6. Solve 16 = 5*p - v*u, 4*u - 31 = -g*p - 9 for p.
5
Let w = 867 - 861. Solve -5*j + 1 = -2*u, j - 3 = -4*u + w for u.
2
Suppose -3 = -3*g + 3. Let z be 1 + 1 - 6/g. Let a = -1 - z. Solve a = 3*i - 8*x + 3*x + 16, -18 = 5*i - 4*x for i.
-2
Let a(r) = r - 2. Let g be a(4). Suppose 0 = -g*m - 7 + 11. Solve s = m, -s - 3*s + 5 = v for v.
-3
Let i = 5258 + -5258. Suppose w - k - 1 = -0, 2*w + 5*k = 9. Solve -2*p + 4*b = i, -p = -w*b - b for p.
0
Suppose -2*a - 3 = 5*x + 7, 5*a = -2*x + 17. Let s be (5 - a)/(0 + -2). Suppose 5*j - 2*j = 5*r - 6, s = -2*r + 2*j. Solve -y = 5*g + 9, r = -y + 2*g + 1 for y.
-4
Let a(p) = -2*p**2 - 26*p - 56. Let k be a(-10). Solve 5*h - 5 = 0, 0*d + d = k*h - 3 for d.
1
Suppose -10*k - 1381 + 1401 = 0. Solve -k*x - 4*s + s = 1, -4 = -x + 3*s for x.
1
Suppose -i + 27 = 5*c - 2*i, 2*c - 4*i = 18. Solve 3*b + c*v = -0*b - 9, v = -2*b + 1 for b.
2
Let m = -27 + 47. Solve 2*h + m = 6*h - 3*f, h - 5 = -f for h.
5
Suppose -4 = -2*o - 6. Let c be (-5)/(o/(3/3)). Solve 3*n + 2*n - 2*z = -13, -15 = -5*n - c*z for n.
-1
Let p(b) = -b**2 - 5*b - 3. Let x be p(-11). Let l = 74 + x. Solve l*k = -3*a - 9, a + 0*a - 11 = 3*k for a.
2
Suppose 0 = -2*n + 44 - 18. Let h(t) = -16*t - 171. Let b be h(-11). Solve -3*q = b*s + 24, -4*s - 2 = q + n for s.
-3
Let v = -84 - -85. Let d be ((-27)/36)/((-5)/4 + v). Solve 0 = d*w + 3*z, -8 = 4*w + 5*z - 3 for w.
5
Let z = -8 + 8. Let g = z - -5. Let r = 2 + g. Solve 2*x = 2*j + 8, 0*x - r = 2*x + 3*j for x.
1
Let p = -9 - -12. Suppose r - p = -5*m - 0*m, -5*m + 5*r = 15. Suppose 3*u + m*u - 6 = 0. Solve 3*q = 3*z - 17 + u, -q - 7 = -3*z for q.
-4
Suppose 51 = 5*n + 4*l, 7*n = 2*n + l + 31. Suppose 5*s + 3*h = n, -s = s - 2*h - 6. Solve 2*p = 8, 3*p - 2 = s*z + 5*p for z.
-5
Let q be ((-26)/10 + 3)/(2/(-120)). Let u(f) = -f**2 - 24*f + 4. Let k be u(q). Solve -4*p - 4*z = p + 11, 2*p + 2*z = -k for p.
-3
Suppose 2*v - 4*v = -5*s + 87, -5*s - 3*v = -82. Solve -4*x = 5*m, s = m - 4*m + x for m.
-4
Let v(u) = -u - 9. Let g be v(-5). Let c be (-2)/4*(-2 - g). Let a = 1 + c. Solve 5*t - w + 1 = 4*t, a = 2*t - 3*w + 4 for t.
1
Let t be -4 - -23 - (-2 + (-6)/(-3)). Suppose -3*f + v = -t, 0*f - 3*v = 4*f - 8. Solve -f*y + 1 + 24 = -5*x, -3*x - 16 = -4*y for y.
1
Let h = 17 - 2. Let a(t) = -t**2 + 13*t + 35. Let c be a(h). Solve c*k = 5*i - 2 - 13, -i + 3*k = -3 for i.
3
Let o(c) = c**3 + c**2 - 4*c + 16. Let s be o(0). Suppose -4*r - s = -8*r. Solve 0 = -5*v - l + r, 3*v - 2*l + 8 = -0*l for v.
0
Let v(i) = 3*i**2 - i + 3. Let t be v(0). Solve -q - p = 2 - t, -2*q - 2 = p for q.
-3
Let o be (0 - -1)/((-11)/(-44)). Solve -w - 1 - 2 = -2*k, -o*w = -2*k - 6 for w.
3
Suppose 0 = 2*h + 3*h. Let y be -6*(10/(-4) + 2). Suppose 5*o - 19 = -b, -2*o = y*b + o - 21. Solve 3*k - 5*j - 11 = h, 0*k = 5*k + b*j - 6 for k.
2
Let g = -783 - -803. Solve 4*j - g = 2*z + 2*z, 2*j = -3*z - 10 for z.
-4
Let a(t) = -t + 24. Let c be a(22). Solve m - c = -b, 2*m + 4 = 4*m - b for m.
2
Let s(v) = -13*v - 10. Let u be s(-1). Solve -m - 27 = u*n + 4*m, -4*m - 12 = 0 for n.
-4
Let k(x) = x**2 - 2*x - 1. Suppose -t + s = -2*t, t - 4*s = -5. Let n be k(t). Solve -z = -n, 0 = 5*w + 2*z + 1 - 0 for w.
-1
Let p be 3/((-6)/(-11))*-2. Let l = 21 + p. Let c = 1533 - 1523. Solve y = 3*v + l, -y - v = -0 + c for y.
-5
Let m = -940 + 911. Suppose -a + 36 = w, 2*w - 2*a + 4 - 68 = 0. Let c = w + m. Solve 2*o = 10, 3*o - 2*o - c = -x for x.
0
Suppose 0 = 5*z - u - 30, -8*u - 20 = -4*u. Solve 6 = z*r + j + 15, -3*r - 4 = 2*j for r.
-2
Let j(h) be the first derivative of h**4/4 - 2*h**3 + h**2 - 9*h - 3. Let p be j(6). Suppose 2*i + p*i = 140. Solve -5*y = -4*t + i, -4*y - y - t = 18 for y.
-4
Let q = -42 + 44. Solve -q*s + 3*h - 13 = 4*h, s - 6 = 2*h for s.
-4
Suppose 0 = -16*r - 83 + 291. Let i = -56 + 83. Solve 0*h + 5*h - 2*t = i, -3*h - 2*t + r = 0 for h.
5
Suppose -3 = 3*b - 0, 0 = -2*d + 2*b + 6. Suppose -3*m - d = 2*o - 21, 5*o + 5*m = 40. Solve 2*x = 3*f - 25, -2*f - 2 = o*x + 13 for f.
5
Let s = 359 - 356. Solve -s*c + 11 = -2*j + 2, -2*j = 4*c - 26 for c.
5
Suppose -48 = -13*s + 4. Suppose s*a + 2*p + 0 = 4, 2*p = -2*a. Solve 3*n - 4*x = -0*x - 5, 30 = a*n + 4*x for n.
5
Let d(m) = -11*m + 145. Let y be d(12). Solve -2 = 2*x, -4*x = -3*k - 2*x - y for k.
-5
Let i(n) = n**2 + 9*n - 33. Let g be i(-12). Solve -g*y - 16 = 2*x - 2, -4*y = -4*x + 12 for y.
-4
Suppose 16 = 4*s - 4. Suppose 2*v + s*l = -13, -3*l + 2 = 5*v + 6. Let c(z) = z**2 + 27*z - 26. Let q be c(-28). Solve 2*p + 5 = 3*w + q, w + 2*p - v = 0 for w.
1
Suppose -4*t - 64 = 3*w, -4*t + 2*w = 7*w + 72. Let o = -5 - t. Suppose q - 4 = 0, -2*q - q = -3*c + 18. Solve -4*h + n + o + 8 = 0, -5*n = -2*h - c for h.
5
Let q(s) = s**2 + 12*s - 9. Let b be q(-13). Suppose 9 = 7*j - 19. Solve 0 = -4*i - 0*i - j*h - 24, 2*i = b*h for i.
-4
Let l = -229 - -232. Solve 15 + 2 = -2*p - 5*w, l*p = 2*w + 22 for p.
4
Let f(a) = 2*a. Let j be f(4). Let n(b) = b**2 - 3*b - 7. Let l be n(5). Suppose 0*t - u + 1 = -t, 4*u - 32 = -l*t. Solve -3*y - 20 = 3*v + v, -j = t*v for y.
-4
Suppose -4*i = 3*a - 74, 0 - 4 = -2*i. Let f = 26 - a. Solve o + 5*b + 7 = 0, 0*b = f*b + 4 for o.
-2
Let a(k) = k - 8. Let g be a(-6). Let t be g/49 + (-32)/(-14). Let w(i) = i - 4. Let m be w(4). Solve o + 3 = m, -4*p + t*p - 3 = o for p.
0
Suppose -4*z = -10*z + 150. Suppose 20*k - z*k = -50. Solve -4*v + 3*b = 1, -2*v + b - 3*b + k = 0 for v.
2
Let a(y) = -y**2 - 4*y + 6. Suppose 3*h = -0*h - 15, i + 19 = -2*h. Let b be a(i). Let t = -33 - b. Solve -2*p - t - 2 = -5*g, -g - 3*p = -5 for g.
2
Let p = -102 - -102. Solve 4*h - k - 3 = p, 2*h + 0*h + 5*k - 7 = 0 for h.
1
Let g = -373 + 378. Solve -4*k = -n - 15, -g*n - k = k + 9 for n.
-3
Suppose 4*g - 2*w - 27 = -5*w, -g + 3*w = -3. Let a(t) = 3*t - 14. Let z