se -3*s - 5*n = -30, 0*s + s = -f*n. Solve -q + s = 2*q for q.
5
Let q = 4 + -2. Suppose -2*t = 0, -q*k + 12 = k - 5*t. Let w = -1 + 6. Solve i + k*i = -w for i.
-1
Let r be (26/(-65))/((-2)/40). Solve 0 = 3*o - o - r for o.
4
Let x be (-57)/4 + (-2)/(-8). Let a = 47 + x. Let i be -1*2/((-6)/a). Solve -3*q + 4 = -i for q.
5
Let h be 923/52 + (-1)/(-4). Let s be h/21 + (-3)/(-21). Solve i - 3 = s for i.
4
Suppose -2*c - 15 = -5*d, -3*d = -d + 3*c - 25. Suppose 0*m - d*m = 0. Solve -v = -m*v - 5 for v.
5
Let z(m) = 2*m - 24. Let h be z(12). Solve 0*r + 2*r = h for r.
0
Let d = -1 - 0. Let v be 1/((-1)/6*d). Let m(g) = g**3 - 5*g**2 - 7*g + 6. Let s be m(v). Solve s = -2*h + 4 - 0 for h.
2
Suppose -5 = -h - 1. Suppose -3 + 7 = -g + 3*n, 0 = h*g + 5*n - 18. Let s be (-5 - 2)*(-3 + 2). Solve 0 = -3*y - g - s for y.
-3
Let n be ((-3)/2 + (-1)/(-2))/(-1). Solve 13 - n = -4*z for z.
-3
Suppose 28 = 5*m + 3. Suppose -m*r + 5 = -0. Let y = 7 - r. Solve -3*c = -c + y for c.
-3
Let a be (-2 - 0)*-1 - 1. Let h be 1 - ((5 - -2) + -1). Let r = 8 + h. Solve r*x - a + 7 = 0 for x.
-2
Let x(u) = -u**2 + 9*u - 9. Suppose -18 = -5*s + 2*s. Let k be x(s). Solve k*y = 6*y for y.
0
Let t = -1 + 1. Let c be ((-1)/1)/((-2)/(-6)). Let l = -1 - c. Solve 2 = l*k - t for k.
1
Suppose -2*q - o = 20, 2*q - 2*o + 36 = o. Let c be 1*q/(1*-3). Suppose j = 2*y + 3*j - 6, 3*y + c*j - 12 = 0. Solve y = 2*t - t for t.
0
Let p(l) = l**2 - l + 2. Let g be p(1). Solve g*k + 0*k = 2 for k.
1
Let x = 2 + 3. Suppose r = x*r. Let h = -1 + 6. Solve -h*t + t - 16 = r for t.
-4
Let v = 1 - -9. Let n = v + 5. Solve -5*d + 10*d - n = 0 for d.
3
Let o be ((-4)/(-3))/(12/18). Solve -o*q + 0*q = -2 for q.
1
Let j(k) = 2*k + 22. Let p be j(-9). Let a be (-1)/(-1)*2 + -1. Let m be 0/(a + 0 + -2). Solve p*r - 8 - 12 = m for r.
5
Let n = 6 - 1. Let p = -11 + n. Let i = p - -10. Solve -i*g - g = 5 for g.
-1
Suppose g - 3 = 2. Suppose 2*c - 5*r = -6, -5 = -2*c - 2*r + 3. Solve -c*x + g*x - 9 = 0 for x.
3
Let t(m) = m**2 + 2*m - 4. Let u be t(-4). Let o = u + -4. Suppose -3*d - 5*j = 12 - 49, -d + j + 7 = o. Solve -2*a = a - d for a.
3
Let s(u) = -u**3 + 4*u**2 + 2*u - 3. Let h be s(4). Let n be (-10)/(-4)*8/h. Suppose -2*v + 3*v = n. Solve y + 10 = -v*y for y.
-2
Let c(o) = -2*o + 4 - 6 - 2. Let y be c(-2). Suppose 0 = 2*w + 3*w. Solve w*z + z - 1 = y for z.
1
Let z be (0 - -2)*(-7)/(-2). Suppose 5*g = z*g - 4. Solve g*v = v for v.
0
Suppose 15 = -5*l - 5*f, -19*l + 2*f = -15*l - 6. Let p = 2 + 0. Solve p + l = y for y.
2
Let t(p) = p**2 + 10*p + 8. Let u be t(-10). Solve -4*h + 2*h - u = 0 for h.
-4
Suppose -4*b + 5*b - 5 = 0. Suppose 0*q = b*q. Suppose 1 = 3*k - 4*p - 17, -6 = 2*p. Solve -k*x - 1 + 9 = q for x.
4
Let b be ((-30)/6)/5 - -2. Solve -2*c + 5 = b for c.
2
Suppose k - 9 - 3 = 0. Solve 0 = 4*h - h + k for h.
-4
Let f = -4 + 9. Let c = 1 + f. Suppose -3*s = -0*s - c. Solve 0 = x - s for x.
2
Let k(s) = -4*s + 5*s - 13 + 5 - 3*s. Suppose 0*t = 4*t + 24. Let o be k(t). Solve 3*z - o*z = 4 for z.
-4
Suppose 0 = l - 1 + 5. Let z = 6 + l. Solve 2*h + z = 12 for h.
5
Let f be 9/12 - (-3)/(-4). Solve -5*j + 10 = -f*j for j.
2
Let w(b) = b**3 + 6*b**2 - b - 2. Let k = -9 + 3. Let n be w(k). Suppose n*o - o = 0. Solve o = 3*a - a for a.
0
Suppose -4*i = -6 + 2. Suppose 3*l - 31 = -11*x + 6*x, -5*l = x - 15. Solve -m - i = l for m.
-3
Let v(t) be the third derivative of t**5/60 + t**4/3 + 3*t**3/2 - 6*t**2. Let i(o) = o - 4. Let j be i(-3). Let l be v(j). Solve l*x - 4 = -0 for x.
2
Let h(l) = l**2 + 4*l - 35. Let p be h(-9). Solve -4*c = -2*c + p for c.
-5
Let l(r) = r**3 + 8*r**2 + 11*r + 11. Let i(t) = -t**2 + 1. Let o be 2/(-4) + (-1)/2. Let p(h) = o*l(h) + 3*i(h). Let z be p(-10). Solve 0 = z*d - d - 4 for d.
4
Suppose 3*n = 15, -n + 2*n = -g + 7. Let i be (-1 - 22/(-2))*1. Suppose -i = 5*v - g*j + 7*j, 5*v - 4*j - 26 = 0. Solve 5 = v*f + 15 for f.
-5
Suppose -3*a - 4*n = -12, 3*a + 3 = 4*n - 3*n. Solve a = -y - 1 + 2 for y.
1
Suppose 4*k + t + 4*t = 36, 4*t = 5*k - 4. Solve -1 = 5*j + k for j.
-1
Let d = 54 - 48. Solve d = -4*m - 10 for m.
-4
Suppose 5*k - 64 = k. Let j = k - 10. Suppose 4*p = 2*n - j + 20, 0 = -p + n + 5. Solve p*i = 7*i for i.
0
Let s be 0 - (3 + 2*-2). Let n(w) = 3*w**2. Let q be n(s). Solve -q*z - 6 = 3 for z.
-3
Suppose 0 = -3*l + 5*o + 8 - 2, 3*o - 6 = -3*l. Let b = -10 + 35. Let q = 41 - b. Solve 6*h - l*h - q = 0 for h.
4
Suppose 0*y - 18 = -l + 5*y, 0 = -3*l + 4*y + 32. Let t = -6 + l. Solve 0 = -3*p + t*p - 1 for p.
-1
Let o = 0 - 2. Let v be (15/2)/(-3)*o. Let j = 45 + -40. Solve -j*h = 10 + v for h.
-3
Let x be 0 + (-1)/(3/(-3)). Suppose -3*g = -l - 10 + 31, -5*g = 2*l - 64. Let c = -11 + l. Solve -3*i + x = c for i.
-5
Let x(t) = t**3 + 10*t**2 - 13*t - 21. Let l be x(-11). Solve i - l + 0 = 0 for i.
1
Let c = -6 + 8. Suppose 0 = 3*a + c*a - 75. Solve -3*r + a + 0 = 0 for r.
5
Let r(x) = -x**3 - 3*x**2 - x + 3. Let n be r(-3). Let q(l) = l - 3. Let b be q(n). Suppose 0 = -2*m + 8, m = h - b*m + 11. Solve 0 = -h*f + f + 16 for f.
4
Suppose 3*w + 15 = -6*i + 4*i, -4*w - 20 = 0. Suppose 4 - 7 = -v. Suppose v*b - 18 = -3*m, -4*b - b + 3*m = -14. Solve i*n = b*n for n.
0
Let x(i) = i**2 - 4*i. Let d be x(4). Suppose 5*z - 15 = -d. Solve 0 = z*m - 5*m - 4 for m.
-2
Suppose -4*z - 5*f - 92 = 0, z - 3*z - 4*f - 52 = 0. Let v = z + 32. Solve v = -5*t - 6 for t.
-4
Let j = 19 + -17. Let t be j*(-2 + 1) - -3. Solve 1 = -m - t for m.
-2
Let n be 6 + -2 - (1 + 0). Suppose 1 = y - 0*y. Let l = 5 - y. Solve l = -n*w + 1 for w.
-1
Let f be 15/9 + 2/(-3). Let s(k) = 8*k**3 + k**2 - k. Let j be s(f). Let d be (-29)/(-9) - j/36. Solve -d*r - 4 = -1 for r.
-1
Let b = -11 + 15. Suppose 0 = 2*a - z - 21, 4*a - 3*a + b*z + 12 = 0. Suppose 2*q - 6*q + a = 0. Solve -q*s = 3*s + 15 for s.
-3
Suppose -3*p + 4*y - 16 = -6*p, 0 = -4*p + 3*y - 12. Suppose 3*x = -p*x. Solve -3*s - 4 + 13 = x for s.
3
Let o = -12 - -7. Let m = o + 7. Solve 0 = -4*h + m*h - 4 for h.
-2
Let m(g) = 4*g**2 + 11*g + 2. Let t be m(-3). Let h(c) = c**3 - c + 3. Let i be h(0). Solve -r = t - i for r.
-2
Let z(l) = 6*l - 7. Let m be z(2). Solve -b = -0*b + m for b.
-5
Let d = -18 - -38. Solve -4*v = v - d for v.
4
Let t(p) = 9*p - 36. Let a be t(4). Solve 3 = c - a*c for c.
3
Suppose 3*t - 1 = -3*i + 2, 0 = 2*i - t - 8. Let r(d) = -8*d**3 + d**2 + d + 1. Let k be r(-1). Suppose 0 = 4*z - k - i. Solve 0*m - z*m = -12 for m.
4
Suppose -r = -3*i + 6 - 3, 2*r + 2 = 2*i. Suppose 0 + 3 = o. Suppose o*v + 1 = 16. Solve -2*y = -v - i for y.
3
Suppose 3*j = -j + 12. Suppose -4*g + 34 = j*d, 4*d - 3*d = 2*g - 2. Let m = -4 + 4. Solve 0 = -m*v - 2*v - d for v.
-3
Let s = -19 - -22. Solve 5*z - 18 = -s for z.
3
Let x be 10/(-4) - 1/(-2). Let p be -1 + -4*1*x. Let v = 9 + -9. Solve 2*h - p - 3 = v for h.
5
Let x = -7 + 10. Suppose -b + 6 = 5*h - 4*b, -3*h + x*b + 6 = 0. Let m be 1*(1 - (-2 - h)). Solve 0 = -2*k - m + 1 for k.
-1
Suppose -4*t = -2*x + 14, 3*x - 2*t - 18 = t. Suppose p - 22 = -5*j + 3*p, 5*p = x*j - 10. Let s be 2/(-2) + 1 + 0. Solve s = -c + 4 - j for c.
-2
Let p(n) = -n**3 + 2*n**2 + 2*n + 2. Let a be p(3). Let j be 7/a*48/(-28). Solve 0 = 3*w - 0*w + j for w.
-4
Suppose 5*b + 25 = 0, -3 = 3*l - b - 17. Suppose -l*h = -4*w - 26, h - 4*h - 3*w = -33. Solve -t + 6*t = h for t.
2
Let h(c) = -c**2 - 12*c - 17. Let x be h(-10). Solve 2*l - 3 = x*l for l.
-3
Let m be (-11)/(-4) - (-1)/4. Solve m*p - 5 = 1 for p.
2
Suppose 0 = r - 0 - 3. Solve -r*z - 3 = -9 for z.
2
Let b be 1 + (-5 - 0) + 6. Solve -g + b = g for g.
1
Let m(a) = -a - 1. Let b be m(-4). Solve 0 = l + b*l for l.
0
Let v(m) = -m - 9. Let u be v(-6). Let a(s) = -s**2 - 5*s - 3. Let n be a(u). Solve 0*w - 9 = -n*w for w.
3
Let o(p) = 5*p**3 + p**2 - 1. Let s be o(1). Let q = s + -1. Solve -2*z + q = -0*z for z.
2
Suppose 4*w - 3*i - 11 = -6*i, -4*w + 5*i + 3 = 0. Solve 0 = w*y - 0*y - 6 for y.
3
Let o be -1 - ((-2 - 17) + 3). Let u = 21 + o. Suppose 4*l - 4 = u. Solve -4*w - 10 = l for w.
-5
Let g(w) = 5*w - 5. Let x(p) = p - 1. Let i(l) = g(l) - 6*x(l). Let d be i(0). Suppose 5*s - 14 = -3*a, -2*a = s - 8 + d. Solve 0 = -0*n - n - s for n.
-1
Let p = 7 + -6. Suppose -3*w + 5 = 2*w + 5*c, -c = -p. Solve w = -l + 2*l + 1 for l.
-1
Let i = 15 - 11. Solve 5 = -