s for p.
-4
Let q be (3 + 2 - 0)*1. Let y(s) = 2*s**2 - 13*s - 3. Let n be y(8). Let w = n + -18. Solve q*o = 3*g - 13, 5*g = -w*o - 0*o - 1 for o.
-2
Let f(a) = a**2 + 9*a + 15. Let b be f(-8). Suppose -16 = b*d - 44. Solve c - 3*i = 8, d*i + 2 + 4 = -c for c.
2
Suppose 0 = -5*z - 5*q + 50, 8 = 5*z - 2*q - 56. Let n = z - 12. Solve 3*m = n, -2*t + 3*m + 4 = -6 for t.
5
Let l(f) = f**3 + 3*f**2 + f + 1. Let d be l(-2). Suppose -3*i = -9 - d. Solve 0 = -i*r + 4*c - 10 - 2, 0 = 3*r + c - 3 for r.
0
Suppose d - 3 = 3*k, -2*k - 293 + 278 = -5*d. Solve -4 = i - 6, k = 4*p - 4*i - 12 for p.
5
Suppose -4*f - 4*z + 32 = 4, f = 4*z - 18. Suppose 4*l = 10 + 10. Suppose 4*n = l + 11. Solve 0 = -g - f, 0 = -n*h - 0*g + 5*g + 22 for h.
3
Suppose 0 = 36*s - 54 - 90. Solve 2*i + 0*i - s = 4*a, -5*a + 10 = 5*i for a.
0
Let l = -5 - -25. Suppose 9*c - 5*c - l = 0. Solve -c*k = -2*b + 4*b - 21, -b - 22 = -4*k for b.
-2
Let w be (-3)/(-1*(-1)/3). Let a = 15 + w. Solve -2*x - 4 = z + 7, 2*x = -a for z.
-5
Suppose -189*m = -198*m. Solve 0 = -l - i - 9, m = l - 2*l - 2*i - 13 for l.
-5
Suppose 109 = -11*j + 16*j + 3*f, -j + f + 17 = 0. Solve 2*x + 6 = 0, -5*x - j = 4*c + 7 for c.
-3
Suppose -40 = -2*a - 32. Let y be a + 1/1*-2. Solve f - 3 = x - 11, -8 = y*f for x.
4
Let r be (1/(-2))/(((-35)/(-7))/(-20)). Solve -2*c + 4*g = 0, -r*c - g = 3*c for c.
0
Let p(k) = k**3 - 19*k**2 - 20*k + 3. Let w(i) = i**3 + 27*i**2 + i + 47. Let l be w(-27). Let q be p(l). Solve -3*z + s = -q*s - 22, 5*z - s - 14 = 0 for z.
2
Suppose 4*k + 17 = -23. Let o = k + 15. Solve 2*x - 5*l = 4 + 15, -25 = o*l for x.
-3
Suppose -5*w + w + l + 104 = 0, 5*l = w - 45. Suppose 85 - w = 3*j. Let v = j + -16. Solve 3*z - 3*s = 2*z - 9, 3*z - v*s + 12 = 0 for z.
0
Let w(i) = -i**3 + 2*i**2 + 3*i + 10. Let g be w(3). Solve -4*x = -3*j + g - 0, -30 = 5*j + 5*x for j.
-2
Let t = 24 + -20. Let r be 140/175 - t/10*-8. Solve 3*v - 3*q = 12, -r = -3*v - 4*q - 13 for v.
1
Let l = 48 + -23. Suppose -158*g = -129*g - 261. Solve 5*o = 3*y - l + 4, -g = -3*y + o for y.
2
Let h be (-16 - -38) + -6 + -4. Solve 5*r + 12 = -3*l - 10, 0 = -l - 4*r - h for l.
-4
Let o = 1208 + -1184. Solve 4*p = -n - 0*n - 11, -p = -4*n + o for p.
-4
Suppose 0 = 2*k + 18 + 2. Let x = 15 + k. Let b be (-60)/(-25) + 3/x. Solve 0*t + 2*t = -2, s - 3*t = b for s.
0
Suppose -15 = 7*q - 64. Suppose -4*v + q = -5. Solve 4 = 5*d + 2*p - v*p, -4 = 4*d + p for d.
0
Let p = 35 + -30. Suppose 2*c = p*n + c - 24, -c = -n + 4. Solve -2*q + 3*l + 23 = 0, 0 = -4*q + n*q + 2*l + 6 for q.
4
Let q = 3020 + -3016. Solve 0 = -q*t + b - 5, 2 + 11 = -2*t - 3*b for t.
-2
Let f = 2 - -2. Suppose 25 = -5*w - 0. Let d = w - -10. Solve -f*c + c + g = 9, g = d*c + 17 for c.
-4
Suppose -2*l + 4 = -2. Suppose -12*i + 15*i = l. Solve 1 + 7 = 4*y + 5*a, y = -a + i for y.
-3
Let p = 111 - 45. Let a = p + -66. Solve a = 5*f - l + 17, -5*f - l = 17 + 6 for f.
-4
Let f be 16/(-84)*-9 - (-4)/14. Let z(m) = 3 + 5*m + 2 - 4*m. Let v be z(0). Solve -p = -0*p - v*b + 1, 0 = -4*p + f*b - 4 for p.
-1
Let a(f) = -f**3 + 15*f**2 + 16*f + 15. Let k be a(16). Solve d = 4*x + 11 - k, 2*d = -4*x + 16 for d.
4
Suppose -48 = 5*l - 3*n, 4*n = -9*l + 4*l - 76. Let c be 16/56 + l/(-7). Solve -g = c*x - 1, 0*x + 2*x = 2*g + 10 for g.
-3
Let s be (3/(-4))/(15/(-40)). Suppose 4*t - 2*t - s*d = 12, 5*t + 5*d + 10 = 0. Solve -5*o - t - 35 = -4*a, -2*a + 3*o = -21 for a.
3
Suppose -20*v = -12*v + 120. Let d be 1 - (-18)/(4 + -3). Let x = v + d. Solve 0 = -2*s + p - 5, 2*s - x*p - 3 = 7 for s.
-5
Suppose -9*p = 8*p - 85. Solve -y + 15 = -5*z, 5*z + 5 = -p*y + 8*y for z.
-4
Let s = 24 + -27. Let c be ((-60)/8)/(s/4). Solve 5*x + 2*b - 24 = 0, -4 - c = -x - 5*b for x.
4
Let v(w) be the first derivative of -w**4/4 + w**2 - w - 1. Let c = -29 + 27. Let y be v(c). Solve 3*x - 4*s = 20, 5*x - y = s + 19 for x.
4
Suppose -2*d = 4*w, -d + 3*w = 2*w. Solve 3*z + 17 = z - 5*i, -z - 3*i - 11 = d for z.
4
Let c(i) = -i + 6. Let o be (2 + 4)*1 + 0/(-1). Let f be c(o). Solve 4*k + 5*m = 16, 2*m = -2*k - f*k + 6 for k.
-1
Let d(g) = 3*g**2 + 12*g + 2. Let q be d(-5). Let w = -41 + q. Let j = w - -49. Solve 0 = -5*v - 5*z, -2*v + 4*z - j = z for v.
-5
Let g = -754 - -756. Suppose 3*q - 20 = -q. Solve -z - q = -2*z, g*j + 3*z - 11 = 0 for j.
-2
Let q be 3 - ((1 - 4) + 6). Let z(d) = -d + 2. Let h be z(q). Suppose j = h*p + 6 - 20, 5*p - 5*j - 45 = 0. Solve -k - 20 = -p*y, -3*k - 5*y + 40 = -0*k for k.
5
Suppose 3*z + 3 = 4*z. Suppose -7 = -z*d - 1. Suppose 0 = -d*g + 4*g - 4. Solve -4*o - 7 - 12 = -3*j, -g*o = -j + 9 for o.
-4
Let v = -6 - -10. Let z be ((-448)/(-40) - 11) + 42/15. Solve -y - 12 = -v*c, -2*y - z*y = 3*c - 9 for y.
0
Let b be ((-5)/(-2))/((-8)/208). Let y be (-2)/6 + b/(-15). Solve -y*o + 5*l = o + 10, -2*l = -8 for o.
2
Suppose -18*c + 6*c + 72 = 0. Solve 2*t + 5*y = -3*t + 35, 0 = 2*y - c for t.
4
Suppose -4*l + 19 = -1. Suppose 4*q + r + 6 - 18 = 0, 0 = 5*r - 20. Solve -q*o - o = 12, 5*u + 20 = -l*o for u.
0
Let u be 1014/42 - (-1)/(-7). Let d be 1/(4*1/u). Suppose o = -o + d. Solve -3*b = 0, -3*k + o*b - 14 = -2 for k.
-4
Let g = 124 - 119. Let c(u) = u**3 - 7*u**2 + 7*u - 4. Let f be c(6). Solve 4*b - 3*h = g, 0 = 4*b + 2*h + f - 12 for b.
2
Let y(l) = -l**2 + 9*l + 25. Let m be y(11). Let z be 52/6 - (-1)/m. Suppose -6*o = -z - 3. Solve 2*c = -3*g - o, -g + 0*g - 24 = -4*c for c.
5
Suppose -2 = -2*y + 14. Suppose -t - 8 = 3*t, -l + 3*t = -y. Let m be (l/(-5))/(6/(-30)). Solve 10 = 4*h - m*j, -j + 1 = -2*j for h.
2
Let s be 531/177 + 1 + -1. Solve -7 = 3*u - 4*u - 2*j, 3*j - 15 = s*u for u.
-1
Suppose 145 = -3*v + 32*v. Solve x + 5*z - 24 = 0, 3*x + 27 = x + v*z for x.
-1
Let m = 0 + 3. Let b(t) = -t**3 + 10*t**2 + 13*t - 19. Let v be b(11). Solve 0 = m*g + 2*f + v - 1, 3*g + 10 = -4*f for g.
2
Suppose 0 = -2*r - r - 123. Let q = -18 - r. Suppose -5*s - 2*m + 7 = 0, -s = -0*s - 5*m - q. Solve 10*y - 5*y - 14 = -s*v, 0 = -3*y + v for y.
1
Suppose -k - f = 7 + 10, k + 17 = 2*f. Let a = k - -19. Solve 4*q + 17 = -y, 3*y - 7 = a for q.
-5
Let t = -34 + 59. Suppose 4 - 2 = l. Suppose -5*b = -15, -l*b - 15 = -5*h + 4. Solve -3*k + 5*z - 23 = 0, h*k - 6*z + t = -z for k.
-1
Suppose 1 + 1 = 2*w, -2*w = 4*m + 114. Let r = 31 + m. Solve -5*u + 4*n - 22 = 0, 3*u + 2*n = -r*u - 4 for u.
-2
Let z be -1*(-6 - -6)/(5 - 2). Suppose 3*y - 3 - 3 = z. Solve -f + 4*f = -2*x + 23, 0 = -y*x - 4*f + 28 for x.
4
Let c(g) = 7 - 31 - 4*g + 2*g. Let s be c(-13). Solve 4*j + s = -3*x + 9, 3*x + 29 = 5*j for j.
4
Let j(a) = -2*a - 7. Let b(n) = 3*n + 1. Let d be b(-4). Let c be j(d). Suppose 3*i - 6*i = -c. Solve 5*g = 15, 3*u + 1 = 4*g - i for u.
2
Let v be (-12 + 12)/(2*-1). Let x = 3 + v. Let y be 28/x - 10/(-15). Solve 3*w - 4*p = -y, -4*p + 8 = -2*w - 0*p for w.
-2
Let i = -238 - -248. Solve -30 = l - 0*l - 5*y, -2*y - i = 4*l for l.
-5
Let o be (-2 - (-5 - -4)) + 3. Suppose -2*l + 29 = n, n = l - 4*n + o. Solve -v - 2*x - 2*x = 17, -4*v = 5*x + l for v.
3
Suppose -5*c = -3*c - 8. Suppose 3*f = -c*d + 9, 2*d - 6 = 2*f + 2. Let v be 11/(-33) + 16/d. Solve -2*h = g - 6, v*g - 4 = 2*h + h for g.
2
Suppose -32*d + 20*d + 72 = 0. Solve -4*c = 3*u + d - 27, 0 = u + 5*c - 18 for u.
3
Suppose -8 = 2*b - 4*a, -3*b - 7 = -4*a + 1. Solve 3*w + 2*h + 1 = -b*w, w + 7 = -2*h for w.
3
Let b be (-7)/((-105)/2) + (-296)/(-30). Solve 4*j = 2*c - 9 - 1, j + 2*c + b = 0 for j.
-4
Let x be ((-3 - -4) + -1)/1. Suppose 5*c - 5*n = 45, -1 = 4*c + 4*n - 5. Let l be (1/2)/(4/40). Solve l*k + 11 = -2*v, k + x*v - v = -c for k.
-3
Let f be (1/(-2))/(1/(-508)). Let g be (-12)/(-20) + f/10. Suppose -3*b + 66 = 3*z, -b = -0*b + 5*z - g. Solve 1 = -4*o + n - 8, -3*n - b = 4*o for o.
-3
Suppose 0 = -39*u - 31*u + 420. Solve 5*t = -5*b + u*b + 23, 2*b = -3*t + 19 for t.
5
Let k(r) = -8*r - 22. Let q be k(-3). Solve 26 = t + 5*p, 2*t - q*p + 3 = -p for t.
1
Let t(x) = -4*x - 60. Let i be t(-15). Let n be (-305)/(-4) + 2/(-8). Suppose 3*c = -c + n. Solve 5*q + 4*y + c = 0, i = 2*q + 3*y + 6 + 3 for q.
-3
Let h = 2 - -2. Suppose 22*m = 23*m - 7. Let o be 2/(m/(175/10)). Solve -o*w - q = 15, 5*w + 2*q + 12 = h*w for w.
-2
Let p(l) be the third derivative of -l**4/24 - 5*l**3/6 - 4*l**2. Suppose -12 - 4 = 2*w. Let r be p(w). Solve 2*j + 0*j - q + 