 -c*a for a.
-3
Suppose 1 = a + 3*b, -5*b - 10 = 5*a - 45. Solve a*p - 5*p = 0 for p.
0
Let g(l) = l + 10. Let r(a) = a**3 + a - 6. Let t be r(0). Let b be g(t). Suppose 3*c - 5*i + 6 = 5*c, -4*c - 3*i = -12. Solve b*p + 5 = c*p for p.
-5
Let k = 0 + 2. Suppose 4*d - 2*i - 18 = 0, k = -3*i - 1. Suppose -2*r + 30 = d*y, 3*y + 5*r - 41 + 1 = 0. Solve 0 = 2*u + 3*u + y for u.
-1
Suppose q + 4*r + 13 = -3, -3*q - r = 4. Solve -l + 0*l - 4 = q for l.
-4
Let v(k) = -5*k - 30. Let i be v(-6). Solve 4*d - d + 6 = i for d.
-2
Suppose -h + 12 = -5*z + 3*h, -8 = 4*h. Suppose -3*l = -6*l + 6. Let i be 2*l/z*0. Solve -3*s + 19 - 4 = i for s.
5
Let g(r) = -r**2 - 6*r - 6. Let x(d) = -d**2 + 4*d - 3. Let k be x(5). Let f be 1/(6/k)*3. Let t be g(f). Solve 18 + t = -5*o for o.
-4
Suppose 15 = n - 3*t, -8 - 34 = -5*n + 4*t. Suppose -y = -2*o - n, 0*y - y + 3*o + 8 = 0. Let d be (-3)/(-5) - (-4)/10. Solve -d = -y*q - 7 for q.
-3
Suppose 5*g - 71 = 4*o, -4*g + 61 = 3*o - 2*o. Let a = -11 + g. Solve 10 = s + a*s for s.
2
Let i(l) = 2*l**3 + 11*l**2 - 8*l - 12. Let c be i(-6). Solve c*w = -3*w - 6 for w.
-2
Let j = 1 + 2. Let p = 3 - j. Suppose 0 = 3*m + t - 18, -16 = -4*m - t + 8. Solve 0*i - 3*i - m = p for i.
-2
Let a be (1 - -2)*2/3. Suppose 3*r + 3*w = 75, -a*r + r - 3*w = -25. Suppose 5*s - 2*t + 20 = 2*t, -5*s = -5*t + r. Solve 2*u = -s*u + 8 for u.
4
Let w be (-2)/(-2) + 2 + 0. Solve w = 2*o - 1 for o.
2
Suppose 32 = 3*j + 5*m, -19 = -2*j - 3*m + 2. Suppose -3*b + 4*b = -6. Let l = b + j. Solve l*p + 0*p = 12 for p.
4
Suppose 0 = -3*r + 46 - 10. Let i = r - 4. Solve 3*v + 4 + i = 0 for v.
-4
Suppose s + 3*s - 24 = 0. Let t be ((-4)/s)/(-2)*9. Suppose -4*b + 9 + t = 0. Solve b*m - 2 = m for m.
1
Let t(u) = u - 1. Let i be t(4). Let a be (22/33)/(1/i). Solve s = -a*s + 6 for s.
2
Suppose 9 + 0 = 3*q. Let h be (16/6 + -2)*6. Suppose -3*i = -h*n - 29, -q*i - 2*i = n - 10. Solve i + 2 = s for s.
5
Let l = -2 + -1. Let n = l - -6. Suppose 3*h + n*g = g + 17, -5*g = -h. Solve -21 = -h*v + 4 for v.
5
Let d = -46 - -54. Solve 8*j - d = 12*j for j.
-2
Suppose x - 1 - 5 = 0. Let q be ((-1)/2)/(x/(-48)). Solve 0*i = q*i + 8 for i.
-2
Let u = -11 + 14. Solve -m - u*m + 16 = 0 for m.
4
Let z be (2/2 + -1)/(-2). Let b = -56 - -38. Let x = b + 24. Solve v - x*v - 5 = z for v.
-1
Let u(n) = -2*n - 2. Let o = 5 - 8. Let d be u(o). Solve 2*r + 2 = d*r for r.
1
Let p = -8 - -17. Suppose -3*d + 6 = -p. Solve -2*v + d = 1 for v.
2
Suppose 45 - 15 = 5*d. Let h(x) = 13*x - 5. Let i(v) = -7*v + 2. Let u(b) = -6*h(b) - 11*i(b). Let r be u(d). Solve -r*q + 4 = -4*q for q.
-2
Let f(s) = s**2 + 2*s - 1. Let n be f(1). Suppose 4*d = 3*r - 4*r + 20, -n*d + 10 = 4*r. Solve r = z + 2 + 2 for z.
-4
Let u(z) = 14 - 16 + 0*z**2 + 6*z + 2*z**2. Let t be u(-5). Suppose 2*m + 5*h + 16 = 0, -m + 2*h = -2*h - t. Solve 2*j = -m*j for j.
0
Suppose -1 = -4*h + 7, -2*h = -4*o + 16. Suppose t - 4*w = 5*t + 4, 5*t + 5 = 3*w. Let q(y) = y**3 + 1. Let n be q(t). Solve g + o + n = 0 for g.
-5
Let k = 2 + 3. Suppose k*j - 4*h + 8*h = 116, -h - 96 = -5*j. Suppose 5 = 4*v - 7. Solve -v*f + 5 = j for f.
-5
Let c be -3 + -1 + 8 + -1. Solve 4 = c*q - 5 for q.
3
Let c(l) = l**2 - 2*l - 1. Let f = -2 - -1. Let x be c(f). Suppose -4*a - 2*s = -18, -2*s - x*s - 19 = -3*a. Solve a*m - 15 = 2*m for m.
5
Suppose 0 = -2*d + 4. Solve d*u = -3*u - 20 for u.
-4
Suppose -3*i + 5*i = 8. Solve i = 5*p - p for p.
1
Suppose 18 = 4*p + 2. Suppose s = -p*s. Solve -5 = -s*y + y for y.
-5
Let b = 7 - 3. Let u be (1 - (-10)/(-4))*-4. Suppose 2*a - u = 18. Solve -b*i + i + a = 0 for i.
4
Suppose 20 = -v + 5*m, -v + 16 = 5*m - 4. Solve v = -3*o + 6*o + 12 for o.
-4
Suppose 7*k - 33 = 2*k - 4*q, -3*k - 4*q = -23. Solve 0 = -0*r + r - k for r.
5
Suppose -4*m + 40 = 32. Solve -m*p + 6 = -8*p for p.
-1
Let x be -1 - (-13 + 0 + 0). Suppose -x = -i - 3*i. Suppose 4*p + 0*p + 2*a = 18, -a = i*p - 15. Solve 19 = 5*u - p for u.
5
Let c(j) = -2*j - 2. Let u be c(-2). Suppose 2*p - u = 4*p - 3*l, 2 = -p + 2*l. Suppose 0 = 2*x + p*x - 8. Solve -x = -5*d + 13 for d.
3
Let j(w) = -10*w - 6 + 4*w**3 + 4*w**2 - 3*w**3 + 3*w. Let x be j(-4). Suppose -x = c - 5*c - 2*h, 20 = -4*h. Solve -z = 3*z - c for z.
2
Suppose -12*l + 15*l = 54. Suppose -6*w = -w - 5*d - 45, 2*w + 5*d - l = 0. Solve -3*g + 6 = -w for g.
5
Let s(v) = -4*v**2 - 3*v - 2. Let c be s(-2). Let b be 3 + -4 + c/(-2). Solve b = 2*y + 1 for y.
2
Suppose 17*c - 10 = 12*c. Solve -1 = -3*j + c for j.
1
Suppose -4*j = -z - 14, 0 = -4*j - z + 2 + 16. Let d = -4 + j. Solve t + 0*t - 1 = d for t.
1
Let d = 4 + -2. Solve 0 = -d*j + 4*j - 6 for j.
3
Let a(k) be the third derivative of k**6/120 - k**4/6 - 3*k**2. Let c be a(3). Solve -c = -2*h - h for h.
5
Let c be (-35)/14*(0 - 18/15). Solve -2*k - c*k - 5 = 0 for k.
-1
Let x = -24 - -21. Let k be 1*-2*x/2. Solve 0 = 4*t + 9 + k for t.
-3
Let j(l) = -l**2 + 6*l + 4. Let t be j(6). Let g(q) = -2*q**2 + 3*q + 4. Let z be g(t). Let s = -11 - z. Solve 12 = s*r - 3 for r.
3
Let k be 2/9 + (-43)/(-9). Solve k*j - 2*j = 6 for j.
2
Let o = -51 + 57. Solve 5*t = o*t + 5 for t.
-5
Let s be 9/6*(-1 + -1). Let l be (-4)/6 - 2/s. Solve 16 = -l*k + 4*k for k.
4
Let w(g) = -2 + 2*g + g + g**3 + 6*g**2 - 2*g**2 + g**2. Let t = -10 + 6. Let u be w(t). Solve 2*y + 4 - u = 0 for y.
-1
Let q(n) = n**2 - 2. Let h(k) = -k + 5*k**2 - 4*k**2 - k**3 - 4*k**3 + 2*k**3. Let v be h(1). Let t be q(v). Solve 3*m + 12 = t*m for m.
3
Let y be 5/3 + (-12)/18 + 0. Solve 5 = 3*h - y for h.
2
Let h = 25 - 23. Solve -3 = h*l + l for l.
-1
Let a = 12 + -9. Solve 3 = a*j - 6 for j.
3
Suppose 27 = 4*z + 7. Suppose z*b + 3 = 23. Solve 0 = -0*k + b*k for k.
0
Let x(s) = s**2 + 6*s - 3. Let p be x(-7). Let z(l) = l**2 - 3*l - 1. Let f be z(4). Solve n = f*n - p for n.
2
Let z = -64 - -74. Solve -r = r + z for r.
-5
Let y(o) = -o**2 + 2*o + 1. Let x be y(2). Let k be 1/(0 - x)*-3. Solve -10 = 2*l + k*l for l.
-2
Let s be ((-4)/(-6))/((-1)/(-3)). Suppose -u = 4*y - s*y - 11, u + y = 8. Solve -u*n + 16 = -n for n.
4
Suppose 5*v - 1 = 9, a - 5*v = -9. Let n = -7 - -10. Solve a = n*p - 11 for p.
4
Suppose 2*m - 2 = -0. Let p be 4 + m/(4/8). Solve 5*o + 21 = p for o.
-3
Suppose -10*k + 30 + 0 = 0. Solve 1 - k = g for g.
-2
Suppose -2*s + 8 = -s - 4*v, 4*s + v = -2. Solve s = -5*t + 1 + 9 for t.
2
Let j(v) = 2*v - 2. Let k be j(-2). Let x = 6 + k. Suppose -z + 4*z = x. Solve -a + 0*a + 2 = z for a.
2
Let a be 9/(-6)*12/(-9). Suppose -a*y - 2*k = -26, 0*k = y - 2*k - 22. Suppose -2*j = -6*j + y. Solve -j*l = -l - 12 for l.
4
Let a = -4 + 9. Suppose 3*f - a = 1. Solve f*o + 2 = -0*o for o.
-1
Let j(m) = 14*m**2 + 1. Let r be j(1). Suppose -5*n - 4*y - 12 = 0, -n - 3*y - 2*y = r. Solve 3*d - 3 - 3 = n for d.
2
Let n = 44 + -39. Solve -2*w - 5 = n for w.
-5
Suppose -4*m + 12 = -4. Solve 6 = 2*h - m for h.
5
Let f(k) = -14*k + 57. Let q be f(4). Solve 4*m - q - 7 = 0 for m.
2
Let k be 1 - 4*(-9)/(-12). Let g be k/2 + (-96)/(-6). Solve -2*i + g = i for i.
5
Let u be 135/60 - 6/(-8). Solve u*o - 15 = -2*o for o.
3
Let x = 18 + -7. Suppose -x*s = -8*s - 30. Solve 0 = z + 4*z - s for z.
2
Suppose 0 = -3*k - 3*u - 2*u + 9, u = k - 3. Suppose 81 = 11*h - 84. Solve k*s + h = 8*s for s.
3
Let i be (1 + -5)*(-1)/2. Suppose -b - 14 = 3*g + 4*b, 0 = -i*g - 5*b - 16. Solve g - 1 = p for p.
1
Let r be (3 + (-21)/6)*-44. Solve 4*m - r + 6 = 0 for m.
4
Let f(j) be the third derivative of 0 + 0*j + 7/6*j**3 - 3*j**2 - 1/24*j**4. Let l be f(5). Solve l*y = -y for y.
0
Let s = 28 + -16. Solve 0 = 2*d - 4 + s for d.
-4
Let o be (24/18)/((-1)/(-6)). Let d = o + -4. Solve -d*c = -10 - 6 for c.
4
Let o = -36 - -54. Let w be (-1)/(-2) - o/(-4). Suppose -5*u - 5 = 5*f + w, 2*u + 5*f = -19. Solve n + u*n = 0 for n.
0
Let i be (-89 + 2)/((-3)/2). Suppose -18 = 4*k - i. Let a be 4/(-10) + 4/k. Solve g - 1 + 2 = a for g.
-1
Let n be 2/4*0 + -6. Let g be (-32)/(-5) + n/(-10). Solve -4*b - g - 1 = 0 for b.
-2
Let d(v) = 2 - 8*v + 9*v - 3 - 1. Let l be d(2). Solve 4*b + 13 - 1 = l for b.
-3
Suppose 3*p + 4 = 7. Solve 3*b - 10 + p = 0 for b.
3
Suppose 4 = 3*m + 19. Let j = m + 7. Solve j*s + 3*s - 10 = 0 for s.
2
Let v(p) be the first derivative of p**3/3 + p**2/2 - 9. Let l(u) = u**2 + 3*u + 2. Let j be l(-3). Let s be v(j). S