 3, 3*r = -z*w - 1 for w.
-1
Suppose -19*x - 325 = 278 - 717. Solve 2*s + 7*d = x*d + 1, -19 = -3*s - 5*d for s.
-2
Let l = -2116 + 2127. Solve -13*h + l*h - 5*f + 31 = 0, h - 4*f = -17 for h.
3
Let p = 108 + -104. Suppose 4*i + 5*d = 2 - 9, p*d = i - 14. Suppose 11 = i*n + z, -3*n = -4*z + 3 - 36. Solve 0 = q + 5*x + 9, 0*x + n = q - 3*x for q.
1
Let q be -9*(-10)/450*10. Solve -2*t = q*c, 3*c - 3*t = 4*c - 10 for c.
-5
Let m be ((-8)/2 - -5)*(-2)/((-14)/189). Solve 12 = 4*y, -4*y + m = -2*x + 5 for x.
-5
Suppose -117*o + 243 + 108 = 0. Solve -17 = -2*x - 3*p, 110*x = 112*x - o*p + 1 for x.
4
Suppose 21*n - 3000 = -9*n. Let h = 114 - n. Solve 3*o - 1 - h = 2*m, -4*m + 2*o - 18 = 0 for m.
-3
Let n(k) = 2*k**2 + 41*k - 21. Let a be n(-21). Let l be (2 + 1)*(-2)/(-2). Suppose a*b + 9 = l*b. Solve 2*c - 10 = -2*z, 2*z + 5*c = 10 + b for z.
4
Let s be 4660/180 + 2/18. Suppose d - s = -l + 4, -4*l = 2*d - 126. Solve 2*x - f = 12, 5*x - 3*f = f + l for x.
5
Suppose -5*x = -5*w - 40, -x + 11 = w + w. Suppose -x + 0 = 3*h. Let b be (-1 + -5)*4/h. Solve -2*q + 8 + 0 = -5*f, -2*q + b = 4*f for q.
4
Suppose 17*g + 71130 = 71589. Solve -4 = 2*n, -4*n - 28 = -23*h + g*h for h.
-5
Let i(b) = -b**3 - 104*b**2 + 9*b + 939. Let a be i(-104). Solve -18 = 13*y - 18*y + 4*c, -a*c - 6 = 0 for y.
2
Let d = 4289 - 4286. Solve -5*m = d*x, -2*m + 140*x - 135*x = 0 for m.
0
Let c be (-123)/82*(0/(-1) - -2). Let q = c - -6. Solve 0 = 3*p - q*u + 12, 0*p + 2*p - 3*u = -11 for p.
-1
Suppose 3*p + p = 8. Let u be (20/(-16)*-4)/1 + -1. Suppose 0 = 2*k - p*s - 14, -4*s = -9*k + u*k + 33. Solve -3*r = k*n - 8, 2*n - 3*n = 5*r - 6 for r.
1
Let v(d) = -228*d - 1122. Let l be v(-5). Solve -3*f + l = -i + 20, 3*i = -f - 4 for f.
-1
Let f(v) = v**2 - 340*v - 7191. Let a be f(-20). Solve -31 = -4*p + 4*y + a, -15 = -5*p - 2*y for p.
5
Let w = -2434 - -2436. Solve 10*x + o - 8 = 6*x, w*o = -3*x + 1 for x.
3
Let s be (19 - 2) + (12 - 13). Suppose -13 = -4*p + u + 2*u, -u = -3*p + s. Solve 0 = -3*b - 3*f, -3*f - p = -3*b - b for b.
1
Suppose -78*t - 6*t + 82 = -86. Solve 24 = -5*o + m, -15*m + 10*m + 5 = -t*o for o.
-5
Suppose -5*n + 34 = 4*h, 2*h - 3*n + 7 = 35. Let y = h - 11. Solve 4*f - 4*g = -4, 2*g = 5*f - y*g + 17 for f.
-5
Let a = 202 - 173. Suppose 0 = 27*c - 164 + a. Solve -13 = -3*g - n, -c*g + 18 + 4 = 2*n for g.
4
Let r(o) = 2*o + 19. Let z be r(-8). Suppose -8 = x + 2*s, -s - 146 = -3*x - 128. Solve z + 8 = 3*k - 2*w, 3*k = x*w + 13 for k.
3
Let g be (0 + 91/(-14))*(0 + 2). Let b = 46 - g. Let i = b + -56. Solve 2*p = -4*v + 22, i*p - 10 = -4*v + 5*p for v.
4
Suppose -22 + 287 = 5*h. Let p = -37 + h. Let j be (p - 14)*((-25)/(-2))/5. Solve 0 = -3*u - 5*z - 13 - 7, 0 = u - j*z for u.
-5
Let f = -553 + -31. Let p = f - -596. Solve -24 = -2*y + 5*k - 6, 2*y - 2*k - p = 0 for y.
4
Suppose 0 = -z + j + 10, 155 = -5*j + 125. Solve -6*y + 10*y = 2*d - 8, -4*y + z = 4*d for y.
-1
Let o(n) = -n**2 + 20*n + 48. Let h(b) = -3*b**2 - 17*b + 12. Let l be h(-5). Let p be o(l). Solve -4*a = -4*m + a + 4, 2*a - p = 3*m for m.
-4
Suppose -n - 23*n = 168. Let y(t) = 2*t**2 + 12*t - 8. Let q be y(n). Solve -q*w - 17 = -w - 3*l, w + 3*l + 7 = 0 for w.
-4
Let l(c) = -2*c**2 - c + 2. Let p(t) = 2*t**2 - 14*t + 20. Let o be p(5). Let r be l(o). Solve -f - 3*f - 28 = -5*a, -r*f = -a + 8 for f.
-2
Let w(x) = 3*x**2 - 16*x + 13. Let n be w(10). Suppose 5*g + 4*g - n = 0. Let r = g - -4. Solve 5*i - r = -y, -5*y = 3*i - 0*y - 17 for i.
4
Let u = -10 + 3. Let t = u - -11. Suppose 15*a + 4*a = 152. Solve 3*o - t = -16, -4*d - 5*o - a = 0 for d.
3
Suppose 0*h + 18 = 6*h. Suppose -4*g = -3*r - 15, -4*g + 2*g + 3 = h*r. Let d be (-4)/(-8)*r*-6. Solve 1 = -4*t - d*f - 4, 2*f = 5*t + 35 for t.
-5
Let n be 4 - 2*((-5)/(-2) - 2). Suppose -5*m + t - 174 = 0, -n*m + 26 = -4*m - 2*t. Let a = 36 + m. Solve 2*g - 5*h + 30 = 0, -h + a*h = -2*g - 6 for g.
-5
Suppose 9 = 5*f - r, 5*r + 23 = 5*f + 18. Let d be ((-30)/(-9))/((-2)/(-6)). Let b = -6 + d. Solve -b*k + 15 = 2*m + 3*m, -4*m = f*k - 12 for m.
3
Suppose -8*v + 10*v - 592 = -4*j, -1134 = -4*v + 2*j. Suppose 25 = v*f - 281*f. Solve -3*x + t = 4*t + 12, 3*x + 20 = f*t for x.
-5
Let y be (1442/(-6) - 0) + (-192)/(-144). Let v = -236 - y. Solve -5*s + v*b - 7 = 0, 5*s + 2*b + 0 = -12 for s.
-2
Suppose 4*w - 16 = -5*k, -5*w - 2 = -5*k - 22. Solve 0 = r - 2*l + 9, l - 18 = w*r - l for r.
-3
Let c = -131 - -135. Let p be (0 - 3/(-9))*(c + -1). Solve -v = 3*u + 2 + p, 4 = -4*u - 3*v for u.
-1
Let l be 16/(-20) + (-319)/(-220)*4. Solve 5*f = 2*t + 17 - 40, -4*f - 15 = -l*t for f.
-5
Suppose 3*t = 4*t - 4. Suppose t*a = 7*a - 90. Suppose -3*y + a = 3*y. Solve 0 = 2*p + y*l - 20, -3*p = -p - 3*l - 4 for p.
5
Let u(k) = -524*k + 1047*k + 3*k**3 - 521*k + 15*k**2 + 12. Let d be u(-5). Solve -3*x + 3*a + 2 = -a, -x - d*a = 6 for x.
-2
Let m be ((2 + (-28)/7)*-4)/2. Solve 5*b = -m*a - 6, -120*b = -116*b - a + 9 for b.
-2
Let p(d) = -4*d**3 - 4*d**2 - 2*d - 1. Let w(v) = v**2 + 9*v + 13. Let o be w(-7). Let j be p(o). Solve k - j = 3*k - 5*s, 9 = 5*k - s for k.
2
Let a = 1576 - 1571. Suppose -9*o + 6*o + 15 = 0. Suppose -2*g + o*g = 6. Solve -g*x + 25 = -3*m, -a = -x - 3*x - 3*m for x.
5
Let h(t) = -t**3 + 4*t**2 + 28*t + 36. Let i be h(-2). Solve -i*s + 3*x + 18 = 0, 5 = 5*s + 2*x - 6 for s.
3
Let i = 513 - 503. Solve 4*a + 55 = -3*v + 20, -2*v - i = 0 for a.
-5
Suppose -1395*x + 80 = -1355*x. Let h = -2 + 4. Solve -2*f + x*c = -f, h*f + 10 = -c for f.
-4
Let r = -7690 + 7693. Solve 0 = -s - 4*i - 4, r*s + 17*i = 21*i + 4 for s.
0
Suppose -2*o + 10*m - 13*m = 8, -14 = 4*o + 5*m. Let g be (6/6 + o)/(-2). Solve -3*i = -5*i + 2*z + 10, -3*i + 2*z + 13 = g for i.
3
Let o be (58/(-4) - -1)*-2*5. Let w be 5/(o/6) + (-18)/81. Solve -5*x = 2*q - 3*q, w = 3*x + q for x.
0
Let x(t) = 27*t - 184. Let o be x(7). Solve -v + l + 18 = 21, 0 = l - o for v.
2
Let t = 32857 - 32854. Solve 4*i - 2*p = 20, -2*i + i + t*p + 25 = 0 for i.
1
Let j(z) = -11*z**2 - 8*z - 11. Let a be j(6). Let c = -439 - a. Solve 3*h - c = 3*o + 2*o, -4*h - 3*o + 2 = 0 for h.
2
Let n = -133 - -144. Suppose -2*k + 27 = n. Solve -k = -2*w + 2*t, -4*w - t = 6 + 3 for w.
-1
Suppose -3*j - 3*y = -42, -5*j + 71 = y + 3*y. Let i = 19581 - 19577. Solve i*g + s = -2*s + j, 20 = 4*g + 4*s for g.
0
Let z be -4*(-2 - -3)*2/(-2). Suppose -17 = -5*i + i - b, -i = z*b - 8. Solve -18 = i*s + 3*o, 5*o + 0*o = -3*s - 19 for s.
-3
Let k(d) = 127 - 31*d - 394 + 8*d. Let m be k(-12). Solve 3*g + v + m = -2*v, -5*g + 1 = v for g.
1
Let a = 4904 + -4887. Solve -5*g - a - 8 = -d, -3*d = 3*g - 3 for g.
-4
Let p be 3/4 - ((-3213)/(-108) + -29). Solve p = -4*b - 3*r - 25, 16 = -2*b - 5*r - 7 for b.
-4
Suppose 135*v + 124*v + 321 = 1616. Solve -25 = -5*y, y + 90 - 75 = -v*m for m.
-4
Let u be 1/(((-8)/7320)/((-12)/20)). Let m = -545 + u. Solve 5*c + 40 = m*a, c + c - 7 = -3*a for c.
-4
Let k be (-4 + 13)*4 + -2. Let w = k - 32. Let y be (12/20)/((-2)/20*-2). Solve -2*v = -6, v + y = -4*z - w*v for z.
-3
Suppose 3*k = 5*o - 25, -5*k - 43 = o + 8. Let h be (-8)/6 - k/30. Let d = h - -1. Solve -l - 21 = 3*l - a, l + 2*a - 6 = d for l.
-4
Suppose 5*l - 71 = -w, 3*l - 53 + 14 = 3*w. Solve 125*r = 120*r + b + l, -4*r = b - 4 for r.
2
Suppose -4 = -2*w + 6. Let v = 119928 + -119926. Solve 19 = l + 5*i + v, w*i = l + 13 for l.
2
Suppose 0 = 35*x + 18 - 88. Suppose x*i - 3 - 20 = -b, 4*i - 5*b = 11. Let s be (5 + 0)*(-8)/(-10). Solve i = -s*y + 3*t - 8*t, 0 = 3*y - 3*t for y.
-1
Let s be 4 + 6/(-3) + 10. Suppose -117*x - 6 = -119*x. Solve 5*r + 20 = p + 3*p, -x*r - s = 5*p for r.
-4
Suppose -79*d + 83*d = 16, 92 = v - 3*d. Suppose -4*c = v - 140. Solve 0 = -7*f + 2*f + 2*b - c, 5*f + 3*b = 1 for f.
-1
Let x be 31 - (21 + -7) - 11. Solve 4*f = r + 4*r + 40, r = -2*f + x for r.
-4
Suppose -74*w + 78*w + 5*l = -20, -3*w + 55 = -5*l. Solve -w*a = 25, 43*a - 4 = -m + 44*a for m.
-1
Suppose 0 = 186*d - 187*d + 5*z, 2*d - 5*z - 5 = 0. Solve 0 = -5*l + 3*o + 8, -d*o - 13 = -2*l - 6 for l.
1
Suppose -y - 17 = -5*r, -10*r + 5*r - 3*y + 29 = 0. Let g = -5 + 1. Let f = g - -6. Solve 3*h = r*c + 12, -f*h - c = -4 - 4 for h.
4
Let d be (-54)/(-30) - 2 - (-81)/5. Let b be d - -2*2/(-4). Suppose 0*q + 3*q = b. Solve 0 = 5*t + q*z + 15, -12 = -0*t - 4*t + 4*z f