13 = 3*s. Solve -t*a + 12 = -6*a for a.
-3
Let z be 1/(-2)*70/(-7). Solve -5*n - z - 15 = 0 for n.
-4
Let v(r) = -r**2 + 4*r + 5. Let t be v(5). Suppose l - 2*a - 4 = 0, -2*a - 4 + t = -2*l. Let k = 3 + 0. Solve -2*f + 5*f + k = l for f.
-1
Let j be 18 - 6 - (7 - 1)/2. Solve -3*h - j = -0*h for h.
-3
Let t(b) = -b**3 - 4*b**2 - 3*b + 2. Let k be t(-4). Let a be 1/1 - 2 - k. Let i be (10/a)/((-1)/6). Solve 3*s + s - i = 0 for s.
1
Suppose -75 = -0*r - 5*r. Suppose 3*v = 2*y + 21, -1 = 4*v + y - 18. Suppose 0 = 3*t + v*u - u - 9, -5*u - 3 = -t. Solve 0*c - r = -t*c for c.
5
Let c = 4 - 1. Suppose f - 10 = -4*h, 4*h - 12 = c*h - 5*f. Let n be (-3*2/(-6))/1. Solve -g - n = -h for g.
1
Suppose 0 = -u + 4*u. Suppose 3*a - 4 + 1 = u. Solve 0 = d + 2 - a for d.
-1
Let b(o) = -3*o**2 + 20*o - 17. Let q(z) = z**2 - 7*z + 6. Let a(p) = 6*b(p) + 17*q(p). Let j be a(1). Solve 4*f = -j*f for f.
0
Let u(s) be the first derivative of 5*s**3/3 - s - 2. Let p be u(1). Let c be (8/(-12))/(p/(-6)). Solve 6 = l + c for l.
5
Let i be (-10)/(-3)*57/38. Suppose 0 = -4*u + 10 + 6. Let p be u/(-2) - (i + -11). Solve 0 = 3*v + p + 8 for v.
-4
Suppose -3*h = -j - 12, 4*h + j + 3*j = 0. Solve -s = -h*s + 4 for s.
2
Let p be ((-4)/(-3))/((-2)/(-6)). Suppose -3*s + 4*l + 15 = -l, 2*l + 15 = 3*s. Solve -p*r = r - s for r.
1
Let n be (-2)/(-4) + (-18)/(-4). Let v = 9 - n. Solve -12 = -v*y + y for y.
4
Suppose -s + 5*x + 13 = -4*s, -3*s + 7 = x. Solve s*h = -20 + 4 for h.
-4
Suppose -2*b = 2*r - 4, 0 = 4*b + 3*r + 1 - 9. Solve g = 3*g + b for g.
-1
Suppose -3*z - 42 = -5*l - 0*z, 0 = 5*l - 4*z - 46. Suppose -3*f - 24 = -l*f. Solve 0 = 4*p - 0*p + f for p.
-2
Let k be -1 + (14 - 2)/3. Suppose 0 = -k*j - j. Suppose j*t + 12 = 2*t. Solve 0 = t*v - v + 15 for v.
-3
Let c(k) = k**3 - 4*k + 3. Let f be c(2). Suppose -f*r = -2*r. Solve -5*w - 11 - 4 = r for w.
-3
Let t be ((-6)/(-3) - 1)*4 + 2. Solve -t - 14 = -5*v for v.
4
Let b be (6/15)/(-3 - (-32)/10). Let n(z) = z. Let l be n(5). Solve -i = -b*i - l for i.
-5
Let f be (7 + -4)/(2/12). Solve -2 - f = -4*k for k.
5
Let k = 114 + -110. Solve -4*j = 4 + k for j.
-2
Let t(n) = 5*n**3 + 3*n**2 - 9*n + 18. Let l(x) = -3*x**3 - 2*x**2 + 5*x - 9. Let d(j) = 7*l(j) + 4*t(j). Let m be d(0). Solve -15 = 4*f - m*f for f.
3
Let t(m) = -3*m - 6. Let q be t(-2). Solve q + 4 = -4*k for k.
-1
Let g(w) = -3 + 3*w + 0*w + 2*w. Let s be g(4). Let b = 25 - 22. Solve -b = -4*h + s for h.
5
Let t = -18 - -15. Let o = 13 + -8. Let w = t + o. Solve w = 2*i - 0*i for i.
1
Suppose -32*p - 12 = -35*p. Solve 3*k + p - 1 = 0 for k.
-1
Suppose 0 = 18*j - 10*j. Solve 2*v + 5 - 1 = j for v.
-2
Suppose -2*q - 3 = -3*t, t = -q + 3*q - 3. Solve 6*x = t*x for x.
0
Let q = 5 + -2. Suppose 4*s + 0*s = 0. Suppose 4*j = 4*p + 6 - 22, s = -q*p + 5*j + 18. Solve p = x - 0 for x.
1
Let o be 20 + (0 - -2 - 4). Suppose 3*l = 5*l - o. Solve 0*f + l = 3*f for f.
3
Let m be -2 + 2 - (-2)/(-2). Let r be m - -1*4 - 1. Solve -r*f + 7*f = 20 for f.
4
Let r be 4/(-6) - (-20)/3. Let l be ((-2)/2)/3*-9. Let b = r - l. Solve 0 = -0*v - v + b for v.
3
Let p = 15 + -9. Solve 4*w - 2*w = -p for w.
-3
Suppose 5*s - 10 = 4*y + y, 0 = -s - 3*y + 14. Suppose 2*m - 6*m + 8 = 0. Let p be 4 + (-2 - m/(-2)). Solve p*u + s + 10 = 0 for u.
-5
Suppose -l + z + 1 = 2*z, 5*l = -3*z + 11. Solve -l*g = -0*g + 8 for g.
-2
Let w = -6 + 6. Suppose -3*q + 4 + 5 = w. Solve t = -q*t + 12 for t.
3
Let a(b) = b**2 + 7*b - 14. Let v be a(-10). Suppose 4*n + r - 2*r - 8 = 0, -v = -4*r. Solve 0 = -3*u - 0*u - n for u.
-1
Let f(p) = p**3 - p**2 + 10*p - 9*p**2 + 2 - 11. Let l be f(9). Let v = l + 3. Solve 0 = -2*b + v - 7 for b.
-2
Suppose m + 4*m + 30 = 0. Let b = m + 6. Solve 3*o - 4*o + 2 = b for o.
2
Let w be (21/14)/(1/2). Solve -8 = -5*s - w for s.
1
Let g = -3 - -6. Suppose -133 = -g*t + s, 71 = t - 0*t + 5*s. Let h be 18/(-30) + t/10. Solve -w = -0*w + h for w.
-4
Let d(i) = -i + 6. Let j be d(6). Suppose 5*o + 4*r - 9 = j, -2*r = o - 7*r - 25. Suppose -o*s + 2*s + 3*c = 3, -3*s - 2*c + 17 = 0. Solve -5*n + s = -7 for n.
2
Let v = 368 - 364. Suppose 5*j - 10 + 5 = -2*g, -g + 4 = 4*j. Solve 0*t + v*t - 16 = g for t.
4
Let x(y) = y + 5. Let i be x(5). Suppose -i = 5*o + 4*t, 0*o - 3*o = 4*t + 14. Let f(d) = 3*d. Let j be f(o). Solve -p = 2*p + j for p.
-2
Suppose -9*j + 33 = -3. Solve o = -o + j for o.
2
Suppose -3*p + 3*g - 18 = 0, -g - 10 = 4*p - p. Suppose -7 = -r + 2*r. Let t = p - r. Solve -2*l + t*l + 2 = 0 for l.
-2
Suppose 0 = 2*f + 2*f. Solve 2*y - 6*y + 4 = f for y.
1
Suppose -2*n = 3 - 5. Let y(a) = 5*a**3 + a**2 - 2*a + 1. Let h be y(n). Solve -h*x + 3 = -2*x for x.
1
Let r(j) = -j**3 - j**2 + j + 4. Let n = -7 + 7. Let v be r(n). Solve 3*z - 2*z = v for z.
4
Suppose 3*r = -9 - 0, 4*r + 6 = -3*y. Suppose y*q = 4*q - 4. Solve -4*c + q*c - 4 = 0 for c.
-2
Let s = -1 + -1. Let p be (-30)/4 - (-1)/s. Let k = 11 + p. Solve -k*f = -f - 8 for f.
4
Let x(t) = -t**3 - 3*t**2 + 1. Let w be x(-3). Let a = w + 1. Solve 0*s - a = -s for s.
2
Let c(t) = -t + 5. Let g be c(4). Let o be g + (-3)/((-6)/(-8)). Let s = o - -3. Solve -r + 5 = -s for r.
5
Suppose c - 1 = -n, -5 = 5*n + 10. Solve -10 = -9*d + c*d for d.
2
Suppose 2*z = 5 + 5. Solve r + 16 = z*r for r.
4
Suppose n + 2 = 2*n + 2*a, -4*n - 2*a + 8 = 0. Let t be ((-2)/4)/(4/56). Let v = -3 - t. Solve -v*y + n*y = 0 for y.
0
Let x(c) = -2*c**3 - 2*c**2 + 2*c + 2. Let u be x(-2). Let f(m) = 6*m + 1 - 7*m**2 + 0*m**3 + m**3 + 0*m**2. Let n be f(u). Solve 2*y - n - 7 = 0 for y.
4
Let z be 0 - ((-4)/(-16) - 1/4). Solve -4*i = -z*i - 16 for i.
4
Let q be (0/(-2))/(4/4). Suppose 5*k - 1 - 14 = q. Suppose 0 = -l + 2 + 3. Solve -k*z + 10 = -l*z for z.
-5
Suppose -2*r = -2*t - 16, 3*t + t + 23 = r. Suppose r*n + n - 12 = 0. Suppose -2 + 20 = n*m. Solve -m*d - 25 = -d for d.
-5
Let a = 40 - 39. Solve 5*n + 21 = a for n.
-4
Suppose -k = -4 - 7. Solve -4*v = 5 + k for v.
-4
Suppose -2*y - 3*x + 15 = -y, -3*x = -4*y + 45. Suppose r = -r + y. Solve 3*k + r = 3 for k.
-1
Suppose -3*u - u + 8 = 0. Let c be (-4)/(-2) - (-3)/3. Suppose l - i = 4, -l - c*l + 3*i = -12. Solve l*y = u*y - 2 for y.
1
Suppose 5*u = -3 - 2. Let b be (-4 - -3) + 1*u. Let z be b/(-4)*(-2 + 2). Solve z = -3*r - 0*r for r.
0
Let j(v) = v + 14. Let n be j(-9). Suppose 10 = 3*s - n. Solve -4*t + 1 - s = 0 for t.
-1
Suppose 2 = s - 0*s. Suppose -9*v - 4 = -10*v. Solve -6 = v*j - s*j for j.
-3
Let k be -6 + (0 + -2)*-1. Let f = k - -6. Let j = 7 + -5. Solve 0 = f*l + j*l + 4 for l.
-1
Suppose -2*g + 4*m = -5*g - 8, -g + 5*m + 29 = 0. Solve 0 = -0*o - g*o for o.
0
Let k(n) = n**3 + 11*n**2 - 10*n + 27. Let f be k(-12). Solve f*d = d for d.
0
Let k(a) = 3*a + 9. Let b be k(-7). Let w = 20 + b. Suppose w = 4*o, -o + 10 = -2*g + 4*o. Solve -t = -g + 5 for t.
-5
Suppose 1 - 7 = -3*o. Let y be (o - -23)*(-12)/(-10). Let c be (y/(-25))/(4/(-10)). Solve 0*m - c*m = 15 for m.
-5
Suppose -3 = -5*n + 2. Suppose -n = -a + 4. Let l = 11 - -7. Solve 3 - l = -a*k for k.
3
Let c(y) = -y - 13. Let b be c(-19). Let k(f) = -f**3 + 2*f**2 + 2*f - 3. Let r be k(2). Let a = r - -1. Solve b = -l + a for l.
-4
Let l(p) = -p**3 - p**2 + 4*p - 1. Suppose -5 - 6 = z - 2*n, -5*z - 27 = -3*n. Let a be l(z). Let h be (-16 + 16)/((0 + -2)/(-2)). Solve -x + a - 10 = h for x.
-5
Let k = -135 - -139. Solve 0 = 5*z - k*z - 1 for z.
1
Let l = 35 - 17. Let x be (3 + l)/1 - 1. Solve 4*f = -f - x for f.
-4
Let x = 3 + -2. Let m = -1 + x. Suppose 3*s + 2 - 14 = m. Solve 2*u - s*u + 4 = 0 for u.
2
Let k(t) = -t - 5. Let q be k(-5). Suppose q = -g - g + 4. Solve 0 = -2*p - g*p - 12 for p.
-3
Suppose 2*j = 2 - 6. Let y = j - -15. Suppose 3 = 4*r - y. Solve 0 = -r*c + 5 + 7 for c.
3
Let m(k) = k**3 + 5*k**2 - 6*k - 6. Let f be m(-6). Let t be (6/4)/((-3)/f). Solve 4*o = t + 13 for o.
4
Suppose 5*d - q = 46, 4*d + 2*q - 48 = -0*d. Suppose 2*o = 4*o - d. Solve -o*p - 12 + 32 = 0 for p.
4
Let h(p) = -p**3 + p**2 - p - 2. Let u be h(0). Let w be 0 + 18/3 + u. Suppose t + 2 - w = 0. Solve -3*y = t*y + 10 for y.
-2
Let o = 14 - 3. Let t = o + -9. Solve -t*v - 1 + 3 = 0 for v.
1
Let g be (1 - -5)/(6/4). Solve 2*f - g - 6 = 0 for f.
5
Let o(m) = -7*m**3 + 2*m**2 - 1. Let s be o(1). Let g(y) = y**2 + 6*y + 4. Let f be g(s). Solve c + f*c - 20 = 0 for c