 -18. Suppose c = 5*f + 10, 4*c - 10 = r*c + 5*f. Solve -a + 5*a = c for a.
0
Suppose 0 = -2*h + h + 3, h = 5*b - 32. Solve 5*s + b = -3 for s.
-2
Let p be 0 + 0 + 4/2. Let m be (-1 + 2)*(0 + p). Let n be ((-3)/2)/(3/(-4)). Solve -n = -m*b + 8 for b.
5
Let a = -2 + 7. Let i(b) = 11*b + 2. Let t be i(2). Suppose t = 2*w + 2*w. Solve w*q + a = q for q.
-1
Let x be (1 + 1)*1*(-90)/(-12). Solve 0 = -3*t - 0*t + x for t.
5
Suppose -q + 2*q + 8 = 3*h, 0 = -2*q - 10. Suppose 0 = a - 4 + h. Solve 0 = a*o - 2*o - 4 for o.
4
Let g(i) = -i**2 + 4. Let c be g(0). Let w be 4/6*6*3. Suppose -6*r + w = -c*r. Solve 15 = -u + r*u for u.
3
Let d(x) = x**3 - 6*x**2 + 2*x - 7. Let a be d(6). Suppose -a*q = -4*q - 2. Solve -c = q*c for c.
0
Suppose 4*c - 10 = 2*c + 2*o, 2*o + 4 = 0. Solve 12 = 3*b - c for b.
5
Let r be (-75)/(-20) - (-3)/12. Solve -r*a + 0*a = -12 for a.
3
Let b be ((-18)/15)/((-2)/5). Let m be (98/(-21))/((-2)/b). Solve 4*r - m = 13 for r.
5
Let u = -6 - -10. Suppose -2*b + 3*l + 25 = 0, -2*b + u*l = -0*b - 28. Suppose -4*i = 4 - b. Solve t - 1 = i for t.
2
Let m(y) = -y**3 - 5*y**2 + 7. Let w be m(-5). Solve i + w = 2 for i.
-5
Let i(x) = x - 1. Let j be i(3). Suppose -j*s = s. Let k = -6 + 10. Solve -8 = -s*q - k*q for q.
2
Suppose x - 8 = -w + 2*x, 32 = 5*w - 3*x. Suppose 0*b = w*b. Let r(s) = 2*s**2 - 3*s + 2. Let u be r(2). Solve b = -2*o + 14 - u for o.
5
Suppose 25 = 5*w - 0. Solve -13 = -4*q - w for q.
2
Let y be (-16)/(-6) - 1/(-3). Suppose -5*u - y = -18. Suppose -u*q - 9 = -39. Solve c = 3*c - q for c.
5
Let r be (-2)/10 - (-130)/25. Suppose -4 = -3*s + s. Solve r = 3*k + s for k.
1
Let g(u) = -3*u + 20. Let l be g(6). Solve -t = 1 - l for t.
1
Let v be (0/(-1) - 3) + 3. Suppose -d + 0 + 3 = v. Suppose 0 = 3*b - 0*b. Solve -3*r - d - 3 = b for r.
-2
Suppose -4*k = 2*l + 8, -3*k - 7 = -4*l - 1. Suppose 4*s = -l*s. Suppose -m - 2*z - 6 = s, 2 = -5*m - 2*z - z. Solve m*b + 0*b = 4 for b.
2
Suppose -4*g + 7*g - 24 = 0. Let m = g - 9. Let n = m + 5. Solve 4 = n*c - 0 for c.
1
Suppose 5*g + 3*u = 83, 7*u = 2*u + 5. Let h(i) = -i**3 + 2*i**2 + 2*i + 4. Let d be h(3). Suppose 5 - d = t. Solve g = t*v - 0 for v.
4
Suppose 2*b = 9*b - 42. Solve -4*z + b = -z for z.
2
Let k(q) = q**2 + 2*q - 2. Let d be k(-2). Suppose -3*c - c - 4*j = 32, -3*j = -c. Let s be -3*(-1 - d/c). Solve n + s = -n for n.
-2
Let x(y) be the second derivative of -y**5/20 - y**4/4 - y**3/2 + 3*y. Let b be x(-2). Solve -b*d = -d for d.
0
Suppose s - 6*s + 30 = 0. Solve 2*m - 12 = s*m for m.
-3
Suppose -s = 4*y - 12 - 11, y - 5 = 0. Suppose -4*o = -o + 2*z - 6, 0 = 5*o - s*z + 9. Solve 4*k - 20 = -o*k for k.
5
Let y(f) = 4 - 2 - 1 + f - 3*f**3. Let n be y(-1). Solve 2 = -j + n*j for j.
1
Suppose 0 = -2*y - i + 2*i + 7, -6 = -y + 3*i. Solve -5*r + 2 = -y for r.
1
Let f = -12 - -4. Let q be 6/f - (-60)/16. Let g be 4/4 + 3/(-3). Solve g = q*t - 8 - 1 for t.
3
Suppose -4*c = 11 - 31. Let d be (-3)/(6/(-16) - 0). Solve c*n = -2 - d for n.
-2
Let o = 50 + -35. Suppose 3*x = -5*v + o, x - 5*x + 3*v = -49. Suppose 15 = 2*g + g. Solve -x = -3*w + g for w.
5
Suppose 12 = 8*m - 2*m. Let l be -6*2*(m + -3). Solve -3*y + l = -7*y for y.
-3
Let z(k) = 13*k - 39. Let n be z(3). Solve o - 4*o - 12 = n for o.
-4
Let h be -2 - (3 - (-57)/(-3)). Let o = h + -9. Solve 2*w + 5 = -o for w.
-5
Suppose 45 = -6*w + 153. Let a = 24 - w. Solve -d + 4*d - a = 0 for d.
2
Let m = 2 - -1. Let x be (-16)/(-6) + 1/m. Solve b + 2 = x*b for b.
1
Suppose 0*m + 150 = 5*k - 2*m, -2*k - 4*m + 60 = 0. Suppose -2*a - 3*a = -k. Solve 3*y + a = 6*y for y.
2
Suppose -z + 3*z + 3*k = 18, 4*z - 3*k = 0. Suppose -z*l + 1 = -5. Solve -l*i = 4 + 4 for i.
-4
Let g = -40 - -40. Solve -4 = -g*q + 2*q for q.
-2
Let o = -4 + 6. Let i(d) = d**2 + 2*d - 6. Let q be i(-5). Let m be (6/q)/(2/24). Solve m = o*k - 2 for k.
5
Let q(x) = x**3 + 5*x**2 + 4*x + 2. Let z be q(-3). Suppose o = 2*o - z. Let c be 65/25 - (-4)/10. Solve c*v = v - o for v.
-4
Suppose 1 = 3*a + z - 5, 5*a - 5*z = -10. Solve 0 = -0*q + q + a for q.
-1
Let a(k) = 61*k**3 - k**2. Let j be a(1). Suppose g - 6*g + j = 0. Suppose -5*r - 3*m + 11 = -3, 2*m = -4*r + g. Solve -r*x = -x for x.
0
Let c = 0 - 0. Solve 3*v - 6 = -c*v for v.
2
Suppose -3*l - 13 = -61. Suppose -l = -4*m - 0*m. Solve 0 = -m*y - 10 + 2 for y.
-2
Let v(w) = 0*w**3 - 1 + 3*w**2 + 2*w - 1 - w**3. Let b be v(3). Solve -b*n + 9*n - 25 = 0 for n.
5
Suppose -2*o = 10, -3*o + 3 = -r + 23. Suppose 10 = r*f - 5. Solve -f*q = -22 + 7 for q.
5
Let r = 13 - 1. Suppose 0 = 2*c + 4*x + r, 2*x + 12 = -3*c - 2*x. Solve c = -y - 1 - 1 for y.
-2
Suppose 0*c = -4*c - 4. Let b be ((-5 + 2)*c)/1. Solve 6*a = b*a - 9 for a.
-3
Suppose m + 2*m + 2*y - 56 = 0, 0 = 5*m - 2*y - 72. Solve -3*t - t + m = 0 for t.
4
Suppose 0*u + 30 = -5*u. Let f = -5 - u. Solve -f = o + 1 for o.
-2
Suppose -1 + 4 = a. Suppose 3*l + 28 = -l. Let p = l - -9. Solve g - a = p*g for g.
-3
Let d be 3/(-1*(2 + -3)). Let a be ((-4)/(-3))/(4/6). Suppose 1 = -0*n - n - o, -n = a*o + d. Solve -t = 1 + n for t.
-2
Let f(x) = x**2 - 2*x + 6. Let o be f(0). Suppose 3*h = -9, 0*h = 3*l - h - 15. Solve l*j = 6*j + o for j.
-3
Let j(o) = o**2 - 3*o - 1. Let g be j(6). Suppose 3*u - 18 + 6 = 2*h, g = u - 5*h. Solve -b - u = b for b.
-1
Suppose 36 = -2*u + 6*u. Solve -u = -2*z - 1 for z.
4
Let y be 3 + 3/9*0. Suppose -c + 16 = 3*c. Solve y*q - 2 = c for q.
2
Suppose 0 = 3*p - 0*p - 27. Solve -m = -4 + p for m.
-5
Let x(t) = -2*t - 5. Let c be x(-4). Suppose -h + c*h + 10 = 0. Let u(b) = b + 5. Let w be u(h). Solve w*i + 5 = i for i.
5
Suppose 6*o - o - 15 = 0, -2*p + 4*o - 4 = 0. Solve -p*n + 8 = -0*n for n.
2
Let s be (-3)/(-3*3/(-63)). Let m = 14 + s. Let b(l) = l**3 + 6*l**2 - 6*l + 8. Let y be b(m). Solve 5*r - y = 19 for r.
4
Let q be (0 - 0) + (2 - -1). Let n = 9 - 0. Suppose -3*j - 3 + 12 = 0. Solve j*y = q + n for y.
4
Let t(q) = q**2 + 3*q - 16. Let a be t(-6). Solve 2*u + a*u - 8 = 0 for u.
2
Let w be 1 + 2 - (3 - 1). Suppose -5*v + r + 35 = 5*r, -2 = -4*v + 2*r. Solve -y = -v - w for y.
4
Let g(a) = -a + 9. Let v be g(9). Suppose 3*n - 36 = -v*n. Solve -n = -5*b + 8 for b.
4
Let y be -5 + (-1 + -2 - -6). Let w be 0/(-1)*(-1)/y. Solve c - 6*c - 5 = w for c.
-1
Suppose 0 = -10*l - 0*l + 40. Solve -3*c - 7 = -l for c.
-1
Suppose -3*z + 17 = w, -z + 2*w = 4*w - 14. Solve z*o + 8 + 0 = 0 for o.
-2
Let q be (0 - -1) + (-14)/(-2). Let z(o) = -o**2 + 7*o + 21. Let p be z(9). Solve -1 = p*k + q for k.
-3
Let k(y) be the second derivative of -y**5/10 - y**4/4 - y**3/6 - y**2 - 2*y. Let r be k(-2). Solve a - 1 - r = 0 for a.
5
Let h = -12 + 17. Let m(q) = -5*q - 11. Let o(b) = -6*b - 11. Let f(v) = -5*m(v) + 4*o(v). Let r be f(-11). Solve r = -5*a + 6*a + h for a.
-5
Let x = 14 - 5. Suppose v + 2*v = -x. Let w be (1/v + 0)*-15. Solve -26 = -w*f - 11 for f.
3
Suppose -6*z = -2*z - 4. Let n be (2 - 1)/(-1) + -1. Let p = z - n. Solve -j + 2*j = -p for j.
-3
Let u = -48 + 25. Let t = u - -42. Suppose -i + t = 2*d, -4*d + 2*i + 23 = 5. Solve 0 = 5*b - 8 - d for b.
3
Let a(i) = -i + 3. Let p(z) = -z - 1. Let d(s) = a(s) - 4*p(s). Let w be (3 + 9)*(-1)/(-2). Let u be d(w). Solve 9*l + u = 4*l for l.
-5
Let f(c) = -c**3 + 6*c**2. Let t be f(6). Let a(r) = -r**3 - 5*r**2 + 6*r + 4. Let j be a(-6). Let s be (-2)/j + (-52)/(-8). Solve t = s*g - g + 5 for g.
-1
Let v(a) = 3*a - 27. Let i be v(12). Solve i = -5*g - 6 for g.
-3
Let s = -8 - -8. Let b(a) = -a - 2. Let z be b(-2). Let f be 0/(-4 + (2 - z)). Solve -n + s*n + 2 = f for n.
2
Let t(l) = l**2 + 2*l - 1. Suppose -6 = 4*o - 3*f, 0 = -5*o + 4*f - 4 - 3. Let a be t(o). Solve a*i - 6 = -0*i for i.
3
Suppose 0 = -4*i + 2*t + 8, -2*t - t = -i + 12. Solve -y + 2 - 1 = i for y.
1
Let y = 3 - -2. Suppose 3*x = 3*w + 3, 4*x - 2*w + y*w + 3 = 0. Solve x + 2 = -q for q.
-2
Let f(w) = w**2 + 7*w - 5. Let y be f(-7). Let j = -7 - y. Let d be j*(-3)/6*2. Solve -4*a = 10 - d for a.
-2
Let f(v) = 2*v**2 - 1 - 4*v - 2 - v**2. Let u be f(5). Let d = u - -1. Solve -d*p = p for p.
0
Suppose 3*x = -u - 15, -4*x - 5*u = -0*x + 9. Let y be -1*(x + 3 + -1). Suppose -y*m - m = -125. Solve -3*s + m = 2*s for s.
5
Let a = -13 - -33. Suppose 0 = 2*n + 3*n - a. Let c = -4 + n. Solve 2*w - 10 = -c for w.
5
Let x(c) = c**3 - 3*c**2 - 5*c +