 -m*z + 3*x = -23 for z.
4
Suppose -7*u = 2*u - 18. Suppose z = -u*z. Solve z*c - 12 = 5*c - 3*w, 4*c = -5*w + 20 for c.
0
Let s(c) = 5*c**2 - 26*c - 16. Let q(j) = -6*j**2 + 27*j + 15. Let k(m) = -6*q(m) - 7*s(m). Let l be k(-19). Solve -l*p + 3*a + 17 = 8*a, -3*a + 7 = 5*p for p.
-1
Let b(k) = -6*k**3 - 36*k**2 + 2*k + 16. Let d be b(-6). Solve 4*z + 24 = -4*a, 5*a + 24 = d*z - 7*z for z.
-3
Let x be (-4 - -3)/((-2)/10)*3. Let r be -2 - 2*2/(-2). Solve -x + 3 = 5*d + 4*h, r = 2*d - 4*h + 16 for d.
-4
Suppose 8*a = 7*a + 1, -5*u + 30 = 5*a. Solve -u*x + 12 = -2*b, 0*x + 5*x - 10 = 0 for b.
-1
Let b(s) = -s + 21. Let r be b(8). Let z(j) = j + 1 + 0*j + 0. Let x be z(r). Solve -2*h = -u - 3*u + x, -5*u = h - 28 for h.
3
Let b(s) = 7*s + 30. Let i be b(-4). Solve 5*x + 17 = -4*w, -w - i*x - 3 = -x for w.
2
Suppose -8 = 4*x, -5 - 7 = -2*v + 2*x. Suppose -3*a + v*a + 18 = 5*q, -2*a - 6 = 0. Suppose -l - q*l = 0. Solve -3*y = -12, -i + l*i - y + 9 = 0 for i.
5
Suppose 19*h = 16*h + 6. Solve h*s = -2*a - 2*a - 16, 0 = 4*s - 3*a - 12 for s.
0
Let v(g) = -40*g - 310. Let t be v(-8). Solve 4*u - 3*u + t = 5*h, 4*h + 13 = 5*u for h.
3
Suppose 5*h = i + 25, -4*h - 4*i + 1 = -i. Solve 0 = 3*z - p - 11 + 6, -h*p - 12 = -4*z for z.
1
Suppose -4*m + 32 = 4*m. Solve 2*x + m + 4 = 0, 5*w - 3*x - 12 = 0 for w.
0
Let c(y) be the first derivative of y**3/3 + 8*y**2 + 17*y - 3. Let g be c(-15). Solve g*m - 29 = 5*f + 4*m, -3 = f - m for f.
-5
Let g = -32 + 63. Suppose 4*a - g = -3*u, -5*a = -6*u + 2*u. Suppose -2*j = -u*x + 91, 4*x + j = -j + 62. Solve 0 = -5*k + 3*c - 23, 4*k - c + x = -0 for k.
-4
Let i(n) = -2*n + 3. Let l be i(0). Suppose 15*f = 19*f. Solve 2*x + 2*q = f, l*q - 2*q + 4 = -2*x for x.
-4
Suppose -5*c = 3*w - 9 - 11, 5*w - 52 = c. Solve -2*b - 5*p + w = 0, b = 5*b + 4*p - 8 for b.
0
Let x = -1 + 1. Let p be (-1 - x)/1 + -1. Let b be (-4)/(-3)*(-3)/p. Solve 0 = 5*i - 3*t - 8, 2*t + 6 = -b*i + 6*i for i.
1
Let z be 4 - 45/10 - 2/(-4). Let l = 6 - 2. Suppose -32 = -l*t - 0*t. Solve z = -3*k + 2*i - t, -10 = 3*k + k - 3*i for k.
-4
Suppose 0 = x - 4*x + q + 2, -5*x - 2*q + 18 = 0. Solve -k + 3 = -x*w, -w = 4*k - 0 - 21 for w.
1
Suppose -3*a = 5*l - 25, 4*l - a + 1 = 2*l. Suppose 0 = -l*y + 8 - 0. Suppose 0 = -u + y - 1. Solve 0*j + 2*j + u = 3*g, -5*j - 2*g = 17 for j.
-3
Suppose 0 = t + 4*x - 6, -2*t + 30 = 3*t - 4*x. Solve -4*w = -0*w, 0 = 2*b - 3*w - t for b.
3
Suppose -17*q = -45 + 11. Solve -4*z + 15 = z, 3*o + q*z - 18 = 0 for o.
4
Let n = -487 - -492. Solve -n*i - 6*u + 10 = -u, i + 4 = 5*u for i.
1
Let i = 31 + -41. Let o be (2 - (-4 - i)) + 30. Solve 2*c = 4*g + 4, 5*c + o = -3*g + g for c.
-4
Suppose 5*f + 10 = 20. Suppose 4*l = f*l + 22. Solve y + 3*x = -9, 0 = y - 0*x - 2*x - l for y.
3
Let v = -9 - -17. Suppose 2*s + 0*s = -3*c + 19, 4*c - 5*s = 10. Solve -4*r + c*b - 17 = 0, 2*r + b = -r - v for r.
-3
Let i(d) = 40*d + 508. Let t be i(-12). Solve 0 = -3*m - 4*p + t, 11 = -m + 4*p - 1 for m.
4
Suppose 2*a = -2*q + 3*q - 9, -2*q - 3*a - 10 = 0. Suppose q = -p + 11. Solve p = -4*l - 2*x, l + l - 4*x = 20 for l.
0
Let h be 66/9 + (-5)/15. Suppose 0 = 3*i - i. Let d = 15 - i. Solve -3*v - a = h, -5*v + 4*a + d = 4 for v.
-1
Let a be ((-24)/(-20))/((-2)/(-5)). Suppose a*z - 22 = 5*b, -11 = -4*z + b + 7. Solve -z*d = -h - d + 5, 4*h + 5*d + 31 = 0 for h.
-4
Let x(z) = -z**2. Let d be x(7). Let m = -24 - d. Solve -q + r = -0 + 1, 5*q + 5*r = m for q.
2
Suppose 14*o = -10*o + 552. Suppose -o = -11*t + 21. Let z(f) = f**2 - 2*f - 3. Let n be z(6). Solve q + t*d = n, 3*q + 2*d - 31 = -2*d for q.
5
Let l be -2*2/6*33/(-11). Suppose -l*c - 122 = -4*k, k + 0*k - 2*c = 35. Solve 0 = 2*n + 10, 3*q + 5*n = 2*q - k for q.
-4
Let k(p) = 5*p**3 - 9*p**2 - 4*p**3 - 7 + 7*p - 6*p. Let m be k(9). Suppose 4 = 5*a - 4*i - 0, 2 = 4*a - m*i. Solve 5*s + 2*w + 3 + 2 = 0, 2*w = a for s.
-1
Suppose y - 59 = -3*n, 4*n + 2*y + 40 = 122. Suppose 5*j - 2*j = 0. Let t = 5 - j. Solve -n = -t*s - 2*z, -z + 1 = -2*z for s.
4
Suppose -38*d + 89 + 25 = 0. Solve d*a = 3*j - 9, -2*j = -5*a - 7*j - 35 for a.
-5
Suppose -a - 2*r = -16, 17 = -0*a + 2*a - r. Suppose 0 = -4*b + a + 2. Let x(d) = d. Let s be x(3). Solve s*k - 4*f = -2*k - 8, b*k = -2*f - 18 for k.
-4
Suppose 2*l - 8 = 3*q, -l + 0*q = -3*q - 4. Solve -3*t = 5*w - 12, -w - t = -l*w + 10 for w.
3
Suppose -24*v + 26*v - 10 = 0. Suppose -3*u = -v*d + 88, 68 = -5*d + 8*d + 2*u. Solve -d = -4*x + 2*x - 3*s, 5*x - s = 16 for x.
4
Let m be ((-12)/(-2))/(45/(-120)*-4). Solve -m*p - 2*k - 2 = 0, 3 = -3*p - 3*k - 6 for p.
2
Suppose -2*q + 0 - 10 = 0. Let x = -3 - q. Solve 5*j + 0*j = 2*u + 24, x*j + 2*u - 4 = 0 for j.
4
Let s = -8 + 12. Let o be 13/((-26)/(-264))*-1 - 1. Let k = o - -136. Solve x + 0*w - s*w = k, -x + 1 = -2*w for x.
-1
Suppose -v - 2*s = 2*v - 41, -4*v + 2*s = -64. Let x be 1/(-3) + 35/v. Suppose -5*y + 11*y - 17*y = 0. Solve 5*a = -y*m - m - 3, x*m = 5*a + 9 for a.
-1
Let u = -27 - -12. Let r = 19 + u. Suppose k - 5*a - 3 = 0, 4*k + 3*a - 16 = -r. Solve b + 7 = -2*s, k*b + 16 = -4*s - b for s.
-3
Suppose 447 = 9*t + 267. Solve 3*c = -5*d - 0*c - t, -4*d + 2*c + 6 = 0 for d.
-1
Suppose -29 = -2*q + 5*c, -q - c = -3*q + 17. Solve -4*i - 16 = 2*s, -5*s = -2*i + i + q for s.
-2
Suppose 5*n = 6 + 9. Let u(z) = 8*z**3 + 2*z**2 + z - 2. Let s be u(1). Let i be (-2)/(-4) + 53/2. Solve n*w = 3*o - 21, s*o = 4*o + w + i for o.
5
Let h be (-1)/(0/(-1) + -1). Suppose -2*u = 2*u + 8. Let y be -3 + (u - -8) - h. Solve -4*l - y*j - 10 = 0, 3*l - j = -0*l - 10 for l.
-3
Let f(p) = p**2 - 21*p - 22. Let b be f(22). Suppose b = -5*o + 20. Solve 1 = 3*z + 4, -o*w - 1 = -3*z for w.
-1
Let j = 90 - 87. Solve -3*n + j*t - 15 = 0, 0*t - 2 = -2*t for n.
-4
Let w be 120/6 + (0 - -1 - -1). Let x = w + -20. Let j be -4 + 3 - 8/(-2). Solve 5*o = -2*p - p + 35, -23 = -j*p - x*o for p.
5
Suppose z - 4*z + 30 = -3*j, -4*j = 4*z. Suppose -7*b = -6*b - 2. Solve -13 = -s + b*a, 3*a + 2 = -3*s + z for s.
5
Let h be 4/((-10)/(-6)*2/5). Suppose -51 = -11*p - h*p. Solve p*v - 5*g - 31 = 0, 0 = 2*g - 1 + 11 for v.
2
Let o be (-48096)/63 + 8/(-14). Let g be 1/(-5) + o/(-20). Suppose 0 = -b - 4*y + 24, -3*y = 4*b - 5*b + g. Solve 4*x + 4*v = b, 10 + 4 = 3*x + v for x.
3
Let l(y) = y**3 - 2*y**2 - 2*y. Let q be l(3). Solve 5*i + 15 = 5*p, 2*p = -q*p for i.
-3
Suppose 0 = -2*g + 55 - 5. Let r be g/7 + 20/(-35). Solve -r*q - 2*z = -7, -2*q - 2*z + 5 = 3*q for q.
-1
Let c be (-7 - 390/(-54)) + (-34)/(-9). Solve x + 2*x - j - 19 = 0, 3*j - 8 = -c*x for x.
5
Let d(a) = a**3 + 4*a**2 - a - 1. Let y be d(-4). Solve 0 = -5*u + u, 5*u = 3*l - y for l.
1
Suppose 0 = -5*g - 5*v + 50, -g + 2*v + 10 = -9. Solve 2*d = 2, 2*d = -3*c - 2*d + g for c.
3
Suppose l - 3 = p, -4*l + 5*p + 108 = 96. Solve -a = -3*k + 12, -l*a - k - 3 = k for a.
-3
Suppose 0 = -18*z - 2 + 56. Solve -3*j + 1 = 5*p, 3*p = j - z*j for j.
-3
Let x(m) be the second derivative of m**4/12 - m**3/2 + m**2 + 5*m. Let g be x(1). Suppose -4 - 6 = -5*u. Solve g = w - 4*k, -w - u*k = 4*w for w.
0
Let c(p) = 2*p - 5*p - 2*p - 5 + 6*p. Let m be c(5). Solve 0 = 3*z + 2*z + h + 14, -5*z - 3*h - 22 = m for z.
-2
Let k be (-25 - -20) + (0 - 1 - -14). Solve -3*f = -6*f - 5*c - 20, 0 = -2*f - 2*c - k for f.
0
Suppose -12*h = -14*h - 16. Let f be ((-64)/112)/((h/(-14))/(-2)). Solve -10 = 2*k + 5*d - 1, 0 = -2*k - f*d for k.
3
Suppose 28 = 2*k + 24. Solve 0*h = 3*h + 15, o + 11 = -k*h for o.
-1
Let p = -107 - -111. Solve 3*q - 3 = -o, -o - 4*o = -p*q + 23 for q.
2
Suppose 4*f - 20 = -0*f. Suppose 4*l - f*r - 3 - 4 = 0, 4*r = 4*l - 8. Solve -w - 2*w = -5*b - 17, -l*w + 13 = -4*b for w.
-1
Let y be 18/(-36)*8/(2/(-2)). Solve -3*s = s - 4*k - y, 0 = 4*s + 4*k - 36 for s.
5
Let p = -1 - -1. Suppose 3*j + 37 - 229 = 0. Let s = 77 - j. Solve m - 5*o - 23 = p, s + 18 = 5*m - 4*o for m.
3
Suppose v - 3 = 15*g - 12*g, 0 = -v + 2*g + 3. Solve 5*s - 19 = -v*r, -3*r = -4*s + 10 + 16 for r.
-2
Let c(h) = -2*h - 7. Let m(a) = 30*a**3 + a**2 - a + 1. Let g be m(1). Let z = -36 + g. Let k be c(z). Solve -2*n - k - 3 = 0, 0 = -x - 5*n - 15 for x.
0
Let d be (5 - -10) + 0 + 0. Let n be 0/(5/d*-3). Let k = 1 + 1. Solve -q + 3 = 0, -5*b - k*q + 26 = -n*q for b.
4
Let h(o) = -o - 17. Let p be h(-20). Solve d + 3*x + p = 0, 9 - 1