r*b = -13, -5*p = -4*b + 3*b - 17 for p.
3
Let n(j) = -j**2 + 7*j - 4. Let x be n(6). Solve h = 2*h + 1, -y + x*h = 1 for y.
-3
Let m = 12 - 7. Let h = 0 + 4. Solve 0 = -5*a + 4*i + 10, -m*a - 30 = -h*i + 8*i for a.
-2
Let l = 186 + -185. Solve 3*z + l = -r + 13, 0 = z - 4*r - 4 for z.
4
Suppose 4*o = 3*y - 0*o - 2, 3*o = 3. Let u(m) = 4*m**2 + 1. Let z be u(1). Solve 5*n - 1 = 2*g - z*g, -3*n = y*g - 1 for n.
-1
Let t(a) = 13*a**3 - a**2. Let h be t(-1). Let c = h + 25. Let z = c + -8. Solve -b + 2*j - 5 = -2*b, 5*j - 12 = -z*b for b.
-1
Suppose -2*c + 1 = 5*h, -3*h - h = -2*c + 10. Let d be 217/(-5) - 28/(-70). Let o = d + 46. Solve 0 = 5*t - o*a - 7, -3 = -c*t - 4*a - 22 for t.
-1
Let h(j) = -j**3 + 9*j**2 + 16*j - 23. Let g be h(10). Let o = g - 21. Solve 2*n = 2*k - o, -24 = -2*k - 2*k + 2*n for k.
4
Let c be 14/2 + -2 + 75. Let x = c - 72. Solve 0 = 4*b + 4*u - 8, -2*b = 3*u - x*u + 10 for b.
0
Let t(l) = -2*l**3 + 2 + 1 + l**2 + 4 + l**3. Let k be t(0). Let a be 1/(2 + k/(-4)). Solve 3*m = 4*q - 23, 2 = 2*m + a*q + 4 for m.
-5
Suppose 0 = -0*f - f. Let v be 10/(-45) + (-748)/36. Let b = v - -21. Solve 5*c + 2*t + 3*t + 10 = b, f = 3*c - 4*t - 8 for c.
0
Let p = 445 - 443. Solve 0 = 5*i + w + w + p, 5*i - 5*w = 5 for i.
0
Let j(q) = -q**3 - 16*q**2 + 13*q - 37. Let v be j(-17). Let h = v + -26. Solve -18 = -2*i - h*p, i + 0*p = 4*p - 17 for i.
-1
Suppose -o = -3*o - 42. Let t = o + 12. Let h = 13 + t. Solve 2*u = -4*r + 2, -4*r - h*u = -3*u - 7 for r.
3
Suppose 217*a - 234*a + 34 = 0. Solve -a*o + o - 5 = -3*w, o + 5*w + 5 = 0 for o.
-5
Suppose 0 = -x - 4*x + 25. Let y(j) = -j + 17. Let r be y(17). Solve -x*t = 2*n + 27, t + 6*n - 2*n + 9 = r for t.
-5
Let i(y) be the second derivative of 5*y**3/6 - 12*y**2 + 7*y. Let r be i(7). Solve -h = -4*m + 23, 3*h - r = -0*m - 4*m for h.
-3
Suppose 4*b = -9 + 37. Suppose 8*f = b*f + 2. Solve d + n = f*n + 4, -4*n = -d + 16 for d.
0
Let p(d) = -d**2 + 11*d - 10. Let q be p(9). Suppose 6*n - 4*n - q = 0. Solve -5*x + 5*m = -15, 3*x - m - n*m - 5 = 0 for x.
5
Let v = 45 - 40. Let d(n) = -n**3 + 9*n**2 - 6*n - 11. Let s be d(8). Suppose u + 41 = 2*i - 0*u, 2*u - 10 = 0. Solve 5 = -s*f + 15, -v*o = 4*f - i for o.
3
Let q(o) = 3*o - 2. Let p be q(2). Let f = 19 - -9. Let z be (f/7)/(2/6). Solve 3*j = 2*u + z, j = -p*j - 2*u + 4 for j.
2
Let i = 53 - 46. Let u(r) be the second derivative of r**5/20 - r**4/12 - 2*r**3/3 - r**2/2 - r. Let h be u(3). Solve 0 = 5*p + j - h, -2*j + j = -p + i for p.
2
Let k(u) = -u**2 - 9*u - 2. Let v be k(-8). Let a(j) = -j + 6. Let n be a(v). Let t be (14/21)/(-1)*(-15)/2. Solve 2*d + 30 = -n*d - t*r, r - 11 = 3*d for d.
-5
Let h be 1 - 4/4*7. Let n be 100/h + (-7)/21. Let p = -15 - n. Solve 3*i - 5*s = p - 20, -4*i - 5*s = -11 for i.
-1
Let c(b) = b - 4. Let l be c(8). Let m be -1 + -1 - -1*l. Solve -12 = -4*p + p, p - 6 = -m*t for t.
1
Let k = -803 - -808. Solve -k*s - 17 = -b, -4*s = -2*s + 4*b - 2 for s.
-3
Let w(y) = -y**3 + y**2 - 2*y - 1. Let j be w(0). Let r be 1 + -1 + j + 5. Solve -5*g + 9 = -r*q, 0 = g - 5*g + 5*q + 9 for g.
1
Let w = 1 + 2. Suppose 0 = -5*d + 3*d + 10. Suppose 0 = -56*s + 55*s + d. Solve -3*t = -4*a + 9, -t - w*t = s*a + 12 for t.
-3
Suppose -2*p + p + 3 = 0, -3 = -3*i - p. Solve -3*u + i*u = -4*f + 32, -5*u - 3*f - 5 = 0 for u.
-4
Let t(x) = 3*x**3 - 2*x**2 - x. Let v be t(2). Suppose 5*d + 4 = v. Solve -2*k + 7*k + 3*q = 25, -d*q + 20 = 4*k for k.
5
Suppose 0 = u - 3*q - 0*q + 13, q + 1 = -5*u. Let v be 1*u*(3 + -3). Let b be 3 + (v/(-1))/(-3). Solve 2*k - 9 = b*r, 3*r = -7 - 2 for k.
0
Let u = -192 - -195. Solve u*q - 4*g + 15 = -3*g, 5*q + 35 = 5*g for q.
-4
Let m(y) = y**2 - 20*y + 64. Let a be m(16). Solve a = -4*d + 3*n - 8, -5*d = -2*n + 7 + 10 for d.
-5
Let t be 10*(-1)/(-3) - (-36)/54. Solve -12 = -4*x + 2*z, 0*z = t*x + 2*z - 4 for x.
2
Suppose -2*t - 4*a = -30, 0*a = 3*t + 4*a - 41. Let l = 207 - 203. Suppose -9*i = -8*i - l. Solve o + 3*o + 2*q = 14, 5*q = -i*o + t for o.
4
Let f(b) be the first derivative of 3*b**4/4 + b**3/3 - 24. Let r be f(1). Solve -3*p = 3*v - 4*p + 11, -r*p - 16 = 0 for v.
-5
Suppose -q + 408 = -3*q. Let g = 296 + q. Suppose d + g = 7*l - 3*l, -4*l + 3*d = -92. Solve 2*z = -2*p + 7 + 7, l = -p + 5*z for p.
2
Let p(m) = -6*m - 5 - 3 - 2*m + 10*m. Let k be p(6). Solve -2*h = 4, -k*h = o - 6 + 17 for o.
-3
Suppose -y - 3 = -n, 3*n + 4*y = 5*y + 9. Solve 0 = -3*g - 3*k - 0 - 15, n*k = 0 for g.
-5
Let m be 6/21 + 78/21. Let b be m*(4 - (3 - 3)). Solve 19 = -3*i + 4*a + 2, -b = 2*i - 5*a for i.
-3
Let j(n) = -4 + 5*n + 4*n + 0*n - n**2 - 1. Let r be j(9). Let c be 4/(-10) - 32/r. Solve 5*s = 2*o - c, 0 = 4*o - 0*s - 3*s + 2 for o.
-2
Let g(r) = -5*r - 2. Let s be g(3). Let o = s - -19. Suppose -o*t - 66 = -5*a, 4*t - 53 = -5*a + 25. Solve 2*p = -3*k + 19, -2*p + 3*k = a - 3 for p.
2
Let u(k) = -k - 4. Let o be u(-11). Let q = o - 5. Solve 0 = -q*x - 3*s - 2, 4*x - 5*x + s + 4 = 0 for x.
2
Let s = -837 - -842. Solve -s*k = -4*w, 2*w + k - 6 - 8 = 0 for w.
5
Suppose 3*a - 7*a = -24. Let j be (-2 - (-12)/3)/1. Solve -a*f + 4*f - 2*r = -8, -j*f + 4*r = 16 for f.
0
Let w be 7/(35/(-25)) - 1. Let v be (-3 - 3)/((-9)/w + -2). Solve -2*j = -3*i - v, -i + 4 = -3*j - 2*i for j.
0
Suppose 0 = -51*z + 54*z - 147. Suppose -z = -16*m + 9*m. Solve -4*b - m*u + 2*u - 5 = 0, 5 = b - 5*u for b.
0
Let i(u) = u**2 + 3*u + 11. Let y be i(-2). Solve -4*v + 5*f = -y, -4*f + 0*f = -v + 5 for v.
1
Let w(o) = -14*o + 100. Let h be w(7). Solve 0 = x + h*t - 8 + 9, -26 = -4*x + 2*t for x.
5
Let z(q) = q + 3. Let v be z(3). Suppose 2*o - 4 = 3*s, 5*s - v*o + 2*o + 10 = 0. Suppose 0 = -4*x + 2*x + 4. Solve 5*y = -s*g + x, g - 6*g = 2*y - 5 for y.
0
Let n(z) = -3*z**3 - 2*z**2 + 2*z + 3. Let q be n(-1). Solve -3*i - 5 = 3*a - q*a, i = -5*a - 25 for i.
0
Let k(l) = -2*l**3 - 38*l**2 + l + 23. Let d be k(-19). Solve -5*t + 0*n = n + 17, 0 = 2*t - n + d for t.
-3
Let k(f) = 8*f + 67. Let h be k(-8). Solve -5*p + 17 = -h*t, 6*p - 17 = -5*t + 3*p for t.
1
Let w be 8/12*(-6)/(-2). Suppose -z + w*z - 2 = 0. Solve 3*l - 10 = 2*b, -l - b + z - 7 = 0 for l.
0
Let z(g) = -g + 11. Let l be z(9). Let b = l - -8. Suppose 2*u - b = -3*u + m, 4*u + 3*m - 27 = 0. Solve -t + 8 = -u*o + o, 0 = 3*t - 2*o - 8 for t.
0
Suppose -4*a - 11 = -b + 2, 0 = 4*a - 3*b + 23. Let s(f) = -f**2 - 4*f - 1. Let m be s(a). Solve 5*l + 4*q + 12 = -0*l, -3*q - 6 = m*l for l.
-4
Suppose 5*z - i - 84 = -23, z - 7 = -5*i. Suppose -z*h = -0*h - 60. Solve -6 = 2*v - y, -h*v - 3*y = -v + 12 for v.
-3
Let h be (2 - 0)/((-4)/(-6)). Solve -2*w - 19 = 3*a, h*a - a = -2*w - 14 for w.
-2
Let c be -1*(-4 + 1)*1. Let j = 15 - 27. Let z be ((-1)/(-4))/(j/(-240)). Solve c*n - z = -i - 2*n, 5*i - 3*n = 25 for i.
5
Let l = -15 + 17. Solve 0 = l*m + 5*r - 33, m = -3*m - 5*r + 41 for m.
4
Let u = -8 + 10. Let o(z) = z**u + 3*z - z - 6*z + 5*z. Let b be o(1). Solve -b*n - 7 = 5*m, -4*m - 3*n + 2 - 9 = 0 for m.
-1
Let y be (-2 - (-24)/28)/(2/(-7)). Solve -2*v - d - 12 + 2 = 0, 4*v + y*d + 24 = 0 for v.
-4
Let u = -9 - -18. Let c = -11 + u. Let f be 2/c - (-1 + -3). Solve -p = f*v - 4*p + 6, v = -5*p - 20 for v.
-5
Let z(a) = a**2 - 47*a + 90. Let m be z(45). Solve m = -p, 4*k + 7*p - 16 = 4*p for k.
4
Let o be (0 - (-2 - 4))/(2/7). Suppose -8*h + 5*h + o = 0. Solve 2*d + 0*d - 7 = 5*f, -3*d + 4*f = -h for d.
1
Let p(t) = -t**2 - 5*t + 5. Let m be p(-8). Let g = m - -23. Suppose -2 = -2*r + c, 0*c + g = 5*r - 3*c. Solve r*f = -y - 11, y + 1 = -0*y for f.
-5
Let j be ((-20)/(-8))/((-7)/(-14)). Solve 3*y + 0*g = -j*g + 15, 2*g + 25 = 5*y for y.
5
Let m(n) = -n**2 + 9*n - 12. Let w be m(7). Solve 0*k = k - 3*x + 3, 3*k + 9 = w*x for k.
-3
Let z be 2 + -1*(-9 - -9). Solve -3*j = 5*i - 17, -i + 3 = z*j + 1 for j.
-1
Let r be (-89)/(-4) - 5/((-120)/18). Let n = 25 - r. Solve n = 2*f + 5*m, m = -4*f + 2*m + 4 for f.
1
Let w = -355 + 358. Solve -3*l - 3 = -3*h, 3*h = -w*l - 2*h - 19 for l.
-3
Let g be 15*(-16)/264*-11. Solve 0 = -r + 5*r + 5*l + 25, 5*r - 2*l = g for r.
0
Let r(j) = 16*j - 29. Let z be r(2). Let f = -10 - -18. Suppose -2*o - f = -s, 6*o = o. Solve 4*l + 2*n - 22 = 0, 4*l - s = z*n - 1 for l.
4
Suppose -3 = -3*x, 2*l = -4*x - 65 + 73. Solve -d - 4*u - l = -3*d, -4*d - 4*u = 20 for d.
-3
Let y(