*l, -3*l + 5*d - 20 = 0 for l.
0
Let t(j) = -735*j + 3. Let c be t(0). Solve 4 + 3 = -a + 2*d, -c*d = -a - 8 for a.
-5
Suppose 37*d = -93*d + 520. Solve -j = -3*b - 13, 7*j + 30 = 2*j - d*b for j.
-2
Let w be (-2 - -2)/(120/24). Solve 3*g + 4*i = 5 - 9, w = g + 2*i for g.
-4
Suppose -5*q - 1 = -4*r, 2*r + 13*q - 20 = 9*q. Solve 0*d + 4*d - 8 = -4*u, r*d = 3*u - 6 for d.
0
Suppose 2*p = -2*p. Let x = -121 - -145. Let d be 6 - (x/(-4) - -9). Solve -f = d*t - 15, 25 = 5*t - p*t + 5*f for t.
5
Suppose 0*o - 3*o - 2*q + 89 = 0, -4*q - 163 = -5*o. Let z = o + -19. Solve -2*v = -4*x - x - 21, -4*v + 4*x + z = 0 for v.
-2
Let v = -2396 - -2398. Solve -5*a = 2*k + 8 + 10, -v*k = 3*a + 14 for k.
-4
Suppose 41 = 4*d - v, -3*v + 59 = 5*d + 12. Let a be (16/5)/2 + 4/d. Solve 3*x = -a*b + 8, -3*x + 4 = b - 6 for x.
4
Let x be ((-32)/4 - -3) + 10 + -2. Solve -5*o + 73*m = 68*m - 20, x*m = 4*o - 10 for o.
-2
Suppose -j + 3*x = -20, -2*x - 1 - 9 = 0. Suppose 0 = 2*o + v - j, -3*v + 9 = 5*o - 3. Let f = 13 - 11. Solve -f*k - 6 = 5*d, -d + k = 4*d - o for d.
0
Suppose 0 = -5*k - 0*k + 25. Let o = -93 - -96. Suppose y - k*a = 10, 0 = 6*y - y + o*a + 6. Solve 0 = -5*w + 5*f + 30, y*f = w + 5*f for w.
5
Suppose 912*f + 9 = 915*f, 0 = 5*x - f - 12. Solve -x*w = -a - 8, -2*a - 5*w + 4 = 9 for a.
-5
Let r = -33 + 35. Suppose -3*m + 33 = 5*b - 7, r*m = -4*b + 30. Suppose -k = -m*k. Solve -3*h + t + 5 = 6*t, h + t + 1 = k for h.
-5
Suppose 5*z - 7*z - 3*c - 151 = 0, -2*z - 186 = -4*c. Let t = 111 + z. Suppose 4*a = a + 15. Solve 2*b + 2*b + 5*i - t = 0, 5*b + a*i - 30 = 0 for b.
2
Suppose -5*d + 38 = c, -3*c + 4*d = 26 - 7. Suppose 7*y - 60 = 4*y. Solve 5*f - y = -2*w - 0, 12 = c*f + 5*w for f.
4
Suppose -571*t = -516*t - 165. Solve t*i = 3*y - 21, 4 = -4*i + y - 12 for i.
-3
Let t(p) = 5*p**3 + 2. Let v be t(0). Solve 2 = -4*w - v*i, 21*i - 24*i - 2 = 5*w for w.
-1
Let m(f) = f**2 + 76*f + 555. Let a be m(-8). Solve -4*h + 2 = 5*x, 0 = -a*h + 9*h + 5*x + 16 for h.
3
Let r(b) = b**2 - 7*b - 10. Let a be r(7). Let q = a + 14. Suppose q*d - 3 = 9. Solve -2*n - 11 = 3*y - 7*n, d*y + 5*n + 1 = 0 for y.
-2
Let b = 6128 + -6128. Solve c - 4*k + 14 = -c, 3*k - 3 = b for c.
-5
Let z be -325 - 0 - 12/3. Let y = -324 - z. Solve -r = 5*p - 4, 2 - 1 = -4*p - y*r for p.
1
Let l(z) = 45*z + 30. Let p be l(-4). Let r be (-20)/2*p/100. Solve -4*f = -5*d - r, -3*f + 2*f = 0 for d.
-3
Let m(r) = -r**3 + 8*r**2 - 21. Let t be m(2). Solve 0 = t*q - 4 - 5, 2*x - 5*q = -13 for x.
1
Suppose 3*o + 2 = -3*s - 70, 84 = -3*o + 3*s. Let k = o + 35. Suppose 15*z = k*z + 24. Solve -5*g - 3 = -d, -3*d + 9 = 7*g - z*g for d.
3
Suppose 4 + 433 = 32*q - 11. Solve -x = -3*u + q, 45*u - 2 = 3*x + 44*u for x.
1
Let g(f) = 75*f + 101. Let r be g(4). Let n = -371 + r. Solve 0*d - 3*x = 3*d + n, -35 = 3*d + 4*x for d.
-5
Let n be (17 + -24 - 31/(-4)) + 54/24. Solve -n*t - 11 = -k, -9*k = 3*t - 7*k - 4 for t.
-2
Let k = -7897 - -7942. Solve 0 = 49*z - k*z - 16, -2*n - 2 = -2*z for n.
3
Let l(a) = -a**3 - a**2 + 160*a + 66. Let u be l(-13). Solve -11*h - u = -13*h - 5*v, -4*h = 2*v - 12 for h.
2
Let w = 506 + -350. Suppose -w = 80*n - 93*n. Solve -4*v - 2*c = 2*c + 16, -3*v - n = -2*c for v.
-4
Let n be 5551/(-427) + (0 - -16). Solve s = 4*b - 16 - 5, n*b = -3*s - 3 for s.
-5
Let w(m) = 34*m + 12. Let g be w(0). Solve 0*t - g = 4*t, 2*t + 9 = 3*v for v.
1
Suppose 2*x = -43*l + 41*l + 26, 4*x - 28 = -l. Solve 18 = -f - l*s + 13*s, -5*f + 3*s - 24 = 0 for f.
-3
Let f be 4/(-6) - 34/(-6). Let z = 97483 - 97481. Solve -2*j - f = -p, z*j - 4*p + 13 = j for j.
-1
Let p be 0/(0 + 1 + 1). Let m be -1*3/9*(2 + 1). Let f be (20/(-3))/(m - 3/(-9)). Solve s - 5*a - 12 = p, 0 = s - 3*s + 3*a + f for s.
2
Let t be 11*(3 + 1 + 3). Suppose -5*f = -25, 5*m - 3*f - t - 123 = 0. Let c = m + -21. Solve k + 2*w + 3 = 0, -2*k + c = -0*k - 3*w for k.
5
Suppose 4*t + 8 = 2*x, -t + 17 - 9 = 2*x. Suppose 2*l + 4 = t, -8*l - 2 = 3*b - 4*l. Solve b*r - 3*k - 5 = 0, 4*r - 5*k - 5 = -r for r.
-2
Let d be -13*(176/(-143))/8. Solve 0 = -d*w + 3*z + 4, 0 = -0*w + w - 2*z - 1 for w.
5
Let o(p) = 4*p - 12 + 23 - 12. Let b be o(1). Suppose 3*r + 4*y + 5 = 2, 2*y + b = -r. Solve -4*d + 14 = -5*v, -r*d + 4*v = -9 - 2 for d.
1
Let d = 10083 - 10080. Solve -d*l = -4*o, -3*o - 83 = -74 for l.
-4
Suppose 0*s = -5*s + 50. Let t = 23 - s. Let w(q) = -q**2 - 420*q - 2075. Let x be w(-5). Solve x*j - l + 15 = -3*j, -j - t = -3*l for j.
-4
Suppose 0 = 2*s - c - 67, 5*s - 193 = 2*c - 24. Let o be (-2254)/s - (-3)/(-5). Let l = o - -69. Solve -l*w = 2*b + 4, 5*b - b + w = 13 for b.
4
Let j be (-2)/8 + (-12)/(-48). Let c = -431 - -434. Solve -w - 4 = j, -4 = -3*x + 4*w + c for x.
-3
Let p be (-13 + -9)/((-2)/17). Suppose 4*n = 47 - p. Let c = 35 + n. Solve 0*v = -5*v + 5*g - 30, -3*v + g - 14 = c for v.
-4
Let i be (204/(-26) - -8)*26. Solve -9*g = -12*g + i*c + 7, -16 = 4*c for g.
-3
Suppose -3*d + d + 19 = 3*q, -2*q - 14 = -2*d. Let a be -17*(-2 + 2 + 1). Let n be a/(-5) - (-36)/(-90). Solve l = -2*i + d, -14 = -n*i - l - 2 for i.
4
Let a(h) = -7*h - 26. Let c be a(-5). Let d(u) = -u + 22. Let w be d(c). Solve j = -t + 4*t + 2, 0 = -2*t + 3*j - w for t.
1
Let l be (-3 - -6*4/4) + 8. Let h = 1117 + -1111. Solve 3*y - 2*d = -d - h, l = y + 4*d for y.
-1
Suppose -206*q - 12*q = 79*q - 594. Solve y + 9 = 4*s - q*y, 4*s + 4*y - 16 = 0 for s.
3
Let p be 1369 + 0 + 2 + -3. Suppose 33*f = 36*f + p. Let x be (-6)/10 + f/(-60). Solve -13 = -2*t + 5*s, -4*t - 2*s + 7 = -x for t.
4
Let l(y) = y**2 - 41*y + 25. Let g be l(0). Suppose 5*n = -3*w + g, -3*n - 15*w + 16*w = -29. Solve 3*i + n = c, -8*c = -10*c - 5*i - 28 for c.
-4
Let s = -22991 + 22996. Solve -i - 3*o + 102 = 83, -s*i + 35 = 3*o for i.
4
Suppose 111*m + 40 = 2*m + 258. Solve -u = -q + 7, -m*u - 11 = -3 for q.
3
Let y = 398 + -399. Let t(w) = 7*w + 7. Let q be t(y). Solve -2*i + 4*a = q, 3*i - 7*i = 2*a for i.
0
Let r be (-232)/290*190/(-4). Suppose 0 = -7*f + r + 95. Solve 4*q - 14 = 4*d + 6, 5*d = 3*q - f for q.
3
Let l = -1291 - -1293. Solve l*s + 32 - 14 = -5*d, 0 = 3*s - 3 for d.
-4
Let i(j) = j**3 - 130*j**2 + 975*j + 12. Let f be i(8). Solve 4*u + x - 6 = 0, 19*x - 23*x = f*u for u.
2
Suppose 0 = -7*z - 889 + 938. Solve 29 = 2*q - 5*i, -z*q + 6*q - 3 = i for q.
2
Let r = -15704 + 15762. Solve r*f - 60*f - 2 = -2*u, 2*u = -4*f - 34 for f.
-6
Suppose 2*b + 6 = 4*q, -5*q + 11 = -3*b + 6. Solve 3*d + 20 = 5, -4*z + 5*d + b = 0 for z.
-5
Let t(j) = -2*j**3 - 73*j**2 + 24*j + 9. Let d be t(-37). Let h = d - 490. Solve -3*b - 22 = 5*a, h*b + 2*a = b for b.
-4
Let i = 85 - 125. Let n be (-10)/(-6)*(-48)/i. Solve -2*x - n*u = -3*u - 12, x + 4 = -2*u for x.
4
Suppose 2*t + 5*w + 149 - 140 = 0, -t + w + 6 = 0. Solve -2*z + 0*k - 9 = t*k, -4*z = -3*k - 9 for z.
0
Suppose 60 = 4*n + 166*v - 170*v, -n + 47 = -9*v. Solve -b + 5*y = -17, -3*y - n = 5*b - 4*y for b.
-3
Suppose -113*q = -i - 111*q + 12, -4*q = -4*i + 28. Solve -i*b - 2*w = 13 - 15, 9 = 3*b - 3*w for b.
2
Let b = -360 + 390. Suppose 13*i + 510 = b*i. Solve -4*n = -3*q - 31, -2*q + 4*q - 5*n + i = 0 for q.
-5
Let h = 5105 - 5102. Solve 0 = 2*i - 6*i - 4*c + 20, h*i - 3 = 3*c for i.
3
Let r be 15/(-2 + 1*(-15)/(-5)). Solve n + r = -b + 18, -2*n + 12 = 5*b for b.
2
Let z = -4539 - -4542. Solve -2*v = -z*x - 1, -x - x - 1 = -v for v.
-1
Suppose 54 - 294 = -19*p - 164. Solve -5*c + 2*l = 10 - 33, 0 = c + p*l + 13 for c.
3
Let c be 18/5*3600/3240. Solve 0 = 22*w - 27*w + 2*h + 6, w + 12 = -c*h for w.
0
Let g = -182 + 184. Suppose -4*l = 3*p - 18, 2*p = 4*p - 4*l + 8. Suppose -2*c + 8 = 2*c. Solve p*s + 9 = -g*v + 3*s, 5*v = -c*s for v.
-2
Let u(m) = m**3 + 8*m**2 - 8*m + 17. Let t be u(-9). Suppose -t*y = 193 - 233. Solve 20 = -y*q + 5*j + 5, 0 = 4*j for q.
-3
Let c = -38645 - -38645. Solve -5*g = 5*b + 35, c*g + 3*g + 15 = -b for g.
-4
Let q = -2 + 5. Let l(y) = -y**3 + 2*y**2 - y + 16. Let i be l(q). Solve -2*k + 5*p - i = 0, -5*p + 13 = k - 0*k for k.
3
Let i(a) = -2*a**3 - 3*a**2 + 3*a - 4. Suppose 2 - 67 = -5*m. Suppose -4*v - 25 = -m. Let l be i(v). Solve 0 = -r - 2*r + t + 8, 4*r - l = -2*t for r.
3
Suppose 2*w - 4*z + 18 = 0, -2*w + 4*z - 12 = 2*w. Solve 4*s = -h + w, -5*s + 28*h = 33*h - 15 for s.
0
Let b(d) = d**3 - 7*d**2 + 16*d - 7. Let u be 