ve c*u + f = i*u for u.
4
Let s(h) = -3*h - 10. Let f be s(-5). Suppose -4*d - j - 2*j + 12 = 0, -5*j = -20. Let g = -4326 - -4331. Solve f*r - 5 - g = d for r.
2
Suppose 1 = -2*o - 3*w + 11, -3*o = -w - 37. Suppose -352 = -11*k - o*k. Solve 0 = -k*i + 19*i + 6 for i.
-2
Suppose 1 = 2*k - 5. Let c(g) = 5*g**2 + 398*g - 412*g + 3*g**3 - 1 - 2*g**3 + 3 + 4. Let b be c(-7). Solve 0*s = k*s - b for s.
2
Suppose y - 36*y + 70 = 0. Suppose 3*s + y*b - 5*b = -6, 5*s + 4 = 2*b. Solve -m + s*m = 0 for m.
0
Suppose 0 = 2*w - 23 - 15. Suppose o - w = -3. Let i be ((-1)/(-2))/((-1)/(-6)). Solve -i*l + o - 1 = 0 for l.
5
Let c(j) = 27*j - 1100. Let n be c(41). Solve 11*q + n*q = 36 for q.
2
Let s = 9 + -5. Suppose 186*z - 16 = -14*z - 16. Solve z*d = 2*d - s for d.
2
Let l be ((-12)/(-4))/3*(-8)/2. Let f be (0/(-2))/(l + 24/4). Solve f = b - 7 + 2 for b.
5
Let n(z) = 221*z - 5303. Let t be n(24). Let k = -6 - -8. Solve 7 = k*s + t for s.
3
Suppose 4*v - 438 = -2*b + 190, 470 = 3*v + b. Solve -v*z - 14 = -158*z for z.
7
Let h(f) = -f**2 + 5*f - 4. Let o be (-2)/(-2) + 1 - (3 - 4). Let t be h(o). Suppose -2*l = v - t, -v - 6 = 2*l + 2*v. Solve 5*i = l + 17 for i.
4
Let w = 9373 + -9366. Solve 44*j + 185 = w*j for j.
-5
Suppose -3*d + 4*z = d, 5*d + 4*z = 0. Let a(r) = -r**2 - 8*r - 7. Let b(f) = -8*f + 49. Let h be b(7). Let s be a(h). Solve s = -q - d*q for q.
0
Let h be (132/55)/((-6)/(-40)). Let n be 20 + -8 - (20 + -14). Solve -5*f = -h + n for f.
2
Let q be 17/3 + 4/(-6). Suppose -f - 3*o - 15 = -27, 3*f + 2*o = 8. Suppose 2*v + q*u - 26 = f, 5*u - 17 = v - 0*u. Solve v*d + 3 = 2*d for d.
-3
Let t be (116/22 - 6)/((-4)/22). Let j(y) = y**2 - 7*y + 2. Let o be j(7). Suppose -o*f + 10 = 3*f. Solve t*n + f = -10 for n.
-3
Let d = 395 - 385. Solve d*l - 66 + 16 = 0 for l.
5
Suppose -12 = -0*k - k. Suppose -3*h - 60 = -5*j, 7*j + 3*h = 4*j + 12. Solve -k*m + j = -9*m for m.
3
Let h(q) = -14*q - 5. Let s be h(13). Let b be 2/6 + -1 - s/33. Suppose 0 = 4*r - l - 113, b*r + 4*l - 5*l - 141 = 0. Solve -5*i + 8 = r for i.
-4
Suppose 32 = 2*h - 5*j + 9*j, 0 = -3*h - 4*j + 44. Solve -129*o + 123*o + h = 0 for o.
2
Suppose -33*b - 31*b + 26 = -63*b. Solve b*t - 30 = 16*t for t.
3
Suppose -72 - 324 = -12*k. Suppose k*f - 8*f = 75. Solve -g = f*g + 20 for g.
-5
Suppose -4*j - 3*s + 168 = 0, 4*s - 53 = -3*j + 66. Suppose -4*a + 6*a = l + 5, 4*l = -5*a + j. Solve l*z = -0*z - 15 for z.
-3
Suppose -14*i + 8*i = t - 1067, 533 = 3*i + t. Solve -26*f - i = 56 for f.
-9
Suppose -979 - 364 = -17*l. Solve 7*d = 107 - l for d.
4
Suppose 4*n = 3*n + 62. Let b = -57 + n. Let c(u) = -u + 25. Let k be c(9). Solve 9 = b*y - k for y.
5
Suppose -2 = -3*f - 3*l - 5, 6 = -2*l. Suppose -3*n + 25 = 4*z, -1 = -n + f*n - z. Solve k + 8 = -n*k for k.
-2
Let n(g) = g**3 - 78*g**2 - 159*g - 31. Let y be n(80). Solve y - 46 = 3*m for m.
1
Suppose -9*f + 2917 + 1115 = 0. Let k be 56/f + (-686)/(-16). Solve -13 = -10*a - k for a.
-3
Suppose 3*b - 10 + 4 = 0. Suppose -q + 4*q - w - 10 = 0, 3*q + 4*w - 5 = 0. Suppose 0 = 4*f - 0*f - o - 11, -1 = -4*f + q*o. Solve -b*v = -6*v - f for v.
-1
Let a = -112 + 188. Let i = a + -73. Let o be (-1)/(-5) - 54/(-5). Solve 5 - o = -i*j for j.
2
Let n be 8/((-40)/(-255)) + -20. Solve 9*w = n*w - 132 for w.
6
Let a(p) = -447*p - 5811. Let t be a(-13). Solve -23*s + 25*s = t for s.
0
Let g = 1121 + -233. Suppose -25*u + 19*u = -g. Suppose 15 = -143*h + u*h. Solve 8*z = h*z - 15 for z.
-3
Let n be 1 - (-16)/12*3. Suppose n = 3*y - 7. Suppose -49*c + 1332 = 173*c. Solve -y*i = -c*i for i.
0
Let m be (-45)/20 + 2508/304. Solve 0 = m*u + 49 - 25 for u.
-4
Let c = -46 - -68. Suppose -3*v + 13*l = 16*l - 42, 5*l - c = -v. Solve -z + 7*z = v for z.
2
Let o be 4/(-32) + (-2)/((-32)/(-1038)). Let v = o - -68. Solve -10 = -h + v*h for h.
-5
Suppose -8*d = 5 - 61. Suppose 12*n = 10*n + 18. Solve d*o = 4*o + n for o.
3
Let y be (-23)/((-552)/840) - (-8 + 1)*1. Solve -588*d + 594*d - y = 0 for d.
7
Let q = -9436 - -9479. Solve -39*o + q + 113 = 0 for o.
4
Suppose -94*u + 792 = -22*u. Solve u*c - 15 = 16*c for c.
-3
Suppose -4*r + 3*r = 0. Let d be (5 - 4) + -4 - -273. Suppose -d = -23*w + 5*w. Solve 0 = -r*z - 5*z - w for z.
-3
Let f be 3*(1 + (-4)/6) + -1. Suppose -i + 10*p - 6*p + 12 = f, -5*i + 2*p + 6 = 0. Suppose -6 - 10 = -4*v. Solve -v = -i*b + b for b.
-4
Let i(q) = -q + 4. Let c be i(5). Let x(t) = -7*t**2 + 4*t + 3. Let g be x(c). Let y be g/(-1) - (2 + -1). Solve p - y = -3 for p.
4
Let p = -3888 - -3938. Solve 20*k = -10 + p for k.
2
Let c(i) = 32*i - 712. Let g be c(23). Solve -56 = -38*s + g*s for s.
4
Let w be -250*(-5 + 36/8). Let i = w + -124. Solve -3*l + i = -8 for l.
3
Suppose -k - 3*k - 36 = -4*t, 0 = -2*t - 2*k - 2. Let i(m) = m - t*m - 18 + 11 - 16. Let b be i(-9). Solve -9 = -5*q - b for q.
1
Let m(x) = 3*x**3 - 1. Let h(w) = 14*w**3 - 13*w**2 + 15*w + 30. Let k(c) = h(c) - 5*m(c). Let l be k(-14). Solve 0 = l*u - 19*u - 8 for u.
4
Let p(v) = -v**2 - 5*v. Let z be p(-5). Let k = -807 - -812. Solve u = -z*u - k for u.
-5
Let t be 9*(-2 + (51 + 0 - -5)). Suppose 0 = -7*m - 11*m + t. Solve -5*q + 12 = m for q.
-3
Suppose -f + 0*f = 3*d - 3, 3*f - 9 = 2*d. Let y = -20 + 22. Suppose 30 = 3*i + y*i. Solve d = -i*m + m for m.
0
Suppose 0 = u - 5*h + 5, 5*h - 1 = 3*u + 4*h. Suppose -100 = -5*g - 0*g - 4*j, u = j + 5. Solve g - 12 = 3*o for o.
4
Suppose 4*m - 45 = -q - 30, -4*q - 4*m = -24. Solve 15*v = 18*v - q for v.
1
Let l(q) = -8*q - 10*q - 2*q + 51 + q**2 - 207. Let h be l(26). Solve -y + 0*y = -h*y for y.
0
Let x be 35/((-432)/(-56) - 7). Solve 51*s - x*s + 10 = 0 for s.
-5
Let t(i) = -i**3 - 31*i**2 + 26*i - 137. Let b be t(-32). Solve -b + 4 = 17*m for m.
-3
Let m(p) = -4 + p**2 - 4 + 3 + 2*p - 4. Let j be m(-5). Solve -6*b + 3*b = -j for b.
2
Let k(v) = 2*v**2 - 334*v + 2958. Let q be k(9). Solve 190 = -38*r - q for r.
-8
Let s(t) be the second derivative of 4/3*t**4 + 3*t**3 + 0 - 1/20*t**5 + 2*t - 8*t**2. Let u be s(17). Solve 0 = f + u + 3 for f.
-4
Suppose 8 = z - 2*d, 2*d + 8 = -z + 6*z. Let q(f) = -2*f**2 - 5*f. Let v(r) = -r**2 - r. Let j(y) = q(y) - 3*v(y). Let t be j(z). Solve t*x - 2 = -x for x.
2
Let j(u) = -2*u - 7. Let c be j(-10). Let q = 32 + -23. Solve q*v - c*v = 0 for v.
0
Let b = 1766 + -1750. Solve 11 = -27*q + b*q for q.
-1
Let g(n) = 9 + 8 - 18 + 3 + n**3 - 5*n**2. Let k be g(5). Suppose -m + 17 = 3*l, -3*l = 3*m - k - 25. Solve 0 = t + l*t + 5 for t.
-1
Let o(g) = -g + 25. Let k(n) = -3*n**2 + 2*n. Let u be k(2). Let t be o(u). Let r be 2/(-11) - (4 + (-204)/t). Solve -4 = r*s - 3*s for s.
4
Suppose -2*k + 5*x - 2 = 2*x, 4*k - 2 = 3*x. Let n be (-190)/(-30)*(k + 1). Solve n*b = 15*b for b.
0
Let t = 603 + -766. Let a = 198 + t. Solve -3*h - a = 4*h for h.
-5
Suppose -r = 5*o - 14, -6*o + 5*r = -8*o + 24. Suppose -1 = 2*x - 3*x. Solve o*v - 7 - x = 0 for v.
4
Suppose 155*y = 2*z + 160*y + 28, 3*y = 4*z - 48. Solve 232 = -z*c + 238 for c.
1
Let x = -17 - -22. Let w = 177 - 77. Suppose -14*s = -18*s + w. Solve 0*b = -x*b + s for b.
5
Let c be (-2)/(-4)*((2 - -1) + 1). Let t be (-198)/(-264)*(2 + 0)*c. Suppose 0*w + 12 = 2*w. Solve -3*r - t = -w*r for r.
1
Suppose r = -5*i + 69 + 120, i = -r + 37. Solve 6*s - 2 = -i for s.
-6
Let k = -3200 + 3203. Solve -o - o = k*o for o.
0
Let g(f) = f + 12. Let r be g(-6). Suppose -4*t - 4 = 0, 3*p + 5*t - 8*t = 15. Suppose p*o - r = 3*o. Solve -2*z = -o*z - 20 for z.
-5
Let n(v) = -14*v + 180. Let p be n(12). Let r be -3*(p/(-4) - -4) - -125. Solve -r = -2*c - 132 for c.
-5
Suppose 4*f - 195*x - 133 = -192*x, 2*f - 5*x - 63 = 0. Solve 4*b + f = -30*b for b.
-1
Suppose -23 = -5*u + 3*r, -2*r + 5 - 15 = -2*u. Suppose 4*j - 4*a = -0*j + u, -5*j = -2*a - 17. Solve j*l + 1 = -19 for l.
-4
Suppose 3*o - 2*o + 3 = 0. Let l be 13/3*(o - (-24)/4). Suppose 3*x - l - 2 = 0. Solve -8 = -x*f + 7 for f.
3
Suppose 0 = -3*w + w - 4*i - 16, -i - 4 = w. Suppose -4*q = 4*z + 8, 5*z - 27 = -4*q - 40. Solve -4*m + q*m = w for m.
0
Let k = 569 - 319. Suppose 10 = 6*g + k. Let o = g + 50. Solve -2*s = -0*s + o for s.
-5
Let v = 1035 - 983. Solve 12 = -v*f + 56*f for f.
3
Let v(t) = -t**2 - 6*t - 8. Let y be v(-5). Let w = 19 - y. Suppose -a - 3*a + 6 = 5*c, 3*a - 5*c - w = 0. Solve 1 + a = h for h.
5
Suppose 14*x 