42 = 5*g, x - 60 = -3*x + 4*g. Solve 1 = -14*a + x*a for a.
-1
Suppose 5 = y + 4. Suppose -38 = -5*g + 67. Suppose 2*w + 2*w = 2*b + 46, -4*w + g = 3*b. Solve y + w = 5*k for k.
2
Suppose 3*u = 2*u - 4, 0 = 2*k + 2*u. Solve m + 0 = -k for m.
-4
Suppose 4*v - 21 = -5*j - 0*j, -j = 4*v - 1. Let x = 58 - 53. Suppose u - x = 3*y, 0*u - j = -u + 4*y. Solve -u*b = -10 - 15 for b.
5
Let w be (2/6)/(1/6). Let t be ((-2)/(-3))/(w/6). Solve t*g - 6 = -0*g for g.
3
Let n(t) = t**3 - 8*t**2 + 5*t + 8. Let z be n(7). Let o(s) = -s + 1. Let j be o(z). Suppose 12 = -3*d, 2*k + 26 = j*k - 4*d. Solve 0*x = -k*x for x.
0
Suppose -d + d = 2*d. Let z be (-1 - -1)*(3 + -2). Suppose z*t = -4*t + 20. Solve d = 5*h - t for h.
1
Let p(d) = -3*d**2 + 21*d. Let b(h) = -2*h**2 + 14*h. Let a(t) = -7*b(t) + 5*p(t). Let v be a(7). Solve 2*y + 2*y - 4 = v for y.
1
Let m = 11 - 6. Let v(q) = -5*q - 2. Let z be v(-3). Solve m*l - z = -33 for l.
-4
Let r(v) = -v + 7. Let t be r(10). Let y(h) be the second derivative of -h**3 + h**2 + 2*h. Let n be y(t). Solve -5*l + n = -0*l for l.
4
Suppose 0 = -4*n + 5*n + 3. Let z be 869/(-33) - (-2)/n. Let y be ((-2)/(-3))/((-9)/z). Solve p + p - y = 0 for p.
1
Let k be 3/(0 + 3/5). Suppose 2*p = 11 + k. Solve 0 = l + l - p for l.
4
Let f(l) = 2*l**2 - l. Let u(q) = -q**2 + q. Let n(i) = 4*f(i) + 5*u(i). Let t be n(-1). Solve -t*x + 1 = 7 for x.
-3
Let t(y) = y**2 + 2*y + 3. Let n be t(-2). Solve 3 = n*j - 0 for j.
1
Let m = 18 + -13. Solve m = 4*o + o for o.
1
Let u(q) = -q**2 - 6*q + 4. Let s be u(-6). Solve -b + 1 = s for b.
-3
Let j be (-3)/1 + (9 - 2). Suppose 4*g - 6 = 3*k, 2*k - 4*g = -2*k - j. Solve -k*d - 20 = 3*d for d.
-4
Let d(n) = -n**2 - 9*n + 10. Let l be d(-10). Solve -4*o - o = l for o.
0
Suppose 36*n = 34*n. Solve 3*i - 6 = -n for i.
2
Suppose -3*q + 6*f = 2*f - 3, -3 = -3*q + 2*f. Suppose -q - 5 = -3*u. Solve b - u*b = 0 for b.
0
Let w(a) = -a**2 + 15*a + 5. Let q be -16*(2 + -3) - 1. Let y be w(q). Solve -4*r = -3*r + y for r.
-5
Let a be 4/12 - 2/6. Let z be (-3 + a)*1/(-1). Solve 0 = -c - z for c.
-3
Suppose -2*w + 3*w - q = 7, 3*w = 2*q + 18. Let r be ((-1 + 5)/2)/(-1). Let c = -2 - r. Solve d + w + 1 = c for d.
-5
Let a(l) = -2*l + 1. Let d be a(5). Let h = d + 14. Suppose h*k - 5*i + 3 = 38, -k - 3*i - 13 = 0. Solve -1 = -k*r - 3 for r.
-1
Let s = 3 - 5. Let c be (2 + -3)/(s/12). Suppose -3*a = 3*p + 3, -3*p = 2*a - c*a - 18. Solve 0 - 2 = p*v for v.
-1
Suppose l = -4*i + 8, 3 - 9 = -3*i - 2*l. Let z(u) = -u**3 + 2*u**2 + 2*u + 3. Let s be z(3). Solve s = h - i - 2 for h.
4
Let w(l) = -l**3 - 4*l**2 - 2*l - 4. Let x be w(-4). Suppose x*s - 26 = -5*m + 3*s, -18 = -m + 3*s. Solve 1 - m = u for u.
-5
Suppose 0 = -5*r + 4 + 1. Let d(q) be the first derivative of 4*q**4 - q**2/2 + q + 4. Let h be d(r). Solve 1 = 5*p + h for p.
-3
Suppose 4*m + 2 + 6 = 0. Let b = -1 + m. Let q be 0/(b*6/9). Solve q*y + y = 4 for y.
4
Suppose n - 4 = -0*n. Let b be 10/n - (-8)/16. Solve -b*v = v - 8 for v.
2
Suppose -4*h + 0*g + 2*g + 18 = 0, g + 24 = 5*h. Suppose 5*m + t - h = 2*m, -2*m - t = -3. Solve 18 = -4*s - m for s.
-5
Let y(x) = -x**2 - 7*x - 3. Let i be y(-6). Suppose -4*c + 3*c + i = 0. Suppose c*u = 2*u. Solve u*t + t + 3 = 0 for t.
-3
Let v = -40 - -50. Let a(r) = -r**3 - 4*r**2 - 3*r + 4. Let g be a(-4). Let n = g - v. Solve w + w = n for w.
3
Let j(i) = i**3 - i**2 + 2*i + 1. Let d = -7 - -9. Let z be j(d). Let y be z/(-6) - (-30)/4. Solve y*m = m for m.
0
Let t = 11 - 5. Suppose o - t*o = -5. Suppose c = -o + 3. Solve -c*a - 15 = -7*a for a.
3
Suppose -5*j + 15 = -0. Let d = -3 + j. Solve 2*g + d = -4 for g.
-2
Let w(s) = -s**3 + 5*s**2 - 4*s + 2. Let x be w(4). Suppose -2*o - 18 = -5*o. Solve -2 = x*a + o for a.
-4
Let o(h) = h**3 + 5*h**2 + 3*h + 2. Let m be o(-4). Suppose -4*y = m + 6. Let f be (-2)/y*36/8. Solve 2*i = 5*i + f for i.
-1
Let c(r) be the third derivative of r**5/60 + 7*r**4/24 + 4*r**3/3 - r**2. Let h be c(-6). Suppose -5*l + 3 = -22. Solve 0 = l*b - 4*b + h for b.
-2
Let u be (-57)/(-133) + 64/14. Solve -a - 3 = -u for a.
2
Suppose -4 = 4*v - 4*d, -3*v + 4*d = -v + 10. Let i = v - 3. Let f(r) = -r**2 + r + 5. Let t be f(i). Solve -t*y = -10 - 0 for y.
2
Let o be (-2)/(-8) - (-11)/4. Suppose -w - 2 = -o. Suppose -5*f + w + 14 = 0. Solve 7 = -f*c - 8 for c.
-5
Let a(m) = -m + 6. Let o be a(0). Suppose 8*g + l - 46 = o*g, -4*l = 3*g - 69. Suppose 4*r + 3 - g = 0. Solve r*k + 10 = -0 for k.
-2
Let m = -5 + 9. Let k = -24 + 19. Let x be (k/(-4))/(m/16). Solve -x*f + 2 = -3 for f.
1
Let u = 4 - 4. Solve 5*d + 5 + 15 = u for d.
-4
Suppose 3*i - 2*i = 5*s + 25, -4*i + 20 = -4*s. Let k = -5 - -9. Let a be ((-1)/(-2))/((-1)/(-4)). Solve i*g = -a*g - k for g.
-2
Suppose 4*m - 2*m = 10. Solve m*f - 18 = 2 for f.
4
Suppose y - 5*y + 24 = -3*i, 4*y + i - 8 = 0. Solve -6*u + y = -3*u for u.
1
Suppose 18 = 4*z + 4*h - 2*h, 4*h - 26 = -3*z. Solve -o + 2*o - z = 0 for o.
2
Suppose 4*o + 6*w = 3*w + 15, 5 = w. Solve -f + o = 5 for f.
-5
Let c be 2 + -1 - (2 + -1). Let v(i) = -2*i - 10. Let m be v(-7). Solve m*x - 4 = -c for x.
1
Suppose 5*x - 9 = 11. Let y = -12 + 16. Suppose -6*p + 10 = x*d - p, -y*d - 2*p + 16 = 0. Solve 6*b = b + d for b.
1
Let i(k) = 3*k**3 - 7*k**2 + 9*k + 6. Let x(s) = -7*s**3 + 13*s**2 - 19*s - 13. Let g(p) = -5*i(p) - 2*x(p). Let f be g(8). Solve 3*w + f = w for w.
-2
Let r = 61 - 41. Solve q + 4*q - r = 0 for q.
4
Let c = 40 - 37. Solve 0 = -4*n + c + 1 for n.
1
Let x(s) = s + 16. Let y be x(-16). Suppose -n = -y*n - 9. Solve -2*g + n = -5*g for g.
-3
Suppose -2*i - 2*i = 5*x - 1, 32 = -4*x + 5*i. Let o(s) = s**2 + s + 3. Let y be o(x). Suppose -y = 3*p - 3*c, 0*c = -3*p - 2*c + 16. Solve p*n = -n - 3 for n.
-1
Let g = -7 + 7. Let t = g + 4. Solve 0 = -t*y + 5 + 3 for y.
2
Let i(r) = -4*r - 7. Let d be i(-7). Suppose 0 = 2*o + o - d. Let v = -7 + o. Solve q + v*q = 3 for q.
3
Let j(a) = 28*a - 26*a + 0 - 2. Let x be j(2). Solve x*f + 7 = -3 for f.
-5
Let j(g) = 2*g + 4. Let q be j(4). Solve q = 7*x - 3*x for x.
3
Suppose -5*n = -2*q + 3*q - 11, 5 = 5*q. Suppose -3*g + 8 = -7. Suppose -g*s = -0*s + l - 77, 3*s = l + 43. Solve -n*r = -5 + s for r.
-5
Let z(j) = j**3 - 2*j**2 + j + 2. Let h be z(2). Let x be (-70)/(-4) - h/(-8). Solve -5*c - 2 - x = 0 for c.
-4
Let y(p) = 2*p - 6. Let d be y(4). Suppose 0 = 4*l - d*z + 8, -20 = -5*l + 3*l - 5*z. Suppose 3*r - h + 2*h = 5, l = 3*r + 4*h - 2. Solve -n = r*n for n.
0
Let r(s) = s**3 + 6*s**2 + 2*s - 8. Let c be r(-5). Solve -2*y = -c*y - 20 for y.
-4
Let h = -1 - -3. Suppose -3 - 9 = -h*j. Suppose 3*o - 5*n = j*o + 11, 4*o + 4*n = -4. Solve 5 = -o*l - 4 for l.
-3
Suppose -5*p = 0, -p - 2*p = -4*b + 8. Let u(v) = v - 2 + 2 - b. Let j be u(2). Solve -2 = -g - j for g.
2
Let l(r) = 3*r**2 - 2*r + 2. Let s be l(1). Solve -2*h = -s*h for h.
0
Suppose 4*w + 16 = 0, 5*w = -n + 2*n - 15. Let j be (-9)/15*(n - 0). Solve 6*l - 3 = j*l for l.
1
Suppose n - 17 = -13. Suppose -l = -n*l + 18. Solve 0 = f + 3 - l for f.
3
Suppose 0 = 5*r + 2*z + 18, -3*z + 3 = -4*r + 7. Let s = 4 - r. Solve -3*p + s = -9 for p.
5
Let m = -46 + 50. Solve m*h + 12 = h for h.
-4
Let q(v) = -v**2 + 3*v + 4. Let w be q(4). Let c(z) = z**2 + z. Let u be c(w). Solve u = -0*h + 4*h + 20 for h.
-5
Let z(j) be the first derivative of -j**4/4 + 3*j**3 - 5*j**2 - 3*j + 1. Let i be z(7). Suppose -6*f = -f - i. Solve 0*t + f*t = -5 for t.
-1
Let h(i) = i**3 - 5*i**2 + i. Suppose 3*n - 5*o = -o + 10, -n = -4*o - 14. Let x be (-2 - (-2 - n)) + 7. Let f be h(x). Solve -f*y + 4 = -y for y.
1
Suppose -3*y + 4 = 3*r + r, -4*y + r = 1. Suppose 3*u + y*u = 9. Suppose -4*w + 35 = 5*l - w, 0 = -l - u*w + 19. Solve -2*p + l = 2*p for p.
1
Suppose 2*i = -i + i. Solve -2*z = -i*z for z.
0
Suppose -5*c = 10 + 15. Let n = -2 - c. Solve -1 + n = -i for i.
-2
Suppose -3*m = 2*o - 26, -9 - 32 = -3*o - 5*m. Solve 3*j = o + 5 for j.
4
Let s be 11*2 + -1 + 0. Suppose -121 + s = -5*a. Let i = 6 - 4. Solve i*x = -2*x + a for x.
5
Let x(b) = 5 - 4 - 3*b**3 + 2*b**3. Let c be x(-1). Suppose 0 = -2*z - 4*m - c, -5*z + 2*m + 13 = 3*m. Solve z*v - 12 = -v for v.
3
Let v be -1*(-3 - (4 - 2)). Solve -2*j = 3*j - v for j.
1
Let x = 18 - 12. Solve -x*b = -b - 15 for b.
3
Suppose n = 5*n. Let r(l) = 2*l**2 + 6*l - 3. Let t(y) 