4
Suppose 0 = -3*f + 3*y + 4 + 14, -y = 3*f - 14. Solve f*i = 2*i + 6 for i.
2
Let v(g) = -g**3 + 7*g**2 - 7*g + 6. Let a be v(6). Solve -4*o + 3*o = a for o.
0
Let s(i) = i**2 + 5*i + 8. Let u be s(-4). Solve u*l - 2 = 2 for l.
1
Suppose 0 = -2*b + 7 + 1. Solve 3*w + b = w for w.
-2
Let q = 49 + -44. Solve 0 = -5*u + q for u.
1
Let j(u) = -u**3 - 11*u**2 - 11*u - 7. Let g be j(-10). Solve 2*t = g*t for t.
0
Let k(n) = -n**2 - 5*n - 3. Let s be k(-3). Solve 5*u = 4*u + s for u.
3
Let c be (-4 + 3 - -22) + -4. Solve -4*g + c = 5 for g.
3
Let a be 2/3 + (-46)/6. Let w = a - -12. Suppose -c = -w*c. Solve -2*s = -c*s + 2 for s.
-1
Suppose -10 = -2*p - 4. Suppose x - 4*b + 12 = 0, 3*x - p*b = b - 12. Suppose -4*a + 4 = -3*a. Solve -i - a = -x for i.
-4
Let a be ((24/(-9))/(-2))/((-7)/(-42)). Solve a*y - 4*y = 4 for y.
1
Let r be 6/(-3) - 1 - (3 - 22). Solve -4*z - r = -0*z for z.
-4
Let a = -7 + 9. Let p = a + 0. Solve -k = p*k - 6 for k.
2
Suppose -q = -3*s + 14, -4*q = -s - q + 10. Solve -s*k = -k for k.
0
Let a be (-15)/(-5) + -3 + 0. Solve -4*n - 18 + 2 = a for n.
-4
Let w = -4 + 2. Let t(i) = -2*i + 1. Let r be t(w). Let p be 6/(-4)*(-20)/15. Solve -p*y = -r*y + 9 for y.
3
Let n be 28/((-1)/(1/(-2))). Suppose 4*g + 2 = n. Solve -4*h = -g*h - 1 for h.
1
Let f = -4 + 6. Let y be -4 + 3 - (f + -7). Solve -6 = -2*h + y for h.
5
Let v be 10/(-4)*-10 - 0. Suppose 2*a = 2*m - 48, v = 2*m + a - 11. Solve 0*h - m = -5*h for h.
4
Let s = -43 + 45. Solve -s = -3*l + 4*l for l.
-2
Suppose -2*v + 6 = -0. Solve -v*z = -2*z + 5 for z.
-5
Let u = 23 + -20. Suppose 2*l + 3*y - 29 = 0, -3*l = -l - 3*y - 11. Solve c - u*c = -l for c.
5
Let f(p) = -p**3 + 24*p**2 + 26*p**2 - 11 - 61*p**2 - p. Let n be f(-11). Solve 0*l + 3*l - 9 = n for l.
3
Let n = 22 - 21. Solve -4*y - n = 19 for y.
-5
Let v = 59 - 57. Suppose -2*u - 3*u = -20, 0 = 3*g - 3*u. Let p be (-1 - 1)*(g - 6). Solve v*a = p*a - 6 for a.
3
Let d(i) be the third derivative of i**7/2520 - i**6/720 + i**5/20 - i**2. Let n(f) be the third derivative of d(f). Let t be n(2). Solve q = 2*q - t for q.
3
Suppose -4 = -b - 3*b. Let n be -1 - 2*(-1)/2. Suppose n = -f + 1 + 1. Solve -b - 5 = f*c for c.
-3
Let g(w) = 2*w**2 + 4*w + 2. Let f be g(-2). Suppose z + 4*s + 16 = 0, -1 = z + f*s + 5. Solve -z*h - 15 = h for h.
-3
Let i be -1 - (-5 + 3) - (-10 + 5). Solve 0 = -4*j + i*j - 10 for j.
5
Let t(s) = -5*s - 7*s + 3*s**2 - 3*s**2 - s**2 + 2. Let m be t(-12). Solve -6*d = -m*d + 16 for d.
-4
Let a = -37 + 53. Solve -a = -2*n - 2*n for n.
4
Let i be -3 + (2 + (-16)/10)*15. Let k be (6 + -1)*3/5. Solve 0 = -i*y + 4*y + k for y.
-3
Let h(l) = -l**3 + 5*l**2 + 4. Let q = 5 + 0. Let z be h(q). Let y(w) = -w**2 + 3*w. Let r be y(3). Solve -2*a - 8 + z = r for a.
-2
Let y(g) be the first derivative of g**3/3 - g**2/2 - 3*g - 2. Let d be y(0). Let b(x) = -2*x - 1. Let o be b(d). Solve -3*l + 4*l = o for l.
5
Let a = 2 - 1. Suppose -2*h + 4*j = -h, -2*j = -2*h + 6. Suppose h*d - a = 7. Solve 0*r + 2 = -d*r for r.
-1
Suppose 0*c + 6 = 3*c - 4*w, 3*w = 0. Solve c*v = -v - 15 for v.
-5
Suppose 0 = -4*a + 12, 0 = 4*q - a - 11 - 22. Solve 0 = -3*g + q + 3 for g.
4
Suppose -3*f = 9, 2*o - f + 2*f = -7. Let d be (-1)/((-4)/o)*0. Let n = 293 - 288. Solve d = 2*v - 3 - n for v.
4
Suppose -2*g = -2*o + 5*o + 10, -3*g - 15 = -5*o. Solve o = f - 2 + 3 for f.
-1
Let n = 8 - 3. Suppose 5*y - 40 = -5*p, -3*p + 21 = n*y - 11. Suppose -81 = -5*q + 3*a - 0*a, 3*q - 4*a = 53. Solve 0 = y*h + h - q for h.
3
Let n(a) be the second derivative of 2*a - a**2 + 5/6*a**3 + 0. Let r be n(2). Solve 4*w - r = 2*w for w.
4
Let u = 44 + -41. Solve -u = z - 8 for z.
5
Let s(k) = -k**2 - 3*k + 5. Let u be s(-4). Let r be 2/5*(u - -4). Solve r*i = i - 5 for i.
-5
Let n(g) = 3 + 1 + 10*g**3 + 8*g**2 - 9*g**3 + 7*g. Let r be n(-7). Suppose -r*v + 0*v + 12 = 0. Solve -6 = v*s + 9 for s.
-5
Suppose -k + 150 = 5*k. Solve -2*v - k = 3*v for v.
-5
Let q(a) = 2*a**2. Let r(c) = c**2 - 3*c + 1. Let w be r(2). Let g be q(w). Suppose -2*i = i - 15. Solve -i*x = 7 - g for x.
-1
Suppose -3*k - 2*k - 3*q = -4, -3*q + 8 = k. Let n be (k*2 - -2)/(-1). Solve 3*a - 7*a - 12 = n for a.
-3
Suppose -3*c = 9, -5*l + 9 + 0 = -3*c. Solve l = 3*h - 6*h - 15 for h.
-5
Let p(i) = i**3 + 6*i**2 - 3*i - 8. Let v be p(-6). Solve -4*w = -v - 6 for w.
4
Let a be 3/(-4) + 6/8. Let o = 2 - -1. Solve 2*i - o*i + 3 = a for i.
3
Let z(i) = -i**2 + 8*i - 9*i**2 - i**3 + 2*i + 2*i**3 + 6. Let q be z(9). Solve 3*v = -2*v + q for v.
3
Let f be 6*-1*(-5)/10. Solve 0*c = f*c - 12 for c.
4
Let b(k) = k**3 - 4*k**2 - 15*k + 19. Let h be b(6). Solve -8 - h = -3*x for x.
3
Let h be (-2 - -1) + 12 + 1. Let y be 20/(16/4) - 3. Solve -a - h = y*a for a.
-4
Let f = 0 + 0. Suppose 3*k - 12 = -f*k. Solve x = -k*x + 20 for x.
4
Suppose 0 = a - 10. Let k be (2/(-3))/(a/(-345)). Solve 0 = -5*h - 3 + k for h.
4
Let t = -1 + -10. Let d = t + 15. Solve 3*o - 8 = d for o.
4
Suppose -7*t + 35 = -2*t. Let v(c) = -c + 22. Let b be v(t). Solve b = -5*q - 0 for q.
-3
Let m(r) = -r**3 - 14*r**2 - 14*r - 9. Let z be m(-13). Let x be 2/((-2)/2)*-1. Solve -x*t = z + 2 for t.
-3
Let c be 1/(-2)*0/12. Solve c = -t + 3*t + 4 for t.
-2
Let o(r) = 2*r - 2 - 6 - 2. Let x be o(5). Solve z - 5 = -x for z.
5
Let w(m) = m**3 + 2*m**2 + 2*m - 3. Let n be w(1). Solve i = n*i for i.
0
Suppose 15*m + 94 = 229. Suppose 2*z = 3 + 5. Solve -z*s = -m*s + 10 for s.
2
Let q(l) = -7*l**3 + l**2. Let x be q(-1). Solve 4*z - x = 2*z for z.
4
Let j = -13 + 8. Let v be ((-2)/j)/(2/10). Solve 0 - v = 2*k for k.
-1
Let b = -33 - -20. Let l = 23 + b. Solve 9*p = 4*p - l for p.
-2
Suppose 1 = -4*o + 29. Suppose 4*k + 3 + 1 = 0. Let h = o + k. Solve y = h*y for y.
0
Let a(q) = q**2 - 5*q - 1. Let w be a(6). Let r = -5 + 12. Solve -w = -r*g + 2*g for g.
1
Suppose 11*u - 4 = 10*u. Solve -u*r - 14 = -2 for r.
-3
Let v(h) = h**2 - 9*h + 5. Let l be v(9). Solve -l*m + 4 = 14 for m.
-2
Let f be 5*(17/(-5) - -4) + -3. Suppose 0 = u + 3*y + 8, -2*u + y - 2*y = -4. Let g be 56/12 + u/(-6). Solve f*z + g = -4*z for z.
-1
Let q be (-2)/14 + 500/70. Solve -q = -4*n - 3 for n.
1
Let s(u) = -8*u + 4. Let a be s(-2). Solve -3*p + a = 2*p for p.
4
Suppose 6 = -f - g + 1, 4*f = 2*g - 44. Let v be 2/f + (-58)/(-18). Solve -5*m + 4*m = v for m.
-3
Let v(r) = -4*r - 1. Let k be ((-1)/2)/(5/10). Let a be (5/(-10))/(k/(-2)). Let x be v(a). Solve 0 = -4*h - 1 - x for h.
-1
Suppose 3 = 2*g - 3*m, -g = 4*m + 4 - 0. Suppose 4*t + g*t = 36. Let z = 12 - t. Solve 0*f + 6 = -z*f for f.
-2
Suppose h + s - 5 = 0, 5*h + 3*s = 6 + 19. Solve -15 - h = -5*u for u.
4
Let y = 2 - 0. Suppose q + 5*c - 6 = 1, y = 2*c. Solve s = q - 6 for s.
-4
Suppose 2*w = 4 + 6. Solve -w*k + 2 = 12 for k.
-2
Let u be 7 - (-5)/((-5)/3). Solve u*n + n = 25 for n.
5
Let x = 6 - 4. Let h be ((-8)/6 + 0)*-3. Solve h = 2*a + x*a for a.
1
Let a be (-1 + -11)/(14 + -16). Solve 2*q - 4 = a*q for q.
-1
Let y(g) = g**2 - 9*g + 7. Let x be y(9). Solve 5 = 3*o - x for o.
4
Let f(z) = -5*z**3 + 1. Let v be f(1). Let x(h) = -5*h. Let p be x(v). Suppose -21 = -3*m - 3*k, 4*m - 2*m - 3*k = -6. Solve -y + p = m*y for y.
5
Let z be 4*(-2)/12*-3. Solve 0*t = z*t for t.
0
Suppose -o = -4*o - 27. Let b = o + 10. Solve -n = 2 + b for n.
-3
Let c = -3 - -2. Let p = c + 3. Solve -p*z - 6 = -2 for z.
-2
Let h(o) = -o - 1. Suppose 0 = 2*m - 3*m - t - 5, -2*m = -3*t. Let v be h(m). Solve 2*d = v - 8 for d.
-3
Let b(q) = -2*q + 12. Let m be b(7). Let f(p) = -p + 3. Let s be f(5). Let c = m - s. Solve c = -2*z + 3*z for z.
0
Let z be 4/6*3/1. Let p(m) = -7 - 4*m**2 + 6*m + 3*m**2 + 2 + 2. Let f be p(z). Solve -f*r - 2 = 18 for r.
-4
Let a(z) = z**2 + 5*z - 6. Let m be a(-6). Solve -4*g + 8 + 8 = m for g.
4
Suppose 4*b - 5 + 22 = 5*x, 0 = 5*b - x - 5. Suppose -2*o = h + 3*h + b, 25 = -5*o. Solve -a - 12 = h*a for a.
-4
Let g(c) = -c. Let m be g(4). Let u(k) = 7*k**2 + 3*k**3 + 7 - 4*k - 4*k**2 - 3 - 2*k**3. Let j be u(m). Solve t + j = -t for t.
-2
Suppose -4*n = 3*l - 20, 0 = -2*l - 0*n + 5*n - 25. Suppose 3*o + o = l. Solve 4*g + 7 + 1 = o for g.
-2
Let y(v) be the first derivative of -7*v**2 + v - 2. Let x be y(-1). Suppose -3*u + x = 2*u. Solve 0 = h + u + 2 for h.
-5
Suppose -11 = -4*c - 3. Suppose n = -c*z, z - 3*n = -7*n. Sol