, 5*n - 20 = 0 for a.
-1
Suppose -5*f + 2*f = 204. Let c = -61 - f. Let b = c - 4. Solve -3*u - 15 = 3*t, 2*t - b*u - 15 = 6*t for t.
0
Suppose w = 17*w - 20 - 44. Solve d - 4 = -w*j, 0*d - d = -3*j + 3 for j.
1
Let u be 6/8 - (2 + (-125)/20). Solve -u*f - 5*s = -6*s + 17, -25 = 4*f + 3*s for f.
-4
Suppose -46*b = 135 - 457. Solve n - 3 = 4*t, -12*t - 4*n - 9 = -b*t for t.
-1
Suppose 183*f - 160*f = 0. Solve -5*s - 4*x - 20 = f, -2*x - 3*x = 25 for s.
0
Suppose 36 = -s + 6*x, -4*x + 24 = -30*s + 29*s. Solve 3*z - 2 = 2*h, s = -69*z + 72*z + 3*h + 18 for z.
-2
Let l be 312/(-117) + 140/21. Solve -2*v = 15*m - 14*m + 13, 3*m = l*v + 11 for v.
-5
Let g be (0 - (-5 - -3))/((-3)/27). Let u = 15 + g. Let t be u/(-5) + ((-428)/(-10))/2. Solve -3*s - 5*k - t = -6*s, 3*s - k = 2 for s.
-1
Suppose -9 + 4 = -x, -2*m - 5*x = -31. Suppose 8*a = -a. Suppose -2 = -2*k, 4*f + a*k - 5 = -5*k. Solve -2*u - t + f*t = -12, -16 = -u - m*t for u.
4
Suppose -37*b - 31*b = -6*b - 1054. Solve 5*c = 3*t + 9*c, 3*c + b = 2*t for t.
4
Suppose -3*o + 4 = -2*o, 0 = -4*i - o + 448. Let t(a) = 74*a + 563. Let u be t(-6). Suppose -2*s + u = i. Solve y + 11 = 3*x - 6*x, 3*x - s*y = -31 for x.
-5
Suppose -227*n = -224*n - 2*i - 44, 3*i = -3*n + 69. Solve 4*m = 2*z + 6, -3 = -5*z - 4*m - n for z.
-3
Let v be 1*(32 - 19) - 1. Solve x - 17 = -4*w, 3*w - 49*x + 50*x = v for w.
5
Let t(i) = i**3 - i + 4. Let j be t(0). Let b be 16/(-20) - (-6)/(-9)*(-999)/45. Solve -3*c = j*f + 25, 2*f + b = -3*f + 2*c for f.
-4
Let h(y) = -3*y + 8. Let m be h(3). Let l be (m - (-2)/(-6))*396/(-24). Solve 0 = -4*j - c - 0 - 9, 2*j + 4*c + l = 0 for j.
-1
Suppose 0*u - 26 = -2*u. Let i(x) = -x**3 - 13*x**2 + 25. Let c be i(-12). Let d = -117 - c. Solve 0 = s + 4*r - u, -4*s + 30 = 3*r + d*r for s.
5
Let s(z) = z**3 - 115*z**2 - 113*z - 335. Let o be s(116). Solve 2*x + o = -5*i, 4*x + 6 = -4*i - 14 for x.
-4
Suppose 24 = -581*c + 583*c. Suppose -z - c*z + 455 = 0. Solve 0 = p + 4*p + 5*q + z, -2*p - 4 = -3*q for p.
-5
Let k(l) = l**3 - 5*l**2 - 2*l + 26. Let n(z) = -z**3 + 41*z**2 - 149*z + 41. Let q be n(37). Let y be k(q). Solve 4*p - 1 = 3*t, -t - 3 = y*p - 16 for t.
5
Suppose -7434 = -28*n - 30646. Let i = n + 834. Solve -i*g = z - 2*z - 19, -5*g = -4*z - 16 for g.
4
Suppose -31*y - 3741 = -3958. Solve -y = 2*g - 15*z + 16*z, g + z = -4 for g.
-3
Suppose 106 - 90 = 4*w. Solve -c + 16 = c + w*z, 0 = c + 4*z - 16 for c.
0
Suppose -2*k = 10*k + 72. Let z be (9 - 2) + -9 - k. Solve -3*c = 4*i - 12 - 0, 0 = 4*i - c + z for i.
0
Let b be -5*-2*4/5. Let s(y) = y**3 - 7*y**2 - 10*y - 12. Let q be s(9). Suppose -48 = 6*x - q. Solve 3*o + 3 = -v - 4, -x*o + v = b for o.
-3
Let w = -54 + 26. Let o be w/6*(-3)/(-2). Let f(b) = -3*b + 16. Let i be f(o). Solve 5*g - 4*v = i, 0 = -3*g + g - 2*v + 4 for g.
5
Let l = 13461 - 13456. Solve -l*k + 2*k - 5 = 4*n, -5 = n for k.
5
Let v be (-24)/420 + 2982/735. Solve 0*j + j = 1, 0 = v*a + 4*j for a.
-1
Let p = -53 - -52. Let u be (-2)/3*((-81)/(-6))/p. Suppose w = 4*w - u. Solve k - 2*k - 2*r - w = 0, -3*k - 4*r = 9 for k.
-3
Let l be 0*(-4 - -5) - (-11 + 8). Solve -l*z - 11 = -33*h + 37*h, -2*z = -2*h - 2 for z.
-1
Let p = -3 - -5. Let b(f) = 131*f**2 + 5*f. Let m be b(0). Solve -v + p*k + 5 = m, -k - 3*k + 25 = 5*v for v.
5
Let z = 17 - 40. Let m be (2/(-5))/(z/230). Let o be 10 + -2 - (-1 + 5). Solve 3*a = -m*y + 3, 5*y + 12 = o*a - 23 for a.
5
Suppose 0 = -5*d + 4*t + 22, 0 = -3*d + 6*d + 3*t - 51. Solve -2*g = -2*m + d, -2*m + 34 = 5*g + 59 for g.
-5
Let r = 74 + -92. Let w(g) = -g**2 - 23*g - 9. Let d be w(r). Suppose 5*c = -d + 91. Solve -c*p - 2*q = -4*p, -2*p = -3*q - 2 for p.
-2
Let f(k) = -k**3 - 7*k**2 + 11*k + 42. Let p be f(-9). Suppose 4*u - p = -17*u. Solve u*b - s = -5, 3*b + 3 = -s + 2*s for b.
-1
Let u = 4 - -1. Let h(p) = 8*p**2 + 6*p - 78. Let y be h(6). Let x = y - 243. Solve -x*t = -u*w, 3*t - 3*w = 5*t for t.
0
Suppose 204*i + 552 = 201*i. Let z = i - -187. Solve j = -3*o - 3, -z*j - 3 = -o + 6 for j.
-3
Let t = -82 + 106. Let i be 6*(-4)/t*(-4)/2. Solve -4*j = 5*y + 5, -i*y + j = -j - 16 for y.
3
Let q = -12157 - -12162. Solve 4*w = 3*l - 22, -q*w - 22*l - 16 = -20*l for w.
-4
Let c(h) = -4*h + 24. Suppose -13*r - 42 = -20*r. Let f be c(r). Solve 12 = 5*m - o, -3*o + 3 = -2*m - f for m.
3
Suppose 4 = -3*t + w + 10, 2*w = -12. Solve 2*n + 1 = 4*h - 25, h + 5*n + 10 = t for h.
5
Suppose -12*b + 15*b = 5*s + 16, -2*b + 3*s = -11. Suppose 4*y - 27 = -4*m - b, 3*y - m = 3. Solve 5*u + 2*t + 3*t + 5 = 0, -5*u - 33 = -y*t for u.
-5
Let f be (4/14)/(60/210) + 4. Suppose 5*u - 100 = 280. Suppose 0 = 3*l - 7*l + 3*i + 84, 4*l - u = i. Solve l = 4*v + 4*d - d, 5*d + 5 = f*v for v.
3
Suppose -680*w + 684*w - 336 = 0. Let y = 84 - w. Solve 0 = 4*u, -t - 4*u + y = -2 for t.
2
Let v = 373 - 367. Let q be (v/(-12))/((-1)/24). Solve -9 - 3 = -2*y - 2*f, -5*f = -y - q for y.
3
Let f(i) = i**2 + 18*i - 7. Let q = -96 - -98. Suppose -v + 7 = q, 2*j - 4*v = -58. Let m be f(j). Solve -32 = -4*t - 3*y, 2*y = 2*t + 2*t - m for t.
5
Let w = -75 - -67. Let a be (10/3)/(8/(-480)*w). Solve 0 = 2*v + 2 - 12, 5*v = -2*u + a for u.
0
Let u be (0 - 7) + (-83 - -93). Solve 0 = u*d + 5*k - 6, k + 10 = 5*d - k for d.
2
Let k = -488 + 536. Suppose -3*f - k = -19*f. Solve 4*p + f*z = 25, -3*z + 10 = 2*p - 7 for p.
4
Suppose -4*j = 4*b - 12, -4*j = 4*b - 3*b. Let z be ((-1 + 1)/8)/(j + 0). Solve -5*g - l + 0*l + 21 = z, -g - 5*l - 15 = 0 for g.
5
Let a be (-1)/2 + 5/2. Let i be ((-33)/(-33))/((-1)/(-4)). Solve -a*v + 0*v + 8 = -z, 0 = -i*v + 5*z + 28 for v.
2
Let a(g) = -9*g - 82. Let q be a(-10). Solve 5*k + 3*n = q, -3*k = n + 2*n - 6 for k.
1
Let y = 82 - 130. Let b be ((y/(-20))/(-12))/((-1)/10). Solve u = 5*o + 10, 5*u - 6 - b = 4*o for u.
0
Suppose -77*m + 74*m = 72. Let j be 5*(m/(-15))/(6/(-9)). Let w = j - -12. Solve -2*n + 1 = -w*y - y, -5*n = -5*y + 5 for n.
2
Let d be (-8)/(-44) - ((-106)/22 + 2). Solve 5*g + 4*h = d - 12, -2*g - 4*h = -6 for g.
-5
Let a be (-87)/(-17) - ((-1792)/476)/(-32). Solve -a*j - 2*w = -3, 0 = 2*j - 16*w + 21*w - 18 for j.
-1
Let r(m) = m**3 - 5*m**2 - m - 3. Let n be r(3). Let l = n - -34. Suppose 5*f = 40 - l. Solve f*j - 3*j + 5 = y, 2 = -4*j - y for j.
-1
Let q(d) = d**3 + 7*d**2 + 7. Let o be q(-7). Let m(p) = 0 - 4 + 3*p - 7 + 2 + 5. Let l be m(o). Solve -5*n = -t + 4 + 4, 5*t - l = 2*n for n.
-1
Suppose -5*m - 2*q - 16 = 0, -2*m + 3 + 5 = -4*q. Let t be (-1258)/(-111) - m/3. Solve -3*w = -5*i + 5, 0*w - 4*i = -4*w - t for w.
-5
Suppose 2*f = -2*d, -f + 37*d = 42*d + 16. Suppose -1 = -2*m - k, 2 = m - 5*k - 4. Let s be (-37 + m)*(-4)/6. Solve -5*r - s = -r + 4*t, -16 = f*t for r.
-2
Let i = 5037 + -5034. Solve 10*d - 13*d = -r - i, -2*d = -r - 2 for d.
1
Let t(z) = -5*z**3 + 246*z**2 - 49*z + 20. Let u be t(49). Solve -2*j + 2*y - u = 0, -1 - 23 = -4*y for j.
-4
Let i(u) = 4*u - 27 - 35 - 10 - 11. Let r be i(22). Solve l = -4*l + r*h, -5*l + h = 4 for l.
-1
Suppose 64*b - 69*b = -65. Let v be ((-67)/b + (-14)/(-91))*3. Let k be ((-6)/3)/(6/v). Solve 2*t + 0 = y - 4, -k*t = 3*y + 21 for y.
-2
Let n(c) = -15*c - 35. Let z be n(-4). Let y = z + -5. Suppose -y = 20*r - 30*r. Solve 4*v = o + r*o + 17, -5 = -5*o for v.
5
Let d be 5/2*(-62)/155*0. Suppose d = -15*u + 2*u + 260. Let w = 10 - 5. Solve 5*f - u = 2*h, 23 = w*f - 3*h - 2 for f.
2
Let d(f) = 4*f**2 - 27*f + 28. Let r be d(1). Solve -h - 7 = 3*c, r*c + 101*h + 45 = 106*h for c.
-4
Let m(h) = 4*h + 17. Let l be m(-4). Suppose 12*v = 13*v + l. Let x be (-3 - -2) + v + 8. Solve -2*b + 4*k = -x, 3*b = 5*k + 9 + 1 for b.
5
Let k = -252 + 255. Suppose 3*d - 17 = -f, 5*f - k*d - 61 + 30 = 0. Solve 5*q + 5*p = 3*q - 17, 0 = -2*q - 2*p - f for q.
-1
Suppose 51*l = 46*l + 130. Suppose 2*b = -0*b + l. Solve -2 = -w + 5*r - 4*r, 0 = 2*w + r - b for w.
5
Suppose -5*l - 2*o = 3*o + 45, -l + 21 = -5*o. Let f be (-14*(-3 - l))/(0 - 2). Solve -2*s = c + 1, 5*s = 5*c - 3 - f for s.
-1
Let c = 20760 + -20759. Solve -2*h + c = -3*z, 2*z = 2*h - h for z.
1
Let f(n) = 2 + 3*n - 7 + 6 - 5*n**2 + 4*n**2. Let j be f(1). Solve -4*x = -j*p + 8 + 4, -2*p = 3*x - 8 for p.
4
Let c = -3856 + 3860. Solve 4*w + o = -c*o + 18, -3*o + 8 = w for w.
2
Let q = -145 + 149. Suppose 13 = 3*g - 2*y, 30*y - 31*y + 10 = q*g