4*i + 1293. Let n be p(-7). Solve m = -n*d + 10 for d.
-5
Suppose 0 = k - 1 - 2. Suppose i + 1 = w, k*i + 5*w - 25 = w. Suppose -4*d + 15 = -3*h, 3 = 3*d - i*h - 12. Solve d*n + 3*n = -3 for n.
-1
Let x be (-20)/12 + 1 - (-11)/3. Let c(i) = -2*i + 16. Let f be c(x). Let w(a) = a + 2. Let g be w(2). Solve y = -g*y + f for y.
2
Suppose -4*r = -4*p + 32, -3*p - 6 = 6*r - 3*r. Let q = 8 - p. Let v = -2877 - -2881. Solve v = t - q*t for t.
-1
Let m = -142 + 172. Solve -m + 5 = 5*l for l.
-5
Let v = -63 - -68. Suppose o - 30 = -v*i - 3*o, -3*i + 4*o + 50 = 0. Solve -2*s - i = 3*s for s.
-2
Let m be 1 - (38/(-6) - 14/21). Let q(g) = -g**2 + 5*g + 7. Let s = -10 - -15. Let u be q(s). Solve u*c = 3*c - m for c.
-2
Let x(n) = 23*n**2 + 74*n + 73. Let m be x(-1). Solve -26*z = -m*z + 12 for z.
-3
Suppose -12*y + 4 = -8*y. Solve 7*d + 6 = -y for d.
-1
Let l = -2 - -4. Let m be (188 - 182)*(-2)/(-4). Solve w - m*w = l for w.
-1
Let s be (-10 + 20)*(-3)/(-3). Let k be -4 + s + (-6 - -2) + 0. Solve k = -u - 1 for u.
-3
Let u be (-4)/(1/1 + -2). Solve -4*y + u = -8 for y.
3
Suppose 2*y + 4 = 4*y + 5*a, -3*y + 3*a = -6. Solve 6*b = y*b + 16 for b.
4
Let k be 7 + 6/(-12) + 7/2. Let o be -1 + 0 - (-1 - 0). Suppose k*w - 13*w = o. Solve w = 4*z - 3 - 1 for z.
1
Let v be (24/20)/((-3)/(-45)*3). Solve -v = 4*w - 26 for w.
5
Suppose h + 32 - 34 = 0. Solve f = h*f + 4 for f.
-4
Suppose 0 = -0*v + 3*v - 15. Suppose 2*c + w - 130 = -w, 3*w = -c + 73. Let z = 69 - c. Solve j + z = v*j for j.
2
Let w(p) = p**2 - 7*p + 10. Suppose -2*z = 3*u - 25, 0*z = -3*u - 4*z + 29. Let r be w(u). Suppose 44 = r*n - 6*n. Solve n + 9 = 4*l for l.
5
Suppose -44 = -4*n + 17*h - 12*h, -32 = -4*n + 2*h. Solve -n*j = -26 - 4 for j.
5
Let t be 3 + -1 - 1 - -13. Let u(c) = 24 - 5*c - 7 + c**2 - 10*c. Let s be u(t). Solve -s*k + 12 = -0 for k.
4
Suppose 3*s + 39 = 3*m, m - 2*m = 5*s + 17. Let t(p) = 7*p + 1. Let r be t(2). Let d = r - m. Solve 5*a + d + 3 = 0 for a.
-2
Let c(l) = 2*l + 2. Suppose -2*t - 10 = 0, -4*r - 13 = -0*r + 5*t. Let v be c(r). Suppose v = 5*g - 2. Solve 2*k = -0 - g for k.
-1
Suppose -5*m + 0 = 2*l + 6, m = -l - 3. Solve 6*k - 18 = -m*k for k.
3
Let y be 1/3*0*-1. Let j = -1082 + 1085. Solve j*c + y = 3 for c.
1
Let b(y) = -2*y + 50. Let o be b(9). Solve o - 12 = 4*z for z.
5
Suppose -2*o - 36 - 166 = 2*f, 4*f - 5*o + 359 = 0. Let q = 111 + f. Solve -z = 4*z - q for z.
3
Suppose -3 = 3*z - 4*z. Suppose n - 2*b - 15 = 0, -4*b - 2 - 3 = z*n. Suppose 0 = 9*q - n*q - 8. Solve q*g + 1 = -1 for g.
-1
Suppose 4*r - 2*y + 22 = 0, -r - 2 + 4 = -3*y. Suppose w + 84 = 77. Let v = w - r. Solve v*f = 5*f + 20 for f.
-4
Suppose 572*j - 563*j - 324 = 0. Solve -9 - j = -9*f for f.
5
Suppose -p - 1 + 19 = 0. Suppose 0 = o + 2*o - p. Suppose 0 = 3*x - 0*x - o. Solve 0 = -2*n - x for n.
-1
Let y(z) = 8 - 18 + 12*z - 4 - z**3 + 9*z**2. Let i be y(10). Suppose 3*t + 0*t = i. Solve 25 = -3*j - t*j for j.
-5
Suppose -24*j + 22*j + 10 = 0. Solve -3*o + j = -1 for o.
2
Let q = 80 - 54. Let x = 31 - q. Solve -x = i - 2 for i.
-3
Let w be (34/5)/((-10)/50). Let j be (w/(-4))/(4/8). Suppose -15 - j = -4*x. Solve 4*g - 6*g + x = 0 for g.
4
Let u be 4/5 + (-188)/235. Solve 3*d = -u*d + 12 for d.
4
Suppose y = 5*y + 40. Let a be (-8)/(-3)*(y + 7). Let j = a + 12. Solve 0*s - s = -j for s.
4
Let n = 51 + -25. Let d = n - 24. Let s be (2 + d)*(-7)/(-14). Solve 8 = -2*v - s for v.
-5
Let y = 674 + -670. Solve -y*q + 18 = -10*q for q.
-3
Let d(g) = g**3 + 36*g**2 + 28. Let o be d(-36). Solve -3*l + o = -10*l for l.
-4
Suppose 3*a + 5*p - 3 = 33, 5*a + p - 38 = 0. Let o(w) = 3*w - 15. Let t be o(a). Solve -2*b - 20 = -t*b for b.
5
Let h(x) = -x**3 - 6*x**2 - 5*x + 2. Let u be h(-5). Let c = 19 - 13. Let s be (4 + 1)/(7 - c). Solve -u*v + v = s for v.
-5
Let b(p) = 5*p**2 - 5*p + 5. Let x be b(2). Suppose 0 = 2*w, -2*a = 5*w - x - 9. Solve a = 3*l - 0 for l.
4
Suppose 0 = r - 3. Suppose s - 3*y = -0*y, r*s + y = 10. Suppose 5*q = a + 4, 3*q - 3 - 5 = 2*a. Solve -s*l + q*l = 0 for l.
0
Let m be 1/(1 + 3)*4. Let f = m - -1. Solve 0 = -f*d + d for d.
0
Suppose -3*q - 11 = 70. Let w be (q/15 - -1)*10/(-4). Solve w*p = 6*p for p.
0
Let l be ((-2)/6)/(2/(-18)). Suppose -2*f - 3 = -l*g, -2*f + 11 = 5*g - 10. Let v = g + 0. Solve -v = r + 2*r for r.
-1
Suppose 0 = i + 5*z - 23, -3*z + 3 = -3*i - 0. Solve -t = i - 1 for t.
-2
Let b(h) = -h**2 - 6*h + 18. Let t be b(2). Solve 0 = 5*x + 18 + t for x.
-4
Suppose 4*y + f = -84, 5*y + 4*f - f = -105. Let n be (-6)/(-7) - 24/y. Solve -c + n*c = -4 for c.
-4
Let w(v) = v**2 + v - 105. Let b be w(-11). Solve -b*j = 2*j - 35 for j.
5
Let y be (24/9)/(3*(-4)/(-18)). Solve -4*i - y - 16 = 0 for i.
-5
Let q be 62 + -50 - (-3)/(-1). Solve -5 + q = 2*l for l.
2
Suppose -11 = 2*v - 7. Let x be (v + 4)/(7/14). Solve w + 1 = x for w.
3
Let c(o) = -o**3 - 2*o**2 + 4*o + 1. Let t be c(-3). Let l = t - -2. Let w = 475 - 473. Solve l*x = w*x - 6 for x.
3
Suppose u - 2*u = 0. Suppose -5*k - 4*v + 20 = 0, 3*k - 2*v = -1 - 9. Let f be 6 + (k - -1) + 2. Solve u = -d + 4*d - f for d.
3
Let y = -1205 + 1216. Solve y*p + 18 = -26 for p.
-4
Let k(c) = -c**3 + 15*c**2 - 21*c + 133. Let f be k(12). Solve 2*h = f - 323 for h.
-5
Let j be 0/(-2) - -72 - (33 - 35). Let p = -72 + j. Solve 8 - 2 = -p*z for z.
-3
Let q = -21 + 24. Let u(w) = w**3 - 4*w**2 + 6*w - 8. Let v be u(q). Suppose 0*t - 2*t + 4 = 0. Solve -v - 9 = -t*n for n.
5
Let k(r) = -r**2 - 11*r + 31. Let n be k(-13). Suppose 0 = -4*u - v + n + 18, 4*u - 4*v - 8 = 0. Let a be 3 + (-1 + 1 - -1). Solve -u*z - a = 1 for z.
-1
Suppose -8 = -2*t + 16. Let a = 13 - t. Solve o + a - 6 = 0 for o.
5
Let w(y) = -2*y - 6. Let h be 4/3*(-3 + 0). Let j be w(h). Solve -b = j*b for b.
0
Let z be (2/(-4))/(2/(-12)). Suppose -4*c - t = -42, z*t = 2*c - 0*t - 14. Let b(o) = -2*o - 2. Let f be b(-1). Solve c = -2*g - f for g.
-5
Suppose 0 = l + 16 + 25. Let v = -38 - l. Solve 0 - 3 = v*f for f.
-1
Let l be -1 + 10 + -10 - -10. Solve -l = -2*b + 5*b for b.
-3
Let c be 3 - (7 + 1 - 5). Suppose 5*p - 2*o - 4 = c, 3 = 3*p - 6*p + 3*o. Solve -5 = p*m - 3 for m.
-1
Let d = -480 + 609. Solve d = -3*z + 114 for z.
-5
Suppose 44 + 16 = 5*b. Suppose 2*r + 30 = b*r. Solve u + r = 8 for u.
5
Let i be 1*42/10 - 2/10. Suppose -3*c + 103 = 5*b, 0 = -3*b - i*c - 2 + 55. Solve 5*r = 2 + b for r.
5
Suppose 0 = x - 2*z, -4*x + 10*z = 6*z. Solve -13*d + 11*d + 2 = x for d.
1
Suppose -2*u + 5*r = 0, -4*u + 7*u = 2*r. Solve u = -4*b + 8 + 12 for b.
5
Let g = -13 + 25. Solve -g = 9*z + 33 for z.
-5
Let y be -7 - -2 - ((-100)/4 + 0). Solve 6*h - y = 10 for h.
5
Suppose -7 = -5*t - 2*f, 0 = 5*f - 7 + 2. Suppose -11*z + 54 = -t. Solve 2*w + 9 = z*w for w.
3
Let d be 6/(5/10 + (-2)/10). Solve 15*o = d*o - 5 for o.
1
Let i(p) be the second derivative of p**5/20 + 7*p**4/12 - 5*p**3/3 - 4*p**2 + 7*p. Let m be i(-8). Solve 2*a + 4 = m for a.
2
Let q = 10 + -22. Let z = q + 8. Let c be ((-9)/z)/(6/16). Solve 5*d = 2*d - c for d.
-2
Let p be ((-8)/(-12))/((-7)/(-105)). Solve -39*i + 41*i - p = 0 for i.
5
Suppose 0 = 5*y + 5*q - 75, 10*q - 15 = -y + 5*q. Let r be (-8)/(-3)*(-6)/(-8). Solve -r*z = z + y for z.
-5
Let c be ((-9)/(-6))/(2/4). Let r = -1 + 6. Suppose 90 = r*l + 4*l. Solve c*u = u - l for u.
-5
Suppose -3 = 7*b - 10. Suppose 4*t = -f + 10 + b, -2*f - 4 = -5*t. Solve -f*q + 1 = -2 for q.
1
Let l(a) = -a**3 + 9*a**2 + 23*a - 9. Suppose 3*j + 4 = 37. Let n be l(j). Solve 15 = z + n*z for z.
5
Let v = 12 + 14. Suppose v = 4*j - 2. Suppose -j - 5 = -3*y. Solve -2 = -2*r - y for r.
-1
Let i be -1 - (-1 + (0 - -3)). Let n(m) = -4*m - 4. Let y be n(i). Suppose y - 4 = u. Solve 0 = -3*h - u + 10 for h.
2
Let m = -28 + 43. Let v = m - 14. Solve v - 7 = -3*y for y.
2
Let h = 125 - 81. Let o = 47 - h. Solve s + 16 = -o*s for s.
-4
Let v be (2 + -4 + 3)*1. Let i(l) = l**2 + 11*l - 33. Let c be i(-14). Suppose 3*o - 2*u = -u + c, -3*u + 9 = 0. Solve v - 5 = o*h for h.
-1
Let c(b) = b**3 - 6*b**2 + 2*b - 8. Let q be c(6). Let t(f) = -f**3 + 5*f**2 - 4*f + 6. Let s be t(q). Suppose 0 = -8*w - 496 + 512. Solve -s = -w*y - 0 for y.
3
Suppose -3*w + 7 - 69 = -5*t, 0 = -t + 1. Let u = -16 - w. Solve 7*z - 4*z = u for z.
1
Suppose -6*f + 8*f - 106 = 0. Suppose -f*s + 51*s + 8 = 0. Solve 5*q + 