- 30 = -a*p. Suppose 0 = 5*k - k - p. Solve k = -0*h + 2*h for h.
1
Let m be (-3 + 11)*(-6)/(-4). Let k = -10 + m. Let d = 2 + 0. Solve k = d*t - 0 for t.
1
Suppose -3*n - 2*f - 6 + 14 = 0, 0 = -2*n - 2*f + 6. Suppose n*t - 8 + 4 = 0. Solve -t*d = -4 - 4 for d.
4
Let v = 15 + -5. Let o(z) be the first derivative of z**2 - 14*z - 11. Let n be o(v). Solve 0 = -5*q + n - 1 for q.
1
Let k(q) = -q. Let y(x) = 4. Let h(t) = 3*k(t) - y(t). Let u be h(-3). Let d be u + -4 + 1 + 1. Solve i = d - 5 for i.
-2
Suppose 5*o + 0 - 1 = g, 5*g = 5*o + 15. Suppose 2*w + 3*w = 5*p - 45, 0 = 5*p + g*w. Suppose 5*f = -3*c + 28, -2 = -f - p*c + 7. Solve -10 = -0*r + f*r for r.
-2
Suppose -x + 18 = 2*u + 2*x, 3 = 5*u - 3*x. Solve 2 + 4 = -u*t for t.
-2
Suppose -3*d + 0 = -12. Suppose 0 = 2*u - 5*y + 6, 0 = -y - 3*y + 8. Solve d*g = u*g for g.
0
Let c be (-13)/(-3) + (-10)/30. Solve c*z + 0*z = -16 for z.
-4
Let k(g) = -g + 1. Let o be k(1). Solve o = 4*q + 2*q - 30 for q.
5
Let v = -10 - -14. Solve -v*i + 15 = i for i.
3
Let y = 1 - -1. Suppose y*q = 5*q - 15. Suppose -q*a = -20 - 0. Solve -a = -t - t for t.
2
Let x be 2/7 - 26/(-7). Let d(h) = -4*h + 12. Let b(w) = 11*w - 35. Let p(v) = -3*b(v) - 8*d(v). Let m be p(x). Solve -m*a = -4*a - 3 for a.
3
Let a(o) = o**2 + 6*o - 6. Let t be a(-7). Let d be (1*(-5 + t))/1. Let k be 13/4 + 1/d. Solve -k*s = -5*s for s.
0
Let b(l) = l**3 + 6*l**2 + 5*l + 3. Let u be b(-5). Solve 6 = u*c - 3 for c.
3
Suppose 8 = 4*b - 0*b. Solve b*k - k = 5 for k.
5
Suppose -f + 4*f = 9. Suppose -f = -2*b + 7. Suppose p = b - 3. Solve 2*y + p = -8 for y.
-5
Let w = -7 - -10. Solve -w*u + 10 = -u for u.
5
Let f be (-25)/(-5)*2/5. Solve -f*k + 16 = -6*k for k.
-4
Let u be (-11)/33 - 28/6. Let h(v) = -2 + 1 - 2 - v. Let i be h(u). Solve o = i + 1 for o.
3
Suppose -4*i = -5*i + 5. Solve -i = -w - 3 for w.
2
Let w be ((-2)/4)/(2/(-4)). Let k(i) = 3*i**3 + i - 1. Let a be k(w). Suppose f + f = a*y - 11, -4*y = f. Solve 2*q + y + 5 = 0 for q.
-3
Suppose 0*q - 4 = -3*w + 2*q, 0 = -w + 5*q - 3. Suppose w = f + 1. Solve f = j + 3 for j.
-2
Suppose -3*a = 5*b + 53, -6*a + 3*a - 13 = b. Let g = b - -14. Solve 4 = g*m - 0 for m.
1
Let r = 46 + -31. Let v = -11 + r. Let h be (2 - 4) + 7/1. Solve -h = v*y - 17 for y.
3
Let j be 0/1 - (-4 + 2). Suppose o + 3 = 2. Let s be (1 + -1)/(-2 - o). Solve s*f + 8 = -j*f for f.
-4
Let c be ((-20)/(-6) + -2)*3. Suppose -5*o + 3 = b, 2 = 3*b + c*o - 7. Solve 3*k - b = -9 for k.
-2
Let r = 6 - 51. Suppose 5*w + 18 + 1 = -4*t, -2*w = -3*t + 3. Let l be t/(-4) - r/12. Solve 0 = l*b - b + 6 for b.
-2
Let o = -2 - 0. Let k be (0 - 0)*(-1)/o. Suppose 6*j - 2*j = k. Solve j = -5*h - 9 - 11 for h.
-4
Suppose 0 = -3*g - 5*g + 40. Solve 6*f = f - g for f.
-1
Let w(k) = 16*k - 1. Let r be ((-5)/20)/(1/(-4)). Let t be w(r). Solve -t + 0 = -3*y for y.
5
Let f be (8*1/3)/((-6)/(-9)). Solve f + 1 = -5*m for m.
-1
Let s(p) = p - 7. Let d be s(9). Suppose -7 = -v - 2*b, d*b - 9 + 32 = 5*v. Suppose -4*w + v*f + 6 = -14, 0 = -3*w - 4*f - 16. Solve -2*g + w = 2 for g.
-1
Let v be -1 - 24/(-10) - 10/25. Solve 0 = -2*y + y + v for y.
1
Suppose -15*h + 26 = -2*h. Solve -2*n + 4 + h = 0 for n.
3
Let o be 17 + (-6)/3*1. Let d be 35/o - (-2)/(-6). Solve -d*a - 2*a = 12 for a.
-3
Let c be (-2 + 3)*(69 + 2). Suppose -2*m = -c + 19. Let u be 3/6 + m/4. Solve 3*j = u*j - 12 for j.
3
Suppose -6*w = -10 - 2. Solve w*d = -2*d - 20 for d.
-5
Suppose 0*y + 30 = 3*y. Suppose -2*o - 1 = w, 6*w - w + 5*o - y = 0. Let s = 0 + w. Solve s*b = b for b.
0
Suppose 4*v = -2*p + 92, 2*v - 5*p - 64 - 6 = 0. Solve -6*w + w + v = 0 for w.
5
Let g(o) = -o**3 - 9*o**2 - 8*o + 3. Let l be g(-8). Suppose -2*d = -3*d + l. Solve d*k = k - 10 for k.
-5
Suppose 0 = 5*i - 3*s - 44 + 16, 2*i - 28 = -3*s. Suppose 0 = 2*a - 4*q - 8, 0 = -8*a + 3*a - 4*q - 50. Let w = i + a. Solve -w*z + 12 = -5*z for z.
-4
Let c be 31/4 - (-4)/16. Let l = c + -4. Suppose -1 = 3*u - l. Solve 0 = -5*n - u - 14 for n.
-3
Suppose -2*w = 2*w - 20. Let n = w + -2. Let s = n - 3. Solve o + 0 + 2 = s for o.
-2
Let j(x) = 2*x**2 + 4*x - 3. Let z be j(-6). Let c(v) = v**3 + 3*v**2 - v + 2. Let o be c(-3). Suppose o*y = -0*y + z. Solve a + 2*a + y = 0 for a.
-3
Suppose -3*v + j + 16 = -7, 0 = -5*v - j + 33. Solve -b - 2 = -v for b.
5
Let k(a) = a**2 - 13*a + 35. Let m be k(14). Solve -14 = 7*l - m for l.
5
Let y = 8 - 7. Suppose -2*s = 2, -2*r - 5*s + y = -0. Solve -4*h = -r*h + 2 for h.
-2
Let r be (-8)/(-4)*(225/10)/9. Solve 0 = -r*s - 3 - 2 for s.
-1
Suppose -2*g - 5*n = -g, 0 = -3*g - 5*n - 10. Let x = -2 - g. Solve x + 2 = -a for a.
-5
Let i = -5 - -7. Solve i*m + 0*m - 2 = 0 for m.
1
Let z(q) = 4*q - 2. Let y be z(5). Let c = y + -11. Solve 2*v - c*v = -25 for v.
5
Let j be 30/4 - 8/(-16). Solve 0 = 3*z - z - j for z.
4
Suppose -8*w - 27 = -17*w. Solve 2 = 4*i - w*i for i.
2
Suppose 2*d = 3*d - 5. Solve -d*t = -18 - 7 for t.
5
Let q(o) = -o**3 - 8*o**2 + 11*o + 11. Let k be q(-9). Let i = -6 - k. Solve w + i + 4 = 0 for w.
-5
Let d(n) = n**3 - 4*n**2 + n - 4. Let q be ((-8)/10)/((-1)/5). Let u be d(q). Solve -6*t + 2*t + 12 = u for t.
3
Suppose -2*v = -0*v - 6. Let i = 18 + 7. Solve 0 = -v*s - 2*s + i for s.
5
Suppose 0 = 2*k + 4*m + 18, 0 = 2*k + 3*m - 0*m + 16. Let c = k + 10. Suppose c*h - 15 - 20 = 0. Solve -h = 2*y - 1 for y.
-3
Let p be 114/(-8) + (-5)/(-20). Let u be (-111)/(-21) + 4/p. Solve u*y - 4*y - 2 = 0 for y.
2
Let u(g) = 0*g + 5 + g + 0*g. Let h be u(0). Solve -y + h = 4 for y.
1
Suppose 2*z - z + 20 = 0. Let y be ((-36)/(-10))/((-8)/z). Let g be (y/(-15) + -1)*-5. Solve 5*l + g = -7 for l.
-3
Let n(m) = -10. Let y(j) = -j. Let h(f) = -n(f) - y(f). Let s be h(-8). Suppose 1 = i - 1. Solve s*t - i = -0 for t.
1
Suppose -1 + 13 = 4*q. Let d(x) be the second derivative of x**4/12 - 2*x**3/3 - 4*x**2 - 6*x. Let o be d(6). Solve 0 = -t - q*t + o for t.
1
Suppose 11 = -2*t + 5*v + 42, 2*v = -5*t + 5. Suppose -17 = -4*j - 5. Solve -j*n + 6 = -t for n.
3
Let z be 7/(21/6) - 25. Let b = -9 - z. Solve 3*u + 1 = -b for u.
-5
Suppose -4*w - 35 = -2*t - 3, 4*t - 16 = -4*w. Suppose -2*z = -0*z + 4*c + t, -2 = 4*z + c. Solve z*b + b = -2 for b.
-2
Suppose 2*f - 2*m = 2, 2*m = -2*f + 10 + 4. Solve -f*b = b + 25 for b.
-5
Let z be (3/(-4))/((-2)/8). Suppose x + 0 = z. Suppose -5*g - 3 = -3*y, 0 = 3*g + 5*y - x - 2. Solve -2*t + g*t - 6 = 0 for t.
-3
Let i(g) = -g**2 - 8*g + 13. Let l be (-1)/(-2)*(-15 - 3). Let r be i(l). Suppose -3*u + 50 = -u. Solve r*m = -m + u for m.
5
Let r = 67 - 57. Solve -3*y = 2*y - r for y.
2
Let m = -12 + 19. Let r = m - 7. Solve r = 5*u + 3 + 2 for u.
-1
Suppose -l - 2 = l. Let q = -3 - l. Let d be (0/(-1 - 0))/q. Solve 6 = -d*m - 2*m for m.
-3
Let j(w) = w**2 - 14*w - 47. Let k be j(17). Solve -v = k*v + 5 for v.
-1
Suppose 15 = 5*w, 4*w - 20 = -2*k - 2. Suppose v + k = 5. Let f(b) = b**3 + 5*b**2 - 5*b + 9. Let d be f(-6). Solve -g - d = -v for g.
-1
Suppose b = 3*x + 8, -5*b - 2 = -2*x + x. Let q be (-1*(-1 + x))/(-2). Let s = 1 - q. Solve s = -p - 2 for p.
-5
Suppose 0 = 22*m - 26*m. Solve m = -j + 3*j for j.
0
Suppose 2*g = 3*g - 4. Let q be 1/2 + 2/(-4). Suppose -2*u - 16 = -5*p - u, -2*u = 2*p - 16. Solve -p*d = -q*d + g for d.
-1
Let p be 2/9 - 145/45 - -5. Solve -3 = -p*b + b for b.
3
Let p(q) = -q**2 - 6*q + 7. Let a be p(-7). Solve -4*z + a*z + 4 = 0 for z.
1
Suppose 3*m - 66 = -m - 2*p, 4*m - 46 = 2*p. Let b(i) = i**2 + 2*i + 10. Let w be b(-6). Solve -5*k = -m + w for k.
-4
Suppose 0 = 4*c + 5*j + 17, -c - c - j - 1 = 0. Let l be (-5 + c)/((-6)/8). Suppose l*v = -0*v. Solve 2*h + v = -4 for h.
-2
Suppose 5*x + 6 = -2*r, -2*r - r = 4*x + 9. Suppose 2*z + z = x. Solve z = 5*a + 3 - 13 for a.
2
Let k(r) = 34*r**2 + 3*r - 2. Let s be k(2). Suppose 0 = -4*t - 40 + s. Suppose -4*p = -3*p. Solve -5*u - t = -p*u for u.
-5
Suppose -6*h = -2*h + j + 3, 9 = -3*j. Suppose 3*f + 5*z + 1 = h, -2*f - 2 = z - 6. Solve 0 = -3*s + f + 3 for s.
2
Suppose -2*o - 2*a + 18 = 0, 3*a - 31 = -3*o - o. Solve -2*k = o - 0 for k.
-2
Let v be 42/24*4 + 1. Solve -v*c - 8 = -6*c for c.
-4
Let h = -9 - -15. Solve 3 = -3*t - h for t.
-3
Suppose 0 = -4*g + 6*g. Suppose -3*d = -p - 7, -2*p - p = 2*d - 23. Let l(t) = t**3 - 5*t**2 + 6*t - 5. Let c be l(d). Solve m + c*m = g for m.
0
Let b(i