- 9 = -3*f for f.
-1
Let w = 18 + -18. Solve -2*x - 2*t + 2 = -4, w = -5*x + 2*t + 22 for x.
4
Let p be (-99)/6 - (-6)/4. Let g = p + 20. Solve 4*o - 3*d - g - 3 = 0, -2*d = -3*o + 5 for o.
-1
Let s = 2 + 0. Suppose 40 = 2*b + 2*b. Suppose 0 = -4*h + d + 43, 0 = -5*h - 4*d + 19 + 19. Solve s*m = -3*l + b, l - h = -4*l for m.
2
Let g be (-11 - -1)/(75/(-30)). Solve g*o = -2*a, -4*o - 1 = -2*a + 7 for a.
2
Suppose -r = -4*y - 15, 0*y + 3*r = 2*y - 5. Let p = y - -7. Solve 3*z + 8 = -2*j - p*j, 5*j + 45 = 5*z for z.
4
Let b(v) = -3*v - 8 + v + 2 + v. Let g be b(-11). Solve -5*m - 5*c = -g, 3*m + m - 1 = -5*c for m.
4
Let s(t) = -t**2 + 4*t + 5. Let n(g) = -g**3 + 4*g**2 - g - 2. Let r be n(3). Let k be s(r). Solve -5*f + 12 = -3*f - k*d, 0 = -3*d - 6 for f.
1
Suppose -3*d = 2*d. Suppose -3*f = -3 - d. Solve -c + f = 0, 0 = -0*m + 3*m - c + 16 for m.
-5
Suppose -6 = -8*o + 6*o. Solve 0 = -3*v - 3*f + f, 0 = 5*v - o*f for v.
0
Let d = 3 - -1. Let j = 9 - d. Let w = j - 5. Solve -4*g + 2*n + 3*n - 11 = w, -8 = -2*g - 2*n for g.
1
Let b be -2 - -2 - 4/(-1). Solve l - 6 = 3*a + 4*l, 0 = -b*a + 5*l + 19 for a.
1
Let i be -4 + (-32)/(-4) - (1 + -1). Solve -1 = -2*s - g + i, 5 = 3*s + 4*g for s.
3
Let q = 7 + -2. Suppose 4*b + 32 = 4*h - 12, -q*b = -2*h + 16. Solve 3*i - h = 4*s, -4*s - 3*i = -2*i + 17 for s.
-4
Let z be (2/(-4))/(6/(-60)). Solve 12 = -p + z*n, 2*p - 8*n = -4*n - 6 for p.
3
Let l be (-1 + -3)/(1/(-2)). Let d = l - 3. Suppose -3*q + q = 0. Solve -t - d*k = 7, q*t + 4*t - 2*k = -6 for t.
-2
Let f(j) = 9*j - 5. Let u be f(4). Suppose 13 = -4*x - 5*z - 20, u = -5*x + 4*z. Let i = x + 12. Solve -4*q + 3*g + 32 = 0, 3*g + 17 = i*q - 20 for q.
5
Let o be 2/(6/3) + 3. Suppose -34 = -3*x - o*j, 4*x = -x + 2*j + 100. Suppose -2*t + x = -2. Solve 3*r = 5*p - 31, 4*r + t = 4*p - 18 for p.
5
Suppose -s + 2*a + 11 = 0, -2*a = -2*s - a + 10. Solve 5*u + 6 = s*u + 5*n, 0 = 5*u - n - 8 for u.
2
Let v be 6*((-4)/2)/1. Let n be 1/(-3) + v/(-9). Solve -g + 2*w + n = 4*w, 5*w + 1 = g for g.
1
Suppose -3*i + 8 = -i. Suppose 7 = -i*s + 23. Solve s*z + 2 + 6 = -r, 4*r = -2*z + 10 for z.
-3
Let c(r) = -r**2 + 6*r - 6. Let j be c(4). Suppose -10*q + 41 = -9. Solve 4*f - 18 = -q*u, 3*f - 16 = -3*u - j*u for f.
2
Suppose 1 = p + 8. Let a = p + 9. Solve -a*k = 8, 1 = 5*g + 2*k + 4 for g.
1
Suppose 2*o = 6*o - 4*q + 56, -2*q - 105 = 5*o. Let f = o - -32. Solve -4*l - f = -w, 5 = -3*w + 2*w - 5*l for w.
5
Suppose -3*d = 3*h - 3 - 3, -3*d + 18 = -h. Let w be (h + 2)/(6/(-24)). Solve -2*x + 14 = w*t + t, t - 12 = -5*x for x.
2
Let n = -3 - -17. Solve -o = 2*t + 4*o + 23, -n = t + 3*o for t.
1
Suppose i = -0*i + 10. Let m(b) = b**2 - b + 2. Let f be m(4). Let z = f - i. Solve 16 = z*w - g, -3*w - 2*g - 5 + 6 = 0 for w.
3
Let j = 45 - 39. Solve 0 = -5*k - 5*d - 20, -3*k - 2*d = -j*k - 12 for k.
-4
Suppose 0*w = 2*w - 10, p - 24 = -4*w. Solve -p*g = 4*z - 40, 2*z - 5*g + 9 = -6 for z.
5
Let z(o) = o**3 + 6*o**2 - 3*o + 3. Let q be z(-6). Solve -3*s = -4*u - q, 0*u - 3*u = 9 for s.
3
Let h = -18 - -18. Solve h = 4*k + 5*j - 40, -2*j = 5*k - j - 29 for k.
5
Let c(q) = q**3 + 6*q**2 + 4*q - 6. Let n be c(-5). Let o = -5 - n. Let w be (-1)/o + (-2)/8. Solve 3*j + 11 = -w*j - 2*s, 0 = 5*j - 3*s - 7 for j.
-1
Let d(r) = -4*r - 11. Let k be d(-6). Let f = -8 + k. Solve -5 = -5*v, -f*c + 11 + 14 = 5*v for c.
4
Suppose -4*a = -2*a + w - 8, 3*w - 12 = -2*a. Let p be (-4)/(-6)*3 + 1. Solve 0 = f - a*f + p*d - 18, -5*f + 3*d = 27 for f.
-3
Suppose 0 = -5*y + 4*x - 40, 3*y + 8*x = 3*x - 61. Let d be 4/3*(-198)/y. Solve 32 = -4*z + 5*k, 3*k = 4*z + 2 + d for z.
-3
Let l(w) = w + 2. Let x be l(-5). Let a(b) = 3*b**2 + 5*b + 3. Let s be a(x). Solve 0 = -c - 5*q - 26, 4*c - 1 = 4*q + s for c.
-1
Let f(q) = 2*q - 14. Let p be f(10). Suppose -n = -3*r - 6, 0 = -2*n + r + p + 1. Solve -j - 7 = n*h, -2*j - 10 = -2*h + 6*h for j.
-1
Suppose 2 - 20 = 3*b. Let i be ((-2)/b)/((-1)/(-15)). Let o(y) = -y**3 + 3*y**2 + 6*y - 3. Let x be o(4). Solve x = i*w + 5*u, 7 = -w - 0*w + u for w.
-3
Suppose 7*k + 13 = 41. Solve 0 = k*h - 3*y - 16, -2*h - 6 - 4 = 3*y for h.
1
Suppose -29*i + 3 = -28*i. Solve -2*t - r + 5 = i*t, -10 = 4*t - 2*r for t.
0
Suppose -2*n + 10 = 0, 5*n + 19 = -4*g + 64. Solve -6 = -g*q + 3*t + 6, -2*t = -4*q + 10 for q.
3
Suppose -8 = -o - 4. Solve o*m + b = -0*b + 8, -24 = -4*m + 3*b for m.
3
Suppose 4*q + 2*x = 118, -2*q - 92 = -5*q + 2*x. Solve 5*z - q = -n, 6*n - 4*n - 3*z = -5 for n.
5
Let z be ((3 + -1)*-1)/2. Let r(k) be the second derivative of k**4/4 + k**3/3 + k**2/2 - 3*k. Let b be r(z). Solve 3*o + t = -5 - 8, b*o - t + 2 = 0 for o.
-3
Let b be 18/4*12/27. Solve -b*u + 4*h - 10 = -4, 2*u + h = -6 for u.
-3
Let l(g) = g**3 + 7*g**2 - 12*g - 11. Let q be l(-8). Solve n - 4*m = q, 3*n + 3*m = -1 + 4 for n.
5
Let k(q) = q + 14. Let l be k(-8). Solve -4*u + l*u + 3*g = 10, 0 = -u - 5*g + 5 for u.
5
Let j(b) = 6 - 6 - 4*b + 14*b. Let a be j(2). Solve -m + 5*r - 8 = -3*m, 5*m - a = -5*r for m.
4
Let x = -45 + 50. Solve 3*z + 2*w = -z + 8, -x*w = 5*z for z.
4
Let j = 30 - 20. Solve -2*p + 3 = -5*u, -u - 5 = -4*p + j for u.
1
Let o(d) = d + 4. Let p be o(-4). Let t be 2/10 - (-76)/20. Solve -q = 4*j + 25, 0*q + t*q - 4*j = p for q.
-5
Suppose 0 = -q - 5*r - 21, -4*r = 6*q - q. Suppose 4*f - q = 8. Solve f*b = -5*a - 28, -5*b = 4*a + 4 + 21 for a.
-5
Let h(w) = -w - 4. Let j be h(-10). Solve -j = 2*k - k + 2*b, 4*b + 10 = -3*k for k.
2
Let n(w) = 3*w - 7. Let l be n(3). Solve 3*c = m + 3*m - 26, l*m = -5*c for m.
5
Let j be 50/6 + 8/(-24). Suppose 2 = -5*c + 12. Solve c*p - 7 = 5*o + j, 4*o - 5 = 5*p for p.
-5
Suppose -3*m - 2 + 11 = 0. Solve 24 = -4*o - 4*y, m*y + 0*y - 3 = 4*o for o.
-3
Let j = 9 - 6. Let q be 0*(-1 + 0/(-1)). Suppose -20 = -4*y - y. Solve q = -7*f + y*f + b + 13, -j*b = 2*f - 16 for f.
5
Let w be 6/4 + (-63)/42. Solve w = 3*h + 2*h, 3*h + 2 = -x for x.
-2
Let q(g) = g**2 - 7*g + 2. Suppose 4*u - 46 = -10. Let c be q(u). Solve -4*d - c = w, -6*w = -w - 3*d + 8 for w.
-4
Let l = 7 + 0. Let p be (l/2)/(1/4). Solve 2*k - 4 = y + k, p = -3*y + 5*k for y.
-3
Suppose -4*p = p + 5*q, 3*p = 2*q. Solve -o - 2*w + 14 = p, -2*o - o + 2*w + 2 = 0 for o.
4
Suppose c + m = -1 - 2, 2*c - m = 9. Let u = 1 + -1. Solve o + c = u, 0 = -5*v + 2*o + 2*o + 13 for v.
1
Suppose 18 = 5*o - 3*o. Let k = -5 + 9. Solve -2*n + k*n - o = p, -n - p + 6 = 0 for n.
5
Suppose -8 = 5*o - 2*x, 7*o - 4*o - 2*x = -4. Let z = 6 + o. Solve 0 = -4*s + z*y - 40, -3*s - 3*y = -0*y for s.
-5
Suppose 34 = -0*n - n + 4*l, -5*l = -3*n - 109. Let o be n/(-10) + 2/10. Solve -o*r = -3*c + c - 22, 4*r - 17 = -3*c for r.
5
Let t(j) = j**2 - 2*j - 4. Let p be (-5 + -1)*(-8)/(-12). Let f be t(p). Solve -5*s + 2*y - 24 = -6, -4*s - 4*y - f = 0 for s.
-4
Let d(r) = -3*r - 16. Let o be d(-6). Solve -3*h = -4*f - 4, -4*f + o*h - 4 = -0*h for f.
-1
Let q(a) = -14*a - 65. Let w be q(-5). Solve -5*z = -w*r + r - 17, r = 2 for z.
5
Let m(j) = j**2 - 13*j + 12. Let c be m(12). Solve c = 2*b + 2*b, -4*x - 3*b - 20 = 0 for x.
-5
Let a be (0/2 + -16)*-1. Suppose 4*q - 5*t - 12 - 8 = 0, 4*t + a = -q. Solve 4*j = 3*n - j - 16, -n - 4*j - 23 = q for n.
-3
Let v(l) = l**3 + 3*l**2 - 7*l + 7. Let q be v(-4). Solve a + 1 = -2*a - 2*k, 0 = 3*a - 2*k - q for a.
3
Let i = -2 + 4. Let h be -2*1/i*-4. Solve -40 = -5*j + 3*l, 5*l + 5 = h*l for j.
5
Let b(c) = 6*c + 1. Let s be (-2)/(-3) - (-1)/3. Let o be b(s). Suppose 120 = o*f - 2*f. Solve z + 5*y = f, 0 = -2*z + z - y + 8 for z.
4
Let i = -2 - 2. Let j(u) = -u**3 - 3*u**2 + 2*u - 3. Let z be j(i). Solve q - 15 = -z*a, q + 3*q = -3*a + 9 for q.
0
Suppose 0 = -2*u + 6*g - 2*g - 16, 5*u - 5*g = -15. Solve -u*k = 0, 5*n - 25 = -0*k + 4*k for n.
5
Suppose -5*x + 0*n = 2*n - 17, -3*x + n = -19. Suppose 12 = x*t - t. Let f be (1 - -1)/((-3)/(-3)). Solve -5*m - 2 = -5*c - 7, -f*c - 3*m + t = 0 for c.
0
Let p(l) = 2*l + 1. Let m be p(-1). Let k(c) = c**2 - c. Let u be k(m). Solve v = -3, 1 - u = 4*d - v for d.
-1
Suppose 36 = -0*n + 6*n. Solve 4*i + 5 = -o - 5, -4*o = -i + n for o.
-2
Let m be 16/(-6)*(-6)/4. Suppose -3 = 3*d + 3*t - 12, -m*d + 18 = -2*t. Solve -5*z - 13 = -7*x + d*x, 0 = -z + x - 3 for z.
-2
Let t = -90 + 93. Solve q - y = -3, -y = -6 + t for q.
0
Suppose 3*z + 3 = 5*q - 5,