*p + 12. Solve -t - 1 = -w for t.
2
Let q be 148/12 - (-1)/(-3). Let z = q + -7. Solve 0 = -z*b - 0*b for b.
0
Suppose -6 = -5*r + v, 1 = -4*r - 6*v + v. Suppose a + 2 = -4*b, 0*a - 5*a - 5*b + 20 = 0. Solve r = y + a for y.
-5
Let f be (-1 + 1)/(0 - 1). Suppose f = -a - a. Solve 0 = w - 5 - a for w.
5
Suppose 0 = -3*n - 2 + 35. Suppose 4*i + 4 = 0, 5*o - 4*i = 13 + n. Suppose 0 = -j - 4*j. Solve j = -4*k - o - 12 for k.
-4
Let o be 4 + 1/(-2)*-2. Solve -o*t - 2 = 3 for t.
-1
Suppose 1 + 5 = 2*r. Let c(p) = -3*p + 8 + p**3 - 2 - 2*p - 3. Let y be c(r). Solve -y = 4*i - i for i.
-5
Suppose -i - 3 + 6 = 0. Suppose i*c + 26 = 4*c. Let l be (-2)/8 - c/(-8). Solve u - l*u = 0 for u.
0
Let i be -6*(33/(-9) + 3). Let m(h) = h**3. Let v(j) = -j**2 + 3*j + 5. Let d be v(4). Let w be m(d). Solve w + 11 = i*s for s.
3
Let m = -36 - -36. Solve m = 3*u - 5 + 17 for u.
-4
Suppose 8*g + 20 = 12*g. Let n(m) = m**2 + 1. Let o be n(0). Solve g = -2*w + o for w.
-2
Let y be 3 - (12/(-4))/(-3). Solve -y*q = -3*q for q.
0
Let n be 12/18*(-30)/(-4) - 3. Solve -2*p = n - 4 for p.
1
Let y be (-10)/(-4) + (-9)/(-6). Suppose 18 = y*p - 2*p. Let m = p - 4. Solve 5*a + m = -20 for a.
-5
Suppose 32*v - 34*v = 0. Solve v = g - 1 - 1 for g.
2
Let n(a) = 4*a**2 - 3*a**2 + a - 5 - 2*a. Let s be n(-4). Suppose 5*j + b = 20, 4*j + 0*b + b - s = 0. Solve 0 = 2*r + 3*r + j for r.
-1
Let s(j) be the second derivative of -j**4/12 + j**3 + j**2/2 - j. Let c be s(6). Let q = c - 1. Solve 0*z + 4*z - 20 = q for z.
5
Let n = 24 - 19. Solve -13 - 12 = n*p for p.
-5
Suppose -5 = -u + 6. Let o(v) = -v - 2. Let c be o(7). Let t = c + u. Solve 0*g - t*g = -2 for g.
1
Let v(g) = -g + 4. Let u be v(6). Let f be (-1)/(u - 38/(-20)). Suppose 5*r + 2 = 22. Solve f = -z - r*z for z.
-2
Let x = 14 + -11. Solve 0 = 2*u + u - x for u.
1
Suppose 4*d = 24 + 20. Let y = d - 8. Let m be (0/y)/(-3 - -5). Solve 0 = -c - m - 5 for c.
-5
Let d(u) = u**2 + 3*u - 5. Let i be d(-5). Suppose 0 = i*x + 6*h - 2*h + 18, -3*h = -3*x. Let z be 0*(-3 - 5/x). Solve z*p + 3 = p for p.
3
Let s = 273 - 273. Let j(t) = t**2 - 4*t - 2. Let y be j(5). Solve s*k - y = 3*k for k.
-1
Let t = 4 - 4. Suppose 4*u - 3*y - 18 = t, -u + 3*y + 1 = -8. Let k(z) = z + 1. Let l be k(u). Solve l = o - 5*o for o.
-1
Suppose r + w = 2, -3*r + w + 6 = -2*w. Suppose -4*u - u + 2 = -v, 4*v + 8 = -r*u. Solve 6*j - 2*j = u for j.
0
Let i = 10 - 6. Let g = -6 + 6. Suppose -6*s = -2*s + 3*c - 48, g = -2*s + c + 14. Solve 0 = i*n - n + s for n.
-3
Let k be (0 - -6)/((-24)/(-64)). Suppose k = 5*b - b. Suppose 4*a = 2*a + b. Solve 4*s = a*s + 8 for s.
4
Let k = 4 + -6. Let j = k + 5. Suppose j = -5*f + 33. Solve -f - 19 = 5*r for r.
-5
Let f(s) = s**3 + 6*s**2 - 11*s + 6. Let i be f(-8). Let g = i - -59. Solve 3*p - g = -2*p for p.
5
Let g = -9 - -11. Suppose q - 4 = g. Let i = q - 1. Solve -3*f + 10 = -i for f.
5
Let s(o) = -o**3 - 3*o**2 + 7*o + 12. Let j be s(-5). Let r be (j/(-6))/((-1)/2). Solve 3*d + 0 = -r for d.
-3
Let p(w) = w**3 - 5*w**2 - 9*w + 9. Let d be p(6). Let t be 1/(-2)*(d + 1). Solve -4*a + 16 = -t for a.
5
Let c(y) = y**3 + 7*y**2 + 6*y + 5. Let l be c(-6). Solve -l*m = 7 - 2 for m.
-1
Suppose 2 = -2*b + 3*b. Suppose j - b*n = -6, 6 = -3*j + 3*n - 3. Solve j = 3*v - v for v.
0
Let v(d) = -d**3 + d**2 + 4*d - 3. Let l be v(3). Let x = -14 - l. Let q = x - -5. Solve 4*g + 0*g - 16 = q for g.
4
Suppose 9*g = 4*g. Solve g*x + 3*x + 15 = 0 for x.
-5
Let z(g) = g**2 + 7*g - 5. Let d be z(-9). Let j = d - 11. Solve -j*p = 2*p + 8 for p.
-2
Suppose -4*q + 2*n - 9 = 5, -n = 4*q + 5. Let h be q/(-5) - 56/(-35). Solve -t - 3 = h for t.
-5
Let a(y) = -y - 1. Let k be a(-2). Solve -g = -0*g + k for g.
-1
Let y = 11 + -8. Let z(b) = -y*b + 0*b + 2*b. Let m be z(-2). Solve 4*n - 14 - m = 0 for n.
4
Let v(y) = -y**2 + 8*y + 8. Let h = 19 + -11. Let g be v(h). Solve -s - g = s for s.
-4
Let d(l) be the third derivative of l**4/24 - l**3/3 + l**2. Let v be d(2). Solve 5*y - 6*y + 3 = v for y.
3
Let z be (-2)/5 - 119/(-35). Suppose -1 = z*s + 4*n, 0 = 3*n + 5 + 7. Solve -s*v = -0*v - 25 for v.
5
Suppose 2*g = -3*g - 10. Let l(u) = -2*u**3 - u**2 - 2*u - 1. Let s be l(g). Suppose -k = -5*m - s, 5 = 2*k + k + 5*m. Solve 4*c = -k - 7 for c.
-3
Let i(j) be the second derivative of 1/6*j**3 + 0 + 3*j**2 + 2*j. Let m be i(0). Solve g + 2*g - m = 0 for g.
2
Let l(p) = 5*p - 6. Let w(b) = 9*b - 11. Let j(q) = 7*l(q) - 4*w(q). Let h be j(-5). Suppose 0 = 5*c, 3*t - h*t + 3*c + 28 = 0. Solve 0 = 4*y + 1 + t for y.
-2
Let h(w) = 4*w. Let y be h(1). Suppose -y*z + 5 = -3. Solve -z*b + 12 = b for b.
4
Let v(x) = -2*x. Let n be v(-2). Suppose -2*z = -5*s - 15 + 1, 4*s = -2*z - n. Solve -z*y = -y - 2 for y.
2
Let b = -13 - -17. Solve -b*m - m = 10 for m.
-2
Suppose -22 - 11 = 3*z. Let y = -11 - z. Solve y = -b + 4*b + 12 for b.
-4
Let r = 6 - 4. Let j = r - 1. Let z = 11 + -8. Solve z - j = 2*l for l.
1
Let g(s) = s**2 - 3*s + 4. Let f be g(0). Solve 0 = -f*m + m for m.
0
Suppose s + 33 = 4*s. Let k be s + 1/(-1)*3. Let w = 9 - k. Solve -2 - w = -3*a for a.
1
Suppose -2*t + 3 = y, 0*t - 5*y = -5*t + 30. Suppose 0 = -t*b - q, -2*q - 1 = -4*b + 9. Solve -v - b = 2 for v.
-3
Suppose a - 2*h - 15 = 0, -2*a = 3*a - 2*h - 35. Let v(d) = d - 2. Let u be v(3). Solve 0 = -a*t - 26 + u for t.
-5
Suppose 4*j - 35 = 37. Suppose 4*m + q = 24, -2*m = -5*m + 5*q + j. Solve 0 = -z + 1 - m for z.
-5
Let c be (-1)/(3/6) - -2. Suppose c = -2*g + g + 50. Suppose -5*y + 4*z = -0*y - g, 3*y + z - 30 = 0. Solve -5*w = 10 + y for w.
-4
Suppose 4*d - 9*d = -20. Solve d*a - 3 - 13 = 0 for a.
4
Let c(h) = -2*h - 8. Let t be c(-6). Suppose -t*q = -7*q + 24. Solve 2*l = -2*l + q for l.
2
Suppose -3*m + 10 = 3*j - 4*j, 20 = -5*j. Suppose m*n = 5*n - 12. Let u = 6 - n. Solve 3*s - 2*s = u for s.
2
Let m(f) = -6*f - 15. Let j be m(-4). Solve j*o = 4*o + 5 for o.
1
Let s(k) = k**3 - 5*k**2 + 3*k - 1. Let b be s(3). Let r(y) = y**2 + 10*y + 9. Let h be r(-8). Let g = h - b. Solve -g*z - 5 = 10 for z.
-5
Suppose -r - 3*r + 8 = 0, 2*k - 2*r = 0. Let d be 0 + 0 - -7*1. Solve -d*p + k*p = 0 for p.
0
Suppose 3*d = 4*h - 32, 2*d = -6*h + h + 17. Let u = -2 - d. Solve -u*k + 5*k = -9 for k.
-3
Let i = 12 + -9. Solve 2*d - d = i for d.
3
Let i be (3 - (-20)/(-8))*4. Let d be 0 + 6/3 + 14. Solve 2*q = -i*q + d for q.
4
Let o(h) = 3*h - 3. Let m be o(2). Solve -4*x + 1 = -m for x.
1
Let x(f) = -5*f**2 + 2*f - 2. Let c be x(2). Let l be 1/(-4) - c/8. Let j = 6 - 3. Solve l*d = -j*d for d.
0
Suppose 0 = -0*j + j - 25. Suppose y + 5*o + 23 = 0, -7*o - j = -2*o. Solve 8 + y = -2*l for l.
-5
Let t be 2/6 - 1/3. Let k be t/(2 - 0) - 1. Let f(y) = -5*y. Let j be f(k). Solve 5 + 0 = j*q for q.
1
Let k be 10/(4/2) - 3. Suppose -3*l - 17 - 18 = -k*r, 2*r + 3*l - 5 = 0. Solve 0*f = -2*f - r for f.
-5
Let c be (-4)/(-26) - (-4)/(-26). Let i = 20 - c. Solve -r = 4*r - i for r.
4
Let y(c) = c + c**2 + 18 + c**3 - 2*c**3 - 14*c**2. Let v be y(-13). Solve 0 = -6*i + i + v for i.
1
Suppose -21 = h - 4*h. Let r(p) = p**3 - 8*p**2 + 7*p + 3. Let v be r(h). Solve -v*b + 3 = -0 for b.
1
Let i = -4 + 7. Suppose 7*h - 4 = i*h. Let w(j) = j**2 - 6*j + 5. Let o be w(6). Solve 0 = o*b + h + 19 for b.
-4
Suppose 2*k + 4*y = 4, -5*y + 4*y = 0. Solve -4*p = 18 + k for p.
-5
Let j = 17 + -11. Solve j*v = 2*v for v.
0
Let u(a) be the second derivative of -a**5/20 - a. Let m be u(-1). Let j(w) = -w**2 + 17*w - 26. Let x be j(15). Solve -k + x = -m for k.
5
Let i be (-91)/(-6) + 6/(-36). Let l = i + -15. Solve l = 4*m + 3 + 1 for m.
-1
Suppose 8 = 4*d + q - 20, 0 = -d - 4*q + 7. Suppose 3*w = -12, 0 = p - 3*w + d*w + 17. Let s be 20 - (0 + 0)*p. Solve 5*t + s = t for t.
-5
Let g = 2 + 5. Suppose 0 = 4*w - g - 1. Solve b - 5 = w*b for b.
-5
Let a(w) = w - 4. Let d be ((-3)/(-5))/((-7)/(-70)). Let m be a(d). Solve 2*s - 4 = -m for s.
1
Let v = 6 - 13. Let w be (-9)/12 + v/(-4). Let d = 1 + w. Solve -d*p + 5*p - 15 = 0 for p.
5
Let q = 12 + -9. Solve -q*k + 10 = -8*k for k.
-2
Suppose -5*m + 5 = -3*q - 1, 0 = -2*q - 4. Solve m = z - 2 + 6 for z.
-4
Let i(t) = t**2 - 4. Let y be i(3). Let s(c) = 2*c**3 + c**2 - 4*c + 3. Let x be s(2). Solve 8*g - y*g = x for g.
5
Let n be 10/4*(1 - -1). Let v(o) = o**3 - 6*o**2 + 4*o + 7. Let y be v(n).