- 12, 2*s = r*x + 25 for s.
0
Let p be (78/(-91))/((-4)/14). Solve 10*z - 5*z = 0, 0 = -3*a - 4*z - p for a.
-1
Let c(g) be the second derivative of -g**3/3 + g**2/2 - 4*g. Let u be c(-2). Solve -13 = u*d - 2*w, -2*d + 4*w - 2*w - 10 = 0 for d.
-1
Let g be (-112)/(-6)*36/16. Suppose 38 + g = 4*r. Suppose -12 = -5*c + 13. Solve -c*s + y - 6*y = r, -s + 5*y = -26 for s.
1
Suppose -4 = 2*g - 4*g - 2*j, 19 = 2*g - 3*j. Let o(a) = 24*a**2 + 2*a - 1. Let r be o(1). Let t = r - 20. Solve t*v - 2*h - 3*h = 10, -5*v - 20 = g*h for v.
-1
Suppose 0 = -5*i - 11 + 36. Suppose 0*n - 5*n = -i. Let h = 5 - n. Solve -u = -0*u + h*s + 1, -u - 2*s = -1 for u.
3
Suppose -5*o + 12 = -2*o. Solve 2*m + o*i = 3*i + 10, -5*i + 32 = 4*m for m.
3
Let a = -8 - -4. Let l = -3 - a. Let m be 1 + (1 + l)/1. Solve 0 = h - 3*v - m, 5*h - 3*v - 15 = -0*v for h.
3
Let o(i) = -i**3 + 13*i**2 - 10*i - 16. Let l be o(12). Let x = 12 - l. Solve 4*w - 2 = 3*r - 6, 0 = -2*r + x*w for r.
4
Suppose -4*o + g = -0*o - 405, 5*o - 5*g = 495. Let a be (o/9)/((-6)/(-9)). Solve -3*f = 9, 3*y + f = 7*y + a for y.
-5
Suppose -5*y - 1 + 21 = 0. Let b(o) = -o**3 - 5*o**2 + 4*o - 7. Let q be b(-6). Solve 0 = f - y*f + u - 20, -q*u = -25 for f.
-5
Let w be 16 + 0 - (-1 + -1). Suppose 0 = -2*d + 4*x, -w = -2*d - 2*d + 2*x. Solve -4*b + b + 2*j = -9, -2*j = -2*b + d for b.
3
Suppose c - 19 = -n + 2*c, 0 = -4*n - 5*c + 58. Solve -w - n = x - 4*x, 3*w - 5 = -5*x for x.
4
Let i be (-5)/(-1)*(-2)/(-5). Solve -2*s + 8 = 2*s + 4*m, -i*m = 4*s - 2 for s.
-1
Suppose x = q - 1, -2*x - x + 12 = 0. Suppose -n - n - 4 = 0. Let d = n - -9. Solve 0 = w + q*f - 11, -w - f = -2*w - d for w.
-4
Let i = 1 - 4. Let d(q) = 2*q**2 + 3*q - 4. Let n be d(i). Suppose 0*z - 3*z + n*f - 16 = 0, 3*f - 18 = -z. Solve 0*w = -2*j + 4*w - 6, z*j - w = -14 for j.
-5
Let j = -2 + 6. Solve -b = -l - 0*l - j, -b - 2*l - 2 = 0 for b.
2
Let c = 4 - 1. Let d(l) = l**2 + l. Let x(u) = -4*u**2 - 10*u + 6. Let f(a) = 5*d(a) + x(a). Let t be f(5). Solve t - 27 = -3*b - 3*q, -2*b = c*q - 19 for b.
2
Let v = 39 + -34. Solve -z + 6 = 2*b + 2, 0 = -3*b + v*z - 20 for b.
0
Let u = 7 - 2. Solve 2*r - 6 = 0, u*f + 5*r = -10 + 35 for f.
2
Suppose 5*c = 2 + 8. Let x be 2*c/4 + 0. Suppose 5 = 3*v - x. Solve p - j - 10 = v*j, -5*p + 16 = 2*j for p.
4
Suppose -v + 3*q = -10 + 2, v + 4*q = 15. Solve 3*m - v = -0*m - 4*w, w - 5 = 0 for m.
-3
Let x(n) be the second derivative of 11/2*n**2 + 1/6*n**3 - n + 0. Let p be x(-8). Solve -2*a - p*b - 10 = 0, -5*a + b - 19 = 6 for a.
-5
Suppose -13 = -3*d + 2*c - 3*c, 2*d = -c + 7. Let y be (16/d)/(2/3). Solve -2*l - y*f + 1 = -1, 2*l + 5*f = 0 for l.
5
Suppose 4*y - 3*y - 5*b = -23, -2*y + 2*b - 6 = 0. Let c be (306/85)/(3/10). Solve 4*r + 3*n + 1 + y = 0, 4*n - c = 0 for r.
-3
Let b(r) = r**3 - 13*r**2 - r + 15. Let p be b(13). Solve z = 4*j - 14, -p*z - 4 = 4*j - 24 for j.
4
Let t(m) = -m**2 - 7*m - 5. Suppose -c + 2*c + 5 = 0. Let w be t(c). Let g = -6 + 9. Solve q - 7 = -h - 2, w*q = 2*h - g for h.
4
Suppose -3*m + 125 = -8*m. Let r be 5*-2*(-15)/(-10). Let z be (24/r)/(2/m). Solve -3*t = -1 + 13, 4*j + t + z = 0 for j.
-4
Suppose w - 2*m - 8 = 0, 3*w + 3*m + 9 = -3. Suppose 5 = b - w. Solve -b*u = -2*s + 29, -5*u + 2*s - 3*s = 23 for u.
-5
Suppose 5*j = -15, -4*j - 16 = 2*b - 0*j. Let u = b - -6. Solve -2*g + 3 = -p + 2*p, -12 = u*p - 4*g for p.
-1
Suppose 19 = -2*o + 23. Solve p + r + 7 = 2*r, o*p + 23 = 5*r for p.
-4
Let d(w) be the first derivative of -w**2/2 + w - 5. Let q be d(-1). Solve k - 3*u = -0*k + 6, k + u = q for k.
3
Suppose -7*i = -12*i. Solve i = 5*p - g - 27, p - g - 4 - 3 = 0 for p.
5
Suppose -3 = -z - 5. Let o be 2/(z/(-3))*1. Solve -o*i + 2*v = -7, 5*i = -5*v - 8 - 22 for i.
-1
Let j(w) be the first derivative of -w**3/3 - 11*w**2/2 + 11*w - 3. Let p be j(-9). Solve -4*y - p = 3*h, 4*h = -4*y - 19 - 13 for y.
-5
Suppose 2*i + 8 = 3*c, c + 2*c - 16 = 4*i. Let o be -3 + (-32)/(-4) + c. Solve -5*f + 20 = 0, -1 = -2*a + f - o for a.
0
Let f = 17 + 15. Let g(n) = -n**2 - 5*n - 4. Let v be g(-3). Solve 0 = 4*z + 2*j + 6, -v*z - z = -4*j + f for z.
-4
Let l(y) = y**2 + 4*y - 3. Let u be l(-5). Let x = 0 + u. Suppose z - 3*w - 9 = -x*z, 0 = 3*z + 3*w - 21. Solve 0 = -p + z*d - 15, 0 = 4*p + d - 0*d - 3 for p.
0
Let y(o) = 2*o - 15. Let k be y(10). Solve -2*u - k*m - 21 = 0, -2*m - 2 = u + 7 for u.
-3
Suppose -3*d = -2*d - 1. Suppose -16 = -0*h + 4*h. Let p = d - h. Solve 0 = -4*y + f - 18, 11 = 3*y - p*f + 33 for y.
-4
Suppose 6*s - 2*l = 3*s - 10, -l = s + 10. Suppose 0 = 3*k + 13 - 4, 3*n + 21 = 2*k. Let v = s - n. Solve 3*a - v*y = -12, 5*y = a + 2*a + 14 for a.
-3
Suppose -2*y - 8 + 34 = 4*s, 0 = 3*y - 15. Solve -2*l = l + 5*c - 7, -5*l = -s*c - 24 for l.
4
Let j(k) = -k**2 - 13*k + 2. Let i be j(-13). Solve -2*r = -4*a - 6, -3*a + 3*r - i*r = 2 for a.
1
Let c(r) = -r**3 - 13*r**2 + 12*r - 28. Let s be c(-14). Solve -4*l - 3 = -0*l - k, s = 3*l - 4*k + 12 for l.
0
Suppose 3*t = 5*l + 88, 0*t = -5*t + 2*l + 115. Solve j + t = 5*z, -j + z = 1 - 0 for j.
4
Let n = -26 + 40. Suppose -2*l + 8 = 4*f, -2*f = -0*f - 4*l - n. Solve -f*a + 5 = -q - 5, 0 = 4*a - 4*q - 24 for a.
2
Let w = -2 + 2. Suppose 0 = l - 4 - 1. Suppose -2*h - 3*p = l, -p - 1 = 2. Solve z + 2*z = -h*t + 22, w = 5*z - 20 for t.
5
Suppose -3*z + 6 + 0 = 0. Let r be z/(-7) - 46/(-14). Solve -3*y + 2*y + r = 4*u, -5*u = y - 4 for y.
-1
Let z = 9 - 1. Let y = -6 + z. Solve 5*p - 9 = -3*a - 24, 5*p - y*a + 15 = 0 for p.
-3
Let p be 10 - (0 - -1 - 2). Solve 0 = 5*z + q - 13, -4*z = -9*z - 2*q + p for z.
3
Let h = -6 - -20. Let t = h - 2. Solve j + 3 = 2*x, -j + 0*x + t = 3*x for j.
3
Let o = 0 - -3. Let h(c) = c**2 + c**2 - c**2 - o*c. Let j be h(4). Solve -s = -y - y + 8, 0 = y + j*s - 13 for y.
5
Suppose -4*m + 93 + 43 = 0. Suppose 2*a = 20 + m. Let h = a + -16. Solve -h = 5*r - s, r - 5 = s - 4 for r.
-3
Let c = 6 + -4. Suppose 2*p - 2*j - 4 = 0, -c*j - 5 = -4*p - 1. Suppose p = -3*n + 37 - 13. Solve -f - 4*q + n = -6*f, -3*f + q = 9 for f.
-4
Let p = -9 - -3. Let j = 11 + p. Solve 4*z = 4*k, 3*k = j*k - 6 for z.
3
Suppose -3*z + 12 = t, 27 = 7*z - 3*z + 5*t. Solve -5*g + 16 = -z*a, g - 4*a + 2 = 6*g for g.
2
Let l = 17 - -6. Let u = -45 + 51. Solve -3*f + 10 = -n, 5*n + l = 4*f + u for f.
3
Let j be ((-3)/(-3))/(1/5). Suppose 3*x - j = -2*x. Suppose 1 = i - x. Solve -4*c + 0 - 2 = i*g, 4*c = 5*g - 9 for c.
-1
Suppose -4*r + 112 + 84 = 0. Suppose 16 = 4*j, 4*d - 51 = 3*j + r. Solve -5*c - 5*u = 10, 4*c - 6*u + u - d = 0 for c.
2
Let j = -24 + 47. Let s = 7 + -3. Suppose 0 = 5*c - s*x - 11, c + 3*x - 12 = -2*c. Solve -v = -7*t + c*t + 7, -4*v + j = t for t.
3
Let y = 109 - 107. Solve -2*j + 3*l - y = 9, -5 = 5*j - 3*l for j.
2
Let j(v) = -6*v - 34. Let u be j(-6). Solve -5*a - 14 = -u*o - 1, -5 = 5*a for o.
4
Let c(u) = u**3 + 2*u**2 - 17*u - 7. Let a be c(-5). Solve 5*i - 4*k - 15 = 0, k = -i - 0*k + a for i.
3
Let j(f) = f + 1. Let o be j(1). Let w be ((-3)/(-3) + -1)/o. Solve 2*i = -3*a - 7, w = -0*a + 5*a - 5*i - 5 for a.
-1
Suppose 2*j + 3*j = 0. Let n(t) = -t + 11. Let s(h) = h**3 - 5*h**2 - 4*h - 5. Let v be s(6). Let z be n(v). Solve -5*o - 10 = j, 0 = 2*d + 4*o - 3*o - z for d.
3
Let j = -13 - -13. Suppose -9 + j = -3*u. Solve 4*z + 2*f = 1 + 13, -12 = -5*z + u*f for z.
3
Let c = -6 - -9. Let u = 3 - c. Suppose u = 2*h - 16. Solve -3*v + f = -21 + h, 5*f + 20 = 0 for v.
3
Suppose 10 = -3*z + 2*i, -4 - 11 = z - 3*i. Solve p - 2 = 2*m - 3*m, z = 3*p + 5*m - 4 for p.
3
Let b(o) = -o**2 - 2*o + 6. Let r(y) = -1. Let f(a) = -b(a) - 5*r(a). Let x be f(-3). Let k be (18/8)/((-1)/(-4)). Solve -s = 2*v - 5 - 1, 3*v - k = x*s for s.
0
Let v be (10 - 3) + 2/(-1). Let j = -2 + v. Solve -2*s + j*s = -5*a - 10, 0 = -2*s - 5*a - 5 for s.
5
Suppose 0*c + 15 = 4*p - 3*c, 3*c = -2*p + 3. Let b be (-1 - p)/((-1)/1). Solve 4*s = 5*d - 4 - b, 2*s - 10 = -d for s.
3
Let g(j) = -j + 1. Let s be g(-3). Solve -4*x + n = 2*n - s, -16 = -4*n for x.
0
Let w be (-4 + 6)*(5 - 1). Suppose -w + 0 = -2*z. Suppose -3*k = -0*t - 2*t + 10, -2*t = 2*k - 10. Solve 0*l + l + v + 1 = k, z*l + 5*v = -6 for l.
1
Suppose 5*v - 4*f - 3 = 0, -f + 9 = 3*v - v. Solve -6*p - 1 = -4*i - p, -2*p = v*i + 5 for i.
-1
Let p be ((-2)/(-2))/((-4)/(-20)). Solve -3*q + 34 = 5*a, 