*a = -s*a + m for a.
4
Suppose -1 + 21 = k. Suppose 5*g - v = -5*v + 4, -5*v - k = 0. Solve 0 = -2*j + 2 + g for j.
3
Suppose 0*p - 5*p + 20 = 0. Solve q - p = -3*q for q.
1
Let n = -25 + 45. Solve -n = -5*q - 5 for q.
3
Let a(z) = -2*z - 1. Let f be a(5). Let n = -7 - f. Let w be (2 + -2)/(-2 + n). Solve w = p - 0*p + 4 for p.
-4
Suppose -2*z + 18 = -0*z. Suppose -2*c - 2*c + 2*w + 12 = 0, -2*w = 3*c - z. Solve -c*a = a + 20 for a.
-5
Let o(s) = -s**2 - 30*s + 7. Let q be o(-30). Solve 8*d = q*d + 1 for d.
1
Let s = 10 - 5. Suppose -5*y + 3*i + 3 = -y, 0 = 5*i + s. Suppose -2*z - 6 = y, -m = 4*m - 5*z - 35. Solve -m*l + 0*l = -12 for l.
3
Suppose 3*s - 24 - 15 = 0. Solve 7 = -5*h - s for h.
-4
Let f(m) = m**3 - 5*m**2 + m + 7. Let i be f(5). Suppose 2*h = 5*h - i. Suppose -5*c - 3*d = -78, -2*d = 2*c - 32 + 4. Solve c + 2 = h*j for j.
5
Suppose -8*k + 16 + 24 = 0. Solve 5 + 0 = k*m for m.
1
Suppose -4*y - 10 = 4*j + 2, 2*y + 10 = 0. Let d(o) = o**2 - 10*o - 8. Let r be d(11). Suppose -2*q + 2 + 0 = 0. Solve q = r*z - j for z.
1
Suppose 5*m + 14 = -2*u, 0 = 3*m + m + 4*u + 4. Let d be -3*m/(-6) + 2. Solve d + 4 = 2*h for h.
2
Let h(p) = -p - 5. Let d be h(-6). Let o(q) = -q**3 + 4*q**2 + 5*q + 42. Let l be o(6). Solve l = -f - d - 0 for f.
-1
Let w(o) = -o**3 - 10*o**2 + 10*o - 9. Let p be w(-11). Solve -n + 3 = p for n.
1
Suppose 4*q + 34 = 2*p, -4*p - 11 = -q - 44. Let k = -21 - -26. Let n = p - k. Solve -d = d + n for d.
-1
Let p = 7 + 3. Suppose 3*d = 2 + 10. Suppose -d*o = 4*b, 21 = 2*b - 9*o + 4*o. Solve -b*y + p = 2*y for y.
2
Suppose -2*w - w = 0. Let z(q) = -q**2 - 5*q + 2. Let m be ((-1 - 0) + 6)*-1. Let l be z(m). Solve -l*a + a - 1 = w for a.
-1
Let g(n) = n**3 + 2*n**2 - 5*n - 3. Let k be g(-3). Suppose k = 3*b - 0. Let m be 0/(-1*2/b). Solve m = x - 4 + 3 for x.
1
Suppose -2*v + 8 = 0, 6*v = -5*k + 2*v + 171. Suppose 0 = -3*j + 4*y + k, 25 = 3*j - 6*y + 8*y. Let b = -6 + j. Solve 15 = -6*s + b*s for s.
-5
Let y(q) = -q - 9. Let f be y(-11). Suppose 2*z + 20 = 2*j, f*z + 27 = 5*j - 11. Solve -a - j + 3 = 0 for a.
-3
Let w be 0/((-3)/6*-4). Suppose z - 6 - 2 = w. Solve -25 = 3*n - z*n for n.
5
Suppose -7 = h - q + 4*q, -5*q = 2*h + 10. Solve h*l + 4 = l for l.
-1
Let q(d) = -1. Let b(m) = -m**2 + 2. Let o(h) = b(h) + 5*q(h). Let v be o(3). Let y be (1/2)/((-2)/v). Solve y*x - 16 = -x for x.
4
Let i be 15/(-5)*40/(-6). Suppose o + o + 4*z = -8, -z - i = -4*o. Solve -o*r + 7*r = -3 for r.
-1
Suppose 5*f = 24 + 1. Suppose 5*h = n + 16, -6*h = -f*h - 4. Let o = 29 + -13. Solve o + 0 = -n*d for d.
-4
Let n = 5 + 2. Suppose 2*r - n = 1. Solve 0 = r*u + 5 + 3 for u.
-2
Suppose 0*o = -3*o. Let d be -3 + 5 + (0 - -1). Solve -2*g - d + 1 = o for g.
-1
Let w(t) = -t + 4. Let x be w(-6). Solve 0 = 5*r - x*r for r.
0
Let h be (-1 + 4)*24/18. Suppose 0 = 4*q - 3*n - h, 0 = -2*q - 4*n - n + 2. Let d be 0/(1 - (2 + q)). Solve -z - 4 + 9 = d for z.
5
Suppose 2*v + 18 = 8*v. Solve 0 = -z + v*z for z.
0
Let q = -13 - 5. Let b = q - -20. Solve 0 = -b*v + 1 - 3 for v.
-1
Let k(l) = -l**3 - 6*l**2 - 2*l + 3. Let q be k(-6). Let w = q + -4. Solve 5*y + w = -4 for y.
-3
Suppose 0 = -5*x, 9 = 4*h - h - 5*x. Let r be 2/h*(-6 - -9). Solve r*f + 2*f = 8 for f.
2
Let f(c) = -c - 2. Let i be f(3). Let l be i + 2/2*2. Let k be (4/l)/((-8)/12). Solve a - k*a + 1 = 0 for a.
1
Let k(l) = l**2 + 7*l + 10. Let w be k(-8). Let r = -14 + w. Solve r*d = d - 9 for d.
-3
Suppose 140*v - 135*v = 25. Solve 3*d = v*d - 2 for d.
1
Suppose -u + 6 = -5*y, 5*u - 97*y = -94*y + 8. Let q(h) = 4*h**3 + h**2 - 2*h + 1. Let d be q(1). Solve -d*v - u = -17 for v.
4
Let j(p) = 2*p**2 + 49*p - 24. Let b be j(-25). Let q(c) = 2*c**2 - c**3 + 2*c - 3 - c + 4. Let f be q(2). Solve -13 = f*h - b for h.
-4
Let h = 1 - -4. Solve -20 + 0 = h*p for p.
-4
Suppose -6 = 2*p - 22. Solve p = -2*n + 4*n for n.
4
Let h = -10 - -6. Let x be (h - -5)*14/2. Suppose -5*l = -28 - x. Solve l*w + 6 = 4*w for w.
-2
Let s be (-1*(-3)/2)/((-2)/(-12)). Solve 4*f = -11 - s for f.
-5
Let l be (-1)/(1 + 20/(-19)). Suppose -4*w + l = -t, -4*t + t + 3 = -2*w. Suppose w*z - 3*q + 15 = z, -3*z + 5*q = 25. Solve d + 1 = -z for d.
-1
Suppose -33 = 3*y + 5*b, 0*b = 2*y - 3*b + 3. Let l(v) = v - 6. Let m be l(9). Let n be (m/y)/((-4)/40). Solve n*j - 15 = -0*j for j.
3
Let y = -5 - -9. Let q be y/(-14) - 214/(-14). Solve -3*s + q = 2*s for s.
3
Let c = -1 - -4. Suppose -4*u - c = 9, 0 = -3*h - u - 60. Let y = 1 - h. Solve 3*l + y = -l for l.
-5
Let s(k) = -k**2 - k + 12. Let a(g) = -g - 11. Let u be a(-7). Let q be (0/1)/(8/u). Let y be s(q). Solve -l - y = 2*l for l.
-4
Suppose 4*f = 5*p + 40, p + f - 11 = -2*f. Let m be (2/(-4))/(p/72). Solve -2*k = k + m for k.
-3
Let w = 7 + -5. Suppose -w*m - 2 = -4*m. Solve -3*d + m = 10 for d.
-3
Suppose -10*w + 18 = -4*w. Solve -w = 4*j + 5 for j.
-2
Suppose 8 + 0 = -4*r. Let d(k) = -k**2 - 7*k + 5. Let s be d(-8). Let i be 0 - (s - 2/r). Solve -i = -w + 3*w for w.
-1
Let j be (16/(-4))/((-4)/2). Let x(p) = p**3 + 12*p**2 + 11*p + 2. Let q be x(-11). Suppose 5*m + 4*i = 30, i - q + 7 = 5*m. Solve m*f = -j*f + 12 for f.
3
Let z(h) be the second derivative of -h**8/2240 + h**6/720 - h**4/12 - 2*h. Let n(q) be the third derivative of z(q). Let w be n(-1). Solve w*u - 1 = -5 for u.
-2
Suppose 0 = -5*o + 5*n + 10, 4 = 2*o - 7*n + 2*n. Solve o*q + 7 - 3 = 0 for q.
-2
Let y = 0 + -1. Let m = y - -3. Suppose m*i = -4*c + 40, 2*i - 55 = -i - 5*c. Solve j - i = -j for j.
5
Suppose 3*k = 7*k - 12. Solve 5 = b + k for b.
2
Let x be 0/(-3)*1 + 0. Let k = 3 - x. Solve -o + 8 = -k*o for o.
-4
Suppose -4*y - 3*z = -29, 0 = 6*y - 3*y - 2*z - 43. Solve 3 = 4*t + y for t.
-2
Suppose 0 = -2*b - 5*b. Solve -4*k + 0*k - 20 = b for k.
-5
Let v be 3*(-1 + (-8)/(-6)). Solve -5 = 3*f + v for f.
-2
Let c be 4/(-3) + 220/66. Solve c*u = 4*u for u.
0
Let m(a) = -3*a - 26. Let k be m(-10). Solve -5*d + 6 = -k for d.
2
Let g be (-2)/2 + -16*1. Let m = -15 - g. Solve -m*o + 3*o = -2 for o.
-2
Suppose 3*l - 40 = -l. Suppose 0*g = -g + l. Solve -3*b + 5 = -g for b.
5
Let u = 16 + -13. Suppose -g = -6*g + 10. Solve u*t = g*t - 1 for t.
-1
Let s(y) = -3*y + 3. Let t be s(1). Solve t = 3*u + 13 - 4 for u.
-3
Let c be (-3)/(-6)*(-1 + 1). Solve 3*h - 11 - 1 = c for h.
4
Let p be (-3)/(-2) - (-1)/2. Let n be p/9 - 3536/36. Let w be 1/(-4) - n/8. Solve -i = 3*i - w for i.
3
Let v = 1 - -1. Let o be (-4 + v - -1) + 1. Suppose -3 = -2*b + 1, n + 2*b - 11 = o. Solve 0 = -2*y - 1 + n for y.
3
Let l = -34 + 82. Suppose -8*v = -5*v - l. Solve 4*s + 0 + v = 0 for s.
-4
Suppose -3*b = 3*o - 12, 4*o - 20 + 4 = 0. Solve 20 = -4*q - b*q for q.
-5
Suppose 0 = 28*u - 38 - 18. Solve u*l = -1 + 7 for l.
3
Let x = -6 + 8. Suppose 5*h = -g - 25, -x*h = -4*g - 0*h + 10. Suppose -2*r + 3*a + 8 = 0, -r - 4*a + 1 = -3. Solve 2*t = -g*t + r for t.
2
Let j(v) be the first derivative of v**6/360 + v**5/20 - v**4/8 + v**3/3 - 2. Let w(k) be the third derivative of j(k). Let n be w(-7). Solve -t = n - 1 for t.
-3
Let v = 0 + 0. Suppose -l + 3 = -v*l. Suppose -5*x + 15 = 0, -3*p + 21 = -p - x. Solve 0*g = -l*g + p for g.
4
Let n be 1*(-6)/(-2) - -10. Let s = -8 + n. Solve -20 = v - s*v for v.
5
Let f be 142/8 + (-1)/(-4). Let i = f - 4. Solve i = 4*a - 6 for a.
5
Let o = -218 - -218. Solve -l + 4*l + 15 = o for l.
-5
Let x(s) = s**3 - 5*s**2 - 4*s - 7. Let u be x(6). Solve 5*a - 10 = -u for a.
1
Suppose -2*l = -f + 2*f - 4, 4*l - 18 = 3*f. Solve l*t + 15 = -0*t for t.
-5
Let n(l) = 0 - 2*l + 8 + 3*l. Let r(c) = c**3 + 11*c**2 + 10*c - 6. Let j be r(-10). Let w be n(j). Solve -3 = -w*t + 7 for t.
5
Let y = -17 + 12. Let o(z) = z**2 - z - 1. Let j(a) = 3*a - 6. Let b(l) = j(l) + o(l). Let k be b(y). Solve -3*p - k - 4 = 0 for p.
-4
Suppose 0 = -5*r + 5*y + 35, -5*r + 0*y - 5 = 3*y. Solve -r*w + w = 0 for w.
0
Suppose 2*k + 3*k - 20 = 0, -10 = -3*b - k. Solve -5*m + 9 = -b*m for m.
3
Let d(g) = 5*g**2 + 8*g + 4 - 3*g**2 - 3*g**2. Let o be d(8). Solve 13 = o*m + 1 for m.
3
Let m(i) = i + 0*i - i - 3*i + i**2. Let z be m(3). Solve z = 4*d - 8 - 4 for d.
3
Suppose -30 = -2*b - 22. Solve -2*h - b = -4*h for h.
2
Suppose -4*r = -4*o + 36, -4*o - r + 31 = -6*r. Solve 3*k + o = 2 for k.
-4
Suppose -v = -7*v + 12. Solve v = -4*y + 2*y for y.
-1
Let l = -