
-1
Suppose 2*v - 5*y + 28 = 0, 0 = -3*v + y - 16 - 0. Let j be 1 - (v - -2 - 3). Solve -2 - j = -2*a for a.
4
Let n(c) = c**2 + 9*c + 8. Let u be n(-8). Suppose -p - 2*p = u. Solve p*z + 2 = 2*z for z.
1
Let b(c) = -2*c**3 - 3*c**2 - 3*c - 3. Let v be b(-2). Let j = 16 + -16. Let p(h) = h**2 - 2*h - 1. Let q be p(-1). Solve -v*z + q*z = j for z.
0
Let s(f) = f**3 - 15*f**2 - 15*f - 12. Let k be s(16). Let w be k/12 - (-1)/(-3). Solve 3*o = -w*o for o.
0
Let y = 19 + -17. Let h(s) = 2*s**2 - 1. Let q be h(y). Solve -q + 1 = 2*z for z.
-3
Suppose -5*j + 19 = 9. Solve -4*l = -j*l + 4 for l.
-2
Let d be (-4)/(-1) - (0/(-3) + 2). Solve -d*f - 2 - 8 = 0 for f.
-5
Let o = -9 + 12. Solve -5*b + o*b + 4 = 0 for b.
2
Suppose -2*y - 2*y + 40 = 5*r, 0 = 3*y - 5*r + 5. Solve -y*c - 16 = -c for c.
-4
Let o be 2 + 3*8/12. Let q(f) = f**2 - 11*f + 5. Let x be q(11). Solve -x + o = -b for b.
1
Let k(d) = -d**3 - 14*d**2 - 24*d + 2. Let z be k(-12). Solve -4*c - z = 6 for c.
-2
Let b(k) = -k**3 + k**2 + 5*k - 4. Let q be b(3). Let x = q + 10. Solve x*v + 12 = -v for v.
-3
Let u = -13 - -24. Suppose r + 4*w - 13 = 0, -2*r - 4*w = -7 + 1. Let v = -7 - r. Solve v = 5*b - 9 - u for b.
4
Let c = 4 - 2. Solve c = v + 1 for v.
1
Let l be ((-2)/(-4))/((-18)/(-180)). Solve -v - 4 = -l*v for v.
1
Let l = 15 + -7. Suppose 0*s - 2*s = -l. Solve 3*p - 2 = s for p.
2
Let o be 7/2*16/28. Solve -o = b + 1 for b.
-3
Suppose -r + 0*r + 5 = 0. Let n(q) = -2*q**2 + q**2 - 5 - q + 7*q. Let h be n(r). Solve -15 = -h*c + 5*c for c.
-3
Let w(s) = -s + 8. Let l(r) = 2 - 3*r + 5*r - r**2 + 3*r**2. Let i be l(-2). Let c be w(i). Solve c*n = 3*n for n.
0
Let i be (-1)/(-2) - (-1)/(-2). Solve z + i = 4 for z.
4
Let s(h) be the third derivative of h**5/60 - 7*h**4/24 + h**3/2 + 2*h**2. Let t be s(7). Solve 0 = -2*b + t - 13 for b.
-5
Let s be (-1)/(-3) - (-3)/(-9). Solve -4*f + s*f = -4 for f.
1
Let r = 51 + -31. Suppose -r = -4*q, 4*b = 2*b - 4*q + 30. Suppose -b*t = -w - 0*w - 14, -12 = -5*t + 3*w. Solve 0 = -t*a + 3 - 0 for a.
1
Suppose -2*n - 2*c + 4 = 0, -4*c = 3*n - 2 - 1. Let g(r) = -2*r**2 + 10*r + 16. Let x be g(6). Solve x*m - n = 15 for m.
5
Suppose 0 = -3*z - 2*z - s + 25, s = 0. Let u be 1 + 0 + -1 + z. Solve -u = -4*l - 1 for l.
1
Let n = -8 + -16. Let s be (n/30)/((-2)/10). Solve 0 = -s*a + 19 - 7 for a.
3
Let l(b) be the second derivative of -b**5/20 + 5*b**4/12 + b**2 + b. Suppose 4*y = z + 3, 5*z = z - 3*y + 26. Let g be l(z). Solve -g*n + 20 = 2*n for n.
5
Let m = 29 - 29. Solve 7*w - 2*w = m for w.
0
Let i(m) = 7*m**2 - m. Let k be i(-1). Suppose -q = 4*q - 3*s - 22, 3*q = s + 14. Let l = 0 + q. Solve k*x = 3*x + l for x.
1
Let i = -4 + -14. Let c = 22 + i. Solve 16 = 4*v - c for v.
5
Let t(b) = 2*b**2 + 9*b - 5. Let y be t(-5). Solve 2 = n - y*n for n.
2
Suppose 6*z - 4 = 5*z. Suppose 20 = -z*a - a. Let c = 0 - a. Solve i + c*i = 0 for i.
0
Let l = -28 - -34. Solve l*s = s for s.
0
Suppose 4*z - z - 15 = 0. Suppose 2*b - z = 1. Suppose 2*o = -5*p - 8, -16 = -2*p - b*p + 4*o. Solve -2*m - m = p for m.
0
Let j(g) = -3*g**2 - 7*g + 6. Let k be j(-3). Solve k*m = m + 1 for m.
-1
Suppose -8*h + 95 = -3*h. Suppose -q = 5*u - 5, -2 = q - 4*u - 7. Solve -h + 4 = q*x for x.
-3
Let p be 1 - (-2 - -1)*-1. Let z(a) = -a - 1. Let s = -1 + -4. Let k be z(s). Solve k*o + 0*o + 20 = p for o.
-5
Let n(g) = g + 1. Let o be n(1). Suppose -3*a + 5*i + 32 = 0, 2 = o*i + 4. Solve 2*b + 1 = -a for b.
-5
Let b(z) = 2*z**2 + 3*z. Let p(j) = -2 - 3*j + 2*j**2 + j**2 - 2*j**2. Let i be p(3). Let o be b(i). Solve 0 = 3*l - l + o for l.
-1
Let b = -2 - -3. Let l be b/(-1) + -2 + 1. Let z be l + 5 + 6/(-3). Solve 0 = -g - 1 - z for g.
-2
Suppose 3*i = -y + 6, 0*i + 5*y = -2*i + 4. Solve v = -1 - i for v.
-3
Suppose 8 = -2*b - 5*n, -2*b + 3*n + 8 = -0*n. Solve -2*f = b + 3 for f.
-2
Suppose 7*f = 10*f - 21. Let c = -4 + f. Solve n = -c*n for n.
0
Suppose 0 = -3*v - 2*v - 2*d + 11, -3*v - 5*d + 18 = 0. Solve -v = -s + 2 for s.
3
Suppose -2*x = -3*x. Let g(k) = k**3 + 3*k**2 - 3*k + 4. Let w be g(-4). Let s = w - x. Solve v - 3 + 1 = s for v.
2
Let j(w) = -5*w**3 - 3*w**2 - 3*w - 1. Let d be j(-1). Solve -d*s - 2 = -6 for s.
1
Let s(h) = -h**3 - 3*h**2 - 2*h. Let u be s(-3). Solve 0 = -0*k + 2*k - u for k.
3
Let w be 36/16*(-16)/(-6). Solve -w = -x - x for x.
3
Let d be (-3 - -4)/((-5 - -3)/(-10)). Suppose -3*n - 3*l = -0*l, 0 = n + 4*l. Let x be n*3/(12/2). Solve -d = -x*p + p for p.
-5
Let v = -1 - 3. Let j be (-15)/v + 4/16. Suppose -4*u = -4*q + 40, 0*u = 5*q + j*u - 32. Solve -g = -5*g - q for g.
-2
Let z(g) = 23*g - 227. Let s be z(10). Let m(f) = 3*f**2 - 6*f - 6. Let i(w) = -w**2 + 1. Let q(v) = i(v) + m(v). Let o be q(5). Solve 0*c - s*c = -o for c.
5
Suppose 0*b + 15 = b. Solve 3*r - 8*r - b = 0 for r.
-3
Suppose 0*d - 3*y - 21 = -3*d, 18 = -d - 4*y. Suppose -3 = d*q - 15. Let z be (-16)/(-3) + 3/(-9). Solve -z*x + q = 26 for x.
-4
Let j be 1 + (2 - (3 - 3)). Suppose -h = -5*g - 3, -5*g = -j*h - 0*g + 9. Solve h*k + 2*k - 25 = 0 for k.
5
Suppose -4*l + 3*n = 11, 3*l + 23 = 5*n + 1. Let d = l + 6. Solve -3 + d = -4*u for u.
-1
Let t = -10 - -15. Solve j - t + 0 = 0 for j.
5
Let n(a) = 3*a**2 - a. Let q be n(1). Solve 3 = -q*b - 7 for b.
-5
Let x(z) = -z**3 - 7*z**2 + 2*z + 17. Let r be x(-7). Solve d + 0*d - r = 0 for d.
3
Suppose q + q = 0, -g + 4*q - 14 = 0. Let p(k) = -k - 10. Let u be p(g). Solve 15 = u*i + i for i.
3
Suppose -4*i = q + 2*q - 14, 5*q = -4*i + 18. Let w(u) = 6*u + 10. Let k(t) = t + 1. Let o(f) = 4*k(f) - w(f). Let h be o(-4). Solve 0 = h*c - 4*c - q for c.
-1
Let a = 2 + 0. Suppose -a*y + 2*o = 4*o, -3*y = -4*o - 21. Suppose -d + 0*d = -y. Solve p = d*p for p.
0
Let i(b) be the first derivative of -b**3 - 3*b**2/2 + 3*b + 2. Let y be i(2). Let q be y/(-10)*20/3. Solve q - 25 = 3*d for d.
-5
Let p = 158 + -155. Solve -a + 20 = p*a for a.
5
Suppose 12 = 3*k + k. Suppose 5*t + 2*n - 5 - 1 = 0, -5*t + 16 = -k*n. Solve 4*z + t = -2 for z.
-1
Let n be (-18)/8*(-8)/3. Let l(s) = -s**3 + 5*s**2 + 8*s - 8. Let b be l(n). Solve b = -2*f + 4*f for f.
2
Let g(x) = -12*x**3 + x**2 - 2*x + 1. Let l be g(1). Let r = l - -18. Solve 0 = r*t - 2*t for t.
0
Let d(m) = -m**2 + 10*m + 15. Let u be d(11). Solve -2*p + 8 = u for p.
2
Let n = -3 - -3. Suppose u + 3*f = 3*u + 15, -u + 2*f - 10 = n. Let b be 0/(4/(-2) - -4). Solve b*l - 3*l - 3 = u for l.
-1
Let p = -2 - -2. Suppose -z + x = 3*x - 12, 5*z + 4*x - 30 = p. Let a(n) = n**3 - 6*n**2 - 7*n + 4. Let y be a(7). Solve -z*l = -l + y for l.
-4
Suppose 2*q - 1 = 15. Suppose -3*b = b + q. Let a be (4/b - -6) + -2. Solve 0 = k + a*k + 15 for k.
-5
Let m be -1 + (-21)/(-2 - 1). Let f(j) = -j**3 - 12*j**2 - j - 8. Let t be f(-12). Suppose -2*b = -t*b + 30. Solve -m*w = -w - b for w.
3
Let w(c) = c**2 + 9*c + 4. Let x be w(-4). Let y be 9/2*x/(-6). Solve 4*r = r + y for r.
4
Let m(k) = k**3 - k**2 + 6. Let n be m(0). Let u(c) = -c + 7. Let a be u(n). Solve 4*b + a = 3*b for b.
-1
Suppose 0*d + d = 0. Let x(i) = i**2 + 6*i - 8. Let f be x(-8). Solve d = -0*n - 2*n - f for n.
-4
Let s = -44 - -49. Solve s*g = g for g.
0
Let f(q) = 5*q - 20. Let n(s) = -s + 4. Let h(v) = -2*f(v) - 11*n(v). Let j be ((-28)/(-6))/(4/6). Let g be h(j). Solve -8 = -g*w + 7*w for w.
-2
Let p(i) = i**3 + 3*i**2 - 6*i - 6. Let a be p(-4). Suppose 2*u + 34 = 4*k, -a = 3*k + u + 3*u. Let s be ((-15)/k)/(1/(-2)). Solve -s + 4 = w for w.
-1
Suppose 2*u = 3*x - 12, 5*u + 2*x - 3*x + 30 = 0. Let d be 280/(-42)*u/4. Solve -d = 3*j + 2*j for j.
-2
Suppose 3*u - 4 = -5*c, 2*u - 1 = -3*c - 2*c. Let f = u - 2. Solve -2*b = 1 + f for b.
-1
Let f(w) = -w**3 - 7*w**2 - 6*w + 6. Let g be f(-5). Let x = -9 - g. Solve x = 5*a - 0 for a.
1
Let p(l) = l**3 - 6*l**2 - 7*l - 4. Let c be p(7). Let d be 6/c - 2/(-4). Let t(z) = -14*z**3 + 2*z**2 + z. Let y be t(d). Solve i = -2*i + y for i.
5
Suppose -5 + 3 = -2*m. Suppose 4*n - 3 - m = 0. Solve -b = -0*b - n for b.
1
Let l be -2 + 1 + 0 + 2. Solve 5*x + l = 4*x for x.
-1
Let s be (216/81)/(2/3). Solve -6*l + s*l - 4 = 0 for l.
-2
Let t = 7 + -8. Let v = 3 - t. Solve 2*y - 4 = v*y for y.
-2
Let x = 7 - -13. Suppose -3*r - m + x = -5*m, -4*r = 2*m - 12. Solve -n = -r*n for n.
0
Suppose 5*w - 8 = -2*f + 3*w, 4*f + w = 16. Let s be (-2)/f + (-