 + b = 2*q for q.
-1
Let v(k) = 7*k - 8 - 4*k + 0 - 15. Let t(y) = y**3 - 13*y**2 + y - 4. Let a be t(13). Let l be v(a). Solve -l*i = -3*i for i.
0
Let y = 1146 + -1144. Suppose 0 = 5*r - 2*a + 54, -3*r + a - 52 = 2*r. Let x be (18 + -3)*(y - (-16)/r). Solve 5*l = -14 - x for l.
-4
Let z = -3 - -3. Let l be ((-11)/(66/(-20)))/(8/12). Solve l*y - y + 20 = z for y.
-5
Let r(b) = 2*b - 5. Let h(v) = 3*v - 11. Let z be (-2 + (-56)/(-12))*9/(-4). Let f(t) = z*h(t) + 10*r(t). Let i be f(-7). Solve -3 = u - i for u.
-1
Let h = -247 + 87. Let n = 162 + h. Solve n = -7*d - 33 for d.
-5
Let p = -18205 + 18653. Solve -31*c - 33*c + p = 0 for c.
7
Let k be (136/(-442))/(((-12)/39)/2). Suppose 0 = y - 3*v - 8, 4*v - 1 = 3*y - 25. Solve 18 = -y*h + k*h for h.
-3
Suppose 2*s - u + 2 = -4, -5*s + 2*u - 14 = 0. Let p be 96 - 3*s/6. Suppose 0 = -10*f + p - 27. Solve -2 + f = -t for t.
-5
Let v(f) = 3*f - 46. Let z(n) = 2. Let s(d) = 2*v(d) - 6*z(d). Let b be s(18). Let c be -14*(6/4 - 2). Solve -b*g + c + 1 = 0 for g.
2
Let i = -236 + 284. Solve 2*x = -42 + i for x.
3
Let y be 184 + 38 - (-2 - -4 - -3). Suppose -227 = -5*z - y. Solve -z*l + 4 = -2 for l.
3
Let x(g) = -g - 9. Suppose -u = 3*t + 2 + 3, 0 = 2*t - 5*u - 25. Let i be -11 - t/(-5)*(-2 - -1). Let q be x(i). Solve q*h + 12 = 2 for h.
-5
Let a = 5864 - 5858. Solve 3*f + 0*f - a = 0 for f.
2
Let r be (4 - 3)*72/9. Let g(k) = -6*k + 59. Let s(u) = -2*u + 20. Let x(m) = -6*g(m) + 17*s(m). Let q be x(r). Solve -q*p = -0*p + 10 for p.
-5
Suppose 38 = 4*l - 22. Let c(v) = -v**3 + 14*v**2 + 14*v + 20. Let y be c(l). Solve -15 + 5 = -y*z for z.
2
Let p be (-111216)/(-588) - (-1)/(-7). Solve -38*i + p = -77 for i.
7
Let q(g) = -29*g + 111. Let n be q(6). Let r = n - -76. Solve 5*l + r = 3 for l.
-2
Let w = 0 + 5. Suppose 0 = -18*i + 16*i + 98. Suppose -4*r + 5*g = -i + 9, -8 = -4*r - 3*g. Solve 0*y + r*y + w = 0 for y.
-1
Let o(h) = -h**2 - 15*h - 82. Let n be o(-6). Suppose d + 100 = 5*x, 2*x - 8 - 19 = 3*d. Let m be x/6*(-144)/n. Solve m = -5*i - 2 for i.
-4
Let n(s) = s**3 - 6*s**2 - 6*s - 2. Let d be n(7). Suppose 80*k - 614 = 1306. Solve 23*m - k*m = d for m.
-5
Let r(f) = 18*f - 54. Suppose l = 4*y - 9, 21*y - 24*y + 12 = l. Let k be r(y). Solve k = -2*n + 27 - 29 for n.
-1
Let t = -2315 + 2315. Solve t = 84*w - 99*w - 90 for w.
-6
Let w(k) = 16*k - 406. Let a be w(26). Solve a*j - 4*j = 6 for j.
1
Let c(h) = -304*h - 2076. Let n be c(-7). Solve -88*l + 36*l = n for l.
-1
Let t(z) = 3*z**2 - 44*z + 45. Let k be t(13). Let r(i) = -i**3 - 21*i**2 - 24*i - 56. Let g be r(k). Solve -25*w + 1 = -g*w for w.
1
Suppose -5*c = 3*t - 16, -t - 18 = -4*c + c. Let p be ((t/6)/1)/((-5)/10). Solve -p = -10*u - 11 for u.
-1
Suppose -2*d = -u - 8, -4*u - 25 = u - 5*d. Let c be (26 - -16)*u/6. Let n = c + 22. Solve -5*b + b - n = 0 for b.
-2
Let k(j) = 4*j**2 - 39*j - 389. Let q be k(-9). Solve q = -2*w + 294 for w.
4
Let f(w) be the first derivative of w**3 + 15*w**2 + 30*w - 110. Let n be f(-9). Solve 0 = n*p - 17 + 8 for p.
3
Let y be (-4)/10*-9 - 62/(-155). Suppose 8*i = 5*i - y*r + 4, -4*i = 2*r - 12. Solve i*x + 21 = 5 for x.
-4
Suppose 0 = 5*b + 203*g - 205*g - 44, -47 = -5*b + g. Solve -102 + 142 = b*h for h.
4
Let c be 9/(-126) + (-4117)/(-14). Solve c*h = 306*h + 72 for h.
-6
Suppose 109*b - 2812 = 567. Solve 32*u - 189 = -b*u for u.
3
Let m(k) = -k**3 - 49*k**2 + 46*k + 108. Let l be m(-50). Solve 310*j - 6 = l*j for j.
3
Suppose -6 = -w + 3*s, -5*s = 4*w - 0*w + 61. Let n be 4 + -3*(-6)/w. Suppose 0 = -5*o + 5*f, -4*f = -n*o - 4 - 4. Solve 0*y = -o*y for y.
0
Suppose 0 = -5*i + 13 + 2. Let h be 3 + (2 - i)*2. Let a(r) = -2*r**2 + 47*r - 189. Let l be a(18). Solve -l = 5*j + h for j.
-2
Suppose -5*r - 11 = -4*p, -3*r + 8*r = 5. Suppose -21 - 91 = p*l. Let k be (l/(-8) + -3)*16 + -2. Solve k*n - 3*n = 6 for n.
2
Suppose 13*s = -4*r + 16*s + 20, 0 = 4*r + s - 4. Suppose -o + 5*h = -5*o + 25, 0 = -4*o + r*h - 10. Solve -b - 3*b = o for b.
0
Suppose 14*s - 16*s = -10. Let z be (-10 + s)*(-2)/5. Let x = -601 - -604. Solve x*g = -z*g - 20 for g.
-4
Suppose 0 = -523*w - 26 + 26. Solve w = 27*v + 14*v - 246 for v.
6
Let a be (11 - -5 - 8)*4/8. Solve a*l - l + 21 = 0 for l.
-7
Let j(q) = -q**3 + 54*q**2 + 60*q - 269. Let g be j(55). Solve 24*h + g = -114 for h.
-5
Let s = 11186 - 11131. Solve -13*o = -29 + s for o.
-2
Let l(a) = -4*a - 35. Let o = -77 - -97. Suppose -14*s = -12*s + o. Let i be l(s). Solve 0 = -4*g + 1 - i for g.
-1
Let v(y) = -y**3 - 5*y**2 - 4*y + 1. Let s be v(-4). Let g(x) = 3*x**2 + x. Let b be g(s). Let a be 72/16*(12/(-9))/(-1) + 7. Solve -1 + a = -b*d for d.
-3
Let s = 27630 + -26115. Solve 1511*f = s*f + 12 for f.
-3
Let n be (2 - -1)/(-6) - 24/16 - -2. Solve n = 15*c - 8*c for c.
0
Suppose 216*v = 5059 - 1171. Let p be 1*16 + 36/(-9). Solve -p*n + v*n = 18 for n.
3
Let c = 6056 + -6056. Solve c = -61*n + 52*n - 18 for n.
-2
Let b(v) be the second derivative of v**6/360 + 2*v**5/15 + 2*v**4/3 - v. Let c(u) be the third derivative of b(u). Let z be c(-5). Solve 2*p - 12 = z*p for p.
-3
Suppose 0 = 2*i - 5*m + 216 - 197, -5*m + 51 = 2*i. Solve -48*x = 392 - i for x.
-8
Let g = 808 + -808. Let f be (7 - 1)/(4 + -2). Let w be f + 2*(-4)/8. Solve g = -3*k - w*k for k.
0
Let c(i) = i**2 - 3*i - 7. Suppose 3*o + 15 = 2*h + 3*h, -4*h = -2*o - 14. Let b be c(h). Let r be ((-8)/60*-20 + -1)*18/6. Solve -b = r*q - 1 for q.
-2
Suppose -1161 - 328 = -154*c + 51. Solve -c*t - 210 = -52*t for t.
5
Let j be 405/270 + 13/2. Solve 0 = -11*a + j*a for a.
0
Suppose 0 = 2*y - 4*m - 248, 2*y + 9*m = 14*m + 254. Solve 239*l - y = 223*l for l.
7
Suppose -4*h - 352*h = -25315 - 2453. Solve -566 + h = 61*a for a.
-8
Let y be 3 - 0 - (-8 - -6). Suppose -y*s = 1 - 51. Solve s*a = 4*a + 30 for a.
5
Suppose -5*v + 355 = 5*x, -3*v - 57 - 6 = -x. Let y be -4*13/(-2) + x/(-69). Solve d + y = -4*d for d.
-5
Let s = 57 + -15. Suppose -5 = 37*j - s*j. Solve 0*c - j = c for c.
-1
Let i(q) = 202*q + 2055. Let b be i(-10). Solve -370*w + 377*w = -b for w.
-5
Let p = -152 - -144. Let n be (75/(p + 3))/(-1). Let v = 32 + -29. Solve -6*j - n = -v*j for j.
-5
Let w(f) = -5*f**3 - 1. Let i(m) = -2*m**3 + 25*m**2 + 12*m - 3. Let n be i(13). Let y be 12/(-16) + -1*(-4)/n. Let s be w(y). Solve 0 + 16 = s*o for o.
4
Let o(w) be the first derivative of w**2/2 + 14*w - 18. Let c(p) = 2*p + 27. Let l(i) = 3*c(i) - 5*o(i). Let y be l(-9). Solve -y*u = -0*u - 2 for u.
1
Let k(b) = -b + 3. Let g = -45 + 45. Suppose g = 4*d - 3 - 1. Let c be k(d). Solve w + c = -2 for w.
-4
Suppose -2*a + 864 = 10*a. Let t be (a/(-14))/((-93)/434). Solve 11*d = t + 9 for d.
3
Let i(v) = 112*v + 2318. Let q be i(-20). Solve 0 = -q*w - 88 - 146 for w.
-3
Let j be (-1)/(((-226)/228 + 1)*-2). Solve -j*h + 6 = -51*h for h.
1
Suppose -o + 22 = o. Let i be 1 + ((-56)/(-7))/2. Let y be 924/165 - 8/i. Solve o = y*v + 27 for v.
-4
Suppose -x = 4*c - 3*x - 24, -4*c + 5*x + 36 = 0. Suppose 0*o + 20 = -c*o, -26 = -3*b + o. Solve -27 + b = -4*p for p.
5
Suppose 63*f = 60*f + 15. Suppose 0*k = f*k - 20. Suppose -3*j - 6 = 2*m + j, -m - 9 = k*j. Solve -m*n + 10 = -2 for n.
4
Let v be (2 + -6)*60/16. Let q be 208/5 + (-6)/v. Let x = -39 + q. Solve -5*r + 7 = -x for r.
2
Suppose g - 1 = n - 3, 3*n = -3*g + 6. Suppose -2*m - 8 = -3*d + 11, n*d = -3*m - 9. Suppose -25 = 5*k, 0*p - d*p + 3*k = -18. Solve 3 = -4*z - p for z.
-1
Let w(n) be the first derivative of -n**4/4 - 7*n**3/3 + 17*n**2/2 - 5*n - 26. Let j be w(-9). Solve -j*u = -u for u.
0
Let g = -31191 - -31317. Solve 110*h + g + 94 = 0 for h.
-2
Suppose -224 = -2250*y + 2138*y. Suppose -3*g = 11 - 38. Let l be 6/((g/2)/3). Solve -l*z = -y*z + 4 for z.
-2
Let g = -7190 - -7193. Solve -108 = 21*h - g*h for h.
-6
Let n be (8/5)/(-4) - 396/(-90). Suppose 0 = 3*g + 5*y - 25, 0 = g - n*y + 21 - 1. Solve g = 5*p - 15 + 5 for p.
2
Suppose -11 = 6*x + 79. Let n(u) be the third derivative of u**4/6 + 31*u**3/3 - 2*u**2. Let z be n(x). Solve 7*w = z*w - 15 for w.
-3
Suppose 3*t + 5*b + 22 = 6*b, 5*t = 4*b - 25. Let d be (2/2 - -1) + 0/t. Suppose 0*i = -d*i + 6*i. Solve i*o + 3*o + 12 = 0 for o.
-4
Suppose 7*r = 9*r. Suppose -7 = -4*d + 13. Let p be (-41)/(-5) - ((-19)/d + 4). Solve r = o + o - p for o.
4
Suppose -2*w + 1 + 17 = 4*a, -w