 -5*q + 13 = t*o - 4*o for o.
2
Let l(c) = c + 1. Let o be l(-8). Let k = -3 - o. Solve 6*q + k*i = 2*q - 16, 3*q + 14 = -i for q.
-5
Let y(l) = -l**3 + l. Let c be y(-1). Let n = 0 + c. Suppose n = 5*k + 5*w - 160, -k = 2*k + 5*w - 88. Solve -4*m + 4*s - 31 = -m, k = -4*m + 4*s for m.
-5
Suppose 11 + 3 = -2*i + 3*h, 3*h = 3*i + 18. Let n = i - -9. Suppose n*j - 15 = -5. Solve -j*t = 3*g - 4, 0*t + 8 = 3*g + t for g.
4
Let p = -2 - -2. Suppose p = q + q. Let r be q/(((-2)/1)/(-2)). Solve -4*a = -3*c + 6, -4*c + r*a + 5*a = -7 for c.
-2
Let d be 0*(3 + -1 + -3). Let a be d/1 - (1 - 22). Solve -1 - 5 = -3*n + f, 4*n = -3*f + a for n.
3
Suppose 5*f = 5*d - 12 - 18, -5*d - f = -12. Suppose -2*m + d*l = -6, -3*m = -m - 5*l - 10. Solve 5*h + 10 = m, -2*h = -2*w - 2*w + 12 for w.
2
Let p be (-1 + 1)/(1 + 1). Suppose p = -2*w - 0*w + 20. Solve 3*a = -3*x + 12, 4*x = 3*x - 4*a + w for x.
2
Let w(r) = 2 - r + 1 - 1 - 3*r**2 - r**3. Let k be w(-3). Solve -3*i + 3*z = -0*z + 3, -k*i - 17 = z for i.
-3
Let z be (2 + 1)/(-3) + 1. Let i = 2 + z. Solve -4*o = 3*u - 20, 0 = -5*o + o + i*u for o.
2
Let q = -2 + 4. Suppose -4*f = -10 - 14. Let j = f - q. Solve -2*u = t + 1, -j*u - 3*t = -5*t + 22 for u.
-3
Suppose 0*q - 3*q = 0. Let y(n) = -n + 11. Let d be y(9). Solve 3*v + 4*b - 18 = d*v, q = -v - 2*b + 8 for v.
-2
Let d be (0 + 3)/(2/10). Suppose -n - 1 = 2*u - 4, -5*n + 3*u + d = 0. Let j = 17 - 11. Solve x + n*b = -j, 4*x + b - 3 = 2*x for x.
3
Let n be 12*(30/(-8) - -4). Solve -2*k - 1 = -n*k - 4*a, 3*a - 1 = -k for k.
1
Suppose 10 = 3*b - 44. Suppose -b = -u - u. Solve -3*g = -t + u, -6 = g + 3*t - 3 for g.
-3
Suppose 3*j - 10 = -2*j. Suppose -2*y = j*y - 5*m, -3*m - 3 = -3*y. Solve b - t = -0*b + y, 0 = 4*b + t - 5 for b.
2
Suppose 5*h - 6 - 14 = 0. Solve -h*s + 13 = 3*k, -2*k + k = 2*s - 5 for k.
3
Let h(s) = 3*s + 6. Let b(i) = -i**2 + 2*i + 7. Let d(r) = -2*b(r) + 3*h(r). Let y be d(-2). Solve -2*t - 9 = -u, 3*t - y*u + 7 = -6 for t.
-5
Suppose -9*v + 41 = 14. Solve -c = -3*z - v*c - 14, -2*c - 2 = -3*z for z.
-2
Let w(y) = y + 5. Let v be w(0). Suppose -x + 7 = -9. Let c be 10/(1*-1)*(-48)/120. Solve -5*m - 9 = -c*h + x, 5 = -m + v*h for m.
-5
Suppose 3*x = 4*x - 5*c - 18, 4*x - 27 = 5*c. Let g = -32 - -33. Solve x*d = q + 5*d + g, -4 = 4*q + 3*d for q.
-1
Suppose 0 = -4*a - 5*i + 38, 0*a = -2*a - 3*i + 20. Let m be 26/a - (-2)/7. Let y = -28 + 49. Solve 0*u - u - 3 = 2*d, -y = 3*d - m*u for d.
-3
Let j(z) = z**2 - 4*z - 7. Let s be j(6). Suppose s - 20 = -5*p. Suppose -v + 4 = p*v. Solve 2*k - 2*o - v = 1, 1 = 2*k - o for k.
0
Let o be (-2)/4 + 7/2. Let g = 4 - o. Suppose n + n = 8, -n - g = -5*c. Solve 15 = 4*v - 3*z, -4*v - 4*z + c + 7 = 0 for v.
3
Suppose -q - 21 = -4*q. Suppose -q = 3*m - 37. Solve -t + 7 = -c + t, m = 5*c - t for c.
3
Let g be 38/12 - (-8)/288*-6. Solve 5 = -q + 2*k - k, 6 = g*k for q.
-3
Suppose -4*r - 2 = -5*r. Suppose r*q - 2*j - 10 = 0, 3*q = 5*j + 4 + 15. Let d = -2 + 6. Solve d*o = 3*g - 6*g + 21, 3*g - 4*o + q = 0 for g.
3
Let f = -51 + 54. Solve 2*k = -5*s - 20, -6*s + f*s - k - 12 = 0 for s.
-4
Let v = 18 + -16. Solve 3*d + 2*u + 11 = 0, u = v*d - 0*u + 12 for d.
-5
Let z = -21 - -23. Solve -3*y = -p - 3, 0 = -4*p - y + 3*y - z for p.
0
Suppose s - 6*t = -2*t + 4, 4*s - 29 = 3*t. Let d = 13 - s. Solve -4*i + 23 = -5*o, -3*o + 0 = d*i - 1 for i.
2
Let g be 3/18 + (-116)/(-24). Let i(v) = v - 4. Let n be i(g). Let y(q) = 2*q - 1. Let z be y(5). Solve 3*x - 1 = -k, 0 = -5*k - n - z for x.
1
Suppose 0 = 2*n - 2*m, 4*n - 4*m = -m. Solve n = -2*u + 4*y + 4, 5*y + 3 = -2 for u.
0
Let t(d) = d + 13. Let f be t(-10). Suppose 5*a + 4 = 4*i - 11, 0 = 5*i + 2*a + 6. Let r = 2 - i. Solve m = -r, -o - f*m - 21 = -6*o for o.
3
Let u(j) be the first derivative of j**2/2 + 7*j - 2. Let v be u(-5). Let m be -3 + (v - 1) - -7. Solve -h + 7 = -i, 3*i - 4*i - 27 = -m*h for i.
-2
Let z(j) = j**2 + 2*j + 2. Let l be z(-2). Let k be -5 + (2 + 0 - l). Let y = 8 + k. Solve 0 = 3*d - f - 7, -d + 2*f + 6 = -y*d for d.
1
Let m(f) = -2*f. Let i(n) = n - 3. Let z be i(2). Let v be m(z). Solve 2*y = v*t - 8, 5*t + 3*y = -2*y for t.
2
Let q(n) = 9*n + 1. Let x be q(1). Let i be 4/x - 8/(-5). Solve 4*o - 15 = -5*h, -i*h = 3*o - 6*h + 12 for o.
0
Let h = 99 - 69. Let o = -26 + h. Solve -o*z = -2*s - 0*z + 8, -4 = 4*s + 2*z for s.
0
Let a(z) = -3*z - 13. Let v be a(-6). Solve 2*s - 3*g = -16, 4 + 22 = -3*s + v*g for s.
-2
Suppose 54 = 3*l + 3*l. Solve 0 = -5*i, -3*t + 0*i + i + l = 0 for t.
3
Let t(l) = l**2 - 2*l + 4. Let v be t(3). Suppose -u + 17 = -2*i + 3*i, i + v = u. Solve -3*z - 2*o - 3*o = 14, -5*z - u = -3*o for z.
-3
Let j = -18 + 11. Let m = -5 - j. Suppose 5*n - 3*t = -8*t + 50, -m*t = -8. Solve -2*h + n*o - o + 1 = 0, 3*h = 5*o + 4 for h.
3
Suppose s + 8*s = 99. Solve j - 1 = -0*y + y, -j = -4*y + s for y.
4
Let y be 36/(-24) + (-13)/(-2). Suppose 2*l = 3*o - 16, -o - y = 4*o + 3*l. Solve -5 = 4*v + 5*r, -3*r - 3 + 2 = o*v for v.
-5
Let p = 13 - 7. Let h = -1 + p. Solve 0 = h*y + 4*d + 29, 0 = 4*y + d + 3*d + 24 for y.
-5
Suppose 5*s + 14 = -3*g, 2*g - 5*s = 3*g + 18. Let x = -49 - -62. Solve -2*q + 5 - x = -c, g*c - 8 = 2*q for c.
0
Let w be -1 + 1 - (-182)/(-14). Let c = 17 + w. Solve c*f - 3*s + 35 = 0, 22 = -2*f + 5*s - 13 for f.
-5
Suppose -4*n - 3*x = -27, 3*n - 38 = -5*x - 4. Solve -6*z + 8 = -2*z - n*f, 0 = -4*z - 2*f - 12 for z.
-1
Suppose -3*x = -x - 10. Let o(t) = -5*t**2 + 3*t - 5 + 0*t + t**3 + 4*t. Let i be o(4). Solve x*q - 2*l + i*l = -15, 4*l = -5*q - 13 for q.
-1
Suppose -2*a - 4 = 2*z - 4*z, 4*z - 20 = 0. Solve -2 = a*u - 17, 0 = -2*m - 3*u + 9 for m.
-3
Suppose 3*x = 36 + 84. Suppose 3*l = -l + x. Solve l = -3*r + t, -4*t = -3*t + 5 for r.
-5
Suppose -5*f = -2*d - 35, 2*f - d = -0*f + 15. Solve 2*b + 8 + 8 = -3*w, -2*b = f*w + 24 for w.
-4
Let h(y) = 3*y**3 - 2*y**2 - 2*y + 1. Let s be (12/(-4) - -5) + 0. Let j be h(s). Solve -6*n - 10 = -2*n + 2*q, -n + 3*q = j for n.
-4
Suppose 2*s - 8 = -2. Solve -i + 2 = -h, -i + 3*h - 9 = -s*i for i.
3
Let s(l) = -3*l - 2. Let o be s(-2). Suppose -o = -4*m, 4*d + m + 1 = 2. Solve n + d + 4 = h, h = -n + 2 for h.
3
Let v = 6 - 4. Let j = v - -2. Solve -y + 5*p + 18 = 0, -2*p + j = -5*y + 2 for y.
-2
Suppose -2 = 3*j - 14. Suppose -j*q - s + 17 = 5, -2*q + 5*s = -6. Let r(x) = 2*x. Let i be r(2). Solve 2*d - i*n - 10 = 0, -4*d = -5*d - q*n - 5 for d.
1
Suppose -19 = -y - 1. Let m = y - 14. Solve 0 = 2*d - 2*k - 2, -1 = 4*d - k + m for d.
-2
Let u = -9 - -22. Solve -u = 3*b - 0*b - 2*z, -z = -2*b - 7 for b.
-1
Suppose -g = -3*g + 6. Solve 3*m = -5*i + 10 + g, -4*m + 14 = 5*i for i.
2
Let l be ((-18)/(-9))/(4/6). Solve l*g = 5*w + 9, -g + w - 3*w - 8 = 0 for g.
-2
Let a(f) = -2*f**2 - 15*f + 31. Let z be a(-9). Solve -2*m + g = 3, 4*m + z*g = -13 - 23 for m.
-4
Let b(w) = w**2 - 2*w - 4. Let g be b(4). Suppose -2*l = -3*l + g. Solve l*q - 24 = 4*a, -3*q + 3*a = 2*q - 26 for q.
4
Let u(x) = x**3 - 6. Let n be u(0). Let z = n - -6. Let t be (3 + 5/(-2))*z. Solve 0 = 4*r, -4*k + t*r = -r - 16 for k.
4
Let n = -3 - -5. Solve 0 = -2*m - n*i - i + 5, i = m for m.
1
Suppose 3*b + 3 = 18. Suppose -4*d - 7 = 5*c - 41, -5*d = -b*c + 70. Solve 6*f - f + 16 = -2*m, 3*f + m + c = 0 for f.
-4
Suppose 2 = 3*d - 0*h + 2*h, -2*d = -h + 8. Let y be (1 + d)*(-2)/(-1). Let v be 8 - (-1 - y) - 2. Solve -n + 2*o - 2 = 0, -2*n = -n + v*o + 2 for n.
-2
Let f be 80/12*(-12)/(-2). Solve 4*u + 12 = -2*l + f, 0 = -4*l - 4*u + 36 for l.
4
Let h(j) = -j**2 + 4*j. Let w be h(4). Let i = -6 - -11. Solve -m + i*g + 21 = w, -m = g + 2*g + 11 for m.
1
Suppose -5*m - 2*k = -19, -4*m - k + 20 = 3*k. Solve -7*c + 3*z = -m*c - 6, -3*z - 6 = 0 for c.
0
Let c(t) = t**2 + t - 4. Let s be c(-3). Suppose 2 = 4*z - s*z. Let p be (8/10)/(z/5). Solve 0 = -4*g - 3*j + 4, p*g + 0*j - 4 = 4*j for g.
1
Let u be (8/20)/((-2)/(-20)). Let p(s) = s**3 - 6*s**2 + 1. Let k be p(6). Let x = k + 2. Solve x*l - 21 = 4*v, -u*v + v - 3 = 2*l for v.
-3
Let l = -6 + 4. Let k = 2 - l. Let y(h) = h**2 + 4*h + 6. Let q be y(-3). Solve 4*n + 3*s = q*n, -k*s = 4 for n.
3
Suppose 0 = 5*u - 2*a - 6, -u - u + 15 = -5*a. Solve u = 2*g + p + 4 - 0, 40 = -5*g + 5*p for g.
-4
Let l be -6*2/(-24) - (-10)/4. Solve -l*x = -5*b - 27, -2*b = -0*x + 4*x - 10 for