h*c - 6*c = -j for c.
2
Let y be (-3)/(-2)*(-12)/(-9). Let p be (-3)/y*(-4)/6. Solve 0 = -m + p - 2 for m.
-1
Let i be (-16)/(-2) + (-12)/3. Solve -i*u + 3*u + 3 = 0 for u.
3
Let k be -4 + -1 + 4 + 6. Solve 0 = -o + k*o - 4 for o.
1
Suppose -t + 0*t - p = -2, 4*p - 4 = 0. Solve -9 + t = -2*a for a.
4
Let j be 3*3/9 + 7 + -2. Let w = -1 - -1. Solve f + f - j = w for f.
3
Suppose -2*j = -0*j - 10. Let f be (-2 - -3)*j*5. Solve f = -7*l + 2*l for l.
-5
Let a = 25 - 25. Solve a = 4*l + 20 - 0 for l.
-5
Let x be 3/((-3)/(-11)) + 1. Solve -4 - x = 4*m for m.
-4
Let q = 67 + -65. Solve 5 = -q*a + 3 for a.
-1
Let u = 14 + -10. Let k be (-3)/(-6) - 2/u. Solve -2*s + 3*s - 2 = k for s.
2
Suppose 0*d = 2*d - 4. Let y be (-18)/(-45) - (-13)/5. Solve 5*i - d - y = 0 for i.
1
Let u(o) = -o**2 + 9*o. Let z be u(9). Solve b + z*b = 4 for b.
4
Suppose v - 3 = 0, 0*v - 3*v = 5*d - 69. Solve 2*h + d = -h for h.
-4
Let z = 0 - 0. Suppose -40 + z = -2*u. Solve 4*g - 4 = -u for g.
-4
Suppose f - 2*b + 5*b + 12 = 0, 0 = 4*f - 4*b. Let u be -4*(f - (-2 + 0)). Let g be u/((-4)/2) + 2. Solve -c + g*c = 0 for c.
0
Let o = -23 + 32. Let s(y) = y - 3. Let r be s(6). Solve o + 0 = r*t for t.
3
Let c(q) = -3*q**2 - 10*q + 2. Let w(r) = -r**2 - 3*r + 1. Let n(j) = -3*c(j) + 8*w(j). Let u be n(-4). Let b = u - -10. Solve 0 = -b*t + 1 + 3 for t.
1
Let i = -4 + 1. Let j(k) = 2*k**2 - 3*k. Let n(s) = s**2 + s. Let v(q) = j(q) - 3*n(q). Let f be v(i). Solve -5*c = -f - 6 for c.
3
Let u(m) = 2*m + 12. Let b be u(-8). Suppose -4*l - l - 30 = 0. Let y be (b/l)/(1/3). Solve 5*c + 12 = y*c for c.
-4
Suppose 5*s = -5*w, 4*w + 0*s - 30 = 2*s. Suppose -3*d - 45 = -w*h - 8*d, h - 15 = 2*d. Solve 4*x - h = 1 for x.
3
Let f be 1/3 + 80/12. Suppose f + 8 = 5*b. Solve 4*u = b*u for u.
0
Let q(t) = -4 + 2*t - t**2 + 1 - 15*t. Let h be q(-13). Let r be -2*h/(2 + 1). Solve -k - r = k for k.
-1
Let p(q) = -q**2 - 5*q - 1. Let r be p(-4). Solve 4 = f + r*f for f.
1
Let y(a) = a**3 - a**2 + 2*a - 2. Let b be y(1). Solve b*c + 3*c + 12 = 0 for c.
-4
Let r be (-4 - -3 - -6) + 5. Solve -4*c - r = -26 for c.
4
Let l be (-2)/(3 - (-3 - -7)). Solve 4 = -0*k + l*k for k.
2
Let q(u) = -u**2 - 7*u - 8. Let t be q(-6). Let a be ((-3)/t)/(3/4). Solve -g = -a - 3 for g.
5
Let x = 4 - -1. Suppose 4*b - 3 - x = 0. Let l be b/6*0 - -9. Solve -2*o + l = o for o.
3
Let j be (2/(-5))/(5/(-600)*4). Solve 5*x + 3 = -j for x.
-3
Suppose 5*y + 12 = 8*y. Solve y*w + 11 = -9 for w.
-5
Suppose -m = 4*m - 25. Let s(g) = g + 2. Let u be s(2). Solve 3*k = u*k - m for k.
5
Suppose -2*i - 4*u - 6 = 0, 0*i - 3*u + 23 = -4*i. Let g(m) = -m**2 - 6*m - 3. Let p be g(i). Solve p = 4*l - 2 for l.
1
Let n be 2/8*-2*-4. Let y be 3/(0 + 3) + n. Solve -y*t = -18 + 3 for t.
5
Let i be -2 - (-1 - (-12)/(-1)*2). Solve 3*u + 8 - i = 0 for u.
5
Let y be (-1 + -1 + 4)*2. Let m(z) = z**2 - 3*z - 2. Let g be m(y). Suppose -3*a - 15 = 0, g*f + 5*a - 9 + 28 = 0. Solve 0 = -h + f + 2 for h.
5
Let k be 0 + 27 + (-3 - 0). Suppose -k = -q - q. Solve -2*d - q = -6*d for d.
3
Suppose -5*z + 0*x - 3*x = -5, 3*z - 3 = -3*x. Let r be z/(-6) + (-2)/(-12). Solve 0 = -t - r*t + 3 for t.
3
Let k(y) = 3*y**3. Let v be k(1). Let a be -6*(v + (-22)/6). Solve -a*u = -7*u + 9 for u.
3
Let q = 9 + -8. Solve 0 = 3*u - 13 + q for u.
4
Let p(i) = -i**3 - 6*i**2 - i - 4. Let y be p(-6). Solve -y*j = -1 + 3 for j.
-1
Let u(m) = -2*m**3 - 2*m**2 + m + 1. Let f be u(-2). Suppose f*v = 2*v + 25. Solve -v*o = -o + 20 for o.
-5
Let u be ((-3)/2)/((-27)/36). Solve -4*b - 6 = u for b.
-2
Let s(y) = y**2 - 6*y. Let j be s(8). Solve -f - j = -5*f for f.
4
Suppose -27 + 3 = -2*w. Let n = w + -10. Solve 2*b = -n + 8 for b.
3
Suppose -2*q - 6 - 2 = 0. Let l(u) = u**3 + 4*u**2 - 2*u - 6. Let j be l(q). Let f be (-7)/(-2) - 1/j. Solve 5 = -f*s - 2*s for s.
-1
Suppose 3*l = 42 + 3. Let y = 0 - l. Let r be (-6)/y + 18/5. Solve -r*j + 15 = j for j.
3
Let z(n) = -n**3 + 5*n**2 + 8*n - 8. Let l be z(6). Suppose 2*x = l*w - 18, x - 5*x - 1 = -w. Suppose -w*a + 77 = 17. Solve 0 = -2*f - 2 + a for f.
5
Let p(u) = 3*u + 5*u - 2 - 3*u + 4. Let b be p(1). Solve 27 - b = 4*m for m.
5
Let z = 1 - 1. Solve 0*g + 3*g - 9 = z for g.
3
Let r be (9 - 8) + (-1 - 0). Solve h - 4 = -r*h for h.
4
Suppose y + 1 = i, 0*i - i + 16 = 4*y. Solve 1 - y = r for r.
-2
Suppose 3*d - 2 = -2*r + d, -4*d - 2 = r. Let k = r - 2. Suppose k = -3*n + n. Solve n = -6*g + 2*g - 12 for g.
-3
Let m(d) = 7*d + 149. Let o be m(-21). Let b(k) = k. Let n be b(0). Suppose 3*c + 0*c = n. Solve 4*z - o*z = c for z.
0
Let h(y) = y**3 - 6*y**2 + 2*y - 12. Let f be h(6). Solve 0 = 3*u - f*u for u.
0
Let a = 8 - 4. Suppose 1 = a*t - 7. Solve 15 = -o - t*o for o.
-5
Let g(m) = m**3 + m + 5. Let f be g(0). Suppose 0 = -f*l - 5 + 25. Let b(i) = -i**3 - 2*i**2 - i + 1. Let q be b(-2). Solve w = l*w + q for w.
-1
Let q be (-2)/10 + -3 + (-56)/(-5). Solve 0 = -4*m - q - 0 for m.
-2
Suppose -10*t + 9*t + 3 = 0. Solve 0 = -3*c - 9 - t for c.
-4
Let f = 30 + -25. Suppose -f*y = -5*u + 3 - 13, -3*u + 10 = 5*y. Solve 0 = -d - u*d for d.
0
Suppose -42 = -8*m + 54. Solve -5*j + m = 2 for j.
2
Let j(z) = z**2 - 21*z. Let w be j(21). Solve 0 = -w*c - 2*c for c.
0
Let k(i) = -i + 16. Let x be k(14). Suppose -6 = -x*y + 4. Solve y*t = 2*t + 12 for t.
4
Let a(h) be the second derivative of h**4/12 - 7*h**3/6 + 2*h**2 + 3*h. Let w be a(7). Solve 3*i - 4*i = w for i.
-4
Let h(p) = p - 6. Let f = 55 - 31. Let k be f/(-28)*(-8 - -1). Let x be h(k). Solve 3*y + 11 + 4 = x for y.
-5
Let n(o) = 0*o - 4*o - o + 15 + 4*o. Let s be n(12). Solve 0 = 3*z - 4*z - s for z.
-3
Let q = -1 + 4. Let b = -1 + q. Solve -b*n - 12 = 2*n for n.
-3
Let t(s) = -s - 9. Let w be t(-12). Solve -w*h = 10 + 5 for h.
-5
Let s(c) = -c**2 - 7*c + 11. Let j be s(-8). Let b = 6 - j. Solve b*w = -0*w - 9 for w.
-3
Let n be (1*-1 - -1)*1. Suppose 32 = w - 5*o + 9, -5*w - 3*o + 3 = 0. Let x be 4/w*(-12)/(-1). Solve n = 4*t + x - 0 for t.
-4
Suppose 16 = 4*n - 2*b, -2*n + 25 = 3*n - 5*b. Suppose -x - 64 = -n*i - 6*x, 5*i + 5*x - 90 = 0. Solve 3*t = -2 - i for t.
-5
Let m = 122 + -116. Solve -m*z - 4 = -2*z for z.
-1
Let p be (1 + -4)*2/(-3). Solve -4*t + p - 6 = 0 for t.
-1
Let v be 0 - 1/((-1)/(-29)). Let a = -14 - v. Let x be 38/8 - 3/4. Solve 1 = -x*b - a for b.
-4
Let b(a) = -a**3 + 3*a**2 - 2*a. Let s be b(2). Let k be 2*(-3 - 36/(-8)). Suppose -8*j + 25 = -k*j. Solve s = j*o + 2 + 3 for o.
-1
Let g = 1 + 1. Let r(w) = 3*w**2 - 2*w - 2. Let v be r(g). Solve -v*s + 5*s = -2 for s.
2
Suppose -10 = -9*c + 7*c. Suppose 0 = -2*u - 3*t + 5, 26 = -u + c*t - 4. Let n(h) = -h**2 - 5*h + 5. Let k be n(u). Solve -k*z + 8 = -2 for z.
2
Let h(x) be the third derivative of -x**4/4 - x**2. Let g be h(-2). Suppose 0 = -117*v + 119*v - 6. Solve -g = v*s - 0*s for s.
-4
Let x(f) = -f**3 + 5*f**2 - 4*f + 2. Let q be x(4). Solve 2 - 6 = q*u for u.
-2
Let c be 36/8 - 2/4. Let o(v) = -v**3 - 12*v**2 + 14*v + 13. Let j be o(-13). Solve -c = -4*m - j*m for m.
1
Let y(g) = g - 4. Let i be y(8). Let r = i + -2. Let v be ((-14)/6 + r)*-18. Solve -2*q = -v*q for q.
0
Let c(g) = -g + 1. Let n = 2 - 1. Let y be c(n). Let i = 36 + -34. Solve y = i*o - 7*o + 25 for o.
5
Let t(n) = 2*n**2 - n + 1. Let c be t(2). Solve 5*k - 3 = c for k.
2
Let c(o) = 3*o**2 + 10*o + 6. Let z be c(-3). Solve -2*d + 5*d = z for d.
1
Suppose 3*t - 3 = -4*u, -3*u - 27 = -8*u + 4*t. Solve z = u*z for z.
0
Let o(g) = 12*g**3 - 1. Let b be o(1). Suppose -p + 3 = 3*z - 4, -z + b = -4*p. Solve z*f - 6*f = 0 for f.
0
Suppose -3*r + 7 = -2*r. Let p = 3 + 2. Solve p*m = r - 2 for m.
1
Let m(s) = -s**2 - s. Let f be m(-1). Solve -8*h + 4*h + 16 = f for h.
4
Let u be 2 - (-3 + 4 + -2). Suppose -5*d + u*v + 8 = 0, -2 + 5 = -3*v. Let c = d + 1. Solve -x = -2*x + c for x.
2
Let s(l) = l + 1. Let n be s(0). Solve -3 - n = c for c.
-4
Let v be (-34)/(-4) + 6/(-4). Let a(d) = -d - 5 + 6 + v. Let i be a(6). Solve h - i = -h for h.
1
Let o be 31/(-62)*(0/(-2))/1. Solve o = -v - 0*v - 2 for v.
-2
Let p be (-35)/(-6) - (-3)/18. Solve 9 = 3*l - p for l.
5
Let n(w) = 4*w - 26. Let s be n(7). Solve 5 = s*k + 1 for k.
2
Let d(w) = w**3 + w**2 - 4*w - 2. Let k be d(-3). Let m(o) = -o - 5. Let b be m(k). Solve b*y = 21 - 9 for y.
4
Suppose -x = -5*x + 12. Suppos