 c for a.
3
Let q = 9321 + -8612. Solve 0 = 715*z - q*z for z.
0
Let v(d) = -d**3 + 3*d**2 + 4*d - 2. Let p be v(-2). Suppose -6*c = -p*c + 288. Let x = c + -72. Solve -z = -x*z for z.
0
Suppose 3*w = 2*g - 11, -3*w + 6*w = 5*g - 5. Let q be (1/g + 0)*0. Solve q = 8*t - 5*t + 3 for t.
-1
Let y be ((-39)/(-1))/((-9)/12). Let x be (-268)/y - 8/52. Let u be x/10*(1 - 0)*26. Solve -4*v - u + 1 = 0 for v.
-3
Let s = 40 - 21. Suppose -8*d = -s*d + 77. Suppose 3*m - 3 = 0, 3*m = -4*n - 13 + 56. Solve n = -2*p + d*p for p.
2
Let f = 49 + 0. Suppose 0 = -3*q - q + 4*h + 208, q + 2*h = f. Let v = -48 + q. Solve -v*o - 6 = -0*o for o.
-2
Let v be (1 - 4) + (-532)/154*-22. Solve -v*p - 126 - 312 = 0 for p.
-6
Let y(m) = -m**2 + 6*m - 7. Let r be y(3). Let p = -9 + r. Let z = -7 - p. Solve -2*u - 6 = -z*u for u.
-3
Let y(s) = -13*s + 499. Let o be y(38). Suppose -j - 1 = -13. Suppose -2*x - m + j = -2*m, 4*x = -o*m - 4. Solve x*v + 0 = -20 for v.
-5
Let g = -43 + -101. Let q be (3/(-6))/((-4)/g). Let r be (16/48)/((-2)/q). Solve r*n + 2 = n for n.
-1
Suppose -18*l = -30*l + 60. Let i be -3 - (-4 + (-30)/l). Solve -3*c + 4 - i = 0 for c.
-1
Let n be (51*17/(-68))/(1/4 - 1). Solve 61 = -n*c + 10 for c.
-3
Suppose 4510*j - 4006 = 4425*j + 15119. Solve -6*l + j = 255 for l.
-5
Suppose -9*o + 4*o + 315 = 0. Let z = o + -63. Suppose z = -8*n + 11*n - 15. Solve f - 1 + n = 0 for f.
-4
Let u be ((-30)/8)/((-412)/80 + 5). Let b be 4/5*15/2. Solve 0 = -b*r + r + u for r.
5
Suppose y = 369 - 361. Solve y = -v + 3 for v.
-5
Let v(g) = g**3 - 6*g**2 - 3*g + 2. Let o be v(5). Suppose 86 + 119 = 5*z. Let m = z + o. Solve 5*w = m - 28 for w.
-5
Let d be (-22)/((-1408)/240)*(-40)/(-6). Solve -d*c + 20 = -30*c for c.
-4
Suppose 0*m - 3*m - 3*y - 3 = 0, -10 = -4*m + 3*y. Let z be 14 - ((7 - 2) + m). Let k(b) = -b + 17. Let u be k(12). Solve 9 = z*n - u*n for n.
3
Let a be ((-12)/9 - -1)*-9. Suppose 30*v = 31*v - a. Solve -1 = -v*u - 13 for u.
-4
Suppose 5*b = -2*y - 0*b + 716, -2*b - 702 = -2*y. Suppose 0 = 357*r - y*r - 4. Solve 2*p - p = r for p.
1
Suppose 2*b = r + 6 - 0, -3*r = 5*b - 15. Suppose -b*z + 8 = z. Suppose -4*w - 5*t + 20 = 0, -t - 3*t = 2*w - 4. Solve -4*c + w = -z for c.
3
Let s(n) = n**2 + 7. Let v be s(0). Suppose -2*y + 38 = 3*h, 347*y - 345*y - 42 = -5*h. Solve -y*b + v*b - 45 = 0 for b.
-5
Let f(m) = -5*m**3 - 2*m**2 - 3*m + 11. Let u be f(-3). Solve -8*b - 169 + u = 0 for b.
-4
Let i = -62 - -64. Suppose -3*n + 2 = -i*g + 7, -4*g + 13 = -5*n. Suppose 0*t + 35 = g*t. Solve 0 = -3*z + 4*z + t for z.
-5
Let g be 36/16*1 - (-6)/(-24). Suppose 15*x = 13*x + 88. Let o be (x/(-6))/((-9)/27). Solve 4*c + g = o for c.
5
Let a(z) = z**3 + 31*z**2 - 79*z - 2. Let k be a(-33). Let w = -426 + k. Solve -4*q = -5*q + w for q.
1
Let w(f) = 2*f**2 + 60*f + 6. Let h be w(-30). Let g(b) = -2*b**2 + 31*b - 111. Let t be g(h). Solve 3*n - 12 = t for n.
5
Let q(n) = 5*n + 54. Let x be q(-9). Suppose 0 = -2*j + x*j. Solve j = 7*p + 17 - 3 for p.
-2
Let f = 8160 - 8126. Solve f = -12*x - 14 for x.
-4
Let f(o) = -o**2 + 16*o - 16. Let u be f(14). Suppose -p - 3*v = -u, 0 = -2*p + 3*v - 4*v + 24. Solve z - 7 = -p for z.
-5
Suppose -2*y - 3 = 81. Let m = y + 74. Suppose -3*o - m = -11*o. Solve -a = -o*a for a.
0
Suppose 3*d = -2 + 98. Suppose 33 = -29*v + d*v. Suppose 6*u = v*u. Solve -2*g = -u*g + 10 for g.
-5
Suppose 4*g - 116 = 2*p + 52, 3*g = p + 128. Solve g*a = 64 + 68 for a.
3
Suppose 7*l + 3*p = 2*l - 235, -l + 5*p - 75 = 0. Let i be (-12)/(-28) - l/14. Suppose -r = 2*m - 3 - i, 4*m = 4. Solve 0 = 2*f - 1 + r for f.
-2
Let f = 7 + -5. Let j be 3/5*(-690)/(-6). Let l = 77 - j. Solve 0*r = -f*r - l for r.
-4
Let g be (-52)/(52/4) - 72/(-3). Solve g = -12*t - 40 for t.
-5
Let t = -17788 + 17788. Solve t = 3*v + 867 - 891 for v.
8
Let p = -342 - -338. Let q be p/18 - (-44)/36. Solve -9 = -4*f - q for f.
2
Let v = 7 - 7. Let p(i) = i**2 + 7*i - 10. Let n be p(-9). Suppose 0 = -n*w + 64 - v. Solve 0 = -3*g - g + w for g.
2
Let c = -234 + 234. Solve -45*a - 7*a - 364 = c for a.
-7
Let c be (24/(-10))/(273/(-455)). Solve -27*m = -26*m + c for m.
-4
Suppose -3787 = -929*w + 2716. Let z(q) = 2*q. Let p be z(1). Suppose 2*a - 4*m = -m - 2, -p*a - 2*m = -18. Solve a*b = -2 + w for b.
1
Let h(n) = n**3 + 9*n**2 - 15*n - 34. Let c be h(-10). Solve 33*q - c = 37*q for q.
-4
Suppose v + 270 = 4*z, 4*z - 88 = 2*v + 464. Let d = v + 285. Solve -6 = -p - d for p.
3
Suppose -107*i + 26*i + 140 = -53*i. Let p = 46 - 26. Solve -i*a + 5 = -p for a.
5
Let u = 230 - 234. Let g be (-6 - 22/u)/((-2)/4). Solve f = -0 + g for f.
1
Let m(n) = -n + 12. Let r be (-36)/(-198) + (-180)/22. Let w be m(r). Let d = 22 - w. Solve -d = -5*i + 8 for i.
2
Let s be (-1 - -2)*(2 + 0). Suppose -7 = -3*b + 5*f, s*f - 18 = -4*b - 0*f. Let q = 2535 + -2534. Solve b = 3*w + q for w.
1
Suppose 0 = 5*r - 227*c + 226*c - 73, -2*c = -14. Let p(v) = -v**2 - 9*v + 2. Let a be p(-6). Solve r*n = a*n - 16 for n.
4
Let t = -8744 - -8760. Solve -345*m = -353*m + t for m.
2
Suppose 13 = 3*r + 5*s, 0 = 2*r + 694*s - 699*s - 42. Solve 0 = r*b + 11*b + 66 for b.
-3
Suppose 5*b - b = -2*w + 48, 3*b - 10 = 5*w. Let j = 12 - b. Suppose x = -5*d - 25, j*x = 6*x + d + 5. Solve x*r + r = 0 for r.
0
Suppose -6*m = -8*m - 2*u + 12, 5*m - 2*u - 30 = 0. Let j be m - 69/12 - 23/(-4). Suppose -4*f = -5*h + 28, -2*f + 2 = j. Solve h = -3*q + q for q.
-2
Suppose -384 = -31*i + 23*i. Suppose -19*u + 28 + i = 0. Solve -u*g = -8*g for g.
0
Suppose 5*j = 9*j - 72. Let m = j + 18. Suppose -2*o + 36 = m. Solve -2*g - 2*g = o for g.
0
Suppose o - 6 = -3*d, 1277 = 3*d - 4*o + 1226. Solve 15*r = -20 + d for r.
-1
Let u = -833 - -1426. Let f be 4/(-36) + u/(-9). Let k = f + 69. Solve -c = k*c - 20 for c.
5
Suppose -c = -7 + 5. Let t be (-5)/(-15)*-4 - c/3. Let o be (t + 2 - 25/(-20))*4. Solve -3*f = -o - 10 for f.
5
Suppose -117*t = -115*t - 78. Let w(g) = -76 + 27 + t + g. Let r be w(14). Solve 0 = r*f - f - 9 for f.
3
Let h = -67 + 45. Let n = -21 - h. Let u be ((4 - (1 + 2)) + -1)/n. Solve u*k + 4 = -2*k for k.
-2
Suppose -16*s - 79 = -431. Suppose 3*l = 5*m - 5, -2 = 2*l - 3*l - 2*m. Suppose -4*w + l*w + s = 2*f, -4*w + 1 = -5*f. Solve 5*g + 2 = f*g for g.
-1
Suppose -56*y + 9523 = 51*y. Solve -94*q + 25 = -y*q for q.
5
Let w(t) = 3*t + 16. Let c be w(-7). Let s(r) = 10*r**2 + 4*r**3 + r - 23*r**2 + 16 - 3*r**3 + 18*r**2. Let m be s(c). Solve -4*q + 3 - m = 0 for q.
-2
Let p be 2*(3 - 5)*(-1 - 0). Suppose -1 = -2*m + 5. Suppose 28 = 5*g + m*t, g = -2*t + 7*t. Solve -g = p*x - 13 for x.
2
Let z(b) = 2*b**2 - 92*b + 21. Let x be z(46). Solve x*f = 32*f + 22 for f.
-2
Suppose 0 = 3*f + 69 - 119 - 778. Solve f*l = 278*l - 14 for l.
7
Suppose -3*m - 3*h + 297 = 0, -m - 6*h + h + 123 = 0. Solve 16*p - 19 = m for p.
7
Let g(s) = -44*s + 136. Let o be g(3). Let u = 7 + -7. Solve o*a = -u*a - 12 for a.
-3
Suppose 4*v + 24 - 20 = 0, -2*r - 5*v = 1. Let t(w) = -w**3 + 3*w**2 + 3*w. Let c be t(4). Let j be (-1*16/c)/r. Solve -8 = 5*n + j for n.
-2
Let g(p) = -18*p - 5 - 5*p**2 + 5*p**3 - 4*p**3 + 2*p**2 - 2*p**2. Let o be g(8). Suppose o = -2*c + 47. Solve 0 = f - c*f - 1 for f.
-1
Let p(y) = 33*y - 901. Let m be p(33). Solve 202*t = m*t - 84 for t.
-6
Let x(p) = 2*p**2 - 16*p - 6. Let b be x(9). Let r be (3 + (-9)/(54/b))*0. Solve r = d - 10*d for d.
0
Let w(v) = v**2 - 12*v - 4. Let y be w(5). Let m = y + 20. Let z = 19 + m. Solve z = -3*j + 3 - 0 for j.
1
Suppose -70 + 791 = 103*b. Solve -95*r = 753 + b for r.
-8
Let o(f) be the third derivative of 11*f**4/12 - 7*f**3/2 - 46*f**2. Let n be o(1). Solve 2*y + 11 - n = 0 for y.
-5
Suppose 18*s - 131 - 363 - 388 = 0. Solve -14*a + s*a = -105 for a.
-3
Let n(r) = 2*r**2 + 33*r - 197. Let z be n(5). Solve -10*o + 16 = -z*o for o.
-2
Suppose -103*b - 15 = -98*b - 3*a, 0 = -7*b - 4*a + 20. Let u = -35 - -53. Solve k + 8*k - u = b for k.
2
Suppose -15*o + f - 82 = -16*o, -3*o + 2*f = -246. Suppose 75*g + 14 = o*g. Solve -2 = n - g*n for n.
2
Let x(g) = g**3 + 8*g**2 + 11*g + 8. Let d be x(-7). Let p be (-38)/(-5) - (-4)/d*-2. Solve 3*v - 23 + p = 0 for v.
5
Suppose 113*x + 4 = l + 115*x, -4*x - 16 = 0. Solve -12*u + 0 - l = 0 for u.
-1
Let w(u) = 5*u - 24. Let d(p) = -p**2 - p + 35. Let m be d(5). Let i be w(m). S