Let i be h(-8). Solve -7*y + i*y = 16 for y.
-4
Suppose -2*f + 9 = -3. Solve 5*u = f + 19 for u.
5
Suppose 50 = 5*t + 5*a, -41*a + 44 = 5*t - 42*a. Solve 7*p = -t*p - 48 for p.
-3
Let l(i) = i**3 - 28*i**2 - 59*i - 20. Let f be l(30). Solve -4*t + 6 = -f for t.
4
Let t be -5*((-12)/(-40))/((-15)/20). Solve -u = -t*u + 3 for u.
3
Let h be -2*(-2 + (-6)/(-4)). Suppose -29*l + 45 = -26*l. Let k be (6/l)/(h/5). Solve 0 = -3*x + k + 1 for x.
1
Suppose 0*c + 60 = -5*c. Let m = -7 - c. Solve 0 + m = -5*w for w.
-1
Let s = 2202 + -2197. Let a(m) = -4*m - 7. Let w be a(-6). Let o = w + -6. Solve -o = -s*r + 9 for r.
4
Suppose -12*k + 132 = -60. Solve -6*s + 14 = -k for s.
5
Suppose -3*a - 25 = -c, 4*a + 6 = 2*c - 48. Solve 25 = -3*w + c for w.
2
Suppose 4*n - 18 + 2 = d, -4*n + 16 = 0. Let b(x) = x**2 + 6*x + 2. Let m be b(-6). Let j be d/((-3)/3 + m). Solve -4*q + 3*q = j for q.
0
Let s(u) = u**2 - 3*u - 85. Let k be s(11). Solve f = 4*f + k for f.
-1
Let r be (3 + 0)*16/24. Suppose -r*v + 5 = -5*o, 0*v = -v + 5*o. Solve 7*w = v*w + 10 for w.
5
Let g(a) = -a**3 + 26*a**2 - 25*a + 13. Suppose -3*u + 106 = 4*z, z + 4*u - 16 = 17. Let x be g(z). Solve -4*l + 1 = x for l.
-3
Let c(j) = 7*j**2 + 10*j - 9. Let f(q) = 8*q**2 + 10*q - 10. Let k(d) = -6*c(d) + 5*f(d). Let a be k(-5). Solve -a = -4*o - 0*o for o.
1
Suppose 6*k = 4*x + 3*k - 101, -2*x + 2*k = -50. Solve -16*y = -x*y for y.
0
Suppose -20 = l - 5*i, 4 = -l + 2*i - i. Suppose 5*h + 4*k = 0, h - 4*h - 2*k = -2. Suppose -c - 115 = -5*t + 2*c, -h*c - 100 = -4*t. Solve 4*f + l = -t for f.
-5
Suppose -25*p + 93 = 6*p. Solve p*q + 12 = -0*q for q.
-4
Suppose 5*s = -5*v + 39 - 14, -12 = -3*v - 2*s. Solve -v*n = -12*n for n.
0
Let f be 1/3 - 14/6. Let l(u) = -4*u**2 - 4*u - 7. Let w be l(f). Let q be (-1 + w/(-12))*28. Solve q*y - 3*y = -16 for y.
-4
Suppose 18*r = 920 - 362. Solve -6*c = 1 - r for c.
5
Let s be 126/(-114) + 1 - (-401)/19. Solve 0 = 15*q - 22*q + s for q.
3
Suppose 27*v = -120 + 363. Solve -v*d + 15 = -12*d for d.
-5
Let k = -18 + 28. Suppose 26 + k = 3*s. Suppose r = 5*r - s. Solve -r*i + 2*i = -3 for i.
3
Let d(o) = -6*o - 17 + o + 3*o - o. Let x be d(-7). Solve -x*w = -2*w for w.
0
Let b = -40 - -42. Let h be 1/2*-2 + 4. Suppose -b*z - 14 = -5*k, -h*z = z - 12. Solve 3*w = w + k for w.
2
Let t(w) = -19*w - 15*w + 26*w + 4. Let k be t(-1). Solve -3*r + 7*r - k = 0 for r.
3
Suppose 3*d - 5 = -v, -2*d + 15 = 3*v + d. Suppose 4*w = -8, v*w - 3*w - 26 = -3*k. Solve 2 + k = -3*r for r.
-4
Suppose 7 = 2*f - 9. Suppose 4*c = f*c. Let t = 5 - c. Solve t = -4*w - 3 for w.
-2
Suppose -5*f + 11 + 4 = 0. Suppose 0 = o + 4*p + 18 - 58, -2*o + 80 = -2*p. Suppose 0*n + 5*c + o = 5*n, 0 = 4*n + c - 17. Solve -2*r = f*r + n for r.
-1
Let d be (-2 - -2)/((-4)/(-2)). Solve 4*t - 4 = -d for t.
1
Let h = -41 + 36. Let k be (-5*4)/h + -3. Suppose -z = -4*z + 12. Solve 0 = z*o - 3 - k for o.
1
Suppose 0 = -7*d + 4*d + 15. Solve d*r = 7*r - 2 for r.
1
Suppose -d + 11 = -2*k, 5*k + 5*d - 1 = -6. Let t(b) = b**3 + 9*b**2 - b - 4. Let h be t(-9). Let q be k/((h - 3) + -3). Solve q*a + 0*a = -16 for a.
-4
Let b be (-8)/60 - (-163)/(-15). Let w be 22/2 + 2/1. Let s = b + w. Solve 5*q - s = 4*q for q.
2
Let j = -60 - -50. Let k = -8 - j. Solve -k*h = 5 - 3 for h.
-1
Let j = -22 - -27. Suppose 5 = -w, 3*p = j*w - 4*w + 14. Solve p*a - 9 + 3 = 0 for a.
2
Let z(b) = -1 - b - 1 + 0 + 0*b. Let h be z(-5). Suppose 3*o + 5*j = h + 28, -23 = o - 5*j. Solve 0*c - c = -o for c.
2
Suppose 5*g - 50 = -2*l - 3, 3*l - 4*g - 36 = 0. Let t = l + 4. Let z be (-304)/(-30) - t/150. Solve -z = -5*x - 30 for x.
-4
Let s(z) = -z - 4. Let g be s(-4). Suppose -10 = -3*d - 2*k, 4*d = -d - 4*k + 18. Suppose -7*n + 115 = -d*n. Solve 5*l - n + 3 = g for l.
4
Suppose 2*f = 6*f + 1032. Let h = f - -259. Suppose 4*u + q = -4, 4*u + 14 + 6 = -5*q. Solve u*y - h = y for y.
-1
Let f be 6*(((-21)/9 - -3) + -1). Let g be -1 - (-130)/(-39)*3/f. Solve 2 = 3*t - g for t.
2
Let v(m) = 2 - 5*m - m - m**2 + 3*m + 2*m**2. Let r be v(2). Solve r = -5*q + q + 16 for q.
4
Suppose -5*k = -2*r - 9, 2*r - 4*k - 3 = -9. Solve 0 = -5*a + r - 23 for a.
-4
Let o(r) = -r**2 + 3*r + 1. Let x be o(2). Suppose x*j + 3 = 9. Solve p - 3 = j for p.
5
Let d(v) = -v**3 + 7*v**2 - 6*v + 6. Let x be d(6). Let i = x + 9. Solve 0 = -2*l + 5*l - i for l.
5
Suppose -u - 2 = -2*j + 2*u, 25 = -j - 5*u. Let m be 5 + ((-15)/j)/(-1). Solve m + 1 = 3*s for s.
1
Let x be (80/2)/(2/1). Suppose -3*c = 4*y - x, -6*c = -2*c + 3*y - 22. Solve 2 = -3*z - c for z.
-2
Let r = 6 + -4. Suppose 12*k - 7*k = 15. Let o = k + 0. Solve o*j - r*j = 0 for j.
0
Let p be (12/8)/3*16. Suppose -p*b - b = -2*b. Solve -n - 3*n + 16 = b for n.
4
Let m = 305 + -295. Solve -m*i = 12 + 8 for i.
-2
Let n be (-6 - -7 - -4)/(-1 + 2). Solve 13 = n*p - 2 for p.
3
Suppose 0 = -6*q + q. Suppose q = i + 4*p - 1, 5*i - 24 = i + 4*p. Suppose 3*s - 4*s + 18 = -3*u, 30 = i*s - 3*u. Solve 0 = -s*d - 0*d + 9 for d.
3
Let s = -1120 + 1218. Solve s = 6*v + 104 for v.
-1
Let t(m) = -m**2 - 50*m - 135. Let a be t(-47). Solve 4*p + 2 = a for p.
1
Suppose 3*o = -4*w - 3, -4*o = -0*o + 4. Suppose w = 5*b - 8 - 2. Solve 4*d - b*d = 0 for d.
0
Suppose 3*y + 5*c - 19 = 0, -2*y + 14 + 24 = -3*c. Suppose -5*p + 6*t = 4*t - 16, t + y = 5*p. Solve 0 = -0*k - p*k - 8 for k.
-4
Suppose 2*q = 4*j - 20, 0 = -3*q + 2*j - 5*j + 15. Suppose -5*l - 3 + 3 = q. Solve l = 2*v + 1 - 3 for v.
1
Suppose 7*f - 3*f - 116 = 0. Let u = 33 - f. Solve u - 9 = l for l.
-5
Let k = -90 + 115. Suppose -1 = l - 5. Solve 0 = b + l*b + k for b.
-5
Suppose 0 = d + 4*b - 17, 2*b - 6*b + 11 = -5*d. Suppose 681*h = 686*h + 15, -5*h = w + 10. Solve -w*j - 4 = d for j.
-1
Let n(g) be the first derivative of -g**4/4 - 2*g**3/3 + 2*g**2 + 2*g + 7. Let h be n(-3). Let s(u) = -u**3 - u. Let r be s(h). Solve -5*a + r*a - 9 = 0 for a.
-3
Let y(m) = -1615*m**2 + 5 - 3 + 5*m + 1619*m**2 - m**3. Let a(z) = z**2 + 3*z + 1. Let w be a(-4). Let r be y(w). Solve -r*c + 3 = 13 for c.
-5
Let k(q) = -5*q**3 - 2*q**2 - q. Suppose -m - 4*f + 2 = -9, 2*m + 2*f = 4. Let l be k(m). Solve -4*a = -l - 0 for a.
1
Let i(g) = -g. Let h be i(-1). Let y(b) = 4*b + 1. Let n be y(h). Let w be 0 - n/(20/(-16)). Solve -s = -3*s + w for s.
2
Let u = 31 + -31. Suppose 42 = 5*g + q, 5*g = -u*g + 4*q + 32. Solve 0 = -2*h - g + 6 for h.
-1
Let y = 22 + -2. Let n = y - 15. Suppose -5*m + 20 = n. Solve -5 - m = 4*w for w.
-2
Let z(y) = 2*y + 25. Let x be z(0). Let j = x - 17. Let t be (2/j)/(1/8). Solve -5*i = -t*i + 12 for i.
-4
Let k = -151 + 177. Solve 15*i - k = 2*i for i.
2
Suppose 0 = -4*x - 5*b - 78 + 113, 20 = 2*x + 2*b. Solve 20 = -u + x for u.
-5
Suppose 4*d - 29 = 5*j, 4*j = 1 - 21. Solve 0*l + d = -l for l.
-1
Let o(y) = 19*y**2 - 2*y - 1. Let w(p) = -p**2 + 8*p - 10. Let l be w(6). Suppose i + i + 8 = l*h, -2*i - 5 = -h. Let u be o(i). Solve 3*x - 8*x - u = 0 for x.
-4
Suppose 23 - 9 = 5*d - 4*u, d + 2 = -4*u. Solve x + 2 = d*x for x.
2
Let p = 14 - 11. Let a(h) = -p - 15*h + 17*h + 9. Let c be a(-3). Solve -5*o - 10 = -c for o.
-2
Suppose 0 = -527*q + 508*q + 57. Solve -18 = -3*w - q for w.
5
Suppose 5*x + x = 13*x. Solve x = 4*z - 5 + 13 for z.
-2
Let o be ((-15)/6 + 3)*(75 + -1). Let r = 44 - o. Solve -2*c = -r*c for c.
0
Let a(s) = s**3 + 10*s**2 - 3*s - 24. Suppose y + 0*v + 10 = 5*v, -5*v = 0. Let i be a(y). Solve 3*r = 5*r - i for r.
3
Let m(x) = 0*x - 2*x + 1 - x + 6*x. Let r be m(3). Suppose -5*y = -r*y. Solve 2*d + 0*d + 8 = y for d.
-4
Suppose 2*v = 29 - 5. Solve 2*g + 4*g - v = 0 for g.
2
Let u(j) = -j. Let s be u(-4). Suppose -5*t + 1 = s*y, -5*y + 3*t = -4*y - 13. Suppose 49*b - 47 = 51. Solve -b*q = -y*q + 8 for q.
4
Suppose 240 = -57*u + 81*u. Solve 5*h + u = 35 for h.
5
Suppose -19*z = -23*z + 2*s + 50, 5*s + 55 = 5*z. Solve z*c = 15*c for c.
0
Let g be (-12 + 15)*2/6. Solve -g - 11 = 3*i for i.
-4
Let c(a) = a**3 + 75*a**2 + 145*a - 68. Let p be c(-73). Solve 0 = p*q + 178 - 188 for q.
2
Suppose -r + 1 = -4. Suppose -2*f = 5*o + 16, 4*f + o = -4*o - 12. Suppose -4*b = b + 4*g + 6, -8 = f*g. Solve -r*z = -b*z - 3 for z.
1
Suppose 0 = -15*z + 23*z - 120. Let h(b) = b**2 - 13*b - 15. Let m be h(z). Solve -m = 2*w + w for w.
-5
Let y be (-16)/5*(-125)/10. Let f = -37 + y. Solve f*g +