-2*x + 5*w + 12, -x = -2*w. Solve 3*a - x - 4 = 0 for a.
4
Let n(p) = p**3 + 4*p**2 - 6*p - 2. Let t be n(-5). Let v(s) = 2*s - 1. Let m be v(t). Solve w = -m + 4 for w.
-1
Suppose -3*i - 11 = 31. Let k = 24 + i. Let q = -9 + k. Solve 0*m - m - q = 0 for m.
-1
Let o = -6 - -2. Let p be (o/5)/(4/(-30)). Solve 0 = -p*g + 2*g - 16 for g.
-4
Suppose -5 - 3 = -2*w. Suppose w*n = -0*n + 8. Solve -n*u - 6 = 2 for u.
-4
Suppose -1 = q - 5. Suppose n + q = 5*n, -3*n + 28 = 5*f. Let c = 7 - f. Solve -d + c - 5 = 0 for d.
-3
Let f be -8*(-1 + 2) - 2. Let y(s) = -3*s - 12. Let j(h) = -12*h - 47. Let v(w) = -2*j(w) + 9*y(w). Let m be v(f). Solve -i - 3*i = m for i.
-4
Let r be ((-168)/(-70))/((-6)/(-20)). Solve r + 0 = -4*i for i.
-2
Let w = -20 - -36. Let x = -15 + w. Solve 0*r = -r + x for r.
1
Let t be 1*2 - (-12)/3. Suppose 0 = -3*v + 67 + 35. Let q = v - 19. Solve -3*b = -t*b - q for b.
-5
Suppose 6*p = 3*p + 18. Solve 5*k = 2*k + p for k.
2
Let m(u) = u**3 + u**2 - u + 15. Let p be m(0). Solve -8*i + 3*i = -p for i.
3
Let d(x) = -x**2 - 2*x + 6. Let t be d(-3). Solve t = -g - 2 for g.
-5
Let s = -6 + 9. Solve 0 = -0*w - s*w + 6 for w.
2
Suppose -4*k - 12 = 0, -2*d - 11 = -k + 6*k. Let j be (2 - d)/1*1. Solve -4*m + 5 + 3 = j for m.
2
Let c(s) = s**2 - s - 8. Let b be c(4). Solve -3*v - 5 = -b*v for v.
5
Let d = -6 - -8. Suppose 5 = -w, 0 = 2*g + 2*w + w + 23. Let y = 6 + g. Solve -y*o + 16 = d*o for o.
4
Let l be (-3)/1*(-1 - -2). Let z(m) = 3*m**2 - 2. Let b be z(l). Suppose -5*p + b = -0. Solve 2*k - 5 - p = 0 for k.
5
Let u(v) = -v**3 + 8*v**2 - 6*v - 3. Let x be u(7). Let i = 3 - x. Let y be -4*(-7 + 2 - i). Solve 5*f - f = -y for f.
-4
Let r be (-5)/(15/(-12)*2). Solve 19 - 11 = r*a for a.
4
Let a = 0 - 0. Solve a*u = u for u.
0
Let u = -42 + 62. Solve 3*o + 2*o - u = 0 for o.
4
Let y(o) = -o - 2. Let d be y(-3). Suppose -126 - 178 = -38*n. Solve 0 = -3*a - d - n for a.
-3
Let d(j) = j**3 - 7*j**2 - j + 5. Let m be d(7). Let y = -7 + m. Let s be 8/3 - (-6)/y. Solve s - 3 = -h for h.
1
Let o(j) = -j**2 - j + 4. Let l be o(0). Suppose f = -l*w - 4, 6 = -0*w - 2*w. Let a = 13 - f. Solve a*i + 2 + 3 = 0 for i.
-1
Let s = 20 - -5. Solve i = 6*i + s for i.
-5
Let m = -5 + 7. Suppose -m*u - 4*x + 2 = 0, 6 = 4*u - x - 7. Suppose u*q = -0*q. Solve n = 1 - q for n.
1
Let g be 2/8*12*1. Solve 0 = -p - 0*p - g for p.
-3
Suppose 0 = -2*v + 3*v + 5. Let m(k) = k + 7. Let g be m(v). Solve -3*r = g*r for r.
0
Let j(y) = y**2 + 10*y + 13. Let n = 12 + -21. Let d be j(n). Suppose v + 2*v = -2*a - 11, 0 = -d*a - 5*v - 17. Solve 0 = 2*z - a for z.
1
Suppose 2*i = 7*i. Let c = 18 - 16. Solve -4 + i = c*s for s.
-2
Let x(j) = -2*j**3 - 2*j**2. Let w be x(-2). Solve -a = 3*a - w for a.
2
Let p be -1*0/(9/(-3)). Solve -y + 6*y + 20 = p for y.
-4
Let k(q) = -q**2 - 6*q - 7. Let z be k(-6). Suppose -24 = -2*t - 0*t + s, 4*s + 19 = t. Let x = t + z. Solve 5*c - x = 1 for c.
1
Let y = 18 + -6. Let b(f) = -f + 4. Let r be b(4). Let i = r + 2. Solve u + y = -i*u for u.
-4
Suppose -5 + 0 = -5*i, -5*i = m - 9. Suppose -4*a - m = 0, -2*a = -0*o - o + 4. Solve 0 = o*j - 3*j + 2 for j.
2
Suppose s - 6 = -2. Let y = 3 + 0. Solve y*j = 8 + s for j.
4
Suppose -4*q - 4 = -2*i, 8 = -3*q + 3*i + i. Let d be (-2)/((-4)/6) - q. Solve -k + 4 = d*k for k.
1
Let z(x) = x**3 - 11*x**2 + 10*x + 3. Let k be z(10). Suppose 4*m + 3*v + 16 - 104 = 0, 0 = k*v + 12. Solve 4*a + m = -a for a.
-5
Suppose -46*t - 12 = -49*t. Solve t*l + 0*l = 0 for l.
0
Suppose -21*m = -22*m + 12. Solve 7*d = 3*d - m for d.
-3
Let f = 6 + 5. Suppose 4*x = 4*y + 4, -3*x + f = -y - 0. Solve -4*s + 0*s = y for s.
-1
Let k be (-5)/((-15)/(-6)) - -1. Let r be k*(2 - (-6)/(-3)). Solve -5*n + r*n + 20 = 0 for n.
4
Let z be (4/(-6))/((-48)/72)*0. Let n(o) = -o**2 + 4 + 7*o - 2*o - 2*o. Let a be n(3). Solve -a*r + 3*r + 4 = z for r.
4
Let k = 16 - 7. Solve k + 6 = -5*r for r.
-3
Let d be -1*(-2)/(-4)*0. Suppose 4*c - 3*y - 60 = 2*y, 4*y = 2*c - 30. Suppose 2*z - 3*t + 7 - 2 = d, c = 3*t. Solve -4*o = -17 + z for o.
3
Let z(m) = m**2 - m - 9. Let n be z(4). Solve 0 = -n*s + s + 4 for s.
2
Let o(s) = s**3 - s**2 - s + 1. Let t be o(1). Solve t = -4*k - k - 10 for k.
-2
Let g(u) = 2*u + 2. Let y be g(4). Solve -5*m - y = 10 for m.
-4
Let n be 6*(5/15 + 0). Solve 3 - 1 = n*y for y.
1
Let a(s) be the first derivative of s**4/4 + 2*s**3/3 - s**2/2 - s - 2. Let c be a(-2). Let d = 1 - c. Solve -5*q - 14 - 6 = d for q.
-4
Let z = 8 - 6. Suppose -z*n + 2 + 18 = 0. Solve 5 = 5*t - n for t.
3
Let j(l) = 2*l**3 - 2*l**2 - 2*l + 2. Suppose 5*f = -0*f + 10. Let o be j(f). Solve y - o*y = 0 for y.
0
Suppose -g + 4*f + 45 = 4*g, 4*f + 5 = -3*g. Let i = g + -5. Solve 0 = l - i - 1 for l.
1
Let q(a) = -a**2 + 17*a + 25. Let z be q(18). Solve -23 = 4*s - z for s.
-4
Suppose -f - u + 5 = -6*f, -5*u + 25 = 4*f. Solve 3*s = -f*s for s.
0
Suppose 5*g = 47 - 7. Solve -4*y + g*y = 4 for y.
1
Suppose -v - 3*g = -18, -2*g + 3*g = v + 2. Solve 0 = -5*n + 17 + v for n.
4
Suppose -4*m - 7*q = -2*q - 28, 0 = 4*m - 5*q + 12. Solve -3*h - m = -5 for h.
1
Let c(j) = 0*j + 3 - j - 1. Let k be c(0). Solve 0 = k*p - 10 for p.
5
Suppose -j = 3*i + i - 14, j = -5*i + 18. Suppose -x - i*b = -4*x + 21, -5*x = -4*b - 27. Solve -p = -x*p for p.
0
Suppose h - 70 + 66 = 0. Solve -h*a = 18 - 6 for a.
-3
Let k be -3*(-1)/9*0. Solve -d = -k*d - 5 for d.
5
Suppose -2*v + 7 - 1 = 0. Solve 0 = v*s - 0 - 3 for s.
1
Suppose -4*r - 3*u = -2*r - 17, r = 5*u - 11. Solve r*z = -z for z.
0
Let m(d) = d**2 + 26*d + 51. Let c be m(-24). Solve 8*y + 10 = c*y for y.
-2
Let z(v) = -v**3 + 5*v**2 - 4*v + 6. Let u be z(4). Let a = -1 + u. Solve a*h + 15 = 2*h for h.
-5
Let n(q) = -q + 12. Let m be n(7). Suppose -7 - m = -4*t. Solve t*r = -0*r for r.
0
Let l = -8 + 15. Let b = -6 + l. Solve -b = m - 0 for m.
-1
Let w = -18 + 9. Let j = -7 - w. Solve v = -0*v + j for v.
2
Suppose 6*y = 5*y + 12. Solve p - 4*p = -y for p.
4
Let y(h) = 4*h + 3 - h**3 + 5*h**2 + 2*h - 3. Let x be y(6). Solve 3*l - 6 - 3 = x for l.
3
Suppose 5*t = 12 - 2. Suppose 6*w + 34 - 46 = 0. Solve 0*q + w = t*q for q.
1
Suppose 0 = -2*g - 2, 2*k - 5*g - 25 = -2*k. Solve -k*z + 1 = 26 for z.
-5
Let q be (-4)/(-6) - 3/(-9). Let x be q - 0 - (-14)/7. Solve 2 = -x*l - 1 for l.
-1
Let n(o) = o**2 + o - 7. Let y be n(5). Suppose 0*w - w = 5*f - y, -5*w - 25 = -3*f. Suppose -2*u + 2*k + 3 = -k, 2*u + f = -5*k. Solve r + 0*r + 5 = u for r.
-5
Let c(a) be the first derivative of -a**4/4 - 2*a**3 - 3*a**2/2 - 9*a + 1. Let r be c(-6). Let v(b) = b - 9. Let x be v(r). Solve 3*l - 5 - 10 = x for l.
5
Let k be 9 - 2/4*4. Suppose -9 = 4*n + k. Let x = 9 + n. Solve x*f = f - 8 for f.
-2
Let r(f) = -2*f**2 + 7*f + 4. Let m be r(4). Solve m = t - 2 for t.
2
Let z(p) = 2*p**3. Let w be (0 - 2)*(-2)/4. Let j be z(w). Solve -1 = j*n - 3 for n.
1
Let w be ((-12)/36)/((-2)/30). Solve -w*t + 15 = -5 for t.
4
Suppose 0 = -2*n + n + 5. Let f = -560 - -560. Solve -2*k + 3*k - n = f for k.
5
Let s(i) = i**2 - 2*i + 39. Let g be s(0). Let r = g - 21. Solve -5*n + 2 = -r for n.
4
Let y be (0 - 6/15)*5. Let g be (3 + y)*0 + 2. Solve -g*k = 3*k for k.
0
Suppose 12 = 4*i, 0 = -5*s + i - 3*i + 16. Solve 5*y = -7 + s for y.
-1
Let w(d) = d + 8. Let m be w(-4). Solve -c = -3*c + m for c.
2
Let p = -42 - -60. Solve 2 = 4*c - p for c.
5
Suppose 5 = -k + 1. Let u = 2 + -5. Let m be 2*k/(8/u). Solve 1 = -m*t - 14 for t.
-5
Let t(r) = r**3 + 6. Let m be t(0). Let x be (-8)/(-3)*9/m. Solve 0 = -c - c + x for c.
2
Let n = 12 - 12. Let w be n - 0 - -2 - 0. Solve w*d = -d + 12 for d.
4
Suppose 0 = 3*p - 9, 6*k - 4*p = 2*k + 8. Solve -10*d + k*d - 5 = 0 for d.
-1
Let b = -19 - -3. Suppose 94 = -4*z + 2*k, -62 - 14 = 3*z + 4*k. Let n = b - z. Solve 3*d = d - n for d.
-4
Suppose -161 = -5*p - 2*p. Solve -5*q = 2 + p for q.
-5
Let r be (-1 - -4)*-3*(9 + -10). Suppose j = -3*w + 2*j, 4*w + 5*j - 19 = 0. Suppose 0 = 4*o - 3 - w. Solve 5*g + r = -o for g.
-2
Suppose -3*y + 12 = -0*y. Let s(p) = -6 - p**2 + 2 + y*p**3 + p + 3. Let g be s(1). Solve 0 = g*j + 6 + 9 for j.
-5
Suppose -3*t + 8 = 3*a - 2*t, 0 = -3*a + 5*t - 22. Let h(o) = -2*o + 5*o - 6*o**2 + 2*o**2 + 2*o - o**3 + 2. Let j be h(-5). Solve -j*z + 5 + a = 0 for z.
3
Suppose 4*o + 4 = 5*o. Suppose o*c + 10 = -