f*b + 3 = -12, -3 = 2*c + b for c.
-4
Suppose -9*s + 6*s + 2*w + 33 = 0, 3*w - 44 = -4*s. Solve -5*j - t = -21, -15*t = -s*t + 16 for j.
5
Suppose -2*q + 6 = 6*n - 2*n, n - 12 = 3*q. Suppose 2*k + b - 16 = 0, n*b = -3*k - 0*b + 18. Solve -s - s = -3*t - 1, 5*s + 5*t = -k for s.
-1
Let x(h) = -7*h**3. Suppose 3*u - 3 = -2*r, -2*u + 10 - 27 = -5*r. Let a be x(u). Suppose s + 4 = a. Solve -22 = -4*q - 2*f, 5*f + s - 25 = q for q.
3
Suppose 0 = 4*t - 4*x - 172, -x = -4*t + 102 + 55. Let v = t + -30. Solve -5*k + 0*z = -2*z - 19, 0 = k + z - v for k.
5
Let x(g) = 2*g**3 - 34*g**2 + 31*g + 47. Let q be x(16). Solve -4*m + q = 5*r, 4*m + 3*r - 9 - 16 = 0 for m.
4
Suppose 0 = -5*f - x + 8, 5*x + 7 = -2*f + 1. Suppose 2*q + q = -a + 10, 0 = 2*a - f*q - 4. Solve 3*s = -2*h - a, -h = -2*s + 4 + 5 for s.
2
Let r(v) = v**2 + 26*v + 29. Let x be r(-25). Let l(h) = -h**2 - 13*h + 3. Let g be l(-10). Solve x*f - g = -5*i, -2*i + f + 4 = -2*f for i.
5
Suppose 0 = -4*j + 3*s + 66, 12*j - 17*j + 70 = -10*s. Suppose 0 = -4*m + 3 + 13. Solve -3*r + m*r = 2*c + 10, 3*c + j = 3*r for c.
-4
Let b(u) be the third derivative of -u**4/6 - 2*u**3/3 + 3*u**2. Let p be (1 + (-6)/15)*-5. Let z be b(p). Solve 0 = 3*w + 2*o + 3 + z, -4*w - 24 = 5*o for w.
-1
Let n be (-10)/(((-6)/(-15))/(-1)). Solve -2*t - z - 8 - 2 = 0, 5*t + 4*z + n = 0 for t.
-5
Let h = 85 - 41. Suppose -n = h - 75. Solve -4*p = -4*g - 36, -4*g - n = 2*p - 5*p for p.
5
Let h = 53 - 23. Suppose r + 81 = 6*r + g, -2*r + 2*g + h = 0. Solve 5*y + 20 = -4*m + 7*m, -3*m + r = -4*y for y.
-4
Let y(h) = -h**2 + 21*h - 77. Let d be y(16). Solve -2 = 3*g + w + 3, -3*g + 3 = -d*w for g.
-1
Let m(s) = -s + 1. Let r be m(-1). Suppose -3*u = 4*d - 430, 4*u = -3*d - u + 317. Let p = d + -106. Solve -2*v - p*v = 2*f, 3*v = r*f for f.
0
Suppose 84716 = 14*v + 84646. Suppose -3*r + 2*m + 32 = 0, 0 = -3*r + 5*m + 23 + 12. Solve p + z + 2*z - r = 0, 4*z + 12 = v*p for p.
4
Let p be 10/6 - (40/6 + -7). Solve -3*x = p*f - 14, 0*x + 2*f = -2*x + 12 for x.
2
Suppose -4*z = z + 3*c - 35, -c = -4*z + 11. Solve y + 5*f = z*y + 10, -2*y = 5*f - 10 for y.
0
Let b = 17 - 13. Let u(s) = s**3 + 3*s + 2*s**2 + 2 + 5*s + 7*s**2. Let w be u(-8). Solve 0 = b*t + 12, 5*v - 4*v + w*t = -7 for v.
-1
Let j(w) = w**2 + 4*w - 30. Let c be j(-8). Suppose 0 = -c*t + 3*x + 22, -8 = x - 4. Let n = 15 - 11. Solve -g - 1 = -t*i, -n*i + 6*i - 2*g + 6 = 0 for i.
1
Let c be 2 - ((-2)/9 - (-43)/(-9)). Solve 4*j + 4 + 9 = t, t + j = -c for t.
-3
Suppose -14*b = -192 - 4. Solve -2*l = -4*u - b, -5*u + 7 = 3*l + 19 for l.
1
Let p(s) = -17*s - 165. Let f be p(-10). Solve -4*r + 29 = r - 3*a, 2*r = -f*a - 7 for r.
4
Suppose d - 34 = 2*d - 2*v, 3*v = -3*d - 120. Let j = d - -53. Suppose q - 59 = -2*p, 13 = p - q - j. Solve i - p = 5*h, 0*h + 2*i = -h + 3 for h.
-5
Let a(v) = v**2 + 8*v + 13. Let b be a(-6). Let m = b - -3. Suppose 3*j = -m*u + 16, -5*j = -3*u - 3*j + 12. Solve -o + u = -4*l, o = -4*l + 3*o - 4 for l.
-1
Let x = -39 - -22. Let f = x + 20. Suppose 51 = f*l + 3*s, 0*l + 5*s - 72 = -4*l. Solve -4*z + 0*z + l = -5*j, 4*z - 3 = -5*j for z.
2
Suppose 25 = -2*u + 3*x + 80, -2*x = -3*u + 70. Solve 3*i = -5*n - u, 0*n + 2*i + 9 = n for n.
-1
Suppose -2*s + j = -s, 0 = -4*s - 3*j. Solve a - y = -s - 1, 4 = -4*a + 3*y for a.
-1
Let b be 4*(-3)/(-4) + -3. Suppose 3*n = 2*w + 9, -w + b*w + 15 = 5*n. Suppose -6*k - 50 + 218 = 0. Solve n*a + 0*l = 5*l - k, -2*a - 17 = -3*l for a.
-1
Let b be 2/1 + (-12)/(-6). Let d(u) = -6*u - 3. Let c be d(-4). Suppose 33 = 5*w + 4*m, -3*w = -0*w + 3*m - c. Solve 0 = -t + v - b, -t + 2*t = 2*v - w for t.
-3
Let n = -29 - -32. Let c be (-2)/(-3)*n + 0. Let t = 29 + -12. Solve -4*u + t = -0*x + 3*x, c*u - 5*x - 15 = 0 for u.
5
Let u be (-3)/(-5) - (2116/(-115) + 15). Solve -u*n + 22 = -3*p + 5, 5*p + 21 = 3*n for p.
-3
Let b(p) = p**3 - 2*p**2 - 6*p + 5. Suppose 5*v = 9 + 11. Let u be b(v). Let s = 14 - u. Solve 11 = q - 5*x, q - 2*x + s = 6 for q.
1
Let i be 1/(-4 - (-28)/8). Let r = i + 3. Solve -q - r = 2*o + 11, 20 = -4*q - o for q.
-4
Let u(h) = -h**3 - 15*h**2 + h + 17. Let o be u(-15). Let f be 20*(6/27 + (-1)/(-36)). Solve -o*s - 4*c = -6, f*s - 4*c + c = -11 for s.
-1
Let o = 32 + -3. Suppose 0 = -b + 1101 - 1057. Let d = b - o. Solve -12 = -r - 3*i - i, -r - 5*i + d = 0 for r.
0
Suppose -3*p + 49*h + 14 = 45*h, -4*p + 52 = 3*h. Solve -2*d - 2*s - p + 16 = 0, 0 = d - s + 5 for d.
-1
Let f(z) = 7*z**2 + 57*z**3 - 7*z + 0*z - 6 - 58*z**3. Let n be f(5). Solve n = 5*s + 29, 23 = -3*q - 2*s for q.
-5
Suppose -5*w - 2 = -2*i, -10*i = -15*i + w + 5. Solve -2*r = -4*r + 4*s, 0 = s - i for r.
2
Let j = 6 + -1. Suppose -u + 5 = 1516*m - 1521*m, -5*u + 25 = -5*m. Solve -g - a - 6 = 0, m = j*g - g + 5*a + 26 for g.
-4
Suppose -3*q - 3*o + 0 = -141, -3*q + 5*o + 117 = 0. Let x = q + -42. Solve 2*g - x = -4*l + 2, 4*l - 6 = -g for g.
-2
Suppose -32 = 7*y - 12*y + 3*o, 4*y - 20 = o. Solve -4*x - 5*b = -19, y*x - 3*b = -4 - 1 for x.
1
Let r = -11 - -31. Suppose -m + 2*d + 4 = 0, -7 = -2*m + m + 5*d. Solve 0 = -5*b + j + 13, 4*b + 3*j - r + m = 0 for b.
3
Let m = -65 + 70. Let y = 3 + -1. Solve -m*o - 6 = 4*i, 2*o - i + 3 = -y*i for o.
-2
Suppose -2*f - 5*o + 6 = 0, -2*f - 120 + 126 = -5*o. Solve 0 = -3*a + 3*u - 2*u - 2, -f*u = -6 for a.
0
Let z(q) = q**2 + 20*q + 10. Let n be z(-20). Solve 0 = -4*j + 3*h + 13, -2*j = 2*h - 0*h - n for j.
4
Suppose -16 = -4*x + 5*z - 9*z, 5*x - 30 = 5*z. Solve 0 = 5*c + q - 3*q - 14, c + x*q + 8 = 0 for c.
2
Let w be ((-15)/(-40))/(5/40). Solve -w*y + 4*j + j = -30, -3*y = -j - 18 for y.
5
Let r = -99 - -101. Solve 3*y = -r*i + 2, -i = -y - 2 + 1 for i.
1
Let h = -32 - -22. Suppose 5*o = -2*y - 42, 2*y + 2*y = o + 26. Let s = h - o. Solve 5 = -u + f, s*f - 13 = 3*u - 2*f for u.
-3
Let n = -8 - -12. Suppose 4*b - n*a - 84 = 0, -b + 0*a + 4*a + 30 = 0. Let r be 22/99 - (-32)/b. Solve 5*p = 3*k + 23, -p + 10 = 2*p + r*k for p.
4
Let g(w) = 4 + 3*w**2 + 2*w**2 + 11*w - 6*w**2 + 11. Let d(o) = -o**3 - 3*o**2 - 4. Let p be d(-4). Let h be g(p). Solve -h*m = m + n + 9, 3 = -2*m - n for m.
-3
Let q(o) = 13*o - 4. Let u be q(2). Suppose -3*n = -3*a - 6, n - 4*a + u = 3*n. Solve -15 = -0*k - n*k, 2*k = 3*i + 18 for i.
-4
Let w be 9 - (-5*2)/(-5). Let f be 2/(-4) + (-21)/(-14). Suppose -2*h = -w + f. Solve 4*o + 5*a = 13 + 9, 0 = 2*o - h*a for o.
3
Let w(u) = -11 - 5*u**2 + 9*u**3 + 2*u**2 - 4*u**3 + 12. Let d be w(1). Let n be ((-1)/(-3))/(1/9). Solve -2*p + 3*x - 3 = p, 0 = d*p + n*x - 3 for p.
0
Suppose 3*p + 11 = 3*h + 2, 0 = 5*h + 2*p - 22. Solve -2*i = h*n + 8, 4*n = -i + 6*i + 20 for n.
0
Let b = -1059 - -1059. Solve -3*f = -5*p - 11, 5*p - 2*f - 2*f + 8 = b for p.
-4
Let b be ((-33)/15)/((24/(-30))/4). Solve 3*s - 23 = 4*u, -2*u = -s + u + b for s.
5
Let u be (1*6/(-5))/(24/(-60)). Solve 3*k = 5*t - u*t + 19, 9 = 3*k for t.
-5
Let z be 34/(-17) + 2/1. Solve z = 5*j - 5, c = -4*c - 2*j + 2 for c.
0
Let v be (-2)/(-4)*-2 - (2 + -10). Suppose m + 6 = v*m. Solve 3*z = -4*s - m + 3, -4*z + 4*s + 12 = 0 for z.
2
Let g(s) = -s + 14. Let y be g(-9). Suppose m - 3*t - y = -6, 0 = 3*m + t - 1. Solve -6 = -2*d - 3*n, -m*d - 2*n + 4*n + 6 = 0 for d.
3
Let g be -1*(1 - (-3 - -9)). Solve g*a - 22 = -u, u - a = -2*a + 2 for u.
-3
Let o(s) = s**3 - 15*s**2 + 12*s + 9. Let c be o(14). Let a = 42 + c. Solve -2*u = -m - 11, -4*m - 5*u - 2 + a = 0 for m.
-1
Let d be (-9)/15 - (-36)/10. Let g(r) = -4*r**2 - 4*r**2 - r**3 + d + 4*r**2. Let c be g(-4). Solve 3*z = -c*x, 4*x - 6*x - 15 = -z for x.
-5
Let j(x) = -x + 4. Let k be j(-5). Suppose -b - k = -2*b. Let y be 48/b - (-2)/(-6). Solve 0 = y*s - 10, -s = -0*o + 3*o + 4 for o.
-2
Suppose -v - d + 2*d = -3, 2*v + 6 = 5*d. Solve -17 = 4*k + o, -o - v = -k - 5*o for k.
-5
Let s(u) = 5*u + 40. Let n be s(-4). Solve 5*q = -x - 4*x - n, x - 4 = q for x.
0
Suppose 0 = 5*u - 15, 16*y = 11*y + u + 22. Solve 2*q = -y*k - 16, k + 0*k + 17 = -5*q for q.
-3
Let p = 89 - 85. Suppose -11 = n - m - 4*m, -p*n + 3*m + 7 = 0. Solve 0 = 5*r - 2*w, r + 23 = n*w + w for r.
2
Let u(t) = t**2 - 7*t + 14. Let s be u(3). Suppose 5*z - 1 = -s*r, -5 = -2*r - z - 0*z. Solve -4*o - 1 = r*m + 11, o + 8 = -2*m for o.
0
Let p be (9/6)/(2/4). Suppose -i + 3*r = -4 - 4, -5*r + 60 = 2*i. Solve 5*u - 5*g = 