4*y for y.
2
Let o = -1 + 4. Suppose o*h - 22 = l + 9, 51 = 3*h + 3*l. Suppose 4*n = -2*v + 12, n - 2*v + 4 = h. Solve 4*f - 6 = -5*x, 2*f = n*x - 7*x + 4 for x.
2
Let t be (33/12 + -3)*-4. Let o be t/(3 + 132/(-45)). Solve -2*y - 6 = 3*m, -6*y = -y + o for m.
0
Suppose -3*m = 2*k - 16, 5*m - 12 = -4*k + 18. Solve -4*i - b + 6 = 25, -7 = i - m*b for i.
-5
Let s(m) = m + 3. Let i be s(-3). Suppose -5*a + 2*z + 160 - 43 = i, -68 = -3*a - z. Solve -5*f + 3 + 4 = -4*o, 5*f + 4*o - a = 0 for f.
3
Let a(v) = v + 6*v + 0*v. Let d be a(3). Let x(f) = -f**2 - 13*f - 2. Let q be x(-12). Solve n - 16 = -4*h, 4*n - 3*h + q + d = 0 for n.
-4
Let m = 6 - 3. Solve -m*i - 4*r = 2*i + 16, -5*i + 3*r + 12 = 0 for i.
0
Suppose 3*d + 0*d = 24. Let q(u) be the second derivative of u**4/12 - u**3 - 5*u**2 - 3*u. Let r be q(d). Solve 5*w = -0*w + 4*g + 10, -3*w = 3*g - r for w.
2
Suppose t + 1 = 3. Suppose 3 = 3*p - 3. Solve 4*l - t*v + 2 = 0, -v - 2 + 11 = p*l for l.
2
Let p be 7/(-2)*(-3 + 5). Let t = -2 - p. Solve t*c + 13 = 3*a, 0 = c + 4*a - 2*a for c.
-2
Let o be 2/(-6) - (-38)/6. Let a = o + -4. Suppose 4*z - 3*z + 5 = 2*c, -5*z = -c - 11. Solve -v - 5*k + 16 = -c*v, -4*k + 4 = a*v for v.
-2
Let t be 6/(-4)*(5 + -1). Let z be (-5)/30 + (-43)/t. Suppose 0 = -4*g + 5*r + z, -g - 5*r = -0*g - 8. Solve 0*j = -g*j + 4*a - 29, -5*j = 2*a + 5 for j.
-3
Let k(r) = 2*r - 10. Let j be k(7). Suppose -10 = 2*x + 4*i - 34, 3*i + j = 4*x. Solve 3*p = 0, 2*c = -3*p - x + 14 for c.
5
Let s(b) = -b + 15. Let d be s(13). Suppose -20 = -3*m - d*m + c, m - 5*c - 28 = 0. Solve 5*a + 3*f - 9 = 0, -m*a + 6*a + 5*f = 15 for a.
0
Suppose -5*o + 3*w - 6 = 71, o = 3*w - 13. Let s = o + 19. Solve 3*c + 2*c + k + s = 0, -2*c - k = 3 for c.
0
Let j be (-12)/(-8)*8/6. Solve 0 = 4*d + u + 13, 3*d - 5 + 16 = -j*u for d.
-3
Let m(l) = -l**3 - 8*l**2 - 8*l + 3. Let c = -12 + 5. Let k be m(c). Let r be 1/(-3) + (-6)/(-18). Solve 4*h - 2*u + k = r, 12 = -3*h + 3*u + 3 for h.
-2
Let s(p) = 10*p**2 - p**3 + 3*p**3 + 2*p**3 + p - 3*p**3 + 13. Let k be s(-10). Solve k*b - 16 = r, 7*r = 4*b + 3*r - 24 for b.
5
Let l(o) = o**3 - 9*o**2 - 11*o + 12. Let b be l(10). Solve -b*a + 2*m + 5 = -1, -2*m = -3*a + 9 for a.
3
Let h = -124 + 126. Solve -5*m - 4*g = 15, 5*m = h*m + 4*g + 23 for m.
1
Suppose 2*q - y = -0*q + 34, -2*y = -q + 14. Let m = q - 12. Solve -5*s - 15 = 0, 4*o - 2*s - m = -0*o for o.
0
Suppose t - 5*t - 3*d = 11, 3*d - 7 = 5*t. Let g = t + 6. Let c = 9 + -1. Solve 8 = n - 3*p + 4*p, -c = 2*n - g*p for n.
4
Let y(k) = -k**3 - 9*k**2 - 8*k - 4. Let j be y(-8). Let q = j + 7. Let l be (-22)/(-5) + 2/(-5). Solve -4*t + q*t = l*z + 20, -5*z = -5*t for t.
-4
Suppose 5*n - 5 = 5. Suppose v = -n*v. Solve 0*m - 4*m - 2*x - 26 = v, 0 = -5*x - 15 for m.
-5
Suppose -5 = -2*z + 7. Suppose z = 3*b - 0*b. Solve -2*h + b = -h - 2*m, -5*h - 20 = 5*m for h.
-2
Suppose 12*o = 29*o - 34. Solve -2*u = -o*j + 10, 0*j + 5*j + 4*u - 16 = 0 for j.
4
Suppose 6*k - 45 - 105 = 0. Solve 0 = 5*g + 2*q + 3*q + k, 2*q = 4*g + 14 for g.
-4
Suppose -2*j = -21 - 25. Let b = -99 + 108. Suppose -15 = 2*p - 5*p, 4 = -2*o + 2*p. Solve 8 = -5*h + a + j, -o*h + 5*a = -b for h.
3
Let j be (-44)/(-10) - 6/15. Solve -v - j*s + 6 = 0, v - 5*s + 18 = -3*v for v.
-2
Suppose -4*q + 1 + 3 = 0. Solve -5*f - 5*p + 49 = -q, -4*f + 4*p = 0 for f.
5
Suppose 0 = -5*s + n + 15, -3*s + 2*n = -0*n - 2. Solve 0 = 4*v + 8 + 8, -s*z - 5*v = 16 for z.
1
Let c = 6 + -3. Suppose 0 = -f - 2*n + 12, -3*n + 2 + c = -5*f. Suppose -4*v + 0*v = -24. Solve -p + v = -a, -5*p + f = -3*a - 6*p for a.
-2
Let t be (8/3)/((-1)/3). Let n = t + 4. Let v be (-6)/n*4/3. Solve -5*k + x - 8 = 0, 2*x - 4 = -v*k - 0 for k.
-1
Suppose -i = -4*b + 13, 0 = -2*i - 2*i - 3*b - 52. Let r = -8 - i. Solve -r*l = -2*c - 23, -2 = 3*l - 5*c - 12 for l.
5
Let b = 2 - 0. Let v = 6 + b. Solve v = n + 4*r, r = -0*r + 3 for n.
-4
Let v = 58 - 115. Let i = -17 - v. Let a be i/6 - 2/(-6). Solve 0 = -o - 1, 3*o + a = 5*s - s for s.
1
Let c(s) = s**2 + 1. Let u = -11 - -9. Let f be c(u). Solve -2*z + 3 = -f*p + 19, 4*p + 3*z - 22 = 0 for p.
4
Let f(v) = 2*v + 5. Let k be f(3). Suppose n + 0*n = -2*t - 4, -2*n - k = 5*t. Solve 32 = -3*j + 4*i, -i = -5*j - n*i - 15 for j.
-4
Suppose -3*y = 5*i - 2*y - 24, 0 = 5*i - 4*y - 4. Suppose 2*u - 12 = i. Suppose -12 = -3*j - 3. Solve -4*c = u, c - 7 = -3*w + j for w.
4
Let a = -4 - -24. Suppose b - 6 = w, -2*w = -2*b + 3*b - 3. Solve n - 50 = 6*n + b*i, 4*i = -a for n.
-5
Suppose 6*o - 4*o = 6. Suppose 0 = o*i - 4*i. Suppose i*k = -5*k + 25. Solve t + t + k = -v, v = -t - 4 for t.
-1
Let c be 2/3 + (-10)/(-3). Suppose 58 + 62 = c*f. Let j be 1/(0 + (-4)/(-20)). Solve j*g - 3*u - f = -u, -5*u - 17 = 2*g for g.
4
Suppose 2*d - 2*i + 4 + 8 = 0, -16 = d + i. Let m = d + 16. Solve 0*k - 2*s - 19 = -m*k, 3*k - 2*s - 9 = 0 for k.
5
Let w(h) = h**3 + 4*h**2 + 2*h. Let t be w(-3). Let n(x) = x + 5. Let j be n(-4). Let g be -2*1 + j + 10. Solve 3*k = -3*o - t, -5*o + 8*o - g = 0 for k.
-4
Let i(v) = v**2 - 8*v + 11. Let t be i(7). Let j(k) = k**2 - 2*k + 1. Let a be j(1). Let l = 0 - a. Solve -4*g - o - t = l, 0 = -2*g + 5*o - 2 - 0 for g.
-1
Let p = -34 - -49. Solve 15 = -w + 5*i, -p = 2*w + 3*i - 8*i for w.
0
Let h be (-2 + -3 + 2)*-1. Let x = 8 - h. Solve q - 20 = -x*y + 3*q, -y = 5*q - 4 for y.
4
Suppose -8 + 0 = -2*r. Solve 1 = -3*x - r*p, -p - 5 = -1 for x.
5
Suppose 0 = -6*j + 28 - 16. Solve 0 = -5*w + 2*q - 5, 2*q + j = -2*w + q for w.
-1
Let z(g) = -g**3 + 3*g**2 + g. Let h be z(3). Solve h*s + 4*o + 19 = 0, 3*s + 2*s = 2*o - 23 for s.
-5
Let q = 266 - 257. Let b be -1 - -4 - (0 - -1). Suppose 3*u - b = 4. Solve -d = d + 2*t - u, -3*d - t + q = 0 for d.
4
Let s be 19/(570/20)*9/2. Let n be -2 + -1*(-2 - 4). Let p be 13/n - (-2)/(-8). Solve -c = -p*i - 2, s*c = c - i - 10 for c.
-4
Let u(s) = -4 - s**3 + 2*s - 2*s**2 + 2 + 0 - 1. Let t be u(-3). Suppose -5*o - 5*n = -40, n + 2*n - 9 = t. Solve -5*d = o*x + 10, d = -2*x - 0*d - 4 for x.
-2
Let x be (2/(-4))/(1/(-10)). Let y be 9 + 1/(2/(-8)). Suppose -32 = 3*j - 5*j. Solve -3*z + 4 = -y*r + j, -5*r = x*z + 20 for z.
-4
Suppose -5*y - 18 - 12 = 0. Let b(q) = -q - 4*q + 2*q**2 + 6 - 3*q**2. Let l be b(y). Solve 5*r + j - 25 = 0, l = -4*r + 2*j - 2 + 8 for r.
4
Suppose -3*b + 12 = p - 4*p, 0 = 5*p - 5. Suppose -3*v + b = -16. Let m be (2 - -1)/(3/v). Solve 0 = h + 5*l + 3, -4*l - m + 3 = 0 for h.
2
Let a = 39 - 35. Solve z - 6*z - 6 = -4*j, a*z + 8 = 4*j for j.
4
Let p be ((-9)/(-3))/(-3) + -2. Let b be 6*(p/(-2) - 1). Solve -3*n - 7*u = -2*u - 19, -4 = -b*n - 2*u for n.
-2
Suppose 0 = 19*c - 23*c. Suppose -2*y - u + 9 = c, -20 = -3*y - 3*u - 2. Solve -q + 5*v - y = 0, -5*q = -5*v + 2 - 7 for q.
2
Suppose 13 + 2 = 3*b - 3*g, -2 = -2*b - 2*g. Solve 7*o + b*a - 32 = 3*o, -5*a + 10 = -2*o for o.
5
Let n(a) = -a + 4. Let l be n(-10). Let s = l - 10. Suppose 3*r - r = s. Solve 4*z - 19 = -5*u, 7 = -r*z + 2*u + u for z.
1
Let n be 0*(1 - 0)*1. Suppose n*i + i = 0. Solve 3*b - 12 = -3*a, i*b + b = -1 for a.
5
Let u be (-1 + 3)*(-75)/(-30). Solve 5*l = -15, 5*x - u*l - 6 = 4 for x.
-1
Let v be 14/(-2)*(1 + -3). Let j be 2/(-7) - (-32)/v. Solve -j*z - k = -0*k, -13 = -3*z + 5*k for z.
1
Suppose 4*c = -12, -5*b + 15 + 6 = -2*c. Solve 4*n - 10 = -2*z, -b*z + 2 = -2*z + n for z.
-1
Let o = 5 - 10. Let y = 0 + -5. Let k = o - y. Solve -h + k*h + 1 = -c, 0 = 2*h - 5*c + 10 for h.
5
Suppose -5*l = -0*l + 15. Let f be l/(-3 - -3 - 1). Solve 0 = -5*a - 5*h, f*a + h + 3 = 13 for a.
5
Let m(f) = -f**3 - 4*f**2 + 2*f. Let g be m(-4). Let c = g - -8. Solve -4*w = 3*s + 25, 4*s + c*w + 2*w + 20 = 0 for s.
-3
Let w(u) = u - 1. Let z be w(3). Let i be 1*(z - (2 + -2)). Solve -2*d - i*o + 3*o - 4 = 0, 5*d = 4*o - 16 for d.
0
Suppose 2*o - o = -2. Let p = o + 7. Solve 3*g + 15 = 4*r, -2*r + 1 + 0 = p*g for r.
3
Let i = -4 - -4. Suppose -3*w + 4*r + 3 = 0, 3*w + w + 2*r - 26 = i. Solve 4 = -5*p + 4*u - 0*u, w = -3*p + 5*u for p.
0
Let l = 37 - 20. Solve -k - 19 = z + 4*k, -z + l = -4*k for z.
1
Let l be (-5 + (-6)/(-2))/((-2)/4). Solve d + 12 = -5*j, -d + 8 = -3*j + l for j.
-2
Suppose 2*a = -3*q - 41, -5*a + 0*a = -10. Let x = q + 43. Solve 4*y = 4*w - x, -2*w = 2*y + 2 + 4 for y.
-5
Let v = 210 - 197. Suppose -5*k + 5 = 0, -d + 0