 - 3*y = -4 + 9. Solve 3*f = -0*f - 12, s*c + 14 = -2*f for c.
-3
Suppose -3 = 2*d + 2*u - 5, -3 = -3*u. Suppose -a - 4*p - 9 = d, 3*a + 2*a - 5*p - 30 = 0. Solve 15 = a*f, -4*b - 4*f = -3*f + 11 for b.
-4
Let l = 128 + -48. Suppose 2*k + 0*k = l. Solve 6 = 4*d - d - 3*h, k = 5*d + 5*h for d.
5
Let k(u) = 4*u - 9. Let i be k(6). Suppose -4*b + 2*b = 2*f - 4, -5*b - i = 0. Solve -25 = 5*y - 2*h, 2*y - 7*y - 25 = -f*h for y.
-5
Let b be (10/30)/(2/30). Suppose 0*h + h = -5*f + 12, -b*h + 18 = 4*f. Solve -2*n + 2*v - 13 + 3 = 0, -h*n - 2*v + 2 = 0 for n.
-2
Let u be (2 - 4)*(-4 - -2). Let g be u/(-14) + (-354)/(-14). Let x be 3/18 + 267/18. Solve -3*i - w - g = w, i - 4*w = x for i.
-5
Let v be 0 + 1 - (-3 - 2). Let q be (2 + 1)*(-8)/v. Let d(t) = -t**3 - 3*t**2 - t + 4. Let i be d(q). Solve -r - i = r - 5*s, -r - s + 2 = 0 for r.
-2
Suppose -2*j - 4*t = 2*j + 4, 8 = -2*t. Solve -g = -f, -5*g - j*f + 15 = -17 for g.
4
Let g(m) = m + 6. Let h be g(-8). Let n be (-19 - (0 + h))*-1. Let t = n - 9. Solve -c = -2*j + t, 2*j - 4*j + 5*c + 8 = 0 for j.
4
Suppose -5*m + t = 5*t + 8, 2 = m + 2*t. Let v = m + 5. Let n be 1/(-1)*(v + -1). Solve n = w + b + 2, -4*w = -0*w + 3*b + 10 for w.
-4
Let k(s) = -s**2 - 9*s + 16. Let u be k(-9). Solve 4*q - 2*q + 2*z + u = 0, 0 = -q - 4*z - 23 for q.
-3
Let o be -2*(3 - 7/2). Suppose -4*k + o + 3 = 0. Let b = -1 + k. Solve 0*j + 3*j + 4*n + 12 = b, 5*n + 15 = 5*j for j.
0
Let q(p) = p**3 - 10*p**2 + 7*p + 20. Let d be q(9). Solve 0*c = 5*l + d*c + 15, l - 3*c = -20 for l.
-5
Let i = 2 - -14. Suppose -q - 4*r - 10 = -r, 0 = -4*q - 4*r. Solve s - 8 = -5*v, 2*s - i = -q*v + 5*s for v.
2
Let d be 9/6 + (-14)/4. Let s be 1 + (d - -1)*-3. Solve 3*b = -w + 13, -s*b + w = -0*w - 15 for b.
4
Suppose 0 = 4*l - 5 - 11. Suppose 3 = 2*s - 1. Suppose 0 = 2*a + 2*b, a + s = -4*b - 13. Solve -d - a = -2*g + l*g, 0 = -5*d + 3*g + 40 for d.
5
Let y be -1 + 8 + -2 + -2. Let j be (y - (2 + -1)) + 0. Suppose -4 = -j*q - 0*q. Solve -q*n - 5*h - 14 = 0, -5*h - 16 = -h for n.
3
Let p be (3 - 0)/(6/16). Solve 5*r - p = -2*h, -4*r + h + 4*h - 20 = 0 for r.
0
Let j = 13 - 9. Solve o - 4 = j*i, -i = -2*i + o - 1 for i.
-1
Let u(a) = -a**3 + 14*a**2 + 14*a + 15. Let t be u(15). Solve 2*b + 2*c + 6 = 0, 0 = -t*c + 3*c for b.
-3
Let h = -2 + 2. Suppose h = -4*o + 2*j - 2, -5*o - 2*j = -12 - 8. Solve 2*y + o*t = 3*t + 4, 0 = -2*y + 2*t + 4 for y.
2
Let b = -4 + 9. Suppose b*z - 2*z + 5*d + 5 = 0, -z - 2 = 2*d. Solve -2*k + 3*k + 18 = 4*f, -2*f + 4*k + 2 = z for f.
5
Let q be (-2)/(-6) - 20/6. Let p = -7 - q. Let y(b) = b**3 + 4*b**2 + b + 4. Let f be y(p). Solve f*h - 3*h = 4*r - 15, 25 = r + 5*h for r.
0
Suppose -4*h + 10*h - 24 = 0. Solve 0 = g - s - 1, 4*g - s + 24 = -h*s for g.
-3
Let v(s) = -s**3 - 5*s**2 - 5*s - 2. Let m be v(-4). Let o = 2 - m. Suppose o = -0*u - 2*u. Solve -t + 4*y = -13, -4*t + 2*y + 3*y + 8 = u for t.
-3
Let u(q) = -q**3 + 3*q**2 - 3*q + 2. Let j be u(2). Solve 4*r = j, 7 = -2*d + 5*r + 1 for d.
-3
Let j(q) = q**2 + 15*q - 14. Let b be j(-17). Solve i = 3*l - 14, 3*l - b - 9 = 4*i for l.
3
Suppose -4*i = 0, -4 + 19 = 5*p - 2*i. Solve p*v + z - 12 = -0*z, 4*z - 20 = -5*v for v.
4
Let o(j) = j**3 - 9*j**2 - 11*j + 11. Let z be o(10). Let p(u) = u**3. Let i be p(z). Solve 2*g - i = s, g + 4*s - 3*s - 8 = 0 for g.
3
Let g be 4/(-8)*0 + 0. Let i be ((-9)/6)/3*g. Let p = -1 - -4. Solve i*u + p*u = 4*w + 9, -w = 5*u + 8 for w.
-3
Let w be (1/(-1))/((-1)/2). Suppose -2 = -4*j + w*j - 3*x, -x + 14 = 4*j. Solve -k = j*t - t + 10, 2*k + 11 = -3*t for t.
-3
Let h(y) = 2*y**2 - 32*y + 43. Let m be h(15). Solve g - 3*g + 3*c = 1, 4*g + m = -5*c for g.
-2
Let b be (-15)/6*28/(-10). Let q(j) = 16 + 0*j - 5 - j. Let z be q(b). Solve -5*f - 5*d + 5 = -z*f, 5 = f + d for f.
5
Suppose -4*v - 2 = -22. Suppose v*b + 28 = 3*b. Let q be 4/b - (-216)/21. Solve -5*y + 10 = -4*c - q, 5*c = -2*y - 25 for y.
0
Let a(q) = 5*q + 14. Let z be a(-2). Solve 3*s + z*j + 0 + 14 = 0, -2*s + 2*j = -14 for s.
2
Let j(z) = 2*z**3 - 2*z**2 - 2*z. Let s be j(2). Solve 4*v - 3*w + 9 = v, 4*v + s*w = -4 for v.
-2
Let o(y) = -y + 6. Let t be o(7). Let n = t + 0. Let p be n/2*(4 - 24). Solve 0 = 3*d + 2*f + 15, 5*d + p = -5*f - 15 for d.
-5
Let k(h) = -h + 8. Let u be k(5). Solve 3*j = -u*s - 3, -2*j = 3*s - 4*s - 10 for j.
3
Let r(g) = -g**3 - 4*g**2 + g. Let o be r(-5). Suppose -t = -3*h + 14, -5*h + 4*t = -3*h - 26. Let u = h - 1. Solve -c - 2 = -2*i - 17, 2*c - u*i = o for c.
5
Let p = 218 + -217. Solve -a = -w - p, 0 = -4*w + 4*a + a - 4 for w.
-1
Let x(l) be the first derivative of l**2/2 - 2. Let h be x(6). Let k be (10/h)/((-2)/(-6)). Solve 5*o + 4*z - 13 = 0, k*o - 2*z + 5 = 6 for o.
1
Let i(x) = x. Let y be i(4). Solve 0 = 3*q + 5*w - y, -3*q - 4*w + 0 = -2 for q.
-2
Let y = 29 + -14. Solve -10 = -2*d + l, 4*d - y = d + 5*l for d.
5
Let t be ((-1)/(-1))/((-1)/(-2)). Let y(b) = b**3 + 3*b**2 + 3*b + 4. Let n be y(-3). Let h be (-24)/(-40) - (-3)/n. Solve -t*l = 3*d + 1 + 4, h = d + 3 for l.
2
Let x = 33 + -60. Let h = x - -48. Solve 0 = -w - 5*u - 0*u + h, 3*u - 15 = 0 for w.
-4
Let i = 9 + -7. Let g be -2 + 10/i + -3. Solve 5*t - 5*u = g, t - 4 = -u + 4 for t.
4
Let c = 185 + -160. Solve -z - c = 5*l, 0 = -4*l + l + 4*z + 8 for l.
-4
Suppose -c - 3 = -5*l + 3*c, 0 = 2*c - 6. Let z = l + -3. Let r = z - -2. Solve -o = -9*m + 4*m - 12, o = r for m.
-2
Let b(n) = -5*n - 3. Let x be (-12)/8*(-4)/(-6). Let o be b(x). Solve -4*c - 4 = o*g, -g - g + 4*c + 20 = 0 for g.
4
Let r be 4 + 1 - (-2 + 3). Suppose -r = -n - 0. Suppose 4 = 2*v + 5*q, -4*q - 2 = -4*v + 6. Solve d = n*k - 10, -1 = -v*k + k + d for k.
3
Suppose -4*y + y - 4*z = 0, -y + 2*z = -10. Suppose -k + y = k. Suppose -2 = 2*d - 8. Solve k*u + 9 = n, -d*n = 3*u - u + 5 for n.
1
Suppose -7*w + 9*w - 8 = 0. Suppose -31 = -3*d + 5*t, 5*t + 23 = -d - 0*t. Solve -w*p = d*x + x - 20, -26 = -5*x - 3*p for x.
4
Let v be (-1 - 1)*12/(-8). Solve -z = 5*b - 17, 5*b + 5 = -v*z + 16 for z.
-3
Let h(x) = -x**3 - 6*x**2 - 6*x - 3. Let m be h(-5). Suppose -o - 3*o = -m*r - 16, 0 = -5*o - 2*r + 20. Solve -24 = -5*n - 2*q, -5*q - 10 = -o*n - 2*q for n.
4
Let w = 5 - -1. Suppose 3*c - w = 3. Solve -3*x + 4 - 10 = -5*j, 2 = -x - c*j for x.
-2
Suppose 0 = -4*x + 19 + 85. Suppose 2*g - 16 = x. Let h be (1 - (-2 - -1))*1. Solve 5*p = 4*m + g, -p = p - h*m - 8 for p.
5
Let y be 5 + -3 - (1 - 0). Let t be -2*y*1 - -3. Let l(q) = 3*q**3 - 2*q**2 + 1. Let f be l(t). Solve -4*x = 4*o + 4, -x = -2*o + 4*o + f for x.
0
Suppose 0 = -4*d - 2*k + 8 + 12, 4*d + 4*k - 24 = 0. Solve 4*c - 19 = -n, n + 20 = 3*c - d*n for c.
5
Suppose -g - 4*j - 10 = 0, 3*j + 9 = -0. Let w = 1 - g. Let r = w + 3. Solve 0 = 2*k + r*u, 3*k + 2*u - 3 = 1 for k.
4
Let i(k) = 5*k**2 + 2*k. Let p be i(1). Solve -m + j = -5, -j = -3*m + p*m - 10 for m.
3
Let b be 4/(-18) + (-2)/(-9). Suppose -5*k + 0*k + 10 = b. Let i be 0/((-1 - 0) + k). Solve 1 + 2 = -c + 4*v, 2*v - 2 = i for c.
1
Suppose 4*o - 8*o = 56. Let x(i) = -2*i - 18. Let a be x(o). Solve 2*f + a = 0, 0 = -5*k + f + 10 - 0 for k.
1
Suppose 5*s = 3*k - 8*k + 25, 2*s - 1 = k. Suppose k*a = -a. Solve -3*p + 2*m = -5, a*m = 3*m + 12 for p.
-1
Let a be (6/(-4))/((-2)/8). Let f be 0 - (-2)/4*6. Suppose -g = v - 5, 2*g + 2*g - f*v + 1 = 0. Solve 0 = g*n - a, -2*o - n = n for o.
-3
Suppose -4*d + 12 = -8. Solve 2*r = 3*r + 5*y + 24, d*y = 2*r - 12 for r.
-4
Let r = 1 + 4. Suppose -r - 8 = -5*k - g, 0 = k + g - 1. Suppose 0 = -k*b + 4 + 2. Solve 6 = 3*y + 3*f + b*f, 0 = -3*y + 4*f - 21 for y.
-3
Let t be (-4)/(-6) + 219/9. Let x = 9 - 4. Solve -5*i + t = -r, 2*i + x*r = 2*r - 7 for i.
4
Let o be 6/9 - 103/(-3). Solve 5*y - 5*b = -o, -4*b = 2*y - 7*y - 30 for y.
-2
Suppose -16 - 8 = -6*c. Solve -2*f = c*b - 24, -4*f + 0*f + 36 = 5*b for b.
4
Suppose -157 - 11 = -3*s. Suppose s = 4*b - 5*t, 3*b - 43 = 2*t + 2*t. Solve 5*f + g + 1 + b = 0, -28 = 3*f + 5*g for f.
-1
Suppose 0 = -2*y - 8. Let t be y/(7 + -3) - -4. Solve 2*l + 25 = -5*s, -t*l + 0*l - 24 = 3*s for s.
-3
Let a(b) = 2*b**3 + 2*b**2 + 2*b - 3. Let x be a(1). Solve -3*f = 3*t - 12, x*f + 2 = 5*f - 4*t for f.
3
Let h(m) = -m**3 + 4*m**2 + 4*m - 14. Let j be h(4). Solve 2*y - 3 = -j*q + 1, 0 = -3*q - y - 4 for q.
-3
Suppose 3*x + 2*y = 6*y + 22, 20 = 4*x 