= -p*y + 4*t - 10, 4*y + 6 = t for y.
-1
Let u(z) = -z**2 + 14*z - 34. Let m be u(9). Let j(s) = s - 1. Let f be j(3). Solve -m = -f*v + 3*w, v - 10 = 4*w + 3 for v.
1
Suppose -2 = -4*u + 2. Let f be -2 - (u + -5 + 2). Solve m - 4*m + 3*x + 9 = f, -4*m - 4*x + 20 = 0 for m.
4
Suppose 18*b - 145 = -19. Solve 2*o - 5*k + 5 = b*o, -o - 11 = 4*k for o.
5
Let k = -9 - -12. Suppose y = f + k*f - 10, 3*y + 17 = -f. Let b be (y/5)/((-8)/20). Solve -9 = 3*g + b*w, -3*g - g = -3*w - 2 for g.
-1
Let g = 31 + 35. Let c = g - 66. Solve 0 = 4*j - 16, -4*j + c*j + 25 = -3*k for k.
-3
Let t = -57 - -57. Solve 5 + 0 = d, 3*f - d - 10 = t for f.
5
Suppose 178 = -4*k + 5*m - 215, m = -k - 87. Let r be 4/(-6)*(7 + k/8). Solve 4*o - 4 = 0, r*y = 2*y + o - 1 for y.
0
Suppose -5*c + 6*c - 5 = 0. Suppose 3*g - 39 = -2*b + 4*g, 4*b + c*g - 43 = 0. Solve l + 0*f + 5*f = -23, -l + 5*f = -b for l.
-3
Suppose -2*b + 5*o = 46 - 27, -3*b + 4*o - 11 = 0. Solve 0 = t - 2*j + 6, 9 = 2*t + b*j - 0 for t.
0
Let w(v) = -v - 22. Let u be w(-14). Let o(q) = q + 13. Let y be o(u). Solve l + 2*t - 7*t = -y, 0 = l + 3*t - 11 for l.
5
Let o = -1580 - -1583. Solve -3*i - 4 + 23 = -4*l, -o*l + 2*i - 13 = 0 for l.
-1
Suppose 12*u - 11*u = p + 4, 5*u = 4*p + 18. Solve 0 = u*s + 2*w - 2, -2*s + 4*w - 8 = -5*s for s.
-4
Let h(p) be the first derivative of -p**2/2 + 10*p + 5. Let x be h(0). Suppose 2 - x = -4*f. Solve a + 4*a + 19 = f*w, 3*a = 2*w - 9 for a.
-5
Let c(m) = m**2 + 3. Let t be c(0). Let q = 29 - 29. Solve -3*z = -t*o, -4*o = -q*z - z - 15 for o.
5
Let o(q) = 3*q**2 - 73*q + 47. Let d be o(24). Solve -5*i = -3*m + d, -4*m + 3*i = -0*m - 16 for m.
1
Suppose -12*n + 4*n + 24 = 0. Let t be 408/(-9) - (-1)/n. Let c be t/105 - 62/(-14). Solve c*j + 7 - 52 = 5*o, 0 = 5*j + 3*o - 10 for j.
5
Let n(g) be the first derivative of g**5/20 - 2*g**2 - 3. Let j(t) be the second derivative of n(t). Let v be j(1). Solve -v*b - 3 = -2*s, 2*b + 0 = 2 for s.
3
Let u be ((-245)/14 - -13)*16/(-18). Solve -5*g - 3*p = -4*p + u, -3*g - 3*p = -12 for g.
0
Suppose -35 = -5*k + 5*h, 31*h = 3*k + 32*h - 1. Solve 10 = k*f + 3*j - 3, 0 = -3*f - 3*j + 18 for f.
5
Let d(s) = -s - 4. Let b be d(-9). Suppose -29*c - 60 = -23*c. Let w be (-34)/c + (-4)/10 + -1. Solve 0 = w*x + q - 2, 3*x + 0*x - b = -2*q for x.
-1
Let j(z) = 4*z - 1. Suppose 2 = r + r + 4*q, r - 2 = -q. Let p be j(r). Let d = 15 - p. Solve -i - 3*f - f = 8, -8 = d*f for i.
0
Let r = 514 + -511. Solve -r*a = -4*g - 0*g + 25, 4 = 4*a + 4*g for a.
-3
Suppose 2*u = 3*u - 6*u. Let v(m) = m**3 + 3*m**2 + 2*m + 4. Let l be v(u). Solve 2*i + l*w = 5*w - 9, -24 = 5*i - w for i.
-5
Let v(l) = l**2 + 7*l + 7. Let b be v(-6). Let n be (b + -2)*(0 - 0). Solve 2*j - 2 = -2*g - n*g, 23 = -4*g + 5*j for g.
-2
Suppose 2 + 2 = -a + 3*o, 2*a = 5*o - 6. Suppose -26 = -a*t + t. Let j = -20 + t. Solve 0*c - 3*c - 1 = 4*r, -j = -3*c + 3*r for c.
1
Suppose 6 + 4 = -i - 2*g, -22 = i - 4*g. Let k = i + 40. Solve 5*d - p - k = 0, -d - 3*d + 25 = -5*p for d.
5
Let a(t) = 5*t**2 - 6*t - 2. Let m be a(2). Suppose m*y - 3*y - 15 = 0. Solve -4*d = -4*r + 20, y*r - 18 = -4*d + 2*d for r.
4
Let o(v) = -15*v**3 + v**2 + 0*v**2 + 14*v**3. Let s be o(-1). Solve -3*w = -s*f + 11, 3*f + 0*f - 2*w - 4 = 0 for f.
-2
Let g(d) be the third derivative of -5/24*d**4 - 1/2*d**3 + 0 + 0*d + 4*d**2. Let w be g(-3). Solve 4*a - 3*p = -w, a = p - 3 - 0 for a.
-3
Let r(h) = -12*h**2 - 2*h - 1. Let s be r(-1). Let t = s + 16. Solve -2*a - 4 + 19 = t*x, 5*x - 5 = 0 for a.
5
Suppose -29*v + 12 = -33*v. Let j be (-1)/((-25)/15 + (-2)/v). Solve 2*r + 5*u = -0*u + 11, 0 = 2*r - 5*u - j for r.
3
Let g be 4*(9 + (2 - 3)). Let j = g + -29. Solve 0 = -2*s - 2*s - 2*h - 2, j*s = -3*h - 3 for s.
0
Let m(f) = 2*f**2 - f. Let n = 12 + -13. Let i be m(n). Suppose 0 = d + i*d - 36. Solve -3*y - 2*x = -d, x = -3*y + 7*y - 1 for y.
1
Let m(v) = -v**2 - 15*v - 6. Let g be (-4 + (-145)/(-20))*(-3 - 1). Let w be m(g). Solve -3*s = 2*s - 3*i - 16, 5*s - w = 5*i for s.
2
Let l(s) = -2*s + 9. Let i be l(-20). Suppose 3*z = i - 25. Solve -5*j + 2*j + z = f, f - 5*j = -16 for f.
-1
Let w be ((-20)/14)/((-10)/35). Solve -28 = 3*r - 0*y - 4*y, w*y - 20 = 0 for r.
-4
Suppose 0*o - 48 = -4*o + 5*q, 2*o - q - 18 = 0. Suppose 14 + 0 = 7*u. Suppose u*d = d + 10. Solve d = 4*b - 2*m, 5*b - m - o = 7 for b.
3
Suppose -4*y - 20 = -0, -r - 2*y + 12 = 0. Suppose 25*a - r*a = 12. Solve a*t + 0*m = -m - 13, 3*t - 3 = -5*m for t.
-4
Let p be -6*(-5)/10 + -1. Suppose -p*s - 14 = -4*q, -3*q + 5 + 9 = 2*s. Solve 0 = -2*x - q*v, v = -x - 3*v - 4 for x.
4
Suppose -10*s + 125 = 105. Solve -s*a + 5*x = -19, -2*a - 5*x - 31 = -0*x for a.
-3
Let c be ((-12)/9)/((-1)/3). Suppose 6*j = 4*j + 8. Let a = -4 + 9. Solve 12 = -c*l - j*o, 0*o + 9 = -a*l - 2*o for l.
-1
Let j be 2 - 1 - (-23 - 1). Suppose -5*h - j = q + 17, 0 = -3*h + 2*q - 20. Let w be (10 - 6)*(-6)/h. Solve -2*k - w*k + 4*p = 1, 4*k + 1 = 3*p for k.
-1
Let c(h) = 3*h + 103. Let r be c(-30). Let y = 13 - r. Solve s + 4*n - 15 = y, 3*s = -s - 2*n + 4 for s.
-1
Let t(m) = -m**2 + 22*m + 48. Let k be t(24). Suppose k = -l + 3*l - 6. Solve x = -b + l, 3*b - 4*x + 8 = -4 for b.
0
Suppose 3*b - 15 = -6. Suppose 6*s + 366 = -180. Let u = 98 + s. Solve k = b*t + 10, 0 = -5*k - 4*t - u - 0 for k.
1
Let i be 31 + (4 - 1) - -2. Suppose -i*k = -41*k + 15. Suppose 3 + 17 = 4*v. Solve 3*c + k*o + 18 = -2*o, -19 = 4*c + v*o for c.
-1
Let x be 38/(-8)*-4 + 8 + -7. Solve 0 = -4*p - 4*o + x, -3*p = p - 4*o - 12 for p.
4
Let t(s) = 4 + 28*s + 0 - 29*s. Let w be t(0). Solve -2 + 14 = -4*l, 0 = w*p - l + 1 for p.
-1
Suppose 2*l = -4 - 2. Let a(p) = -p**3 - p**2 + 2*p + 4. Let j be a(l). Solve 0 = -o + 6*d - 2*d - j, 3*o - 16 = -4*d for o.
0
Let g = 949 + -949. Solve g = q + 3*d + 12, -q + 3*d - 2*d + 4 = 0 for q.
0
Let t(l) = l**3 - 2*l**2 - 6*l - 5. Let x(g) = -g**2 - 3*g + 8. Let y be x(-4). Let q be t(y). Solve 28 = 5*s - 3*j, q*s - 6 = -3*j + 6 for s.
5
Let i(j) = -j**2 - 43*j + 46. Let g be i(-44). Solve -a + 5 = -0*a, -g*x - 2*a = -14 for x.
2
Suppose -4*a + 0*x + 3*x = 24, 5*a + 41 = x. Let n = -7 - a. Solve s = -5*q + 16, -4*s - 8 = -2*q - n*q for q.
3
Suppose -5*w = 4*z - 12, 0 = 5*w - 3*z - 2*z - 30. Suppose -w*g - g = 0. Solve g = a + 5*o - 14, 0 = -a - 0*o + 3*o - 2 for a.
4
Let x = -72 + 130. Let d = x + -51. Let c = -3 + 5. Solve -c*v + 3*v = -4*f - 17, 4*f - v + d = 0 for f.
-3
Suppose 0*x + 3*j + 11 = x, -3*j - 33 = -3*x. Let r = 13 + x. Suppose 0*z - 3 = z - 2*v, 4*z = -4*v + r. Solve z*a + 4 - 10 = -u, u + 6 = a for u.
-3
Let u(k) be the second derivative of -k**3/3 + 13*k**2 + 2*k. Let t = -548 - -559. Let x be u(t). Solve -x*s = -y - 15, 3*s - 16 = -y - 3*y for s.
4
Suppose 0 = 4*k + 22*k - 104. Solve -k = 5*i - l - 2, 0 = i + 5*l + 16 for i.
-1
Suppose -212 = -4*z + 2*z. Suppose 6*y - 14 = z. Solve 5*i + 25 = m, -4*m + 3*i = -i - y for m.
0
Let g = -97 - -57. Let p = g + 44. Solve -i + p*w + 3 = -4, 4*i + 8 = 4*w for i.
-5
Suppose 55*x = 51*x - 4*n + 28, 0 = x + 5*n - 23. Solve -3*p + 4*o - 5 = 0, -x*p = -2*p + o - 3 for p.
1
Let b = -2 + 0. Let o(x) = -x - 1. Let g be o(b). Solve -5*n + 20 = -2*l - 3, l + g = -n for l.
-4
Let o = 31 - 25. Let h = o + -5. Solve -2 = -s + l + 5, -l + h = s for s.
4
Let l = 30 - 30. Solve 2*p + y + 2*y - 4 = l, -5*p - 8 = 3*y for p.
-4
Let c(z) = -z**2 - 3*z + 14. Let a be c(-5). Solve 2*m + 5*v = a*m + 13, 6 = 3*m + v for m.
1
Let o be (-4)/(-10) - (-128)/5. Let d = o + -26. Solve 2*u + 5*h = d, 10 + 2 = 4*u + 4*h for u.
5
Let q(n) be the second derivative of -n**3/6 + 8*n**2 + 11*n. Let o be q(16). Suppose 18*s - 15*s - 9 = o. Solve 2*b - s = -2*k + 3*b, 3*k - b - 3 = 0 for k.
0
Let f be 1/(-6)*-3 + (-243)/(-54). Suppose 0*a + 4*a + 12 = 0. Let x = a - -8. Solve x*j = 2*t - f, 4*t - 21 = 4*j - t for j.
1
Let l be (-12)/8*(-8)/6. Let n be (-20)/(-3)*306/68. Solve 3*v + l*p = -22, 5*v + p - 5 = -n for v.
-4
Let m be -26*(21/(-6))/7. Let z be 2/(-4)*-2 + m + -10. Solve 5*k = -5, a - 3*a = z*k + 12 for a.
-4
Let b be (1 - 2 - 1) + 64. Suppose -x + m + b = 2*m, -4*m + 134 = 2*x. Suppose 8*l = 5*l + x. Solve -3*n + 4*o = -0*n + l, -2*o = -5*n - 13 for n.
-1
Suppose x + 5 = 0, 69 = 5*o + 2*x - 61. Suppose 0 = -14*u + o + 28. Solve 3*b + 2*t = u, 0*b = -5*