p*x + 17 for t.
-1
Suppose f = -5, -3*t - 1 = 3*f + 5. Suppose -2*u = u - 240. Suppose -89 = -5*m + 4*y, 2*y = -4*m + 3*y + u. Solve 0 = t*g + 4*b - 7 + m, g = -5*b - 12 for g.
-2
Let q = 7 - 5. Suppose 3*t + 12 = q*i, i + t - 15 = 1. Let h = -9 + 9. Solve 4*d + i = -s + 3, h = 5*d - s + 18 for d.
-3
Suppose -f = 2*o + 4 - 8, -3*f + 3*o + 21 = 0. Solve 5*a = 3*n + 3*a + 6, f = -3*n + 5*a for n.
-2
Let l = 3 + 0. Suppose -n = -l*n + 4. Solve -5*q - n*b + 4*b = 3, -3*b = -5*q - 7 for q.
1
Suppose p = -3*q + 8, 0 = 4*p - 7*p + 2*q + 68. Solve 4*j - p = w, j + 0*w + 5*w + 16 = 0 for j.
4
Suppose 5*y - y - 8 = 0. Solve -5*k = 20, -6*k + y*k - 31 = -5*f for f.
3
Let l = 3 + 9. Suppose 2*h - 4*h + l = 0. Let a = h + -3. Solve -a*c = -3*o - 0*c + 6, 3*o - c - 10 = 0 for o.
4
Let b(s) = -s**2 - 3*s + 2. Let v be (-4)/1 - (-1 + 0). Let l be b(v). Suppose -o = l*o. Solve -12 = -2*j - o*g + 4*g, -4*j + 2*g - 6 = 0 for j.
-4
Let b(d) = -d**3 + 4*d**2 + d - 4. Let m be b(4). Solve 4 = 5*l + 3*k + 18, -3*l + k = m for l.
-1
Let p = -7 - -5. Let m be 3/1 - 4/(-2). Let h = p + m. Solve 0*g = 2*g + h*f + 16, 2*g = -5*f - 24 for g.
-2
Let j(r) = -r**2 - 8*r - 7. Let n be j(-7). Suppose s + f - 3 = -0*f, 4*f - 8 = n. Suppose -3*g - 6 = -21. Solve 5*a = 4*l - s - 4, 3*l = -5*a - g for l.
0
Suppose -3*b - 3*b = -0*b. Solve -v = 2, b = 3*k - 7*k + 2*v for k.
-1
Let v(d) = -d**3 + d**2 + d + 7. Let n be v(0). Solve -2*i = -6, -n = -2*u + 3*u - 4*i for u.
5
Suppose -4*v = -l + 5, -v - 3*l = 3*v + 1. Let w be (1/1 - 1)/v. Let h = 1 - -2. Solve 7 = -w*f + 2*f - h*k, 5 = 5*k for f.
5
Let x = 14 - 9. Suppose -3*u = b - 7, x*u + b + b = 11. Solve 2 = q - 3*s, 0 = -u*q + 3*s + s + 6 for q.
2
Suppose 2*x = 65 + 55. Suppose -x = -w - w. Suppose -4*z + 27 = -3*h - 0*h, z - 3*h = 18. Solve -5*y = -5*d - w, -4*y + 15 = -z*d + 2*d for d.
-3
Suppose -2*w = 4 - 14. Let d = -20 + 25. Solve -w*o - 4 - 5 = g, 0 = -4*g + d*o + 14 for g.
1
Suppose 15*n = 10*n + 20. Suppose -18 = -s - 0*s + n*x, 4*s = 4*x + 48. Solve -s = -5*z, 0 = -r + z + 4 - 3 for r.
3
Let z(h) = -h**3 + 5*h**2 + 6*h + 5. Let q be z(6). Let s be (3 - (-12)/(-4))/(-1). Solve s = 5*v, -v + q*v - 8 = -2*p for p.
4
Suppose -x + 4 = -w, -x + 4*x - 12 = -w. Suppose -31 = -4*z + m, -2*z + 0*m + 38 = x*m. Solve -3*j - j = b - z, 0 = 2*j - 2*b - 12 for j.
3
Let z(y) = -y + 8. Let w be z(0). Suppose 5*q - w = q. Suppose u = -q*u. Solve u = -3*d - 5*s - 20, -2*s - 4 = d - s for d.
0
Suppose 3*w = 3*v + 18, -16 - 20 = -4*w - 2*v. Suppose -w = -4*z - 0. Solve z = -q - l - 4, 3*q + 2*l = -15 for q.
-3
Let d = -17 + 21. Solve 14 = -2*y + 4*s, 0 = y + 2*y - d*s + 19 for y.
-5
Let v(z) = 3*z**2 - z + 2. Let a be v(1). Let f = 21 - 18. Solve 10 = f*s - m, 4 = 8*s - a*s + m for s.
2
Suppose 0 = -5*k + 4*k - 9. Let l(x) = -x + 2. Let p be l(k). Solve -18 = -2*m - 4*f, 2*m + 1 + p = 2*f for m.
-1
Let h(k) = k + 14. Let w be h(-12). Solve 5*t - 20 = 0, -3*g + 1 = w*t - 10 for g.
1
Let j = -65 + 69. Solve 5*o + 2 = j*u - 11, -5*u + 13 = -3*o for o.
-1
Let r(j) = j**2 + j + 12. Let h be r(0). Suppose -2*x = x - h. Solve -x*f = 16, 17 + 6 = 5*q - 2*f for q.
3
Suppose 4*n = 26 - 6. Let t be 1 - (-57)/9 - 34/(-51). Solve s = -x + 2, n*x = 6*s - t*s - 5 for s.
5
Suppose -4 = -z + 2. Suppose -5*p - 4*d + 9 = -7*d, -3*d + z = 0. Suppose -2*x + 2*g = 4, 0*g + 2 = -p*x + g. Solve x = 4*t + 16, -3*b + 2*b = 2*t + 7 for b.
1
Let i = 14 - 15. Let v be (1 - -1) + 2 + i. Solve 0 = 5*k + 2*r - 12, 2*k - 2*r - v = 13 for k.
4
Suppose 4*w - w + 2*w = 0. Solve -4*p + w*a + 5*a - 15 = 0, 5 = -5*a for p.
-5
Let f = -24 - -27. Let k be 8/6*(4 + -1). Suppose -f - 5 = -k*h. Solve -4 = 2*i + h*d, 5*d + 14 + 11 = 0 for i.
3
Let l be 14 - 6/3 - 3. Let a be (-12)/l*-3 - 2. Let d = a + 1. Solve 0*t = 4*h + t + 2, -2*h - d*t = 6 for h.
0
Let n be 12/10*(-15)/(-6). Let y = n - 1. Suppose y - 5 = -3*x. Solve -j = -3*h - x, 0*h = 2*j - 2*h - 2 for j.
1
Let q = -71 + 73. Solve -2*h - d = 2*h + 2, -h = q*d + 4 for h.
0
Let i be 74/(-6) - 10/15. Let a be 8/20 + i/(-5). Suppose a*c - 2*n - 24 = -c, 3*c - n - 17 = 0. Solve -3*m = c*d - 2*d, -3*m = -2*d + 15 for m.
-3
Let v = -37 + 43. Solve 5*l + 40 = -4*n, -l + v*l = 3*n - 5 for l.
-4
Let a(x) = x**2 + x - 4. Let n be a(2). Solve 2*b + l = 4, -b + n*l = -2 - 0 for b.
2
Let g = -4 - -6. Solve 12 = -4*k + g*k - 5*l, -4*k + 3*l = -28 for k.
4
Let p be 2 - 6/((-18)/21). Solve 5*l - 2*c + 6 + 9 = 0, 2*c - p = -l for l.
-1
Let w be ((-1)/(-3))/(3/90). Solve -4*o - 5 = i + 5, -w = 3*i + 2*o for i.
-2
Let c(i) = -i**3 + 5*i**2 + i + 5. Let b be (-6 + 4)*(-10)/4. Let a be c(b). Solve -2*t + 5*w - 11 = -29, 2*w + a = -2*t for t.
-1
Suppose 0 = 4*s + 5*o - 80, -4*s - o + 64 = -0*o. Solve -2*v + 11 = -w, s = 4*v - 5 for w.
-1
Let l = -13 - -29. Let j(f) = f**3 + 6*f**2 - 2*f - 6. Let r be j(-6). Suppose 0 = p - r + 1. Solve -p*y = 2*q - 3*q - l, 0 = -4*y + 5*q - 4 for y.
4
Let a(c) = -2*c**3 + c**2 + 3. Let h be a(-2). Let i = h + -20. Solve 5*m = -2*g + 3 - 1, 3*g - 3*m - i = 0 for g.
1
Let a(g) = -g**2 - g - 2. Let t be a(-7). Let p = -28 - t. Solve 0 = o + 4*i + 15 - 4, -4*i - p = 0 for o.
5
Suppose 2*s + 6 = 12. Let x(l) = l - 1. Let i be x(6). Solve 2*r + s*r = p + 14, 5*p + 30 = i*r for p.
-4
Let o(m) = -m**3 - 2*m**2 - 2*m. Let j be o(-2). Solve -2*k - 8 = 0, 3*t + 2*k = k - j for t.
0
Suppose 37 + 8 = 3*x. Let u(p) = p - 3. Let g be u(8). Suppose -2*n + g + 5 = 0. Solve -5*k - 6*m + x = -m, -1 = n*k - 3*m for k.
1
Suppose -2*o = 3*o + 2*c - 19, c = 5*o - 28. Solve -o*k - 5 = -5*z, -1 = -z + k + 4*k for z.
1
Suppose 0 = -3*n - l + 22, 4*l - 20 = -l. Suppose -n*u = -u. Suppose -3*h + 0*s = -2*s - 22, u = 3*s - 12. Solve -2*c + h = 3*f, -c - 4 = -3*c for f.
2
Let o(t) = -t**2 - 9*t + 9. Let m be o(-11). Let g = -9 - m. Solve -g*z - 8*h + 4*h + 24 = 0, -4 = -3*z + 4*h for z.
4
Let c = 3 - 3. Suppose -5*d + 2*v + 252 = c, -2*d + 7*d + 4*v = 276. Let r = -32 + d. Solve -h + 4*g + 0*g = -5, 4*h - r = -2*g for h.
5
Let r be (-8)/10*(-1 - 4). Suppose 5*g - 31 = -6. Solve g*c - 5*q + 37 = -q, 17 = -r*c - q for c.
-5
Suppose -10*y - 3 = -11*y. Suppose -i = 1 - 0, y*x - 8 = -i. Solve 5*k - 2 = -b, 0 = -x*b + 4*k - 2*k + 6 for b.
2
Let o be 72/30 - 4/10. Suppose -3*v + 25 = 4*m, 6*v = o*m + 3*v + 1. Solve 4*l + m*j = -20, 6 = -l + 5*j + 25 for l.
-1
Let u be (-4)/8 - 3/(-6). Solve u = 5*i + 11 + 9, 0 = -4*m + 4*i + 12 for m.
-1
Let p(y) = -y + 5. Let v be p(5). Suppose 5*g + 3*a - 22 = v, 2 = -3*g + 2*a - 0*a. Solve -5 = c, -7*h = -2*h - g*c - 25 for h.
3
Suppose 4*z = -z. Let j = 12 - -8. Solve -5*s - 5*r = -j, z = -s + 5*s - r + 4 for s.
0
Let d = -24 - 7. Let i = d - -51. Let t be (3/4)/((-3)/(-12)). Solve -u + 2*y - 12 = 0, t*y = 3*u + y + i for u.
-4
Let n(c) = -4*c**3 + 2*c**2 - 1. Let s be (-8 + 6)/(0 - -2). Let j be n(s). Solve j*h - 4*l = -2, -h = -0*h - 4*l - 6 for h.
-2
Let v(t) = t. Let l be v(1). Suppose -r + l = -3. Suppose -r*a - 16 = -8*a. Solve u + b - 1 = 0, -b - 2 = a*u - 0 for u.
-1
Suppose -5*r + 5*a = -33 - 2, 3*r + 2*a - 1 = 0. Suppose r*y + c - 1 = 0, 15 = -2*c - c. Solve -3*b + 6 = -3*n, 3*n - 6 + y = b for b.
5
Let d(u) = -u + 8. Let t be d(5). Solve -t*n = -5*s - 1 - 1, 5 = -5*s for n.
-1
Let w(o) = 1 + o**2 - o + 2 + 5*o. Let j be w(-4). Suppose -2*q - 5*u + 15 = 0, -q - u - 9 = -j*q. Solve -q*n = -k - 29, 0 = -4*n - k + 17 - 1 for n.
5
Let l be ((-3)/6 - -1)*(7 + 1). Solve -l*o + 29 = -5*q, -5*q = -q + 4*o + 16 for q.
-5
Suppose 0 = -n - 0*n - 2*m - 11, m + 9 = -4*n. Let o = 0 + n. Let g be 1 + o - (0 - 0). Solve g = -4*k + 2*d + 2*d, 0 = -3*k + 4*d for k.
0
Suppose 20 = -0*x + 4*x. Let i(r) = -6*r + 3. Let u(w) = 17*w - 10. Let f(k) = 11*i(k) + 4*u(k). Let a be f(x). Solve -5*g + a = 4*d - 2*g, 3*g = 15 for d.
-3
Suppose -z + 5 + 0 = 0. Solve -t = m - 8, -2*t + 5*m = -0*t + z for t.
5
Suppose f = 6*f - 55. Solve 5*y - 3*p = 19, -2*y + 3*p - f = -3*y for y.
5
Suppose q - 85 = 5*s, 35 = -0*q + q + 5*s. Suppose -2*v + 4*v = q. Suppose 2*t - v = -3*t. Solve 0*n - 2*h = -n - t, -9 = -4*n - 3*h for n.
0
Let p = 4 - 14. Let a = p + 10. Solve -d - 1 = -3*d + q, a = 4*q + 4 for d.
0
Let a be (-4)/(-18) - 48/(-27). Suppose 4 + a = 2*p. Suppose 5*l = 5*z - p*z + 1, 0 = z + 5*l - 7. Solve 3*v = 2*v - 5, z*g + 11 = -v fo