p = -3*p + 25 for p.
5
Suppose 2*a = -a - 3*x + 18, -3*x = -3*a. Let d be 5/2*(-16)/(-20). Suppose -4*o = -d*o. Solve o = -a*v - 1 - 11 for v.
-4
Let o(m) = -6*m - 17. Let p be o(-7). Let a = 26 - p. Solve 4*j = -a - 3 for j.
-1
Let q(m) = 5*m**3 - 1. Let d = 5 + -4. Let x be q(d). Solve 4*l = x + 4 for l.
2
Suppose -9 = -a - 3*x, 4 = -a + x + 5. Suppose a*w + 5 - 2 = 0. Let g be (-7 - (0 + -2))*w. Solve -g = d - 0 for d.
-5
Let k(b) = -4 + 2*b + 6*b**2 + 3*b + b**3 - 2*b. Let s be k(-5). Solve 0 = 2*i - 2 - s for i.
4
Let b be (-1)/(-3) + (-32)/(-3). Suppose 3*u = 3*z + 15, -6*u = -5*u - 4*z - b. Suppose -21 - 3 = -u*t. Solve -3*y - y = -t for y.
2
Let l(s) = -s**2 + 7*s - 6. Let q be l(6). Let z = q + 1. Suppose -10 = -2*u - 4. Solve -u*r + 2 = -z for r.
1
Let t(j) = j - 7. Let p be t(7). Solve p = 2*a + 3*a + 15 for a.
-3
Suppose -6*a - 3 = -7*a. Suppose -2 = 2*q - a*q. Solve 0 = q*t + t for t.
0
Let w be (6/4)/((-6)/(-8)). Let j be ((-1 - -2) + 9)*w. Solve j = 3*x + x for x.
5
Let n = -155 - -161. Solve n = -3*l - 6 for l.
-4
Suppose 2*j = -0*j + 4. Let k(g) = -g + 13. Let y be k(8). Solve j*w = y*w - 15 for w.
5
Let x be -30*-1*(2 + -3). Let o be ((-2)/(-4))/((-1)/x). Solve -u - o = -4*u for u.
5
Suppose -5*k = 4*j - 45, 2*j + 30 = 7*j + k. Let w(v) = v**2 - 5*v + 2. Let i be w(5). Solve -i = -s - j for s.
-3
Let m = 1 - -12. Suppose -2*y + 0*s = 5*s - m, -4*s = -2*y + 4. Solve -q - 5 = -y for q.
-1
Suppose 1 + 2 = t. Suppose t*s - 2*s = 12. Solve 0*c = 3*c + s for c.
-4
Let o = 5 - 4. Let c = 1 + o. Suppose 0*w - 2*u + 3 = -w, 3 = c*w - u. Solve g - w = -2 for g.
1
Suppose -5*j + 5*u - 20 = -0*u, u = 4*j + 4. Solve x + 0*x = j for x.
0
Let m(f) = 2*f**2 - 3*f**2 - 22*f**3 + 21*f**3 - f + 1. Let j be m(0). Solve -t + 5 = j for t.
4
Let b = 1 + 17. Let m = b - 12. Solve -q + 3*q = -m for q.
-3
Let d(c) = 7*c**3. Let k be d(-1). Let v = 17 + k. Solve -3*f - 2 - v = 0 for f.
-4
Let g be (0 + -1 + -2)*-1. Let j be 14/g + 2/(-3). Suppose 2*z = j*z. Solve z = -4*u - u - 10 for u.
-2
Let i(v) = 8*v. Let s be i(1). Let y be s/6*9/(-6). Let c be y/3 + 2/3. Solve -4*g + g - 3 = c for g.
-1
Suppose -5*h - 5 = -5*v, -5*v + 2*h = -0*h - 11. Let d(t) = 0*t + 2*t - t**2 + 3*t - 2 + 0. Let b be d(2). Solve -b*k = -v*k - 4 for k.
4
Let y = 1 + 4. Let v = y - 1. Solve 0 = -w + v*w for w.
0
Let w be (-1)/((-6)/(-15))*-2. Suppose -w*g + 3 = -2. Let u be 0*((g - 0) + 0). Solve -a = -u*a + 4 for a.
-4
Suppose 3*a + s = 3*s, -3*s = -2*a. Let d = a + 0. Let t = -10 - -25. Solve 5*m = -d*m - t for m.
-3
Let s(p) = 4*p. Let i be s(2). Let l(o) = o**3 + 6*o**2 + 6*o. Let f be l(-5). Let k = f + i. Solve -k*g + 17 = 5 for g.
4
Suppose 0 = -q - 4 + 5. Solve 26 - q = -5*b for b.
-5
Let l = -9 + 13. Suppose 9 = l*o - o. Solve g = -o*g + 8 for g.
2
Suppose 2*r + 4*j + 1 = -7, 4*j + 8 = -5*r. Solve -2*y + r + 10 = 0 for y.
5
Suppose 4*k - 8*k = 0. Solve m + 0*m = k for m.
0
Suppose 4*q = -4*x + 20, 3*x - 6*q + 6 = -2*q. Solve 0 = -x*y - 0*y - 8 for y.
-4
Let u be (8/(-1))/(-1) + -1. Let i(q) = -3*q**3 + 2*q**2 + 3*q + 2. Let x be i(-1). Suppose x = a - u. Solve a = 5*s - 4 for s.
3
Suppose 4*m = 2*f - 11 - 7, 3*f - 4*m = 29. Let s = -8 + f. Solve -4*y = -s - 17 for y.
5
Suppose -5 = -9*a + 4*a. Let c(z) = -z - 5. Let u be c(-6). Solve -2*d + a = -u for d.
1
Let o = 5 - 2. Let z(n) = -2*n. Let a be z(-3). Suppose 4*d = d. Solve -o*p + a = -d*p for p.
2
Suppose -9*n + 2*t + 30 = -4*n, -2*t - 2 = 2*n. Let j be (-4)/(-22) - (-60)/33. Suppose -j*y + h + 12 = -y, 4*h - 6 = -2*y. Solve 3 = -n*q - y for q.
-3
Let u = -63 - -65. Solve u*d = 3*d - 1 for d.
1
Suppose 0*k + k - 5 = 0. Solve -23 + 8 = k*l for l.
-3
Let c(x) = -x**2 + 13*x - 11. Suppose 0 = -d - d + 24. Let b be c(d). Let s be 3*2 + (-7)/7. Solve s*i - 9 - b = 0 for i.
2
Let d = 41 - 36. Solve t + d = 1 for t.
-4
Let i = -39 - -59. Suppose -i + 0 = -5*p. Suppose t - p = v + 3*t, 4*v = -4*t. Solve -l = 3*l - v for l.
1
Suppose 0*z = -5*t + 4*z + 10, 4 = 2*t - 4*z. Solve 3 = -t*s - 3 for s.
-3
Let u be 5/10 + (-1)/(-2). Let q be (0 - -1)*(0 + -2). Let b = u - q. Solve 3*p - b = 9 for p.
4
Let y(x) = 6*x + 2. Let s be y(3). Solve -6*v = -2*v + s for v.
-5
Suppose 5*n = 4 + 1. Let w be 1/(12/10 - 1). Suppose 2*b = q - 5 - n, w*q = 4*b + 12. Solve q = -0*m - 3*m - 12 for m.
-4
Suppose 5*m - 25 = 3*q, 5*m - 9 = 16. Let n = 4 + q. Let v be (4/2)/(1/n). Solve -y - v = y for y.
-4
Suppose r + 2*j = j - 2, 4*j + 18 = r. Solve 4*a + r + 6 = 0 for a.
-2
Let d(r) = 2*r**2 + r + 1. Let p be d(-1). Let h(q) = -q. Let l(k) = 1. Let w(c) = h(c) + 4*l(c). Let s be w(4). Solve 2*g - p = -s for g.
1
Let v be (4 - 0/2)*1. Solve -i = v - 0 for i.
-4
Let p be 0*(-4)/8*-1. Suppose t - 6 = -3*f, 4*t + f - 12 - 1 = p. Solve 0 = -t*g - 2*g + 15 for g.
3
Let w be -3*(-4 - -1 - 8/(-3)). Solve -3 - w = -t for t.
4
Let u(n) = -n**3 - 6*n**2 + 15*n - 6. Let m be u(-8). Solve -l + m - 3 = 0 for l.
-1
Let v be -1 + 0/(-4) - (2 + -11). Solve v = 2*w + 4 for w.
2
Let y(n) = -2*n + 2*n**2 - n**2 - 1 - 3*n + 3*n. Let b be (3/(-6))/(2/4). Let p be y(b). Solve p*i = -0*i for i.
0
Let k(a) = -a**2 + 4*a + 9. Let g be k(5). Let q be ((-4)/(-3))/(2/3). Solve g*h - q - 18 = 0 for h.
5
Let d(z) = 4*z - 4*z + 2 + z. Let r = -12 - -14. Let w be d(r). Solve t - w*t = -12 for t.
4
Suppose 25 = 4*u + u. Let w(v) = -v + 14. Let n be w(9). Let c = n - u. Solve s - 3*s - 4 = c for s.
-2
Suppose -3*n + 3 = -a - 2*n, -6 = a + 2*n. Let y be ((-8)/(-14))/(a/(-28)). Suppose -y*u = 5*i, 3*i + 0 = -3*u + 3. Solve -u*f = -15 - 0 for f.
3
Suppose -2*a + 2 + 4 = 2*s, 0 = 4*s. Solve 1 - 4 = -a*u for u.
1
Suppose 0 = -h + 2*h. Suppose -k + 4 + 13 = h. Suppose 6*l - 3*l - k = -5*b, -l - 1 = 5*b. Solve -l = -3*z + 6 for z.
5
Let p = 14 - 4. Solve 0 = d + d + p for d.
-5
Let i be (-2)/2 + 3 - -2. Let l(y) be the second derivative of y**3/6 - y**2/2 - 2*y. Let b be l(i). Solve 0*w + 3 = -b*w for w.
-1
Let o = -38 + 43. Solve -4*f + o*f = 2 for f.
2
Let y(r) = -3 - r + 4 + 0*r + 0*r. Let p be y(-1). Solve -8 + p = 3*d for d.
-2
Suppose t - 6 = -4. Solve 5*r - 6 = t*r for r.
2
Let b(y) = -y**2 + 10 - y - 2 + 9*y. Let t be b(9). Let w be -5*(t + 0/(-1)). Solve -h - w + 4 = 0 for h.
-1
Let s(p) = p**3 - 5*p**2 + 5*p - 1. Let w be s(4). Solve -w*j + 4 = -j for j.
2
Let d(w) = w**3 + 5*w**2 + 4*w + 3. Let n be d(-4). Solve -n*m = -7*m - 16 for m.
-4
Suppose 2*p = 7*p - 3*q + 3, 5*q - 5 = -p. Suppose p = -4*n + 4 + 4. Solve 0 = u + n*u for u.
0
Let k = -26 - -27. Solve -k = -0*z + z for z.
-1
Let t(m) = -m**2 + 7*m + 5. Let w be t(7). Solve w*h + 3 = 2*h for h.
-1
Let h be (30/(-35))/(2/(-14)). Let m = 9 - h. Solve m*d + d = -20 for d.
-5
Let b(a) = -a**3 + 6*a**2 + 7*a + 3. Let w be b(7). Solve -w*i = -0*i - 15 for i.
5
Let x be -1*1 + (-2 - 0). Let g be 5/(-2)*(x - -1). Suppose -5*d - 15 = 2*o, -g*o + 2*o = -4*d - 12. Solve o*r - 4*r - 12 = 0 for r.
-3
Let c be -1*2*3/6. Let o = 5 + c. Solve o = -q + 2*q for q.
4
Let r(n) = n**3 - 10*n**2 + 10*n - 4. Let x be r(9). Let u be 2/x + 298/5. Suppose 0 = 3*s - 0*s - u. Solve 0*b - s = -4*b for b.
5
Let p(x) = -x**2 - 8*x + 9. Let w be p(-9). Suppose w*h = -4*h + 4. Suppose y - 10 = 3*q, q = 4*y - 2*q - 13. Solve -l + h = -y for l.
2
Suppose -3*i = -12 - 0. Suppose 2*d = 3*u + 9, -6*d + 2*d = -i*u - 16. Suppose y - 4*a = -2*y - 20, -d*a = 4*y - 15. Solve y - 3 = j for j.
-3
Suppose -k + 7 = i, 2*k + 3 = 4*i - 19. Suppose 2*r - 2*s = -5*s + 14, -4 = -3*r + 4*s. Solve l - r*l = -i for l.
2
Let r(x) = 2*x - 3. Let l be r(-4). Let n(d) = -d - 9. Let f be n(l). Suppose -f*w = -w. Solve w = 4*b - b + 15 for b.
-5
Let x(l) = 0*l + 1 + 4 + l. Let z be x(-7). Let f be (-7 - (-1 - -2))/z. Solve -16 = 5*y + f for y.
-4
Suppose 4*l - 5*w - 22 = 0, -2*w - 15 + 5 = -2*l. Solve 0 = -l*f + 2*f - 1 for f.
-1
Suppose -2*z + 5*z = 36. Let n = z - 10. Solve n*d = 6*d - 8 for d.
2
Let q(n) = -3*n**3 + 4*n - n - 2*n + n**3. Suppose 0 + 2 = -2*l. Let u be q(l). Solve -u = -i + 3 for i.
4
Let f be ((-51)/(-6))/1 - (-2)/(-4). Solve 10 = -3*b + f*b for b.
2
Let w be (30/(-20))/((-6)/8). Let i be -2*w*(-10)/4. Solve -b + 6*b + i = 0 for b.
-2
Let d be (-6 + 2)/(-1) + 0. Let r = -4 + 30. Suppose -5 = -5*w - 30, -y + r = -d*w. Solve 0 = -s - 2*s + y for s.
2
Suppose -2*y