 -2*p - 5*s, -p + 2*s = -14. Solve -2*m = -3*v - 5*m + p, -5*m + 14 = v for v.
4
Let b(x) = -x**2 - 9*x + 29. Let y be b(-11). Solve 4*m - y = -2*z + 15, -10 = -5*m + z for m.
3
Let j(h) = h**2 - 11*h + 6. Let l be (66/8)/(6/8). Let a be j(l). Solve 3*w = -a, w - 6*w = -3*k + 7 for k.
-1
Suppose -19 = -2*h - 5*y, -16 = 5*h - 4*y - 47. Solve -12 = 4*q + 5*g, 11*g - h*g = 4*q + 12 for q.
-3
Suppose 18 = 5*o + w, -4*o - 5 + 8 = -3*w. Solve -1 = u - o*g + g, 4*u = 4*g + 8 for u.
5
Suppose 16*m + 120 = 40*m. Solve -m*u = 4*z - 21, -4*u - 5*z + 18 = -6*u for u.
1
Let y = 14 + -16. Let i(q) = q**2 + 2*q. Let h be i(y). Solve h*a + 2*a + 14 = -4*z, -4*z - 16 = 4*a for a.
-1
Suppose 0*n + 12 = 5*n + 3*z, -2*n - 2*z = -4. Solve -n*l - 2*l = -t + 23, 4*t - 5*l - 17 = 0 for t.
-2
Let t be (12 + -2)/(160/192). Solve 3*f - 3*v = -t, -8 = 2*f - 12*v + 8*v for f.
-4
Suppose 403 = 21*x + 298. Solve g + 11 = -x*p - 3*g, 3*p + 6 = -3*g for p.
-3
Suppose 0 = -4*u - 5*s - 95, -5*u - 170 = -0*s - 4*s. Let n be (-12)/u + (-66)/(-10). Suppose j + 9 = 4*j. Solve -2*x = -0*x + j*v - n, -2*v + 23 = 5*x for x.
5
Suppose 0 = -5*m - 6 + 16. Suppose 2*b = -3*c + b + m, -3*c - 4*b - 10 = 0. Suppose 0 = -4*n + 6 + c. Solve 0 = -4*o + 4*g + 40, n*o + 0*o + 15 = -5*g for o.
5
Let k be 1*(-3)/((-15)/(-10)). Let c be (-4 - -2)/(-2) - k. Solve 3*v + 2 = -j, 0 = 2*v + c*v + 4*j + 15 for v.
1
Let l = 56 - 48. Let r be 56/6 - l/24. Suppose 5*a = 5*b - 2*b, 4*b - 29 = -3*a. Solve 3*f = -a*o + r, 4*f - 3*f - 5*o + 21 = 0 for f.
-1
Suppose 0 = 24*i + 39 - 159. Solve -4*d = -i*o + 19, -5*d - 7 - 1 = -o for d.
-1
Suppose 0*b = -6*b + 12. Let i(d) = d**2 + 1. Let n be i(1). Solve 3*j + 21 = n*z, 2*z + 0*z = b*j + 16 for j.
-5
Suppose -2*f - 2 = -2*d, -60 = -5*f - 4*d - 29. Solve f*v - 7*v = -4*k - 16, -3*k + 5*v = 12 for k.
-4
Let z(d) = -d**3 + d**2 + 3*d - 1. Let f be z(2). Let o(m) = 50*m**3 + m - 1. Let a be o(f). Suppose t + t = a. Solve -p + 17 = -5*s, -p = 4*s + 2*p + t for s.
-4
Suppose 20 + 8 = 3*f + 2*d, 3*f + d = 29. Let b be (f/(-5))/(-3 - -5). Let z be b/5 + 32/10. Solve z = 2*n + 3*w + 6, -2*w - 7 = 3*n for n.
-3
Let s(q) = -2*q**2 - 30*q - 106. Let o be s(-9). Solve 4*j + 18 = 4*p + o, -4*j + 11 = 5*p for j.
-1
Suppose -1 = -5*d - 11. Let z(r) = r**2 - 2*r - 3. Let f be z(d). Suppose -2 = -f*c + 8. Solve -c*o = -3*o - 5*x - 14, -18 = 3*o + 3*x for o.
-4
Let m(j) = j + 8. Let a be m(-3). Suppose 2*p - 38 = -4*w, 2 = -a*p + 7. Suppose 5*i - 34 = -w. Solve -i*o = 4*q - q - 18, 3*q = 3 for o.
3
Suppose -102*f + 117*f - 60 = 0. Solve f*a + 2 = -2*h - a, -4 = 4*h + 4*a for h.
-1
Let b = -33 - -37. Suppose 5*h - 12 = -3*n + b*h, 2*h = -2*n + 4. Solve 3*d + 40 = -n*m, 4*d - 10 + 35 = -m for d.
-5
Let z(k) = -k - 1. Let g(p) = -5*p - 8. Let s(m) = 3*g(m) - 12*z(m). Let t be s(-5). Solve -w + t*x + 2 = 0, 6 = -3*x - 0 for w.
-4
Let w = -173 + 173. Solve w = 2*y - r + 3 - 7, 0 = y - r for y.
4
Let s(l) = 3*l**3 + 88*l**2 + 31*l + 64. Let h be s(-29). Solve -4*u - 10 = -3*x, 9*x - h*x - 5 = -u for x.
2
Let p(t) = 3*t**2 - 6*t + 1. Let i be p(4). Let k be ((-45)/i + 1)*(-19 - 1). Solve f + 20 = 4*m, -5*m + 2*m + f + k = 0 for m.
4
Let r be -3*3/9*-50. Suppose r = 2*k + 4*z, -5*z - 10 = -3*k + 10. Solve 4*b - 14 = 3*s, -6*s + 5*b = -s + k for s.
2
Let h(t) = t**2 - t. Let x be h(2). Let m = -13 - -18. Suppose -m*l + z + 14 = 0, z - 3 = -2*z. Solve -x*j - 5 = r, j = l*r + 1 - 0 for j.
-2
Let t(y) = -2*y**2 - 15*y - 13. Let n be t(-6). Suppose 3*a - 2*a = -11. Let x = a + 11. Solve -4*k + w - 9 = -0*k, x = -4*k - 3*w - n for k.
-2
Suppose 7 = 3*f - 2*m, f + 3*f = 2*m + 8. Let y be -2 - (-3 + f/1). Solve -2*z = -4*q - 8, -2*q - 8 + y = 0 for z.
-4
Suppose 698*s = 699*s - 5. Solve -3*r - 8 = d - s*r, d - r = -3 for d.
2
Suppose -m - 1 = -0, 2*n - 3*m - 47 = 0. Let u be n/6 + (-3)/(-9). Suppose 3*c = 15, 3*c - 3 = -g + 17. Solve 4*x - 9 + 33 = 4*s, 15 = g*x + u*s for x.
-1
Suppose -2*y = -203 + 195. Solve -l + 10 = -5*i, 3*i = l - y - 0 for i.
-3
Let u(d) = 8*d**2 + d - 6. Let b be u(-4). Let p = b + -101. Solve 2*x - p = -3*q, -q = -0*q - 3*x - 2 for q.
5
Suppose 3*d - 367 = -358. Solve 2*g - 5*q + 24 = 0, -3*g = -d*q - 2 + 20 for g.
-2
Suppose 0 = 2*i - 3*i + 4, -2*r = -i - 18. Suppose 8*v + 9 = r*v. Let t be v/3*(-1 - -6). Solve p = 4*p + 3*w + 24, -5 = -t*p + 4*w for p.
-3
Suppose -4*c - 2*c = -330. Suppose 2 = -53*n + c*n. Solve -n = 3*f - x + 2, -5*f + 4*x - 5 = 0 for f.
-1
Suppose 2*m - 30 = -4*g, 5*m + 8*g - 3*g - 90 = 0. Let c = -4 + m. Suppose -c = -5*w + 8. Solve 3*i = -3*q - 3, -5*i + 7 = w*q - 3*q for q.
-4
Let i(p) = -p**3 - 2*p**2 + 2*p - 20. Let u be i(-4). Suppose -2 - 2 = -2*g. Let y = 4 - g. Solve -u*d = -9*d, -2*d + 8 = y*k for k.
4
Let x = 313 - 302. Solve 5*u + 3 - x = 4*v, v = -3*u + 15 for v.
3
Let l = -1331 - -1334. Solve -r + l*i - 5 = 0, 0*r - 3*r + 2*i - 15 = 0 for r.
-5
Let q = -3 - -3. Suppose 5*r + 28 = -4*x - 17, -4*x = 2*r + 6. Let k = 17 + r. Solve 3*w = 2*d - 1, q = -d + 4*w - 1 + k for d.
-1
Let k(m) = 2*m + 32. Let h be k(-14). Let i = h + 9. Solve 4*z - 3*u - 19 = 0, 4*u = 2*z + 1 - i for z.
4
Let k be (-1)/(2*2/(-20)). Let q(r) = 12*r + 137. Let v be q(-11). Let m = -2 - -6. Solve k*f + 13 = -4*y, -f = 4*y + m + v for f.
-1
Let w = -582 + 594. Solve -y + 0*y = -5*g + w, 5*y + 8 = -g for y.
-2
Let k be 1 + 2 + (11 - -6). Let q = k - 12. Suppose -32 = q*b - 12*b. Solve -b = -5*g + 3*g - s, 0 = -3*g - 4*s + 22 for g.
2
Let t be 2/14 + (-180)/(-63). Suppose t*b - 42 = -0*b. Suppose -5*r + 24 = 2*p, 2*p - 3*r = 3*p - b. Solve -q + 3*h - 4 = 5*h, p*q + 6 = -2*h for q.
-2
Let c(p) = -p**3 - 8 + 3 + 0*p**2 - p + 4*p**2 + 3. Let f be c(2). Suppose f*n - 8 = -m, -5*m = -2*m. Solve 5*t = -3*j - j + n, 2*j + t = -2 for j.
-2
Let f(x) be the third derivative of x**5/60 + x**4/4 - 13*x**3/6 - 4*x**2. Let q be f(-9). Solve z + 11 = 3*p, 4*p + 0*p - 2*z - q = 0 for p.
4
Let p be (-8)/(-36) + (-156)/(-27). Let f(a) = -a**3 + 6*a**2 + 2. Let j be f(p). Let d be 4 - ((1 - j) + 1). Solve t = d*c - 11, 3*c + c + 1 = -3*t for t.
-3
Let z be (-8)/(-6)*(-3)/(-2). Suppose -a - z = -5. Let p = 14 + -8. Solve -5*k + 13 = j, k - a*j + p = 5*k for k.
3
Let s be -11 + 1 - (-54)/27. Let k(q) = q**2 + 8*q + 4. Let h be k(s). Solve -5*r = -25, -3*r + 7 = 4*m - h for m.
-1
Suppose 5*d + 8 = -h + 40, 0 = d + 4*h - 14. Solve 0 = 5*v - s + d, 0 = v - 3*s - 2*s - 18 for v.
-2
Let t(n) = 2*n - 3. Let g be t(3). Let p = 676 - 674. Solve 5*j = g*h - 5, 4*j - p*h = -4*h - 26 for j.
-4
Let s be -2 + (-12)/(-7) + 144/63. Suppose -s - 6 = -4*m. Solve 2*h - 2 + 12 = 0, -2*r - m*h - 6 = 0 for r.
2
Let m(h) = -h**2 - 6*h - 7. Let t be m(-5). Let v be 0*2/8*t. Solve -c + 3*c + r - 15 = 0, -5*c - r + 30 = v for c.
5
Suppose -4 = -2*m - 2. Suppose -m = -o + 4. Let b(w) = w**2 + 3*w - 1. Let f be b(-4). Solve -f*g - c = 20, o*c + 0*c = 2*g - 15 for g.
-5
Suppose -7*q - 5 + 47 = 0. Suppose q*k + 6*k = 4*k. Solve -5 = 5*w - 5*v, k = w - v - v for w.
-2
Suppose 0 = -5*k - l + 6 + 15, 0 = -4*k - 5*l. Solve 3*c + 0*d - d - 9 = 0, -3*d = k*c - 15 for c.
3
Suppose -4*s = -18 + 2. Suppose -2*x + 2*h = 4, s*x = -2*h + 25 - 3. Suppose -z + 2 = -x*k - 11, 2*z = -5*k + 37. Solve c = g + 4, -3*g - 3*c = -2*g - z for g.
1
Let x be (-414)/(-10) + 3/5. Let o(m) = m**2 - x - 4*m + 44 - 2*m**2. Let q be o(-4). Solve 0 = q*j + j + 4*r - 11, -18 = j - 3*r for j.
-3
Let j(q) be the second derivative of q**4/12 + q**3/2 - 8*q**2 + 22*q. Let x be j(-8). Solve -k = -3*h - 10, -5*h + k = 3*k + x for h.
-4
Suppose 4*c = 2*c - 6, 4*j - 83 = 5*c. Suppose -12*u + j*u = 25. Solve u*x + 16 = -2*y, x + 13 = -3*y - x for y.
-3
Suppose -6*j + 10*j - 236 = 0. Suppose 14 = 5*y + j. Let t be 2/y + 249/27. Solve t = -r - 3*l, 3*r - l - 4*l - 29 = 0 for r.
3
Let a be (2 - (-16)/(-12))*6. Suppose n - 17 = -3*q - q, -2*q + 2*n = a. Suppose g - q*g + 6 = 0. Solve v = 3*o + 5, g*o - 5*v + 25 = -0*v for o.
0
Let g be -3*(0 - 3/9). Let b(k) = 5*k**2 + 3*k - 3. Let f be b(g). Solve -2*t - 25 = 3*v, -f = 2*v - 0*t - t for v.
-5
Let r be ((-16)/10)/(28/(-350)). Let b = r - 20. Solve 5*l - 4*y - 12 = 0, -2*y + b*y = -4*l + 12 for l.
4
Let y = 10 + -10. Let n be (y - 1)/((-4)/8). Suppose -3*k + 3*s - 2*s = -15, n*k - s - 10 = 0. Solve 25 = 3*z + z + 