1
Let w(v) = -v - 8. Let q be (4/6)/(2/(-30)). Let j be w(q). Solve j*b - 6 = 4*h, -3*h - 2*b = -3*b + 6 for h.
-3
Suppose 0 = -3*o + 3, 2*p + 14*o - 15*o = 3. Solve -4*y + 0*y = 0, -2*w - p*y = 0 for w.
0
Suppose -6 = -2*t - 4*b, 4*t - 20 = 3*b + 14. Let q(y) = y**2 - 3*y - 20. Let o be q(t). Solve f + 5*s + 14 + 0 = 0, -4*f = 4*s + o for f.
1
Let l be 910/(-195)*1*(-18)/21. Solve 0 = 4*y - 3 - 17, 0 = -l*w - 4*y + 8 for w.
-3
Let x = -748 + 355. Let d = x + 395. Solve 4 = k - 3*u, 4 + 9 = -d*k - u for k.
-5
Let v be ((-8)/(-10))/((-1)/(-5)). Suppose -7*b + 2019 + 46 = 0. Suppose -4*o - 275 = -b. Solve -o*n - 2 = c, n + 2*c + v = -n for n.
0
Let q = -10687 + 10690. Solve -10 = 4*j - 2*n, q*j = 2*n + 77 - 82 for j.
-5
Let r be 16/(-32) + 242/4 - 1. Let n = -27 + r. Suppose 0*b = -4*b + n. Solve 0 = -4*k - b, 0 = p + k - 0 + 5 for p.
-3
Suppose 0 = -y + 2*y + 4, 5*l + y = -19. Suppose -85*h = 43*h + 256. Let q be h - -9*l*(-3)/9. Solve -5*r = j - q, 4*r - r - 4*j = -5 for r.
1
Suppose 378 = -1018*i + 1032*i. Solve 0 = 5*g - 3*u + 19, -4*g + 11 = -2*u + i for g.
-5
Suppose 679 = 109*b - 289 - 122. Solve 1 = b*v - 13*v + 2*l, 0 = 5*v + 4*l + 9 for v.
-1
Let v(c) = 1601*c + 36852. Let h be v(-23). Let q = 6 + -2. Solve 4*w - 22 = -2*u, -q*u + h = 5*w - u for w.
4
Let w = 99 - 77. Let i = -1115 - -1117. Solve 0 = -0*k + i*k + p + 2, -5*p = -2*k + w for k.
1
Let c = 205 + -190. Suppose -c - 12 = -9*y. Solve 4*l - y*g - 14 + 0 = 0, g + 12 = 5*l for l.
2
Suppose 5*v - 4*c = -2 + 15, -5*v - 2*c + 31 = 0. Let t be (-300)/(-30) - v*1. Solve -37 = 3*g - t*n, g - 6*g + 4*n = 40 for g.
-4
Let j(n) = -726*n + 9442. Let w be j(13). Solve -2 = -4*r - 2*x, -r + 98 = -w*x + 93 for r.
1
Suppose 0 = 46*k + 9*k + 3355. Suppose -169 = -3*u + 26. Let z = u + k. Solve -z*m - 1 = 3*b, m + 2*m + b + 7 = 0 for m.
-4
Let j be ((-5)/(-7) - 1)/(191/(-1337)). Let h(l) = -2*l**2. Let i be h(1). Let c be i/9 - (-94)/18. Solve c*t - 17 = 4*k, k - j*k = -2*t + 5 for k.
-3
Suppose 3*m + 3 = -o - 16, 3*o + 33 = -5*m. Let q be m/51 + (-418)/(-374). Solve z + t = -q, -3*z + 14 = -2*t + 2 for z.
2
Let c be -2 - 3*(-184)/(-12). Let l be (c/40)/((-3)/10). Suppose -4*q = -f - 15, 5*q - 25 = -5. Solve 2*r + 2 = -l*s, f - 9 = 2*r + s for r.
-5
Let d = -28240 + 28240. Let s be 0 + 11 - 2*-1. Solve -2*x = 3*j - 7, d*j + 5*j - s = -4*x for j.
1
Let z be 10/15 + (-2)/3. Let m(c) = 7*c**2 - 30*c + 5. Let d be m(4). Let v be d*(-2)/(-3)*(7 + -8). Solve -3*w - v*o - 21 = -6*w, z = 5*w - o - 28 for w.
5
Let d(z) = z**3 - 16*z**2 + 13*z + 26. Let o be d(15). Let u be (3/o)/((-23)/184). Solve 6*q - u = -3*g + q, 4*g - 8 = -4*q for g.
2
Let w(j) = j**2 - 10*j - 22. Let f be w(12). Suppose -b = f, 0 = -2*z - 0*z - 2*b + 2. Let n be ((0/z)/3)/(4 - 3). Solve n*p + 19 = -a - 3*p, a + 9 = -p for a.
-4
Let m be (-4)/(-18)*(819/42 - -3). Solve -3*j - 8 = m*l - 10*j, -2*l - 3*j = 9 for l.
-3
Let q be (46/(-115))/((-2)/460) - 0/(-2). Solve -87*v - 19 = -2*f - q*v, -2 = 4*f + 2*v for f.
-3
Let z(f) = -35*f - 768. Let o be z(-22). Solve -4*b + 3*b = -o*u - 9, 3*u - 4 = -2*b for u.
-2
Let f be -3 + -1 + 22 + 2. Suppose -g = -4*h + f, -4*g = 3*h - 7*g - 24. Solve 27 = h*y - 5*z, 9*y - z = 6*y + 12 for y.
3
Let r(j) = 19*j**2 - 73*j - 232. Let q be r(6). Solve -3*f = 2*h - 7*h + 18, -f = 5*h - q for h.
3
Let g(t) = -10*t + 164. Let h be g(16). Let d = -30 - -30. Solve -3*p - 4 = h*f, -2*f + 4*f + 4*p + 12 = d for f.
2
Suppose 4*t = 8*u - 4*u - 204, 2*u - 96 = 5*t. Let z = u - 50. Solve z*h + 1 = -4*w, 3*h - 7*h - 4*w = 0 for h.
1
Let j be (-24 + 25)/((2 - 1)/6). Let k be (-108)/(-28) + 6*j/252. Solve k*d + 28 = 2*y, -6*y + y - 3*d = -5 for y.
4
Let n be (-3)/((6/(-4))/1). Let z(o) = -140*o + 2102. Let j be z(15). Solve d + n*h = 3, 3 = -2*d + j*h - 15 for d.
-5
Let n = -47 - -47. Suppose n = -4*z - 3*r + 76, 4*z - 3*r - 14 - 86 = 0. Solve -4*p - z = -x, -x - 5 = -3*p - 22 for p.
-5
Let g(c) = -c**2 + 14*c + 32. Let w = -21 + 37. Let m be g(w). Let k be (-159)/(-6) - (-2)/(-4). Solve 3*j + k = -0*j - 5*u, m = -4*j + 4*u + 8 for j.
-2
Let r = 17563 - 17561. Solve -2*f + 6*i - 5*i = 0, -2*f + 8 = -r*i for f.
-4
Let s be 12 + (8 + 100)/(-12). Let m(c) = -c**3 - 16*c**2 + c + 34. Let v be m(-16). Solve -3*k = 3*u + v, -k - s*u + 0 = 12 for k.
-3
Suppose -3*j + m - 5*m + 29 = 0, 3*j = 2*m + 17. Let g be (-6)/3 + -3 + 45/5. Suppose 8 = 2*t, 3*t = -4*k + 6*t - g. Solve k*l - j = d - 2*d, 3*l = 9 for d.
1
Let g(s) = 29*s - 1087. Let q be g(38). Solve -4*w + k = 16, q*k + 20 = 10*k for w.
-5
Suppose 3*j + 70 = 17*j. Suppose -5*f - 4*t = 11 - 52, f + j*t - 25 = 0. Solve 5*m - 3*k + 15 = -5*k, -5 = -f*m + 2*k for m.
-1
Let a(d) = -5*d - 10. Let w be a(-2). Solve -3*b + 21 = -5*l, 1 + w = 5*b + 3*l for b.
2
Let h(t) = -2*t**3 + 6*t**2 + 5*t - 3. Let f be h(-3). Let q be ((-2)/((-48)/f))/((-2)/16). Let k = -28 - q. Solve r - 2 = 5*n - 3*r, r = -k for n.
-2
Let d = 7854 + -7841. Solve -3*p = 6*q - 21, -p - d = -4*q - 2*p for q.
3
Let i = -43 - -49. Let h be (1/(i - 7))/(2/(-10)). Suppose -o - 5*n = 6 + h, 4*o + 5*n = 1. Solve -18 = -4*r - 2*s, -5*r - o*s = -s - 23 for r.
4
Let b be (-1)/(2 + 37/(-18)). Suppose -5*q = -2*l + b - 0, -5*l = -q - 22. Suppose -103*r = -60*r. Solve r*u - 5*m = -u - 29, 0 = -l*u + 3*m - 31 for u.
-4
Let z be 35/2 - 3/6. Let m(o) = -30*o - 5*o**2 - 36*o**3 - 54*o + 80*o. Let k be m(-1). Solve b + 0*d + 4*d = z, -5*d = 4*b - k for b.
5
Suppose -4*f = 62*k - 67*k + 26, -f = -2*k + 8. Solve k*b - r = 2, 3*r - 6*r - 15 = 3*b for b.
-1
Suppose -3*h = -5*h + 4*h. Suppose h = 23*p - 32*p + 270. Suppose 14*f - p = 12*f. Solve -3*m - z = f, m - 5*m - z - 20 = 0 for m.
-5
Suppose 3*c = 4*o - 44, c = 3*o - 0*c - 28. Suppose -o*r + 2 + 14 = 0. Solve -i = 4*j + 9, -r = -2*i + 3*j - j for i.
-1
Let i = -3867 + 3876. Solve a - i - 2 = 3*v, 5*v + 19 = a for a.
-1
Let s(t) = t. Let k be s(3). Suppose -3*b + 4*p = -6, -59*b + 61*b = 4*p + 4. Let a = 9 + -5. Solve -v = v - 2*d + a, -b*d + k = -3*v for v.
1
Let u(l) = -9*l - 95. Let g be (35/(-15) - -6)*-3. Let n be u(g). Solve 4*o + p = -2*p + n, -3*p = 12 for o.
4
Suppose -2*l = 5*p - 212, -4*l + 4*p = 8*p - 424. Suppose -5*z - 31 + l = 0. Solve -4*u - 12 = 2*w, w + 3*w + 5*u = -z for w.
0
Let w = 220 - 173. Solve -4*u = 50*t - w*t + 5, 5 = -t - 3*u for t.
1
Let s = -111 + 117. Let n(t) = 6*t**2 - 5*t**3 + s*t**3 + 4*t + 12 - 19*t**2 + 8*t. Let w be n(12). Solve -w = 3*z - 7*z, 5*z - 10 = -x for x.
-5
Let t(p) = 275*p**2 - 4398*p - 20. Let s be t(16). Solve -16*j - 2 = -3*i - s*j, -j = 2*i - 5 for i.
2
Suppose -14*s = 29*s + 20*s - 756. Solve 2*v - s = -3*n - 2*v, -2*n + 4*v = 12 for n.
0
Let q(o) = o**3 - o**2 + 151*o - 470. Let z be q(3). Solve 3*r - l = z, 4*l = -2*r + 3*l - 6 for r.
-1
Let n(l) = l**3 + 6*l**2 - 2*l - 11. Let b be n(-6). Let q be (b - 3)/(2/11). Let h be (-4)/22 - 101/q. Solve -3*x = h, -w - 2*x - 12 = 3*x for w.
3
Let m be (-63)/42*(-4)/1. Solve 4*x + 0*x + m = 2*p, -5*p = -3*x - 1 for p.
-1
Let l(j) = 2*j**3 - 24*j**2 - j + 9. Let f be l(12). Let q be (f + 2)/(-3 + (-15)/(-6)). Solve -5*z = q*h - 9, 5*h - 6 = 2*z + 2*z for z.
1
Let w(f) = 197*f - 6104. Let h be w(31). Solve 0 = -h*l + 4*y - 0 + 13, -l - 3*y = 13 for l.
-1
Suppose -q + 5 = -3. Let s = 43 + -3. Let g = s + -38. Solve 2*u - q = g*k, -6*u + u + k + 4 = 0 for u.
0
Let b(t) = -7*t**2 + 6*t + 6. Let k be b(-3). Let f be 10/k*-3*30. Suppose -l + 5*r - 8 = f, -12 = -l - 3*r. Solve -4 = z + 3*w, 5*z + l*w - 10 = -5*w for z.
5
Suppose 0 = 5*u - 109 - 91. Let i(o) = 5*o + 5. Let p be i(7). Let v = u - p. Solve v = 5*z - 2*z, -w - 5 = 4*z for w.
-5
Let b = -24199 - -24211. Solve 13*h + v = b*h, -3*v = -3*h - 18 for h.
-3
Suppose 125*v = 122*v + 24. Suppose -4*j + 2 = -q, 9*q - v*q + 2*j - 4 = 0. Solve 8 = q*r - n, 7*r - 13 = 4*r + 2*n for r.
3
Suppose 0 = 6*g + 6*g. Suppose 0*o - u = -3*o + 11, g = -3*o - u + 19. Solve 0 = -r - o*f + 20, -5*r - 2*f = -0*f - 31 for r.
5
Let o be (1 - (-15)/4)*4. Let f = -14 + o. Let x(v) = -2*v**2 + 7*v + 5. Let d be x(4). Solve -d + f = n + 4*p, 12 = 3*n + 2*p for n.
4
Let k(q) = q**2 + 64*q + 500. Let r be k(-9). Let a = 17 + -17. Solve a = -r*i + i + y, 0 = y + 4 for i.
-1
Let l(t) = -t**3 + 16*t**2 + 36*t. Let u be (1 + -55)*(-10 - (-377)/39). Let n be