+ v, -3*z - 4*t - 5 = 0 for z.
5
Let a = 698 - 696. Let z(n) = -n**2 - 8*n - 6. Let u be z(-5). Solve 0 = b - 2*w + 9, 0*w = a*b - w + u for b.
-3
Let d(o) = o**2 + 6*o - 7. Let l be d(-5). Let v(i) = -2*i - 16. Let h be v(l). Solve -z = -5*k + 8, k - z = 4*k - h for k.
2
Let i = 36 + -28. Suppose 19*b = 8*b + i*b. Solve -3*u = 3*z - 3, 3*z - 3 + b = 0 for u.
0
Suppose -x - 5*g = -2*g + 3, 17 = 3*x - 4*g. Solve i = -x*m - 6, i = 7*m - 2*m + 2 for m.
-1
Let m = -7 + -26. Let r be (m/22)/(3/(-8)). Suppose -5*c = -9*c. Solve -4*t + 5*w = c, t - 4*w - r = 7 for t.
-5
Let s be 24/(-9) - 33/(-9). Let u = 14 - 6. Solve -u = -4*k, -2*k + s = p - 2 for p.
-1
Let t be ((-4)/(-10))/(96/480). Solve -2*q - 2*v - 4 = -6*q, t*v = 5*q - 5 for q.
1
Let r be (6/(-10))/((-9)/45). Let h = r + 2. Solve 2*s + h*d = 25, -4*s + 6*d - 15 = 3*d for s.
0
Let d(v) = -v**2 - 18*v - 52. Let t be d(-4). Solve t*n = 3*c + 15, -4*c - 22 = -4*n - 6 for c.
-1
Let z(u) = 2*u**3 + 11*u**2 + 7*u. Let k be z(-7). Let j be (-1)/3 - k/21. Suppose -p - 2 = -j. Solve -4*m - p = -3*m + 3*d, 5*d + 5 = 5*m for m.
-1
Let n(k) = k**2 - 12*k + 13. Let d be n(11). Solve -5*x + a - d*a = 19, 2*x - a + 9 = 0 for x.
-4
Suppose -16*f = -14 - 18. Solve -f*x + 19 = -3*h + 7, -h - 4 = -x for h.
-4
Suppose 0 = 5*l + 6*n - 5*n - 1, 5 = -2*l + 5*n. Solve -4*r = 4*f - 8, -r + l*r - 3*f = -10 for r.
-2
Suppose -4*o + 3*f = 5*f + 584, -2*o = -2*f + 280. Let y = -140 - o. Solve 2*l - 4*t + 5*t = -y, -4*l - 3*t = 10 for l.
-1
Suppose 160*q - 165*q = 25, 0 = 4*r - 4*q - 32. Solve 2*u - 6 = j, -2*j + 3*j - r = -u for u.
3
Let w be 12/(40/(5 - -5)). Solve 0 = -w*m - z + 9, 2*z - 3 = 3 for m.
2
Let j(o) = -2*o**3 - 4*o**2 - 5*o - 7. Let d be j(-3). Solve 1 = 4*s - 5*p + 2, d = -5*s - 2*p for s.
-4
Let c be 958/12 - (-6)/36. Let o be (1 - 0)/(1/25). Suppose -3*n = -c - o. Solve 27 = 5*z - 2*z + 4*v, 5*v - n = -4*z for z.
5
Let z be (90/120)/(2/32). Solve 2*d + x = -2*d - 6, 4*d - 2*x = -z for d.
-2
Suppose -5*m + 20 = 10. Let c(f) = -f**2 + f + 5. Let y be c(m). Solve -y*q = -h - 14, 2*q - 8 = 3*h - h for h.
1
Let h = -61 - -64. Let g(c) = c - 10. Let t(v) = v - 21. Let u(q) = 9*g(q) - 4*t(q). Let l be u(h). Solve 0*r - 6 = i + 2*r, 4*i + l = -5*r for i.
4
Suppose 4*m = -39 + 107. Let z = -6 + 8. Let a be 14/(-77) + 2/11. Solve -z*d = -0*j - 2*j - 2, a = 2*j + 3*d + m for j.
-4
Suppose -4*h + 2 = 14, 3*z = h + 9. Solve -5*r - z = 3*n, -5*r + 18 = -3*n - 2*r for n.
-4
Suppose -5*x - 3 + 119 = 4*f, -4*x = -5*f + 104. Suppose 4*j = 12*j - f. Solve w = -3*a, -2*a + j*w - 11 = -0*a for a.
-1
Suppose -126 = -3*x - 3*q, 114 = 3*x - 5*q - 44. Let b = -27 + x. Let n = b - 16. Solve 6*o - 1 = o - r, n*r + 16 = 4*o for o.
1
Let q(r) = 8*r + 182. Let p be q(-22). Solve k - p*k + 4*m = -1, 0 = 3*m - 3 for k.
1
Let o(u) = 2*u - 12. Suppose 0*k = -k + 7. Let m be o(k). Solve 4 + 1 = -5*q - s, -20 = 5*q - m*s for q.
-2
Let w(f) = 7*f - 3. Let q be w(-4). Let o = 33 + q. Suppose -25 = -5*x + 5*m, o*x + 4*m - 5 = m. Solve -x*y - 9 = -p - 0*p, -2*y = -2*p for p.
-3
Suppose -5*n + n = -56. Suppose 0 = 5*p + n - 24. Solve 3*b - 5*j = -19, -p = 3*b - b + 2*j for b.
-3
Let s be (-30)/(-5)*4/3. Suppose -6*d - 4 = -s*d. Solve 8 = y + 2*r, -2*r = 4*y + d*r - 16 for y.
0
Let c = -157 + 91. Let g be (-9)/(-15) - c/15. Suppose -3*i = s, -2*s + 5*s = -i. Solve -v + 5*j = i, g*v = j - 1 - 23 for v.
-5
Let c(u) = 21*u - 187. Let p be c(9). Solve -p*b = 4*x, -x - 3*x = -3*b + 20 for x.
-2
Let q be ((-6)/9)/(2/(-3)). Suppose -f + 45 = 5*a + 2*f, -3*a - f + 31 = 0. Suppose 0 = 3*n - 0*n - a. Solve 0 = 3*p + 6, n*m - 5*p + 1 = -q for m.
-3
Let z = 2516 - 2507. Solve 4*w = -q + w - z, -4*w = q + 13 for q.
3
Suppose -5*i = -3*i, 0 = -m - 3*i + 3. Solve 0*w = 4*w + 3*l - 1, 2 = m*w + 2*l for w.
4
Let u(z) = z**3 + 11*z**2 - 14*z - 21. Let v be u(-12). Let g be 7 + 6/(-2) - (-2 + v). Solve 2*q - 3*w + 9 = 0, -4*q - 5*w + 2 = -g*q for q.
-3
Let w(s) = -s**2 - 4*s - 3. Let x be w(-3). Solve d + 25 = -4*d, x = -5*u - 2*d - 20 for u.
-2
Let q be ((-12)/((-4)/(-4)))/1. Let a(o) = o**3 + 14*o**2 + 24*o + 5. Let p be a(q). Solve w + 3*t = -3, 0 = -w - t - 4*t - p for w.
0
Suppose -5*y = -4*c + 314, -4*y = -4*c + 9 + 303. Let z = c - 66. Solve -z = 3*a - w, -3 - 9 = -2*a - 4*w for a.
-2
Suppose 5*v - 232 = -232. Solve -52 = -5*s - 5*m - 17, 5*m - 25 = v for s.
2
Suppose a + 2 = 0, -a = 2*u - 2*a - 6. Let k be (8 - 2)/2 + u. Solve -4*r - 10 = k*q - r, 0 = -4*q + 2*r + 14 for q.
1
Suppose -4*u = 3*j + 168 - 16, 6 = -3*u. Let k = j + 51. Solve -r + 2*r - 3 = -3*m, 0 = -2*r + k*m + 6 for r.
3
Suppose 0 = 24*i - 35*i + 66. Solve 3*t - 15 = 3*q, 0 = 3*q + i*t - 5*t + 15 for q.
-5
Let j be 39/9 - (-2)/(-6). Suppose 0 = -o + 3*h - 7, 16 + 16 = 4*o + 3*h. Suppose -o*n + 13 = -7. Solve -2*d + 6 + n = 0, 0 = j*c + 5*d - 21 for c.
-1
Let y(j) = -j**3 - 3*j**2 + 25*j - 17. Let c be y(-7). Solve 3*a = 4*u - 2*u - 1, -4*a - 4 = -c*u for a.
1
Let d be -2 - (-9)/3 - -2. Let a = -803 + 808. Solve -a*j = -4*w + 20, d*j + j + 25 = 5*w for w.
5
Let s be (1/(-4))/(4 - (-51)/(-12)). Suppose -5*n = 2*u - 60, -u + 5*n = -16 + s. Solve 2*q + c + 4 = 0, -2*q - 3*q + 5*c - u = 0 for q.
-3
Suppose -3*z + 2*c = -16, -2*z + 5*c + 18 = -0*z. Suppose -z*u = -u. Solve d - 4 = u, y - 5*d + 13 = -2 for y.
5
Let l be (-10)/(-5)*-9*(-5)/30. Solve 3*z - 15 = 0, -y = l*y + 5*z - 5 for y.
-5
Suppose -33 - 184 = -31*b. Solve -25 = 3*n + 3*h - 7*h, b = -n + h for n.
-3
Let u be 12/162*3 + 20/(-9). Let c be (-14)/(-56) + (-11)/8*u. Solve -7*o + c*o + 26 = -5*j, -3*o = -j - 14 for o.
4
Suppose -20*v = -19*v - 2. Solve 2*h - v = -3*j - 13, 3*h - 31 = 5*j for j.
-5
Let d(a) = -a**2 - 8*a - 4. Let b be d(-6). Solve 3 = 3*h + 3*n, 0 = -3*h + 5*n + b + 19 for h.
4
Let s(r) = r**2 - 3*r + 2. Let v be s(4). Let g(z) = 3*z - 5. Let m be g(v). Solve 1 = b - 2*n - 1, -4*b + 3*n = -m for b.
4
Let d(n) = 4*n - 34. Let b be d(10). Suppose 0 = b*j - 6 - 6. Solve -2*q + 4*k = j*q, 0 = 2*q + 4*k + 30 for q.
-5
Suppose 3*n + 4*v - 24 = 16, -3*v = -2*n + 55. Suppose n = -0*l + 4*l. Let z be (-80)/8*(-2)/l. Solve -u + i + 2 = 0, 2*u - z*i = -5*i - 8 for u.
-2
Let p(o) = o**3 + 28*o**2 - 29*o + 2. Let l be p(-29). Solve 2*f = -l*a + 2, 3*f - 5 = -5*a + f for a.
1
Let x(y) = 7*y + 16. Let c be x(-2). Solve -l + 3*t + c*t - 6 = 0, 1 = -5*l - 4*t for l.
-1
Suppose -12*h + 61 = 13. Solve 10 = -5*n + h*y - 10, y = 0 for n.
-4
Let h be ((-1)/(-2))/(3 + 346/(-116)). Let z(o) = -2*o - 2. Let u be z(-2). Solve 2*a - 2*i = -u - 4, 5*a + 2*i + h = 0 for a.
-5
Let r = 34 + -24. Suppose -10 = -5*l + r. Suppose l*c = 4 + 8. Solve -2*h + c*p = 17, -5*p + 23 = 5*h - 3*h for h.
-1
Let v be (114/18 + -6)*15. Solve -v*r - 4*y - 9 = 0, 1 = -5*r - 0*y + 4*y for r.
-1
Suppose -1 = -h + 1. Suppose -5*x = -h*x + 18. Let t be x/12*(-8)/1. Solve 0 = 4*g, -3*m + t*g = -0*m + 9 for m.
-3
Suppose 2*y + 3 = -3. Let w(l) = l**3 + 4*l**2 - 3*l + 4. Let h be w(y). Solve 3*s = 4*p + h, -5*s + 3 - 9 = 4*p for p.
-4
Let s = 34 + 3. Suppose -v - 3*x = -14, 3*v = -0*v - 4*x + 22. Suppose v*i + 3*i - 4*h = 27, -2*i + 5*h = -21. Solve i*d = -7*z + 2*z - s, -d = 2*z + 14 for d.
-4
Let u = 249 - 245. Solve 2*w + u*j - 6 = 0, -4*j - 28 = 4*w - 6*j for w.
-5
Suppose -20 = -10*c + 8*c. Suppose 5*h - c = -y, 0*y - 3*y = -3*h + 6. Solve -j = -2*b, h*j + 0*b = b + 6 for j.
4
Suppose 0 = 20*j - 16*j + p - 28, 3*j + 5*p = 21. Solve -4*u - 6*s + j = -s, 0 = -2*s + 6 for u.
-2
Suppose 4*t + 6 = t, -2*t - 13 = -3*r. Let c = -27 + 28. Let x be (-4)/(-6)*r/c. Solve 0 = -x*j - 3*h + 22, -h - 20 = -6*h for j.
5
Let a = 105 - 107. Let g = a + 5. Solve o - 12 = g*h, -3*o = 2*h - 4 + 1 for h.
-3
Let s(u) = 9*u - 18. Let q be s(3). Solve 0*n + q = -3*n, 3*b + 2*n = 0 for b.
2
Suppose 13 = t - m + 2*m, m = -3*t + 41. Suppose -3*d + t*d - 33 = 0. Solve d*k - 16 = -k, 3*k = 3*a for a.
4
Let a = 87 + -77. Solve 2*f - g + a = -f, -8 = 4*g for f.
-4
Let q = 331 - 328. Let z = -13 - -9. Let o = z - -5. Solve -m - 6 = g, m - 3*g + q = o for m.
-5
Let w = 332 + -329. Solve -5*k + 4*c + c = 20, 0 = w*k + c for k.
-1
Let d(w) = 15*w**2 - 10*w. Let x be d(1). Solve 10*q - 7*q = x*i, i = 5*q for i.
0
Let v(w) = w**2 + 44*w - 89. Let m be v(-46). Solve m*l = 2*l + s - 4, 4 = -3*l - 5*s for l