for p.
-5
Let l be 2 - -1*(5 - 5). Solve -l*a - 5*k = a - 34, 0 = 4*a + 2*k - 22 for a.
3
Suppose -4*y = 30 - 2. Let d = 12 + y. Suppose -q + d = 2. Solve q*h + 15 = -2*h - 3*z, h = -2*z - 3 for h.
-3
Suppose -t = -2*t + 3. Solve -2*h - 2*i = -7*i - 5, i + t = 0 for h.
-5
Let o be (-8)/(-6)*(-84)/(-8). Solve -j - o = 3*q - 1, 0 = 3*j - q + 9 for j.
-4
Let p be 24/(-6) - (-6)/1. Solve -p*c - 1 = -m - 3, -2*c + 6 = m for m.
2
Let m = 21 + -18. Solve -16 = 2*r - m*k, 3*r + 3*k = -2*k + 14 for r.
-2
Suppose i - 4 = -1. Solve 0 = 2*o + i*q + 5 + 6, 3*q = 3*o - 6 for o.
-1
Suppose 1 + 7 = 2*t. Solve -n = -a, -t*a + 4*n = a + 1 for a.
-1
Suppose 2*q = 8, -2*v = -v - 5*q + 17. Solve -3*z - 9 = 2*z - 4*b, -v*z - 31 = 4*b for z.
-5
Let a be -1*1*(-2 + 0). Suppose -2*k + 13 = -4*c - 23, 0 = 5*k + 5*c - 15. Suppose -j + k = j. Solve -j*v - w = v - 9, w = 2*v + a for v.
1
Suppose 14 = a - 2. Let j = a - -6. Solve 4*r + 5*p + j = 0, -2*r - 19 = r + 5*p for r.
-3
Let n(t) = -t**3 + 6*t**2 + 7*t + 6. Let r = 3 - -4. Let y be n(r). Let l(w) = 2*w**2 - 10*w + 7. Let m be l(y). Solve -3*s + 6 = -5*o + 17, -4*o = s - m for o.
4
Let p be 3/24*2 + 14/8. Solve -3*h + j + 6 = p*j, 0 = -5*j for h.
2
Let i be (-1)/5 - (-4)/20. Suppose -4*k + 3*w + 1 = -11, i = -4*w. Let b(x) = -x**2 - 7*x - 7. Let v be b(-5). Solve 3*r - 3 = v*q, -4*r - k*q = q - 20 for r.
3
Let r(n) = 6*n**2 + 6*n + 3. Let p be r(-2). Suppose -20 = -2*z - 2*f, -z + 5*f + 49 = p. Solve -5*l - 4*j + 6 = -13, -5*l + j + z = 0 for l.
3
Suppose 0 = 2*g + 3*s - 2, -2*g + 5*s = 2*s - 26. Let q = 13 + g. Suppose -3*v = 2*v - q. Solve -w = -3*f + v, w + 6*f - 20 = f for w.
5
Suppose 3*u + 19 = 76. Suppose -2*y - 6 = t - u, -5*t - 5*y = -40. Suppose -7*j + 13*j = 24. Solve j*s = -4*b - 20, -7 = 4*b - t*s - 1 for b.
-3
Suppose -i + 0*i + 4 = 0. Suppose 0*b - b = -i. Let o be 3/(14/b - 2). Solve -r + 4*r - 15 = -3*d, -d + o*r - 7 = 0 for d.
1
Let u = -41 - -45. Solve -l + 5 = -2*l - u*t, t = 0 for l.
-5
Let i be ((-3)/(-2))/((-2)/(-8)). Let g(b) = b**3 - 5*b**2 - 5*b - 3. Let v be g(i). Solve r + 5*p = 7, -5 + 22 = -v*r + 4*p for r.
-3
Let v(g) = g**2 + 8*g + 1. Suppose -5*n - 2*h = 41, 17 + 3 = -5*n + 5*h. Let p be v(n). Let u be 2/p*-3 + 2. Solve u*b = -5*m + 17, 6*b = m + b + 19 for m.
1
Let g = 21 + -13. Solve -3*f + 5*c = -15, 4*f - g*f = 5*c + 15 for f.
0
Let d(o) be the second derivative of 1/3*o**3 - 3*o**2 + 2*o + 0. Let m be d(6). Solve 3*p - 2*n + m = 0, 3*n = -2*p - 0 - 4 for p.
-2
Let k(n) = -n**3 + 2. Let o = 1 + -1. Let u be k(o). Solve -2*l + 3*c = -1, 0 = -4*c + u*c - 2 for l.
-1
Suppose -5*v + 12 + 8 = 0. Let c = -8 + 11. Suppose c*n - 5 = v. Solve 5 = -7*f + 2*f + 5*m, -n = -2*f - 3*m for f.
0
Let o be (-3)/(-2)*(-64)/(-24). Solve 0 = o*i - 20, -2*h = h + 5*i - 34 for h.
3
Let c = -126 + 129. Solve 1 = 4*x + m - 0, -c*m - 11 = -2*x for x.
1
Let t be (-4)/(-10) + (-22)/5. Let y = t + 10. Suppose -y*v = -5*v - 20. Solve -5*a + l - v = -4*l, a = -2*l - 7 for a.
-5
Let b = 0 - 3. Let n(y) = 4*y**2 - 1. Let g be n(1). Let d = b + g. Solve -9 = -t - 2*i, 4*t - 2*t + 2*i - 10 = d for t.
1
Suppose 5*k = 1 - 16. Let u be 10/k*(-12)/8. Solve u*g = 5*r, -5 = 2*r + g - 2 for r.
-1
Let t be 1 + (-2 - -24) + (0 - -2). Solve 5*x = t, -x = q - 5 + 3 for q.
-3
Let z be 5 - (48/4)/4. Solve z*l - 6*g = -2*g + 20, 3*g + 15 = l for l.
0
Let y = 93 - 88. Solve 3*o = -x - 0*o - 13, y = -2*x + o for x.
-4
Suppose 0*b - 3*b + 12 = 0. Suppose 0 = -j + 7 + 3. Solve -5*n = 5*q + j, -n + 4 = b*n - 2*q for n.
0
Suppose -13*q + 63 = -10*q. Suppose 3*o - q = -3*f + 7*f, -2*f - 6 = 0. Suppose -2*n = -4*n + 22. Solve 3*u = -2*u - 2*s + 10, o*s = -u - n for u.
4
Let j(m) = m + 3. Let n be j(0). Solve -n*k = -4*l - 15, -3*l + 3*k = k + 10 for l.
0
Suppose 0 = 7*k - 6*k + 18. Let s = -18 - k. Solve s*a - 5*g - 10 = -2*a, 4*g = 2*a - 6 for a.
-5
Suppose 2 = -2*j + 3*d - 3, 5 = -5*j + 5*d. Suppose -j*f + 0*c - 4*c = -18, 3*c = -2*f + 15. Solve 2*g - 2*k - 2 = 4, -f*k = 5*g + 1 for g.
1
Suppose 0 = -2*b + b + 14. Solve -l - 3*j = -10, b = l + 4*j - 1 for l.
-5
Let s(k) = k**2 - 11*k - 14. Let z be s(13). Let y be 1/(27/z - 2). Solve 4 = -y*r + 4*f, -2*f - 12 - 1 = 3*r for r.
-3
Let n = -3 - -8. Suppose -n*u - 3*r + 89 = 21, 2*u - 2*r - 24 = 0. Solve 4*q = -6*w + 5*w - u, 4*q + 28 = 4*w for w.
3
Suppose 4*s - 4*f - 32 = 0, 5 = -2*f - 3. Solve 1 = -5*r - 5*k - 4, 5*r - s*k = 31 for r.
3
Let a(t) = t**3 + 11*t**2 + 9*t - 6. Let s be a(-10). Solve s*x + g - 21 = -2*g, -9 = -5*x + 2*g for x.
3
Let r = -2 + 4. Suppose r*p = -p - 6. Let v be 1/p - 18/(-4). Solve 0 = n - 5*q - 10, -5*n + 2*q = -2*n - v for n.
0
Suppose -2*a = -0*a - 62. Suppose 2*g = -1 + a. Solve 0*q + q = -5*l - g, 2*q - 4*l + 2 = 0 for q.
-5
Let y(f) = f**2 + 3*f + 2. Let h be y(-3). Suppose i - 6 = -h*i. Suppose -q + i*q = 0. Solve r = g, -2*g + q*r = -3*r + 3 for g.
3
Let a = -54 + 84. Solve 2*o + o = -3*m - 12, -5*o = -5*m - a for m.
-5
Let c(y) = 3*y + 8. Let b be c(-7). Let g = b + 13. Solve 4*m + 3*z - 4*z - 7 = g, 15 = 3*z for m.
3
Let w(i) = 4 + 0*i - 2*i + 5*i**2 + 3*i. Let b be w(-5). Suppose -v - 38 = -c + 3*v, 0 = -4*c + 2*v + b. Solve -4*o = -4*j - 49 + 9, 5*j + c = o for o.
5
Let i = 3 + 3. Suppose -3*t + t + i = 0. Suppose j - t*j = 0. Solve -2*f - 18 = -3*l - j*l, -3*l + 4*f + 24 = 0 for l.
4
Let f = 60 + -55. Solve 2 = c - t, 0 = f*t + 9 - 4 for c.
1
Let k(o) = o**2 + 3*o + 4. Let t be k(-3). Solve r = -3*q + 20 - 9, 3*r - t*q = 7 for r.
5
Suppose a = -3*a + 12. Suppose 0 = 17*n + 11 - 45. Solve u = -a*f + 3, n*u + f - 14 = 6*u for u.
-3
Let n(j) = j**2 + 9*j + 12. Let g be n(-8). Let q = 8 - g. Suppose -d + 4 = d. Solve q*v - 27 + 5 = d*o, o - 1 = -2*v for v.
3
Suppose 4*l - 4 = -2*g, 0 = g - 2*g + 2*l - 2. Let a be ((-10)/(-15))/(2/9). Suppose -a*x + 10 = 2*x. Solve -3*o - x*d + 0*d + 1 = g, -3*d + 24 = -3*o for o.
-3
Let x be (1/1)/((-4)/(-12)). Suppose -x*k - 5*i + 40 = 0, -i + 30 = 5*k - 0*k. Solve -k*y + 41 = -0*y + 4*l, 4*y - l = 16 for y.
5
Let a be (27/(-6))/((-15)/20). Suppose -2*m + a = -2*c, -2*m + 5 = -c - 3. Solve -12 = -c*b + 4*s, 5*s + 15 = -0*b - 2*b for b.
0
Let z = 1 - -2. Suppose -5*h + z*h = -4. Solve -4*g - 2*w - 28 = 0, 2*g - 4*w = -h*g - 4 for g.
-5
Let l = 23 + -19. Solve -u + l = u + 2*d, 4*d - 32 = 4*u for u.
-3
Suppose 0*u - u = -18. Suppose -14*t + 10 = -9*t. Solve -q + g + 8 = -t*g, -3*q - u = 5*g for q.
-1
Let a = -38 - -26. Let z be -3*2/a*2. Suppose -2*j + 11 = z. Solve -j*o - 2*k = -4, -o + 1 = k + 2 for o.
2
Suppose -3*s + 42 = 2*b - 7*s, b + s = 12. Suppose -h + 6 = -2*f, -h + 0 = 5*f + b. Let n = 7 + f. Solve -i - 3*c = -7, 0*c - 3*c = -n*i - 2 for i.
1
Suppose 0 = 2*m - 4, 4*j = 5*m - m + 4. Solve w + j = -3*l, 7*l = -5*w + 2*l - 15 for w.
-3
Suppose -5*g + 16 = -3*u, 2*u + 9 = -4*g + 7*g. Solve -2*r = g*t + 2*r - 19, 0 = -2*t + r + 5 for t.
3
Let y(m) be the first derivative of m**3/3 - 5*m**2/2 + 2*m + 1. Let s be y(5). Solve 8*h - 20 = z + 3*h, z = -s*h + 15 for z.
5
Suppose 0 = -0*q - 5*q + 10. Solve q*a = -3*x + 7*a + 28, 0 = 2*x + 4*a + 18 for x.
1
Let k = -32 + 48. Suppose -k = -4*c + 16. Suppose -4*w + 2*t = -c, -w = -0*w - 2*t + 1. Solve -3*g - w*i = -8*g + 1, i - 11 = -4*g for g.
2
Let j(c) be the second derivative of -c**4/12 + 3*c**3/2 - 3*c**2 - c. Let m be j(7). Let s be m/(-14)*(-14)/4. Solve -4*u = 2*x + 16, s*x - u - 4 = -0*u for x.
0
Let m be (-12)/(-3) + 0 + 5. Suppose 3*z = m + 3. Solve 0*u - 3*u - z*y = 2, 8 = 2*u - 2*y for u.
2
Suppose -4*w + 3*d = -17, -5*w - d + 1 = -6. Solve h = w*o - 10, -4*o - 3 - 1 = 4*h for h.
-4
Let v be (186/(-18) - -9)*9/(-2). Solve 5*q = -3*w - 9, v*q + 2*w = 3*q - 5 for q.
-3
Let f(j) be the second derivative of j**3/3 - 3*j**2 + 3*j. Let d be f(4). Let q be -3 + d/(-4)*-12. Solve 0 = v + 6*l - l, 0 = -2*v - q*l + 7 for v.
5
Let f(h) = h + 6. Let j be f(-5). Solve 0 = -3*b - 3*w - 3, -5*b = 4*w - 2*w - j for b.
1
Suppose -4 = -2*t, t + 4 = -4*k + 3*t. Solve k*m - m - 6 = l, 3*m - 12 = 3*l for m.
-1
Let p = -6 - -10. Solve h = -h - n + 1, 0 = -p*n + 4 for h.
0
Let b(n) = 3*n + 13. Let r be b(-4). Suppose 4*k - 3*k + 1 = -3*x, -r = x. Solve -5*l = -k*q - 0*q + 18, -2*q - 22 = 5*l for l.
-4
Let i(a) = -a**3 + 2*a**2 + 2*a - 1. Let v be i(2). Suppose -5*s + 15 = -0*y