 n.
-4
Let w be (-153)/(-5) - 6/(-15). Let v = 51 - w. Solve 3*d + d = v for d.
5
Let r(m) = m**3 - 3*m**2 + 2*m - 2. Suppose -n - 3*i + 19 = i, -4 = -i. Let p be r(n). Solve 0*z - p*z = 0 for z.
0
Let i(k) = -k**2 + 8*k - 7. Let m be i(6). Let f be ((-402)/(-536))/(10/(-16) + 1). Solve m*s - 23 = f for s.
5
Let s be 67/(-603) - (-1)/9. Solve s = -a + 5*a for a.
0
Suppose -3*j - 2*j + 52 = -v, 2*j + 5*v = 10. Solve -j = -y - 4*y for y.
2
Suppose -3*s = 5*f - 7 - 6, 5*s + 20 = 0. Solve f*j = -3*j + j for j.
0
Suppose 2 = 4*n - 6. Suppose 2*w + h = 8, h - n - 12 = -5*w. Solve 7*p = 5*p + w for p.
1
Suppose 25*w = -11*w + 7*w. Solve w = -a - 14 + 19 for a.
5
Let y(p) = 2*p - 26. Let h be y(14). Suppose -1 = -f + h*l, 2*f - 4*l = -f + 7. Let d(q) = -2*q - 3. Let b be d(-3). Solve f - b = -u for u.
-2
Suppose -4*b + 9*b = 0. Let p be 7*1/1 - 3. Let f = -26 + 32. Solve -p*o + 2*o + f = b for o.
3
Let c be 2/(57/18 - 3). Let m(n) = 2*n - 16. Let s be m(c). Suppose 0 = 6*a - s*a. Solve -2*j + 0*j = a for j.
0
Let h(r) = r**3 - 4*r**2 - 7*r + 10. Let k be h(5). Suppose 3*g - 2*g = k. Solve g = -4*j + 2*j - 8 for j.
-4
Let c be 4 + -3 + 1 + 105/(-3). Let n = c - -35. Solve 0*w = n*w for w.
0
Let a = 59 - 54. Solve 5 = -2*v - a for v.
-5
Let y be (-5 - (-14)/2)*(25 - 9). Solve 3*j + y = -5*j for j.
-4
Suppose 307 = 40*v - 293. Solve 6*p = v*p + 27 for p.
-3
Let p(g) = 4*g - 7. Let f be p(8). Let k = 31 - f. Solve -4*t + k*t + 8 = 0 for t.
-4
Let c be 2/4*8 - (-15 + -4). Suppose c*p - 19*p - 20 = 0. Solve -3*k - 20 = -p for k.
-5
Let s(l) be the second derivative of l**4/6 + 7*l**3/3 + 3*l**2/2 + 6*l. Let i be s(-7). Solve 0 = -0*r - r - i for r.
-3
Let a(o) = -5*o - 14. Let k be a(-3). Let j be 4/(-18) - 190/(-45). Suppose 0 = j*s - 17 + k. Solve m = s*m for m.
0
Let i(u) = u**2 - 7*u + 10. Let g be i(8). Suppose 5 = b, 4 = n + 4*b - g. Suppose 0*h - n*h = 0. Solve -x - 6 + 3 = h for x.
-3
Let k(c) = 16*c - 187. Let q be k(12). Solve q*y - 12 = 8*y for y.
-4
Let d(m) = -2*m**2 - 2*m + 12. Let q be d(0). Let r be 0*(16/q + -1). Solve -u + 5 = -r*u for u.
5
Let v be -3*((-78)/18 + 4). Suppose 12 = d - 2*r, 6*r = 3*d + 2*r - 26. Solve -j + v = -d for j.
3
Suppose 25 = 67*m - 42. Solve 0 = 5*s - 14 - m for s.
3
Suppose 2*p = -6, -p - 15 = -4*o - 0*p. Suppose s + 12 = -o*h, -15 = -3*s + 5*h + 5. Solve s = 3*f + 2*f + 25 for f.
-5
Suppose 0 = -3*u + 4*u - 7. Let f be -8 + u + 0 + 7. Suppose -b = 3*v - f, -b - 1 = v - 3. Solve d + 4 = -b*d for d.
-4
Let x be 0/(16/(-4))*2/12. Solve 4*g + 6*g - 14*g = x for g.
0
Suppose 11 = p + z, 2*p - 24 = -z - 0. Suppose -2*v + 4*v - p = 5*g, 2*g = 2*v - 10. Let i = g - -5. Solve i*j - 2*j = 8 for j.
4
Let n be 12/((18/(-3))/(-3)). Let o be 1 + 2/4*(12 - n). Solve r - 2 + o = 0 for r.
-2
Let b(k) = 3*k**2 - 2*k + 1. Let j(y) = 2*y**2 + 3*y + 1. Let c be j(-3). Let p be c/14 - (-4)/14. Let f be b(p). Solve -f*z = -z + 1 for z.
-1
Let g be (-5 + 0)/10*0. Suppose -u + 3*n + 15 = g, -u + 6*n = 4*n - 10. Solve -2*m + 0*m + 10 = u for m.
5
Suppose -63*d - 28*d + 1092 = 0. Solve 0 = -10*n + d - 2 for n.
1
Let s(w) = -w**2 + 10*w - 9. Let u be s(6). Let m(i) = -i**3 - 1. Let l be m(0). Let r be (-6)/(-6) - l*5. Solve u = -r*v + 3*v for v.
-5
Suppose 0 = 19*b - 14*b - 5*t - 40, 32 = 5*b + 3*t. Solve 10 = b*w - 4 for w.
2
Let h(a) = -2*a - 2. Let z be h(19). Let l(f) = -f - 3. Let t be l(-8). Let x be (-6)/t*z/6. Solve 3*r = x*r for r.
0
Suppose -2*t = -5*t + 24. Let x(k) be the third derivative of k**5/60 - k**4/4 - 5*k**3/3 - 217*k**2. Let b be x(t). Solve l = 3*l - b for l.
3
Let k(n) = -n**3 - 8*n**2 - 6*n + 9. Let s(f) = -f - 15. Let o be s(-8). Let i be k(o). Suppose i*c = c. Solve -d - 5 = -c*d for d.
-5
Let s be (-30)/4*(-12)/18. Suppose -5*l - 46 = -2*a, s*l + 61 - 9 = 4*a. Let v(f) = -f**3 - 9*f**2 - 9*f - 4. Let w be v(l). Solve 0 = w*q - 0*q + 20 for q.
-5
Let i be -22*(5 - 75/10). Let p = i + -50. Solve -3*k = p + 1 for k.
-2
Let x(o) = -o**2 + 6*o - 4. Suppose 5*r - g = 6, 10*r - 7 = 5*r + 2*g. Let d be x(r). Solve -1 = v + d for v.
-2
Let r = 0 + 7. Suppose 17*o - 378 = 8*o. Let w be 24/o*(-7)/(-2). Solve -w = s - r for s.
5
Let r(l) = l + 1. Let n be r(8). Suppose -n*b = -12*b + 6. Suppose 4*w + d = 23, 4 - 21 = -w + b*d. Solve 0 = w*p - 3*p - 8 for p.
2
Let o = 257 + -257. Solve 2*u - 4*u + 8 = o for u.
4
Let k(l) be the third derivative of -l**6/120 - l**5/30 + l**4/24 - 2*l**3/3 - 7*l**2. Let h be k(-3). Let j = 12 - 10. Solve 0 = -h*w + 3*w - j for w.
2
Let m(j) = 5*j**2 + 6*j - 3. Let h be m(-3). Let n be ((-13)/(-39))/(2/h). Suppose 3 = 2*a - 5*a - 3*r, r = -n*a - 1. Solve a*q + 2*q = 0 for q.
0
Let h = -1079 - -1082. Solve h*z - 8*z = 20 for z.
-4
Let m(t) = 15*t**2. Let r be m(0). Solve r = -9*o + 6*o - 15 for o.
-5
Let j = 54 - 50. Suppose j = 4*t + 4*p - 0, 5*t - 5*p - 25 = 0. Solve -m = t*m for m.
0
Suppose -3*s + 12 = 4*p - 3*p, -4*s + 16 = 0. Suppose -10 = -5*t - p. Let h be -3*3/(-15) - (-28)/20. Solve h*m - 4 = -t*m for m.
1
Suppose u = -3*t - 9, -39*u + t - 2 = -41*u. Let r(j) = j**3 + 5*j**2 - 5*j + 8. Let n be r(-6). Solve u = -n*a - 5 for a.
-4
Let c = 1100 + -1098. Solve c*y = 6*y - 12 for y.
3
Let q be 6/14 + 28/49. Let y be (-2 + q)*0/(-3). Solve -2*a - a + 6 = y for a.
2
Suppose 4273 = -21*v + 1144. Let p = -143 - v. Solve -p*h = -h + 5 for h.
-1
Let u be ((-1)/3)/(3/(-162) - 0). Let t be (-2)/(-8) + 47/4. Suppose 2*c - t = u. Solve c = -3*q - 0*q for q.
-5
Let b = -9 + 8. Let r = b - -3. Suppose -3*a = -4 - r. Solve 1 - a = x for x.
-1
Let u = 29 - 36. Let n(v) = v**2 + 3*v - 15. Let h be n(u). Solve -4*q + h = 1 for q.
3
Suppose 3*z + z - 8 = 0. Suppose -z*f + 4*f = 4. Suppose 0 = f*t - 2 - 6. Solve -b = -5*b + t for b.
1
Let b(x) = x**2 + 25*x + 28. Let z be b(-19). Let o = 90 + z. Let s(l) = -l**2 - 5*l - 3. Let a be s(-3). Solve -a*m + m - o = 0 for m.
-2
Suppose 4*o - 7 = 1. Suppose -3*m - 3*l + 9 + 3 = 0, -o*l + 8 = 3*m. Solve -5*u - 15 - 5 = m for u.
-4
Suppose -g = -770 + 768. Let b(z) = -z + 12. Let f be b(9). Solve 3*q - g*q = f for q.
3
Suppose -4*m - 2*k = -14, m = 5*k - 9 - 15. Let d be (m/(-2))/((-9)/72). Let h(r) = r**2 + 5*r - 4. Let t be h(-6). Solve -t*u = 2 + d for u.
-3
Let c = -18 - -10. Let j(m) = -m - 5. Let v be j(c). Suppose b - 3 = 0, -v = -2*o + b + 2. Solve -o*u = u for u.
0
Suppose 0 = d - 2. Let y(t) = -5*t - 6. Suppose 5*j - 10 = 0, 2*j + 6 + 2 = -4*u. Let p be y(u). Solve d*a + a = p for a.
3
Let q = 18 - 13. Suppose q*k + 0*p = 3*p + 22, 14 = 3*k - p. Solve -k*u + 2 = -3*u for u.
1
Let y = 472 + -352. Solve -d - 125 = -y for d.
-5
Suppose -169*y + 54 = -160*y. Solve y*s + 5*s = 22 for s.
2
Let s = -71 - -72. Suppose 13*q - 15*q = -6. Solve 2*m = -q + s for m.
-1
Let o(m) = m**2 + 20*m + 89. Let n be o(-16). Solve 0 = -5*p - 0 + n for p.
5
Suppose 3*y = -3*u + 27, 2 - 28 = -4*y - 2*u. Solve y - 6 = -w for w.
2
Let d(f) = f**2 - 10*f - 10. Let s be d(11). Let t(l) = 2*l + s - 3*l + 3 - 7. Let h be t(-8). Solve h + 0 = -5*y for y.
-1
Let b = 5 + 1. Suppose 2*u + 2*a = 0, 4*a = -b*u + u + 2. Solve 1 = -3*t - u for t.
-1
Let f be 17 + (-5)/((-10)/(-6)). Suppose 6*b + 231 = 17*b. Let h = b - f. Solve -2*d - 10 = -h*d for d.
2
Let d be (264/30)/(2/5). Solve 12 = d*f - 19*f for f.
4
Let c(y) = y**3 + 7*y**2 + 5*y - 2. Let j be c(-6). Suppose -6*f - j*f + 20 = 0. Solve -4 = -f*x - 0*x for x.
2
Let f = 30 - 27. Suppose z - 6 = -2*b, 3*z = -f*b + 17 + 1. Let o be -42*(2 + (-10)/4). Solve 3*l + o = z for l.
-5
Let h be (-48)/(-288)*(19 - 1). Solve 4*v = h*v for v.
0
Let d be 10/(-30) - (-8)/(-6)*2. Let t be (-2 + (d - -5))/(-2). Solve t*j - 3*j = -9 for j.
3
Suppose 3*l - 2*l = -0*l. Let u be (-5)/((-20)/8) - (l - 0). Solve 2 = -2*z - u for z.
-2
Let t be -5 + (-120)/(-8) + -10. Solve -9*d = -t*d + 45 for d.
-5
Suppose 19*r + 24*r = 49*r. Solve 15*g - 6*g = r for g.
0
Suppose -2*k - 256 = -3*a, -k + 0*k + 173 = 2*a. Let x = a - 72. Solve 0 = -4*s + x + 2 for s.
4
Let p = -12550 - -12563. Let n be 23/3 - (-2)/(-3). Suppose n + 5 = 4*u. Solve p = 5*v + u for v.
2
Suppose 5*d - 3*y - 25 = 0, -2*d + 22 - 8 = -2*y. Let v be (36/(-45))/(6/(-15)). Suppose 19 = 3*n - v*h, -5*h - 5 = -n + 2*n. Solve d - n = -u for u.
3
Suppose -5*w - 4 = -7*w. Let g = 3 + w. Let k be ((-18)/15)/