 3*o + 4*p, -4*p = k for o.
4
Let u = -31 - -55. Let v(b) = b**3 - 24*b**2 - b + 26. Let i be v(u). Solve i*g + 2*j = g + 4, -4*j - 4 = -4*g for g.
2
Suppose 23*g + 4 = 25*g. Solve -4 = -s, -g*p + 26 = 2*s + 3*s for p.
3
Let z(y) = -4*y - 3. Let c be z(-2). Let x(a) = a - 3. Let b be x(5). Suppose 5*h = b*j + 6, -6 = h - 4*j - 0. Solve 0 = 5*t + c*o - 15, 5*t = -0*t - h*o for t.
-2
Suppose 3*s - 6 = -i + s, 4*i + 4*s - 12 = 0. Suppose i = -0*k + 3*k - 12. Solve -17 = -v + 3*j, k*j + 10 = -10 for v.
2
Let s be (0 - 3/2)*-2. Suppose -s*n - n + 4*h = -8, 2*n - 2 = h. Suppose n*p = -2*c + p + 5, -3*p = 4*c - 15. Solve -2*m = b + 3, c*b - 3*m - 15 = -m for b.
3
Let r(w) = -5*w - 20. Let d be r(-4). Solve d = 4*n - 4, -o + 2*n = -0*o + 3 for o.
-1
Let x(n) = n**3 + 12*n**2 - 16*n - 22. Let i be x(-13). Let a = i + -15. Solve -a*d + 5*q - 5 = 0, -4*q + 17 = 5*d - 20 for d.
5
Let v(m) = m**3 + 8*m**2 - 7*m + 22. Let c be v(-9). Let w be (25/c)/((-7)/(-28)). Solve 3*l = -12, -o + 6*o + w = -5*l for o.
-1
Let d(i) = 7*i + i**2 - 1 - 6 - 7*i - 4*i. Let s be d(6). Solve -3*q - 21 = 3*v, s*q + 21 + 2 = -v for v.
-3
Suppose -4*n = o - 377, -n + 3*o + 294 = 2*n. Let i be (1102/n)/(4/10). Solve 4*h = -4*l - 9 - 7, 4*l - 5*h = i for l.
1
Let i(f) = -5*f**2 - 12*f + 5. Let v(z) = z**2 + z. Let g(x) = i(x) + 4*v(x). Let u be g(-8). Let s = 64 + -46. Solve u*r - 3*y = -s, 4*y = -3*r - y - 4 for r.
-3
Let r = -1063 + 1073. Solve -2*a = 2*j + r, 4*j + 8*a + 16 = 5*a for j.
-1
Let h = 1435 + -1415. Solve 3*r - 2*l = h, 21*r - 25*r + 24 = -2*l for r.
4
Let l(m) = m**3 - 3*m**2 - 5*m - 1. Let i be l(5). Suppose 2*b - 4*b = -i. Solve -2*k + 14 = 2*n, -5*n = -b - 8 for k.
3
Suppose -11*t = 1370 - 1634. Let u be 11/3 + (-7)/(-21). Solve 18 = w - y - u*y, -5*w + 3*y + t = 0 for w.
3
Let k(n) = -20*n + 7. Let o be k(0). Solve -3*h = 5*m + o, 0 = -4*m - h - h - 4 for m.
1
Suppose 25*k + 2*k - 216 = 0. Solve 5*j + k = 2*g, 0 = -j + 3*g - 5*g - 4 for j.
-2
Suppose -4*q = -4*p - 4, -3*p - q = -2*q + 1. Solve -g - 9 = z - p*g, -z - 21 = 4*g for z.
-5
Let n(m) = 27*m - 240. Let b be n(9). Solve -22 = -5*d - w, 4*w = -b*d + 7*w + 24 for d.
5
Let z = 4 + 10. Suppose 0 = l - 19 + z. Solve x - 2*m = -3*m + 5, -m + l = -2*x for x.
0
Let v be (-186)/(-16) - 12/320*-10. Let g be (1 - 1) + 0/1. Solve 3*c - 4 - v = -x, 3*c + 2*x - 20 = g for c.
4
Suppose w = 2*o - 1, 2*o = 3*w - o - 6. Solve g + 3*f = 7*f, w*g = 3*f - 17 for g.
-4
Let i be 10 + 32/(-8) + (-4)/1. Solve 5 = -w, 2*w - 17 = -i*d + 5*w for d.
1
Suppose 33*a - 83 = 49. Suppose 2 - 12 = -2*v. Solve 2*u = k - v, 3*u + a = 2*k - 4 for k.
1
Suppose 0 = -2*u, 205 = -5*c - 2*u + 3*u. Let m = 45 + c. Suppose 4*k + 3*d = 57, -2*k - 3 = -d - 44. Solve -3*t = -6*t + 5*g + k, -5*t = m*g + 7 for t.
1
Suppose 37*a = 32*a + 5. Let m = a + 1. Solve 0 = -4*t + 2*i - 8 - 0, 5*i = -m*t + 8 for t.
-1
Suppose 3*n = -0*n + 12. Suppose 4*l = -w + 17, n*w = 2*l - 3 + 17. Suppose 0 = w*k - 20. Solve 1 = -k*q - 5*r + 7, r - 5 = 3*q for q.
-1
Let j = -53 - -57. Suppose -j*o + 13 = -7. Solve -3*f = 6, -3*s - 23 = o*f - f for s.
-5
Suppose -42 = -5*l - 17. Suppose -4*a + 0*a = l*n + 232, 42 = -n - 3*a. Let c be (-108)/n + (-2)/8. Solve 5*w = -q - 28, 2*w = -4*q - 24 + c for w.
-5
Let k be 35/10 + (-1)/(-2). Let g be -2 - (6 + 0)*-3. Solve 3*t - 10 = -4*m + 2*m, k*t - g = 0 for m.
-1
Let q = 14 + 48. Suppose q - 22 = 8*n. Solve -n*k = s - 2*s + 18, -4*k - 14 = -s for k.
-4
Let o = -149 + 151. Solve 3*b - o*q - 2*q - 8 = 0, -4*q = b + 8 for b.
0
Let r(d) = -d**3 - 21*d**2 - d - 17. Let s be r(-21). Solve 5*w = s*c + 4*w - 22, -w = 2*c - 8 for c.
5
Suppose 12*o - 30 = 13*o. Let h be (-28)/21*o/8. Suppose -h*g = g. Solve -n - 3 = -3*r + 2, g = -4*r + 4*n + 4 for r.
2
Suppose -4*v - 46 + 137 = k, 3*v - 5*k = 97. Let i = -24 + v. Let r(w) = w**2 - 2*w - 4. Let j be r(4). Solve -6*p + 11*p - 26 = -4*x, i = j*p + 2*x - 16 for p.
2
Suppose 0 = 3*m + 2 - 14. Let x = 81 + -77. Let r be ((-91)/14 - -7)/((-2)/(-48)). Solve -z + 1 = 2*h + x, -m*z - r = -5*h for z.
-3
Suppose 70 = -x + 19. Let j = -49 - x. Solve -j*a - 10 = 4*k, -2*a - 5*k - 8 - 3 = 0 for a.
-3
Suppose -8 - 12 = -5*h. Suppose 9*x + 80 = h*v + 4*x, 0 = -5*v - 2*x + 67. Suppose v = -26*f + 31*f. Solve -6*l + f*l = -4*k - 35, 0 = -k + 2*l - 15 for k.
-5
Let k = 74 - 97. Let d be (k/(-3))/((2 + 1)/9). Let m be 14/3 - (-3)/9. Solve 4*a + m*p + 1 = 0, 5*a - p + d = -0*p for a.
-4
Suppose 0 = 11*q - 15*q. Suppose -2*s - 2*s - 3*s = q. Solve -5*d = 2*t + 9, -4*d - 2*t - 4 - 2 = s for d.
-3
Suppose 14*x - 10*x = 0. Let c(l) = l**3 - l. Let n be c(x). Solve n = 2*q - 5*h - 0 + 6, 4*h - 8 = 0 for q.
2
Let b be (-2 - -2)*(-2 + 3). Suppose z - 2*z = b. Suppose -5*w + 6*r - 3*r + 6 = 0, -4*w + 5*r + 10 = 0. Solve w*a - 16 = -p - 5*a, z = 5*p - a - 2 for p.
1
Suppose -2*h + 0*h = 12. Let o be (30/(-9))/(4/h). Solve 4*m = o*n - 35, -7*n + 2*n = 3*m for n.
3
Let y(w) = w**2 - 9*w - 6. Let m be (-236)/(-24) - 1/(-6). Let r be y(m). Solve 3*k - r*j + j - 6 = 0, -3*k + 2*j = -3 for k.
-1
Suppose -2*u = -8, -3*w + 2*u + 14 = -23. Solve 4*l = -2*t, -w*t = -13*t - 3*l for t.
0
Suppose -3*x - 62 = -4*c, 5*x - 4 = 2*c - 3*c. Solve w = -4*g + 3 + c, 5*g = -5*w + 40 for g.
3
Suppose 3 + 13 = 2*r - 4*u, -2*r - 3*u = -16. Solve 4*s + q = -16, q = 2*s - 3*q + r for s.
-4
Suppose -3*g - 9 = 0, l - 4*g - 19 = 6. Let u be ((1 - l)/4)/(-1). Solve 5*s + u*w = 3*s + 1, -2 = -2*w for s.
-1
Let i be (16/(-20))/(4/60). Let l(j) = j**3 + 13*j**2 + 12*j + 2. Let b be l(i). Solve 0 = -2*v - 0*y - 4*y, -b*v + 2 = 5*y for v.
-4
Suppose -8*s - 128 + 248 = 0. Solve 5*t = -4*p - 21, -4*t + 3 = 2*p + s for t.
-1
Suppose -35 = 3*x + 5*y, -x - 4*y = 2*x + 34. Let q be x/(((-20)/5)/2). Solve -5*u + u + 20 = -3*g, -q*u + 25 = 2*g for g.
0
Let b be -1*1/3*0. Let c = b + 8. Solve 16 + 12 = 5*s + 2*l, 0 = 5*s - 3*l - c for s.
4
Let g(s) be the first derivative of 1/2*s**2 + 0*s - 2/3*s**3 - 4 + 1/4*s**4. Let b be g(2). Solve 8 + b = -3*w - 5*l, -24 = 5*w + l for w.
-5
Suppose -9*j = -8*j. Suppose j*m = 2*m + 4. Let u be (-1)/2 + (-73)/m. Solve 0 = -5*b - 2*y + 12, -4*b + u = -3*y - 2*y for b.
4
Let t(n) = 5*n - 9. Let j be t(6). Suppose 0 = 8*v - j - 3. Solve -v*x = 3, 4*g + 19 = -4*x - 1 for g.
-4
Suppose -3*q - d - 106 - 95 = 0, 3*d = 9. Let o = -64 - q. Solve s - 7 = 2*w, -o*s - 3*w = 2*w + 11 for s.
1
Let z be (-23)/(-1 - (-1 - -1)). Let s be (3*-1)/(244/(-32) + 8). Let t be (-37)/s + 12/32. Solve 7 = 5*v - v - 3*m, -v = -t*m - z for v.
-2
Suppose -3*x + 16 = 2*g + 2*x, g + 5*x = 3. Suppose 0 = -4*d - g - 59. Let b be ((-4)/(-1))/((-24)/d). Solve -7 = b*t + 2*v, -3*v = -3*t - 4*v - 11 for t.
-5
Let g(h) = h + 11. Let i be g(-8). Let c = -10 + 20. Solve -2*a + c + 0 = 0, -2*a + 4 = -i*k for k.
2
Let f be 11*-2*(-1)/(-2). Let q = 13 + f. Suppose -17 = q*j - 21. Solve m = -j*m - 2*u - 5, -5*m = -5*u for m.
-1
Suppose -3*o = -2*p - 26, 2*o + 5 - 35 = -5*p. Solve -u = 2*u - 2*v + 3, 0 = u + 3*v - o for u.
1
Let w be (-179)/2 + 5/2 + -2. Let t = -72 - w. Solve -4*v + 27 = -3*i, -4*i + 2*v - 3*v - t = 0 for i.
-5
Suppose 0 = -12*l - 40 + 112. Solve -3*q + 3 = -4*y + 3*y, -2*q = 2*y + l for q.
0
Let j(y) = y**2 + 6*y - 1. Let i be j(-7). Let h be 32/i - 2/6. Suppose 3*w - 23 = -2*b - 26, 3*b - 2*w = 2. Solve 0*q - q - 4*u + 1 = b, -h*u + 5 = 0 for q.
-3
Let v = 8 + -6. Let i = -38 - -58. Suppose -i = -5*c + 2*n, -4*n - 19 = -c + 3. Solve c = 3*f + 2*m, -m + v = -2*f + 1 for f.
0
Suppose 0 = -11*x - 1152 + 1416. Solve -3*c = -3*n - 6*c + 3, c + x = 4*n for n.
5
Suppose 3*b - 12 + 0 = 0. Let h = b - 2. Suppose 10*c - 20 - 10 = 0. Solve -3*x - 6 = 2*k + k, -c*x - h*k - 1 = 0 for x.
3
Let t be (-6)/3*(-2)/4. Let u(m) = 20*m**2 + 2*m - 1. Let q be u(t). Let x(c) = 72*c + 288. Let l be x(-4). Solve l = 2*p - 0 + 6, 2*p + q = 3*d for d.
5
Let q = 781 + -779. Solve q*k - 4*k - f = -1, -2*k + 16 = -4*f for k.
2
Suppose -49 = -3*d - 0*w + 2*w, -5*d = 5*w - 115. Suppose o = q + 6, -3*o + d = -q - 3*q. Solve -a - 4*f + 31 = 2*a, 37 = o*a + 3*f for a.
5
Suppose -37 = 2*j + 5*w - 16, -4*j + 18 = -2*w. Solve -u - z - 3 = 0, 0*z + 2*z = j*u + 10 for u.
-4
Let a = 332 + -330. Solve 5*i + 13 - 2 = -a*f, -5*f + 25 = -5*i for f.
2
Let i = -4 + 4. Suppose -15 = -5*s - i*s. Le