.
-1
Let w(s) = 2*s + 12. Let a be w(-6). Solve a = -z + 3 for z.
3
Let q = -2 - -4. Suppose 0 = -3*w - 0 + 6. Suppose -4*x + 7*n = q*n, w*x = -5*n. Solve x = 5*z - 0 - 5 for z.
1
Let d be (1 - 9/15)*5. Suppose l + d*s + 2 = -2*l, 4*s = l - 4. Suppose l = z - 2 - 8. Solve 2*w + 3*w - z = 0 for w.
2
Let b(l) = 16*l**2 - 2*l - 1. Let y be b(-1). Let c = 26 - y. Suppose 0 = -8*f + 10*f - 3*h + 9, 5*f = 5*h - 15. Solve f*p + c = -3*p for p.
-3
Suppose -3*c = 4*s - 27, -c + 0*c + 9 = 2*s. Let z be 4/3*c/6. Solve z*q + q = 0 for q.
0
Let o = 8 + -6. Suppose 0*p = -o*p + 8. Solve p*g - 1 + 17 = 0 for g.
-4
Suppose -15 = -4*b + 1. Suppose 3*d + b*o = -3, d = -3*o + 1 - 7. Solve d*m - 5*m + 6 = 0 for m.
3
Let d(k) = k**3 - 6*k**2 + 12*k - 15. Let u be d(5). Solve 4*p = -p - u for p.
-4
Suppose 3*i - x - 3 = i, i - 3*x = 9. Solve i = -3*k + 3 + 9 for k.
4
Let o(a) = -a**3 + 3*a**2 - 6*a - 5. Let u(h) = h**3 - 3*h**2 + 7*h + 6. Let v(g) = 6*o(g) + 5*u(g). Let d be v(2). Solve -3*s + s = d for s.
-1
Let u(l) = l**2 - 10*l + 4. Let t be u(10). Solve 0 = t*d - 6 + 2 for d.
1
Let l(t) = 5 - 5*t**2 - 4*t - 4 + 2*t**3 - t**3. Let o be l(5). Let a = -1 - o. Solve 5*i - a + 3 = 0 for i.
3
Let r(l) = 10*l + 1. Let h be r(1). Suppose -4*k = -c + 5*c - 56, 0 = 5*k - 2*c - 35. Let o = h - k. Solve -3 = -d - o*d for d.
1
Let v = 5 - -1. Solve 4*h + 22 = v for h.
-4
Let r(v) = v**2 - 2 - 7*v + 15 - 4*v. Let j be r(10). Let g = -5 - -7. Solve -j + g = -u for u.
1
Suppose -3*y - 15 = -2*c, -6*c = -3*c + 3*y + 15. Let x be 3*(-2)/(-18)*9. Suppose x*a - 2 - 16 = c. Solve 3*d = a*d for d.
0
Let g = -368 + 370. Suppose 3*t + 0*w = 2*w + 8, 0 = -3*t - 3*w + 33. Let d = -2 + t. Solve 2*v = -g*v - d for v.
-1
Let m be (4/(-14) - 315/98)*-2. Solve 5*a - m*a = 0 for a.
0
Let m = 10 + -10. Suppose m*z = z. Suppose 3*d - 40 + 16 = 5*i, 4*d = -4*i. Solve z = 4*t - d*t - 4 for t.
4
Suppose 0 = -3*r + 3*m, -3*m + 32 = -r + 6*r. Let k = 12 - r. Suppose k = -4*o - 8*h + 4*h, 4*o = -2*h - 4. Solve -4*l - 3 - 1 = o for l.
-1
Suppose 4*o - 15 = 5. Solve 0 = o*b - 5 for b.
1
Suppose 2*y + 3 = 3*y. Suppose 13 = y*j + 4. Solve 0 = j*s + 12 - 0 for s.
-4
Let n(h) = -2*h**2 + 12*h + 4. Let c be n(6). Solve -2*s = -c*s - 4 for s.
-2
Suppose 7*a - 6 = 5*a. Solve a*p + 6 = p for p.
-3
Suppose 2 = -4*t - 2*d, 5*t = -2*d - 2*d - 10. Solve -u - t*u + 15 = 0 for u.
5
Let p(n) = -3*n + 3 + 3*n**3 + 2*n**2 + 3*n**3 - 5*n**3. Let o be p(-3). Solve 0*a - 3 = o*a for a.
-1
Suppose 6*t = 5*a + 3*t - 8, a = -2*t - 1. Suppose 32 = 4*b - s, b + 12 = 5*s + a. Solve -3*f = -0*f - b for f.
3
Suppose 0 = -3*v + 4*g + 2 - 3, 2 = 4*v - 2*g. Solve -19 = 5*t + v for t.
-4
Let p be (-6)/(-2) + (-2 - -2). Let r = -4 - -2. Let x be r/4 - (-3)/6. Solve x = y + p*y + 12 for y.
-3
Let k(i) = -24*i - 1. Let n be k(-1). Suppose 0 = 4*u - 3*v - n, 0 = 3*v + 5 + 10. Suppose -2*w - u*a + 66 = 0, -2*w - 2*w - a = -123. Solve -5*z = w - 5 for z.
-5
Let g be 2*-11 + 2 + -4. Let z = g + 34. Solve -6*w - z = -w for w.
-2
Let a be 7 + (-1 + -1 - -2). Let x = -4 + a. Solve x*j = 10 - 1 for j.
3
Let p(k) = k + 11. Let t be 6/(-8)*(1 + 11). Let b be p(t). Solve 0 = -4*l + b*l - 4 for l.
-2
Suppose w + 9 = 4*f, 6*f - 18 = -w + f. Solve w*o + 6 = -0*o for o.
-2
Let v = -53 - -56. Solve -v*o + 5 + 4 = 0 for o.
3
Let s = 7 + -4. Suppose 0 = -s*i + 6. Solve -i*q = -0*q - 8 for q.
4
Let r(k) = k**2 - 11*k - 13. Let n be r(12). Let w be (-3)/9 - (-20)/6. Let a = w + n. Solve -a = 4*x - 2*x for x.
-1
Let g(b) = b**3 + 4*b**2 + 4*b + 4. Let y be g(-3). Let x be y - (-2 + 4) - -1. Solve 4*l - l = x for l.
0
Suppose 43 = 4*n - 5. Solve 0 = 6*h - 2*h + n for h.
-3
Let m = 18 - 23. Let t = m + 20. Solve r + 4*r = -t for r.
-3
Suppose j - 2*j = -3. Let v be 1/(-1 + (-6)/(-5)). Let q be 4/(v*8/100). Solve i - j*i = q for i.
-5
Let k be ((-4)/4)/((-20)/8 - -2). Solve a - k = -a for a.
1
Let o be (4/(-6))/((-1)/(-3)). Let q be (o - -1)*-2 - 2. Suppose 3*t - 3 = -3*n, -5*n = -7*t + 2*t + 35. Solve q*i = t*i - 4 for i.
1
Suppose 76 = 3*b + 4*z, -4*z = -6 - 10. Solve 2*k - b = 7*k for k.
-4
Let p be 3 + (-5 - 1) + 5. Let o be -4*(p - (6 + 0)). Solve -5*h - o = -h for h.
-4
Let d(z) = z**3 - 2*z**2 + 3*z - 1. Suppose -p = -0 - 2. Let v be d(p). Solve -2*l = -v*l + 15 for l.
5
Let c(x) = x**3 - 2*x**2 + 1. Let m be c(1). Suppose n - 4 = -m. Suppose d - 28 = 2*f, n*d - 52 = -f - 3*f. Solve -2 = -5*a + d for a.
4
Suppose 22 = 4*o - 3*u, -2*u - 1 = 3. Solve 0 = o*t - 6*t - 8 for t.
-4
Let a be (-21)/2*(-2 - 0). Suppose -v + 0 = q - 1, a = q - 4*v. Suppose -q*w + 8 = -w. Solve 0 = -2*o - w*o for o.
0
Let k be (-2 - -2)/((-6)/(-6)). Solve k = 5*d - 3*d + 8 for d.
-4
Let h(s) = s**3 + 7*s**2 - 9*s - 8. Let i be h(-8). Suppose i = -w + 3, j + 4*w - 17 = 0. Suppose j*v - 5*t - 2 = -7, -5*t = 3*v - 13. Solve y + v = 6 for y.
5
Let z(i) = i**2 - 20*i + 102. Let k be z(9). Solve -3*y + k = -12 for y.
5
Let g(a) = -9 + a + a + 3. Let v be g(5). Solve -v*q - 14 - 6 = 0 for q.
-5
Suppose 6*t = 4*t + 22. Suppose 2*o = -2, u - 2*o = -0 - 4. Let m = u + t. Solve m*y = -0*y for y.
0
Let s(c) = -c**2 + 7*c - 4. Let y be s(6). Solve 0 = y*v - 3 + 5 for v.
-1
Let o(b) = -b**2 - 5*b - 3. Let s be o(-6). Let g(t) be the first derivative of t**3/3 + 9*t**2/2 + 4*t - 18. Let f be g(s). Solve -f*d + 3*d = 0 for d.
0
Let c be 2*4*(-10)/(-16). Suppose -3*z + 2 = n - 5*z, c*z = 4*n - 17. Solve -4*d = n + 4 for d.
-3
Suppose -1 = 3*b + 2. Let s = -3 + b. Let a be (-2)/(-1)*(-10)/s. Solve a*v - 12 = -2 for v.
2
Suppose -24 = -5*o + 1. Solve -o*c - 1 = -11 for c.
2
Suppose 0 = -3*r - 2*q - 2, -5*q + 0 = 5. Solve r*n + 15 = -3*n for n.
-5
Suppose 2*i - i = 2*c - 4, i + 2 = c. Solve 2*f + c + 8 = 0 for f.
-5
Suppose -4*x + 2 = -34. Suppose 4*i + 2*y + 0*y = 2, -2*i - 4*y - 8 = 0. Suppose 5*a + 0*c + i*c = 5, -2*a + 11 = -c. Solve 3 + x = a*n for n.
4
Let x be -1 + 1 + 6 + -1. Let v(s) = -s**2 - 11*s - 8. Let b be v(-10). Suppose -5*w + 72 = -4*d, 5*d + 75 = b*w + 3*w. Solve -x*h - w = -h for h.
-3
Let f(a) = -2*a. Let s be f(-1). Suppose 3*z = 4*u + 43 + 1, 2*u - 6 = -s*z. Solve -3*o - o - z = 0 for o.
-2
Let m be (1 + -2)/((-1)/3). Suppose 3*n - 9 = -m*z - 0*n, 15 = 5*z - 5*n. Solve 0*x = z*x for x.
0
Let c(f) = -1. Let l(t) = 3*t + 3. Let j(a) = 9*c(a) + l(a). Let w be j(3). Solve -r = w + 2 for r.
-5
Let b be (-8)/(-20) + (-8)/(-5). Solve -2 = -3*i + b*i for i.
2
Suppose 0 = -6*t + 28 - 124. Let s = 20 + t. Solve 0 = -g - s*g + 25 for g.
5
Suppose 3*r + 0 - 3 = 0. Suppose p + r = 5. Suppose -2*z + 14 = -4*h, 0*z = -2*z - p*h + 46. Solve z = -l + 4*l for l.
5
Suppose 3*h + 6 = 3*x, -2*x + h = -8 - 0. Solve -x = -3*a - 21 for a.
-5
Suppose -5*m = 4*l - 4*m - 10, 4*l = -4*m + 16. Suppose -6*n = -2*n. Solve l*p - p = n for p.
0
Let l = 1 + 4. Suppose -10 = -5*f + 5. Solve -2*u - l = -f*u for u.
5
Let u(t) = t**3 + 2*t**2 - 2*t - 2. Let c be u(-2). Solve -i = -c*i for i.
0
Let f = 2 - -2. Suppose 40 = 2*s + 2*s. Suppose 5*w = 15 + s. Solve w = f*l - 11 for l.
4
Let c = 1 + 1. Let g(n) = n**2 + 8*n + 6. Let w be g(-9). Solve w = -7*i + c*i for i.
-3
Let c(q) = -6*q + 2*q - q**2 + 6 - 2*q. Let s be c(-6). Let a be (-4)/(-3)*s/4. Solve a*z = -0*z for z.
0
Let z = 182 - 182. Suppose 0 = -5*w + 7 + 13. Solve z*l - w = -l for l.
4
Suppose -2*k - 26 - 4 = 0. Let w(y) = -y**3 - 16*y**2 - 14*y + 15. Let f be w(k). Solve 5*x - 7 - 3 = f for x.
2
Let t = -5 - 2. Let l = t - -10. Solve -9 = -3*s - l for s.
2
Suppose 5*c - 7*c = 0. Solve c = o + 3 - 0 for o.
-3
Suppose -3*i = 2*u - 6, 0 = -5*u - 0*u - 3*i + 24. Let q = u - -9. Suppose -5*j + 0*j = -g - 20, 2*g = -j - 7. Solve 2*a + j*a = -q for a.
-3
Suppose 0*u - 3*u - 117 = 0. Let o be (-1)/(3 + u/12). Suppose 7 = o*c - 1. Solve -4 = -c*q + q for q.
4
Let x(m) = -2*m - 12. Suppose -35 = -f + 6*f. Let n be x(f). Solve 2*c + 4 = -n for c.
-3
Let n = 69 - 21. Let j be (-2)/(-9) - n/(-27). Let o be 18 - (1 - 3 - 0). Solve -o = -j*w + 7*w for w.
-4
Let c be (12/(-15))/(2*4/(-120)). Solve -c - 4 = -4*w for w.
4
Suppose 0*s - s + 2 = 0. Solve -l = l + s for l.
-1
Let o be ((-7)/(-2))/(3/6). Suppose 3*c - 8 - o = 0. Let p = -18 + 22. Solve -c*a - p + 24 = 0 for a.
4
Let p(c) = -2*c**2 + 2*c + 3. Let a be p(-3). Let y = -15 - a. Solve -y*u - 6 = -3*u for u.
