 - y for p.
-3
Let c be (-36 + 4 - 4)/((-4)/(-6)). Let z = c - -56. Solve -4*o - 35 = -3*a, -5*a = z*o - 11 - 4 for a.
5
Suppose -4*b = 55*b. Let p be 55/15 + 1/3. Suppose -a = -p*q - 25, -2*a - 3 = -4*q - 33. Solve 0 = -2*y + 3*o + 15, -a*y = -b*o + 3*o + 15 for y.
0
Suppose 22 = 17*r - 12. Suppose -4*q - i + 4 = 0, i + 1 - 3 = -2*q. Let a be 4/q*(-3)/(-6). Solve 14 = 4*d - r*l, 0*d = 2*d + a*l - 16 for d.
5
Let j be (2 + -3)*-1*13. Let x = j + -11. Solve 10*s - 5*s + x*w = 9, 0 = 5*w - 10 for s.
1
Suppose 2*f + 10 = -4*j - 32, f = -j - 11. Let k = 41 + -25. Let l = k + j. Solve 2*i = 3*q + q + l, 0 = -3*i + 4*q + 3 for i.
-3
Let v(a) = a**3 + 20*a**2 - 2*a - 34. Let h be v(-20). Let z be (9 - -6)*(2 + (-4)/h). Solve -3*m = 4*q + 16, -6*m - z = 4*q - 2*m for q.
-1
Suppose 3*t - 2*t + 3*r - 21 = 0, 8 = 3*t - 2*r. Suppose -t = -p - 3. Let i be (-2)/((-1)/p*1). Solve 0 = z - 4*w + 2, 3*w = i*w - 3 for z.
2
Suppose 300 = -p + 7*p. Let y = -82 + p. Let u = y + 37. Solve -6*q + 2*s - 11 = -q, 14 = -u*q + 3*s for q.
-1
Let z be (-423)/94*4/(-3). Solve -3*i = 3*m - 15, -4*m - z = 5*i - 27 for m.
4
Let h = 59 - 56. Suppose h*w + 6 = 6*w. Solve -2*r = -5*t + 6, -5*r + w*t - 7*t = 15 for r.
-3
Let b = -411 - -420. Solve -5*t - 2 = 2*u + b, -3*t - 7 = u for t.
-3
Let w be (-3)/(-15) - 18/(-10). Let n(f) = -f**3 + 3*f**2 - f + 1. Let o be n(w). Solve -o*a - u + 16 = 0, u + 6 = 2*a - 3 for a.
5
Let y(i) = -i**3 - i + 6*i**3 - 6*i**3 + 6 - 3*i**2. Let b be y(-2). Solve 2*s - 3*s - 2 = q, b*q + 8 = 3*s for s.
0
Let j = 87 - 87. Solve -y + j*y + 9 = -r, 5*y + 3*r = 5 for y.
4
Let h be (-736)/(-64) + 3/2 + -1. Solve -h = 4*g - 3*x + 11, g = 3*x - 17 for g.
-2
Let c(u) = u - 7. Let f be c(4). Let l be (-2)/4*-8 - f. Suppose 0 = -3*v + 2 + l. Solve -p + 3*n = 11, -v*n + 0 - 1 = 5*p for p.
-2
Suppose -2*d - 233 = -79. Let n = d - -127. Suppose n = 3*b - 13. Solve 5*l + 4*x + b = 0, -x - 14 = -2*l + 3*x for l.
-1
Suppose -2*m + 10 = -0*m. Suppose y = m*y - 24. Suppose -o + y = 3. Solve 0 = 3*n - o, 3 = p - n - 0 for p.
4
Let d be 1/((-64)/(-21) - 3). Let y = d + -10. Let q = y - 1. Solve 4*i + 0 - 4 = 0, 4*b + 2*i + q = 0 for b.
-3
Suppose -4*p = 1 + 11. Let i(o) = -3*o**2 - 7*o - 2. Let v be i(p). Let n be (-12)/(-16) - 26/v. Solve -31 = 3*a + 5*t, -a + n*t = -3 - 15 for a.
-2
Let z be (-134 - 6)*(-6)/15. Let p = -53 + z. Let v be 6/((-2)/4*-3). Solve v*l - 2*b - 4 = 8, p*b = -4*l + 32 for l.
5
Suppose 5*c - 5*t = 0, 20 = 31*c - 29*c + 3*t. Solve 0 = 2*p - s - 7, -c*p - 4*s + 4 = -16 for p.
4
Let l(o) = 3*o - 46. Let y be l(17). Let n(p) = -p**3 - 3*p**2 - 2*p. Let q be n(-2). Let m = q + 3. Solve y*r = 4*x - 5, 0 = 4*x - 3*r - m for x.
0
Let t(n) = n**3 + 3*n**2 - 5. Let f(m) = -m**3 - 4*m**2 + 5. Let v(q) = -4*f(q) - 5*t(q). Let j be v(0). Solve 5*c - j*y = 15, y = -c - 2*y - 5 for c.
1
Let t be 2 + -5 + -13 + (-2 - -2). Let n be (-20)/16 + (-20)/t. Let u be 0 - (2 - (2 - 0)). Solve u = -k - 4 + 3, n = -g + k + 5 for g.
4
Let n = -18 + 24. Suppose -3 = -3*b + n. Suppose -5*j = 3*y - 24, j - 3 = -3*j + b*y. Solve 7*w - h = j*w + 16, 3*h = -2*w + 22 for w.
5
Let x = 523 - 510. Solve -i - 4*h - 6 = -5*h, 0 = -2*i + 3*h - x for i.
-5
Suppose 2*y = 0, -12 = -10*c + 8*c + y. Suppose 0 = -2*g + 5*l + 15, 4*l + 15 = -5*g - l. Let w = g + 3. Solve w*m = -r + 11, -r - 25 = -c*r for m.
2
Let p be 4/(8/(-6)*-1). Solve 0 = p*b + 1 + 14, -4*z = -4*b for z.
-5
Suppose 75 = 3*k - 3*q, 2*k - 42 = -0*k - 2*q. Let c = k + -17. Solve 0*o + 6 = -3*o, -d = -4*o - c for d.
-2
Let l(m) = m**3 - 4*m**2 - 16*m + 28. Let k be l(6). Solve -3*q + 9 + k = -j, 0 = j + q - 7 for j.
2
Let x(c) = -c**2 - 16*c + 20. Let f(k) = -5*k + 8. Let a be f(5). Let z be x(a). Let w = z + 0. Solve 2*q + 2*i + 11 = w*q, q + 19 = -4*i for q.
1
Let d be (-2)/(-4)*(-8)/1. Let k = d + 7. Suppose 5 = 5*w - 4*w. Solve -4*b = 2*n - 26, 0 = -k*n + 2*b + 12 - w for n.
5
Let l be -5*(-20)/(-15)*(-24)/(-10). Let z(t) = -3*t - 43. Let q be z(l). Solve -3*u = -4*r + q, u - 4*r + 11 = -4*u for u.
-3
Let v(s) = 28*s - 12. Let g be v(9). Suppose 5*y = -y + g. Suppose 5*c + 4*x = 55, -3*c - x + y = -0*c. Solve -4*j = -3*h + 12, -j - 4*j - c = 2*h for j.
-3
Let v(t) = 7*t - 7. Let d be v(-5). Let c = -42 - d. Solve 4*f + c*f + 2*r = 16, 4*r = 0 for f.
4
Suppose 58*j = 63*j - 70. Suppose 2*h - 30 = -h. Let w = j - h. Solve -a = 4*u + 7, w*a = -2*u - u + 11 for u.
-3
Let h = -29 - -47. Suppose -h = 5*c - 11*c. Solve 2*j + c*j + 5*f - 20 = 0, 0 = 4*j - 2*f - 16 for j.
4
Suppose -90 = 33*p - 717. Solve -4*k - p = 3*x, -2*k - 2*x + 12 - 24 = 0 for k.
-1
Let o(y) = y - 11 + 0*y - 2*y. Let w be o(-11). Solve -2*q = 0, -3*q + w*q = 4*a - 4 for a.
1
Let t(j) = -j**3 - 15*j**2 - 3*j - 41. Let z be t(-15). Solve 5*b + z = 2*c + 3, -3*c + 5 = -4*b for b.
1
Let x(h) = 17*h - 184. Let d be x(11). Solve -m = -4*f + 11, 0*m = m + d for f.
2
Let k(o) = -5*o - 115. Let a be k(-26). Solve s = 4*s - a, -3*f - 4 = -2*s for f.
2
Let p = 76 + -73. Suppose i + 15 = 4*i. Suppose -i*h = p - 28. Solve -3*y - a + 6 - 11 = 0, 0 = 4*y - a - h for y.
0
Let b be (-8)/32*-40 + -5. Solve 7*k - 3*k - 2 = b*i, 2*i + 3*k - 13 = 0 for i.
2
Let q(z) = 2*z - 28. Let n be q(14). Suppose n = -3*j + 5*o + 43, -4*j - 7*o = -3*o - 4. Solve j*r - 3*r = 4*y - 14, 4*y = -4*r for y.
2
Let g(z) = -z**2 - 14*z + 37. Let n be g(-16). Solve -5*p + v = -3*v + 6, 0 = -2*p + n*v - 16 for p.
2
Let x = 3 - -31. Suppose 6*h + 50 = -x. Let z(r) = r**2 + 14*r + 3. Let l be z(h). Solve 0 + 29 = 5*i + 3*s, 5*s = -l*i + 27 for i.
4
Let s(r) = 2*r + 22. Let i be s(-10). Solve -3*f - v = -4*v + 15, -4*v + 2 = i*f for f.
-3
Let r(n) = -n + 15. Let k be r(6). Let x be (-1)/(-2)*k/(27/6). Solve 10 = -5*l - 4*d, -l + x = 2*l + d for l.
2
Suppose 5*s - 4 - 6 = -5*r, -s - 1 = 4*r. Let n be (1 + 19)*3*1/s. Solve 0*d - n = 5*d - 5*g, 4*g = -d - 4 for d.
-4
Let b(a) = a**2 - 3. Let m be b(-3). Suppose 5*l - 3 = m*l. Let j be 0 + -1 + 2 - l. Solve 0 = -j*c - 5*q - 13, 3*q - 2*q + 3 = -c for c.
-2
Suppose -20*s + 18 = -17*s. Suppose f - 2*f - s = 0. Let p be (-9)/f*(2 + 0). Solve 3*j + 3 = 4*z, p*j - 3 = -0*z + 2*z for j.
3
Let i(s) = -10*s + 13. Let p be i(1). Solve o - 6*j = -p*j - 10, 0 = o + 4*j - 18 for o.
2
Let v(c) = c**3 - 9*c**2 + 4*c - 33. Let x be v(9). Suppose x = -3*p, 5*p + 2 + 6 = a. Solve g + 2*f = 5*g - 12, 2*f - a = -g for g.
3
Let b(p) = 2*p**2 + 2. Let a be b(-2). Suppose 0*y = -y + 3. Let r(f) = 397*f + 15091. Let x be r(-38). Solve 0*v - 3*v + 2*w + x = 0, v - y*w = -a for v.
5
Let z(o) be the third derivative of -o**6/120 + o**5/30 - o**4/12 + o**3/3 - 10*o**2. Let w be z(0). Solve 2*n - 2 = -0*n - 3*h, 5*n = w*h - 14 for n.
-2
Suppose 485 = -8*z - 139. Let k = -78 - z. Solve k*f = -3*f - 2*u, 3*u - 5 = -2*f for f.
-2
Let v = 3 + 20. Suppose 0 = t + 5*h - 39, -v = -2*t - 0*t + h. Let o(q) = 44*q + 141. Let m be o(-3). Solve -3*z + 3*i = m, -t = z - 5*i + 5 for z.
1
Let t be (24/(-20))/((-21)/70). Suppose 4*j = -1 + 17. Let q = -46 - -69. Solve -t*g + j*w - w = -q, 0 = -g - w - 3 for g.
2
Suppose 0 + 4 = g. Suppose l = 4*k - 45, g*k - 42 = 4*l - 2*l. Solve h = 4*o - 0*h - k, -5*h + 8 = -3*o for o.
4
Suppose -453*l - 5 = -454*l. Solve 0 = -x - 4*j - l - 7, 5*j + 26 = -4*x for x.
-4
Let y(q) = 22*q**2 - q. Let v be y(-2). Suppose 2*z = -3*z + v. Let n = z - 15. Solve -2*b = 2*d, -4*d = -n*d - 4*b + 25 for d.
-5
Let n(c) = 2*c**2 - 11*c - 28. Let q be n(-2). Solve 0 = b + 2*b + 5*j + 20, -q*b - 4 = j for b.
0
Let s(x) = 39*x - 115. Let l be s(3). Solve 5*u + 4*m - 15 = m, 3*u = -l*m + 10 for u.
0
Let z(d) = 3*d**2 + 2*d - 5. Let n be z(-3). Solve -w - 7 + n = b, -4*b + 11 = -w for w.
5
Let r = -1371 + 1371. Solve 2*q - 2*k = r, -5*q + 2*k + k = 8 for q.
-4
Let v be (-25)/(-3) + (-2)/6. Let l = -6 - -8. Let g = l + 1. Solve 3*n + d = -9, -g*d + v*d = -n - 3 for n.
-3
Let f(l) = -12*l - 356. Let k be f(-30). Solve -o - k*c - 14 = -0*o, 0 = -o - c - 2 for o.
2
Let p = 17 + 25. Suppose p = -50*k + 53*k. Solve -k = 4*q + 5*t, -2*t + 3*t - 2 = 4*q for q.
-1
Let l(a) = 4*a + 14. Let f be l(-1). Let n(r) = 2*r**2 - 3*r. Let k be n(4). Solve -2*d + 3*p = -f, 0 = 4*d - 0*p + 3*p - k for d.
5
Let r = -52 + 64. Solve 4*o + 3*q + 2 = -9, -2*o + r = -2*q for o.
1
Suppose 3*p + 7*p = 210. So