 10 = 0 for y.
-2
Let z = -91 + 42. Let l be (-7)/2*((-224)/z)/(-4). Solve -5*b = -3*p + 11, 5*b + 8 = l*p - 0*p for p.
-3
Suppose -3*r = -4*x + 48, x - 6*r = -r + 12. Suppose -x = -4*t + t. Solve -k - 3 = t*m - 20, 0 = -m - 5*k + 28 for m.
3
Suppose 2*d = c - 9, -2*c + 2*d = -3*c - 3. Solve c*u + 4*n + 10 = 2*u, -3*u - 9 = 5*n for u.
2
Let j be (8/(-10))/(3*(-5)/150). Let i be 38/j - (-6 - (-69)/12). Solve 0 = i*t + 4*w + 8, 3*t = 4*w + 5 - 29 for t.
-4
Suppose 9*a - 4*a = 30. Solve -3*p - c = 12, -3*p + a*p - 4*c + 27 = 0 for p.
-5
Suppose 0*f = 2*t + f - 2, -f = -5*t + 5. Solve 5*w + 9 = -4*s, -5*s + 3*s + t = -3*w for w.
-1
Suppose -10 = 2*r + 5*w, 2*w = -3*r - 0*r + 7. Let b = -250 - -250. Suppose -5*o + b = 4*s - 10, r*s + 8 = 4*o. Solve -o*j = 3*j + 5*y + 5, -y = -j + 9 for j.
4
Let a be 20/8*-1*(0 + -2). Suppose a*m = -0*m + 15. Solve -2*f + m*v = -v, -v = 3*f + 14 for f.
-4
Suppose -8*p = -5*p + 117. Let s = 56 + p. Solve 2*y - 3*r - 2 = -s, -y + 4*r = 20 for y.
0
Suppose -5 - 35 = -2*u. Let i be 4/(4/u*5). Solve -3*t = 5*c - 7, 16 - 6 = -2*t + i*c for t.
-1
Suppose 3*r = 1 + 5. Let g be (-6 - -4) + (-4)/(-2). Let i be (g + 0)/((-27)/(-9)). Solve i*s + s + 2 = 5*z, 3*s + 6 = -r*z for z.
0
Suppose -80 = i + 4*i. Let y = i + 30. Suppose 0 = 7*h - 0*h - y. Solve 0 = h*j, -j + 4 + 0 = -4*q for q.
-1
Let y(b) = -b**2 + 28*b - 25. Let q be y(1). Solve 12 = 5*a - 3*i, -3*a + q*i + 8 = i for a.
3
Let r(k) = k - 3. Let s = -1 + 7. Let p be r(s). Suppose -5*i + 46 = -p*i. Solve -4*o + 2*n = -4, n + n - i = -5*o for o.
3
Let j = 5 - -16. Let m = j + -7. Let q be 6*(4/(-6) - -1). Solve q*l + 4*y = -8 - 12, -2*y - m = 2*l for l.
-4
Let a(x) = 17*x**2 - x - 1. Let r be a(-1). Suppose 0*o + 20 = 2*o + 4*t, 5*o - t = r. Solve 2*v = -4*c - 18, -o*v + 5*c + 19 = 2*c for v.
1
Let h = 255 - 251. Suppose -139 = -3*z + 5. Let t = z - 32. Solve -4*y + 6 = -5*a, -4*y + t = -2*y + h*a for y.
4
Let z = 32 + -29. Solve a + 5*h = z*a + 2, -h - 2 = -a for a.
4
Suppose 4*x = -6*x + 50. Solve -3*t = -4*j - j - 1, x*t = -j - 17 for j.
-2
Let m be ((-20)/(-12))/(9/27). Suppose 5*w - 2*u - 5 = 0, -4*w + 3*u = 2*u - 7. Solve 2*y - y - 5*x = -5, 5*x = w*y + m for y.
0
Suppose -105 - 27 = 4*i. Let l = i - -35. Solve 4*z + 4*j = 22 - 2, -10 = -l*z - 3*j for z.
5
Let u = 117 - 115. Solve -4*t - 2*s - 6 = 0, -3*t - 6 = u*s + 1 for t.
1
Let p(c) = -c**3 + 2*c**2 + c + 2. Let u be p(2). Solve -6*y + u*y = -3*b - 5, y + 5 = -b for b.
-3
Suppose -6*i + 2*i = 5*d - 41, i - d + 1 = 0. Solve 2*a - p = 0, -i*a + p + 0 = -4 for a.
2
Let c(t) = 4*t + 2. Let j be c(-18). Let x = -65 - j. Solve -4*b = 5*h - 2 + 11, 4 = -x*h + b for h.
-1
Let h(s) = -33*s**2 - 1. Let g be h(-2). Let b = -93 - g. Let r be 8/b - (-14)/5. Solve -2*l - 3*z + 12 = r*l, -z = 4*l - 4 for l.
0
Suppose 4*k + 4*l = 28, -7*k + 4*k + 3*l = 3. Suppose -k*h - 10 = -3*v + 14, -20 = -3*v + 2*h. Solve 0 = -2*a - 5*o + 6, 3*o - 15 = -5*a + v*o for a.
3
Suppose 31 - 27 = 2*u. Solve 2*i + u*i + 2*m - 18 = 0, -2*i + 4*m + 4 = 0 for i.
4
Let c = 133 + -115. Suppose 80 = c*l - 10. Solve 5*t = 4*w, l*w + t - 5 = 6*t for w.
5
Let o be (25/(-1))/(-1) + 2/(-1). Suppose o - 43 = -4*p. Solve p*t = 3*k - 1 - 9, 2*k + 4 = -2*t for t.
-2
Let x = -351 + 356. Solve 2*d - 19 = x*y - 2*y, 3*d + y - 12 = 0 for d.
5
Let s(i) = i**2 + 3*i + 6. Let g be s(-3). Let t be 119/g + 6/36. Let h be 0 + -1 + t + -15. Solve -5*p + 4 = h*u + 13, -p + 4*u = 21 for p.
-5
Let s = 5 - 15. Let k be 6 + (1*s)/5. Solve -y + 3*t + 6 = -k*y, -y - 2*t - 2 = 0 for y.
-2
Suppose 6*b + 2*b - 32 = 0. Suppose -4*y = -b*s - 32, 0 = -3*y + 2*s + 14 + 12. Solve -u = 3*h + y, 5*u - 2*h = -7*h - 10 for u.
2
Let i be (-2)/(-8) + (-4 - 44/(-16)). Let y(z) = 5*z + 7. Let o be y(i). Solve -4*h - 3*g - 2*g - 22 = 0, -o*h - 16 = 5*g for h.
-3
Let j(n) = -n - 7. Let p be j(-9). Solve -4*t - 4 = 3*c, -3*t + p*c + 5 = 25 for t.
-4
Suppose 4*i = -6 + 2, -3*j + i - 65 = 0. Let m = j - -26. Solve -m*h = -h, -6 = 3*l - 2*h for l.
-2
Let o be (0/(-1))/(-8 - -7). Let a be (0 - (-1 - o))*5. Suppose -4*l = -37 - 19. Solve -c - s - 2*s + l = 0, 4*s = -a*c + 26 for c.
2
Suppose 3*t + 28 = 10*t. Solve -6 = m - t*b - 18, -4*m - 3*b = 9 for m.
0
Let h(x) = x**2 + 3*x - 6. Let b be h(-6). Suppose -4*v = -6*v. Suppose 0 = -v*i - 4*i + 12. Solve i*a + 2*g + 4 = -0, -a = 4*g - b for a.
-4
Suppose 0 = 4*k - 3*k. Suppose 0 = 2*l - 3*j + 5, -3*j + 33 = -5*l - 2. Let c be (-52)/l - (-4)/(-20). Solve h = -c*o, 3*o + o - 5*h + 29 = k for o.
-1
Let y(h) = 7*h**2 + 8*h - 25. Let w be y(3). Let i = 10 - 5. Suppose i*d - w = 8. Solve 3*z = 4*f - d - 0, -f - 2*z = -9 for f.
5
Suppose -2*p + p = 0. Suppose -4*o = -3*o - 3. Solve -4*s + p*c + 5*c = -10, 0 = -3*s + o*c + 9 for s.
5
Let i be (-8)/20 - 37/(-5). Suppose -3*n + i = h, 3*h + 4*n - 13 = 3*n. Let t = 12 + h. Solve -5*b + j + t = 0, 0 = -b + 2*j + j + 6 for b.
3
Let b be (-4)/2 - (13 - 33). Let j = b + -13. Solve 9 = -2*v - s, -4*v - j*s - 27 = -0*v for v.
-3
Suppose 0 = -b + 2*b. Suppose k - 5 = -b*k. Solve 25 = k*g, -y = 4*g - 8 - 12 for y.
0
Let p(h) = -h - 8 + 0*h - 2*h + 0*h. Let z be p(-4). Let c be (-31)/(-4) + z/16. Solve -c*g + 9 = v - 3*g, 7 = -3*v + 2*g for v.
-1
Let b = 112 + -94. Suppose g + 2 - 12 = 4*r, -4*g + 5*r = -b. Solve d = g*p, -5*d - 22 = p - 0*d for p.
-2
Let q(w) = 5*w**2 - 10*w. Let j be q(2). Suppose -15*b + j + 0 = 0. Solve -3*c - 2*s - 16 = 0, b = -4*c + c + 5*s - 2 for c.
-4
Suppose d + 1 = 4*x, -2*d = -0*d - 5*x - 1. Suppose -k = -d*k. Solve y = -p + 3 - 4, k = 2*p - 5*y + 30 for p.
-5
Let i(u) = -10*u - 25. Let x be i(-5). Solve 4*a - 16 = -0, 5*a - x = w for w.
-5
Let c(q) = q - 5. Let v be c(11). Let h be (v/(-3) - -1) + 1. Solve -2*a - 3 = -g - 0*g, 3*g + 2*a - 17 = h for g.
5
Let q be 6*2 - -1 - -2. Suppose 3*f + q = 4*j - 20, 2*f - 10 = -4*j. Let y = 1 + 2. Solve -3*s = 12, -j*v + 0*s + y*s = -22 for v.
2
Let h be 344/64 + -5 + (-394)/(-16). Suppose 0 = r + 5, 0 = -5*l - 0*r + 2*r + h. Solve 0 = 5*k - 4*c + l + 12, -7 = 3*k - 2*c for k.
1
Let g = 57 + -54. Let k be (15/(-18))/((-95)/30 + g). Suppose 0 = -3*p + 5*z + 32, 0 = p + 2*p - 4*z - 28. Solve 0 = -2*m + 4*t + 20, m + 10 = -p*m - k*t for m.
2
Let l be (-12)/(-66) - (-4)/(-22). Suppose 0 = 5*t - 2*c, 3*t + 2*c - 4*c = l. Solve -w + 17 = -2*w + 3*i, t = -5*w - 2*i - 17 for w.
-5
Let g be (21/(-7))/(-2 - -1). Solve -3*n + 1 = -2*i, 2*i - 4 = 5*n - g for n.
-1
Let w be 6 + (0 - 3 - -2). Solve -3*m - 4*p = -22, 8 = -3*p + w*p for m.
2
Suppose -89*w - 76 = -108*w. Solve 3*a - 2*a + 10 = w*i, -a = 2*i - 8 for i.
3
Let m(q) = 13*q**2 + 2*q. Let o be m(-1). Let k = o + 5. Solve 3*s - 8*d = -3*d - 12, k = 4*s + 4*d for s.
1
Let m(t) = -5*t + 22. Let g(q) = 3*q - 11. Let u(l) = 7*g(l) + 4*m(l). Let i be -2 - 3*1/1. Let b be u(i). Solve 2*w + b - 3 = 3*x, 4*w + 5 = 5*x for x.
1
Let k(r) = -r**3 - 9*r**2 - 17*r - 5. Let v be k(-7). Suppose 2*z - 3*z + l - 3 = 0, -4*z + 5*l - v = 0. Solve -2*f - 1 = -5*o, -f - 3*o + z = -4 for f.
2
Let q = 32 - 37. Let r = q - -7. Solve 15 = 3*k, -k + r = -f - 6 for f.
-3
Let w(t) = 8*t**2 - 1. Let r be w(1). Let v be 6/(-21) - (-30)/r. Solve 0 = 2*b - 4, 5*u = v*b - 15 - 8 for u.
-3
Let d = -52 - -38. Let y be (-66)/d + (-26)/(-91). Solve -15 = y*c - 6*h + h, -2*h + 16 = -4*c for c.
-5
Let l(o) be the first derivative of -o**2/2 + 10*o - 18. Let m be l(7). Solve 3*i = 4*b - 19, 0 = 2*i - m*i - b - 4 for i.
-5
Let s(i) = 3*i - 10. Let c be s(-12). Let m = 50 + c. Solve 3*w + 12 = 3*x - 0*w, 0 = 2*x + 4*w + m for x.
2
Suppose 3*y - 2 - 4 = 0. Let w(o) = 2*o - 20. Let g be w(11). Solve 4*t - y*t = g*c + 8, -c + 4*t = 1 for c.
-5
Let v = -219 - -224. Solve v*t + 18 = t - b, -t = -2*b for t.
-4
Suppose 0 = -273*o + 268*o. Let z(x) = -x**3 - x**2 - x + 1. Let r be z(1). Let l be ((-12)/r)/(6/4). Solve -l*i = -5*c - 31, o = -i - 4*i + c + 23 for i.
4
Let t be 17 + -2 + 0 - (-21)/7. Let m = -14 + t. Solve m*w - 3*w + 2*j = 4, 2*w + 2 = j for w.
0
Let c(a) = -a - 39. Let b be c(-47). Solve -4*r - 2*s + 13 = s, -b = -r + 4*s for r.
4
Suppose 8*b - 6*b - 4 = 0. Let z be (-14)/(-21) - 4/6. Let f(s) = s**2 - s + 8. Let l be f(z). Solve 0 = b*c + 2*w, -2*w + l = -2 for c.
-5
Suppose -5*b - 11 = 3*c, c + 186 = 4*b + 205. Solve 0 = -5*m, -m = -c*o + 