4*b(g) + h(g). Let s be j(6). Solve s*c = c for c.
0
Let z(a) be the first derivative of 4*a**3/3 - 11*a**2 - 3*a + 9. Let o be z(6). Let s be (0 + 0)*1/1. Solve s = -x - 2*x - o for x.
-3
Let y = -77 + 83. Solve y*a - 12 = 2*a for a.
3
Suppose -9*i + i = -24. Suppose 4 - 2 = 2*l - i*w, 5 = 5*l - w. Solve -8 = 3*y + l for y.
-3
Let k(l) = l**3 - 7*l**2 + 2*l - 8. Let b be k(7). Suppose -5*u - 41 = -4*q, -4*u - 23 + 1 = -2*q. Suppose q = 3*f - 15. Solve -2*m - f = -b*m for m.
2
Let a = 32 - 26. Let d = a - 6. Solve d = -k + 3*k + 8 for k.
-4
Let k(q) = -q**3 + 12*q**2 + 3. Let f = -16 + 28. Let p be k(f). Solve 4 = -s + p*s for s.
2
Let k = -32 + 64. Let q be 92/k + 3/24. Solve 2*w = -5 + q for w.
-1
Suppose 5*b = 4*n + 13, -n = -4*n + b + 4. Let l = -3 + 6. Suppose l*p - 24 = -p. Solve -n*m = -0*m - p for m.
2
Suppose b + 0*b = 4*x - 8, 0 = -2*b + x + 12. Let h be 15 - (b/4)/2. Let z be ((-1)/3)/(2/(-6)). Solve z = 5*g - h for g.
3
Let y(j) = 18*j - 1. Let o(w) = -35*w + 1. Let i(m) = 6*o(m) + 11*y(m). Let n be i(-2). Solve 3*s + 4 - n = 0 for s.
5
Let i(s) = s**3 - s**2 - 1. Let a(g) = 6*g**2 - g - 1. Let r(o) = a(o) + i(o). Let p be r(-5). Suppose -28 = -p*d - 22. Solve d*w = -0*w + 4 for w.
2
Let w = 557 + -557. Let g be 0*2*(-1)/(-2). Solve -4*s + w*s = g for s.
0
Let y be (-357)/(-28)*(-8)/(-6). Let o(w) = w**2 - 16*w - 11. Let n be o(y). Solve -g - g = n for g.
-3
Let t(p) = -p**2 + 9*p + 2. Let k be t(9). Solve 0 = -5*h - k - 8 for h.
-2
Suppose 10*i = 18*i. Suppose i*b + 2*b = -0*b. Solve 0 = -b*g + 3*g + 3 for g.
-1
Suppose -84 = -236*y + 215*y. Solve -y*o + 10*o = 12 for o.
2
Let d(j) = j**3 + 13*j**2 + 10*j - 12. Let y be d(-12). Suppose z = -5*z + y. Solve 0 = z*b - 5 + 13 for b.
-4
Let p be 35/140 + (-2)/16*-134. Solve 2*t + p = 27 for t.
5
Let p(q) = -3*q + 73. Let a be p(22). Solve a = 2*n + 13 for n.
-3
Let h be 81/(-4) + (-1)/(-4). Let m be (-4)/(h/5)*0. Solve m = -5*r - 9 + 24 for r.
3
Let p(c) = c. Let d be p(4). Suppose -10 = -2*i, -d*u - 4*i = -7*i + 71. Let w be 2/(-2) + u + 18. Solve w*n = 5 + 1 for n.
2
Let y be 1/(-6) + (-519)/18. Let m = 31 + y. Solve 2*n + 8 + m = 0 for n.
-5
Let b be (40/(-24))/((-2)/(9*2)). Solve -b = -18*f + 21*f for f.
-5
Suppose 0 = 2*v - 7*v. Let t(l) = -4*l**2 - 30*l - 4. Let i be t(-7). Suppose -s + v*s = -i. Solve -2*z = 3*z + s for z.
-2
Let j = -10 - -9. Let i(x) = -x - 1. Let w be i(j). Suppose w*f = -2*f + 12. Solve 0 = r + r - f for r.
3
Let c(h) be the second derivative of -h**3 - h**2 + 6*h. Let m be c(-1). Solve -m = -i - 1 for i.
3
Let c be ((-42)/(-28))/((-6)/(-20)). Solve -2 = -c*b + 3 for b.
1
Suppose -3569 = -33*s + 523. Solve -129*k = -s*k - 20 for k.
4
Let q be 1/(-1) - (4 + 3). Let b = q - -12. Solve b*j = -j for j.
0
Let j be -1*(-1 - 3)/4. Suppose -2*f + 1 = -j. Let x be (6 - 3) + (1 - f). Solve x*i = 8*i for i.
0
Let q = 33 + -26. Suppose -19 + 5 = -q*j. Solve j*m = -0*m for m.
0
Let n(w) = -7*w + 34. Let c be n(4). Solve -h = -c*h + 10 for h.
2
Let z = 42 + -96. Let h be (-10)/(-25) + z/(-15). Let q(y) = 3*y - 10. Let j be q(h). Solve -j*i = -1 + 5 for i.
-2
Let w(i) = i**2 + 5*i + 2. Let f be w(-5). Suppose 3*r - 22 = 5*z, 3*z = r + 6 - 16. Suppose m + r*m = 10. Solve m*p + 0*p = -f for p.
-1
Let h(o) = -o - 1. Let j(z) = -z**2 + 6*z + 4. Let w(q) = 3*h(q) + j(q). Let p be w(2). Let i be 9 - (1/1 - 0). Solve -i = -p*r - r for r.
2
Let v = 140 - 133. Solve -v*o = 3*o + 30 for o.
-3
Let o(s) = s - 2. Let y be o(-5). Let d = y + -87. Let w be (-10)/45 + d/(-18). Solve -w*i = 6 - 16 for i.
2
Let j = -1385 - -1393. Solve -2*v + j = 4 for v.
2
Let d be (-11 - -11)*4/(11 - 3). Let n be 3/((-27)/(-3))*6. Suppose 3*a = n*v + 64 + 2, 3*a + 2*v = 54. Solve d = 4*j + a for j.
-5
Suppose 3*r + r - 12 = 0. Let i be r/15*5 + (-2)/(-2). Solve -4*q + i + 2 = 0 for q.
1
Let g(x) = x**2 - 7*x - 1. Let q be g(6). Suppose -21 = 4*n - 7*n. Let l be 1/q - (-29)/n. Solve 0 = l*v + v + 25 for v.
-5
Let j = 211 - 211. Suppose 10*x - 2 = 8*x. Solve -r = -j*r - x for r.
1
Suppose -i - 4 = -t, 25*t - 23*t - 4*i - 4 = 0. Solve -t*s + s = 5 for s.
-1
Let o be 13 + -9 + (-1 - 1). Solve o = s + 4 for s.
-2
Let l(j) = -2*j**3 - 17*j**2 - 10*j - 9. Let a be l(-8). Solve 0 = -7*u + a + 14 for u.
3
Suppose -3*a = -22 - 14. Suppose 21 = -5*f + a*f. Solve 0 = -3*r - f + 12 for r.
3
Let j(i) = -7*i. Let x be j(-1). Let r be (-34)/(-14) + (-351)/(-63) + -5. Suppose 0 = p + 2*p - 9, -2*q + r*p = x. Solve 4*w - 13 = -q for w.
3
Let u be 66*(-28)/(-1176) + 6/14. Let b = 2 - -2. Solve -3*h + u = -b for h.
2
Let z(m) = m**2 + m - 7. Let i be 3 + 1 + -1 - 0. Let b be z(i). Solve -d = -b*d for d.
0
Let d(c) = 2*c - 36. Let i be (3/(-5))/(12/(-420)). Let b be d(i). Solve -4*f = -f - b for f.
2
Suppose -5*d = -72 - 263. Suppose 5*w + d + 3 = 0. Let v = w - -26. Solve 0 = -0*a - 3*a + v for a.
4
Let p = -10 + 13. Let u = p + 1. Suppose u = -j + 3*i, 4*j - 2*i = -6*i + 16. Solve 3 = -o - j for o.
-5
Suppose -x = 3*u - 5, 4*u - 1 = -5*x + 2. Let c be -3 - (-9 - 0) - 2. Solve -c*n + u*n - 2 = 0 for n.
-1
Let c = -12 + -2. Let n = c + 26. Solve n = 2*h + h for h.
4
Suppose 176 = -1455*w + 1466*w. Suppose 3*q - 2*y = 9, -2*y + 4 + 2 = 0. Solve -w = -j + q*j for j.
-4
Let q be ((3 + 2)/(-5))/(1/(-4)). Suppose -7*v = -3*v - q. Solve 4*p - 17 = -v for p.
4
Let l = 627 + -608. Solve -7*n - 9 - l = 0 for n.
-4
Let t = 3376 + -3372. Suppose 5*x + 5 = 15. Solve 2 = -x*m - t for m.
-3
Suppose -478 = -77*b + 446. Solve -10*s + 6 = -b*s for s.
-3
Let y(j) be the first derivative of j**3/3 - j**2/2 - j - 11. Let d be y(-4). Suppose s - 33 = -d. Solve 3*p + s - 5 = 0 for p.
-3
Suppose -4*a + 4 = d, -a + 4 = -11*d + 12*d. Solve 4*i - d*i + 4*i = 0 for i.
0
Let v be (-2)/(-8) - (-21)/12. Suppose -3*l + 9 = 3*b - 6, 2*l - 4*b + v = 0. Solve 3 = l*u - 3 for u.
2
Let s be -11 - -7 - 2*-3. Suppose -s*u = u. Let b = 4 + u. Solve d - 5 = -b*d for d.
1
Suppose -5*w + 11 = -19. Let n be ((-16)/(-12))/((-6)/63). Let k = -12 - n. Solve -w*t - 8 = -k*t for t.
-2
Let y = 48 - 32. Suppose -4 = 4*u - y. Solve 0 = 2*l + 5 + u for l.
-4
Suppose -19 = -2*c - 4*p - 3, 0 = -3*c + 2*p. Solve -c*t = 11*t for t.
0
Suppose -27*v + 32*v - 5*q = 150, -4*v + 2*q + 124 = 0. Solve 0 = -27*l + v*l + 15 for l.
-3
Let w be (-5)/4 - (-30)/24. Solve w = -u + 2 for u.
2
Let n(j) = -j**3 - 14*j**2 + 14*j - 14. Let p be n(-15). Suppose -s + 2*o = -6, 1 + p = -3*s - 4*o. Solve s*k - 5 = 5 for k.
5
Let x be (0 - 3) + (-2 - -4) - 11. Let k = 0 + 14. Let c = x + k. Solve -c*h - 11 = -1 for h.
-5
Let x be 8/(-20) - 176/(-40). Solve -x*v = 1 - 5 for v.
1
Let f = -3 - 6. Let j be 9/2*(-12)/f. Let v = 775 - 771. Solve v*c - 2 = -j for c.
-1
Let g = 69 - 72. Let q be g*(-4)/(-8)*-2. Solve -x = -q*x for x.
0
Let x = -48 - -49. Suppose -15 = -4*f + x. Solve -2*i + i - f = 0 for i.
-4
Suppose 2*s - 10 = -i, 51*i = 54*i + 5*s - 26. Solve -i = 6*v - 8*v for v.
1
Suppose 2*u = -n - 4*n - 39, 4*n - 4*u + 48 = 0. Let a be -60*(0 + 3/n). Solve 0 = -6*v + 2*v - a for v.
-5
Suppose 0 = -5*s + 10, j + 4 = -3*j + 4*s. Suppose 4*w - 5 = 5*c, -4 = 5*c + j. Solve 0 = a - 2 - w for a.
2
Suppose 5*a - 45 = 5*b, 5*a + 59 = -62*b + 41*b. Let n(l) = l + 3. Let z be n(-3). Let h be (4/3 - z)*3. Solve 0 = a*k - 4*k - h for k.
4
Suppose 5*r - 20 = -z, 10 = 23*r - 20*r + z. Solve 0 = r*c + 4*c + 18 for c.
-2
Let w(n) = -n**3 - 4*n**2 - 5*n - 5. Let i be w(-4). Suppose 0 = 23*r - 426 + 380. Solve -7*a + r*a = -i for a.
3
Let a be 0*(-5*(-2)/5 + -1). Solve 5*s - 19 - 6 = a for s.
5
Let z = 274 + -266. Solve 5*k - z*k = -12 for k.
4
Let a = -34 + 45. Let t = -7 + a. Solve -2*r - 6 = t for r.
-5
Let q be (-9)/(-2)*24/36. Suppose 0 = -2*p + 6*p - 8. Suppose 0*w - p*s + 6 = -2*w, 3*w + s = 11. Solve a + q = -w for a.
-5
Suppose 1156 = -a + 1159. Solve -2*x = -a*x for x.
0
Let v(p) = 6*p + 94. Let a be v(-14). Solve 4*r - a = -2 for r.
2
Suppose -4*r - 4*c = -52, 0 = -4*r - 12*c + 10*c + 44. Solve 11*q - 6 = r*q for q.
3
Let l(s) = -6*s + 83. Let i be l(13). Solve i*x - 9*x = 20 for x.
-5
Let w(q) = 2*q**2 + q - 1. Let u be w(1). Suppose -2*r + u = -4*s, s + 2*r - 8 = 4. Suppose 4*x + s*l - 3 = 19, 0 = -3*x + 5*l + 23. Solve x*z - 3*z = 0 for z.
0
Let w(j) = 8*j + 8 - 2*j + 4*j + 2*j**2. Let u be w(-4). Solve 