.
1
Let j(v) = -v**3 - 6*v**2 - 5*v + 1. Let l be j(-5). Let z = l + -1. Suppose -c = -z*c. Solve -2*p - 2*p = c for p.
0
Let c = 3 - 1. Let q(b) = b**2 + 6*b. Let o be 58/(-10) - (-1)/(-5). Let v be q(o). Solve -2*r + v = -c for r.
1
Let g be 90/(5 - 2) - 4. Solve 5*w + 6 = g for w.
4
Let m(k) = -k + 9. Let c = -1 + 9. Let y be m(c). Solve 0 = -w - 6 + y for w.
-5
Suppose 0 = 4*f - 3*f. Let q = f - 0. Solve 4*s - s = q for s.
0
Suppose m - 29 = 2*c, 0 = 4*c - 5*m + 86 - 13. Let b = -9 - c. Solve u = b*u - 10 for u.
5
Suppose -3*i + 20 = i. Let k(m) = 7*m - 2. Let y be k(2). Solve i*f - f = y for f.
3
Let k(w) = -w**2 + 4*w + 2. Let b be k(6). Let v be (-4)/(-14) - b/14. Suppose 0 = -2*o + v + 1. Solve -3*f + o = 13 for f.
-4
Let g be (-90)/12*8/6. Let y be 32/3 - 4/6. Let k = y + g. Solve k*p = 3*p + 6 for p.
-2
Suppose 0 = 2*j - 8*j + 12. Solve -u = j*u - 6 for u.
2
Suppose -1 + 6 = t. Solve 6 = t*n - 2*n for n.
2
Suppose -2*f - 96 = -4*f. Let q be (-4)/12 + f/9. Suppose 0*y + 5*z = 4*y, -3*z = -2*y. Solve 0 = -q*x - y*x for x.
0
Suppose -5*w + 0*w = 40. Let f = w + 10. Solve v = 3*v - f for v.
1
Let t = 86 + -80. Solve j = t*j + 20 for j.
-4
Let s = -38 + 64. Let j = s - 40. Let p = j + 20. Solve 0 = -l + p*l for l.
0
Suppose 0 = 2*z - 3 - 1. Solve -z*w - 16 = 2*w for w.
-4
Suppose -5*d = 4*x - 41, x - 3*d - 1 = -3*x. Let g(m) be the second derivative of m**5/20 - m**4/4 - m**2/2 + 3*m. Let s be g(4). Solve -x*l = -l + s for l.
-5
Let p(l) = -6*l**3 - l**2 + 1. Let k be p(-1). Solve -i + k = 4 for i.
2
Let a be -1 + (1 - -3 - 2). Let x be (3/6)/(2/(-16)). Let z be (14/x - 0)*-2. Solve -z - a = -4*d for d.
2
Let d(y) = -2*y + 4. Suppose 3 - 6 = 4*z + 3*q, -4*q = -2*z - 18. Let j be d(z). Solve -4*x + 2*x - j = 0 for x.
-5
Suppose -3*i + 0 + 3 = 0. Let c(r) = r**3 - 6*r**2 - 8*r + 7. Let s be c(7). Solve w + i = -s*w for w.
-1
Suppose 5*d + j = 8, 0*j = -2*d - 2*j. Let k be (-1 + (1 - 0))/d. Suppose -5*h + 8 + 7 = k. Solve h*l = -4 + 10 for l.
2
Let a be (-1)/(-3)*0 + 1. Suppose -o - a = -2*o + 3*x, -o = 4*x - 15. Suppose -o*v = -10*v. Solve 3*b + v = -6 for b.
-2
Let z be ((-4)/(-6))/((-3)/(-54)). Let l = 18 - z. Solve -k = -l*k for k.
0
Suppose 8*d - 10*d = -8. Solve -d*s - 4 - 4 = 0 for s.
-2
Suppose 6*z - 16 = 2*z. Solve 0 = z*b - 15 - 1 for b.
4
Let c = 58 - 41. Suppose c = 4*f - 3. Solve f*d + 1 = 11 for d.
2
Let n(k) be the second derivative of -k**4/3 + 4*k**3/3 + 7*k**2/2 + 2*k. Let t(x) = x**2. Let f(o) = -n(o) - 3*t(o). Let c be f(9). Solve -c*j + 0 = 4 for j.
-2
Let k = -38 - -41. Let a(i) = -i**3 - i**2 + 3*i - 4. Let v be a(-3). Solve -k*c + v = 2*c for c.
1
Suppose -6 = m + m - 2*v, 4*m - 2*v + 6 = 0. Solve -3*p + m*p = 9 for p.
-3
Suppose 7*x - 6 = 5*x. Solve 6 = x*l + 21 for l.
-5
Suppose -240 = -5*c - 0*c. Let q be 156/c - (-3)/4. Solve q*s + s = 20 for s.
4
Suppose -o - 2*o = -6. Suppose 3*c + o*c = 10. Suppose 4*l - 5*m - 18 = 0, -6 = -c*l + 3*m - 2*m. Solve -l = g - 4 for g.
2
Suppose 6 = -2*u, t + 5*u = -0*t - 9. Solve -3*l + t = -l for l.
3
Let v(d) = d**3 - 1. Let z(p) = -3*p**3 - 3*p**2 + 4. Let t(f) = -4*v(f) - z(f). Let m be t(2). Solve 5*y = m*y + 1 for y.
1
Suppose 0 = -s - 3*s - 8, 0 = -5*k + 5*s + 15. Solve k = -x - 0 for x.
-1
Let l be (-2 + 119/28)/(3/8). Solve 3*y - y = -l for y.
-3
Let z(b) = -b**2 - 7*b - 2. Let y be z(-3). Let h(j) be the third derivative of -j**4/4 + j**2. Let w be h(-1). Solve 4*l = w*l - y for l.
5
Let u be 6/2 + (-1 - -2). Suppose u*r + 8 = 0, -i - 3*i - r = 14. Let h be (-3)/i*2*2. Solve 1 = -n - h for n.
-5
Suppose 26 = -i - 1. Let p be (-6)/i - 2/9. Solve 3*w + 2*w = p for w.
0
Let l = 8 + 12. Suppose 4*a = -5*x + l, -10 = -x - 3*a + a. Solve -2*t = -x*t for t.
0
Suppose -1 = t - g - 6, -3 = 3*g. Solve t*r - 2 = 6 for r.
2
Let j be 0 + 3/(-18)*0. Solve -3*x = -j*x - 15 for x.
5
Suppose 1 - 31 = -3*i. Solve 0 = -3*z - 1 + i for z.
3
Let g(d) = -d**3 - 9*d**2 + 10*d + 2. Let s be g(-10). Solve -s*w = -0 + 2 for w.
-1
Let g be (-5)/(1/(3 + -2)). Let i = g + 10. Solve -8 = i*x - 33 for x.
5
Suppose 8*c + 25 = 3*c. Let m = c + 9. Solve 0 = 2*o + 2 + m for o.
-3
Let t be 10/4*(10 - 8). Suppose t*w - 20 = -0. Solve 0 = 3*a - 5*a + w for a.
2
Suppose 4 = 2*w - 2. Let d(z) = -z**3 + 11*z**2 - z + 13. Let o be d(11). Solve o - 14 = w*y for y.
-4
Let y(f) = 5*f + 21. Let g be y(-3). Solve 3*k = k - g for k.
-3
Let m(o) = o**3 - 3*o**3 - 2*o**3 + 3*o**3 + 4*o**2. Let f be m(4). Solve -2*n + 6 = -f for n.
3
Let j be (25/20)/((-1)/(-4)). Solve -j*a = -4*a for a.
0
Suppose -2*u = -6 - 4. Suppose u*c - 13 = -3. Solve d - c*d = -4 for d.
4
Suppose 0 = 4*u + 2*s - 16, -u - 4*s + 0 - 3 = 0. Solve 3 = u*p - 2 for p.
1
Let d = 30 - 25. Solve 2*q - d - 1 = 0 for q.
3
Let o be (-150)/24 - (-1)/4. Let n be o/9 - 22/(-6). Solve n*v + 1 - 10 = 0 for v.
3
Let g = 3 + -2. Suppose -4*f = -2*b + 42, 3*f - 8 = -4*b + 21. Suppose b = 2*w + g. Solve w*c - 30 = -5 for c.
5
Suppose -24 = -2*k - 4*o, o + 2*o + 15 = 4*k. Let r be -5*3/15*2. Let j = -2 - r. Solve 3*m + k = -j for m.
-2
Suppose 5*a - 11 = 39. Suppose -h + 5*r = a, r = 3*h - 4*r + 10. Solve 2*b + 6 + 4 = h for b.
-5
Suppose 3*p + 7 = -8. Let x = -1 - p. Let c be -1*(0 - -1)*0. Solve 0*b + x*b = c for b.
0
Let g(f) = -2*f - 7. Let c be g(-9). Let u = 13 - c. Solve u*n = -2*n + 4 for n.
1
Let i(w) = w**2 + 7*w + 6. Let v be i(-7). Suppose v = 2*d - 0*d. Solve l - d = -0 for l.
3
Let a(d) = d - 1. Let l be a(3). Suppose 5*u = l*u + 12. Suppose 4*p - u = 0, 0 = 3*x + p - 10 - 0. Solve -5*c + x = -2*c for c.
1
Let v(a) = 4*a**2 + 2*a + 1. Let l be 36/16 - 2/8. Suppose -3*d = l*u - 7*u + 1, -3*u + 3*d + 3 = 0. Let s be v(u). Solve -3*q + 9 = -s for q.
4
Suppose 5*o - 3*o - p = 0, 0 = 2*o - 2*p + 2. Solve 4*h - o = 15 for h.
4
Let n be 3*((-1)/(-1))/(0 - -1). Let b = 1 + 1. Solve n*r + b*r = 20 for r.
4
Let m be (1 - -1) + 24 + -11. Suppose -j + 3 + 0 = 0. Solve -j*c = 2*c + m for c.
-3
Suppose 5*j - 9 = 1. Solve -j*z = 2*z + 4 for z.
-1
Let c = 14 + -4. Solve -p = 4*p + c for p.
-2
Suppose -22 - 13 = -7*p. Solve 7 = -4*u - p for u.
-3
Let l = 8 + -4. Solve 9 - l = 5*h for h.
1
Let l be 208/6*(-3)/(-2). Let a = l - 32. Solve -a = 8*t - 3*t for t.
-4
Let o be (6/(-15))/((-2)/10). Suppose -3 - 3 = -3*v. Suppose 2*c = 2*x + x - 17, 2*x + 2 = -v*c. Solve s - x*s = o for s.
-1
Let k = -7 - -10. Solve k*v + 4 = 2*v for v.
-4
Suppose 0 = 6*k - 2 - 34. Solve 4*n - k = 2*n for n.
3
Let x = 28 + -28. Solve x = -5*d + 10 + 15 for d.
5
Let l(f) = f**3 + 4*f**2 + 7*f + 5. Let j be l(-4). Let i = j + 25. Solve -i*n - 12 = -4 for n.
-4
Let m(x) be the first derivative of -x**6/360 - x**5/40 + 2*x**3/3 - 2. Let j(t) be the third derivative of m(t). Let l be j(-3). Solve 0 = -l*u + 3*u for u.
0
Suppose 0 = -4*t + 5*t. Solve 4 = -j - t*j for j.
-4
Let b(f) = 3*f - 3. Let q be b(5). Suppose t - 24 = -q. Solve -3 = 3*v + t for v.
-5
Suppose g + 8 = 2*g + 2*j, 3*j = -4*g + 17. Solve -3*p = g + 4 for p.
-2
Let m = -144 - -144. Solve -k + 3*k + 4 = m for k.
-2
Let u = 38 + -35. Solve -w + u*w = 6 for w.
3
Let n be (-2 - -2)/(-1*1). Solve n = 3*y + 2*y + 20 for y.
-4
Let f(c) = -c - 4. Let x(j) = -4. Let k(z) = 3*f(z) - 4*x(z). Let y be k(4). Let m = y - -12. Solve 4*v = -m + 20 for v.
4
Suppose 5*t - 2*t - 27 = -3*s, -5*t + 2*s = -10. Let m(g) = -g**2 + 6*g - 5. Let v be m(t). Suppose -v*w + 2*w = -3. Solve 3*o + 9 = -w for o.
-4
Let l(h) = -2*h**2 - 9*h + 11. Let r be l(-5). Solve 3*v + r = v for v.
-3
Let g(s) = -2*s + 14. Let a(l) = l - 7. Let z(k) = 5*a(k) + 3*g(k). Let u = -9 + 4. Let i be z(u). Solve 4 = -4*c + i for c.
2
Let a(p) = -p**2 - 4*p - 3. Let t be a(-3). Solve t = -n - 0 - 5 for n.
-5
Let p(l) = -l**2 - 5*l. Let i be p(-5). Suppose 4*h - 11 - 1 = i. Solve h*y = -y + 20 for y.
5
Let w be 1/(-2) + 9/2. Let p(i) = i**2 - 6*i + 4. Let v be p(6). Let k be 60/9*6/v. Solve k = w*r - 2*r for r.
5
Suppose 0*h - 5*h + 15 = 0. Suppose -3*n = 19 - 7. Let x = 4 + n. Solve x*o = h*o + 6 for o.
-2
Let p(c) = 2*c**3 - c**2 - c + 1. Let i be p(1). Solve i = 2*a - 1 for a.
1
Suppose 65 = 3*y + l, 5 = 3*y - 3*l - 52. Suppose y = -7*q + 4*q. Let g = 9 + q. Solve r + g = -r for r.
-1
Suppose q = 9*q - 32. Solve w - 1 = -q for w.
-3
Let r(z) = -z**2 + 6*z - 6. Let q be r(6). Let x(c) 