= -12, -4*k + 26 = 5*p for p.
2
Let u(i) = -115*i - 87. Let k be u(-1). Solve 2*w + k*m - 2 = 27*m, -5*w + 5 = 2*m for w.
1
Suppose -5*s + 544 = -2*w + 6*w, w - 108 = -s. Let u = s - 78. Suppose -45 = -43*b + u*b. Solve 3*x + 3 = b*h, 6*x = 3*x + 2*h - 3 for x.
-1
Let l = 10 - 8. Let h be (-651)/(-91) - 2/13. Suppose 0 = -l*o + 4, 5*v - h*o - 2 = -3*o. Solve -3*b - v - 1 = 0, -2*b - 7 = -5*k for k.
1
Let m(g) = -15*g - 199. Let s be m(-20). Suppose -697 = -42*k + s. Solve -v + 18 + 6 = -5*j, 4*j + k = v for v.
-1
Let n = 329 + -310. Suppose n*z = 108 + 25. Solve -3*d + 2*h = 7*h - 17, 3*d + z = h for d.
-1
Let p(s) = s**3 + 7*s**2 + s + 13. Let f be p(-7). Suppose f = -2*i + 4. Let g = 4 + i. Solve 4*d = 5*m + 8, m = g*d + d - 8 for m.
0
Suppose -10 = -3*s + s. Suppose s*w + 114 = -51. Let q = -33 - w. Solve -5*p - 2*f = -0*f + 15, p + 2*f + 3 = q for p.
-3
Suppose 113 - 428 = 35*d. Let j be d/3 + (7 - -3 - 4). Suppose 5 = 2*n - 5. Solve t - j*g = -3 + 11, -n*t + 2*g = -27 for t.
5
Suppose -4*b + 0 = 2*g - 18, 0 = 2*b - g + 1. Let k be 6/5 - b - 1653/(-285). Solve 0 = 4*c + 5*i - 7 + 22, 3*c - 15 = k*i for c.
0
Let g(i) = 3*i**2 + 95*i + 399. Let p be g(-27). Solve -4*a - 2*j = 26, 4*j + p = -3*a + j for a.
-6
Suppose -3*z - 10 + 22 = 0. Suppose -z*t + 67 - 23 = 0. Suppose 5*i = 11*i. Solve i = 4*o + 4*c + 16, 4*o - c + t = -4*c for o.
1
Let a(g) = 8*g - 40. Let w be a(6). Suppose 7*t - 5*t = -w*t. Solve -f + 4 = t, -f + 0*f + 9 = -u for u.
-5
Suppose 4 = t + 3*c, -3*c + 6*c = 3. Let p be (3/t - (-1 + 2)) + 1. Solve 4*z = -4*d + z, 0 = -3*d + p*z for d.
0
Let z be (-2)/(-5) - 1010/25 - 4. Let r = z - -46. Suppose -2*g - 11 = 5*t, 0 = -0*g - 3*g - r*t. Solve -2 = g*k + 4*p, p = k + 2*k - 4 for k.
1
Let t(g) = -5*g - g**3 - 287 + 4*g**2 + 283 + 3*g**2. Let y be t(6). Suppose 5*w + 10 = 0, -3*f = -y*w + 3 - 16. Solve -1 = -l - 2*c, f*c = -3*l + 2 + 1 for l.
1
Suppose 4*u - 80 = -2*o - 0*o, -3*o = -2*u - 144. Suppose -34*r + 32*r = -o. Suppose 4*n - 33 = r. Solve 3*c - n = -4*v - 2, 3*c = 3*v - 9 for v.
3
Suppose -33 = -2*f - 25. Suppose 0 = 3*c - 2*o - 19, -f*c + 5*c - 3*o = 18. Solve 0 = z + 5*k - 1 - 2, 0 = -c*k for z.
3
Suppose 0 = 38*p - 33*p + 5*v - 110, 0 = -3*p - 2*v + 69. Solve -9 = 5*u + 4*a, -22*u + 5*a = -21*u + p for u.
-5
Let o(d) = d**2 - 1204*d + 1205. Let c be o(1). Solve 5*v - 23 = -307*m + 308*m, c*v - 16 = -3*m for v.
5
Let s(o) = 17*o + 67. Let q be s(-6). Let y(b) = b**3 - 9*b**2 - 2*b. Let k be y(9). Let i = k - q. Solve z - 1 = 4*t, 5*z + i = -3*t + t for t.
-1
Let d be (21/7)/((-30)/(-20)). Solve 2*r + 8 = 2*h, 4*h = 3*h + d for r.
-2
Let j be (30 - 12 - 17)*(3 - -2). Let z = 45 + -45. Solve z = m + j*f + 1, -4*m - m = 2*f - 18 for m.
4
Let i be 12/(-3) - (34/17 - 37). Solve 5*t = 5*k + 25, 4*t - k = -14 + i for t.
4
Let j(l) = -2*l**3 + 33*l**2 - 10*l + 19. Let g be j(16). Let u be 1*11 - (g - 106). Solve -5 = -w - 4*w + u*i, -3*i - 1 = -w for w.
1
Let b be (-6)/1*5/(-6) - 3. Solve 3*p = 12, -h = -b*p + 15 - 5 for h.
-2
Let j = 253 + -250. Solve -g + d = 2, g - 2*d = j*d - 2 for g.
-2
Let f(t) = 17*t + 22. Let i be f(2). Let p = -53 + i. Solve 16 = h - p*h - 3*c, -4*h - 28 = 4*c for h.
-5
Let t be (0 - -5)*(-88)/(-40) - 7. Solve 2*a - 8 = -4*s, -5*a - 3 = -t*s - 9 for s.
1
Let k = 44 - 35. Let f(j) = 9*j + 17 - k*j - 4*j - j**2. Let n be f(-6). Solve 0 = -n*g + 3*g + 3*w - 2, -8 = -4*w for g.
2
Let z(h) = -912*h**2 + 2. Let j be z(-1). Let r = -910 - j. Let d be -1*(2 + -1)*-3. Solve 4*t + 2*c + 0*c - 18 = r, -4*t + 3 = -d*c for t.
3
Suppose -4*c = 4*h + 196 - 220, -h - 2*c = -9. Solve -h*z = -3*v - 18, -14*v = -16*v + 4*z - 18 for v.
-3
Let q(i) = -28*i - 1619. Let a be q(-58). Solve -2*w - 12*d - 18 = -7*d, d = a*w + 18 for w.
-4
Let v(a) = -8*a - 239. Let s be v(-31). Suppose 32*d - 35*d + 3*i = s, i - 9 = -5*d. Solve 2*g = -8, -3*f - d = -g - 2 for f.
-1
Let i(x) = 3*x**2 - 52*x + 40. Let h(j) = j**2 - 26*j + 20. Let n(d) = -5*h(d) + 2*i(d). Let f be n(-28). Solve 3*k = 6*k - 3*q, -5*q - f = 4*k for k.
-4
Suppose 0 = 2*f - 5*m - 24, -8 = 3*m - m. Let l(z) = -7 - 4*z**f + 0*z**2 - 42*z + 45*z - z**3. Let h be l(-5). Solve -2*a + 10 = -5*c, 2*c - h*c + 5 = a for a.
5
Suppose 35*z - 123 = -6*z. Solve -20*a + 15*a - 2*p - 16 = 0, z*a = -4*p - 18 for a.
-2
Suppose -5 = t - 8. Suppose t*p + 2*s = -2*p + 41, -15 = -p + 3*s. Solve -3*u = -3*a + p, -6 = 5*a + u + 3 for a.
-1
Suppose 46 = j - 3*k + 54, -16 = j - 5*k. Solve 23 = -j*v - q, 0 = 2*v + 5*q - 13 + 38 for v.
-5
Suppose -3*a + 4*i + 61 = 0, 66*a - 26 = 64*a - i. Solve 19*o + 3*q = a*o + 9, 5*o + 4*q = 11 for o.
3
Let w = -833 - -830. Let y(f) be the first derivative of -7*f**2/2 - 4*f + 1. Let x be y(w). Solve u - 4*h - 5 = -5*h, -5*h + x = u for u.
2
Suppose -4*w + 11*w + 210 = 0. Let v be (18/w)/(1/(-5)). Solve -v*z + 1 = 5*c, 7 = -4*c + 5*z - 7 for c.
-1
Let h = 337 - 325. Suppose 20 = 4*c + h. Solve 3*t + 11 = c*r, -4*t - 4*r = -t + 5 for t.
-3
Let h be (6/(-4))/((-1)/2). Suppose 2*g - 17 = -5*i, g + 4*i - 18 = -8. Solve h*m = m - 3*s + g, -4*s + 6 = 2*m for m.
3
Let w be 4*3/((-6)/(-4)). Let t be (-56)/w - (2 + -5). Let o be (-1 - (3 + t))/(-2). Solve o = -5*q + 4*g - 10, 0*g + 2*g = 4*q + 8 for q.
-2
Let a(h) = -h**2 + 30*h + 27. Let g be a(21). Suppose -57*k - g = -61*k. Let b = 58 - k. Solve -5*f - 19 = 3*w, -8 - 8 = b*w + 2*f for w.
-3
Let v be ((-192)/(-20))/(9/30) - 4. Let t = v + -23. Suppose -7*o + 2*o + i + 1 = 0, 2*i + 2 = -t*o. Solve 0 = 3*n + 5*r + 14, o = r + r + 8 for n.
2
Suppose -g + 2 = 3, 2*h - 7 = g. Suppose -l = 4*m - 14, 7*l + h = 3*m + 4*l. Solve -3*r = -m*v, 4*v + 9 = -0*r - 5*r for v.
-1
Suppose -45 = 12*y - 21*y. Let t be ((-1)/(-4))/(y/160). Solve 0 = -2*k + 5*r - 17 - t, 0 = 4*k + 3*r + 11 for k.
-5
Let q be -8 + (1 - (2 - -936)). Let l = 949 + q. Solve -l*b + 7*b + 3*g = 0, 5*g = 20 for b.
-4
Let z(h) = h**3 - 171*h - 9. Let l be z(-13). Solve -l = -r - 2*p, p + 14 = 6*r - 2*r for r.
5
Suppose 12*n - 7*n + 5*j = 40, j - 1 = 0. Suppose i + 4*m = 23, -5*i = -4*m + n - 2. Solve -i*r = 4*a - 5, 0 = -3*r - 2*r + a - 30 for r.
-5
Suppose 5*v + 4*g = -3 + 15, -4*v + 3*g = 9. Solve -4*f - 5*z = -4*z + 16, v = 2*z for f.
-4
Suppose -22*d + 101 - 13 = 0. Let q be (-13 + 7 - -4) + 4. Solve -q*r + z = 9, 3*z + 9 = -d*r - 4 for r.
-4
Let a be 4*2/(-20)*-15. Let f be 30/4*(-12)/(-9). Let g be (f/a)/((-35)/(-42)). Solve 5*b = -3*x - 12, g*b = -4*x + b + 1 for x.
1
Let y = 2675 + -2672. Solve -y = -4*u + 25*s - 28*s, 4*s - 4 = 0 for u.
0
Let g = 2421 - 2414. Solve 4*o - 23 = 5*q, 67*q = 2*o + 66*q - g for o.
2
Let u(f) = 5*f**2 + 48*f - 72. Let w be u(-11). Solve 109*r - 107*r - 4*q = -4, 5*r - w*q = 10 for r.
6
Suppose 237*x - 839 + 128 = 0. Solve 3*t - 3 = z + 2*t, 0 = -x*t + 15 for z.
2
Let w(v) be the first derivative of v**3/3 - 5*v**2/2 + 10*v - 1069. Let b be (3/2)/((-6)/(-8)). Let f be w(b). Solve -3*j = -4*q + 13, 3*j - 3 = q - f for j.
1
Let y = -4044 - -4049. Solve -3*f + 8*f + y*t = -35, 5*t = -4*f - 33 for f.
-2
Let g = 21 - 22. Let b = 6 - g. Suppose 5*s - 4 = 3*x, 0 = -b*s + 4*s + 4*x - 2. Solve -13 = 4*z + c, 2*z + c - s*c + 11 = 0 for z.
-4
Let a = -11 + 15. Suppose 0 = -a*b - b + 10. Suppose h = -b*h + 15. Solve -3*m + 2*m - 10 = 2*i, i = h*m - 5 for i.
-5
Let j = 85 - 85. Suppose -18 = -u - 5*k + 7, 0 = 4*u + 3*k - 32. Suppose u*f = 4*l + 33, 2*l - 3 = -f + l. Solve 0 = 2*h - a, f*h + j*a = 4*a + 3 for h.
-1
Let w(h) = -2*h**2 + 25*h - 1. Let n be w(12). Suppose -6*q = 3*v - n*q + 16, q = 2*v - 1. Solve c + v*s = -11 - 0, -s = 5*c + 27 for c.
-5
Let z = 202 - 194. Suppose -z*p - 68 = -84. Solve -2*s = -10 + p, -5*m = s - 14 for m.
2
Let q(k) = -k + 2. Let n be q(-2). Suppose n*b - 10 - 35 = -h, 0 = 2*h - 10. Suppose 25*p = 94*p + 37 - 175. Solve 5*i + p*w + 0*w - 5 = 0, -2*w = b for i.
3
Let h = 252 - 250. Let y be h + 2/(-10) + (-2)/(-10). Solve y = o - 2*v - 2*v, -4*v = -4*o - 4 for o.
-2
Let f = 144 - 143. Suppose i + 26 - f = y, 0 = 2*y + 4*i - 20. Suppose -130*o - y = -135*o. Solve 0 = -5*x + d + 17 + 12, o*d = 5*x - 41 for x.
5
Let t be 1*(5 - 2 - -10). Suppose 0*j + 8*j - 112 = 0. Let a = 18 - j. Solve -3*w = -0*b - a*b, -4*w + t = -b for b.
3
Let p be 10/14 + 40/(-56). Solve o - 2 = -x, p*o = -3*x + 3*o - 6 for x.
0
Let 