q*j = 5*t, 0 = 3*j - 5*t + 10 + 25 for j.
-5
Suppose -f - 4 = -3*i, -2*i - 2 = -0*f - 3*f. Solve y - 2*y = -i*l - 7, -5*y = -5 for l.
-3
Let q be (1 + 27)*(-15)/(-20). Solve 0 = v - 5*i + q, -2*v - 3*i + 2*i + 2 = 0 for v.
-1
Suppose -4*c + 3*i + 128 = 0, 3*c + 0*i = -i + 96. Solve p - 5*d - 24 = 0, 5*d + c = 5*p + 2*d for p.
4
Suppose -37*n + 34*n + 6 = 0. Solve 3*p = o + 7, 3*o + n*p + 1 = -2*o for o.
-1
Suppose -c - 2*c = -18. Suppose -c*x = -x. Suppose -3*s - 2*s = -85. Solve x = -5*y + 20, -j + 0*j = -3*y + s for j.
-5
Let i(y) = -y + 11. Let w be i(9). Suppose -4*b = -5*h - 0*b + 185, 0 = 3*h - 2*b - 111. Let s = 62 - h. Solve 4*z + 4*f - f - s = 0, -2 = -2*z + w*f for z.
4
Let d(m) be the first derivative of -m**2/2 - 5*m - 2. Let o be d(-4). Let t be (0 + o)/(2/(-12)). Solve 5*a + 5*x - 15 = 0, -t - 3 = 5*a - x for a.
-1
Let y(a) = -a**2 - 4*a + 3. Let c be y(-4). Let x be 78*3/9*1. Solve -4*f - c*b + 24 = -f, -4*b + x = 2*f for f.
3
Suppose 0 = 8*v + 18 - 2. Let i(j) = -j**3 - j**2 + j + 6. Let w be i(0). Let q be v/((-15)/w + 2). Solve 0*r - q = -2*x - r, 3*x = -4*r + 11 for x.
1
Let o = -11 + 11. Suppose 0 = 3*j - 9. Suppose o*c - j = -c. Solve -c*z = 4*t + 22, 3*t + 6*z + 16 = 4*z for t.
-4
Suppose 36 - 6 = 5*u. Let b = -11 + 15. Solve -c - g + u = 0, 0*c - b*g + 6 = -2*c for c.
3
Let z(u) = -10*u**3 + 16*u**2 - 13. Let g(h) = 7*h**3 - 11*h**2 + 9. Let v(d) = 7*g(d) + 5*z(d). Let n be v(2). Solve -2*x - 8*t + 3*t = -7, 6 = n*t for x.
-4
Let r(p) = 6*p - 15. Let c be r(3). Solve 3*f + c = 3*b - 3, 2*b = 3*f + 6 for f.
-2
Let g = 76 - 51. Let i = 6 - 3. Suppose -3*q = 2*z - 0*z - 9, -i*q = -5*z + 12. Solve 4*c - 4*k = -c + g, 0 = z*c + 5*k + 22 for c.
1
Let d(z) = z**2 + 5*z**2 - 3*z - 8*z**2 + 2*z - 5*z**3. Let n be d(-1). Solve n*i - 6*m - 12 = -2*m, -3*i - 31 = 5*m for i.
-2
Let s = 10 + 4. Suppose -d + s = 12. Solve 5*k - 4*u - 7 = 0, 9 + d = 3*k + u for k.
3
Let x(z) = z**3 - 8*z**2 + 12*z. Let j be x(6). Solve 13 = p + 3*c, 5*p + 2*c + 2*c - 21 = j for p.
1
Let k(a) = a**2 + a - 4. Let g be 3/(-2)*(-4)/3. Let y be k(g). Solve 3*d + y*n + 4 = -1, n = 3*d + 20 for d.
-5
Let n(j) = -j**2 + 4*j + 21. Let f be n(7). Suppose -3*y + t + 17 = 0, -y + 19 = 2*y - 2*t. Solve -3*b + 5*m - 5 = f, y = 2*b + 4*m + m for b.
0
Let i be ((-1*5)/(-1))/1. Let s be (-3)/(-3 - (-1 - 1)). Let l be 2/s - (-4)/3. Solve -4*h = -9*k + 4*k - i, l*h - k = 1 for h.
0
Let m be (-1)/(2/6) + -1. Let o = 13 - 23. Let v be 6/m*o/5. Solve 5*w + c + 11 + 7 = 0, 0 = 5*w - v*c + 6 for w.
-3
Suppose -3*c = -3*w + 42, -4*w - c = -0*c - 36. Suppose -5*a + 3*s = -0*a - 50, 0 = -a - s + w. Solve 2*r = 2*n + a, 3*r + n - 4 = r for r.
3
Let d be (-1)/(-7) + (-91)/(-49). Solve -4*z - 14 = d*b, 0 = 2*z - 7*z + 4*b - 11 for z.
-3
Suppose -s - 6 = 14. Let c be (12/s)/((-3)/15). Solve -c = -x + 2*p, 3*x + 4*p - 18 = 1 for x.
5
Suppose -5*h = -2*a - 0*h + 32, 0 = 4*a - 2*h - 32. Suppose 3*v = a*v - 9. Suppose 0*i = v*i. Solve 4*s + i*s - 5 = -5*x, 5*s - 2*x + 2 = 0 for s.
0
Suppose -2*d = -5 - 1. Let l = d - 3. Suppose -2*f = -l*f. Solve -r - 3*r + 5*h + 5 = f, -3*r + 5*h = -10 for r.
-5
Let z = -20 + 28. Let t = z + -3. Solve -2*r - 2 = j - 3*j, 2*j + t*r = -26 for j.
-3
Let i be 22/4 + 5/(-10). Let t = i - 3. Let m be 2/(t*-1 + 3). Solve 0 = 4*n - 4, m*n = 2*v - 0*n - 8 for v.
5
Suppose 3*y + 3 = -3*s, y = -5*s + 3*y + 23. Suppose -s*b + 43 = -5*t, 3*t + t + 30 = 2*b. Solve 5*m - 5 = 10, -2*m = -5*u - b for u.
-1
Let b = 14 + -10. Suppose 0 = -4*p - h + 12 + 7, -3*p + 11 = b*h. Suppose 4*q = p*q - 4. Solve 5*t + 4 = t - 3*z, 0 = -q*t - 2*z for t.
2
Let d(s) = -s. Let b be d(2). Let r = b + 2. Suppose -3*a - 4*o = -39, o - 3 = -r*o. Solve 2*z = y + z + a, -3*z = y - 11 for y.
-4
Let r(s) = -s**2 + 16*s - 26. Let z be r(14). Solve w = -3*j - 3, -2*w = 2*w + z*j + 12 for w.
-3
Let j(z) = -z**3 + 7*z**2 + 10*z - 13. Let r be j(8). Solve b - 5*s = 9, -5*s - 21 = -b - r*b for b.
4
Suppose 5*c - c = 0. Suppose c = -h + 2 + 1. Let d be h - 1*(0 - 0). Solve 0 = -d*s - 12, 0*g + g - 4*s = 12 for g.
-4
Let a = -15 - -18. Solve -a*f = 5*o - 23, 0*o = 2*o + 5*f - 13 for o.
4
Let i(j) = 7*j + 2*j - j**2 - 8 + 0. Let y be ((-24)/9*6)/(-2). Let k be i(y). Solve 3*g + g - 2*r + 10 = k, 3*g - 25 = -5*r for g.
0
Let u(b) = 2*b + 1. Let m be u(1). Let x be ((-4)/6)/(m/(-18)). Suppose 16 = 3*f + 2*k, 4*f - x*k - k = 29. Solve -4*z - f = 5*d, -z + 0*z = -2*d - 5 for z.
1
Let d be 4 - (-3 + (-3 - -7)). Solve 2*x = -d*w - 3, -4*x + 0*w - 11 = w for x.
-3
Suppose -3*v + 4 = b, 2*v + 5*b - b + 14 = 0. Let n be 0 - 0*(-3 + 4). Let i be (-4)/8*(-2 - n). Solve v = 4*a - 3*r - 0, -a + i = -r for a.
0
Suppose -2*l = 4*g - 18, l + 3*g = -2*l + 21. Let d be ((-2)/(-3))/((-12)/(-90)). Solve 0 = l*s + y - 16, 0 = -s + d*y - 4 + 2 for s.
3
Suppose -x - 6 = -3*x. Suppose -2*k - x + 13 = 0. Solve z + 3*u + 3 = 0, 0 = -2*z - 3*z + k*u - 15 for z.
-3
Suppose -4*i = -2*o + 8, -2*o = o - 3*i - 6. Suppose 13 + 2 = 3*t. Solve 1 = g, o = 3*d - d - t*g + 7 for d.
-1
Suppose 3*p = p + 12. Suppose p = 2*w - m, -3*m = -w + m + 10. Solve w*n = o - 3*n - 16, -4*o + 3*n = -13 for o.
1
Let o(m) = m**2 + 7*m + 6. Let l be o(-7). Let s be 1 + 3/l*-2. Suppose 0*a - 10 = -5*a. Solve -2*w + 20 = -a*p, -3*p + 0 - 15 = s for w.
5
Let r(c) = -c**3 - c**2 - c. Let n be r(0). Suppose n = -2*g + 4*g + 20. Let j = -2 - g. Solve u + u - 5*k = -18, j = -u + 2*k for u.
-4
Suppose 4*l = o + 31, -3*o - 26 - 3 = -4*l. Suppose 4*r - l = -0*r. Solve -r*k + 4 = -2*g, -2*g + 2 - 6 = 5*k for g.
-2
Let x be (-1)/(6/(-14)) + 9/(-27). Solve 4*a = 4*q + 4, -3*a + 2*q + 2 = -x*a for a.
0
Let a = 7 - 2. Suppose -4*g = 8, -a*b + 29 - 2 = -g. Let u = 5 - b. Solve u = 5*i - 5, 2*i + 0 + 8 = 5*w for w.
2
Let o = -4 + 9. Let w be 100/30*(-9)/(-6). Solve l = -5*f - 21, -3*l - w*f - o = 2*l for l.
4
Let g = -6 - -16. Solve g*a - 17 = 5*a + 2*r, -5*a = r - 14 for a.
3
Suppose 0 = -53*f + 51*f. Suppose -4*q + 5 + 11 = 0. Solve 5*s + w = q*w - 16, f = -2*s - w - 13 for s.
-5
Let v(y) = y**2 - 4*y - 9. Let m be v(7). Suppose 4*t + m = 5*l, -l = -3*t + 5 - 3. Solve -2 = -i, -t*f = 3*i + 2 - 18 for f.
5
Let q be (-30)/(-20) + (-1)/2. Solve 2*x + 2*v = -q + 15, v - 3 = 0 for x.
4
Let x be 2/(4*-1) - 1022/(-28). Solve -3*v - x = -4*z + 2*v, 2*v + 16 = 2*z for z.
4
Let b = -1 - -4. Solve h + 5*s = 6*h - 15, -h + 3*s + b = 0 for h.
3
Let g(w) = -w**2 - 15*w - 4. Let f be g(-14). Suppose 2*s = -0*s + f. Solve m + 21 = 2*m - s*o, m + 3 = -o for m.
1
Suppose 5*m = -47 + 12. Let p = m + -1. Let i be -2*1*12/p. Solve u + 3 = -3*r - 2*u, 0 = -2*r - i*u - 5 for r.
2
Let v(m) = 3*m**2 + m + 1. Let l be v(-1). Suppose 5*a + 71 = -l*i, 4*a = i + 2*i + 62. Let g be 4/(-10) + i/(-5). Solve -2*o = 0, -8 = -2*d - 0*d - g*o for d.
4
Let u be 1*((-2)/(-1) + -1). Suppose -3*h + 3*b = -24, -3*b + 0 = 2*h - u. Suppose h = 3*d - 7. Solve 0 = 2*o + 2*s - d, -4*s + 15 = -3*o - 0*s for o.
-1
Suppose 4*b - 173 = 43. Let y = b + -34. Solve -3*k = 2*v - 3 - 5, -5*v = -y for k.
0
Suppose -3*x + 13 = -17. Solve 6*z - 3*b + 40 = z, x = -4*z - 2*b for z.
-5
Let l be (-2 - -3)/(1/(-5)). Let k = -5 - l. Let p be (-18)/(-2) - (0 - k). Solve 4*z = -3*u + 5, 5*z - u = z + p for z.
2
Suppose 0*q + 6 = 5*q + 3*y, 15 = q - 4*y. Suppose 4*j - 20 = 3*v, q*v - 10 = -3*j + j. Solve 21 = 5*m + a, 4*a = -3*m + 11 + j for m.
4
Let m(r) = -r**3 - 2*r**2 - r. Let v be m(-1). Solve v = -5*y + 3*h, -3*y = -3*h - 2*h for y.
0
Let h(s) = -s**3 + 3*s**2 + 6*s - 13. Let d be h(3). Solve -4*b = b - 5*l - d, -2*l - 3 = -3*b for b.
1
Suppose -20 = 4*y, y = c - 4 - 3. Let l(i) = -1 - c*i + 1 + 3*i + 1. Let p be l(5). Solve -o - 3*r = -8, 4*o - p*r = -r + 15 for o.
5
Let p = -6 + 0. Let u be (-3 + 3 - p) + -3. Solve -2*i = 3*s - 10, -2*i - 5*s + u = -15 for i.
-1
Let f(b) = b - 3. Suppose -3*h + 0*h = -12. Let k be f(h). Solve -3*z - 3*t + 9 = 0, -t + 0 = k for z.
4
Let b(q) = -q**2 + 9*q + 5. Let p be b(5). Solve -3*z + 40 = -5*y + z, -z + p = -5*y for y.
-4
Suppose -3*w = -0*k + 3*k, -4*w - 20 = -k. Solve 0 = 2*y + f - 12, -2*f - 25 = -5*y - k for y.
5
Let u = -3 - -5. Let b be u - ((2 - 1) + -2). Solve -5*c - b*i = 40, -4*c + 4*i + 10 = -2*c for c.
-5
Let s(j) = j**3 + 6*j**2 + 3. Suppose 0 = -5*y - h - 26, -h + 22 = -5*y 