- l = k*n - t for n.
2
Let v be 3/1*(-4)/(-3). Let f = 920 + -1473. Let m = f + 555. Solve -v*s - 10 = -2*w, -m*s + 13 = 4*w - 3*s for w.
3
Let v = 1450 - 2328. Let m = v + 883. Solve r - 5 = -c, 4*c = -m*r + 3*r + 18 for r.
1
Suppose -1364 = -12*w - 344. Let b = -150 + w. Let q = b - -77. Solve 3*c + j = -2, 0 = 4*c - 0*j + 5*j - q for c.
-2
Let k(y) = -y**2 + 2*y + 7. Let i be k(-1). Solve 0*v - 3*w = -3*v - 9, -i*v - 5*w = 12 for v.
-3
Let d(t) = 3*t**2 - 7*t + 2. Let r be d(2). Suppose 8 = -2*c, 4*x + 0*x - 3*c - 20 = r. Solve 0*n + x*o = 5*n + 30, 2*o = -3*n - 2 for n.
-4
Let z be (-13 - -9)/((-4)/(-14)). Let a be z/(-4)*(-748)/(-119). Let l(f) = -76*f + 460. Let u be l(6). Solve -3*i - 2*m = -a, -u*m = 5*i - m - 35 for i.
4
Let g = 560 - 570. Let v be 10 + g/(-6)*-3. Solve 0 = 2*t + 3*a - 16, -3*t + 4*t = 5*a - v for t.
5
Let r be (-14 - (0 + -18)) + -4. Solve 4*s + 10*v = 5*v - 20, r = 4*s + 2*v + 8 for s.
0
Suppose 0 = -4*h + 8. Let b(j) = -j + 7. Let g be b(4). Suppose -9*o + 5*o = 2*y - 14, 2*o + 8 = 4*y. Solve -h*k = g*w + 4, 3*k - 8 = -o*k - 3*w for k.
4
Let u(l) = -5*l. Let v be u(-1). Let t = 37 - 74. Let r = t + 39. Solve -4*y - 30 + 4 = -r*p, 5*p + 5*y = v for p.
5
Suppose 41 = -4*b + 5*m + 78, 4*b + 3 = -3*m. Solve 2*q = -3*h + 5, b*h - 1 = 2*q - 3*q for h.
-1
Let o be 88/352 - (-141)/12. Solve -o*a + 4*y - 28 = -8*a, 0 = -a + 5*y - 19 for a.
-4
Let g = -5383 + 5418. Solve 2*u - 4*d = 10, -7 = -3*u - g*d + 33*d for u.
3
Let q(g) = g**3 + 10*g**2 + g + 13. Let f be q(-10). Suppose 8*t - f = 7*t. Let m be 3 + (-2 + t)*29. Solve 5*j - 4 = -4*y, 3*y = 5*j - 0*j - m for y.
-4
Let f(s) = -31*s + 255. Let g be f(-40). Let x be (g/117 - 9) + 2/9. Solve -4*a + 3*d = -5*a + 5, 0 = -4*a + 4*d + x for a.
2
Suppose 46*k + 294 = 846. Solve 3*c + k + 15 = 3*v, 3*v + 2*c = 2 for v.
4
Suppose 5*j + 3*a = 77, -3*a - 6 + 3 = 0. Solve 8 = -f - 11*o + 14*o, 5*o = 3*f + j for f.
-2
Let x be (-65)/39*(-42)/14. Let f be (-2)/(-3) + 10/3. Suppose 0 = 3*h - l + 4*l - 3, -5*h - f*l = -6. Solve 0 = h*n + x*u + 27, -n + u + 19 = -3*u for n.
-1
Let i = -2133 + 2137. Solve f = -2*f - k - 9, 0 = i*f - 3*k - 1 for f.
-2
Suppose 3*o - 5 - 4 = 0. Solve -2*x = -2*d + 6, o*x + 1 = -2*d + 7 for x.
0
Suppose -1765 = -461*y + 1756 - 1216. Solve 4*x = -x + 15, -y*a - 29 = -3*x for a.
-4
Let n = -164 + 245. Suppose -5*w = -4*z - 2 - n, -2*z + 6 = 0. Suppose 4*h - w = 2*r - 3*r, 2*h - 2 = -2*r. Solve -4*i = -3*j - 4, -2*j + 2*i = i + h for j.
-4
Let b be (-1)/(-2) + 12/8. Suppose -s - 2*n = n - 10, b*n = -6. Suppose 48 = 4*f + 3*k, 3*f + 0*f - 2*k - s = 0. Solve 2*w = x + 1, -4*w - 3*x = -f - 18 for w.
3
Let x = 178 + -54. Suppose -118*w = -x*w + 24. Solve 1 - 13 = -4*f - 5*u, 0 = -w*f + 5*u + 12 for f.
3
Let q(l) = l + 5 - 3*l - 4 + 12*l**3. Let j be q(1). Suppose -j*k + 56 - 12 = 0. Solve 0 = -k*z - 3*n - 22, -18 = 3*z - 3*n + 6*n for z.
-4
Let n(a) = a**2 + 22*a + 71. Let m be n(-20). Suppose 44*g - m*g - 26 = 0. Solve -g*o - 3*x + 17 = -3*o, -3*o - 2*x = 7 for o.
-5
Let p be 9 - ((-54)/(-81))/(3/18). Solve -5*m + p*b + 25 = 0, 30*m = 31*m - 5*b - 1 for m.
6
Suppose p - 4*a = -13, 2*p - 6*p = -3*a. Suppose 2*h - p = 1. Solve 4*r = h*i - 6, -3*r - 57 = 5*i - 20 for r.
-4
Let a = -6 + 10. Suppose 0 = h - 0*h + 15*h. Suppose -14*c + 8*c + 48 = h. Solve -2*i - 8 = 0, -a*d = -2*i + i + c for d.
-3
Let h be (63/14 + -3)/(1/44). Suppose 0*y = -5*y - 3*j + 82, 4*y + 2*j = h. Solve -2*w = 4*f + 10, 3*w - y = 4*f + 18 for f.
-5
Let z = 1851 + -1851. Solve 4 + z = u - q, -2*u + 8 = -q for u.
4
Let k = 371 + -168. Let s = k - 173. Solve 4*w = 2*v + 3*v - s, v - 5*w = 27 for v.
2
Suppose 125*r - 237 = 13. Solve -5*q + p + 4 = 0, q - r*p = p + 12 for q.
0
Suppose 7*d + 7 - 12 = 16. Solve -5*q = 3*x - 4, -d*q + 29*x - 26*x = -12 for q.
2
Suppose -32*w + 37*w = 35. Suppose -2*n = w*n - 27. Solve 2*t - 6*t + 18 = -z, 5*z + n*t - 2 = 0 for z.
-2
Let q(y) = 2*y**3 - 8*y**2 - 10*y + 5. Let m be q(5). Solve -5*p + m = i, -4*p = 8*i - 3*i - 25 for p.
0
Suppose -q - 2*w + 31 = 0, 4*q - 97 = -2*w + 3*w. Let f(j) = -j**3 + 2*j**2 + 16*j + 19. Let n be f(-2). Solve 34 = -n*t - 3*h + 4, -2*h = 3*t + q for t.
-5
Suppose 4*v - 50 = -22. Let s be 12/v + 18/63. Solve -j = w + 1, -s*w + 0*w - 8 = -j for w.
-3
Suppose 15 = -2*x - 81. Let d = -48 - x. Suppose d = 3*h + 6 - 21. Solve 15 = h*q - 4*i, -3*q - 3*i = -0*q - 9 for q.
3
Let l(c) = -125*c - 998. Let f be l(-8). Let o = 9 + -17. Let m be (o/(-10))/((-4)/(-50)). Solve -5*s - m = 3*v, 0*v - v + f*s + 4 = 0 for v.
0
Let d be 542/((-5)/((-25)/10)). Let y = 187 - d. Let l be (-396)/y + (-4)/(-14). Solve 0 = l*n + 20, -4*n = k + 3*k for k.
4
Let y(n) = -14*n - 5*n**2 + 12*n**2 - 3*n + 115 - 8*n**2. Let x be y(-22). Solve -4*d + 0*z + x*z = 35, 0 = 2*d - 3*z + 19 for d.
-5
Suppose 0 = -7*l - 417 - 1403. Let j be 8*(l/(-16))/13. Let a = -2 + 2. Solve 2*s = 2*o - s - 4, -4*o - 3*s - j = a for o.
-1
Let y = 221 - 217. Solve -v - y = 5*q, -8 = 2*v - 5*q + q for v.
-4
Let y = 2 - 0. Suppose -2*t - 3 = -4*h - 1, -4*t - y*h + 26 = 0. Suppose 7*m = 10*m. Solve -2*x - 10 = a, m = x - a - 2*a + t for x.
-5
Let u = 125 - 101. Suppose -u*i - 10 + 34 = 0. Solve 0 = -3*c + n + i - 0, c - 3*n + 5 = 0 for c.
1
Let w = -20709 - -20711. Solve -w*z + 3*q + 6 = 0, 25*q = -5*z + 28*q + 6 for z.
0
Let l(g) = -299*g + 602. Let i be l(2). Solve k - 7 = -i*m, 5*m + 4 = 4*k - 3 for m.
1
Suppose d - 6 = 4*n, 4*n - 432 + 444 = 2*d. Solve 3*w - 47 = -3*a - 41, n = -w + 4*a - 8 for w.
0
Suppose -3202*y + 72 = -3166*y. Let d = 12 - 8. Suppose 0 = 2*s + 4, d*c - s - 5 = 5. Solve 5*o - y = -c*t - 12, t - 8 = 4*o for t.
0
Suppose 2*y = 5*y - 3*n + 3, 5*y - 4*n + 4 = 0. Suppose 90*o - 96 = -107*o + 298. Solve -i = -y*i - o*a + 4, a = 2 for i.
0
Suppose -617 - 83 = -4*t. Suppose -t = 5*u - 12*u. Suppose -3*g = -5*n - u, -4*g - g + 2*n = -10. Solve 4*o + 3*l = -14, 0 = -4*o + l - g*l - 22 for o.
-5
Let y(a) = -4*a**2 + 12*a + 2. Let j be y(3). Suppose -73 = 4*i - 493. Let b be 21/i + 1/(-5). Solve 0 = -b*z - 3*z + 6, -h = -j*z for h.
4
Suppose -n - 2*n + 3*p + 18 = 0, p = -2*n + 6. Suppose n*m - 2*c = c + 20, -10 = -2*m + 4*c. Solve m*o = -4*b - 11 - 13, -b + 2*o + 7 = 0 for b.
-1
Suppose 4*y + 3 = 31. Let w be (y - 2)*(-6 + 5). Let x be (10 - 6)/(-2 + w/(-2)). Solve 4*f + 25 = -5*r, x*f + r + 21 = 4*f for f.
-5
Let g = -11499 - -11499. Solve g = -r, -9*p = -12*p - 3*r for p.
0
Suppose 0 = 7*t - 4*t - 6. Let u be (t + -2)/(-11 + 14). Suppose 0 = y - 3*b + 4*b - 7, u = 5*y + 2*b - 23. Solve -y*d = -4*l - 2 + 3, -2*l = 4 for d.
-3
Let y(b) = b**2 + 2*b + 1. Let j be y(-5). Suppose 2*c - 2532 - 142 = 0. Let r = 1341 - c. Solve -2*m = 2*s + r, 4*s - 2*m + j = s for s.
-4
Suppose 0 = -4*o - 1 - 3. Let t be o + 0 - (1 + -8). Suppose 4 = k - 2*z, -z + 4*z + t = 3*k. Solve 3*a + 7 = -a - 5*l, k = -2*a + 5*l + 19 for a.
2
Suppose -47*p = 16 - 16. Solve p = -5*t - 38 + 23, 5*t = -i - 13 for i.
2
Let o(h) = -4*h**3 + 32*h**2 - 18*h + 15. Let t be o(3). Solve 2 = -t*g + 139*g, 4*g = 3*v - 10 for v.
2
Let b(p) = 6*p**3 + p**2 + p - 3. Let f be b(2). Let g = -20 + f. Let i = g + -26. Solve -4*z - 10 = i*m - 0*m, 2*m + z = -1 for m.
2
Suppose w = -p, -11*p - 23 = -4*w + 22. Solve 0 = 2*g + 3*i - 1, -4*g + 5 = -w*i + 12 for g.
-1
Suppose 85*m = 75*m. Let v = 9 - 21. Let t be v/(-2) + -1 - 0. Solve -5 = -t*h - 4*y - 0, 2*y = m for h.
1
Suppose -5*t = -14*c - 64, 5*t + 5*c = 43 + 2. Solve -5*a = -9*k + 6*k - 10, -t = -2*k for a.
5
Suppose -3413*a = -3404*a + 88 - 214. Solve 2*o + 5 = -5*c - 0, -a = 2*o - 4*c for o.
-5
Let n = -67 + 164. Let u = 99 - n. Let d be 1 - (20/(-5) - (u - 3)). Solve -g - d*j = g - 20, 3*g + 2*j = 18 for g.
4
Let j(t) = -t**2 - 44*t - 225. Let n be j(-38). Suppose -o - 3 = 4*f + 3, 2*o = 5*f + 14. Solve -o*x = 5*i + 15, -n*i - 11 = 2*x - 2 for i.
-3
Let h be 4/((-10)/2*92/(-460)). Solve 5*r = -5*m - h + 9, 3*r + m - 3 = 0 for r.
1
Let t be (-4 - -3)*(13 - (51 + -8)). Solve 5*l - t = -2*z, 0 = 2*l - l + 4*z - 24 for l.
4
Suppose 10 = 5*v - d, 2*d + d + 10 = 5*v. Suppose 2*r - 2 - v = 0. Suppose -5*i + r*j = j - 31, -5 = 5*j. Solve -i = 5*k + 3*y - 1, -y = -5*k - 5 for k.
-1
Let k(t) = 3*t**2 - 8*t - 14. Let x be k(4). Let z(h) = -19*h - 247. Let r be z(-14). Solve x*i - 3*c 