v + p for v.
-4
Let j(c) = -c**3 + 8*c**2 + 8*c + 13. Let p be j(9). Solve 3*d - p*d - 2 = 0 for d.
-2
Suppose -4*r + 0 = 40. Let p(m) = m**3 + 11*m**2 + 10*m + 12. Let u be p(r). Solve -4 = -4*w - u for w.
-2
Let b(d) = d**2 + 7*d - 11. Let i be b(-9). Solve i*f = 3*f for f.
0
Let n(a) = 6*a**3 - 2*a - 2*a**2 + 3*a + 3*a**2. Let z be n(-1). Let t(d) = -d + 1. Let r be t(z). Solve 0 = -r*i + 2*i + 10 for i.
2
Suppose -4*x = -3*x + a - 9, 2*a + 17 = 3*x. Let s = x - 1. Solve -10 = -s*y + 4*y for y.
5
Suppose -10 = -0*r - 2*r + 2*o, 4*r - 26 = -2*o. Let q be 2/(r/33) - 1. Solve 15 + q = 5*y for y.
5
Suppose 0 = 5*a - 42 - 18. Solve -a = -5*f + f for f.
3
Let a = 9 - 7. Suppose a*f + 5*p - 15 = 0, 2*f - 2*p = -f - 6. Solve f = -2*o - 1 - 5 for o.
-3
Suppose 3*b + 3*x - 11 = -47, 4*x - 24 = 5*b. Let h = -6 - b. Solve -h*q = 3*q for q.
0
Let p be (3/(-2))/(12/(-32)). Let t = 4 + -4. Solve q + p*q = t for q.
0
Suppose -15 = -2*y - y. Solve -3*a = 2*a + y for a.
-1
Suppose 6 - 12 = -2*h. Solve h*t = 7*t + 16 for t.
-4
Suppose 5*n + 3*v = 19, 0 = 4*n - v + 5*v - 12. Solve -2*q = -3*q - n for q.
-5
Let f be 5 - -2 - (-9 + 8). Solve -6*w + f*w - 2 = 0 for w.
1
Let x(y) = -y + 18. Let p be x(10). Solve -4*t - p = 4 for t.
-3
Suppose 0 = h - 2*x + 10, -7 = h + 2*x - 3*x. Let y = 0 - h. Suppose -g - y*g = -10. Solve g*r + 2 = -0 for r.
-1
Let x be (-1)/(-3) - (-17)/3. Solve 9 = 5*q - x for q.
3
Let g be -3*(16/(-3))/4. Solve -2*d = -2 + g for d.
-1
Let m = -9 - -13. Suppose m*n - 16 = 4. Solve 8 = n*r - 2 for r.
2
Let m be (2/(-5))/((-1)/(-5)). Let u be m*(3 - 1)/(-2). Solve -u*q - 3 = q for q.
-1
Suppose 2*p = 6*p - 16. Let r(y) = -y - 3. Let s be r(-9). Let a = s - p. Solve 0 = 2*u + a*u - 8 for u.
2
Suppose -3*t = t + 12. Let f be (-1)/(-1*(-1)/t). Suppose 0*m - f = -m. Solve 6*y = m*y for y.
0
Let y = 32 + -30. Solve -4*q + 3*q = y for q.
-2
Suppose -n + 1 = -8. Solve 1 = -5*a - n for a.
-2
Let g be 12/(-42) + (-4)/(-14). Solve g = -5*s + 2*s - 6 for s.
-2
Suppose -2*u + 20 = 3*u, -5*r - 20 = -5*u. Suppose w + 3 - 8 = 0. Solve n = w - r for n.
5
Suppose -22 = -5*s + 8. Solve 3*r = s*r - 9 for r.
3
Let n(d) = d**2 + 3*d + 6. Let u be n(-3). Solve -3*m = -u + 18 for m.
-4
Suppose -32 = -4*f - 0. Suppose -h + f = h. Suppose h = -2*g + 22. Solve -11 = 4*t + g for t.
-5
Let i = 19 + -16. Suppose 0 = -i*p + y + 11, -2*p - 3*y = -y + 6. Suppose l + 1 = 3. Solve -l*q + 6 = -p for q.
4
Suppose 0*x + 5*i + 38 = 2*x, 0 = -4*x - i + 54. Solve -4*v = 2 + x for v.
-4
Suppose -4*m = -3 - 5. Solve 6 = -m*f - f for f.
-2
Let m = 18 - 13. Let f be (-1 + -1 - m)*-1. Solve 15 = 2*s - f*s for s.
-3
Suppose 0*q - 13 = -4*q - w, 5*q - 18 = -3*w. Let p be (0 - 3/(-3)) + q. Solve 0 = p*c + c - 15 for c.
3
Let k = -11 - -16. Solve -4*o = -13 + k for o.
2
Let c be (-2)/(-5) + 174/15. Solve 0*j + 3*j = -c for j.
-4
Let y(o) = o**3 - 7*o**2 + 7*o - 1. Let m be y(6). Solve 0 = -0*x + x - m for x.
5
Let p(u) = 3*u + 26. Let f be p(-8). Solve 5*c = -8 - f for c.
-2
Suppose 0 = -6*c + 5 + 25. Let r be c/((-2)/(-6)*3). Let d = 1 + -1. Solve -5*i = -d*i - r for i.
1
Let a be (-2)/4 - (-123)/6. Let o(i) = 2*i + 3. Let p be o(-4). Let u be (1*-1)/(p/a). Solve 0 = u*f - 3*f for f.
0
Suppose -11 = -3*j + 4. Solve 2*y + j = -5 for y.
-5
Let g be (4 - 9) + (1 - 2). Let c = -2 - g. Solve 4*l + c = -16 for l.
-5
Let k(z) = z**2 - 4*z - 1. Let x = -4 + 9. Let g be k(x). Solve -2*d + 4*d - g = 0 for d.
2
Let z = -32 + 34. Solve z*w - 3 = 5 for w.
4
Let s = 105 - 100. Solve s*x + 6 = 8*x for x.
2
Suppose 8 = -4*g + 28. Solve g*w - 6*w = 5 for w.
-5
Suppose r = -6*o + 2*o + 22, -r - 5*o = -27. Let t be (-2 - -4)/2 + 0. Suppose -w - t = -2. Solve -7 = r*k - w for k.
-3
Let y(z) = z**2 - 6*z + 2. Let t be y(5). Let a be 0 + 1 + -1 - t. Solve -k - a - 1 = 0 for k.
-4
Suppose i + 17 = 2*z, -z + 2*i = 6*i - 4. Suppose 0*d - 4*d + z = 3*l, 10 = 4*l + 5*d. Solve l + 1 = -p for p.
-1
Suppose -15 = 3*z, -6*s + 3*s + 3*z + 15 = 0. Solve s = 5*v - 0 - 15 for v.
3
Let s be (-2)/(-4) - (-7)/2. Let q(n) = -2*n - 12. Let h be q(-4). Let b = h + s. Solve b*w = -2*w for w.
0
Let n(f) = -f**2 - 3*f + 1. Let t be n(-5). Let u = t + 5. Let z be 6/(-4) - 18/u. Solve -z*q + 6 = -6 for q.
4
Let i = 41 - 38. Solve 4*v = v - i for v.
-1
Let i be 16*(4/10)/((-56)/(-35)). Solve i*x - 15 = x for x.
5
Let i(x) = -x - 6. Let o(w) = w**2 + 2*w - 1. Let l be o(-2). Let t = -8 - l. Let q be i(t). Solve 0 = -y - 5 + q for y.
-4
Let y(t) = -t**3 - 4*t**2 + 13*t + 8. Let c be y(-6). Solve -7*s + c*s = -10 for s.
2
Suppose 59 = 7*p + 17. Let s be (-21)/9 - (-2)/(-3). Let v = 6 + s. Solve 0 = v*x - p*x for x.
0
Let w be (-2)/(-6) - (-8)/3. Suppose -2*f - 12 = 4*l + w*f, -2*l - 2*f = 8. Let p = 11 + l. Solve p = 4*x + 7 for x.
-1
Let w be 2/(-6) + 13/3. Suppose y = -w*y + 20. Solve -y*h = -h for h.
0
Let n be (27/3)/(-3)*-1. Solve q = -2*q - n for q.
-1
Let o be (2 + -4 - -6) + 1. Suppose -17*g + 19*g - 6 = 0. Solve q - g = -o for q.
-2
Let h be (2 - (3 - 4)) + 1. Solve -d - h = -1 for d.
-3
Let f(o) = -o**3 - o + 1. Let b be f(0). Solve -3*p + 4 = b for p.
1
Let x(l) = -l - 8. Let h be x(-5). Let v = h + 4. Let c = -1 + v. Solve 5*s + c*s = 0 for s.
0
Let j be (-2)/(-3)*(5 - 2). Suppose j*d - 4*d + 233 = 3*v, -5*v = -2*d - 367. Suppose -2*b + v = 3*b. Solve 0 = 2*r + r + b for r.
-5
Let t(h) = -4*h**3 + 2*h**2 + 2*h + 1. Let g be t(-1). Let x = 4 + g. Let n be 4/(-8)*(-1 + -1). Solve n = 5*d - x for d.
2
Suppose -3*l = -y - 14, 4*y - 3*l + 76 = -l. Let h be (-74)/(-14) - y/(-70). Solve 0 - h = -w for w.
5
Let z(i) be the third derivative of i**4/24 - 2*i**3/3 + 2*i**2. Let u be z(5). Solve j - u = 3 for j.
4
Let o(h) = -2*h + 70. Let w be o(25). Solve -2*s - w = -7*s for s.
4
Suppose 15 = 2*a + 7. Let o be 2/(-6) - 20/(-6). Suppose o*j + 5 = -5*u + 21, 4*u - 14 = -3*j. Solve -a = -j*c + 2 for c.
3
Suppose 3*f - 9 = -3. Let n(w) = 2*w**3 - 1 - f*w - 2*w**2 - w**3 + 0. Let p be n(3). Solve p*k = -k + 3 for k.
1
Let v(c) = -c**2 + 5*c + 5. Let x be v(5). Suppose -k - x*t + 18 = 0, 7*k - 4*t - 3 = 2*k. Solve 0 - 9 = k*o for o.
-3
Let a be 3*-5*(-9)/3. Suppose k = 3, 0 = -2*y - y + 5*k + a. Solve 0 = 4*m - 0*m + y for m.
-5
Suppose 14*m - 117 = 51. Solve 4*a + 0 = -m for a.
-3
Let o(b) = b**3 - 5*b. Let j be o(-3). Let r be (24/(j/(-3)))/2. Solve 2 - 5 = r*z for z.
-1
Let g(y) = y + 11. Let j be g(0). Solve 5*l + 1 = j for l.
2
Let q be (-3)/(15/20) - -7. Solve 3*z + 3 + q = 0 for z.
-2
Let b(s) = s**2 + s + s**3 + 2 + 0 - s**2. Let r be b(0). Solve 3*a - r*a = -5 for a.
-5
Suppose 2*v + 8 = 0, 5*v + 32 = 3*f - 0. Let r(k) = -k**3 + 6*k**2 - 6*k + 6. Let t be r(5). Let x be 3/12 - t/f. Solve -6 = 3*y - x for y.
-2
Let h(z) = -z**3 + 4*z**2 - z + 6. Let x be h(4). Solve 17 - x = -3*p for p.
-5
Let i be 11 + (2 - (-30)/(-5)). Solve 3*s - i*s + 20 = 0 for s.
5
Suppose -8 = -2*m - 3*l, 2 = -3*m - 4*l + 3*l. Let z be (-4)/m + (-6)/(-6). Solve 1 = -q + z for q.
2
Suppose -5*v = -23 + 3. Let m(c) = c**2 - 5*c + 8. Let g be m(6). Suppose 0 = -2*o + g - 4. Solve -v*x = -o*x for x.
0
Suppose 0*d + 2*d - 10 = 0. Solve 10*n - 15 = d*n for n.
3
Let r = 2 - 7. Let q = r - -10. Solve -9 = -q*z - 4 for z.
1
Let d = 114 - 78. Let y be d/(-8)*4/(-6). Solve y + 3 = -3*w for w.
-2
Suppose -f = -4 - 6. Suppose -r - 4*r + f = 0. Solve -6 = r*i + i for i.
-2
Let j = -74 - -80. Solve -j = -d - 3 for d.
3
Suppose h = 2*h - 4*b - 11, -3*h + 11 = -b. Suppose -35 = -h*g - 2*g. Suppose -2*t + g = -t. Solve 5 = -3*c - t for c.
-4
Let f = -4 - -4. Solve 0 = 3*i - f*i - 12 for i.
4
Suppose -4*u = l - 16, -l + 6 = 2*u - 4. Suppose 3*x - l = x. Suppose x*k + 0*j - 2 = -3*j, 4*k - 26 = 5*j. Solve k = -a - a for a.
-2
Suppose 2*v + 8 + 20 = 0. Let x be v/21 + (-34)/(-6). Suppose 2*y + 3*a = -0*y - 15, -2*y = -x*a - 25. Solve y = q + 2*q for q.
0
Let y be 0 + (1 - 3 - -2). Solve y = 4*q + q + 25 for q.
-5
Suppose 28 = 3*i + 2*i + 4*d, 4*i = -5*d + 17. Let p(a) = a - 4. Let j be p(6). Solve j*t + i = 4*t for t.
4
Let z be 5/((-15)/(-9)) - 15. Let o = 12 + z. Solve o = 3*s - 4*s + 5 for s.
5
Let v(k) = -k**2 - 9*k - 15. Let h be v(-6). Solve 0 = -0*t + h*t + 12 for t.
-4
Let f(g) = 4*g**2 + 5*g**2 + g**3 - 4*g**2. Let w be f(-5). Solve 0 = -5*a - w + 15 for a.
3
Suppose 0 =