 0 for a.
-7
Suppose -d - 86 = -5*r + 1, r = d + 71. Let n = 82 + d. Let t be (1*3)/(-4 - -5). Solve -v + 2*l + t = 4*l, n = -v + 4*l for v.
-3
Let i be ((-108)/80 + 3/(-12))*(-35)/14. Solve -2*m + 7 = -i*n + 11, n - 4 = -m for n.
2
Suppose -9*c - 488 = -848. Solve -50 = 5*m - 5*u, 8*m - 13*m + 3*u - c = 0 for m.
-5
Suppose -7*j - 128 = 9*j. Let i be -6*(j/(-30))/2*-5. Solve 3*w = -4*q - 28 + 2, -i*w - 33 = 5*q for w.
-2
Let u(g) = 2*g**2 - 18*g - 15. Let w = -103 + 113. Let x be u(w). Solve 5*b - 30 = x*m, -2*m = b + 3*b for m.
-4
Let l be 10/45 - 144/(-81). Suppose -2*p = 22*r - 17*r - 12, -2*r + l*p + 16 = 0. Solve -8 = 3*i - r*x - 0, -2*x + 22 = 3*i for i.
4
Suppose 5*d = h - 41, 0*d = -4*h - 3*d + 49. Solve 3 = -o, 4*r = -0*r + 4*o + h for r.
1
Let k(z) = z**2 + 74*z - 1030. Let v be k(12). Solve 5*p = 3*t + v - 7, 2*p - t + 3 = 0 for p.
-4
Suppose -2 = -2*k + 112. Solve -s + 2*g = 3, -3*s - k*g + 58*g - 14 = 0 for s.
-5
Let c(m) = -487*m**2 + 14*m + 13. Let i be c(-1). Let w = 532 + i. Solve -5*g = 4*n + 41, 3*n + w - 12 = -4*g for n.
-4
Suppose 0 = -2*i + j + 1389 + 1848, 4*j = -2*i + 3212. Suppose 16 = i*z - 1612*z. Solve -z*y - 15 = k, 15 = y + 5*k - k for y.
-5
Let t be ((-9)/(-2) + -4)*(1 - 9). Let j be (0 - t)*(5 - 4). Let l(m) = -m**3 + 5*m**2 - 3*m - 3. Let r be l(4). Solve j*c = -5*p - 2 + r, -3*c = 2*p - 1 for c.
1
Suppose -4*q - 10*k - 8 = -5*k, 3*k + 10 = -5*q. Let y(p) = p - 4. Let a be y(6). Let z be 3*q/(a - 4). Solve -3*v - 5 = z*i - i, -4*i + 4*v = 0 for i.
-1
Let u(q) = 9*q**3 + 2*q**2 - 4*q + 2. Let f be u(1). Suppose 0 = 4*a + 4*r + 4, 25*r - 28*r - 3 = 2*a. Solve a*i + 2*i = -o - f, 3*o = i - 6 for i.
-3
Let a(w) = -w**2 - 7*w + 176. Suppose -119 = 17*s - 10*s. Let h be a(s). Solve -2*z + 16 = 4*p, h*z = 3*z + 2*p - 8 for z.
0
Suppose 4*k - 5*t - 12 = -7*t, -5*k = -5*t. Let i(f) = f**2 + 2*f + 2. Let b be i(-2). Suppose -b*y + 12 = -y. Solve -3*v = -h + y, -3*h = k*h + 3*v + 30 for h.
-3
Suppose -4*t - 3*y = -13, -4*t - 162*y + 19 = -165*y. Solve -25 = t*f - j, -j = -22*f + 20*f - 15 for f.
-5
Let a = -20 - -20. Let p = a - -62. Let s = 63 - p. Solve 0 = -3*f + 2*n - 4*n + 23, -n = -f + s for f.
5
Suppose -23*u = -33 - 36. Suppose 11 = u*m + 5*i, -12 = -4*m - 4*i - 0. Solve 0 = -m*l - 2*l + j + 19, -12 = 4*j for l.
4
Let g be (-93)/(-19) - (-24)/228. Solve 5*t - g*x = -5, 5*x + 20 = t + 37 for t.
3
Suppose 11*n = 75 - 20. Suppose -a = -2*i - n, 0 = 2*a + a + i - 29. Suppose -9 = -12*w + a*w. Solve 0 = -z - 4*s + 12, -w*z - s + 0 - 8 = 0 for z.
-4
Let f be (4 + 9/(-2))*(2 - 4). Suppose -2*l - 5 = 2*l + 5*i, l = i + f. Solve l = -w - 5*z - 26, 2*z = 5*z + 15 for w.
-1
Let s(u) = 2*u**3 - 62*u**2 - 2*u + 67. Let y be s(31). Solve -2*n - d - 10 + 16 = 0, n - y*d - 14 = 0 for n.
4
Let n = -120 + 123. Suppose n*d + 109 = 5*g, 5*g - 97 = -2*d + d. Let t = g + -18. Solve t*s = -2*w - 4, 0*w + 4 = -2*s + w for s.
-2
Suppose 24 - 6 = 3*i. Suppose 0*j + i = 3*j. Suppose -j*y - 3*h = 12, 8 = -5*h + 3*h. Solve 3*t = d + 15, 5*d = -y*t + t - 19 for d.
-3
Let j be -6*(-2)/(-2) + (-42 - (-72 - -17)). Solve 4*r - 11 = -3*q, -2*r = -j + 3 for q.
1
Suppose 0 = -i - 6*p + 2*p + 9, 0 = -p. Suppose 10*n = -2*n + 5*n. Let w = i - n. Solve -3*g = 12, 2*g + w = -h - 3 for h.
-4
Suppose 0 = 20*k - k + 1099 - 1555. Solve -3*t - 3*x - 9 = -2*x, 0 = 3*t - 4*x + k for t.
-4
Let q = -35 + 45. Suppose 3*m = 2*m + q. Suppose -12 = -g - 2*t, 4*t + t = m. Solve j - 20 = 3*x, -4*x = j + g + 7 for x.
-5
Let x be (-324)/24*4/3. Let u be (24/36)/((-4)/x). Solve -q = u*q - 3*y + 24, -16 = -4*y for q.
-3
Let o(z) = -z**2 - 6*z + 10. Let n be o(-9). Let s be n/(-7) + (-57)/133. Solve -2*j + 4 = s*h - 7*h, j - 2 = 0 for h.
0
Let c(z) = 346*z + 1050. Let n be c(-3). Solve 5*j + 30 = 3*y, -2*y - j - 5 + n = 0 for y.
5
Suppose -2*h + 2*s = -4*h - 76, -3*h = -4*s + 100. Let v be (-9)/h - 38/(-8). Let y = -145 + 145. Solve -5*g - n + 13 + 6 = y, g = n + v for g.
4
Let z = 4317 - 4305. Solve -4*a = 5*k + 20, -3*k + 0*k - z = 2*a for k.
-4
Let i = -2028 - -2033. Solve 5 = 5*k - 5*j, -j + 16 = k - i*j for k.
-4
Suppose 60*a + 385 = 115*a. Solve 19 = 91*b - 90*b + 5*w, 3*w = -5*b + a for b.
-1
Suppose -4*z - u = -2 - 8, -3*z + 5*u = 4. Suppose 3*i = -z*v + 2, 11 + 4 = 5*i + v. Solve 0 = 4*b + m - 17, 7 + 7 = -2*b + i*m for b.
3
Suppose 2*i = -0*i + 90. Suppose -453 = -2312*d + 2308*d - 3*r, 0 = -3*d + 3*r + 366. Let t be d/i - (-4)/10. Solve 5*g - 20 = 0, -4*z - t*g = 2*g - 36 for z.
4
Suppose 30*q = 37 + 96 + 17. Solve -g + q*g = -3*o + 3, -4*g - 17 = -o for o.
5
Let n = 3 + -1. Let l be (-190 + 191)*3*1. Suppose n*w - l*w = -7*w. Solve w = 2*z - 2*a - 4, a - 22 = -z + 6*a for z.
-3
Let u = -139 - -159. Suppose -73*p = -71*p - u. Solve 0 = 4*o + 3*m - 15, -o - p = -5*o - 2*m for o.
0
Let n be (-2)/2 + (-1 - -4). Let i = -446 - -124. Let a be (-2)/(-7) - (-23)/(i/(-192)). Solve b = n*b - 5*u + 7, 2*b + 4*u - a = 0 for b.
3
Let u = -12107 + 12143. Solve d + 2*q + 5 = 0, -3*q - 54 + u = -2*d for d.
3
Suppose 4 = 20*f - 29 - 7. Solve 7*x - 3*x - 17 = -q, -4*x + 22 = f*q for x.
3
Let w = -30163 + 30163. Solve -40*u + 2 = 2*c - 41*u, w = 5*c - 4*u + 1 for c.
3
Suppose -3*a = -b - 7*a - 2, -5*b = -3*a + 10. Let t be 3/(-6) + b/(-4). Solve t = -x - 5*h + 6, -2*h + 7*h = 5 for x.
1
Let x = -11806 + 11840. Solve 3*i + 2*p = -165 + 144, -5*i - x = 3*p for i.
-5
Let f(d) = 24*d**2 + 45*d + 102. Let i(m) = -11*m**2 - 22*m - 51. Let n(s) = -6*f(s) - 13*i(s). Let o be n(18). Solve -2*k = -4*r - 10, 2*k + o = k - 2*r for k.
-5
Let t = -2333 + 2378. Suppose 4*l - 112 = -2*m, 5*l - 68 = -2*m + m. Let c = m - t. Solve -c*f = 2*h + 2*f + 10, 5*h - 17 = -2*f for h.
5
Let z = 167 - 165. Suppose -z*s = -3*y + 10, -4*y + 3*s + 9 = -4. Solve -y*u = -8, -5*k - u = u + 16 for k.
-4
Let f(t) = t**3 - 80*t**2 - 252*t + 279. Let m be f(83). Solve 5*h - m = 3*s, 3*s + 6 = 91*h - 94*h for s.
-5
Let y(g) = -g**3 + 15*g**2 - 32*g - 7. Let n be y(3). Solve 4*f = -3*r + 1, -33*r = -n*f - 30*r - 19 for f.
-2
Let i = 214 + -183. Let w = -29 + i. Solve 18 = -w*h - 3*a, a + 16 = -3*a for h.
-3
Let w(v) = -3*v**3 - v**2 - 6*v - 6. Let r be w(-1). Solve 5*f = -r*a + 7*a + 5, 3*f + 1 = -a for f.
0
Suppose -2*v - n + 29 = 24, -5*v + 45 = -4*n. Solve 0 = -2*t - 5*r - 14, -2*r = -v*t + 33 - 10 for t.
3
Suppose 2*r - 5*r - 4*z = -11, r + 4*z = 1. Suppose -5*q + 5*o = -15, -4*q + 8 + 4 = -r*o. Solve q*p - 4*w - 1 + 4 = 0, -3*w - 34 = 5*p for p.
-5
Suppose 219 = 14*y + 23. Let o be ((-69)/(-161))/(2/y). Solve -2*b = -4*t + o*b - 28, 4*b - 6 = -5*t for t.
-2
Let w be ((-2)/(-6))/(2/24). Let d(b) = 5 - 9*b**3 + 17*b**2 - 18*b + 6*b**3 + w*b**3. Let h be d(-18). Solve 0 = 4*v + h*z - 11 + 1, 6 = 2*v + 3*z for v.
0
Let o(f) = -16 - f**2 + 29*f + 20*f - 41*f. Let r be o(8). Let m be -3 - (-4 + 3 + r). Solve 0 = -4*s - 4*z + 8, -1 - m = -4*s + 3*z for s.
3
Suppose -3*f + 10 = -h, -4*h + 5*f + 0 - 26 = 0. Let d = h + 7. Suppose -z = -5*p + 18, d*z + 7 = -p + 1. Solve -3*o + 7 = -q, -2*o + 0*o = p*q - 12 for q.
2
Let w be (-1)/(188/2538*(-6)/4). Solve 6*x + 6 = w*x + g, 4*x = g + 15 for x.
3
Suppose 2*h = -166*g + 162*g + 32, h = -g + 10. Solve h*z + 4 = 2*x, 7*x + z = 5*x - 11 for x.
-4
Let t(i) = -28 - 6*i + 14*i - 6*i - 4*i. Let s be t(-16). Solve 2*g + 21 = 3*k, -3*g + 29 = s*k - 6*g for k.
5
Suppose -3*k - 5*k - 8 = 0. Let i be k/10 + (-366)/(-60). Solve a - i*a = f - 7, -3*f - a + 7 = 0 for f.
2
Let k(u) = -u**2 - 21*u - 64. Let y(p) = -p + 1. Let x be y(5). Let m be k(x). Solve -2*q + m*q + 4 = 4*t, -5*t + 23 = 2*q for t.
3
Let k be 3/6*-3*-54. Suppose 4*a = 5*f + 373, 4*f + 0*a = 3*a - 299. Let u = k + f. Solve -3 = u*p + 3*z - 0, p + 3*z + 12 = 0 for p.
3
Suppose 0 = 304*z - 322*z + 90. Solve -z*h - 5*c - 1 = -16, 3*h + 11*c = 25 for h.
1
Let j be 14/9*207/46 - 21/(-1). Solve 16*n - 11*n = -4*z - j, 0 = -2*z - 4 for n.
-4
Let h be ((-4)/(-18))/((-3)/(-81)). Let p be (20/(-80))/((-1)/40). Solve -3*c + 3 = 2*x + p, c + h = 3*x for c.
-3
Let u = -495 - -560. Suppose 61*q - 48*q = u. Solve 2*h - 5*n = 3*h + 23, -2*n = q*h for h.
2
Let n(s) = s**3 + 7*s**2 - 6*s + 5. Let q be n(0). Solve 0 = 6*a - q*f + 13, 0 = -f - 2*f + 15 for a.
2
Let b(x) = 8*x**3 + x**2 + 4*x - 4. Let o be b(-2). Let c be (o/33)/(6/(-33)). So