-15. Let a = b - y. Solve a*c = 4*c + 20 for c.
4
Let b be 10/(5/(-90)*12/(-4)). Suppose s - b = -4*s. Solve 4 = s*h - 8*h for h.
1
Suppose 3536 = -12200*c + 12208*c. Solve 447*j = c*j + 40 for j.
8
Let k(a) = a**2 + 14. Let j be k(0). Suppose -j + 18 = 4*v. Let z be (v - 1)*3/(-6). Solve 5*o - 10 = -z*o for o.
2
Let i = 2523 - 2519. Solve -9 = -i*f + 7 for f.
4
Suppose -30*i + 17*i = 32*i - 1980. Solve -35*b - i = -46*b for b.
4
Let p(c) = -708*c - 7054. Let g be p(-10). Let d(j) = -22*j**3 - j + 1. Let v be d(1). Let t = g + v. Solve -t*l + l = -6 for l.
2
Let n(x) = 75*x + 2017. Let m be n(-26). Let i(l) = -30*l - 1. Let r be i(-2). Suppose -r = o - m. Solve 0 = -o*z + 3*z - 10 for z.
-2
Let x be 2/5 + 50/(9000/1908). Suppose -j + 5*r = -3*j, -j = -r. Solve -3*d + 4 + x = j for d.
5
Let d be (-176)/6*27/(-72). Solve -d*m = 412 - 489 for m.
7
Let s be (4/6)/(1/3). Suppose s*q + 5*t - 45 = 0, -2*t + 3*t = -2*q + 41. Suppose 4*r - 2*c - 2 = 4, -3*c + 11 = -r. Solve -r*u = u + q for u.
-4
Let c = -24 + 29. Suppose c*a - 2*y = 2*a - 8, 4*y + 2 = -3*a. Let t be (a/4)/(-1 + 25/30). Solve j + 0*j = -t for j.
-3
Suppose 198*b = 6654 - 4160 + 5426. Let d(g) = -g**2 - 8*g - 3. Let j be d(-6). Suppose a + b = j*a. Solve a = 5*w - 15 for w.
4
Let w = 462 + -349. Suppose -18*m + w + 13 = 0. Solve 14 = m*a - 21 for a.
5
Let p(n) = 7*n**2 + 14*n - 23. Let u be p(7). Let b = -418 + u. Solve -l - 3*l = b for l.
0
Let t(k) = 11*k**2 + 3*k + 2. Let j be (10/5)/(2/(-3)). Let m be t(j). Let d = -88 + m. Solve -9 = d*y - 1 for y.
-2
Suppose 419*p = 4*l + 414*p - 91, -4*p = -4. Solve l*z + 28 + 68 = 0 for z.
-4
Let u = -3786 + 3824. Solve -39 = x - u for x.
-1
Let a = -4464 + 4476. Solve a*j + 63 = -9*j for j.
-3
Suppose 0 = 12*n - 0*n - 2436. Let b = 209 - n. Solve 4*s + b = 10 for s.
1
Let j be (-363)/(-18) + 2/(-12). Suppose 0 = -4*x + 4*c - 676, -676 = 4*x - 0*x + 4*c. Let r = 174 + x. Solve -j = 5*a - r for a.
-3
Let w(n) = -n - 2. Let u be w(-5). Suppose 31*k = 26*k + 15, -3 = -3*v - k. Let z be 0*(6/(-3))/(-6). Solve v = -u*l - z*l + 15 for l.
5
Let z be 1/((-1)/(-5)*1). Let b = -27091 - -27093. Solve -z*f + b + 3 = 0 for f.
1
Let t be (4/2)/(-8) + (-3393)/(-36). Suppose -i = 4*l + t, 4*i + 162 = 4*l - 194. Let a = -87 - i. Solve a*h + h = 20 for h.
5
Suppose -5*w = -2*w - 24. Let v = 11 - w. Let l = 40703 - 40700. Solve 0*r - l*r = -v for r.
1
Suppose 300 = -17*h + 572. Solve -9 = h*d + 7 for d.
-1
Suppose 5*k = 2*k. Let g be (-2 - 12/(-15))/((-2)/5). Suppose p = -u + 4, -g*u + 2*p - 4*p + 14 = 0. Solve k = a + u - 1 for a.
-5
Let s be 2/5 - ((-1841)/35 + 15) - 0. Solve s = 19*q - 38*q for q.
-2
Suppose 6*c = 5*c + 2, p - 21 = 3*c. Solve p*f = 24*f - 12 for f.
-4
Let b = -54410 - -54412. Let i(s) = 0 + s**2 + 0 - 2*s - 3. Let o be i(3). Solve -b*c + 4*c = o for c.
0
Suppose -4*g = 4*c - 252, g = 25*c - 23*c - 141. Solve -q - c = -61 for q.
-7
Let u(g) = 5*g - 28. Let a(s) = s**3 + 25*s**2 - 54*s + 8. Let f be a(-27). Let l be u(f). Solve -l = 6*v + 6 for v.
-3
Suppose 34*q - 192 = 38*q. Let i = q + 58. Solve -13*a - i = -15*a for a.
5
Let w(y) = -y**3 + 40*y**2 - 396*y - 38. Let o be w(19). Solve -11 + 68 = o*d for d.
3
Suppose r = -5*j + 35, 3*r - 5 = j + 4*j. Let p = -37 - -35. Let n be p/(6/3)*0. Solve n*u - 2*u + r = 0 for u.
5
Let j be ((-34)/(-3))/(18/(-27))*340/(-68). Solve 215*s + j = 198*s for s.
-5
Suppose 3*a = 2*q - 15, q = -2*a + 2*q - 11. Let t(w) = w + 7. Let n be t(a). Suppose 2*d - 46 = 28*v - 31*v, 2*v - 9 = 3*d. Solve -5*b + b - v = n for b.
-3
Suppose 0 = -3*z - 3*w, 2*z - 3*w + 2*w - 6 = 0. Let m be 3/(-2) + 306/204. Solve m = -3*a - z*a + 25 for a.
5
Let z be 5613/18 - ((-119)/(-42) + -3). Let s = z + -312. Solve 3*b = -s*b - 15 for b.
-5
Suppose 198*y - 103950 = 93*y. Solve -y*h = -998*h for h.
0
Suppose -568 = -3*k + k. Suppose 19*o - k = 23*o. Let p = 75 + o. Solve p*c = 3*c - 4 for c.
-4
Suppose 3*p - 8*p = 30. Let h = p + 10. Suppose 5*x = 3*x + h. Solve -2 = -x*r + 4 for r.
3
Let m(l) = 6*l - 142. Let o(a) = 4*a - 95. Let w(v) = -5*m(v) + 7*o(v). Let c(p) = 3*p**2 + 21*p + 38. Let n be c(-6). Let r be w(n). Solve j = -r + 1 for j.
-4
Let p = 3786 - 3626. Solve 80 = -40*h - p for h.
-6
Let s(j) = 791*j + 14. Let y be s(1). Solve 2*q - y + 809 = 0 for q.
-2
Let l(i) = -29*i**2 - 27*i + 32. Let x(y) = 16*y**2 + 14*y - 15. Let g(f) = 6*l(f) + 11*x(f). Let q be g(5). Solve 7*v + q = 9 for v.
-4
Let p be (3 + -7 + 26)/1. Solve -34*o + p = -12*o for o.
1
Let f be (2 + (-46)/8)/((-12)/432) + 1. Solve 0 = -3*r - 151 + f for r.
-5
Let h be (-35)/14*(-412)/10. Let a = h - 100. Suppose 2*w + a*v - 29 = w, 9 = 3*v. Solve 5*f - w = -5 for f.
3
Suppose -4*u = -25 - 31. Suppose 6*c - 8 = -u. Let r be 2/(-5) - c/(-5)*-2. Solve 0 = -r*q - q for q.
0
Let d = -140 - -142. Suppose -5*b + 9 = 5*r - d*r, 15 = -4*b + 5*r. Solve b*z = 3*z - 3 for z.
1
Suppose 0 = -44*l + 122*l - 529 - 1421. Solve 0 = 22*j + l*j + 235 for j.
-5
Let o be (0 - 1) + 10 - 2. Suppose 4*z + 7 - 37 = -2*f, 0 = 4*z - 24. Solve f*j = -o + 16 for j.
3
Let h be (-1)/4 - ((-610)/40 + -12). Let x(i) = -i**2 + 10*i + 7. Let c be x(5). Solve -c*v + 10 = -h*v for v.
2
Let g(k) = -3*k**3 - 59*k**2 - 140*k + 152. Let p(x) = -x**3 - 19*x**2 - 47*x + 51. Let i(d) = 3*g(d) - 8*p(d). Let r be i(-23). Solve -r*u - 1 = -3 for u.
1
Suppose 7*o - 35*o - 64 = -176. Let p be (3 - 6)/(3/(-4)). Solve -p*u + o*u = 4*u for u.
0
Let j = 11353 - 9925. Solve 10*i = -j + 1478 for i.
5
Let j(g) = g**2 + 23*g + 8. Suppose -129*t = -128*t + 20. Let z be j(t). Let p be (-13)/(z/24) + 0. Solve a - 5 = -p for a.
-1
Let b be ((-308)/(-21))/(-2*6/(-36)). Solve 21*f - b*f = 36*f for f.
0
Let w be 27/15 + -2 - 18189/(-645). Solve w = 153*n - 139*n for n.
2
Suppose -q - 5 = -1. Let h be q/6*21/(-14). Let a(u) = 2*u + 37. Let d be a(-16). Solve h - 16 = d*t for t.
-3
Suppose 2*h + 32 = 10*h. Let k be ((-3)/2)/(1*(-2)/h). Solve 0 = k*l - 2 - 4 for l.
2
Let w = 1548 - 1520. Solve 17*b - 31*b = w for b.
-2
Let i(g) = g**2 + 35*g + 194. Let p be i(-6). Let r be (-1 + -1)/((-4)/14). Solve -r*f = -p - 8 for f.
4
Let a(z) = -z**3 + 4*z**2 + 11*z - 2. Let n be a(-2). Suppose -u + 4*u - k = 19, n = 3*u - 5*k - 35. Solve l - u = -4 for l.
1
Suppose -22*u + 18 = -19*u. Suppose 0 = 57*i - 59*i + u. Let z be (-8)/6*i/(-2). Solve -z*j + 4*j = 4 for j.
2
Let t = 18 - 13. Let i be (290/(-12))/t*3*-2. Let o = 31 - i. Solve -2*p + o + 2 = 0 for p.
2
Suppose 2*t + 50 = 4*u, -u + 2*t = -2*u + 25. Suppose 6*n - 10 = 5*n - 5*d, 0 = 2*d - 2. Solve n*o + u = 10*o for o.
3
Suppose 4735 = -16*b + 463. Let u = -267 - b. Suppose 2*i - 17 = -5. Solve u = p - 1 + i for p.
-5
Let f = -2220 - -2238. Solve -46 = 28*v + f*v for v.
-1
Let o(p) = -p + 30. Let a be 4 - 4/2 - (-17 - -10). Let k be o(a). Suppose 15*u - 22*u + k = 0. Solve 6 = z + u for z.
3
Let y = -20 + 24. Let h(k) = -2*k + 17. Let i be h(y). Suppose -3 = s - 5. Solve -1 = -s*z + i for z.
5
Suppose -2*f + 23 = 23. Suppose f = 4*o - 33 + 49. Let u be -1*2 - (-6 - o). Solve -y + u*y = 3 for y.
-3
Let j(y) be the third derivative of -y**5/60 + 2*y**3 + 38*y**2. Let n be j(3). Solve 0 = n*z - z - 6 for z.
3
Let t(r) = 2*r**2 - r - 2. Let y be t(2). Let u(s) = -s**3 + 250*s**2 + 1800*s + 24. Let f be u(-7). Let i = -8 + 9. Solve i = y*k + f for k.
-4
Let b = -25 - 76. Let z = b + 170. Let f = -67 + z. Solve -1 = f*w - 3 for w.
1
Let i(w) = -2*w**2 + 7*w + 7. Let j be i(-5). Let o be j/(2/(-1)) - (0 + -2). Let f = 52 - o. Solve 0 = -4*a + f + 1 for a.
3
Let d(r) = 2*r - 8. Let n(h) = -h**3 - 6*h**2 - h. Let w be n(-6). Let i be d(w). Let c be 3/(-10) + (-490281)/(-32370) - (-2)/13. Solve -i*k + k - c = 0 for k.
-5
Let q(s) = -9*s**3 - 61*s**2 + 24*s + 118. Let h be q(-7). Solve -1725*b - h = -1733*b for b.
6
Let n be (-3 + (-183)/(-6))*(-8)/5. Let i = n - -47. Suppose -3 = -4*r - k, -5*k + 6*k = -i*r + 3. Solve r - 6 = -3*x for x.
2
Let o be ((-1)/(-12) - 75/100) + (-16)/(-6). Solve o*c + 178 = 182 for c.
2
Let s(k) = 5*k**2 + 81*k + 18. Let b be s(-16). Suppose 3*z = -b*c + 52, -c - 19 = -z - 2*c. Solve 6*p - 4 = z for p.
3
Let x be (-26)/(-156)*-30 - -53. Solve -15*h = -21*h + x for h.
8
Let w = 13 + -9. Let v = 638937 + -638937. Suppose -3*x + 2*a + 25 = -0*x, x + 15 = -4*a. Solve w*t 