 Let c be n(-18). Let t be (8 - (-115)/(-15))/(c/36). Solve -t*g - 4 = 2*x + 8, -4*g - 20 = -2*x for g.
-4
Suppose 3*m = -3*s + 9, 629*s - 632*s + 4*m = -16. Solve -a - 35*v - 11 = -32*v, a = -s*v - 15 for a.
1
Suppose 86*c - 499 = 55 - 124. Solve 2*m - 4*s = 6, -c*m = -3*m + 2*s - 12 for m.
5
Let r(c) = -19*c - 8*c + 28*c - 2. Let x be r(4). Suppose h + x*h = 9. Solve 0 = -4*b + 5*b + h*f - 14, 2*b + 5*f = 23 for b.
-1
Let t(c) = -c**3 + 46*c**2 - 47*c + 95. Let h be t(45). Solve 20 + 0 = -3*y + g, -h = 4*y + 3*g for y.
-5
Suppose -5*c + 30 = 5*z, -2*z - 263*c = -267*c. Solve -9 = 5*r + b, 66 = 4*r + z*b + 86 for r.
-1
Suppose 0 = 52*n - 104*n + 2340. Solve n*h - 50*h - 21 = 2*z, -4*z = -4*h for z.
-3
Let n = 35 + -31. Suppose -m - n*m = 105. Let q = 25 + m. Solve q*w + 12 = 0, -3*d + d + 4*w = -8 for d.
-2
Let d(r) = -3*r - 10. Let y be d(-5). Suppose 2*h + 3 = 21. Let a = 22 + h. Solve -4*p - 3*t = a, y*p = -4*t - 47 + 7 for p.
-4
Let u(r) = r**3 + 3*r**2. Suppose d - 4 = -6. Let z be u(d). Solve -4*f = -2*j - 3*f - 1, -2*f + 2 = z*j for j.
0
Let n(h) = 2*h**3 + 13*h**2 + 15*h + 8. Let d = 415 - 420. Let f be n(d). Solve -3*o = 0, -5*o - 1 = -3*i + f for i.
3
Suppose 0 = -10*k - 185 - 155. Let b = k + 35. Solve 0 = -2*m - 3*c - 21 + 3, -3*m + 2*c = b for m.
-3
Let i = 6250 - 6247. Solve i*b - 31*x - 20 = -35*x, 3*b = -5*x + 22 for b.
4
Suppose -2*a - 6*b = -5*b + 3, 15 = 3*b. Let m be (-18)/a*(-16)/(-3). Solve -2*n - 9 = -f + 2*f, 4*f + 5*n = -m for f.
-1
Suppose -4*x + 2*t + 210 = 0, -7*x - 5*t = -4*x - 138. Suppose p + 5*l = -3*p - 218, 6*l + 83 = -p. Let d = p + x. Solve -d*y + 2*y = 4, q + 11 = -3*y for q.
-5
Suppose 7*d = j + 27, -27 = 9*d - 10*d + 4*j. Solve 4 = 3*a - d*w - 2, 5*a - 2 = 3*w for a.
-2
Suppose 89*w = 88*w - 7, -3*w + 44 = 5*p. Let f = 8 + -5. Solve 4*y + p = -l, -l = -y - 0*y + f for y.
-2
Suppose 82*z - 84*z = 2, 2*l = -z + 9. Solve l*y - 5*c - 33 + 43 = 0, 2*c - 1 = -y for y.
-1
Suppose 9*x + 18 = 12*x. Let r(a) = x*a**2 + 9 + a - a**3 - 4*a - 2 - 3*a. Let y be r(5). Solve 4*q - y - 2 = 0, 5 = -3*c + 5*q for c.
0
Let j(a) = -5*a + 2. Let z be j(-2). Suppose 55 = 17*r - z*r. Let h = r - 11. Solve h = -4*g + 3*l - 19, -7*g + 2*g - l = 0 for g.
-1
Suppose 9*n = 60*n + 27*n - 234. Solve -2 = q, -3*q - 10 = -5*u + n*u for u.
2
Suppose 100*y - 444 - 136 = 320. Solve -4*u - 26 = -y*z, -10 = -z + 14*u - 10*u for z.
2
Let d(u) be the first derivative of u**4/4 - 5*u**3/3 + 2*u**2 - 84. Let n be d(4). Solve n = -m + y, 0 = 4*y - 22 + 6 for m.
4
Let d = -320 + 323. Solve 0*a + d*a = -3, 3*a = -3*q - 6 for q.
-1
Let m = -2719 - -2722. Solve 4*q + m*k - 15 = q, 2*k = 2*q - 2 for q.
3
Let y = -646 + 646. Solve -3*c - 12 = 2*d + 4, y = -c + 4*d + 18 for c.
-2
Suppose -89*w + 86*w + 18 = 3*p, -28 = -3*p + 2*w. Solve -3*u - 4*v = -p, -5*u + 176*v + 19 = 177*v for u.
4
Suppose -8*d + 175 = 5*p - 13*d, 5*d - 42 = -2*p. Solve 3*k + 3 = 0, 0*x + 6*x = k + p for x.
5
Let w be (-36)/9*1/(-2). Let n be 96/8 - 4/w. Suppose -2*u - n = -t, -t + 0*t = -4*u - 18. Solve -4*l - 10 = -2*i, t*l - 17 + 2 = -3*i for i.
5
Let h be 204/15 + (-8)/(-20). Let i = -13 + h. Let x be -8*5/(-10)*i. Solve 4 = 3*f - n, -2*f - 16 = -7*f + x*n for f.
0
Let h = -123 + 126. Suppose -4*t = -h*a + 3, t - 28 = 5*a - 10*a. Solve 2*w = a*l + 10, -3*l + l = -2*w + 10 for w.
5
Suppose -5*v - 8*t - 48 = 0, t - 7 = 3*v - 13. Solve -3*k - 3*j + 10 = 25, v = -5*k + 2*j - 4 for k.
-2
Let z(n) = 2*n**3 + 15*n**2 - 20*n - 92. Let v be z(-8). Let a(u) = u**3 - 6*u**2 + 7*u - 6. Let g be a(5). Solve -g*x + 2*y = 24 - 2, -x + 17 = v*y for x.
-3
Let g = 314 + -60. Let d = g - 251. Let c = -6 + 17. Solve -2*m + 15 = 3*r - d*m, -5*r - 3*m + c = 0 for r.
4
Let f(s) = 10*s - 41. Let t be f(6). Suppose p - 14 = 5*j - t, -2*j + 19 = 3*p. Solve 5 = 5*h, j*h - 4*h + 12 = 2*x for x.
5
Suppose -243*b = -234*b - 27. Suppose s - b = 5*m, -11*m + 15 = 5*s - 13*m. Solve 0 = 4*y - 2*y + 3*g - 12, -s*y + 5*g = 1 for y.
3
Let k be (-60)/6*(19/(-114) - 2/6). Solve k*y + 30 = -8*f + 3*f, 5*f + 2 = 2*y for y.
-4
Suppose 0 = -167*r + 153*r + 56. Solve 22*o + 19 = 4*v + 17*o, r*v - 10 = 2*o for v.
1
Let s be (-198)/(-27) + (1 - 5) + (-110)/(-165). Solve 0 = 2*k - y - 8, -s*k = -3*y + 38 - 54 for k.
4
Let w = -157 - -153. Let i(r) = 5*r + 23. Let d be i(w). Solve -4*j + 2*g = 8, -4*j - 3*g - d = -5 for j.
-1
Let q be (-228)/(-912) - ((-5063)/4 + 1). Let k = q - 1260. Let h(i) = i**2 + 3*i + 2. Let d be h(-2). Solve -k*v + 6 - 21 = d, -5*v = -3*r + 12 for r.
-1
Let f be (-3 + 11/2)*(24/20 - 0). Solve 5*o - 9 + 17 = 3*i, i + 16 = -f*o for o.
-4
Suppose 2*s - 3 = 5. Suppose 146 + 150 = s*z. Let j = -72 + z. Solve j*m - 3*y - 1 = 0, -3*m + 5*y + 0 = -3 for m.
-4
Let w(c) = c**3 - 35*c**2 + 31*c + 105. Let g be w(34). Suppose v = -g, -21 = -8*y + 6*y + 3*v. Solve 5*q - n - y = 0, -3*q + 5 = -3*n - 1 for q.
1
Let t = -65 - -168. Suppose -99 = 2*w - t. Solve 5*n = -5, w*b - n + 0 = -7 for b.
-4
Suppose -4 = -4*g + 4. Let d(w) = 421*w**3 + 3*w**2 + w + 4*w - 420*w**3 - w + 70. Let h be d(-5). Solve x + 0*x + 5*l - g = h, 1 = l for x.
-3
Let z = -7185 - -7197. Solve 5*i - 16*v + 12 = -z*v, 0 = -2*i - v - 10 for i.
-4
Let q = -5 + 5. Suppose q = 47*d - 64*d. Solve d*z + z = -4*x + 1, 2*x + z - 1 = 0 for x.
0
Let d = 580 + -573. Solve -10*q = -d*q + 2*b - 15, -b = 3*q - 12 for q.
3
Suppose -4*j = 2*t - 98, -j + 155 = 3*t + j. Suppose 55*n - t*n = 6. Solve 2*i + 13 = 3, -13 = n*y + 2*i for y.
-1
Let g be (-2)/(-14)*-2 - (-7982)/(-91). Let n = g + 48. Let a = 45 + n. Solve 2*t + 16 = a*z - 7, 2*t - 7 = -5*z for z.
3
Suppose 2*m - 3 = m. Let r(z) = z**m + 6*z + 2 + 2 - 15*z**2 + 8*z**2. Let o be r(6). Solve -5*n + 26 = q, -2*q - 10 = -o*n + 8 for q.
1
Let f be 1/((-10)/(-5788)) - (-92)/(-115). Suppose 574 = -2*i + f. Let h = -7 - -11. Solve i*w - 16 = 2*y, -5*w + w = h*y for w.
4
Let o(t) = -3*t + 3*t + 5*t - 4*t - 5. Let j be o(-14). Let f = j + 34. Solve 0 = -4*v + q + f, 2*v + 3*v - 4*q = 16 for v.
4
Let o(v) = -231*v - 1845. Let u be o(-8). Solve -5*a + 18 = 2*d, 2*d = 5*a - u*a + 4 for d.
4
Let c = -13 + 24. Suppose 1 = 5*d - 3*u - 8, 0 = 2*d - 4*u - 12. Suppose 4*h - c - 5 = d. Solve f + 3*x + 12 = 0, 3*f + h*x + 7 + 14 = 0 for f.
-3
Let f(k) = 8*k + 3. Let u be f(0). Suppose -x = -u*x + 2. Let z(v) = -v**2 - 8*v + 25. Let q be z(-10). Solve 0 = -3*y - c + 12, -4*c + q = y + x for y.
4
Let y = 181 + -295. Suppose r - 5*a + 101 = 0, 0*a - 4*a + 104 = -r. Let x = y - r. Solve 4*b + 5 = -4*h - 3, 13 = -x*h - 5*b for h.
1
Suppose 55*u - 51*u - 16 = 0. Suppose -a + a = u*a. Suppose a = -5*f - 4*x, -3*f + f = -5*x. Solve -4*p = 2*z - 4, f = 5*p - 4*p + z for p.
2
Let k(j) = -j**3 - j**2 - 3*j. Let i be k(0). Suppose -3*n - 4*l = -i*l + 12, 0 = 3*l + 9. Solve 4*x + 12 = -5*d, -d + 6 = -n*d + 5*x for d.
-4
Suppose -2*f = -5*h - 51, -5*f = 94*h - 100*h - 134. Solve -5*j + f*l = 24*l - 25, 2*j = 4*l + 22 for j.
1
Suppose -13*d + 318 = -7*d. Suppose -d*a + 48*a = -10. Solve -4*n + 14 = -2*k + k, -2*n = a*k - 2 for k.
-2
Let a be 122/(-4)*(13 + 13). Let x = -786 - a. Solve -3*d + 2*n + 0*n + 11 = 0, 3*d = n + x for d.
1
Let r be (4 + 14/(-4))*8. Suppose n = -2*n + 4*k + 74, r*n = k + 77. Let i = -786 - -791. Solve 5*h + t + 0*t - n = 0, -16 = -i*h - 2*t for h.
4
Let h = -43 + 98. Suppose 4*p - 13 = -z, h = -5*z + 80. Solve 3*m - p*m - 1 = -a, 5*a + 3*m + 3 = 0 for a.
-3
Let m be 5/(-50) + (-12)/(-120). Solve 0 = -k + t - 3, m = 3*k - 0*k + 2*t + 4 for k.
-2
Suppose 7*c = -19*c - 44*c + 490. Solve 0 = 3*i + 2*k - 13, i = -c*k + 2*k + 13 for i.
3
Let q be -1 - 4/(-10) - 980/(-175). Suppose 0 = -5*f - u + 16 + 58, -f + q*u = -20. Solve -3*p + o + 2*o = f, o + 13 = -5*p for p.
-3
Suppose -32 = -4*i + 5*f, 5 = -i - 7*f + 5*f. Suppose 5*v + 17 = i*d + 4, 0 = 3*d - 4*v - 14. Solve 2*u - d*u = -2*s + 10, 0 = 2*u for s.
5
Suppose 2*n = -7 + 3. Let l be (n - -1)*(0 + 67). Let s = l + 70. Solve s = x, 0*f - 5*f + 13 = -4*x for f.
5
Let q = -1264 + 1272. Suppose -2*i + 2*k + 13 = i, -2*i - k = -4. Let n = i - 3. Solve 0*w = -2*r + 4*w + 14, -5*r + w + q = n for r.
1
Suppose 84 = 2992*c - 2971*c. Solve -7*q + 12 = -9*q + c*u, 0 = -4*q + 3*u - 4 for q.
2
Suppose d - 34 = 6*a - 42, -5*a - 24 = 3*d. Solve 4*j - 19 + 7 = a, 15 = -i + 4*j 