-15 for a.
-3
Let m be ((-220)/(-33))/(1/6). Let x be ((-2)/(-2) + -2)/((-4)/m). Solve 0 = 8*z - 10 + x for z.
0
Suppose 154 = 13*z - 184. Suppose 3 + z = 2*i + 5*y, 2*y - 2 = 4*i. Solve d = i*d - 1 for d.
1
Let h be -7 - 3/(-9)*(182 - -19). Solve -39*g + h = -24*g for g.
4
Suppose 5*g - 33 + 13 = 0. Suppose -g*o - 175 = o. Let u be 0*((-10)/o)/(4/7). Solve -2*s + u + 6 = 0 for s.
3
Suppose 7*c - 2*c = -20. Let d(i) = -i**3 - 2*i**2 + 54*i + 201. Let v be d(-6). Let t be v/(-14)*c/6. Solve -t = -0*o + o for o.
-1
Suppose 15*y = -15*y + 240. Suppose -3*r + 10 + 5 = 4*z, 3*z - r = y. Solve 3 + 0 = -z*d for d.
-1
Let t = 50 + -85. Let f = -30 - t. Suppose -f*u + 3*u = -4. Solve -p - 9 = u*p for p.
-3
Suppose 3*u - 5 = -0*d - 2*d, 0 = u - 5*d - 30. Suppose 21*q = 17*q - 2*a + 8, 3*a + 10 = u*q. Solve -q*s + 6*s = 0 for s.
0
Let k(z) = 2*z + 8*z**2 - 7*z + 3*z**2 - 12*z**2 + 28. Let o be k(-8). Solve o*a = 6*a - a for a.
0
Let b = 10 + -8. Suppose -b*i = 2 - 8. Let p(d) = d**3 + 7*d**2 - 8*d - 51. Let y be p(-7). Solve 0 = -y*u + i*u for u.
0
Suppose 5*l - 188 = -3*p, -6*p - 5*l = -7*p + 56. Suppose p*c = 26*c + 140. Solve 0 = 5*o + c + 11 for o.
-3
Suppose -45*y = -51*y. Suppose y = 5*f + 15 - 50. Solve -2*z = -f*z for z.
0
Suppose 7*n - 2*n = 0. Let m(z) = 3*z + 16. Let v be m(-4). Let b be 12/24 + 18/v. Solve t = -n + b for t.
5
Suppose 112*t = 336 + 6384. Solve t*q - 63*q = 24 for q.
-8
Let u = 596 - 592. Let j be u - 1*8/(-6)*-3. Solve j = 10*n - 8*n - 10 for n.
5
Let s(r) = -4*r - 76. Let n be s(-19). Suppose -21*b - 10 + 94 = n. Solve 0 = -b*o + 20 for o.
5
Suppose -3*t + 69 = -2*b, -t - 1 = 2. Suppose -5*m - 185 = 2*u - 4*u, -5*u = 2*m + 74. Let d = m - b. Solve -20 = -d*a + 6*a for a.
-5
Suppose 37*c = 28*c + 1449. Solve -c*i + 21 = -154*i for i.
3
Let l(d) = -d - 11. Let f be l(-12). Let m be f + 0 - (4 + (-10 - -3)). Suppose -m*h - 12 = -10*h. Solve -w + h*w + 3 = 0 for w.
-3
Let h = -52 + 58. Suppose 5*a + 24 + h = 0. Let p = -2 - a. Solve -p*s = -2 + 22 for s.
-5
Suppose 5*d + 7*d - 2076 = 0. Let k = 176 - d. Solve p = k*p for p.
0
Let k = 1209 - 568. Let g = k + -596. Solve 6*i - g = -9*i for i.
3
Let q = 12 + 3. Let p(s) = 19*s**2 - 3*s + 15. Let b(x) = -2*x**2 + 2*x - 4. Let z(n) = 10*b(n) + p(n). Let d be z(q). Solve -d = -10*t + 5*t for t.
1
Let u be 1/4 - (-262)/8. Let s = -43525 + 43537. Solve 37*w = u*w - s for w.
-3
Suppose 16*s - 29*s = 20*s - 5247. Solve -148*c = -s*c + 77 for c.
7
Let i(w) = -34*w - 30. Let h be i(-1). Let x be ((-273)/(-105))/((-1)/(-5)). Solve 0 = -h*b + x - 1 for b.
3
Suppose 0*d - 3*h = 5*d - 32, 16 = d + 3*h. Let i be ((4 + -3)/1)/(1/d). Suppose 0 = 2*y - 3*r + 9, -i*y - 3*r + 9 = -y. Solve y = 2*p - 3*p + 5 for p.
5
Let y be (-28)/(-4)*((-4)/2)/(-2). Suppose -3*n + 55 = 4*m, 4*n + y*m - 65 = 10*m. Solve n*z = 13*z for z.
0
Let j be 108/(-6) + 2 - 0. Let z be (-126)/j - (1140/96 - 12). Solve z = 4*w - 0*w for w.
2
Let g(f) = -f**3 + 3*f**2 + 14*f - 11. Let o be g(5). Let j(x) = x**3 - 8*x**2 - 6*x - 19. Let t be j(o). Solve -2 - t = -2*m for m.
5
Let t(c) = 16*c - 25167 - 4*c**2 + 25173 - 2*c**2. Let y be t(3). Solve -8*h - 15 - 1 = y for h.
-2
Let w be (0 - -1) + -1*38. Let h be -154*(-16)/504*-9. Let m = w - h. Solve m = 3*k + 1 for k.
2
Suppose 24 = -298*k + 300*k. Let g be (-2*(-2)/(-4))/(8/56). Let b = g + k. Solve -2*d + b = -3*d for d.
-5
Suppose -2*o = -3 + 39. Let l = 23 + o. Solve -9*j = -l*j - 12 for j.
3
Let n(j) = -j**3 + 22*j**2 - 12*j + 21. Let r be n(6). Let w = 529 - r. Solve -3*m + 2*m = -w for m.
4
Let p = 11722 + -11722. Solve p*o = 15*o + 45 for o.
-3
Suppose 39*g - 2265 = 24*g. Let w = g + -151. Solve -2*q - 5 - 5 = w for q.
-5
Let m(c) = -c**2 + 6*c + 9. Let b be m(7). Let k = 33 + b. Suppose -8*d - k = -13*d. Solve -5*w + 13 = -d for w.
4
Suppose 1790 + 1177 = 43*b. Solve -b = 23*m + 23 for m.
-4
Let c(v) = 6*v - 115. Let h be c(19). Let t be 1/(h/3)*(83 - 84). Solve 7*p - 4 = t*p for p.
1
Let z = -22 - -37. Suppose -5*b + z = -0. Solve 3 = 6*g - b for g.
1
Suppose 49*m - 319*m + 16820 = 20*m. Solve -m*r + 44 = -47*r for r.
4
Let g(z) = -20*z - 46. Let l be g(-3). Suppose 0 = 5*x + 2*w - 34 + 7, -4*w = 2*x - l. Solve -x*b + 4*b = -4 for b.
4
Suppose 63 - 66 = -s. Let q = 48 + -45. Solve -s*w - q = -0 for w.
-1
Suppose -14*j + 2729 = 6*j - 91. Solve j = 15*f + 141 for f.
0
Let m be 9 + ((-42)/9 - -5)*-9. Let k(l) = l**2 - 11*l + 56. Let w be k(m). Solve 21 = 5*r + w for r.
-1
Suppose -6 = -3*b - 0*b. Suppose -8 = 2*c - 5*r + 12, -r + 4 = 0. Suppose -5*a = -c*a - 20. Solve -b*v + a = -6 for v.
5
Let d = -286 - -484. Let l = -183 + d. Solve -11*h + 8 = -l*h for h.
-2
Let x = 658 + -650. Solve x*t + 14*t + 110 = 0 for t.
-5
Let f = -1 + 27. Let i = f - 25. Let u be (1 - 2)*i + 26. Solve u = -b - 4*b for b.
-5
Let r = 183 + -166. Suppose 3*d - r = -14. Solve -4*t + d = -3*t for t.
1
Let x = 1020 - 953. Solve x - 35 = -8*f for f.
-4
Suppose -3886*x + 3847*x + 390 = 0. Solve -129 = -x*y - 189 for y.
-6
Let t(p) = -5*p + 20. Let h be t(4). Suppose h*b + 4*b = -a - 90, -5*b - 165 = 2*a. Let i = -69 - a. Solve 1 = -d - i for d.
-2
Suppose 163*q - 161*q + 1377 = 5*r, 3*q = -2*r + 566. Solve 13*d + r - 199 = 0 for d.
-6
Let u(h) = -3*h**3 - 21*h**2 - 18*h + 154. Let d(i) = -i**3 - 10*i**2 - 9*i + 78. Let r(g) = 5*d(g) - 2*u(g). Let t be r(8). Solve -t*l = -l + 27 for l.
-3
Let b be (-7)/((-7)/(-2)) - 5*103. Let i = 523 + b. Solve -i = -5*v - 21 for v.
-3
Let q(l) = -l + 27. Let d be q(19). Suppose 0*o = -d*o + 192. Suppose -f - o = -26. Solve -f*s - 2 - 2 = 0 for s.
-2
Let r = 30508 - 30431. Solve -r = -13*v - 64 for v.
1
Let a(k) = -3*k - 68. Let j be a(-22). Let l be (1 + 1 + j)*(-8)/16. Suppose 22*d - 17*d = l. Solve -4*p = 16 - d for p.
-4
Let y(h) = -10*h**2 - 3 - 11*h + 7 + 15 + 9*h**2. Let x be y(-12). Let a be 6/4 + -2 + x/14. Solve 0 = -r - a*r + 2 for r.
2
Let l be -14*4/(-4) - (-2)/(-2). Suppose 0 = -g - 2, -l = 13*y - 14*y + 5*g. Solve 0 = y*a + 9 + 3 for a.
-4
Let k(x) = -x**3 - 21*x**2 - 22*x - 27. Let u be k(-20). Suppose -3*y = 3*h - 21, y - 2*y + 3*h - u = 0. Let f be 2/4*(1 - -1). Solve f = -y*n + n for n.
-1
Let h be (-102)/(-16) - (-12)/(-32). Let t be 0*(14/(-4))/7. Solve t = 2*y - 14 + h for y.
4
Let y be 40*(143/182 - 6/21). Solve 0 = 20*m + y for m.
-1
Let m = -7 - -10. Suppose a - 5*n - 5 = 0, 21*n - 3 = -2*a + 24*n. Solve m*v + 12 + 0 = a for v.
-4
Let l be (-36)/(-666) - 1180/(-74). Let f(s) = s**2 - 3*s - 6. Let o be f(5). Suppose 4*m = l, -m = o*n + 2*m - 24. Solve -11 + n = -2*t for t.
4
Let c be 4*((-30)/(-8) + -1). Suppose -l = 5*s - c, 0 = -s + 2*s + 5*l + 17. Solve -s*w - 6 - 6 = 0 for w.
-4
Suppose -4031 = -94*g + 105. Solve -1335*q = -1346*q + g for q.
4
Let g = 741 - 314. Let q = g - 403. Solve -2*p + q = 18 for p.
3
Let q = -62 + 67. Suppose 0*k + 2*l = 3*k + 10, q*k + l - 5 = 0. Solve -6*f + 12 + k = 0 for f.
2
Let i(b) = -b**3 + 7*b**2 - 10*b - 7. Let o be i(3). Let z(q) = 9*q**2 - 7*q**2 - q + 0*q**2. Let p be z(o). Solve p*j = -j + 4 for j.
1
Let g(c) = -161*c - 1. Let d be g(1). Let i be d/48*-6 + 2/(-8). Let k be (2/(-4))/(5/i) + 6. Solve -5*s + 11 = -k for s.
3
Let p(f) = -f**3 + 2*f**2 + 5. Let m be p(0). Suppose 3*w + 25 + 17 = 0. Let i be (2/4)/((-1)/w). Solve -3*k = m + i for k.
-4
Let i be ((-2262)/8)/(-13) - 15/(-60). Solve i*z + 162 = -32*z for z.
-3
Suppose 0 = 49*k - 91*k + 54306. Solve -4*o + k = 1301 for o.
-2
Let m(y) be the second derivative of y**4/12 - y**3/2 + 3*y. Let t be m(3). Suppose 0 = 3*d - 2*i + i - 10, -d + 4*i + 7 = 0. Solve -3*j - d - 6 = t for j.
-3
Suppose -k - 4*r = -7*r - 195, k = r + 195. Let p be (-7)/((-35)/k)*2/6. Solve -3 = -12*a + p*a for a.
-3
Suppose 4*q + 2*x + 9 = 917, q - 236 = 4*x. Solve 222*a = q*a for a.
0
Suppose 0 = -2291*y + 2295*y - 448. Solve 52*d + y = 372 for d.
5
Suppose -5*t + 2*b + 41 = -266, t = -4*b + 79. Let h = -333 + 399. Let u = h - t. Solve -4*v - 3 = -u*v for v.
-3
Suppose -22*p = -3*v - 27*p - 18, 0 = 3*v - p + 18. Let r be (-24)/32*-2*(-8)/v. Solve 0*y + y = r for y.
2
Let p(c) = -14*c + 7*c - 4*c + 10 - c**3 - 8*c**2. Let s be p(-6). Let o = -12 - -15. Solve -s = o*k - 2*k for k.
-4
Let k(m) = 3*m - 3. Let o be (-33)/(-15) + (-2)/10. Let z be k(o). Suppose -2*x + 4*x + x = 0. 