 4*k = -4*t + 4, -f*k + 6*k + 4*t = 0 for k.
4
Let c(p) = -10*p**2 + 56*p - 52. Let m be c(4). Solve 10*d - 6*d - m = 2*o, o + 4 = d for d.
2
Let f = -365 + 367. Suppose n = 7 - f. Solve 4*r - 9 = 2*o + r, 25 = n*r for o.
3
Suppose -48*f - 460 = -2*f. Let k be (99/55)/((-6)/f). Solve 10 = -3*q + 5*m + 35, 4*q - k*m - 15 = 0 for q.
0
Suppose 1438 + 911 = 2*n - k, -5*n + 5870 = -5*k. Let p be 2/5*(3 - -2). Let u be n/375 + p/(-15). Solve -z - 5 = -u*i, 25 = -5*z - 0*i - 5*i for z.
-5
Suppose 4*s + 512 = 2*j, -2*s + 12 = 3*j + 284. Let q = s - -132. Solve -2*n = 4*v + q, 5*v - 1 = -n + 4 for v.
2
Suppose 0 = 2*q + 5*h - 299, 0 = 4*h + 7 + 13. Let w = -141 + q. Solve b = 5*v - 26, 0 + w = 4*b + 5*v for b.
-1
Let d(x) = x**2 + 25*x + 106. Let r be d(-20). Solve 0 = 4*h + 2*j - 14 + r, 3*h + 5*j + 8 = 0 for h.
4
Suppose 0*i + 5*i - 2*y = 172, 0 = 3*i - y - 104. Suppose -3*l + i = -l. Suppose 4*r - l = 62. Solve 6*n - n + p + r = 0, -n = 3*p + 4 for n.
-4
Let u be (-1 + 0)*(10 + -13). Suppose 0 = 3*o + 4*n - 12, -4*n + u = o - 3*n. Let w be (2/(-6))/((-11)/132). Solve 5*k = 2*x - 11, o = 5*x + w*k - 11 - 0 for x.
3
Let c be ((-4 + 1)*(-7)/(-14))/((-2)/28). Solve 0 = 3*f - 3*v - c, -2*v - 9 = f - 7 for f.
4
Suppose 0 = -23*k - 268 + 314. Solve -3*m + 10 = -k*i, -53*i = -4*m - 57*i + 20 for m.
4
Suppose -4*w + w + 54 = 0. Suppose 0 = -w*m - 33 - 3. Let t be (-2)/(-6) - (m - 35/(-15)). Solve 35 = g - 5*g + 5*y, -5*y + 15 = t for g.
-5
Let z be (1 + 1)*(-15)/(-10). Suppose -6 + z = a - 5*i, 4*a + 2*i = 10. Suppose 95 = -6951*b + 6970*b. Solve 3 = -q - a*g, -4*q + b + 4 = g for q.
3
Let k(z) = -365*z + 2558. Let q be k(7). Solve -q*j = -3*c - 24, 11*j - 10*j + 16 = -5*c for c.
-4
Suppose -52 = -2*d + 21*s - 19*s, -3*d = -4*s - 78. Let p(j) = j - 23. Let y be p(d). Solve 2*x + y*u + 1 = 0, x + 24 - 4 = 5*u for x.
-5
Let l(b) = 2581*b - 12895. Let f be l(5). Solve -r + 5 = 3*i, 9*r - 4*i = 12*r - f for r.
2
Suppose -c = 5*r + 168, 5*c + 364 = 3*c - 3*r. Let q = -186 - c. Solve 6*p = q*d + p + 17, 15 = 5*p for d.
-1
Let z(m) = -m**2 + 6*m + 117. Let t be z(-8). Let j be (1 - 1 - -2) + 1. Solve -j*p = -p + 3*b + 2, -t*p + 3*b - 5 = 0 for p.
-1
Let o(a) = 4*a**2 - 204*a - 420. Let f be o(53). Solve -w = 4*l - 20, -l = f*w - 5 - 15 for w.
4
Suppose 16 - 154 = -t + 4*i, 642 = 5*t + 4*i. Suppose 2*w = -124 + t. Solve -w = 4*l + n - 0*n, -4*l + 5*n = -15 for l.
0
Let s = -895 - -895. Solve s = -n - 2*a, -7*n + 1 = -4*n + 5*a for n.
2
Suppose 23 = 4*m - 17. Suppose 2*a - 23 = 3*r, -2*r = -a - 110 + 123. Suppose -9 = a*o - m*o. Solve o*y + 15 = -5*z, 0 = -z + 4*z + 2*y + 10 for z.
0
Suppose -1711 = 65*y - 1906. Solve 0 = -5*s + l + 30, 4*l - 20 = -5*s + y*l for s.
5
Let y = -1 - 1. Let p = y + 25. Suppose 0 = 5*k + 5*j - j - 46, 3*j = 2*k. Solve -4*o = -d + p - k, 4*d = o + 8 for o.
-4
Let a be (13/3 - -3)/(12/18). Suppose a*k - 19 = 36. Solve -2*o + 14 = 2*p, -k*o - 3*p + 11 = -6*p for o.
4
Suppose l = 5*v, 0 = -3*l + 8*l + v - 26. Suppose 0 = 4*f + 3*m - 23, 6*f - l*f - 2*m - 3 = 0. Solve -4*z = f*u + 10, 5*u = u + 5*z - 8 for u.
-2
Let z = 41 - 39. Suppose z*d + 1 = h + 5, 5*d + h - 10 = 0. Solve 3*n - s - 10 = -2*n, d*n - s - 7 = 0 for n.
1
Suppose -2750 = -103*f + 92*f. Let b be f/25 - (-1 - -2). Solve 2*k - y = 5, 5*y = k + b - 34 for k.
0
Suppose -61*q - 8 = -65*q, 3*s = 3*q. Solve -5*a - s*c = -5, 117*c = 116*c for a.
1
Let k(r) = 9164*r + 9165. Let n be k(-1). Let u = 9 + -5. Solve -2*t - 2*s = -6, u*t - 5*s + n - 4 = 0 for t.
2
Suppose -4*c = -4*i - 56, -119 = -5*c + 3*i - 35. Solve -c*g - 12 = 5*n - 18*g, -2*n + 2*g = 8 for n.
-3
Suppose -5*i + 4*i - 4*p = 30, -3*p = 15. Let c be 18/5 - 10/(-25). Let n be 2*c + (i - -10). Solve 0 = 3*m + 3, 3*h = 5*m - 4*m - n for h.
-3
Suppose 0 = -2*i - 2*i - 2*p + 6, -2*p = 2*i. Suppose 0 = -i*v - v + 792. Let z be ((-8)/(48/v))/(-3). Solve -4*d + 2*c + 35 = z, 3*d - 3*c = 21 for d.
5
Suppose -7*y + 5*a = -10*y + 45, y = 2*a + 4. Solve 3*d + 17 = v - 0*d, 5*v + y = -4*d for v.
2
Let c = -8398 - -8508. Solve 0 = b - 3*q - 5, -c = 3*b + 5*q - 125 for b.
5
Let w = -31 - -34. Suppose -6 = f + w*x - 1, -4*x - 8 = 0. Suppose 0 = -4*c + 11 + f. Solve -4*z - 2*k = -12, 4*z - c*k = -0*z - 8 for z.
1
Let g(h) = h**3 + 12*h**2 + 7*h - 27. Let k be g(-11). Solve -2*o = -5*f - k, -4*f = -o - 11 + 24 for f.
-3
Let m = 13 - 9. Let j be 19*5/760 + (-3)/24. Solve j = 5*b - 3*g + 2, g = m*b + 4*g - 20 for b.
2
Let a(y) = -2*y**2 + 58*y + 784. Let w be a(39). Solve 0 = w*l - 5*g - 9, -11*l + 6*l - 3*g = -2 for l.
1
Suppose 0 = -28*h + 103 + 9. Solve -37*q - h*v = -38*q - 25, -2*v = 3*q + 5 for q.
-5
Let w be (-2 - (-7)/4) + (-759)/(-12). Let o = -59 + w. Solve -2*n = -2*l + 2, -4*l = n + 2 + o for l.
-1
Let w = 3907 + -3902. Solve 7*d + 22 = w*d + 3*k, -2*d + k = 14 for d.
-5
Suppose b + 55*s - 58*s + 11 = 0, 0 = -s + 5. Solve 5*d + b*h - 20 = 0, -3*h + 15 = 6*d - 10*d for d.
0
Let h be -2*12/(-8)*-1 + (5 - -3). Solve 0 = 3*c - 5*v - 30, -4*v + 31 = h*c - 6*v for c.
5
Suppose 63*p = 45*p + 324. Solve 2*y = 4*w - p + 14, 4*y - 2 = -2*w for y.
0
Let i be 132/(-99)*27/(-2). Suppose 0 = 4*l - i*l + 28. Solve 4*w - 5*g = 2 - 1, l*g = -4*w - 6 for w.
-1
Let t = 9617 - 9617. Solve -26*m + 22*m = -s - 13, t = -5*m + s + 16 for m.
3
Suppose -66 = 3*g + 75. Let c = 60 + g. Suppose 0 = 13*l - c - 13. Solve 0 = -4*v + 2*m - l, 0*v + 2*m = -4*v - 6 for v.
-1
Let s(p) = 2*p**2 + 29*p + 17. Let g be s(-14). Let q be (0 - -1)/(g*1/33). Let h = 16 - q. Solve -m + k - 2*k = -5, 3*m + h*k = 15 for m.
5
Let v(f) = f**2 - 6*f - 11. Let q be v(7). Let t be (q/(-10))/(8/(-10))*-4. Let i = -10 + 12. Solve -3*d = d - 2*s - 10, -t = i*s for d.
2
Let o(i) = -11*i + 4. Let p be o(-7). Suppose 8*v = p - 81. Solve -2*x - 7 = -3*z - 0*z, 3*x - z = v for x.
1
Let o be (1320/495)/(4/6). Solve 0 = u + 2*x, 2*x + 0*x + 12 = -o*u for u.
-4
Let a be 40 - ((19 - 14) + (-2)/2 + 1). Solve 2*w = -n + 1, 5*w = -5*n + 45 - a for n.
3
Let r be 2 - 108/57 - 570/5415. Solve 18 - 20 = p + j, -p + j - 4 = r for p.
-3
Suppose -327 - 214 = -251*q + 463. Solve 30 = -6*j - q*s, -23 = 4*j + 3*s - 3 for j.
-5
Let h be 4 + 3*4/6. Suppose -15*d = 3*d. Suppose d = 10*u - 7*u - 6. Solve -i - 3*w + 14 = 0, -h = -w - u for i.
2
Let x be -4489 + 4486 + (0/(-3 + 1) - -8). Solve 73*d - 9 = 2*w + 74*d, x*d + 21 = -4*w for w.
-4
Let w(u) = -u**2 - 5*u + 4. Let j be w(-6). Let a be (-4)/10 - j/5. Suppose -k + 17 = 4*i, 5*k - 66 = -61. Solve 5*m + 0*m - 2*p - 3 = 0, a = -i*p - 16 for m.
-1
Let o = -676 + 292. Let c = 388 + o. Solve 2*d - 2 = -0, c*w - 7 = 5*d for w.
3
Suppose -4*k - 8*k = -6*k - 48. Solve 5*d = 2*z - 1, -2*d = -13*z + k*z + 13 for d.
1
Let v be -2 + ((-12)/(-28)*7 - -1). Solve -v*k + 13 = d, 2*k - 16 = -2*k for d.
5
Let d(k) = -k**3 - 19*k**2 + 93*k + 35. Let y be d(-23). Suppose 23 = 8*n - 3*n - 3*f, -f + 3 = n. Solve x + 1 = -2*g, -n*x = g + 3*g + y for x.
-5
Suppose 5*u + 4*b - 12 = 0, 2*b - 5 = -u + 1. Solve z - 28 = 5*l, u = 6*l - 2*l - 3*z + 29 for l.
-5
Let u be (-54)/(-4)*784/3528. Solve -2*g = 46*v - 51*v - 22, 4*v - u*g = -12 for v.
-6
Let u(a) = -a**2 + 31*a + 182. Let c be (16/(-40))/(0 + 1/(-90)). Let h be u(c). Solve -6*z + 4*z - 2 = -h*o, 0 = o - 2*z - 2 for o.
0
Let i be (-3)/(-2) - 9/(-6). Let q be 7 + -13 + 4 + 1*i. Let s be q + -1 + (-90)/(-18). Solve 2*y - g - 3 = -0, -3*g - s = -4*y for y.
2
Let o = -7746 + 7761. Solve -14*d + 15*d = -2*i + 9, -o = -5*i for d.
3
Suppose -5*y - 15*y - 15 = -55. Let x be -1 + 3 + 1*2. Let b(v) = v**2 + v. Let n be b(-3). Solve 3*u + 2*a - n = u, -y*a = u - x for u.
2
Suppose -37*i + 2024 = 32*i + 19*i. Solve -113*r - i = -108*r + 3*a, 2*r - 5*a = -3 for r.
-4
Let k = 220 - 310. Let w be (-5)/(k/58) + 8/(-36). Solve -5*s + 6*s = -w*g + 16, 5*s = 2*g + 12 for s.
4
Let h = 4000 - 3994. Solve -3*p - 3 = 0, 8 = x - h*p + p for x.
3
Let p(u) = -u**3 - 4*u**2 + 5. Suppose -1 - 9 = -2*d, 4*o - 3*d = -31. Let x be p(o). Let s = 17098 - 17095. Solve x = n + w - 0, n = w + s for n.
4
Suppose -12*m + 11*m - 6*f = -94, 3*m = 3*f + 282. Solve -81 + m = n - 5*v, -4*v = -2*n + 14 for n.
3
Let x = -9024 - -9051. Solve 5*d - 10 + 21 = 3*n, x = -6*d - n for d.
-4
Let b be -1 - (-4 - (-3)/(-3)). Suppose -494 + 816 = 161*m. Let o = -1 + 3. Solve -o*v