e 0*m = 3*m - 3*r - 9, -2*m - j = 2*r for m.
0
Suppose 0 = 2*o - 12 + 8. Let w(r) = r**2 - 3*r - 10. Let s be w(-2). Solve s*f = t - 2*f + 1, 8 = o*t + f for t.
3
Suppose -686 = -271*t + 127. Solve -11 = -5*n - z, 8 = t*n - 100*z + 102*z for n.
2
Suppose -6 = 4*f - 3*n, -2 = -5*f - n - 0*n. Suppose f = 2*t - g - 13, -28 = -5*t - 5*g - 3. Solve 4*a + 28 = 5*r, 0 = r + r + a - t for r.
4
Let q be (2/(-2) - -2)*30/(-2). Let n be (-2)/(-4) - (q/(-2))/(-5). Suppose -5*w = n*m, 2*m - 3*m - 2*w = 0. Solve -3*l - 30 = -5*z, m*z = -3*z + 9 for l.
-5
Let j be (-1)/4 - 42/(-8). Let o(n) = n**2 + 30*n - 60. Let p be o(-32). Solve 5*t + 4*y = 10, -j*t + y = p*y - 10 for t.
2
Suppose -29*a + 25*a = -80. Let k be 11/(-33) + a/6. Solve 4*q + 24 = k*w - 4, -q = -5*w + 24 for q.
-4
Let w(s) = -84*s - 1424. Let m be w(-17). Solve 0 = n + 3*h - m, -5*n + 13 = -7*n + h for n.
-5
Suppose 0 = -4*l + 3*i + 14, l + 5 - 15 = 4*i. Solve -l*u + 3*u = r + 5, 20 = -4*r for u.
0
Let g = -6266 + 6269. Suppose -2*i + 4 = -0. Solve -t + 5 = r + i*r, -4*r - g*t = -15 for r.
0
Suppose -4*l - 14 = -4*x - 5*l, 0 = -x - 2*l. Let d be (-30)/(-5) + (-14)/7. Suppose -65 = -d*o - 9*o. Solve 0 = x*q - 3*k, 2 = -q - k - o for q.
-3
Suppose -4*w + 0*w - 216 = -4*h, -w = -3*h + 158. Suppose 0 = -h*z + 51*z + 7. Suppose j = -1 + 3. Solve 5*y - 15 = -5*c, j*y - z = -3*c - 2 for y.
4
Suppose 2*l + 9 = 4*n - 9, 0 = l - n + 3. Solve 2*i - l*y + 7 + 10 = 0, -y = 3*i + 9 for i.
-4
Suppose -4*u - u + 281 = -r, -r + 2*u = 293. Let w = r - -305. Solve -5*m - w*c - 14 - 6 = 0, 4*c + 20 = 0 for m.
0
Let z = -1202 - -1206. Solve 24 = -z*v - 9*g + 7*g, -4*g - 16 = 0 for v.
-4
Let v be 9/21 - (-285)/21. Let x = v - 10. Suppose 2*z - x*d = 12, -13 = -3*z + 5*d + 4. Solve 0 = -4*f + 2*h, 1 - 5 = z*f - h for f.
-2
Let m be (-188)/5*((-3)/2 + 4). Let o = 97 + m. Solve -2*y + 2 = 2*n + 6, -10 = n - o*y for n.
-4
Let i be 3/(-2)*1*192/(-72). Suppose -11 = -2*p - 3*o, -32*p + 4*o = -36*p + 20. Solve -2*w - 4 = -4*d - d, -p*d - i = -4*w for w.
3
Suppose 3*x - 251 = -209. Solve 0 = -2*y + 4*r - x, 5*y - 8*r + 3 = -6*r for y.
1
Let h = 7583 - 7578. Solve -2*i - h*m + 5 + 9 = 0, -2*m + 8 = 0 for i.
-3
Suppose 0 = 5*u + 4*i - 2*i - 11, -12 = -4*i. Let y(g) = -g**2 + 16. Let r be y(0). Suppose r = a + u. Solve c + 0*c - a = 3*x, -x + c - 7 = 0 for x.
-4
Suppose o + 4*z - 7 = 3*z, -5*z + 10 = 0. Let k = -407 + 410. Suppose 2*a - o*m - 40 = -k*a, -3*a - 6 = 3*m. Solve 3*n + 1 = -u, n = a*u - 23 + 6 for u.
5
Suppose 6*r - 3*r = -1038. Let l be (-42)/70 - r/10. Suppose -50 = -6*d + l. Solve -4*m = -m + b + 10, -4*m - 2*b = d for m.
-3
Suppose 4*u - 54 = -3*l, -l - 72 = -2*u + 20*l. Solve 36*h = 31*h - u, 5*m = -5*h - 40 for m.
-5
Let z(o) = o**3 + 8*o**2 + 10*o + 26. Let t be z(-7). Suppose -10 = -t*j + 2*j - 2*i, 2*j - 2*i = 0. Solve j*r - 4 + 0 = -x, 3*x - 2 = 4*r for r.
1
Let d be (2 - (-16)/12) + -18 + 265/15. Solve 0 = d*r + 5*c - 16, -8 = -3*r + 2*c - 6 for r.
2
Let z be (-9 - 0)*5*13/195 - -75. Solve m = y + 2, -4*y = -75*m + z*m + 3 for y.
3
Let x be (3705/19)/13 + -11. Solve -3*u = -4*a + 3 - 6, -4*a = -4*u + x for a.
0
Suppose -3757 - 3080 = -43*t. Solve -5*f + p = -20, t*p = 154*p - 25 for f.
3
Suppose 1 = g - 3. Suppose 586 - 259 - 255 = 24*b. Solve 32 + 9 = -5*o - g*m, 2*o + 22 = -b*m for o.
-5
Let l = 120 - 225. Let z = -100 - l. Solve j = z*p + 22, -4*j + 0 = 5*p + 12 for j.
2
Suppose -8*f + 6*f - 50 = 0. Let z = -76 - -39. Let a = f - z. Solve -s + 16 = -3*s + 4*b, a = -3*s + 3*b for s.
0
Suppose -c + 21 - 7 = 5*f, 0 = -4*c + 4*f + 128. Suppose 12*r + 51 = c*r. Solve -4*u + r*u - 3 = -d, 0 = d - 3*u - 3 for d.
3
Let y be 12/(-36) - ((-13)/3 + 1). Solve o - 13*l - 5 = -11*l, -2*o + y*l = -7 for o.
-1
Let g = -14589 - -14597. Solve -2*n = 2*o - 2, 2*o + g = 2*n + 14 for n.
-1
Suppose 14*o = 9*o + 205. Let g = o - 41. Solve 0 = 5*q - j - 15, g = 5*q + 3*j - 35 for q.
4
Let h be -2 + 166/(3 - 1) - 1. Let g = h + -79. Suppose 5*i - g = 19. Solve 0 = 5*d + l, l = i*d + 3*l + 6 for d.
1
Let l be (4/6)/(((-25)/5)/45). Let k = l - -11. Solve -3*m + k = n - 3, -15 = -4*n + 5*m for n.
5
Suppose 2*d = -n + 31, 0 = 3*n + 5*d - d - 95. Solve n*j - 2*v - 6 = 37*j, -3*j - v - 5 = 0 for j.
-2
Suppose 0 = 78*i - 81*i + 24. Suppose i*s + 3*s = 264. Solve -5*b + s = m + 4, 0 = -m - b for m.
-5
Suppose 299*p + 134 - 6413 = 0. Solve -9*b = -4*b + j - 1, 5*j + p = b for b.
1
Suppose 1033*c + 24 = 1039*c. Suppose -3*p + 28 = -4*g, 5*g - 74 = -c*p + 3*g. Solve 2*s - 4*a + 6 = -3*s, 4*a = p for s.
2
Let h be 15*((-56)/(-12) - 5)/(-1). Suppose 33*y + 5*n - 23 = 31*y, 3*n - h = y. Solve 0*t + y = -2*t - 3*x, -2*t = -x - 12 for t.
4
Let f(v) = -4*v - 58. Let r be f(-19). Let b(s) = 2*s - 34. Let j be b(r). Solve 4*t + 2*g - 16 = 0, -2*t = j*t + 4*g - 16 for t.
4
Let c(b) be the first derivative of -b**3/3 + 3*b**2 - 6*b + 6. Let d be c(4). Suppose -9 = -d*w - w. Solve 0 = -5*g - 3*q - 16, -w*q - 2 = -2*g - 0 for g.
-2
Let q = -100 - -107. Let v be -3 + ((-175)/(-140))/(2/8). Solve -t - t + 10 = -5*k, 3*t + q = v*k for k.
-4
Let g(a) = 15*a - 66. Let n be g(26). Suppose 180 + n = 63*p. Solve -4*s = 0, 4 = 2*d - 2*s + p for d.
-2
Let l = -26270 - -26275. Solve -45*b = -43*b + g - 14, 7*b = l*g - 2 for b.
4
Suppose m = 2*y + 5*m, -2*y = -5*m + 36. Let q be (-2)/y - (-46)/8. Solve 2*u + q = 6*u + p, -5*u + 2*p = -14 for u.
2
Let h be (-18)/(-48)*36*8/3. Let x be h/14 - (8/7)/2. Solve 2*c + 3*q = x, 3*c - 5*q = 7 - 4 for c.
1
Suppose 2*q = -2, -6*q - 78 + 32 = -5*i. Solve -4*g + i = 5*n, -3*n - 2*g = -24 + 18 for n.
4
Let x be (5 + 0)/(34 - 33). Let g be 92/4 + (2 - 7). Solve 5*w - 3*w + 21 = x*h, -w - g = -4*h for h.
5
Suppose 5*v - 60 = -7*v. Suppose -2*k - 2*k + 21 = -v*z, 4*z + 24 = 5*k. Solve -k*g + 12 = -5*w, 4*w + 3 = -3*g + 12 for g.
3
Let z = 4 - 3. Let j be -35*-2*(-5)/30*6. Let t = 77 + j. Solve -2*v = -3*w + z + t, -5*w + 16 = -4*v for w.
0
Suppose m + 12 = 2*z, z - 2*m = -5*m - 8. Suppose 3*b - 17 = -s, 0*s - z*s + 24 = b. Solve 0*v - 13 = -3*k + 2*v, 0 = b*k - 4*v - 16 for k.
5
Suppose 4*u = 5*k - 207, -8*u + 10*u = k - 39. Suppose 52*w - 90 = k*w. Solve -5*j + a - w = 0, 3 = -3*j - a - 3 for j.
-2
Suppose 202 = -15*h + 262. Solve 2*v - d = -8, -h*v + 9 = 5*d + 11 for v.
-3
Let n(c) = c**3 + 3*c**2 - c - 3. Let a be n(1). Solve -h - 4*s - 21 + 8 = a, 3*h + s + 17 = 0 for h.
-5
Let k = -3 + 11. Suppose 12 = -6*p + k*p. Suppose -5*t + p + 14 = 0. Solve 0 = -2*v - z + 1, 0 = 5*z - z - t for v.
0
Let n = -3337 + 3340. Solve -2*v + 3*y - n = 2*y, 0 = 4*v - 3*y + 9 for v.
0
Let l = -672 - -686. Suppose -9*c + l*c = -3*n + 20, -5*c = -n - 20. Solve n = 5*z + 5*s, z + z - 4*s = -30 for z.
-5
Let q(u) = -74*u**3 + 141*u**2 + 145*u + 5. Let v be q(-1). Solve h - 2*d + 66 = v, 5*h - d - 18 = 0 for h.
3
Suppose 3*j = j + 34. Let y = -12 + j. Let m be (-9*(-38)/(-12))/((-9)/6). Solve 3*z - m = y*l, 3*l + 9 = 2*z - 2 for z.
-2
Let c(s) = -12*s**2 - 122*s - 8. Let l be c(-10). Suppose 3*n + 3 = -5*x - l, 2*x - n = 5. Solve -3*i - 2*t + 19 = 0, -5*i - 7*t + 6*t + 20 = x for i.
3
Let l be 0/(2 + -3) + 0. Suppose 24032*j + 185 = 24069*j. Solve l = -j*r + 5*y + 15, 4*r + 21 = -r - 4*y for r.
-1
Let c(h) = -13*h + 70. Let a be c(5). Suppose -8 = -3*w + d, -35 = -a*w - d - 11. Solve y = -r + 1 + 2, -w*y + 12 = -2*r for y.
3
Let p = -7365 + 7370. Solve 0 = -v + p*f - 0*f + 4, -7*f = 0 for v.
4
Let t = -13864 + 13900. Solve 18 = 5*b - 2*w, -t = b - 2*w - 38 for b.
4
Let v = 416 - 412. Suppose 0 = 4*j - 4*f + 121 - 29, -j = -4*f + 14. Let l = j - -48. Solve -3*c + l = v*m, 5*m = c + 19 - 1 for m.
4
Suppose 4*s + 3*h = 229, 0 = -s + 4*h - 4 + 85. Suppose 4*g - s + 49 = 0. Solve j = 2*z + g, 2*j + 5*z - 3 = 3 for j.
3
Let v = 31 + -34. Let i be 10*((-168)/(-5))/v*-1. Suppose -15*w + i = -w. Solve -3*l = 2*s - s + w, 5*l = -s - 14 for l.
-3
Let p be 5/4*(-12)/(-3). Let k(w) = -w**3 - w + 6 - 4*w - 10*w**2 + 21*w**2 - 3*w**2. Let y be k(4). Solve 3*f + 4*d = 5, -6*f = -f - p*d + y for f.
-5
Let q = -25 + 7. Let f(t) = 22 - t - 85 + 25 + 23. Let g be f(q). Solve 3*b + 13 = -2*r - 2*b, 0 = -4*r + g*b - 13 for r.
-4
Let y(v) = 6*v + 9. Let r be y(2). Suppose -4*w + 2*z - 27 = -9*w, 4*w = -z + r. Solve x = 1, -a - x + w*x - 6 = 0 for a.
-2
Let v be (-