ve -f + 4 = d, -4*t = -0*f + c*f for t.
-4
Suppose 0*w = -5*w + k + 13, 3*w = 3*k + 3. Suppose -2*p + 6 = 2*c, 3*c - w*p - 9 = 2*p. Solve -4*b + g - 24 = -g, -4 = c*b + 2*g for b.
-4
Let r(v) = -v**3 - 12*v**2 - 20*v + 16. Let p be r(-10). Let l be (6/15)/((-1)/(-10)). Solve t + z = 0, l*t - 5*z + p = -11 for t.
-3
Let d(v) = -2*v**3 - 4*v**2 - 4*v - 3. Let l be d(-2). Solve 2*i + l*s = 19, 0 = 5*i - 0*i + 4*s - 22 for i.
2
Suppose -14 = w - 35. Solve x - 2*h = -3*h, -2*x = -5*h - w for x.
3
Let j(m) = -m**3 + 7*m**2 + 12*m - 4. Let h be j(8). Let s be (3 - 2) + (13 - 1). Let l = h - s. Solve l = y + 5*i, -2 = 5*y + i - 5 for y.
0
Suppose 32 = -4*q + f, 0 = 5*q + 2*f - 6*f + 40. Let t be 5/15*(1 - q). Solve -3*k = c + 2 - t, 0 = 5*c - 20 for k.
-1
Suppose 2*n + 3*d = 2, n + 0*d - 4*d - 12 = 0. Let s = -1 - -5. Solve n*y = -s, g - 20 = 6*g + 5*y for g.
-3
Let s = -8 + 10. Let q be 1*(-1 - 4*-1). Suppose 3*p + q*d - 33 = -s*d, -4*d + 18 = p. Solve -4*t + 5*t = -4*g + p, 3*g - 7 = -2*t for t.
2
Let z = 9 + -7. Solve 5*u = -y - 25, z*u + 5*y + 33 = -0*y for u.
-4
Let k(a) = 5*a**2 + 2*a + 1. Let b be k(-1). Suppose 0 = -g + b*g - 6. Solve -g*c = 2*d, 5*c - 5*d + 2*d - 40 = 0 for c.
5
Let k = 3 + -1. Suppose k*h + 3 = 9. Solve -2*j - 3*w + 8*w = -23, 3*j - h = -3*w for j.
4
Suppose 4 = -b + 2*g, 3*b - 2*g + 23 = -7*g. Let x = b + 6. Suppose 0 = 3*z - 4*i - 0*i - 6, x = -z + 3*i + 2. Solve 0 = z*l - 5*a - 2 - 2, 5*a = 4*l - 8 for l.
2
Let y(h) = -h + 3. Let k be y(6). Let n be k*((-5)/3 - 0). Let t = 66 - 46. Solve 0 = n*z + 5*g + 5 - t, -12 = -z - 4*g for z.
0
Suppose 0*b = 4*t + b - 14, 20 = 4*t + 4*b. Let s be ((-4)/(-12))/(2/6). Let x = s + t. Solve 7 = n - 0*n + x*y, 5*n = 4*y - 37 for n.
-5
Suppose 5*v - 2*r = -4*r - 8, -v + 4*r + 16 = 0. Suppose -k = -v*k - 4. Solve 0 = -2*b + k*h + 2, 3*b - 5*h - 1 - 4 = 0 for b.
5
Let d be (2/2 + -1)/(-1). Solve -x + 3*u + 10 + 1 = d, 4*u + 23 = 3*x for x.
5
Let n be ((-15)/(-12))/((-3)/(-12)). Solve 4*v + 24 = 4*o, 0*o + 18 = -n*v + o for v.
-3
Suppose 0 = n - 4*p - 14, 3*n = 2*n - 2*p - 10. Let v = n - -6. Suppose -v + 0 = -2*w + 2*y, 10 = 5*w + 2*y. Solve -4*r = w*q - 14, 2*r = q + 3*q + 12 for q.
-1
Let v = -9 + 15. Let g = 15 + -17. Let d = g + v. Solve 0 = 4*o - 4*r + 24, 3*o + 2*r = -2*r - d for o.
-4
Let m be 9 + (-2 + -1 - -1). Suppose 0 = -3*o + m*o. Solve -r - 16 = -4*a, 5*r = -o*r for a.
4
Let n(d) = -11*d + 4. Let p be n(-4). Suppose 6*r - 2*r + p = 0. Let u be (-4 + 0)/(8/r). Solve j + 5 = u*j, 18 = 4*a - 2*j for a.
5
Suppose -246 = -5*p - k, 4*k + 419 = 5*p + 153. Solve 5*u + 5*f = p, -5*u + 3*f = -0*u - 10 for u.
5
Suppose -5*z + 18 = 8. Solve 2*l - 4*k = z, 2*k + 4 = -2*l - 0*l for l.
-1
Let x be (0 - -1)/(3/(-6)). Let d = x + 10. Solve -2*p - d + 18 = 0, 4*z = 5*p - 41 for z.
-4
Let q be 1 + (4 - 2) + 0. Suppose 3*f - 3 = -q*i, 0*f - 5*f - 20 = 0. Let r = -8 + 14. Solve -2*t - 5*z = 15, r*z - z + i = 0 for t.
-5
Suppose 0 = p + 4, -p - 6 = -w. Let b = -1 + 6. Let d = -3 + b. Solve d*m - 12 = w*v, 3*v + 0*m = -4*m - 11 for v.
-5
Let u(g) = g**2 + 9*g - 6. Let x be u(-10). Suppose -2*q - 2 = -x*q. Solve j + 0*j = 4*m + q, 2*m = -2 for j.
-3
Let a = 10 - 6. Suppose y = -a*y. Let k be 4/1 - (-132)/11. Solve -14 = 4*c - l, 4*c + k = -y*l + 2*l for c.
-3
Suppose 0 = -5*h + 2*z + 18, 7 = 4*z + 3. Solve -3*j - h*t - 13 = 0, -j + 3*j = 5*t + 22 for j.
1
Suppose 3*d + 0*c + c = 1, -c = -2*d - 1. Let o be 8 + (2 - (5 + d)). Solve 5*r - 5*j = -o, -4*r - 4*j + 6*j - 6 = 0 for r.
-2
Suppose 3*y - p = 2*y, -p = 2*y - 12. Solve 5*g = -4*h - 40, y*h - 4*g + 4 = -0*g for h.
-5
Let d be (-4)/3*(-3)/2. Suppose -d*b + 13 = 3*u, -4*b - 9 - 5 = -2*u. Solve 3*l = u*c + 2 + 23, 2*c - 11 = -3*l for c.
-2
Suppose 7 = 2*k - 3. Suppose -33 = -5*x + 2*a, 3*x + k = -0*a - 5*a. Solve -3*d + 6*d = 0, r - 4*d - x = 0 for r.
5
Let j(q) = -10*q**2 + q - 1. Let m be j(1). Let n = -7 - m. Let f be ((-6)/(-4))/(3/16). Solve -2*k + 0*k - c - f = 0, k - 10 = n*c for k.
-2
Suppose b - 6*b = -25. Suppose -h + 5 = -0*h. Suppose 2*z - 22 = -4*q, -h*q - 4*z + z = -28. Solve 5*s + 4*m = 10, -q = -5*s + m + b for s.
2
Let h be 22/10 - 5/25. Let r(y) = y**h + y**2 - y**2 + 9*y - 7. Let k be r(-10). Solve 0 = k*x - w - 13, 0*x + 3*w = -4*x for x.
3
Let l = 4 + 1. Suppose -9 = -l*j + 2*j. Solve -3*q - j*g + 24 = 0, 2*q + 1 + 4 = 5*g for q.
5
Let m = 27 + -7. Suppose v + 4*v = m. Solve -3*n + 14 = w, -4*n = w + v*w - 37 for w.
5
Let s be (-16)/(-6) - 4/(-12). Suppose -s*j = -5*j + 20. Suppose 5*x = 17 + 3. Solve -2*r + x*n = 18, j = -4*n + 30 for r.
1
Let j(m) = -m**2 + 4*m + 14. Let u be j(6). Solve 4*s = 3*s - 2*l + 3, 0 = u*s - 3*l + 8 for s.
-1
Let w(c) = -c. Let f be w(-7). Let v = f + -7. Solve 7*t - 4 = 3*t, v = l - 2*t - 3 for l.
5
Let f be (-4)/1 + 96/12. Suppose 5*j + 17 = f*d - 4, 2*j - 42 = -4*d. Solve 0 = -3*h - o - 1, 2*h + d = 2*o - o for h.
-2
Suppose 5*c - k - 16 = -2*k, c + 2 = 5*k. Suppose -2*r + 15 = c*r. Let y = -3 + r. Solve 4*f + y*f + q - 19 = 0, -5*f + 5*q = -5 for f.
4
Suppose -8 = -2*n, -5*n + 8 = 4*p - 20. Suppose 3*k + p = 14. Suppose k*t = -2*i + i + 7, 5*i + 3*t = 18. Solve 4*j + 4*m - 6 = i*m, -3*j - 4*m + 11 = 0 for j.
1
Let u(q) = -q**3 - 13*q**2 - 22*q + 4. Let k be u(-11). Solve k*z - p + 15 = -z, 4*z = 4*p - 12 for z.
-3
Suppose m + 2 = 3. Let c = m + 3. Solve 0 = 3*v + f - 5 - c, f + 3 = 0 for v.
4
Suppose -9*o = -5*o. Solve -3*c - 4 = -5*q, -q - 4*c - 13 + o = 0 for q.
-1
Suppose 7*f - 8*f + 15 = 0. Solve 2*x = -3*m - 17, -4*m - 5*x + f = 40 for m.
-5
Suppose -14 = -2*c - 4*l + 14, 3*c - 3*l + 3 = 0. Let w be -3*(2/3 + -2). Let j = 12 - w. Solve c = u + r + j, 3*u + 2*r = -13 for u.
-5
Suppose 4*d + 1 = 3*d. Let l be ((-2)/3)/((-2)/3). Let q = l - d. Solve 0 = -5*v - 3*j + 5, 25 = 5*v + j - q*j for v.
4
Suppose -4*g + 58 = -3*r, -3*r - 30 = -2*g - 2*r. Solve 3*z - 5*p = z - g, 4*z = 4*p - 20 for z.
-3
Let a(o) = o + 4*o - 2*o - 5 - 2*o. Let d be a(8). Let l(v) = 2*v**2 + 3*v + 2. Let p be l(-3). Solve 4 = d*g - 5*g - 2*u, 4*g + 5*u = -p for g.
1
Suppose -4*p + 6 + 14 = 0. Let r(a) = -4*a + 44. Let l be r(10). Solve 2*o - p*f = -16, -o - l*f = 2*o - 22 for o.
2
Let m(b) = -b**3 - 7*b**2 + 9*b + 11. Let o be m(-8). Solve -p = w - o, p = w + 4*p - 11 for w.
-1
Let b = -81 + 85. Solve 2*i - 3*q + 6 = q, b*q - 3 = i for i.
-3
Let h be 1*(-4 + (-25)/(-5)). Solve -2*l - 4*u = -17 + h, 2*u - 10 = 0 for l.
-2
Suppose 5 = 6*r - r. Suppose 4*k = 4*o - 20, -o + 0 = k - r. Solve 5*u - 4 = t, 8*t - 3*t = -o*u + 8 for t.
1
Let q = -3 + 5. Solve 10 = q*o + 4*u, 5*o - 6*u = -2*u - 17 for o.
-1
Let u(k) = k**3 - k**2 + 79. Let h be u(0). Suppose 3*j - h = -25. Solve -3*o = 3*t - 21, t + j = -4*o + 8*o for t.
2
Suppose -4*c - 16 = -8*c - 5*r, 5*c - 25 = -5*r. Solve 4*v + 5*q - c = v, 4*q = 12 for v.
-2
Let c = -5 - -7. Suppose c = 3*r + u, u + 8 = -3*r + 5*u. Solve -2*g + 3*j = -j, 2*g + j + 5 = r for g.
-2
Let c be -6 + 24/6 - -1*7. Solve 5*v = -x - 15, c*v + 0*x + 15 = -3*x for v.
-3
Let f(h) = -h**3 - h**2 + 2*h - 1. Let u be f(-3). Solve 0 = -2*t - 2*k - 2, 4*t + 0 - u = k for t.
2
Suppose 4*v + 16 = 4*k, 4*v - 7*v + 3 = 0. Solve 3*h + 0*h - k*g + 22 = 0, 2*g = h + 8 for h.
-4
Suppose 4*z = -z. Suppose -3*o + 15 = -3*r, 2*o + r - 4 = -z*o. Solve -4*m = 3*u + 6, o*m - 10 + 0 = 5*u for m.
0
Let f(s) = -s + 8. Let w be f(5). Solve w*j - 21 = -2*a, 0*j + 13 = -4*a + 5*j for a.
3
Let a(q) = q - 4. Let o be a(3). Let w be 1*17 - (o - 0). Let i(n) = n**3 - 3*n**2 - 3*n - 1. Let d be i(4). Solve 4*f - w + d = -z, -3*z + 6 = -f for z.
3
Suppose 4 = 4*a - 5*m - 11, 12 = 3*a - 3*m. Solve 4*j - 25 + 4 = -5*q, 0 = -3*q - a*j + 23 for q.
1
Suppose 5*s + s = 18. Solve 6*q - 2*q = s*c - 9, -5*q - 4*c - 19 = 0 for q.
-3
Let y = 16 + -10. Solve 5*t = -4*m + m + 10, 0 = 5*m - 3*t + y for m.
0
Let y(q) = 2*q - 2. Let s be y(2). Suppose s = 3*u - 2*u. Solve -4*d - 4 = -u*r + 6*r, 3*d = 12 for r.
-5
Suppose -2*b + 5*y + 9 = 25, 0 = -3*y + 12. Solve 2*u + b*h = -4, 4*u - 2*u = -5*h - 1 for u.
-3
Let h(l) = l**3 + 7*l**2 + 9*l - 5. Let w be h(-5). Solve w = b + 3*i + 4, -6*b + i = -2*b + 16 for b.
-4
Let g = 1 - 1. Suppose 5*v - 10*v + 40 = g. Solve 8 = a - 4*p, v = -5*a + 4*p - 0*p for a.
-4
Let z be (-30)/1*(-9)/15. Solve 2*r - z = -