4 for z.
7
Suppose -116 = -3*p - 32. Let x(b) = 2*b**2 + 9*b - 14. Let r be x(-6). Solve 16 = r*i + p for i.
-3
Let c be 4 - 120/28 - (-2524)/14. Suppose -l = -c + 178. Solve l*s = -6 + 2 for s.
-2
Let h = -65 - -54. Let n = h - -63. Suppose n = 5*i + 8*i. Solve -2 = -i*f - 22 for f.
-5
Suppose -3*u + 5*z + 15 = 0, -8*u + 3*u - 4*z = 12. Suppose -6*y - y - y = u. Solve c - 7*c + 30 = y for c.
5
Suppose 0 = 19*g - 18*g + 7. Let i(p) = -6*p - 22. Let b be i(g). Let a = b - 17. Solve -a*u = -u - 6 for u.
3
Let o = -332 + 341. Let g be (-2)/o - (-460)/207. Solve 2*h - g + 0 = 0 for h.
1
Suppose -16*v + 19*v + 4 = b, 4*b + 5*v = 50. Solve -4*j = b*j - 56 for j.
4
Let y be 5 - (1/(-1))/1. Let z be (1 + 8 + y)/1. Solve -6*i + z - 3 = 0 for i.
2
Let z = -132 - -137. Solve -z*d = 14 - 19 for d.
1
Suppose 1 + 14 = 3*b. Suppose 0 + b = u. Let z = 44 + -44. Solve u*k - 3*k = z for k.
0
Let d be 1 + -8 + 5 - -9. Suppose -108 = -2*m - 0*p + 2*p, -4*m = -3*p - 215. Let z = m + -50. Solve -4 = d*n - z*n for n.
-1
Suppose -613 + 1061 = 64*o. Solve -o + 87 = 16*k for k.
5
Let r be -17*((3 - 40/15) + 12/(-9)). Solve 11*p = -6*p - r for p.
-1
Let p(u) = 4*u**3 - 3*u**2 - 13*u + 26. Let z be p(4). Let c = z - 176. Solve v = c*v - 5 for v.
1
Let u(t) = -3*t + 24. Let r be 4*((-2)/11 - 81/99). Let z be r/(-12)*9 - -3. Let q be u(z). Solve -3 = q*l - 5*l for l.
-3
Suppose 0 = -2*n + 2*y - 16, -2*y + 15 = 3*y. Let b(h) = 7*h + 51. Let o be b(n). Solve 0 = 5*k + 4 + o for k.
-4
Let r be 84/(((-4)/10)/((4/(-20))/1)). Solve -11*i - 93 = -r*i for i.
3
Let x be (-50)/(-4) + (-1 + 3)/4. Suppose 2*t = x - 9. Solve 0 = -o - t + 1 for o.
-1
Let j(l) = 3*l**2 + 154*l + 135. Let t be j(-64). Solve 0 = t*g - 2570*g for g.
0
Let z(u) = 4*u**2 + 37*u + 23. Let d be z(-16). Let y = d + -447. Solve 0*m - y = 4*m for m.
-2
Let p = -12 + 17. Let y(i) = -5*i - 13. Let d(a) = 3*a + 14. Let o(u) = 4*d(u) + 3*y(u). Let b be o(p). Solve 3*r - 4 = b for r.
2
Let j(x) = -18*x**2 + 10*x + 41. Let z be j(-5). Let q = 459 + z. Solve -30*w + 32*w + 10 = q for w.
-5
Suppose 3*m + 4*w = 61, -33 = -2*m - w + 6*w. Solve -91 = -m*a + 4 for a.
5
Suppose 0 = -3*n + 2*x + 5, -n + 4*x + 4 = 3*n. Suppose -83*g + 80*g = 0. Suppose 4*l + 13 = -n*a, -3 = 5*a - g*l + 2*l. Solve -4*d + 3 + a = 0 for d.
1
Let a(n) be the third derivative of 3*n**4/8 - 7*n**3/6 - 2*n**2. Let i be a(3). Solve -i = 7*d - 3*d for d.
-5
Let a = 8371 + -8371. Solve 38*g - 50*g + 72 = a for g.
6
Suppose 6*r = -614 + 74. Let i = r - -95. Suppose 0 = -6*v + 13 + i. Solve v*p - 18 = -3 for p.
5
Let q(c) = 30*c**2 + 81*c - 81. Let u be q(1). Solve -u*z = -9*z - 42 for z.
2
Suppose -21*q = 90998 - 91061. Solve -q*v + 4*v = -7 for v.
-7
Suppose 0 = -9*m + 31*m + 110. Let v(f) = -2*f**2 - 15*f - 23. Let n be v(m). Solve 0 = -2*d + 4 - n for d.
1
Let g be (2 - 2)/(4 + -1). Solve g*m - 15*m = -9*m for m.
0
Suppose -4*z + 0*q - 5*q = -119, -2*z + q = -63. Let f be (-11 + -17)/2*(-8)/(-56)*-2. Solve -f*a = z - 11 for a.
-5
Suppose 18 = 3*f, -2*c + 18*f = 13*f - 1566. Solve -c + 774 = -3*o for o.
8
Let m = -309 - -314. Suppose -75 = -5*z + m. Solve 14 = -h + z for h.
2
Let x = -65 - -68. Suppose -4*z = -2*i + 8, -3*i + 5*i = -z + x. Solve 7 = i*h - 1 for h.
4
Let r be 3*(-19 + (-4 - -6)). Let t = 106 - 153. Let a = t - r. Solve a = -2*k - 0 for k.
-2
Suppose 106 = -4*m + 122. Let c be 3/m - (4590/(-40))/27. Solve c*o = 19 - 14 for o.
1
Let v be -7*1/((-2)/12). Suppose -70 = -3*x - d - 9, 2*x + 2*d - v = 0. Solve -8*m + x = -3*m for m.
4
Let o(j) = -3*j - 89. Let f be o(-27). Let w be (40/24)/(f/(-72)). Solve 0 = 11*g - 6*g - w for g.
3
Let g = -4309 - -4312. Solve -24 = g*x + x for x.
-6
Suppose -1629 = -8*h - 429. Let m = h + -135. Solve 18*y + 3 = m*y for y.
-1
Let a = -221 + 226. Let p be (4/a)/(-1 - (-84)/80). Solve 6*h - 8 - p = 0 for h.
4
Let m be 18/30*10/3. Suppose l + 5*t + 24 = m*l, l - 12 = 2*t. Solve -l*n = -3*n for n.
0
Suppose -28*i - 840 = -49*i. Solve 20 = i*r - 140 for r.
4
Let l = -621 - -4438. Solve 3828*o + 11 = l*o for o.
-1
Let o be 187/3 - (56/(-12) + 5). Solve 49*i = o*i - 39 for i.
3
Let y(p) = 5*p**3 + 63*p**2 - 26*p + 45. Let g be y(-13). Solve g*d = 56*d - 88 for d.
8
Let s(r) = r - 14. Let d = -42 + 114. Let m = -58 + d. Let q be s(m). Solve 0 = 3*g - q*g + 15 for g.
-5
Let z(w) = 3*w + 374. Let j be z(0). Let v = j - 371. Solve 5 = l + v for l.
2
Suppose 0 = 3*y - 5*o - 168, 234 + 9 = 5*y + 4*o. Solve 43*k - y*k - 48 = 0 for k.
-6
Suppose -29*w + 3*w = -28616 + 9870. Solve -w*h + 717*h - 24 = 0 for h.
-6
Suppose 18*p + 1175 = 1823. Solve p*v = -55 - 17 for v.
-2
Let y(l) = -l**3 + 5*l**2 - 3*l - 5. Let n be y(4). Let g = 3 - n. Suppose 4*q + 2*s = 3*s + g, -4*q - 4*s - 16 = 0. Solve q*j = j - 2 for j.
2
Suppose -3*r + 38 - 29 = 0. Let o = -1787 - -1787. Solve o = -11*l + 8 + r for l.
1
Let t(p) be the third derivative of -p**5/12 - 157*p**4/24 - 31*p**3/6 - 84*p**2 + p. Let y be t(-31). Solve -y*i + 35*i - 16 = 0 for i.
4
Suppose -q - 42 = -2*s + 3*s, -62 = s + 5*q. Let n be (-36)/(-96) - s/8. Solve -n*z = 13 - 38 for z.
5
Suppose -2*o - 36 = -3*q, -4*o = -2*o + q + 20. Let h be ((-9)/6)/(o/(-128)). Let c = 16 + h. Solve 0 = -c*n + 5*n for n.
0
Let v = -11579 - -11607. Solve 0 = 31*j - v*j - 3 for j.
1
Let y be (0 + 4/(-4))*(-6 - -6). Let x be 6 + -3 + (y/(-1) - -13). Solve 3*t - x = -t for t.
4
Let z(d) = -224*d + 2926. Let v be z(13). Solve -25 = v*n - 39*n for n.
1
Let i = -19023 - -19153. Solve -20*w - i + 150 = 0 for w.
1
Let k(t) = t**2 + 1. Let y(d) = 6*d**2 - 3*d - 2. Let n(c) = 5*k(c) - y(c). Let o(q) = q**2 + 2*q - 4. Let h be o(-4). Let j be n(h). Solve j*a - 8 = 4 for a.
4
Suppose 2*w - 10 = 0, 9*w = 2*v + 6*w - 75. Let n = -41 + v. Solve n = -2*l - 0 for l.
-2
Let p be 0/8 - (7 + 0)/(-1). Suppose 0 = -p*w + 4*w + 135. Solve -4*x - 5*x = -w for x.
5
Suppose -149*i + 394 + 1454 + 834 = 0. Solve -13*m - 93 = i*m for m.
-3
Let l be (-3*1)/((-25)/10 + 4). Let c(k) = -k + 2. Let a be c(l). Let y = 1 + 1. Solve 0*z = y*z + a for z.
-2
Let z(a) = -2*a**2 - 20*a - 48. Let h be z(-4). Solve 80*b - 76*b - 16 = h for b.
4
Let t be (-15 - 31/(-2))*6. Solve -44*c = -t*c - 246 for c.
6
Suppose -6*v + 5*v = 68. Let g be v/(-16) - -3*3/(-36). Suppose -3*a = o + g*o - 15, -o = a - 3. Solve -2*j - 3*j - 15 = a for j.
-3
Let u = -184 + 186. Suppose q = -u*q + 2*q. Solve q*x = 5*x for x.
0
Let k = 147 - 452. Let q = -305 - k. Solve -2*t + q = -2 for t.
1
Suppose -75*y + 13503 + 12147 = 0. Solve 329*i = y*i for i.
0
Let r(s) = -76*s + 11942. Let v be r(98). Solve -4485*z + v*z = -54 for z.
-6
Let k be (-1)/2 + (-13)/(-2). Let b(f) = f**3 - 34*f**2 - 98*f - 477. Let i be b(37). Solve -k - 10 = -i*p for p.
4
Let a(w) = -w**2 + 3*w + 82. Let t be a(13). Let v be (-25)/(-10)*t/(-15) - -3. Solve -3*f + v = -4 for f.
5
Suppose -3*x = -395 + 1229. Let a = 335 + x. Solve a = 13*j - 8 for j.
5
Let z be (6/8)/(72/384). Let n be 4*z/16 - -3. Suppose 5*h + 5 = -4*s, -n*s - 4*h + 1 - 5 = 0. Solve y + 4*y - 10 = s for y.
2
Suppose -3*q - 2*q + 130 = 2*d, d - 5*q = 95. Let b = d - 9. Let j = b + -64. Solve -j*r + r = 2 for r.
-2
Suppose 5*q - j = -42 + 57, -3 = -q + 3*j. Let x(t) = t - 2. Let u be x(4). Solve 0 = -u*l - l + q for l.
1
Let m = 3836 + -3042. Solve m*h = 791*h for h.
0
Let k(t) = 65*t**2 - 74*t - 76. Let x be k(-1). Solve -c - x = -63 for c.
0
Let h(r) = 2*r**2 + 133*r - 57. Let t be h(-67). Solve 1625 = t*z + 1575 for z.
5
Suppose -3*g + 85 = -4*b, 4*g - 5*b = 21 + 92. Solve 31 - 4 = g*o for o.
1
Suppose -48 = 68*g - 78*g - 2*h, -3*h = -g + 8. Solve -3*x - g - 10 = 0 for x.
-5
Let z = 1553 - 1552. Solve 3495*p = 3494*p - z for p.
-1
Let j = 2154 + -1998. Solve 0 = 8*r - 172 + j for r.
2
Let v = -18 + 20. Suppose -22*o - 5*q = -17*o + 10, 4*o - q = 12. Solve o = v*a - 0*a for a.
1
Let v = 45 + -71. Let h(f) = -f**2 - 28*f - 38. Let x be h(v). Suppose 0 = -17*y + 10*y + x. Solve y = 2*t + 8 for t.
-3
Let z = 232 - 222. Suppose -5*y = -4*d - z, d - 2 = 7*y - 8*y. Solve d = -3*t + 7*t + 2*t for t.
0
Let x be (5/2 - 1)*2. Let z be -6*(-6)/72*(1 - -9). Suppose 0 = w - 3*r - 3, 0 = -w + 4*r + r + z. Solve w = x*s - 6*s - 3 for s.
-1
Suppose -5 - 20 = -5*t. Suppose 2*h + 28 = 2*w + 12, -t*w + 30 = -3*h. Solve -q - w = -4*q for q.