p, 5*x + 2*d + 2 = -20 for x.
-4
Let o(k) = 5*k**2 + k + 1. Let d be (-1)/(-2)*4/(-2). Let h be o(d). Let q be (h/(-6))/((-1)/6). Solve -5*r = -2*x - 2*x + 12, -q*x - 4*r = -15 for x.
3
Let l(z) = 3*z - 6*z - 30 + 4*z**2 + 32 + 4*z. Let u be l(-2). Suppose s = 2*s - 2. Solve -2*j - u = -5*o + o, o = -s*j - 6 for o.
2
Let d = -8 - 4. Let b be (-2)/(60/21 + -3). Let w = d + b. Solve w*z - 4*y = 0, -4*y = z - 1 - 5 for z.
2
Suppose -3*g + 6*g - 87 = 4*t, 0 = -2*t + 4*g - 36. Let s = t - -30. Solve 0 = -3*j - 2*z - s - 2, 2*j + 3 = z for j.
-2
Suppose 8*v - 3*v + z = 421, 2*z - 254 = -3*v. Suppose 0*t = -7*t + v. Let j be ((-6)/t)/((-2)/16). Solve -26 = -0*i + 2*i + j*g, 4*i = 4*g - 4 for i.
-5
Suppose 0 = 12*j - 24 - 0. Let y be 0/((0 + j)/(8/(-12))). Solve -5*f - 2*z = -3*z + 5, y = 3*f - 4*z + 3 for f.
-1
Suppose -2*o - 2*o + h - 84 = 0, -3*h = o + 8. Let c be o/(-6)*(-60)/(-25). Suppose -4*v + c*v = 16. Solve v*z - 4*m = 2*z + 6, -9 = -2*z + m for z.
5
Let i be 600/315 + 2/21. Solve 0 = v + 5*m - 3, 3*m - i = 1 for v.
-2
Suppose -3*a - 6 = -5*a. Suppose -3*n - 5*m + 20 = 0, 2*m - 5 = -3. Solve -r + v = r + a, -3*r - n*v + 28 = 0 for r.
1
Let n(b) = -2*b**3 + 2*b**2 + b. Let t be n(-1). Let x be 1/(0 - 1) - -1. Let j = 17 - x. Solve u - 20 = 5*d - 9, -t*d - j = 2*u for u.
-4
Let v(w) = -1. Let m(t) = t**2 - 8*t + 9. Let x(j) = m(j) + 6*v(j). Let q be x(8). Solve 0 = a - q*g + 10, 0*g - g - 2 = -3*a for a.
2
Let l(c) = -5*c + 12 + 8*c**2 - c**3 - 5*c + 2*c. Let v be l(7). Solve -2*g - o - 9 = -g, -v*o - 35 = 3*g for g.
-5
Let p be (20/14)/(1*10/35). Solve 2*m + 6 = p*g + 25, 0 = -2*m + g + 7 for m.
2
Let v be ((-225)/(-12) + -6)/(9/12). Solve 0 = -p + 2*c + 2 - 3, -5*p + v = c for p.
3
Let x(v) = v**2 + 2*v - 6. Let f be x(-4). Suppose 3*m - 6*m + 6 = 0. Suppose -2*p + m = -8. Solve -2*a - p*w = -2, w + 16 = -f*a + 5*w for a.
-4
Let u = -12 + 12. Suppose 5*t + p = 27, u*t = -2*t + 5*p. Solve t*q = -v + 3*v + 14, -4*v + 28 = 4*q for v.
3
Let m = -644 - -648. Solve -5*r = -3*a - 18, 4*r + m = -4*a + 12 for a.
-1
Let p be (-1235)/(-104) - 1/(-8). Suppose 2*x + x = p. Solve x*m + b - 25 = 2*b, -3*m - 4*b - 5 = 0 for m.
5
Suppose 0 = -15*y + 16*y. Suppose -c - 3 = -3*x - 0*c, -x + c - 1 = y. Solve -5*u = -t + x + 9, 0 = -4*u + 3*t - 11 for u.
-2
Suppose 0 = 27*x - 34*x + 112. Suppose 0 = x*g - 9*g - 28. Solve g*d = 2*d, 3*t + 12 = -4*d for t.
-4
Suppose 2 - 74 = 9*g. Let i be (6/g)/(5/(-20)). Solve -3*d = -i*a - 30, 0*d = -3*a + 2*d - 25 for a.
-5
Suppose -3*z = -9, 6 = -2*h + 5*z + 1. Let o be 7/h - (-3)/5. Solve -2*y = -3*x - 17 + 1, 3*y + 2*x + o = 0 for y.
2
Let x be (-6)/27 - (-43)/(-9). Let h(v) = v**2 + 4*v + 3. Let f be h(x). Let a = -7 - -12. Solve 5*y + s - 13 = 0, y + f*s = 4*s - a for y.
3
Let t(m) = m**2 - 8*m + 10. Let w be t(7). Let a be (-6)/w + 2 + 0. Let x = 148 + -142. Solve -o = k - 1, a*k - 4*o + x = 2*k for k.
-1
Suppose 5*m = 4*k + 200, -m + k + 40 = -2*k. Let p be 1*-5*-6*4/m. Solve 4*b = -3*r - 6, 2 = -p*b + 5*b + 4*r for b.
-3
Suppose -2*g + 3 = -5. Suppose 3*w - 6 = 3*r, 0*w - r - 2 = -5*w. Suppose j = o - w*j + 5, -5*j = 3*o - 25. Solve -7*f + g*z = -2*f + 8, 4*f + z + 19 = o for f.
-4
Suppose h + 8 - 27 = 5*w, 20 = -5*w. Let m be 85/(-15) + 2/(-6). Let o = h - m. Solve -o*d = -d - r - 4, -3*d - r + 3 = 0 for d.
1
Let k = -190 + 196. Solve -5*q - 24 = -q - b, -2*q - 4*b = -k for q.
-5
Suppose -7 - 18 = -5*n. Suppose -x + n*z = -4*x + 70, 0 = x + 3*z - 26. Suppose 0 = -o - 4*o + x. Solve 5*g - 3*f = -5, -5*g + 5*f + o + 1 = 0 for g.
-4
Suppose 0 = -5*l - 31 - 29. Let a(t) = -t**3 - 12*t**2 + t + 12. Let u be a(l). Solve m = 4*n - 12, u = -2*m - n + 3*n for m.
4
Suppose 5*n - 2*l - 8 - 2 = 0, 4*l = 0. Suppose 9 = 3*u + 4*w, n = -u - 4*w - 3. Suppose -3*q = -u*q + 20. Solve -5*a - 10 = 5*d, -q*a + 1 - 5 = -d for a.
-1
Let b = -2 - -19. Suppose 0*z + 57 = 3*z. Let a = z - b. Solve 3*v + 0*v = -s - 3, -v + 6 = -a*s for s.
-3
Let l be -108 - -107 - (-12 + -1). Solve -15 = 3*i, l*i - 7*i = -3*g - 40 for g.
-5
Let h(o) = -2*o**2 + o. Let w be h(-1). Let d be ((-3)/4*-3)/(3/(-16)). Let g be w - 7/(14/d). Solve 0 = k - 5*p - 20, g*k = 2*p - 3 - 2 for k.
-5
Let n(l) = -l + 9. Suppose 3*g = 5*f - 15, -g + 2*g = -5*f + 35. Let o be n(f). Solve m = -5*c + 2*m - 24, o*m = 4*c + 28 for c.
-4
Let s = 50 + -43. Solve 5*g - 5*h = -30, s = -2*g - 0*g - 3*h for g.
-5
Let s be 516 + (-4)/(4/3). Let m be s/135 + 4/(-5). Solve -4*n = -u - 2, 5*u + m*n - 1 = -11 for u.
-2
Let s = -9 + -15. Let h be 3*2/30 + s/(-5). Suppose -14 = -5*g + 1. Solve -a + 5*x - g = 0, 3*x - 3 = -h*a + 10 for a.
2
Let g = 55 + -53. Solve g*t + 8 = 0, 4*o - 2*t + 5*t = -16 for o.
-1
Let g = 333 - 330. Solve -12 = g*u + 5*c - 0*c, -2*c - 3 = 3*u for u.
1
Suppose i - 18 = -3*a, -5*i - 3*a = -6 - 24. Solve 5*r + 8 = -3*f, 0 = i*r - 2*r - 5*f - 4 for r.
-1
Let q be -1 + (0 - (0 + -4)). Suppose q*a + 2*a = 35. Suppose -a*l + 2*l = 0. Solve -2*g - m + 5 = -2, l = -3*g - 3*m + 9 for g.
4
Let m = 149 + -146. Suppose -2 = 2*k - 3*k. Solve k*i - 4 = m*a + a, 20 = 5*i for a.
1
Suppose 30 - 8 = 2*o - 3*p, -p + 16 = 4*o. Solve 3*l - 5*b - 8 - 6 = 0, -o*b - 18 = -l for l.
-2
Suppose 0 = -3*j + 5*j - 2. Suppose -v + 4 = j. Let u(n) = 2*n**2 + 11*n + 3. Let o be u(-6). Solve 0 = t - 3*r + 9, 9 = 4*t - o*t + v*r for t.
0
Let j(v) = v**3 + 17*v**2 - 19*v**2 + 0 + 3 - 3*v. Let w be j(3). Let t be 6/4*(2 - 4) + 6. Solve 6 = t*g - h, w*g + 3*h - 18 = -0*h for g.
3
Suppose -c = -3*z - 183, -5*z + c - 376 = -71. Let a = z + 61. Let s be (-1 - -7) + 1/(-1). Solve -5*k = 3*l + 12, a*l + s*k - 4 = l for l.
-4
Suppose 4*t - 5*a + 10 = 2*t, a = -4*t + 2. Let j(w) = 2*w + 3. Let n be j(t). Solve 2*y + 3*v = -0*y - 4, y = -n*v + 1 for y.
-5
Let r be 1 + (-40)/(-25) + 4/10. Solve -2*g + 16 = -3*f, r*g + 0*g = -2*f - 2 for g.
2
Let b be 0/(-2) - (-63)/21. Suppose -12 = -n + b. Solve 0 = 5*c + n, 5*c + 8 = -4*p + 1 for p.
2
Suppose -i - 16 - 1 = 0. Let r be (-4)/34 - 53/i. Solve 2*o = -r*o + 2*k - 20, -3*o + k - 12 = 0 for o.
-4
Let m be (4 + -2)/(((-30)/(-9))/5). Solve -l - 5*h = 27, -1 - 3 = -m*l + 2*h for l.
-2
Suppose -12 = -5*c + c + 3*x, -c = 4*x - 3. Solve -t - 3 = -c*a, a + t = -3*a + 11 for a.
2
Let x(f) = 9*f**3 + f**2 - 3*f + 1. Let r be x(1). Solve c + c = -r, -3*c = -n + 17 for n.
5
Let d(h) = -37*h**3 + h. Let g be d(1). Let t = g - -41. Solve z + 11 = 4*b, z - t = 2*z - b for z.
-3
Let m = 209 - 207. Solve 4*n = 4*x, -5*n = -2*x - m*x + 1 for n.
-1
Suppose 2*c - 5 = c. Suppose 3*a = 3 + 12. Suppose -12 = w - a*w. Solve 0 = -s - j - w*j, -s - c*j + 1 = 0 for s.
-4
Suppose 11*l + 33 = 14*l. Let b(s) = s**3 - 10*s**2 - 13*s + 25. Let h be b(l). Solve h*x - p - 6 = 0, -p = -x - 0*x + 4 for x.
1
Let z = 109 + -77. Suppose -13*j + 20 = -z. Solve j*x + s = -2 - 9, 0 = x + s + 2 for x.
-3
Suppose -2*m = 2*r + 8, -m = -4*m - r - 6. Let z = 5 + m. Let u(l) = 2*l**2 - l - 4. Let c be u(3). Solve z*h + 5*d + 31 - c = 0, -2*h = -2*d + 10 for h.
-5
Suppose 6*q - 4*o - 20 = 3*q, -3*o = 5*q - 43. Suppose 3*k = q + 4. Solve 2*c = 2*z + 3*c - 7, -k*c = -z - 19 for z.
1
Let t(m) = -m**3 + 8*m**2 + 2*m - 9. Let x be t(8). Let p be (2 + 0)/(4*(-2)/(-20)). Let d = p + 0. Solve 3*h + 11 = x*h - g, -29 = -h - d*g for h.
4
Let j be (-4 + 7)*((-2)/(-6) - 1). Let d be j/15 - (-141)/45. Solve -w - m - 6 = -0*m, d*m = 2*w - 13 for w.
-1
Let r = -3 + 6. Solve -r*p + 18 = j, -3*p - 3*j + 34 = 2*p for p.
5
Let j(a) = 8*a - 14. Let t(q) = q**2 - 7*q - 6. Let f be t(8). Let h be j(f). Solve 2*m + 3*g + 2 = 0, 3*m + 3 = g + h*g for m.
-1
Let y be (-1)/(1*(-3)/9). Suppose y*a + 20 = -a. Let k(g) = g**3 + 4*g**2 - 6*g. Let m be k(a). Solve 3 = -3*d, 0 = o - m*d + 1 - 6 for o.
0
Let i = 1859 - 1859. Solve -3*o - 3*l + 2*l - 17 = 0, 3*o - 2*l + 11 = i for o.
-5
Let k(p) = 2*p - 3. Let s be k(-3). Let c = s + 16. Let b = -1 + c. Solve 2*w = -q, 2*w = -2*q + w - b for q.
-4
Let l(r) = 3*r + 17. Let w be l(-5). Suppose w*u + 3*u - 40 = 0. Suppose 5*a - u*a = 0. Solve -p + 10 = -4*c, 5*p - 5*c - 20 = -a*p for p.
2
Let x = -6 + 8. Suppose x*y - 103 = -13. Suppose 0*h = 5*h - y. Solve 4*l + 2*u = -28, -l = -2*l - u - h for l.
-5
Suppose 4*r = 3*r. Suppose 0 = -2*t - r*t - b, 0 = -5*t - 2*b + 2. Solve 0*d - t = -4*o - d, -2*d = 4