12 for a.
4
Let a be 0/(-2 + 1 - 1). Let g be (-1)/5 - 26/(-5). Suppose 3*j + 3*f - 6 = 0, 2 = j - f + g*f. Solve j*c - 3 + 13 = a for c.
-5
Let y(h) = 2*h - 9. Let o be y(6). Let l(b) = -2*b - 4. Let j be l(-5). Solve 0*r = -o*r + j for r.
2
Suppose 3*x + x - 46 = -5*l, 5*l - 5*x = 55. Let v(q) = q + 3. Let z be v(0). Let r = z + 1. Solve s = -r*s - l for s.
-2
Suppose 0 = r + 4*r + 45. Let o be r/(-27)*3*3. Solve 3*t + o = 9 for t.
2
Let i be 6/(12/(-4)) - -2. Solve -12 = -i*g - 3*g for g.
4
Suppose 5*r - 11 = 9. Solve 0*a = r*a + 8 for a.
-2
Let m(o) = o**3 - 11*o**2 + 2*o - 19. Let d be m(11). Solve 0 = -2*x - d*x + 15 for x.
3
Suppose 0*r + 2*r + 38 = 4*x, -2*x + 4*r = -4. Let w be 10/2 + -2 + 1. Suppose -5*f + 3*n = x, f - n + w = -2*f. Solve -2*y + y = f for y.
0
Let b be (-12)/(-40)*-2 + 6/10. Solve b = -7*a + 5*a - 10 for a.
-5
Let n(r) = r**3 + 4. Let k be n(0). Suppose 3*y = -0*y. Solve 8 = -k*j - y for j.
-2
Let d be 2/8 - (-34)/(-8). Let f = -2 - d. Suppose 2*o = -2*j + 10, -2*j + 10 = -0*o + 4*o. Solve 0 = j*u - f*u for u.
0
Let y(m) = 4*m + 26. Let v be y(-6). Solve 5*t - v = 3 for t.
1
Let z(j) = j**2 - 12*j + 15. Let n be 62/6 + 4/6. Let b be z(n). Suppose 5*r - 20 = -0*r. Solve b*f + 0 + r = 0 for f.
-1
Let w(y) = -y. Let r be w(-12). Solve -2*n - r = -2 for n.
-5
Suppose 0*z = z. Let x(h) = -h**3 + h**2 + 2. Let u be x(z). Solve -u*g - 4 = -g for g.
-4
Let j = 90 + -90. Solve j = -0*f + 4*f + 16 for f.
-4
Let x(z) = z + 9. Let q be x(-7). Solve 2*b = q + 2 for b.
2
Let c(l) = -3*l**2 + 2. Let k be c(2). Let r = k - -14. Solve -r*x = x for x.
0
Let o(u) = 4*u**3 - 2*u - 1. Let p be o(-1). Let g = p + 3. Let i = g - -2. Solve -a - 4 = -i*a for a.
4
Let z be -15*(10/6 + -2). Suppose -4*s + 8 + 1 = d, -z*s = -5. Let y(p) = p + 8. Let g be y(-6). Solve g*c + d = 1 for c.
-2
Let g = 6 + 3. Let q(j) be the first derivative of -j**3/3 + 4*j**2 + 9*j + 1. Let k be q(g). Solve -w - 1 = -k*w for w.
-1
Let x = 15 - 10. Solve x = -h + 2*h for h.
5
Suppose 0 = -5*g + 5*y, -5*g - 2*y - 6 = -4*y. Let r = g + 0. Let f = 4 - r. Solve -2*x + 0*x = f for x.
-3
Let v(b) be the third derivative of -b**4/24 + 5*b**3/3 + 6*b**2. Let t be v(10). Solve -a - 1 - 1 = t for a.
-2
Let w(p) = p**2 - 11*p + 4. Let j be -11*(2 - 9/3). Let o be w(j). Solve o - 2 = -k for k.
-2
Suppose 41 = 4*h + 21. Solve 0 = -h*b + 4 + 11 for b.
3
Let w = 13 + -18. Let x = 8 + w. Let v(u) = -u - 6. Let s be v(-6). Solve s*o + 6 = x*o for o.
2
Suppose 3*q + 0*q = 6. Let x = -240 + 242. Solve u - q = x*u for u.
-2
Let o(h) = -5*h**3 - 2*h**2 - 2*h - 1. Let a be o(-1). Let y = 4 - a. Solve y = -2*f + 3 - 9 for f.
-3
Let r(l) = -l + 6. Let g be r(2). Solve g*z - 11 = 9 for z.
5
Suppose -17*h + 45 = -14*h. Solve -12*d + 9 = -h*d for d.
-3
Let n(w) = -w**2 + 5*w - 2. Let t be n(2). Let r be 2 + 4/(t/(-11)). Let b(k) = -k - 7. Let d be b(r). Solve d*p = -0*p for p.
0
Let r(x) = -x**2 - 13*x - 1. Let n be r(-8). Suppose n = 5*q - 61. Solve -3*v = -7*v - q for v.
-5
Let h(d) = -6*d - 36. Let l be h(-7). Solve 11 + 13 = l*z for z.
4
Suppose 20 = 4*j - 2*v, -10 = 5*v - 0*v. Solve -l = j*l for l.
0
Let c = 16 - 14. Suppose 4*f = v + 27, 2*v - 28 = -f - c*v. Solve -7 = -3*d + f for d.
5
Let n(d) = 2*d**2 - 6*d + 1. Let h be n(3). Suppose 3*i - 11 = h. Solve -i*u + 1 = 5 for u.
-1
Let b = 8 - -1. Let y(r) = -4 - r**2 - b*r - 1 - 5. Let x be y(-7). Solve 3*h - 2*h = -x for h.
-4
Let p(k) = 2*k**3 + 4*k**2 - 2*k + 1. Let r(w) = -w**3 - 2*w**2 + w. Let q(c) = 2*p(c) + 5*r(c). Let b be q(-2). Let f = b + 0. Solve f = m - 3*m for m.
0
Let m(l) = -4*l - 6. Let q be m(-2). Solve 5*u - q*u = -3 for u.
-1
Let q be 8 - (4/4 + 3). Solve -h + 2*h = -q for h.
-4
Suppose -6 + 0 = -3*u. Let b = -3 - -3. Let m be (-704)/(-112) + (-4)/14. Solve b = u*l - 4 - m for l.
5
Suppose 15 = 3*o, -3*o = -5*q + 2*o - 25. Solve 4*z + 0*z - 8 = q for z.
2
Let c be ((-5)/(-2))/((-2)/(-24)). Let j be (-10)/c - (-20)/6. Suppose 4*m - 18 = -2*b, 3*b = m + m + j. Solve b*v - 7 = -1 for v.
2
Let o(m) = m - 4. Let q(v) = -v**2 + 8. Let z be q(0). Let j be o(z). Solve 5*c + j = 3*c for c.
-2
Let y = -1 + 3. Let o be y + (1 - (-2 - -1)). Suppose 12 = -j + o*j. Solve -i - j = -1 for i.
-3
Let g = -7 - -12. Suppose -5*z + 7*p = 3*p - 13, 0 = -3*z + g*p. Suppose q = 2*b - 8, 0*q + 10 = -z*q + 4*b. Solve 0 = -0*a + q*a + 4 for a.
-2
Suppose -q + 16 = h, 30 = 3*h + 5*q - 20. Solve -4*u + u - h = 0 for u.
-5
Let s(x) = -x + 14. Let t be s(12). Suppose -t*k = -k - 16. Solve -6*p = -2*p + k for p.
-4
Let o = 1 + 6. Let z = 10 - o. Solve z = -v - 0 for v.
-3
Let r be 4/(-5)*(-5)/2. Let a(g) = -g + 5. Let q be a(3). Solve -r*t = q*t for t.
0
Suppose g - 15 - 10 = 0. Suppose -3*i = -5*w + g, 5*w + 2*i - 3 = 47. Solve -2*s = 2*s - w for s.
2
Let g(x) = -x - 1. Let f be g(-3). Suppose 4*q + 2*y + y = -6, -q = -y - f. Solve q*m = 2*m for m.
0
Suppose -3 + 18 = -3*u. Let d(k) = 2*k**2 + 7*k + 5. Let v be d(u). Let z be (3 - 2)/((-1)/(-8)). Solve 3*l - z*l = -v for l.
4
Let n be (5/(-5))/3 + 14/6. Solve 9 = n*v + v for v.
3
Let o be (-7 - (-2)/(-1))/1. Let v = o + 11. Suppose -5*u = -v*r - 8, -5*u - 16 = 6*r - 2*r. Solve -2*c + c + 1 = u for c.
1
Let y be (-8)/10*1*-5. Let m = -18 - -19. Solve r - y = -m for r.
3
Suppose 2*q + 0*z + 3*z = -5, -3*q - 2*z = 0. Solve -q*c - 2 = 6 for c.
-4
Let y(l) = -2*l. Let w be y(-4). Suppose -w*m - 3 = 4*r - 3*m, 2*m = -6. Suppose 3*a - a + r*d - 20 = 0, a - 4*d + 12 = 0. Solve t = -a*t - 25 for t.
-5
Let x(f) = -11*f + 2. Let w be x(2). Let i be (10/(-25))/(2/w). Let t be (-3)/(-9) + i/(-12). Solve -5 + t = -u for u.
5
Let q = 3 + -3. Suppose -2*i - 3*i = -v, q = -3*v + 2*i. Let k be (-4)/10 + 66/15. Solve 0 = -v*h - k*h - 12 for h.
-3
Let t = 113 + -101. Solve t = s + 8 for s.
4
Let i(w) = w**2 + 7*w - 1. Let a be i(-6). Let y be -2 + (-2 - -4) - a. Let h be y - (-2)/(-6)*3. Solve 3*j - h*j = 12 for j.
-4
Let a = 9 - 5. Suppose 2*m + 3*y - 39 = -m, 0 = a*m + 5*y - 57. Solve -5*g + 7 = -m for g.
3
Suppose -4*u = -4*k + 12, -3*k = -5*u + u - 8. Suppose 0 = 2*i - s - 8, i + 3*i + k*s - 40 = 0. Solve -i*v = -3*v for v.
0
Let v(f) be the first derivative of -f**2/2 + 7*f - 2. Let x be v(-5). Solve -3*r - x = -6*r for r.
4
Suppose u - 25 = 5*z, -5*u + 111 = -3*z + 8. Let d = 18 - 16. Suppose d*b - 5 = 9. Solve -u = b*s - 2*s for s.
-4
Let w be 6/(-18)*0/3. Solve 3 = -k - w*k for k.
-3
Let a = 0 + 2. Let s = 33 - 25. Suppose a*b - 19 = -2*b - 3*n, -3*b + 4*n + s = 0. Solve b*x - 7 = 9 for x.
4
Let o(y) = -6*y**2 + 4. Let b(d) = d**2 + d - 1. Let q(n) = -4*b(n) - o(n). Let k be q(3). Solve -2*v + 2 = -k for v.
4
Let p be ((-4)/(-10))/((-3)/(-15)). Let j be (p/(-4))/((-4)/120). Let t = j + -11. Solve -t*s + 10 = s for s.
2
Suppose -8*r + 5*r = -21. Suppose 4*u - o = r, -o = -2 - 3. Suppose -4*d + 12 = -4*c, c = -3*d - 3*c - 12. Solve u*l + d*l = 9 for l.
3
Suppose -l + 2*z = 2, -3 = -z - 1. Suppose 0*f - l*f = 0. Solve f = 6*u - 2*u + 4 for u.
-1
Let r be (0*(-2)/10)/(-1). Solve r = 5*i + 10 + 5 for i.
-3
Let z(b) = 4*b**2 + 6*b - 1. Let i(r) = r**2 + r. Let m(u) = 5*i(u) - z(u). Let t be m(2). Solve -8 - 4 = -t*l for l.
4
Suppose 5*x + 10*v - 5*v - 10 = 0, x = 5*v + 2. Suppose -3 + 6 = j. Solve 0 = -s - x + j for s.
1
Let j(o) = o**3 - 2*o**2 + o. Let x be j(1). Let m be 4*((-4)/2 - -3). Suppose -9 = -3*b - f - f, m*b = -4*f + 12. Solve -b*n + 3 + x = 0 for n.
1
Let m(p) = p - 25. Let d be m(8). Let n = -14 - d. Solve n*s = -2 - 1 for s.
-1
Suppose -2*w = -0*w - 10. Suppose 0 = -y - q + 8, -4*y = -2*y + w*q - 31. Let r = 3 - y. Solve r = -5*j - 6 + 1 for j.
-1
Let j = 9 + -5. Let c = j - 0. Solve -c*d + 8 = -8 for d.
4
Let n be 42/(-4)*(-8)/14. Solve -9 = -3*m + n for m.
5
Suppose -2*r + 7 = -5*v - 3, -4*v - 8 = 0. Let w(x) = -2 + r*x**2 - 2*x - 2*x - x**2. Let c be w(-2). Solve 0 = i - c*i for i.
0
Let h(p) be the first derivative of p**4/4 + p**3/3 - 25*p + 4. Let t be h(0). Let u = 37 + t. Solve -2*g = g - u for g.
4
Suppose -20 = 4*j - 12. Let w be (-10)/(-70) + j/14. Solve 4*b + 8 = -w for b.
-2
Let i be ((-35)/(-21))/((-25)/(-30)). Solve -i*f + 15 = f for f.
5
Let i(s) = -s**3 - 7*s**2 + s - 5. Let r(k) = 4*k**3 + 22*k**2 - 3*k + 15. Let y(t) = -7*i(t) - 2*r(t). Let p be y(5). Solve -m + p*m + 2 = 0 f