Let d be a(v). Let s be 23/2 + 9/d. Solve -c - 2*y - s = 0, 12 = c - 5*y + 2 for c.
-5
Suppose -6*y - 3 = -33. Suppose -y*p - 3*m = -0*m - 8, 2*p - 2*m = 16. Solve -p = -2*j + 2*t, -2*j + 2*t = 4*t - 8 for j.
3
Suppose 0*u + 7*u = 21. Suppose 118 = -5*y + 138. Let v(k) = -k**2 - 7*k + 10. Let s be v(-8). Solve u*i + s*o = o, 11 = i + y*o for i.
-1
Suppose m - 2*p = 0, -6*p + p = -0*p. Solve -3*i - 3 = -4*y - 14, -5*y + 3*i - 10 = m for y.
1
Suppose -109 = 5*h - 469. Suppose -2*f + 4*t + h = 3*f, 0 = -5*f + 3*t + 69. Solve 2*c - c = -2*n + f, -5*c + 32 = 3*n for n.
4
Let y = 10 + 13. Suppose 0*m = m - y. Let j = m - 19. Solve 3*v + 12 = -3*u, j*u + 0*u - 3*v + 16 = 0 for u.
-4
Suppose 4*m - 20 = -m. Suppose -4 = -5*v + m*v. Solve v*i + 1 = q - 5, 5*i + 5*q = -20 for i.
-2
Let o be 10/15 - (-28)/(-6). Let r = o - -7. Suppose 0 = -5*d - 4*l + 45, 0*d - 20 = -d - r*l. Solve -3*w - 14 = 4*q, 2*q - 5*w - d = 5*q for q.
-5
Suppose -5*h + h + 20 = 0. Let b(q) = -q**2 + 3*q - 6. Let j be b(6). Let x = -21 - j. Solve 3*s + y = -x + h, -3*y = 2*s - 13 for s.
-1
Let m be (-48)/22*(-1177)/214. Solve -5*x = 5*y - 30, -2*x - 4 = y - m for y.
4
Let v be ((-3)/(-4))/((-1)/8). Let h = 11 + v. Let c be -3*2 - (-22 + 13). Solve 6*k + 5 = k - 5*s, c*k - h*s = -11 for k.
-2
Let a(b) = -11*b - 272. Let l be a(-25). Solve 10 = 5*t - 4*v, 13*t - l*v - 11 = 11*t for t.
-2
Let d = 551 + -549. Solve 3*c - k + 10 = -2*k, -d*k = -5*c - 13 for c.
-3
Let y(o) = 13*o**3 + 2*o + o**2 + 3*o - 7*o + 1. Let z be (-1)/(-5) + 60/75. Let r be y(z). Solve -2*p + 20 = -4*c, -3*c + 2*c = 4*p - r for p.
4
Suppose -3*l = -17 + 2. Let z(a) = -a - 6. Suppose 0 = 3*c + d + 4*d + 49, 15 = -5*c + 5*d. Let x be z(c). Solve 5*k + 0*h - h - 18 = 0, l*k + x*h = 24 for k.
4
Suppose 3*r = -6*r + 3*r. Solve r = a + 5*z + 6 + 6, 2*z = 4*a + 4 for a.
-2
Let i = -19 + 29. Suppose 0 = -2*l - i, -4*l = -m - 7*l - 10. Let f = 8 + -4. Solve -1 = f*g + 4*y - m, -5*g - y + 13 = 0 for g.
3
Let c(a) = -11*a - 256. Let u be c(-24). Solve 2*p + u*q = 3*q + 9, 12 = p + 5*q for p.
-3
Let p(y) be the first derivative of y**2/2 - 11*y - 5. Let v be p(13). Solve -f = -4*m - 5*f + 24, -18 = -5*m - v*f for m.
2
Suppose 2 = 11*x - 42. Solve 5*c + p + 0*p + 27 = 0, 0 = -x*c + 3*p - 14 for c.
-5
Let v be (6/4)/(2/4). Let c = 177 + -173. Let y be v/6 + 6/c. Solve -j + 2 = h, 3*j = -2*j - y*h + 7 for j.
1
Suppose 1 = 3*g + 1. Let x be 1*-2 - -2*3. Solve -p + 9 = -x*k, -2*k + g*k = -5*p - 9 for p.
-3
Let a be 8/(4 - -4) + (-1)/(-1). Solve -25 = -j + 5*h, -3*h + a*h + 1 = j for j.
5
Suppose -21 + 6 = -u. Suppose -l = -6*l - 5*o + u, -o = 3. Solve 10 = -3*d - 2*s, 9 = 2*d - 3*s - l for d.
0
Let v be (15 - 2)*2 + -8. Solve -3*w = -5*w + n - 11, -3*n = -w - v for w.
-3
Suppose 5*w - 14 = 6. Let d be (w - 3) + 5 + -2. Solve -2*m - m - d*n = -4, 0 = 2*m + 3*n - 3 for m.
0
Let f = 35 - -89. Let c = 126 - f. Solve 2*n - p + 10 = -2*n, -c*n + 4 = -5*p for n.
-3
Suppose 4*r + 0*r + c + 19 = 0, 4*c = 5*r + 29. Let j be 8/10*1*r. Let k be (-3)/2 + (-26)/j. Solve -3*a + 12 = -5*f - 2*a, -16 = k*f - 3*a for f.
-2
Let l be -3*(-35)/63*3. Solve -2*u + l = 4*r + r, -2*r - 2*u + 2 = 0 for r.
1
Let t be (-3 + (-8)/4)*-2. Let n(f) = f - 8. Let a be n(t). Solve y + 3*k = 4, -k + 0*k + 3 = a*y for y.
1
Let m(f) = -31*f - 4. Let b be m(-1). Suppose 0 = -4*j - 21 - 67. Let a = j + b. Solve -4*n + 3*n + 5*t = 21, 3*n - a*t + 13 = 0 for n.
4
Suppose h - 39 = 3*j, -2*h - 5 = 1. Let v = j - -15. Let c be (-1 - 3 - -4)/v. Solve -2*z - 3*z - 2*y + 14 = c, -2*z - y = -5 for z.
4
Suppose d - 2*w + 103 = 113, 3*d + 5*w = 8. Solve 5*j + d = -2*a - 8, -27 = 3*j - 5*a for j.
-4
Let k be 40/15*30/20. Solve -2*g + g = k*r - 1, -4 = 4*r for g.
5
Suppose 3*t + 3*w + 7 = -2*w, 0 = -3*w - 15. Let p be t/(-60)*6 + (-3)/(-5). Solve -40 = -5*f + 5*g, 2*g = -3*f - 1 - p for f.
3
Let g be 36/(-81)*36/(-8). Let r be (-73)/(-5) + 6/15. Suppose u - r = -2*u. Solve -3*o - x + 12 = -g*x, u*x = -15 for o.
3
Let h(k) = 2*k**3 + 9*k**2 + 4*k + 6. Let f be h(-4). Suppose 4*g = -j + 22, -f*g + 20 = -4*g + 5*j. Solve c + g = 0, -3*c + 5*c + 13 = 3*s for s.
1
Let j be 3 - (2 - 2)/(-2). Suppose v + v - 5*h = 15, -j*h - 9 = 2*v. Suppose -7*q + 5*q = v. Solve m + q*r = 2*r - 3, 4 = 2*r for m.
1
Let w be (-472)/(-354) + (-77)/(-3). Solve -5*i = 4*t - 13, -w = 4*t - i - 2*i for t.
-3
Suppose -11*i - 25 = -16*i. Suppose l = -o + 16, 5*o = 5*l + 90 - 20. Suppose -8*b + o = -i*b. Solve x - b*x + s = -1, -x + 4*s + 19 = 0 for x.
-1
Let f be (-1 + (-18)/2)*(-288)/720. Solve f = -5*g + 2*h, 0*g - 3*h - 11 = g for g.
-2
Suppose 2*x = 6*h - 8*h + 12, 5*x - 14 = 3*h. Suppose -6*d + 3*d = -12. Suppose -d = q - 3*q, h*f - 6 = 2*q. Solve 0 = -l + 4*w - 3 - f, -8 = -2*l - 4*w for l.
0
Let q = -189 + 189. Solve 2*x = 5*k - 11, 2*k - 3*x + q*x = 0 for k.
3
Let w = -648 - -651. Solve -l + 22 = 4*p, 2*p + 2*p + w*l - 26 = 0 for p.
5
Let v be 7/((-7)/5) - -11 - 2. Solve -16 = -2*w - 4*z, w + v*z = -2*w + 20 for w.
4
Let o = 1471 - 1453. Solve -6*y = 3*z - 3*y + o, -y + 18 = -5*z for z.
-4
Let o(x) = x**2 + x. Let v be o(1). Let y be (-3 + (v - -2))*-1. Let d = -1 - y. Solve 0 = g - z, 0 = -5*g - d*g + 2*z for g.
0
Suppose -5*v + 5 = -2*b - 0*b, -4*b = -2*v + 34. Let f = b - -26. Solve -2*i - 5*o = -f, 5*i + 2 + 4 = -o for i.
-2
Let n be 9/2 + 7/14. Let o be n/((5/15)/(2 - 1)). Let q(h) = h**2 - 1. Let l be q(1). Solve -5*d + y - o = 0, 3*d - 3*y + 7*y + 9 = l for d.
-3
Let u = 16 + -12. Suppose -1 + 45 = u*i. Suppose 6*f - i*f = -30. Solve 18 = -5*x + o, -3*o + f + 8 = -5*x for x.
-4
Suppose -5*n = -5*g - 5, -3*n + 4 = 1. Solve g = -5*u - 4*j - 8, 3*j = -u + 4*j - 7 for u.
-4
Let n(k) = -k**3 - 4*k**2 + 5*k + 4. Let z be n(-5). Let w = 12 - 12. Solve z*p - 3*g + 10 = w, 2*p - 2*g - 2 + 8 = 0 for p.
-1
Suppose 53*i = 47*i + 18. Solve -3*t + 8*t = 5*n + 5, 2*n + 7 = i*t for n.
4
Let f = -61 + 63. Suppose 1 = n - f*h, -3*n - 9*h + 7*h = -19. Solve -3*w = 2*l - n*w - 6, 0 = -2*l + 4*w + 8 for l.
2
Suppose -3*g + 2*x + 6 = -10, g - 3*x - 10 = 0. Solve 2*d - 5*a = -6, 7 = 5*d + g*a + 22 for d.
-3
Let i be (3 - 3) + 0/2. Suppose -a = a - 82. Suppose 5*u = 15 + 10, -4*o - 5*u + a = 0. Solve 3*z = -5*x + o, i*x - 2*z = -2*x - 8 for x.
-1
Let g(h) = 2*h**2 + 8 - 14*h - 2*h**2 + 20*h + h**2. Let y be g(-5). Solve -15 = -5*k - y*c - 2*c, c = k + 1 for k.
1
Suppose 51*p - 342 + 87 = 0. Solve -p*q + 4*l + 20 = -6*q, -3*l = 2*q + 20 for q.
-4
Let t be 8/((-32)/(-6))*(-50)/(-15). Solve 2*g - t*l + 15 = 0, 0*l = 5*l - 25 for g.
5
Suppose 0 = -4*k + 54 - 2. Suppose -q = 0, -14*q - 10 = -2*o - k*q. Solve 0 = -4*j - 16, -4*j = -5*s + 1 - o for s.
-4
Let u(i) = i**2 - 14*i + 19. Let r be u(13). Suppose f + 10 = r*f. Solve a - 6 = 2*n + f, 3*a = -2*n for n.
-3
Let h(c) = -c**3 - 9*c**2 - 4*c - 15. Let q be h(-6). Let g = 104 + q. Solve 0 = m + 2*p - 2 - 4, 0 = g*m - 5*p for m.
2
Suppose -2*n = 2*m - 4, 2*m + 4 = 5*m + 5*n. Let g(j) = -j**2 - j + 2. Let f be g(0). Solve 0 = 3*c - 2 - 4, -r - m*c = -f for r.
-4
Suppose -2*d - 10 = -3*y - 4, 4 = -5*d + 2*y. Solve d = -q - 3, 0*w - 2 = w - q for w.
-5
Let i be ((-10)/(-4))/(4/8). Let y be (-2)/5 - (-2)/i. Suppose y = -2*q + 17 + 37. Solve 3*f - 15 = 0, 0*f + q = -g + 5*f for g.
-2
Suppose a + 2*q = -4*a + 17, -4*a - 4*q = -16. Suppose 10 = 3*c - 4*j, 2*c - 5 + 4 = -a*j. Let u = -15 - -23. Solve u = -3*f + y + 4*y, -c*f = y + 1 for f.
-1
Let f(l) = -l**3 - 6*l**2 + 7*l + 3. Let m be ((-40)/(-15))/(4/6). Let t be (-14)/m*(-12)/(-6). Let w be f(t). Solve 3*b + w*q - 7*q = 8, 5*q + 10 = 0 for b.
0
Let h be -3 - 6/(-3) - -1. Let u = -147 - -164. Solve h*d - d + 19 = -3*k, -5*k - 2*d = u for k.
-5
Let s(v) = v**2 + 5*v + 9. Let z be s(-4). Solve -2*r - 11 = -z*b, 6*r + 5*b - 21 = 3*r for r.
2
Let a(y) = -11*y - 1. Suppose u - 6*u + 4*g = -10, -2*u = 3*g + 19. Let b be a(u). Solve 0 = 5*w - 2*s - b, -s = w + w - 12 for w.
5
Let q(g) = -g**2 + 3*g + 75. Let k be q(-7). Solve -2*l - 3*z - z + 8 = 0, -2*l - z + k = 0 for l.
2
Let f be 24/(-36)*2*15/(-4). Solve -5*z = 4*y + f, 5*z - 2*y + 3 = 2*z for z.
-1
Suppose 203 = -o - 6*o. Let h = 31 + o. Solve 0 = 4*q + 2*v + 20, h*q + 4 = v + 2 for q.
-3
Let h(v) = -2*v**2 - 27*v - 50. Let a be h(-11). Solve 3*f = 6*f - a*x + 4, 5*x = f - 2 for