+ s*r + q, -4*r = t*c for c.
2
Suppose -3*j = -4*j. Suppose 5*g + j + 15 = 0. Let r be (-1)/4 - g/12. Solve m + 2*o - o = r, 5*o = 5*m - 20 for m.
2
Let f(x) be the second derivative of -x**4/12 - 7*x**3/6 - 5*x**2/2 - x. Let j be f(-5). Suppose 9 = 3*a - 0. Solve 4*n = -0*n - g, -17 = -j*n + a*g for n.
1
Suppose -4*i = m - 10, 1 = i - 1. Solve -3*s - 19 + 5 = -m*x, 4*x + s = 0 for x.
1
Suppose 0 = -m + 4*m - 48. Suppose 4*v - m = -0*v, -3*g = 3*v + 6. Let n be 2/(1*(-4)/g). Solve 2*t + 12 = 2, -n*o = t + 8 for o.
-1
Let u(d) = d - 1. Let g be u(2). Let v = g + 3. Solve -3*q = r, 5*r - v*q = -0*r for r.
0
Let k(b) = 2*b + 7. Let s be k(9). Solve -3*j = -2*m - 11, -5*j + 8 + s = 4*m for j.
5
Let f = 2 + 2. Suppose 0 = -4*j + 12 - f. Solve 0*m = j*a - m + 1, -2*m = 2*a + 4 for a.
-1
Suppose 0 = 4*d + w - 25, 4*d - 3*d + 15 = 4*w. Suppose -d*u - 40 = -0*u. Let n = -3 - u. Solve 4*g - 3 = n*c + 4, 0 = g + 2*c + 8 for g.
-2
Suppose -8*a - 9 + 41 = 0. Solve -25 = -a*t - z, 0 = -2*t + 4*t - 4*z + 10 for t.
5
Let w(i) = -2*i**2 - 22*i - 24. Let u(r) = -r**2 - 11*r - 12. Let h(a) = -5*u(a) + 2*w(a). Let s be h(-10). Solve -2*l - 4 = -3*g - s, -5 = 3*l - 5*g for l.
5
Suppose -2*a + 2*n + 6 = 0, 5*a - 3*n - 21 = -n. Solve 5*q + 4*v - 15 = 0, 0*q = -q + a*v - 26 for q.
-1
Let d(g) = g**3 - 7*g**2 + 5*g. Let a be d(6). Let k be 12*((-10)/(-4) - 2). Let j = k + a. Solve 3*f = 2*n - j*n + 2, -n - 3*f + 8 = 0 for n.
2
Suppose -2*k - 26 = -4*q - 6, 4*q = -16. Let t be (27/k)/(2/(-4)). Solve -3*y - 3 = -2*f, 2*f + 4 - 1 = -t*y for f.
0
Let v(j) = -j**3 - 7*j**2 - 6*j - 9. Let y be v(-6). Let z = -7 - y. Solve -2*k - 3*h - z = -h, 3*h = -k - 5 for k.
1
Suppose g - 5*g + 12 = 0. Suppose -5 = g*y - p, -p + 3*p + 2 = 0. Let z be 27/12 - y/(-8). Solve 0 = 4*a + f + 16, a - z*f = 3 - 7 for a.
-4
Let c(g) = -5*g - 1. Let v be c(-1). Solve s + 2*b + 1 = 7*b, 4*s - 5*b + v = 0 for s.
-1
Suppose 4*n - 18 = -2*h, -n - 16 = -4*h - 7. Solve f = 4, 0*f - 2*f = h*v - 17 for v.
3
Let s = -21 + 17. Let m = 6 + 0. Let x = s + m. Solve -4 = x*o, c - 4*o - 1 = 3 for c.
-4
Let u(a) = a**2 - 14*a - 12. Let x be u(16). Solve x + 12 = -3*y - 5*t, -5*y = -2*t + 12 for y.
-4
Let r = 2 - 0. Solve -5 = -2*o + o - 5*x, o - 5 = r*x for o.
5
Suppose 0 = -3*l + 8*l. Solve l = 2*m - 2*y - 8 - 6, 0 = -4*m - 3*y + 14 for m.
5
Suppose 5 = 3*d - 7. Let s be 6/(-24) - (-69)/d. Solve -3*w - 2*o - s = 0, -o - 16 = w + 2*w for w.
-5
Let l = 89 + -68. Solve -x - 5*c - l = 0, -4*x + 0*c - 20 = 4*c for x.
-1
Let g be 0 - 4/4 - (-9 + 6). Solve -v = -g*k - 12, 5*v - 3*k - 25 = -0*k for v.
2
Suppose t - 2*n - 20 = -4*t, -3*t + 4*n + 12 = 0. Solve -6 = 4*h - f, 7*f = h + t*f + 7 for h.
-1
Let q be (-160)/(-35) + -5 + 115/7. Solve 2*j = x - 6*x - q, -4*j = -3*x + 6 for x.
-2
Let t(c) = 11 + 0*c - 10 + 2*c + 7*c**2. Let d be t(-1). Suppose -4*l = -d*l. Solve 0*j + 3*j + 15 = 3*s, -j - 4*s = l for j.
-4
Let w be 200/14 - (-2)/(-7). Let c = w - 12. Solve c*s - 3*s = -2*g - 5, 4 = s - g for s.
3
Suppose -4*s - 128 = -4*f, f - 4*s - 16 - 28 = 0. Let q = 47 - f. Solve -2*w = -2*h - w - 13, -3*w = -2*h - q for h.
-5
Let k = -20 + 24. Solve -k*m - 3*v = -7, m - 5*m + 2*v + 22 = 0 for m.
4
Let y = -9 - -5. Let i = 7 + y. Solve -5*a + 6*k - 4*k + 24 = 0, i*k = -4*a + 10 for a.
4
Let o(w) = 0 + 4*w**2 + 0 + 3*w - 5*w**2. Let n be o(2). Solve 3*q = -2*x + 7, -n*q + 5*x - 8 = -0*q for q.
1
Let c be -5*(0 + (-4 - -3)). Solve -5*s = -25, -7 - 3 = c*r + 3*s for r.
-5
Let c(s) = s**3 - 18*s**2 - 16*s - 55. Let k be c(19). Solve -5*d = -k*d - 2*z + 11, 14 = -2*d - 2*z for d.
-5
Let v(h) = -h**2 + 5*h + 4. Let q be v(5). Solve 5*i - 14 = 4*m, 0*m = -2*m - 3*i + q for m.
-1
Suppose -c + 8 = c. Suppose 3*k + 3 = c*k. Solve 2*y + k*h - 6*h = -3, 4*y - 27 = -5*h for y.
3
Let o be 2*-2*(1 - 2). Solve 3*n + 13 = o, -l + n + 7 = 0 for l.
4
Suppose 2*v - 400 = -2*v. Let d be v/2 + (-1 - -1). Let f be (-4)/(-18) + d/18. Solve -2*k - 4*a = -8, f*k - 1 - 1 = 4*a for k.
2
Let k(x) = -x**2 + 5*x + 1. Let h be k(4). Suppose 30 = h*j + 5*r, 2*j - r = r - 4. Solve 4*z = 2*q - 22, 27 = -3*z + j*q + 8 for z.
-3
Let r(y) = -5*y + y - y**2 + 3*y. Let z be r(-1). Suppose -f = -z*f - 7. Solve 3*k = b - 5, 0*b = -k - b - f for k.
-3
Let y(c) = 3*c + 21. Let k be y(-6). Solve -5*h + 7 = -4*v, -3*h + k*v - 2*v = 0 for h.
-1
Suppose -5*w + 13 + 7 = 0. Let x be (1 - 1)/((-1)/1). Let i(d) = -d + 13. Let r be i(x). Solve -14 = -l + 5*j, l + 0*j + r = -w*j for l.
-1
Suppose 13 = 5*s - 2. Let q(y) = y**2 - 4*y - 4. Let d be q(3). Let f = -5 - d. Solve -s*v + 25 = 5*g, -5*g + 26 = 4*v - f*g for v.
5
Let w be 13 + (1 - (3 - -2)). Solve 0 = -3*l - 3*m + w, 4*l + m = -4*m + 14 for l.
1
Let r(v) = v**3 - v**2 + 3. Let s be r(0). Suppose 2*u + s*q - 2*q + 30 = 0, q = -2. Let b be ((-1)/2 - 0)*u. Solve -3*y = 5*i + 4, -2*i - 2*y = -3*i + b for i.
1
Let p be 1/((-86)/(-22) - 4). Let d(h) = h**2 + 11*h + 3. Let o be d(p). Solve -2*m + 0 = 3*u + 14, -3*m = -o*u + 6 for m.
-4
Suppose 3*q + r = 4*q - 1, 16 = 4*q + 2*r. Suppose 2*o - 10 = q*z, -o - 2*z = -4 + 6. Solve o*d + w + 0*w = 9, -4 = 4*w for d.
5
Suppose -9*q + 100 = -5*q. Let m = q + -18. Let c be (3/(-1))/(1 + -2). Solve -35 = 3*g + 5*s - 8, c*s - m = 4*g for g.
-4
Let t = -6 - -9. Suppose -t*l + 2*l = -4. Suppose -j = x - 6*j - 19, -5*x - l*j + 8 = 0. Solve x*z + 12 = 0, 4*n + 5*z + 8 = 1 for n.
2
Let l be 15*1*(-12)/(-15). Suppose -l + 0 = -2*f. Suppose -f*n = -n - 20. Solve 5*k + 3*s + n + 7 = 0, 0 = -5*k + 2*s - 26 for k.
-4
Let h be -1 - (-2 + 3)*-1. Let g = 2 + h. Suppose -g*u = 6, 8*w - 4*w - 20 = 4*u. Solve 0 = 2*n - 0*n - 3*b - 21, -w*n - b = -1 for n.
3
Let c(r) = r**2 - r - 3. Let t be c(3). Solve -5*m + t*j - 32 = -13, -4*m = 2*j + 24 for m.
-5
Let f be (32/(-10) + 2)*-5. Let w = f + -4. Let v be (-7 - -2)*-1 + -3. Solve -v*h = 2*m + 2*m + 22, 0 = -w*h + 5*m + 23 for h.
-1
Let w = -12 - -22. Suppose 4*k - 84 - w = -5*j, 0 = -4*j + 2*k + 96. Solve 0 = -4*u + 5*q - j, -3*u + 0*q - 3 = 3*q for u.
-3
Let l(g) = -5*g - 2. Let h(y) = -21*y - 9. Let m(f) = 6*h(f) - 26*l(f). Let q be m(1). Solve 4 + 2 = -3*w + 5*t, -5*w = -q*t + 10 for w.
-2
Let y = 26 + -10. Let f be (37 - 1)*8/y. Solve x + 0*x - f = 5*a, -4*a - x - 9 = 0 for a.
-3
Let n(g) = g**2 + 5*g - 4. Let x be n(-4). Let z be (-144)/(-10) + x/20. Solve -2*a - 3*d - 6 = a, 0 = -a + 3*d - z for a.
-5
Suppose 0 = -2*n - 5*s + 15, 4*n - 16 = -3*s + 7*s. Let y(a) = 3*a**3 - a**2 + a - 1. Let t be y(1). Solve -t*o = -r + n, 4*r + 0*r = -20 for o.
-5
Let g(k) = -k**2 - 7*k - 4. Let f be g(-6). Suppose 0 = f*u + u - 33. Solve -j = -l + 1, 0*l + 3*j + u = l for l.
-4
Let t(z) = z**3 - 4*z + 3. Let h be t(2). Solve -2*b - 2*f = -0*f, 4*b = h*f + 35 for b.
5
Let d(q) = -q**2 + 3*q + 4. Let r be d(-7). Let f = r - -142. Suppose s = -4*y + f, -s = -y - 6*s. Solve 0*c = 4*b - 5*c - y, 0 = 2*c + 8 for b.
0
Suppose -6*g - 14 = -8*g. Solve 4*i = g*t - 2*t - 10, -4*t - 3*i - 23 = 0 for t.
-2
Suppose -p + 15 = 3*r - 4*p, 22 = 4*r - 5*p. Suppose r*s = 7*s, 2*s = g - 2. Solve -g*m + 4*b = 0, -5*m + 12 = b - 5*b for m.
4
Let q(x) = -2*x**3 - 21*x**2 + 10*x - 9. Let j be q(-11). Let s be 22/(-4)*-4 - 2. Let o be s/(-6)*3/(-2). Solve -i + 20 = j*v - o*i, -4*v + 28 = -4*i for v.
4
Suppose 0 = -3*w + r + 29, 4*r = 3*r - 5. Solve -4*x + m - 6*m - 14 = 0, 0 = -2*x - 3*m - w for x.
-1
Suppose -3*o - 12 = -2*o + 3*s, -5*o + 20 = -s. Solve -4*i + 5*g - o*g = 14, 0 = 3*i + g + 13 for i.
-4
Suppose -5*r + 19 = 2*f + 16, -f = -2*r + 3. Let k be -3*3/(18/(-8)). Solve 3*i - 9 = 0, 2 = -3*u + k*i - r for u.
3
Let p = -9 - -13. Suppose 0 = 2*q - 2*l - 44, 12 = -0*l + 4*l. Suppose 0 = -5*m + q, -6*j + 18 = -7*j + p*m. Solve 5*i - 25 = j*o + o, -4*o = 4*i + 12 for i.
2
Suppose -3*n - 6 = -4*f - 57, 2*n - 54 = 4*f. Let z be 5/f - 8/(-6). Solve 2*g - z = 3*o, 3*g - 2*o - 18 = -3*o for g.
5
Suppose -3*a = -3*c - 12, c + c = 4*a - 26. Let m = -6 + a. Let d(x) = 2*x**2 + 3*x + 1. Let u be d(-1). Solve 4*n + 16 = -m*p, u = -7*n + 2*n - 2*p - 13 for n.
-1
Suppose -21 = 3*l - 51. Suppose l = -0*g + 5*g. Solve -y - 1 = 3*u - 2*u, y - g = -2*u for u.
3
Suppose 3*t = -c + 30, 2*t + 4*c - 5 = 15. Suppose 3*n = -t + 100. Solve -2*b - 5*l = -5, -2*l + n = -4*b + 4 for b.
-5
Suppose -20 = -7*y + 8.