olve -40 = d*o - 137*o for o.
-5
Let g(f) = f + 5. Let u be g(0). Suppose 37*w - 17*w = 540. Suppose -5*j = -w + 17. Solve u + 3 = -j*c for c.
-4
Let x be 80/28*(-1113)/(-106). Solve 15*o + x = -0*o for o.
-2
Let b(p) = 7*p - 90. Let w be b(13). Let f(z) = 5*z + 3. Let c be f(w). Solve 0 = 4*q - 2*q + c for q.
-4
Suppose 0 = -5*r - 2*f - 53 - 12, 4*r + 59 = -3*f. Let g be -5 - (r + 5 + -6). Solve g*z + 8 = 3*z for z.
-2
Let r(d) = -8*d + 30. Let a be r(6). Let p be (6/(-4))/(a/36). Suppose -p*q - 7*q = 0. Solve -s + 2*s = q for s.
0
Suppose 2*x + 8 = -2*x, -8 = -3*q + 4*x. Suppose q = 25*s - 11*s - 126. Solve -s = -7*u + 4*u for u.
3
Suppose -48*m + 3138 = -19527 + 5913. Solve 0 = m*s - 355*s + 30 for s.
5
Let m(x) = 233*x - 2796. Let q be m(12). Solve -32*f + 25*f + 42 = q for f.
6
Let c(h) = -3*h**2 + 91*h + 1985. Let z be c(45). Let s(p) = -p**2 + 3*p + 4. Let q be s(4). Solve q = -y + z*y for y.
0
Suppose -5*k = -3*t - 13, 2*t - 75*k + 76*k = 26. Solve -t*y = -111 + 102 for y.
1
Suppose 4*f + 112 - 84 = 0. Let o be f/2*(-40)/7. Solve 0 = s - 5*s - o for s.
-5
Suppose 3*a - 6 = 0, -178 = -2*w + 3*a - 42. Solve 5 = 22*n + w for n.
-3
Suppose 199*p - 2340 = 147*p. Solve -3*f + 96 = p*f for f.
2
Suppose 138 = 3*y - 4*l, -2*y - 14*l + 9*l = -69. Solve 3*v + 11*v = -y for v.
-3
Suppose 51 = -d + 4*c, -7*d - 4*c = -2*d + 303. Let x = d - -64. Suppose 1 - 5 = -u + l, -4 = -u + x*l. Solve -3 = -u*h + 17 for h.
5
Let r be ((-1983)/2644)/((-2)/(-496)*-2). Solve -r*w + 116*w + 23 = 0 for w.
-1
Suppose 9 = 3*d, -2*j + 56 = 5*d + 15. Solve -2*o = -15*o + j for o.
1
Let g(t) = 21*t**2 + 2*t + 1. Let j be g(2). Let p be j + 8*1/2. Suppose -p + 93 = u. Solve u = -k + 6*k + 20 for k.
-4
Let j(t) = -3*t**3 + t**2. Suppose -6*n - 11 = 5*n. Let g be j(n). Suppose g*u - 1 = 11. Solve -m = -u*m + 4 for m.
2
Suppose -4*h + 6 - 2 = 0, 0 = u + h - 3. Suppose -3*v + 25 = -3*w + u*w, 2*v - w = 16. Solve 0 = 8*b - v*b + 3 for b.
3
Suppose 2*i - 4*i = -14*i + 1368. Solve 0 = 23*t + 34*t - i for t.
2
Suppose -331 = -4*q - q - 3*j, 2*q + 4*j = 138. Suppose -5*r = -90 + q. Solve 6*s - 1 = r for s.
1
Let i(s) = s**3 + 4*s**2 - 7*s - 6. Let g be i(-5). Suppose -2*q = -g*q. Let l = 457 + -451. Solve q = -3*k + 3 + l for k.
3
Let s = -378 - -380. Suppose 5*f - 19 = s*p, 3*p + 8 - 7 = 2*f. Solve -f = 2*m + 5 for m.
-5
Suppose 0 = -2*l + 13*l - 88. Suppose 0 = 2*r + 5*s + 4 + 12, -2*s - l = 0. Solve 0*k = -2*k - r for k.
-1
Suppose -15*b - 3*z = -18*b + 105, -3*b + 4*z + 111 = 0. Solve 28*h = -b + 1 for h.
-1
Let t(j) = j**3 - 12*j**2 + 20*j + 7. Let r = 75 - 65. Let h be t(r). Suppose h*g - 9*g = -4. Solve 3*y + 20 = -g*y for y.
-4
Let s be 8 + 18/396*0. Solve -640 = -s*y - 624 for y.
2
Suppose 29 = 3*v - 40. Suppose -y = b - v, -33 = -4*y + b + 39. Suppose -4*m + 79 = y. Solve 3*s - m = -2*s for s.
3
Suppose 0 = -7*b + 130 + 87. Suppose -16*z + b = -65. Solve p - 3*p = z for p.
-3
Suppose 4*b + 4*r + 204 = 0, b = 3*r - 7*r - 54. Suppose -22*l - 588 = 512. Let s = b - l. Solve n + 0 - 1 = s for n.
1
Let h be 1/3*89/((-1602)/(-1728)). Solve -h = t - 27 for t.
-5
Suppose 2*z = -0*d - 4*d - 28, -3*d = 5*z + 35. Let f be (d - (0 - (8 - -2))) + -2. Solve -23 = f*c - 8 for c.
-5
Let i = -22 - -39. Suppose i*y = 23*y. Let x be 1/(-8) + (-99)/(-24). Solve y*s - x*s = 16 for s.
-4
Let s = -41 + 100. Suppose 2378 = 4*t + 37*t. Let v = s - t. Solve 5*g = -9 - v for g.
-2
Let m = -2172 - -2176. Solve -m*k + 830 - 814 = 0 for k.
4
Let n(y) = 61*y + 500. Let j be n(-3). Solve 311*v = j*v - 6 for v.
1
Let c be 13/26*6*2. Suppose -17*m + 55 = -c*m. Solve 4 + 1 = -m*d for d.
-1
Let b be 209/3 - ((-2)/(-15))/(84/420). Solve -5*p + b = 94 for p.
-5
Let k(u) = -3*u - 4. Let j be k(-2). Suppose -21 = -5*q - j*r, -2*r = -4*q + r + 3. Suppose 8 = 4*i - 4*o - 0*o, q*i + 5*o = 14. Solve -1 = -4*h + i for h.
1
Suppose -3*y = 21 + 33. Let p be (-4)/y - (-712)/36. Suppose 5*d = -2*n + 4, -4*d + 330*n = 327*n + 6. Solve -5*l + p = -d*l for l.
4
Suppose -6*a = -950 + 158. Let v be -7 + 900/a - 334/(-22). Solve v*k = 11*k - 12 for k.
-3
Suppose 0 = -d - 8*n + 12*n + 7, -n = d - 7. Solve d = -5*i + 12 for i.
1
Suppose 0 = -5*m - t + 47, 0 = m - 4*m + t + 25. Let a be (1/(-2))/(2/(-20)). Let r be (3 - 77/14)*58/(-5). Solve -a*x - m = -r for x.
4
Let p = 49 - 46. Suppose 0*d + 72 = -2*d - c, p*c + 80 = -2*d. Let q = -31 - d. Solve -q*w + 6*w = 6 for w.
2
Let t(r) = -2*r + 18. Let d be t(6). Let j = d - -6. Let i be (1 - (3 + j/(-3)))*2. Solve -y - 12 = -i*y for y.
4
Let u(s) = 12*s + 88. Let k(b) = 16*b + 89. Let f(o) = -6*k(o) + 7*u(o). Let l be f(6). Solve 0 = -9*x + l*x - 1 for x.
1
Let q(y) = 576*y + 5197. Let p be q(-9). Solve -7*s - p*s = 40 for s.
-2
Let b be (-1 + (65/(-30))/(-13))*-6. Suppose 2*t - 3*f - 27 = 0, -b*t + 0*f = f - 25. Solve 31 - t = 5*w for w.
5
Suppose 3*s - 5*w - 349 = 0, s - 607 = -4*s + 2*w. Let k(t) = 5*t - 129 + s - 2*t. Let r be k(3). Solve r*j = 6*j for j.
0
Suppose -4*b + 76 = 4*k, 0 = 8*k - 3*k + 4*b - 92. Let u be (-8)/(-6)*201/134. Solve -6*n + u*n - k = 0 for n.
-4
Let d(k) = -2*k**3 - 15 - 3 - 4*k - 7*k**2 + k**3. Let f be (-1*7/2)/((-13)/(-26)). Let b be d(f). Solve -3*i - 2*i = b for i.
-2
Suppose 4260 = 61*l + 10*l. Solve 9*u - l = -11*u for u.
3
Let z be 0 - 225/(-1) - (-8)/8. Let w = 230 - z. Solve -w*o + 1 = -3 for o.
1
Let x be (-54)/243 - (3 + 24092/(-36)). Solve 0 = -668*q + x*q + 6 for q.
3
Suppose -2*h + 8 + 2 = 0, 2*t + 4*h - 124 = 0. Solve -28*q = -t*q + 168 for q.
7
Suppose -3 = -4*b - 2*z - 1, 3*z = -4*b + 5. Let n be ((-20)/15 - b/3)*-4. Solve 2*q = -n*q - 24 for q.
-4
Let l(n) = -9*n - 109. Let h be l(-13). Suppose -2*j - 4 + h = x, j - 2 = x. Solve -i + 9 = j*i for i.
3
Let b be ((-134)/(-20))/(241/10 + -24). Solve 2*l - b + 83 = 0 for l.
-8
Let j = -1386 - -1416. Solve -2*y = j - 40 for y.
5
Let o(v) = -v**2 - 11*v + 17. Let j be -5*(36/8)/(30/16). Let d be o(j). Let k = 140 - 136. Solve -d + 21 = k*w for w.
4
Let u = -8728 + 8959. Solve -20*s - u = -131 for s.
-5
Suppose 0 = -7*h + 64 + 104. Suppose -h = -18*z + 30. Suppose 0 = 3*q + 4 - 22. Solve -3*f = -q*f + z for f.
1
Let f = -324 - -335. Solve -5 = -16*p + f*p for p.
1
Let d = -14882 + 14932. Solve 0 = 29*s - d + 195 for s.
-5
Suppose 20*x - 22*x - 5*i + 35 = 0, -3*x + i - 7 = 0. Let z(y) be the second derivative of -y**3/6 + 5*y**2/2 + y. Let r be z(3). Solve 2*k = -x + r for k.
1
Let p = 16173 - 16157. Solve -1267 + 1299 = -p*b for b.
-2
Let t = 447 + -475. Let o be (14 - (-245)/t)*(-20)/(-3). Solve 9*s - 10 = o for s.
5
Let s(i) = i**2 + i - 15. Let u be s(-5). Suppose -2*c - 1 = -u. Solve 0 = c*t - 9 + 1 for t.
4
Let i = -1395 - -3299. Suppose -7*t = 7*t - i. Let j = -116 + t. Solve -6*h + 2*h = j for h.
-5
Let z = 15730 + -15560. Solve -z*c + 40 = -165*c for c.
8
Let w be 2/((-6)/(-15)) + -5 + 23. Solve 15 = -2*q + w for q.
4
Let i = 898 - 858. Solve 118 = -i*p - 42 for p.
-4
Suppose o = -0*o + 28. Suppose -f + 2*d = -7, 0 = -4*f - f + 3*d + o. Suppose 4*x - 21 = -f. Solve -5*k - x - 11 = 0 for k.
-3
Let p(r) = 44*r**2 - 88*r - 175. Let z be p(-2). Solve -z = -2*x - 187 for x.
-5
Let i(j) = -j**3 + 5*j**2 - 12*j + 110. Let w be i(6). Solve 88 = 20*o + w*o for o.
4
Suppose 13*t - 15*t + 14 = 0. Let a be -1 + 5 - (t + -8). Suppose -a*l + 2*l + 43 = 4*v, 5*v = l + 49. Solve 5*c + v = -0*c for c.
-2
Suppose -4*w = 23 - 63. Let n be (-26)/w - 4/10. Let v = n + 6. Solve f = -v*f for f.
0
Suppose -21*f = -23*f + 20. Suppose -5*u + 104 = -36. Let r be (-8)/u + 185/35. Solve -f = -r*j + 10 for j.
4
Suppose -11*z - h = -13*z + 3, -2*z - 5*h = -9. Suppose 15 = 5*g - z*i - 3*i, -3*g + 23 = 4*i. Solve 0 = -g*f - 6 - 14 for f.
-4
Let d = 2 - -5. Let r be (2 - (3 - d)) + -4. Let q be (18 + -16)/(r - 1). Solve 0 - 6 = -q*z for z.
3
Let u = 459 + -235. Let z = u + -220. Solve -3*x = x - z for x.
1
Let s(c) = -4*c**3 + 132*c**2 + c - 25. Let b be s(33). Suppose 17 = 2*y - 5. Suppose 0 = -y*f + b*f. Solve f = 3*z - 7 - 2 for z.
3
Suppose 192 = 9*z - z. Let q be 94/10 - z/60. Suppose -3*v + 3 = -4*s + s, s + 4*v = 24. Solve s*m - q = 3 for m.
3
Let g be (-4)/(-26) + 0 + (-3281)/(-221). Suppose -2 + 10 = 2*i. Solve a - i*a = -g for a.
5
Suppose i - w - 42 = 0, 5*i - 31 - 144 = -2*w. Solve 14*z - 9 = -i for z.