*l + 4*q for l.
1
Suppose 0 = -2*s - 2*d + 8, 0*d - 18 = -5*s - 3*d. Solve 4*c - b + 6 = -c, -4*c - 20 = s*b for c.
-2
Suppose 2 = 3*v - 10. Let r = -4 + v. Suppose 5*x = -2*a + 2, 3*a + r*x - 5*x = 28. Solve -8 = -5*m + 3*o, 5*o = 5*m + a - 16 for m.
1
Let y(u) = u + 9. Let x be y(-6). Suppose t - x = -1. Suppose -h + 0 = -t. Solve 7*p - 16 = -h*d + 3*p, -5*d - 3*p = -12 for d.
0
Suppose 0 = -4*i - a + 14, -3*i + 4 = -4*a + 3. Solve p + 6*y - 14 = i*y, 3*p - 4*y = 3 for p.
5
Let x(v) = -v**2 + 5*v - 2. Suppose -b - 9 = -3*c + 2, -c = 2*b - 13. Let p be x(b). Solve 4*j = -m - j + 14, -p*m - 5 = -j for m.
-1
Suppose 6*a = -13 + 37. Solve 5*y = -k + 9, 8*y - 3*y = -a*k + 6 for y.
2
Suppose -3*m + 0 + 9 = 0. Suppose 2*v + 3*v - 32 = a, m*a = v - 12. Let s be 27/v*2/3. Solve -s*q = -f - f - 2, -4 = 3*q + 4*f for q.
0
Let o(w) = w**3 - 7*w**2 - 9*w + 12. Let b be o(8). Let l(j) = -j**2 - 4*j. Let a be l(-3). Suppose 0 = a*h - 0*h - 15. Solve -h*v + v = b, k + 5*v = -10 for k.
-5
Suppose 0 = 2*t - 5*t - 3*m + 18, 4*t - 32 = -2*m. Solve -5*u + t = -2*w, 3 - 13 = 2*w for u.
0
Let a be ((-20)/(-6))/(4/6). Suppose -5*r - 63 = -4*l, 34 = 5*l - 2*r - 32. Suppose 2*c = -2*c + l. Solve a = -n + c*s + 2*s, 4*s = 3*n + 4 for n.
0
Let s(u) = 2*u - 2. Let t(n) = -n**2 + 9*n - 5. Let w be t(8). Let i be s(w). Let v be (1 - (-1 + 2)) + i. Solve -y + v = 3, y = 5*h + 6 for h.
-1
Let c(a) = a**3 + 11*a**2 + 24. Let x be c(-11). Solve -y = -3*f - 14, -5*f - 2*y - x = 3 for f.
-5
Let y be ((-2)/(-5))/((-1)/(-5)). Let h be y/3 + 13/3. Suppose o - h = 0, 4*o - 25 = -3*d + 2*o. Solve -5*z + u + 12 = 5*u, 2*u = d*z - 24 for z.
4
Let i be (-3 - 0) + (6 - 0). Solve 0 = -l - 2*o + 7, 0*l = -3*l - i*o + 15 for l.
3
Suppose 2*x - h = 110 - 41, -5*x + 5*h = -175. Let j = x - 12. Solve 3*r - j = -5*a, 2*a = r + 5*a - 10 for r.
4
Let k(p) = p**3 + 4*p**2 + 2. Let c be k(-4). Let s(m) = m**3 + 9*m**2 + 8. Let l be s(-9). Suppose 3*w = -w + l. Solve c*f = 4*o + 8, w*o + f + 3*f = -4 for o.
-2
Suppose 5*d + 56 = -4. Let t be (-1)/3 - 4/d. Solve t = -2*x + 4*w - 14 + 6, w = 3 for x.
2
Let q be -8*((-20)/(-8) - 3). Solve -q*j + 14 + 2 = 4*n, -12 = -2*n - 3*j for n.
0
Let h = 46 - 42. Solve 0 = 4*y - 4*q - 4, h*y + 8*q = 3*q - 32 for y.
-3
Let c be 15/35 - 25/(-7). Solve c*q + 3*j + 11 = 0, 0*q - 2*q - 4*j - 18 = 0 for q.
1
Suppose 0*x = x - 2. Let d be ((-68)/(-12))/((-2)/(-6)). Suppose 9 = -3*u, 5*a + u - d = -0*u. Solve q - 5*r = 25, x + a = 2*q + r for q.
5
Let c = 1 + -1. Suppose 0 = 4*p - 5*p - 2, -v + 3*p + 10 = 0. Solve 0 = -0*g - g - v*k + 5, c = 3*g - 2*k - 1 for g.
1
Let m = -18 - -21. Let b(h) be the third derivative of -h**4/8 + 5*h**3/6 - h**2. Let y be b(-4). Solve m*t - 5*u + y = 0, -4*t - 3 = 3*u + 10 for t.
-4
Let y be ((-15)/9)/(2/(-6)). Let a be (-3 + y)/4*10. Solve -a*r - 17 = 4*m, 8 = -5*r + 4*m - 5*m for r.
-1
Let h(a) = 12*a - 3. Let f be h(2). Suppose -5*r - 7 = -3*q, -5*q + 3*r + f = 4*r. Solve q*w = -2*s - 12, 0 = -2*s - 2*s + 3*w - 2 for s.
-2
Let h = 22 + -31. Let o be (-2)/h + (-215)/(-45). Solve 0 = -2*p - 2*c - 2, o*p + 4 = 3*p - c for p.
-3
Let m be -4 + 1 - 42/(-6). Solve 2*l = 3*n + 17, m*l = -l + 5*n + 30 for l.
1
Let i(y) be the second derivative of -1/3*y**3 + 3*y + 0 - 3/2*y**2. Let h be i(-3). Solve h*g - 2*b = -7, g - 8*b + 3*b - 2 = 0 for g.
-3
Suppose 0 = 2*k + 4*p - 16, 7*k + 4*p - 14 = 6*k. Solve -5*v + 5*q - 20 = 0, -2*v + 3*v + k*q = 8 for v.
0
Suppose 6*v - v = 15. Suppose -25*m + 28*m - 21 = 0. Solve -3*k - 4*b + 26 = 0, -v - m = -2*b for k.
2
Let z(h) = -6*h**2. Let m be z(-1). Let c be 3*(-1)/m*6. Let f be ((-1)/c)/((-6)/18). Solve -q - 3*j = 2 - f, 0 = 3*q - 5*j + 3 for q.
-1
Let h = 65 - 42. Let o be (2 - 0 - 1)/1 - -1. Solve c + 2*n - 3 = -0*n, 5*c - h = -o*n for c.
5
Suppose 4*h - 10 - 2 = 0. Solve -2*p - h*u - 16 = 6, -4*u = -3*p + 1 for p.
-5
Let x(n) = 32*n**2 - 3*n - 2. Let d be x(-1). Let u be (d/22)/((-1)/(-2)). Solve 4*w + 31 + 4 = -u*b, 2*b + 5*w = -35 for b.
-5
Let q be -1*5 + 2 + (6 - 3). Solve -j = -5*d + 22, q*j + 2*j = -3*d + 21 for d.
5
Let h(r) = r**2 + 3*r + 7. Let c be h(-2). Solve -4*s + s = 0, c*v = -s + 25 for v.
5
Let k = -1 + 5. Let t(c) = -c + 16 + 6*c - k*c + c**2. Let u be t(0). Solve -5*d + 10 = -0*d - 4*y, 0 = 3*d + 2*y + u for d.
-2
Let s = 79 - 64. Solve 21 = 4*k - 2*v - v, -5*v - s = 0 for k.
3
Let o = -15 - -19. Solve -q = 4*s + 12, -q = o*q - 20 for s.
-4
Let h be (4 + (-55)/10)*-2. Suppose -4*s + 5*s = 4. Solve 3*w = s*f - 3, h*w + 0*w = -4*f - 27 for w.
-5
Suppose 2*c - 6 = 5*z, 4*z - 3*z - 4*c - 6 = 0. Let o be z + (2 - (0 - 0)). Solve o = -5*p - 4*y - 22 - 9, 5*p + 2*y + 23 = 0 for p.
-3
Suppose 3*g = -g - 64. Let f be 6/(-8) + (-364)/g. Solve 4*o - f = 2*i, 3 = -i - 2 for o.
3
Suppose g = -0*g. Suppose g = -4*q + 23 + 5. Solve q*n - 3*n - 10 = 5*d, 4 = -2*d for n.
0
Suppose -1 = -4*f + 27. Let w = -3 + f. Let x(k) = 6*k - 1. Let o be x(1). Solve -u + 12 = -5*p, -2*u + w = -5*p - o for p.
-3
Let u(f) = f**2 + 12 + f - 2*f**2 + 7*f. Let q be u(9). Suppose -a + 0 = -q. Solve -4*n + 2*n = -y - 2, -6 = -2*n + a*y for n.
0
Let j(y) = y**2 - 6*y + 4. Let k be j(3). Let n = k - -5. Solve -3*g - 17 = -2*l + 4*l, -g + 5*l = n for g.
-5
Suppose 3*p = -7 + 22, -10 = -5*h - p. Let c = h + 1. Solve c*a - 3*a = -4*f - 20, -4*f - 20 = -4*a for a.
0
Suppose -4*u = 3*q - 59, -3*u - q + 5*q = -38. Suppose -2*h = -x + 5, 10 = 3*x + 3*h - u. Solve z + 5 = 0, 4*z + 1 = -3*i - x for i.
4
Let j = 0 - 0. Let t = j - -1. Let a be t/((-21)/12 - -2). Solve 5*i = -5*l + 5, 5*i = a*l - 2 + 16 for i.
2
Let l = 24 + -9. Suppose r - 6*r = -25. Solve -u - l = -r*n, 0*u + 3*u = n - 17 for n.
2
Suppose 0 = -3*y - 6 - 0. Let w = y - -3. Suppose 3*x = 5*c - 2*c, 5*c + x - 12 = 0. Solve -z = -0*v - 2*v + 1, 5*v - c*z - w = 0 for v.
-1
Let o = -9 - -13. Let q(f) = -12*f + 16*f + f**3 - f**2 + 7*f**2 - 4. Let t be q(-5). Solve x + o*x = 0, g = 4*x - t for g.
-1
Let x(t) be the first derivative of 17*t**2/2 - 2. Let h be x(2). Let c be h/10 + (-6)/15. Solve 2*n - 4 = -5*s + 12, 0 = -s + c*n - 7 for s.
2
Let t be (2/3)/((-2)/(-6)). Let g be (-2 + 9 - t) + -1. Let w be (2/g)/((-3)/(-96)). Solve 3*n + p = -w, 0 = -n - 3*n + 5*p - 15 for n.
-5
Suppose 2*j + j - 31 = 4*b, -2*j = b - 6. Let d(y) = 0*y**2 - 7*y**3 + 1 - y**2 + 0 - 8*y**3. Let t be d(-1). Solve -q + 29 = -2*x - 3*x, j*q - t = -x for x.
-5
Suppose 4*g + 1 + 2 = -y, 0 = y - 5*g - 15. Let n = -8 - -8. Solve -2*x = d - n*d + 8, -2*d + 3*x = -y for d.
-2
Suppose 0 = -4*g + 2*n + 11 + 21, -5*n = 4*g - 32. Let p be -4*(-3 + 18/g). Solve -2*l - 2*z - 20 = l, -p*l + 2*z - 4 = 0 for l.
-4
Let f(l) = l**3 + 5*l**2 - 5*l + 8. Let j be f(-6). Let w be (0/2)/(j - 4). Solve 2*m - 13 = -x, w = 5*m - 0*x - 4*x for m.
4
Let m(f) be the first derivative of 0*f**2 + 1/3*f**3 + 3 + 8*f. Let o be m(0). Solve 5*u - v + 3 - 11 = 0, 4*v - o = 0 for u.
2
Suppose -y = -3, 45 + 13 = 4*n - 2*y. Suppose n + 24 = 5*w. Solve 5*m = 5*q + 30, w = -3*q - 4*m + 2*m for q.
-4
Suppose -2*g = 2, -g + 1 = w + 2. Let v(p) = p**3 + p**2. Let q be v(w). Solve 2*l - 8 = -q*l + 4*a, -5*l + 4*a = -8 for l.
0
Suppose 5*k + 0*k = 0. Solve k = -l + 4*r - 15, -2*r = 3*l + r for l.
-3
Suppose 5*v = 3*v + 4. Suppose -1 - 19 = -v*j. Let f be 8/j*10/4. Solve x = 6*x - f*c - 30, 0 = -x - 4*c - 16 for x.
4
Let t = -9 - -11. Suppose 6 = -t*o + 5*o. Let d be (-1)/3 - 32/(-6). Solve -5 = d*p + o*y, -p = -0*p + y + 1 for p.
-1
Suppose -3*s + 0*w = -5*w - 15, 0 = -4*s - w - 3. Solve s = 4*y + 4, -3*f + 4*y - 3 = -1 for f.
-2
Suppose -3*y - y = 0. Solve u = -u - i - 1, 5*u + 4*i + 7 = y for u.
1
Let k be 2 - 0*(2 + -3). Let b(i) be the first derivative of i**3/3 + 17*i + 4. Let x be b(0). Solve k*y + 3*y = -3*w + 17, -x = -4*w - y for w.
4
Let q = 5 - 0. Solve 4*k = 5*r + k - 23, q*r = -3*k + 17 for r.
4
Let l = 5 + -2. Suppose 0 = -3*x + l - 6. Let a be ((-3)/(-6))/(x/(-16)). Solve 4*v + 4 = -2*s, 3 = -5*v - 5*s + a for v.
-3
Let o be (-2)/3*36/(-8). Solve -o*r + 7 = 4*y, -r + y - 1 = -y for r.
1
Let l be (-6)/(-45) - (-146)/30. Solve m - 2*y + 11 = 0, 3*m - y - 7 = -l*y for m.
-3
Suppose 4*l = -3*r + 5, -3*r + 5*l = -4 - 10. Solve 0 = -2*q - 5*p - 15, -5*q + 0*p = p + r for q.
0
Suppose -1 = 5*q - 6. Let r be (-3)/6*(q + -1). Let 