olve x*b = u*b + 10 for b.
-5
Let l(j) = j**3 - 60*j**2 + 50*j + 531. Let z be l(59). Solve z = -3*p - 97 + 85 for p.
-4
Let q = 31 + -28. Let b = 0 - 55. Let x be ((-198)/b)/(q/10). Solve 4*f + x = f for f.
-4
Let l(p) = -20*p + 260. Let c be l(13). Solve 11*x - 8*x - 6 = c for x.
2
Suppose 0 = -22*l + 19*l + 12. Suppose 0 = -w + 3*w - 4*s + l, -2*w + 3*s = 1. Solve -w = 3*z - 7*z for z.
1
Suppose 5*p - 3*p = 4*j + 556, 282 = -2*j - p. Let x = j + 155. Suppose x*r = 24 + 21. Solve r = -h - 2 for h.
-5
Let k = -5239 + 5257. Solve 17*o = 8*o - k for o.
-2
Let i(s) = 56 + 69*s - 176*s + 77*s + s**2. Let z be i(28). Solve z = -3*x + 3 for x.
1
Let c = -7445 + 7449. Solve -c*t = -3*t - 4 for t.
4
Suppose -18*r = -31139 + 7631. Solve -r*v = -1298*v + 16 for v.
-2
Suppose -118*p = -115*p - 57. Suppose p*j - 12 = 17*j. Solve 2*o = j*o + 12 for o.
-3
Let i = -59 - -55. Let c be 450/(-24) + 1/i + 4. Let b(v) = v**2 + 16*v + 18. Let a be b(c). Solve 4*s + 5 + a = 0 for s.
-2
Let y = 166 - 96. Let o = y + -55. Solve s = -2*s - o for s.
-5
Let y = -650 + 654. Let z(b) = -3*b - 4. Let p be z(-2). Suppose 4*w = p*w + 4. Solve -w*i + y = -0*i for i.
2
Suppose 4*p - 3*i - 27 = 0, 36 = 5*p - i + 16. Let w be p + (0/(-6))/4. Solve -w*m + 1 = -2 for m.
1
Let c = -1654 + 1659. Solve -c = -1317*s + 1316*s for s.
5
Suppose 2*c = 4*w - 602, 0 = 3*w - 42*c + 41*c - 452. Solve w = 24*a + 7 for a.
6
Let b be (85/(-4))/((-145)/696). Solve 56*h + b = -346 for h.
-8
Suppose 0 = -h + p + 37, 5*h + 2*p - 59 = 91. Solve h*d + 40 = 42*d for d.
4
Suppose 2*i = -5*r + 23, 0 = i + 1. Suppose -3*h - 18 = -3*f, 7*f + 4*h + 6 = -h. Solve -r*m = -3*m + f for m.
-1
Let l(y) = -2*y**3 + 16*y**2 - 13*y - 5. Suppose -34*g - 7 = -35*g. Let u be l(g). Solve 0 = 7*m - u*m for m.
0
Suppose -8*w + 2 = -54. Suppose -2*t - 2*t + s = -19, 35 = 5*t + s. Suppose -2 = 4*c - t. Solve -4*k + c = -w for k.
2
Let m(k) = -k**2 - 14*k - 46. Let z be m(-8). Let g be 8 + 2*z*5/(-20). Solve 3*v + 13 = g for v.
-2
Let j = 587 - 243. Solve -359 = 5*s - j for s.
-3
Let k = 74 + -70. Suppose -3*x - 9*c + 12*c + 3 = 0, 2*c = -k*x + 28. Solve -3*f = -x*f + 8 for f.
4
Let s = 89 + -79. Solve 6*h + 4*h + s = 0 for h.
-1
Let t(m) = -12*m. Let b(i) = -i + 1. Let u(x) = 18*b(x) - t(x). Let k be u(3). Solve k = 11*n - 3*n for n.
0
Let y be ((-1)/(-2))/((-4)/8). Let d(r) = -3*r**2 - 8*r - 9. Let t(c) = -3*c**2 - 7*c - 8. Let k(l) = 4*d(l) - 5*t(l). Let i be k(y). Solve 3*b = 5*b - i for b.
2
Let u(c) be the second derivative of -c**3 - 53*c**2/2 + 4*c - 12. Let o be u(-10). Let g be 3 + 1/(-3 - -2). Solve 0 = -p + o - g for p.
5
Let n(g) = -g**3 + 16*g**2 - 43*g + 55. Let y be n(13). Solve y*w + 62 = 56 for w.
-2
Let m be 32/80 + 234/15. Solve -15*p + m*p = 4 for p.
4
Let q be (6 - 22/(3 + -1))/1. Let d be 16/40 + (-43)/q. Solve -2*k + d = -1 for k.
5
Suppose 14 = 7*i - 0. Suppose 6 = d + i*q, -6*d = -d - q - 52. Solve f - 6*f + d = 0 for f.
2
Let r be ((-111)/9)/((-52)/12 - -4). Let x be 16/(-56) + r/7. Suppose x*j - 2 = 8. Solve j*h - 5 = h for h.
5
Suppose 1 = -c + 4. Suppose -10 - 10 = -4*f - c*r, 5*f - r - 6 = 0. Suppose 0 = -3*k + 3*o + f + 16, -4*k - 3*o - 11 = 0. Solve -a + k = -2 for a.
3
Let h(v) = -v + 9. Let y be h(7). Suppose 13*c - 56 = -c. Suppose -a + c*o + 1 = 3*o, 8 = 2*o. Solve -6*n + y = -a*n for n.
2
Let f = 48 - 48. Suppose 8*j - 294 + 38 = f. Let n = 36 - j. Solve 0*v = n*v - 8 for v.
2
Suppose 4*g - 190 = p, -65 = -g + 2*p - 14. Solve -2*c - g = -47 for c.
0
Suppose -23 = -13*k - 127. Let s be (-1235)/(-35) + k/28. Suppose -i + 2 = -4*w + s, w = -2*i + 15. Solve -10 = 4*q - w*q for q.
2
Suppose 31 = 9*f - 5. Let c = f - 5. Let s be (-2 - -3 - -3) + c. Solve -s*a - 7 + 22 = 0 for a.
5
Suppose -3*r + 22 = -5*j, 8 = 31*r - 27*r + 4*j. Suppose 8 = t + 5. Suppose t*z = -2*z. Solve z = -r*l + 4 for l.
1
Let g = -10270 + 10283. Suppose 4*x - 29 = -1. Solve g - x = 2*n for n.
3
Let n(i) = 21*i + 10. Let q be n(-3). Let z = 53 + q. Let b be 10*((-15)/(-10) - z). Solve 0 = 3*f - 0*f + b for f.
-5
Let m be 0/(9/(-3) + 0). Suppose 63*i + 5*i = -69*i + 2466. Solve m = -13*s + 21 + i for s.
3
Let l = 11757 - 11746. Solve -l*b = -36*b - 100 for b.
-4
Let w = -102 - -48. Let b = -38 - w. Suppose -15 = -b*k + 15*k. Solve -i - k = 2*i for i.
-5
Let n(c) = 25*c + 182. Let t = 310 + -317. Let i be n(t). Solve -7*r - i = -0*r for r.
-1
Suppose 585988*d - 586044*d + 280 = 0. Let u(k) = 8*k - 1. Let j be u(1). Suppose 5*c + 0*i - i = 5, -5 = 2*c + i. Solve c = 2*b - j*b - d for b.
-1
Suppose 4*w - 256 = -4*v + 8*w, -79 = -v - 2*w. Solve 0 = 7*u + v - 111 for u.
6
Let o(h) = h**2 - 53*h - 1368. Let z be o(-19). Solve 14*s - 71*s = z for s.
0
Let o(u) = 2*u**2 + 14*u - 88. Let q be o(11). Let t be (-7)/(q/(-256)) + 2/11. Solve 11 - t = j for j.
5
Suppose -4446 = -46*o + 33*o. Suppose -153*x + 134*x = -o. Solve 4 = -14*j + x*j for j.
1
Suppose -35*t + 1429 = 3*t - 623. Solve t = -13*u + 22*u for u.
6
Let k(z) = -10*z + 12. Let l(j) = 19*j - 27. Let o(p) = 7*k(p) + 3*l(p). Let i be o(0). Solve 8 = a - i*a for a.
-4
Let a = 828 + -916. Let u be ((-99)/a)/(21/112). Let r be (-2 - 0)/(-1) - 0. Solve 0*z - r*z = u for z.
-3
Let v = -58 + 80. Suppose 36 = v*j - 4*j. Solve j = -6*g + 32 for g.
5
Suppose 2*w - 29 = 2*r + 13, 4*w + 3*r - 91 = 0. Suppose 0 = w*o - 110. Solve -4*b = -o*b for b.
0
Let v be (-17)/85 + 1/5. Suppose v = 257*f - 261*f + 12. Solve -f*g - 2*g + 10 = 0 for g.
2
Let f = 216 + -92. Let r = f - 122. Solve 0 = -k + r*k for k.
0
Let t be ((-189)/36 + 5)/(708/(-176) + 4). Solve -17*g + 6 = -t for g.
1
Let p be (6/(-24))/((-1)/8) - 163. Let a = p - -164. Solve 2 = -a*x + 5*x for x.
1
Let u = -3288 - -3349. Solve -68 = -7*i - u for i.
1
Let i = -22267 - -22286. Solve 4 - 80 = i*q for q.
-4
Suppose 48 - 74 = -13*f. Suppose -8 = d - 12. Solve f*o - 10 = d*o for o.
-5
Let o(v) = v**2 - 5*v + 2. Let c be o(4). Let i be (4 - (-1 - c)) + -1. Suppose -61 - 121 = -94*z + 194. Solve -i = z*b + 6 for b.
-2
Let f(i) = 30*i - 129. Let h be f(11). Let r = h + -196. Solve r*w - 41 = -51 for w.
-2
Let h(q) = q**3 - 27*q - 2. Let o be ((-12 + 6)/6)/((-2)/(-10)). Let t be h(o). Solve c - t = 3*c for c.
-4
Let d = 1732 + -1709. Solve -16*q + d*q = 0 for q.
0
Let b(u) = u**2 - u + 18. Let q be b(9). Suppose -5*w - d = -6*d - q, -15 = 3*d. Let f be 0 + 4 + w + -5. Solve v + 2*v = -f for v.
-4
Suppose m = -3*f + 243 - 50, 0 = -f + 5. Solve -u + 181 = m for u.
3
Let w be 5/(-25) - (-4)/(-10)*382. Let t be (-2108)/w + (-4)/(-18). Suppose -2*j = -7*j + 2*d + 16, j - t = 4*d. Solve 0*q = q + j for q.
-2
Let t = -1016 + 1020. Solve -t*d + 13*d = -45 for d.
-5
Let w = 4162 + -4107. Solve -g + 162 = -w*g for g.
-3
Suppose -217 = -187*r + 344. Let p be (0 - (0 + 0))*1. Let k = 36 - 27. Solve 2*s + k - r = p for s.
-3
Suppose 0 = 296*v - 299*v + 2*p - 26, 4*v = 2*p - 26. Let q(i) = 5*i**2 + 2*i + 1. Let j be q(-1). Solve -u + j*u + 6 = v for u.
-2
Let g(n) = n**2 + 12*n + 15. Let o(p) = -3*p**2 - 35*p - 46. Let r(d) = -11*g(d) - 4*o(d). Suppose 65 - 41 = -6*f. Let q be r(f). Solve -5*l - q = 7 for l.
-2
Let v be (14 + -15)/(7/(-70)). Solve -2 - 38 = -v*x for x.
4
Let s be (34/51 + (-52)/60)*0. Solve s = 2*n + 8 for n.
-4
Let g = 4909 + -4903. Solve -g*q + 12*q = 0 for q.
0
Let u be ((-4)/6)/((4/(-6))/(101 - 78)). Solve 49 + 112 = -u*h for h.
-7
Suppose -216 = -915*i + 879*i. Solve -h + i = 5 for h.
1
Let r = -48 - -49. Suppose 2*f - 2 = o - r, -f = -2*o + 7. Suppose o*h - 19 = -4*z, -5*h + 4 = -4*z - 7. Solve 4*i + 9 = z for i.
-2
Suppose 514*p - 2*f = 516*p - 1244, 0 = -5*p - 4*f + 3110. Solve -p*a = -615*a - 21 for a.
3
Let k = -1818 + 1828. Solve k*o + 1104 = 1154 for o.
5
Let f = -3088 - -3129. Solve 6*v = f - 71 for v.
-5
Suppose 10*p - p + 74*p = 27639. Solve -72 = -342*r + p*r for r.
8
Let q be (-36)/(-27)*18/8. Let a = 11 - q. Suppose n + a*x + 7 = 4*x, -5*n = -4*x - 37. Solve 9 = -n*y - 16 for y.
-5
Suppose r = 2*c + 3*r - 172, 3*c - r - 238 = 0. Let p = 73 - c. Let k(f) = f**2 + 6*f - 13. Let z be k(p). Solve -z*m = m for m.
0
Let k = -3 + 11. Suppose 0 = h - 33*i + 38*i - 28, -4*h - 5*i + 37 = 0. Solve h = -k*x + 11*x for x.
1
Let a = -4307 - -4319. Suppose 0 = 2*h + 10, 2*q - 5*h - 8 - 65 = 0. Let d = q - a. Solve -5*t + t - d