 = -5*u - 5*y for u.
0
Let a(s) = -7*s**2 + 2*s + 15. Let i be a(-3). Let g = 59 + i. Solve 0*x + g*c = 4*x - 27, -c - 6 = -x for x.
3
Let a be (-9)/(-2)*(9 + (-19)/3). Solve 4*t + 20 = -f, f - 4*f - a = 0 for t.
-4
Suppose 5*k + t + 4 - 16 = 0, 5*t + 27 = 4*k. Let c(s) = -2*s + 4 + 3 + 0 + s**2 - 4. Let m be c(2). Solve 5*x = m*i + k*x + 16, 5*i = 2*x - 20 for i.
-2
Suppose -2*j = 4*j - 126. Let c be (19 - -1)*(-1 + j/14). Solve -2*z = -4*z - 5*l - 4, -4*z - l + c = 0 for z.
3
Let d be (3/1)/(2/14). Let h(r) = r - 5. Let x be h(9). Suppose 0 = -4*y + x*a + 29 - 5, 0 = 3*y + a - 10. Solve y*u + d = -5*q, 5*u + 16 - 1 = -4*q for q.
-5
Let s be (144/99)/((-20)/(-110)). Let b(v) = v**3 - 6*v**2 + 3. Let o be b(6). Solve q - s = o*k, -2*k - 5 = q + 2 for q.
-1
Suppose 2*j = j - 2. Suppose 3*h - 5*p = -2*h + 10, -3*h + 6 = 4*p. Let y = j + h. Solve y = 4*f + 2*i - 30, 40 = 3*f + 5*i - 0 for f.
5
Let b be 15/((-30)/(-14)) - (2 - 0). Solve 3*z = v - 6*v - 25, z - v - b = 0 for z.
0
Let x = -207 - -212. Solve -25 = 2*b + 5*c, 4*b = x*c - 2*c + 15 for b.
0
Suppose 0*g + 10 = 5*g. Let q(f) = -f**3 + 4 + 0*f**3 + 5*f + 10*f**2 - 6*f**g. Let i be q(5). Solve 5*b - 2*j = -3*j + 17, 3*b = -i*j for b.
4
Let z = 11 - 6. Suppose -4*n - 17 + z = -t, 0 = 2*t - 3*n - 9. Let y be (t/(-1))/(-4) - 0. Solve -4*s + 3*s - 7 = -2*u, u - 3*s - 6 = y for u.
3
Let q be (-7)/(42/(-54)) - (-3 + 7). Solve 3*p + 2*j - 6 = q*p, 5*p + 4*j - 21 = 0 for p.
1
Suppose 136 = 17*b - 204. Solve 2 - 6 = -x, -2*j = 4*x - b for j.
2
Let g(n) = 2*n - 14. Let w be g(8). Suppose 0 = o, 0 = -3*y - w*o + 4*o + 90. Let q be (-1)/(-3)*y/5. Solve 0 = -3*l + r - 8, q*l - l + 8 = 3*r for l.
-2
Suppose -410 = 7*q + 3. Let p = q - -62. Solve 20 = 2*n - 4*w, -n + 0*w + 14 = -p*w for n.
2
Suppose 33*q = 30*q + 12. Solve -q*z + 5*f = 2*f - 19, 0 = f + 1 for z.
4
Let d = -804 + 810. Solve -3*v - 4*h = 2*v + 8, -2*v = 3*h + d for v.
0
Let y = -2903 - -2933. Solve 5*p - 35*z - 45 = -y*z, -1 = 3*p + 4*z for p.
5
Let o = -182 - -187. Solve -2*t + t = y + 5, -4*y = -o*t - 25 for y.
0
Let m be (3 + 40/(-12))*-6. Let y be ((-8)/(0 + m))/(31 + -33). Solve -2*p + 6*j - y*j = 0, -3*j = -3 for p.
2
Let n(a) = -a**3 - 16*a**2 - 15*a + 21. Let g be n(-15). Suppose -m + 4*d + 16 = 0, -2*d + 62 = -0*m + 2*m. Solve -4*r = -2*f - 2*f + m, 2*r = -5*f + g for r.
-2
Suppose 0 = 5*o - 0*b - 3*b, 5*b + 19 = 2*o. Let s(k) = 2*k**2 - k - 7. Let z be s(o). Solve 2*a = -2*q - z, 2*a + 2*q = 7*a for a.
-2
Suppose -66*d + 61*d = -1665. Let c be d/63 + 4/(-14). Solve -1 = a + 4*f - 2, -3*a + 3 = c*f for a.
1
Let c(a) = a**2 + 29*a + 203. Let y be c(-18). Solve -d + 2*m = -y*d + 14, 0 = d - 3*m for d.
3
Suppose -5*k = 15, -2*y = 5*k - 4*k - 7. Solve -j = -3*j + o - 10, y*j - o = -25 for j.
-5
Let b(n) = n. Let g(d) = -5*d + 6. Let x(c) = -4*b(c) - g(c). Suppose l + 0*l = 9. Let t be x(l). Solve t*q = -a - 11, 5*a + 16 = -3*q + 3*a for q.
-2
Let n be (0 - 8)*(1 + -2 - -10). Let v = 74 + n. Solve -v*x - 5*d = -5 - 6, 4*x - 15 = -3*d for x.
3
Let j(p) = p**3 + 3*p**2 - 4*p - 10. Let l(x) = 2*x**2 + 14*x - 18. Let k be l(-8). Let i be j(k). Solve 4*m = -4*g - 4, -i = 2*g - 0*m - m for g.
-1
Suppose 4*r = -5*l + 75, 3*r - 78 = 2*l + 7. Solve u - 1 = 2*b, 0 = 5*b - 0*u + 2*u + r for b.
-3
Suppose -c - 1 = -3*y + 4*y, -4*c = 5*y + 8. Let n = -2 - -3. Let s = -3 - -3. Solve s = -2*l, o + l = n - c for o.
-2
Let b be (12/6 + -4)/(2/(-2)). Solve 3*r = -c - 8, -b - 2 = 2*c + 2*r for c.
1
Let r(j) = -j**3 - j**2 + 2*j - 10. Let k be r(-3). Solve -4*w = 3*v + 3 - 15, k*w + v = 4 for w.
0
Let h = -5 + -1. Let y = h + 15. Suppose 2*j + 2*d - d - y = 0, -d = -4*j + 21. Solve -2*u + 5*x = 3*u - 10, -j*x + 6 = -u for u.
4
Suppose 4*n - 3 - 13 = -4*h, 3*n - 2 = 2*h. Let b be (24/10)/((-8)/(-20)). Let j = b - -21. Solve 0*f + 19 = -3*f + 4*q, j = -5*f + n*q for f.
-5
Let p = -1011 - -1014. Solve 4*g - 5*u - 37 = g, 13 = -p*g - 5*u for g.
4
Suppose 2*o - w - 45 = 0, -12*w + 10*w + 48 = 2*o. Suppose 4*t - 45 = 5*l, o = 3*t - 4*l - 11. Solve 4*z - t = m + 5*z, -25 = m + 4*z for m.
-5
Let c = -775 + 779. Solve 0 = -a + c*b, -2*a - b - 3 = -3*a for a.
4
Suppose 3*d + 55 = 14*d. Let n be -51*(0 + d)/(-15). Solve 4*k + 5 = -0*t - 5*t, 4*t = k + n for k.
-5
Suppose 13 + 7 = 4*r - 4*n, 0 = -r + 5*n + 17. Let q = 7 + -1. Solve 5*z - 17 = -r*a - 7, 0 = -3*z + a + q for z.
2
Let c(q) = q**2 + 5*q - 84. Let g be c(7). Solve 10*x - 5*x = -3*h - 20, -3*h + x + 4 = g for h.
0
Suppose d - 3 = 6. Suppose -2*p = p + d. Let f be (p - -2 - 0) + 1. Solve r + 6 + 5 = -2*w, f = -2*r - 2 for w.
-5
Suppose -6 + 22 = 4*n, y - n + 31 = 0. Let f be 2 - (y + (-2)/2). Solve x - 12 = -0*z - 2*z, 5*x - f = -4*z for x.
2
Let f(j) = j**2 - 3*j - 6. Let r be f(5). Let v = r + 11. Let k = v + -12. Solve -4*s - 24 = -z, -k*z + 4*s = -4*z - 16 for z.
4
Suppose -3*q + 27 = 5*k - 2*k, -4*k + 2*q = -30. Suppose k*y - 8 = 4*y. Solve 2*a - y = -2*n - 14, 2*a + 8 = 0 for n.
-2
Let n be 2/10 - 148/(-10). Suppose 5*q - n = -2*k, 2*k = 2*q + 3*q + 5. Let z = 6 - 4. Solve m + 5*f - q = 0, -3*m - 5*f - 9 = -z for m.
-4
Let r be ((-4)/(-3))/(-4)*9. Let q = 0 - r. Let i = 8 - 7. Solve q - 2 = t, a = 3*t - i for a.
2
Suppose -31*t = 2*d - 29*t - 36, d - t - 18 = 0. Let w = 0 + 3. Solve w*m = 5*r - d, 0 = r - 3*m - 3 - 3 for r.
3
Suppose 4*q + 0*q = 0. Let r(h) = 28*h + 86. Let u be r(-3). Solve -u*j = 10, -2*c - 3*j - 11 - 12 = q for c.
-4
Let n(p) be the second derivative of -p**3/6 + p**2 - 11*p. Let m be n(-3). Solve m*j - 3 = -4*t + 4, -t = -3 for j.
-1
Let r be (-18)/63 - (-72)/7. Suppose 30 = -0*i + r*i. Solve 26 = 5*d + 3*j, 2*d + 5*j - 21 + i = 0 for d.
4
Let j = 5088 - 5083. Suppose 24 = o + y, 5*y + 80 = o + 4*o. Solve 4*x = q - 5 - j, -4*x = 4*q + o for x.
-3
Let r(z) = z**2 - 2. Let h be r(-2). Suppose 4*m - 5*m - 5*c = -65, m + 2*c - 65 = 0. Suppose 0 = 11*b + 2*b - m. Solve 2*l - 2*u = h - 0, b*u + 9 = l for l.
-1
Let p = -168 - -183. Let g(f) = f**2 + 7*f. Let i be g(-7). Suppose 2*x - 7*x + 25 = i. Solve w - p = -x*l, 2*l - 3*l - 13 = -3*w for l.
2
Suppose 19*h - 78 = 169. Solve -2*y - h = d, 2*d + 23 - 2 = -3*y for y.
-5
Let j be 5 + 5/15*24. Let t = -4 - -6. Solve -2*m + 4 = -2*x - 6, 0 = -5*x + t*m - j for x.
-1
Let q be (4 - 2)*1 - 2. Suppose t - 5 + 0 = q. Let v = -218 + 234. Solve -t*j + p = 3*p + 28, -j - v = 3*p for j.
-4
Let c = 907 - 905. Solve 2*z + 2*i - 11 = -3, -c*z + 4*i = -2 for z.
3
Suppose 4*d = 2*d + 14. Let x(w) = -w**2 - w**3 + 4*w**2 - d*w**2 + 3*w**2. Let p be x(0). Solve a + q = p, 6*q = q for a.
0
Let h(b) = -b**3 + 9*b**2 - 11*b + 26. Let g be h(8). Suppose 0 = -0*n + 5*n - 25. Solve -26 = -5*w + d, n = -3*d - g*d for w.
5
Suppose 4*p - 6 = u, 0 = -p - 4*u + u + 8. Let o(h) = h**3 - 5*h**2 + 4*h + 4. Suppose z - 8 = -z. Let r be o(z). Solve -s - r*m + 4 = s, 0 = s - p*m + 6 for s.
-2
Let q = 35 + -51. Let z = q + 21. Solve 2 - 6 = w, -z = x + 2*w for x.
3
Let u be 12/(-7) + (-50)/175 + 3. Solve 3*i - u = -4*q + 6, -4 = -2*i - 2*q for i.
1
Let m = 74 + -67. Solve -4*a + 3*f = -3*a - 3, 3*a = f - m for a.
-3
Let h(t) = t**2 - 20*t - 22. Let i(p) = 3*p**2 - 62*p - 65. Let w(g) = 7*h(g) - 2*i(g). Let z be w(18). Solve z = 2*j - 2*k, -18 = -j - j + 4*k for j.
3
Suppose 0 = -m + 4*m + 12, -m + 2 = 3*d. Suppose 2*w + 2 = -5*t + 79, 5*w - 135 = -t. Let q = w + -26. Solve -i + d*f - 4*f = 0, q = i + 5*f for i.
0
Let j(c) = -6*c + 71. Let m be j(11). Suppose 5*r + 0*r = 70. Solve 4*u - 2*i = r, 5*u - m*i = 2 + 8 for u.
5
Suppose -7 = -5*i + 4*w, 2*i - i = 2*w - 1. Solve 6 + 6 = -4*h - 5*d, 10 = -i*h - 4*d for h.
2
Suppose -s = o + s - 6, -5*o - 5*s = -25. Solve -3*r + 7 = o*f, r = -f - 0 + 3 for f.
-2
Let f be (2 + 4/4)*-1. Let y be f - 1 - (9 + -12). Let h be -1 - (0 - (y + 4)). Solve -3*g - 6*q - 22 = -2*q, -2 = 5*g - h*q for g.
-2
Suppose -2*u = -6*u + 8. Suppose 5*x = -9*x - 1316. Let f = x + 97. Solve -q = i + i + 4, -f*q = -u*i - 20 for i.
-4
Let q = 7 - 6. Let z(r) = r + 1. Let w be z(q). Suppose -w*j = -3 - 7. Solve j*i = 2*t - 23, -5*t - i = -4*i - 10 for t.
-1
Suppose -28*w = -34*w + 18. Solve -3*p = 4*l + 2*p + 9, 4*p + 7 = -w*l for l.
-1
Let i(u) = u + 18. Let g be i(-14). Suppose 7*x - g*x = 0. Solve 3*h - m + 4 = -6, x = -m + 4 for h.
-2
Suppose 3 + 17 = 