
Let u(r) = r**3 + 15*r**2 + r + 18. Let i be u(-15). Suppose i*k - 86 = -23. Suppose 2*c = -0*m - m + 9, 0 = -3*c - 3*m + k. Solve 0*g - 2*g = c for g.
-1
Let i(a) = -183*a + 1481. Let s be i(8). Solve 46*f = -s*f for f.
0
Let q = -15090 - -15096. Solve -46 = 13*p + q for p.
-4
Suppose -20*i - 31 + 112 + 159 = 0. Solve -4*h = i + 16 for h.
-7
Let a = -86 + 90. Let p be (-7 + 3 - a)*-1. Let y be 0/((30/(-40))/((-2)/p)). Solve y = -o - 0 - 2 for o.
-2
Let k = 15 - 6. Suppose 69*u - 293*u = -896. Solve 10*q + u = k*q for q.
-4
Let v(x) be the second derivative of x**4/2 + x**3/3 - 13*x**2/2 - 9*x. Let j be v(-4). Let k be j/3*(1 - 0). Solve -2*p + 7*p = -k for p.
-5
Suppose 80*u = 75*u + 250. Suppose -3*n + 204 = 54. Let q = n - u. Solve 0*s + s = q for s.
0
Suppose -28*u = -110*u - 59*u + 564. Solve 5*l - u*l = 4*l for l.
0
Let r(m) = -4*m - 42. Let d be r(-12). Suppose 7*z - 2 = d*z. Suppose -6 = -4*n + 2. Solve n*k + z*k = 0 for k.
0
Let m = 642 + -482. Let n be 368/m - 9/30. Solve 2 = -h + n*h for h.
2
Let j(b) = 8*b - 506. Let t be j(72). Solve -107*k + t = -72*k for k.
2
Let t(z) = -163*z + 40. Let g be t(0). Solve -14*p = 12 - g for p.
2
Let w = -20 + 35. Suppose b - 14 = -f, -48 = -4*b + 27*f - 30*f. Solve m + w = b*m for m.
3
Let y(z) = -4*z - 1. Let n be y(-7). Let v = n + -24. Let s be v*((-12)/(-3) - (-1 - -4)). Solve s = -p + 7 for p.
4
Suppose n - 2*m - 20 = 0, -2*n + 2*m = -7 - 33. Suppose 0 = 783*c - 778*c - n. Solve c*o = 5*o - 3 for o.
3
Let z(h) = -h**3 - 13*h**2 + 16*h + 34. Let v be z(-14). Suppose 3*b + 2*r - 13 = 0, -9*r = 4*b - v*r - 18. Solve -d - b*d = 4 for d.
-1
Suppose 0 = -4*p + 6*p. Suppose p = -5*f - 6*f + 583. Suppose f*n - 78 = 47*n. Solve n = -3*h + 4 for h.
-3
Let n(p) = -p**2 - 20*p + 17. Let j be n(-8). Let y = -112 + j. Solve -r + 0 - y = 0 for r.
-1
Suppose 476*v - 383*v - 144 = 42. Let q be (1 + 0)*(7 - 4). Solve -v*i - 2 = -q*i for i.
2
Suppose -6939*x + 6950*x - 22 = 0. Solve -18 = -x*w - 4*w for w.
3
Suppose -21*k + 3151 = -3821. Solve 13*y + k = 410 for y.
6
Let a(g) = -19*g + 46. Let n be a(3). Let t be (3/7)/(n/(-77)). Solve -t = -6*c + 7*c for c.
-3
Let g be 1*(-4330)/22 - 8/44. Let m = g + 197. Solve m = -0*b + 3*b for b.
0
Suppose 670 = 84*w - 590. Solve -w = 4*l - 35 for l.
5
Let d(a) = a**2 + 40*a - 276. Let j(l) = -l**2 + 40*l - 5. Let y be j(41). Let g be d(y). Solve g = 4*w + 10 - 2 for w.
-2
Let d be (3/(-2))/((-1)/2). Suppose 22*v - 73*v + 7140 = 0. Let w be (-80)/v*(-8 + 1). Solve d*z - 16 = -w for z.
4
Let v be (-100 + 100)/((-1)/(2/4)). Suppose v = 4*c - k - 77 - 33, -2*c + 64 = -5*k. Solve 4*t - c = -7 for t.
5
Suppose 12*p + 39 = -16*p + 375. Solve 42*o + 60 = p*o for o.
-2
Suppose -34 = -15*f - 259. Let d be 12/(-30) - (-3 + 111/f). Solve d = k + 9 for k.
1
Let u(b) = -2*b + 24. Suppose 5*c - i - 49 = 0, -45 = -5*c + 3*i + 2*i. Let p be u(c). Suppose -p*t - 62 = -70. Solve -5*n = -t*n - 9 for n.
3
Let v = 43 + 2. Suppose -265 = -20*a - v. Solve 0 = -a*d + 10*d + 3 for d.
3
Let u = 216 + 27. Let q be u/36 + -6 + 13/4. Solve -q = -6*c - 34 for c.
-5
Let g = -54 + 76. Suppose -4*x - 14 = -g. Suppose 5 = 3*r - 4, 0 = 4*m - x*r - 2. Solve i = -i + m for i.
1
Let u(s) = -2*s**2 - 7*s - 3. Let j be u(-7). Let x = -59 - j. Let v = 19 + x. Solve -v = 4*i - i for i.
-4
Let v(u) = -u**2 - 11*u + 22. Suppose 0 = -4*p - p - 65. Let o be v(p). Let z = o + 10. Solve t = -3 + z for t.
3
Let c = -2 + 4. Suppose -3*b + c + 4 = 0. Let u = 1560 + -1555. Solve b*t = u*t for t.
0
Let t(v) = v**2 - v - 5. Let u be t(-3). Suppose -3 = -5*z - 5*w + u, z - 4 = w. Suppose -7*f + 8 = -z*f + 3*r, -2*f - r + 6 = 0. Solve -10 = -0*p - f*p for p.
2
Let f(g) = -78*g + 4. Let c be f(0). Solve -4*x + c = -3*x for x.
4
Suppose -7*a + 41 = 20. Suppose -c = 2*z - 11, 6*c + 39 = 10*c + a*z. Solve -c*i - 10 = -11*i for i.
5
Suppose -w + 2 + 12 = 4*f, f - w - 1 = 0. Suppose 0 = -p - 5*n + 3*n - f, -2*n = -3*p + 15. Solve 0 = p*r - 9 - 6 for r.
5
Suppose -34*g + 41*g = 35. Suppose g*j = -4*w + 24 + 8, -j + 7 = w. Solve k = j*k for k.
0
Suppose -n + 13 = 9. Suppose -3*u + 23 = -n*v, -2*u + 5*v = 3*v - 12. Let j(i) = -i + 4. Let g be j(u). Solve -13 = 2*c - g for c.
-5
Let t(l) = -l**2 + 20*l - 70. Let v(w) = w**2 - 11*w + 43. Let d be v(4). Let k be t(d). Solve 5*c - k = -0 for c.
1
Let c = -84 - -85. Let h be (-1*c/5)/(1/(-85)). Solve 16*k - h*k + 5 = 0 for k.
5
Let v = -35 - 94. Let g = v - -131. Solve g*p = -4*p - 24 for p.
-4
Let h = -108 - -165. Let o = 81 - h. Let v(f) = -f**3 + 24*f**2 + 12. Let z be v(o). Solve -4*t - z + 32 = 0 for t.
5
Suppose -3*i + 4*n = -18, -2*i = -3*n + 368 - 381. Solve 2*h = -0*h - i for h.
-1
Let s be (-87)/(-29) + (-4)/4 + 6. Solve 16 = s*l - 0*l for l.
2
Suppose -o + 469 = -g, -5*o = -g - 0*o - 489. Let d = 468 + g. Solve -i = -2*i + d for i.
4
Suppose 23*w - 1 = 22*w. Let c be w - (6/(-24) + 22/(-8)). Suppose -4*v + c*l + 12 = -v, 0 = 4*v - 4*l - 12. Solve 2 = -h - v*h for h.
-2
Let y be (-598)/(-16) - 30/80. Let f be (-5)/(-110)*-8*-11. Solve -f*t + 49 = y for t.
3
Let g = -49 + 53. Suppose -10*l + 16 + g = 0. Let r be 13 - (-4 - (-9 + l)). Solve x - r = -x for x.
5
Let q(u) = 2*u + 6. Let g be q(-2). Let r(c) = -c + 4 + 6*c + 1 - 2*c. Let z be r(g). Solve 1 = -4*m - z for m.
-3
Suppose 15*h - 922 - 53 = 0. Suppose 4*x = 5*c - 3*c + 118, -177 = 3*c + 5*x. Let r = c + h. Solve -2*m = -4*m + r for m.
3
Let h = 11498 + -11340. Solve -h*x + 159*x = 0 for x.
0
Suppose -4*l - 29 = -x - 3*l, 190 = 5*x + 4*l. Let i be 66 - 0 - (-42 + x). Solve i*b - 78*b = -16 for b.
4
Suppose -2*u - 2*i - 107 = -311, 5*u = 3*i + 478. Let p be (4/16*2)/(1/202). Let b = p - u. Solve -4*g = -g - b for g.
1
Suppose -2*p + 0*w + 20 = -5*w, -4 = 4*p + w. Suppose 8*f - 10*f + 72 = p. Let v be 14*(f/(-21) - (-1 + -1)). Solve -2*g = 2*g - v for g.
1
Let b(o) = 5*o - 25. Let x be b(7). Suppose -16 + 6 = -u. Suppose -5*k = 3*h - 14 - 2, 0 = k + 4*h - u. Solve k*p + 3*p = x for p.
2
Suppose -23864 = -28*j + 4192. Solve -7*i - j + 953 = 0 for i.
-7
Let v(o) = o + 1. Let u be v(-1). Let f(g) = -29*g + 2. Let d be f(0). Suppose 3*j - 8*j + 6 = -k, 2*j = d*k - 4. Solve p + u*p + k = 0 for p.
-4
Let m(p) = p**2 + 6*p - 14. Let g be m(2). Suppose 0 = -5*c - 3*v + 24, 1 = g*v - 5. Solve 0 = -y - c*y + 8 for y.
2
Let x(d) = -d**3 - 7*d**2 - 9*d - 8. Let h be x(-6). Let p(u) = 7*u + 495. Let q be p(-65). Suppose 2*r + h = 3*i + 3, 5*r - q = -4*i. Solve k + r = -3*k for k.
-1
Let b be (-1)/((-21)/28) - (-76)/6. Suppose -63 - 49 = -b*k. Suppose -a - a = 0. Solve -q - 3*q + k = a for q.
2
Let z = 2889 - 2667. Solve z*n + 32 = 230*n for n.
4
Suppose 10*l - 46 - 234 = 0. Suppose 0 = -7*y - l*y + 105. Solve -1 = -y*d + 11 for d.
4
Let g(s) = -s**3 - 10*s**2 - 23*s + 14. Let y be g(-5). Suppose -12 - 133 = -29*c. Solve -3*h = -y*h + c for h.
5
Suppose 50*l - 46*l = 47*l - 13588. Solve 312*r - l*r - 20 = 0 for r.
-5
Let t be (56/12 + -5)*(1 + -25). Suppose -4*z - 6 = 3*d - 0*d, -4*d - t = -4*z. Solve -3 = -v - z for v.
3
Let v(a) = 35*a**2 - 1054*a + 120. Let l be v(30). Solve 73*o - 316 - 122 = l for o.
6
Let u = -9133 - -9148. Solve 18*j + u*j = 0 for j.
0
Suppose -6*o = 6 + 54. Let p be 13/1 + o + 3. Solve p*q + 0*q = -18 for q.
-3
Let y = 59 - 56. Suppose 0 = y*j + 3*s - 2 - 7, j - 5 = s. Let f be (3 - 2)*(j*2 - 2). Solve -3*o = -f*o for o.
0
Let t be 2*-1 - ((-63)/9 + -67). Suppose -22*n + t = -16*n. Solve v - n = -5*v for v.
2
Let y be 171/12 + 5/(-20 - 0). Let h be y/(-2) + (-9 - -16). Solve -c + 8*c = h for c.
0
Let z = -7608 - -7616. Solve -168*m = -176*m - z for m.
-1
Let p = -24 - -26. Suppose 3*m - p*m - 4 = 0. Suppose -23*b + 35 = -80. Solve -m*l = -1 + b for l.
-1
Let p(l) = l**2 - 7*l - 40. Let a be p(11). Suppose -a*k - 48 = 4*j, -5*k = -7 + 32. Let d(u) = u**2 + 7*u + 5. Let i be d(j). Solve -g - 12 = -i*g for g.
3
Let t = 100 - 21. Suppose -20*f = -t - 41. Solve 5*z + z = -f for z.
-1
Suppose -153*y + 165*y - 3540 = 0. Let j = y - 244. Solve j = 4*a + 31 for a.
5
Suppose 5*k - 17*k + 96 = 0. Suppose b - 27 = -k*b. Solve 12 = -b*h - 3 for h.
-5
Let o be (-95)/((-90)/108 - 0). Solve 5*j = -84 + o for j.
6
Let r(m) be the second derivative of -m**4/6 - 7*m**3/2 + 19*m**2 - 81*m. Let w be r(-12). Solve -w = g - 0 for g.
-