y**2 + y + 5. Let x(i) = 6*i**2 - 5. Let d(a) = 5*h(a) + 6*x(a). Let b be d(-6). Solve 4 - b = -3*t for t.
-1
Let z(y) = -y**2 - 7*y + 4. Let x(s) = 6*s**2 + 36*s - 21. Let r(q) = -2*x(q) - 11*z(q). Let h be r(2). Solve -1 = 3*l - h for l.
1
Let p(y) = -y**2 - 7*y + 10. Let d be p(-8). Let u = 3 + 0. Suppose 0 = d*q + u*v + 6 + 5, -q - v - 3 = 0. Solve x - q*x + 2 = 0 for x.
2
Let w be (25/2)/((-1)/(-2)). Let j = w + -17. Let k = 11 - j. Solve -5*q + k - 8 = 0 for q.
-1
Let g(m) = -8*m**3 - m**2. Let p be g(-1). Solve 2 - p = -5*n for n.
1
Let y(t) = -t - 9. Let d be y(-8). Let i = d - -2. Suppose -3*c + i + 2 = 0. Solve -m - c + 4 = 0 for m.
3
Suppose -4*i + 7*i - 6 = -v, 0 = -3*v - 5*i + 14. Solve h + 2 = v for h.
1
Suppose -3*a + 4 = -m - 0, 0 = -m - 3*a + 26. Suppose 6*y + 15 = m*y. Solve -15 = 4*c - y for c.
-3
Suppose 0 = -u - 4*u + 60. Solve 5*j = u + 13 for j.
5
Suppose -3*c = 2*o + 2, 4*o = -4*c - c. Solve o = 5*p - 10*p for p.
-1
Suppose -2*q + 2 = -2. Suppose -q*k - k - 36 = 0. Let d = -9 - k. Solve d - 7 = 4*h for h.
-1
Suppose -32 - 8 = -4*a. Let y = -3 + a. Solve -2*k - 1 = y for k.
-4
Suppose 33 = y + 31. Solve -y*p + 0 = -2 for p.
1
Let h be (-1)/((-80)/25 - -3). Solve -5 = h*g - 0 for g.
-1
Suppose 4*k - 24 = k. Suppose -2*g + 0*g = -k. Solve 2*z + g = -0*z for z.
-2
Let y(f) = -f**3 + 6*f**2 + 7*f + 3. Let m be y(7). Solve -m*k - 6 = -0*k for k.
-2
Let i be (-15)/5*4/(-6). Let n be (-20)/(-15) - i/(-3). Let g(c) = -c - 2. Let l be g(-4). Solve -n*f = l*f + 12 for f.
-3
Let t(v) = -3*v**3 - v**2 - v. Let p be t(-1). Let w(d) = d**2 - 2*d + 7. Let a be w(-5). Suppose -a = -p*x + x. Solve x + 4 = 5*n for n.
5
Let c = 121 - 121. Solve c = 2*u - 0*u + 4 for u.
-2
Let i = 0 + -2. Let d be i/3*21/(-2). Solve d*t - 15 = 4*t for t.
5
Suppose 3*c + 5 - 20 = 0. Solve 0 = -p + c*p - 12 for p.
3
Let o be 2/6*(-12)/2. Let f = -5 - o. Let w be f/(-2)*-2 + 5. Solve -w*a = a - 9 for a.
3
Let p(x) = -x**3 + 2*x**2 + 4*x - 1. Let u be p(3). Let n be 3/6 - (-3)/2. Solve 0 = u*d + n - 6 for d.
2
Suppose 0 = -4*n + 3*a + 12 + 8, 4*n - 2*a = 16. Solve -n*v + 3*v = -2 for v.
-2
Suppose 7 = 3*y + 10. Let x be (-8)/((y - -3)/(-1)). Solve 0 = -x*i + 3*i + 5 for i.
5
Let t(s) = -2*s - 1. Let f = 5 + 3. Suppose 2*i + f = -2*i. Let k be t(i). Solve -r - k = -4*r for r.
1
Let p = 179 + -171. Solve 0 = -p*b + 4*b - 12 for b.
-3
Let q(t) = -t**3 + 5*t**2 + t - 5. Let y be q(4). Solve 0 = -4*n + n + y for n.
5
Suppose -5*a - 196 = -216. Solve -a*r = r for r.
0
Suppose -2*x = 5*q - 0 - 1, -4*x + q = -13. Let r be 24/((0 + 1)/((-2)/(-4))). Solve 3*i + r = -x for i.
-5
Let v(j) = j**3 + 8*j**2 - 8*j + 12. Let r be v(-9). Let l = -3 + r. Solve 3 = -3*i - l for i.
-1
Suppose 3*r = -5*w + 6, 5*r - 8 = r + 3*w. Suppose 3*z = 3*v - 0*z - 348, 348 = 3*v + 2*z. Let c be (-1)/(-5) + v/20. Solve n - r = -c for n.
-4
Let f(a) = -3*a + 1. Let s be f(3). Let j(u) be the third derivative of u**5/60 + 3*u**4/8 + 2*u**3 - u**2. Let y be j(s). Solve 0*x + 4 = y*x for x.
1
Suppose 9*j - 17*j = 0. Solve j*u - 4 = 4*u for u.
-1
Suppose -n - j + 4*j + 12 = 0, -3*j = 9. Suppose -3*f - 12 = 0, 0 = -q + 6*f - n*f + 15. Solve -q*c + 2*c = 0 for c.
0
Suppose -12*f = -13*f. Solve -3 = -d - f*d for d.
3
Let a = 147 + -142. Solve 0 = n + a - 6 for n.
1
Suppose 2*f + d = -3*f + 10, 2*d = 3*f - 19. Solve -f*s + 5*s = 10 for s.
5
Let q be -2*(-3)/(-3)*-1. Solve 5 = q*y - 1 for y.
3
Let w = -191 - -193. Suppose 2*x + 3*k - 8 = 4, 4*x = 4*k - 16. Solve w*p = -x*p + 8 for p.
4
Let q = 10 - 14. Let a be (-2)/8 - 1/q. Let l(k) = -k**2 - 21*k + 4. Let y be l(-21). Solve j + y*j + 10 = a for j.
-2
Suppose 19 = d - 1. Solve 2*b = 6*b - d for b.
5
Let v = -25 - -40. Suppose v = 5*f + d, 5*f - 3*d + 0*d - 35 = 0. Solve 19 = 5*m + f for m.
3
Let r(i) = i**2 + i + 1. Let o be r(-2). Let d = -7 + 7. Suppose 2*m = 4*h - d*h + 8, 2*m + 2*h = 8. Solve -m*k = -5*k - o for k.
-3
Let l = 7 + -5. Suppose 20 = l*f + 3*f. Suppose -y + 0*y = -a - 9, -y = 2*a - 3. Solve f*q + y = -1 for q.
-2
Suppose -2*p - 46 = 4*y, 2*y + 0*p + 4*p = -32. Let n = -8 - y. Solve -5*o = -n*o for o.
0
Suppose 1 = -2*r + 11. Solve r*o - 15 - 5 = 0 for o.
4
Let g(f) = -f - 3. Let y be g(-5). Let j be 0/(2/(-2)*y). Solve j = -s + 2 + 1 for s.
3
Suppose -2*a - 9 = -a - 4*q, 5*q + 1 = 3*a. Solve -a = k - 4 for k.
-3
Let u(k) = 7*k + 37. Let n be u(-5). Solve n*d - 4 = 2 for d.
3
Let j(q) = -2*q - 7. Let t be j(-6). Let k be 3 + 1 + (t - 6). Solve i - 4 = -k for i.
1
Suppose -6 = 2*g - 2*s, 7*g - 3*s = 3*g - 9. Let t(n) = -3*n - 4. Let j be t(-3). Solve f - j*f = g for f.
0
Suppose -2*y + 14 = 4*k, -10 = 2*k - 4*k + 2*y. Solve -28 = -k*r - 12 for r.
4
Suppose -10*q - 6 = -12*q. Solve -q*r + 6 = -r for r.
3
Let w(y) = -y**2 + 6*y + 4. Let l be w(6). Solve 4 = l*g - 5*g for g.
-4
Let i(b) = -b**3 - 5*b**2 - 4*b + 5. Let f be i(-4). Let q = f - 3. Suppose 10 = w - 4*s, -4*w - q*s + 4 = -0*s. Solve -3 = w*z + 3 for z.
-3
Suppose 1 = 4*o - 7. Let f = -2 + 2. Solve o*i + 2*i = f for i.
0
Let q = -8 - -9. Suppose 2*y + v = -q, 3*y - 21 = 3*v - 0*v. Solve -y*t = -6*t + 8 for t.
2
Suppose -12 = 3*q + 3. Let a be (-303)/(-15) - (-2)/(-10). Let k be (-2)/q - (-32)/a. Solve k*l + 3 = 5 for l.
1
Let p = -3 + 7. Let x(i) be the first derivative of i**2/2 - 2*i + 3. Let w be x(p). Solve -f + w = -2*f for f.
-2
Suppose -4*m + 8 = -4. Suppose p = m - 1. Let g(h) = h**2 + 4*h - 4. Let x be g(-5). Solve -p*i + x = -1 for i.
1
Let i be 4*(15/6 + -2). Solve x = -i*x - 15 for x.
-5
Let i be ((8 - 1) + -4)*1. Solve -3 = -i*a + 3 for a.
2
Let k(s) = -s**2 + 9*s - 9. Let h be k(6). Solve 3*i + h = -0 for i.
-3
Let o(k) = 11*k**2 + 1. Let r be (5 + 9/(-3))/2. Let a be o(r). Solve 6*z - a = 3*z for z.
4
Let i be (0 - 0)/(8/(-4)). Suppose q + 9 = 12. Solve p + 2*p - q = i for p.
1
Let r be 788/18 - (-6)/27. Suppose 4*s = -0*o - 4*o + r, 2*s - 3*o = 42. Suppose -4*i + s = -1, 0 = 5*y + i - 44. Solve y = c + c for c.
4
Suppose -21*s + 18*s = -6. Solve -4*b + s = -6 for b.
2
Suppose 4*z = -83 - 77. Let d = z + 56. Suppose -d = -5*k - 6. Solve k*j = -0*j for j.
0
Let c(x) = 10*x. Let b be c(1). Let q(n) = 2*n - 19. Let l be q(9). Let y be 2 + 0/l - -2. Solve -y*d - b - 6 = 0 for d.
-4
Suppose 4*g = 4*t + 8, -3*g - 2*g + 2*t + 4 = 0. Solve -3*x + 0*x = g for x.
0
Let v be (-14 - -15)/((-1)/(-3)). Suppose 0 = -2*b + 9 + 9. Solve -4*f - b - v = 0 for f.
-3
Let j = 27 + -4. Suppose 0*n - 11 = -5*t + 3*n, 0 = 5*t + n - j. Let f be (6/t)/(2/8). Solve 0 = q + 2*q - f for q.
2
Suppose 0*i - 3*i + 3 = 0. Let m be 0*(i - -2)/(-3). Solve -4*z + 8*z = m for z.
0
Let g = 169 - 163. Solve 0 = m - g*m for m.
0
Let d be (3 - 1 - (1 - -1))/4. Suppose -o = 2*o - 36. Solve -3*w + d = o for w.
-4
Let p(j) = j**3 + 8*j**2 + 11*j - 1. Let h be p(-6). Solve 3 = 4*l - h for l.
2
Let f be (-36)/63 - 64/(-14). Solve f*t = -0 - 4 for t.
-1
Let n be ((-27)/(-6))/(-3)*40/(-6). Let v = 10 + -6. Solve v*i = -i + n for i.
2
Suppose 6*h - 5*h + 22 = 5*r, 2*h - 16 = -2*r. Let a be (4/6)/((-6)/(-9)). Solve 4 + a = r*k for k.
1
Let u(t) = -t + 2. Let h be u(-4). Let j = h - 3. Let s(n) = -n + 15. Let y be s(11). Solve y = -v - j*v for v.
-1
Suppose -n + 4*n = 3. Solve 0 = 2*d + 3 + n for d.
-2
Let r(o) = -o + 2. Let v be r(-2). Solve h = -0*h - v for h.
-4
Suppose 3*y = 5*y - 16. Suppose t + y = 2*t. Suppose 18 = 3*p + 9. Solve -t = -v - p*v for v.
2
Let f be 1/(((-6)/(-16))/3). Suppose -8 = -3*t - k - 3*k, -t + 5*k + 9 = 0. Solve -f = -t*h + 4 for h.
3
Let h be (1 - 3)/(-1) - -2. Solve 0 = p + p - h for p.
2
Let z = -3 + 6. Suppose -2*w + z = -w. Solve 5*i - w*i = 8 for i.
4
Let l(q) = -q**3 + 5*q**2 - 5*q + 4. Let d be l(3). Let g = 3 - d. Let n = 7 + g. Solve -n*k + 3 = -0 for k.
1
Let m = 24 + -9. Solve -l + 4*l - m = 0 for l.
5
Let v(s) = 2*s**3 + s**2 - s + 1. Let o(g) = g - 1. Let x = 5 + -3. Let i be o(x). Let y be v(i). Solve y = h - 1 for h.
4
Suppose b - 91 = -2*o, -2*b + 41 = 2*o - 51. Suppose 5*s - o = 55. Solve -3*v + 8*v - s = 0 for v.
4
Let m be 3 + (-8)/4 + -1. Suppose -5*j = -v - 30, 0*j + 30 = j - 5*v. Solve j*t = -m*t + 20 for t.
4
Suppose 4*z + 5*y - 1 = 0, 5*z = -4*y + 2 + 6. Let f(j) = -j**2 + 17*j - 16. Let k be f(16). Solve a = -k + z for a.
4
Suppose 5*g - 1 = -4*x + 16, -4*x +