r y.
3
Let f(w) = -12*w + 4. Let p be f(-4). Let t be 15/(-13) + 8/p + 19. Solve t = 4*k + 10 for k.
2
Let m be -6*((-15)/(-2))/(-3). Suppose 0 = -q - 4, -3*i - m = -6*i - 3*q. Suppose -i*o - 4*o + 3*o = 0. Solve -5*p = -20 - o for p.
4
Let l be (-8)/(-2) - (-20 - 0). Suppose -11*m = -l - 31. Suppose p = 5*d - 4*d - 2, 10 = -4*p + m*d. Solve p = 4*s - 19 + 3 for s.
4
Suppose 31*f = 391 + 74. Solve 0 = -f*k + 32*k for k.
0
Let m(g) = -37*g. Let s be m(-1). Suppose -2*j = 47 + 23. Let u = s + j. Solve 2*q - u = q for q.
2
Let u(g) = -115*g + 9591. Let o be u(83). Solve 12*j + o - 34 = 0 for j.
-1
Let y = -111 - -106. Let v be y - ((-9)/1 - -3). Solve -2 = z - v for z.
-1
Suppose 0 = 3*q + 68 + 52. Let o be (0 - 1 - -3)*(-180)/q. Solve -o*j = -11*j + 8 for j.
4
Let d(x) = 2*x + 49. Let z be d(-7). Suppose -10 = -3*r + 3*v + z, 6*r = -5*v + 68. Solve r = -u + 14*u for u.
1
Suppose -11*t = z - 6*t - 5, 0 = -4*z + 3*t + 43. Suppose c + 4 = z. Solve -x - c*x = 7 for x.
-1
Let w = 10282 + -10233. Solve 15 - w = 17*t for t.
-2
Let w(h) = 182*h + 5608. Let s be w(-28). Solve -90*m = -26*m - s for m.
8
Suppose -11 = x + 10. Let l be x/(-12) + 12/48. Solve 4*r + 10 = l*r for r.
-5
Let a = 12 - 5. Suppose 18 = 2*w - 40829*b + 40830*b, -w + 3*b = 26. Let c be -1*(-1 - 2 - -2). Solve a + c = w*f for f.
2
Let w = 1 + 2. Suppose 2*h = -4*c + 57 - 1, 80 = 4*h + 4*c. Solve h = w*d + d for d.
3
Let u(f) be the first derivative of -f**4/4 + 5*f**3/3 - 3*f**2/2 + 1. Let d = -5686 - -5690. Let x be u(d). Solve -x + 0 = 2*r for r.
-2
Suppose -173*i - 5649 = -25890. Solve -i*a - 126 = -103*a for a.
-9
Let s = 3310 - 3280. Solve 0*x + 30 = -s*x for x.
-1
Suppose 111*w = 82 + 584. Solve -17*p + w = -15*p for p.
3
Suppose 4*f + 4*b = -188, 2*f - 2*b + 23 + 75 = 0. Let j = -33 - f. Solve -j + 3 = -3*m for m.
4
Suppose o + 4*b - 11 = 0, -b + 455 = 5*o + 400. Solve m - 12*m - o = 0 for m.
-1
Let p = 145 - 63. Let u = p + -76. Suppose -3*g - u*r + 31 = -r, 2*g - r = -1. Solve 4*m + g = 5*m for m.
2
Let g = 3043 - 3029. Solve -g*l - 36 + 92 = 0 for l.
4
Suppose 546 = -857*j + 858*j. Let l = j - 535. Solve 0 = 2*w - 7 + l for w.
-2
Let m be (-15)/(-5)*(-4)/(-6). Suppose 10 = -t - 4*a, -t + 183 = 5*a + 196. Solve m*z = -t*z - 8 for z.
-2
Let h = 26745 + -26731. Solve 55*s = -h*s + 69 for s.
1
Let z = -3439 - -3452. Solve -8*i = -z*i + 15 for i.
3
Let f be (-1)/3 - 104/(-24)*22. Suppose -3*l - 2*w = -285, 4*w = -w. Let n = f - l. Solve 3*j + n = 3 for j.
1
Let o = -77 - -84. Let l = 17 - o. Solve -2*z = -4*z + l for z.
5
Let i be 39/(-117) - (-50)/6. Suppose -f - 2*g - 6 = 0, 10*f = i*f + 5*g + 33. Let b(s) = 2*s**2 - s. Let o be b(-1). Solve -5 = -o*x + f for x.
3
Let a be (-627)/(-418) + (2/(4/19) - 0). Solve -85 = 6*z + a*z for z.
-5
Suppose -4*w = -2*j - 332, -461*w + 462*w + j = 95. Solve -2*a = -95 + w for a.
4
Suppose -29*w = -121 + 5. Suppose -3*r + 5 = -n, w*n + 111*r - 25 = 108*r. Solve 0 = -n*b + 12 + 8 for b.
5
Suppose 3*k - 9 = -4*y, -5*k + 0*y = 2*y - 15. Let h = 8 - k. Let b(o) = -3*o + 17. Let l be b(h). Solve 3*q = l*q for q.
0
Let c(r) be the third derivative of -r**4/24 - 5*r**3/6 - 5*r**2. Let f be c(-5). Suppose f = 2*i - 5*i + 6. Solve -3*t + i*t - 4 = 0 for t.
-4
Suppose -26*f + 5837 = -1500 - 5611. Solve -512*m - 84 = -f*m for m.
-6
Let y = -24757 + 24996. Solve 0 = 66*d - y + 767 for d.
-8
Suppose 14*n - 8*n = 9*n. Suppose -5 = -j - n*j. Let q be 30 + -13 - (1 - -1). Solve 0*k = j*k + q for k.
-3
Let h be (-4)/(-16) + 276/48. Suppose -3*s + 1 = -2*s. Let k be (-15)/(-5) - (0 - s). Solve h = -2*j + k for j.
-1
Let i(o) = -8*o - 100. Let j be i(-14). Solve -j*n = 17*n + 87 for n.
-3
Suppose -159 = -64*t + 62*t + 3*i, i - 297 = -4*t. Solve -t*h - 465 + 15 = 0 for h.
-6
Let z(t) = t**2 + 3*t - 18. Let s be z(-6). Suppose -2*p + 24 - 2 = s. Solve -4*o + 1 = -p for o.
3
Let a(z) = 2*z**3 - 4*z**2 + 2*z - 11. Let d be a(5). Let i = d + -139. Solve 6*o - i = -34 for o.
-4
Let w be 93 + 3 + -5 - (-3)/(-1). Let u = 103 - w. Solve 0 = -5*i - 10 - u for i.
-5
Let f = -1181 + 1184. Solve 4*q = -f*q + 14 for q.
2
Let f(a) = a**2 - a - 2. Let u = -27 - -29. Let x be f(u). Solve 0 = 4*d - x*d for d.
0
Let s be 86*(-7)/14*-1. Suppose s*h = 39*h + 76. Solve 7 = 4*o + h for o.
-3
Let y be (54/15)/9 + 2916/10. Suppose -296*f + 8 = -y*f. Solve f*h = -4 + 2 for h.
-1
Suppose 22*f - 239 = 19*f + 2*a, 332 = 4*f - 6*a. Solve -273*j - f = -262*j for j.
-7
Let p(v) = -51*v**3 + v**2 + 2*v + 1. Let g be p(-1). Suppose 7*s - g = 61. Let q be (s/(-4))/(-8) - (-1)/(-2). Solve -4*u + 5 + 3 = q for u.
2
Let b be (-198)/(69/42 - (-3)/(-21)). Let u be 3/2*(-440)/b. Solve u*w + 16 = w for w.
-4
Let i(b) = -6*b**2 - 25*b - 2. Let u(s) = -11*s**2 - 49*s - 5. Let p(k) = -7*i(k) + 4*u(k). Suppose 0*y = 8*y + 80. Let a be p(y). Solve 8 = 4*n + a for n.
1
Suppose 485*a = 3*j + 486*a + 6, -2*j - 5*a - 30 = 0. Solve -4*w - 13 - 3 = j for w.
-4
Let t(z) = -z**3 - z**2 + 27*z - 1. Let b be t(-6). Let k be 25 - 10/(-30)*(2 - b). Solve 3*g = 7*g - k for g.
5
Suppose 668*l = 664*l. Solve 587*s - 591*s = l for s.
0
Let u = 243 - 240. Suppose 4*i - 20 = 2*f, u*i - 6*f - 29 = -f. Solve 7*z = i*z for z.
0
Let b = 20408 - 20375. Solve 39*w = b*w - 18 for w.
-3
Let i = -305196 + 305221. Let g(u) = 2*u + 1. Let r be g(-1). Let w = r - -1. Solve -x - 4*x + i = w for x.
5
Let k = -44 - -47. Suppose k*r + 3*c - 24 = -3, 0 = -3*c. Solve 5*i + r = -8 for i.
-3
Suppose 4*d + 292 = 1536. Let s = d - 306. Solve -s*i = 43 - 23 for i.
-4
Let w = 15481 - 15470. Solve 0 + 22 = w*y for y.
2
Let v be 1 - 7*(1 - 2). Let h be (v/(-10))/(-3 - (-172)/60). Suppose -5*r + 89 + h = 0. Solve 3 = -4*n + r for n.
4
Let u(k) = 9*k**2 + 317*k - 12. Let i be u(9). Solve 5*n = -i + 3580 for n.
2
Let o be (-66)/(-3) + -2*8/(-4). Let v(g) = -2*g**2 + 51*g + 31. Let i be v(o). Suppose 4*n = 5*f + 75, n - 24 = -3*f + 6*f. Solve -n = -i*u - 40 for u.
-5
Suppose -8158 = -4*d - 2*d - 2*s, 2*s = -4*d + 5442. Solve 2*k - d = -1364 for k.
-3
Suppose 70 = a + 4*a - 3*d, -2*d = 0. Let i = -11004 - -10932. Let z be 1*(-4)/a - i/7. Solve 2*c - 2 = -z for c.
-4
Suppose 0 = -5*c - c - 30. Let r be ((-8)/c)/(1/5). Let o be 22/r + (-9)/(-36). Solve 0 = p + 2*p - o for p.
1
Suppose -1005 - 367 = -20*g - 29*g. Solve 14*v - g = 56 for v.
6
Let j be (6*35/168)/(2/16). Suppose -l = 2*r - 3*r, -4*r - 9 = -l. Let t = r - -9. Solve m = t*m + j for m.
-2
Suppose 3*j = -2*j + 245. Suppose 6*u - 4*u = -5*t + 68, 4*t + 8 = 0. Suppose u = -2*p + j. Solve p*d - 3 = 22 for d.
5
Suppose -10 = -4*i + 14. Let t(v) = 395*v + 1584. Let b be t(-4). Solve i = b*h - h for h.
2
Let i = -143 - -148. Suppose g - i*j + 14 = 1, -5*j + 55 = 5*g. Solve 0 = -g*u - 3*u - 30 for u.
-3
Let v = 332 + -335. Let q(x) = x**3 + 6*x**2 + 10*x + 6. Let w be q(v). Solve w*p = 2 - 5 for p.
-1
Suppose 31*t = 15*t - 8176. Let y = 515 + t. Solve -f + y = -1 for f.
5
Let j = -1368 + 934. Let n be j/(-24) + 9/(-108). Solve n = 6*u - 0*u for u.
3
Let z(c) = -8*c - 19. Let b be z(-3). Let f(s) = s - 6. Let i be f(6). Suppose 0 = 4*n + p - 10, 4*p - 8 = -i*p. Solve -b*l = -n*l + 12 for l.
-4
Suppose 5 = -u + 2. Let n be u*((-4)/(-12)*-7 - 0). Suppose 7*v = 2*v. Solve 2*i - n*i = v for i.
0
Let o = -20130 + 20162. Solve o*w - 33*w = 2 for w.
-2
Suppose 0 = 307*n - 300*n. Suppose -10*i - 15*i + 1125 = n. Solve -i = -16*j + 7*j for j.
5
Let t be 2 + -1 + 2 - 3. Let u = -27 - -31. Suppose -4*y + 3*r + 9 = 0, y + 3*y + u*r = 16. Solve -2*h - y*h = t for h.
0
Let f(h) = -16*h + 1. Let y be f(-1). Suppose u + 14 = y. Solve 0 = -u*j + 19 - 7 for j.
4
Suppose -2*v - 1176*k + 53 = -1177*k, -35 = 5*k. Solve -17*s - 18 = -v*s for s.
3
Let j be (-2)/4*0 - -20. Suppose 9*o - 652 = 2*o - 652. Solve 0 = -4*w - o*w + j for w.
5
Let u = -4 - -8. Suppose -5*g = -15, -i - 8*g + 9*g + 62 = 0. Let v = i + -61. Solve -v*m = -u - 16 for m.
5
Let o(s) be the first derivative of -s**5/60 + 7*s**4/3 - 17*s**3/3 - 13. Let p(j) be the third derivative of o(j). Let q be p(26). Solve -11 - 9 = -q*z for z.
5
Let j(i) = 2*i**3 - 15*i**2 + i + 22. Let g be j(9). Let l = g - 259. Solve 0 = -3*x + 3 - l for x.
-4
Suppose 0 = -2*w + 42*w - 1560. Solve 0 = -23*r + w*r for r.
0
Suppose 3*n - 6 = 6, 3*d = -n + 37. Let r(k) = -25*k + 319. 