 for a.
4
Suppose -17*d = 2*q - 12*d + 10, 4*q - 2*d = 4. Solve q = 2*i, -f + i - 6*i - 3 = 0 for f.
-3
Let c be (-4)/(-12)*-3*(19 + -20). Let t = -11 - -16. Solve -3*g = t*p - c, 2*p = -0*g + 3*g + 13 for p.
2
Suppose 33*i + 636 = 3738. Let w = -91 + i. Solve -4*f = -j + 1, w*f + 4 = -3*j - 8 for f.
-1
Suppose 17*v = -v + 846. Let b = 51 - v. Solve b = x - 3*o, 8*o + 6 = x + 3*o for x.
1
Let k be (-56)/(-7)*7/14. Solve -k*p = -4*g + 4, 16 = -p - p - 5*g for p.
-3
Suppose -3*d - 3*h - 56 + 266 = 0, -205 = -3*d - 4*h. Suppose -12*g + 69 + d = 0. Let w be (-12)/8*(-40)/g. Solve -2*m + b + 4 = 4*b, w*m - 10 = -4*b for m.
2
Let w(x) = -18*x - 50. Let f be w(-3). Solve 6*y - f*a - 7 = 11*y, 2*y = 3*a - 12 for y.
-3
Let u(b) = 3*b**2 + 3*b + 6. Let v be u(-2). Suppose -5*i + i + v = 0. Let p be -3 + (4 - (i + -7)). Solve k + 4*k = p*a + 10, 0 = 4*k for a.
-2
Let h = 765 + -772. Let k be -2*h/(-42)*-3. Solve -5 = 4*t + x, -1 - k = -2*t - 2*x for t.
-2
Let k = 401 + -387. Suppose -15*b + 4 = -14*b. Solve b*q + y - 8 = 0, 0 = q + q + 5*y + k for q.
3
Let x(r) = -r**2 + 2*r**2 + 3 - 91*r - 94*r - 52 + 170*r. Let o be x(18). Solve -o*g - 4*u + 16 = 0, u - 12 = -3*g - 2*u for g.
0
Let i be (1 - 2)*(-3 + 7/7). Suppose -p = -3*k, 0*p - i*p - 5 = -k. Let g be (-4)/1 + (k + 39)/2. Solve -4*a = 3*s + g, -3*a - 4*s - 7 = 13 for a.
0
Let a be -1 + 26 + 84/21. Let r = a + -26. Solve -3*s + 12 = 3*q, 3*s - 2*s - 8 = -r*q for q.
2
Let x(y) = 4*y**3 - 11*y**2 + 4*y - 4. Let t be x(3). Suppose -16*n + 4*s + 5 = -t*n, 3*s + 15 = 3*n. Solve c = 4, n*c - 1 - 6 = w for w.
5
Suppose -k + 4*k + 24 = -5*p, 5*p + 32 = k. Let s(h) = h**3 + 4*h**2 - 10*h + 27. Let n be s(p). Solve -4*t + 9*t + n = 5*y, t = 5*y - 15 for t.
0
Let v = 153 + -140. Solve 11 = 4*h - r, -7*r + 2*r = -3*h - v for h.
4
Suppose -27*t = -24*t - 51. Let w = 19 - t. Let z = 6 + -3. Solve 0 = g - y - 4, z*y - 6 = -g + w for g.
5
Let z = 20 + -15. Suppose -47*r - 90 = -56*r. Solve -5*p = -0*p - z*f - r, 5 = -2*p - f for p.
-1
Let a = -61 - -139. Let b be 3731/a - (-1)/6. Suppose 0*i + b = 6*i. Solve -4*z + i = 0, -4*z + z = -5*h - 31 for h.
-5
Suppose 12*k = 15*k - 5*b - 302, -96 = -k - 3*b. Suppose k = 5*z + 94. Solve -n + 2 = -l, 5 = n + z for l.
2
Let b(k) = k**2 + k + 1. Let i(a) = -7*a**2 - 3*a + 24. Let w(p) = 6*b(p) + i(p). Let n be w(-4). Solve 2*f + n = -s, -4 = -0*s + s + 4*f for s.
0
Let a(o) = 86*o + 1292. Let y be a(-15). Solve 4*v = 4*k - 0*v + 16, 0 = 4*k + 3*v + y for k.
-2
Let q be 1*4/(-38) + 56680/26923. Solve 0 = 2*k - q*t + t + 6, 3*k + 2 = 5*t for k.
-4
Let k be 1/(-4) - (-49)/(-28). Let y be 2*k/(-2) - 0. Solve y*u = -3*o - 13, o + 2*u - 4*u + 7 = 0 for o.
-5
Let o(f) = -f**2 + 349*f + 10192. Let j be o(-27). Solve -4*w = 5*x - j, 0 = 3*w + 7*x - 11*x + 1 for w.
5
Let h(g) = -g**3 + 10*g**2 - 4*g + 51. Let f be h(8). Let y = f - 147. Solve r + 15 = 4*n, -r = -n - y*r for n.
5
Suppose -80 = -0*o - 25*o + 5*o. Solve 248*k - 24 = 243*k + 4*q, o*q = -k for k.
4
Let q = -17 + 22. Let f be (-4)/8*2 - -3. Suppose 0 = 5*j - f*w - 3, -2*w + 1 = -5*j + 4*j. Solve 15 = 5*d + q*t, -2*d + 3*t + 15 + j = 0 for d.
5
Let n(f) = -f**2 + 8*f + 432. Let s be n(0). Let l be 2/9 + 1632/s. Suppose -2*t + 4*t - 14 = 0. Solve 0 = v + c + 5, l*v - 2*c + 1 = -t for v.
-3
Let p = 206 + -197. Let x be (((-126)/8)/(-7))/(p/12). Solve 0 = -o + 3*b - x, -2 = 5*o - b - b for o.
0
Let s(a) = 50*a - 70. Let j be s(-17). Let f = j - -945. Solve -2*h - 2 = -y - 12, 0 = 5*h - f for y.
0
Suppose -5*r - 14 = 2*m - 47, -m = -5*r + 36. Solve -5*b = 2*o + 16, -b - 3*o + 6*o + r = 0 for b.
-2
Suppose 2*b - 5*t - 25 = 0, 15*b - 4*t - 37 = 10*b. Solve 0 = 4*v - 3*m + 3, v = b*v + 4*m - 4 for v.
0
Let s be 10 - 2/2*39/(-39). Solve 4*a = 20, -13*b - 2*a + s = -14*b for b.
-1
Let n(v) = -v**3 - 13*v**2 - 23*v + 14. Let k be n(-11). Suppose b + 21 = k. Solve -5 = -2*y - 2*x - 3, -b = x for y.
5
Let v(x) = 88*x - 1670. Let a be v(19). Solve 4*w - 3*w + 5 = -2*l, -3*w + 5 = a*l for w.
5
Let s(p) = -2*p**2 + 63*p - 218. Let v be s(4). Solve 0 = 3*z + 5*u + v, -3*u + 7*u = -4*z for z.
1
Let h(u) = -2*u**3 + 10*u**2 + 102*u - 18. Let r be h(10). Solve 2*b - 3*d + r = 0, -4 = 89*b - 87*b - 2*d for b.
-4
Suppose 4*k = -5*m + 15, 0 = -m - 5*k - 9 + 12. Solve m*g = -3*u + 9, -5*u + 4*g - 12 = -3*u for u.
0
Let v(g) = 186*g - 742. Let k be v(4). Solve 4*y - 8 = 2*w, -2*y - k = 6*w - 8*w for w.
6
Let v = 16 - 13. Suppose -17*m - 26 = -22*m - t, 0 = -6*m - 3*t + 33. Solve 3*p + 4*k + 12 = m*p, v*k + 14 = -p for p.
-2
Let o be (-12 + 262)/(1 + 1). Suppose 3*u = 4*k + 149, -2*k = 2*k + 5*u + o. Let b be ((-63)/k)/(6/10). Solve -3*a = 5*v - 6 + 4, -3*v = b*a for v.
1
Let j = -25 + 27. Let y = -35 - -45. Solve y = p + p + 4*g, 7 = 3*p + j*g for p.
1
Let f be ((-3)/(-2) - (-50)/12) + 162/(-243). Solve 4*o - 3 = -2*n + 15, 3*o = f*n + 7 for n.
1
Let m = -120 - -124. Suppose -5*q - 68 = -2*f - 18, -2*f + m*q = -46. Solve -4*a + 31 = -2*j - 9*a, f = -3*a for j.
-3
Let o be (-5)/10*(-4 - -4). Suppose 3*b - 4*c - 26 = 0, c = 5*b - 41 + 26. Solve o = -5*u - f + b*f + 24, 4*u - 4 = -3*f for u.
4
Let l(k) = 34*k - 236. Let r be l(7). Solve -5*h - 1 = 4*p - r*h, -3*p - 2*h = 2 for p.
-4
Let j(c) = 5*c + 92. Suppose 136 = 31*z - 39*z. Let d be j(z). Solve -5*i - 25 = 2*f - d*f, 0 = f - 2*i - 9 for f.
1
Let v be (-5 + 15/18*6)/(-5) - -2. Solve -3*s + 4 = -4*y - 0*s, v*s + 16 = -2*y for y.
-4
Let t = -2993 + 2998. Let c(g) = g**2 + g + 105. Let q be c(0). Suppose 2 = -d + 5*i, 3*d + 16 = -4*i + q. Solve -2*r + d = -t*b, 5*b = 4*r - 7 - 24 for r.
4
Suppose 3*b - 41 = -2*y, -423 = -3*y - 2*b - 369. Solve 5*v - 2*x - x - y = 0, 19 = 2*v + 3*x for v.
5
Suppose 0*m = 38*m + 7*m - 225. Solve 26*b + m*r + 12 = 29*b, 0 = -3*b - r - 6 for b.
-1
Let z be 0 + (-14)/(-1) + 340 + -342. Let h(o) = -19*o - 26. Let g be h(-2). Solve 0 = r + 2*y + z, 0 = -r - y + 5*y + g for r.
-4
Let w(u) = -3*u**2 + 82*u + 486. Let q be w(-5). Let d(t) = t**3 + 10*t**2 + 9*t + 5. Let b be d(-9). Solve 0 = 3*s + 2*r - 9, -s = 3*r - q + b for s.
5
Let u be 102/12*20/85. Let k = 1 + 12. Let v = -11 + k. Solve 4 = -2*b + u*j, -2 = v*b + 2*j + 6 for b.
-3
Let l be 90/(-36)*6/(-3). Solve 4*q - 15 = c, 2*c - 5 = -l*q + 4 for c.
-3
Let l(a) = 87*a - 14. Let z be l(-5). Let r = z + 471. Solve -2*k + 2*t - 21 = 5*t, 5*t + r = k for k.
-3
Let c be ((-31)/(-5))/(4/60). Let z = 38 - c. Let k = 60 + z. Solve -k*v - 15 = 0, x - 21 = 5*v - 4 for x.
2
Let p be (-356)/(-22) - ((-63)/(-165) + (-13)/65). Solve 2*s = -2*y + p, 0 = 4*y - 6*y - s + 13 for y.
5
Suppose 3 = -r + 2*r. Suppose -7 = -3*z + 5*p, -7 = -r*z - 2*p + 7. Suppose 0*l + 3*q = -z*l + 43, 2*l - 32 = 2*q. Solve 3*i + 2*f + l = 0, 6*f - 5 = f for i.
-5
Let i(n) = 3*n + 1. Let k be i(1). Let l = k + 1. Suppose -b = 4*b + 2*z - 16, 5*b - z - 22 = 0. Solve 5*a = b*o + 15 + 8, -o = l*a - 13 for a.
3
Let l = 432 - 452. Let k(u) = 7*u + 142. Let s be k(l). Solve -s*h - 5 = -7*h - 5*i, 5*i = 15 for h.
-2
Suppose 10*r + 2*r - 12 = 0. Let w be (39/52)/(1/4). Suppose 0 = 3*g - w*j, -2*g + 5*g - j = 0. Solve -5*x + g*z = -z - r, 4*z = 16 for x.
1
Let u = -39 - -44. Suppose -3*t + 5*k + 30 = -t, -u*k = 10. Let h = -7 + t. Solve h*l - 8*r + 3*r - 27 = 0, -5*r - 35 = -5*l for l.
4
Let l be (-426)/(-4)*22/33. Suppose l = 6*w + 5. Suppose w*m = 3*m. Solve m = -2*q + 4*r - 20, 3*q - 5 = 2*q - r for q.
0
Let g(r) = 2*r**3 + 7*r**2 - 9*r - 10. Let q be g(-4). Suppose -q*v = 5*v - 45. Solve -2*c + x = 2, -5*c - v = x + 16 for c.
-3
Let g = -23 + 3. Let c = g - -25. Let l(r) = 2*r**2 + r - 3. Let n be l(-2). Solve -c*t + 2*a = -20, -2*t - 22 = -n*t + 4*a for t.
2
Let w be 2 + 2 - (986/255 + (-16)/(-120)). Let o be 17/2*(-1 - -3). Solve 4*b - q + 4 - o = w, 0 = -5*q - 5 for b.
3
Let s(h) = 34*h + 28. Let f be s(-4). Let o = f - -111. Solve 5*p - 31 = o*v, -3*v - p = 4 - 3 for v.
-2
Let u(p) = 153*p - 1526. Let n be u(10). Solve -n*o = 2*y - 16 - 2, -4*o - 3*y + 21 = 0 for o.
3
Suppose 3*c = 5*k - 242, 9*c = 4*c - 3*k - 426. Let x = 182 + c. Let i = -96 + x. Solve 2*a - i = -2*a + 2*l, -5*a + 25 = 5*l for a.
2
Let x = -1517 + 1520. Solve -d = -i + 3, -5*d - 14 = x*i + 17 for d.
-5
Let n(j) = 2*j**2 + 21*j + 31. Suppose 10*b + 34 = -56. Let u be n(b). Solve -2*o - 2 =