- 4*z + 133. Let y be r(32). Solve 0 = -5*k + 5*d - 6 + 1, -4*d + 4 = y*k for k.
0
Let a = -228 + 230. Solve 4*f - 13 = -3*x + a*f, 0 = -2*f - 2 for x.
5
Let t be 9/(-6) + (-138)/(-12). Suppose 3*p - 59 = t. Let s = p + -21. Solve -2*g - g - 1 = j, -3 = 5*g + s*j for g.
1
Suppose b = 4*g + 14, -b + 3 = -3*g - 9. Suppose 0 = -v + b*v - 25. Suppose y = 7 + v. Solve 3*w = 5*l + y, 0*l - w + 4 = -3*l for l.
0
Let h = -1005 + 1018. Solve 5*g - 2*t = -h, 5*g + 5*t - 13 - 2 = 0 for g.
-1
Let b(h) = -h + 4. Let o be b(0). Suppose 6*p - 94 - 206 = 0. Suppose -14*a = -19*a + p. Solve -8 = -q + o*m, -3*q - q + 5*m + a = 0 for q.
0
Let q(u) = 12*u**3 - 8*u**3 - 3*u**3 + 4*u**2 + 3 - 2 + 2*u. Let d be q(-3). Solve -d*x = -2*j - 6*x, 0 = j + 4*x + 6 for j.
2
Suppose -3*y + 6*y = 5*n - 6, 4*n = 5*y - 3. Suppose 0 = -b + 4*s - 9, 0 = -s + y. Solve 3*k - 25 = -2*k + 5*j, -13 = -b*k + j for k.
4
Let l(m) = -m**3 - 3*m**2 - 2*m + 4. Let f be l(-3). Suppose f*x = 5*x + 20. Solve -4*j = -5*c - 22, -c + 5 = -x*j + 19 for c.
-2
Suppose 0 = -7*h + 2*h. Let i(q) = -2*q - 12. Let w be i(-6). Solve 10 = 3*o - m, o + 2*m + w*m - 8 = h for o.
4
Suppose 6*w - 2*w = 2*p - 30, -10 = p + 3*w. Suppose 0 = c + 6*u - u - 3, p*c - 35 = -5*u. Solve 0 = -4*v - c, 3*n + 2*v + 11 + 5 = 0 for n.
-4
Let g be ((-2)/(-6))/(-1 + (-98)/(-105)). Let j be ((-7)/4)/(3/(-12)). Let i = g + j. Solve -l - i = 0, 3*u + 3*l + 2*l + 10 = 0 for u.
0
Suppose -5*x - 2 = 28. Let y = 9 + x. Solve y*a + 8 - 20 = -g, 16 = g + 4*a for g.
0
Suppose -35 = -f - 10. Let r(c) = -c**2 - 1 - 3*c - 3 - 2*c. Let d be r(-4). Solve -2*y = 5*n - 10, 5*n = y - d*n + f for y.
-5
Let k = -19 - -23. Suppose k*w + b = 0, 4*w - 4*b = -w + 21. Solve v - 3 = p - 2*p, -p - 3*v = w for p.
5
Let a = 26 + -54. Let l be (-352)/a + (-8)/14. Solve -5*d = -3*u - l, 4*u - 2*d = d - 16 for u.
-4
Suppose -3*d - 7 - 236 = 0. Let k = -47 - d. Let s be k/9 + 24/108. Solve -4*m - c + 6*c - 13 = 0, -s*c = -4*m - 8 for m.
3
Suppose 7*d = -d + 64. Solve -23 + d = 5*a - 2*y, -3 = a - 3*y for a.
-3
Suppose -5*n = -q + 95, -4*n - 3*q - 76 = -0*n. Let b = 21 + n. Solve b*u - 2 - 1 = y, -15 = -5*u for y.
3
Let t(d) = 4*d + 50. Let j be t(-10). Solve -3*y + 3 = 0, 3*p - j = 6*y - y for p.
5
Suppose -8 - 40 = -12*n. Solve 5*p + 5 = n*a, -4*p - 16 = 2*a + 14 for a.
-5
Suppose 4*d + 0*d = -4, 78 = 2*j - 2*d. Let t = 44 - j. Solve 0 = 4*r + l + 16, -4*r - t*l - 16 = -3*l for r.
-4
Suppose 27*n = 130 + 302. Solve 3 + 1 = -4*w + r, -5*w = 4*r - n for w.
0
Let h be (-1)/(174/(-261)*(-2)/(-4)). Solve -5*d + 13 = -u, 2*u = 3*u + h for d.
2
Let c(g) = 3*g**3 + 6*g**2 - 8*g - 7. Let n be c(-2). Solve 0 = -3*h - 2*d + 17, 3*d - 9 = -3*h + n for h.
5
Suppose 2 = -b + 2*b. Suppose 0 = -b*q - 0*q - 10. Let f = -1 - q. Solve 2*h + 8 = j, f + 14 = 4*j - h for j.
4
Suppose -24*r = -63*r + 117. Solve -f = 3*x - 7, f - x = -r - 2 for f.
-2
Let t be 15 + 1 + -1 + (-3 - -1). Let q = -4 - -49. Suppose 0*v = 5*v - q. Solve -3*r + 2*g = -t, -2*g = -2*r + 1 + v for r.
3
Suppose -4*o + 5*o - 5 = 0. Solve 6 = o*g + 5*s - 2*s, 4*g - 3*s = -6 for g.
0
Let q(k) = k**2 - 6*k + 1. Let n be q(-1). Solve 5 = -2*j + z, -5*z + n = -2*j + 23 for j.
-5
Suppose -25*p + 826 = 576. Solve -2*f - 2*y + p = 2*f, f - 5*y - 30 = 0 for f.
5
Let s = 112 + -157. Let k = s + 45. Solve -2*d - 3*b = -0*b + 13, k = 5*d - b + 7 for d.
-2
Suppose -2*c + 145 = 5*h, 2*h = -c + 29 + 29. Let d = 0 - 1. Let y be (-4 - 7)*d*1. Solve 4*o = o + x + y, x = -5*o + h for o.
5
Suppose -5*j - 6 = 3*g, 15*j - 10*j + 24 = 3*g. Solve 2*i = g + 3, 0 = -4*h - 3*i + 9 for h.
0
Suppose -2*r - 14 = -50. Suppose -2*c = 2*k - 8, 3*c - r = 2*k + 4. Solve 2*z - 4*o = -12, -z = -c*z - 2*o + 18 for z.
2
Suppose -4*y + 2 = -2*s, 4*y + 0*y = s + 7. Solve 0 = -s*z - 5*q, -4*z + q + 25 = -0*q for z.
5
Let s(y) be the first derivative of 7*y**2/2 - 6*y - 9. Let q be s(3). Let c be (q/6)/((-2)/(-4)). Solve 2 = -l + z, -8 + 1 = 2*l - c*z for l.
-1
Let a be 1/(-3) + (-69)/9 + 4. Let y be ((-4)/3)/(a/15). Let r(g) = g. Let c be r(3). Solve 0 = -5*w + 2*z + 12, 2*w + y*z + c = w for w.
2
Let d(m) = 6*m + 10. Let z be d(-4). Let n be z/(-4) - (-12)/(-8). Solve -5*v + t + 20 = 0, -n*t = 9 + 1 for v.
3
Let z(l) = 4*l + 32. Let c be z(-7). Suppose c*o - 5*f - 11 = 0, 2*f + 7 = 2*o + 1. Solve 0*q - s = -o*q + 16, -4*q + 2*s = -12 for q.
5
Let v(r) = 2*r + 22. Let l be v(-10). Solve 6*h - 5 = 2*b + h, -1 = -l*b + 3*h for b.
5
Suppose -t - 4*h - 16 = -0*t, 2*t - 4*h = 16. Solve 0 = o - 3*b, -5*b + 0 + 5 = t for o.
3
Suppose -4 = -15*n + 17*n. Let s be (-6)/n*(-13 + 14). Solve 5*r + s*p + 8 = 0, 2*r + 3*p + 4 = -2*r for r.
-4
Let p = -157 - -159. Solve p*k + 3*w = 8, -3*k + k + 4*w + 8 = 0 for k.
4
Let b = 569 - 561. Solve b = -5*a + 9*a, -3*a - 6 = -3*g for g.
4
Suppose 0*q = -2*q + 60. Suppose -7*o - 2 = -q. Solve y + o*b + 6 = 0, y + 3 = b - 2*b for y.
-2
Let i = 26 - 25. Let u be -2*i - (-3 + -1). Let t(z) = 2*z**3 - 2*z**2 - 3*z + 2. Let q be t(2). Solve -4*p - o + 15 = 0, -3 - 7 = u*p + q*o for p.
5
Let b(x) = 14 - 5 + 4*x**2 - 6*x - 5*x**2. Suppose -18*a + 20*a = -s - 17, -18 = -s + 5*a. Let i be b(s). Solve 16 = -4*h + i*g, 3*h - g + 17 = -2*g for h.
-5
Suppose 5 - 12 = -3*p - 4*h, p + 4*h = -3. Suppose 0 = -r + p*m + 8, -5*r = -r + 4*m - 8. Solve -4*u + 4 = 2*o, -7*u = -r*u - o - 4 for u.
1
Suppose 23*z = 17*z + 12. Suppose 0 = f - 2*f + 4*l - 20, 3*l = 3*f + 15. Let b be 10*(5/2 + -2). Solve b*c - 3*p = -10, -3*p + f*p + z = -c for c.
-2
Let i be ((-2)/8)/((-1)/16). Suppose 11 = 5*j - 3*d, -d + 22 = i*j + d. Solve -v = -5*n + 25, 0*n - j = 4*n + 4*v for n.
4
Let d = 19 - 16. Suppose -2*g - 5*c + 4 = -0*c, 5*g + 3*c = -9. Let y = -3 - g. Solve 3*b + 3*v + 18 = y, -d*b + 17 = -2*v - 2*v for b.
-1
Let y be (-2)/6 - (-44)/6. Let a be (2*2)/(-5 + y). Solve -4*u = -g - 2*u + 3, 0 = -g - a*u + 7 for g.
5
Suppose 0 = a + a + 6, 0 = -2*k + 3*a + 41. Suppose -14*w + 8 = -12*w. Solve w*o = -2*v - k, -5*o - v + 2 = -4*v for o.
-2
Let v be (10/(-6))/((-10)/(-540)*-6). Solve -24 = -z - 5*y - 7, z - 3*y = -v for z.
-3
Suppose 21*f = 38*f - 85. Solve 1 = 2*b + m, -9*b + 11*b - 31 = f*m for b.
3
Let o(g) = -g**2 - 12*g + 15. Let f be o(-13). Let h(s) = 2*s**2 - 61*s - 28. Let i be h(31). Solve i*q = 4*y + 18, 5*q - y - 19 = f*y for q.
2
Suppose 6*u + 126 = 20*u. Suppose -3*x = -u - 3. Solve -l = -x*w - 2 - 3, 6 = 4*l - 2*w for l.
1
Let w(r) = -1. Let a(s) = 4*s + 22. Let o(q) = a(q) - 5*w(q). Let z be o(-6). Solve z*c + 27 = -5*b, b - 31 = 4*c + 6*b for c.
-4
Suppose 8*n - 1 = 3*h + 3*n, -n - 4 = -2*h. Suppose 6 = 2*w - 6. Suppose w*z - 171 = -21. Solve 20 = -4*x + 3*v, 0*v + z = -5*x + h*v for x.
-5
Let y be 2/(((-5)/(-22))/5). Let h = 97 - y. Let d = h - 27. Solve 0 = 2*p - x + 2*x + 12, -3*x - d = 4*p for p.
-5
Let i = 74 - 72. Let o(n) = -n**3 + 5*n**2 - 3*n - 4. Let m be o(4). Let l = m + i. Solve 3*d + 6 = -3*g + 7*d, -2*d + 2 = -l*g for g.
2
Let u be 33 - (15/(-10) - 9/(-2)). Suppose 0 = -t + 7*t - u. Solve -3*w - 4 = -w + 2*d, -4*d = -t*w + 17 for w.
1
Let b(y) be the first derivative of 8/3*y**3 - 5/2*y**2 + 7*y - 1/4*y**4 + 11. Let z be b(7). Solve -3*v = 3*k - z, 8 = k + 2*v - 4 for k.
2
Let f be 2*5/(20/(-62)). Let o = f + 39. Let k be (-48)/64 + 142/o. Solve 0*h + h - k = -5*m, 3*h = m + 3 for m.
3
Let i be (0/(-1))/(12/6). Solve 2*d - 8 = i, 4*y + 12 = -2*d + 4 for y.
-4
Let g(o) = -o - 5. Let s be g(-10). Suppose -b - 60 = -s*b. Suppose h - 1 = -h - n, 0 = -3*n - b. Solve -w + 12 = -4*p, -w + h*w = -8 for p.
-4
Suppose -w - 2*a + 14 = 0, 28*w - 30*w + 5*a - 8 = 0. Solve -5*h + 2*f - w = 10, 3*h - 3*f + 6 = 0 for h.
-4
Suppose 2 - 52 = -5*p. Let w = p - 8. Solve 4*v + i = w*v + 10, -3*v - 2*i + 17 = 0 for v.
3
Let o be -6 - -12 - (1 + 1)*2. Solve 11 = -o*h - 3*a + 3, 0 = -4*h + 4*a + 4 for h.
-1
Let m(v) = -v**3 + 12*v**2 - 12*v + 14. Let f be m(11). Solve -3*s + 4 = 2*c - 10, 11 = -c + f*s for c.
1
Suppose -3*i - 2*i = 0. Let k = 8 + -6. Suppose -2*u - 2*u = -4*x - 16, -5*u = 5*x - 20. Solve i = k*j + 2*h - 4*h, -5*h - 2 = -u*j for j.
-2
Suppose 5*d + 84 = -3*u + 2*d, 3*u + 4*d = -79. Let t = -31 - u. Solve -t*z - 4 = 0, 0 = -0*k - 3*k - 5*z - 4 for k.
2
Suppose -5*w - 22 = -3*o, 3*o = 2*o - 2*w. Solve -2*x = -o*i + 7*i - 5, 2*i = 4*x -