 1 for a.
-1
Let u = 18 - 6. Suppose -4*f + 5*l - 2 = 0, 4*f + 4*l = 1 + 15. Let r be 6/f - (4 - 3). Solve 5*m + r - u = 0 for m.
2
Let u(z) = -z**3 + 10*z**2 + 26*z - 11. Let l be u(12). Solve -17*k + l*k = 0 for k.
0
Suppose -3*n - 3*a = 0, -16 = -n + 3*a - 0*a. Suppose 14 = 5*o - 2*s, 4*o + 2*s - n = -0*o. Let x = o + -2. Solve -k - k + 4 = x for k.
2
Suppose -6 - 4 = 5*x. Let s = x + 6. Solve h + s = -3*h for h.
-1
Suppose 32 - 12 = -v + 4*p, -4*v + 4*p - 20 = 0. Solve v = -6*m + 2*m for m.
0
Let l(q) = -q**3 - 10*q**2 - 15*q + 8. Let f be l(-8). Solve f = -4*h + 2*h + 10 for h.
5
Suppose -2*n - n = -12. Suppose -1 = -5*c - 11. Let h be 1/c - 2/(-4). Solve 2*x + h = -n for x.
-2
Suppose 4*j + 4*g - 5*g = 9, 5*j = -2*g + 21. Solve -j*w + 0*w = 9 for w.
-3
Let q be 0 - 1 - (-3)/1. Suppose -q*m = -4*m + 8. Suppose m*x + 4 = 5*x. Solve -x*n - 15 = -n for n.
-5
Let a be 0 - (-3 + 0 + 90/(-9)). Solve 1 = -3*o + a for o.
4
Let b = -100 - -104. Let c = 1 + 0. Solve -b*j = -5*j - c for j.
-1
Let p be ((-6)/(-9))/(-3 - 74/(-24)). Solve 0 = -4*j + p*j for j.
0
Let v = -12 - -22. Solve 2*a + v = 4*a for a.
5
Let v(a) = a**3 + 8*a**2 - 10*a - 4. Let h be v(-9). Suppose 0 = -3*i - 9, -h*j + 9*i - 4*i - 30 = 0. Let u be j/((-15)/6 - -1). Solve -n = n + u for n.
-3
Suppose -m = 60 - 6. Let s be m/(-10) - (-6)/10. Solve d - 4 + s = 0 for d.
-2
Let z be (-12)/(-8) + (-2)/4. Let p be 2 + z + -2 + 4. Suppose 5*x = -p*r + 40, 0 = -3*r + 4*x - 2 - 2. Solve -2 = -2*o + r for o.
3
Let w(n) = -n**3 + 10*n**2 + 12*n - 9. Let k be w(11). Suppose 3*o = k*o. Solve o*i - 25 = 5*i for i.
-5
Let j = -8 - -13. Let v(g) = g**2 - 7*g - 8. Let n be v(7). Let x = 1 - n. Solve 11 + x = -j*k for k.
-4
Let v = 69 + -69. Let f(h) = 5 - 3 - h + 2. Let x be f(v). Solve -1 = -x*n + 7 for n.
2
Let p be 1/((-6)/4)*-3. Solve -4 + 0 = -p*i for i.
2
Let s be (((-672)/(-15))/7)/(2/5). Solve -s - 9 = -5*g for g.
5
Let v(r) = -r**3 - r. Suppose 3 = -2*w - 5. Let i be ((-1)/3)/(w/(-12)). Let q be v(i). Solve -q*u - 2*u = -16 for u.
4
Let h be (-3)/(-8) + (-252)/(-96). Let s be ((-2)/5)/(1/(-5)). Solve s*y = h*y - 1 for y.
1
Let a = 7 - 7. Let m be 3 + -1 + 2/1. Solve a*n = -n + m for n.
4
Let g be 1 - 0 - (-8 - -6). Suppose -3 = -3*i - g*c, 5*i + 3*c - 2 = 5. Let n be 11 - 6 - (1 - -2). Solve 4 + i = -n*p for p.
-3
Let q(x) = 3*x + 1. Let t be q(6). Let o(h) = 42*h**2 + h - h**3 - 1 - 42*h**2. Let n be o(-2). Solve -n*l + t = 4 for l.
3
Let m(o) = o + 2. Let g be m(-2). Suppose g*c - c = 0. Solve k + 5 = -c for k.
-5
Suppose n + g = 23, -4*n - 5*g = -n - 65. Solve 3*h = -2*h + n for h.
5
Suppose 24 = 2*v + 16. Solve -5 = -v*r - 1 for r.
1
Let w(j) be the first derivative of -j**5/20 + j**3/6 + 2*j - 3. Let f(k) be the first derivative of w(k). Let x be f(-2). Solve -2*v + x = -5*v for v.
-2
Let f = 180 - 177. Solve -f*u - 4 + 1 = 0 for u.
-1
Let n be (-4)/(-14) - (-110)/7. Suppose -3 = 5*r - 2*t + 5, -r - 4*t + n = 0. Suppose 25 = 2*a + 3*a. Solve r = b - a*b for b.
0
Suppose 3*h + 24 = -3. Let n be (1 - h/(-5))*5. Let r = 6 + n. Solve r*x = -2 + 6 for x.
2
Let x = 30 - 22. Solve x = n + n for n.
4
Let s(v) = -v**2 + 11*v - 5. Let k be s(9). Suppose -3*i = 4*l - 13, -5*i = -l - l + k. Solve l*u = -u + 15 for u.
3
Let y = -21 + 26. Solve y*t + 6 = -4 for t.
-2
Let l(f) = f**2 - 10*f + 23. Let y be l(7). Let q(r) = 4*r - 4. Let m be q(3). Suppose 0*c = 3*a + 2*c - 10, 25 = 4*a + 5*c. Solve a*u + m = y*u for u.
4
Suppose 0*s + 9 = s - 3*u, 3*u - 9 = 4*s. Let h be 20/12*s/(-2). Solve h*w = 31 - 11 for w.
4
Suppose -3 = -b - 0. Solve 3 = b*z - 6 for z.
3
Let q(x) = x**2 - 9*x - 6. Let b be q(10). Solve b*k = -3 + 11 for k.
2
Let r be ((-92)/(-12) + -1)*3. Let b be (-4)/r + (-102)/(-10). Solve -s - s = b for s.
-5
Let h = 10 + -7. Solve -h*y = -8*y + 25 for y.
5
Let t be -5 + 1 + 24/3. Solve -t*j + 23 - 3 = 0 for j.
5
Let w = 78 + -78. Solve w = b - 0*b for b.
0
Let b(k) = -2*k + 3. Let l be b(-7). Let p = l - 7. Solve -y + p = y for y.
5
Suppose -2 = -2*x + x. Let f be (4*(-1 - -2))/x. Let l = 6 - f. Solve -l = 5*j - 4*j for j.
-4
Let s = -7 + 11. Solve 0*d + 12 = s*d for d.
3
Let b(j) = j**3 + 8*j**2 + 6*j - 8. Let p be b(-7). Let g = 2 + p. Solve i - 3 + g = 0 for i.
2
Let x be 1 - -3*(-4)/(-6). Let w(a) = 2*a + 16. Let o be w(-8). Solve o = -b - x*b for b.
0
Let b(x) = 7*x**2 - 7*x - 4 - 6*x**2 - 2. Let r be b(8). Solve -16 = -6*v + r*v for v.
4
Let x = 120 - 20. Let f be x/(-8) + (-1)/(-2). Let q = -8 - f. Solve -u = q*u for u.
0
Let q(h) = h**2 + 3*h - 1. Let o be q(-4). Let r be 1 + 4/1 - o. Solve 4*d + r + 18 = 0 for d.
-5
Suppose 4*r = 4 - 0. Suppose q + 2*t + 8 = 0, t = 2*q - 0*t - 4. Solve -p - r = -q for p.
-1
Suppose 2*a - 7 = -3. Solve -a*s = -2 + 10 for s.
-4
Let o(d) = d**3 - 4*d**2 + 2*d - 3. Let n be o(3). Let k be (n/(-9) + -1)*-18. Solve 2*w = -2 + k for w.
2
Suppose 0 = -0*l - 5*l + 5. Let p = 1 + l. Solve 0*y = -p*y + 4 for y.
2
Let w be (6 - 12)*(-4)/3. Solve -w*o - 20 = -3*o for o.
-4
Let z(h) = 3*h**2 - 6*h + 2. Let c be z(2). Solve c*k = 3*k - 5 for k.
5
Let b(l) = l**3 - 6*l**2 - 8*l + 5. Let w be b(7). Let m be (-75)/(-30) + 1/w. Solve 9 = m*c - 1 for c.
5
Let o = 4 - 3. Let f be o*7/3*3. Solve -2*w + 5 = -f*w for w.
-1
Let c(v) = 4*v**2 - v. Let z be c(1). Solve -z*a = -0*a for a.
0
Suppose -u + 4*u = 12. Suppose -3*o + 14 = -u*o + 4*g, -2*o + 3*g = 8. Suppose 3*k + o = 4*l, -12 = -2*l - 3*k - k. Solve -l*p = 2*p + 4 for p.
-1
Let f(p) = p**2 - 8*p + 2. Let o = -12 - -20. Let i be f(o). Solve -i*r - r - 9 = 0 for r.
-3
Suppose 0 = p + 3 - 6. Suppose -5*y = -3*u - 43, 0*u - 3*u - 27 = -p*y. Suppose 12 = 4*s + r, 5*s - y = 3*r + 7. Solve w - s*w = 0 for w.
0
Let u be 2/11 - 588/(-33). Solve 3 = 5*h + u for h.
-3
Let j be (-3 + 0)/(3/(-2)). Suppose j*r = -3*r. Solve -w = -r + 3 for w.
-3
Suppose -3*d + 6 + 3 = 0. Suppose 0*z = -d*z. Suppose 0 = i - z*i + 2*y - 3, 0 = -y. Solve 0 = 4*o - i*o - 5 for o.
5
Let t = 33 + -33. Solve t = f + f + 2 for f.
-1
Let f(d) = d**3 + 4*d**2 - d - 1. Let t be f(-4). Suppose -5 = u - 3*m + 6*m, t*m = 5*u - 11. Let a be 5/10*(1 - u). Solve a = r - 0*r for r.
0
Let y = -24 - -58. Suppose -y = -3*v + 8. Solve 3*n + 2 = v for n.
4
Let y = 12 + -11. Suppose y = -5*h + 46. Solve h*b = 4*b + 20 for b.
4
Let o(k) = -k + 3. Let s be o(1). Suppose -m + s*m = 5. Solve g = m*g + 20 for g.
-5
Let m be (-4)/(1 - -1) - -5. Solve -5 - 1 = -m*t for t.
2
Suppose -n - a - 1 = 0, 2*a = -4*n + 4*a - 10. Let b = n - -8. Solve d = b*d + 5 for d.
-1
Let h(s) = -s**2 - 6*s + 4. Let z(k) = -6*k**2 - k + 1. Let m be z(1). Let i be h(m). Let n be ((-6)/(-15))/((-3)/(-30)). Solve 0*d + n = -i*d for d.
-1
Suppose -2*z + 40 = -0*z. Let r(p) = 4*p - 2. Let k be r(-2). Let q(c) = c**2 + 10*c + 3. Let h be q(k). Solve h*m + z = -m for m.
-5
Let f be (-4 - -4) + 3 - 2. Solve 4 = -3*l + f for l.
-1
Let c(h) = -4*h - 3. Let v be c(-3). Solve 5*x = 34 - v for x.
5
Let s(c) = 2*c**2 + 30*c + 4. Let v be s(-15). Solve 6 = 6*m - v*m for m.
3
Let i = -6 + 8. Suppose i = s + s. Let d(n) = -n**3 + 3*n**2 + 3*n + 5. Let p be d(4). Solve p = -l - s for l.
-2
Suppose 0 = 3*k - 15 - 6. Let w(u) = -2*u - 3. Let b be w(-3). Suppose 0 = -b*p + 5*p - 6. Solve 0 = 2*v + k - p for v.
-2
Let y(a) = a**2 - 2*a - 1. Let o be y(-1). Solve -o*b = -b - 4 for b.
4
Let j(h) = h**3 - 8*h**2 - 10*h + 12. Let i be j(9). Suppose -i*w + 8 = q, -q + 0*q = -5. Solve 2*c - 3 - w = 0 for c.
2
Suppose -20 = -4*h + 4. Let c = -4 + h. Solve 0 = 3*b - 1 - c for b.
1
Let d = -5 - -7. Suppose 0 = 4*u + 2*a - 22, 8*u + d*a - 25 = 3*u. Solve -2 - 4 = u*v for v.
-2
Let v be (-2)/13 + (-4)/(-26). Solve v + 4 = -2*a for a.
-2
Let n(t) be the first derivative of t**4/4 + 5*t**3/3 + 3*t**2/2 - 2*t + 2. Let v be n(-4). Solve 4*x = v*x for x.
0
Let l(s) = s + 12. Let b be l(-6). Solve 0 = -2*o - b for o.
-3
Suppose -5*d = 22 - 27. Let g = d - -4. Solve 8 = -c + g*c for c.
2
Suppose -12 = 9*p - 13*p. Solve 0 = -0*j - j - p for j.
-3
Let b(d) = d**3 + 19*d**2 - 19*d + 20. Let j be b(-20). Solve j = 2*f - 8 - 2 for f.
5
Suppose 52 = 5*a + 7. Solve -3*b = -a - 0 for b.
3
Let h(q) = -2*q**3 - 2*q**2 - 2*q - 1. Suppose -5*k + 4*s = -3*k + 6, -2*k = 2*s. Let c be h(k). Solve x = -4 - c for x.
-5
Let k(o) = -o + 11. Let v be k