= -s + 5*s. Let m = s - 13. Solve 12 - m = o*w for w.
2
Suppose l - 30 = g, -2*l + 0*g + g + 62 = 0. Suppose -25*y + 23*y + l = 0. Suppose 0 = 2*q + 2*n - y, -q + 25 = 4*n + 2. Solve 0 = 2*s - 3*s - q for s.
-3
Suppose -b - 4*w + 2 = 0, 0 = b + 4*w - w - 1. Let t = 4788 + -4784. Let x = t + b. Solve c + x*c = 12 for c.
4
Let t(p) = -2*p**3 + p**2 + 55*p + 80. Let n be t(-5). Solve 0 = -78*i + n*i + 10 for i.
-5
Let z be -2*((-30)/(-4))/3. Let h be 150/z + (0 - 0). Let f be (4/6)/((-4)/h). Solve 2*x = f*x + 15 for x.
-5
Suppose 135*f + 5*k + 66 = 138*f, 4*f - 2*k = 102. Solve -f*n + 112 = n for n.
4
Let o(p) = -3*p**2 + 6*p + 40. Let h(v) = 13*v**2 - 24*v - 159. Let l(a) = -2*h(a) - 9*o(a). Let z be l(-6). Solve -z*k - 3 = -31*k for k.
3
Let y be (-2 + 2)/(-178 + 177). Solve -14*h - 18*h + 128 = y for h.
4
Suppose 9 = 3*f + 3. Suppose f*n - 6*n = -8. Let p = 25 + -18. Solve n*v = p*v - 5 for v.
1
Suppose -6*n = -91 - 35. Let d be (n/28)/(3/8). Suppose -10*k = -d*k - 240. Solve -5*t - 10 = -k for t.
4
Let g = -4144 + 4301. Solve -7*k + g = 199 for k.
-6
Suppose -2*r + 180 - 23 + 103 = 0. Solve 4*y - 30*y - r = 0 for y.
-5
Suppose -9496 = -44*n - 8528. Solve 0 = n*j + 75 + 79 for j.
-7
Suppose -v - 87386 + 11558 = -535*v. Solve -334 + v = 32*o for o.
-6
Let o be (-2 + (-3)/(-2))*-6. Let p be (-4 - (-182)/(-3)) + 1/(-3). Let s = p + 70. Solve -y - o = -s for y.
2
Let n(p) = -p**3 + 5*p**2 + 11*p - 27. Let i = -185 + 191. Let z be n(i). Solve z + 3 = -2*w for w.
-3
Suppose -x + 3 = 1. Suppose -y = -6*u + 3*u + 24, -x*y - 40 = -5*u. Suppose 30 + 10 = u*r. Solve -r*o + o = 0 for o.
0
Suppose 4*s - 2*z = -2, -z + 31 - 30 = 3*s. Solve s = 16*w - 9*w + 42 for w.
-6
Let o(i) = 2*i**3 + 13*i**2 - 20*i - 147. Let q be o(-5). Solve -6*b = 34 - q for b.
-1
Suppose -2*q = 8*q + 1270. Let y = q + 133. Solve -y*i - 12 = -10*i for i.
3
Let w be (-9)/6*(-2 + 8/3). Let j be (0 + w)*(14 - 21). Suppose -j*o + 8*o - 8 = 0. Solve o + 4 = -3*c for c.
-4
Let v(h) = h**3 + 13*h**2 + 6*h - 3. Let g be v(-12). Let n be (1 - 7)*(-23)/g. Suppose -n*w + 15 = 1. Solve -2*r + w*r = 10 for r.
2
Suppose -194 = -37*x + 10*x + 670. Solve -155*m = -171*m - x for m.
-2
Let l = 1935 + -1925. Solve -l = 9*y + 17 for y.
-3
Let f(v) = 2*v**3 + 31*v**2 - 55*v - 68. Let y be f(-17). Solve 6*z - z - 30 = y for z.
6
Let z(x) = 27*x**2 + 22*x - 6. Let k be z(4). Solve -k = -6*s - 502 for s.
2
Let t be (-18)/(-4) + 11/(-22). Let d(c) = 2*c**2 + 0*c**2 - 4 + 2*c**2 + 1 + t*c. Let v be d(1). Solve -v*p + 5 = -5 for p.
2
Let q = -139 - -163. Let i(h) be the first derivative of -h**2/2 + 29*h - 3. Let r be i(q). Solve 2*y - 3 = -r for y.
-1
Let l(f) = 87*f + 769. Let i be l(-8). Solve -31*s = 11 - i for s.
2
Let n(y) = -y**2 + 8*y - 5. Let m be n(6). Suppose -3*b = 3*x - 42, 4*b = -x + 28 - 5. Solve -x = -j - m for j.
4
Let a = 499 + -495. Suppose 0 = -2*t - a*l + 40, 2*l - 11 = -3. Solve 5*v = v + t for v.
3
Let i(s) = s - 9. Let v be i(12). Let p(o) = -o**3 - 21*o**2 - 42*o + 9. Let a be p(-19). Suppose 0 = 13*w - a - 32. Solve -w = -3*c - v for c.
2
Suppose 96*z - 595 = 91*z. Solve 0 = -z*k + 110*k + 36 for k.
4
Let f be (5 + -1)*(938/56 - 15). Solve 0 = 458*r - 459*r - f for r.
-7
Let b(q) be the second derivative of -q**5/20 + 3*q**4/4 - 5*q**3/3 + 10*q**2 - q + 42. Let v be b(8). Solve v*i - 8 = -0 for i.
2
Suppose 2*y - 516 = 4*j, 3*y + 4*j = -146 + 920. Solve 48*x = 5*x + y for x.
6
Suppose 0 = 7*n - 3*n - 8. Let u be 2/(-4) + 3*n/12. Let l(y) = -y**3 + 5*y**2 - 3*y - 1. Let a be l(4). Solve -3*b + a = -u*b for b.
1
Let x(y) = 2*y**2 + 43*y - 741. Let c be x(-33). Solve c*i - 274 = -292 for i.
-1
Suppose -5*u + s - 161 = -u, 0 = 5*s - 25. Let n = -34 - u. Solve -4 = 3*j - n*j for j.
2
Let z(q) = q**2 + 17*q - 22. Let j = 107 + -125. Let y be z(j). Let k be (-1 + 40/12 + y)*-3. Solve -2*u - 3*u = -k for u.
1
Suppose 2*y - 5*b = 267 - 261, -5*b = -5*y + 60. Solve -y*f = -119 + 11 for f.
6
Suppose r - 6 + 21 = 3*s, -4*r = -s + 5. Suppose r = 24*z + 10 - 250. Solve z*f + 4 = 14 for f.
1
Let v be 188/12 + 15/45. Solve -11*s + 7*s = -v for s.
4
Suppose 10*g = 11*g. Suppose 4*a - 18 = -3*y, a - 16 = -4*y - 5. Solve g = a*l + 6 for l.
-2
Suppose 1 = 7*o - 20. Let g be 0/(54/12 - o/6). Let b(j) = -6*j**3 - j**2 + 1. Let x be b(-1). Solve d - x*d = g for d.
0
Let l(w) = 2*w**3 - 18*w**2 + 7*w - 55. Let c be l(9). Suppose -4*f = -5*n - 35, 0 = 3*n + c - 11. Solve -9*r = -4*r - f for r.
2
Let i(q) = 4*q**3 - q**2 + 4*q + 3. Let j be i(-2). Let o(l) = l**2 - 23*l + 153. Let a be o(7). Let t = j + a. Solve -4 = f - t*f for f.
-4
Let t(u) = u**3 - 8*u**2 + 11*u + 3. Let v be t(6). Let o(j) = j**3 + 4*j**2 + 2*j. Let s be o(v). Solve -s*g + 18 = 3*g for g.
3
Let x = 3850 - 3843. Solve x*a = -393 + 442 for a.
7
Let k(t) = -471*t + 1911. Let u be k(4). Solve 7*v - 34 = -u*v for v.
1
Let s = 8586 - 8580. Solve -49 + 55 = s*a for a.
1
Suppose -4*t + 85 = 3*v, -v - 2*v - 15 = 0. Let b be 12/(-18)*6*-5. Let m = t - b. Solve -1 = -s - m for s.
-4
Suppose 39*k - 35*k = 88. Suppose 2*r - 14 = 3*d, 4*r + 4*d - 7*d = k. Solve 0 = 3*q - 5*q - r for q.
-2
Suppose 3*w + 2 = 2*w - 5*j, 11 = 4*w + j. Suppose -x = 2, -5*r - w*x + 2*x + 33 = 0. Solve 0 = 4*q + 9 + r for q.
-4
Suppose 3*j - 3*v - 6 = 0, j + 36 = 5*j + 3*v. Suppose j*y = 12*y - 90. Let w = y + 8. Solve -w + 3 = 5*f for f.
-4
Let k be 27 - (1056/154 - (-1)/7). Solve k*b + 19 + 1 = 0 for b.
-1
Let v(r) = -r**3 - 13*r**2 + 29*r - 9. Let n be v(-15). Suppose -19*a + 22*a - n = 0. Solve -l = -a*l for l.
0
Suppose -776 = 57*i - 59*i. Solve 0 = 11*a - i + 355 for a.
3
Let k be (33 - 31)/(((-9)/(-405))/((-141)/(-18))). Solve -12*z = 621 - k for z.
7
Let k(o) = 2*o**2 - 16*o - 134. Let i be k(-6). Suppose -13*r + 31 = -i. Solve -13 + 3 = -r*g for g.
2
Suppose 0 = -22*h + 12*h - 20. Let k be (4/12*-6)/(h/9). Solve 5*j + 1 + k = 0 for j.
-2
Suppose 5206*c - 5218*c = -120. Solve -29*f = -c*f + 95 for f.
-5
Let m = -3763 + 3822. Solve -25 = -64*v + m*v for v.
5
Suppose -102 = 25*z + 31*z - 62*z. Solve -13*n = 35 + z for n.
-4
Suppose 4876 = 92*t - 460. Solve t - 72 = 2*u for u.
-7
Let x(y) = -296*y**3 - 3*y**2 + 12*y + 14. Let z be x(-1). Let i = 299 - z. Solve i*q = -13 - 3 for q.
-4
Let v(u) = 6*u + 96. Let z be v(-14). Suppose -85*p + 89*p - z = 0. Solve -8 + 5 = -p*y for y.
1
Let h(x) = x**3 - 8*x**2 - 7*x - 10. Let b(j) = 4*j - 3. Let i be b(3). Suppose 0 = 2*r - 9 - i. Let d be h(r). Solve 5*u + 2 = -d for u.
-2
Let k be 96/(-4 - (8 - 13)). Suppose 27*l - 39*l = -k. Solve 4*d + l = -8 for d.
-4
Let f(u) = 1861*u - 15629. Let m be f(9). Solve -1162 = -6*i - m for i.
7
Suppose 114 - 16 = 7*t. Suppose 5*v = -2*v - t. Let j be (-4)/8*v - -19. Solve 0*o = 5*o - j for o.
4
Suppose 3*p - 63*p = -5520. Solve 0 = 22*s + s - p for s.
4
Suppose 48 = 3*d - 3*w, -7*w = 44*d - 40*d + 24. Let u be 0 + (4 - 2) + 2. Solve 6*m - d = u*m for m.
4
Suppose -160 = 12*u - 17*u. Let x = -33 + u. Let z be (x + 0)/(20/(-80)). Solve z*i + 20 = 9*i for i.
4
Let x = -526 + 415. Let h = x - -142. Solve 33*z + 6 = h*z for z.
-3
Let j be 11 - (3/3 - -2). Suppose -11 = -4*r + 7*g - 8*g, -r = -2*g + 4. Suppose -r*y + j = 2. Solve 8*i = y*i - 5 for i.
-1
Let b be (-12)/10*(0 - 60/9). Suppose k - 2 = 5*t + b, 0 = 2*k + 5*t + 10. Suppose w - 6*w + 10 = k. Solve -w*y = 2*y for y.
0
Let l be (75/20)/((-40)/(-64)). Solve -41 = l*c - 17 for c.
-4
Let a be (-84)/20 - -4 - -24*(-2)/(-15). Solve 16*b + a*b = 76 for b.
4
Let w = 112 - 108. Suppose w*v = 5*d + 25, -4*v + 3*d = 7*d - 52. Suppose -v*k = -2*k. Solve k + 5 = 5*b for b.
1
Let r be (-12)/24 + 14/4. Suppose -4*w + r*w = w. Suppose -3*u = 4*b, -5*u - 20 = -w*u. Solve v - 2 = b*v for v.
-1
Let n be 200/(-250) + 16/20. Solve g = -n*g for g.
0
Let f = -5 - -8. Let h = 7 - f. Suppose -7*c = -14*c + 40*c. Solve -u - h = -c for u.
-4
Let p be 4/((-4)/4) - -1. Let q = 11 + p. Let i be 1 + 1 - (q + -9). Solve 5*f + i = 8 for f.
1
Suppose -8 - 7 = -3*l. Suppose 0 = -4*u + 8 + 12. Suppose -3*z - u*q = -4*z + 2, -3*z - q + 6 = 0. Solve z*n + l = 13 for n.
4
Suppose -2*z = 4*t + 10, -18*t + 16*t + 4*z - 20 = 0. Let p(l) = -l**2 - 6*l + 5. Let m be p(t). Solve 0 = 3*f - 4 + m for f.
-3
Suppose 4617 = 7*h + 12*h. Let p = h + -240. Solve -p*f = -5*f + 4 for f.
