
3
Let g(v) = -v**2 - 5. Let j be g(0). Let b = 0 - j. Let d = -2 + b. Solve 1 = -5*i + p - 3, d*i = -p + 4 for i.
0
Let l = 28 + -11. Suppose 3*b + 15 = 7*b - y, b + 3*y = -6. Solve -b*t = t + 5*r + l, -1 = t - 2*r for t.
-3
Let u be (-27)/(-12) - 12/32*-2. Solve -5*i = 4*s + 22, u*s - 3*i + 1 = i for s.
-3
Suppose 0 = 247*a - 254*a. Solve 3*g = 2*p - 1, -4*g - 2*p + 6 + 2 = a for g.
1
Suppose 490 = 82*w - 33*w. Solve 0 = -4*a - 5*s - 23, 2*a + 0*s = -2*s - w for a.
-2
Let c be 320/(-6) + (-2)/3. Let v = 62 + c. Solve 4*l + 0*b = 2*b + 24, -3*l - 5*b - v = 0 for l.
4
Let c = 2516 + -2516. Solve -g = -5*y - c*g + 26, 12 = 2*y - 2*g for y.
5
Let p = 603 + -597. Solve 5*t - 2*m + p = 0, 3*t = 2*m - 4 - 2 for t.
0
Let i(r) = r + 7. Let a be i(-5). Let j(s) = 3*s**2 + 7 + 16*s - 35*s + 21*s. Let f be j(-2). Solve g - f = -a*d, -4*g + 10 = -d - d for d.
5
Let o be 2/(0 - (-6)/12). Solve o*a + 22 = -2*k, 4*a = -4*k - 6 - 22 for a.
-4
Suppose -538*f = -545*f + 21. Solve 3*b - 2*p = 10, -f*b + 0*p + 4*p = -20 for b.
0
Suppose 4*w = 2*q, -w - 2*w = q. Solve i + 7 - 2 = q, -3 = 2*h - i for h.
-4
Let d = -56 + 57. Let b be (5/(-3))/(d/(-6)). Solve 3*k = 1 + 2, -2*k - b = 3*o for o.
-4
Let k = -9 - -11. Let s = -4 + 5. Let h(i) = i**3 + 2*i**2 - i. Let a be h(s). Solve -5*j - 3*v = -35, j - k*j + a*v = 6 for j.
4
Suppose -2*h = -2*b - 0*b + 20, 2*h = 8. Solve -5*p + b = 2*u, -4*p + 3*p = u - 1 for u.
-3
Let w = -32 + 36. Let r(o) = o**3 + 14*o**2 + 8*o - 7. Let m be r(-13). Let j be m/4 + (-18)/(-12). Solve -d - w = h, -d = h + 3*d + j for h.
0
Let s(z) be the third derivative of z**6/120 + z**5/20 - z**4/24 - z**3/6 - 12*z**2. Let x be s(1). Solve 5 = -5*k - c, 2*k - 4*c = c - x for k.
-1
Let p(v) be the first derivative of 3*v**2/2 - 7*v - 11. Let d be p(4). Solve -5*x = -4*g + 8*g + 3, -3*x = -g - d for x.
1
Let h be 219/15 + (-4)/(-10). Let y = 19 - h. Suppose -2*m = 4*n - 24, -y*n = -4*m - m - 10. Solve w - n = 2*l, -2*w + 0 = l - 10 for w.
5
Let r(p) = -p**2 - 17*p - 54. Let h be r(-12). Suppose 4*v - 3*l = 54, l = -h*v + v + 77. Solve 3*x + v = 5*i, -i = x - 6*x - 3 for x.
0
Let c = 66 + -61. Solve c*b = -2*j - 8, 2*j + 7 = -3*b + 3 for j.
1
Let z be 0 - ((-72)/8 - -1). Let l = 1 + -4. Let v be 1 + 1 + l + 1. Solve 0 = 2*y - 2*t - 8, v*t = -2*t - z for y.
0
Let h = -875 - -879. Solve h*r + 4*z = -12, 0 = r + 7*z - 3*z + 9 for r.
-1
Suppose p + 0*p - 4*o = 17, 138 = 4*p - 2*o. Solve 4*r = 5*i + p, 3*r + 9 = -5*i - 7 for r.
3
Let k be -1 + 1/(-2)*-26. Let b = k + -5. Suppose 4*l = 73*h - 69*h + 32, l + 5*h = -22. Solve n = -5*c - b, l*n - n + 3*c + 7 = 0 for n.
-2
Suppose 2*x = 3 + 3, 3*v = 3*x + 6. Suppose -v*p - p - 36 = 0. Let h(t) = -t**3 - 6*t**2 - t - 2. Let u be h(p). Solve -u*q - 6 = 3*j, 0*q - 2*q = j + 4 for j.
2
Let w be 2/6 + 2/(-6). Let s = 4546 + -4540. Solve i + 4*x + 15 = 0, w*x = i - 3*x - s for i.
-3
Suppose -10 = 4*f - 6*f. Let u = -8 + 14. Suppose 13*n - 4*n - 27 = 0. Solve 0 = 4*r + i + 14, i = -f*r + n*r - u for r.
-4
Let o be -2 - (-9)/3 - (-7 - -1). Solve 0 = p + 5*n + 27, -o*n - 16 = -2*p - 3*n for p.
-2
Let k be (-8)/(-1) - (-8)/(-2). Solve 2*l = -0*l - 4, -k*l - 6 = f for f.
2
Let v = 6 + -28. Let z = v - -25. Solve z = -k, k = 4*q - 5 - 14 for q.
4
Let c(o) = -26*o - 10. Let s be c(-6). Let q = -141 + s. Solve 2*f - 23 = -2*f - q*k, -5*f + 22 = 4*k for f.
2
Let t(l) = 2*l**2 + 31*l - 13. Let n be t(-16). Suppose -n*m = 19 - 37. Solve 4*v - 5*u + 0 = 11, -u = 3*v + m for v.
-1
Suppose 26 = 2*y - 4*n, 5*y + 5*n - 22 - 43 = 0. Solve d - y = g + 4*d, g - 2*d - 7 = 0 for g.
-1
Let k(r) be the second derivative of r**3/3 + 6*r. Let c be k(-1). Let l be (-2 - -3)/(c/(-20)). Solve -2*g - 8 = -4*a + l, 2*g = -3*a - 4 for g.
-5
Let p = -14 - -18. Let s be p/8*2*-2. Let g be s/(-1) - -1*2. Solve -g*b + 16 = 3*t - 8*b, 4*t + 12 = -3*b for t.
0
Suppose 4*l = 5*j + 26, -16*l + 26 = -11*l - 3*j. Solve 0 = l*h - 2*h - z + 11, 0 = 2*h - 3*z + 21 for h.
-3
Suppose 2 = -2*n + 4. Suppose -4*z - 1 = -g + n, 0 = 4*g - 5*z - 30. Suppose -2*t + g = 2. Solve -t*f - 16 = -4*u, -2*u + 5*u - f - 6 = 0 for u.
1
Suppose -4*y + 5*c + 17 = 0, -4*y + 4*c = -7*y + 36. Solve k = -y*s + 3*s + 7, 5*s = k + 13 for s.
2
Suppose r + r = -2*k - 10, 5*r - 2*k - 10 = 0. Let o be 25 + 2 + r - (-12 + 13). Solve -m = -4*m + 5*a, o = 4*m + 2*a for m.
5
Suppose -4*a + 18 = -3*a + 2*z, 0 = 2*a - 5*z - 45. Suppose -3*v = -8*v + a. Suppose v*m - 13 = -1. Solve -5*t = -p + 24, -2*t = m*p - 0*t + 13 for p.
-1
Let v = 34 - 24. Suppose 0 = 5*x - v - 15. Suppose 5 = 2*z - x. Solve -t + j + z = 0, -2*t - 5*j = t - 7 for t.
4
Suppose 5*y - 57 - 43 = 0. Solve -5*j - 25 = -2*r + 4*r, -5*r + 4*j + y = 0 for r.
0
Let l(b) = 9*b**3 + 2*b**2 + 2. Let k(c) = c**3 + 1. Let m(x) = 3*k(x) - l(x). Let f be m(-1). Solve -f*t - 3 = h, 0 = -3*t - 0*t - h - 3 for t.
0
Suppose 0 = 5*d + 10, -3*h + d = -7*h - 26. Let r be (21/(-14))/(6/16). Let j be 1 + 3*r/h. Solve -2*i = 0, j*w - 5*i + 0 + 9 = 0 for w.
-3
Let p be (-2 + (-124)/(-12))*3. Let i = p - 22. Suppose 4*h - 44 - 11 = -m, -5*m = -h + 40. Solve -3*w - i = -3*y, -4*y - 21 - h = 4*w for w.
-5
Let m(t) = t**2 + 2*t - 3. Let a be m(-3). Let d = 1 - -1. Solve -2*y = -a*y + d*p - 10, -p = 3*y - 7 for y.
1
Let x(o) = -3 - 5*o + 5*o**2 - o**3 + 0 - 2*o + 5*o. Let y be x(4). Solve 0 = 2*t + 4*l - 30, -l = -2*t + 2*l - y for t.
5
Let b = 7 - 5. Suppose 19 = b*y - 9. Let o = y + -14. Solve o = j + n - 2, -3*j + n = -6*j + 8 for j.
3
Suppose -6*m + 28 = 10. Solve -m*q + 23 = -5*h, 3*q + 3*h + 0*h = -9 for q.
1
Let g(n) = -n**2 - 5*n - 4. Let r be g(-4). Let s(p) = p**2 - 11*p + 2. Let h be s(12). Let k = h - 12. Solve -k*q = 4*x + 4, 4*x + 3*q + 4 = -r*q for x.
-1
Suppose -10 = -x - 4*x. Suppose -j = -x*j. Let t be 5 + 2 + -5 - j. Solve t*i = -2*o - 3 - 7, -3*i = -3*o + 9 for o.
-1
Suppose 7*o - 109 = 31. Solve 5*p + 20 = -5*d, o = d - 0*d - 5*p for d.
0
Suppose -322 + 52 = -90*y. Solve -q + 1 = y*r + 2, 2*q + 2*r = 6 for q.
5
Suppose -11*l + 540 = -8*l. Suppose 4*a = 14*a - l. Solve 7*d - 5*d = 2*m - a, -5*m - 2*d = -17 for m.
5
Let a(o) = 2*o**2 + 2*o - 12. Let p be a(5). Suppose -5*u + p = -u. Let m be 8/(-3)*(-18)/u. Solve -m*f + 35 - 8 = -3*r, -5*f - 2*r = -5 for f.
3
Let x be ((-4)/(-16))/((-3)/(-12)). Let z be 1*-4*(3 + x). Let m = z + 21. Solve 2*y - 6*y - 4*k = 40, 3*y + m*k + 40 = 0 for y.
-5
Suppose 0 = -u + 3*g, 5*u = 7*g - 4*g. Solve -p + 4*y - 6 = 0, u = 4*p - 5*y + 4*y + 9 for p.
-2
Let p(w) = w**3 + 8*w**2 + 3. Let k be ((-4)/(-5))/((-1)/10). Let j be p(k). Suppose 5*r = j*r. Solve r = -2*l + 2*f + 2, 6 = -4*f - 14 for l.
-4
Let r(p) = 120 - 138 + 5*p**2 - 7*p + 18*p. Let y be r(2). Let h be 8/3 - (-2)/6. Solve h*n - d - 11 = 0, 0 = 4*n + n + 4*d - y for n.
4
Let j(p) = -2*p**2 - 47*p + 78. Let i be j(-25). Solve -2*n + 6*n + i*o = 12, -o = -2*n - 4 for n.
0
Let d be (-4)/(-4)*3 - 22. Let i = d - -36. Suppose 16*a + 1 = i*a. Solve -n = x - 4 - 1, -3*n = -4*x - a for x.
2
Suppose -13 + 29 = 4*s. Suppose -4 = -2*l + 2*n, 7*l + 2*n - 16 = s*l. Let c be (-2)/l + (-90)/(-12). Solve -b = 4, 5*v - 6 - c = 2*b for v.
1
Let v = -19 - -18. Let a(s) = -3*s. Let z be a(v). Suppose 7 = 2*f - z. Solve 0 = -2*n - 10, f*m + n = 4*n - 10 for m.
-5
Let a(u) = u**2 + 6*u - 4. Let i be a(-7). Suppose 9*d - 4*d = i*z, 0 = -4*d - 2*z + 22. Solve k = -j - j, d*j + 2*k = 0 for j.
0
Let h be 217/77 + -3 - 35/(-11). Solve h*u + 2*s - 2 = 0, 4*s = 4*u - 0*s + 24 for u.
-2
Suppose l - 4*k = 42, -8*k = -3*l - 4*k + 86. Suppose 0 = -3*f + l + 20. Solve 4*h + f = -2*p, 3*p - 4*h = 7*p + 12 for p.
1
Suppose h + 4*h - 15 = -5*m, 9 = m - 2*h. Solve -2*r - 4 = -d, -13 - 6 = 3*r + m*d for r.
-3
Let q = 14 + -9. Let z(g) = -4*g - 11. Let w be z(-4). Suppose q*b = -w + 15. Solve 6*p = p - 5*x + 25, -5*p = b*x - 19 for p.
3
Suppose -2*w = -3*o + 11, o - 11 = -18*w + 15*w. Solve -g - 3*y = 11, 3*y = o*g + 6*y + 7 for g.
1
Let y = 58 - 49. Solve -3 = -4*p + 2*t - y, 4*p - t = -3 for p.
0
Let o be (4 + 17)*(-2)/(-6). Solve -3*b + o = -i, -4*b + 5*b - 4*i = -16 for b.
4
Let b be (56/(-140))/((-4)/40). Solve 0 = -3*w + 2*i - 1, -b*i - 6 = 3*w - 17 for w.
1
Let f(i) = 10*i + 4. Let k be f(0). Solve 5*r + 2*o = 6*o + 21, 0 = -k*r - 2*o - 4 for r.
1
Suppose z = -3*z - 3*c + 