- 3*f, 3*f + 0*f + 5 = 4*t for t.
5
Let k(y) = y**3 + 6*y**2 - 2. Let v be k(-6). Let p be 1*v + 2 - -4. Let o be -1 + p - (-5 + 3). Solve 0 + 13 = -2*a + 3*w, 0 = 2*a + o*w - 11 for a.
-2
Let p be 15*((-3)/9 - -2). Let t be 9/5 - (-2)/10. Suppose t*m + 9 = p. Solve 3*v - 2*x = -m, -3*v - 5*x + 4 + 16 = 0 for v.
0
Let d(s) = -2*s - 1. Let i be d(-2). Suppose -i*x + 69 = -3*p, -x + 2*p + 22 = -0*p. Solve 0 = 2*a + 3*n + 3, -5*a - n = -4*n - x for a.
3
Suppose -45*j + 42*j = -78. Let f = 57 - 23. Let c be f*1*(-1)/(-2). Solve g - j = 5*y, -c = 2*y + y - 2*g for y.
-5
Suppose 5*m - 9 = 6. Suppose 3*w + 2*w + 5*r = 0, 5*w - 3*r - 32 = 0. Solve 0 = w*l - 3*t - 0*t - 4, m*t - 3 = -3*l for l.
1
Let u(l) = l + 2. Let c be u(2). Suppose 2*x - c*z - 18 = 0, 3*x - z = 5*x + 2. Solve -i + 3 = 2*m, -i + 2*m + x = 3*m for i.
-1
Suppose -z + 8 = m, m + 5 = 2*z + 4. Solve -m*j = -h + 29, -4*j - 3*h - 1 - 7 = 0 for j.
-5
Let w(n) = n**3 + 10*n**2 + 11*n + 21. Let i be w(-9). Solve j + i = -3*k + 3*j, -3*k + 3*j = 0 for k.
-3
Suppose y + 2 = 3*y. Let j be (0/(y - -1))/1. Let i = 2 + 4. Solve 8*t - 3*t - q - 22 = j, t = q + i for t.
4
Let g(m) = 10*m - 1. Let f be g(1). Let c = 1 + 1. Suppose f = c*i - 5. Solve -u = -8*l + 3*l + i, u - 1 = l for u.
3
Suppose -7 - 3 = -5*u. Solve -8*b + 4*b - 16 = 4*n, -4*b = u*n + 18 for n.
1
Let t(q) = q**2 - 2*q + 4. Let o be t(2). Solve 4*a = 5*m - 16, 2*m + o*a - 15 = -3 for m.
4
Let h(c) = -c**2 - 3*c + 2. Let s be h(-3). Solve -2*g - 2 = 2*g - s*l, -l = -g + 2 for g.
-3
Suppose x - 16 = -5*y, 0 = -3*x - 5 - 7. Solve 5*h + m - 5*m + 32 = 0, -4*h = 4*m + y for h.
-4
Let l = -24 + 26. Solve g = -2*k - l, 5*g = -25 + 5 for k.
1
Suppose -7*r + 2*r = -20. Suppose -k = 3*c + 3, 2 - 10 = 4*c. Suppose -9 = -4*y + k. Solve -4*z - 4 = y*h - 2*z, -24 = -2*h + r*z for h.
2
Let k(p) = -4*p + 1. Let t be k(-1). Suppose -t*q + 24 = -q. Solve -q*m + 5 = -m, -x = -2*m - 1 for x.
3
Let k(a) = -16*a - 9. Let q(r) = 3*r + 2. Let t(z) = 2*k(z) + 11*q(z). Let n be t(5). Solve -4*o + 3 = m - 18, o = -m + n for m.
5
Let u = -12 + 14. Solve 0 = -5*z - 3*d - 1, 3*d = -5*z - u*d - 5 for z.
1
Let d(c) = c - 2. Let p(h) = -h**3 - 5*h**2 - h. Let z be p(-5). Let q be d(z). Solve 16 = -4*a, -q*a + 5*a + 28 = -4*b for b.
-5
Suppose -4*q = -3*q + 4*h - 20, -5*h + 36 = 4*q. Suppose 2*z = 0, 2*a + z + q*z - 24 = 0. Solve w = 4*m - 11 - a, -4*m + 32 = -4*w for m.
5
Suppose -5*h - 4*m + 3 + 25 = 0, -3*m = -3*h + 6. Solve -4 = -4*g - 0*g - 2*t, 5*g + h*t = -1 for g.
3
Let q(b) = b - 3. Suppose -18 = -h - 5*k, 2*k - 3*k = -h. Let i be q(h). Suppose 6*l = l + 10. Solve j - 3*t + l*t = i, 4*t = -5*j + 9 for j.
1
Let r be 8*-2*4/(-8). Suppose r + 4 = 4*f. Solve 14 = -f*d + 5*a - 3, 4*a - 18 = -2*d for d.
1
Let k be (12/15)/(3*(-3)/(-315)). Solve -4*r + i + k = -2*i, -2*i + 12 = 5*r for r.
4
Let a be 2*((-1)/(-4) + (-57)/(-12)). Solve -a = 2*m + 2*s, m = s + s + 10 for m.
0
Let t be (-2 - -1)*(-4 - -1). Solve -5*m + 22 = 2*v, t*v = 2*m - 2 - 3 for v.
1
Let b = -39 + 44. Solve -2*t + 3*t = 3*g + b, -5*t - 23 = g for g.
-3
Let n(q) = q**2 + 4*q - 4. Let h be n(-6). Suppose -i - 3*i = h. Let s be (2 - 3)/(i/10). Solve 2*l = s*p, 0 = -5*p - 0*l + l for p.
0
Let d = -11 - -13. Suppose 4*i + 8 = 2*w, -3*w - i + 2*i + 12 = 0. Suppose 1 = -q + p + 5, -3*q + w*p = -8. Solve d*u + 8 = -4*c, -3*u = 5*c - q*u + 10 for c.
-2
Let u(s) = -s + 3. Let t be u(0). Solve -4*d = -t*p - 3*d + 10, 2*p = 2*d + 4 for p.
4
Let g(y) = -y**2 - y + 5. Let i be g(0). Solve -2*z + 3*t = -0*z, -4*t + 7 = -i*z for z.
-3
Suppose 2*f + 4*d = -20, -2*f - 2*d = -4*f + 10. Let u be 1 + (54/2)/3. Suppose f = 6*l - l - u. Solve 12 = 5*m - 4*t, -2*m - 2*m = l*t - 20 for m.
4
Suppose -r + 5*v = r - 17, 3*v = -9. Let g = 24 + -26. Let d = r - g. Solve d*s = -2*i - 3 + 6, 0 = 5*s - 4*i - 27 for s.
3
Let k(m) = 2*m**2 + 8*m - 4. Let z(s) = -1 - 2*s - 2*s - s. Let h be z(1). Let d be k(h). Solve -3*t - b = 3*b + d, 0 = t - b - 5 for t.
0
Let v = 11 - 7. Suppose 0 = -2*t + 18 + 30. Solve -3*n = -4*w, 3*n + t = -0*w - v*w for w.
-3
Let l(n) = 8*n - 9. Let d be l(2). Solve d = -5*o + 2*o + 5*q, -o - 3*q + 7 = 0 for o.
1
Let r(n) = n**2 + 8*n + 7. Let a be -6 + (-3)/6*2. Let y be r(a). Solve -5*c - 3*l - 17 = y, 2*l + 5 = 7*l for c.
-4
Let x = 41 - 38. Solve -3*z - 12 = -0*n + 3*n, 0 = x*n + 4*z + 16 for n.
0
Let d = 5 - -3. Let i = 5 - 3. Suppose 3*y + y = -i*p + d, 4*y = 2*p. Solve 4 = -f + r, -3*r = -p - 1 for f.
-3
Let z = -7 - -7. Solve 2 = -2*i - 7*j + 3*j, j - 1 = z for i.
-3
Let t(u) = -8*u. Let o(w) = w**3 + w**2 - 2*w - 2. Let f be o(-2). Let m be t(f). Solve 3*q + a = -m, -q + 21 = -6*q + 4*a for q.
-5
Suppose 44 = 3*c - 22. Solve 2*l + 4*m - c = 0, 5*m - 19 = -5*l + 4*m for l.
3
Let r(n) = -2*n + 6. Let v be r(6). Let l = -16 - v. Let x be (l/(-6))/((-1)/(-3)). Solve q - 17 + 0 = 4*u, x*q - 2*u = 13 for q.
1
Let v = -26 + 50. Let b = v + -19. Solve 4*g + 3*c + 7 + 7 = 0, -b*g - 23 = c for g.
-5
Let u(j) = -j**3 - 3*j**2 + 3*j + 2. Let s be u(-4). Let d = s - 3. Solve 5*i + 20 = 0, d*p + 0*i = i + 10 for p.
2
Let g be (-1)/((-2)/12)*(-15)/(-18). Solve -5*c + 28 = -2*v, -g*v + 3*c - 28 = -v for v.
-4
Let k(y) = -y + 3. Let t be k(-4). Let d = t - -4. Solve d = 4*v - 5, -5*q - 3*v = -32 for q.
4
Let z be (224/(-5))/((-10)/(-50)). Let j be 1/(z/76 - -3). Solve 0 = -5*b - 5*x + j - 4, 5*x = -b + 23 for b.
-2
Let h(g) = -3*g - 22. Let i be h(-9). Solve -5*k = -i*v - 0*v - 5, 0 = -4*k + 5*v + 5 for k.
0
Suppose 5*p = 5*f - 35, -5*f + 3*p + 35 = 4. Suppose -4*o - o = -4*t + 49, 13 = -2*t - 5*o. Suppose -2 + 14 = 4*y. Solve -t = -3*m - y, f*h + 2*m = 22 for h.
4
Let h(b) = -b**2 - 3*b. Let v(t) = 2*t**2 + 5*t + 1. Let y(x) = -9*h(x) - 4*v(x). Let k be y(-8). Solve u + 0*u = 5*o - k, -4*o + 3*u + 1 = 0 for o.
1
Suppose -3*x = -14 + 5. Solve 4*k - 21 = -5*u - 0*u, -4*k = x*u - 19 for u.
1
Let i(p) = p**3 + 9*p**2 - 11*p - 9. Let o be i(-10). Let q = 6 - o. Solve -3*t - q*z = 1, -2*t = 2*z + 2*z + 2 for t.
3
Suppose 0 = -7*s - 4*s + 7*s. Suppose 1 = 5*o - 19. Solve -o = j - 5*m - 19, s = -2*m - 8 for j.
-5
Suppose -t - 40 = -4*f, -4*t = 5*f + 11 - 61. Solve 0 = p - 5, 4*p - f = w + p for w.
5
Let v be (2/(-3))/(2/(-6)). Solve s - 5 = 0, 0 = m - 5*m + v*s + 6 for m.
4
Let z be 3/(-18)*-3*8. Let u = 8 - z. Solve -5*c = 25, 6*m - u*c + 5 = m for m.
-5
Suppose 20 = 13*v - 3*v. Solve u = -u + 3*y + v, 3*y = u - 4 for u.
-2
Let s = -5 - -9. Solve -5*g - 18 = -5*m + m, -s*g + 3*m - 14 = 0 for g.
-2
Suppose -3*h - h = -20. Let k be (1 - -3)/(24/12). Solve -h*f = -c - 1 - 17, 3*f = 5*c + k for c.
2
Suppose g + 0 + 9 = 2*j, -3*j - 5*g + 7 = 0. Solve 3*v = -j*w - 8, -8*w = 4*v - 3*w + 10 for v.
0
Let c(m) = -m**3 - 5*m**2 + 5. Let f be 2/(-6) - (-84)/(-18). Let g be c(f). Solve 3*h - g*b = -6*b - 7, -2*b - 2 = 0 for h.
-2
Let i be (-4 - 2)*(2 - 1). Let n be 1/(-2)*(-2 + i). Solve -3*o = -g + o + 3, -4*o = -n*g for g.
-1
Let m(h) = -2*h**2 + 2. Let u be m(2). Let f(k) = -8*k - 8. Let c be f(u). Solve 16 = -z + 3*y, 5*z - 7*y = -2*y - c for z.
-4
Let z(w) = -20*w. Let o be z(-1). Let j = o - 18. Solve 4*p + 4*b - b - 17 = 0, -j*b = -3*p for p.
2
Let q = -9 - -14. Let s = 25 - 22. Suppose -q*l + 4*o + 18 = o, -5*o = s*l - 4. Solve 3*n + l = -a - 4, 11 = -a - 5*n for a.
-1
Suppose 3*b + 8 = 23. Let c be 28/b + (-18)/30. Solve 15 = 3*d + c*k - 22, -2*d - k + 13 = 0 for d.
4
Suppose 10 = -3*w + 37. Let o(v) = 27 + 3*v + 31 - 62. Let f be o(w). Solve f = -4*l + 3*a, 0*l - 5*a + 20 = -3*l for l.
-5
Let y = -55 - -58. Solve b - v + y = -0*b, -5*v + 11 = -3*b for b.
-2
Suppose 0 = 5*c + 3*y - 12, 7*y - 3*y = -5*c + 11. Solve -2*g = -3*v - 3*g - 9, 0 = -4*v - c*g - 7 for v.
-4
Suppose -3*r - 2*r = -80. Solve f = 4, -4*k + 2*f - r = -3*f for k.
1
Let j(k) = -k**2 - 11*k - 3. Let i = -12 - -2. Let z be j(i). Suppose 4*u - 29 = -3*v, 3*u - z = 3*v - 1. Solve 11 = -b - 4*h, -7 - u = -3*b + 3*h for b.
1
Let g(q) = -2*q - 6. Let d be g(-4). Suppose -2*f - 2 = d*a, a - f = 3*f + 4. Solve -4*c + 4 = 2*p, 0 = 4*c + 4*p - a - 8 for c.
0
Suppose 0 = 3*r - 3*h + 131 - 20, -2*r + h - 77 = 0. Let x be (16/r)/((-1)/10). Solve -4*j - 9 = t, -x*t = -0*j + 5*j + 25 for j.
-1
Suppose -c + 206 = 200. Solve -21 = -5*z - y, 0 = -z - 2*y + 3 - c for z.
5