19 - 8 + 4 + 5*k + k**2 + 3 + 0*k**2. Let q be z(-5). Solve 0 = 4*h - 10*h - q for h.
-3
Suppose 4*o + 899 = 4*h - 401, -5*o - 1633 = 3*h. Let y = o + 327. Solve -y - 3 = c for c.
-4
Let p(i) = 4*i**2 - i + 6. Let u be p(-3). Suppose -3*c - 15 = 0, 17 = 2*m + 4*c - 53. Let z = m - u. Solve z*y = -3*y + 12 for y.
4
Let a = -29 - -26. Let u(v) be the second derivative of -7*v**3/6 - 21*v**2/2 - 13*v. Let l be u(a). Solve l = -5*w + 2 + 3 for w.
1
Let q be 4/7 + 1426/322. Suppose q*d - 2*t = 10*d - 10, 3*t = 0. Solve 0 = -11*g + 10*g + d for g.
2
Suppose 165 = -5*s + 3*y, -50*y - 93 = 3*s - 53*y. Let u be 1*(-8)/s - (-2)/(-9). Solve -2*k + 2 - 4 = u for k.
-1
Let l = -2550 - -2563. Solve -17 - l = 5*r for r.
-6
Suppose -122*z + 529 = 791 - 5630. Solve 0 = 11*c + 22 - z for c.
2
Let s(b) = 2*b**3 - 5*b**2 + 3*b - 4. Let d be s(3). Suppose 472*l - 969*l = -483*l - 56. Solve -2 = l*q + d for q.
-4
Suppose -3*b + 2059 - 415 = 4*h, 4*b - 1233 = -3*h. Solve h = -63*f - 93 for f.
-8
Suppose -p + 4*c + 5 = 0, 3*c + 3 = -3*p + 6*c. Let j be 25/5 + 0/p. Solve -34 + 9 = -j*n for n.
5
Let f be ((-25)/(-250)*(-35)/2)/((-3)/12). Solve -6*g + 5 = -f*g for g.
-5
Suppose -30*v + 29*v + 4 = 0. Let y be -1*(-9)/(-12)*-4. Suppose -3*x = 2*x + 2*w, v*x - y*w = 0. Solve x*t = -t for t.
0
Let p = -3831 + 4021. Solve -9*x = p - 154 for x.
-4
Let b(h) = 7*h**2 + 4*h - 6. Let y = 78 - 77. Let l be b(y). Solve -l*s - 8 = -23 for s.
3
Suppose 7 = -2*c + 5*f + 17, -6 = 3*f. Solve 197*w - 200*w + 21 = c for w.
7
Let r be 2 - -12*((-33)/(-12))/11. Solve r*w + 65 = -8*w for w.
-5
Suppose -5*l - 9*l = -224. Suppose -5*z = g - l, 8*z - 3*g = 13*z - 8. Solve -5 = z*k + 7 for k.
-3
Let b be (-7)/(-2) - (-13)/(-26). Suppose 4*t - q + 6 = q, -5*q = 5*t - 15. Let i be 6/18*(0 - t). Solve i = -b*w + 7*w - 16 for w.
4
Let x be 16 - (-2)/(2/5). Solve 1828*b + x = 1849*b for b.
1
Let n(x) = -x**3 - 56*x**2 - 62*x - 152. Let v be n(-55). Solve 2*j + v = 223 for j.
-5
Let r be 0 + (3 - 7) + 3 + 227. Let i be (-2)/((8/r)/(-2)). Suppose -2*b + i = 105. Solve 12 = -b*x - 4 for x.
-4
Let o be ((-45)/105)/((-4)/84). Suppose 2*n - o*n = -49. Solve n*t = 2*t - 20 for t.
-4
Suppose -5*b + 7*b = -3*q + 53, -q - b + 20 = 0. Solve -q*n = 137 - 202 for n.
5
Suppose -x + 10*d + 3 = 14*d, 0 = 2*x - 4*d - 6. Suppose 6*f = 5*f - c + 1, 2*f + x*c = -3. Solve -32 + 2 = f*h for h.
-5
Let z be (-1 - -1)/(4 + -2). Let h = 11 - 14. Let b be -1 + (0 - z - h). Solve 2*k - 12 = -b*k for k.
3
Suppose -1506 = -247*u + 684 + 1021. Solve u*m - 48 = 17 for m.
5
Let a = -128 + 123. Let u be (6/((-90)/a))/((-2)/(-60)). Solve -8*s = -u*s - 8 for s.
-4
Let i(s) = 4*s - 55. Let c be i(15). Suppose 4 = 5*m - 2*m - 2*g, m + c*g - 7 = 0. Solve 0 = m*b + 3*b for b.
0
Let i = 8743 - 8740. Solve 0 = -i*p - 1334 + 1358 for p.
8
Suppose -1 = 116*x - 4 + 3. Suppose 0 = -d - 5*z + 29, 4*d + 9 = z + 4*z. Solve x = 6*q - d*q for q.
0
Suppose -k = -m + 2, 926 = -4*m - 3*k + 976. Solve -240 = -40*p - m*p for p.
5
Let d(f) = -74*f - 202. Let l be d(-6). Solve -247*j = -l*j - 10 for j.
2
Let d(t) = 2*t**2 + 9*t - 7. Let l be d(-6). Suppose 3*j = -4 - l. Let h be -1 + 1 + (-1 - j). Solve h*b = 6*b for b.
0
Let f be (-4)/(-18) + 1140/(-270) - -8. Let c be f/(-5)*(-75)/15. Solve c*x = -x - 10 for x.
-2
Let q be 58/3 + 8/12. Let a(n) = 3*n - 3. Suppose 60*y = 64*y - 12. Let o be a(y). Solve f + q = o*f for f.
4
Suppose 0 = 13*s - 18*s + 30. Let g be (15/(-35))/(s/(-28)). Solve g*j = 9 - 5 for j.
2
Let l(m) = m**3 - 12*m**2 - 30*m + 32. Let q be l(14). Suppose -8*b = q*b. Solve -5*c + 3*c - 8 = b for c.
-4
Let b(l) = -l + 2. Let h(y) = y**3 + 6*y**2 + 8*y - 2. Let o(j) = 2*b(j) + h(j). Let t be o(-2). Solve 2*q + q - t = 0 for q.
2
Let l(k) = -k**3 - k**2 + 11*k + 22. Let c be l(-3). Let a = 15 + -9. Solve c*s = 9*s + a for s.
-3
Let l = -5 + 9. Let o = -145 + 72. Let k = o - -75. Solve 0 = -t + k*t - l for t.
4
Let z(y) = y**2 + 4*y + 7. Let g be ((-4)/1 - 3) + 4. Let r be z(g). Solve l - 3*l - r = 0 for l.
-2
Let x(z) = -z**2 - 23*z - 4. Let y be x(-12). Let h be y/(-960) - (-2)/15. Solve 2*o - 3*o - 3 = h for o.
-3
Let d(u) = -4*u**3 + 4*u**2 + 4*u. Let v be d(-1). Suppose 92 = -47*a + 51*a. Solve -v*f - 3 = -a for f.
5
Let q = 6006 - 5955. Solve q*r + 84 = 23*r for r.
-3
Suppose -66*k + 71*k - 25 = 0. Suppose c = -3*t - 12 - 2, 3*t = k*c + 16. Let q be -2*(t - 1) - 21/7. Solve 0 = -x - q for x.
-5
Let d(o) = o**2 - 21*o - 40. Suppose -48 = -2*a + 2*c, -3*c = -3*a + a + 50. Let j be d(a). Let s = -16 - j. Solve s - 4 = -b for b.
2
Suppose 3*g - 5*r = 5*g + 19, 2*r = -10. Suppose 0 = -p + 5*a - 23, g*p + 5*a - 35 = -2*p. Solve -3*b - p = 13 for b.
-5
Let n(j) = -303*j - 5114. Let z be n(-17). Solve -110 = -15*q + z*q for q.
-5
Suppose 5*v = -1362 + 1257. Let d be 14*(-6)/v - 3. Solve -17 + d = 4*i for i.
-4
Suppose -1253*n = -1268*n. Let v be ((-1)/((-6)/4 - -1))/1. Solve 7*h - v*h = n for h.
0
Suppose -181*z + 178*z - 15 = 0, 4*l - 23 = 3*z. Solve 4*u + 6 = -l*u for u.
-1
Suppose 0 = 11*m - 461 - 648 - 1058. Solve -m*b + 80 = -217*b for b.
-4
Let c(m) = 6*m**2 + 9*m - 39. Let u be c(5). Suppose 4*i + 324 = 4*f + i, -3*i - u = -2*f. Let n be (f/(-56))/(1/(-2)). Solve n*b - 6*b + 6 = 0 for b.
2
Let t(l) = 198*l - 10427. Let o be t(53). Solve -o*w - 97 = 37 for w.
-2
Let z be (-2*4/8)/(-1) - -2. Suppose -2*m = -0*m + q - z, -5*m - 3 = -q. Suppose 12*h - 46 - 14 = m. Solve u - 2 = -h for u.
-3
Let f = 6666 - 6663. Solve -f*l + 130 = 118 for l.
4
Let g be (4/(-10))/((-1)/15). Suppose 4*l = -12, 3*w + w = 3*l + 81. Let x be (3 + w)*12/42. Solve x*v + g = 4*v for v.
-3
Suppose -4*x + 130 = -70. Suppose x = 10*a - 0*a. Let w be (1/1 + a)/((-3)/(-2)). Solve -4*m - w = -16 for m.
3
Suppose 11*f = 26 + 29. Suppose 10 = f*z - 5. Suppose -z*y + 14 = 4*h, -1 = -2*h - 4*y + 1. Solve -h*v + 3*v = 4 for v.
-2
Suppose -3*h = -5*h - 10. Let w be ((-45)/75)/(1/h). Suppose -78 = -3*g - w. Solve -2*m - g = 3*m for m.
-5
Let p(l) = 2*l + 12. Suppose -4*o - 45 + 29 = 0. Let n be p(o). Suppose -51 = -3*k - k + 5*c, -4*c + 33 = 5*k. Solve -k = a - n*a for a.
3
Let q = 114 + -111. Let n(x) = 5*x**2 + 67*x + 26. Let r be n(-13). Solve -q*y + 15 = -r*y for y.
5
Suppose -s - 4*p + 32 = 12, 5 = p. Let i be (12/(-9))/(10/(-45)). Suppose 3*q - i*q + 3 = s. Solve q - 7 = -3*n for n.
2
Let a be 4/(-14) - (-816)/357. Suppose -a*s + 5*o = -3, -o + 2 = 5*s - 19. Solve -8 = 2*x - s for x.
-2
Let i = 66 + -66. Suppose i*p = 4*p - 20. Suppose -4*y = p*w - 20, 4 = -6*y + 2*y + w. Solve y*l = -l for l.
0
Let t be 2 - (-3 + 3)/3. Let m(n) = 20*n + t*n**2 + 1 + 3 - 12*n + 0 - n**3. Let b be m(4). Solve -b*o - 8 = -0*o for o.
-2
Suppose -30 = -4*x + 2. Suppose -131*p + 903 + 2615 = -150. Solve p = 5*a + x for a.
4
Suppose 0 = x - 5*h - 129, 130*x - 126*x + 4*h = 348. Solve x - 59 = -7*y for y.
-5
Suppose -14 = -126*g + 124*g - 4*i, -5*i + 35 = 5*g. Solve -6 = -g*a + 36 for a.
6
Let s(k) = k + 41. Let w be s(15). Suppose 38 = -3*q + w. Solve 0 = -9*t + q*t + 15 for t.
5
Suppose -22*b + 30*b - 720 = 0. Let v be (-4)/18 + 20/b. Solve v = -5*d + 2*d for d.
0
Let k be (-1)/(359/(-315) + 530/477). Solve 18*o - 73 = k for o.
6
Suppose 479*q - 480*q - 2*k = -12, -2*k - 12 = -3*q. Solve q = -6*g - 24 for g.
-5
Suppose -2*i = 5*c - 59, -2*i + 0*i - 32 = -2*c. Suppose -24106*w + 1696 = -23894*w. Solve -w*y - 45 = -c for y.
-4
Let x = 3164 + -3125. Solve -x + 44 = -5*o for o.
-1
Let s(z) = -13*z - 49. Let t be s(-4). Solve -t*q = 90 - 78 for q.
-4
Suppose 111 + 19 = -5*x. Let i = -22 - x. Suppose 0 = 2*o - o - 1, -2*v - i*o = -10. Solve -v*z = -6*z + 3 for z.
1
Suppose -317*r + 414 = -311*r. Let z be 20*(5 + r/(-15)). Solve 5*g - 2 = z for g.
2
Let v(k) = -1266*k - 12634. Let n be v(-10). Solve -46*z + n*z = -100 for z.
5
Suppose -31 + 185 = 7*o. Solve 75*m - o*m + 53 = 0 for m.
-1
Let v be 98*(156/(-24) - (-7)/1). Solve v*s - 39*s = -60 for s.
-6
Let h(x) = 289*x - 503. Let i be h(2). Solve -49*b + 26 = i for b.
-1
Suppose -2*v - 25 = -3*n, n + 12 = -5*v - 8. Let i = -356 - -360. Suppose 3*h = -14*q + 10*q + 24, 0 = -2*h - i*q + 20. Solve 19 - h = -n*p for p.
-3
Let k(r) = 2215 - 738 - 732 + 128*r - 733 + 28*r**2. Let c be k(-5). Solve -c*b + 76*b = -8 for b.
-2
Let h(u) = -8*u**3 - 159*u**2 +