2*a + 3 = -g for a.
-3
Let b = 8 + 37. Let t = b - 29. Suppose 14 + 9 = 4*h + 5*p, -16 = -3*h - 5*p. Solve 3*a - h*a = -t for a.
4
Suppose 4*g + 3*o - 173 = -4, 4*g = 4*o + 176. Suppose -38*h + 195 - g = 0. Solve -2*k - h*k - 24 = 0 for k.
-4
Suppose 0 = 25*j - 16*j - 2439. Let h = 283 - j. Solve h = -2*l + 6*l for l.
3
Let a be (-2)/(-5) + 18056/185. Solve 30*z = 82 + a for z.
6
Let f(g) = -85*g + 438. Suppose -187*m + 40 = -179*m. Let r be f(m). Solve -y + r - 8 = 0 for y.
5
Let r(l) = -8*l - 14*l + l**2 - 53 + l. Let y be r(23). Let j be (1/3)/(y + (-172)/(-24)). Solve j*i + 2 - 4 = 0 for i.
1
Let t(x) = x**3 + 5*x**2 + 8. Suppose k + 5 = 2*y - 2, 13 = -2*k + 3*y. Let r be t(k). Suppose 3*m + 4 = 5*m. Solve m*g = -2*g + r for g.
2
Let c = -1945 + 1951. Suppose -3*z + 2*z = -3. Let d be 1/c*z*0. Solve d = x + 1 - 3 for x.
2
Suppose -19*w + 38 = -19. Let g(k) = -k + 2. Let c be g(-6). Solve -c*p + w*p - 20 = 0 for p.
-4
Let s = -3 - -9. Let p be 3/5 - (-4572)/(-45) - -3. Let d = -94 - p. Solve d = -s*q + 2*q for q.
-1
Suppose 3*v + g = 7 + 26, 0 = g - 3. Suppose -247 = -v*q + 3. Solve -q = 6*c - 1 for c.
-4
Suppose 0 = z + 79*y - 75*y + 12, 3*y + 15 = 0. Solve -z*a + 182 = 18*a for a.
7
Suppose 2*j + 0*j = -4*t + 2986, 2*t - 1463 = 5*j. Let g be 24/18 - t/(-9). Let b be (3/6)/(6/g). Solve -3*n - 1 = -b for n.
2
Let y(z) = z**2 + 18*z - 34. Let q be y(-20). Suppose 3*b - 6 = -0. Solve -t + q = b*t for t.
2
Let f = 3853 - 3835. Solve 0 = 12*o + f*o + 120 for o.
-4
Let q = -3288 + 3318. Solve 0 = 16*l + q*l - 230 for l.
5
Let g(t) = -39*t - 191. Let u be g(-5). Suppose 0 = 12*a - u*a - 64. Solve 11*i = 15*i - a for i.
2
Let c = 947 + -934. Solve 48*x - 35 = c*x for x.
1
Suppose -209*x = -2*v - 212*x + 103, -5*v = -3*x - 205. Solve v*t - 22*t = 88 for t.
4
Let l = -1026 - -1137. Solve -6*h - 31*h = -l for h.
3
Suppose m = 10 + 49. Suppose 9*u - 67 - m = 0. Solve 4*d - u = -6 for d.
2
Let i = 6942 + -6894. Solve -17*o - i = -o for o.
-3
Let b(o) = -102*o**3 - 7*o**2 - 12*o - 6. Let v be b(-1). Solve -v = 36*a + 187 for a.
-8
Suppose 0 = -43*f + 6*f + 148. Let m be f*(6 - 1)/5. Solve -14 = 11*j - m*j for j.
-2
Let o(p) = p**3 - 2*p**2 - 23*p + 36. Let i be o(7). Let n = -65 + i. Solve -9*s + n - 19 = 0 for s.
4
Let o be 13 + -6 + -5 + 0. Let l(i) = -2*i - 8. Let v be l(-6). Suppose m - o + 0 = 4*d, v*m = d + 8. Solve d = -4*x - 15 - 1 for x.
-4
Let j(r) = 3*r - 24. Let q be j(7). Let p be -7*(-4)/28 - q. Solve 2*d = p*d - 2 for d.
1
Suppose g - 38 + 33 = 0. Let p(a) = 5*a**2 - 113*a - 42. Let i be p(23). Solve -i - g = 3*d for d.
-3
Let q(y) = -3*y**2 - 16*y + 174. Let s be q(-9). Solve -s*m - 18 = -69*m for m.
-3
Suppose 0 = 39*t - 35*t - 1380. Suppose 9*c - 4*c = t. Let r = c + -62. Solve 0 = -r*d + 2*d + 10 for d.
2
Let h be (0 - -50)/((-448)/32 + 16). Solve -h*o - 34*o = -472 for o.
8
Suppose 4*g - 54 = 4*g - 9*g. Solve g*q + q + 35 = 0 for q.
-5
Let y = 26 - 18. Suppose -4*c = -9*c - 4*r + 41, 4 = r. Solve c*b = y + 12 for b.
4
Suppose 690 + 315 = 732*z - 665*z. Suppose -5*s - 19 = -99. Suppose -4*o + s = o - q, -o + 20 = 4*q. Solve 0 = -o*u + u + z for u.
5
Let j(s) = 8*s**3 + 768*s**2 - 2*s - 192. Let m be j(-96). Let z = 5 - 3. Solve -r + 3 - z = m for r.
1
Let j = -1110 - -1124. Solve 460*c + j = 458*c for c.
-7
Let p(l) = l**3 - 10*l**2 - 28*l - 114. Let j be p(13). Solve -19*h - j = 66 for h.
-5
Let a be 4/(-2) + -4 + 2. Suppose -7*j + 10*j + 4*u = -24, 0 = 2*j - u + 16. Let k = a - j. Solve -1 = -k*p + 7 for p.
2
Let m(x) = -32*x + 68. Let h be m(2). Suppose 31 = 4*l - 5*k - 13, 0 = k + h. Solve -8*q - 4 = -l*q for q.
-2
Suppose 0 = -174*c - 186*c + 217080. Solve -615*o = -c*o + 60 for o.
-5
Let u(v) = v + 3. Let q = 7 - 4. Suppose 0 = -3*p - q. Let r be u(p). Solve 1 = -r*f - 5 for f.
-3
Let w(k) = -4*k**3 + 0 + 3*k**3 - 43709*k**2 + 6 + 43686*k**2. Let n be w(-23). Solve n*l + 0*l = -12 for l.
-2
Suppose 2*o + 0*o - 3*c - 19 = 0, -20 = 4*c. Suppose 0 = 8*s - o - 22. Solve 7*n - s*n + 16 = 0 for n.
-4
Let w = -36 + 44. Let u be 6/(-9)*54/(-12). Solve -u*o + w = -5*o for o.
-4
Let x = 3408 - 3408. Solve x = -6*d + 17 - 41 for d.
-4
Let f = 278 + -180. Suppose -4*d - 50 = -f. Solve 7*a + 25 = d*a for a.
5
Suppose 90*m - 26780 = -116*m. Solve -9*w - 17*w + m = 0 for w.
5
Let p(x) = 8*x**2 + 40*x - 10. Let q be p(-9). Let d = q - 278. Let m(a) = a**3 + 4*a**2 - 6*a + 1. Let i be m(-5). Solve d = -4*g + 6*g + i for g.
-3
Let r(p) = -16*p + 580. Let j be r(31). Solve -56*s + 70*s = j for s.
6
Let j = -22697 + 22703. Suppose -3*u + 16 = g + 4*g, u = g + 8. Solve -j = -u*o - 41 for o.
-5
Let t(r) = -6*r**3 - 401*r**2 + 80*r + 872. Let y be t(-67). Let c(g) = g**2 - 5*g + 1. Let i be c(6). Solve -8*d = -i*d - y for d.
1
Suppose -4*m + 50 = -34. Suppose 4*o - 3*h - m = 0, -o + 3*o - 3*h = 15. Solve 2*l - o + 7 = 0 for l.
-2
Suppose 2*i - 72 = -2*v, v = 5*i - 28 - 110. Solve -i*g - 44 = -18*g for g.
-4
Let g be 20/(-3) + (4 - 26/6). Let r(b) = b**3 + 12*b**2 - 11*b + 24. Let u be r(-13). Let j = u - g. Solve 4*p - 3 = j*p for p.
-3
Let m(z) = 2*z**2 - z**2 + 2*z**3 - 4*z**3. Let u be m(-1). Suppose -u*x = -5*g + 2 - 5, 2*g = 4*x - 4. Solve g*b + 5 = -b for b.
-5
Let u be 36045/555 - (-6)/111. Solve 26*d + 13 = -u for d.
-3
Let y = -196 - -199. Let u be -2 + ((-28)/6)/(y/(-9)). Solve 6*z + 18 = -u for z.
-5
Let x(m) = -m**3 + 12*m**2 + 13*m + 2. Let t be x(13). Suppose -2*c - 3*i = -44 + 18, t*c = 2*i + 26. Solve c*o = -o + 28 for o.
2
Let p(k) = -k**2 - 13*k + 40. Suppose -21 + 6 = u. Let m be p(u). Solve 14*d = m*d - 12 for d.
-3
Let n = 1 - -2. Let x(b) = b**3 - 18*b**2 + 32*b + 65. Let m be x(16). Suppose -m = -10*y - n*y. Solve -y*r - 10 = -0 for r.
-2
Let x(o) be the first derivative of -o**4/4 - o**3/3 - o**2/2 + o - 16. Let k be x(-1). Suppose -p - k*b = 3, 0*b = -5*b - 15. Solve -2*y = -p*y + 2 for y.
2
Let l = 352 - 343. Let r be 3 - 0 - (9/l + -1). Solve 7 = -2*s + r for s.
-2
Suppose -2*a + 5 = -a. Suppose -4*h + 66 = -2*f, 5*h - 87 = -4*f + 5*f. Let w(t) = 3*t - 41. Let z be w(h). Solve a*q + z = -12 for q.
-5
Let p(g) = 107*g**2 - 3*g - 3. Let k be p(-1). Suppose -33 = -7*r + k. Solve 0 = 36*y - 32*y + r for y.
-5
Let b(w) = 8*w**3 + w + 2. Let a be b(-1). Let t be 0 + -1 + 0 + (-35)/a. Solve -6 = t*k + 14 for k.
-5
Let n = -263 - -266. Let v be (-1)/n - (-1343)/51. Solve -w + 27 = v for w.
1
Suppose -3*y + 41 + 86 = 4*k, 4*y = -3*k + 97. Let a be (-13 + (-1064)/(-80))*10. Solve -30*b - a = -k*b for b.
3
Let w = 173 - 248. Let h = w - -43. Let d = h + 38. Solve -3 + d = -g for g.
-3
Suppose -2*l - 86 + 26 = 0. Let w = -24 - l. Suppose 13*q = 15*q - w. Solve q*p - p = 10 for p.
5
Let r = -25443 + 25447. Let a(n) = -n**3 + 8*n**2 + n - 3. Let s be a(8). Solve -s*d - 16 = r for d.
-4
Let r be 5 + (-1 - (-7)/6) - 17/102. Solve 2*b - 19 = -r for b.
7
Suppose 0 = -5*k + 2*g + 709, -15*g + 14*g + 421 = 3*k. Let u be (-235)/k*78/(-10). Solve -9*z = -u*z - 20 for z.
-5
Let y(t) = -2*t**2 + 15*t - 24. Let o = 227 - 223. Let c be y(o). Solve -8*d = -c*d + 16 for d.
-4
Let r = 1 - 21. Let p = -12 - r. Suppose -l = -3*c - p, -4 - 2 = -l + 2*c. Solve -t + 1 = l for t.
-1
Let l(w) = 60*w**2 - 529*w + 31. Let k be l(9). Solve 41*y - 15*y = -k for y.
-5
Suppose 4*g = -g + 20, -3*g - 96 = -3*j. Let p = j - 44. Let h = p - -14. Solve 2*o + 0*o = h for o.
3
Let i(g) = -g**2 + 11*g + 33. Suppose 4*f = -5*j + 57, -j + 0*j = -4*f - 21. Let b be i(j). Solve -2*z - 3 = b for z.
-5
Let j = 241 - 237. Suppose 5 = p - j*x, 3 = 4*p - 3*p - 2*x. Solve 0 = 2*d - 3 + p for d.
1
Let j(o) be the third derivative of -o**7/5040 + o**6/360 - o**5/4 - 6*o**2. Let x(v) be the third derivative of j(v). Let k be x(-3). Solve k*f + 3 = -2 for f.
-1
Let q be (-15)/(-7 - (327/(-45) + 75/125)). Solve q = -2*l + 7*l for l.
9
Suppose 12*a - 21 + 6 = 9. Solve 0 = a*q - 52 + 40 for q.
6
Suppose -l = -11*l + 120. Suppose 0 = 4*q - 4*u - 28, 2*q + l - 1 = -3*u. Let i be q/(((-9)/2)/(-9)). Solve i*a = -3 - 1 for a.
-1
Suppose 0 = -25*x + 29*x - 5*r - 45, -5*x + 2*r + 18 = 0. Solve 18*w - 109 + 37 = x for w.
4
Let v(c) = 28*c + 103. Let o be v(9). Let y = 379 - o. Solve -g + y = 22 for g.
2
Suppose -3*b + 9 = -4*w + w, 5*b + 3*w = 23. Suppose -16 = -b*s, -5*p + 5*s - 12 = -p. Supp