 + q = 4 for n.
2
Let c = 27 + -4. Let z = 40 - c. Suppose -2*t - 5*u = -3*t + 21, -4*u = -t + z. Solve -t - 2 = v for v.
-3
Let p(t) = t**3 + 5*t**2 + 7*t + 7. Let h be p(-3). Solve -11 - h = -3*l for l.
5
Let f(h) = -h**3 - 7*h**2 + 8*h + 3. Let s be f(-8). Solve -r - s*r = 8 for r.
-2
Suppose q + 15 = 2*q - 3*k, 0 = q + 4*k + 20. Solve d = -q + 1 for d.
1
Suppose 4 = 4*o - 3*l, -8 = 2*l - 4*l. Let a(n) = n**2 + 4*n - 2. Let g be a(-4). Let c = g + o. Solve -c*v + 8 = 2*v for v.
2
Let a be (-2)/(-7) - (-47)/7. Solve -4*k = -a*k + 12 for k.
4
Let f be 0 + (-1 + 3)*14. Let y = f + -28. Solve y = -2*j - 2 + 6 for j.
2
Suppose -3*b + 10 = -2. Suppose -5*g - u = -b - 13, 8 = 4*u. Suppose q + 4 = g*q. Solve 2 = -q*c + 4 for c.
1
Suppose l = -3 + 11. Let f = 12 - l. Suppose 2 = -0*j - 5*j + w, 2*w = f. Solve j*z - 3*z = -9 for z.
3
Let g = 22 + -13. Let z(y) = y**2 - 10*y + 11. Let i be z(g). Solve -14 = -4*l + i for l.
4
Let b = 2 + -1. Suppose 7 = 3*t - 4*f - b, -3*t - 2 = -2*f. Let h be (-1 + 1)*2/t. Solve g - 1 - 3 = h for g.
4
Suppose 2*h - 8 = -5*j + 3*j, 5*h = 0. Let b = j + -2. Solve 4*i + 10 = b for i.
-2
Let g = -1 + 3. Let b be (4 + -1)*(g + -1). Solve 0 = -b*c - c + 12 for c.
3
Suppose 0 = 15*k - 10 + 10. Let z = 6 - 3. Suppose 4*h = z*n - 26, k = -n + 3*h + 12 + 5. Solve -n - 3 = b for b.
-5
Suppose z = -4*q + 9 - 1, -3*z + q = 2. Solve -4*g = -z*g + 12 for g.
-3
Let p be 3*(-7)/(63/(-6)). Solve 4*h - 3*h = -p for h.
-2
Suppose -2*k = -k - 32. Let n = 1 - -1. Suppose -5*s = -t + 8 + k, -3*s + 41 = n*t. Solve r = -4*r - t for r.
-5
Let n be (-6)/9*(-15)/(-2). Let i = n + 8. Solve -i*p + 5*p = 10 for p.
5
Suppose 4*b - 6*b + 8 = 0. Let j be 54/15 + b/10. Solve w + j*w = -15 for w.
-3
Suppose -33 - 3 = -4*x. Solve 0*s + x = 3*s for s.
3
Suppose 15 = -2*c + 3*g, 4*c + g = -2 + 7. Suppose c = -2*i + 5 - 3. Solve 5*p + i = -4 for p.
-1
Let i be (-2*1)/1 - -18. Let y be -8 - (5 - (4 + -1)). Let h = y + i. Solve 2*u = h*u + 4 for u.
-1
Let j(s) = 2*s - 16. Let h be j(9). Solve -6*r + 5*r + h = 0 for r.
2
Let o(x) = x**2 + 3*x + 1. Let k be o(-7). Let a = k + -14. Solve -3*p + a = -8*p for p.
-3
Let l be ((-4)/6)/((-4)/30). Suppose 7 = 5*n - 2*k, 35 = 5*n + k + 4*k. Suppose 2*q + 0*q - l*i + 15 = 0, i = -3*q + n. Solve 0*p - 2*p - 8 = q for p.
-4
Let w = -3 - -5. Let t(h) = -h**3 - 8*h**2 + 7*h - 15. Let p be t(-9). Solve -p = -y - w for y.
1
Let o(j) = -j + 16. Suppose 2*r = r + v + 11, -2*r + 4 = 4*v. Let s be o(r). Suppose 5*y + 4 = 2*l, 4*l + 0*l - s = 2*y. Solve -2*w = -l - 2 for w.
2
Let v be 1/(-3) - (-46)/3. Let u(g) = 4*g**2 + 3*g + 3. Let a be u(-2). Let p = a - 9. Solve p*z - v = -z for z.
3
Let b = -2 - -5. Let z(n) be the second derivative of -n**5/20 - 5*n**4/12 + 7*n**3/6 + 9*n**2/2 - 2*n. Let j be z(-6). Solve j*q - b = -0 for q.
1
Let f(d) = -d**2 + 3*d + 4. Let k be f(4). Solve 2 = -k*b - b for b.
-2
Let f = -2 - -2. Suppose f = j + 4*n - 2*n + 7, 0 = 2*j - 2*n - 16. Solve j*y + y - 8 = 0 for y.
2
Let k be (24/15)/(8/20). Suppose 5 - 25 = -k*u. Solve c = u*c for c.
0
Let u(w) be the second derivative of w**4/12 - 7*w**3/6 - 2*w**2 + w. Let i(m) = -10*m - 2. Let k be i(-1). Let b be u(k). Solve -b*s - s + 15 = 0 for s.
3
Suppose 4*c = 7 + 13. Solve c*x = 7 + 3 for x.
2
Let a be -4 + (6 - (1 + -2)). Let p be (20/(-3))/(2/(-6)). Suppose -i + p = 5*z, -8*i = 3*z - 3*i - 12. Solve -z*l - 1 = -a*l for l.
-1
Let l be -3 + (-2 + 3)*3. Let t(v) = v**3 + 4*v**2 + v**2 - 2*v - 2 + l*v**3 - 1. Let w be t(-5). Solve 2*y = 1 + w for y.
4
Suppose 4 = -5*l - 6. Let g be ((4 + 1)*l)/(-1). Suppose -b + g = 4*x + 1, 5*x - b = 18. Solve i + 20 = -x*i for i.
-5
Let w = -1 - -2. Solve w = -2*d + 5 for d.
2
Let g be ((-7)/21)/(1/(-15)). Solve -g*c + 3*c = 0 for c.
0
Suppose 9 = -0*p + 3*p. Solve p*t = -2*t + 20 for t.
4
Let s(n) = n**2 - 6*n + 6. Let f be s(6). Suppose 0 = -0*b - 5*b + 10. Solve 0 = -2*z + b - f for z.
-2
Suppose 0 = 6*c - 61 + 1. Let g = 3 + -1. Let d be ((0/g)/(-2))/(-2). Solve d*m - c = -2*m for m.
5
Let j be ((-6)/(-2))/1 - -9. Suppose -3*y + 3 = -4*g, 0 = -3*y - 4*g + 5*g + j. Suppose -n = n. Solve l - 2*l + y = n for l.
5
Let h(r) = -7*r + 1. Suppose 2*m = d + m - 6, -d - 9 = 2*m. Let f be h(d). Let t = f - -10. Solve 14 = t*u + 2 for u.
3
Let c be (0/2 - -2) + 1 + -1. Solve c*a = a + 4 for a.
4
Let p = 0 - 13. Let z = p - -18. Suppose 3*q = 5*m - 2*q + 5, 2*q = 4*m - 4. Solve 1 = m*f - z for f.
2
Suppose 0 = 5*d + 4 - 39. Let i(u) be the third derivative of u**4/12 - 4*u**3/3 - u**2. Let v be i(d). Solve -v*s = -s - 5 for s.
1
Let r be 2 + 2 + -1 + 2. Suppose p = 3*c - 2*c, -2*c + r*p - 3 = 0. Solve n = c - 5 for n.
-4
Let s = 4 + -4. Let r be -2*(-1)/2*s. Solve 0 = 2*l - r - 2 for l.
1
Suppose q + 4*l = l + 8, -3*q + 10 = -5*l. Solve -q = s - 0*s for s.
-5
Let i = -13 - -15. Solve 0 = i*x + 2*x + 8 for x.
-2
Suppose -q + 35 - 10 = 5*g, -4*q + 40 = 5*g. Let p be ((-36)/45)/((-2)/q). Solve -p = 4*v + 14 for v.
-4
Suppose -6 = -z + 3*r, -5*r + 2*r - 42 = -3*z. Solve 5*m = z + 2 for m.
4
Suppose -2 - 16 = -2*k. Solve k + 6 = -5*b for b.
-3
Let q = 14 - 9. Suppose k - 3 = -0*k, 29 = q*y + 3*k. Solve 0 = -2*x - y - 6 for x.
-5
Let a(b) = b - 2. Suppose 4*t + 31 = 2*l + 7, 8 = 3*t + 5*l. Let k = 6 + t. Let y be a(k). Solve y = -2*m + 4*m for m.
0
Suppose 1 + 3 = 2*j. Let s(b) = -4*b. Let n(l) = -5*l. Let q(i) = 5*n(i) - 6*s(i). Let r be q(-5). Solve j*h = r*h - 9 for h.
3
Let b = 21 + -18. Suppose 5*n - b*d - 19 - 18 = 0, -4*n = d - 16. Solve 3*y + 7 = -n for y.
-4
Let c be 2/2*(-1 - -1). Solve c = 2*u - u for u.
0
Let t(p) = 3*p + 16. Let h be t(-5). Solve 2 = l + h for l.
1
Let q(i) = 2*i + 3. Let o be q(-3). Let g be (-2)/o*135/18. Solve -g*z + 10*z = 15 for z.
3
Let v = 3 - -1. Let j = -23 + 17. Let s be 0*(-4 - 21/j). Solve s = u - v for u.
4
Let v = 1 - -3. Let y = v - 2. Let m = y - -2. Solve 0 = m*l - 1 - 3 for l.
1
Let k = 102 + -98. Solve 5*g - k = 16 for g.
4
Let q(b) = b. Let w be q(0). Suppose 2*i = -2, -2*r - r + 4*i - 14 = w. Let o be 2*(-3)/12*r. Solve o*v - 1 - 8 = 0 for v.
3
Suppose -o + 1 + 1 = 0. Let j be o - 0*(-2)/(-6). Solve 0 = 4*z - j - 2 for z.
1
Let f be (2 - 5 - -5)/(-2). Let a be (f + -1)*(-14 + 7). Solve -6 - a = 5*v for v.
-4
Let z be 2/6 - (-2)/(-6). Let n(h) = -h**3 + 6*h**2 - 7*h + 4. Let o be n(3). Suppose 5*y - 5 - o = z. Solve 0 = 2*r + y*r + 25 for r.
-5
Let m be 78/(-36)*-3 - 3/(-2). Solve -4 - m = -4*z for z.
3
Suppose 4*i = 16, -i + 2 + 7 = 5*a. Solve a = 3*o - 14 for o.
5
Let r = 31 - 17. Let m be 2/(-4) + 21/r. Solve 0*z + z = -m for z.
-1
Let j be (-294)/(-9) - 4/(-12). Let f be (11/j)/(1/18). Solve 3*z = z + f for z.
3
Let c(g) = -2*g**2 + 2*g + 2. Let a be c(2). Suppose t = -4*t. Let q be (0 + t)/(1 + a). Solve -5*x + q = -20 for x.
4
Let j(z) = z - 6. Let o be j(9). Solve o*u + 3 = -9 for u.
-4
Let p be 4/(-6)*54/(-12). Let k be 0/3 + -1 + 1. Solve k*l = p*l for l.
0
Let f = -14 - -4. Suppose -3*y = 5*s - 0*s - 2, 5*y + s = -4. Let r be (-2)/y*(-65)/f. Solve -5*x - 12 = r for x.
-5
Suppose 6*o - 3*o - 15 = 0. Solve -1 = -3*y + o for y.
2
Suppose 2*r = s + 4, 0 = -4*r + r + 12. Let k(g) = 2*g**2 + 17*g + 6. Let x be k(-9). Suppose 0 = -4*y - 5*b - s - 3, 3*y - 3*b - x = 0. Solve w + 0 = y for w.
2
Let m be 7 - (2 - (2 - 3)). Suppose m = 2*c - 10. Solve 0 = -5*t + c - 2 for t.
1
Let j(h) = -h**3 + 8*h**2 + 6*h - 12. Let b be j(8). Let r = b - 20. Suppose -5*a = -3*v + v + 8, 0 = 4*v - r. Solve a*s = 3*s + 12 for s.
-4
Let x = -8 - -8. Suppose x = 4*q - 2 - 6. Solve q*u - 4*u = -4 for u.
2
Suppose -3*s - 13 = z, -5*z + 6 = -2*s + 3. Let a be 2 + -1 + z + 4. Let m = -21 - -30. Solve -m = a*q + 3 for q.
-3
Let q be (17/2 - 2)*2. Let d be 4/10 - q/(-5). Let i = 0 + d. Solve g - i*g = 8 for g.
-4
Let q be (2/3)/2*3. Let p = -1 + q. Suppose 2*k + k = p. Solve 3*f + 2 + 7 = k for f.
-3
Suppose -36 - 36 = -3*l. Suppose z = -z + l. Solve z = -3*o - 3 for o.
-5
Let a = -2 - -3. Solve a = 3*u - 5 for u.
2
Let r be 8/52 - (-63)/13. Let f = 7 - r. Solve -f*v + 4*v = 0 for v.
0
Suppose -2*y - 4*x - 10 = 0, 0 = x + 2 + 3. Solve y*c + 9 = 4 for c.
-1
Suppose 4*f - 5*o = -f + 65, 0 = f + 5*o + 5. Solve -5*v + f*v = 10 for v.
2
Let z be 15*2*9/30. Let h(s) = 2*s - 10. Let m be h(z). Solve k - 3*k = -