*v + 9 for v.
2
Let t be (-15)/(2/2)*(-15)/(-45). Let p(h) = -h**2 - 7*h - 8. Let f be p(t). Solve -15 = f*n - 5 for n.
-5
Let k be (54/(-297) + (-25)/44)*-4. Solve 8 = k*s + 32 for s.
-8
Let c(k) = -12*k**2 + 2*k**3 + 0*k**3 + 13*k - 3*k**3 + 1. Suppose -17*i = -13*i + 52. Let v be c(i). Solve -u = -0*u + v for u.
-1
Suppose -321*z + 325*z - 12 = 0. Suppose 15*n - 4*y = 10*n + 52, 2*n + z*y = 7. Solve 0 = -4*l - 4 - n for l.
-3
Let a(s) = -1034*s + 3110. Let m be a(3). Solve m*k - 175 + 135 = 0 for k.
5
Let f = -520 - -617. Let i = 113 - f. Solve 30*w = 26*w - i for w.
-4
Let z(t) = 12*t + 677. Let u be z(-55). Solve f = u*f - 16 for f.
1
Let w be -1*(-10 + 27 + -42). Solve -45 - 105 = -w*l for l.
6
Suppose 0 = -3*h + 14*h - 3421. Solve -6*w - 293 = -h for w.
3
Suppose 0 = 7*d + 6*d - 26. Let w = -32 + 43. Let v(a) = a**3 - 9*a**2 - 22*a + 3. Let r be v(w). Solve 0 = -d*x - r*x for x.
0
Suppose 5*o - 25 = -5*q, 8 = -2*q + 3*o + 13. Suppose -5*t + 2*t + 14 = 2*x, q*x - 5*t - 6 = 0. Solve 5*k = x + 6 for k.
2
Let t(y) = -17 - y**2 + 4*y + 3*y + 5*y + 0*y**2. Let d be t(7). Suppose -3*w + h = -d, -6*w + 4*h + 30 = -w. Solve -o = -w*o + 20 for o.
4
Let s be 2112/3696*(-70)/(-4). Solve -s*i = 60 + 10 for i.
-7
Let n be (-161)/69 - 4/6 - -9. Suppose -n*r = -33 - 3. Solve 1 = 7*x - r for x.
1
Let g(z) = z**2 + z - 2. Let u be g(-5). Let k be u/3 + 2/(-1). Suppose 3*b + 5*f + 5 = 0, -2*f = -f + 4. Solve -k*p - b = 7 for p.
-3
Let v(h) = -h**3 - 4*h**2 - h + 4. Suppose 4 = -2*t, 3*r - 11 = 4*t - 3. Let w be v(r). Solve 0 = -w*c - 6 + 2 for c.
-1
Let c(y) = 7*y**2 - 410*y - 243. Let m be c(62). Solve 7*d = -1203 + m for d.
6
Suppose 2*b - 6*b + 38 = -5*p, 0 = -p + 2. Let r be (-30)/13*-6 + 26/169. Solve b*m + 2 = r*m for m.
1
Let p(b) = -24*b + 9. Let n be p(1). Let h(z) = 9*z + 141. Let u be h(n). Solve -3*q + q = -u for q.
3
Suppose 3*n + 2*i - 12 = -3*i, -2*n + 3*i = -8. Let r(v) = -v**3 - 5*v**2 - 2*v + 6. Let h be r(-4). Let z be (h + 20/8)*0. Solve -n*m + 5*m - 5 = z for m.
5
Let d be 174/45 + (-10)/(-75). Suppose k + 0 = d. Suppose k*n + 0*n - 48 = 5*z, z = 4*n - 32. Solve -2*x + n + 1 = 0 for x.
4
Let i = -4588 + 4598. Let o be (-40)/(-3) + 3/(-9). Solve -o = -n - i for n.
3
Let g(t) = -41*t - 38. Let i be g(-7). Let v = i + -237. Solve -4 + v = 2*u for u.
4
Suppose -34*w + 865 = -427. Solve -51*z + 13*z + w = 0 for z.
1
Suppose 0 = -4*h + 5*b + 8 - 1, 0 = 5*h - b - 14. Suppose -15 + 9 = -h*k. Solve 0 = k*m - m for m.
0
Let s(v) = v**3 + 7*v**2 + 4*v - 2. Let x be s(-6). Let m be (-3 - 15/3)*-1. Suppose m*g - 37 = -21. Solve -g = -2*y - x for y.
-4
Let z(f) = f**2 - 17*f + 46. Let x be z(14). Suppose -d - d + 10 = 2*h, 0 = -x*h - 3*d + 17. Solve 0 = -n - h - 2 for n.
-4
Let w(i) = 140*i**2 + 10*i - 30. Let n be w(3). Let y be (n/(-42))/((-3)/2). Solve 0 = 16*p - 11*p - y for p.
4
Let v be 11/(-2) - (-6)/12. Let y be 4/20 - ((-21)/v - 4). Solve -3*s + y = 3 for s.
-1
Let i(f) = 3*f - 26. Let q be i(13). Suppose -14 = -27*y + q*y. Let l be 2 - (y + -1)*(-3)/6. Solve 5*z = 4*z + l for z.
2
Let g(n) = -5*n**3 + 4*n**2 - 36*n - 93. Let c be g(-2). Solve 11*f + c = 2 for f.
-3
Suppose -14*y + 16*y = 10. Let s = -1823 - -1839. Solve -v - s = -y*v for v.
4
Let u(b) = 2*b - 8. Let k(i) = -i + 7. Let z(r) = -4*k(r) - 3*u(r). Let t be z(-3). Solve -c = t*c for c.
0
Suppose -3*h + 319 = h - u, 0 = h + 4*u - 101. Suppose -7*p - 60 = -h. Solve p*x - 4 = 2 for x.
2
Let d = 20 - 18. Suppose 57 = -0*c + 2*c - l, -c + d*l = -30. Let o = 31 - c. Solve 0 = -7*u + o*u for u.
0
Let d(p) = 6*p - 12. Let i be d(2). Let o = 5 + i. Solve -o*u - 5 + 20 = 0 for u.
3
Suppose u - 5*j + 12 = 0, -5*u + 2*j - 6*j = -85. Let y(r) = r - 13. Let v be y(u). Let b = -28 + 28. Solve v = -b*s + 3*s for s.
0
Suppose -43*d + 45*d = -6. Let z be -3 - (9/d - 3). Suppose -10*h = -z*h - 35. Solve -b - 4*b + h = 0 for b.
1
Suppose -2*k - 1780 = -4*p - 1766, 0 = k - 4*p + 23. Suppose 2*r = 3*r - 6. Solve r*l = 3 + k for l.
2
Let o = -32 + 34. Suppose -7*r = -o*r - 80. Suppose 6*a - 2*a = r. Solve l = -a*l for l.
0
Let m(k) = k**3 - 17*k**2 + 16*k + 2. Let u be m(16). Let h(o) = 12 - 16*o**2 + 7*o**2 + 13*o + 11*o**u. Let i be h(-6). Solve -v + i = 1 for v.
5
Let s be (24/56)/((-5)/(-210)). Suppose 17*a + s = 16*a + 4*z, -14 = -2*a - 2*z. Solve 8*v - 42 = -a for v.
5
Let z = 1239 - 865. Solve -42 = 360*g - z*g for g.
3
Let y be (-2)/(-7) + 14508/(-63). Let f = y + 234. Solve f*w = -4 + 8 for w.
1
Let u = 44 + -54. Let h be (-80)/(u/3 - -4). Let l be ((-2)/4)/(12/h). Solve 0*y - 5 = l*y for y.
-1
Let s be 2 + 32/(-22) + (-4)/66*-57. Solve -2*y + s*y = y for y.
0
Let w(z) = -34*z + 2114. Let v be w(62). Suppose 4*a = a + 9. Let m be ((-6)/(-9))/(1/a). Solve 4*c + v = -m for c.
-2
Let l be (-39653)/(-133) - 7/49. Solve l - 316 = -6*j for j.
3
Let k be 30/25 + 768/(-540) + 101/9. Solve -15 + 37 = k*h for h.
2
Let f = -1642 + 1642. Let c(i) = i + 7. Let x be c(2). Solve -3*h = -f*h - x for h.
3
Let f = 12048 - 12033. Let l(b) = -b**2 - 6*b - 2. Let k be l(-4). Solve d = k*d - f for d.
3
Let h(k) = -k + 13. Let s be h(-9). Suppose 4*z + 43 = 5*u, -40 = 5*z - 4*u - u. Solve -z*x - s + 19 = 0 for x.
-1
Suppose 13*v - 3*c + 49 = 8*v, 2*c + 4 = 0. Let f(x) = -42*x - 462. Let w be f(v). Solve -14*r + r + 26 = w for r.
2
Let a(i) = -i**3 + 11*i**2 - 19*i + 25. Let o be a(7). Solve -8*l - 14*l = -o for l.
4
Let n(f) = 3 - 2*f + 9*f**2 + 8*f + f**2 - 9*f + 0. Let d be n(1). Solve d = -4*q - q for q.
-2
Let j(g) = 12*g**2 - 92*g - 7. Let z be j(8). Let f(v) = 4*v - 7. Let p be f(3). Let o = -2 + 7. Solve z = -p*m + o for m.
-4
Suppose 2*c = -5*n + 18, -c + 4*c = -n + 14. Suppose 2*h + 365 = c*f + f, 90 = f + 3*h. Let d = 79 - f. Solve u = 3*u + d for u.
-2
Suppose -1854 - 2181 = -186*o + 11217. Solve -31*b + o*b = -459 for b.
-9
Let x = 1402 + -1375. Solve -x*c + 66 = -15 for c.
3
Let z(w) = 21*w**2 + 4*w - 9. Let h be z(-3). Let p = 171 - h. Solve -2*b + p = -b for b.
3
Let z = 354 - 351. Let i be 27/(-24) + 1 + (-325)/(-40). Solve -z*x = -i*x - 10 for x.
-2
Suppose 7 = -13*d - 6. Let l be (d*25)/(6/(-6)). Solve 10*k - 5*k = -l for k.
-5
Let a(b) = 2*b**2 + 67*b + 508. Let m be a(-10). Solve 33*u - m*u - 10 = 0 for u.
-2
Let i = -3979 + 3981. Let j(m) = -m - 3. Let y = 2 + -5. Let c be j(y). Solve c + i = -g for g.
-2
Let z(h) be the second derivative of -1/12*h**4 - 1/2*h**3 + 5*h**2 + 40*h + 0. Let k be z(-5). Solve k = -0*w - 3*w - 3 for w.
-1
Suppose 5*k = y + 13, 29*k + 68 = 4*y + 33*k. Solve 34 + 26 = y*p for p.
5
Let b(l) = -1253*l**3 - 17*l**2 - 4*l + 14. Let r be b(-1). Solve r*a - 1258*a = 0 for a.
0
Suppose 0 = -3*y - g - 656, 2*g = 4*y + 838 + 40. Let z = y - -233. Solve -z*k + 5 = -9*k for k.
1
Suppose 2*f - 64 = 4*x - 2*f, -56 = 3*x - 5*f. Let p = x - -16. Let t = -4768 - -4768. Solve -3*w + 2 + p = t for w.
2
Suppose -3*g + 56*z + 36 = 59*z, -4*z - 37 = -g. Solve 0 = g*d + 181 - 79 for d.
-6
Let t(r) = -2*r**3 - 6*r**2 + 29*r + 122. Let b be t(-5). Solve 34*x - 9 = -b for x.
-2
Let n = 13 - 7. Suppose -16 = 8*r - n*r. Let z be 1 - (r - 8/(-2)). Solve -j + z*j - 12 = 0 for j.
3
Suppose -18*u + 221 = -5*u - 260. Solve t - 39 = -u for t.
2
Let t = 185 + -270. Let g = 86 + t. Let y(d) = -d**2 + 4*d - 2. Let j be y(g). Solve -4*a + 3 + j = 0 for a.
1
Suppose -1280 = 4*r - 4*s + 2*s, -2*s = 3*r + 960. Let x = r - -219. Let j = x + 104. Solve 5 - 2 = -j*i for i.
-1
Suppose -4*d + 3*a + 345 = 179, 5*a + 141 = 3*d. Solve -d - 17 = 27*c for c.
-2
Let b be (((-204)/9)/4)/(1/(-453)). Let n be b/68 - (-3)/(-4). Solve 6*t - n = -13 for t.
4
Let s(x) = -x**2 - 21 + 3*x**3 + 0*x**2 + 11 - 2*x**3 + x + 19. Let z be s(0). Solve 1 = -5*p - z for p.
-2
Let x = 76 + -68. Let b(a) = -a**3 - 10*a**2 - 10*a - 2. Let l be b(-9). Suppose 3*c - l = -3*u + 17, -4*c = -5*u + 31. Solve x*n - u*n = 5 for n.
5
Let q(d) = 3*d + 122. Let x(t) = t + 1. Let s(a) = q(a) + 2*x(a). Let b be s(-22). Solve 18*o = b*o - 16 for o.
-4
Suppose 2*t + 31*a = 35*a + 24, 3*t = 2*a + 20. Solve t*j = -12*j - 48 for j.
-3
Let h(z) = -z + 1. Let g be h(-1). Suppose g*c - 4 = 6. Suppose 0 = -f - 2*f - c*u + 4, f + 2 = -5*u. Solve f*a = 7*a + 4 for a.
-1
Suppose -v = -4*d - 35, -39 - 1 = -v + 5*d. Solve 0 = -3*a - v*a for a.
0
Let y(z) = 3*