 = 3*j - 18. Solve 0 = -v*y + 10, 4*o = -y - 4*y - j for o.
-4
Let j(i) = -3*i**2 - 12*i - 23. Let s(g) = g**2 + 6*g + 11. Let x(v) = 2*j(v) + 5*s(v). Let u be x(7). Solve -t + 4 = -0*t, 4*f - 12 = u*t for f.
5
Let o be (4 - (1 - 0)) + 0. Let d be ((-5)/(-4))/(o/12). Suppose -3*t - 10 = m, 3*m + 4*t + 9 = -1. Solve 0 = -d*p + 25, 2*f + m*p + 2*p = 18 for f.
-1
Let b be (-1)/(-3) + (-3)/9. Let v(n) = -n**3 + n**2 + 3*n - 2. Let s be v(2). Suppose -r + 2*r - 5 = s. Solve -m + 4 = b, r*u - 5*m + 29 = -1 for u.
-2
Let r be 6/(-9) - 24/(-9). Suppose 2*m - 2*u = -m + 21, -5*u = -r*m + 14. Let i be (-4)/(-28) + 27/m. Solve i = -5*j - 2*s - 8, 3*j - s + 5 = 0 for j.
-2
Let v = -11 + 18. Solve 0 = 4*g - b - 4*b - 13, 5*g + 3*b = v for g.
2
Let k be 90/3 + -1 + 0. Suppose -2*q + 85 = k. Solve -4*i + 3*h - q = 0, 3*i - 5*h + 40 = -2*i for i.
-4
Suppose -2*j + 3*c = -c + 2, -2*c = -2*j + 4. Solve 3*v + 3 = -2*s, j*v + 0*s + 27 = 4*s for v.
-3
Suppose -75 + 23 = -4*z. Let y = z + -11. Let w = 2 + -1. Solve q = -w, 0 = -4*i + 3*q + y*q + 9 for i.
1
Let m(v) = -v**3 - v**2 + 2*v + 3. Let h be m(-2). Suppose 0 = h*s + 3*r - 10 + 4, -4*s + 4*r + 32 = 0. Solve 5*j = 5*o, -s*j + 16 = 5*o - 24 for j.
4
Let t(h) = 5*h**3 + 3*h**2 + 8. Let a(s) = 14*s**3 + 9*s**2 + 23. Let n(c) = 4*a(c) - 11*t(c). Let u be n(-3). Solve -2*g + 4 = -j, -u*g + 2*g = 2*j - 10 for j.
2
Let k be (-51)/(-2) + (-7)/(70/(-15)). Solve -3*z + 18 = 2*p + 3, -5*p + k = 4*z for z.
3
Let h = 1 + 0. Solve 2*b - 3*b + h = 0, 0 = 2*w + 2*b + 6 for w.
-4
Suppose 0*p = -3*p + 3. Solve 4*x + m - 14 = -4*m, -5*x + p = -2*m for x.
1
Let m be 74/4 - (-2)/(-4). Let l = -70 + 103. Suppose -2*v + l = 3. Solve -3*i = -0*j + 4*j + m, 0 = -3*i - 3*j - v for i.
-2
Suppose -5*w + 23 = 8. Solve -2*k + k = w*r - 12, -5*r = -5*k for k.
3
Suppose 24 = 2*f - 12. Let h = -6 + f. Suppose 2*u + u - h = 0. Solve -c = -w - 4, u*c + c - 5 = 0 for w.
-3
Let x = -1 - 2. Let j(m) = m**2 + 12*m - 2. Let f be j(-12). Let t = f - x. Solve 4 = -r + 2*p, -2*r - t = -p - 2 for r.
2
Let n = 7 - 9. Let m be (n - -7)*(0 - -2). Suppose 4*l - 10 = 5*z, 6*z - z = l - m. Solve 5*w = l, 4*h + 2*w = 7*h - 15 for h.
5
Suppose -2*k = q - 12, -q - 4 = -k - 1. Solve 0*f + 3*f = 3*t - 12, 8 = 4*t - q*f for t.
0
Let m = 0 - -2. Let i(s) = 5*s**m + s**3 - 2*s + 5*s - s**2. Let y be i(-2). Solve 4*a = 3*h - 23, -3*a + 19 = 3*h + y*h for h.
5
Let z be -3*(-4)/(-6) - -3. Suppose -3 = -2*f + z. Solve 2*c - 6 = f*q, 0 = 3*c - 2 - 4 for q.
-1
Let b = -16 + 29. Let q = 5 - b. Let j be ((-1)/(-2))/((-1)/q). Solve -j = -n - 2*w, n + 0*n - 2*w - 4 = 0 for n.
4
Let q be ((-260)/(-78))/(2/3). Solve 2*o + o = -3*x - 9, -x + 21 = -q*o for x.
1
Suppose 2*h + 12 = 5*f, 3*f + 8 = 6*f - h. Let t(b) = -b**3 + 5*b**2 - 5*b + 3. Let x be t(4). Let p = f + x. Solve -p*k - 1 = -z + 4, 5*z - 9 = -k for z.
2
Let q be -8 + 8 + (1 - -3). Solve -4*v + 28 = -4*w, 5*w = -5*v + q*w + 11 for v.
3
Suppose -3*p - 8 = -4*b + 2, -4*b = 2*p - 20. Solve 0*s + b*x = 2*s - 20, -5*s - x - 5 = 0 for s.
0
Let b = 172 + -122. Let w be (30/25)/(3/b). Let x(a) = -2*a**3 - 4*a**2 - 3*a - 2. Let l be x(-2). Solve -3*p = -2*i + w - l, 5*p = -20 for i.
2
Let o be 63/12 - (-3)/(-12). Suppose 4*w - 115 = -0*m + o*m, 0 = 4*w + m - 121. Suppose 3*n - n - 20 = 0. Solve a + a - w = -4*s, 0 = 2*s - 4*a + n for s.
5
Let t = -13 - -8. Let c = 0 - t. Solve c*o - f = -5, 2*f - 6*f = o + 22 for o.
-2
Suppose -5*s = -15, y = 3*y - s - 5. Suppose -3*h - 2*h = 0. Let a be (6 - -6)*(-2)/(-8). Solve x + 3*x - y = 0, 2*f + a*x + 7 = h for f.
-5
Suppose -3*t = -4*t + 2. Let y(g) = 2*g**3 + 7*g**2 - 4*g + 1. Let m be y(-4). Let d be 1/m*(t - 0). Solve -d = 3*u - 5*u - n, -4*n = u + 6 for u.
2
Suppose 5*l - 3*t + 2 = 4, 4*l - 3 = t. Let m(i) = -1 - 1 + 1 + 36*i. Let v be m(l). Solve -v = -5*b + 2*h, 2*b - 5*h - 49 + 14 = 0 for b.
5
Let d(k) = k**2 - 6*k - 8. Let s be d(7). Let g = -1 - s. Suppose g = x - 6 - 1. Solve -3*f + 11 = r - 6*r, -x = -2*f + 3*r for f.
2
Let s(j) = -j**3 - 6*j**2 - 3*j + 7. Let q be s(-5). Let o be 2 - (-3 - q)*-1. Solve 4*w - 4*r + 8 = 0, 0 = -3*w - 0*w - o*r + 14 for w.
2
Suppose -2*q - 80 = -6*q. Let i = q - 16. Solve -a - t + 2 = 0, t = -3*a - 0 - i for a.
-3
Let f be 22 + 0*1/(-2). Solve 2*c - 5*j = 16, 0*c - f = c + 5*j for c.
-2
Let l be -1 - -38*1/2. Suppose 5*r - 12 = l. Suppose 25 = 2*m + 3*g, -3*m - g + 20 = -0*m. Solve 3*u = m*j - 15, r*u + 9 = 3*j + u for j.
3
Suppose -22 = 2*w - 4. Let m be (-6)/w - 31/(-3). Suppose -4*s = -2*s. Solve 9 = 3*c - n, -5*c + 4*c + 5*n - m = s for c.
4
Let c(b) = 3*b - 4. Let o be c(3). Let t = 3 + -1. Suppose t*i - 29 - 33 = 0. Solve 3*s = o*j + i, -5*s + 30 = -4*j - 0*s for j.
-5
Let c be (-5)/1*4/(-10). Let a be 8/(32/84) - 3. Let r be (-1 - -2)*-1*-3. Solve -3*z = -r*b + a, 3*b + 7 = c*z - 4*z for z.
-5
Let m = -164 - -165. Solve 5*a + 3*p = -5, 3 = -2*a - 5*p + m for a.
-1
Let c = 5 + -1. Solve c*k + 4 - 11 = -r, 0 = -4*k + 4 for r.
3
Suppose 80 = -x + 5*x + 4*q, -5*q = x. Solve 0*f - 16 = 2*f + 2*h, 5*f + 2*h + x = 0 for f.
-3
Suppose -d = d. Let i(o) be the second derivative of -o**3/3 - 4*o**2 + o. Let r be i(-6). Solve 0 = -d*u + r*u - 8, -2*u + 1 = -3*j for j.
1
Let z(v) = -v + 2. Let k be z(-1). Solve -2*j + 4*g + 3 = -k, 5*g - 30 = -5*j for j.
5
Suppose -a + 0*a = 5*t + 15, -10 = 2*a + 5*t. Solve 3 = 3*q + a*r, q - r + 10 = r for q.
-4
Suppose 11 = 4*p - 1. Suppose -258 - 75 = -p*c. Suppose 4*g - c = 4*q - 7, g = -4*q + 51. Solve -3*s = -5*z + g, z = -4*s - 3*z + 12 for s.
-2
Suppose t = 3 - 1. Let u be 8/8*(t + -1). Let q = 2 + u. Solve 3*r = q*i, -7*i + 2*i = -25 for r.
5
Suppose 4*s = 8 - 0. Suppose -4*j = -12 - 0. Solve -c - s*p + 3 = 0, 0*p = 2*c - j*p + 22 for c.
-5
Suppose 5*p + j = 290, 106 = 4*p + 4*j - 110. Suppose -4*g + p = 15. Solve z + 5 = 4*m, -5*z - 3*m = g + 14 for z.
-5
Let b be 1/((-7)/4 + 2). Suppose -m - 5*s = 6, 3*m = -m - 2*s - 6. Let g = 4 + m. Solve 4*p + 4*u = -g + 23, -b*p - 5*u = -21 for p.
4
Suppose -3*z + 260 = -7*z. Let u be 37/13 + (-10)/z. Solve -u*d = -3*h + 13 + 14, -2*d = h + 6 for h.
4
Let d be 1*1/((-2)/(-10)). Let a be 22/(-55) - 4/(-10). Solve a = -d*u + 9 + 1, -3*m = -2*u + 10 for m.
-2
Suppose -2*t + 181 = 3*v + 3*t, -5 = -t. Suppose 6*l = 2*l + v. Suppose -2*x = -3*g, x + 4*x = g + l. Solve g*p = 5*w - 21, -13 = -p - 5*w + 14 for p.
2
Let p(g) = -g**2 - 7*g - 5. Let v be p(-5). Suppose -2*w = -v*f + 15, w + 5*f = 22 + 8. Suppose -y = -w*y. Solve -a + y = r + 1, 5 = -r + a for r.
-3
Let c be (1/(-3))/(1/(-6)). Let l = c - -3. Let y = 11 - l. Solve -2*d - 4*z + y = 0, -d + z + 3 = -3*z for d.
3
Let p(i) = -11*i**3 + i**2 + 2 - i + 2*i + 10*i**3. Let h be p(0). Solve 8 = 4*t + 4*c, 0 = -0*t + t - h*c - 8 for t.
4
Let p = 99 - 36. Suppose -4*o + 4*q + 56 = 12, 5*o - 3*q - p = 0. Solve 5*h - o = 0, 4*l + 2*h = h - 1 for l.
-1
Let f = 1 + -2. Let n(a) = 2*a**2 - 2*a - 1. Let u be n(f). Suppose d = k - 3*d - 11, 2*d - 5 = -3*k. Solve -5*z = -3*s + 19, 0 = -u*z + s + k*s - 18 for z.
-2
Suppose -4*q - 3*f = 11 + 58, -q - 5*f - 30 = 0. Let s = -11 - q. Solve 4*o - 4*y - 36 = 0, -2*o + 20 = -s*y - 8 for o.
4
Let y = 6 + -6. Suppose 0*v + 2*v - 12 = y. Let h = v - 3. Solve 0 = 3*w + p - 10, -1 = w - p - h for w.
3
Suppose -13 = n - 4*a + 4, 4*a - 11 = 3*n. Solve 5*t = -5*l - 20, n*l - 13 = 2*t - 0*l for t.
-5
Let s(z) = -3*z + 31. Let q be s(9). Solve -5*b + 5 = 5*l - 0, -20 = -q*l for b.
-4
Suppose 0 = 4*j - 7*j + 18. Suppose 0 = s - j*s. Let i(b) = -b**3 - b**2 + b + 1. Let w be i(-2). Solve s = 4*c + 2*p - w*p + 2, c = -4*p - 9 for c.
-1
Suppose -3*u = -4*g - 0*g, -2*g - 10 = u. Let m = 3 + g. Solve 3*q + 2*q + b + 9 = m, 2*b + 8 = -5*q for q.
-2
Let i be (-8)/(-6) - 8/6. Solve 5*q + 2*g - 4*g - 13 = 0, i = q + g + 3 for q.
1
Suppose 3*o = -0*o + w + 37, 4*w = -5*o + 73. Let k(l) = -l + 8. Let s be k(6). Solve -s*c = -7*x + 2*x - o, 5*x = -2*c + 3 for c.
4
Let p(r) = -2*r - 8. Let c be p(-6). Suppose 3*u = -6 + 30. Solve -u = -c*w, 5*z - 4*w + 30 = w for z.
-4
Let o be (-45)/(-12) - 1/(-4). Solve -5*c - 33 + 7 = 3*r, 0 = o*r - 2*c for r.
-2
Let c(x) = x**2 - 8*x + 9. Let j(p) = -6 - 3 + p**3 + 1 - 2*p + 8*p**2. Let k be j(-8). Let v be c(k). Solve 1 + v = 5*s + 5*t, 0 = -s + 3*t + 14 for s.
5
Let y(a)