n = -2*x for q.
-2
Let u be -114 + (-6 + 4 - 4). Let r = u - -123. Solve -3*y + w = 1, -5*w + 16 = -y - r*y for y.
1
Suppose -3*b + 3*c - 6 = 0, 0 = -12*b + 8*b + 3*c - 3. Solve 4*g - 20 = i - 5, b*g - i = 11 for g.
4
Suppose 28 = 4*l - 12. Suppose -6*i + 14 = -l. Let n be ((-12)/14)/(2*8/(-56)). Solve -i*t - 2*m = 0, t + n*m + 8 = -t for t.
2
Let l(c) = -c**3 - 6*c**2 - c - 2. Let x be l(-6). Let w = 157 + -155. Solve -x*t - 24 = 4*f, 5*t = w*f - 31 + 8 for t.
-5
Let s be (-3315)/10 + 11/(-22). Let f be (-13)/(-8) - (s/32 + 10). Solve 0 = 2*u + f*q - 8, 4*u - 5*q = -0*q + 25 for u.
5
Suppose -5*h + 11 = 11 - 20. Solve 5*w + h*i - 3*i - 20 = 0, -2*i = -2*w + 20 for w.
5
Let u be (-37)/(-7) + (-2)/7. Suppose 29 - 44 = -16*a + 65. Suppose -v - u*c + 25 = 0, -5 = a*v - c - 0. Solve -2*f = -3*g - 4, v = 6*f - 3*f + 4*g - 23 for f.
5
Let a be ((-1)/(-2))/(-4 - (-1288)/320). Solve 3*w + a = 5*x, -4*x + 4*w + 16 = 9*w for x.
4
Suppose 57*c - 65*c + 208 = 0. Let j be -4*(-7)/(-182) + 4/c. Solve j = 5*f - 2*f - 5*d + 29, 0 = 5*d - 20 for f.
-3
Let q(b) be the third derivative of -b**6/120 - b**5/20 - b**4/8 - 7*b**3/6 - 5*b**2 - 3*b. Let h be q(-3). Solve 0 = 3*f - f + 5*u + 27, h*f - 3 = u for f.
-1
Let b(n) = -n**2 - 22*n - 8. Let m be ((-18)/5)/9 - (-206)/(-10). Let y be b(m). Suppose -108 = 4*a - y*a. Solve 0*l - a = 4*l - 4*z, z = -1 for l.
-4
Let d(o) = o**2 + 188*o + 1092. Let i be d(-6). Solve -5 = -m + w, 4*m - 15 = 3*w - i*w for m.
0
Let t(b) = -2*b**2 - b + 215. Let l be t(10). Let u = 18 - 8. Let r = u + -6. Solve -l*x = 20, 0 = -r*c - 3*x - 9 + 1 for c.
1
Suppose -26144 = 13*f - 26287. Solve w - 5*k - f = 0, -47*w = -43*w - 4*k - 12 for w.
1
Let l be 1/(2/(-8)*-2). Suppose 2040 = -11*v + 45*v. Let k be v/80 + 3/(-4) + 2. Solve 0 = -3*h - l*g - 2*g + 7, h = k*g + 9 for h.
5
Let d(i) = 4*i - 111. Let r = 216 + -187. Let j be d(r). Solve 5 = -j*z + 5*s, -3*z + 0*z - 5*s = -29 for z.
3
Suppose -5*n + 1790 = -15*n. Let i = -176 - n. Let z(u) = u + 6. Let q be z(-5). Solve -3*y - i = 3*o, -3*y = 2*o - 0 - q for o.
-4
Suppose -i - 3*v + 8 = -4, 2*v = 10. Let f(z) = -z**3 - 4*z**2 - 3. Let r be f(i). Let w be r/(-7) + (-6)/(-21). Solve -2*m + 0 = -3*g + 2, 5*g = 3*m + w for g.
-2
Let x be (-4)/(-5)*(-10)/(-4). Suppose 847*i + 20 = 848*i + 3*l, 5*l = 3*i - 60. Solve 0 = -4*j - 5*o + 9 - x, -4*o = -4*j - i for j.
-2
Let s(a) = -4*a - 49. Suppose 83*u - 4 = 82*u. Suppose 58 = -3*b - u*r, -3 = -5*b + 5*r - 53. Let n be s(b). Solve -n = -2*z - j, -2*z + 4*j + 25 = -j for z.
5
Let h = 5 + -1. Let f(k) = 1001*k - 11. Let m be f(1). Suppose 24*r - m = 90. Solve 4*o + 3*w + 35 = 0, h*w = -0*o - 5*o - r for o.
-5
Let u be (1024/384)/((-12)/(-27)). Suppose 0 = s + s - 64. Suppose 58 = 3*v - 5*c, -4*c + 2*c = 4*v - 60. Solve 3*z = 5*g + s, z = -u*g + g - v for z.
4
Let z(s) = -2*s**2 + 5*s + 25. Let y be z(5). Let k(t) = t - 9. Let v be k(9). Suppose 3*p + v*p - 12 = 0. Solve x = 0, y = -5*a - p*x - 0*x - 15 for a.
-3
Suppose -55 = 3*t - 130. Suppose 4*s = -5*k + 25, 33*k - 28*k - s - t = 0. Solve 15 = 5*m + 5*n, -4 - 7 = -m - k*n for m.
1
Let u(j) = 4*j + 22. Let t be u(-9). Let y be (0/(-1))/(7 + t + 9). Let d = 2 - y. Solve -5*c + 14 = 2*i, i - 6 = -d*i for c.
2
Let b(k) = 2*k**3 - 8*k**2 - 3*k + 14. Let o be b(4). Solve o*m + 5*h + 35 = 24, 2*h = 2*m - 10 for m.
2
Let l(x) = -25*x + 35*x + 214 - 25*x. Let i be l(14). Solve 2*c - 18 = 7*k - 2*k, 18 = -2*c - i*k for c.
-1
Let z = 342 + -154. Let u = -185 + z. Solve 3 - 31 = 5*d + 3*f, -d - u*f - 8 = 0 for d.
-5
Suppose 3*q + 4*q - 63 = 0. Suppose -5*o = -5*f + 184 - 199, -3*o + 14 = -2*f. Solve 5*v - x + f = 2*v, 4*v + x = -q for v.
-2
Let r(j) = -j**3 + 9*j**2 + 11*j - 7. Let f be r(10). Suppose -6 - 3 = -f*n. Suppose 5*c = -b, 2*c = -n*c + 3*b. Solve -2*v - p = -v - 7, c = 3*p - 15 for v.
2
Let s be (0 + (-8 - -9))*0. Solve s = -2*y + 3*v - 25, -2*v = y - 2 - 3 for y.
-5
Let d = -871 - -882. Suppose d = 13*t - 80. Solve -3*m = -t*m + 4*j, 2*m - 15 = -j for m.
5
Let t be (27/((-945)/14))/(2/(-330)). Suppose 28*c - t = 22*c. Solve -4*d = 3*r + c, d + 0 = r - 1 for d.
-2
Suppose -2*j - 5*u - 78 = 20, 0 = 5*j + 4*u + 262. Let v = 56 + j. Solve v*g = -x + 3 - 0, -g + 4*x = -6 for g.
2
Let v = 15 - 25. Let i be -23*2/(-10) - v/25. Suppose -5*x + i = -4*x. Solve 0 = -5*q, d + x*q + 1 + 4 = 0 for d.
-5
Let k = 932 + -927. Solve -r = -k*i, -i + 0 = -r - 4 for r.
-5
Let k be ((-48)/14)/(4/14). Let p(m) = -m**3 - 13*m**2 - 10*m + 29. Let q be p(k). Solve -c + 4*c = q*g + 2, 12 = c + 4*g for c.
4
Let s(z) = -z**3 - 13*z**2 + 61*z - 116. Let a be s(-17). Solve 9*f + 5 = 3*l + 4*f, 3*f + a = 5*l for l.
0
Suppose -4*i = -0*i - 3*j - 1883, -4*j + 914 = 2*i. Let q = i - 463. Solve 2*z - 11 + 3 = -2*h, -2*h - q*z + 14 = 0 for h.
1
Suppose -2*u + 4 = 0, 2*o - 19 = 3*u - 3. Solve -2*y = -c - 10, 5*y - 14 = c + o for y.
5
Let o be 106/(-4)*(20 + -26). Let q = 172 - o. Solve h = -x + 2, h + q = 3*x - x for x.
5
Suppose -26 + 8 = -9*b. Suppose -q - 5*r = -2, -b*r - 3 = -2*q + 1. Suppose 47*n - 46*n - q = 0. Solve -n*t + 4 = -t + f, -4*t - 2*f = -6 for t.
-1
Let f(y) = -y**3 - 7*y + 1. Let j be f(5). Let v = -156 - j. Solve -18 = -v*r - 3*h, 7*r - h = 5*r + 6 for r.
4
Let b be -3*126/27 - -31. Solve -2*s + 4*q = -6*s - 4, 4*q = 3*s + b for s.
-3
Let p = -5981 - -5984. Solve q = 4*l, 7 = p*q + 7 for l.
0
Let g(b) = b**3 + 9*b**2 + 12*b + 44. Suppose 112*y - 113*y = 8. Let o be g(y). Solve 2*z = -5*t + 6, -t - 4*z = -3*t + o for t.
2
Suppose -546 - 637 = -13*j. Let q = j - 86. Solve -q*x = -3*g - 5, -2*g + 10 = -0 for x.
4
Let c be (-6)/(-8) - 9/12. Let d be -2*(-15)/2*9/15. Suppose -d*u + 26*u = 85. Solve g + 5 = -4*g + u*j, -4*g - 3*j + 3 = c for g.
0
Let g(v) = -7*v**2 - 79*v - 200. Let d be g(-7). Solve z - l = 7, -3*z - d = -7*z - 2*l for z.
4
Suppose -41 = -7*r - 13. Solve 18*i - 21*i = 3*a - 9, 4*a - r*i = 12 for a.
3
Suppose -3*s + 216*d = 217*d - 12, s - 32 = -5*d. Solve 0*u - 6 = s*z - 2*u, -12 = -5*z - 4*u for z.
0
Let r(t) = -t**2 + 61*t + 348. Let q be r(66). Solve a = x, -3*a + 26 = -x + q for a.
4
Let s = 36 - 26. Suppose -6*z = -5*z - s. Solve 9 + z = -b + 3*n, n + 15 = -5*b for b.
-4
Let j be -2 - 275/3*3. Let r = j + 288. Solve -22 + 6 = 5*a + 2*n, 2*a - r = 5*n for a.
-2
Suppose 42 = -20*r + 142. Let m = 85 - 47. Let s be (m/(-9))/(-1) - 4/18. Solve 7 = 2*h + 3*c, 5*h + r*c - 2*c - s = 0 for h.
-1
Let b(v) = -6*v - 1. Let d be b(-3). Suppose -12 = d*l - 12. Solve 6 = 2*f + 4*r, l = 3*f - f - r - 6 for f.
3
Let c = 809 + -807. Solve c*p + 3*s = -4 - 9, 7 = p - 3*s for p.
-2
Let k = 869 + -864. Suppose 32 = 3*l - 3*j - j, 0 = -2*l + k*j + 33. Solve l*y + 1 = z - 3, y + 2*z = -10 for y.
-2
Suppose 3*o + 1 = -2. Let i be 78/12*(1 - o). Suppose -2*l + i = k + 2*l, 3*l - 26 = -4*k. Solve 0 = 3*u - x - x - 17, 3*x - 22 = -k*u for u.
5
Let i = 1679 - 1675. Solve 0 = -5*x - 5*c - 5, 4*c - 138 = i*x - 110 for x.
-4
Suppose -5531*t = -6518*t. Suppose p + 2*i = -0*i - 9, 3*p = -5*i - 30. Let o = p - -29. Solve 4*c + d + 23 = t, 4*c + 21 = -5*d - o for c.
-5
Let s(q) = 1 - 3 - 4 + 2*q**2 - 4 - 25*q. Let u be s(13). Solve 21 = -4*r - 5*y, -4*r + u*y + 2*y = 11 for r.
-4
Let v(b) = 2*b. Let s be v(31). Suppose -106 - s = -21*q. Let y(t) = 20*t + 1. Let k be y(1). Solve 0 = -5*h - 4*a, -q*h + 4*h + k = -a for h.
4
Let r(y) = -32*y - 1035. Let w be r(-33). Solve -4*v + 22 = -w*o + 23*o, -o + 3 = 0 for v.
4
Suppose -3 = -k - 1. Let y = 3 - 1. Suppose 1431 = 251*t + 97*t + 129*t. Solve -y*m = -t*m, -2*m = k*h for h.
0
Suppose 166*p - 40 = 161*p. Let t(k) = k**2 - 6*k - 13. Let n be t(p). Solve 0 = n*o - 3*m + 3, -4*m = 5*o - 4*o + 1 for o.
-1
Suppose 3*t = a + 75 + 66, 4*a + 132 = 3*t. Let f be (8/t*-15)/((-5)/4). Solve f*b + 5 = v - 2*v, v = -b - 5 for v.
-5
Let j be 434*34/833 - (-2)/7. Let a = -21 + 26. Solve 3*p - 8 = 4*g, -a*g + 3*g - j = -5*p for p.
4
Suppose n + 4*w = 13, 0 = -4*w + 5*w - 1. Suppose n*o = 6*o - 123. Let b = -39 - o. Solve -i + 10 = 2*t, b*t + i - 5*i = 0 for t.
4
Suppose 4*f - 20*v + 19*v - 33 = 0, 2*f + 2*v - 14 = 0. Solve -4*l - f = 0, 27 = 5*r - 4*l + 4 for r.
3
Let d = -21430 - -21436. Solve -5*x = -4*q - q + 5, -2*x = d*q + 34 for q.
-4
Suppose -2*p = -2*f - 6, 0 = p + 2*f - 3 - 6. Solve -b = -2*n