derivative of -u**2/2 + 10*u - 4. Let b be g(7). Solve -b*c + 6 = -0*c for c.
2
Let w(d) = -d**2 - 12*d + 3. Let v be 12/(2*1/(-2)). Let i be w(v). Solve i*n - 16 = -n for n.
4
Suppose -n + 8 = n. Suppose 2*u = 3*f - 58, -5*f + 2*u = -3*u - 100. Let b = f - 14. Solve 0 = n*i - 0 + b for i.
-1
Let i(b) = b + 6. Let s be i(-5). Solve c - 3 = s for c.
4
Suppose 0 = -v + 9 - 4. Solve 0 = -v*r - 4 - 1 for r.
-1
Let j be (-4342)/(-65) + (-4)/5. Let i be (-12)/j - (-13)/11. Solve w = -0*w + i for w.
1
Suppose -3*a - 2*a = 0. Solve a = -3*s + s + 4 for s.
2
Suppose -3*a + 4 = -14. Solve -14 = 2*i - a for i.
-4
Suppose -x + 2 = 1. Suppose q + x = 2*r, 3*q - 6 = -q + 3*r. Suppose 4*k = o + 4, -1 = -4*o + 3*k - 4. Solve o = -q*u - u for u.
0
Let z = 24 - 42. Let o = z - -25. Solve 2*j - 3 - o = 0 for j.
5
Let r(x) = x**2 - 10*x + 5. Let i be r(5). Let v be (-145)/i + 1/(-4). Solve 2*s - v = -1 for s.
3
Let i be (-9)/(-18) + (-10)/(-4). Solve 1 = -i*f - 8 for f.
-3
Let p be 81/(-6)*20/(-30). Solve -h - p = 2*h for h.
-3
Let k = 2 + 1. Let p = 2 + k. Let x be -2*1/(-2) - -24. Solve -x = -5*b - p for b.
4
Let r be 4/(-7)*(-70)/20. Solve 1 = c + r for c.
-1
Let z = -4 - -6. Suppose 2*n - 6*n + 8 = z*m, -5*n + 7 = m. Suppose -g - m*g = 4*s - 34, 16 = 4*g - 2*s. Solve -3*p + 6 = -g*p for p.
-2
Let u be (0 - 1) + 5 + 2. Let w(b) = b - 4. Let j be w(u). Solve j*r = r + 3 for r.
3
Let r = -65 + 70. Solve -r*c = -2 - 3 for c.
1
Let n(t) = 3*t**2 - 5*t + 3. Let j be n(3). Suppose 0 = 5*i - 2*i + j. Let d = i + 7. Solve -d*f - 6 - 4 = 0 for f.
-5
Let n be (-3)/6*2 + -91. Let p be (-2)/(-3) + n/(-6). Let y = 77 + -77. Solve y - p = 4*x for x.
-4
Let o(b) = -3*b + 1. Let a be o(-2). Let l be 0/(-3) + 3 + -6. Let i = l - -8. Solve 3*d = a + i for d.
4
Suppose 0 = -5*w - 0*s - 5*s + 45, 5*s = -2*w + 30. Let p be 0 - -1 - (-2 + 1). Suppose 4*q + 15 = -w*l, 5*q + l - p + 5 = 0. Solve q = -5*a + a for a.
0
Suppose 0 = -3*u + u - 10, 0 = 5*r - u - 25. Solve 3 = r*b + 7 for b.
-1
Let t be (-1 + 0 + 2)*1. Solve g - t = 2*g for g.
-1
Suppose -5*p = 3*z - 30, -p = -z + 5*z - 40. Solve 2*r - z = 7*r for r.
-2
Suppose -2 = 12*k - 50. Solve k*i = 2*i + 8 for i.
4
Let w = -19 + 35. Solve -3*r = r - w for r.
4
Suppose -3*g - 15 = 4*k, 5*g = -2*k - k - 25. Solve k = -2*v - 0*v - 8 for v.
-4
Let c(t) = t**2. Let r be c(-2). Let q(a) = a**2 + 4*a + 8. Let y be q(-4). Solve -r*p + 0*p + y = 0 for p.
2
Let d(v) = -3*v - 7. Let r be d(-6). Let c = -8 + r. Solve -c = -b + 1 for b.
4
Let y be 132/30 - 2/5. Suppose -2*c = -8 - 0. Solve y*p - 2*p = -c for p.
-2
Suppose -3*t + 9 = -0, 0 = 4*i - 3*t - 11. Suppose 0 = -4*f + i*f - 3. Solve 0 = -h - f*h for h.
0
Let o = 4 + 11. Solve 0 = 5*r - o + 5 for r.
2
Let n = -23 - -27. Let u = 7 + -10. Let s = u - -4. Solve n = z - s for z.
5
Suppose -7*f + 58 = 9. Solve 5 = 2*l - f*l for l.
-1
Let f = -15 - -19. Solve 0*u = f*u for u.
0
Let c(v) = -3*v - 10. Let n be c(-5). Suppose 0 = -3*l + 12. Solve 0 = -n*z + 1 + l for z.
1
Let o be (-17)/3*(14 - 17). Solve 3*g + o = 5 for g.
-4
Let b(q) = -q. Let t be b(0). Suppose -4*h + 45 = -h. Suppose -4*d + k + 15 = 0, -d - 2*k + h = -6*k. Solve -z - d*z = t for z.
0
Suppose 0*f + 1 = f. Let v(g) = -g + 1. Let u be v(f). Let i(h) = -h + 3. Let s be i(u). Solve 0 = 2*z - s - 7 for z.
5
Suppose -51*o + 10 = -46*o. Solve o*t = -3*t + 20 for t.
4
Let t be (-6)/(-18) - (-8)/3. Solve 0*j = t*j + 12 for j.
-4
Let i = 108 + -98. Solve -i = -8*j + 6*j for j.
5
Let o(a) = a**2 - 3*a. Suppose 2*w - 2 = v, 4*w - 2*v = 2*v - 4. Let t be o(w). Solve t = -b - 2*b + 15 for b.
5
Let o = 11 - -6. Suppose 0 = 3*m - h + 9, 4*m - 5*h = 3*m - o. Let n = m + 2. Solve -2*b - 5 - 3 = n for b.
-4
Let h(u) = -u**3 + 5*u**2 + 5*u + 8. Let y be h(6). Solve 0 = -11*p + 12*p - y for p.
2
Let v be -3*4/(-12)*2. Let t be (-15)/(-9) - (-4)/12. Suppose -c - 1 = 0, 4*f - t*c - c = 27. Solve 20 = f*r - v*r for r.
5
Suppose 2 = -3*p + 5. Solve 0 = -3*x + 5 + p for x.
2
Let j be (-4)/(-6) - (-102)/9. Suppose 2*b - b - 6 = 0. Suppose b*y - 3*y = j. Solve -y*s = -7 - 9 for s.
4
Let w = -4 - -6. Let u(d) = 2*d + 42. Let l be u(-18). Solve -l = w*y - 0*y for y.
-3
Let v = -14 - -18. Suppose -19 + v = -5*r. Solve r*o = 8 + 1 for o.
3
Suppose -5*k = -4*k. Let j(f) = 2*f + 1. Let w be j(2). Suppose c + 7 - 16 = -2*n, 21 = w*c + 2*n. Solve k*v + c = v for v.
3
Suppose 0*r - 2*a = -r + 12, a = -2*r + 24. Suppose 6*u - 10*u + r = 0. Solve i = -2*i + u for i.
1
Let l = 7 + -2. Suppose 0 = -29*x + 31*x - 8. Solve l*i - 4*i + x = 0 for i.
-4
Let o = -5 + 3. Let r be (-2 - o)*(-3)/(-6). Solve 5*f - 4*f = r for f.
0
Let z be (-4)/(-26) - (-4)/(-26). Solve z = -5*x - 3 + 18 for x.
3
Let f(t) = -t + 8. Let p be f(7). Let d be 1 + p + -1 - -7. Solve 0 = 4*x - 4 + d for x.
-1
Let q be 4/6*(3 - 0). Solve -9 = -q*s - s for s.
3
Suppose -8*v = -3*v. Solve -5*r + 3*r = v for r.
0
Let d be (-11 - 7)*(-2)/3. Solve -h = 2*h - d for h.
4
Let q(y) = -y**3 - 6*y**2 - 6*y + 7. Let f be q(-5). Let j = f + -11. Solve r = 2*r + j for r.
-1
Suppose 0 = -v - 9 + 12. Let u be 8/(-12) - (-4)/6. Solve v*d + d = u for d.
0
Let l be (-2)/3 + 4/6. Let x be 76/6 - 14/21. Suppose 0 = -4*i + 3*i + x. Solve 4*h = -l*h + i for h.
3
Let b = 4 - 2. Suppose 0 = -c + b, -5*c - 15 = -2*q - 3*q. Suppose 0 = -d + q*z - 3, 2*z = 3*d + 2*d - 8. Solve 0*u - 2*u = -d for u.
1
Suppose -3*z + 2*x + 0 = 2, -z - x = -6. Solve z*t - 9 = 5*t for t.
-3
Let n(p) = -p + 7. Let z(g) = -2*g + 14. Let h(q) = -11*n(q) + 6*z(q). Let i be h(7). Solve 2*y + y + 15 = i for y.
-5
Let v be 6*((-33)/(-18) - 2/(-3)). Solve 0 = 4*n - v + 3 for n.
3
Let g = 4 + 0. Suppose -2*l = 5*v + l + 14, g*l = 2*v - 10. Let p be (v/(-3))/((-2)/(-30)). Solve 0 = p*o + 1 - 6 for o.
1
Suppose 2*m = -0*m + 10. Solve 1 = m*t + 6 for t.
-1
Let q(t) = t**3 + 8*t**2 + t + 9. Let s be q(-8). Solve s = p - 4 for p.
5
Let q(n) = 14*n + 1. Let y be q(-1). Let i = 12 - y. Suppose -5*j - 4*z - 25 = -9*z, -2*j - 5*z = -i. Solve j = l + 3*l for l.
0
Let q be 8*(1 + 27/(-12)). Let a = 16 + q. Solve -19 = -5*l + a for l.
5
Let t(y) = -y**3 + y**2 + 2. Let l be t(0). Solve 0 = l*f + f - 6 for f.
2
Suppose 4 + 22 = 2*b. Let r = b - 9. Solve 0 = -0*n - r*n - 20 for n.
-5
Suppose 0*u + 12 = 4*u. Suppose -12 = -3*w - u. Solve 4*v + 9 + w = 0 for v.
-3
Suppose 0 = -5*a + 2 + 28. Solve -3*x - 3*x = a for x.
-1
Let q(v) = 3*v**2 + v + 1. Let h be q(-1). Let z be 218/11 - 4/(-22). Let w = z - 12. Solve -h*d = 1 + w for d.
-3
Suppose 48 = -0*o + 4*o. Let x = 20 - o. Solve 2*g = -0*g + x for g.
4
Let n(s) = s**2 - 12. Let w be n(0). Let v = w - -14. Solve 3*i - v = 2*i for i.
2
Suppose 3 - 9 = 2*n. Let x be (-8)/12*n + 2. Solve 0*u - x = u for u.
-4
Suppose 3*n = -11 + 35. Suppose 5 + n = f. Suppose 3 - 8 = u - 4*p, -p - f = -5*u. Solve 7*a = u*a for a.
0
Let p be 6/8 + 162/72. Solve 2 = -p*u + 2*u for u.
-2
Suppose m = 1 + 3. Solve -m*k - 25 = k for k.
-5
Let j = -5 - -9. Suppose -4*y + 18 = 2*v, 0 = -0*v + 4*v + 5*y - 27. Suppose -a + 6 = w, 3*w - w - v*a = 2. Solve j*m = w + 8 for m.
3
Suppose 0 = 4*v - 8, 0 = y + 4*y - 5*v + 10. Suppose -2 - 2 = -d. Suppose y = d*j - 9*j + 15. Solve 3*p + j = -3 for p.
-2
Suppose -2*v + 2 = -12. Solve -3 = 2*o + v for o.
-5
Let l be (-12)/9 - 2/(-6). Let m be (-1)/(l + (-2)/(-4)). Suppose -4*k = -m*k - 8, 5*h = k + 6. Solve -h*v = 2*v + 20 for v.
-5
Let y(p) = -p**2 + 10*p + 8. Let f be y(9). Let o = f + -15. Solve o*k - 2 + 4 = 0 for k.
-1
Let y(n) = n + 1. Let r be y(2). Suppose r*v = -0*v + 9. Let o(m) = -m**3 + 3*m**2 + 3*m - 3. Let k be o(3). Solve -k = 3*h + v for h.
-3
Suppose 0 = -3*o - 0*o + 2*d + 25, 0 = -d - 5. Solve o*b - 17 - 3 = 0 for b.
4
Suppose 5*a - 3 = 12. Suppose -a*z + 16 = z. Solve 3*k + 2 = -z for k.
-2
Let n(r) = r**2 - 6*r - 11. Let c be n(8). Solve -c*m = 3 - 28 for m.
5
Suppose -2*q = -4*q - 2, -3*s - 22 = -5*q. Let x = 15 + s. Solve 0 = -x*c + c + 15 for c.
3
Let g(j) = -j**2 - 5*j + 8. Let u be g(-6). Solve -u*d = -3*d + 2 for d.
2
Suppose -3*p - 3*f + 14 = -4*f, -4*p + 20 = -2*f. Solve p*d = d - 6 for d.
-2
Let y be 3/1*12/9. Suppose 0 = 5*m + 4*f + 1 - 0, y*m + 2*f = 4. Solve m*k = -2*k - 20 for k.
-4
Let r be 10/(-25) + (-4)/(-10). Solve p - 4 = -r for p.
4
Let z be 4/14 + (-5)/(-7). Suppose -w