Suppose -2*v + 34 = 2*s, 5*s + v = 2*s + 41. Suppose -s*t = -3*t - 18. Solve x = -t*x + 3*n, -5*x + h*n - 3 = 0 for x.
-1
Let p be (51/(-9) - -5)*(-15)/2. Solve 5*q + 4*k - 32 = 0, -8*q + 35 = -3*q + p*k for q.
4
Suppose 6*j - j = 15. Suppose -k = -2*y + 6, -5*y - k + 15 = k. Let d = -4 - -7. Solve -d*w = 3*m, w - 28 = -j*w + y*m for w.
4
Let o(w) = -32 - 15*w - 112*w**2 + 53*w**2 + 60*w**2. Let g be o(17). Solve -2*d - g*i - 8 = d, 4*d - 3*i - 12 = 0 for d.
0
Let s = -395 + 399. Solve 4*b = x - s*x - 1, x + 11 = -4*b for x.
5
Suppose -4*g - 4*g + 40 = 0. Suppose -8*v + g = -7*v. Solve 0*d - 10 = 2*s - d, -d = -s - v for s.
-5
Let t be 5/2*76/(-95) - -5. Solve -2*a + 5*h + 23 = -0*h, -4*a + t*h = -11 for a.
-1
Suppose -4 = 4*w, -7 + 22 = 4*p - 3*w. Suppose 3*d + p*d - 12 = 0. Solve -5*b + b - 4*h + 4 = 0, -2 = -d*b + h for b.
1
Let u(c) = -6*c - 4. Let i be u(-6). Suppose 0*b + b - i = 0. Suppose 0 = b*t - 36*t + 12. Solve 5*l + 3*d - 30 = d, t*d = -2*l + 23 for l.
4
Let b be (-10 + 23/2)*12/9. Solve 0 = b*x + u + 13, -u + 2*u = -5 for x.
-4
Let k(u) = -u**2 - 16*u. Let g be k(-16). Suppose g = 2*i + 5*a - 23 + 2, 5*a - 29 = -3*i. Solve -4*r = 4*d - 12, 0 = -4*r - i*d + 5*d + 10 for r.
1
Suppose -3*q + 15 = 0, -2*w - 17 = -3*w - 3*q. Suppose -w*y + 25 = 15. Solve -5*f - a - 21 = 0, 3*f = -5*a - y + 10 for f.
-5
Let h(w) be the third derivative of -w**4/12 - 17*w**3/6 + 21*w**2. Let d be h(-11). Solve 5*k - d = y, -5*y + 0*k = -4*k + 4 for y.
0
Suppose -3*j - 78 = -8*j - 4*a, 12 = j - a. Let y = 387 + -385. Suppose -5*l + j = y*u, -26 = -5*u - 4*l - 8. Solve 2*s + 3*s + 2 = -u*n, 0 = 5*s for n.
-1
Suppose -c = 8*c - 9. Suppose -c = 6*z - 25. Solve -5*y = -z*p + 41, 4*p = -3*y + 4*y + 21 for y.
-5
Let h = 123 + -112. Suppose -h + 1 = -5*c. Solve 0 = -c*u - 5*w + 9, -5*u + 2*w = 4*w + 9 for u.
-3
Let c(k) = 4*k**2 - 3*k - 3. Let j be c(3). Suppose -8*r + 4*r + j = 0. Solve 5*f + 5*t - 5 = 0, -3*f + 3 = -r*f - t for f.
-2
Suppose 94 = 35*s - 81. Solve 3*u = 4*r + 11, -u + 0*r + 2*r = -s for u.
1
Suppose 2*i = -2*v - 10, i - 3*i + 4*v - 28 = 0. Let o(y) = 3*y + 0*y - 4*y - 8. Let w be o(i). Solve w = 2*j - p - 3*p + 2, p = 2*j - 7 for j.
5
Suppose -17*v + 300 = 8*v. Solve -5*n - 7*t = -2*t, 2*n - v = -5*t for n.
-4
Let u = 451 + -449. Solve f + 4*p = -p - 30, -10 = u*p for f.
-5
Let l = -23 + 25. Suppose 13 - 17 = -l*i. Solve 4*o = -3*a + 8*a - 36, 0 = i*a + 2*o for a.
4
Let a(g) = -g**2 - 4*g - 12. Let n be a(-11). Let r = n - -91. Solve -u = 3*k + 11, -r*u - 3*k + 2 - 15 = 0 for u.
-2
Suppose 2*r - 2*w = 4, r + 0*w = -3*w + 2. Solve -r*p = 2*o - 5*p - 23, 3*p = -3*o - 3 for o.
4
Let t(s) = 7*s + 7. Let x be t(-16). Let v = -70 - x. Let g be (-1)/(-5) - (-28)/v. Solve -5*a - 17 = -i, -i - g = -0*a + a for a.
-3
Let g be (-15)/(((-4)/8)/((-1)/(-1))). Suppose -10*v + 4*v + g = 0. Solve -v*w = -4*a - 6 - 24, -5*w + 35 = -5*a for w.
2
Let y(p) be the second derivative of -p**4/12 + 19*p**3/6 - 29*p**2/2 + 3*p + 1. Let q be y(17). Solve 2*m + 6 = 4*t, -3*m + q*t = -1 + 11 for m.
-5
Let y = 413 - 413. Solve -5*s = -5*t + 15, 5*t + y*t + 5*s - 35 = 0 for t.
5
Suppose -4 = t - 3*s, t - 4 = -t + 2*s. Solve 1 = -4*y + t*z, 5*y - 10 + 2 = -3*z for y.
1
Let b be 3*(3 - (2 + 0)). Let v be (-1 - (b + -4)) + 4. Solve 5*h + x + 19 = 0, h = -h - v*x - 4 for h.
-4
Suppose 7*a + 12*a = 0. Solve -6*n - 3 = -3*n - 4*u, a = 4*n - 5*u + 3 for n.
3
Suppose -3*w + 7*z - 12*z = -20, 5*w - 20 = -5*z. Solve w = -5*d + 5*i - 5 - 10, -i = 4*d + 17 for d.
-4
Let a(j) = j**3 + 8*j**2 + 8*j - 1. Let d be a(-7). Let x be 3/(2 + d)*-2. Let k be (x + -4)/(-3 + 2). Solve -4*v - 27 = -3*s + v, k*v + 13 = s for s.
4
Let y(z) = z**3 + 20*z**2 + 27*z - 13. Let o be y(-18). Let w = o + -144. Solve 6*h = 2*h + 4, 20 = -w*x - 5*h for x.
-5
Let f = 33 - 18. Suppose 0 = -2*u + 29 + f. Let y = u + 1. Solve i - 5*i + 4 = 0, -5*q + y = -2*i for q.
5
Suppose 0 = -5*h + 5*l - 25, 3*h + l + 0 = 5. Solve 5*j = 2*z - 3*z - 8, 2*z + j - 2 = h for z.
2
Let v = 63 - 55. Let j be -3*(-6)/5 - v/(-20). Solve -c + 5 = -s, 5*s + c - j = -23 for s.
-4
Let k be 25/(-5) - (-112)/16. Solve -5*x = s + 19, -6 = 4*x - 2*x + k*s for x.
-4
Let k = -216 - -322. Let q = k + -104. Solve -r + j = 1 + 3, -q*r = 5*j + 8 for r.
-4
Suppose 13*b + 4*b = 85. Suppose h + 8 = 23. Suppose -b*c + 25 = 5*m, -2*c - 4*m = c - h. Solve 3*w + 0*w = c*n, -w = n for n.
0
Let w = 46 - 42. Solve 3*i = -4*d + w*i + 19, 3*i = d - 13 for d.
4
Suppose 0*a = 7*a + 35. Let c be 3 + a - (-4 + -2 + 2). Solve 0*t - 5 = 2*k - t, -c*k + 5*t = 25 for k.
0
Let i be (187/51 + 3*1)*-6. Let h be 2/(-10) - 8/i. Solve h*j + 2*v + 13 = j, v + 29 = 5*j for j.
5
Let i(v) = -5 + 12*v - 19 - 24*v + 16*v. Let y be i(7). Solve 4*x + y*m = -24, 3*x + 6 + 0 = 3*m for x.
-4
Suppose -41*w = 31*w - 144. Solve f + 5 = -0*f - c, -w*f + 2*c - 10 = 0 for f.
-5
Let r = -32 - -53. Let x be 10*(r/6 - 3). Suppose -x*p = -0*p - 75. Solve -5*h = -2*i + p, 0 = -3*h - 19 + 4 for i.
-5
Let d(w) = -w**3 + 6*w**2 - 6*w + 5. Let s(z) = -z**3 - 3*z**2 + 3*z. Let k be s(-4). Let i be d(k). Solve i = 2*t - 0*l - l, 5*l + 25 = 0 for t.
4
Let w = 140 + -104. Let q = w + -32. Solve -4*f - o - 18 = 2*o, 0 = -3*f + q*o - 1 for f.
-3
Suppose 0*y - 3 = 3*y. Let p(a) = 5*a**2 + 3*a + 3. Let v be p(y). Let d = -3 + 7. Solve -z = 4*c + d, 3*z - 4 = 4*z + v*c for z.
-4
Suppose 0 = 15*m - 10*m - 20. Solve -3*k + 15 = 0, m*j - 2*j = 4*k - 26 for j.
-3
Let m = 56 + -43. Let f = m + 22. Solve 4*b + f = 3*g - 0*g, -g - 4*b = 15 for g.
5
Suppose -16*d + 21*d = 25. Let r = 3 + 0. Suppose -1 + 4 = y + d*u, r*u - 9 = -3*y. Solve -3*p - 12 = -y*o + 6*o, 6 = o - 4*p for o.
-2
Suppose -35 + 56 = 7*r. Solve 0 = r*g + 12 - 0, 5*g + 30 = -5*z for z.
-2
Let q = 243 + -238. Solve 30 = -q*w + 4*v, 5*w - v + 25 = 2*v for w.
-2
Suppose 20 = 5*q - 4*u, -3*u - 3 = 12. Let m(v) = v**2 + 26*v + 29. Let n be m(-25). Solve -p - 5*x - 24 = 0, 0 = 2*p - n*x - 8 - q for p.
-4
Let h(q) = -6*q - 355. Let n be h(-60). Solve 5*d = -3*v - v + 1, -d - n*v + 17 = 0 for d.
-3
Suppose -m = 5*g - 145 + 116, -m + 9 = g. Solve 10 = g*v, -5*t = 4*v - 1 + 3 for t.
-2
Let u be -39 - -42 - (-2 - 0). Solve u*i + 5*f = 15, 5*i - 4*f = -30 + 9 for i.
-1
Let v = -259 + 263. Solve -v*p + 33 = 4*w + w, -5*p - 2*w + 20 = 0 for p.
2
Let o be (6/(-4))/((-6)/8). Let u be -4 - (-17 + o/2). Solve 0*z - t - 3 = z, 2*z + 5*t = -u for z.
-1
Suppose 5*u = 8*u - 12. Let m be (-2)/(-2)*4 - u. Solve 3*a + 2*p - 13 = m, 5*p = 5*a - 13 - 17 for a.
5
Let z be 188/(-94)*(-1)/2*5. Solve 10 = 2*w - 4*d, 0*w + d = z*w - 16 for w.
3
Let o(i) = -2*i**2 - 23*i + 74. Let q be o(-14). Solve -q*m = -n - 8, 3*n - m = -2*n - 21 for n.
-4
Suppose -3*v + 0*v + 3 = 0. Let x = 0 + v. Suppose 2*i - x = 1. Solve -3*u + 0 = 2*w - i, 3*w = -5*u + 2 for u.
1
Suppose 5*m - 5*h = -2*h + 16, -h + 2 = 2*m. Suppose 20 = -5*b, 0 = m*p - 4*b - 6 - 20. Solve 0 = p*q - 28 + 8, 5*k = -q + 29 for k.
5
Let c be (-24)/(-2) + 62 + -72. Solve 2*r - 7 = d, -c*r + 4*d + 19 - 9 = 0 for r.
3
Let w be (-3 - 9)/(-4) - 3. Suppose -g - 3*p + 20 = w, 5*g + p - 15 = 29. Solve -s - t = -g, -3*s - 2*s = t - 28 for s.
5
Let h be 3 - ((-15)/(-3))/(-5). Suppose -5*y - 2*n - 10 = -6*y, y = -n + 10. Solve -2*l = -h*v + 30, l - y = -v - 2*v for v.
5
Suppose 2*j + 13 = 57. Suppose 17*m - j*m = -40. Solve -3*z + m = z, -16 = -2*k - 5*z for k.
3
Let y = 9 - 11. Let d = 2 + y. Suppose d*s - 5*s = 0. Solve 2*z + 0*z - 3*p + 14 = s, -p - 10 = 3*z for z.
-4
Let v = -1577 + 1598. Solve -4*g - v = -q + 2*q, -4*q - 4 = 0 for g.
-5
Suppose -135 = 13*s + 34. Let n(t) = -3*t - 25. Let j be n(s). Solve 2*h - 1 = 2*o - 5, -3*o + j = -5*h for o.
-2
Suppose 18*a + 27 = 27*a. Solve 1 = 2*j + 6*d - 5*d, -a*d = -3 for j.
0
Let c be 28/(-14) + (1 - (-15 + 2)). Solve -3*w = -c, -4*a - 2*w - 7 = 1 for a.
-4
Suppose -3 = -32*t + 61. Solve 5*c + 5 + 0 = k, -2*c - t = 3*k for k.
0
Let c be (-20)/(-12) - (-1)/3. Let q be (5 + 1)*1/c. Suppose -3*o = -m + 6, q*m - 7 - 3 = o. Solve 4*y = y + m*j - 18, y - 3*j + 8 = 0 for y.
-5
Let k(z) = z**2 - 7*z + 14. Let i be k(5). Solve -2*c - i = c + 2*r, 20 = -4*c + r for c.
-4
Suppose 55*u - 32 - 133 = 0. Solve -5*y + u*p - 8*p - 5 = 0, 2*y = -p + 1 for y.
2
Let c(u) = u**3 + 8*u**2 - 9*u. Let n be c