Let g(j) = 3*q(j) + 4*z(j). Let f be g(-2). Solve f = 3*i - 1 - 2 for i.
1
Let y = -8 + 11. Suppose 1 = -2*s - y*r + 3, 2 = -r. Suppose l = -s*l. Solve 0*u + 2*u = l for u.
0
Let q(t) be the first derivative of -t**3/3 - 4*t**2 - 5*t + 44. Let l be q(-7). Solve -b - l*b = 12 for b.
-4
Suppose 4*r = 4 + 4. Solve 0*x = -r*x for x.
0
Let d(x) = -x + 5. Let q be d(5). Let o be 4 + (14/(-3) + 4)*(-108)/24. Solve q = -2*g + o*g for g.
0
Let r(z) = 3*z**2 - z - 2. Let d be r(-2). Suppose 0 = -4*y + 2*n - 6*n - 4, 2*y + 4*n + d = 0. Let u(c) = c + 2. Let i be u(0). Solve -i*j = -y*j - 8 for j.
-4
Suppose -l + 25 = 2*r + 2, -l - 1 = 0. Suppose 5*c - r = -2. Solve -2*g - c = -3*g for g.
2
Let p = 0 - -1. Suppose -p = -3*o + 5. Suppose -12 = -18*k + 15*k. Solve -k + 2 = o*u for u.
-1
Let g(z) = 2*z - 8. Let p be g(6). Let x be (p + -1)/(-1 - -2). Suppose -u - 5*m = 21, -5*u + 0 = m - 15. Solve -x*s = -u - 5 for s.
3
Let c(y) = -y + 5. Let g be c(5). Let b(i) = -82*i - 492. Let k be b(-6). Solve -d + g*d = k for d.
0
Let c(d) = d - 1. Let k be c(1). Suppose -4*j + 17 = -39. Let a be 2/j - 138/(-14). Solve k = b - 3*b - a for b.
-5
Let p be 319/55 + 2/10. Suppose 11 = 6*u - 7. Suppose -u*b = 2*v + p, 2*v = -v + 5*b + 29. Solve -n - 2*n = -v for n.
1
Let h be (27/(-3))/3 + 9. Suppose 2*x - h*x + 26 = -2*b, 10 = 2*x - 4*b. Let g be ((-2)/(-2))/(x/14). Solve g*z + 2 = -8 for z.
-5
Suppose 21*j - 40 = 254. Solve 13*a = 1 - j for a.
-1
Let a = 87 - 82. Let l(o) = o**2 - 12*o + 5. Let x be l(12). Solve 0 = -x*i + 10 + a for i.
3
Let v = -23 + 23. Solve -4*y + v*y = 4 for y.
-1
Let w(i) = 43*i + 57. Let q be w(-1). Solve -11*m + q - 69 = 0 for m.
-5
Let b = -187 - -188. Solve -b = 5*g - 16 for g.
3
Let t(w) be the third derivative of -w**4/8 - w**3/6 + 8*w**2. Let i(n) = -n**3 + 6*n**2 - 4*n - 6. Let u be i(5). Let s be t(u). Solve 2*q - s = 2 for q.
2
Let i(n) = n**2 + 11*n - 16. Let w be i(-13). Let b(p) = 2*p + 0*p - w + 6 - p**2 + 10*p. Let z be b(7). Solve 5*q = 6 - z for q.
-5
Suppose -4*b - 10 = n - 46, 0 = -5*b + 5. Solve -36*q = -n*q for q.
0
Let l = -1 - 4. Let y = l + 7. Solve -y*p + 3*p = 0 for p.
0
Let j be ((-3 - -6) + 9)/2. Let b be 17/j - 1/(-6). Suppose 35 = 3*y - 2*a, 5*a + 38 = 5*y - b*y. Solve 0*f - y = -3*f for f.
3
Suppose -7*z + 9*z = 840. Let u be (8/10)/(24/z). Solve u = -5*s + 29 for s.
3
Let b = 68 - 64. Suppose -4*v + 0*v = b*v. Solve 4*d - 3 - 1 = v for d.
1
Let m be (4/(2 - -2))/((-4)/(-8)). Let x be (0/(-3))/(-3)*-1. Suppose -3*d + 2*d + 1 = -v, x = 5*v + m*d - 16. Solve 0 = v*l - 2 - 4 for l.
3
Let q be 1 - 4 - -3 - -2. Suppose -5*m = -23 - q. Suppose m*v + 45 = 8*v. Solve 0 = -7*k + 4*k - v for k.
-5
Suppose 5*u - 36 = -0*t - 2*t, 2*t + 28 = 3*u. Suppose -2*y + 3 = -2*i - 1, 4*y = -i + u. Solve y*r = -4 - 0 for r.
-2
Let n be (-1 - -2)/(1/5). Let k(f) = -f**3 + 6*f**2 - 3*f - 7. Let p be k(n). Suppose -l + 12 = p*l. Solve 0 = v + 5 - l for v.
-2
Let i = 41 + -37. Suppose 0 = 5*l - i - 6. Solve l*f = -7 - 1 for f.
-4
Suppose -4*f - 5*x = 16 + 33, 3*x = 3*f + 3. Let g be 2 - (8/(-28) + f/(-21)). Solve -4*q + 14 = -g for q.
4
Suppose 0 = 2*v + 2*s - 32, -233*v = -232*v - 3*s - 28. Solve 10*r = v*r - 45 for r.
5
Let x(m) = -6*m - 11. Let l(i) = 25*i + 44. Let a(k) = 2*l(k) + 9*x(k). Let h be a(-4). Solve -h = -3*y + 2*y for y.
5
Let r be (-698)/(-18) + (-10)/(-45). Let d be (3 - 6)/((-3)/r). Suppose -5*u - h + d = 0, 0*h - 43 = -5*u - 2*h. Solve -a + 2 - u = 0 for a.
-5
Let f be 8/(-10) + 1 - 54/(-30). Let n be (-5)/15 - (-4)/3. Suppose -l + 0*u = -u + n, 4*l + 5 = 5*u. Solve l = z + f*z for z.
0
Let u be 2/(-3) + (-22)/(-6). Let f(i) = -11*i - 2. Let v be f(-1). Suppose 5*p + 6 = -v, 2*p = -2*q. Solve -u*c + 3 = -q for c.
2
Let b(h) = 47*h + 329. Let p be b(-7). Solve p = o - 10*o + 36 for o.
4
Suppose 62 = -o + 96. Solve 64 = -o*d + 234 for d.
5
Let o(q) be the first derivative of -q**4/8 - 5*q**3/2 + 2*q**2 - 2. Let t(l) be the second derivative of o(l). Let p be t(-6). Solve -p*r = 8 + 4 for r.
-4
Let l(t) = t**3 - 5*t**2 + 6*t + 5. Let d be l(4). Solve -3*f = d - 1 for f.
-4
Let o be -6 - (-1 + (-2 - -4)). Suppose 4*u - 33 = 7*u. Let g = o - u. Solve -h + 15 = g*h for h.
3
Let s(t) = 27*t**3 - 2*t**2 - t. Let x be s(-1). Let a = x - -31. Solve 0 = -a*i + 9 - 21 for i.
-4
Let b(x) = -2*x - 20. Let f(j) = 1. Let w(a) = b(a) + 4*f(a). Let c be w(-9). Solve -c*o = -0*o - 8 for o.
4
Let x = 2 + -1. Let h = x - -3. Suppose 3*n = 3*g - 5*g - 1, -h*n + 22 = -2*g. Solve 4 = -n*i + i for i.
-2
Suppose 0 = 65*h - 64*h - 4*c - 13, 10 = -5*c. Solve -7 = h*z - 17 for z.
2
Let y = -94 + 64. Let g be ((-48)/y)/((-4)/(-10)). Solve -3*z + 3 = -g*z for z.
-3
Let i(p) = -p**2 + 5*p + 3. Let b be i(5). Let g be ((-8)/(-20) - 0)*-5. Let x be (1/g)/(2/(-4)). Solve -x - 8 = b*r for r.
-3
Let r = 15 + -99. Let h = r - -86. Solve -3*z + h = -z for z.
1
Let a be 9/5*8950/537. Solve -4*p = -18 + a for p.
-3
Let d(r) = -24*r + 698. Let l be d(29). Solve 0 = l*a - 4 + 4 for a.
0
Let d(y) = y**2 + 9*y - 11. Let v be d(-9). Let u = -11 - v. Suppose u = -2*q + 3*f - 15, f + 0 - 5 = -5*q. Solve q = l - 4 - 0 for l.
4
Let n be -2 + (-91)/(-7) - 4. Solve -3 = -2*l + n for l.
5
Let s = -1 + 6. Let z(x) = -x - 5. Let c be z(-5). Solve 0 = -c*u - s*u + 25 for u.
5
Let c = -6 - -9. Suppose 5*p = -4*y + 8, 5*y - 2 = p + 8. Let x = -654 - -656. Solve -x*l + l - c = p for l.
-3
Suppose 4*t = -5*p, -13 = p + 5*t + 8. Solve p*h + 2 = -6 for h.
-2
Let w be 1*(0 - (-3 - 2)*1). Solve h - w = -6 for h.
-1
Suppose 0 = -v - 4*r - 24 + 64, r = 4*v - 211. Solve -v*s = -50*s for s.
0
Suppose -2*g + 2*v + 35 = 3*v, -4*g = 5*v - 79. Let p = g + -10. Solve c = -c + p for c.
3
Let j be 1/4*(-8)/(-1). Suppose -3*y - 5*o = -29, -j*y + 3*y = o - 1. Solve -12 = y*r + 3 for r.
-5
Let l be ((-40)/(-12))/((-3)/9). Let t = l - -21. Suppose 4*b + g - t = 4*g, 5*b - 9 = -g. Solve b*u + 6 = -4 for u.
-5
Suppose 9*l = 2*l + 21. Suppose -4*g - 4*y = -4, 2*g - l*y - 29 = -3*g. Solve 2*h - g*h = 0 for h.
0
Suppose -34*s + 882 = 8*s. Solve 5*v - s = 4 for v.
5
Suppose -36 = -3*y - 4*k - 10, -5*y + 2*k = 0. Solve -u = -0 + y for u.
-2
Suppose 65 - 16 = 7*k - 42. Suppose d = 6*d - 80. Suppose z + 4 = 4*n, -z = -5*n + 3*z + d. Solve n = -3*h + 4 - k for h.
-3
Suppose y = -5*t + 19, 2*t = -2*y + 4*y + 10. Solve -t*r + 58 = 42 for r.
4
Suppose j = 5*u - 18 - 0, -18 = -4*u - j. Solve -16*s + 14*s + u = 0 for s.
2
Let i(a) = -a**2 - 10*a + 21. Let p be i(-9). Let b be 4/(-26) + p/195 + 3. Solve -5*r = -b*r for r.
0
Let s(u) be the third derivative of 11/24*u**4 + 0*u + 0 - 11/60*u**5 - 7/6*u**3 + 6*u**2 + 1/120*u**6. Let v be s(10). Solve f = -2*f - v for f.
-1
Let w be 12/(-3) - ((-16)/(-2))/(-2). Solve w = 177*y - 179*y + 2 for y.
1
Suppose 58*i - 51*i = 896. Solve i - 122 = 6*t for t.
1
Let u(f) = f**3 - 7*f**2 + 3*f + 3. Let h be u(7). Solve -39 = -h*j + 11*j for j.
3
Let c(r) be the first derivative of r**3/3 - r**2/2 - 2*r - 26. Let d be c(3). Solve d*l + 3 = -17 for l.
-5
Suppose 2*j - 2 = -4*b, b - 2*b = -2*j + 7. Let d be ((-1)/(-7)*0)/1. Solve 3*m + d*m = j for m.
1
Let v(q) be the second derivative of q**5/20 + 2*q**4/3 + 5*q**3/6 - 5*q**2 - 23*q. Let a be v(-7). Solve 0 = -6*d + a*d for d.
0
Suppose 10 = 41*m - 72. Solve -4 - m = 2*o for o.
-3
Let x = 12 + -5. Suppose -15 + x = -2*q. Solve q = j + 9 for j.
-5
Let z = -379 + 422. Solve z*n = 48*n - 5 for n.
1
Let v be (4/(-10))/((-16)/80). Solve -1 - 9 = v*b for b.
-5
Suppose 31*r + 63 = 94*r. Solve 8*z - 9 = -r for z.
1
Let q(j) = -2*j**3 + 9*j**2 + 5*j - 1. Let d be q(5). Let o be 2 + 4 + -3 + d. Solve c + 4 - o = 0 for c.
-2
Suppose -2 = p + 5*r + 7, -2*r + 1 = 5*p. Let g = 2 + 0. Suppose 2*f = m - 2*f - 1, 3*f + g = m. Solve p = m*x - 9 for x.
2
Let j(g) = -2*g - 20. Let z be j(10). Let u be (1 - 2)/(2/z). Solve t + 3*t + u = 0 for t.
-5
Suppose 6*m = -8 + 38. Suppose 28 = 3*p - d, 2*p - m*d + 14 = p. Suppose -p - 4 = -5*f. Solve 0 = -5*y - 8 + f for y.
-1
Suppose 0 = 8*k - 3*k. Suppose k*g = -4*g + 40. Suppose y + j - 4 = 0, -5*y + 10 = 2*j - g. Solve 2*a + 2 = y*a for a.
1
Suppose 2*f + 13 - 17 = 0. Let y be 1 + ((-16)/(-2))/f. Suppose 2 = -r + y. Solve 0*k - r*k - 3 = 0 for k.
-1
Let v = 424 + -413. Solve 20*w + 9 = v*w for w.
-1
Suppos