 - g = a for p.
4
Suppose 2*r - 6 = 0, -i + r - 8 = -0*r. Let f = i - -25. Suppose -2*y - 12 = -7*b + 2*b, -f = -4*b - y. Solve w = b*w - 6 for w.
2
Suppose 17 = -3*t - 43. Let q = -12 - t. Suppose 0 = 3*g - 1 - q. Solve -g*y + 1 = -8 for y.
3
Let j be 135*2*(-3)/(-30). Solve -3*r = 21 - j for r.
2
Let z(j) = -33*j + 645. Let r be z(19). Solve -13*i = -7*i - r for i.
3
Let s be -2 + (4 + 4)/(-2). Let d(p) = -p + 2. Let z be d(s). Solve -z = -i - 3*i for i.
2
Suppose 0 = -24*b - 0 + 72. Let z be (-1 - -4)/(-3)*-3. Solve -3*t + z + b = 0 for t.
2
Let k = -4 + 6. Let d be k/(-5) - 648/(-45). Let j = 14 - d. Solve 6*o - o = j for o.
0
Let h(f) = 10*f + 4*f**3 - 5*f**3 + 12*f**2 + 0*f**3 - 8 + 4*f. Let w be h(13). Solve 0 = -w*x - 11 - 4 for x.
-3
Let c = 11 + -3. Solve f = c*f + 28 for f.
-4
Suppose 0 = -3*v - 5*k + 20, 2*k = 2 - 0. Suppose -4*d + 62 = 5*z, -90 = -v*z + d - 18. Solve 2 = 4*t - z for t.
4
Let g = -2 + -23. Let b be (-30 + 0)*20/g. Let l = -17 + b. Solve 3*c = l*c - 12 for c.
3
Let v(h) = h**2 - 7*h + 10. Let x = 14 - 8. Let m be v(x). Suppose -4*r + 19 = c, -m*r + 4*c + 3 = -1. Solve r*u - 7 - 1 = 0 for u.
2
Let w(q) = -4*q**2 + 38*q - 9. Let f be w(7). Solve -58 = j - f for j.
3
Let j be (-370)/(-4)*24/15. Let f = -148 + j. Solve -8 + f = 4*g for g.
-2
Let t be (4 - (3 - -2)*1) + 2. Let r be (-1)/(-4) - (-27)/(-12). Let c be ((-6)/2)/(t/r). Solve -2*u + 4 = -c for u.
5
Let x be 76/(-28) - -3 - 52/(-14). Solve -x*m = m - 5 for m.
1
Let r be ((0/1)/(-2))/2. Let j(u) = -u**3 + 5*u**2 + 2. Let g be j(5). Suppose -s + 4 = 2*f, -4*f + 99*s = 98*s - 20. Solve f = g*t - r*t for t.
2
Suppose 0 = -6*z + 442 + 230. Let d = -112 + z. Suppose 5*i = 33 + 2. Solve d = 4*l - i*l + 3 for l.
1
Suppose -m + 26 = 3*w - 2*m, w - 5*m - 32 = 0. Let n be (w + -5)*(1 - -1). Solve 0*c = n*c - 4 for c.
1
Let a(f) be the third derivative of 1/6*f**4 + 1/120*f**6 + 1/12*f**5 - 4*f**2 + 0 + 0*f + 1/2*f**3. Let h be a(-4). Solve -4*t = 13 + h for t.
-4
Let h(q) = -39*q**3 - q**2 - q. Let n be h(-1). Let v = -37 + n. Let x = v - -18. Solve -x = -2*c - 2*c for c.
5
Let p = -132 + 137. Suppose -9 = -5*v + p*y + 11, 18 = 5*v - 4*y. Solve v*m + 3*m = 0 for m.
0
Suppose 0 = -3*c + 3*b + 9, 0 = 14*c - 13*c + 3*b + 9. Solve c + 5 = m for m.
5
Let p = -24 + 22. Let k be (66/(-77))/(p/14). Solve 2*o + o + k = 0 for o.
-2
Suppose -3*a + 4 = 16. Let w be (36/a)/(-3) - 1. Solve -2*s - w*s = -20 for s.
5
Let u be 7*-1 - (-2 - 0). Let x = -2 - u. Suppose 4*r + 5*o = -5, -r + o = -x*o - 25. Solve -4 + r = -z for z.
-1
Let k(h) = -6*h - 4 + 3*h + 4*h. Let s be k(8). Let o be (-1 + 1)*(-17)/34. Solve o = 4*g - 0*g - s for g.
1
Let p(f) = f**3 + 12*f**2 - 12*f + 19. Let k be p(-13). Let r = -14 - -8. Let n = r + k. Solve n*h - 12 = -3*h for h.
4
Let j = 36 + -36. Suppose 2*b - 4*q = -3*q + 9, 2*q + 2 = j. Solve -b*l = 15 + 1 for l.
-4
Let b be 1/(-2)*(67 - 69). Solve 15*s = b - 61 for s.
-4
Suppose 3*w - w - 8 = 0. Suppose -4*x + 8 = -5*f, -w*f = -x - 0*x + 2. Let i(u) = u**2 + 5*u - 6. Let g be i(-7). Solve 2*s - g + 4 = f for s.
2
Suppose 4*r + 5 + 7 = 0. Let p be 5*(24/(-10) - r). Suppose 2*w - p = w. Solve w*x = 4*x for x.
0
Let p(z) = -28 + 116*z**2 + 20*z - 55*z**2 - 62*z**2. Let t be p(18). Solve t = -4*y + 2*y for y.
-4
Suppose -i = i - 4*g - 80, 4*i - 136 = -4*g. Suppose -4*w + i = -0. Let y be 156/(-1014)*(-13)/2. Solve y = 2*o - w for o.
5
Suppose 72 = 3*c + 6. Suppose -c*j = -20*j - 10. Solve -5*z = -10 - j for z.
3
Let c(h) = -2*h**2 - 22*h - 13. Let t be c(-10). Solve -t*a = -9*a - 8 for a.
-4
Let m(r) = r**3 + 3*r**2 - 1. Suppose -5*l + 6*a = 2*a + 134, 3*l + 77 = -a. Let y = l - -24. Let k be m(y). Solve 4 = b + k for b.
1
Let z(b) = 5*b + 52. Let w be z(-9). Solve -w*k + 9 = -5 for k.
2
Let q(c) = 8*c**2 - 1. Let k be q(1). Suppose d + k*t - 30 = 2*t, 0 = -2*d - t + 15. Solve -u + 0*u = d for u.
-5
Let q = 788 + -786. Suppose -10 = -3*n - r, n - r + 0 = 6. Let l = n + 7. Solve -l = q*h - 3 for h.
-4
Let m(a) be the first derivative of -7/2*a**2 - 7/3*a**3 - 4 - 6*a + 1/4*a**4. Let s be m(8). Solve 0 = -s*l + 3 + 3 for l.
3
Suppose 0 = 20*k - 21*k - 10. Let n = 13 + k. Solve n*b = -b + 8 for b.
2
Let j(i) = -6*i - 34. Let f = -57 - -51. Let k be j(f). Solve 0 = -c - k*c for c.
0
Let y = -38 + 47. Suppose -3*d - 2*a - 7 = 0, 0 = -d + 6*d - 3*a - 20. Suppose 5*v = d + y. Solve v*i - 3 = i for i.
3
Let q be (-31)/(-4) - 9/(-36). Suppose -2*o - 14 = -9*o. Suppose 0 = -o*g - g. Solve g = 2*w - 0 - q for w.
4
Suppose 5*b + 1 = 6*b. Let x be b - (-3 - 3/3). Solve x*q - 1 = -16 for q.
-3
Let y(p) = -6*p - 14 - 4 - 2*p + 1. Let t(b) = -b - 1. Let u(f) = -6*t(f) + y(f). Let v be u(-8). Solve -3*l + v = -2*l for l.
5
Let f be (-7 - -1)/(((-170)/15)/17). Suppose 6*i - 15 = i. Suppose -2*p - 12 = -5*p - 2*d, 0 = -i*p + 2*d + 12. Solve p*c - f = 3 for c.
3
Let o(q) be the second derivative of q**4/12 - 5*q**3/6 + 12*q. Let i be o(5). Solve i = -5*k - 10 for k.
-2
Suppose 3*w + a = 4*a + 6, -3*w = -a - 6. Let p(x) = 2*x**2 - 38*x + 123. Let d be p(4). Solve -d*v + 20 = w*v for v.
4
Let c = 969 + -947. Solve -c + 4 = -18*g for g.
1
Suppose 3731 - 511 = 70*d. Solve -5*i - d + 21 = 0 for i.
-5
Let h(j) = j**2 - 6*j + 8. Let g be h(2). Let i = 32 - 16. Solve g = -5*r + 4 + i for r.
4
Let h = -2217 - -2245. Solve -32*g = -25*g - h for g.
4
Let u be (-2)/3*81/(-6). Solve -22*b + 13 = -u*b for b.
1
Let k be (-7)/(-5) + 9/15. Let w(l) = l**3 + 2*l**2 - 3*l + 2. Let m be w(-3). Suppose u = m + k. Solve -u = -4*z + 12 for z.
4
Let g be 3*-1 - (-18 + -2). Solve -1 = 6*p + g for p.
-3
Let d(s) = s + 8. Let z be d(-6). Suppose z*n = v - 4*v + 7, -n + 2 = v. Solve -v*u = -6*u - 6 for u.
-2
Let x(i) = 2*i**2 + i - 1. Let b be x(1). Suppose -2*q = -11 + 5. Suppose 2 = 5*a - q, -3*a + 3 = 4*f. Solve f*z = -b*z - 2 for z.
-1
Let y = 3 + -1. Suppose -y*h - 45 = -5*q, 5*q - 15 + 145 = -5*h. Let b = 29 + h. Solve -2*i + b = -4*i for i.
-2
Let w(o) be the second derivative of -o**4/12 + o**3/3 + 3*o**2/2 + 15*o. Let t be w(0). Solve -t*a - a = -20 for a.
5
Suppose -w - 2 + 13 = 5*l, -2*w - 17 = -3*l. Solve -l = -0*d - d for d.
3
Let j(c) = -1 - c + 2 + 2*c. Let o be j(1). Let d = -790 + 792. Solve 0 = o*z - 0 - d for z.
1
Let y = -3 + -5. Let s = -5 - y. Solve 0*m = m + s for m.
-3
Let g = 479 - 469. Suppose 0 = -3*k + 3, -5*d - 3*k = -3 - 0. Solve d*i + 5*i = -g for i.
-2
Suppose 157*g - 152*g = z - 5, -z + 5 = 0. Suppose 5*p - 75 = p - 3*a, -3*a = -2*p + 15. Solve p + g = -5*o for o.
-3
Suppose -16*o = -46*o + 60. Solve o*s + 17 - 15 = 0 for s.
-1
Suppose 0 = 2*n - 47 + 15. Suppose a - 136 = -n*a. Solve -t + a = t for t.
4
Let p = -9 + 5. Let k be p/((-36)/11) + 2/(-9). Solve -s + 4 = k for s.
3
Suppose 3*s + 4*a - 22 = -2*s, 7 = 2*s + a. Suppose -s*x + 65 = 3*x. Solve 7 + x = -4*j for j.
-5
Let j(p) = p**2 + 8*p + 3. Let k be (-225)/(-6)*(-4)/(-3). Suppose 0 = -3*s + r - 29, -2*s - k = 3*s - 2*r. Let n be j(s). Solve 1 + n = -4*q for q.
-1
Suppose -57*m = 26*m - 830. Let p(v) = -v - 6. Let g be p(-6). Solve g = -4*y + 6*y - m for y.
5
Suppose 15 = -0*m + 5*m. Let b = -4 + 8. Suppose -3*r = -b*r + m. Solve -r = -2*t + t for t.
3
Let x(g) = g**2 + 6*g + 15. Let q = 7 - 11. Let w be x(q). Solve -w*t = -3*t + 12 for t.
-3
Let m = -28 - -33. Suppose -5*t = m*n - 15, 5*n - 4 = -2*t + 2. Solve n = u + u for u.
0
Let a(c) = c - 6. Let o be a(9). Suppose -16 = -o*d + 2. Suppose -3*p + x - 2*x = -d, 4*x + 8 = 4*p. Solve 6 = -4*l - p for l.
-2
Let t(v) = -4*v + 28. Let s be t(6). Solve -7*a + s = -11*a for a.
-1
Suppose 1125 = 29*c + 16*c. Solve 0 = -10*i - c + 65 for i.
4
Let y be 24/40 - (-44)/10. Suppose 2*l + u - 7 = -2*u, y*u = l - 23. Solve -3*c = c + l for c.
-2
Suppose 2*d + 4*m = -12, 4*m - 5*m - 3 = 5*d. Suppose 16*b - 5*b - 33 = 0. Solve d = s + b for s.
-3
Suppose -2*d = 6, -5*w - 2*d + 14 = -5*d. Let c(f) = -2*f**2 - f + 2. Let y be c(0). Let a be w*(y - 4/2). Solve -2*k - 5 + 1 = a for k.
-2
Suppose -7 = -3*u + f, 0 = 4*u - 5*f + f - 4. Let d(p) = -p**3 - 12*p**2 - p - 8. Let s be d(-12). Suppose -u*y + 2 + s = 0. Solve -6 = i + y*i for i.
-2
Let x be 12*(1/5 - 14/(-30)). Solve 3*z + x = 7*z for z.
2
Suppose 13 = 2*w + 3*i + 5, 2*w + 5*i = 0. Let c be w/(5/(-15)*-6). Solve -9 + 34 = -c*k f