 u = 364 + -364. Solve u = 3*i - 12, -2 = -4*k + 5*i - 18 for k.
1
Let m be (-3)/(102/4) - 213605/(-10115). Solve 2*d - m = -3*r, 3*d + 6 = 4*r - 5 for r.
5
Suppose -6*s - t = -67, -t + 402 = 3*s + 371. Solve -4*g = -0*g - 4*d + s, 0 = -3*g + 4*d - 11 for g.
-1
Suppose -46 = 466*m - 468*m. Suppose -3 - 12 = -3*y. Suppose 25 = 2*t - 5*h, 5*t - 2*h - 15 = h. Solve -c + 3*i + 5 + 6 = 0, -3*c - y*i - m = t for c.
-1
Suppose -54 = -17*p + 11*p. Let y(z) = z - 1. Let i be y(p). Suppose 19 + 9 = 2*q. Solve -2*t + q = 4*f, 3*t + 11 = i*t + 2*f for t.
1
Let s be (77/(-35) + 61/(-20))*(-8)/6. Solve -s = -v + 5*k, 1 = -5*k + 4*k for v.
2
Let z(w) = -w**2 + 13*w + 33. Let f(v) = 2*v**2 - 4*v - 1. Let p be f(4). Let g be z(p). Solve -5 = -5*l, 5*a + l - g = -27 for a.
-5
Suppose -21*d + 4*a - 12 = -23*d, -3*a = -3*d + 36. Solve d = 5*n - 5*h, 6*n - 7*h - 16 = -5*h for n.
3
Let w be ((0/(-2))/1)/((-39)/13). Suppose w = 7*k + 4*k - 55. Solve -z = -k*n - 11 + 2, -4*n = -4*z + 20 for n.
-1
Suppose 52*j - 96*j + 19*j = -2150. Solve -2*o + 14 = -w, -3*w - 5*o = j - 99 for w.
-4
Let b be 0/(17 - 11)*-1. Solve 4*c = -4, -c - 16 = 3*g - b*c for g.
-5
Let q be -70*5/(-75) + (-4)/6. Let j be 0 + -3 - (q - 2 - 7). Solve 5*k = 2*p + 16, j*p - 4*k = -0*p - 12 for p.
2
Let g(c) = c - 3. Suppose -10*y + 29 = -11. Let v be g(y). Suppose v - 15 = -2*h. Solve w - 20 = 5*r - w, -h = -4*r - 3*w for r.
-2
Suppose 0 = 7*f - 18 - 17. Suppose 0 = -f*t + 41 - 26. Let s(w) = -2*w + 3. Let n be s(-4). Solve -4*l + x - 6 = 0, n = -t*l - 0*l + 4*x for l.
-1
Suppose -55*n + 56*n = -4*z + 3, 2*z - 15 = -5*n. Suppose 29*f - 33*f + 20 = 0. Solve -5*y + z*y + f*o = -15, 0 = 2*o for y.
3
Suppose -792*i = -783*i - 189. Solve 3*c - w + 2 = 4, 5*w + i = 4*c for c.
-1
Let z = 27 - 15. Suppose 6*n + z = 3*n. Let p be -2 + (-150)/(-20)*n/(-6). Solve 3*a + a + 4*k = -8, 0 = p*a - 2*k - 14 for a.
2
Suppose -2*r + 0*r = 21*r + 18*r. Solve -2 = -29*t + 27*t + 4*w, 3*w + 3 = r for t.
-1
Suppose -5*c + 29*t + 12 = 25*t, 0 = -4*c - 3*t + 22. Suppose 0 = u - c*a + 10 - 18, 4*u + 4*a = 12. Solve -5*f - 2*w + 6*w - 9 = 0, u*f + 32 = -3*w for f.
-5
Let l(v) = -2*v**2 + 21*v - 7. Let u = -71 - -47. Let t = u - -34. Let r be l(t). Solve 26 = -4*m - r*q, -3*m + 0*m - q - 17 = 0 for m.
-5
Let b be ((575/5)/5)/((-7)/35*-5). Solve -7*u + 4*u = 9, 5*u = 4*x - b for x.
2
Let p(k) = -13*k - 4. Let j be p(3). Let t = -41 - j. Solve -4*w + t*x = -2*x + 8, 3*x + 18 = -3*w for w.
-4
Suppose 3 = 2*y - 15. Let u = -6 + y. Suppose 0 = u*f - 2*v - 11, 2*f - 24 = -2*f - 2*v. Solve -4*c - 10 - 7 = f*g, 5*g + 35 = 5*c for g.
-5
Let b be 0*(-20)/(-60) + 0 + 4. Solve -i = -d - 1, 30*d + b = 4*i + 28*d for i.
1
Suppose -j + 5*g + 61 = 0, 4*j - 8*g - 184 = -3*g. Suppose -v + j = 24. Solve 4*h + v = -4*s + s, s = -h - 5 for h.
-2
Suppose 361*o + 26 + 121 = 368*o. Solve -4*c - o*t - 12 = -23*t, -2*c = -3*t + 14 for c.
-1
Let t be 28*(668/(-56) - -12). Solve -t*j - 2*j = w + 12, 0 = -5*w for j.
-3
Suppose p + 4*p + 825 = 0. Let a be 90/21 + 4/(-14). Let y be p/22*(a/6)/(-1). Solve -y*s - 5*v = -s + 17, 0 = -3*s + 3*v + 21 for s.
2
Let q = 46 - 41. Let m(n) = n**2 - 4*n - 1. Let x be m(q). Suppose 3*h - x*g - 4 = -h, 3*h + 5 = -5*g. Solve h = -2*f - 3*r - 3, -4*f = -7*f - 3*r for f.
3
Let k = 31357 + -31349. Solve -2*q - k = -2*y, 0 = -3*q - y + 57 - 37 for q.
4
Suppose 8267*j = 8401*j - 536. Let w be 2 + -1 + 10*1. Solve -r = -j*d + 15, 0 = 2*r - 3*r + 3*d - w for r.
1
Suppose 4*x + 32*n + 3 = 29*n, 4*n = -4. Let a be (3 + 55/(-20))*x. Solve -3*p = 4*k - 0 - 5, a = 5*p + 25 for k.
5
Let d be 61/((-2928)/(-160))*(0 + 18/15). Let y(k) = k**3 - 4*k**2 + 2. Let h be y(4). Solve -5*c + h*c + 16 = -p, -16 = -d*p - 4*c for p.
-1
Let t = -561 + 401. Let d = t - -164. Let f be 1*(8/2 - 2). Solve -5*q = -q - 2*z + 4, d = -3*q + f*z for q.
0
Let d(n) = -3*n - 4 - 1 - 3*n**2 + 7*n + 0 - 18*n. Let o be d(-4). Solve -o*z + 5 = b, -3*b = -3*z - z - 2 for z.
1
Let t = 8100 - 8096. Solve -w - 2*d + 32 - 29 = 0, -t = -d for w.
-5
Suppose -5*v + p - 55 = -65, 4*p = 20. Solve -3*y - 3*i = 48 - 51, 3*y - 5*i - v = 0 for y.
1
Let p = -1166 - -578. Let j = -588 - p. Solve l = u + 1, -2*l = -j*l + 5*u - 30 for l.
5
Let y be (4 + (-112)/20)/(91/35 - 3). Solve -w - y = 2*h, -2*h - 15 = 3*h for w.
2
Suppose 4*q = -3*r - 4, -8*r + 3*q = -15*r + 35. Solve -5*s + 14 = -4*b, 0 = 2*s - 80*b + 76*b - r for s.
2
Let x(w) = 6*w**2 - 103*w + 118. Let y be x(16). Solve -6 = 3*n, -4*n - 4 = 2*c - y for c.
5
Let n be (-9)/21 - (-16)/(-28). Let m be n/(-8) + 5698/112. Let g = -33 + m. Solve 2*b - 4*h - g = 0, -3*h + h = -3*b + 7 for b.
-1
Suppose 12*t = 37*t + 275. Let v(j) = j**3 + 11*j**2 - 3*j - 29. Let g be v(t). Suppose 15 = 2*h + h. Solve -h*b + 32 = -g*w, 2*w + 18 = 5*b - 2*b for b.
4
Let x(n) = -n**3 + 7*n**2 - 7*n + 11. Suppose -22 - 17 = -4*b + 3*q, -5*b + 40 = -2*q. Let f be x(b). Solve p + 3*p = -i - 23, -f*i - 25 = 2*p for i.
-3
Let n = -206 + 213. Suppose -g + n*g = -2*g. Solve g = f - 2 - 3, f = -w + 4 for w.
-1
Let s(i) = -i**2 + 2*i + 92. Let d be s(0). Suppose -8 = -d*b + 90*b. Suppose -7*h + b*h = -9. Solve -v = h*k + 2*k - 6, 12 = -2*v + 2*k for v.
-4
Suppose -5*r - 16 = 3*j - 57, j = -3*r + 23. Solve w - j*l + 5 = 0, 0 = -w + 6*w + 2*l - 35 for w.
5
Let b(c) = c + 5. Let l be b(0). Let x(s) = s**3 - 6*s**2 + 6*s - 1. Let o be (0 - 1)/((-1)/5). Let v be x(o). Solve -q - 4*y = q - 2, 0 = l*q + v*y - 17 for q.
5
Let y = 2471 + -2466. Solve -2*u + 4 = -y*l, -34 + 32 = -u - 3*l for u.
2
Suppose -12*j + 3*j + 18 = 0. Suppose -4*k + 20 = -j*o, -o + 23 = -6*o + k. Let u be 9 - -3*((-64)/12 - o). Solve 4*h + 8 = d - 17, u*h + 45 = 4*d for h.
-5
Suppose 4*c + j - 4*j = 110, 3*c = j + 75. Solve 11 = -5*k - 2*w + c, 3*w = -3*k + 9 for k.
2
Let h = -74 - -104. Suppose -2*f = 2*n - 10 + 6, -5*n = -5*f - h. Solve -n*r + 15 = o, -r - 6 = -3*r for o.
3
Let n(z) = -4*z**2 - z. Let l be n(3). Let y = l - -45. Solve 3*r = 3*h + r - y, 4*h + 4*r = -12 for h.
0
Let c be 4/(16/12) + 13 + -13. Solve -9*q + c*l = -8*q - 9, 15 = -5*q - 5*l for q.
0
Suppose -3*a + 39*o = 35*o - 100, 0 = -a - 5*o + 8. Solve 2*p - 25 = -5*k, -33*k + a*k = -25 for p.
0
Let r = 14 + -18. Let b = 18 + r. Let d(l) = -2*l + 31. Let y be d(b). Solve 0 = -t + y*a + 14, -5*t + 3*a + 0*a = -22 for t.
2
Let f be (-49)/(-9 + 2) + 0. Suppose -d + d - f*d = 0. Solve 5*c + 5*l = -56 + 6, d = -5*c - 3*l - 40 for c.
-5
Suppose -2*x = 4*x - 12. Suppose 5*c + 55 = x*s, 10*s - 149 = 5*s + c. Let q be 5/s + (-69)/(-18). Solve -4*d + 8 = 3*b, -q*b - 5 - 1 = -3*d for b.
0
Suppose l - 8 = -3. Let s be ((-153)/18 + 8)*-1*100. Suppose -5*i + 25 = -s. Solve l*b + i = 0, -o + 8 = -7*b + 3*b for o.
-4
Let h(o) = -3*o**2 + 21*o - 25. Let k be h(5). Suppose k*c = 3*t + 13, -4*c = 2*t - 17 - 11. Solve -4*w + 9 = -c*i - 6, 0 = 5*w + 3*i - 28 for w.
5
Let h(s) = 389*s + 0*s**3 - 8*s**2 + 22 - 377*s - s**3. Let v be h(-9). Let d be (0 + -2)*v/2. Solve 39 = d*y - 5*g + 14, 5*g = y - 5 for y.
5
Let n(r) = r. Let x be n(-1). Let k(m) = m**2 - m - 2. Let t be k(x). Let c be (-135)/(-10) - (-9)/(-6)*-1. Solve 7 = v + 5*w - c, v - w + 8 = t for v.
-3
Let f be (1/2)/((-8)/32). Let a = -46 - -32. Let k = f - a. Solve -s + 3 = 4*g + 4*s, -2*s = -2*g - k for g.
-3
Let g(d) = d**2 - 7*d + 16. Let p be g(7). Suppose 0 = p*r - 9*r - 21. Solve r*k = -4*o, -o - 3*k = 4*o + 3 for o.
-3
Suppose 323*k = 329*k - 18. Suppose 0 = -4*f + 2*q + 24, -f - k*q + 9 - 10 = 0. Let b = -12 - -20. Solve v + d = b + 1, 20 = f*d for v.
5
Let i be 26/2 + 1/1. Let l = 863 + -858. Solve -2*g + 6*g + i = l*z, 5 = 4*z + 3*g for z.
2
Let w be (7 + 2)/(-3)*14/(-6). Let t(j) = j**3 - 7*j**2 + 15*j - 103. Let g be t(w). Solve p = 2*a - 2*p + 6, -p - 2 = -g*a for a.
3
Let j = 5727 + -5725. Solve 0 = 4*h + 2*f - 18 + 2, -j*h + 2*f = -8 for h.
4
Suppose 9*m - 5*k = 7*m + 130, 3*m + k - 195 = 0. Suppose 44*j - 23 = m. Solve r = -r + 3*o, -j = o for r.
-3
Suppose 53*r + 63*r - 60 = 101*r. Solve -5*j + i + 434 = 430, -4*j - r*i = -8 for j.
1
Let r = -344 - -346. Suppose g - u - 1 = 0, -3*u - 7 = r*g - 4. Solve -c - 8 = 2*n, -n + g*c = 2*c + 10 for n.
-2
Let j be -6 - (1 + -10) - (-15)/3. Suppose 5*k - j = 3*k. Solve 3*b + 3 = 3*a, -3*b - k = -3*a + b for a.
0
Suppose 2*f + 