4*y - 138*v + q*v for y.
-3
Let r(n) = 5 + 7*n**2 - 3*n**3 + 2*n**3 + 2*n**3 + 0*n**3 + 2*n. Let y be r(-7). Let s be -5 - (y + 4 + -5). Solve 3*u = s*k - 16, 5*k = 2*k - 4*u + 27 for k.
5
Suppose 5*q = 25 - 5. Suppose q*o + 6 - 4 = s, 4*o - 3*s = -6. Solve o = -3*l + 5*t - 4*t - 7, 0 = 3*l - 2*t + 11 for l.
-1
Suppose 9*c - 4*c + 36 = 23*c. Solve -3*i + 5*x = -6*i + c, x - 1 = 0 for i.
-1
Let l(j) = j**2 + 9*j + 1. Let g be l(-10). Suppose -g + 23 = 3*w. Solve -7 = 2*z - n, -3*z - w = -z + 2*n for z.
-3
Let h(z) = 14*z + 84. Let c be h(-6). Suppose c = 2*j + 3*j - 10. Solve -5*g + j = 2*f, g - 2 = -4*f + 2 for f.
1
Suppose 3*d - 2*b = -62, -4*d + 2*b - 25 = 57. Let r be (4/6)/(d/(-6) + -3). Let i = -185 + 185. Solve i = -2*w - 4*z + 6, r*w - 3 = -z - 0 for w.
1
Let s = 2763 + -2759. Solve 0 = -3*q + 4*k - 15, 0 = 6*q - 7*q + k - s for q.
-1
Suppose -4*w - 5*w = 0. Suppose -b + l = -3*l + 18, w = 3*b + 4*l - 26. Solve 0*t = 4*g - 3*t - b, -3*g + 4*t = -5 for g.
-1
Let s = -1302 + 1322. Let g(m) = m**2 - 6*m - 2. Let u be g(7). Suppose -u*i + 20 = -5*d, i + d = 4*i - 14. Solve -r - 2*r = -i*q + 5, -4*r = -s for q.
4
Let o be (-4)/56 - (86/(-28) + -1). Solve -2*n - o*x = 3*n + 15, 3*x = -4*n - 12 for n.
-3
Suppose -80 = -9*g - 26. Let a be g/(-5)*15*1/(-9). Solve -a*s + 2 = 2*n + 4, -5*n + 16 = -2*s for s.
-3
Let j be 11/1 - 2745/(-183). Solve 3*w + 3*n + 2*n + j = 0, -8 = -4*w + 4*n for w.
-2
Suppose 0 = -9*l - 297 + 315. Let d = -1 + 5. Suppose l*b - 24 = -d*b. Solve 4 + 14 = b*n + 5*k, n + 2 = 2*k for n.
2
Let j be (-1 - -2)*7 - (3 + 1). Suppose 4*i - 8 = 2*v, -j*v + 15 = 3*i - 9. Solve -4 = -v*n + 4*y, -5*n + 2*y + y - 1 = 0 for n.
-2
Suppose 2*s = -2, t = 2506*s - 2502*s + 8. Solve 3*k - 32 = -4*q, -4*q + 6 = -t*k + 2 for q.
5
Let c = 6813 + -6792. Solve 5 = -5*t, -5*t + 13 = -s + c for s.
3
Let b be (-3)/(-5) - 24/(-10). Let g(p) = p - b*p + 1 - 3*p + 1. Let d be g(0). Solve -w = -4*w + 5*c - 8, c - 12 = -d*w for w.
4
Let i = -781 - -785. Solve -i*o + 18 = -n - 1, -3*n = 5*o - 11 for n.
-3
Let l = -105 + 162. Let t = -54 + l. Solve -t*m - 2*k + 0*k - 8 = 0, -6 = 4*m + 5*k for m.
-4
Suppose 391 - 303 = 4*b. Suppose -44 = 11*d - b*d. Solve -g - 5*j = -d*g + 10, -3*g + j = 10 for g.
-5
Let d(u) = 6*u - 4. Let s be d(4). Suppose 2*k + 0*k - 6 = 0. Let z = -6283 + 6285. Solve z*w = 3*w, -4*q - k*w = s for q.
-5
Let u be 657/39 - -9*16/936. Solve -u*j = i - 18*j + 1, 9 = -5*i + 4*j for i.
-5
Suppose 5*h = 394 + 451. Let i = h + -165. Solve -n - n + i*t + 30 = 0, 45 = 4*n - 5*t for n.
5
Suppose -14*i = -3*i. Suppose 5*w - 2*o + 6 = i, 42*o - 46*o + 12 = 3*w. Solve -f = -w*f - 5*g - 18, -5*f + 9 = 2*g for f.
3
Let d be (-4)/20 - (-1)/5. Let s be d - 0 - (3 - 3). Let h be (34 + -16 - 23)*2/(-5). Solve -5 + 7 = 2*q - h*g, s = 5*g for q.
1
Let b = 7184 + -7150. Solve 3*t = -2*r - 26, 5*r + b = 4*r - 5*t for r.
-4
Let h(k) = -2*k + 5. Suppose -5 = -b + 5. Let a be h(b). Let c be 2/(a/(-7) + -2). Solve -4*i - 2*s = c, 4*i + 10 = -4*s + 2 for i.
-5
Let l = 283 + -278. Suppose 0 = -4*h - f + 11, 0 = l*h - 3*h - f - 7. Solve -h*j + 1 = 2*i, 5*j + 3 = -i - 0*j for i.
2
Suppose 56*m - 126*m + 59*m = 0. Solve -11 = 8*o - 9*o + 4*i, -4*o - i - 24 = m for o.
-5
Let b(z) = -14*z + 19. Let w be b(1). Suppose 1 + 3 = c, -2*k + 62 = -w*c. Solve -4*s - 3*u + 7 = -2*s, 4*s - 5*u = -k for s.
-4
Suppose 81*u - 1369 - 490 = -320. Solve 3*s + 6 = 2*c, -s - u = 10*c - 5*c for c.
-3
Let i(o) = o**2 - 17*o + 53. Let d be i(4). Let f be 88 + -80 - 8*d. Solve k - 4*s + 8 = f, 0 = 5*k + s - 5*s + 24 for k.
-4
Let s be 13 - (-9)/((-108)/96). Solve -4*j + h = 5, -7*h - s = -2*j - 4*h for j.
-2
Let x be 2 - (-3 + 31*4/(-4)). Suppose 0 = -3*v + x - 36. Suppose v*r = -r + 24. Solve 4*b - r = a + a, 5*b - 8 = -3*a for a.
-4
Let i = -3 - -6. Suppose -208*z + 5*z = -1218. Solve -3*b = -i*m + 15, -4*b = -m - z + 17 for m.
3
Let w = 2505 + -2505. Solve w = -3*k + 4*s - 17, 2*k + 5 = -k - 2*s for k.
-3
Suppose -2*p + 2 = 2*v, -4*v = -5*p - 2*v + 26. Suppose -3*x = -5*t - p, -x + 2*t = 4*x - 13. Solve 0 = -4*r + 4*d + 8, x*r + 3*d - 4 = r for r.
2
Suppose 111*f + 105 = 126*f. Let p be 0*3/(-24) + f. Solve -5*k - 3*n = -0*n + 5, 3*k + p = -n for k.
-4
Suppose -7338 = -239*v - 2797. Solve -x = -3*w - v, -5*w - 21 = -2*x + 3*x for x.
4
Let j = 844 + -680. Let d be (-1 + -5)*(-246)/j. Solve -2*n - 5*b = -n - 19, n = 2*b - d for n.
-1
Let z(v) = 3*v + 1. Let f be z(-2). Let x = -276 + 286. Let s = x - f. Solve s = -3*p, 3*p - 2*p = q - 8 for q.
3
Suppose -2*o + 13 = 3*y - 10, 3*y = 5*o - 68. Suppose 5*s = -2*k - o, 3*s - s = -3*k - 3. Solve -4*q = f + 21, 3*f + k = -2 for q.
-5
Let u be (-29)/(-406)*-7 + (-83)/(-2). Solve 0 = -5*h - w + u, 46*w - 45*w + 31 = 4*h for h.
8
Suppose 0 = -21717*r + 21728*r - 55. Solve -30 = -r*z - 5*i, -2*i - 2*i + 14 = 2*z for z.
5
Let w(h) = h**3 - 4*h**2 - 2*h + 10. Let p be w(4). Solve 168*m - y = 167*m + 4, -2*m - p*y + 4 = 0 for m.
3
Let q(k) = 4*k**3 + 2*k**2 - 1. Suppose -4*s + 2 = 2*l, 0 = -15*s + 19*s. Let r be q(l). Solve 1 - 6 = r*i + 3*p, 0 = -5*i - 5*p - 15 for i.
2
Let g = 43 - 40. Suppose -g*a + 8 + 7 = 0. Suppose 0 = -a*h - n + 136, -7 + 57 = 2*h - 4*n. Solve -5*q - 3*m = 20, -2*q - 3*m = 2*m + h for q.
-1
Suppose 4*f + 14*s - 18*s = 0, -3*f - 4*s + 35 = 0. Solve m = -f*h - 24, -15*m + 17*m = -5*h - 23 for m.
1
Suppose 3*l = -4 + 16. Suppose h - 168 = -5*b, -b = -l*h + 3*h - 36. Let s = -29 + b. Solve -9 = 3*v - 3*f, -s*v + 3*f = 4*f + 21 for v.
-4
Suppose -5*n + f - 4*f = 3, 3*f + 3 = 4*n. Let i be (n/(0 + 6))/(2 + -5). Solve 4*v + 5*m = 13, i = -3*v - m - 3 - 1 for v.
-3
Suppose -48 - 82 = -5*b. Suppose 0 = -b*n + 30*n - 32. Suppose -v = 3*c + 7, v - 3*c - n = -c. Solve 3*y = v*y + 2*o - 8, 30 = -5*y + 5*o for y.
-4
Let l be 0*(1800/162 - 11). Solve 0 = -3*t - 4*s + 5, 3*s + 17 - 23 = l for t.
-1
Suppose -44*p = -46*p - 5*m + 13, m = -p + 17. Solve 0 = 4*z - 16, -33*z + p*z = 4*a - 20 for a.
-4
Let t be (4/2)/(12/(-1614)). Let c = 282 + t. Solve -4*d - 22 = 2*b, -3*b = 3*d - d + c for d.
-5
Let y be (13/(-182)*0)/3. Solve y = 4*x - j + 20, 4 - 9 = x - 2*j for x.
-5
Let a(g) be the second derivative of -g**3 + 189*g**2/2 - 4*g + 2. Let x be a(31). Solve 0 = d + 1, -5*y - 12 = -x*y + 4*d for y.
-4
Let z = -400 - -405. Let v(s) = 2*s**2 + 9*s - 8. Let m be v(-6). Suppose m*i - 12*i + 8 = 0. Solve z*w + l = -l - 10, l = i*w - 5 for w.
0
Suppose 491 = -28*f + 547. Solve -f*b + 3*y - 31 = 2*b, -4*b = 4*y - 4 for b.
-4
Let t(u) = 3*u**3 - u**2 - u + 1. Let z be t(1). Let l = -37 - -40. Let h(d) = -d**2 + 12*d + 18. Let g be h(13). Solve -w - 2 = l, 5*m - z*w + g = 0 for m.
-3
Let i = -65 - -82. Suppose 12 = -11*l + i*l. Suppose -1 = 2*y - 3*q, -l*y + q + 0 + 5 = 0. Solve 0 = 5*r + 15, -y*r = -5*x - 0*r + 22 for x.
2
Suppose 41*f + 76*f = 0. Let p(m) = -m**2 + 7*m + 2. Let q be p(5). Suppose f = -2*t - t + q. Solve -7 = 2*i - 0*u + 3*u, t*i + 9 = -u for i.
-2
Let c = 114 + 645. Suppose 757*m - c*m = -68. Solve w = -3*i - 4*w + m, -20 = -4*w for i.
3
Let a(d) = -21*d + 14*d + 250 - 374. Let v be a(-18). Solve -v*q - 3 = -q + 5*g, -2*q + 2*g - 6 = 0 for q.
-3
Suppose 675 = 4*x + s - 272, 4*s = 2*x - 496. Let i = 243 - x. Suppose 2*l - 5*l + 9 = 0. Solve l*k + m = 7, 0*k + i*m = k + 19 for k.
1
Let h = 117 - 107. Let w be -6 + (4 - (-1 + 3)) + h. Suppose 2*s = 4*i - 6, -w = -s - i - 0. Solve 0*y - 2*y + 15 = -s*c, 5*c = -25 for y.
0
Suppose 22*v + 21 = 25*v. Suppose -2*j - 3*p - 3 = 0, -68*j - 2*p - 21 = -73*j. Solve -4*r + 3*y + j = 0, -r - 2*y + v*y = -5 for r.
0
Let p be -7*(0 - 2/7). Let k be 56/1 + (1 - 3) + 0. Let r = -54 + k. Solve 3*h = 2*d - 23, -2*d = -r*d + 2*h + p for d.
4
Let c be 30/4*4/6 - (-3 + -1). Solve 2*g + 3*b - 6 = 0, -68*g = -65*g + 3*b - c for g.
3
Let r = 33 - 29. Let h(s) be the second derivative of 7*s**4/12 - s**3/3 + 10*s. Let f be h(1). Solve -4*x + 14 = -j + r*j, f*j = -4*x + 18 for x.
2
Suppose 0 = 73*r - 2012 + 771. Solve 0 = -w + 4*m + r, 6*m - 37 = 4*w + 11*m for w.
-3
Let a be -10 - -173 - 1*(-6 + 1). Suppose 49*y = 77*y - a. Solve 0 = 2*k - 4*o - 8, 0 = y*k - 2*k - 4*o - 8 for k.
0
Suppose -3*n + 4*n - 6 = 0. Let z = 52 - 48. Suppose -4*x + 8 = -4*u, -25*x + 22*x + z*u = -3. Solve -4*g + n = 2*p, -g + p = -4*g + x 