+ 20*j, 2*j + 23 = m*s for s.
5
Let j = -24463 + 24466. Solve -h + 0 = -3*q - 8, 0 = -h - 2*q + j for h.
5
Suppose 24 = -7*g + 402. Suppose -8*p - g = -14*p. Solve 2*l + 0*n = 5*n - 1, -3*l + p = 3*n for l.
2
Suppose -30*s - 29*s + 61 = 2*s. Solve 4*p - 7*p - 4*f - s = 0, 0 = -f + 2 for p.
-3
Suppose -3*a + 4*w = -24, 7*a = 9*a - 5*w - 23. Solve -5*f + a*x + 7 - 14 = 0, 0 = -f - 2*x + 7 for f.
1
Let a(b) = -3*b**3 + 15*b**2 - 9*b + 5. Let i be a(4). Suppose -5*d + i = -33. Solve -4*f - 1 + d = 5*z, 2*f - z - 1 = 0 for f.
1
Let y = 290 + -258. Solve 5*l = 4*o + 1, 7*l - 11*l = 5*o + y for l.
-3
Suppose -52 - 23 = -25*a. Let f be -3 + (13 + 5)/a. Solve 3*p - 9 = -5*t, 7 = f*p - 2 for t.
0
Let b(w) = -2*w**3 + 13*w**2 - 4*w - 15. Let q be b(6). Let a be ((-13)/q - -2) + (-16)/48. Solve 2*l + r = 5 - 2, -4*l - a = -2*r for l.
0
Let g be 2*(1 + -4 - (-27)/6). Suppose -a - g = -3*a + 5*h, -33 = 3*a + 5*h. Let w be a/(-5)*(-130)/(-39). Solve -5*y = c + 25 - w, 5*c - 4*y = 40 for c.
4
Suppose 15*t = 97 - 22. Solve -5*b = -4*d + 6*d - 23, -t*b - 5 = -5*d for b.
3
Let f(y) = 136*y**2 + 406*y - 3. Let k be f(-3). Solve 3*t = 4*j + 12, 12 = k*t + 11*j - 10*j for t.
4
Suppose 4*f = 5*j - 2, -2*j = -5*f + 26 - 20. Solve -m + 11 - 7 = j*o, -m - 8 = -o for o.
4
Let m be 48/8 + -2 + 5. Suppose -19*s + 18*s - 3 = -4*b, -2*b + m = -3*s. Solve -13 = 5*o - 4*j - 0*j, -2*o - 4*j + 6 = b for o.
-1
Suppose -1213*l = -1233*l + 320. Solve -27*d = -5*b - 23*d - 38, 3*b = -d - l for b.
-6
Let p be (2*1)/(396/(-394) + 1). Let f = -387 - p. Solve f*r = -4*v + 4*r + 31, 0 = 2*v - 3*r + 7 for v.
4
Let u be 23 + 1 - (-6 - 24*4/(-8)). Solve 4 = 4*l - 2*b, -u*l + 14*l - 12 = 2*b for l.
-1
Let s(r) = -r**2 - 3*r + 2. Let x be s(-4). Let k be 1/x + 5/10. Let z be k/3*(4/(-2))/(-4). Solve -4*t - 3*a - 20 = z, 3*t - a + 0*a = -15 for t.
-5
Suppose 2*d + 302 = -3*n, 3*n + 61 = 4*d - 271. Let r = -99 - n. Suppose r*p - 5 = c, 4*c + c + 2*p = 56. Solve 0 = -4*v - 3*t - 11, 10*v + 5*t + c = 5*v for v.
-5
Let m = 6 - 1. Suppose 2*g + 9 - 5 - 12 = 0. Solve 2*z - 11 = z + g*n, -m*z - 5*n - 20 = 0 for z.
-1
Let h be 5*(-56 + 57)/(2 + -1). Solve -m + 3*n - 4 = 3*m, -5*m = -h*n + 5 for m.
-1
Suppose 7*h - 6*h + d - 4 = 0, h = -4*d + 4. Suppose -2*m + 71 = 5*n, -m - h*n = m - 66. Solve 3*j = 5*z - m, 3*z = -2*j + 7*j + 17 for j.
-1
Suppose 124 - 130 = -3*h. Solve h*y + 2 - 4 = 0, -2*l + y = -9 for l.
5
Suppose 29*r - 2*r = 3402. Suppose 0 = 21*m + 63 - r. Solve 2*i + 5*c + 5 = 0, 10*i = 12*i + m*c - 1 for i.
5
Let s = 48 - 48. Let a be -1 - s - 75/(2 + -5). Suppose -3*z + 2*z = -3, -3*z + a = 5*d. Solve -4*t + 4*f = -4, -d*t + 4*f - 3 = -5 for t.
2
Suppose 29*p + 14*p - 250 = -7*p. Solve -3*h + p*y - 3*y + 17 = 0, -2*h = -3*y - 13 for h.
5
Suppose -12*s = -14*s. Suppose s = 2*b - v - 18 + 20, b = v - 2. Solve -4*x - 13 = -k, 2*k + 0*k + 5*x = b for k.
5
Let x(h) = -24*h - 211. Let z be x(-9). Solve -l + 4 = z*p, 2*l = -2*p - 0*p for p.
1
Let f(m) = m**3 - 11*m**2 + 20*m - 16. Let x be f(9). Let h(u) = 4*u - 7. Let d be h(x). Solve 0 = -w + 5*y + d, -w - 8 + 3 = y for w.
-4
Let j be (-2)/(-15) + (-3540)/(-450). Let q(k) = 5*k - 36. Let s be q(j). Solve -a + 15 = -4*n + 2*a, 2*n + 10 = s*a for n.
-3
Let j = 987 - 1396. Let c = j - -413. Solve 6*o - c*o = -4*g, o = -4*g - 2 for o.
2
Let c(n) = 2 + 2*n - 5*n - 6*n - 2*n. Suppose -3*z + 2 - 12 = -2*d, 4*d = 5*z + 16. Let p be c(d). Solve 3*k = -4*b - p, -5*k = -4*b - 3*k - 18 for b.
-4
Suppose -5*t = 25, 5*t - 8*t = b + 17. Let g be (b + 3)/(9/45). Solve -g*a - 5 = -5*z, 0 = -3*z + 5*a - 5 + 2 for z.
4
Suppose -4*n + 1324 + 332 = 0. Suppose 5*j - n = -j. Suppose -3*s + j = 42. Solve 5*y - 4*k = 7, 4*y - 3*k = 5*y - s for y.
3
Suppose 21*r = 26*r - 5*z - 5, 0 = -2*r - 4*z + 8. Solve p - 1 = 0, 0 = r*v - 69*p + 68*p - 5 for v.
3
Let y = -1942 + 1947. Let n be (-228)/(-18) + 4/(-6). Suppose -7*b + n = -3*b. Solve -b*x + 10 = 2*x - y*k, 6 = x - 2*k for x.
-2
Suppose 46*j - 256 = -82*j. Solve -5*z - j*b + 6 = 0, 49*z - 54*z - 3*b + 9 = 0 for z.
0
Suppose -3*b - 4*b = -1099. Let l = b + -155. Solve -l*w - 12 = w, 5*s - 4 = -4*w for s.
4
Let u(g) = 3*g + 5. Let w be u(-2). Let n be w/((-9)/27*3/4). Suppose 0 = -4*a - 3*h + 19, 2*a = -2*a + 4*h + 12. Solve -5*o = n*p - 0*o + 10, -a = -2*o for p.
-5
Suppose 2 = 5*x - 8. Let z(o) be the first derivative of o**4/4 + 2*o**3/3 - o**2/2 - 4*o + 1880. Let h be z(x). Solve 3*v + r = 7, -r - h = -5*v - 1 for v.
2
Let l be (6/5)/((-14)/(-105)). Suppose -3*j + 15 = l. Solve -5*h = 2*s + 15, -3*s - s - j*h = 6 for s.
0
Suppose -u - 4*y + 399 = 0, -y + 13 - 10 = 0. Let z = u - 387. Solve 16 = 2*w + 2*j - z*j, 5*j - 32 = -3*w for w.
4
Let g be ((-56)/20*-1 + -4)*50/(-15). Solve g*q - k = 24, 10*k = -2*q + 7*k - 2 for q.
5
Let b(s) = -11*s - 220. Let p be b(-29). Suppose a - p = -4*x, -14*x - 96 = -18*x - 4*a. Let l be 122/8 - 3/12. Solve -16 = 2*o - 5*c + l, -5*c + x = 0 for o.
-3
Let d(q) = 6*q**3 + 18*q - 19. Let l be d(1). Solve l = 5*n - 5*a, 5*n + 0*n - 2*a - 5 = 0 for n.
1
Let l = 180 - 189. Let x be l*(-4 + (-22)/(-6)). Solve -5*b = x*m - 15, -2*b + 2*m = -3*m + 25 for b.
0
Let g(i) be the first derivative of i**4/4 + i**3/3 - i**2/2 - 7*i - 67. Let n be g(3). Solve -4*y - 20 = 0, z + n = 4*y - 9*y for z.
-1
Suppose -44*u - 78 = -5*u. Let s = 7 + u. Solve -4*q + q = -g + 16, -s*q - 5*g - 20 = 0 for q.
-5
Let s be 39 + -28 + (1 - 4). Solve -s = -v + 2*w + 3, -4*w - 4 = 4*v for v.
3
Suppose 3*a - 8 = k, -4 = -2*a - 3*k + 4*k. Suppose 3*q = -5*b - 11, 2*q + 6 = -7*b + a*b. Solve 2*l = -q*w - 10, -5 + 18 = -4*w - 3*l for w.
-4
Let z be 1453/5 + (-16)/(-40). Let h = 293 - z. Solve h*o + 25 = -3*c, 5*o = -2 - 23 for c.
-5
Let h be 240/(-180)*(-3)/2. Solve -5*z - 5*g - h = -7, 0 = 2*g - 6 for z.
-2
Let y(s) = s**2 - 9*s - 627. Let a be y(30). Solve -3*m + a*k - 223 = -220, -4*m = -2*k + 10 for m.
-4
Let t be (-2)/(-3) - (0 - (-12)/(-9)). Suppose -10 = t*r - r. Let c be (-12)/(-10)*5*(-15)/r. Solve -5*f = 2*k + 31, -16 = 5*f + c for k.
-3
Let h(v) = -205*v - 22. Let s be h(-1). Let t = s + -180. Solve -2*i + 1 = 4*o - 1, -t*o + i + 14 = 0 for o.
3
Suppose 20*y - 45 = -21 + 16. Solve -5*w = -y*r - 22, 2*r + 15 = -r + 3*w for r.
-1
Suppose 4*z + u = -71, 3*z - 9*u + 77 = -5*u. Let i be (-14)/(-2) - 0/z. Solve -p + 2*g = -4*p + 5, -5*p = 2*g - i for p.
1
Suppose 587*a = 584*a + 12. Suppose 4*q + a*o - 20 = -4, 20 = -2*q + 5*o. Solve 2*f = 6*f - 3*y + 12, q = 4*f + 3*y - 12 for f.
0
Suppose 0 = 9*u - 1517 + 1364. Solve -j + 3*b = 5, 29 = -14*j + u*j + 2*b for j.
7
Let f be 4 + 1 - (3 + -3 + 3). Solve -30*i + 2 = -f*t - 31*i, -18 = 5*t - 4*i for t.
-2
Suppose -90 + 222 = 12*f. Suppose -82 - 17 = -f*v. Solve 4*x + v = -j, 2*j - 1 = -3 for x.
-2
Let t(j) = 10*j + 161. Let w be t(2). Solve -2*g - 5 = 3*y, w*y - 8 = g + 177*y for g.
-4
Let k(c) = 18*c - 235. Let b be k(28). Let d = b - 262. Solve -y + r - d = 0, 2*y - 1 = -3*y - 4*r for y.
-3
Let r be (91/26 - 6)*172/(-10). Let b = r - 40. Solve -3*p = -4*t + 3*t + 16, 0 = 2*t - b*p - 20 for t.
4
Let x(w) = -230*w + 1611. Let s be x(7). Solve -i = 5*k + s, 5*i + 3 = -3*k - 2 for k.
0
Let o(z) = -233*z - 3959. Let m be o(-17). Solve -4*l = -2*w + 12, -2*w - 9 = 3*l + m*w for l.
-3
Suppose 3*i = -2*x, -4*i = -20*x + 23*x. Suppose x = -1012*k + 1005*k. Solve k = -q + 5*o + 3, 5*q - 4*o + 11 = -5*o for q.
-2
Let c be 5/7*5 - 15/(-35). Let f be 12/(-30) - (18/15)/2. Let i be c - -3*f/(-3). Solve 0*d - d + 6 = i*k, 4*d = 2*k + 2 for k.
1
Let u = -560 - -576. Solve 4*x + 8 = -4*i, 2*x + i + 4*i = -u for x.
2
Let g = -533 + 538. Solve -20 = g*n - 5*d, -5*d + 9 = -4*n - 12 for n.
1
Suppose -4*v + 4*t = -48, 0 = -5*t - 0*t + 10. Suppose v*d - 6 = -w + 13*d, 3*w - 5*d = 10. Solve 0 = -2*z + 5*y + 20, 5*z + w = 2*y + 13 for z.
0
Suppose 28*n - 68 - 16 = 0. Suppose 24 - 7 = 3*u - 2*c, n*u - 16 = c. Let h be (-11)/(-3) + 2/(-3). Solve 2*k - 16 = u*i, -h*i + 4*k + 1 = 5 for i.
-4
Suppose -7*f + 3*f + 20 = 0. Suppose -448*z = -9*z - 90 - 1227. Solve 5*x + o = -z*o + f, -3*o = 4*x - 5 for x.
5
Let r = 2 + -39. Let w be (-12)/(-1) + 34 + r. Solve -w*b = -5*q - 5*b - 10, -q - 2*b = -12 for q.
2
Suppose -30 = -2*n - 4*n. Suppose 0 = -n*s - 5*v + 3*v, -5*s = -4*v - 30. Solve -m + 0 = -2*r + 3, 