-2 for z.
-3
Let x be -2 - ((-2 - 1) + -1). Suppose u - x*j - 12 = 0, 0*u - 3*u - 2*j = -36. Suppose -k + 5 = 0, -c = c - 3*k + 15. Solve -4*t + u = -c*t for t.
3
Let q be (-2)/3 - 44/(-12). Let x be (2/(-3))/((-8)/36). Suppose 8*f + x*f = 7*f. Solve f*c + 9 = q*c for c.
3
Suppose -14 = -0*j - 7*j. Let b(x) = x**3 + 5*x**2 - 8*x - 9. Let i be b(-6). Solve -i*q = 4 + j for q.
-2
Let w = 2 - -2. Let j(s) = s + 3. Let u be j(-2). Solve u = 5*z - w*z for z.
1
Let y = 8 + -4. Let i be y/14 - 40/(-7). Solve -6 = -i*a + 4*a for a.
3
Let w be (-2)/5 + 224/160. Suppose v + i + 12 = -2*i, 16 = 2*v - 2*i. Let m = 4 - v. Solve 0 = -2*j - w - m for j.
-1
Suppose 4*z = 3*z + 16. Let y(p) be the second derivative of -p**3/6 - 11*p**2/2 + 3*p. Let v be y(-15). Solve 0*o + v*o - z = 0 for o.
4
Let m be (119/68)/(2/8). Solve -9 = 2*b - m for b.
-1
Let i(p) = -p + 5. Let m be i(4). Suppose 303 = 4*a - 125. Suppose 3*g = -a + 140. Solve 0 = 4*t - g - m for t.
3
Let i be (-2)/(-20) + (-4)/40. Let s be 2*(-4)/(-8)*i. Solve -5*p - 23 - 2 = s for p.
-5
Suppose 5*k = -3*u + 41, 3*k = -u + 3 + 24. Suppose -4 = k*j - 4. Solve j*a + 3 = a for a.
3
Let f(h) = -h**2 - 6*h - 1. Let n be (-30)/4*2/3. Let m be f(n). Let d = -20 + 20. Solve d*b - m*b = -12 for b.
3
Suppose -z + 25*z - 120 = 0. Solve z*o = 8*o - 12 for o.
4
Suppose -2*j = 45*j. Solve j*z + 6*z = 30 for z.
5
Let w = -24 + 24. Suppose 11*x - 54 + 21 = w. Solve -p + 0*p - x = 0 for p.
-3
Suppose 0 = i - 3*i. Let l(n) = n**2 + 1. Let j be l(-1). Solve -3*g - j*g - 15 = i for g.
-3
Let z be (-6 + 5)/((-3)/39). Let v = z - 11. Solve -v*a - a + 3 = 0 for a.
1
Let t = 26 - 24. Suppose 4*c - 16 = 5*l, -c - 3*l - 4 = -25. Suppose 0 = 3*m - 14 - 1. Solve -m*b = -t*b + c for b.
-3
Let q(y) = 4*y**3 + 2*y**2 - 4*y + 2. Let d be q(1). Suppose 0 = d*n - 9*n + 35. Solve -n = i - 2 for i.
-5
Let w(z) = 7*z - 154. Let c be w(23). Solve -2*r = -c*r - 15 for r.
-3
Let k(r) = r**3 + 5*r**2 + r + 7. Suppose -4*n + 3 - 23 = 0. Let j be k(n). Let v be 9/5*230/69. Solve 0 = -j*l - l - v for l.
-2
Let h(k) = 3*k**2 - 2*k - 2. Let f = -76 - -78. Let y be h(f). Solve y*l - l = 5 for l.
1
Suppose 12*h - 76 = 44. Solve -13*x = -h - 16 for x.
2
Suppose -4*b + 3 = -21. Let h(y) = 3*y**2 - 15*y - 2. Let z be h(5). Let g(u) = -2*u**3 + u**2 + 4*u - 3. Let a be g(z). Solve -b = 5*f + a for f.
-3
Suppose 0 = v - 0*v + 5*q + 7, q + 59 = -5*v. Let h = v + 40. Suppose 0 = c + 5*j, -j = c + 2*c - h. Solve 0*y - c = -5*y for y.
2
Let j be 0 + 1 + 23 + 1. Suppose 65 = 5*s + j. Suppose 0*l - 2*g = l - s, -2*l + 13 = 3*g. Solve -w + l = 7 for w.
-5
Suppose -5*g = -7*g + 12. Suppose 0 = -4*s + 14 + g. Solve s + 3 = -2*d for d.
-4
Let g be (-4)/(-40)*-28*(6 - 1). Let q(a) = a**3 - 5*a**2 + 2. Let b be q(4). Let c = g - b. Solve 0*x - 5*x - 10 = c for x.
-2
Suppose 6*i - 3*i = q + 1, 3*q + 2*i - 52 = 0. Solve -10 = -2*f - q for f.
-2
Let i(c) = -c**3 + 5*c**2 - c + 2. Let d be i(4). Suppose -4*z - 70 = z. Let s = d + z. Solve s*w = -w for w.
0
Let q(f) = -3*f - 14. Let x(u) = u**3 + 4*u**2 - 2*u - 3. Let k be x(-4). Suppose o + 2*y - 4 = 0, 3 = 3*o + k*y - 4. Let r be q(o). Solve -r*p - p = -15 for p.
3
Let d be (-252)/(-3) + -8 + (-8)/(-4). Solve -83*j = -d*j for j.
0
Suppose 0 = 6803*n - 6800*n - 126. Solve 8*m = 22*m + n for m.
-3
Suppose 0 = -f - 14 + 11. Let j be (-9)/1*2/f. Solve j + 4 = -5*v for v.
-2
Suppose -5*b = -83 + 3. Let f = 19 + -19. Solve -2*t + 6*t - b = f for t.
4
Let n(m) = 2*m + 1. Let d be n(2). Suppose 3*l + 4 = 3*y - 5, -9 = 5*l - 3*y. Let x = -239 + 246. Solve l = -2*q + x*q + d for q.
-1
Let y(c) = -3*c**2 - c + c**3 + c**2 - c**2 + 2*c**2. Let a be y(0). Solve a = 3*r - 2*r - 5 for r.
5
Let x(z) = 6*z. Let d be x(1). Let c be 10*1*5/(-10). Let m = c + d. Solve 3*a + 10 = m for a.
-3
Suppose 0 = 11*f - 35 + 2. Suppose 0*w + 0*w - f*w = 0. Solve w*j = j for j.
0
Suppose s - 27 = -2*n - 4*s, 12 = -4*s. Solve 2*x - n = -5*x for x.
3
Suppose -3*s + 3*v = 8*v + 1, 2*s = 4*v + 14. Suppose 2*w - 38 = -5*c + 9, 4*c - 38 = -2*w. Solve -s*y + 6*y = c for y.
3
Let g(r) = -2*r**2 - 35*r - 144. Let v be g(-9). Solve v*t + 1 = 37 for t.
4
Let m = 803 - 774. Solve 16 = 9*q - m for q.
5
Suppose x + x = -4*d + 24, -d - 64 = -3*x. Let z be 0 + 5/(x/12). Solve -4*l = -l + z for l.
-1
Suppose 0 = 3*z + 2*u + u - 12, u - 1 = 0. Solve 2*k - z*k = -4 for k.
4
Let y be ((-12)/10)/((-126)/840). Solve 3*t - 15 = y*t for t.
-3
Let b(w) = -w + 20. Let t be b(10). Suppose -5*a = 4*v - 23, v - 4*a + 0*a = -t. Solve -6 - v = -2*k for k.
4
Suppose 5 = -2*j + 31. Suppose 4*u = -0*u - z + 11, 0 = 2*u - z - j. Solve u = -q + 3 for q.
-1
Let y(a) = a**2 + 18*a - 36. Suppose 92 = -4*r - 3*n, n - 53 = 3*r + 3. Let f be y(r). Solve 1 = -5*z + f*z for z.
-1
Suppose 0 = -g + 5*s + 7, 0 = -g + 2*g - 3*s - 7. Suppose 3*o + g = 22. Solve -31 = o*a - 6 for a.
-5
Let q be (-828)/(-144) - 3/4. Solve q*y - 12 = 3 for y.
3
Let b(j) = -j**3 + 20*j**2 + 23*j - 39. Let z be b(21). Solve z*y = 4*y + 1 for y.
-1
Suppose 5*q - 3*d = -3, -2*q - 5*d = 2 - 7. Let n = 16 - 12. Suppose 6 = 5*z + 3*g, -3*z + n*g = -7*z. Solve z*y + q*y = 15 for y.
5
Let g(j) = -j**3 + 15*j**2 - 13*j - 10. Let f be g(14). Let z be ((-12)/3 + 10)/((-9)/(-6)). Solve -z*i + f + 0 = 0 for i.
1
Let u be (90/(-36))/(((-5)/4)/1). Solve -5*d = -6*d - u for d.
-2
Let t be (5/4)/((-1)/(-4)). Suppose 0 = -v + 4*v - 12. Suppose v*i + 2 = t*i. Solve i*d = 3*d + 2 for d.
-2
Suppose 0 = 2*b + g - 23, g = -3*b + 4*b - 4. Let m be 8/(-1)*(-1 - 0). Let r = -4 + m. Solve -b*i = -r*i - 20 for i.
4
Let d(o) = -2*o**2 - 120*o**3 + 3 - 3*o - 5 + 119*o**3. Let h be d(-2). Solve -w = 3*w + h for w.
-1
Suppose 3 = -2*x + 7. Solve -2*d + x - 8 = 0 for d.
-3
Let z(v) = v - 3. Let g be z(7). Suppose -g*d + 15 = -d. Let b = d - 3. Solve -k + 2 = -b*k for k.
-2
Suppose 7*z - 29*z + 132 = 0. Solve 2*m - 4 - z = 0 for m.
5
Let i(v) = 0*v**3 + 0*v**3 + 18 - 14*v**2 - 12*v - v**3 - 2. Let a be i(-13). Solve -a*d - d = 0 for d.
0
Let g be (3/(-3))/2*-20. Solve -8*o = -13*o + g for o.
2
Suppose -5*s + 25 = 0, -36*s + 20 = 3*z - 32*s. Suppose 3 = u + 2*k, -5*u + 3 = 7*k - 3*k. Let n be 3 + u - (0 + -2). Solve z = -d + 2*d + n for d.
-4
Let t be (-1 - -4)/3*3. Suppose t = 2*z - 3. Let k = z - 3. Solve -3*x = -k*x + 9 for x.
-3
Let t be 1/(-3 + (-80)/(-26)). Solve -k = t - 17 for k.
4
Suppose 0 = 4*y - c - 2 - 4, -4*c + 14 = 3*y. Solve y*a + 3 = a for a.
-3
Let r be 2 + 5*(-24)/(-20). Solve r*z = 17*z - 9 for z.
1
Let v be -5 - ((-94)/5 + 17/(-85)). Solve -12*y - 2 + v = 0 for y.
1
Let b = -4 - 17. Let r be (42/(-49))/(2/b). Solve -w - r = 2*w for w.
-3
Suppose -46*m + 50*m = 260. Let g = 72 - m. Solve g = -i + 2 for i.
-5
Let o = 0 - -25. Solve 0 = -0*v + 5*v + o for v.
-5
Suppose 0 = j + b - 3, -2*b - 2*b = -12. Let k(t) = 4*t**2 - 239*t - 45. Let h be k(60). Solve -g - 2*g - h = j for g.
-5
Let v(p) = p - 8. Let l be v(14). Let h(c) = -c + 6. Let w be h(6). Suppose 0 = 2*i + 3*b + 3, w = 3*i + 4*b + 3. Solve 0 = -l*y + i*y for y.
0
Suppose -k - k = -3*k. Solve k = 6*x - 4 - 14 for x.
3
Let h = -111 - -76. Let m be (-4)/(20/h) - 5. Solve 4 = -m*l + l for l.
-4
Let k = -175 + 165. Let i = 15 + k. Solve 8*z - 6 = i*z for z.
2
Let z(b) = -b**3 - 38*b**2 + 38*b - 37. Let c be z(-39). Solve 9*w + 43 + c = 0 for w.
-5
Let c = 21 - 15. Suppose -18 = -2*j + c. Suppose 0 = -s - 3*s + j. Solve 0 = m - 8 + s for m.
5
Suppose 23 = 3*l - 1. Let u be 2 - (-5)/((-20)/l). Solve -2*t - 3*t + 20 = u for t.
4
Suppose -27 - 51 = -y. Solve -y*k - 10 = -76*k for k.
-5
Let v = 13 + -22. Let q(s) = s**2 + 11*s + 18. Let h be q(v). Solve h = -4*j - 4 for j.
-1
Let q(b) = b + 7. Let o be q(-5). Let y(c) = -4*c + 48. Let k be y(7). Let f be 72/k - (-6)/(-10). Solve 7 + f = o*t for t.
5
Let a(y) = 17*y + 85. Let r be a(-5). Solve r = 12*q - 4 - 32 for q.
3
Suppose -m = m. Suppose m = c - 15 - 0. Suppose -14*q + 2*q = -15*q + 43*q. Solve 4*j + 5 + c = q for j.
-5
Let u(p) = -p**2 + 13*p + 132. Let g be u(19). Solve -14*w = -g*w - 8 for w.
-2
Let i be (27/(-45))/((-7)/385). Solve -i = -o - 37 for o.
-4
Suppose r + 2*u = 2, 5*r - 11 + 1 = -4*u. Solve -8 = -r*a - 6 for a.
1
Suppose -5*s + 6 = -2*s. Suppose -2 = -s*k + k. Suppose -5*h - 4*l + 6*l + 4 = 0, -h - k*l = 4. Solv