15 = 0. Let u be ((-1)/(-3) - 0)*j. Solve 2*v + 24 = 6*v + u*i, -2*i + 8 = 0 for v.
1
Let m(x) = -x**2 + 3*x. Let v be m(3). Let i = 9 - v. Suppose 5*g - 21 = -2*c, 3*c - 4*g + 6 = c. Solve -k = -3*p + i, -p + c*k + k + 3 = 0 for p.
3
Let f = -9 + 6. Let n be (f/5)/((-5)/25). Solve 5*t = 3*k + 20, 3*k - 1 - 11 = -n*t for k.
0
Suppose o + 3*k = 4*k + 3, -4*k + 4 = 4*o. Let m = 15 - 11. Solve -5*u = 0, -m*y + 3*u + o*u + 12 = 0 for y.
3
Let y = -1 + 3. Suppose 2*l = 3*r - 15, 2*l - 8 + 3 = -r. Solve u + 3*v = -2, -2*v + y = -u + r*u for u.
1
Let x be (-4)/(-7)*(-21)/(-6). Let a(o) = 6*o - 3. Let p be a(x). Solve -19 = -5*z + s + 2*s, 2*s = -z + p for z.
5
Let m(v) = -19*v**3 - 1. Let t be m(-1). Let b = -16 + t. Let s(o) = -o**3 + 5*o**2 - 3*o + 4. Let h be s(4). Solve 0 = 2*x, h - 23 = 5*p - b*x for p.
-3
Let c be (-9)/3 + -4 + (24 - 1). Solve -4*f + 2*a + 4 = 0, -5*f + f + c = -5*a for f.
-1
Let h be 3/5 + 35/25. Solve 0*r + 3*r = -h*v, 4*r + v = 5 for r.
2
Let y = 2 - -2. Let x(p) = -p + 5. Let k be x(y). Let d be ((-6)/(-7))/(k/7). Solve -4*b - b + 2*f - d = 0, -4 = 3*b - f for b.
-2
Suppose 0*j - 9 = -z - 2*j, 0 = 3*z + 2*j - 19. Let d(m) = -17*m**3 - 1. Let p be d(-1). Let a = 5 + 0. Solve r - a + 3 = -5*w, 0 = -w + z*r + p for w.
1
Let r be (-42)/9*27/(-6). Let x be (14/r)/(4/150). Let h be (-4)/10 - (-85)/x. Solve -6*c + 32 = -c + 3*o, -h*c + 4 = -2*o for c.
4
Let c = 0 - -13. Let a = -11 + c. Solve -30 + 4 = 4*q + a*u, -3 = 3*q - 4*u for q.
-5
Let u = 46 - 42. Solve 2*j = -u*v + 8, 0*v + j = v + 1 for v.
1
Let i(b) = -b**2 + 8*b - 6. Let c be i(7). Let q = c - -1. Let m be (5/(-4))/(q/(-8)). Solve 5*k - 15 = 0, 10 = 2*u + m*k + 1 for u.
-3
Let m be 0 + (0 - (-4 + 4)). Suppose m = -5*p + 15 + 10. Solve p*f = 3*w + 2 - 3, -4*f + 2*w = 0 for f.
1
Let t = -6 + 11. Solve -n = -c - 3*n - 4, t*n = -3*c - 10 for c.
0
Let d = -106 + 106. Solve -3*i + d = 2*j + 7, -j - 2 = 3*i for j.
-5
Suppose -11*n + 22 = -9*n. Solve -2*a + 14 = 2*x, 3*x - 20 = -5*a + n for x.
2
Let p be ((-2)/(-3))/((-8)/(-60)). Solve 12 = -3*a + p*q + 36, 2*q + 9 = a for a.
3
Let d(a) = 10*a**2. Let j be d(4). Let i be (12/10)/(24/j). Solve -4*m = 3*v - 7, -i*v + 3*v + 9 = 4*m for v.
1
Let i(h) = 2*h + 11. Let j(k) = k + 1. Let w(s) = -i(s) + 3*j(s). Let q be w(8). Suppose 7*r - 2*r - 10 = q. Solve -a = -v - 2 - 2, -7 = r*a + v for a.
-1
Let f(o) = 3 - 2*o**3 + o + 5*o**3 - 2*o**3. Let j be f(0). Solve -j*s - 2*p - 15 = 0, -5*s - 3*p - 21 = 3 for s.
-3
Let p(i) = i**3 + 7*i**2 + 4*i - 2. Let j be p(-6). Let x = 25 - 15. Let h = x - j. Solve -3 = -3*l + 3*y, h = -8*l + 3*l - 4*y - 31 for l.
-3
Suppose 0 = -k + 3*x + 4, -2*k = 3*k - 4*x - 20. Solve 0*f = -2*f + g + 12, -k = g for f.
4
Let y(i) = 4*i. Let n be y(1). Suppose -4*b - 2 = 2*z, -n*b + b + 9 = 5*z. Let s be 1/2*(1 + 3). Solve z*t - s*q = -t - 12, -5*t - 3*q = 15 for t.
-3
Suppose -31 = -3*g - 4. Let s be 6/4 - g/(-6). Suppose -2*t = -11 - s. Solve -2*j + t*j - 5 = c, -5*j = 5*c - 35 for j.
2
Suppose -h + 6*h - 10 = 0, 4*h = 3*b - 7. Solve 10 = i + b*z - 11, z = -i + 5 for i.
1
Let n be (1 - 3)/((-1)/3). Let g be 1/(-4) + 17/4. Solve -s + 7 = -g*p - n*s, 0 = -p - 4*s - 10 for p.
2
Let u(c) = -c**3 + 8*c**2 + 10*c - 6. Let k be u(9). Suppose 3 = -k*g - 3. Let d be (-1)/g + 3/2. Solve -4*j = -p - 8, 6*j - j = d*p + 10 for p.
0
Let s = 4 - -15. Suppose -5*i = 3*h - s - 3, -2*i - 4*h = -20. Solve 4*m = 3*y - 12 - 7, 0 = 2*m + i for y.
5
Suppose u - 4 = 1. Let k(j) = -j**3 - 3*j**2 - j - 4. Let x be k(-3). Let f = x - -4. Solve 3*t - 10 = -f*q + t, -u*q = -5*t for q.
2
Suppose -3*k = -4*x - 9, -2*x + 4*k - 12 = x. Solve x = 5*i - 2*q + 12, 0*i + i - 4*q - 12 = 0 for i.
-4
Suppose 10*d - 17 = 5*d - 2*h, 2*h + 8 = 0. Suppose 2*b = 8, 4*l + 0*b - 92 = 4*b. Solve 0 = -z + 4*k - k - 14, l = 2*z + d*k for z.
1
Let v = -2 + 6. Let g be (12/10)/((-6)/(-20)). Let l = v - g. Solve 5*a - 2*x + 19 = l, -5*x - 32 = a - 12 for a.
-5
Let d be (-10)/(-35) - 4/14. Solve 2*p = 4*f + 8, d*p + 4*f = -p - 20 for p.
-4
Let u(x) = 3*x**2 + 3*x + 1. Let h be u(-2). Let l(r) = -2*r**2 - 3*r - 1. Let a be l(-2). Let v = h - a. Solve -z + 2*z = 3*o - v, 2*z + 5*o = 2 for z.
-4
Let v(g) = -4*g - 4. Let m be v(-2). Solve 0 = -2*t - z - 2 + 4, -z = m*t for t.
-1
Let d(j) be the second derivative of -j**5/20 - j**4/12 + j**3/2 - 2*j**2 - 3*j. Let y be d(-3). Solve y*q - 10 = -3*p, 0 - 4 = -2*q - 3*p for q.
2
Suppose 2*x + 5*i = 19, 0*i - 5 = -4*x + i. Let w = -8 - -14. Let g = x + w. Solve -4*k - 8 = 4*v + g, 3*k + 2*v = -12 for k.
-4
Let j(o) = 0*o - 2*o - o**2 + 5*o**2 - o**3. Let f be j(2). Solve 5*v - 15 = -5*r, r + f*v - 16 = -4*r for r.
4
Let j = -10 - -11. Let t be (1 + j)/(2/4). Solve -2*v = 10, -4*s + 2*s + t*v + 14 = 0 for s.
-3
Let f be 1*2/(-5) - 27/(-5). Suppose -2*q + 29 = -3*v, 5*v - 6 - 107 = -4*q. Solve -4*c + f*n - q = 0, -5*n + 2*n + 21 = -5*c for c.
-3
Let g(m) = 2*m**2 - 2*m - 1. Suppose w = 5*i + 17, 12 = -2*w - 5*i + 1. Let q be g(w). Solve -3 = -2*n - q*o + 5, -12 = -3*n + o for n.
4
Suppose 6*x + 3*x = 3*x. Solve -b - 15 - 5 = -4*v, x = b for v.
5
Suppose -3*d + d + 10 = 0. Solve m = -d*u - 15, -4*m - 5 - 1 = 2*u for u.
-3
Let b = 10 + -9. Solve -2*j - 5 = b, 0 = -4*y + 3*j + 29 for y.
5
Let r(t) = -15*t + 3. Let l be r(-3). Suppose 5*v = 4*w - 0*w - 190, -l = -w + v. Let i be 2/(-8) + (-17)/(-4). Solve -2*d = -5*b - 31 - i, 5*d - w = 5*b for b.
-5
Suppose -q = -4*q + 15. Let h be q - -3*2/(-6). Suppose -h*c = -2*y - 42 + 12, -21 = -2*c - 5*y. Solve 0 = -2*j + c, -4*i - 2*j - 10 = 2 for i.
-5
Suppose 1 = -2*a - 5. Let g be (22/a)/(4/(-6)). Solve -2*q - 2 = -0*q, g = 3*k - 5*q for k.
2
Let t be (2 - 5) + 26/2. Solve -m - 5*s = t, -5*m = -m - 2*s - 4 for m.
0
Let m = -18 + 11. Let q = -11 - m. Let v(n) = n**3 + 4*n**2 + 2. Let l be v(q). Solve h - l*x - 8 = 0, -2*h - x + 0 = -1 for h.
2
Let z(f) = -8*f**2 + f - 1. Let p(t) = -t + 7. Let r be p(6). Let i be z(r). Let a = -5 - i. Solve a*g = g - 2*v, -2*g + v - 6 = 0 for g.
-2
Let d be (12/9)/((-12)/54). Let b be (-2)/(-4) + d/(-4). Solve -5*v - 18 = 2*z, b*v + 9 = -2*z + 3*z for v.
-4
Let o be 1 + 1 + (2 - -7). Solve 5*i + 5*y = 30, 3*y = i + 5*y - o for i.
1
Suppose -4*w + 234 = 5*q, -2*q - 3*q + 230 = 5*w. Let h = -16 + q. Solve 3*s - g + 0*g = -18, 5*s + h = 3*g for s.
-5
Let r be (-6)/3 - (-2 - 6/2). Solve 5*p - s = -18, r*p - 8*p - 4*s = 28 for p.
-4
Let c(v) = 6*v**2 - 1. Let t be c(1). Let q = 10 - t. Solve q*a - 4*a + 14 = -3*k, -k - 8 = -3*a for a.
1
Let l(u) = -u**2 + 9*u + 19. Let o be l(8). Solve -4*a = 3*v + 31, 3*a + v + o = -2*v for a.
-4
Suppose 5*a - 1 = -6. Let j be a/(3/(-30)*2). Solve -3*n - y = j, 0 = -n - 2*y - 5 for n.
-1
Let z be -1 - (-3*(-26)/(-6) - 4). Solve m = 5*c - 18, 3*c - z + 4 = m for c.
3
Let k(l) = 32*l. Let n be k(1). Let s = n - 15. Solve -o + a = -0*o + 9, -o + 3*a - s = 0 for o.
-5
Let d be 4/2 - (-2 - 0). Solve d*t + 5*s - 31 + 9 = 0, t + 1 = 2*s for t.
3
Let f be (3 - (6 - 4)) + 2. Solve 1 = 2*s + f, c + 2 = -2*s for c.
0
Let o(m) = -m - 9. Let l be o(-9). Solve -5*a + 4*d + 24 = l, -10 = -a + 5*d - 1 for a.
4
Let n(u) = u**2 - 4*u + 5. Suppose -3*x - 8 = 2*w + x, w + x = 0. Let a be n(w). Suppose m = 4*m. Solve -s - 4*i + a = m, 0 = -s - 0*s - i + 2 for s.
1
Suppose 0 = -j + 4*j - 9. Suppose 0*r + r - j = 0. Solve 2*l - 2*q + 1 + 3 = 0, 0 = r*l + q - 14 for l.
3
Let m be 26/4 + (-3)/2. Suppose -2*y = y - d - 10, 10 = m*d. Let i be 196/12 + (-2)/6. Solve y*u + i = -v, -4*u + 8*u = 2*v - 16 for u.
-4
Let u be 12/48 + 7/4. Solve u*a + 3*a - 4*y = -10, -a - 2*y = -12 for a.
2
Let r = -2 - -7. Let l be (-12)/(-5) + (-2)/r. Suppose 3*z = 3*p + 27, -z - 2*p + 9 = p. Solve l*a + 8 = 0, -4*a = -4*w - z*a for w.
5
Suppose 5*y + 2*j + 27 + 13 = 0, -49 = 4*y + 5*j. Let x be 13 + (-9)/y*-2. Solve 5*k = -4*a - x, -4*a + 3*k - 8 = 7*k for a.
0
Let h be (2/1 - 2)/(-2). Suppose -4*z + k = -h*k - 10, 3*z = k + 7. Solve 2*t - c = -4*c + 12, c - 4 = z*t for t.
0
Let m be (-2)/5*(3 - 33). Suppose 2*c = -2*c + m. Solve -2*j + 3*z = -c*j + 5, 2*j - 5*z = 10 for j.
5
Let b = 1 - -1. Suppose 6 = -b*k - 0*k, 0 = -5*q - 2*k + 14. Solve 4*f + 3*j = f + 24, -q*j = -2*f - 8 for f.
4
Let u(s) = -3*s - 4. Let f be u(-3). Suppose d + 0*d - 3 = 0. Suppose -2*v = -v - d