*3 - 5*y**2 + y + 3. Let h be a(m). Let w = -3 + h. Solve -q = 3*q + w for q.
-3
Let p(b) = b**2 + 7*b - 41. Let g be p(-11). Suppose -2*r + 8 = -6*r, -q + g*r + 8 = 0. Let i = q + 1. Solve 0 = -4*v + i + 1 for v.
1
Let z be 1*(4 - 15)/(-1). Let s = -7 + z. Let f be (0 - (22/(-8) - -2))*s. Solve 5 = 2*n - f*n for n.
-5
Let r(q) = -q**2 + 1. Let a be r(3). Let y be (a + 9)/((-1)/(-4)). Suppose 3*i + 3*t = t + 14, 2*t = 8. Solve -i*k = y + 2 for k.
-3
Let b(y) = -3*y**2 - 6*y + 24. Let u be b(-4). Suppose -v = -4*n + 10, -2*n = -2*v - 2 - u. Solve n*q = -q + 16 for q.
4
Let a(l) = l**3 - 6*l**2 + l - 2. Let g be a(6). Let b = 2193 - 2191. Suppose n + 2 = 0, -4*n - 8 = z - 0*n. Solve z*q - g = -b*q for q.
2
Suppose 3*v + 20 = 5*f, f + 4*v + 5 = -14. Suppose -3*m + 4*m + 5*u - f = 0, -5*u - 10 = 0. Solve -d = -m + 10 for d.
1
Suppose -n - 2*a + 30 = 0, -3*n = 2*n + 5*a - 130. Let l be (-4)/10 + n/5. Suppose -10 = l*t - 9*t. Solve 0*v - t*v = 6 for v.
-3
Suppose 5*y + 4*s = -4, 3*s + 10 = -2*y + 7. Solve 71*x - 63*x + 8 = y for x.
-1
Suppose -h + 6*t - 20 = 10*t, -2*t - 20 = 3*h. Let o be (h + -14)*(-2)/9. Solve -o*x = -x - 3 for x.
1
Let x = -6 - -10. Let c(s) = -3*s + 13. Let z(b) = -b**2 + 4*b + 63. Let l be z(-6). Let a be c(l). Solve 0*v = -a*v + x for v.
1
Suppose 0 = -8*p - 347 + 1035. Let v = p + -81. Suppose -1 = -2*y + 3*j + 5, -v*y + j = -15. Solve -y*z = -4*z + 3 for z.
3
Let a = 13970 - 13970. Solve a = -33*y + 5*y - 56 for y.
-2
Let f(d) = d**3 - 6*d**2 + 3*d - 8. Let h be f(6). Suppose 0*m = -5*m + h. Solve -m*a + 3*a - 1 = 0 for a.
1
Let k = -14599 - -14599. Let o = 1 - -3. Suppose -o*w + k*w = -24. Solve 0*z - w = -3*z for z.
2
Suppose 2*s + 2 = -0*s. Suppose -6 = -5*i + 4*d, -39 = -2*i - 2*d - 51. Let g be (-3 - i)*-14 + s*3. Solve g = -5*y - 4 for y.
-3
Let c = -28270 - -28300. Solve c*q = 50 + 10 for q.
2
Suppose 111 = 6*z + 69. Suppose 0 = 3*x - 4*k - 199, -2*x = -8*k + z*k - 131. Solve 75 = -2*o + x for o.
-5
Suppose 4*i + 40 = -0*j - 2*j, -i = -3*j - 32. Let x be ((-3)/9)/(4/j) - -3. Solve -9 = x*h + 3 for h.
-3
Suppose 0 = 60*s - 65*s + 440. Suppose -s*l - 16 = -92*l. Solve -6 = -l*h + 2 for h.
2
Let g(x) = -5 + 12 - 7 - 12*x - 1 - 4. Let u be g(-1). Solve -k = -u + 4 for k.
3
Let h = -10549 - -11027. Solve -8*d + 470 = h for d.
-1
Let b be 14/(-49) + (-255)/(-14)*-8. Let w = 157 + b. Solve 6*k - w - 7 = 0 for k.
3
Suppose 4*t - 849 = 5*n - 0*n, 429 = 2*t - n. Let m = t - 210. Solve m*z + 6 = 3*z for z.
-2
Let i = 17489 + -17415. Solve 42*j + 288 = i*j for j.
9
Suppose -4*u = -n - 253, -u = 3*u - 2*n - 250. Solve -18*j = 28 - u for j.
2
Suppose -11*u + 12*u = 3*p - 96, 3*p = 2*u + 93. Solve p = -46*s + 13*s for s.
-1
Suppose 0 = -7*b - 2*a + 2446, -108*b = -103*b + 3*a - 1744. Solve 0 = 35*v + b - 70 for v.
-8
Let a = 19 + -15. Suppose -x - 6*p = -5*p - 23, 2*x - 52 = -a*p. Solve 5 + x = 5*u for u.
5
Let r(p) = p + 6. Suppose 41*d - 10 = 39*d. Let g be r(d). Suppose 0 = a - g + 5. Solve -v + a*v = -15 for v.
-3
Suppose -6*b + 4*f = -3*b - 5, -b = -5*f - 20. Let s(x) = 5*x + 31*x - 47*x + 13*x + 18. Let d be s(b). Solve d*y = 4*y + 12 for y.
3
Suppose -3*u = 13*u - u. Suppose u = o + 3*n + 10, 0 = -5*o + 2*n - n + 14. Let x be 24/(-9)*(-9)/6. Solve o*t = -2*t + x for t.
1
Let d(p) = -p**2 + p + 1. Let v(j) = -16*j**2 + 34*j**2 - 2*j - 15*j**2 - 3 - 26*j**3. Let l(s) = 4*d(s) + v(s). Let r be l(-1). Solve -r = 5*u - 4 for u.
-4
Let u = -3209 + 3528. Solve 0 = -9*t + 292 - u for t.
-3
Suppose 0 = 2*r + 3*j - 3, 36*j - 9 = -4*r + 31*j. Solve 83 = 11*y + r for y.
7
Let f be 8/(-10)*35/(-7). Suppose 4*j = -4*b + 16, -f*b - 5*j + 18 = 3. Let d be 0*((-10)/(-4) + -2). Solve 4*h + 1 - b = d for h.
1
Suppose 0 = 3*y - 4*y + 10. Let c be (-6)/2 - (-7 + 2). Suppose c*g - 7*g = -y. Solve -g*n + 7 = 5 for n.
1
Let v be 2 - -80 - (-4)/2. Suppose 2*r - v = -0*r. Let d = r - 34. Solve -q = q + d for q.
-4
Suppose z + z + 12 = -2*q, 3*z = -5*q - 24. Let r(j) = 5*j + 22. Let c be r(q). Solve -11*k + c*k = 4 for k.
-1
Suppose 10*x = -503 - 1377. Let m be (x/10)/(6/(-6 - -36)). Let n = 98 + m. Solve -j - n*j = 0 for j.
0
Let n = -7356 + 7367. Let g be 9 - (2 + 0 + -2). Solve -g + n = a for a.
2
Let u be (20/(-30))/(4/6) + 7. Let g be 1/((2/(-55))/(-2)). Suppose -d - g = -u*d. Solve d = -3*k - 1 for k.
-4
Let h(t) = 7*t - 4. Let f be h(-4). Let y = f - -35. Suppose 0 = 5*s + 2*x - 8, -3*s + 3*x - y = 9. Solve 2 = u - s for u.
2
Let n(d) = d**2 - 18*d + 87. Let f be n(8). Let p be (-1)/(((-231)/15)/f - -2). Solve p*x - 3 + 3 = 0 for x.
0
Let i be 840/56 - (-36 + -2). Solve -i*o = -65*o - 60 for o.
-5
Suppose -80576*l + 351 = -80549*l. Solve 7*m = -1 - l for m.
-2
Let f(h) = -h**3 - 22*h**2 + 267*h - 130. Let p be f(-31). Solve -194*q + p*q = -288 for q.
-6
Let n(h) = -h**2 - 15*h + 16. Let l be n(-14). Let b = l + -26. Suppose c - 6 = -b. Solve 0 = x + c*x + 3 for x.
-1
Let n(a) = 4*a**2 + 336*a + 179. Let d be n(-85). Solve -513*i = -d*i for i.
0
Let r be (-62)/(-3) + (-56)/21 + 2. Let z(q) = -2*q**2 + 38*q + 41. Let d be z(r). Solve -d - 1 = -c for c.
2
Let m be ((-6)/5)/((-24)/180). Let r(d) = d**2 + 3*d - 103. Let k be r(m). Solve 0*o - 4*o = k*o for o.
0
Let g be 960/68 + -4 + (-38)/323. Solve 6*x = x - g for x.
-2
Suppose 7*y - 15 = 2*y. Let v be -3 - (1*(-1 + -1) - 3). Suppose -y*p - 5*c = 4 + v, 4*c = 3*p - 21. Solve 3*w = 4*w + p for w.
-3
Let s(c) = 4*c**2 - 3*c + 3. Let d be s(2). Let b = 21 - 195. Let u = 179 + b. Solve -u*w - d = -33 for w.
4
Let h = 12598 - 12575. Solve 0 = h*d - 108 + 39 for d.
3
Let j(z) = -z**3 + 9*z**2 - 11*z - 15. Let x be j(7). Let r be (x/(-15))/(10/(-575)) - 3. Solve -3*p = p + r for p.
-5
Suppose -i + 45 = -2*m - 28, -2*m - 61 = 3*i. Let p = m + 37. Let q be (-24)/20*(-15)/9. Solve -p = -q*l + 2 for l.
2
Let o be (-126)/(-1 + 4) - 3. Let v = 38 - o. Let l = -79 + v. Solve l*g - 3*g - 2 = 0 for g.
2
Suppose 3*n = -15 + 6. Let f be ((-3)/(-12) + -1)/(n/60). Let p(b) = b**2 + 17*b + 80. Let r be p(-9). Solve -5*d + r*d = -f for d.
-5
Let n be (-4)/8 + (-51)/(-2). Let q = -8519 - -8535. Solve -11*h + q*h - n = 0 for h.
5
Let l be (-7 - (-4 - -6)) + 16. Solve l = -j + 2 for j.
-5
Let p(x) = 6*x + 1. Let g be p(1). Let i = 1426 - 1386. Suppose 36 = i*d - 31*d. Solve -d*o + 13 + g = 0 for o.
5
Let p be (2/5)/(2/10). Suppose -37 = -a - a + 5*b, 0 = -p*a - b + 7. Suppose 33*g - 96*g - 12*g = 0. Solve g - a = -2*n for n.
3
Let y be -2*35/(-28)*(319/55 + -1). Suppose 0 = -4*o + o + 27. Solve y*l = 9*l + o for l.
3
Let g = 6863 - 6854. Solve -g*h = 5*h + 56 for h.
-4
Let g be ((-1593)/54 - -5)*16/14*-1. Solve g = -5*n + 33 for n.
1
Let d(i) = 8*i**2 - 13*i + 32. Let u be d(3). Solve 6*s - u = -7*s for s.
5
Suppose 40*d - 33*d + 42 = 0. Let t be d + 24 + -1 + -4. Solve 0 = 5*h - t - 7 for h.
4
Suppose -157*w - 395 = -710 - 941. Solve s + w = 1 for s.
-7
Let b = 20507 + -20428. Solve -2*q = b*q + 162 for q.
-2
Suppose 17*k = 27*k - 30. Suppose k*m + 4*h = -14, m + 4*m + 31 = h. Let r be (100/15)/((-4)/m). Solve -3*w = -w - r for w.
5
Suppose -2*i + 30 = i. Suppose 78 = 5*b - x, 3*b = -2*x - 2 + 41. Let r be 4/((2/(-5))/((-6)/b)). Solve r*t = 10 + i for t.
5
Suppose 330*t + 203082 = 396*t. Solve t*p = 3080*p - 24 for p.
8
Suppose 5*z + 223 = -3*p, 0 = -4*p + 2*p - 2*z - 146. Let i = p - -79. Solve -3*a = -i*a + 10 for a.
2
Let u(b) = 13*b + 39. Let f be ((-1)/(-1))/(112/336). Let v be u(f). Solve 0 = a - v + 73 for a.
5
Let a = 1039 + -1005. Solve -47*t + a*t - 52 = 0 for t.
-4
Let y = -7 + 51. Let p be (-3 - y/(-12))/(2/15). Let g(v) = -v + 1. Let s be g(-5). Solve f = p - s for f.
-1
Suppose -3*o + 4 + 2 = 0. Suppose c - o*c = -11. Suppose 0 = -p + 61*z - 65*z + 4, -3*p + 5*z = -63. Solve p = c*a - 7*a for a.
4
Let r(c) = 20*c**2 + 53*c. Let k be r(0). Solve k = 65*n - 75*n - 60 for n.
-6
Let w be 40/6*(-18)/(-15). Let x be (-1)/3*0*w/(-64). Solve 4*h = -x*h - 20 for h.
-5
Suppose -a + 4*w = -33, -2*a - 3*w + 4 + 7 = 0. Let c = a - 8. Solve c*y + 0 = 5 for y.
1
Let q(c) = 8*c**3 - 399*c**2 - 49*c - 50. Let v be q(50). Solve v = 18*b + 6*b for b.
0
Let q(a) = a - 6. Let o = -10 - -18. Let u be q(o). Suppose -117 - 303 = -28*c. Solve j - c = -u*j for j.
5
Suppose 2*l + 12 = 3*l. Suppose t + 5 + 19 = 4*o, 5*t = -4*o + 