g + 2*j - 20 for g.
4
Let b = 13 - 18. Let o(d) be the second derivative of d**4/12 + d**3/6 + 2*d**2 - 10*d. Let n be o(b). Solve -6*k - 33 = 4*v - k, -4*k - n = 2*v for v.
-2
Let s = 530 - 526. Solve -4*i - 28 = -s*y, 1 = 3*i + 2*y - 3 for i.
-2
Suppose w + 31 = 2*w. Let h = w + -27. Solve -3*x + 5*m - 1 = h, 3*x - 2 = -2*m for x.
0
Suppose 6*q + 82 = 166. Solve -4*s + 2*s + q = -2*l, -9 = 3*s + 3*l for s.
2
Let f = 23 - 20. Suppose 4*v + g = -0*v + 15, -2*v + f*g + 25 = 0. Solve -1 = v*r - 0*q - 4*q, 20 = 5*q for r.
3
Let s(z) = z**3 - 12*z**2 - 15*z + 32. Let y be s(13). Solve -y*r + r = -10, -c = 3*r - 10 for c.
4
Let x(o) = -o - 2. Let s be x(-5). Suppose -502 - 758 = -s*d. Let g be (-1 + -1)/((-24)/d). Solve 3*l = -f - 20, -g = 5*l + f + f for l.
-5
Suppose -61 = -5*y - 16. Solve 0 = -3*r - 0*m - 4*m + y, 0 = -4*r + 5*m + 12 for r.
3
Let k be (-9)/3*1 - -7. Solve 14 = -k*x + 2*j, 3*x + 10 = -2*x - 5*j for x.
-3
Let z(v) = -v**3 - 3*v**2 - v - 15. Let i be z(-4). Solve 4 + 18 = 4*j - i*f, -4*j - 3*f = -6 for j.
3
Suppose -4*l = 3*k - 10, -l = 3*k + k + 4. Suppose 8863*j = 8848*j + 60. Solve -5*h = b - l, 3*b + 5 = j*h - 2*h for h.
1
Let f(d) = 5*d + 2. Let l(o) = o**3 - 5*o**2 - o + 1. Let a be l(5). Let h be f(a). Let r be (-8)/(-3) + 12/h. Solve -1 = r*x - 4*q - 5, 3*x = -3*q - 3 for x.
0
Suppose 4*o - 12 = -q, 4*o = 3 - 23. Suppose 12 = -2*a - 6. Let g be (10 - -2)*(-3)/a. Solve 2*t - 2 = -z, -g*t - 5*z + 10*z + q = 0 for t.
3
Let u = 1513 - 1513. Solve -5*t = u, -5*t - 4 = 4*r - 3*t for r.
-1
Let x = -67 - -77. Suppose 8*h = x + 6. Solve -3*z + 11 = -j - 3*j, -2*j = h*z + 2 for z.
1
Let q(p) = -p**2 - p + 75. Let d be q(8). Solve 3*t - 2*g - d = g, 5*t - 4*g = 1 for t.
-3
Suppose -86*u = -89*u - 5*c + 20, 5*c - 15 = -2*u. Solve 3*h = u*g - 10, -3*h - 1 = -4*g + 7 for g.
2
Suppose -2*z + 11 = 3*s, -3*s + 0*s = -3. Suppose -17 - 63 = -z*h. Solve -4*m - 4*w - h = 0, 5*m - m - 4*w + 12 = 0 for m.
-4
Let s be 0/(2*4/(-8)). Let p = -23 - -43. Solve -4*r = 4*m - p, -4*r + 6 = -3*m - s*r for m.
2
Suppose 8*h + 8*h = 496. Suppose 4*q - 5 = h. Solve g + 4 - 1 = -y, 3*g = -y - q for g.
-3
Suppose -4 = k - 5. Let x(a) = 10*a**2. Let b be x(k). Suppose 2*f - b = -3*f, 5*f + 22 = 2*q. Solve 2*z - 4*y = -16, -4*z + 4*y - q = -z for z.
0
Let p(q) = 4*q - 6*q - 3*q**2 - 4*q + 4*q**2 + 4. Let c be p(4). Let u = 1 - c. Solve -a - 4*a - 25 = 2*j, 40 = -u*a - 5*j for a.
-3
Let b be (1/(-3))/(15/(-360)). Solve 1 = v + 5*l - b, -2*l + 3 = v for v.
-1
Let u(s) = -s**3 + 9*s**2 - 9*s + 5. Let v be u(8). Let i be (-116)/(-6) + v*(-6)/27. Solve 0 = 3*k - 5*k - 4*p - 10, -i = 4*p for k.
5
Let w = -348 + 350. Solve -4*i = 5*d - 1, 2*d + 0 = -i - w for i.
4
Let x(g) = 9*g - 34. Let m be x(4). Suppose m*c = 3*y - 4, 5*c + 2*y - 4 = 6*y. Let q be (10/(-4))/(2/(-4)). Solve 2*v + 11 = h, -16 = -q*h + c*v + 15 for h.
3
Let s(n) = n - 3. Let b be s(6). Let u = 6 + 10. Suppose -d = b*d - u. Solve -4*z + 12 - 4 = 4*m, -3*m + 9 = d*z for m.
-1
Suppose 30 = -d - 3*s + 39, -d + 25 = -5*s. Solve 4*g = -0*q - q - d, -4*q = 2*g + 18 for q.
-3
Let j(y) = -5*y. Let w = -16 - -17. Suppose 3 = -t, -4*r + 2*t + 3 - w = 0. Let m be j(r). Solve 5*z - 21 = m*x + 3*z, 0 = -x + 2*z - 9 for x.
-3
Let n be 18/(-4)*(4 - 6). Suppose 0 = f + 3*a - 5, -3*f = -2*a - 0 - 15. Solve -m + n = -3*v, -3 = -f*m + 4*m + v for m.
0
Let k be (-3)/(-2) + 3/2. Suppose 6*m = 3*m + 12. Suppose 3*w - 93 = -4*v, -3*v - 2*v = -w - 121. Solve 0*a - k*a = 2*q + m, -a - v = -5*q for a.
-4
Let y = -125 - -227. Let w = 108 - y. Solve -3*f + 25 = 2*h, w*f - 4*h + 15 = 5*f for f.
5
Let j be (-31)/(-11) + (-810)/(-99) + -8. Solve j*v = -d - 2*d + 3, -4 = -4*d + 5*v for d.
1
Suppose -1626 = -33*z - 141. Solve 4*o + 40 = -4*a - 0*o, 5*a + z = -4*o for a.
-5
Suppose 5*l - 10 = 5. Let u = -158 - -162. Solve 3*i - u*h = 3 - 1, -l*h = -2*i + 1 for i.
2
Let g(j) = 18*j**2 + 8*j + 14. Let o be g(-2). Let d = o - 61. Solve 0 = 3*b + a - d + 1, -5*b + 18 = -3*a for b.
3
Suppose -3*r = 3 - 15. Let d be -2*(5/2 - r). Suppose -h + 20 = 2*o + 2*o, -2*h + 12 = o. Solve -d*b = -h*t - 9, -4*b = 2*t + 2*t - 12 for t.
0
Let k(z) = -z**3 - 10*z**2 + z + 13. Let h be k(-10). Solve -v + 2*l = 4, 3*l = 3 + h for v.
0
Suppose -3*w + 6*w = 2*f + 12, w - 4 = -2*f. Let m be (-4)/(-2) + (w - 3). Let j be (-4)/(-18) - (-2600)/936. Solve -q - 7 = -m*r - 0, -j*r + 2 = 4*q for q.
-1
Let v(f) = -7*f**3 + 5*f + 3. Let o be v(-2). Suppose 5*d - o = 41. Solve -2*c + d = 5*y, y - 4*c - 13 + 5 = 0 for y.
4
Let n(m) = -m**3 + 8*m**2 - 15*m. Let s be n(4). Solve h + d + 5 - s = 0, -h = -d - 1 for h.
0
Suppose -4*a + 4*w + 5 = 1, -4*a + w + 7 = 0. Let t be -1*(-1 + (-3 - 0)). Suppose -17 + 1 = -t*n. Solve z - 5*v = 8, -a*z - v - n = 2 for z.
-2
Let c be 15/(-9)*(0 + 3) + 9. Solve c*n = 3*p - 13, 0*n - n - p = -2 for n.
-1
Suppose 3*s - 7 = 11. Solve -2*g - g - 3*f + s = 0, 26 = 5*g - 3*f for g.
4
Let r be 5*((1 - 0) + 2). Suppose b = 4*b - r. Solve 2*x = -5*v + 4 - b, 5*v - 11 = 2*x for v.
1
Suppose -41*s + 87 - 5 = 0. Let n = 0 - -3. Solve 11 = -2*h + n*i, s*i - 35 = -5*h - 3*i for h.
2
Suppose 43*f = 53*f. Solve f = 3*y + 2*z - 9, 4*y + 5 = 3*z for y.
1
Let b be 5 - 4 - (-6)/3. Suppose x = 2*x - b*z - 13, -4 = 2*x + 4*z. Solve 2*j = -x*a + 12, -2*j - 3*j + 2*a = -6 for j.
2
Suppose 5*j = 2*p + p + 40, -2*p - 5 = j. Suppose 0 = -3*i - j*i. Solve -2 = b - 2*b - 3*x, 5*b + 5*x + 10 = i for b.
-4
Let g(o) = 27*o + 138. Let h be g(-5). Solve -16 = -2*p - h*s, -7*p - s + 22 = -3*p for p.
5
Suppose 0 = 12*x + 749 + 91. Let f = -65 - x. Solve 4*j - 3*i = f, -3*j - 4*i = -0*i + 15 for j.
-1
Let k = 1274 + -1271. Solve -k*m = -2*m + i - 3, -2*i + 11 = 3*m for m.
5
Let t be -2*1 - (-14)/1. Suppose -4 - 6 = -w. Suppose 3*r - 5 = w. Solve z = 4*y - 17, 4*y - t = r*z + 9 for y.
4
Let r = -77 + -27. Let b = 104 + r. Let z = -11 - -22. Solve 4*o + g = z, 5*o - 4*o + g + 1 = b for o.
4
Let y = -6 - -10. Suppose -f + 5 = y*f. Let k(g) = 109*g - 215. Let j be k(2). Solve 4*b + 5 = -3*q, 9 = -5*b - j*q - f for b.
-5
Let f(t) = -t**2 - 15*t - 33. Let j be f(-3). Solve 2*g + 7 = v - 1, 2*g = -j*v + 8 for g.
-2
Let g(h) = 3*h + 2*h - 4*h - 4 + 7*h. Let z be g(2). Let r be ((-6)/3)/((-8)/z). Solve 4 = 2*s, -f - r*s + 1 = -2*f for f.
5
Let p(l) = 8*l - 77. Let z be p(10). Solve -h - z*y + 6 - 18 = 0, 2*h = -5*y - 20 for h.
0
Suppose -2*k - 4 = 4. Let d(c) = 3*c + 3. Let r(t) = -2*t - 4. Let m(h) = k*r(h) - 3*d(h). Let q be m(0). Solve 0 = -2*w - 4, 4*w - 14 = -2*b + q*w for b.
4
Suppose g + 62 = 2*g + 2*f, -299 = -5*g + f. Suppose -5*j = -8*j + g. Suppose -2 + j = 6*a. Solve 3 = -o + 2*b, a*o + o + 5 = b for o.
-1
Let u(i) = i**2 + 2*i + 2. Suppose 5*k = 22 + 3, -4 = -3*h - 2*k. Let a be u(h). Solve -2*g - a*g - 3*z = -16, 3*g - 5*z + 17 = 0 for g.
1
Let y(u) = 23*u + 416. Let b be y(-18). Let j(q) = q**2 + 4*q + 1. Let o be j(-5). Solve 3*c - 2*s = b - 4, c = -2*s - o for c.
-2
Let d = 56 + -36. Suppose -d*m + 21*m = 0. Let r be m/1*(-3)/(-6). Solve 3*o + 6 = -2*g - r, 4*g = 3*o + 24 for g.
3
Let p(d) = 3*d**2 - 9*d - 8. Suppose 6*x - 4*x - 8 = 0, x - 20 = -4*z. Let i be p(z). Solve -4*a = -8, -4*r + 5*a - 10 - i = 0 for r.
-1
Let h be (-68)/(-18) + (-4)/(-18). Suppose h*s - 4 = 4*c, 2*c - 17 = -s - c. Solve 2*v - 5*v - 11 = -y, -2*y + 18 = -s*v for v.
-4
Suppose -3 - 3 = -2*f. Let d be -3 + (-10)/f*27/(-15). Solve -4*y + 0*b - 10 = 2*b, -d*y = 4*b - 5 for y.
-5
Let o(b) = -2*b - 8. Let i be o(-3). Let n be i/(-3) + (-84)/(-36). Solve -6 = -n*y + 3, -2*t = 5*y - 11 for t.
-2
Suppose 136 = 5*w + 4*b, w + 8 = -4*b + 48. Let d = 10 + -7. Let k = 3 - 1. Solve 0 = -a - 4*c - w, d*c + 17 = k for a.
-4
Let f be 30/7 - (-32)/(-112). Suppose 44 = f*p + h, 0 = p + h - 0*h - 11. Let y = -4 - -4. Solve p = -c + 2*k, -3*k + 9 = -y*k for c.
-5
Let g be -6 + 9 + 1*-1. Suppose 2*y - 5*y = 0. Suppose -5*m + 3 + 137 = y. Solve s + g*q - 8 = 4, 2*s + 5*q - m = 0 for s.
4
Let b = -342 + 357. Solve 0 = -3*k - 15, 2*x - 4*k = -k + b for x.
0
Let m be (-2)/(-6) - (-28)/6. Let p be (3/9)/(7 + (-728)/105). Solve p*i + 25 = 5*k, 3*k = m*i + 15 + 2 for i.
-1
Suppose -3*u + 53 = -5*p + 4, -2*p = 4. Let s = -9 + u. Solve -s*l - 3*b = 18, 4*l - 3*b + 2*b = -10 for l.
-3
Suppose 3 = 18*m - 17*m. Solve 0 =